| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 18 | 3600.03 | 3612.32 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | b4b357048b7fd6a2befaa81502734110 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 3600.03 |
| 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 | 198 |
| Total number of constraints | 16 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 85 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| Number of bits of the biggest sum of numbers | 13 |
| 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.00 c #variables 198 #constraints 16 0.00/0.01 c bounds - >= 0 @ 0.002253 0.00/0.01 c rational objective 0 0.88/0.94 c bounds 178 >= 0 @ 0.047107 0.88/0.94 c bounds 168 >= 0 @ 0.072357 0.88/0.94 c bounds 158 >= 0 @ 0.114807 0.88/0.94 c bounds 154 >= 0 @ 0.12845 0.88/0.94 c bounds 150 >= 0 @ 0.130941 0.88/0.94 c bounds 149 >= 0 @ 0.194243 0.88/0.94 c #Conflicts: 1000 | #Constraints: 1043 0.88/0.94 c #Conflicts: 2000 | #Constraints: 2054 0.88/0.94 c INPROCESSING 0.88/0.94 c GARBAGE COLLECT 0.88/0.94 c rational objective 0 1.77/1.89 c bounds 145 >= 0 @ 0.89257 1.77/1.89 c bounds 141 >= 0 @ 0.89527 1.77/1.89 c bounds 137 >= 0 @ 0.900591 1.77/1.89 c bounds 133 >= 0 @ 0.904943 1.77/1.89 c bounds 129 >= 0 @ 0.912397 1.77/1.89 c bounds 128 >= 0 @ 0.923066 1.77/1.89 c bounds 126 >= 0 @ 0.926769 1.77/1.89 c bounds 118 >= 0 @ 0.92781 1.77/1.89 c bounds 117 >= 0 @ 0.970329 1.77/1.89 c bounds 115 >= 0 @ 0.974603 1.77/1.89 c bounds 113 >= 0 @ 0.976535 1.77/1.89 c bounds 111 >= 0 @ 1.03425 1.77/1.89 c bounds 103 >= 0 @ 1.03521 1.77/1.89 c bounds 101 >= 0 @ 1.03972 1.77/1.89 c #Conflicts: 3000 | #Constraints: 2066 1.77/1.89 c bounds 97 >= 0 @ 1.37314 1.77/1.89 c #Conflicts: 4000 | #Constraints: 3074 1.77/1.89 c INPROCESSING 1.77/1.89 c GARBAGE COLLECT 1.77/1.89 c rational objective 0 2.77/2.80 c bounds 96 >= 0 @ 1.81586 2.77/2.80 c bounds 92 >= 0 @ 1.81765 2.77/2.80 c bounds 88 >= 0 @ 1.82328 2.77/2.80 c bounds 86 >= 0 @ 1.99538 2.77/2.80 c #Conflicts: 5000 | #Constraints: 2455 2.77/2.80 c #Conflicts: 6000 | #Constraints: 3464 2.77/2.80 c INPROCESSING 2.77/2.80 c GARBAGE COLLECT 2.77/2.80 c rational objective 0 3.77/3.80 c bounds 82 >= 0 @ 2.6737 3.77/3.80 c bounds 78 >= 0 @ 2.67492 3.77/3.80 c #Conflicts: 7000 | #Constraints: 2462 3.77/3.80 c #Conflicts: 8000 | #Constraints: 3472 3.77/3.80 c bounds 75 >= 0 @ 3.39626 3.77/3.80 c #Conflicts: 9000 | #Constraints: 4482 3.77/3.80 c INPROCESSING 3.77/3.80 c GARBAGE COLLECT 3.77/3.80 c rational objective 0 4.77/4.89 c #Conflicts: 10000 | #Constraints: 3164 4.77/4.89 c #Conflicts: 11000 | #Constraints: 4176 4.77/4.89 c #Conflicts: 12000 | #Constraints: 5185 4.77/4.89 c INPROCESSING 4.77/4.89 c GARBAGE COLLECT 4.77/4.89 c rational objective 0 6.07/6.16 c bounds 73 >= 0 @ 4.8201 6.07/6.16 c bounds 72 >= 0 @ 5.05198 6.07/6.16 c #Conflicts: 13000 | #Constraints: 3624 6.07/6.16 c bounds 71 >= 0 @ 5.2938 6.07/6.16 c bounds 67 >= 0 @ 5.29407 6.07/6.16 c #Conflicts: 14000 | #Constraints: 4635 6.07/6.16 c bounds 66 >= 0 @ 5.54491 6.07/6.16 c #Conflicts: 15000 | #Constraints: 5648 6.07/6.16 c INPROCESSING 6.07/6.16 c GARBAGE COLLECT 6.07/6.16 c rational objective 0 7.55/7.64 c bounds 64 >= 0 @ 5.92839 7.55/7.64 c bounds 57 >= 0 @ 6.27623 7.55/7.64 c #Conflicts: 16000 | #Constraints: 3845 7.55/7.64 c #Conflicts: 17000 | #Constraints: 4853 7.55/7.64 c #Conflicts: 18000 | #Constraints: 5858 7.55/7.64 c INPROCESSING 7.55/7.64 c GARBAGE COLLECT 7.55/7.64 c rational objective 0 9.25/9.30 c bounds 55 >= 0 @ 7.37254 9.25/9.30 c bounds 51 >= 0 @ 7.37364 9.25/9.30 c bounds 47 >= 0 @ 7.37475 9.25/9.30 c bounds 45 >= 0 @ 7.37624 9.25/9.30 c #Conflicts: 19000 | #Constraints: 3839 9.25/9.30 c #Conflicts: 20000 | #Constraints: 4851 9.25/9.30 c #Conflicts: 21000 | #Constraints: 5861 9.25/9.30 c INPROCESSING 9.25/9.30 c GARBAGE COLLECT 9.25/9.30 c rational objective 0 10.95/11.03 c #Conflicts: 22000 | #Constraints: 3656 10.95/11.03 c #Conflicts: 23000 | #Constraints: 4668 10.95/11.03 c #Conflicts: 24000 | #Constraints: 5681 10.95/11.03 c #Conflicts: 25000 | #Constraints: 6689 10.95/11.03 c INPROCESSING 10.95/11.03 c GARBAGE COLLECT 10.95/11.03 c rational objective 0 13.23/13.39 c #Conflicts: 26000 | #Constraints: 4267 13.23/13.39 c #Conflicts: 27000 | #Constraints: 5271 13.23/13.39 c #Conflicts: 28000 | #Constraints: 6274 13.23/13.39 c #Conflicts: 29000 | #Constraints: 7283 13.23/13.39 c INPROCESSING 13.23/13.39 c GARBAGE COLLECT 13.23/13.39 c rational objective 0 15.33/15.49 c #Conflicts: 30000 | #Constraints: 4668 15.33/15.49 c #Conflicts: 31000 | #Constraints: 5678 15.33/15.49 c #Conflicts: 32000 | #Constraints: 6680 15.33/15.49 c #Conflicts: 33000 | #Constraints: 7689 15.33/15.49 c INPROCESSING 15.33/15.49 c GARBAGE COLLECT 15.33/15.49 c rational objective 0 17.93/18.01 c #Conflicts: 34000 | #Constraints: 4864 17.93/18.01 c #Conflicts: 35000 | #Constraints: 5867 17.93/18.01 c #Conflicts: 36000 | #Constraints: 6872 17.93/18.01 c #Conflicts: 37000 | #Constraints: 7877 17.93/18.01 c INPROCESSING 17.93/18.01 c GARBAGE COLLECT 17.93/18.01 c rational objective 0 21.20/21.31 c #Conflicts: 38000 | #Constraints: 4860 21.20/21.31 c #Conflicts: 39000 | #Constraints: 5866 21.20/21.31 c #Conflicts: 40000 | #Constraints: 6872 21.20/21.31 c #Conflicts: 41000 | #Constraints: 7876 21.20/21.31 c INPROCESSING 21.20/21.31 c GARBAGE COLLECT 21.20/21.31 c rational objective 0 24.29/24.44 c #Conflicts: 42000 | #Constraints: 4666 24.29/24.44 c #Conflicts: 43000 | #Constraints: 5671 24.29/24.44 c #Conflicts: 44000 | #Constraints: 6675 24.29/24.44 c #Conflicts: 45000 | #Constraints: 7677 24.29/24.44 c #Conflicts: 46000 | #Constraints: 8682 24.29/24.44 c INPROCESSING 24.29/24.44 c GARBAGE COLLECT 24.29/24.44 c rational objective 0 28.27/28.46 c #Conflicts: 47000 | #Constraints: 5263 28.27/28.46 c #Conflicts: 48000 | #Constraints: 6266 28.27/28.46 c #Conflicts: 49000 | #Constraints: 7272 28.27/28.46 c #Conflicts: 50000 | #Constraints: 8280 28.27/28.46 c #Conflicts: 51000 | #Constraints: 9289 28.27/28.46 c INPROCESSING 28.27/28.46 c GARBAGE COLLECT 28.27/28.46 c rational objective 0 31.57/31.70 c #Conflicts: 52000 | #Constraints: 5675 31.57/31.70 c #Conflicts: 53000 | #Constraints: 6684 31.57/31.70 c #Conflicts: 54000 | #Constraints: 7691 31.57/31.70 c #Conflicts: 55000 | #Constraints: 8695 31.57/31.70 c #Conflicts: 56000 | #Constraints: 9699 31.57/31.70 c INPROCESSING 31.57/31.70 c GARBAGE COLLECT 31.57/31.70 c rational objective 0 35.45/35.65 c bounds 42 >= 0 @ 31.2802 35.45/35.65 c #Conflicts: 57000 | #Constraints: 5872 35.45/35.65 c #Conflicts: 58000 | #Constraints: 6877 35.45/35.65 c #Conflicts: 59000 | #Constraints: 7877 35.45/35.65 c #Conflicts: 60000 | #Constraints: 8882 35.45/35.65 c #Conflicts: 61000 | #Constraints: 9885 35.45/35.65 c INPROCESSING 35.45/35.65 c GARBAGE COLLECT 35.45/35.65 c rational objective 0 40.03/40.26 c bounds 40 >= 0 @ 34.538 40.03/40.26 c #Conflicts: 62000 | #Constraints: 5863 40.03/40.26 c #Conflicts: 63000 | #Constraints: 6866 40.03/40.26 c bounds 38 >= 0 @ 36.757 40.03/40.26 c #Conflicts: 64000 | #Constraints: 7872 40.03/40.26 c #Conflicts: 65000 | #Constraints: 8877 40.03/40.26 c #Conflicts: 66000 | #Constraints: 9878 40.03/40.26 c INPROCESSING 40.03/40.26 c GARBAGE COLLECT 40.03/40.26 c rational objective 0 44.21/44.42 c #Conflicts: 67000 | #Constraints: 5666 44.21/44.42 c #Conflicts: 68000 | #Constraints: 6673 44.21/44.42 c #Conflicts: 69000 | #Constraints: 7676 44.21/44.42 c #Conflicts: 70000 | #Constraints: 8680 44.21/44.42 c #Conflicts: 71000 | #Constraints: 9684 44.21/44.42 c #Conflicts: 72000 | #Constraints: 10687 44.21/44.42 c INPROCESSING 44.21/44.42 c GARBAGE COLLECT 44.21/44.42 c rational objective 0 49.80/50.03 c #Conflicts: 73000 | #Constraints: 6263 49.80/50.03 c #Conflicts: 74000 | #Constraints: 7264 49.80/50.03 c #Conflicts: 75000 | #Constraints: 8269 49.80/50.03 c #Conflicts: 76000 | #Constraints: 9275 49.80/50.03 c #Conflicts: 77000 | #Constraints: 10277 49.80/50.03 c #Conflicts: 78000 | #Constraints: 11278 49.80/50.03 c INPROCESSING 49.80/50.03 c GARBAGE COLLECT 49.80/50.03 c rational objective 0 54.47/54.75 c #Conflicts: 79000 | #Constraints: 6672 54.47/54.75 c #Conflicts: 80000 | #Constraints: 7676 54.47/54.75 c #Conflicts: 81000 | #Constraints: 8678 54.47/54.75 c #Conflicts: 82000 | #Constraints: 9679 54.47/54.75 c #Conflicts: 83000 | #Constraints: 10683 54.47/54.75 c #Conflicts: 84000 | #Constraints: 11687 54.47/54.75 c INPROCESSING 54.47/54.75 c GARBAGE COLLECT 54.47/54.75 c rational objective 0 61.64/61.90 c #Conflicts: 85000 | #Constraints: 6868 61.64/61.90 c #Conflicts: 86000 | #Constraints: 7870 61.64/61.90 c #Conflicts: 87000 | #Constraints: 8873 61.64/61.90 c #Conflicts: 88000 | #Constraints: 9874 61.64/61.90 c #Conflicts: 89000 | #Constraints: 10875 61.64/61.90 c #Conflicts: 90000 | #Constraints: 11879 61.64/61.90 c INPROCESSING 61.64/61.90 c GARBAGE COLLECT 61.64/61.90 c rational objective 0 68.12/68.44 c #Conflicts: 91000 | #Constraints: 6865 68.12/68.44 c #Conflicts: 92000 | #Constraints: 7871 68.12/68.44 c #Conflicts: 93000 | #Constraints: 8878 68.12/68.44 c #Conflicts: 94000 | #Constraints: 9882 68.12/68.44 c #Conflicts: 95000 | #Constraints: 10882 68.12/68.44 c #Conflicts: 96000 | #Constraints: 11884 68.12/68.44 c INPROCESSING 68.12/68.44 c GARBAGE COLLECT 68.12/68.44 c rational objective 0 76.19/76.57 c #Conflicts: 97000 | #Constraints: 6661 76.19/76.57 c #Conflicts: 98000 | #Constraints: 7666 76.19/76.57 c #Conflicts: 99000 | #Constraints: 8668 76.19/76.57 c #Conflicts: 100000 | #Constraints: 9672 76.19/76.57 c #Conflicts: 101000 | #Constraints: 10674 76.19/76.57 c #Conflicts: 102000 | #Constraints: 11676 76.19/76.57 c #Conflicts: 103000 | #Constraints: 12676 76.19/76.57 c INPROCESSING 76.19/76.57 c GARBAGE COLLECT 76.19/76.57 c rational objective 0 82.17/82.50 c #Conflicts: 104000 | #Constraints: 7266 82.17/82.50 c #Conflicts: 105000 | #Constraints: 8270 82.17/82.50 c #Conflicts: 106000 | #Constraints: 9275 82.17/82.50 c #Conflicts: 107000 | #Constraints: 10278 82.17/82.50 c #Conflicts: 108000 | #Constraints: 11279 82.17/82.50 c #Conflicts: 109000 | #Constraints: 12280 82.17/82.50 c #Conflicts: 110000 | #Constraints: 13281 82.17/82.50 c INPROCESSING 82.17/82.50 c GARBAGE COLLECT 82.17/82.50 c rational objective 0 88.14/88.54 c #Conflicts: 111000 | #Constraints: 7659 88.14/88.54 c #Conflicts: 112000 | #Constraints: 8662 88.14/88.54 c #Conflicts: 113000 | #Constraints: 9667 88.14/88.54 c #Conflicts: 114000 | #Constraints: 10671 88.14/88.54 c #Conflicts: 115000 | #Constraints: 11674 88.14/88.54 c #Conflicts: 116000 | #Constraints: 12676 88.14/88.54 c #Conflicts: 117000 | #Constraints: 13677 88.14/88.54 c INPROCESSING 88.14/88.54 c GARBAGE COLLECT 88.14/88.54 c rational objective 0 95.32/95.77 c #Conflicts: 118000 | #Constraints: 7856 95.32/95.77 c #Conflicts: 119000 | #Constraints: 8856 95.32/95.77 c bounds 36 >= 0 @ 88.7119 95.32/95.77 c #Conflicts: 120000 | #Constraints: 9863 95.32/95.77 c #Conflicts: 121000 | #Constraints: 10866 95.32/95.77 c #Conflicts: 122000 | #Constraints: 11868 95.32/95.77 c #Conflicts: 123000 | #Constraints: 12869 95.32/95.77 c #Conflicts: 124000 | #Constraints: 13870 95.32/95.77 c INPROCESSING 95.32/95.77 c GARBAGE COLLECT 95.32/95.77 c rational objective 0 104.18/104.62 c bounds 34 >= 0 @ 93.3918 104.18/104.62 c #Conflicts: 125000 | #Constraints: 7854 104.18/104.62 c #Conflicts: 126000 | #Constraints: 8856 104.18/104.62 c #Conflicts: 127000 | #Constraints: 9863 104.18/104.62 c #Conflicts: 128000 | #Constraints: 10868 104.18/104.62 c #Conflicts: 129000 | #Constraints: 11868 104.18/104.62 c #Conflicts: 130000 | #Constraints: 12870 104.18/104.62 c #Conflicts: 131000 | #Constraints: 13874 104.18/104.62 c INPROCESSING 104.18/104.62 c GARBAGE COLLECT 104.18/104.62 c rational objective 0 110.47/110.93 c #Conflicts: 132000 | #Constraints: 7669 110.47/110.93 c #Conflicts: 133000 | #Constraints: 8672 110.47/110.93 c #Conflicts: 134000 | #Constraints: 9676 110.47/110.93 c #Conflicts: 135000 | #Constraints: 10681 110.47/110.93 c #Conflicts: 136000 | #Constraints: 11686 110.47/110.93 c #Conflicts: 137000 | #Constraints: 12688 110.47/110.93 c #Conflicts: 138000 | #Constraints: 13691 110.47/110.93 c #Conflicts: 139000 | #Constraints: 14693 110.47/110.93 c INPROCESSING 110.47/110.93 c GARBAGE COLLECT 110.47/110.93 c rational objective 0 120.13/120.67 c #Conflicts: 140000 | #Constraints: 8265 120.13/120.67 c #Conflicts: 141000 | #Constraints: 9267 120.13/120.67 c #Conflicts: 142000 | #Constraints: 10271 120.13/120.67 c #Conflicts: 143000 | #Constraints: 11273 120.13/120.67 c #Conflicts: 144000 | #Constraints: 12276 120.13/120.67 c #Conflicts: 145000 | #Constraints: 13281 120.13/120.67 c #Conflicts: 146000 | #Constraints: 14286 120.13/120.67 c bounds 32 >= 0 @ 116.898 120.13/120.67 c #Conflicts: 147000 | #Constraints: 15292 120.13/120.67 c INPROCESSING 120.13/120.67 c GARBAGE COLLECT 120.13/120.67 c rational objective 0 127.10/127.67 c #Conflicts: 148000 | #Constraints: 8660 127.10/127.67 c #Conflicts: 149000 | #Constraints: 9665 127.10/127.67 c #Conflicts: 150000 | #Constraints: 10669 127.10/127.67 c #Conflicts: 151000 | #Constraints: 11674 127.10/127.67 c #Conflicts: 152000 | #Constraints: 12676 127.10/127.67 c #Conflicts: 153000 | #Constraints: 13678 127.10/127.67 c #Conflicts: 154000 | #Constraints: 14678 127.10/127.67 c #Conflicts: 155000 | #Constraints: 15680 127.10/127.67 c INPROCESSING 127.10/127.67 c GARBAGE COLLECT 127.10/127.67 c rational objective 0 134.49/135.08 c #Conflicts: 156000 | #Constraints: 8863 134.49/135.08 c #Conflicts: 157000 | #Constraints: 9866 134.49/135.08 c #Conflicts: 158000 | #Constraints: 10868 134.49/135.08 c #Conflicts: 159000 | #Constraints: 11871 134.49/135.08 c #Conflicts: 160000 | #Constraints: 12877 134.49/135.08 c #Conflicts: 161000 | #Constraints: 13881 134.49/135.08 c #Conflicts: 162000 | #Constraints: 14883 134.49/135.08 c #Conflicts: 163000 | #Constraints: 15887 134.49/135.08 c INPROCESSING 134.49/135.08 c GARBAGE COLLECT 134.49/135.08 c rational objective 0 144.84/145.47 c #Conflicts: 164000 | #Constraints: 8862 144.84/145.47 c #Conflicts: 165000 | #Constraints: 9864 144.84/145.47 c #Conflicts: 166000 | #Constraints: 10868 144.84/145.47 c #Conflicts: 167000 | #Constraints: 11870 144.84/145.47 c #Conflicts: 168000 | #Constraints: 12875 144.84/145.47 c #Conflicts: 169000 | #Constraints: 13879 144.84/145.47 c #Conflicts: 170000 | #Constraints: 14880 144.84/145.47 c bounds 31 >= 0 @ 140.814 144.84/145.47 c #Conflicts: 171000 | #Constraints: 15885 144.84/145.47 c INPROCESSING 144.84/145.47 c GARBAGE COLLECT 144.84/145.47 c rational objective 0 152.91/153.52 c #Conflicts: 172000 | #Constraints: 8658 152.91/153.52 c #Conflicts: 173000 | #Constraints: 9661 152.91/153.52 c #Conflicts: 174000 | #Constraints: 10661 152.91/153.52 c #Conflicts: 175000 | #Constraints: 11663 152.91/153.52 c #Conflicts: 176000 | #Constraints: 12664 152.91/153.52 c #Conflicts: 177000 | #Constraints: 13665 152.91/153.52 c #Conflicts: 178000 | #Constraints: 14667 152.91/153.52 c #Conflicts: 179000 | #Constraints: 15671 152.91/153.52 c #Conflicts: 180000 | #Constraints: 16675 152.91/153.52 c INPROCESSING 152.91/153.52 c GARBAGE COLLECT 152.91/153.52 c rational objective 0 164.48/165.13 c #Conflicts: 181000 | #Constraints: 9254 164.48/165.13 c #Conflicts: 182000 | #Constraints: 10256 164.48/165.13 c #Conflicts: 183000 | #Constraints: 11259 164.48/165.13 c #Conflicts: 184000 | #Constraints: 12261 164.48/165.13 c #Conflicts: 185000 | #Constraints: 13264 164.48/165.13 c #Conflicts: 186000 | #Constraints: 14267 164.48/165.13 c #Conflicts: 187000 | #Constraints: 15270 164.48/165.13 c bounds 29 >= 0 @ 160.146 164.48/165.13 c #Conflicts: 188000 | #Constraints: 16273 164.48/165.13 c #Conflicts: 189000 | #Constraints: 17275 164.48/165.13 c INPROCESSING 164.48/165.13 c GARBAGE COLLECT 164.48/165.13 c rational objective 0 175.44/176.13 c #Conflicts: 190000 | #Constraints: 9657 175.44/176.13 c #Conflicts: 191000 | #Constraints: 10660 175.44/176.13 c #Conflicts: 192000 | #Constraints: 11661 175.44/176.13 c #Conflicts: 193000 | #Constraints: 12663 175.44/176.13 c #Conflicts: 194000 | #Constraints: 13663 175.44/176.13 c #Conflicts: 195000 | #Constraints: 14663 175.44/176.13 c #Conflicts: 196000 | #Constraints: 15664 175.44/176.13 c #Conflicts: 197000 | #Constraints: 16667 175.44/176.13 c #Conflicts: 198000 | #Constraints: 17670 175.44/176.13 c INPROCESSING 175.44/176.13 c GARBAGE COLLECT 175.44/176.13 c rational objective 0 188.88/189.62 c #Conflicts: 199000 | #Constraints: 9856 188.88/189.62 c #Conflicts: 200000 | #Constraints: 10858 188.88/189.62 c #Conflicts: 201000 | #Constraints: 11860 188.88/189.62 c #Conflicts: 202000 | #Constraints: 12863 188.88/189.62 c #Conflicts: 203000 | #Constraints: 13865 188.88/189.62 c #Conflicts: 204000 | #Constraints: 14868 188.88/189.62 c #Conflicts: 205000 | #Constraints: 15869 188.88/189.62 c #Conflicts: 206000 | #Constraints: 16871 188.88/189.62 c #Conflicts: 207000 | #Constraints: 17873 188.88/189.62 c INPROCESSING 188.88/189.62 c GARBAGE COLLECT 188.88/189.62 c rational objective 0 200.14/200.94 c #Conflicts: 208000 | #Constraints: 9861 200.14/200.94 c #Conflicts: 209000 | #Constraints: 10861 200.14/200.94 c #Conflicts: 210000 | #Constraints: 11868 200.14/200.94 c #Conflicts: 211000 | #Constraints: 12868 200.14/200.94 c #Conflicts: 212000 | #Constraints: 13869 200.14/200.94 c #Conflicts: 213000 | #Constraints: 14874 200.14/200.94 c #Conflicts: 214000 | #Constraints: 15876 200.14/200.94 c #Conflicts: 215000 | #Constraints: 16877 200.14/200.94 c #Conflicts: 216000 | #Constraints: 17877 200.14/200.94 c INPROCESSING 200.14/200.94 c GARBAGE COLLECT 200.14/200.94 c rational objective 0 216.08/216.94 c #Conflicts: 217000 | #Constraints: 9659 216.08/216.94 c #Conflicts: 218000 | #Constraints: 10660 216.08/216.94 c #Conflicts: 219000 | #Constraints: 11660 216.08/216.94 c #Conflicts: 220000 | #Constraints: 12660 216.08/216.94 c #Conflicts: 221000 | #Constraints: 13661 216.08/216.94 c #Conflicts: 222000 | #Constraints: 14664 216.08/216.94 c #Conflicts: 223000 | #Constraints: 15664 216.08/216.94 c #Conflicts: 224000 | #Constraints: 16666 216.08/216.94 c #Conflicts: 225000 | #Constraints: 17669 216.08/216.94 c #Conflicts: 226000 | #Constraints: 18671 216.08/216.94 c INPROCESSING 216.08/216.94 c GARBAGE COLLECT 216.08/216.94 c rational objective 0 227.33/228.22 c #Conflicts: 227000 | #Constraints: 10263 227.33/228.22 c #Conflicts: 228000 | #Constraints: 11264 227.33/228.22 c #Conflicts: 229000 | #Constraints: 12266 227.33/228.22 c #Conflicts: 230000 | #Constraints: 13268 227.33/228.22 c #Conflicts: 231000 | #Constraints: 14270 227.33/228.22 c #Conflicts: 232000 | #Constraints: 15272 227.33/228.22 c #Conflicts: 233000 | #Constraints: 16277 227.33/228.22 c #Conflicts: 234000 | #Constraints: 17280 227.33/228.22 c #Conflicts: 235000 | #Constraints: 18280 227.33/228.22 c #Conflicts: 236000 | #Constraints: 19282 227.33/228.22 c INPROCESSING 227.33/228.22 c GARBAGE COLLECT 227.33/228.22 c rational objective 0 238.11/239.04 c #Conflicts: 237000 | #Constraints: 10660 238.11/239.04 c #Conflicts: 238000 | #Constraints: 11660 238.11/239.04 c #Conflicts: 239000 | #Constraints: 12662 238.11/239.04 c #Conflicts: 240000 | #Constraints: 13664 238.11/239.04 c #Conflicts: 241000 | #Constraints: 14665 238.11/239.04 c #Conflicts: 242000 | #Constraints: 15667 238.11/239.04 c #Conflicts: 243000 | #Constraints: 16669 238.11/239.04 c #Conflicts: 244000 | #Constraints: 17670 238.11/239.04 c #Conflicts: 245000 | #Constraints: 18671 238.11/239.04 c #Conflicts: 246000 | #Constraints: 19671 238.11/239.04 c INPROCESSING 238.11/239.04 c GARBAGE COLLECT 238.11/239.04 c rational objective 0 255.23/256.30 c #Conflicts: 247000 | #Constraints: 10852 255.23/256.30 c #Conflicts: 248000 | #Constraints: 11854 255.23/256.30 c #Conflicts: 249000 | #Constraints: 12857 255.23/256.30 c #Conflicts: 250000 | #Constraints: 13860 255.23/256.30 c #Conflicts: 251000 | #Constraints: 14861 255.23/256.30 c #Conflicts: 252000 | #Constraints: 15867 255.23/256.30 c #Conflicts: 253000 | #Constraints: 16869 255.23/256.30 c #Conflicts: 254000 | #Constraints: 17875 255.23/256.30 c #Conflicts: 255000 | #Constraints: 18879 255.23/256.30 c #Conflicts: 256000 | #Constraints: 19882 255.23/256.30 c INPROCESSING 255.23/256.30 c GARBAGE COLLECT 255.23/256.30 c rational objective 0 267.49/268.53 c #Conflicts: 257000 | #Constraints: 10862 267.49/268.53 c #Conflicts: 258000 | #Constraints: 11865 267.49/268.53 c #Conflicts: 259000 | #Constraints: 12868 267.49/268.53 c #Conflicts: 260000 | #Constraints: 13870 267.49/268.53 c #Conflicts: 261000 | #Constraints: 14871 267.49/268.53 c #Conflicts: 262000 | #Constraints: 15875 267.49/268.53 c #Conflicts: 263000 | #Constraints: 16878 267.49/268.53 c #Conflicts: 264000 | #Constraints: 17883 267.49/268.53 c #Conflicts: 265000 | #Constraints: 18885 267.49/268.53 c #Conflicts: 266000 | #Constraints: 19886 267.49/268.53 c INPROCESSING 267.49/268.53 c GARBAGE COLLECT 267.49/268.53 c rational objective 0 280.24/281.34 c #Conflicts: 267000 | #Constraints: 10661 280.24/281.34 c #Conflicts: 268000 | #Constraints: 11663 280.24/281.34 c #Conflicts: 269000 | #Constraints: 12664 280.24/281.34 c #Conflicts: 270000 | #Constraints: 13666 280.24/281.34 c #Conflicts: 271000 | #Constraints: 14667 280.24/281.34 c #Conflicts: 272000 | #Constraints: 15668 280.24/281.34 c #Conflicts: 273000 | #Constraints: 16668 280.24/281.34 c #Conflicts: 274000 | #Constraints: 17670 280.24/281.34 c #Conflicts: 275000 | #Constraints: 18670 280.24/281.34 c #Conflicts: 276000 | #Constraints: 19672 280.24/281.34 c #Conflicts: 277000 | #Constraints: 20674 280.24/281.34 c INPROCESSING 280.24/281.34 c GARBAGE COLLECT 280.24/281.34 c rational objective 0 299.88/301.06 c #Conflicts: 278000 | #Constraints: 11255 299.88/301.06 c #Conflicts: 279000 | #Constraints: 12257 299.88/301.06 c #Conflicts: 280000 | #Constraints: 13260 299.88/301.06 c #Conflicts: 281000 | #Constraints: 14263 299.88/301.06 c #Conflicts: 282000 | #Constraints: 15269 299.88/301.06 c #Conflicts: 283000 | #Constraints: 16271 299.88/301.06 c #Conflicts: 284000 | #Constraints: 17271 299.88/301.06 c #Conflicts: 285000 | #Constraints: 18275 299.88/301.06 c #Conflicts: 286000 | #Constraints: 19276 299.88/301.06 c #Conflicts: 287000 | #Constraints: 20278 299.88/301.06 c #Conflicts: 288000 | #Constraints: 21281 299.88/301.06 c INPROCESSING 299.88/301.06 c GARBAGE COLLECT 299.88/301.06 c rational objective 0 314.52/315.71 c #Conflicts: 289000 | #Constraints: 11667 314.52/315.71 c #Conflicts: 290000 | #Constraints: 12668 314.52/315.71 c #Conflicts: 291000 | #Constraints: 13669 314.52/315.71 c #Conflicts: 292000 | #Constraints: 14670 314.52/315.71 c #Conflicts: 293000 | #Constraints: 15674 314.52/315.71 c #Conflicts: 294000 | #Constraints: 16676 314.52/315.71 c #Conflicts: 295000 | #Constraints: 17677 314.52/315.71 c #Conflicts: 296000 | #Constraints: 18679 314.52/315.71 c #Conflicts: 297000 | #Constraints: 19682 314.52/315.71 c #Conflicts: 298000 | #Constraints: 20685 314.52/315.71 c #Conflicts: 299000 | #Constraints: 21687 314.52/315.71 c INPROCESSING 314.52/315.71 c GARBAGE COLLECT 314.52/315.71 c rational objective 0 336.34/337.60 c #Conflicts: 300000 | #Constraints: 11864 336.34/337.60 c #Conflicts: 301000 | #Constraints: 12866 336.34/337.60 c #Conflicts: 302000 | #Constraints: 13867 336.34/337.60 c #Conflicts: 303000 | #Constraints: 14871 336.34/337.60 c #Conflicts: 304000 | #Constraints: 15874 336.34/337.60 c #Conflicts: 305000 | #Constraints: 16876 336.34/337.60 c #Conflicts: 306000 | #Constraints: 17878 336.34/337.60 c #Conflicts: 307000 | #Constraints: 18880 336.34/337.60 c #Conflicts: 308000 | #Constraints: 19882 336.34/337.60 c #Conflicts: 309000 | #Constraints: 20883 336.34/337.60 c #Conflicts: 310000 | #Constraints: 21885 336.34/337.60 c INPROCESSING 336.34/337.60 c GARBAGE COLLECT 336.34/337.60 c rational objective 0 352.57/353.90 c #Conflicts: 311000 | #Constraints: 11869 352.57/353.90 c #Conflicts: 312000 | #Constraints: 12872 352.57/353.90 c #Conflicts: 313000 | #Constraints: 13873 352.57/353.90 c #Conflicts: 314000 | #Constraints: 14878 352.57/353.90 c #Conflicts: 315000 | #Constraints: 15880 352.57/353.90 c #Conflicts: 316000 | #Constraints: 16882 352.57/353.90 c #Conflicts: 317000 | #Constraints: 17883 352.57/353.90 c #Conflicts: 318000 | #Constraints: 18883 352.57/353.90 c #Conflicts: 319000 | #Constraints: 19883 352.57/353.90 c #Conflicts: 320000 | #Constraints: 20887 352.57/353.90 c #Conflicts: 321000 | #Constraints: 21888 352.57/353.90 c INPROCESSING 352.57/353.90 c GARBAGE COLLECT 352.57/353.90 c rational objective 0 373.10/374.55 c #Conflicts: 322000 | #Constraints: 11659 373.10/374.55 c #Conflicts: 323000 | #Constraints: 12661 373.10/374.55 c #Conflicts: 324000 | #Constraints: 13661 373.10/374.55 c #Conflicts: 325000 | #Constraints: 14662 373.10/374.55 c #Conflicts: 326000 | #Constraints: 15663 373.10/374.55 c #Conflicts: 327000 | #Constraints: 16663 373.10/374.55 c #Conflicts: 328000 | #Constraints: 17664 373.10/374.55 c #Conflicts: 329000 | #Constraints: 18664 373.10/374.55 c #Conflicts: 330000 | #Constraints: 19665 373.10/374.55 c #Conflicts: 331000 | #Constraints: 20666 373.10/374.55 c #Conflicts: 332000 | #Constraints: 21667 373.10/374.55 c #Conflicts: 333000 | #Constraints: 22668 373.10/374.55 c INPROCESSING 373.10/374.55 c GARBAGE COLLECT 373.10/374.55 c rational objective 0 398.80/400.37 c #Conflicts: 334000 | #Constraints: 12249 398.80/400.37 c #Conflicts: 335000 | #Constraints: 13250 398.80/400.37 c #Conflicts: 336000 | #Constraints: 14254 398.80/400.37 c #Conflicts: 337000 | #Constraints: 15258 398.80/400.37 c #Conflicts: 338000 | #Constraints: 16262 398.80/400.37 c #Conflicts: 339000 | #Constraints: 17264 398.80/400.37 c #Conflicts: 340000 | #Constraints: 18265 398.80/400.37 c #Conflicts: 341000 | #Constraints: 19266 398.80/400.37 c #Conflicts: 342000 | #Constraints: 20266 398.80/400.37 c #Conflicts: 343000 | #Constraints: 21268 398.80/400.37 c #Conflicts: 344000 | #Constraints: 22270 398.80/400.37 c #Conflicts: 345000 | #Constraints: 23273 398.80/400.37 c INPROCESSING 398.80/400.37 c GARBAGE COLLECT 398.80/400.37 c rational objective 0 415.84/417.41 c #Conflicts: 346000 | #Constraints: 12663 415.84/417.41 c #Conflicts: 347000 | #Constraints: 13665 415.84/417.41 c #Conflicts: 348000 | #Constraints: 14668 415.84/417.41 c #Conflicts: 349000 | #Constraints: 15668 415.84/417.41 c #Conflicts: 350000 | #Constraints: 16669 415.84/417.41 c #Conflicts: 351000 | #Constraints: 17670 415.84/417.41 c #Conflicts: 352000 | #Constraints: 18670 415.84/417.41 c #Conflicts: 353000 | #Constraints: 19671 415.84/417.41 c #Conflicts: 354000 | #Constraints: 20671 415.84/417.41 c #Conflicts: 355000 | #Constraints: 21675 415.84/417.41 c #Conflicts: 356000 | #Constraints: 22678 415.84/417.41 c #Conflicts: 357000 | #Constraints: 23678 415.84/417.41 c INPROCESSING 415.84/417.41 c GARBAGE COLLECT 415.84/417.41 c rational objective 0 444.34/446.04 c #Conflicts: 358000 | #Constraints: 12859 444.34/446.04 c #Conflicts: 359000 | #Constraints: 13859 444.34/446.04 c #Conflicts: 360000 | #Constraints: 14859 444.34/446.04 c #Conflicts: 361000 | #Constraints: 15860 444.34/446.04 c #Conflicts: 362000 | #Constraints: 16863 444.34/446.04 c #Conflicts: 363000 | #Constraints: 17865 444.34/446.04 c #Conflicts: 364000 | #Constraints: 18865 444.34/446.04 c #Conflicts: 365000 | #Constraints: 19868 444.34/446.04 c #Conflicts: 366000 | #Constraints: 20869 444.34/446.04 c #Conflicts: 367000 | #Constraints: 21871 444.34/446.04 c #Conflicts: 368000 | #Constraints: 22871 444.34/446.04 c #Conflicts: 369000 | #Constraints: 23874 444.34/446.04 c INPROCESSING 444.34/446.04 c GARBAGE COLLECT 444.34/446.04 c rational objective 0 464.07/465.87 c #Conflicts: 370000 | #Constraints: 12860 464.07/465.87 c #Conflicts: 371000 | #Constraints: 13860 464.07/465.87 c #Conflicts: 372000 | #Constraints: 14860 464.07/465.87 c #Conflicts: 373000 | #Constraints: 15865 464.07/465.87 c #Conflicts: 374000 | #Constraints: 16868 464.07/465.87 c #Conflicts: 375000 | #Constraints: 17868 464.07/465.87 c #Conflicts: 376000 | #Constraints: 18869 464.07/465.87 c #Conflicts: 377000 | #Constraints: 19871 464.07/465.87 c #Conflicts: 378000 | #Constraints: 20871 464.07/465.87 c #Conflicts: 379000 | #Constraints: 21871 464.07/465.87 c #Conflicts: 380000 | #Constraints: 22874 464.07/465.87 c #Conflicts: 381000 | #Constraints: 23877 464.07/465.87 c INPROCESSING 464.07/465.87 c GARBAGE COLLECT 464.07/465.87 c rational objective 0 482.79/484.68 c #Conflicts: 382000 | #Constraints: 12654 482.79/484.68 c #Conflicts: 383000 | #Constraints: 13656 482.79/484.68 c #Conflicts: 384000 | #Constraints: 14657 482.79/484.68 c #Conflicts: 385000 | #Constraints: 15658 482.79/484.68 c #Conflicts: 386000 | #Constraints: 16660 482.79/484.68 c #Conflicts: 387000 | #Constraints: 17660 482.79/484.68 c #Conflicts: 388000 | #Constraints: 18660 482.79/484.68 c #Conflicts: 389000 | #Constraints: 19662 482.79/484.68 c #Conflicts: 390000 | #Constraints: 20664 482.79/484.68 c #Conflicts: 391000 | #Constraints: 21664 482.79/484.68 c #Conflicts: 392000 | #Constraints: 22667 482.79/484.68 c #Conflicts: 393000 | #Constraints: 23670 482.79/484.68 c #Conflicts: 394000 | #Constraints: 24671 482.79/484.68 c INPROCESSING 482.79/484.68 c GARBAGE COLLECT 482.79/484.68 c rational objective 0 512.68/514.61 c #Conflicts: 395000 | #Constraints: 13257 512.68/514.61 c #Conflicts: 396000 | #Constraints: 14258 512.68/514.61 c #Conflicts: 397000 | #Constraints: 15259 512.68/514.61 c #Conflicts: 398000 | #Constraints: 16259 512.68/514.61 c #Conflicts: 399000 | #Constraints: 17259 512.68/514.61 c #Conflicts: 400000 | #Constraints: 18261 512.68/514.61 c #Conflicts: 401000 | #Constraints: 19262 512.68/514.61 c #Conflicts: 402000 | #Constraints: 20262 512.68/514.61 c #Conflicts: 403000 | #Constraints: 21262 512.68/514.61 c #Conflicts: 404000 | #Constraints: 22262 512.68/514.61 c bounds 28 >= 0 @ 502.499 512.68/514.61 c #Conflicts: 405000 | #Constraints: 23266 512.68/514.61 c #Conflicts: 406000 | #Constraints: 24268 512.68/514.61 c #Conflicts: 407000 | #Constraints: 25269 512.68/514.61 c INPROCESSING 512.68/514.61 c GARBAGE COLLECT 512.68/514.61 c rational objective 0 532.91/534.96 c #Conflicts: 408000 | #Constraints: 13651 532.91/534.96 c #Conflicts: 409000 | #Constraints: 14651 532.91/534.96 c #Conflicts: 410000 | #Constraints: 15651 532.91/534.96 c #Conflicts: 411000 | #Constraints: 16651 532.91/534.96 c #Conflicts: 412000 | #Constraints: 17652 532.91/534.96 c #Conflicts: 413000 | #Constraints: 18653 532.91/534.96 c #Conflicts: 414000 | #Constraints: 19655 532.91/534.96 c #Conflicts: 415000 | #Constraints: 20656 532.91/534.96 c #Conflicts: 416000 | #Constraints: 21656 532.91/534.96 c #Conflicts: 417000 | #Constraints: 22658 532.91/534.96 c #Conflicts: 418000 | #Constraints: 23658 532.91/534.96 c #Conflicts: 419000 | #Constraints: 24658 532.91/534.96 c #Conflicts: 420000 | #Constraints: 25659 532.91/534.96 c INPROCESSING 532.91/534.96 c GARBAGE COLLECT 532.91/534.96 c rational objective 0 562.19/564.34 c bounds 24 >= 0 @ 525.655 562.19/564.34 c #Conflicts: 421000 | #Constraints: 13852 562.19/564.34 c #Conflicts: 422000 | #Constraints: 14854 562.19/564.34 c #Conflicts: 423000 | #Constraints: 15856 562.19/564.34 c #Conflicts: 424000 | #Constraints: 16860 562.19/564.34 c #Conflicts: 425000 | #Constraints: 17863 562.19/564.34 c #Conflicts: 426000 | #Constraints: 18864 562.19/564.34 c #Conflicts: 427000 | #Constraints: 19867 562.19/564.34 c #Conflicts: 428000 | #Constraints: 20868 562.19/564.34 c #Conflicts: 429000 | #Constraints: 21869 562.19/564.34 c #Conflicts: 430000 | #Constraints: 22871 562.19/564.34 c #Conflicts: 431000 | #Constraints: 23871 562.19/564.34 c #Conflicts: 432000 | #Constraints: 24871 562.19/564.34 c #Conflicts: 433000 | #Constraints: 25871 562.19/564.34 c INPROCESSING 562.19/564.34 c GARBAGE COLLECT 562.19/564.34 c rational objective 0 584.60/586.82 c #Conflicts: 434000 | #Constraints: 13863 584.60/586.82 c #Conflicts: 435000 | #Constraints: 14868 584.60/586.82 c #Conflicts: 436000 | #Constraints: 15871 584.60/586.82 c #Conflicts: 437000 | #Constraints: 16875 584.60/586.82 c #Conflicts: 438000 | #Constraints: 17879 584.60/586.82 c #Conflicts: 439000 | #Constraints: 18880 584.60/586.82 c #Conflicts: 440000 | #Constraints: 19882 584.60/586.82 c #Conflicts: 441000 | #Constraints: 20884 584.60/586.82 c #Conflicts: 442000 | #Constraints: 21884 584.60/586.82 c #Conflicts: 443000 | #Constraints: 22886 584.60/586.82 c #Conflicts: 444000 | #Constraints: 23889 584.60/586.82 c #Conflicts: 445000 | #Constraints: 24891 584.60/586.82 c #Conflicts: 446000 | #Constraints: 25892 584.60/586.82 c INPROCESSING 584.60/586.82 c GARBAGE COLLECT 584.60/586.82 c rational objective 0 607.02/609.36 c #Conflicts: 447000 | #Constraints: 13668 607.02/609.36 c #Conflicts: 448000 | #Constraints: 14669 607.02/609.36 c #Conflicts: 449000 | #Constraints: 15671 607.02/609.36 c #Conflicts: 450000 | #Constraints: 16674 607.02/609.36 c #Conflicts: 451000 | #Constraints: 17674 607.02/609.36 c #Conflicts: 452000 | #Constraints: 18677 607.02/609.36 c #Conflicts: 453000 | #Constraints: 19678 607.02/609.36 c #Conflicts: 454000 | #Constraints: 20678 607.02/609.36 c #Conflicts: 455000 | #Constraints: 21678 607.02/609.36 c #Conflicts: 456000 | #Constraints: 22680 607.02/609.36 c #Conflicts: 457000 | #Constraints: 23681 607.02/609.36 c #Conflicts: 458000 | #Constraints: 24681 607.02/609.36 c #Conflicts: 459000 | #Constraints: 25683 607.02/609.36 c #Conflicts: 460000 | #Constraints: 26684 607.02/609.36 c INPROCESSING 607.02/609.36 c GARBAGE COLLECT 607.02/609.36 c rational objective 0 642.20/644.69 c #Conflicts: 461000 | #Constraints: 14260 642.20/644.69 c #Conflicts: 462000 | #Constraints: 15263 642.20/644.69 c #Conflicts: 463000 | #Constraints: 16264 642.20/644.69 c #Conflicts: 464000 | #Constraints: 17265 642.20/644.69 c #Conflicts: 465000 | #Constraints: 18266 642.20/644.69 c #Conflicts: 466000 | #Constraints: 19268 642.20/644.69 c #Conflicts: 467000 | #Constraints: 20270 642.20/644.69 c #Conflicts: 468000 | #Constraints: 21271 642.20/644.69 c #Conflicts: 469000 | #Constraints: 22273 642.20/644.69 c #Conflicts: 470000 | #Constraints: 23273 642.20/644.69 c #Conflicts: 471000 | #Constraints: 24274 642.20/644.69 c #Conflicts: 472000 | #Constraints: 25276 642.20/644.69 c #Conflicts: 473000 | #Constraints: 26277 642.20/644.69 c #Conflicts: 474000 | #Constraints: 27280 642.20/644.69 c INPROCESSING 642.20/644.69 c GARBAGE COLLECT 642.20/644.69 c rational objective 0 674.27/676.83 c #Conflicts: 475000 | #Constraints: 14665 674.27/676.83 c #Conflicts: 476000 | #Constraints: 15667 674.27/676.83 c #Conflicts: 477000 | #Constraints: 16669 674.27/676.83 c #Conflicts: 478000 | #Constraints: 17669 674.27/676.83 c #Conflicts: 479000 | #Constraints: 18672 674.27/676.83 c #Conflicts: 480000 | #Constraints: 19672 674.27/676.83 c #Conflicts: 481000 | #Constraints: 20672 674.27/676.83 c #Conflicts: 482000 | #Constraints: 21673 674.27/676.83 c #Conflicts: 483000 | #Constraints: 22674 674.27/676.83 c #Conflicts: 484000 | #Constraints: 23675 674.27/676.83 c #Conflicts: 485000 | #Constraints: 24676 674.27/676.83 c #Conflicts: 486000 | #Constraints: 25676 674.27/676.83 c #Conflicts: 487000 | #Constraints: 26677 674.27/676.83 c #Conflicts: 488000 | #Constraints: 27678 674.27/676.83 c INPROCESSING 674.27/676.83 c GARBAGE COLLECT 674.27/676.83 c rational objective 0 710.03/712.77 c #Conflicts: 489000 | #Constraints: 14858 710.03/712.77 c #Conflicts: 490000 | #Constraints: 15859 710.03/712.77 c #Conflicts: 491000 | #Constraints: 16859 710.03/712.77 c #Conflicts: 492000 | #Constraints: 17861 710.03/712.77 c #Conflicts: 493000 | #Constraints: 18863 710.03/712.77 c #Conflicts: 494000 | #Constraints: 19864 710.03/712.77 c #Conflicts: 495000 | #Constraints: 20866 710.03/712.77 c #Conflicts: 496000 | #Constraints: 21868 710.03/712.77 c #Conflicts: 497000 | #Constraints: 22870 710.03/712.77 c #Conflicts: 498000 | #Constraints: 23872 710.03/712.77 c #Conflicts: 499000 | #Constraints: 24873 710.03/712.77 c #Conflicts: 500000 | #Constraints: 25876 710.03/712.77 c #Conflicts: 501000 | #Constraints: 26876 710.03/712.77 c #Conflicts: 502000 | #Constraints: 27876 710.03/712.77 c INPROCESSING 710.03/712.77 c GARBAGE COLLECT 710.03/712.77 c rational objective 0 739.92/742.75 c #Conflicts: 503000 | #Constraints: 14866 739.92/742.75 c #Conflicts: 504000 | #Constraints: 15869 739.92/742.75 c #Conflicts: 505000 | #Constraints: 16869 739.92/742.75 c #Conflicts: 506000 | #Constraints: 17871 739.92/742.75 c #Conflicts: 507000 | #Constraints: 18871 739.92/742.75 c #Conflicts: 508000 | #Constraints: 19872 739.92/742.75 c #Conflicts: 509000 | #Constraints: 20873 739.92/742.75 c #Conflicts: 510000 | #Constraints: 21873 739.92/742.75 c #Conflicts: 511000 | #Constraints: 22874 739.92/742.75 c #Conflicts: 512000 | #Constraints: 23875 739.92/742.75 c #Conflicts: 513000 | #Constraints: 24876 739.92/742.75 c #Conflicts: 514000 | #Constraints: 25877 739.92/742.75 c #Conflicts: 515000 | #Constraints: 26879 739.92/742.75 c #Conflicts: 516000 | #Constraints: 27880 739.92/742.75 c INPROCESSING 739.92/742.75 c GARBAGE COLLECT 739.92/742.75 c rational objective 0 779.98/782.92 c #Conflicts: 517000 | #Constraints: 14659 779.98/782.92 c #Conflicts: 518000 | #Constraints: 15662 779.98/782.92 c #Conflicts: 519000 | #Constraints: 16664 779.98/782.92 c #Conflicts: 520000 | #Constraints: 17669 779.98/782.92 c #Conflicts: 521000 | #Constraints: 18669 779.98/782.92 c #Conflicts: 522000 | #Constraints: 19670 779.98/782.92 c #Conflicts: 523000 | #Constraints: 20671 779.98/782.92 c #Conflicts: 524000 | #Constraints: 21672 779.98/782.92 c #Conflicts: 525000 | #Constraints: 22674 779.98/782.92 c #Conflicts: 526000 | #Constraints: 23677 779.98/782.92 c #Conflicts: 527000 | #Constraints: 24678 779.98/782.92 c #Conflicts: 528000 | #Constraints: 25681 779.98/782.92 c #Conflicts: 529000 | #Constraints: 26683 779.98/782.92 c #Conflicts: 530000 | #Constraints: 27684 779.98/782.92 c #Conflicts: 531000 | #Constraints: 28685 779.98/782.92 c INPROCESSING 779.98/782.92 c GARBAGE COLLECT 779.98/782.92 c rational objective 0 805.56/808.63 c #Conflicts: 532000 | #Constraints: 15272 805.56/808.63 c #Conflicts: 533000 | #Constraints: 16274 805.56/808.63 c #Conflicts: 534000 | #Constraints: 17277 805.56/808.63 c #Conflicts: 535000 | #Constraints: 18279 805.56/808.63 c #Conflicts: 536000 | #Constraints: 19279 805.56/808.63 c #Conflicts: 537000 | #Constraints: 20280 805.56/808.63 c #Conflicts: 538000 | #Constraints: 21281 805.56/808.63 c #Conflicts: 539000 | #Constraints: 22283 805.56/808.63 c #Conflicts: 540000 | #Constraints: 23283 805.56/808.63 c #Conflicts: 541000 | #Constraints: 24286 805.56/808.63 c #Conflicts: 542000 | #Constraints: 25287 805.56/808.63 c #Conflicts: 543000 | #Constraints: 26291 805.56/808.63 c #Conflicts: 544000 | #Constraints: 27292 805.56/808.63 c #Conflicts: 545000 | #Constraints: 28294 805.56/808.63 c #Conflicts: 546000 | #Constraints: 29296 805.56/808.63 c INPROCESSING 805.56/808.63 c GARBAGE COLLECT 805.56/808.63 c rational objective 0 833.07/836.23 c #Conflicts: 547000 | #Constraints: 15664 833.07/836.23 c #Conflicts: 548000 | #Constraints: 16664 833.07/836.23 c #Conflicts: 549000 | #Constraints: 17665 833.07/836.23 c #Conflicts: 550000 | #Constraints: 18666 833.07/836.23 c #Conflicts: 551000 | #Constraints: 19667 833.07/836.23 c #Conflicts: 552000 | #Constraints: 20668 833.07/836.23 c #Conflicts: 553000 | #Constraints: 21669 833.07/836.23 c #Conflicts: 554000 | #Constraints: 22670 833.07/836.23 c #Conflicts: 555000 | #Constraints: 23672 833.07/836.23 c #Conflicts: 556000 | #Constraints: 24674 833.07/836.23 c #Conflicts: 557000 | #Constraints: 25675 833.07/836.23 c #Conflicts: 558000 | #Constraints: 26676 833.07/836.23 c #Conflicts: 559000 | #Constraints: 27679 833.07/836.23 c #Conflicts: 560000 | #Constraints: 28681 833.07/836.23 c #Conflicts: 561000 | #Constraints: 29683 833.07/836.23 c INPROCESSING 833.07/836.23 c GARBAGE COLLECT 833.07/836.23 c rational objective 0 873.43/876.78 c #Conflicts: 562000 | #Constraints: 15859 873.43/876.78 c #Conflicts: 563000 | #Constraints: 16863 873.43/876.78 c #Conflicts: 564000 | #Constraints: 17868 873.43/876.78 c #Conflicts: 565000 | #Constraints: 18868 873.43/876.78 c #Conflicts: 566000 | #Constraints: 19869 873.43/876.78 c #Conflicts: 567000 | #Constraints: 20873 873.43/876.78 c #Conflicts: 568000 | #Constraints: 21875 873.43/876.78 c #Conflicts: 569000 | #Constraints: 22877 873.43/876.78 c #Conflicts: 570000 | #Constraints: 23881 873.43/876.78 c #Conflicts: 571000 | #Constraints: 24884 873.43/876.78 c #Conflicts: 572000 | #Constraints: 25885 873.43/876.78 c #Conflicts: 573000 | #Constraints: 26889 873.43/876.78 c #Conflicts: 574000 | #Constraints: 27891 873.43/876.78 c #Conflicts: 575000 | #Constraints: 28894 873.43/876.78 c #Conflicts: 576000 | #Constraints: 29897 873.43/876.78 c INPROCESSING 873.43/876.78 c GARBAGE COLLECT 873.43/876.78 c rational objective 0 900.65/904.10 c #Conflicts: 577000 | #Constraints: 15870 900.65/904.10 c #Conflicts: 578000 | #Constraints: 16871 900.65/904.10 c #Conflicts: 579000 | #Constraints: 17871 900.65/904.10 c #Conflicts: 580000 | #Constraints: 18871 900.65/904.10 c #Conflicts: 581000 | #Constraints: 19872 900.65/904.10 c #Conflicts: 582000 | #Constraints: 20872 900.65/904.10 c #Conflicts: 583000 | #Constraints: 21873 900.65/904.10 c #Conflicts: 584000 | #Constraints: 22873 900.65/904.10 c #Conflicts: 585000 | #Constraints: 23876 900.65/904.10 c #Conflicts: 586000 | #Constraints: 24877 900.65/904.10 c #Conflicts: 587000 | #Constraints: 25877 900.65/904.10 c #Conflicts: 588000 | #Constraints: 26877 900.65/904.10 c #Conflicts: 589000 | #Constraints: 27881 900.65/904.10 c #Conflicts: 590000 | #Constraints: 28883 900.65/904.10 c #Conflicts: 591000 | #Constraints: 29884 900.65/904.10 c INPROCESSING 900.65/904.10 c GARBAGE COLLECT 900.65/904.10 c rational objective 0 943.21/946.74 c #Conflicts: 592000 | #Constraints: 15661 943.21/946.74 c #Conflicts: 593000 | #Constraints: 16662 943.21/946.74 c #Conflicts: 594000 | #Constraints: 17662 943.21/946.74 c #Conflicts: 595000 | #Constraints: 18664 943.21/946.74 c #Conflicts: 596000 | #Constraints: 19664 943.21/946.74 c #Conflicts: 597000 | #Constraints: 20665 943.21/946.74 c #Conflicts: 598000 | #Constraints: 21665 943.21/946.74 c #Conflicts: 599000 | #Constraints: 22665 943.21/946.74 c #Conflicts: 600000 | #Constraints: 23665 943.21/946.74 c #Conflicts: 601000 | #Constraints: 24666 943.21/946.74 c #Conflicts: 602000 | #Constraints: 25666 943.21/946.74 c #Conflicts: 603000 | #Constraints: 26668 943.21/946.74 c #Conflicts: 604000 | #Constraints: 27668 943.21/946.74 c #Conflicts: 605000 | #Constraints: 28670 943.21/946.74 c bounds 23 >= 0 @ 927.647 943.21/946.74 c #Conflicts: 606000 | #Constraints: 29674 943.21/946.74 c #Conflicts: 607000 | #Constraints: 30677 943.21/946.74 c INPROCESSING 943.21/946.74 c GARBAGE COLLECT 943.21/946.74 c rational objective 0 974.01/977.65 c #Conflicts: 608000 | #Constraints: 16261 974.01/977.65 c #Conflicts: 609000 | #Constraints: 17264 974.01/977.65 c #Conflicts: 610000 | #Constraints: 18265 974.01/977.65 c #Conflicts: 611000 | #Constraints: 19267 974.01/977.65 c #Conflicts: 612000 | #Constraints: 20267 974.01/977.65 c #Conflicts: 613000 | #Constraints: 21267 974.01/977.65 c #Conflicts: 614000 | #Constraints: 22268 974.01/977.65 c #Conflicts: 615000 | #Constraints: 23268 974.01/977.65 c #Conflicts: 616000 | #Constraints: 24270 974.01/977.65 c #Conflicts: 617000 | #Constraints: 25271 974.01/977.65 c #Conflicts: 618000 | #Constraints: 26272 974.01/977.65 c #Conflicts: 619000 | #Constraints: 27272 974.01/977.65 c #Conflicts: 620000 | #Constraints: 28273 974.01/977.65 c #Conflicts: 621000 | #Constraints: 29274 974.01/977.65 c #Conflicts: 622000 | #Constraints: 30276 974.01/977.65 c #Conflicts: 623000 | #Constraints: 31277 974.01/977.65 c INPROCESSING 974.01/977.65 c GARBAGE COLLECT 974.01/977.65 c rational objective 0 1003.10/1006.87 c #Conflicts: 624000 | #Constraints: 16653 1003.10/1006.87 c #Conflicts: 625000 | #Constraints: 17653 1003.10/1006.87 c #Conflicts: 626000 | #Constraints: 18653 1003.10/1006.87 c #Conflicts: 627000 | #Constraints: 19653 1003.10/1006.87 c #Conflicts: 628000 | #Constraints: 20653 1003.10/1006.87 c #Conflicts: 629000 | #Constraints: 21655 1003.10/1006.87 c #Conflicts: 630000 | #Constraints: 22655 1003.10/1006.87 c #Conflicts: 631000 | #Constraints: 23656 1003.10/1006.87 c #Conflicts: 632000 | #Constraints: 24660 1003.10/1006.87 c #Conflicts: 633000 | #Constraints: 25661 1003.10/1006.87 c #Conflicts: 634000 | #Constraints: 26661 1003.10/1006.87 c #Conflicts: 635000 | #Constraints: 27662 1003.10/1006.87 c #Conflicts: 636000 | #Constraints: 28663 1003.10/1006.87 c #Conflicts: 637000 | #Constraints: 29664 1003.10/1006.87 c #Conflicts: 638000 | #Constraints: 30666 1003.10/1006.87 c #Conflicts: 639000 | #Constraints: 31668 1003.10/1006.87 c INPROCESSING 1003.10/1006.87 c GARBAGE COLLECT 1003.10/1006.87 c rational objective 0 1049.55/1053.40 c #Conflicts: 640000 | #Constraints: 16849 1049.55/1053.40 c #Conflicts: 641000 | #Constraints: 17850 1049.55/1053.40 c #Conflicts: 642000 | #Constraints: 18851 1049.55/1053.40 c #Conflicts: 643000 | #Constraints: 19854 1049.55/1053.40 c #Conflicts: 644000 | #Constraints: 20854 1049.55/1053.40 c #Conflicts: 645000 | #Constraints: 21855 1049.55/1053.40 c #Conflicts: 646000 | #Constraints: 22856 1049.55/1053.40 c #Conflicts: 647000 | #Constraints: 23858 1049.55/1053.40 c #Conflicts: 648000 | #Constraints: 24860 1049.55/1053.40 c #Conflicts: 649000 | #Constraints: 25864 1049.55/1053.40 c #Conflicts: 650000 | #Constraints: 26865 1049.55/1053.40 c #Conflicts: 651000 | #Constraints: 27868 1049.55/1053.40 c #Conflicts: 652000 | #Constraints: 28868 1049.55/1053.40 c #Conflicts: 653000 | #Constraints: 29869 1049.55/1053.40 c #Conflicts: 654000 | #Constraints: 30871 1049.55/1053.40 c #Conflicts: 655000 | #Constraints: 31872 1049.55/1053.40 c INPROCESSING 1049.55/1053.40 c GARBAGE COLLECT 1049.55/1053.40 c rational objective 0 1082.16/1086.11 c #Conflicts: 656000 | #Constraints: 16865 1082.16/1086.11 c #Conflicts: 657000 | #Constraints: 17867 1082.16/1086.11 c #Conflicts: 658000 | #Constraints: 18869 1082.16/1086.11 c #Conflicts: 659000 | #Constraints: 19871 1082.16/1086.11 c #Conflicts: 660000 | #Constraints: 20871 1082.16/1086.11 c #Conflicts: 661000 | #Constraints: 21872 1082.16/1086.11 c #Conflicts: 662000 | #Constraints: 22875 1082.16/1086.11 c #Conflicts: 663000 | #Constraints: 23875 1082.16/1086.11 c #Conflicts: 664000 | #Constraints: 24877 1082.16/1086.11 c #Conflicts: 665000 | #Constraints: 25878 1082.16/1086.11 c #Conflicts: 666000 | #Constraints: 26878 1082.16/1086.11 c #Conflicts: 667000 | #Constraints: 27878 1082.16/1086.11 c #Conflicts: 668000 | #Constraints: 28878 1082.16/1086.11 c #Conflicts: 669000 | #Constraints: 29879 1082.16/1086.11 c #Conflicts: 670000 | #Constraints: 30881 1082.16/1086.11 c #Conflicts: 671000 | #Constraints: 31881 1082.16/1086.11 c INPROCESSING 1082.16/1086.11 c GARBAGE COLLECT 1082.16/1086.11 c rational objective 0 1130.58/1134.78 c #Conflicts: 672000 | #Constraints: 16655 1130.58/1134.78 c #Conflicts: 673000 | #Constraints: 17657 1130.58/1134.78 c #Conflicts: 674000 | #Constraints: 18657 1130.58/1134.78 c #Conflicts: 675000 | #Constraints: 19659 1130.58/1134.78 c #Conflicts: 676000 | #Constraints: 20663 1130.58/1134.78 c #Conflicts: 677000 | #Constraints: 21666 1130.58/1134.78 c #Conflicts: 678000 | #Constraints: 22668 1130.58/1134.78 c #Conflicts: 679000 | #Constraints: 23669 1130.58/1134.78 c #Conflicts: 680000 | #Constraints: 24670 1130.58/1134.78 c #Conflicts: 681000 | #Constraints: 25671 1130.58/1134.78 c #Conflicts: 682000 | #Constraints: 26675 1130.58/1134.78 c #Conflicts: 683000 | #Constraints: 27676 1130.58/1134.78 c #Conflicts: 684000 | #Constraints: 28677 1130.58/1134.78 c #Conflicts: 685000 | #Constraints: 29679 1130.58/1134.78 c #Conflicts: 686000 | #Constraints: 30680 1130.58/1134.78 c #Conflicts: 687000 | #Constraints: 31682 1130.58/1134.78 c #Conflicts: 688000 | #Constraints: 32683 1130.58/1134.78 c INPROCESSING 1130.58/1134.78 c GARBAGE COLLECT 1130.58/1134.78 c rational objective 0 1166.66/1170.98 c #Conflicts: 689000 | #Constraints: 17273 1166.66/1170.98 c #Conflicts: 690000 | #Constraints: 18275 1166.66/1170.98 c #Conflicts: 691000 | #Constraints: 19276 1166.66/1170.98 c #Conflicts: 692000 | #Constraints: 20277 1166.66/1170.98 c #Conflicts: 693000 | #Constraints: 21277 1166.66/1170.98 c #Conflicts: 694000 | #Constraints: 22277 1166.66/1170.98 c #Conflicts: 695000 | #Constraints: 23278 1166.66/1170.98 c #Conflicts: 696000 | #Constraints: 24278 1166.66/1170.98 c #Conflicts: 697000 | #Constraints: 25280 1166.66/1170.98 c #Conflicts: 698000 | #Constraints: 26281 1166.66/1170.98 c #Conflicts: 699000 | #Constraints: 27283 1166.66/1170.98 c #Conflicts: 700000 | #Constraints: 28283 1166.66/1170.98 c #Conflicts: 701000 | #Constraints: 29283 1166.66/1170.98 c #Conflicts: 702000 | #Constraints: 30286 1166.66/1170.98 c #Conflicts: 703000 | #Constraints: 31287 1166.66/1170.98 c #Conflicts: 704000 | #Constraints: 32288 1166.66/1170.98 c #Conflicts: 705000 | #Constraints: 33289 1166.66/1170.98 c INPROCESSING 1166.66/1170.98 c GARBAGE COLLECT 1166.66/1170.98 c rational objective 0 1209.21/1213.60 c #Conflicts: 706000 | #Constraints: 17664 1209.21/1213.60 c #Conflicts: 707000 | #Constraints: 18665 1209.21/1213.60 c #Conflicts: 708000 | #Constraints: 19665 1209.21/1213.60 c #Conflicts: 709000 | #Constraints: 20666 1209.21/1213.60 c #Conflicts: 710000 | #Constraints: 21667 1209.21/1213.60 c #Conflicts: 711000 | #Constraints: 22668 1209.21/1213.60 c #Conflicts: 712000 | #Constraints: 23670 1209.21/1213.60 c #Conflicts: 713000 | #Constraints: 24670 1209.21/1213.60 c #Conflicts: 714000 | #Constraints: 25671 1209.21/1213.60 c #Conflicts: 715000 | #Constraints: 26674 1209.21/1213.60 c #Conflicts: 716000 | #Constraints: 27675 1209.21/1213.60 c #Conflicts: 717000 | #Constraints: 28676 1209.21/1213.60 c #Conflicts: 718000 | #Constraints: 29677 1209.21/1213.60 c #Conflicts: 719000 | #Constraints: 30679 1209.21/1213.60 c #Conflicts: 720000 | #Constraints: 31679 1209.21/1213.60 c #Conflicts: 721000 | #Constraints: 32681 1209.21/1213.60 c #Conflicts: 722000 | #Constraints: 33684 1209.21/1213.60 c INPROCESSING 1209.21/1213.60 c GARBAGE COLLECT 1209.21/1213.60 c rational objective 0 1263.73/1268.39 c #Conflicts: 723000 | #Constraints: 17866 1263.73/1268.39 c #Conflicts: 724000 | #Constraints: 18869 1263.73/1268.39 c #Conflicts: 725000 | #Constraints: 19873 1263.73/1268.39 c #Conflicts: 726000 | #Constraints: 20877 1263.73/1268.39 c #Conflicts: 727000 | #Constraints: 21879 1263.73/1268.39 c #Conflicts: 728000 | #Constraints: 22879 1263.73/1268.39 c #Conflicts: 729000 | #Constraints: 23879 1263.73/1268.39 c #Conflicts: 730000 | #Constraints: 24881 1263.73/1268.39 c #Conflicts: 731000 | #Constraints: 25881 1263.73/1268.39 c #Conflicts: 732000 | #Constraints: 26882 1263.73/1268.39 c #Conflicts: 733000 | #Constraints: 27882 1263.73/1268.39 c #Conflicts: 734000 | #Constraints: 28882 1263.73/1268.39 c #Conflicts: 735000 | #Constraints: 29884 1263.73/1268.39 c #Conflicts: 736000 | #Constraints: 30884 1263.73/1268.39 c #Conflicts: 737000 | #Constraints: 31885 1263.73/1268.39 c #Conflicts: 738000 | #Constraints: 32886 1263.73/1268.39 c #Conflicts: 739000 | #Constraints: 33887 1263.73/1268.39 c INPROCESSING 1263.73/1268.39 c GARBAGE COLLECT 1263.73/1268.39 c rational objective 0 1301.00/1305.78 c #Conflicts: 740000 | #Constraints: 17868 1301.00/1305.78 c #Conflicts: 741000 | #Constraints: 18871 1301.00/1305.78 c #Conflicts: 742000 | #Constraints: 19871 1301.00/1305.78 c #Conflicts: 743000 | #Constraints: 20872 1301.00/1305.78 c #Conflicts: 744000 | #Constraints: 21872 1301.00/1305.78 c #Conflicts: 745000 | #Constraints: 22873 1301.00/1305.78 c #Conflicts: 746000 | #Constraints: 23873 1301.00/1305.78 c #Conflicts: 747000 | #Constraints: 24875 1301.00/1305.78 c #Conflicts: 748000 | #Constraints: 25876 1301.00/1305.78 c #Conflicts: 749000 | #Constraints: 26877 1301.00/1305.78 c #Conflicts: 750000 | #Constraints: 27877 1301.00/1305.78 c #Conflicts: 751000 | #Constraints: 28877 1301.00/1305.78 c #Conflicts: 752000 | #Constraints: 29877 1301.00/1305.78 c #Conflicts: 753000 | #Constraints: 30877 1301.00/1305.78 c #Conflicts: 754000 | #Constraints: 31879 1301.00/1305.78 c #Conflicts: 755000 | #Constraints: 32879 1301.00/1305.78 c #Conflicts: 756000 | #Constraints: 33879 1301.00/1305.78 c INPROCESSING 1301.00/1305.78 c GARBAGE COLLECT 1301.00/1305.78 c rational objective 0 1359.61/1364.58 c #Conflicts: 757000 | #Constraints: 17657 1359.61/1364.58 c #Conflicts: 758000 | #Constraints: 18659 1359.61/1364.58 c #Conflicts: 759000 | #Constraints: 19660 1359.61/1364.58 c #Conflicts: 760000 | #Constraints: 20661 1359.61/1364.58 c #Conflicts: 761000 | #Constraints: 21663 1359.61/1364.58 c #Conflicts: 762000 | #Constraints: 22664 1359.61/1364.58 c #Conflicts: 763000 | #Constraints: 23665 1359.61/1364.58 c #Conflicts: 764000 | #Constraints: 24666 1359.61/1364.58 c #Conflicts: 765000 | #Constraints: 25670 1359.61/1364.58 c #Conflicts: 766000 | #Constraints: 26672 1359.61/1364.58 c #Conflicts: 767000 | #Constraints: 27672 1359.61/1364.58 c #Conflicts: 768000 | #Constraints: 28675 1359.61/1364.58 c #Conflicts: 769000 | #Constraints: 29676 1359.61/1364.58 c #Conflicts: 770000 | #Constraints: 30679 1359.61/1364.58 c #Conflicts: 771000 | #Constraints: 31679 1359.61/1364.58 c #Conflicts: 772000 | #Constraints: 32680 1359.61/1364.58 c #Conflicts: 773000 | #Constraints: 33682 1359.61/1364.58 c #Conflicts: 774000 | #Constraints: 34682 1359.61/1364.58 c INPROCESSING 1359.61/1364.58 c GARBAGE COLLECT 1359.61/1364.58 c rational objective 0 1398.38/1403.48 c #Conflicts: 775000 | #Constraints: 18267 1398.38/1403.48 c #Conflicts: 776000 | #Constraints: 19268 1398.38/1403.48 c #Conflicts: 777000 | #Constraints: 20268 1398.38/1403.48 c #Conflicts: 778000 | #Constraints: 21270 1398.38/1403.48 c #Conflicts: 779000 | #Constraints: 22270 1398.38/1403.48 c #Conflicts: 780000 | #Constraints: 23270 1398.38/1403.48 c #Conflicts: 781000 | #Constraints: 24271 1398.38/1403.48 c #Conflicts: 782000 | #Constraints: 25274 1398.38/1403.48 c #Conflicts: 783000 | #Constraints: 26276 1398.38/1403.48 c #Conflicts: 784000 | #Constraints: 27276 1398.38/1403.48 c #Conflicts: 785000 | #Constraints: 28277 1398.38/1403.48 c #Conflicts: 786000 | #Constraints: 29278 1398.38/1403.48 c #Conflicts: 787000 | #Constraints: 30278 1398.38/1403.48 c #Conflicts: 788000 | #Constraints: 31280 1398.38/1403.48 c #Conflicts: 789000 | #Constraints: 32280 1398.38/1403.48 c #Conflicts: 790000 | #Constraints: 33282 1398.38/1403.48 c #Conflicts: 791000 | #Constraints: 34283 1398.38/1403.48 c #Conflicts: 792000 | #Constraints: 35283 1398.38/1403.48 c INPROCESSING 1398.38/1403.48 c GARBAGE COLLECT 1398.38/1403.48 c rational objective 0 1437.25/1442.44 c #Conflicts: 793000 | #Constraints: 18656 1437.25/1442.44 c #Conflicts: 794000 | #Constraints: 19657 1437.25/1442.44 c #Conflicts: 795000 | #Constraints: 20658 1437.25/1442.44 c #Conflicts: 796000 | #Constraints: 21658 1437.25/1442.44 c #Conflicts: 797000 | #Constraints: 22658 1437.25/1442.44 c #Conflicts: 798000 | #Constraints: 23660 1437.25/1442.44 c #Conflicts: 799000 | #Constraints: 24660 1437.25/1442.44 c #Conflicts: 800000 | #Constraints: 25661 1437.25/1442.44 c #Conflicts: 801000 | #Constraints: 26665 1437.25/1442.44 c #Conflicts: 802000 | #Constraints: 27665 1437.25/1442.44 c #Conflicts: 803000 | #Constraints: 28667 1437.25/1442.44 c #Conflicts: 804000 | #Constraints: 29667 1437.25/1442.44 c #Conflicts: 805000 | #Constraints: 30667 1437.25/1442.44 c #Conflicts: 806000 | #Constraints: 31668 1437.25/1442.44 c #Conflicts: 807000 | #Constraints: 32668 1437.25/1442.44 c #Conflicts: 808000 | #Constraints: 33668 1437.25/1442.44 c #Conflicts: 809000 | #Constraints: 34668 1437.25/1442.44 c #Conflicts: 810000 | #Constraints: 35668 1437.25/1442.44 c INPROCESSING 1437.25/1442.44 c GARBAGE COLLECT 1437.25/1442.44 c rational objective 0 1498.95/1504.32 c #Conflicts: 811000 | #Constraints: 18854 1498.95/1504.32 c #Conflicts: 812000 | #Constraints: 19854 1498.95/1504.32 c #Conflicts: 813000 | #Constraints: 20855 1498.95/1504.32 c #Conflicts: 814000 | #Constraints: 21856 1498.95/1504.32 c #Conflicts: 815000 | #Constraints: 22859 1498.95/1504.32 c #Conflicts: 816000 | #Constraints: 23861 1498.95/1504.32 c #Conflicts: 817000 | #Constraints: 24862 1498.95/1504.32 c #Conflicts: 818000 | #Constraints: 25862 1498.95/1504.32 c #Conflicts: 819000 | #Constraints: 26866 1498.95/1504.32 c #Conflicts: 820000 | #Constraints: 27867 1498.95/1504.32 c #Conflicts: 821000 | #Constraints: 28871 1498.95/1504.32 c #Conflicts: 822000 | #Constraints: 29871 1498.95/1504.32 c #Conflicts: 823000 | #Constraints: 30873 1498.95/1504.32 c #Conflicts: 824000 | #Constraints: 31876 1498.95/1504.32 c #Conflicts: 825000 | #Constraints: 32880 1498.95/1504.32 c #Conflicts: 826000 | #Constraints: 33881 1498.95/1504.32 c #Conflicts: 827000 | #Constraints: 34882 1498.95/1504.32 c #Conflicts: 828000 | #Constraints: 35883 1498.95/1504.32 c INPROCESSING 1498.95/1504.32 c GARBAGE COLLECT 1498.95/1504.32 c rational objective 0 1550.17/1555.70 c #Conflicts: 829000 | #Constraints: 18867 1550.17/1555.70 c #Conflicts: 830000 | #Constraints: 19867 1550.17/1555.70 c #Conflicts: 831000 | #Constraints: 20867 1550.17/1555.70 c #Conflicts: 832000 | #Constraints: 21869 1550.17/1555.70 c #Conflicts: 833000 | #Constraints: 22869 1550.17/1555.70 c #Conflicts: 834000 | #Constraints: 23869 1550.17/1555.70 c #Conflicts: 835000 | #Constraints: 24869 1550.17/1555.70 c #Conflicts: 836000 | #Constraints: 25871 1550.17/1555.70 c #Conflicts: 837000 | #Constraints: 26871 1550.17/1555.70 c #Conflicts: 838000 | #Constraints: 27871 1550.17/1555.70 c #Conflicts: 839000 | #Constraints: 28872 1550.17/1555.70 c #Conflicts: 840000 | #Constraints: 29872 1550.17/1555.70 c #Conflicts: 841000 | #Constraints: 30873 1550.17/1555.70 c #Conflicts: 842000 | #Constraints: 31874 1550.17/1555.70 c #Conflicts: 843000 | #Constraints: 32874 1550.17/1555.70 c #Conflicts: 844000 | #Constraints: 33874 1550.17/1555.70 c #Conflicts: 845000 | #Constraints: 34875 1550.17/1555.70 c #Conflicts: 846000 | #Constraints: 35876 1550.17/1555.70 c INPROCESSING 1550.17/1555.70 c GARBAGE COLLECT 1550.17/1555.70 c rational objective 0 1614.46/1620.25 c #Conflicts: 847000 | #Constraints: 18656 1614.46/1620.25 c #Conflicts: 848000 | #Constraints: 19656 1614.46/1620.25 c #Conflicts: 849000 | #Constraints: 20657 1614.46/1620.25 c #Conflicts: 850000 | #Constraints: 21658 1614.46/1620.25 c #Conflicts: 851000 | #Constraints: 22661 1614.46/1620.25 c #Conflicts: 852000 | #Constraints: 23663 1614.46/1620.25 c #Conflicts: 853000 | #Constraints: 24665 1614.46/1620.25 c #Conflicts: 854000 | #Constraints: 25667 1614.46/1620.25 c #Conflicts: 855000 | #Constraints: 26669 1614.46/1620.25 c #Conflicts: 856000 | #Constraints: 27671 1614.46/1620.25 c #Conflicts: 857000 | #Constraints: 28673 1614.46/1620.25 c #Conflicts: 858000 | #Constraints: 29674 1614.46/1620.25 c #Conflicts: 859000 | #Constraints: 30675 1614.46/1620.25 c #Conflicts: 860000 | #Constraints: 31675 1614.46/1620.25 c #Conflicts: 861000 | #Constraints: 32676 1614.46/1620.25 c #Conflicts: 862000 | #Constraints: 33676 1614.46/1620.25 c #Conflicts: 863000 | #Constraints: 34678 1614.46/1620.25 c #Conflicts: 864000 | #Constraints: 35680 1614.46/1620.25 c #Conflicts: 865000 | #Constraints: 36680 1614.46/1620.25 c INPROCESSING 1614.46/1620.25 c GARBAGE COLLECT 1614.46/1620.25 c rational objective 0 1664.11/1670.09 c #Conflicts: 866000 | #Constraints: 19265 1664.11/1670.09 c #Conflicts: 867000 | #Constraints: 20266 1664.11/1670.09 c #Conflicts: 868000 | #Constraints: 21266 1664.11/1670.09 c #Conflicts: 869000 | #Constraints: 22266 1664.11/1670.09 c #Conflicts: 870000 | #Constraints: 23266 1664.11/1670.09 c #Conflicts: 871000 | #Constraints: 24267 1664.11/1670.09 c #Conflicts: 872000 | #Constraints: 25267 1664.11/1670.09 c #Conflicts: 873000 | #Constraints: 26267 1664.11/1670.09 c #Conflicts: 874000 | #Constraints: 27267 1664.11/1670.09 c #Conflicts: 875000 | #Constraints: 28267 1664.11/1670.09 c #Conflicts: 876000 | #Constraints: 29267 1664.11/1670.09 c #Conflicts: 877000 | #Constraints: 30267 1664.11/1670.09 c #Conflicts: 878000 | #Constraints: 31268 1664.11/1670.09 c #Conflicts: 879000 | #Constraints: 32268 1664.11/1670.09 c #Conflicts: 880000 | #Constraints: 33269 1664.11/1670.09 c #Conflicts: 881000 | #Constraints: 34269 1664.11/1670.09 c #Conflicts: 882000 | #Constraints: 35270 1664.11/1670.09 c #Conflicts: 883000 | #Constraints: 36271 1664.11/1670.09 c #Conflicts: 884000 | #Constraints: 37273 1664.11/1670.09 c INPROCESSING 1664.11/1670.09 c GARBAGE COLLECT 1664.11/1670.09 c rational objective 0 1709.65/1715.70 c #Conflicts: 885000 | #Constraints: 19654 1709.65/1715.70 c #Conflicts: 886000 | #Constraints: 20654 1709.65/1715.70 c #Conflicts: 887000 | #Constraints: 21654 1709.65/1715.70 c #Conflicts: 888000 | #Constraints: 22655 1709.65/1715.70 c #Conflicts: 889000 | #Constraints: 23655 1709.65/1715.70 c #Conflicts: 890000 | #Constraints: 24655 1709.65/1715.70 c #Conflicts: 891000 | #Constraints: 25658 1709.65/1715.70 c #Conflicts: 892000 | #Constraints: 26658 1709.65/1715.70 c #Conflicts: 893000 | #Constraints: 27659 1709.65/1715.70 c #Conflicts: 894000 | #Constraints: 28659 1709.65/1715.70 c #Conflicts: 895000 | #Constraints: 29660 1709.65/1715.70 c #Conflicts: 896000 | #Constraints: 30660 1709.65/1715.70 c #Conflicts: 897000 | #Constraints: 31660 1709.65/1715.70 c #Conflicts: 898000 | #Constraints: 32660 1709.65/1715.70 c #Conflicts: 899000 | #Constraints: 33660 1709.65/1715.70 c #Conflicts: 900000 | #Constraints: 34661 1709.65/1715.70 c #Conflicts: 901000 | #Constraints: 35661 1709.65/1715.70 c #Conflicts: 902000 | #Constraints: 36662 1709.65/1715.70 c #Conflicts: 903000 | #Constraints: 37662 1709.65/1715.70 c INPROCESSING 1709.65/1715.70 c GARBAGE COLLECT 1709.65/1715.70 c rational objective 0 1782.32/1788.68 c #Conflicts: 904000 | #Constraints: 19849 1782.32/1788.68 c #Conflicts: 905000 | #Constraints: 20849 1782.32/1788.68 c #Conflicts: 906000 | #Constraints: 21849 1782.32/1788.68 c #Conflicts: 907000 | #Constraints: 22850 1782.32/1788.68 c #Conflicts: 908000 | #Constraints: 23851 1782.32/1788.68 c #Conflicts: 909000 | #Constraints: 24851 1782.32/1788.68 c #Conflicts: 910000 | #Constraints: 25852 1782.32/1788.68 c #Conflicts: 911000 | #Constraints: 26852 1782.32/1788.68 c #Conflicts: 912000 | #Constraints: 27852 1782.32/1788.68 c #Conflicts: 913000 | #Constraints: 28853 1782.32/1788.68 c #Conflicts: 914000 | #Constraints: 29855 1782.32/1788.68 c #Conflicts: 915000 | #Constraints: 30855 1782.32/1788.68 c #Conflicts: 916000 | #Constraints: 31856 1782.32/1788.68 c #Conflicts: 917000 | #Constraints: 32857 1782.32/1788.68 c #Conflicts: 918000 | #Constraints: 33857 1782.32/1788.68 c #Conflicts: 919000 | #Constraints: 34857 1782.32/1788.68 c #Conflicts: 920000 | #Constraints: 35859 1782.32/1788.68 c #Conflicts: 921000 | #Constraints: 36861 1782.32/1788.68 c #Conflicts: 922000 | #Constraints: 37862 1782.32/1788.68 c INPROCESSING 1782.32/1788.68 c GARBAGE COLLECT 1782.32/1788.68 c rational objective 0 1836.44/1842.93 c #Conflicts: 923000 | #Constraints: 19864 1836.44/1842.93 c #Conflicts: 924000 | #Constraints: 20865 1836.44/1842.93 c #Conflicts: 925000 | #Constraints: 21865 1836.44/1842.93 c #Conflicts: 926000 | #Constraints: 22865 1836.44/1842.93 c #Conflicts: 927000 | #Constraints: 23866 1836.44/1842.93 c #Conflicts: 928000 | #Constraints: 24867 1836.44/1842.93 c #Conflicts: 929000 | #Constraints: 25867 1836.44/1842.93 c #Conflicts: 930000 | #Constraints: 26868 1836.44/1842.93 c #Conflicts: 931000 | #Constraints: 27868 1836.44/1842.93 c #Conflicts: 932000 | #Constraints: 28869 1836.44/1842.93 c #Conflicts: 933000 | #Constraints: 29870 1836.44/1842.93 c #Conflicts: 934000 | #Constraints: 30871 1836.44/1842.93 c #Conflicts: 935000 | #Constraints: 31871 1836.44/1842.93 c #Conflicts: 936000 | #Constraints: 32873 1836.44/1842.93 c #Conflicts: 937000 | #Constraints: 33873 1836.44/1842.93 c #Conflicts: 938000 | #Constraints: 34873 1836.44/1842.93 c #Conflicts: 939000 | #Constraints: 35873 1836.44/1842.93 c #Conflicts: 940000 | #Constraints: 36873 1836.44/1842.93 c #Conflicts: 941000 | #Constraints: 37873 1836.44/1842.93 c INPROCESSING 1836.44/1842.93 c GARBAGE COLLECT 1836.44/1842.93 c rational objective 0 1909.71/1916.41 c #Conflicts: 942000 | #Constraints: 19651 1909.71/1916.41 c #Conflicts: 943000 | #Constraints: 20651 1909.71/1916.41 c #Conflicts: 944000 | #Constraints: 21651 1909.71/1916.41 c #Conflicts: 945000 | #Constraints: 22654 1909.71/1916.41 c #Conflicts: 946000 | #Constraints: 23655 1909.71/1916.41 c #Conflicts: 947000 | #Constraints: 24655 1909.71/1916.41 c #Conflicts: 948000 | #Constraints: 25655 1909.71/1916.41 c #Conflicts: 949000 | #Constraints: 26655 1909.71/1916.41 c #Conflicts: 950000 | #Constraints: 27656 1909.71/1916.41 c #Conflicts: 951000 | #Constraints: 28656 1909.71/1916.41 c #Conflicts: 952000 | #Constraints: 29656 1909.71/1916.41 c #Conflicts: 953000 | #Constraints: 30657 1909.71/1916.41 c #Conflicts: 954000 | #Constraints: 31657 1909.71/1916.41 c #Conflicts: 955000 | #Constraints: 32657 1909.71/1916.41 c #Conflicts: 956000 | #Constraints: 33657 1909.71/1916.41 c #Conflicts: 957000 | #Constraints: 34657 1909.71/1916.41 c #Conflicts: 958000 | #Constraints: 35660 1909.71/1916.41 c #Conflicts: 959000 | #Constraints: 36660 1909.71/1916.41 c #Conflicts: 960000 | #Constraints: 37660 1909.71/1916.41 c #Conflicts: 961000 | #Constraints: 38660 1909.71/1916.41 c INPROCESSING 1909.71/1916.41 c GARBAGE COLLECT 1909.71/1916.41 c rational objective 0 1968.41/1975.33 c #Conflicts: 962000 | #Constraints: 20252 1968.41/1975.33 c #Conflicts: 963000 | #Constraints: 21256 1968.41/1975.33 c #Conflicts: 964000 | #Constraints: 22256 1968.41/1975.33 c #Conflicts: 965000 | #Constraints: 23257 1968.41/1975.33 c #Conflicts: 966000 | #Constraints: 24257 1968.41/1975.33 c #Conflicts: 967000 | #Constraints: 25257 1968.41/1975.33 c #Conflicts: 968000 | #Constraints: 26257 1968.41/1975.33 c #Conflicts: 969000 | #Constraints: 27259 1968.41/1975.33 c #Conflicts: 970000 | #Constraints: 28260 1968.41/1975.33 c #Conflicts: 971000 | #Constraints: 29261 1968.41/1975.33 c #Conflicts: 972000 | #Constraints: 30262 1968.41/1975.33 c #Conflicts: 973000 | #Constraints: 31262 1968.41/1975.33 c #Conflicts: 974000 | #Constraints: 32262 1968.41/1975.33 c #Conflicts: 975000 | #Constraints: 33262 1968.41/1975.33 c #Conflicts: 976000 | #Constraints: 34262 1968.41/1975.33 c #Conflicts: 977000 | #Constraints: 35264 1968.41/1975.33 c #Conflicts: 978000 | #Constraints: 36264 1968.41/1975.33 c #Conflicts: 979000 | #Constraints: 37265 1968.41/1975.33 c #Conflicts: 980000 | #Constraints: 38265 1968.41/1975.33 c #Conflicts: 981000 | #Constraints: 39265 1968.41/1975.33 c INPROCESSING 1968.41/1975.33 c GARBAGE COLLECT 1968.41/1975.33 c rational objective 0 2037.58/2044.71 c #Conflicts: 982000 | #Constraints: 20651 2037.58/2044.71 c #Conflicts: 983000 | #Constraints: 21651 2037.58/2044.71 c #Conflicts: 984000 | #Constraints: 22652 2037.58/2044.71 c #Conflicts: 985000 | #Constraints: 23652 2037.58/2044.71 c #Conflicts: 986000 | #Constraints: 24653 2037.58/2044.71 c #Conflicts: 987000 | #Constraints: 25653 2037.58/2044.71 c #Conflicts: 988000 | #Constraints: 26653 2037.58/2044.71 c #Conflicts: 989000 | #Constraints: 27653 2037.58/2044.71 c #Conflicts: 990000 | #Constraints: 28654 2037.58/2044.71 c #Conflicts: 991000 | #Constraints: 29655 2037.58/2044.71 c #Conflicts: 992000 | #Constraints: 30655 2037.58/2044.71 c #Conflicts: 993000 | #Constraints: 31655 2037.58/2044.71 c #Conflicts: 994000 | #Constraints: 32655 2037.58/2044.71 c #Conflicts: 995000 | #Constraints: 33655 2037.58/2044.71 c #Conflicts: 996000 | #Constraints: 34655 2037.58/2044.71 c #Conflicts: 997000 | #Constraints: 35655 2037.58/2044.71 c #Conflicts: 998000 | #Constraints: 36655 2037.58/2044.71 c #Conflicts: 999000 | #Constraints: 37655 2037.58/2044.71 c #Conflicts: 1000000 | #Constraints: 38655 2037.58/2044.71 c #Conflicts: 1001000 | #Constraints: 39655 2037.58/2044.71 c INPROCESSING 2037.58/2044.71 c GARBAGE COLLECT 2037.58/2044.71 c rational objective 0 2115.64/2123.08 c #Conflicts: 1002000 | #Constraints: 20848 2115.64/2123.08 c bounds 22 >= 0 @ 2023.09 2115.64/2123.08 c bounds 20 >= 0 @ 2023.11 2115.64/2123.08 c bounds 18 >= 0 @ 2023.13 2115.64/2123.08 c #Conflicts: 1003000 | #Constraints: 21852 2115.64/2123.08 c #Conflicts: 1004000 | #Constraints: 22852 2115.64/2123.08 c #Conflicts: 1005000 | #Constraints: 23852 2115.64/2123.08 c #Conflicts: 1006000 | #Constraints: 24853 2115.64/2123.08 c #Conflicts: 1007000 | #Constraints: 25855 2115.64/2123.08 c #Conflicts: 1008000 | #Constraints: 26858 2115.64/2123.08 c #Conflicts: 1009000 | #Constraints: 27861 2115.64/2123.08 c #Conflicts: 1010000 | #Constraints: 28861 2115.64/2123.08 c #Conflicts: 1011000 | #Constraints: 29861 2115.64/2123.08 c #Conflicts: 1012000 | #Constraints: 30863 2115.64/2123.08 c #Conflicts: 1013000 | #Constraints: 31866 2115.64/2123.08 c #Conflicts: 1014000 | #Constraints: 32867 2115.64/2123.08 c #Conflicts: 1015000 | #Constraints: 33869 2115.64/2123.08 c #Conflicts: 1016000 | #Constraints: 34872 2115.64/2123.08 c #Conflicts: 1017000 | #Constraints: 35872 2115.64/2123.08 c #Conflicts: 1018000 | #Constraints: 36873 2115.64/2123.08 c #Conflicts: 1019000 | #Constraints: 37877 2115.64/2123.08 c #Conflicts: 1020000 | #Constraints: 38877 2115.64/2123.08 c #Conflicts: 1021000 | #Constraints: 39877 2115.64/2123.08 c INPROCESSING 2115.64/2123.08 c GARBAGE COLLECT 2115.64/2123.08 c rational objective 0 2176.82/2184.40 c #Conflicts: 1022000 | #Constraints: 20864 2176.82/2184.40 c #Conflicts: 1023000 | #Constraints: 21866 2176.82/2184.40 c #Conflicts: 1024000 | #Constraints: 22869 2176.82/2184.40 c #Conflicts: 1025000 | #Constraints: 23871 2176.82/2184.40 c #Conflicts: 1026000 | #Constraints: 24873 2176.82/2184.40 c #Conflicts: 1027000 | #Constraints: 25876 2176.82/2184.40 c #Conflicts: 1028000 | #Constraints: 26879 2176.82/2184.40 c #Conflicts: 1029000 | #Constraints: 27881 2176.82/2184.40 c #Conflicts: 1030000 | #Constraints: 28883 2176.82/2184.40 c #Conflicts: 1031000 | #Constraints: 29883 2176.82/2184.40 c #Conflicts: 1032000 | #Constraints: 30884 2176.82/2184.40 c #Conflicts: 1033000 | #Constraints: 31885 2176.82/2184.40 c #Conflicts: 1034000 | #Constraints: 32886 2176.82/2184.40 c #Conflicts: 1035000 | #Constraints: 33887 2176.82/2184.40 c #Conflicts: 1036000 | #Constraints: 34889 2176.82/2184.40 c #Conflicts: 1037000 | #Constraints: 35890 2176.82/2184.40 c #Conflicts: 1038000 | #Constraints: 36891 2176.82/2184.40 c #Conflicts: 1039000 | #Constraints: 37892 2176.82/2184.40 c #Conflicts: 1040000 | #Constraints: 38894 2176.82/2184.40 c #Conflicts: 1041000 | #Constraints: 39894 2176.82/2184.40 c INPROCESSING 2176.82/2184.40 c GARBAGE COLLECT 2176.82/2184.40 c rational objective 0 2261.74/2269.68 c #Conflicts: 1042000 | #Constraints: 20671 2261.74/2269.68 c #Conflicts: 1043000 | #Constraints: 21672 2261.74/2269.68 c #Conflicts: 1044000 | #Constraints: 22674 2261.74/2269.68 c #Conflicts: 1045000 | #Constraints: 23674 2261.74/2269.68 c #Conflicts: 1046000 | #Constraints: 24676 2261.74/2269.68 c #Conflicts: 1047000 | #Constraints: 25679 2261.74/2269.68 c #Conflicts: 1048000 | #Constraints: 26683 2261.74/2269.68 c #Conflicts: 1049000 | #Constraints: 27686 2261.74/2269.68 c #Conflicts: 1050000 | #Constraints: 28687 2261.74/2269.68 c #Conflicts: 1051000 | #Constraints: 29690 2261.74/2269.68 c #Conflicts: 1052000 | #Constraints: 30692 2261.74/2269.68 c #Conflicts: 1053000 | #Constraints: 31692 2261.74/2269.68 c #Conflicts: 1054000 | #Constraints: 32693 2261.74/2269.68 c #Conflicts: 1055000 | #Constraints: 33693 2261.74/2269.68 c #Conflicts: 1056000 | #Constraints: 34695 2261.74/2269.68 c #Conflicts: 1057000 | #Constraints: 35696 2261.74/2269.68 c #Conflicts: 1058000 | #Constraints: 36698 2261.74/2269.68 c #Conflicts: 1059000 | #Constraints: 37699 2261.74/2269.68 c #Conflicts: 1060000 | #Constraints: 38700 2261.74/2269.68 c #Conflicts: 1061000 | #Constraints: 39702 2261.74/2269.68 c #Conflicts: 1062000 | #Constraints: 40702 2261.74/2269.68 c INPROCESSING 2261.74/2269.68 c GARBAGE COLLECT 2261.74/2269.68 c rational objective 0 2346.56/2354.73 c #Conflicts: 1063000 | #Constraints: 21273 2346.56/2354.73 c #Conflicts: 1064000 | #Constraints: 22274 2346.56/2354.73 c #Conflicts: 1065000 | #Constraints: 23274 2346.56/2354.73 c #Conflicts: 1066000 | #Constraints: 24275 2346.56/2354.73 c #Conflicts: 1067000 | #Constraints: 25275 2346.56/2354.73 c #Conflicts: 1068000 | #Constraints: 26275 2346.56/2354.73 c #Conflicts: 1069000 | #Constraints: 27275 2346.56/2354.73 c #Conflicts: 1070000 | #Constraints: 28276 2346.56/2354.73 c #Conflicts: 1071000 | #Constraints: 29276 2346.56/2354.73 c #Conflicts: 1072000 | #Constraints: 30276 2346.56/2354.73 c #Conflicts: 1073000 | #Constraints: 31276 2346.56/2354.73 c #Conflicts: 1074000 | #Constraints: 32276 2346.56/2354.73 c #Conflicts: 1075000 | #Constraints: 33277 2346.56/2354.73 c #Conflicts: 1076000 | #Constraints: 34278 2346.56/2354.73 c #Conflicts: 1077000 | #Constraints: 35279 2346.56/2354.73 c #Conflicts: 1078000 | #Constraints: 36280 2346.56/2354.73 c #Conflicts: 1079000 | #Constraints: 37281 2346.56/2354.73 c #Conflicts: 1080000 | #Constraints: 38282 2346.56/2354.73 c #Conflicts: 1081000 | #Constraints: 39282 2346.56/2354.73 c #Conflicts: 1082000 | #Constraints: 40282 2346.56/2354.73 c #Conflicts: 1083000 | #Constraints: 41283 2346.56/2354.73 c INPROCESSING 2346.56/2354.73 c GARBAGE COLLECT 2346.56/2354.73 c rational objective 0 2435.37/2443.88 c #Conflicts: 1084000 | #Constraints: 21661 2435.37/2443.88 c #Conflicts: 1085000 | #Constraints: 22661 2435.37/2443.88 c #Conflicts: 1086000 | #Constraints: 23662 2435.37/2443.88 c #Conflicts: 1087000 | #Constraints: 24663 2435.37/2443.88 c #Conflicts: 1088000 | #Constraints: 25665 2435.37/2443.88 c #Conflicts: 1089000 | #Constraints: 26665 2435.37/2443.88 c #Conflicts: 1090000 | #Constraints: 27665 2435.37/2443.88 c #Conflicts: 1091000 | #Constraints: 28666 2435.37/2443.88 c #Conflicts: 1092000 | #Constraints: 29668 2435.37/2443.88 c #Conflicts: 1093000 | #Constraints: 30668 2435.37/2443.88 c #Conflicts: 1094000 | #Constraints: 31669 2435.37/2443.88 c #Conflicts: 1095000 | #Constraints: 32670 2435.37/2443.88 c #Conflicts: 1096000 | #Constraints: 33670 2435.37/2443.88 c #Conflicts: 1097000 | #Constraints: 34670 2435.37/2443.88 c #Conflicts: 1098000 | #Constraints: 35670 2435.37/2443.88 c #Conflicts: 1099000 | #Constraints: 36672 2435.37/2443.88 c #Conflicts: 1100000 | #Constraints: 37672 2435.37/2443.88 c #Conflicts: 1101000 | #Constraints: 38672 2435.37/2443.88 c #Conflicts: 1102000 | #Constraints: 39673 2435.37/2443.88 c #Conflicts: 1103000 | #Constraints: 40674 2435.37/2443.88 c #Conflicts: 1104000 | #Constraints: 41674 2435.37/2443.88 c INPROCESSING 2435.37/2443.88 c GARBAGE COLLECT 2435.37/2443.88 c rational objective 0 2504.54/2513.28 c #Conflicts: 1105000 | #Constraints: 21859 2504.54/2513.28 c #Conflicts: 1106000 | #Constraints: 22860 2504.54/2513.28 c #Conflicts: 1107000 | #Constraints: 23862 2504.54/2513.28 c #Conflicts: 1108000 | #Constraints: 24864 2504.54/2513.28 c #Conflicts: 1109000 | #Constraints: 25864 2504.54/2513.28 c #Conflicts: 1110000 | #Constraints: 26865 2504.54/2513.28 c #Conflicts: 1111000 | #Constraints: 27865 2504.54/2513.28 c #Conflicts: 1112000 | #Constraints: 28865 2504.54/2513.28 c #Conflicts: 1113000 | #Constraints: 29867 2504.54/2513.28 c #Conflicts: 1114000 | #Constraints: 30872 2504.54/2513.28 c #Conflicts: 1115000 | #Constraints: 31872 2504.54/2513.28 c #Conflicts: 1116000 | #Constraints: 32873 2504.54/2513.28 c #Conflicts: 1117000 | #Constraints: 33873 2504.54/2513.28 c #Conflicts: 1118000 | #Constraints: 34873 2504.54/2513.28 c #Conflicts: 1119000 | #Constraints: 35873 2504.54/2513.28 c #Conflicts: 1120000 | #Constraints: 36875 2504.54/2513.28 c #Conflicts: 1121000 | #Constraints: 37876 2504.54/2513.28 c #Conflicts: 1122000 | #Constraints: 38879 2504.54/2513.28 c #Conflicts: 1123000 | #Constraints: 39879 2504.54/2513.28 c #Conflicts: 1124000 | #Constraints: 40880 2504.54/2513.28 c #Conflicts: 1125000 | #Constraints: 41881 2504.54/2513.28 c INPROCESSING 2504.54/2513.28 c GARBAGE COLLECT 2504.54/2513.28 c rational objective 0 2600.22/2609.21 c #Conflicts: 1126000 | #Constraints: 21859 2600.22/2609.21 c #Conflicts: 1127000 | #Constraints: 22862 2600.22/2609.21 c #Conflicts: 1128000 | #Constraints: 23862 2600.22/2609.21 c #Conflicts: 1129000 | #Constraints: 24863 2600.22/2609.21 c #Conflicts: 1130000 | #Constraints: 25864 2600.22/2609.21 c #Conflicts: 1131000 | #Constraints: 26865 2600.22/2609.21 c #Conflicts: 1132000 | #Constraints: 27865 2600.22/2609.21 c #Conflicts: 1133000 | #Constraints: 28867 2600.22/2609.21 c #Conflicts: 1134000 | #Constraints: 29868 2600.22/2609.21 c #Conflicts: 1135000 | #Constraints: 30871 2600.22/2609.21 c #Conflicts: 1136000 | #Constraints: 31874 2600.22/2609.21 c #Conflicts: 1137000 | #Constraints: 32875 2600.22/2609.21 c #Conflicts: 1138000 | #Constraints: 33876 2600.22/2609.21 c #Conflicts: 1139000 | #Constraints: 34878 2600.22/2609.21 c #Conflicts: 1140000 | #Constraints: 35881 2600.22/2609.21 c #Conflicts: 1141000 | #Constraints: 36881 2600.22/2609.21 c #Conflicts: 1142000 | #Constraints: 37882 2600.22/2609.21 c #Conflicts: 1143000 | #Constraints: 38883 2600.22/2609.21 c #Conflicts: 1144000 | #Constraints: 39886 2600.22/2609.21 c #Conflicts: 1145000 | #Constraints: 40890 2600.22/2609.21 c #Conflicts: 1146000 | #Constraints: 41890 2600.22/2609.21 c INPROCESSING 2600.22/2609.21 c GARBAGE COLLECT 2600.22/2609.21 c rational objective 0 2664.21/2673.45 c #Conflicts: 1147000 | #Constraints: 21676 2664.21/2673.45 c #Conflicts: 1148000 | #Constraints: 22677 2664.21/2673.45 c #Conflicts: 1149000 | #Constraints: 23680 2664.21/2673.45 c #Conflicts: 1150000 | #Constraints: 24683 2664.21/2673.45 c #Conflicts: 1151000 | #Constraints: 25685 2664.21/2673.45 c #Conflicts: 1152000 | #Constraints: 26687 2664.21/2673.45 c #Conflicts: 1153000 | #Constraints: 27687 2664.21/2673.45 c #Conflicts: 1154000 | #Constraints: 28689 2664.21/2673.45 c #Conflicts: 1155000 | #Constraints: 29691 2664.21/2673.45 c #Conflicts: 1156000 | #Constraints: 30691 2664.21/2673.45 c #Conflicts: 1157000 | #Constraints: 31694 2664.21/2673.45 c #Conflicts: 1158000 | #Constraints: 32694 2664.21/2673.45 c #Conflicts: 1159000 | #Constraints: 33694 2664.21/2673.45 c #Conflicts: 1160000 | #Constraints: 34694 2664.21/2673.45 c #Conflicts: 1161000 | #Constraints: 35694 2664.21/2673.45 c #Conflicts: 1162000 | #Constraints: 36694 2664.21/2673.45 c #Conflicts: 1163000 | #Constraints: 37694 2664.21/2673.45 c #Conflicts: 1164000 | #Constraints: 38694 2664.21/2673.45 c #Conflicts: 1165000 | #Constraints: 39694 2664.21/2673.45 c #Conflicts: 1166000 | #Constraints: 40695 2664.21/2673.45 c #Conflicts: 1167000 | #Constraints: 41695 2664.21/2673.45 c #Conflicts: 1168000 | #Constraints: 42695 2664.21/2673.45 c INPROCESSING 2664.21/2673.45 c GARBAGE COLLECT 2664.21/2673.45 c rational objective 0 2731.99/2741.40 c #Conflicts: 1169000 | #Constraints: 22262 2731.99/2741.40 c #Conflicts: 1170000 | #Constraints: 23263 2731.99/2741.40 c #Conflicts: 1171000 | #Constraints: 24264 2731.99/2741.40 c #Conflicts: 1172000 | #Constraints: 25265 2731.99/2741.40 c #Conflicts: 1173000 | #Constraints: 26265 2731.99/2741.40 c #Conflicts: 1174000 | #Constraints: 27266 2731.99/2741.40 c #Conflicts: 1175000 | #Constraints: 28266 2731.99/2741.40 c #Conflicts: 1176000 | #Constraints: 29266 2731.99/2741.40 c #Conflicts: 1177000 | #Constraints: 30266 2731.99/2741.40 c #Conflicts: 1178000 | #Constraints: 31266 2731.99/2741.40 c #Conflicts: 1179000 | #Constraints: 32266 2731.99/2741.40 c #Conflicts: 1180000 | #Constraints: 33266 2731.99/2741.40 c #Conflicts: 1181000 | #Constraints: 34266 2731.99/2741.40 c #Conflicts: 1182000 | #Constraints: 35267 2731.99/2741.40 c #Conflicts: 1183000 | #Constraints: 36268 2731.99/2741.40 c #Conflicts: 1184000 | #Constraints: 37269 2731.99/2741.40 c #Conflicts: 1185000 | #Constraints: 38271 2731.99/2741.40 c #Conflicts: 1186000 | #Constraints: 39273 2731.99/2741.40 c #Conflicts: 1187000 | #Constraints: 40273 2731.99/2741.40 c #Conflicts: 1188000 | #Constraints: 41273 2731.99/2741.40 c #Conflicts: 1189000 | #Constraints: 42273 2731.99/2741.40 c #Conflicts: 1190000 | #Constraints: 43273 2731.99/2741.40 c INPROCESSING 2731.99/2741.40 c GARBAGE COLLECT 2731.99/2741.40 c rational objective 0 2838.94/2848.74 c #Conflicts: 1191000 | #Constraints: 22655 2838.94/2848.74 c #Conflicts: 1192000 | #Constraints: 23656 2838.94/2848.74 c #Conflicts: 1193000 | #Constraints: 24656 2838.94/2848.74 c #Conflicts: 1194000 | #Constraints: 25656 2838.94/2848.74 c #Conflicts: 1195000 | #Constraints: 26657 2838.94/2848.74 c #Conflicts: 1196000 | #Constraints: 27657 2838.94/2848.74 c #Conflicts: 1197000 | #Constraints: 28658 2838.94/2848.74 c #Conflicts: 1198000 | #Constraints: 29659 2838.94/2848.74 c #Conflicts: 1199000 | #Constraints: 30659 2838.94/2848.74 c #Conflicts: 1200000 | #Constraints: 31659 2838.94/2848.74 c #Conflicts: 1201000 | #Constraints: 32659 2838.94/2848.74 c #Conflicts: 1202000 | #Constraints: 33661 2838.94/2848.74 c #Conflicts: 1203000 | #Constraints: 34663 2838.94/2848.74 c #Conflicts: 1204000 | #Constraints: 35664 2838.94/2848.74 c #Conflicts: 1205000 | #Constraints: 36666 2838.94/2848.74 c #Conflicts: 1206000 | #Constraints: 37666 2838.94/2848.74 c #Conflicts: 1207000 | #Constraints: 38669 2838.94/2848.74 c #Conflicts: 1208000 | #Constraints: 39669 2838.94/2848.74 c #Conflicts: 1209000 | #Constraints: 40672 2838.94/2848.74 c #Conflicts: 1210000 | #Constraints: 41674 2838.94/2848.74 c #Conflicts: 1211000 | #Constraints: 42676 2838.94/2848.74 c #Conflicts: 1212000 | #Constraints: 43681 2838.94/2848.74 c INPROCESSING 2838.94/2848.74 c GARBAGE COLLECT 2838.94/2848.74 c rational objective 0 2923.37/2933.44 c #Conflicts: 1213000 | #Constraints: 22865 2923.37/2933.44 c #Conflicts: 1214000 | #Constraints: 23865 2923.37/2933.44 c #Conflicts: 1215000 | #Constraints: 24865 2923.37/2933.44 c #Conflicts: 1216000 | #Constraints: 25865 2923.37/2933.44 c #Conflicts: 1217000 | #Constraints: 26866 2923.37/2933.44 c #Conflicts: 1218000 | #Constraints: 27867 2923.37/2933.44 c #Conflicts: 1219000 | #Constraints: 28867 2923.37/2933.44 c #Conflicts: 1220000 | #Constraints: 29868 2923.37/2933.44 c #Conflicts: 1221000 | #Constraints: 30868 2923.37/2933.44 c #Conflicts: 1222000 | #Constraints: 31869 2923.37/2933.44 c #Conflicts: 1223000 | #Constraints: 32870 2923.37/2933.44 c #Conflicts: 1224000 | #Constraints: 33871 2923.37/2933.44 c #Conflicts: 1225000 | #Constraints: 34871 2923.37/2933.44 c #Conflicts: 1226000 | #Constraints: 35871 2923.37/2933.44 c #Conflicts: 1227000 | #Constraints: 36871 2923.37/2933.44 c #Conflicts: 1228000 | #Constraints: 37872 2923.37/2933.44 c #Conflicts: 1229000 | #Constraints: 38874 2923.37/2933.44 c #Conflicts: 1230000 | #Constraints: 39874 2923.37/2933.44 c #Conflicts: 1231000 | #Constraints: 40874 2923.37/2933.44 c #Conflicts: 1232000 | #Constraints: 41875 2923.37/2933.44 c #Conflicts: 1233000 | #Constraints: 42876 2923.37/2933.44 c #Conflicts: 1234000 | #Constraints: 43876 2923.37/2933.44 c INPROCESSING 2923.37/2933.44 c GARBAGE COLLECT 2923.37/2933.44 c rational objective 0 3034.90/3045.33 c #Conflicts: 1235000 | #Constraints: 22858 3034.90/3045.33 c #Conflicts: 1236000 | #Constraints: 23859 3034.90/3045.33 c #Conflicts: 1237000 | #Constraints: 24862 3034.90/3045.33 c #Conflicts: 1238000 | #Constraints: 25864 3034.90/3045.33 c #Conflicts: 1239000 | #Constraints: 26867 3034.90/3045.33 c #Conflicts: 1240000 | #Constraints: 27868 3034.90/3045.33 c #Conflicts: 1241000 | #Constraints: 28869 3034.90/3045.33 c #Conflicts: 1242000 | #Constraints: 29869 3034.90/3045.33 c #Conflicts: 1243000 | #Constraints: 30869 3034.90/3045.33 c #Conflicts: 1244000 | #Constraints: 31872 3034.90/3045.33 c #Conflicts: 1245000 | #Constraints: 32873 3034.90/3045.33 c #Conflicts: 1246000 | #Constraints: 33873 3034.90/3045.33 c #Conflicts: 1247000 | #Constraints: 34873 3034.90/3045.33 c #Conflicts: 1248000 | #Constraints: 35874 3034.90/3045.33 c #Conflicts: 1249000 | #Constraints: 36874 3034.90/3045.33 c #Conflicts: 1250000 | #Constraints: 37874 3034.90/3045.33 c #Conflicts: 1251000 | #Constraints: 38875 3034.90/3045.33 c #Conflicts: 1252000 | #Constraints: 39876 3034.90/3045.33 c #Conflicts: 1253000 | #Constraints: 40876 3034.90/3045.33 c #Conflicts: 1254000 | #Constraints: 41876 3034.90/3045.33 c #Conflicts: 1255000 | #Constraints: 42878 3034.90/3045.33 c #Conflicts: 1256000 | #Constraints: 43878 3034.90/3045.33 c INPROCESSING 3034.90/3045.33 c GARBAGE COLLECT 3034.90/3045.33 c rational objective 0 3107.16/3117.82 c #Conflicts: 1257000 | #Constraints: 22666 3107.16/3117.82 c #Conflicts: 1258000 | #Constraints: 23666 3107.16/3117.82 c #Conflicts: 1259000 | #Constraints: 24666 3107.16/3117.82 c #Conflicts: 1260000 | #Constraints: 25667 3107.16/3117.82 c #Conflicts: 1261000 | #Constraints: 26668 3107.16/3117.82 c #Conflicts: 1262000 | #Constraints: 27669 3107.16/3117.82 c #Conflicts: 1263000 | #Constraints: 28670 3107.16/3117.82 c #Conflicts: 1264000 | #Constraints: 29671 3107.16/3117.82 c #Conflicts: 1265000 | #Constraints: 30671 3107.16/3117.82 c #Conflicts: 1266000 | #Constraints: 31671 3107.16/3117.82 c #Conflicts: 1267000 | #Constraints: 32672 3107.16/3117.82 c #Conflicts: 1268000 | #Constraints: 33674 3107.16/3117.82 c #Conflicts: 1269000 | #Constraints: 34676 3107.16/3117.82 c #Conflicts: 1270000 | #Constraints: 35676 3107.16/3117.82 c #Conflicts: 1271000 | #Constraints: 36676 3107.16/3117.82 c #Conflicts: 1272000 | #Constraints: 37677 3107.16/3117.82 c #Conflicts: 1273000 | #Constraints: 38677 3107.16/3117.82 c #Conflicts: 1274000 | #Constraints: 39678 3107.16/3117.82 c #Conflicts: 1275000 | #Constraints: 40680 3107.16/3117.82 c #Conflicts: 1276000 | #Constraints: 41682 3107.16/3117.82 c #Conflicts: 1277000 | #Constraints: 42682 3107.16/3117.82 c #Conflicts: 1278000 | #Constraints: 43683 3107.16/3117.82 c #Conflicts: 1279000 | #Constraints: 44684 3107.16/3117.82 c INPROCESSING 3107.16/3117.82 c GARBAGE COLLECT 3107.16/3117.82 c rational objective 0 3182.02/3192.94 c #Conflicts: 1280000 | #Constraints: 23259 3182.02/3192.94 c #Conflicts: 1281000 | #Constraints: 24259 3182.02/3192.94 c #Conflicts: 1282000 | #Constraints: 25260 3182.02/3192.94 c #Conflicts: 1283000 | #Constraints: 26262 3182.02/3192.94 c #Conflicts: 1284000 | #Constraints: 27264 3182.02/3192.94 c #Conflicts: 1285000 | #Constraints: 28264 3182.02/3192.94 c #Conflicts: 1286000 | #Constraints: 29264 3182.02/3192.94 c #Conflicts: 1287000 | #Constraints: 30264 3182.02/3192.94 c #Conflicts: 1288000 | #Constraints: 31265 3182.02/3192.94 c #Conflicts: 1289000 | #Constraints: 32266 3182.02/3192.94 c #Conflicts: 1290000 | #Constraints: 33268 3182.02/3192.94 c #Conflicts: 1291000 | #Constraints: 34268 3182.02/3192.94 c #Conflicts: 1292000 | #Constraints: 35268 3182.02/3192.94 c #Conflicts: 1293000 | #Constraints: 36268 3182.02/3192.94 c #Conflicts: 1294000 | #Constraints: 37269 3182.02/3192.94 c #Conflicts: 1295000 | #Constraints: 38269 3182.02/3192.94 c #Conflicts: 1296000 | #Constraints: 39271 3182.02/3192.94 c #Conflicts: 1297000 | #Constraints: 40272 3182.02/3192.94 c #Conflicts: 1298000 | #Constraints: 41273 3182.02/3192.94 c #Conflicts: 1299000 | #Constraints: 42275 3182.02/3192.94 c #Conflicts: 1300000 | #Constraints: 43275 3182.02/3192.94 c #Conflicts: 1301000 | #Constraints: 44277 3182.02/3192.94 c #Conflicts: 1302000 | #Constraints: 45277 3182.02/3192.94 c INPROCESSING 3182.02/3192.94 c GARBAGE COLLECT 3182.02/3192.94 c rational objective 0 3300.24/3311.50 c #Conflicts: 1303000 | #Constraints: 23654 3300.24/3311.50 c #Conflicts: 1304000 | #Constraints: 24656 3300.24/3311.50 c #Conflicts: 1305000 | #Constraints: 25656 3300.24/3311.50 c #Conflicts: 1306000 | #Constraints: 26659 3300.24/3311.50 c #Conflicts: 1307000 | #Constraints: 27660 3300.24/3311.50 c #Conflicts: 1308000 | #Constraints: 28660 3300.24/3311.50 c #Conflicts: 1309000 | #Constraints: 29660 3300.24/3311.50 c #Conflicts: 1310000 | #Constraints: 30660 3300.24/3311.50 c #Conflicts: 1311000 | #Constraints: 31660 3300.24/3311.50 c #Conflicts: 1312000 | #Constraints: 32660 3300.24/3311.50 c #Conflicts: 1313000 | #Constraints: 33660 3300.24/3311.50 c #Conflicts: 1314000 | #Constraints: 34660 3300.24/3311.50 c #Conflicts: 1315000 | #Constraints: 35660 3300.24/3311.50 c #Conflicts: 1316000 | #Constraints: 36661 3300.24/3311.50 c #Conflicts: 1317000 | #Constraints: 37661 3300.24/3311.50 c #Conflicts: 1318000 | #Constraints: 38661 3300.24/3311.50 c #Conflicts: 1319000 | #Constraints: 39661 3300.24/3311.50 c #Conflicts: 1320000 | #Constraints: 40662 3300.24/3311.50 c #Conflicts: 1321000 | #Constraints: 41664 3300.24/3311.50 c #Conflicts: 1322000 | #Constraints: 42664 3300.24/3311.50 c #Conflicts: 1323000 | #Constraints: 43664 3300.24/3311.50 c #Conflicts: 1324000 | #Constraints: 44665 3300.24/3311.50 c #Conflicts: 1325000 | #Constraints: 45665 3300.24/3311.50 c INPROCESSING 3300.24/3311.50 c GARBAGE COLLECT 3300.24/3311.50 c rational objective 0 3395.33/3406.98 c #Conflicts: 1326000 | #Constraints: 23857 3395.33/3406.98 c #Conflicts: 1327000 | #Constraints: 24858 3395.33/3406.98 c #Conflicts: 1328000 | #Constraints: 25858 3395.33/3406.98 c #Conflicts: 1329000 | #Constraints: 26859 3395.33/3406.98 c #Conflicts: 1330000 | #Constraints: 27862 3395.33/3406.98 c #Conflicts: 1331000 | #Constraints: 28864 3395.33/3406.98 c #Conflicts: 1332000 | #Constraints: 29864 3395.33/3406.98 c #Conflicts: 1333000 | #Constraints: 30864 3395.33/3406.98 c #Conflicts: 1334000 | #Constraints: 31865 3395.33/3406.98 c #Conflicts: 1335000 | #Constraints: 32865 3395.33/3406.98 c #Conflicts: 1336000 | #Constraints: 33865 3395.33/3406.98 c #Conflicts: 1337000 | #Constraints: 34865 3395.33/3406.98 c #Conflicts: 1338000 | #Constraints: 35865 3395.33/3406.98 c #Conflicts: 1339000 | #Constraints: 36865 3395.33/3406.98 c #Conflicts: 1340000 | #Constraints: 37867 3395.33/3406.98 c #Conflicts: 1341000 | #Constraints: 38867 3395.33/3406.98 c #Conflicts: 1342000 | #Constraints: 39867 3395.33/3406.98 c #Conflicts: 1343000 | #Constraints: 40867 3395.33/3406.98 c #Conflicts: 1344000 | #Constraints: 41868 3395.33/3406.98 c #Conflicts: 1345000 | #Constraints: 42868 3395.33/3406.98 c #Conflicts: 1346000 | #Constraints: 43869 3395.33/3406.98 c #Conflicts: 1347000 | #Constraints: 44870 3395.33/3406.98 c #Conflicts: 1348000 | #Constraints: 45871 3395.33/3406.98 c INPROCESSING 3395.33/3406.98 c GARBAGE COLLECT 3395.33/3406.98 c rational objective 0 3521.90/3533.99 c #Conflicts: 1349000 | #Constraints: 23858 3521.90/3533.99 c #Conflicts: 1350000 | #Constraints: 24858 3521.90/3533.99 c #Conflicts: 1351000 | #Constraints: 25858 3521.90/3533.99 c #Conflicts: 1352000 | #Constraints: 26858 3521.90/3533.99 c #Conflicts: 1353000 | #Constraints: 27859 3521.90/3533.99 c #Conflicts: 1354000 | #Constraints: 28859 3521.90/3533.99 c #Conflicts: 1355000 | #Constraints: 29860 3521.90/3533.99 c #Conflicts: 1356000 | #Constraints: 30860 3521.90/3533.99 c #Conflicts: 1357000 | #Constraints: 31861 3521.90/3533.99 c #Conflicts: 1358000 | #Constraints: 32864 3521.90/3533.99 c #Conflicts: 1359000 | #Constraints: 33868 3521.90/3533.99 c #Conflicts: 1360000 | #Constraints: 34870 3521.90/3533.99 c #Conflicts: 1361000 | #Constraints: 35873 3521.90/3533.99 c #Conflicts: 1362000 | #Constraints: 36873 3521.90/3533.99 c #Conflicts: 1363000 | #Constraints: 37874 3521.90/3533.99 c #Conflicts: 1364000 | #Constraints: 38879 3521.90/3533.99 c #Conflicts: 1365000 | #Constraints: 39882 3521.90/3533.99 c #Conflicts: 1366000 | #Constraints: 40884 3521.90/3533.99 c #Conflicts: 1367000 | #Constraints: 41885 3521.90/3533.99 c #Conflicts: 1368000 | #Constraints: 42886 3521.90/3533.99 c #Conflicts: 1369000 | #Constraints: 43887 3521.90/3533.99 c #Conflicts: 1370000 | #Constraints: 44888 3521.90/3533.99 c #Conflicts: 1371000 | #Constraints: 45890 3521.90/3533.99 c INPROCESSING 3521.90/3533.99 c GARBAGE COLLECT 3521.90/3533.99 c rational objective 0 3600.01/3612.30 c #Conflicts: 1372000 | #Constraints: 23665 3600.01/3612.30 c #Conflicts: 1373000 | #Constraints: 24666 3600.01/3612.30 c #Conflicts: 1374000 | #Constraints: 25667 3600.01/3612.30 c #Conflicts: 1375000 | #Constraints: 26667 3600.01/3612.30 c #Conflicts: 1376000 | #Constraints: 27668 3600.01/3612.30 c #Conflicts: 1377000 | #Constraints: 28668 3600.01/3612.30 c #Conflicts: 1378000 | #Constraints: 29670 3600.01/3612.30 c #Conflicts: 1379000 | #Constraints: 30670 3600.01/3612.30 c #Conflicts: 1380000 | #Constraints: 31670 3600.01/3612.30 c #Conflicts: 1381000 | #Constraints: 32672 3600.01/3612.30 c #Conflicts: 1382000 | #Constraints: 33672 3600.01/3612.30 c #Conflicts: 1383000 | #Constraints: 34675 3600.01/3612.30 c #Conflicts: 1384000 | #Constraints: 35676 3600.01/3612.30 c #Conflicts: 1385000 | #Constraints: 36677 3600.01/3612.30 c #Conflicts: 1386000 | #Constraints: 37678 3600.01/3612.30 c #Conflicts: 1387000 | #Constraints: 38680 3600.01/3612.30 c #Conflicts: 1388000 | #Constraints: 39680 3600.01/3612.30 c #Conflicts: 1389000 | #Constraints: 40681 3600.01/3612.30 c #Conflicts: 1390000 | #Constraints: 41681 3600.01/3612.30 c #Conflicts: 1391000 | #Constraints: 42681 3600.01/3612.30 c #Conflicts: 1392000 | #Constraints: 43685 3600.01/3612.30 c #Conflicts: 1393000 | #Constraints: 44685 3600.01/3612.30 c Program interrupted by user. 3600.01/3612.32 c cpu time 3573.53 s 3600.01/3612.32 c deterministic time 674881027718 6.75e+11 3600.01/3612.32 c optimization time 77.4919 s 3600.01/3612.32 c total solve time 3496.03 s 3600.01/3612.32 c core-guided solve time 1749.37 s 3600.01/3612.32 c propagation time 3281.29 s 3600.01/3612.32 c conflict analysis time 252.811 s 3600.01/3612.32 c propagations 44732925 3600.01/3612.32 c resolve steps 9055682 3600.01/3612.32 c decisions 3093771 3600.01/3612.32 c conflicts 1393079 3600.01/3612.32 c restarts 2683 3600.01/3612.32 c inprocessing phases 108 3600.01/3612.32 c input clauses 0 3600.01/3612.32 c input cardinalities 0 3600.01/3612.32 c input general constraints 69 3600.01/3612.32 c input average constraint length 102.32 3600.01/3612.32 c input average constraint degree 1967.78 3600.01/3612.32 c learned clauses 565441 3600.01/3612.32 c learned cardinalities 0 3600.01/3612.32 c learned general constraints 829935 3600.01/3612.32 c learned average constraint length 106.93 3600.01/3612.32 c learned average constraint degree 1056212024.17 3600.01/3612.32 c watched constraints 829388 3600.01/3612.32 c counting constraints 616 3600.01/3612.32 c gcd simplifications 497722 3600.01/3612.32 c detected cardinalities 0 3600.01/3612.32 c weakened non-implied lits 36739183 3600.01/3612.32 c weakened non-implying lits 984615 3600.01/3612.32 c original variables 198 3600.01/3612.32 c clausal propagations 418228 3600.01/3612.32 c cardinality propagations 0 3600.01/3612.32 c watched propagations 42733750 3600.01/3612.32 c counting propagations 747079 3600.01/3612.32 c watch lookups 28168136652 3600.01/3612.32 c watch backjump lookups 10611879735 3600.01/3612.32 c watch checks 603669944062 3600.01/3612.32 c propagation checks 30910798129 3600.01/3612.32 c constraint additions 1421831924 3600.01/3612.32 c trail pops 49217280 3600.01/3612.32 c formula constraints 16 3600.01/3612.32 c learned constraints 1390780 3600.01/3612.32 c bound constraints 53 3600.01/3612.32 c core-guided constraints 0 3600.01/3612.32 c encountered formula constraints 65348 3600.01/3612.32 c encountered learned constraints 3116348 3600.01/3612.32 c encountered bound constraints 1195 3600.01/3612.32 c encountered core-guided constraints 0 3600.01/3612.32 c LP total time 29.3686 s 3600.01/3612.32 c LP solve time 21.67 s 3600.01/3612.32 c LP constraints added 73 3600.01/3612.32 c LP constraints removed 57 3600.01/3612.32 c LP pivots internal 1393087 3600.01/3612.32 c LP pivots root 152 3600.01/3612.32 c LP calls 117226 3600.01/3612.32 c LP optimalities 114928 3600.01/3612.32 c LP no pivot count 24232 3600.01/3612.32 c LP infeasibilities 2298 3600.01/3612.32 c LP valid Farkas constraints 2298 3600.01/3612.32 c LP learned Farkas constraints 2298 3600.01/3612.32 c LP basis resets 0 3600.01/3612.32 c LP cycling count 0 3600.01/3612.32 c LP singular count 0 3600.01/3612.32 c LP no primal count 0 3600.01/3612.32 c LP no farkas count 0 3600.01/3612.32 c LP other issue count 0 3600.01/3612.32 c LP Gomory cuts 0 3600.01/3612.32 c LP learned cuts 57 3600.01/3612.32 c LP deleted cuts 57 3600.01/3612.32 c LP encountered Gomory constraints 0 3600.01/3612.32 c LP encountered Farkas constraints 6773777 3600.01/3612.32 c LP encountered learned Farkas constraints 489795 3600.01/3612.32 c CG auxiliary variables introduced 0 3600.01/3612.32 c CG solutions found 53 3600.01/3612.32 c CG cores constructed 0 3600.01/3612.32 c CG core cardinality constraints returned 0 3600.01/3612.32 c CG unit cores 0 3600.01/3612.32 c CG single cores 0 3600.01/3612.32 c CG blocks removed during cardinality reduction 0 3600.01/3612.32 c CG first core best 0 3600.01/3612.32 c CG decision core best 0 3600.01/3612.32 c CG core reduction tie 0 3600.01/3612.32 c CG core degree average 0.00 3600.01/3612.32 c CG core slack average 0.00 3600.01/3612.32 s SATISFIABLE 3600.01/3612.32 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 x134 x135 x136 -x137 x138 x139 -x140 x141 x142 -x143 -x144 -x145 -x146 -x147 x148 x149 x150 x151 -x152 x153 x154 -x155 x156 x157 x158 -x159 -x160 x161 x162 -x163 -x164 x165 x166 -x167 x168 -x169 x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 x178 x179 -x180 -x181 -x182 x183 x184 -x185 x186 x187 -x188 -x189 x190 x191 -x192 x193 -x194 -x195 -x196 -x197 x198
OK 18
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: 64096 MiB (37628 MiB free)
memory of node 1: 64473 MiB (29509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456778-1721772838/watcher-4456778-1721772838 -o /tmp/evaluation-result-4456778-1721772838/solver-4456778-1721772838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721765588-115808 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456778-1721772838 --lp-cut-gomory=0 HOME/instance-4456778-1721772838.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=120746, runsolver pid=120743
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.38 4.31 4.19 5/246 120747
/proc/meminfo: memFree=68746128/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=38144 memory=8616 CPUtime=0.1 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 489 0 0 0 9 1 0 0 20 0 1 0 13273659 39059456 2154 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 9536 2154 1877 992 0 1394 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38144 KiB
Current children cumulated memory: 8616 KiB
[startup+0.208814 s]*
/proc/loadavg: 4.38 4.31 4.19 5/246 120747
/proc/meminfo: memFree=68742704/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=38412 memory=8976 CPUtime=0.2 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 602 0 0 0 19 1 0 0 20 0 1 0 13273659 39333888 2244 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 9603 2244 1877 992 0 1461 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38412 KiB
Current children cumulated memory: 8976 KiB
[startup+0.308512 s]*
/proc/loadavg: 4.38 4.31 4.19 5/246 120747
/proc/meminfo: memFree=68740352/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=38412 memory=9236 CPUtime=0.31 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 650 0 0 0 29 2 0 0 20 0 1 0 13273659 39333888 2309 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 9603 2309 1877 992 0 1461 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38412 KiB
Current children cumulated memory: 9236 KiB
[startup+0.700334 s]
/proc/loadavg: 4.38 4.31 4.19 5/246 120747
/proc/meminfo: memFree=68729456/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=38784 memory=12080 CPUtime=0.69 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 839 0 0 0 65 4 0 0 20 0 1 0 13273659 39714816 3020 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 9696 3020 1877 992 0 1554 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38784 KiB
Current children cumulated memory: 12080 KiB
[startup+1.50037 s]
/proc/loadavg: 4.38 4.31 4.19 5/246 120747
/proc/meminfo: memFree=68702720/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=39764 memory=13160 CPUtime=1.48 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 1076 0 0 0 140 8 0 0 20 0 1 0 13273659 40718336 3290 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 9941 3290 1893 992 0 1799 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39764 KiB
Current children cumulated memory: 13160 KiB
[startup+3.11281 s]
/proc/loadavg: 4.38 4.31 4.19 5/246 120749
/proc/meminfo: memFree=68577768/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=40492 memory=14172 CPUtime=3.08 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 1335 0 0 0 295 13 0 0 20 0 1 0 13273659 41463808 3543 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 10123 3543 1893 992 0 1981 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40492 KiB
Current children cumulated memory: 14172 KiB
[startup+6.30033 s]
/proc/loadavg: 4.35 4.30 4.19 5/246 120749
/proc/meminfo: memFree=68442712/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=44664 memory=16944 CPUtime=6.27 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 2018 0 0 0 602 25 0 0 20 0 1 0 13273659 45735936 4236 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 11166 4236 1893 992 0 3024 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44664 KiB
Current children cumulated memory: 16944 KiB
[startup+12.7006 s]
/proc/loadavg: 4.32 4.30 4.19 5/248 120752
/proc/meminfo: memFree=68344904/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=46444 memory=19724 CPUtime=12.63 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 2723 0 0 0 1218 45 0 0 20 0 1 0 13273659 47558656 4931 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 11611 4931 1893 992 0 3469 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 46444 KiB
Current children cumulated memory: 19724 KiB
[startup+25.5004 s]
/proc/loadavg: 4.33 4.30 4.19 5/248 120754
/proc/meminfo: memFree=68158216/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=53684 memory=25548 CPUtime=25.39 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 3679 0 0 0 2463 76 0 0 20 0 1 0 13273659 54972416 6387 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 13421 6387 1893 992 0 5279 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 53684 KiB
Current children cumulated memory: 25548 KiB
[startup+51.1135 s]
/proc/loadavg: 4.22 4.27 4.18 5/249 120758
/proc/meminfo: memFree=67855712/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=55412 memory=27304 CPUtime=50.9 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 4204 0 0 0 4959 131 0 0 20 0 1 0 13273659 56741888 6826 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 13853 6826 1893 992 0 5711 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 55412 KiB
Current children cumulated memory: 27304 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.21 4.17 5/249 120860
/proc/meminfo: memFree=67232068/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=65408 memory=32260 CPUtime=101.9 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 4994 0 0 0 9972 218 0 0 20 0 1 0 13273659 66977792 8065 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 16352 8065 1893 992 0 8210 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 65408 KiB
Current children cumulated memory: 32260 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/261 120885
/proc/meminfo: memFree=66409836/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=68608 memory=38364 CPUtime=161.68 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 6070 0 0 0 15845 323 0 0 20 0 1 0 13273659 70254592 9591 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 17152 9591 1893 992 0 9010 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 68608 KiB
Current children cumulated memory: 38364 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.20 4.17 5/263 121314
/proc/meminfo: memFree=64846280/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=70220 memory=40472 CPUtime=221.46 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 6718 0 0 0 21749 397 0 0 20 0 1 0 13273659 71905280 10118 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 17555 10118 1893 992 0 9413 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 70220 KiB
Current children cumulated memory: 40472 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.20 4.17 5/263 121325
/proc/meminfo: memFree=63631700/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=70464 memory=42904 CPUtime=281.24 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 6993 0 0 0 27647 477 0 0 20 0 1 0 13273659 72155136 10726 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 17616 10726 1893 992 0 9474 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 70464 KiB
Current children cumulated memory: 42904 KiB
[startup+342.3 s]
/proc/loadavg: 4.77 4.37 4.23 5/262 121335
/proc/meminfo: memFree=63147092/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=73508 memory=45548 CPUtime=341.02 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 7741 0 0 0 33559 543 0 0 20 0 1 0 13273659 75272192 11387 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 18377 11387 1893 992 0 10235 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 73508 KiB
Current children cumulated memory: 45548 KiB
[startup+402.3 s]
/proc/loadavg: 4.39 4.34 4.23 5/262 121348
/proc/meminfo: memFree=62698428/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=86556 memory=49752 CPUtime=400.79 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 8365 0 0 0 39477 602 0 0 20 0 1 0 13273659 88633344 12438 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 21639 12438 1893 992 0 13497 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 86556 KiB
Current children cumulated memory: 49752 KiB
[startup+462.3 s]
/proc/loadavg: 4.25 4.31 4.23 5/249 121359
/proc/meminfo: memFree=62247968/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=89408 memory=51452 CPUtime=460.58 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 8847 0 0 0 45396 662 0 0 20 0 1 0 13273659 91553792 12863 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 22352 12863 1893 992 0 14210 0
################
# More data... #
################
Current children cumulated memory: 86040 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.18 4.19 5/264 123035
/proc/meminfo: memFree=15330936/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=129084 memory=86040 CPUtime=2912.3 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 16173 0 0 0 288936 2294 0 0 20 0 1 0 13273659 132182016 21510 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 32271 21510 1893 992 0 24129 0
Current children cumulated CPU time: 2912.3 s
Current children cumulated vsize: 129084 KiB
Current children cumulated memory: 86040 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.18 4.19 5/260 123047
/proc/meminfo: memFree=13877576/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=129084 memory=90832 CPUtime=2972.11 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 16302 0 0 0 294885 2326 0 0 20 0 1 0 13273659 132182016 22708 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 32271 22708 1893 992 0 24129 0
Current children cumulated CPU time: 2972.11 s
Current children cumulated vsize: 129084 KiB
Current children cumulated memory: 90832 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/258 123058
/proc/meminfo: memFree=12874512/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=129596 memory=91872 CPUtime=3031.91 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 16373 0 0 0 300838 2353 0 0 20 0 1 0 13273659 132706304 22968 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 32399 22968 1893 992 0 24257 0
Current children cumulated CPU time: 3031.91 s
Current children cumulated vsize: 129596 KiB
Current children cumulated memory: 91872 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.16 4.18 5/257 123069
/proc/meminfo: memFree=11994180/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=129852 memory=92180 CPUtime=3091.71 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 16574 0 0 0 306781 2390 0 0 20 0 1 0 13273659 132968448 23045 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 32463 23045 1893 992 0 24321 0
Current children cumulated CPU time: 3091.71 s
Current children cumulated vsize: 129852 KiB
Current children cumulated memory: 92180 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.18 5/257 123079
/proc/meminfo: memFree=11147520/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=130108 memory=92316 CPUtime=3151.52 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 16744 0 0 0 312726 2426 0 0 20 0 1 0 13273659 133230592 23079 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 32527 23079 1893 992 0 24385 0
Current children cumulated CPU time: 3151.52 s
Current children cumulated vsize: 130108 KiB
Current children cumulated memory: 92316 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/257 123089
/proc/meminfo: memFree=10084212/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=130108 memory=94368 CPUtime=3211.32 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 16881 0 0 0 318677 2455 0 0 20 0 1 0 13273659 133230592 23592 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 32527 23592 1893 992 0 24385 0
Current children cumulated CPU time: 3211.32 s
Current children cumulated vsize: 130108 KiB
Current children cumulated memory: 94368 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/256 123105
/proc/meminfo: memFree=8550364/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=130108 memory=94368 CPUtime=3271.13 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 16917 0 0 0 324629 2484 0 0 20 0 1 0 13273659 133230592 23592 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 32527 23592 1893 992 0 24385 0
Current children cumulated CPU time: 3271.13 s
Current children cumulated vsize: 130108 KiB
Current children cumulated memory: 94368 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.16 4.18 5/261 123120
/proc/meminfo: memFree=7109368/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=131388 memory=95092 CPUtime=3330.95 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 17230 0 0 0 330582 2513 0 0 20 0 1 0 13273659 134541312 23773 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 32847 23773 1893 992 0 24705 0
Current children cumulated CPU time: 3330.95 s
Current children cumulated vsize: 131388 KiB
Current children cumulated memory: 95092 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/262 123135
/proc/meminfo: memFree=5616372/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=131644 memory=95092 CPUtime=3390.75 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 17273 0 0 0 336530 2545 0 0 20 0 1 0 13273659 134803456 23773 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 32911 23773 1893 992 0 24769 0
Current children cumulated CPU time: 3390.75 s
Current children cumulated vsize: 131644 KiB
Current children cumulated memory: 95092 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/262 123146
/proc/meminfo: memFree=4408932/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=131972 memory=95432 CPUtime=3450.54 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 17389 0 0 0 342483 2571 0 0 20 0 1 0 13273659 135139328 23858 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 32993 23858 1893 992 0 24851 0
Current children cumulated CPU time: 3450.54 s
Current children cumulated vsize: 131972 KiB
Current children cumulated memory: 95432 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/262 123156
/proc/meminfo: memFree=4110508/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=131972 memory=95432 CPUtime=3510.34 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 17429 0 0 0 348434 2600 0 0 20 0 1 0 13273659 135139328 23858 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 32993 23858 1893 992 0 24851 0
Current children cumulated CPU time: 3510.34 s
Current children cumulated vsize: 131972 KiB
Current children cumulated memory: 95432 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/258 123167
/proc/meminfo: memFree=2537504/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=132484 memory=95812 CPUtime=3570.12 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 17570 0 0 0 354379 2633 0 0 20 0 1 0 13273659 135663616 23953 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 33121 23953 1893 992 0 24979 0
Current children cumulated CPU time: 3570.12 s
Current children cumulated vsize: 132484 KiB
Current children cumulated memory: 95812 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 3.86 4.06 4.14 4/248 123202
/proc/meminfo: memFree=51794332/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=132484 memory=95812 CPUtime=3600.01 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 17611 0 0 0 357352 2649 0 0 20 0 1 0 13273659 135663616 23953 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 33121 23953 1893 992 0 24979 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 132484 KiB
Current children cumulated memory: 95812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.32 s]
# the end of solver process 120746 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.53 s, system=26.5045 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 3.86 4.06 4.14 4/248 123202
/proc/meminfo: memFree=51794332/131655788 swapFree=131067352/131071996
[pid=120746] ppid=120743 vsize=132484 memory=95812 CPUtime=3600.01 cores=0,2
/proc/120746/stat : 120746 (roundingsat) R 120743 120746 115798 0 -1 4194304 17611 0 0 0 357352 2649 0 0 20 0 1 0 13273659 135663616 23953 134679101440 4194304 8254037 140734738314304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22274048 140734738318172 140734738318434 140734738318434 140734738325449 0
/proc/120746/statm: 33121 23953 1893 992 0 24979 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 132484 KiB
Current children cumulated memory: 95812 KiB
Child status: 0
Real time (s): 3612.32
CPU time (s): 3600.03
CPU user time (s): 3573.53
CPU system time (s): 26.5045
CPU usage (%): 99.6598
Max. virtual memory (cumulated for all children) (KiB): 132484
Max. memory (cumulated for all children) (KiB): 95812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.53
system time used= 26.5045
maximum resident set size= 95812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27055456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 786
involuntary context switches= 25536
# summary of solver processes directly reported to runsolver:
# pid: 120746
# total CPU time (s): 3600.03
# total CPU user time (s): 3573.53
# total CPU system time (s): 26.5045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.1921 second user time and 29.7951 second system time
The end
Begin job on nodeC009 at 2024-07-24 00:13:58 IDJOB=4456778 IDBENCH=147578 IDSOLVER=3085 FILE ID=nodeC009/4456778-1721772838 RUNJOBID= nodeC009-1721765588-115808 SLURM_JOB_ID= 7770661 Free space on /tmp= 723696 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.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-4456778-1721772838/watcher-4456778-1721772838 -o /tmp/evaluation-result-4456778-1721772838/solver-4456778-1721772838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721765588-115808 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456778-1721772838 --lp-cut-gomory=0 HOME/instance-4456778-1721772838.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110 RANDOM SEED=1439232041 nodeC009.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 : 0xb00001f cpu MHz : 1197.258 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.96 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 : 0xb00001f cpu MHz : 3646.323 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 2394.512 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.96 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 : 0xb00001f cpu MHz : 1197.416 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 3538.417 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.96 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 : 0xb00001f cpu MHz : 3555.595 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.513 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.96 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 : 0xb00001f cpu MHz : 1197.346 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 68752788 kB MemAvailable: 128988504 kB Buffers: 190024 kB Cached: 60795340 kB SwapCached: 3724 kB Active: 1144872 kB Inactive: 61074404 kB Active(anon): 1616 kB Inactive(anon): 1269860 kB Active(file): 1143256 kB Inactive(file): 59804544 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131067352 kB Dirty: 275056 kB Writeback: 284 kB AnonPages: 1225392 kB Mapped: 97272 kB Shmem: 37508 kB KReclaimable: 256228 kB Slab: 361392 kB SReclaimable: 256228 kB SUnreclaim: 105164 kB KernelStack: 3948 kB PageTables: 11700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1727040 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 768000 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: 291656 kB DirectMap2M: 28973056 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 723740 MiB End job on nodeC009 at 2024-07-24 01:14:10