| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.09 | 3628.3 |
| 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.00 c bounds - >= 0 @ 0.000898 0.00/0.00 c rational objective 0 0.29/0.37 c bounds 178 >= 0 @ 0.016799 0.29/0.37 c bounds 168 >= 0 @ 0.0256 0.29/0.37 c bounds 158 >= 0 @ 0.037518 0.29/0.37 c bounds 154 >= 0 @ 0.040428 0.29/0.37 c bounds 150 >= 0 @ 0.041258 0.29/0.37 c bounds 149 >= 0 @ 0.061408 0.29/0.37 c #Conflicts: 1000 | #Constraints: 1043 0.29/0.37 c #Conflicts: 2000 | #Constraints: 2054 0.29/0.37 c INPROCESSING 0.29/0.37 c GARBAGE COLLECT 0.29/0.37 c rational objective 0 0.99/1.01 c bounds 145 >= 0 @ 0.351662 0.99/1.01 c bounds 141 >= 0 @ 0.352472 0.99/1.01 c bounds 137 >= 0 @ 0.355065 0.99/1.01 c bounds 133 >= 0 @ 0.357606 0.99/1.01 c bounds 129 >= 0 @ 0.361722 0.99/1.01 c bounds 128 >= 0 @ 0.368437 0.99/1.01 c bounds 126 >= 0 @ 0.369628 0.99/1.01 c bounds 118 >= 0 @ 0.370294 0.99/1.01 c bounds 117 >= 0 @ 0.391011 0.99/1.01 c bounds 115 >= 0 @ 0.39315 0.99/1.01 c bounds 113 >= 0 @ 0.394132 0.99/1.01 c bounds 111 >= 0 @ 0.425374 0.99/1.01 c bounds 103 >= 0 @ 0.425493 0.99/1.01 c bounds 101 >= 0 @ 0.42979 0.99/1.01 c #Conflicts: 3000 | #Constraints: 2066 0.99/1.01 c bounds 97 >= 0 @ 0.644193 0.99/1.01 c #Conflicts: 4000 | #Constraints: 3074 0.99/1.01 c INPROCESSING 0.99/1.01 c GARBAGE COLLECT 0.99/1.01 c rational objective 0 1.78/1.83 c bounds 96 >= 0 @ 0.98002 1.78/1.83 c bounds 92 >= 0 @ 0.981427 1.78/1.83 c bounds 88 >= 0 @ 0.984981 1.78/1.83 c bounds 86 >= 0 @ 1.12569 1.78/1.83 c #Conflicts: 5000 | #Constraints: 2455 1.78/1.83 c #Conflicts: 6000 | #Constraints: 3464 1.78/1.83 c INPROCESSING 1.78/1.83 c GARBAGE COLLECT 1.78/1.83 c rational objective 0 2.68/2.78 c bounds 82 >= 0 @ 1.75715 2.68/2.78 c bounds 78 >= 0 @ 1.75875 2.68/2.78 c #Conflicts: 7000 | #Constraints: 2462 2.68/2.78 c #Conflicts: 8000 | #Constraints: 3472 2.68/2.78 c bounds 75 >= 0 @ 2.43754 2.68/2.78 c #Conflicts: 9000 | #Constraints: 4482 2.68/2.78 c INPROCESSING 2.68/2.78 c GARBAGE COLLECT 2.68/2.78 c rational objective 0 3.78/3.83 c #Conflicts: 10000 | #Constraints: 3164 3.78/3.83 c #Conflicts: 11000 | #Constraints: 4176 3.78/3.83 c #Conflicts: 12000 | #Constraints: 5185 3.78/3.83 c INPROCESSING 3.78/3.83 c GARBAGE COLLECT 3.78/3.83 c rational objective 0 4.97/5.06 c bounds 73 >= 0 @ 3.81217 4.97/5.06 c bounds 72 >= 0 @ 4.03496 4.97/5.06 c #Conflicts: 13000 | #Constraints: 3624 4.97/5.06 c bounds 71 >= 0 @ 4.27494 4.97/5.06 c bounds 67 >= 0 @ 4.27619 4.97/5.06 c #Conflicts: 14000 | #Constraints: 4635 4.97/5.06 c bounds 66 >= 0 @ 4.52352 4.97/5.06 c #Conflicts: 15000 | #Constraints: 5648 4.97/5.06 c INPROCESSING 4.97/5.06 c GARBAGE COLLECT 4.97/5.06 c rational objective 0 6.37/6.48 c bounds 64 >= 0 @ 4.89747 6.37/6.48 c bounds 57 >= 0 @ 5.24384 6.37/6.48 c #Conflicts: 16000 | #Constraints: 3845 6.37/6.48 c #Conflicts: 17000 | #Constraints: 4853 6.37/6.48 c #Conflicts: 18000 | #Constraints: 5858 6.37/6.48 c INPROCESSING 6.37/6.48 c GARBAGE COLLECT 6.37/6.48 c rational objective 0 7.97/8.08 c bounds 55 >= 0 @ 6.30644 7.97/8.08 c bounds 51 >= 0 @ 6.30847 7.97/8.08 c bounds 47 >= 0 @ 6.30953 7.97/8.08 c bounds 45 >= 0 @ 6.31185 7.97/8.08 c #Conflicts: 19000 | #Constraints: 3839 7.97/8.08 c #Conflicts: 20000 | #Constraints: 4851 7.97/8.08 c #Conflicts: 21000 | #Constraints: 5861 7.97/8.08 c INPROCESSING 7.97/8.08 c GARBAGE COLLECT 7.97/8.08 c rational objective 0 9.65/9.74 c #Conflicts: 22000 | #Constraints: 3656 9.65/9.74 c #Conflicts: 23000 | #Constraints: 4668 9.65/9.74 c #Conflicts: 24000 | #Constraints: 5681 9.65/9.74 c #Conflicts: 25000 | #Constraints: 6689 9.65/9.74 c INPROCESSING 9.65/9.74 c GARBAGE COLLECT 9.65/9.74 c rational objective 0 11.86/11.99 c #Conflicts: 26000 | #Constraints: 4267 11.86/11.99 c #Conflicts: 27000 | #Constraints: 5271 11.86/11.99 c #Conflicts: 28000 | #Constraints: 6274 11.86/11.99 c #Conflicts: 29000 | #Constraints: 7283 11.86/11.99 c INPROCESSING 11.86/11.99 c GARBAGE COLLECT 11.86/11.99 c rational objective 0 13.84/13.99 c #Conflicts: 30000 | #Constraints: 4668 13.84/13.99 c #Conflicts: 31000 | #Constraints: 5678 13.84/13.99 c #Conflicts: 32000 | #Constraints: 6680 13.84/13.99 c #Conflicts: 33000 | #Constraints: 7689 13.84/13.99 c INPROCESSING 13.84/13.99 c GARBAGE COLLECT 13.84/13.99 c rational objective 0 16.24/16.38 c #Conflicts: 34000 | #Constraints: 4864 16.24/16.38 c #Conflicts: 35000 | #Constraints: 5867 16.24/16.38 c #Conflicts: 36000 | #Constraints: 6872 16.24/16.38 c #Conflicts: 37000 | #Constraints: 7877 16.24/16.38 c INPROCESSING 16.24/16.38 c GARBAGE COLLECT 16.24/16.38 c rational objective 0 19.42/19.50 c #Conflicts: 38000 | #Constraints: 4860 19.42/19.50 c #Conflicts: 39000 | #Constraints: 5866 19.42/19.50 c #Conflicts: 40000 | #Constraints: 6872 19.42/19.50 c #Conflicts: 41000 | #Constraints: 7876 19.42/19.50 c INPROCESSING 19.42/19.50 c GARBAGE COLLECT 19.42/19.50 c rational objective 0 22.31/22.45 c #Conflicts: 42000 | #Constraints: 4666 22.31/22.45 c #Conflicts: 43000 | #Constraints: 5671 22.31/22.45 c #Conflicts: 44000 | #Constraints: 6675 22.31/22.45 c #Conflicts: 45000 | #Constraints: 7677 22.31/22.45 c #Conflicts: 46000 | #Constraints: 8682 22.31/22.45 c INPROCESSING 22.31/22.45 c GARBAGE COLLECT 22.31/22.45 c rational objective 0 26.10/26.27 c #Conflicts: 47000 | #Constraints: 5263 26.10/26.27 c #Conflicts: 48000 | #Constraints: 6266 26.10/26.27 c #Conflicts: 49000 | #Constraints: 7272 26.10/26.27 c #Conflicts: 50000 | #Constraints: 8280 26.10/26.27 c #Conflicts: 51000 | #Constraints: 9289 26.10/26.27 c INPROCESSING 26.10/26.27 c GARBAGE COLLECT 26.10/26.27 c rational objective 0 29.20/29.35 c #Conflicts: 52000 | #Constraints: 5675 29.20/29.35 c #Conflicts: 53000 | #Constraints: 6684 29.20/29.35 c #Conflicts: 54000 | #Constraints: 7691 29.20/29.35 c #Conflicts: 55000 | #Constraints: 8695 29.20/29.35 c #Conflicts: 56000 | #Constraints: 9699 29.20/29.35 c INPROCESSING 29.20/29.35 c GARBAGE COLLECT 29.20/29.35 c rational objective 0 32.88/33.05 c bounds 42 >= 0 @ 29.0235 32.88/33.05 c #Conflicts: 57000 | #Constraints: 5872 32.88/33.05 c #Conflicts: 58000 | #Constraints: 6877 32.88/33.05 c #Conflicts: 59000 | #Constraints: 7877 32.88/33.05 c #Conflicts: 60000 | #Constraints: 8882 32.88/33.05 c #Conflicts: 61000 | #Constraints: 9885 32.88/33.05 c INPROCESSING 32.88/33.05 c GARBAGE COLLECT 32.88/33.05 c rational objective 0 37.16/37.35 c bounds 40 >= 0 @ 32.1023 37.16/37.35 c #Conflicts: 62000 | #Constraints: 5863 37.16/37.35 c #Conflicts: 63000 | #Constraints: 6866 37.16/37.35 c bounds 38 >= 0 @ 34.2011 37.16/37.35 c #Conflicts: 64000 | #Constraints: 7872 37.16/37.35 c #Conflicts: 65000 | #Constraints: 8877 37.16/37.35 c #Conflicts: 66000 | #Constraints: 9878 37.16/37.35 c INPROCESSING 37.16/37.35 c GARBAGE COLLECT 37.16/37.35 c rational objective 0 41.06/41.25 c #Conflicts: 67000 | #Constraints: 5666 41.06/41.25 c #Conflicts: 68000 | #Constraints: 6673 41.06/41.25 c #Conflicts: 69000 | #Constraints: 7676 41.06/41.25 c #Conflicts: 70000 | #Constraints: 8680 41.06/41.25 c #Conflicts: 71000 | #Constraints: 9684 41.06/41.25 c #Conflicts: 72000 | #Constraints: 10687 41.06/41.25 c INPROCESSING 41.06/41.25 c GARBAGE COLLECT 41.06/41.25 c rational objective 0 46.24/46.40 c #Conflicts: 73000 | #Constraints: 6263 46.24/46.40 c #Conflicts: 74000 | #Constraints: 7264 46.24/46.40 c #Conflicts: 75000 | #Constraints: 8269 46.24/46.40 c #Conflicts: 76000 | #Constraints: 9275 46.24/46.40 c #Conflicts: 77000 | #Constraints: 10277 46.24/46.40 c #Conflicts: 78000 | #Constraints: 11278 46.24/46.40 c INPROCESSING 46.24/46.40 c GARBAGE COLLECT 46.24/46.40 c rational objective 0 50.53/50.79 c #Conflicts: 79000 | #Constraints: 6672 50.53/50.79 c #Conflicts: 80000 | #Constraints: 7676 50.53/50.79 c #Conflicts: 81000 | #Constraints: 8678 50.53/50.79 c #Conflicts: 82000 | #Constraints: 9679 50.53/50.79 c #Conflicts: 83000 | #Constraints: 10683 50.53/50.79 c #Conflicts: 84000 | #Constraints: 11687 50.53/50.79 c INPROCESSING 50.53/50.79 c GARBAGE COLLECT 50.53/50.79 c rational objective 0 57.10/57.39 c #Conflicts: 85000 | #Constraints: 6868 57.10/57.39 c #Conflicts: 86000 | #Constraints: 7870 57.10/57.39 c #Conflicts: 87000 | #Constraints: 8873 57.10/57.39 c #Conflicts: 88000 | #Constraints: 9874 57.10/57.39 c #Conflicts: 89000 | #Constraints: 10875 57.10/57.39 c #Conflicts: 90000 | #Constraints: 11879 57.10/57.39 c INPROCESSING 57.10/57.39 c GARBAGE COLLECT 57.10/57.39 c rational objective 0 63.08/63.37 c #Conflicts: 91000 | #Constraints: 6865 63.08/63.37 c #Conflicts: 92000 | #Constraints: 7871 63.08/63.37 c #Conflicts: 93000 | #Constraints: 8878 63.08/63.37 c #Conflicts: 94000 | #Constraints: 9882 63.08/63.37 c #Conflicts: 95000 | #Constraints: 10882 63.08/63.37 c #Conflicts: 96000 | #Constraints: 11884 63.08/63.37 c INPROCESSING 63.08/63.37 c GARBAGE COLLECT 63.08/63.37 c rational objective 0 70.36/70.69 c #Conflicts: 97000 | #Constraints: 6661 70.36/70.69 c #Conflicts: 98000 | #Constraints: 7666 70.36/70.69 c #Conflicts: 99000 | #Constraints: 8668 70.36/70.69 c #Conflicts: 100000 | #Constraints: 9672 70.36/70.69 c #Conflicts: 101000 | #Constraints: 10674 70.36/70.69 c #Conflicts: 102000 | #Constraints: 11676 70.36/70.69 c #Conflicts: 103000 | #Constraints: 12676 70.36/70.69 c INPROCESSING 70.36/70.69 c GARBAGE COLLECT 70.36/70.69 c rational objective 0 75.84/76.18 c #Conflicts: 104000 | #Constraints: 7266 75.84/76.18 c #Conflicts: 105000 | #Constraints: 8270 75.84/76.18 c #Conflicts: 106000 | #Constraints: 9275 75.84/76.18 c #Conflicts: 107000 | #Constraints: 10278 75.84/76.18 c #Conflicts: 108000 | #Constraints: 11279 75.84/76.18 c #Conflicts: 109000 | #Constraints: 12280 75.84/76.18 c #Conflicts: 110000 | #Constraints: 13281 75.84/76.18 c INPROCESSING 75.84/76.18 c GARBAGE COLLECT 75.84/76.18 c rational objective 0 81.43/81.77 c #Conflicts: 111000 | #Constraints: 7659 81.43/81.77 c #Conflicts: 112000 | #Constraints: 8662 81.43/81.77 c #Conflicts: 113000 | #Constraints: 9667 81.43/81.77 c #Conflicts: 114000 | #Constraints: 10671 81.43/81.77 c #Conflicts: 115000 | #Constraints: 11674 81.43/81.77 c #Conflicts: 116000 | #Constraints: 12676 81.43/81.77 c #Conflicts: 117000 | #Constraints: 13677 81.43/81.77 c INPROCESSING 81.43/81.77 c GARBAGE COLLECT 81.43/81.77 c rational objective 0 88.60/88.91 c #Conflicts: 118000 | #Constraints: 7856 88.60/88.91 c #Conflicts: 119000 | #Constraints: 8856 88.60/88.91 c bounds 36 >= 0 @ 82.1595 88.60/88.91 c #Conflicts: 120000 | #Constraints: 9863 88.60/88.91 c #Conflicts: 121000 | #Constraints: 10866 88.60/88.91 c #Conflicts: 122000 | #Constraints: 11868 88.60/88.91 c #Conflicts: 123000 | #Constraints: 12869 88.60/88.91 c #Conflicts: 124000 | #Constraints: 13870 88.60/88.91 c INPROCESSING 88.60/88.91 c GARBAGE COLLECT 88.60/88.91 c rational objective 0 97.27/97.63 c bounds 34 >= 0 @ 86.8806 97.27/97.63 c #Conflicts: 125000 | #Constraints: 7854 97.27/97.63 c #Conflicts: 126000 | #Constraints: 8856 97.27/97.63 c #Conflicts: 127000 | #Constraints: 9863 97.27/97.63 c #Conflicts: 128000 | #Constraints: 10868 97.27/97.63 c #Conflicts: 129000 | #Constraints: 11868 97.27/97.63 c #Conflicts: 130000 | #Constraints: 12870 97.27/97.63 c #Conflicts: 131000 | #Constraints: 13874 97.27/97.63 c INPROCESSING 97.27/97.63 c GARBAGE COLLECT 97.27/97.63 c rational objective 0 103.44/103.88 c #Conflicts: 132000 | #Constraints: 7669 103.44/103.88 c #Conflicts: 133000 | #Constraints: 8672 103.44/103.88 c #Conflicts: 134000 | #Constraints: 9676 103.44/103.88 c #Conflicts: 135000 | #Constraints: 10681 103.44/103.88 c #Conflicts: 136000 | #Constraints: 11686 103.44/103.88 c #Conflicts: 137000 | #Constraints: 12688 103.44/103.88 c #Conflicts: 138000 | #Constraints: 13691 103.44/103.88 c #Conflicts: 139000 | #Constraints: 14693 103.44/103.88 c INPROCESSING 103.44/103.88 c GARBAGE COLLECT 103.44/103.88 c rational objective 0 113.11/113.52 c #Conflicts: 140000 | #Constraints: 8265 113.11/113.52 c #Conflicts: 141000 | #Constraints: 9267 113.11/113.52 c #Conflicts: 142000 | #Constraints: 10271 113.11/113.52 c #Conflicts: 143000 | #Constraints: 11273 113.11/113.52 c #Conflicts: 144000 | #Constraints: 12276 113.11/113.52 c #Conflicts: 145000 | #Constraints: 13281 113.11/113.52 c #Conflicts: 146000 | #Constraints: 14286 113.11/113.52 c bounds 32 >= 0 @ 110.158 113.11/113.52 c #Conflicts: 147000 | #Constraints: 15292 113.11/113.52 c INPROCESSING 113.11/113.52 c GARBAGE COLLECT 113.11/113.52 c rational objective 0 120.09/120.56 c #Conflicts: 148000 | #Constraints: 8660 120.09/120.56 c #Conflicts: 149000 | #Constraints: 9665 120.09/120.56 c #Conflicts: 150000 | #Constraints: 10669 120.09/120.56 c #Conflicts: 151000 | #Constraints: 11674 120.09/120.56 c #Conflicts: 152000 | #Constraints: 12676 120.09/120.56 c #Conflicts: 153000 | #Constraints: 13678 120.09/120.56 c #Conflicts: 154000 | #Constraints: 14678 120.09/120.56 c #Conflicts: 155000 | #Constraints: 15680 120.09/120.56 c INPROCESSING 120.09/120.56 c GARBAGE COLLECT 120.09/120.56 c rational objective 0 127.46/127.96 c #Conflicts: 156000 | #Constraints: 8863 127.46/127.96 c #Conflicts: 157000 | #Constraints: 9866 127.46/127.96 c #Conflicts: 158000 | #Constraints: 10868 127.46/127.96 c #Conflicts: 159000 | #Constraints: 11871 127.46/127.96 c #Conflicts: 160000 | #Constraints: 12877 127.46/127.96 c #Conflicts: 161000 | #Constraints: 13881 127.46/127.96 c #Conflicts: 162000 | #Constraints: 14883 127.46/127.96 c #Conflicts: 163000 | #Constraints: 15887 127.46/127.96 c INPROCESSING 127.46/127.96 c GARBAGE COLLECT 127.46/127.96 c rational objective 0 137.83/138.31 c #Conflicts: 164000 | #Constraints: 8862 137.83/138.31 c #Conflicts: 165000 | #Constraints: 9864 137.83/138.31 c #Conflicts: 166000 | #Constraints: 10868 137.83/138.31 c #Conflicts: 167000 | #Constraints: 11870 137.83/138.31 c #Conflicts: 168000 | #Constraints: 12875 137.83/138.31 c #Conflicts: 169000 | #Constraints: 13879 137.83/138.31 c #Conflicts: 170000 | #Constraints: 14880 137.83/138.31 c bounds 31 >= 0 @ 134.157 137.83/138.31 c #Conflicts: 171000 | #Constraints: 15885 137.83/138.31 c INPROCESSING 137.83/138.31 c GARBAGE COLLECT 137.83/138.31 c rational objective 0 145.80/146.38 c #Conflicts: 172000 | #Constraints: 8658 145.80/146.38 c #Conflicts: 173000 | #Constraints: 9661 145.80/146.38 c #Conflicts: 174000 | #Constraints: 10661 145.80/146.38 c #Conflicts: 175000 | #Constraints: 11663 145.80/146.38 c #Conflicts: 176000 | #Constraints: 12664 145.80/146.38 c #Conflicts: 177000 | #Constraints: 13665 145.80/146.38 c #Conflicts: 178000 | #Constraints: 14667 145.80/146.38 c #Conflicts: 179000 | #Constraints: 15671 145.80/146.38 c #Conflicts: 180000 | #Constraints: 16675 145.80/146.38 c INPROCESSING 145.80/146.38 c GARBAGE COLLECT 145.80/146.38 c rational objective 0 157.75/158.38 c #Conflicts: 181000 | #Constraints: 9254 157.75/158.38 c #Conflicts: 182000 | #Constraints: 10256 157.75/158.38 c #Conflicts: 183000 | #Constraints: 11259 157.75/158.38 c #Conflicts: 184000 | #Constraints: 12261 157.75/158.38 c #Conflicts: 185000 | #Constraints: 13264 157.75/158.38 c #Conflicts: 186000 | #Constraints: 14267 157.75/158.38 c #Conflicts: 187000 | #Constraints: 15270 157.75/158.38 c bounds 29 >= 0 @ 153.818 157.75/158.38 c #Conflicts: 188000 | #Constraints: 16273 157.75/158.38 c #Conflicts: 189000 | #Constraints: 17275 157.75/158.38 c INPROCESSING 157.75/158.38 c GARBAGE COLLECT 157.75/158.38 c rational objective 0 168.81/169.49 c #Conflicts: 190000 | #Constraints: 9657 168.81/169.49 c #Conflicts: 191000 | #Constraints: 10660 168.81/169.49 c #Conflicts: 192000 | #Constraints: 11661 168.81/169.49 c #Conflicts: 193000 | #Constraints: 12663 168.81/169.49 c #Conflicts: 194000 | #Constraints: 13663 168.81/169.49 c #Conflicts: 195000 | #Constraints: 14663 168.81/169.49 c #Conflicts: 196000 | #Constraints: 15664 168.81/169.49 c #Conflicts: 197000 | #Constraints: 16667 168.81/169.49 c #Conflicts: 198000 | #Constraints: 17670 168.81/169.49 c INPROCESSING 168.81/169.49 c GARBAGE COLLECT 168.81/169.49 c rational objective 0 182.55/183.22 c #Conflicts: 199000 | #Constraints: 9856 182.55/183.22 c #Conflicts: 200000 | #Constraints: 10858 182.55/183.22 c #Conflicts: 201000 | #Constraints: 11860 182.55/183.22 c #Conflicts: 202000 | #Constraints: 12863 182.55/183.22 c #Conflicts: 203000 | #Constraints: 13865 182.55/183.22 c #Conflicts: 204000 | #Constraints: 14868 182.55/183.22 c #Conflicts: 205000 | #Constraints: 15869 182.55/183.22 c #Conflicts: 206000 | #Constraints: 16871 182.55/183.22 c #Conflicts: 207000 | #Constraints: 17873 182.55/183.22 c INPROCESSING 182.55/183.22 c GARBAGE COLLECT 182.55/183.22 c rational objective 0 194.50/195.27 c #Conflicts: 208000 | #Constraints: 9861 194.50/195.27 c #Conflicts: 209000 | #Constraints: 10861 194.50/195.27 c #Conflicts: 210000 | #Constraints: 11868 194.50/195.27 c #Conflicts: 211000 | #Constraints: 12868 194.50/195.27 c #Conflicts: 212000 | #Constraints: 13869 194.50/195.27 c #Conflicts: 213000 | #Constraints: 14874 194.50/195.27 c #Conflicts: 214000 | #Constraints: 15876 194.50/195.27 c #Conflicts: 215000 | #Constraints: 16877 194.50/195.27 c #Conflicts: 216000 | #Constraints: 17877 194.50/195.27 c INPROCESSING 194.50/195.27 c GARBAGE COLLECT 194.50/195.27 c rational objective 0 210.93/211.73 c #Conflicts: 217000 | #Constraints: 9659 210.93/211.73 c #Conflicts: 218000 | #Constraints: 10660 210.93/211.73 c #Conflicts: 219000 | #Constraints: 11660 210.93/211.73 c #Conflicts: 220000 | #Constraints: 12660 210.93/211.73 c #Conflicts: 221000 | #Constraints: 13661 210.93/211.73 c #Conflicts: 222000 | #Constraints: 14664 210.93/211.73 c #Conflicts: 223000 | #Constraints: 15664 210.93/211.73 c #Conflicts: 224000 | #Constraints: 16666 210.93/211.73 c #Conflicts: 225000 | #Constraints: 17669 210.93/211.73 c #Conflicts: 226000 | #Constraints: 18671 210.93/211.73 c INPROCESSING 210.93/211.73 c GARBAGE COLLECT 210.93/211.73 c rational objective 0 222.49/223.37 c #Conflicts: 227000 | #Constraints: 10263 222.49/223.37 c #Conflicts: 228000 | #Constraints: 11264 222.49/223.37 c #Conflicts: 229000 | #Constraints: 12266 222.49/223.37 c #Conflicts: 230000 | #Constraints: 13268 222.49/223.37 c #Conflicts: 231000 | #Constraints: 14270 222.49/223.37 c #Conflicts: 232000 | #Constraints: 15272 222.49/223.37 c #Conflicts: 233000 | #Constraints: 16277 222.49/223.37 c #Conflicts: 234000 | #Constraints: 17280 222.49/223.37 c #Conflicts: 235000 | #Constraints: 18280 222.49/223.37 c #Conflicts: 236000 | #Constraints: 19282 222.49/223.37 c INPROCESSING 222.49/223.37 c GARBAGE COLLECT 222.49/223.37 c rational objective 0 233.95/234.84 c #Conflicts: 237000 | #Constraints: 10660 233.95/234.84 c #Conflicts: 238000 | #Constraints: 11660 233.95/234.84 c #Conflicts: 239000 | #Constraints: 12662 233.95/234.84 c #Conflicts: 240000 | #Constraints: 13664 233.95/234.84 c #Conflicts: 241000 | #Constraints: 14665 233.95/234.84 c #Conflicts: 242000 | #Constraints: 15667 233.95/234.84 c #Conflicts: 243000 | #Constraints: 16669 233.95/234.84 c #Conflicts: 244000 | #Constraints: 17670 233.95/234.84 c #Conflicts: 245000 | #Constraints: 18671 233.95/234.84 c #Conflicts: 246000 | #Constraints: 19671 233.95/234.84 c INPROCESSING 233.95/234.84 c GARBAGE COLLECT 233.95/234.84 c rational objective 0 251.86/252.86 c #Conflicts: 247000 | #Constraints: 10852 251.86/252.86 c #Conflicts: 248000 | #Constraints: 11854 251.86/252.86 c #Conflicts: 249000 | #Constraints: 12857 251.86/252.86 c #Conflicts: 250000 | #Constraints: 13860 251.86/252.86 c #Conflicts: 251000 | #Constraints: 14861 251.86/252.86 c #Conflicts: 252000 | #Constraints: 15867 251.86/252.86 c #Conflicts: 253000 | #Constraints: 16869 251.86/252.86 c #Conflicts: 254000 | #Constraints: 17875 251.86/252.86 c #Conflicts: 255000 | #Constraints: 18879 251.86/252.86 c #Conflicts: 256000 | #Constraints: 19882 251.86/252.86 c INPROCESSING 251.86/252.86 c GARBAGE COLLECT 251.86/252.86 c rational objective 0 264.42/265.45 c #Conflicts: 257000 | #Constraints: 10862 264.42/265.45 c #Conflicts: 258000 | #Constraints: 11865 264.42/265.45 c #Conflicts: 259000 | #Constraints: 12868 264.42/265.45 c #Conflicts: 260000 | #Constraints: 13870 264.42/265.45 c #Conflicts: 261000 | #Constraints: 14871 264.42/265.45 c #Conflicts: 262000 | #Constraints: 15875 264.42/265.45 c #Conflicts: 263000 | #Constraints: 16878 264.42/265.45 c #Conflicts: 264000 | #Constraints: 17883 264.42/265.45 c #Conflicts: 265000 | #Constraints: 18885 264.42/265.45 c #Conflicts: 266000 | #Constraints: 19886 264.42/265.45 c INPROCESSING 264.42/265.45 c GARBAGE COLLECT 264.42/265.45 c rational objective 0 278.46/279.58 c #Conflicts: 267000 | #Constraints: 10661 278.46/279.58 c #Conflicts: 268000 | #Constraints: 11663 278.46/279.58 c #Conflicts: 269000 | #Constraints: 12664 278.46/279.58 c #Conflicts: 270000 | #Constraints: 13666 278.46/279.58 c #Conflicts: 271000 | #Constraints: 14667 278.46/279.58 c #Conflicts: 272000 | #Constraints: 15668 278.46/279.58 c #Conflicts: 273000 | #Constraints: 16668 278.46/279.58 c #Conflicts: 274000 | #Constraints: 17670 278.46/279.58 c #Conflicts: 275000 | #Constraints: 18670 278.46/279.58 c #Conflicts: 276000 | #Constraints: 19672 278.46/279.58 c #Conflicts: 277000 | #Constraints: 20674 278.46/279.58 c INPROCESSING 278.46/279.58 c GARBAGE COLLECT 278.46/279.58 c rational objective 0 301.07/302.22 c #Conflicts: 278000 | #Constraints: 11255 301.07/302.22 c #Conflicts: 279000 | #Constraints: 12257 301.07/302.22 c #Conflicts: 280000 | #Constraints: 13260 301.07/302.22 c #Conflicts: 281000 | #Constraints: 14263 301.07/302.22 c #Conflicts: 282000 | #Constraints: 15269 301.07/302.22 c #Conflicts: 283000 | #Constraints: 16271 301.07/302.22 c #Conflicts: 284000 | #Constraints: 17271 301.07/302.22 c #Conflicts: 285000 | #Constraints: 18275 301.07/302.22 c #Conflicts: 286000 | #Constraints: 19276 301.07/302.22 c #Conflicts: 287000 | #Constraints: 20278 301.07/302.22 c #Conflicts: 288000 | #Constraints: 21281 301.07/302.22 c INPROCESSING 301.07/302.22 c GARBAGE COLLECT 301.07/302.22 c rational objective 0 316.80/318.04 c #Conflicts: 289000 | #Constraints: 11667 316.80/318.04 c #Conflicts: 290000 | #Constraints: 12668 316.80/318.04 c #Conflicts: 291000 | #Constraints: 13669 316.80/318.04 c #Conflicts: 292000 | #Constraints: 14670 316.80/318.04 c #Conflicts: 293000 | #Constraints: 15674 316.80/318.04 c #Conflicts: 294000 | #Constraints: 16676 316.80/318.04 c #Conflicts: 295000 | #Constraints: 17677 316.80/318.04 c #Conflicts: 296000 | #Constraints: 18679 316.80/318.04 c #Conflicts: 297000 | #Constraints: 19682 316.80/318.04 c #Conflicts: 298000 | #Constraints: 20685 316.80/318.04 c #Conflicts: 299000 | #Constraints: 21687 316.80/318.04 c INPROCESSING 316.80/318.04 c GARBAGE COLLECT 316.80/318.04 c rational objective 0 339.60/340.99 c #Conflicts: 300000 | #Constraints: 11864 339.60/340.99 c #Conflicts: 301000 | #Constraints: 12866 339.60/340.99 c #Conflicts: 302000 | #Constraints: 13867 339.60/340.99 c #Conflicts: 303000 | #Constraints: 14871 339.60/340.99 c #Conflicts: 304000 | #Constraints: 15874 339.60/340.99 c #Conflicts: 305000 | #Constraints: 16876 339.60/340.99 c #Conflicts: 306000 | #Constraints: 17878 339.60/340.99 c #Conflicts: 307000 | #Constraints: 18880 339.60/340.99 c #Conflicts: 308000 | #Constraints: 19882 339.60/340.99 c #Conflicts: 309000 | #Constraints: 20883 339.60/340.99 c #Conflicts: 310000 | #Constraints: 21885 339.60/340.99 c INPROCESSING 339.60/340.99 c GARBAGE COLLECT 339.60/340.99 c rational objective 0 356.44/357.83 c #Conflicts: 311000 | #Constraints: 11869 356.44/357.83 c #Conflicts: 312000 | #Constraints: 12872 356.44/357.83 c #Conflicts: 313000 | #Constraints: 13873 356.44/357.83 c #Conflicts: 314000 | #Constraints: 14878 356.44/357.83 c #Conflicts: 315000 | #Constraints: 15880 356.44/357.83 c #Conflicts: 316000 | #Constraints: 16882 356.44/357.83 c #Conflicts: 317000 | #Constraints: 17883 356.44/357.83 c #Conflicts: 318000 | #Constraints: 18883 356.44/357.83 c #Conflicts: 319000 | #Constraints: 19883 356.44/357.83 c #Conflicts: 320000 | #Constraints: 20887 356.44/357.83 c #Conflicts: 321000 | #Constraints: 21888 356.44/357.83 c INPROCESSING 356.44/357.83 c GARBAGE COLLECT 356.44/357.83 c rational objective 0 377.86/379.30 c #Conflicts: 322000 | #Constraints: 11659 377.86/379.30 c #Conflicts: 323000 | #Constraints: 12661 377.86/379.30 c #Conflicts: 324000 | #Constraints: 13661 377.86/379.30 c #Conflicts: 325000 | #Constraints: 14662 377.86/379.30 c #Conflicts: 326000 | #Constraints: 15663 377.86/379.30 c #Conflicts: 327000 | #Constraints: 16663 377.86/379.30 c #Conflicts: 328000 | #Constraints: 17664 377.86/379.30 c #Conflicts: 329000 | #Constraints: 18664 377.86/379.30 c #Conflicts: 330000 | #Constraints: 19665 377.86/379.30 c #Conflicts: 331000 | #Constraints: 20666 377.86/379.30 c #Conflicts: 332000 | #Constraints: 21667 377.86/379.30 c #Conflicts: 333000 | #Constraints: 22668 377.86/379.30 c INPROCESSING 377.86/379.30 c GARBAGE COLLECT 377.86/379.30 c rational objective 0 406.24/407.88 c #Conflicts: 334000 | #Constraints: 12249 406.24/407.88 c #Conflicts: 335000 | #Constraints: 13250 406.24/407.88 c #Conflicts: 336000 | #Constraints: 14254 406.24/407.88 c #Conflicts: 337000 | #Constraints: 15258 406.24/407.88 c #Conflicts: 338000 | #Constraints: 16262 406.24/407.88 c #Conflicts: 339000 | #Constraints: 17264 406.24/407.88 c #Conflicts: 340000 | #Constraints: 18265 406.24/407.88 c #Conflicts: 341000 | #Constraints: 19266 406.24/407.88 c #Conflicts: 342000 | #Constraints: 20266 406.24/407.88 c #Conflicts: 343000 | #Constraints: 21268 406.24/407.88 c #Conflicts: 344000 | #Constraints: 22270 406.24/407.88 c #Conflicts: 345000 | #Constraints: 23273 406.24/407.88 c INPROCESSING 406.24/407.88 c GARBAGE COLLECT 406.24/407.88 c rational objective 0 424.96/426.69 c #Conflicts: 346000 | #Constraints: 12663 424.96/426.69 c #Conflicts: 347000 | #Constraints: 13665 424.96/426.69 c #Conflicts: 348000 | #Constraints: 14668 424.96/426.69 c #Conflicts: 349000 | #Constraints: 15668 424.96/426.69 c #Conflicts: 350000 | #Constraints: 16669 424.96/426.69 c #Conflicts: 351000 | #Constraints: 17670 424.96/426.69 c #Conflicts: 352000 | #Constraints: 18670 424.96/426.69 c #Conflicts: 353000 | #Constraints: 19671 424.96/426.69 c #Conflicts: 354000 | #Constraints: 20671 424.96/426.69 c #Conflicts: 355000 | #Constraints: 21675 424.96/426.69 c #Conflicts: 356000 | #Constraints: 22678 424.96/426.69 c #Conflicts: 357000 | #Constraints: 23678 424.96/426.69 c INPROCESSING 424.96/426.69 c GARBAGE COLLECT 424.96/426.69 c rational objective 0 458.02/459.82 c #Conflicts: 358000 | #Constraints: 12859 458.02/459.82 c #Conflicts: 359000 | #Constraints: 13859 458.02/459.82 c #Conflicts: 360000 | #Constraints: 14859 458.02/459.82 c #Conflicts: 361000 | #Constraints: 15860 458.02/459.82 c #Conflicts: 362000 | #Constraints: 16863 458.02/459.82 c #Conflicts: 363000 | #Constraints: 17865 458.02/459.82 c #Conflicts: 364000 | #Constraints: 18865 458.02/459.82 c #Conflicts: 365000 | #Constraints: 19868 458.02/459.82 c #Conflicts: 366000 | #Constraints: 20869 458.02/459.82 c #Conflicts: 367000 | #Constraints: 21871 458.02/459.82 c #Conflicts: 368000 | #Constraints: 22871 458.02/459.82 c #Conflicts: 369000 | #Constraints: 23874 458.02/459.82 c INPROCESSING 458.02/459.82 c GARBAGE COLLECT 458.02/459.82 c rational objective 0 479.04/481.00 c #Conflicts: 370000 | #Constraints: 12860 479.04/481.00 c #Conflicts: 371000 | #Constraints: 13860 479.04/481.00 c #Conflicts: 372000 | #Constraints: 14860 479.04/481.00 c #Conflicts: 373000 | #Constraints: 15865 479.04/481.00 c #Conflicts: 374000 | #Constraints: 16868 479.04/481.00 c #Conflicts: 375000 | #Constraints: 17868 479.04/481.00 c #Conflicts: 376000 | #Constraints: 18869 479.04/481.00 c #Conflicts: 377000 | #Constraints: 19871 479.04/481.00 c #Conflicts: 378000 | #Constraints: 20871 479.04/481.00 c #Conflicts: 379000 | #Constraints: 21871 479.04/481.00 c #Conflicts: 380000 | #Constraints: 22874 479.04/481.00 c #Conflicts: 381000 | #Constraints: 23877 479.04/481.00 c INPROCESSING 479.04/481.00 c GARBAGE COLLECT 479.04/481.00 c rational objective 0 498.46/500.41 c #Conflicts: 382000 | #Constraints: 12654 498.46/500.41 c #Conflicts: 383000 | #Constraints: 13656 498.46/500.41 c #Conflicts: 384000 | #Constraints: 14657 498.46/500.41 c #Conflicts: 385000 | #Constraints: 15658 498.46/500.41 c #Conflicts: 386000 | #Constraints: 16660 498.46/500.41 c #Conflicts: 387000 | #Constraints: 17660 498.46/500.41 c #Conflicts: 388000 | #Constraints: 18660 498.46/500.41 c #Conflicts: 389000 | #Constraints: 19662 498.46/500.41 c #Conflicts: 390000 | #Constraints: 20664 498.46/500.41 c #Conflicts: 391000 | #Constraints: 21664 498.46/500.41 c #Conflicts: 392000 | #Constraints: 22667 498.46/500.41 c #Conflicts: 393000 | #Constraints: 23670 498.46/500.41 c #Conflicts: 394000 | #Constraints: 24671 498.46/500.41 c INPROCESSING 498.46/500.41 c GARBAGE COLLECT 498.46/500.41 c rational objective 0 530.13/532.20 c #Conflicts: 395000 | #Constraints: 13257 530.13/532.20 c #Conflicts: 396000 | #Constraints: 14258 530.13/532.20 c #Conflicts: 397000 | #Constraints: 15259 530.13/532.20 c #Conflicts: 398000 | #Constraints: 16259 530.13/532.20 c #Conflicts: 399000 | #Constraints: 17259 530.13/532.20 c #Conflicts: 400000 | #Constraints: 18261 530.13/532.20 c #Conflicts: 401000 | #Constraints: 19262 530.13/532.20 c #Conflicts: 402000 | #Constraints: 20262 530.13/532.20 c #Conflicts: 403000 | #Constraints: 21262 530.13/532.20 c #Conflicts: 404000 | #Constraints: 22262 530.13/532.20 c bounds 28 >= 0 @ 520.19 530.13/532.20 c #Conflicts: 405000 | #Constraints: 23266 530.13/532.20 c #Conflicts: 406000 | #Constraints: 24268 530.13/532.20 c #Conflicts: 407000 | #Constraints: 25269 530.13/532.20 c INPROCESSING 530.13/532.20 c GARBAGE COLLECT 530.13/532.20 c rational objective 0 551.64/553.88 c #Conflicts: 408000 | #Constraints: 13651 551.64/553.88 c #Conflicts: 409000 | #Constraints: 14651 551.64/553.88 c #Conflicts: 410000 | #Constraints: 15651 551.64/553.88 c #Conflicts: 411000 | #Constraints: 16651 551.64/553.88 c #Conflicts: 412000 | #Constraints: 17652 551.64/553.88 c #Conflicts: 413000 | #Constraints: 18653 551.64/553.88 c #Conflicts: 414000 | #Constraints: 19655 551.64/553.88 c #Conflicts: 415000 | #Constraints: 20656 551.64/553.88 c #Conflicts: 416000 | #Constraints: 21656 551.64/553.88 c #Conflicts: 417000 | #Constraints: 22658 551.64/553.88 c #Conflicts: 418000 | #Constraints: 23658 551.64/553.88 c #Conflicts: 419000 | #Constraints: 24658 551.64/553.88 c #Conflicts: 420000 | #Constraints: 25659 551.64/553.88 c INPROCESSING 551.64/553.88 c GARBAGE COLLECT 551.64/553.88 c rational objective 0 584.20/586.51 c bounds 24 >= 0 @ 544.762 584.20/586.51 c #Conflicts: 421000 | #Constraints: 13852 584.20/586.51 c #Conflicts: 422000 | #Constraints: 14854 584.20/586.51 c #Conflicts: 423000 | #Constraints: 15856 584.20/586.51 c #Conflicts: 424000 | #Constraints: 16860 584.20/586.51 c #Conflicts: 425000 | #Constraints: 17863 584.20/586.51 c #Conflicts: 426000 | #Constraints: 18864 584.20/586.51 c #Conflicts: 427000 | #Constraints: 19867 584.20/586.51 c #Conflicts: 428000 | #Constraints: 20868 584.20/586.51 c #Conflicts: 429000 | #Constraints: 21869 584.20/586.51 c #Conflicts: 430000 | #Constraints: 22871 584.20/586.51 c #Conflicts: 431000 | #Constraints: 23871 584.20/586.51 c #Conflicts: 432000 | #Constraints: 24871 584.20/586.51 c #Conflicts: 433000 | #Constraints: 25871 584.20/586.51 c INPROCESSING 584.20/586.51 c GARBAGE COLLECT 584.20/586.51 c rational objective 0 609.20/611.68 c #Conflicts: 434000 | #Constraints: 13863 609.20/611.68 c #Conflicts: 435000 | #Constraints: 14868 609.20/611.68 c #Conflicts: 436000 | #Constraints: 15871 609.20/611.68 c #Conflicts: 437000 | #Constraints: 16875 609.20/611.68 c #Conflicts: 438000 | #Constraints: 17879 609.20/611.68 c #Conflicts: 439000 | #Constraints: 18880 609.20/611.68 c #Conflicts: 440000 | #Constraints: 19882 609.20/611.68 c #Conflicts: 441000 | #Constraints: 20884 609.20/611.68 c #Conflicts: 442000 | #Constraints: 21884 609.20/611.68 c #Conflicts: 443000 | #Constraints: 22886 609.20/611.68 c #Conflicts: 444000 | #Constraints: 23889 609.20/611.68 c #Conflicts: 445000 | #Constraints: 24891 609.20/611.68 c #Conflicts: 446000 | #Constraints: 25892 609.20/611.68 c INPROCESSING 609.20/611.68 c GARBAGE COLLECT 609.20/611.68 c rational objective 0 634.69/637.28 c #Conflicts: 447000 | #Constraints: 13668 634.69/637.28 c #Conflicts: 448000 | #Constraints: 14669 634.69/637.28 c #Conflicts: 449000 | #Constraints: 15671 634.69/637.28 c #Conflicts: 450000 | #Constraints: 16674 634.69/637.28 c #Conflicts: 451000 | #Constraints: 17674 634.69/637.28 c #Conflicts: 452000 | #Constraints: 18677 634.69/637.28 c #Conflicts: 453000 | #Constraints: 19678 634.69/637.28 c #Conflicts: 454000 | #Constraints: 20678 634.69/637.28 c #Conflicts: 455000 | #Constraints: 21678 634.69/637.28 c #Conflicts: 456000 | #Constraints: 22680 634.69/637.28 c #Conflicts: 457000 | #Constraints: 23681 634.69/637.28 c #Conflicts: 458000 | #Constraints: 24681 634.69/637.28 c #Conflicts: 459000 | #Constraints: 25683 634.69/637.28 c #Conflicts: 460000 | #Constraints: 26684 634.69/637.28 c INPROCESSING 634.69/637.28 c GARBAGE COLLECT 634.69/637.28 c rational objective 0 673.35/676.09 c #Conflicts: 461000 | #Constraints: 14260 673.35/676.09 c #Conflicts: 462000 | #Constraints: 15263 673.35/676.09 c #Conflicts: 463000 | #Constraints: 16264 673.35/676.09 c #Conflicts: 464000 | #Constraints: 17265 673.35/676.09 c #Conflicts: 465000 | #Constraints: 18266 673.35/676.09 c #Conflicts: 466000 | #Constraints: 19268 673.35/676.09 c #Conflicts: 467000 | #Constraints: 20270 673.35/676.09 c #Conflicts: 468000 | #Constraints: 21271 673.35/676.09 c #Conflicts: 469000 | #Constraints: 22273 673.35/676.09 c #Conflicts: 470000 | #Constraints: 23273 673.35/676.09 c #Conflicts: 471000 | #Constraints: 24274 673.35/676.09 c #Conflicts: 472000 | #Constraints: 25276 673.35/676.09 c #Conflicts: 473000 | #Constraints: 26277 673.35/676.09 c #Conflicts: 474000 | #Constraints: 27280 673.35/676.09 c INPROCESSING 673.35/676.09 c GARBAGE COLLECT 673.35/676.09 c rational objective 0 707.60/710.42 c #Conflicts: 475000 | #Constraints: 14665 707.60/710.42 c #Conflicts: 476000 | #Constraints: 15667 707.60/710.42 c #Conflicts: 477000 | #Constraints: 16669 707.60/710.42 c #Conflicts: 478000 | #Constraints: 17669 707.60/710.42 c #Conflicts: 479000 | #Constraints: 18672 707.60/710.42 c #Conflicts: 480000 | #Constraints: 19672 707.60/710.42 c #Conflicts: 481000 | #Constraints: 20672 707.60/710.42 c #Conflicts: 482000 | #Constraints: 21673 707.60/710.42 c #Conflicts: 483000 | #Constraints: 22674 707.60/710.42 c #Conflicts: 484000 | #Constraints: 23675 707.60/710.42 c #Conflicts: 485000 | #Constraints: 24676 707.60/710.42 c #Conflicts: 486000 | #Constraints: 25676 707.60/710.42 c #Conflicts: 487000 | #Constraints: 26677 707.60/710.42 c #Conflicts: 488000 | #Constraints: 27678 707.60/710.42 c INPROCESSING 707.60/710.42 c GARBAGE COLLECT 707.60/710.42 c rational objective 0 746.34/749.35 c #Conflicts: 489000 | #Constraints: 14858 746.34/749.35 c #Conflicts: 490000 | #Constraints: 15859 746.34/749.35 c #Conflicts: 491000 | #Constraints: 16859 746.34/749.35 c #Conflicts: 492000 | #Constraints: 17861 746.34/749.35 c #Conflicts: 493000 | #Constraints: 18863 746.34/749.35 c #Conflicts: 494000 | #Constraints: 19864 746.34/749.35 c #Conflicts: 495000 | #Constraints: 20866 746.34/749.35 c #Conflicts: 496000 | #Constraints: 21868 746.34/749.35 c #Conflicts: 497000 | #Constraints: 22870 746.34/749.35 c #Conflicts: 498000 | #Constraints: 23872 746.34/749.35 c #Conflicts: 499000 | #Constraints: 24873 746.34/749.35 c #Conflicts: 500000 | #Constraints: 25876 746.34/749.35 c #Conflicts: 501000 | #Constraints: 26876 746.34/749.35 c #Conflicts: 502000 | #Constraints: 27876 746.34/749.35 c INPROCESSING 746.34/749.35 c GARBAGE COLLECT 746.34/749.35 c rational objective 0 780.50/783.66 c #Conflicts: 503000 | #Constraints: 14866 780.50/783.66 c #Conflicts: 504000 | #Constraints: 15869 780.50/783.66 c #Conflicts: 505000 | #Constraints: 16869 780.50/783.66 c #Conflicts: 506000 | #Constraints: 17871 780.50/783.66 c #Conflicts: 507000 | #Constraints: 18871 780.50/783.66 c #Conflicts: 508000 | #Constraints: 19872 780.50/783.66 c #Conflicts: 509000 | #Constraints: 20873 780.50/783.66 c #Conflicts: 510000 | #Constraints: 21873 780.50/783.66 c #Conflicts: 511000 | #Constraints: 22874 780.50/783.66 c #Conflicts: 512000 | #Constraints: 23875 780.50/783.66 c #Conflicts: 513000 | #Constraints: 24876 780.50/783.66 c #Conflicts: 514000 | #Constraints: 25877 780.50/783.66 c #Conflicts: 515000 | #Constraints: 26879 780.50/783.66 c #Conflicts: 516000 | #Constraints: 27880 780.50/783.66 c INPROCESSING 780.50/783.66 c GARBAGE COLLECT 780.50/783.66 c rational objective 0 827.71/831.08 c #Conflicts: 517000 | #Constraints: 14659 827.71/831.08 c #Conflicts: 518000 | #Constraints: 15662 827.71/831.08 c #Conflicts: 519000 | #Constraints: 16664 827.71/831.08 c #Conflicts: 520000 | #Constraints: 17669 827.71/831.08 c #Conflicts: 521000 | #Constraints: 18669 827.71/831.08 c #Conflicts: 522000 | #Constraints: 19670 827.71/831.08 c #Conflicts: 523000 | #Constraints: 20671 827.71/831.08 c #Conflicts: 524000 | #Constraints: 21672 827.71/831.08 c #Conflicts: 525000 | #Constraints: 22674 827.71/831.08 c #Conflicts: 526000 | #Constraints: 23677 827.71/831.08 c #Conflicts: 527000 | #Constraints: 24678 827.71/831.08 c #Conflicts: 528000 | #Constraints: 25681 827.71/831.08 c #Conflicts: 529000 | #Constraints: 26683 827.71/831.08 c #Conflicts: 530000 | #Constraints: 27684 827.71/831.08 c #Conflicts: 531000 | #Constraints: 28685 827.71/831.08 c INPROCESSING 827.71/831.08 c GARBAGE COLLECT 827.71/831.08 c rational objective 0 857.08/860.52 c #Conflicts: 532000 | #Constraints: 15272 857.08/860.52 c #Conflicts: 533000 | #Constraints: 16274 857.08/860.52 c #Conflicts: 534000 | #Constraints: 17277 857.08/860.52 c #Conflicts: 535000 | #Constraints: 18279 857.08/860.52 c #Conflicts: 536000 | #Constraints: 19279 857.08/860.52 c #Conflicts: 537000 | #Constraints: 20280 857.08/860.52 c #Conflicts: 538000 | #Constraints: 21281 857.08/860.52 c #Conflicts: 539000 | #Constraints: 22283 857.08/860.52 c #Conflicts: 540000 | #Constraints: 23283 857.08/860.52 c #Conflicts: 541000 | #Constraints: 24286 857.08/860.52 c #Conflicts: 542000 | #Constraints: 25287 857.08/860.52 c #Conflicts: 543000 | #Constraints: 26291 857.08/860.52 c #Conflicts: 544000 | #Constraints: 27292 857.08/860.52 c #Conflicts: 545000 | #Constraints: 28294 857.08/860.52 c #Conflicts: 546000 | #Constraints: 29296 857.08/860.52 c INPROCESSING 857.08/860.52 c GARBAGE COLLECT 857.08/860.52 c rational objective 0 888.95/892.57 c #Conflicts: 547000 | #Constraints: 15664 888.95/892.57 c #Conflicts: 548000 | #Constraints: 16664 888.95/892.57 c #Conflicts: 549000 | #Constraints: 17665 888.95/892.57 c #Conflicts: 550000 | #Constraints: 18666 888.95/892.57 c #Conflicts: 551000 | #Constraints: 19667 888.95/892.57 c #Conflicts: 552000 | #Constraints: 20668 888.95/892.57 c #Conflicts: 553000 | #Constraints: 21669 888.95/892.57 c #Conflicts: 554000 | #Constraints: 22670 888.95/892.57 c #Conflicts: 555000 | #Constraints: 23672 888.95/892.57 c #Conflicts: 556000 | #Constraints: 24674 888.95/892.57 c #Conflicts: 557000 | #Constraints: 25675 888.95/892.57 c #Conflicts: 558000 | #Constraints: 26676 888.95/892.57 c #Conflicts: 559000 | #Constraints: 27679 888.95/892.57 c #Conflicts: 560000 | #Constraints: 28681 888.95/892.57 c #Conflicts: 561000 | #Constraints: 29683 888.95/892.57 c INPROCESSING 888.95/892.57 c GARBAGE COLLECT 888.95/892.57 c rational objective 0 936.06/939.89 c #Conflicts: 562000 | #Constraints: 15859 936.06/939.89 c #Conflicts: 563000 | #Constraints: 16863 936.06/939.89 c #Conflicts: 564000 | #Constraints: 17868 936.06/939.89 c #Conflicts: 565000 | #Constraints: 18868 936.06/939.89 c #Conflicts: 566000 | #Constraints: 19869 936.06/939.89 c #Conflicts: 567000 | #Constraints: 20873 936.06/939.89 c #Conflicts: 568000 | #Constraints: 21875 936.06/939.89 c #Conflicts: 569000 | #Constraints: 22877 936.06/939.89 c #Conflicts: 570000 | #Constraints: 23881 936.06/939.89 c #Conflicts: 571000 | #Constraints: 24884 936.06/939.89 c #Conflicts: 572000 | #Constraints: 25885 936.06/939.89 c #Conflicts: 573000 | #Constraints: 26889 936.06/939.89 c #Conflicts: 574000 | #Constraints: 27891 936.06/939.89 c #Conflicts: 575000 | #Constraints: 28894 936.06/939.89 c #Conflicts: 576000 | #Constraints: 29897 936.06/939.89 c INPROCESSING 936.06/939.89 c GARBAGE COLLECT 936.06/939.89 c rational objective 0 967.03/970.91 c #Conflicts: 577000 | #Constraints: 15870 967.03/970.91 c #Conflicts: 578000 | #Constraints: 16871 967.03/970.91 c #Conflicts: 579000 | #Constraints: 17871 967.03/970.91 c #Conflicts: 580000 | #Constraints: 18871 967.03/970.91 c #Conflicts: 581000 | #Constraints: 19872 967.03/970.91 c #Conflicts: 582000 | #Constraints: 20872 967.03/970.91 c #Conflicts: 583000 | #Constraints: 21873 967.03/970.91 c #Conflicts: 584000 | #Constraints: 22873 967.03/970.91 c #Conflicts: 585000 | #Constraints: 23876 967.03/970.91 c #Conflicts: 586000 | #Constraints: 24877 967.03/970.91 c #Conflicts: 587000 | #Constraints: 25877 967.03/970.91 c #Conflicts: 588000 | #Constraints: 26877 967.03/970.91 c #Conflicts: 589000 | #Constraints: 27881 967.03/970.91 c #Conflicts: 590000 | #Constraints: 28883 967.03/970.91 c #Conflicts: 591000 | #Constraints: 29884 967.03/970.91 c INPROCESSING 967.03/970.91 c GARBAGE COLLECT 967.03/970.91 c rational objective 0 1019.62/1023.79 c #Conflicts: 592000 | #Constraints: 15661 1019.62/1023.79 c #Conflicts: 593000 | #Constraints: 16662 1019.62/1023.79 c #Conflicts: 594000 | #Constraints: 17662 1019.62/1023.79 c #Conflicts: 595000 | #Constraints: 18664 1019.62/1023.79 c #Conflicts: 596000 | #Constraints: 19664 1019.62/1023.79 c #Conflicts: 597000 | #Constraints: 20665 1019.62/1023.79 c #Conflicts: 598000 | #Constraints: 21665 1019.62/1023.79 c #Conflicts: 599000 | #Constraints: 22665 1019.62/1023.79 c #Conflicts: 600000 | #Constraints: 23665 1019.62/1023.79 c #Conflicts: 601000 | #Constraints: 24666 1019.62/1023.79 c #Conflicts: 602000 | #Constraints: 25666 1019.62/1023.79 c #Conflicts: 603000 | #Constraints: 26668 1019.62/1023.79 c #Conflicts: 604000 | #Constraints: 27668 1019.62/1023.79 c #Conflicts: 605000 | #Constraints: 28670 1019.62/1023.79 c bounds 23 >= 0 @ 1002.91 1019.62/1023.79 c #Conflicts: 606000 | #Constraints: 29674 1019.62/1023.79 c #Conflicts: 607000 | #Constraints: 30677 1019.62/1023.79 c INPROCESSING 1019.62/1023.79 c GARBAGE COLLECT 1019.62/1023.79 c rational objective 0 1057.66/1061.95 c #Conflicts: 608000 | #Constraints: 16261 1057.66/1061.95 c #Conflicts: 609000 | #Constraints: 17264 1057.66/1061.95 c #Conflicts: 610000 | #Constraints: 18265 1057.66/1061.95 c #Conflicts: 611000 | #Constraints: 19267 1057.66/1061.95 c #Conflicts: 612000 | #Constraints: 20267 1057.66/1061.95 c #Conflicts: 613000 | #Constraints: 21267 1057.66/1061.95 c #Conflicts: 614000 | #Constraints: 22268 1057.66/1061.95 c #Conflicts: 615000 | #Constraints: 23268 1057.66/1061.95 c #Conflicts: 616000 | #Constraints: 24270 1057.66/1061.95 c #Conflicts: 617000 | #Constraints: 25271 1057.66/1061.95 c #Conflicts: 618000 | #Constraints: 26272 1057.66/1061.95 c #Conflicts: 619000 | #Constraints: 27272 1057.66/1061.95 c #Conflicts: 620000 | #Constraints: 28273 1057.66/1061.95 c #Conflicts: 621000 | #Constraints: 29274 1057.66/1061.95 c #Conflicts: 622000 | #Constraints: 30276 1057.66/1061.95 c #Conflicts: 623000 | #Constraints: 31277 1057.66/1061.95 c INPROCESSING 1057.66/1061.95 c GARBAGE COLLECT 1057.66/1061.95 c rational objective 0 1093.51/1097.94 c #Conflicts: 624000 | #Constraints: 16653 1093.51/1097.94 c #Conflicts: 625000 | #Constraints: 17653 1093.51/1097.94 c #Conflicts: 626000 | #Constraints: 18653 1093.51/1097.94 c #Conflicts: 627000 | #Constraints: 19653 1093.51/1097.94 c #Conflicts: 628000 | #Constraints: 20653 1093.51/1097.94 c #Conflicts: 629000 | #Constraints: 21655 1093.51/1097.94 c #Conflicts: 630000 | #Constraints: 22655 1093.51/1097.94 c #Conflicts: 631000 | #Constraints: 23656 1093.51/1097.94 c #Conflicts: 632000 | #Constraints: 24660 1093.51/1097.94 c #Conflicts: 633000 | #Constraints: 25661 1093.51/1097.94 c #Conflicts: 634000 | #Constraints: 26661 1093.51/1097.94 c #Conflicts: 635000 | #Constraints: 27662 1093.51/1097.94 c #Conflicts: 636000 | #Constraints: 28663 1093.51/1097.94 c #Conflicts: 637000 | #Constraints: 29664 1093.51/1097.94 c #Conflicts: 638000 | #Constraints: 30666 1093.51/1097.94 c #Conflicts: 639000 | #Constraints: 31668 1093.51/1097.94 c INPROCESSING 1093.51/1097.94 c GARBAGE COLLECT 1093.51/1097.94 c rational objective 0 1152.77/1157.40 c #Conflicts: 640000 | #Constraints: 16849 1152.77/1157.40 c #Conflicts: 641000 | #Constraints: 17850 1152.77/1157.40 c #Conflicts: 642000 | #Constraints: 18851 1152.77/1157.40 c #Conflicts: 643000 | #Constraints: 19854 1152.77/1157.40 c #Conflicts: 644000 | #Constraints: 20854 1152.77/1157.40 c #Conflicts: 645000 | #Constraints: 21855 1152.77/1157.40 c #Conflicts: 646000 | #Constraints: 22856 1152.77/1157.40 c #Conflicts: 647000 | #Constraints: 23858 1152.77/1157.40 c #Conflicts: 648000 | #Constraints: 24860 1152.77/1157.40 c #Conflicts: 649000 | #Constraints: 25864 1152.77/1157.40 c #Conflicts: 650000 | #Constraints: 26865 1152.77/1157.40 c #Conflicts: 651000 | #Constraints: 27868 1152.77/1157.40 c #Conflicts: 652000 | #Constraints: 28868 1152.77/1157.40 c #Conflicts: 653000 | #Constraints: 29869 1152.77/1157.40 c #Conflicts: 654000 | #Constraints: 30871 1152.77/1157.40 c #Conflicts: 655000 | #Constraints: 31872 1152.77/1157.40 c INPROCESSING 1152.77/1157.40 c GARBAGE COLLECT 1152.77/1157.40 c rational objective 0 1194.10/1198.91 c #Conflicts: 656000 | #Constraints: 16865 1194.10/1198.91 c #Conflicts: 657000 | #Constraints: 17867 1194.10/1198.91 c #Conflicts: 658000 | #Constraints: 18869 1194.10/1198.91 c #Conflicts: 659000 | #Constraints: 19871 1194.10/1198.91 c #Conflicts: 660000 | #Constraints: 20871 1194.10/1198.91 c #Conflicts: 661000 | #Constraints: 21872 1194.10/1198.91 c #Conflicts: 662000 | #Constraints: 22875 1194.10/1198.91 c #Conflicts: 663000 | #Constraints: 23875 1194.10/1198.91 c #Conflicts: 664000 | #Constraints: 24877 1194.10/1198.91 c #Conflicts: 665000 | #Constraints: 25878 1194.10/1198.91 c #Conflicts: 666000 | #Constraints: 26878 1194.10/1198.91 c #Conflicts: 667000 | #Constraints: 27878 1194.10/1198.91 c #Conflicts: 668000 | #Constraints: 28878 1194.10/1198.91 c #Conflicts: 669000 | #Constraints: 29879 1194.10/1198.91 c #Conflicts: 670000 | #Constraints: 30881 1194.10/1198.91 c #Conflicts: 671000 | #Constraints: 31881 1194.10/1198.91 c INPROCESSING 1194.10/1198.91 c GARBAGE COLLECT 1194.10/1198.91 c rational objective 0 1254.85/1259.96 c #Conflicts: 672000 | #Constraints: 16655 1254.85/1259.96 c #Conflicts: 673000 | #Constraints: 17657 1254.85/1259.96 c #Conflicts: 674000 | #Constraints: 18657 1254.85/1259.96 c #Conflicts: 675000 | #Constraints: 19659 1254.85/1259.96 c #Conflicts: 676000 | #Constraints: 20663 1254.85/1259.96 c #Conflicts: 677000 | #Constraints: 21666 1254.85/1259.96 c #Conflicts: 678000 | #Constraints: 22668 1254.85/1259.96 c #Conflicts: 679000 | #Constraints: 23669 1254.85/1259.96 c #Conflicts: 680000 | #Constraints: 24670 1254.85/1259.96 c #Conflicts: 681000 | #Constraints: 25671 1254.85/1259.96 c #Conflicts: 682000 | #Constraints: 26675 1254.85/1259.96 c #Conflicts: 683000 | #Constraints: 27676 1254.85/1259.96 c #Conflicts: 684000 | #Constraints: 28677 1254.85/1259.96 c #Conflicts: 685000 | #Constraints: 29679 1254.85/1259.96 c #Conflicts: 686000 | #Constraints: 30680 1254.85/1259.96 c #Conflicts: 687000 | #Constraints: 31682 1254.85/1259.96 c #Conflicts: 688000 | #Constraints: 32683 1254.85/1259.96 c INPROCESSING 1254.85/1259.96 c GARBAGE COLLECT 1254.85/1259.96 c rational objective 0 1297.08/1302.34 c #Conflicts: 689000 | #Constraints: 17273 1297.08/1302.34 c #Conflicts: 690000 | #Constraints: 18275 1297.08/1302.34 c #Conflicts: 691000 | #Constraints: 19276 1297.08/1302.34 c #Conflicts: 692000 | #Constraints: 20277 1297.08/1302.34 c #Conflicts: 693000 | #Constraints: 21277 1297.08/1302.34 c #Conflicts: 694000 | #Constraints: 22277 1297.08/1302.34 c #Conflicts: 695000 | #Constraints: 23278 1297.08/1302.34 c #Conflicts: 696000 | #Constraints: 24278 1297.08/1302.34 c #Conflicts: 697000 | #Constraints: 25280 1297.08/1302.34 c #Conflicts: 698000 | #Constraints: 26281 1297.08/1302.34 c #Conflicts: 699000 | #Constraints: 27283 1297.08/1302.34 c #Conflicts: 700000 | #Constraints: 28283 1297.08/1302.34 c #Conflicts: 701000 | #Constraints: 29283 1297.08/1302.34 c #Conflicts: 702000 | #Constraints: 30286 1297.08/1302.34 c #Conflicts: 703000 | #Constraints: 31287 1297.08/1302.34 c #Conflicts: 704000 | #Constraints: 32288 1297.08/1302.34 c #Conflicts: 705000 | #Constraints: 33289 1297.08/1302.34 c INPROCESSING 1297.08/1302.34 c GARBAGE COLLECT 1297.08/1302.34 c rational objective 0 1346.97/1352.43 c #Conflicts: 706000 | #Constraints: 17664 1346.97/1352.43 c #Conflicts: 707000 | #Constraints: 18665 1346.97/1352.43 c #Conflicts: 708000 | #Constraints: 19665 1346.97/1352.43 c #Conflicts: 709000 | #Constraints: 20666 1346.97/1352.43 c #Conflicts: 710000 | #Constraints: 21667 1346.97/1352.43 c #Conflicts: 711000 | #Constraints: 22668 1346.97/1352.43 c #Conflicts: 712000 | #Constraints: 23670 1346.97/1352.43 c #Conflicts: 713000 | #Constraints: 24670 1346.97/1352.43 c #Conflicts: 714000 | #Constraints: 25671 1346.97/1352.43 c #Conflicts: 715000 | #Constraints: 26674 1346.97/1352.43 c #Conflicts: 716000 | #Constraints: 27675 1346.97/1352.43 c #Conflicts: 717000 | #Constraints: 28676 1346.97/1352.43 c #Conflicts: 718000 | #Constraints: 29677 1346.97/1352.43 c #Conflicts: 719000 | #Constraints: 30679 1346.97/1352.43 c #Conflicts: 720000 | #Constraints: 31679 1346.97/1352.43 c #Conflicts: 721000 | #Constraints: 32681 1346.97/1352.43 c #Conflicts: 722000 | #Constraints: 33684 1346.97/1352.43 c INPROCESSING 1346.97/1352.43 c GARBAGE COLLECT 1346.97/1352.43 c rational objective 0 1411.21/1416.93 c #Conflicts: 723000 | #Constraints: 17866 1411.21/1416.93 c #Conflicts: 724000 | #Constraints: 18869 1411.21/1416.93 c #Conflicts: 725000 | #Constraints: 19873 1411.21/1416.93 c #Conflicts: 726000 | #Constraints: 20877 1411.21/1416.93 c #Conflicts: 727000 | #Constraints: 21879 1411.21/1416.93 c #Conflicts: 728000 | #Constraints: 22879 1411.21/1416.93 c #Conflicts: 729000 | #Constraints: 23879 1411.21/1416.93 c #Conflicts: 730000 | #Constraints: 24881 1411.21/1416.93 c #Conflicts: 731000 | #Constraints: 25881 1411.21/1416.93 c #Conflicts: 732000 | #Constraints: 26882 1411.21/1416.93 c #Conflicts: 733000 | #Constraints: 27882 1411.21/1416.93 c #Conflicts: 734000 | #Constraints: 28882 1411.21/1416.93 c #Conflicts: 735000 | #Constraints: 29884 1411.21/1416.93 c #Conflicts: 736000 | #Constraints: 30884 1411.21/1416.93 c #Conflicts: 737000 | #Constraints: 31885 1411.21/1416.93 c #Conflicts: 738000 | #Constraints: 32886 1411.21/1416.93 c #Conflicts: 739000 | #Constraints: 33887 1411.21/1416.93 c INPROCESSING 1411.21/1416.93 c GARBAGE COLLECT 1411.21/1416.93 c rational objective 0 1454.84/1460.79 c #Conflicts: 740000 | #Constraints: 17868 1454.84/1460.79 c #Conflicts: 741000 | #Constraints: 18871 1454.84/1460.79 c #Conflicts: 742000 | #Constraints: 19871 1454.84/1460.79 c #Conflicts: 743000 | #Constraints: 20872 1454.84/1460.79 c #Conflicts: 744000 | #Constraints: 21872 1454.84/1460.79 c #Conflicts: 745000 | #Constraints: 22873 1454.84/1460.79 c #Conflicts: 746000 | #Constraints: 23873 1454.84/1460.79 c #Conflicts: 747000 | #Constraints: 24875 1454.84/1460.79 c #Conflicts: 748000 | #Constraints: 25876 1454.84/1460.79 c #Conflicts: 749000 | #Constraints: 26877 1454.84/1460.79 c #Conflicts: 750000 | #Constraints: 27877 1454.84/1460.79 c #Conflicts: 751000 | #Constraints: 28877 1454.84/1460.79 c #Conflicts: 752000 | #Constraints: 29877 1454.84/1460.79 c #Conflicts: 753000 | #Constraints: 30877 1454.84/1460.79 c #Conflicts: 754000 | #Constraints: 31879 1454.84/1460.79 c #Conflicts: 755000 | #Constraints: 32879 1454.84/1460.79 c #Conflicts: 756000 | #Constraints: 33879 1454.84/1460.79 c INPROCESSING 1454.84/1460.79 c GARBAGE COLLECT 1454.84/1460.79 c rational objective 0 1528.63/1534.86 c #Conflicts: 757000 | #Constraints: 17657 1528.63/1534.86 c #Conflicts: 758000 | #Constraints: 18659 1528.63/1534.86 c #Conflicts: 759000 | #Constraints: 19660 1528.63/1534.86 c #Conflicts: 760000 | #Constraints: 20661 1528.63/1534.86 c #Conflicts: 761000 | #Constraints: 21663 1528.63/1534.86 c #Conflicts: 762000 | #Constraints: 22664 1528.63/1534.86 c #Conflicts: 763000 | #Constraints: 23665 1528.63/1534.86 c #Conflicts: 764000 | #Constraints: 24666 1528.63/1534.86 c #Conflicts: 765000 | #Constraints: 25670 1528.63/1534.86 c #Conflicts: 766000 | #Constraints: 26672 1528.63/1534.86 c #Conflicts: 767000 | #Constraints: 27672 1528.63/1534.86 c #Conflicts: 768000 | #Constraints: 28675 1528.63/1534.86 c #Conflicts: 769000 | #Constraints: 29676 1528.63/1534.86 c #Conflicts: 770000 | #Constraints: 30679 1528.63/1534.86 c #Conflicts: 771000 | #Constraints: 31679 1528.63/1534.86 c #Conflicts: 772000 | #Constraints: 32680 1528.63/1534.86 c #Conflicts: 773000 | #Constraints: 33682 1528.63/1534.86 c #Conflicts: 774000 | #Constraints: 34682 1528.63/1534.86 c INPROCESSING 1528.63/1534.86 c GARBAGE COLLECT 1528.63/1534.86 c rational objective 0 1576.84/1583.27 c #Conflicts: 775000 | #Constraints: 18267 1576.84/1583.27 c #Conflicts: 776000 | #Constraints: 19268 1576.84/1583.27 c #Conflicts: 777000 | #Constraints: 20268 1576.84/1583.27 c #Conflicts: 778000 | #Constraints: 21270 1576.84/1583.27 c #Conflicts: 779000 | #Constraints: 22270 1576.84/1583.27 c #Conflicts: 780000 | #Constraints: 23270 1576.84/1583.27 c #Conflicts: 781000 | #Constraints: 24271 1576.84/1583.27 c #Conflicts: 782000 | #Constraints: 25274 1576.84/1583.27 c #Conflicts: 783000 | #Constraints: 26276 1576.84/1583.27 c #Conflicts: 784000 | #Constraints: 27276 1576.84/1583.27 c #Conflicts: 785000 | #Constraints: 28277 1576.84/1583.27 c #Conflicts: 786000 | #Constraints: 29278 1576.84/1583.27 c #Conflicts: 787000 | #Constraints: 30278 1576.84/1583.27 c #Conflicts: 788000 | #Constraints: 31280 1576.84/1583.27 c #Conflicts: 789000 | #Constraints: 32280 1576.84/1583.27 c #Conflicts: 790000 | #Constraints: 33282 1576.84/1583.27 c #Conflicts: 791000 | #Constraints: 34283 1576.84/1583.27 c #Conflicts: 792000 | #Constraints: 35283 1576.84/1583.27 c INPROCESSING 1576.84/1583.27 c GARBAGE COLLECT 1576.84/1583.27 c rational objective 0 1624.75/1631.37 c #Conflicts: 793000 | #Constraints: 18656 1624.75/1631.37 c #Conflicts: 794000 | #Constraints: 19657 1624.75/1631.37 c #Conflicts: 795000 | #Constraints: 20658 1624.75/1631.37 c #Conflicts: 796000 | #Constraints: 21658 1624.75/1631.37 c #Conflicts: 797000 | #Constraints: 22658 1624.75/1631.37 c #Conflicts: 798000 | #Constraints: 23660 1624.75/1631.37 c #Conflicts: 799000 | #Constraints: 24660 1624.75/1631.37 c #Conflicts: 800000 | #Constraints: 25661 1624.75/1631.37 c #Conflicts: 801000 | #Constraints: 26665 1624.75/1631.37 c #Conflicts: 802000 | #Constraints: 27665 1624.75/1631.37 c #Conflicts: 803000 | #Constraints: 28667 1624.75/1631.37 c #Conflicts: 804000 | #Constraints: 29667 1624.75/1631.37 c #Conflicts: 805000 | #Constraints: 30667 1624.75/1631.37 c #Conflicts: 806000 | #Constraints: 31668 1624.75/1631.37 c #Conflicts: 807000 | #Constraints: 32668 1624.75/1631.37 c #Conflicts: 808000 | #Constraints: 33668 1624.75/1631.37 c #Conflicts: 809000 | #Constraints: 34668 1624.75/1631.37 c #Conflicts: 810000 | #Constraints: 35668 1624.75/1631.37 c INPROCESSING 1624.75/1631.37 c GARBAGE COLLECT 1624.75/1631.37 c rational objective 0 1702.53/1709.43 c #Conflicts: 811000 | #Constraints: 18854 1702.53/1709.43 c #Conflicts: 812000 | #Constraints: 19854 1702.53/1709.43 c #Conflicts: 813000 | #Constraints: 20855 1702.53/1709.43 c #Conflicts: 814000 | #Constraints: 21856 1702.53/1709.43 c #Conflicts: 815000 | #Constraints: 22859 1702.53/1709.43 c #Conflicts: 816000 | #Constraints: 23861 1702.53/1709.43 c #Conflicts: 817000 | #Constraints: 24862 1702.53/1709.43 c #Conflicts: 818000 | #Constraints: 25862 1702.53/1709.43 c #Conflicts: 819000 | #Constraints: 26866 1702.53/1709.43 c #Conflicts: 820000 | #Constraints: 27867 1702.53/1709.43 c #Conflicts: 821000 | #Constraints: 28871 1702.53/1709.43 c #Conflicts: 822000 | #Constraints: 29871 1702.53/1709.43 c #Conflicts: 823000 | #Constraints: 30873 1702.53/1709.43 c #Conflicts: 824000 | #Constraints: 31876 1702.53/1709.43 c #Conflicts: 825000 | #Constraints: 32880 1702.53/1709.43 c #Conflicts: 826000 | #Constraints: 33881 1702.53/1709.43 c #Conflicts: 827000 | #Constraints: 34882 1702.53/1709.43 c #Conflicts: 828000 | #Constraints: 35883 1702.53/1709.43 c INPROCESSING 1702.53/1709.43 c GARBAGE COLLECT 1702.53/1709.43 c rational objective 0 1762.39/1769.58 c #Conflicts: 829000 | #Constraints: 18867 1762.39/1769.58 c #Conflicts: 830000 | #Constraints: 19867 1762.39/1769.58 c #Conflicts: 831000 | #Constraints: 20867 1762.39/1769.58 c #Conflicts: 832000 | #Constraints: 21869 1762.39/1769.58 c #Conflicts: 833000 | #Constraints: 22869 1762.39/1769.58 c #Conflicts: 834000 | #Constraints: 23869 1762.39/1769.58 c #Conflicts: 835000 | #Constraints: 24869 1762.39/1769.58 c #Conflicts: 836000 | #Constraints: 25871 1762.39/1769.58 c #Conflicts: 837000 | #Constraints: 26871 1762.39/1769.58 c #Conflicts: 838000 | #Constraints: 27871 1762.39/1769.58 c #Conflicts: 839000 | #Constraints: 28872 1762.39/1769.58 c #Conflicts: 840000 | #Constraints: 29872 1762.39/1769.58 c #Conflicts: 841000 | #Constraints: 30873 1762.39/1769.58 c #Conflicts: 842000 | #Constraints: 31874 1762.39/1769.58 c #Conflicts: 843000 | #Constraints: 32874 1762.39/1769.58 c #Conflicts: 844000 | #Constraints: 33874 1762.39/1769.58 c #Conflicts: 845000 | #Constraints: 34875 1762.39/1769.58 c #Conflicts: 846000 | #Constraints: 35876 1762.39/1769.58 c INPROCESSING 1762.39/1769.58 c GARBAGE COLLECT 1762.39/1769.58 c rational objective 0 1845.95/1853.48 c #Conflicts: 847000 | #Constraints: 18656 1845.95/1853.48 c #Conflicts: 848000 | #Constraints: 19656 1845.95/1853.48 c #Conflicts: 849000 | #Constraints: 20657 1845.95/1853.48 c #Conflicts: 850000 | #Constraints: 21658 1845.95/1853.48 c #Conflicts: 851000 | #Constraints: 22661 1845.95/1853.48 c #Conflicts: 852000 | #Constraints: 23663 1845.95/1853.48 c #Conflicts: 853000 | #Constraints: 24665 1845.95/1853.48 c #Conflicts: 854000 | #Constraints: 25667 1845.95/1853.48 c #Conflicts: 855000 | #Constraints: 26669 1845.95/1853.48 c #Conflicts: 856000 | #Constraints: 27671 1845.95/1853.48 c #Conflicts: 857000 | #Constraints: 28673 1845.95/1853.48 c #Conflicts: 858000 | #Constraints: 29674 1845.95/1853.48 c #Conflicts: 859000 | #Constraints: 30675 1845.95/1853.48 c #Conflicts: 860000 | #Constraints: 31675 1845.95/1853.48 c #Conflicts: 861000 | #Constraints: 32676 1845.95/1853.48 c #Conflicts: 862000 | #Constraints: 33676 1845.95/1853.48 c #Conflicts: 863000 | #Constraints: 34678 1845.95/1853.48 c #Conflicts: 864000 | #Constraints: 35680 1845.95/1853.48 c #Conflicts: 865000 | #Constraints: 36680 1845.95/1853.48 c INPROCESSING 1845.95/1853.48 c GARBAGE COLLECT 1845.95/1853.48 c rational objective 0 1905.00/1912.77 c #Conflicts: 866000 | #Constraints: 19265 1905.00/1912.77 c #Conflicts: 867000 | #Constraints: 20266 1905.00/1912.77 c #Conflicts: 868000 | #Constraints: 21266 1905.00/1912.77 c #Conflicts: 869000 | #Constraints: 22266 1905.00/1912.77 c #Conflicts: 870000 | #Constraints: 23266 1905.00/1912.77 c #Conflicts: 871000 | #Constraints: 24267 1905.00/1912.77 c #Conflicts: 872000 | #Constraints: 25267 1905.00/1912.77 c #Conflicts: 873000 | #Constraints: 26267 1905.00/1912.77 c #Conflicts: 874000 | #Constraints: 27267 1905.00/1912.77 c #Conflicts: 875000 | #Constraints: 28267 1905.00/1912.77 c #Conflicts: 876000 | #Constraints: 29267 1905.00/1912.77 c #Conflicts: 877000 | #Constraints: 30267 1905.00/1912.77 c #Conflicts: 878000 | #Constraints: 31268 1905.00/1912.77 c #Conflicts: 879000 | #Constraints: 32268 1905.00/1912.77 c #Conflicts: 880000 | #Constraints: 33269 1905.00/1912.77 c #Conflicts: 881000 | #Constraints: 34269 1905.00/1912.77 c #Conflicts: 882000 | #Constraints: 35270 1905.00/1912.77 c #Conflicts: 883000 | #Constraints: 36271 1905.00/1912.77 c #Conflicts: 884000 | #Constraints: 37273 1905.00/1912.77 c INPROCESSING 1905.00/1912.77 c GARBAGE COLLECT 1905.00/1912.77 c rational objective 0 1959.48/1967.44 c #Conflicts: 885000 | #Constraints: 19654 1959.48/1967.44 c #Conflicts: 886000 | #Constraints: 20654 1959.48/1967.44 c #Conflicts: 887000 | #Constraints: 21654 1959.48/1967.44 c #Conflicts: 888000 | #Constraints: 22655 1959.48/1967.44 c #Conflicts: 889000 | #Constraints: 23655 1959.48/1967.44 c #Conflicts: 890000 | #Constraints: 24655 1959.48/1967.44 c #Conflicts: 891000 | #Constraints: 25658 1959.48/1967.44 c #Conflicts: 892000 | #Constraints: 26658 1959.48/1967.44 c #Conflicts: 893000 | #Constraints: 27659 1959.48/1967.44 c #Conflicts: 894000 | #Constraints: 28659 1959.48/1967.44 c #Conflicts: 895000 | #Constraints: 29660 1959.48/1967.44 c #Conflicts: 896000 | #Constraints: 30660 1959.48/1967.44 c #Conflicts: 897000 | #Constraints: 31660 1959.48/1967.44 c #Conflicts: 898000 | #Constraints: 32660 1959.48/1967.44 c #Conflicts: 899000 | #Constraints: 33660 1959.48/1967.44 c #Conflicts: 900000 | #Constraints: 34661 1959.48/1967.44 c #Conflicts: 901000 | #Constraints: 35661 1959.48/1967.44 c #Conflicts: 902000 | #Constraints: 36662 1959.48/1967.44 c #Conflicts: 903000 | #Constraints: 37662 1959.48/1967.44 c INPROCESSING 1959.48/1967.44 c GARBAGE COLLECT 1959.48/1967.44 c rational objective 0 2044.96/2053.26 c #Conflicts: 904000 | #Constraints: 19849 2044.96/2053.26 c #Conflicts: 905000 | #Constraints: 20849 2044.96/2053.26 c #Conflicts: 906000 | #Constraints: 21849 2044.96/2053.26 c #Conflicts: 907000 | #Constraints: 22850 2044.96/2053.26 c #Conflicts: 908000 | #Constraints: 23851 2044.96/2053.26 c #Conflicts: 909000 | #Constraints: 24851 2044.96/2053.26 c #Conflicts: 910000 | #Constraints: 25852 2044.96/2053.26 c #Conflicts: 911000 | #Constraints: 26852 2044.96/2053.26 c #Conflicts: 912000 | #Constraints: 27852 2044.96/2053.26 c #Conflicts: 913000 | #Constraints: 28853 2044.96/2053.26 c #Conflicts: 914000 | #Constraints: 29855 2044.96/2053.26 c #Conflicts: 915000 | #Constraints: 30855 2044.96/2053.26 c #Conflicts: 916000 | #Constraints: 31856 2044.96/2053.26 c #Conflicts: 917000 | #Constraints: 32857 2044.96/2053.26 c #Conflicts: 918000 | #Constraints: 33857 2044.96/2053.26 c #Conflicts: 919000 | #Constraints: 34857 2044.96/2053.26 c #Conflicts: 920000 | #Constraints: 35859 2044.96/2053.26 c #Conflicts: 921000 | #Constraints: 36861 2044.96/2053.26 c #Conflicts: 922000 | #Constraints: 37862 2044.96/2053.26 c INPROCESSING 2044.96/2053.26 c GARBAGE COLLECT 2044.96/2053.26 c rational objective 0 2104.77/2113.23 c #Conflicts: 923000 | #Constraints: 19864 2104.77/2113.23 c #Conflicts: 924000 | #Constraints: 20865 2104.77/2113.23 c #Conflicts: 925000 | #Constraints: 21865 2104.77/2113.23 c #Conflicts: 926000 | #Constraints: 22865 2104.77/2113.23 c #Conflicts: 927000 | #Constraints: 23866 2104.77/2113.23 c #Conflicts: 928000 | #Constraints: 24867 2104.77/2113.23 c #Conflicts: 929000 | #Constraints: 25867 2104.77/2113.23 c #Conflicts: 930000 | #Constraints: 26868 2104.77/2113.23 c #Conflicts: 931000 | #Constraints: 27868 2104.77/2113.23 c #Conflicts: 932000 | #Constraints: 28869 2104.77/2113.23 c #Conflicts: 933000 | #Constraints: 29870 2104.77/2113.23 c #Conflicts: 934000 | #Constraints: 30871 2104.77/2113.23 c #Conflicts: 935000 | #Constraints: 31871 2104.77/2113.23 c #Conflicts: 936000 | #Constraints: 32873 2104.77/2113.23 c #Conflicts: 937000 | #Constraints: 33873 2104.77/2113.23 c #Conflicts: 938000 | #Constraints: 34873 2104.77/2113.23 c #Conflicts: 939000 | #Constraints: 35873 2104.77/2113.23 c #Conflicts: 940000 | #Constraints: 36873 2104.77/2113.23 c #Conflicts: 941000 | #Constraints: 37873 2104.77/2113.23 c INPROCESSING 2104.77/2113.23 c GARBAGE COLLECT 2104.77/2113.23 c rational objective 0 2188.50/2197.23 c #Conflicts: 942000 | #Constraints: 19651 2188.50/2197.23 c #Conflicts: 943000 | #Constraints: 20651 2188.50/2197.23 c #Conflicts: 944000 | #Constraints: 21651 2188.50/2197.23 c #Conflicts: 945000 | #Constraints: 22654 2188.50/2197.23 c #Conflicts: 946000 | #Constraints: 23655 2188.50/2197.23 c #Conflicts: 947000 | #Constraints: 24655 2188.50/2197.23 c #Conflicts: 948000 | #Constraints: 25655 2188.50/2197.23 c #Conflicts: 949000 | #Constraints: 26655 2188.50/2197.23 c #Conflicts: 950000 | #Constraints: 27656 2188.50/2197.23 c #Conflicts: 951000 | #Constraints: 28656 2188.50/2197.23 c #Conflicts: 952000 | #Constraints: 29656 2188.50/2197.23 c #Conflicts: 953000 | #Constraints: 30657 2188.50/2197.23 c #Conflicts: 954000 | #Constraints: 31657 2188.50/2197.23 c #Conflicts: 955000 | #Constraints: 32657 2188.50/2197.23 c #Conflicts: 956000 | #Constraints: 33657 2188.50/2197.23 c #Conflicts: 957000 | #Constraints: 34657 2188.50/2197.23 c #Conflicts: 958000 | #Constraints: 35660 2188.50/2197.23 c #Conflicts: 959000 | #Constraints: 36660 2188.50/2197.23 c #Conflicts: 960000 | #Constraints: 37660 2188.50/2197.23 c #Conflicts: 961000 | #Constraints: 38660 2188.50/2197.23 c INPROCESSING 2188.50/2197.23 c GARBAGE COLLECT 2188.50/2197.23 c rational objective 0 2257.86/2266.81 c #Conflicts: 962000 | #Constraints: 20252 2257.86/2266.81 c #Conflicts: 963000 | #Constraints: 21256 2257.86/2266.81 c #Conflicts: 964000 | #Constraints: 22256 2257.86/2266.81 c #Conflicts: 965000 | #Constraints: 23257 2257.86/2266.81 c #Conflicts: 966000 | #Constraints: 24257 2257.86/2266.81 c #Conflicts: 967000 | #Constraints: 25257 2257.86/2266.81 c #Conflicts: 968000 | #Constraints: 26257 2257.86/2266.81 c #Conflicts: 969000 | #Constraints: 27259 2257.86/2266.81 c #Conflicts: 970000 | #Constraints: 28260 2257.86/2266.81 c #Conflicts: 971000 | #Constraints: 29261 2257.86/2266.81 c #Conflicts: 972000 | #Constraints: 30262 2257.86/2266.81 c #Conflicts: 973000 | #Constraints: 31262 2257.86/2266.81 c #Conflicts: 974000 | #Constraints: 32262 2257.86/2266.81 c #Conflicts: 975000 | #Constraints: 33262 2257.86/2266.81 c #Conflicts: 976000 | #Constraints: 34262 2257.86/2266.81 c #Conflicts: 977000 | #Constraints: 35264 2257.86/2266.81 c #Conflicts: 978000 | #Constraints: 36264 2257.86/2266.81 c #Conflicts: 979000 | #Constraints: 37265 2257.86/2266.81 c #Conflicts: 980000 | #Constraints: 38265 2257.86/2266.81 c #Conflicts: 981000 | #Constraints: 39265 2257.86/2266.81 c INPROCESSING 2257.86/2266.81 c GARBAGE COLLECT 2257.86/2266.81 c rational objective 0 2340.27/2349.52 c #Conflicts: 982000 | #Constraints: 20651 2340.27/2349.52 c #Conflicts: 983000 | #Constraints: 21651 2340.27/2349.52 c #Conflicts: 984000 | #Constraints: 22652 2340.27/2349.52 c #Conflicts: 985000 | #Constraints: 23652 2340.27/2349.52 c #Conflicts: 986000 | #Constraints: 24653 2340.27/2349.52 c #Conflicts: 987000 | #Constraints: 25653 2340.27/2349.52 c #Conflicts: 988000 | #Constraints: 26653 2340.27/2349.52 c #Conflicts: 989000 | #Constraints: 27653 2340.27/2349.52 c #Conflicts: 990000 | #Constraints: 28654 2340.27/2349.52 c #Conflicts: 991000 | #Constraints: 29655 2340.27/2349.52 c #Conflicts: 992000 | #Constraints: 30655 2340.27/2349.52 c #Conflicts: 993000 | #Constraints: 31655 2340.27/2349.52 c #Conflicts: 994000 | #Constraints: 32655 2340.27/2349.52 c #Conflicts: 995000 | #Constraints: 33655 2340.27/2349.52 c #Conflicts: 996000 | #Constraints: 34655 2340.27/2349.52 c #Conflicts: 997000 | #Constraints: 35655 2340.27/2349.52 c #Conflicts: 998000 | #Constraints: 36655 2340.27/2349.52 c #Conflicts: 999000 | #Constraints: 37655 2340.27/2349.52 c #Conflicts: 1000000 | #Constraints: 38655 2340.27/2349.52 c #Conflicts: 1001000 | #Constraints: 39655 2340.27/2349.52 c INPROCESSING 2340.27/2349.52 c GARBAGE COLLECT 2340.27/2349.52 c rational objective 0 2436.72/2446.38 c #Conflicts: 1002000 | #Constraints: 20848 2436.72/2446.38 c bounds 22 >= 0 @ 2325.07 2436.72/2446.38 c bounds 20 >= 0 @ 2325.09 2436.72/2446.38 c bounds 18 >= 0 @ 2325.12 2436.72/2446.38 c #Conflicts: 1003000 | #Constraints: 21852 2436.72/2446.38 c #Conflicts: 1004000 | #Constraints: 22852 2436.72/2446.38 c #Conflicts: 1005000 | #Constraints: 23852 2436.72/2446.38 c #Conflicts: 1006000 | #Constraints: 24853 2436.72/2446.38 c #Conflicts: 1007000 | #Constraints: 25855 2436.72/2446.38 c #Conflicts: 1008000 | #Constraints: 26858 2436.72/2446.38 c #Conflicts: 1009000 | #Constraints: 27861 2436.72/2446.38 c #Conflicts: 1010000 | #Constraints: 28861 2436.72/2446.38 c #Conflicts: 1011000 | #Constraints: 29861 2436.72/2446.38 c #Conflicts: 1012000 | #Constraints: 30863 2436.72/2446.38 c #Conflicts: 1013000 | #Constraints: 31866 2436.72/2446.38 c #Conflicts: 1014000 | #Constraints: 32867 2436.72/2446.38 c #Conflicts: 1015000 | #Constraints: 33869 2436.72/2446.38 c #Conflicts: 1016000 | #Constraints: 34872 2436.72/2446.38 c #Conflicts: 1017000 | #Constraints: 35872 2436.72/2446.38 c #Conflicts: 1018000 | #Constraints: 36873 2436.72/2446.38 c #Conflicts: 1019000 | #Constraints: 37877 2436.72/2446.38 c #Conflicts: 1020000 | #Constraints: 38877 2436.72/2446.38 c #Conflicts: 1021000 | #Constraints: 39877 2436.72/2446.38 c INPROCESSING 2436.72/2446.38 c GARBAGE COLLECT 2436.72/2446.38 c rational objective 0 2511.55/2521.46 c #Conflicts: 1022000 | #Constraints: 20864 2511.55/2521.46 c #Conflicts: 1023000 | #Constraints: 21866 2511.55/2521.46 c #Conflicts: 1024000 | #Constraints: 22869 2511.55/2521.46 c #Conflicts: 1025000 | #Constraints: 23871 2511.55/2521.46 c #Conflicts: 1026000 | #Constraints: 24873 2511.55/2521.46 c #Conflicts: 1027000 | #Constraints: 25876 2511.55/2521.46 c #Conflicts: 1028000 | #Constraints: 26879 2511.55/2521.46 c #Conflicts: 1029000 | #Constraints: 27881 2511.55/2521.46 c #Conflicts: 1030000 | #Constraints: 28883 2511.55/2521.46 c #Conflicts: 1031000 | #Constraints: 29883 2511.55/2521.46 c #Conflicts: 1032000 | #Constraints: 30884 2511.55/2521.46 c #Conflicts: 1033000 | #Constraints: 31885 2511.55/2521.46 c #Conflicts: 1034000 | #Constraints: 32886 2511.55/2521.46 c #Conflicts: 1035000 | #Constraints: 33887 2511.55/2521.46 c #Conflicts: 1036000 | #Constraints: 34889 2511.55/2521.46 c #Conflicts: 1037000 | #Constraints: 35890 2511.55/2521.46 c #Conflicts: 1038000 | #Constraints: 36891 2511.55/2521.46 c #Conflicts: 1039000 | #Constraints: 37892 2511.55/2521.46 c #Conflicts: 1040000 | #Constraints: 38894 2511.55/2521.46 c #Conflicts: 1041000 | #Constraints: 39894 2511.55/2521.46 c INPROCESSING 2511.55/2521.46 c GARBAGE COLLECT 2511.55/2521.46 c rational objective 0 2612.90/2623.18 c #Conflicts: 1042000 | #Constraints: 20671 2612.90/2623.18 c #Conflicts: 1043000 | #Constraints: 21672 2612.90/2623.18 c #Conflicts: 1044000 | #Constraints: 22674 2612.90/2623.18 c #Conflicts: 1045000 | #Constraints: 23674 2612.90/2623.18 c #Conflicts: 1046000 | #Constraints: 24676 2612.90/2623.18 c #Conflicts: 1047000 | #Constraints: 25679 2612.90/2623.18 c #Conflicts: 1048000 | #Constraints: 26683 2612.90/2623.18 c #Conflicts: 1049000 | #Constraints: 27686 2612.90/2623.18 c #Conflicts: 1050000 | #Constraints: 28687 2612.90/2623.18 c #Conflicts: 1051000 | #Constraints: 29690 2612.90/2623.18 c #Conflicts: 1052000 | #Constraints: 30692 2612.90/2623.18 c #Conflicts: 1053000 | #Constraints: 31692 2612.90/2623.18 c #Conflicts: 1054000 | #Constraints: 32693 2612.90/2623.18 c #Conflicts: 1055000 | #Constraints: 33693 2612.90/2623.18 c #Conflicts: 1056000 | #Constraints: 34695 2612.90/2623.18 c #Conflicts: 1057000 | #Constraints: 35696 2612.90/2623.18 c #Conflicts: 1058000 | #Constraints: 36698 2612.90/2623.18 c #Conflicts: 1059000 | #Constraints: 37699 2612.90/2623.18 c #Conflicts: 1060000 | #Constraints: 38700 2612.90/2623.18 c #Conflicts: 1061000 | #Constraints: 39702 2612.90/2623.18 c #Conflicts: 1062000 | #Constraints: 40702 2612.90/2623.18 c INPROCESSING 2612.90/2623.18 c GARBAGE COLLECT 2612.90/2623.18 c rational objective 0 2707.17/2717.79 c #Conflicts: 1063000 | #Constraints: 21273 2707.17/2717.79 c #Conflicts: 1064000 | #Constraints: 22274 2707.17/2717.79 c #Conflicts: 1065000 | #Constraints: 23274 2707.17/2717.79 c #Conflicts: 1066000 | #Constraints: 24275 2707.17/2717.79 c #Conflicts: 1067000 | #Constraints: 25275 2707.17/2717.79 c #Conflicts: 1068000 | #Constraints: 26275 2707.17/2717.79 c #Conflicts: 1069000 | #Constraints: 27275 2707.17/2717.79 c #Conflicts: 1070000 | #Constraints: 28276 2707.17/2717.79 c #Conflicts: 1071000 | #Constraints: 29276 2707.17/2717.79 c #Conflicts: 1072000 | #Constraints: 30276 2707.17/2717.79 c #Conflicts: 1073000 | #Constraints: 31276 2707.17/2717.79 c #Conflicts: 1074000 | #Constraints: 32276 2707.17/2717.79 c #Conflicts: 1075000 | #Constraints: 33277 2707.17/2717.79 c #Conflicts: 1076000 | #Constraints: 34278 2707.17/2717.79 c #Conflicts: 1077000 | #Constraints: 35279 2707.17/2717.79 c #Conflicts: 1078000 | #Constraints: 36280 2707.17/2717.79 c #Conflicts: 1079000 | #Constraints: 37281 2707.17/2717.79 c #Conflicts: 1080000 | #Constraints: 38282 2707.17/2717.79 c #Conflicts: 1081000 | #Constraints: 39282 2707.17/2717.79 c #Conflicts: 1082000 | #Constraints: 40282 2707.17/2717.79 c #Conflicts: 1083000 | #Constraints: 41283 2707.17/2717.79 c INPROCESSING 2707.17/2717.79 c GARBAGE COLLECT 2707.17/2717.79 c rational objective 0 2808.83/2819.77 c #Conflicts: 1084000 | #Constraints: 21661 2808.83/2819.77 c #Conflicts: 1085000 | #Constraints: 22661 2808.83/2819.77 c #Conflicts: 1086000 | #Constraints: 23662 2808.83/2819.77 c #Conflicts: 1087000 | #Constraints: 24663 2808.83/2819.77 c #Conflicts: 1088000 | #Constraints: 25665 2808.83/2819.77 c #Conflicts: 1089000 | #Constraints: 26665 2808.83/2819.77 c #Conflicts: 1090000 | #Constraints: 27665 2808.83/2819.77 c #Conflicts: 1091000 | #Constraints: 28666 2808.83/2819.77 c #Conflicts: 1092000 | #Constraints: 29668 2808.83/2819.77 c #Conflicts: 1093000 | #Constraints: 30668 2808.83/2819.77 c #Conflicts: 1094000 | #Constraints: 31669 2808.83/2819.77 c #Conflicts: 1095000 | #Constraints: 32670 2808.83/2819.77 c #Conflicts: 1096000 | #Constraints: 33670 2808.83/2819.77 c #Conflicts: 1097000 | #Constraints: 34670 2808.83/2819.77 c #Conflicts: 1098000 | #Constraints: 35670 2808.83/2819.77 c #Conflicts: 1099000 | #Constraints: 36672 2808.83/2819.77 c #Conflicts: 1100000 | #Constraints: 37672 2808.83/2819.77 c #Conflicts: 1101000 | #Constraints: 38672 2808.83/2819.77 c #Conflicts: 1102000 | #Constraints: 39673 2808.83/2819.77 c #Conflicts: 1103000 | #Constraints: 40674 2808.83/2819.77 c #Conflicts: 1104000 | #Constraints: 41674 2808.83/2819.77 c INPROCESSING 2808.83/2819.77 c GARBAGE COLLECT 2808.83/2819.77 c rational objective 0 2887.29/2898.46 c #Conflicts: 1105000 | #Constraints: 21859 2887.29/2898.46 c #Conflicts: 1106000 | #Constraints: 22860 2887.29/2898.46 c #Conflicts: 1107000 | #Constraints: 23862 2887.29/2898.46 c #Conflicts: 1108000 | #Constraints: 24864 2887.29/2898.46 c #Conflicts: 1109000 | #Constraints: 25864 2887.29/2898.46 c #Conflicts: 1110000 | #Constraints: 26865 2887.29/2898.46 c #Conflicts: 1111000 | #Constraints: 27865 2887.29/2898.46 c #Conflicts: 1112000 | #Constraints: 28865 2887.29/2898.46 c #Conflicts: 1113000 | #Constraints: 29867 2887.29/2898.46 c #Conflicts: 1114000 | #Constraints: 30872 2887.29/2898.46 c #Conflicts: 1115000 | #Constraints: 31872 2887.29/2898.46 c #Conflicts: 1116000 | #Constraints: 32873 2887.29/2898.46 c #Conflicts: 1117000 | #Constraints: 33873 2887.29/2898.46 c #Conflicts: 1118000 | #Constraints: 34873 2887.29/2898.46 c #Conflicts: 1119000 | #Constraints: 35873 2887.29/2898.46 c #Conflicts: 1120000 | #Constraints: 36875 2887.29/2898.46 c #Conflicts: 1121000 | #Constraints: 37876 2887.29/2898.46 c #Conflicts: 1122000 | #Constraints: 38879 2887.29/2898.46 c #Conflicts: 1123000 | #Constraints: 39879 2887.29/2898.46 c #Conflicts: 1124000 | #Constraints: 40880 2887.29/2898.46 c #Conflicts: 1125000 | #Constraints: 41881 2887.29/2898.46 c INPROCESSING 2887.29/2898.46 c GARBAGE COLLECT 2887.29/2898.46 c rational objective 0 2999.81/3011.36 c #Conflicts: 1126000 | #Constraints: 21859 2999.81/3011.36 c #Conflicts: 1127000 | #Constraints: 22862 2999.81/3011.36 c #Conflicts: 1128000 | #Constraints: 23862 2999.81/3011.36 c #Conflicts: 1129000 | #Constraints: 24863 2999.81/3011.36 c #Conflicts: 1130000 | #Constraints: 25864 2999.81/3011.36 c #Conflicts: 1131000 | #Constraints: 26865 2999.81/3011.36 c #Conflicts: 1132000 | #Constraints: 27865 2999.81/3011.36 c #Conflicts: 1133000 | #Constraints: 28867 2999.81/3011.36 c #Conflicts: 1134000 | #Constraints: 29868 2999.81/3011.36 c #Conflicts: 1135000 | #Constraints: 30871 2999.81/3011.36 c #Conflicts: 1136000 | #Constraints: 31874 2999.81/3011.36 c #Conflicts: 1137000 | #Constraints: 32875 2999.81/3011.36 c #Conflicts: 1138000 | #Constraints: 33876 2999.81/3011.36 c #Conflicts: 1139000 | #Constraints: 34878 2999.81/3011.36 c #Conflicts: 1140000 | #Constraints: 35881 2999.81/3011.36 c #Conflicts: 1141000 | #Constraints: 36881 2999.81/3011.36 c #Conflicts: 1142000 | #Constraints: 37882 2999.81/3011.36 c #Conflicts: 1143000 | #Constraints: 38883 2999.81/3011.36 c #Conflicts: 1144000 | #Constraints: 39886 2999.81/3011.36 c #Conflicts: 1145000 | #Constraints: 40890 2999.81/3011.36 c #Conflicts: 1146000 | #Constraints: 41890 2999.81/3011.36 c INPROCESSING 2999.81/3011.36 c GARBAGE COLLECT 2999.81/3011.36 c rational objective 0 3077.05/3088.81 c #Conflicts: 1147000 | #Constraints: 21676 3077.05/3088.81 c #Conflicts: 1148000 | #Constraints: 22677 3077.05/3088.81 c #Conflicts: 1149000 | #Constraints: 23680 3077.05/3088.81 c #Conflicts: 1150000 | #Constraints: 24683 3077.05/3088.81 c #Conflicts: 1151000 | #Constraints: 25685 3077.05/3088.81 c #Conflicts: 1152000 | #Constraints: 26687 3077.05/3088.81 c #Conflicts: 1153000 | #Constraints: 27687 3077.05/3088.81 c #Conflicts: 1154000 | #Constraints: 28689 3077.05/3088.81 c #Conflicts: 1155000 | #Constraints: 29691 3077.05/3088.81 c #Conflicts: 1156000 | #Constraints: 30691 3077.05/3088.81 c #Conflicts: 1157000 | #Constraints: 31694 3077.05/3088.81 c #Conflicts: 1158000 | #Constraints: 32694 3077.05/3088.81 c #Conflicts: 1159000 | #Constraints: 33694 3077.05/3088.81 c #Conflicts: 1160000 | #Constraints: 34694 3077.05/3088.81 c #Conflicts: 1161000 | #Constraints: 35694 3077.05/3088.81 c #Conflicts: 1162000 | #Constraints: 36694 3077.05/3088.81 c #Conflicts: 1163000 | #Constraints: 37694 3077.05/3088.81 c #Conflicts: 1164000 | #Constraints: 38694 3077.05/3088.81 c #Conflicts: 1165000 | #Constraints: 39694 3077.05/3088.81 c #Conflicts: 1166000 | #Constraints: 40695 3077.05/3088.81 c #Conflicts: 1167000 | #Constraints: 41695 3077.05/3088.81 c #Conflicts: 1168000 | #Constraints: 42695 3077.05/3088.81 c INPROCESSING 3077.05/3088.81 c GARBAGE COLLECT 3077.05/3088.81 c rational objective 0 3159.27/3171.33 c #Conflicts: 1169000 | #Constraints: 22262 3159.27/3171.33 c #Conflicts: 1170000 | #Constraints: 23263 3159.27/3171.33 c #Conflicts: 1171000 | #Constraints: 24264 3159.27/3171.33 c #Conflicts: 1172000 | #Constraints: 25265 3159.27/3171.33 c #Conflicts: 1173000 | #Constraints: 26265 3159.27/3171.33 c #Conflicts: 1174000 | #Constraints: 27266 3159.27/3171.33 c #Conflicts: 1175000 | #Constraints: 28266 3159.27/3171.33 c #Conflicts: 1176000 | #Constraints: 29266 3159.27/3171.33 c #Conflicts: 1177000 | #Constraints: 30266 3159.27/3171.33 c #Conflicts: 1178000 | #Constraints: 31266 3159.27/3171.33 c #Conflicts: 1179000 | #Constraints: 32266 3159.27/3171.33 c #Conflicts: 1180000 | #Constraints: 33266 3159.27/3171.33 c #Conflicts: 1181000 | #Constraints: 34266 3159.27/3171.33 c #Conflicts: 1182000 | #Constraints: 35267 3159.27/3171.33 c #Conflicts: 1183000 | #Constraints: 36268 3159.27/3171.33 c #Conflicts: 1184000 | #Constraints: 37269 3159.27/3171.33 c #Conflicts: 1185000 | #Constraints: 38271 3159.27/3171.33 c #Conflicts: 1186000 | #Constraints: 39273 3159.27/3171.33 c #Conflicts: 1187000 | #Constraints: 40273 3159.27/3171.33 c #Conflicts: 1188000 | #Constraints: 41273 3159.27/3171.33 c #Conflicts: 1189000 | #Constraints: 42273 3159.27/3171.33 c #Conflicts: 1190000 | #Constraints: 43273 3159.27/3171.33 c INPROCESSING 3159.27/3171.33 c GARBAGE COLLECT 3159.27/3171.33 c rational objective 0 3284.66/3297.18 c #Conflicts: 1191000 | #Constraints: 22655 3284.66/3297.18 c #Conflicts: 1192000 | #Constraints: 23656 3284.66/3297.18 c #Conflicts: 1193000 | #Constraints: 24656 3284.66/3297.18 c #Conflicts: 1194000 | #Constraints: 25656 3284.66/3297.18 c #Conflicts: 1195000 | #Constraints: 26657 3284.66/3297.18 c #Conflicts: 1196000 | #Constraints: 27657 3284.66/3297.18 c #Conflicts: 1197000 | #Constraints: 28658 3284.66/3297.18 c #Conflicts: 1198000 | #Constraints: 29659 3284.66/3297.18 c #Conflicts: 1199000 | #Constraints: 30659 3284.66/3297.18 c #Conflicts: 1200000 | #Constraints: 31659 3284.66/3297.18 c #Conflicts: 1201000 | #Constraints: 32659 3284.66/3297.18 c #Conflicts: 1202000 | #Constraints: 33661 3284.66/3297.18 c #Conflicts: 1203000 | #Constraints: 34663 3284.66/3297.18 c #Conflicts: 1204000 | #Constraints: 35664 3284.66/3297.18 c #Conflicts: 1205000 | #Constraints: 36666 3284.66/3297.18 c #Conflicts: 1206000 | #Constraints: 37666 3284.66/3297.18 c #Conflicts: 1207000 | #Constraints: 38669 3284.66/3297.18 c #Conflicts: 1208000 | #Constraints: 39669 3284.66/3297.18 c #Conflicts: 1209000 | #Constraints: 40672 3284.66/3297.18 c #Conflicts: 1210000 | #Constraints: 41674 3284.66/3297.18 c #Conflicts: 1211000 | #Constraints: 42676 3284.66/3297.18 c #Conflicts: 1212000 | #Constraints: 43681 3284.66/3297.18 c INPROCESSING 3284.66/3297.18 c GARBAGE COLLECT 3284.66/3297.18 c rational objective 0 3384.59/3397.45 c #Conflicts: 1213000 | #Constraints: 22865 3384.59/3397.45 c #Conflicts: 1214000 | #Constraints: 23865 3384.59/3397.45 c #Conflicts: 1215000 | #Constraints: 24865 3384.59/3397.45 c #Conflicts: 1216000 | #Constraints: 25865 3384.59/3397.45 c #Conflicts: 1217000 | #Constraints: 26866 3384.59/3397.45 c #Conflicts: 1218000 | #Constraints: 27867 3384.59/3397.45 c #Conflicts: 1219000 | #Constraints: 28867 3384.59/3397.45 c #Conflicts: 1220000 | #Constraints: 29868 3384.59/3397.45 c #Conflicts: 1221000 | #Constraints: 30868 3384.59/3397.45 c #Conflicts: 1222000 | #Constraints: 31869 3384.59/3397.45 c #Conflicts: 1223000 | #Constraints: 32870 3384.59/3397.45 c #Conflicts: 1224000 | #Constraints: 33871 3384.59/3397.45 c #Conflicts: 1225000 | #Constraints: 34871 3384.59/3397.45 c #Conflicts: 1226000 | #Constraints: 35871 3384.59/3397.45 c #Conflicts: 1227000 | #Constraints: 36871 3384.59/3397.45 c #Conflicts: 1228000 | #Constraints: 37872 3384.59/3397.45 c #Conflicts: 1229000 | #Constraints: 38874 3384.59/3397.45 c #Conflicts: 1230000 | #Constraints: 39874 3384.59/3397.45 c #Conflicts: 1231000 | #Constraints: 40874 3384.59/3397.45 c #Conflicts: 1232000 | #Constraints: 41875 3384.59/3397.45 c #Conflicts: 1233000 | #Constraints: 42876 3384.59/3397.45 c #Conflicts: 1234000 | #Constraints: 43876 3384.59/3397.45 c INPROCESSING 3384.59/3397.45 c GARBAGE COLLECT 3384.59/3397.45 c rational objective 0 3515.65/3528.99 c #Conflicts: 1235000 | #Constraints: 22858 3515.65/3528.99 c #Conflicts: 1236000 | #Constraints: 23859 3515.65/3528.99 c #Conflicts: 1237000 | #Constraints: 24862 3515.65/3528.99 c #Conflicts: 1238000 | #Constraints: 25864 3515.65/3528.99 c #Conflicts: 1239000 | #Constraints: 26867 3515.65/3528.99 c #Conflicts: 1240000 | #Constraints: 27868 3515.65/3528.99 c #Conflicts: 1241000 | #Constraints: 28869 3515.65/3528.99 c #Conflicts: 1242000 | #Constraints: 29869 3515.65/3528.99 c #Conflicts: 1243000 | #Constraints: 30869 3515.65/3528.99 c #Conflicts: 1244000 | #Constraints: 31872 3515.65/3528.99 c #Conflicts: 1245000 | #Constraints: 32873 3515.65/3528.99 c #Conflicts: 1246000 | #Constraints: 33873 3515.65/3528.99 c #Conflicts: 1247000 | #Constraints: 34873 3515.65/3528.99 c #Conflicts: 1248000 | #Constraints: 35874 3515.65/3528.99 c #Conflicts: 1249000 | #Constraints: 36874 3515.65/3528.99 c #Conflicts: 1250000 | #Constraints: 37874 3515.65/3528.99 c #Conflicts: 1251000 | #Constraints: 38875 3515.65/3528.99 c #Conflicts: 1252000 | #Constraints: 39876 3515.65/3528.99 c #Conflicts: 1253000 | #Constraints: 40876 3515.65/3528.99 c #Conflicts: 1254000 | #Constraints: 41876 3515.65/3528.99 c #Conflicts: 1255000 | #Constraints: 42878 3515.65/3528.99 c #Conflicts: 1256000 | #Constraints: 43878 3515.65/3528.99 c INPROCESSING 3515.65/3528.99 c GARBAGE COLLECT 3515.65/3528.99 c rational objective 0 3597.97/3611.58 c #Conflicts: 1257000 | #Constraints: 22666 3597.97/3611.58 c #Conflicts: 1258000 | #Constraints: 23666 3597.97/3611.58 c #Conflicts: 1259000 | #Constraints: 24666 3597.97/3611.58 c #Conflicts: 1260000 | #Constraints: 25667 3597.97/3611.58 c #Conflicts: 1261000 | #Constraints: 26668 3597.97/3611.58 c #Conflicts: 1262000 | #Constraints: 27669 3597.97/3611.58 c #Conflicts: 1263000 | #Constraints: 28670 3597.97/3611.58 c #Conflicts: 1264000 | #Constraints: 29671 3597.97/3611.58 c #Conflicts: 1265000 | #Constraints: 30671 3597.97/3611.58 c #Conflicts: 1266000 | #Constraints: 31671 3597.97/3611.58 c #Conflicts: 1267000 | #Constraints: 32672 3597.97/3611.58 c #Conflicts: 1268000 | #Constraints: 33674 3597.97/3611.58 c #Conflicts: 1269000 | #Constraints: 34676 3597.97/3611.58 c #Conflicts: 1270000 | #Constraints: 35676 3597.97/3611.58 c #Conflicts: 1271000 | #Constraints: 36676 3597.97/3611.58 c #Conflicts: 1272000 | #Constraints: 37677 3597.97/3611.58 c #Conflicts: 1273000 | #Constraints: 38677 3597.97/3611.58 c #Conflicts: 1274000 | #Constraints: 39678 3597.97/3611.58 c #Conflicts: 1275000 | #Constraints: 40680 3597.97/3611.58 c #Conflicts: 1276000 | #Constraints: 41682 3597.97/3611.58 c #Conflicts: 1277000 | #Constraints: 42682 3597.97/3611.58 c #Conflicts: 1278000 | #Constraints: 43683 3597.97/3611.58 c #Conflicts: 1279000 | #Constraints: 44684 3597.97/3611.58 c INPROCESSING 3597.97/3611.58 c GARBAGE COLLECT 3597.97/3611.58 c rational objective 0 3600.06/3613.60 c Program interrupted by user.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61468 MiB free)
memory of node 1: 64510 MiB (61796 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460219-1722064839/watcher-4460219-1722064839 -o /tmp/evaluation-result-4460219-1722064839/solver-4460219-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722064836-365024 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460219-1722064839 --lp-cut-gomory=0 HOME/instance-4460219-1722064839.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
Current StackSize limit: 8192 KiB
solver pid=365137, runsolver pid=365134
[startup+0.100085 s]*
/proc/loadavg: 0.08 0.09 0.09 5/259 365138
/proc/meminfo: memFree=126213016/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=38412 memory=10984 CPUtime=0.1 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 598 0 0 0 9 1 0 0 20 0 1 0 43013409 39333888 2746 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 9603 2746 1867 992 0 1461 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38412 KiB
Current children cumulated memory: 10984 KiB
[startup+0.205516 s]*
/proc/loadavg: 0.08 0.09 0.09 5/259 365138
/proc/meminfo: memFree=126205792/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=38660 memory=11368 CPUtime=0.2 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 675 0 0 0 19 1 0 0 20 0 1 0 43013409 39587840 2842 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 9665 2842 1867 992 0 1523 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38660 KiB
Current children cumulated memory: 11368 KiB
[startup+0.30488 s]*
/proc/loadavg: 0.08 0.09 0.09 5/259 365138
/proc/meminfo: memFree=126199604/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=38900 memory=11492 CPUtime=0.29 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 734 0 0 0 28 1 0 0 20 0 1 0 43013409 39833600 2873 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 9725 2873 1867 992 0 1583 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 11492 KiB
[startup+0.700152 s]
/proc/loadavg: 0.08 0.09 0.09 5/259 365138
/proc/meminfo: memFree=126188712/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=39764 memory=12572 CPUtime=0.69 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 932 0 0 0 65 4 0 0 20 0 1 0 43013409 40718336 3143 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 9941 3143 1883 992 0 1799 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39764 KiB
Current children cumulated memory: 12572 KiB
[startup+1.50016 s]
/proc/loadavg: 0.08 0.09 0.09 5/259 365138
/proc/meminfo: memFree=126155976/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=40308 memory=13180 CPUtime=1.49 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 1083 0 0 0 142 7 0 0 20 0 1 0 43013409 41275392 3295 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 10077 3295 1883 992 0 1935 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 13180 KiB
[startup+3.10538 s]
/proc/loadavg: 0.47 0.17 0.12 5/259 365138
/proc/meminfo: memFree=126015760/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=41172 memory=14920 CPUtime=3.09 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 1519 0 0 0 296 13 0 0 20 0 1 0 43013409 42160128 3730 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 10293 3730 1883 992 0 2151 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41172 KiB
Current children cumulated memory: 14920 KiB
[startup+6.30015 s]
/proc/loadavg: 0.47 0.17 0.12 5/259 365138
/proc/meminfo: memFree=125815784/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=44936 memory=17048 CPUtime=6.27 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 2065 0 0 0 606 21 0 0 20 0 1 0 43013409 46014464 4262 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 11234 4262 1883 992 0 3092 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44936 KiB
Current children cumulated memory: 17048 KiB
[startup+12.7002 s]
/proc/loadavg: 1.02 0.30 0.16 5/259 365140
/proc/meminfo: memFree=125439856/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=46956 memory=20200 CPUtime=12.65 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 2840 0 0 0 1224 41 0 0 20 0 1 0 43013409 48082944 5050 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 11739 5050 1883 992 0 3597 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 46956 KiB
Current children cumulated memory: 20200 KiB
[startup+25.5002 s]
/proc/loadavg: 1.48 0.42 0.20 5/260 365143
/proc/meminfo: memFree=124715672/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=54004 memory=23932 CPUtime=25.41 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 3847 0 0 0 2472 69 0 0 20 0 1 0 43013409 55300096 5983 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 13501 5983 1883 992 0 5359 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 54004 KiB
Current children cumulated memory: 23932 KiB
[startup+51.1054 s]
/proc/loadavg: 2.42 0.73 0.31 5/260 365148
/proc/meminfo: memFree=123421080/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=55412 memory=28776 CPUtime=50.93 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 4580 0 0 0 4972 121 0 0 20 0 1 0 43013409 56741888 7194 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 13853 7194 1883 992 0 5711 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 55412 KiB
Current children cumulated memory: 28776 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.29 0.53 5/260 365157
/proc/meminfo: memFree=121447672/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=67136 memory=33660 CPUtime=101.95 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 5839 0 0 0 9989 206 0 0 20 0 1 0 43013409 68747264 8415 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 16784 8415 1883 992 0 8642 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 67136 KiB
Current children cumulated memory: 33660 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 1.82 0.76 5/261 365168
/proc/meminfo: memFree=119418016/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=68800 memory=38108 CPUtime=161.74 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 6549 0 0 0 15882 292 0 0 20 0 1 0 43013409 70451200 9527 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 17200 9527 1883 992 0 9058 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 68800 KiB
Current children cumulated memory: 38108 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.26 0.98 5/261 365179
/proc/meminfo: memFree=117837856/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=70220 memory=41932 CPUtime=221.49 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 7087 0 0 0 21785 364 0 0 20 0 1 0 43013409 71905280 10483 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 17555 10483 1883 992 0 9413 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 70220 KiB
Current children cumulated memory: 41932 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 2.61 1.18 5/262 365574
/proc/meminfo: memFree=116124700/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=70464 memory=42316 CPUtime=281.25 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 7360 0 0 0 27688 437 0 0 20 0 1 0 43013409 72155136 10579 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 17616 10579 1883 992 0 9474 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 70464 KiB
Current children cumulated memory: 42316 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 2.92 1.38 5/261 365584
/proc/meminfo: memFree=114399420/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=73508 memory=45248 CPUtime=341 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 8243 0 0 0 33599 501 0 0 20 0 1 0 43013409 75272192 11312 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 18377 11312 1883 992 0 10235 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 73508 KiB
Current children cumulated memory: 45248 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.12 1.54 5/262 365596
/proc/meminfo: memFree=113109976/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=85276 memory=47180 CPUtime=400.76 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 8710 0 0 0 39515 561 0 0 20 0 1 0 43013409 87322624 11795 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 21319 11795 1883 992 0 13177 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 85276 KiB
Current children cumulated memory: 47180 KiB
[startup+462.3 s]
/proc/loadavg: 4.36 3.36 1.72 5/263 365776
/proc/meminfo: memFree=112152692/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=89408 memory=50084 CPUtime=460.51 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 9528 0 0 0 45435 616 0 0 20 0 1 0 43013409 91553792 12521 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 22352 12521 1883 992 0 14210 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.03 5/265 366913
/proc/meminfo: memFree=80006308/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=128132 memory=85204 CPUtime=3090.5 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 16693 0 0 0 306685 2365 0 0 20 0 1 0 43013409 131207168 21301 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 32033 21301 1883 992 0 23891 0
Current children cumulated CPU time: 3090.5 s
Current children cumulated vsize: 128132 KiB
Current children cumulated memory: 85204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.03 5/262 366923
/proc/meminfo: memFree=79326468/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=128132 memory=85204 CPUtime=3150.31 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 16725 0 0 0 312625 2406 0 0 20 0 1 0 43013409 131207168 21301 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 32033 21301 1883 992 0 23891 0
Current children cumulated CPU time: 3150.31 s
Current children cumulated vsize: 128132 KiB
Current children cumulated memory: 85204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.03 5/262 366934
/proc/meminfo: memFree=78994204/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=127804 memory=85008 CPUtime=3210.1 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 16817 0 0 0 318574 2436 0 0 20 0 1 0 43013409 130871296 21252 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 31951 21252 1883 992 0 23809 0
Current children cumulated CPU time: 3210.1 s
Current children cumulated vsize: 127804 KiB
Current children cumulated memory: 85008 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.15 4.04 5/262 366944
/proc/meminfo: memFree=78603456/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=128060 memory=85008 CPUtime=3269.9 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 16850 0 0 0 324529 2461 0 0 20 0 1 0 43013409 131133440 21252 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 32015 21252 1883 992 0 23873 0
Current children cumulated CPU time: 3269.9 s
Current children cumulated vsize: 128060 KiB
Current children cumulated memory: 85008 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.15 4.05 5/257 366954
/proc/meminfo: memFree=78208816/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=129084 memory=85716 CPUtime=3329.69 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 17147 0 0 0 330474 2495 0 0 20 0 1 0 43013409 132182016 21429 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 32271 21429 1883 992 0 24129 0
Current children cumulated CPU time: 3329.69 s
Current children cumulated vsize: 129084 KiB
Current children cumulated memory: 85716 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.15 4.05 5/257 366966
/proc/meminfo: memFree=77845608/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=129084 memory=85720 CPUtime=3389.47 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 17279 0 0 0 336423 2524 0 0 20 0 1 0 43013409 132182016 21430 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 32271 21430 1883 992 0 24129 0
Current children cumulated CPU time: 3389.47 s
Current children cumulated vsize: 129084 KiB
Current children cumulated memory: 85720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.05 5/257 366976
/proc/meminfo: memFree=76875008/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=129084 memory=85720 CPUtime=3449.27 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 17306 0 0 0 342373 2554 0 0 20 0 1 0 43013409 132182016 21430 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 32271 21430 1883 992 0 24129 0
Current children cumulated CPU time: 3449.27 s
Current children cumulated vsize: 129084 KiB
Current children cumulated memory: 85720 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.05 5/261 366991
/proc/meminfo: memFree=75849336/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=129596 memory=85744 CPUtime=3509.07 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 17377 0 0 0 348330 2577 0 0 20 0 1 0 43013409 132706304 21436 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 32399 21436 1883 992 0 24257 0
Current children cumulated CPU time: 3509.07 s
Current children cumulated vsize: 129596 KiB
Current children cumulated memory: 85744 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.06 5/265 367008
/proc/meminfo: memFree=75475300/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=129852 memory=86232 CPUtime=3568.87 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 17590 0 0 0 354274 2613 0 0 20 0 1 0 43013409 132968448 21558 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 32463 21558 1883 992 0 24321 0
Current children cumulated CPU time: 3568.87 s
Current children cumulated vsize: 129852 KiB
Current children cumulated memory: 86232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 4.16 4.13 4.06 2/252 367065
/proc/meminfo: memFree=82976088/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=130108 memory=86368 CPUtime=3600.06 cores=0,2
/proc/365137/stat : 365137 (roundingsat) R 365134 365137 365014 0 -1 4194304 17722 0 0 0 357379 2627 0 0 20 0 1 0 43013409 133230592 21592 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 32527 21592 1883 992 0 24385 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 130108 KiB
Current children cumulated memory: 86368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.16 4.13 4.06 1/258 367085
/proc/meminfo: memFree=86842932/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=130108 memory=86368 CPUtime=3600.07 cores=0,2
/proc/365137/stat : 365137 (roundingsat) D 365134 365137 365014 0 -1 4194304 17729 0 0 0 357379 2628 0 0 20 0 1 0 43013409 133230592 21592 134679101440 4194304 8254357 140734279863968 0 0 256 0 0 25182210 0 0 0 17 0 0 0 364 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 32527 21592 1883 992 0 24385 0
??? kill 365137 sig 9
??? end of watcher thread
[startup+3628.3 s]
# the end of solver process 365137 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3573.8 s, system=26.2888 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.16 4.13 4.06 3/252 367065
/proc/meminfo: memFree=86514808/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=130108 memory=86368 CPUtime=3600.07 cores=0,2
/proc/365137/stat : 365137 (roundingsat) D 365134 365137 365014 0 -1 4194304 17729 0 0 0 357379 2628 0 0 20 0 1 0 43013409 133230592 21592 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 137 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 32527 21592 1883 992 0 24385 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 130108 KiB
Current children cumulated memory: 86368 KiB
[startup+3615.2 s]
/proc/loadavg: 4.16 4.13 4.06 1/258 367085
/proc/meminfo: memFree=86844084/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=130108 memory=86368 CPUtime=3600.07 cores=0,2
/proc/365137/stat : 365137 (roundingsat) D 365134 365137 365014 0 -1 4194304 17729 0 0 0 357379 2628 0 0 20 0 1 0 43013409 133230592 21592 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 299 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 32527 21592 1883 992 0 24385 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 130108 KiB
Current children cumulated memory: 86368 KiB
[startup+3615.6 s]
/proc/loadavg: 4.16 4.13 4.06 1/258 367085
/proc/meminfo: memFree=86844084/131524600 swapFree=131058856/131071996
[pid=365137] ppid=365134 vsize=130108 memory=86368 CPUtime=3600.07 cores=0,2
/proc/365137/stat : 365137 (roundingsat) D 365134 365137 365014 0 -1 4194304 17729 0 0 0 357379 2628 0 0 20 0 1 0 43013409 133230592 21592 134679101440 4194304 8254357 140734279863968 0 0 0 0 0 25182210 0 0 0 17 0 0 0 364 0 0 9037040 9046032 25583616 140734279873371 140734279873633 140734279873633 140734279880649 0
/proc/365137/statm: 32527 21592 1883 992 0 24385 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 130108 KiB
Current children cumulated memory: 86368 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3628.3
CPU time (s): 3600.09
CPU user time (s): 3573.8
CPU system time (s): 26.2888
CPU usage (%): 99.2224
Max. virtual memory (cumulated for all children) (KiB): 130108
Max. memory (cumulated for all children) (KiB): 86368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.8
system time used= 26.2888
maximum resident set size= 86776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17729
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24780264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1786
involuntary context switches= 25578
# summary of solver processes directly reported to runsolver:
# pid: 365137
# total CPU time (s): 3600.09
# total CPU user time (s): 3573.8
# total CPU system time (s): 26.2888
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72997 second user time and 16.8964 second system time
The end
Begin job on nodeC031 at 2024-07-27 09:20:39 IDJOB=4460219 IDBENCH=147578 IDSOLVER=3086 FILE ID=nodeC031/4460219-1722064839 RUNJOBID= nodeC031-1722064836-365024 SLURM_JOB_ID= 8248099 Free space on /tmp= 890064 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-4460219-1722064839/watcher-4460219-1722064839 -o /tmp/evaluation-result-4460219-1722064839/solver-4460219-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722064836-365024 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460219-1722064839 --lp-cut-gomory=0 HOME/instance-4460219-1722064839.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110 RANDOM SEED=1859590444 nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3655.064 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3686.927 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3652.370 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.531 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.299 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3686.943 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.365 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.513 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126224104 kB MemAvailable: 129482828 kB Buffers: 361444 kB Cached: 3566764 kB SwapCached: 360 kB Active: 2281912 kB Inactive: 2095660 kB Active(anon): 1840 kB Inactive(anon): 500812 kB Active(file): 2280072 kB Inactive(file): 1594848 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 80520 kB Writeback: 0 kB AnonPages: 447856 kB Mapped: 112752 kB Shmem: 53296 kB KReclaimable: 445036 kB Slab: 569732 kB SReclaimable: 445036 kB SUnreclaim: 124696 kB KernelStack: 4176 kB PageTables: 10436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 860612 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 15808 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 367316 kB DirectMap2M: 37154816 kB DirectMap1G: 98566144 kB Free space on /tmp at the end= 890056 MiB End job on nodeC031 at 2024-07-27 10:21:07