| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.09 | 3619.78 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_3.opb |
| MD5SUM | 8548cf2fe8567884970fc9be656882ff |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 71 |
| Total number of constraints | 17 |
| Number of constraints which are clauses | 1 |
| 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 | 1 |
| Maximum length of a constraint | 70 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1782 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5346 |
| 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 71 #constraints 17 0.00/0.00 c bounds - >= 0 @ 0.001982 0.00/0.00 c rational objective 0 0.69/0.76 c #Conflicts: 1000 | #Constraints: 1032 0.69/0.76 c #Conflicts: 2000 | #Constraints: 2041 0.69/0.76 c INPROCESSING 0.69/0.76 c GARBAGE COLLECT 0.69/0.76 c rational objective 0 1.58/1.60 c #Conflicts: 3000 | #Constraints: 2040 1.58/1.60 c #Conflicts: 4000 | #Constraints: 3054 1.58/1.60 c INPROCESSING 1.58/1.60 c GARBAGE COLLECT 1.58/1.60 c rational objective 0 2.38/2.46 c #Conflicts: 5000 | #Constraints: 2445 2.38/2.46 c #Conflicts: 6000 | #Constraints: 3448 2.38/2.46 c INPROCESSING 2.38/2.46 c GARBAGE COLLECT 2.38/2.46 c rational objective 0 3.38/3.46 c #Conflicts: 7000 | #Constraints: 2440 3.38/3.46 c #Conflicts: 8000 | #Constraints: 3444 3.38/3.46 c #Conflicts: 9000 | #Constraints: 4449 3.38/3.46 c INPROCESSING 3.38/3.46 c GARBAGE COLLECT 3.38/3.46 c rational objective 0 4.47/4.50 c #Conflicts: 10000 | #Constraints: 3150 4.47/4.50 c #Conflicts: 11000 | #Constraints: 4152 4.47/4.50 c #Conflicts: 12000 | #Constraints: 5155 4.47/4.50 c INPROCESSING 4.47/4.50 c GARBAGE COLLECT 4.47/4.50 c rational objective 0 5.77/5.81 c #Conflicts: 13000 | #Constraints: 3592 5.77/5.81 c #Conflicts: 14000 | #Constraints: 4594 5.77/5.81 c #Conflicts: 15000 | #Constraints: 5597 5.77/5.81 c INPROCESSING 5.77/5.81 c GARBAGE COLLECT 5.77/5.81 c rational objective 0 7.47/7.53 c #Conflicts: 16000 | #Constraints: 3816 7.47/7.53 c #Conflicts: 17000 | #Constraints: 4816 7.47/7.53 c #Conflicts: 18000 | #Constraints: 5818 7.47/7.53 c INPROCESSING 7.47/7.53 c GARBAGE COLLECT 7.47/7.53 c rational objective 0 9.26/9.35 c #Conflicts: 19000 | #Constraints: 3829 9.26/9.35 c #Conflicts: 20000 | #Constraints: 4832 9.26/9.35 c #Conflicts: 21000 | #Constraints: 5835 9.26/9.35 c INPROCESSING 9.26/9.35 c GARBAGE COLLECT 9.26/9.35 c rational objective 0 11.26/11.35 c #Conflicts: 22000 | #Constraints: 3633 11.26/11.35 c #Conflicts: 23000 | #Constraints: 4635 11.26/11.35 c #Conflicts: 24000 | #Constraints: 5640 11.26/11.35 c #Conflicts: 25000 | #Constraints: 6645 11.26/11.35 c INPROCESSING 11.26/11.35 c GARBAGE COLLECT 11.26/11.35 c rational objective 0 13.55/13.65 c #Conflicts: 26000 | #Constraints: 4238 13.55/13.65 c #Conflicts: 27000 | #Constraints: 5240 13.55/13.65 c #Conflicts: 28000 | #Constraints: 6245 13.55/13.65 c #Conflicts: 29000 | #Constraints: 7245 13.55/13.65 c INPROCESSING 13.55/13.65 c GARBAGE COLLECT 13.55/13.65 c rational objective 0 16.15/16.22 c #Conflicts: 30000 | #Constraints: 4638 16.15/16.22 c #Conflicts: 31000 | #Constraints: 5639 16.15/16.22 c #Conflicts: 32000 | #Constraints: 6639 16.15/16.22 c #Conflicts: 33000 | #Constraints: 7639 16.15/16.22 c INPROCESSING 16.15/16.22 c GARBAGE COLLECT 16.15/16.22 c rational objective 0 19.23/19.34 c #Conflicts: 34000 | #Constraints: 4835 19.23/19.34 c #Conflicts: 35000 | #Constraints: 5837 19.23/19.34 c #Conflicts: 36000 | #Constraints: 6839 19.23/19.34 c #Conflicts: 37000 | #Constraints: 7841 19.23/19.34 c INPROCESSING 19.23/19.34 c GARBAGE COLLECT 19.23/19.34 c rational objective 0 22.62/22.76 c #Conflicts: 38000 | #Constraints: 4839 22.62/22.76 c #Conflicts: 39000 | #Constraints: 5839 22.62/22.76 c #Conflicts: 40000 | #Constraints: 6839 22.62/22.76 c #Conflicts: 41000 | #Constraints: 7841 22.62/22.76 c INPROCESSING 22.62/22.76 c GARBAGE COLLECT 22.62/22.76 c rational objective 0 26.42/26.53 c #Conflicts: 42000 | #Constraints: 4640 26.42/26.53 c #Conflicts: 43000 | #Constraints: 5642 26.42/26.53 c #Conflicts: 44000 | #Constraints: 6645 26.42/26.53 c #Conflicts: 45000 | #Constraints: 7649 26.42/26.53 c #Conflicts: 46000 | #Constraints: 8650 26.42/26.53 c INPROCESSING 26.42/26.53 c GARBAGE COLLECT 26.42/26.53 c rational objective 0 29.92/30.08 c #Conflicts: 47000 | #Constraints: 5237 29.92/30.08 c #Conflicts: 48000 | #Constraints: 6240 29.92/30.08 c #Conflicts: 49000 | #Constraints: 7242 29.92/30.08 c #Conflicts: 50000 | #Constraints: 8243 29.92/30.08 c #Conflicts: 51000 | #Constraints: 9244 29.92/30.08 c INPROCESSING 29.92/30.08 c GARBAGE COLLECT 29.92/30.08 c rational objective 0 34.01/34.14 c #Conflicts: 52000 | #Constraints: 5640 34.01/34.14 c #Conflicts: 53000 | #Constraints: 6640 34.01/34.14 c #Conflicts: 54000 | #Constraints: 7641 34.01/34.14 c #Conflicts: 55000 | #Constraints: 8644 34.01/34.14 c #Conflicts: 56000 | #Constraints: 9645 34.01/34.14 c INPROCESSING 34.01/34.14 c GARBAGE COLLECT 34.01/34.14 c rational objective 0 38.09/38.29 c #Conflicts: 57000 | #Constraints: 5837 38.09/38.29 c #Conflicts: 58000 | #Constraints: 6841 38.09/38.29 c #Conflicts: 59000 | #Constraints: 7841 38.09/38.29 c #Conflicts: 60000 | #Constraints: 8841 38.09/38.29 c #Conflicts: 61000 | #Constraints: 9842 38.09/38.29 c INPROCESSING 38.09/38.29 c GARBAGE COLLECT 38.09/38.29 c rational objective 0 43.08/43.27 c #Conflicts: 62000 | #Constraints: 5834 43.08/43.27 c #Conflicts: 63000 | #Constraints: 6835 43.08/43.27 c #Conflicts: 64000 | #Constraints: 7835 43.08/43.27 c #Conflicts: 65000 | #Constraints: 8836 43.08/43.27 c #Conflicts: 66000 | #Constraints: 9837 43.08/43.27 c INPROCESSING 43.08/43.27 c GARBAGE COLLECT 43.08/43.27 c rational objective 0 48.27/48.46 c #Conflicts: 67000 | #Constraints: 5634 48.27/48.46 c #Conflicts: 68000 | #Constraints: 6634 48.27/48.46 c #Conflicts: 69000 | #Constraints: 7635 48.27/48.46 c #Conflicts: 70000 | #Constraints: 8635 48.27/48.46 c #Conflicts: 71000 | #Constraints: 9638 48.27/48.46 c #Conflicts: 72000 | #Constraints: 10639 48.27/48.46 c INPROCESSING 48.27/48.46 c GARBAGE COLLECT 48.27/48.46 c rational objective 0 53.86/54.06 c #Conflicts: 73000 | #Constraints: 6234 53.86/54.06 c #Conflicts: 74000 | #Constraints: 7236 53.86/54.06 c #Conflicts: 75000 | #Constraints: 8237 53.86/54.06 c #Conflicts: 76000 | #Constraints: 9239 53.86/54.06 c #Conflicts: 77000 | #Constraints: 10243 53.86/54.06 c #Conflicts: 78000 | #Constraints: 11245 53.86/54.06 c INPROCESSING 53.86/54.06 c GARBAGE COLLECT 53.86/54.06 c rational objective 0 59.63/59.89 c #Conflicts: 79000 | #Constraints: 6635 59.63/59.89 c #Conflicts: 80000 | #Constraints: 7637 59.63/59.89 c #Conflicts: 81000 | #Constraints: 8640 59.63/59.89 c #Conflicts: 82000 | #Constraints: 9644 59.63/59.89 c #Conflicts: 83000 | #Constraints: 10646 59.63/59.89 c #Conflicts: 84000 | #Constraints: 11647 59.63/59.89 c INPROCESSING 59.63/59.89 c GARBAGE COLLECT 59.63/59.89 c rational objective 0 66.12/66.38 c #Conflicts: 85000 | #Constraints: 6838 66.12/66.38 c #Conflicts: 86000 | #Constraints: 7840 66.12/66.38 c #Conflicts: 87000 | #Constraints: 8841 66.12/66.38 c #Conflicts: 88000 | #Constraints: 9841 66.12/66.38 c #Conflicts: 89000 | #Constraints: 10841 66.12/66.38 c #Conflicts: 90000 | #Constraints: 11842 66.12/66.38 c INPROCESSING 66.12/66.38 c GARBAGE COLLECT 66.12/66.38 c rational objective 0 73.40/73.65 c #Conflicts: 91000 | #Constraints: 6839 73.40/73.65 c #Conflicts: 92000 | #Constraints: 7841 73.40/73.65 c #Conflicts: 93000 | #Constraints: 8841 73.40/73.65 c #Conflicts: 94000 | #Constraints: 9841 73.40/73.65 c #Conflicts: 95000 | #Constraints: 10842 73.40/73.65 c #Conflicts: 96000 | #Constraints: 11842 73.40/73.65 c INPROCESSING 73.40/73.65 c GARBAGE COLLECT 73.40/73.65 c rational objective 0 81.28/81.54 c #Conflicts: 97000 | #Constraints: 6635 81.28/81.54 c #Conflicts: 98000 | #Constraints: 7636 81.28/81.54 c #Conflicts: 99000 | #Constraints: 8636 81.28/81.54 c #Conflicts: 100000 | #Constraints: 9636 81.28/81.54 c #Conflicts: 101000 | #Constraints: 10636 81.28/81.54 c #Conflicts: 102000 | #Constraints: 11636 81.28/81.54 c #Conflicts: 103000 | #Constraints: 12636 81.28/81.54 c INPROCESSING 81.28/81.54 c GARBAGE COLLECT 81.28/81.54 c rational objective 0 88.36/88.68 c #Conflicts: 104000 | #Constraints: 7233 88.36/88.68 c #Conflicts: 105000 | #Constraints: 8234 88.36/88.68 c #Conflicts: 106000 | #Constraints: 9236 88.36/88.68 c #Conflicts: 107000 | #Constraints: 10236 88.36/88.68 c #Conflicts: 108000 | #Constraints: 11237 88.36/88.68 c #Conflicts: 109000 | #Constraints: 12238 88.36/88.68 c #Conflicts: 110000 | #Constraints: 13239 88.36/88.68 c INPROCESSING 88.36/88.68 c GARBAGE COLLECT 88.36/88.68 c rational objective 0 96.05/96.32 c #Conflicts: 111000 | #Constraints: 7638 96.05/96.32 c #Conflicts: 112000 | #Constraints: 8640 96.05/96.32 c #Conflicts: 113000 | #Constraints: 9642 96.05/96.32 c #Conflicts: 114000 | #Constraints: 10643 96.05/96.32 c #Conflicts: 115000 | #Constraints: 11643 96.05/96.32 c #Conflicts: 116000 | #Constraints: 12643 96.05/96.32 c #Conflicts: 117000 | #Constraints: 13645 96.05/96.32 c INPROCESSING 96.05/96.32 c GARBAGE COLLECT 96.05/96.32 c rational objective 0 104.43/104.72 c #Conflicts: 118000 | #Constraints: 7846 104.43/104.72 c #Conflicts: 119000 | #Constraints: 8848 104.43/104.72 c #Conflicts: 120000 | #Constraints: 9849 104.43/104.72 c #Conflicts: 121000 | #Constraints: 10849 104.43/104.72 c #Conflicts: 122000 | #Constraints: 11850 104.43/104.72 c #Conflicts: 123000 | #Constraints: 12853 104.43/104.72 c #Conflicts: 124000 | #Constraints: 13853 104.43/104.72 c INPROCESSING 104.43/104.72 c GARBAGE COLLECT 104.43/104.72 c rational objective 0 113.20/113.52 c #Conflicts: 125000 | #Constraints: 7845 113.20/113.52 c #Conflicts: 126000 | #Constraints: 8845 113.20/113.52 c #Conflicts: 127000 | #Constraints: 9845 113.20/113.52 c #Conflicts: 128000 | #Constraints: 10845 113.20/113.52 c #Conflicts: 129000 | #Constraints: 11846 113.20/113.52 c #Conflicts: 130000 | #Constraints: 12847 113.20/113.52 c #Conflicts: 131000 | #Constraints: 13847 113.20/113.52 c INPROCESSING 113.20/113.52 c GARBAGE COLLECT 113.20/113.52 c rational objective 0 122.69/123.01 c #Conflicts: 132000 | #Constraints: 7639 122.69/123.01 c #Conflicts: 133000 | #Constraints: 8639 122.69/123.01 c #Conflicts: 134000 | #Constraints: 9640 122.69/123.01 c #Conflicts: 135000 | #Constraints: 10641 122.69/123.01 c #Conflicts: 136000 | #Constraints: 11642 122.69/123.01 c #Conflicts: 137000 | #Constraints: 12642 122.69/123.01 c #Conflicts: 138000 | #Constraints: 13642 122.69/123.01 c #Conflicts: 139000 | #Constraints: 14642 122.69/123.01 c INPROCESSING 122.69/123.01 c GARBAGE COLLECT 122.69/123.01 c rational objective 0 133.15/133.55 c #Conflicts: 140000 | #Constraints: 8239 133.15/133.55 c #Conflicts: 141000 | #Constraints: 9241 133.15/133.55 c #Conflicts: 142000 | #Constraints: 10243 133.15/133.55 c #Conflicts: 143000 | #Constraints: 11243 133.15/133.55 c #Conflicts: 144000 | #Constraints: 12243 133.15/133.55 c #Conflicts: 145000 | #Constraints: 13243 133.15/133.55 c #Conflicts: 146000 | #Constraints: 14243 133.15/133.55 c #Conflicts: 147000 | #Constraints: 15243 133.15/133.55 c INPROCESSING 133.15/133.55 c GARBAGE COLLECT 133.15/133.55 c rational objective 0 143.64/144.07 c #Conflicts: 148000 | #Constraints: 8639 143.64/144.07 c #Conflicts: 149000 | #Constraints: 9641 143.64/144.07 c #Conflicts: 150000 | #Constraints: 10641 143.64/144.07 c #Conflicts: 151000 | #Constraints: 11642 143.64/144.07 c #Conflicts: 152000 | #Constraints: 12643 143.64/144.07 c #Conflicts: 153000 | #Constraints: 13644 143.64/144.07 c #Conflicts: 154000 | #Constraints: 14645 143.64/144.07 c #Conflicts: 155000 | #Constraints: 15645 143.64/144.07 c INPROCESSING 143.64/144.07 c GARBAGE COLLECT 143.64/144.07 c rational objective 0 155.20/155.64 c #Conflicts: 156000 | #Constraints: 8839 155.20/155.64 c #Conflicts: 157000 | #Constraints: 9839 155.20/155.64 c #Conflicts: 158000 | #Constraints: 10840 155.20/155.64 c #Conflicts: 159000 | #Constraints: 11840 155.20/155.64 c #Conflicts: 160000 | #Constraints: 12842 155.20/155.64 c #Conflicts: 161000 | #Constraints: 13843 155.20/155.64 c #Conflicts: 162000 | #Constraints: 14846 155.20/155.64 c #Conflicts: 163000 | #Constraints: 15848 155.20/155.64 c INPROCESSING 155.20/155.64 c GARBAGE COLLECT 155.20/155.64 c rational objective 0 166.58/167.04 c #Conflicts: 164000 | #Constraints: 8841 166.58/167.04 c #Conflicts: 165000 | #Constraints: 9842 166.58/167.04 c #Conflicts: 166000 | #Constraints: 10843 166.58/167.04 c #Conflicts: 167000 | #Constraints: 11843 166.58/167.04 c #Conflicts: 168000 | #Constraints: 12844 166.58/167.04 c #Conflicts: 169000 | #Constraints: 13846 166.58/167.04 c #Conflicts: 170000 | #Constraints: 14846 166.58/167.04 c #Conflicts: 171000 | #Constraints: 15846 166.58/167.04 c INPROCESSING 166.58/167.04 c GARBAGE COLLECT 166.58/167.04 c rational objective 0 178.55/179.02 c #Conflicts: 172000 | #Constraints: 8640 178.55/179.02 c #Conflicts: 173000 | #Constraints: 9640 178.55/179.02 c #Conflicts: 174000 | #Constraints: 10641 178.55/179.02 c #Conflicts: 175000 | #Constraints: 11642 178.55/179.02 c #Conflicts: 176000 | #Constraints: 12643 178.55/179.02 c #Conflicts: 177000 | #Constraints: 13643 178.55/179.02 c #Conflicts: 178000 | #Constraints: 14644 178.55/179.02 c #Conflicts: 179000 | #Constraints: 15644 178.55/179.02 c #Conflicts: 180000 | #Constraints: 16645 178.55/179.02 c INPROCESSING 178.55/179.02 c GARBAGE COLLECT 178.55/179.02 c rational objective 0 191.52/192.08 c #Conflicts: 181000 | #Constraints: 9237 191.52/192.08 c #Conflicts: 182000 | #Constraints: 10238 191.52/192.08 c #Conflicts: 183000 | #Constraints: 11238 191.52/192.08 c #Conflicts: 184000 | #Constraints: 12238 191.52/192.08 c #Conflicts: 185000 | #Constraints: 13239 191.52/192.08 c #Conflicts: 186000 | #Constraints: 14239 191.52/192.08 c #Conflicts: 187000 | #Constraints: 15240 191.52/192.08 c #Conflicts: 188000 | #Constraints: 16241 191.52/192.08 c #Conflicts: 189000 | #Constraints: 17241 191.52/192.08 c INPROCESSING 191.52/192.08 c GARBAGE COLLECT 191.52/192.08 c rational objective 0 206.48/207.02 c #Conflicts: 190000 | #Constraints: 9640 206.48/207.02 c #Conflicts: 191000 | #Constraints: 10641 206.48/207.02 c #Conflicts: 192000 | #Constraints: 11641 206.48/207.02 c #Conflicts: 193000 | #Constraints: 12642 206.48/207.02 c #Conflicts: 194000 | #Constraints: 13644 206.48/207.02 c #Conflicts: 195000 | #Constraints: 14644 206.48/207.02 c #Conflicts: 196000 | #Constraints: 15644 206.48/207.02 c #Conflicts: 197000 | #Constraints: 16645 206.48/207.02 c #Conflicts: 198000 | #Constraints: 17645 206.48/207.02 c INPROCESSING 206.48/207.02 c GARBAGE COLLECT 206.48/207.02 c rational objective 0 221.54/222.17 c #Conflicts: 199000 | #Constraints: 9841 221.54/222.17 c #Conflicts: 200000 | #Constraints: 10842 221.54/222.17 c #Conflicts: 201000 | #Constraints: 11843 221.54/222.17 c #Conflicts: 202000 | #Constraints: 12843 221.54/222.17 c #Conflicts: 203000 | #Constraints: 13843 221.54/222.17 c #Conflicts: 204000 | #Constraints: 14843 221.54/222.17 c #Conflicts: 205000 | #Constraints: 15843 221.54/222.17 c #Conflicts: 206000 | #Constraints: 16843 221.54/222.17 c #Conflicts: 207000 | #Constraints: 17844 221.54/222.17 c INPROCESSING 221.54/222.17 c GARBAGE COLLECT 221.54/222.17 c rational objective 0 237.88/238.57 c #Conflicts: 208000 | #Constraints: 9841 237.88/238.57 c #Conflicts: 209000 | #Constraints: 10841 237.88/238.57 c #Conflicts: 210000 | #Constraints: 11842 237.88/238.57 c #Conflicts: 211000 | #Constraints: 12842 237.88/238.57 c #Conflicts: 212000 | #Constraints: 13842 237.88/238.57 c #Conflicts: 213000 | #Constraints: 14842 237.88/238.57 c #Conflicts: 214000 | #Constraints: 15843 237.88/238.57 c #Conflicts: 215000 | #Constraints: 16844 237.88/238.57 c #Conflicts: 216000 | #Constraints: 17844 237.88/238.57 c INPROCESSING 237.88/238.57 c GARBAGE COLLECT 237.88/238.57 c rational objective 0 255.94/256.66 c #Conflicts: 217000 | #Constraints: 9637 255.94/256.66 c #Conflicts: 218000 | #Constraints: 10638 255.94/256.66 c #Conflicts: 219000 | #Constraints: 11639 255.94/256.66 c #Conflicts: 220000 | #Constraints: 12640 255.94/256.66 c #Conflicts: 221000 | #Constraints: 13641 255.94/256.66 c #Conflicts: 222000 | #Constraints: 14641 255.94/256.66 c #Conflicts: 223000 | #Constraints: 15641 255.94/256.66 c #Conflicts: 224000 | #Constraints: 16641 255.94/256.66 c #Conflicts: 225000 | #Constraints: 17642 255.94/256.66 c #Conflicts: 226000 | #Constraints: 18642 255.94/256.66 c INPROCESSING 255.94/256.66 c GARBAGE COLLECT 255.94/256.66 c rational objective 0 273.49/274.23 c #Conflicts: 227000 | #Constraints: 10236 273.49/274.23 c #Conflicts: 228000 | #Constraints: 11238 273.49/274.23 c #Conflicts: 229000 | #Constraints: 12238 273.49/274.23 c #Conflicts: 230000 | #Constraints: 13238 273.49/274.23 c #Conflicts: 231000 | #Constraints: 14238 273.49/274.23 c #Conflicts: 232000 | #Constraints: 15238 273.49/274.23 c #Conflicts: 233000 | #Constraints: 16238 273.49/274.23 c #Conflicts: 234000 | #Constraints: 17240 273.49/274.23 c #Conflicts: 235000 | #Constraints: 18241 273.49/274.23 c #Conflicts: 236000 | #Constraints: 19241 273.49/274.23 c INPROCESSING 273.49/274.23 c GARBAGE COLLECT 273.49/274.23 c rational objective 0 290.06/290.80 c #Conflicts: 237000 | #Constraints: 10637 290.06/290.80 c #Conflicts: 238000 | #Constraints: 11637 290.06/290.80 c #Conflicts: 239000 | #Constraints: 12638 290.06/290.80 c #Conflicts: 240000 | #Constraints: 13639 290.06/290.80 c #Conflicts: 241000 | #Constraints: 14640 290.06/290.80 c #Conflicts: 242000 | #Constraints: 15640 290.06/290.80 c #Conflicts: 243000 | #Constraints: 16640 290.06/290.80 c #Conflicts: 244000 | #Constraints: 17640 290.06/290.80 c #Conflicts: 245000 | #Constraints: 18641 290.06/290.80 c #Conflicts: 246000 | #Constraints: 19642 290.06/290.80 c INPROCESSING 290.06/290.80 c GARBAGE COLLECT 290.06/290.80 c rational objective 0 307.91/308.79 c #Conflicts: 247000 | #Constraints: 10840 307.91/308.79 c #Conflicts: 248000 | #Constraints: 11842 307.91/308.79 c #Conflicts: 249000 | #Constraints: 12842 307.91/308.79 c #Conflicts: 250000 | #Constraints: 13842 307.91/308.79 c #Conflicts: 251000 | #Constraints: 14842 307.91/308.79 c #Conflicts: 252000 | #Constraints: 15843 307.91/308.79 c #Conflicts: 253000 | #Constraints: 16844 307.91/308.79 c #Conflicts: 254000 | #Constraints: 17844 307.91/308.79 c #Conflicts: 255000 | #Constraints: 18845 307.91/308.79 c #Conflicts: 256000 | #Constraints: 19846 307.91/308.79 c INPROCESSING 307.91/308.79 c GARBAGE COLLECT 307.91/308.79 c rational objective 0 327.27/328.14 c #Conflicts: 257000 | #Constraints: 10841 327.27/328.14 c #Conflicts: 258000 | #Constraints: 11843 327.27/328.14 c #Conflicts: 259000 | #Constraints: 12843 327.27/328.14 c #Conflicts: 260000 | #Constraints: 13843 327.27/328.14 c #Conflicts: 261000 | #Constraints: 14846 327.27/328.14 c #Conflicts: 262000 | #Constraints: 15846 327.27/328.14 c #Conflicts: 263000 | #Constraints: 16846 327.27/328.14 c #Conflicts: 264000 | #Constraints: 17847 327.27/328.14 c #Conflicts: 265000 | #Constraints: 18847 327.27/328.14 c #Conflicts: 266000 | #Constraints: 19847 327.27/328.14 c INPROCESSING 327.27/328.14 c GARBAGE COLLECT 327.27/328.14 c rational objective 0 347.00/347.96 c #Conflicts: 267000 | #Constraints: 10640 347.00/347.96 c #Conflicts: 268000 | #Constraints: 11640 347.00/347.96 c #Conflicts: 269000 | #Constraints: 12641 347.00/347.96 c #Conflicts: 270000 | #Constraints: 13642 347.00/347.96 c #Conflicts: 271000 | #Constraints: 14642 347.00/347.96 c #Conflicts: 272000 | #Constraints: 15642 347.00/347.96 c #Conflicts: 273000 | #Constraints: 16642 347.00/347.96 c #Conflicts: 274000 | #Constraints: 17643 347.00/347.96 c #Conflicts: 275000 | #Constraints: 18644 347.00/347.96 c #Conflicts: 276000 | #Constraints: 19645 347.00/347.96 c #Conflicts: 277000 | #Constraints: 20645 347.00/347.96 c INPROCESSING 347.00/347.96 c GARBAGE COLLECT 347.00/347.96 c rational objective 0 366.75/367.77 c #Conflicts: 278000 | #Constraints: 11238 366.75/367.77 c #Conflicts: 279000 | #Constraints: 12239 366.75/367.77 c #Conflicts: 280000 | #Constraints: 13239 366.75/367.77 c #Conflicts: 281000 | #Constraints: 14239 366.75/367.77 c #Conflicts: 282000 | #Constraints: 15240 366.75/367.77 c #Conflicts: 283000 | #Constraints: 16241 366.75/367.77 c #Conflicts: 284000 | #Constraints: 17241 366.75/367.77 c #Conflicts: 285000 | #Constraints: 18241 366.75/367.77 c #Conflicts: 286000 | #Constraints: 19241 366.75/367.77 c #Conflicts: 287000 | #Constraints: 20243 366.75/367.77 c #Conflicts: 288000 | #Constraints: 21243 366.75/367.77 c INPROCESSING 366.75/367.77 c GARBAGE COLLECT 366.75/367.77 c rational objective 0 387.61/388.66 c #Conflicts: 289000 | #Constraints: 11639 387.61/388.66 c #Conflicts: 290000 | #Constraints: 12639 387.61/388.66 c #Conflicts: 291000 | #Constraints: 13639 387.61/388.66 c #Conflicts: 292000 | #Constraints: 14639 387.61/388.66 c #Conflicts: 293000 | #Constraints: 15639 387.61/388.66 c #Conflicts: 294000 | #Constraints: 16639 387.61/388.66 c #Conflicts: 295000 | #Constraints: 17641 387.61/388.66 c #Conflicts: 296000 | #Constraints: 18641 387.61/388.66 c #Conflicts: 297000 | #Constraints: 19641 387.61/388.66 c #Conflicts: 298000 | #Constraints: 20641 387.61/388.66 c #Conflicts: 299000 | #Constraints: 21641 387.61/388.66 c INPROCESSING 387.61/388.66 c GARBAGE COLLECT 387.61/388.66 c rational objective 0 408.36/409.45 c #Conflicts: 300000 | #Constraints: 11838 408.36/409.45 c #Conflicts: 301000 | #Constraints: 12838 408.36/409.45 c #Conflicts: 302000 | #Constraints: 13838 408.36/409.45 c #Conflicts: 303000 | #Constraints: 14838 408.36/409.45 c #Conflicts: 304000 | #Constraints: 15841 408.36/409.45 c #Conflicts: 305000 | #Constraints: 16841 408.36/409.45 c #Conflicts: 306000 | #Constraints: 17841 408.36/409.45 c #Conflicts: 307000 | #Constraints: 18841 408.36/409.45 c #Conflicts: 308000 | #Constraints: 19841 408.36/409.45 c #Conflicts: 309000 | #Constraints: 20841 408.36/409.45 c #Conflicts: 310000 | #Constraints: 21841 408.36/409.45 c INPROCESSING 408.36/409.45 c GARBAGE COLLECT 408.36/409.45 c rational objective 0 431.81/432.90 c #Conflicts: 311000 | #Constraints: 11840 431.81/432.90 c #Conflicts: 312000 | #Constraints: 12840 431.81/432.90 c #Conflicts: 313000 | #Constraints: 13840 431.81/432.90 c #Conflicts: 314000 | #Constraints: 14840 431.81/432.90 c #Conflicts: 315000 | #Constraints: 15840 431.81/432.90 c #Conflicts: 316000 | #Constraints: 16840 431.81/432.90 c #Conflicts: 317000 | #Constraints: 17840 431.81/432.90 c #Conflicts: 318000 | #Constraints: 18840 431.81/432.90 c #Conflicts: 319000 | #Constraints: 19841 431.81/432.90 c #Conflicts: 320000 | #Constraints: 20843 431.81/432.90 c #Conflicts: 321000 | #Constraints: 21843 431.81/432.90 c INPROCESSING 431.81/432.90 c GARBAGE COLLECT 431.81/432.90 c rational objective 0 455.64/456.86 c #Conflicts: 322000 | #Constraints: 11644 455.64/456.86 c #Conflicts: 323000 | #Constraints: 12644 455.64/456.86 c #Conflicts: 324000 | #Constraints: 13644 455.64/456.86 c #Conflicts: 325000 | #Constraints: 14645 455.64/456.86 c #Conflicts: 326000 | #Constraints: 15645 455.64/456.86 c #Conflicts: 327000 | #Constraints: 16645 455.64/456.86 c #Conflicts: 328000 | #Constraints: 17645 455.64/456.86 c #Conflicts: 329000 | #Constraints: 18645 455.64/456.86 c #Conflicts: 330000 | #Constraints: 19645 455.64/456.86 c #Conflicts: 331000 | #Constraints: 20645 455.64/456.86 c #Conflicts: 332000 | #Constraints: 21645 455.64/456.86 c #Conflicts: 333000 | #Constraints: 22645 455.64/456.86 c INPROCESSING 455.64/456.86 c GARBAGE COLLECT 455.64/456.86 c rational objective 0 478.30/479.53 c #Conflicts: 334000 | #Constraints: 12240 478.30/479.53 c #Conflicts: 335000 | #Constraints: 13241 478.30/479.53 c #Conflicts: 336000 | #Constraints: 14241 478.30/479.53 c #Conflicts: 337000 | #Constraints: 15242 478.30/479.53 c #Conflicts: 338000 | #Constraints: 16242 478.30/479.53 c #Conflicts: 339000 | #Constraints: 17242 478.30/479.53 c #Conflicts: 340000 | #Constraints: 18244 478.30/479.53 c #Conflicts: 341000 | #Constraints: 19244 478.30/479.53 c #Conflicts: 342000 | #Constraints: 20244 478.30/479.53 c #Conflicts: 343000 | #Constraints: 21245 478.30/479.53 c #Conflicts: 344000 | #Constraints: 22247 478.30/479.53 c #Conflicts: 345000 | #Constraints: 23249 478.30/479.53 c INPROCESSING 478.30/479.53 c GARBAGE COLLECT 478.30/479.53 c rational objective 0 502.14/503.46 c #Conflicts: 346000 | #Constraints: 12640 502.14/503.46 c #Conflicts: 347000 | #Constraints: 13640 502.14/503.46 c #Conflicts: 348000 | #Constraints: 14641 502.14/503.46 c #Conflicts: 349000 | #Constraints: 15641 502.14/503.46 c #Conflicts: 350000 | #Constraints: 16641 502.14/503.46 c #Conflicts: 351000 | #Constraints: 17641 502.14/503.46 c #Conflicts: 352000 | #Constraints: 18641 502.14/503.46 c #Conflicts: 353000 | #Constraints: 19641 502.14/503.46 c #Conflicts: 354000 | #Constraints: 20641 502.14/503.46 c #Conflicts: 355000 | #Constraints: 21641 502.14/503.46 c #Conflicts: 356000 | #Constraints: 22643 502.14/503.46 c #Conflicts: 357000 | #Constraints: 23644 502.14/503.46 c INPROCESSING 502.14/503.46 c GARBAGE COLLECT 502.14/503.46 c rational objective 0 527.08/528.40 c #Conflicts: 358000 | #Constraints: 12838 527.08/528.40 c #Conflicts: 359000 | #Constraints: 13839 527.08/528.40 c #Conflicts: 360000 | #Constraints: 14839 527.08/528.40 c #Conflicts: 361000 | #Constraints: 15839 527.08/528.40 c #Conflicts: 362000 | #Constraints: 16839 527.08/528.40 c #Conflicts: 363000 | #Constraints: 17839 527.08/528.40 c #Conflicts: 364000 | #Constraints: 18839 527.08/528.40 c #Conflicts: 365000 | #Constraints: 19839 527.08/528.40 c #Conflicts: 366000 | #Constraints: 20839 527.08/528.40 c #Conflicts: 367000 | #Constraints: 21841 527.08/528.40 c #Conflicts: 368000 | #Constraints: 22842 527.08/528.40 c #Conflicts: 369000 | #Constraints: 23842 527.08/528.40 c INPROCESSING 527.08/528.40 c GARBAGE COLLECT 527.08/528.40 c rational objective 0 553.32/554.74 c #Conflicts: 370000 | #Constraints: 12838 553.32/554.74 c #Conflicts: 371000 | #Constraints: 13839 553.32/554.74 c #Conflicts: 372000 | #Constraints: 14839 553.32/554.74 c #Conflicts: 373000 | #Constraints: 15839 553.32/554.74 c #Conflicts: 374000 | #Constraints: 16839 553.32/554.74 c #Conflicts: 375000 | #Constraints: 17840 553.32/554.74 c #Conflicts: 376000 | #Constraints: 18840 553.32/554.74 c #Conflicts: 377000 | #Constraints: 19840 553.32/554.74 c #Conflicts: 378000 | #Constraints: 20841 553.32/554.74 c #Conflicts: 379000 | #Constraints: 21843 553.32/554.74 c #Conflicts: 380000 | #Constraints: 22844 553.32/554.74 c #Conflicts: 381000 | #Constraints: 23844 553.32/554.74 c INPROCESSING 553.32/554.74 c GARBAGE COLLECT 553.32/554.74 c rational objective 0 580.25/581.79 c #Conflicts: 382000 | #Constraints: 12640 580.25/581.79 c #Conflicts: 383000 | #Constraints: 13640 580.25/581.79 c #Conflicts: 384000 | #Constraints: 14640 580.25/581.79 c #Conflicts: 385000 | #Constraints: 15640 580.25/581.79 c #Conflicts: 386000 | #Constraints: 16640 580.25/581.79 c #Conflicts: 387000 | #Constraints: 17642 580.25/581.79 c #Conflicts: 388000 | #Constraints: 18642 580.25/581.79 c #Conflicts: 389000 | #Constraints: 19642 580.25/581.79 c #Conflicts: 390000 | #Constraints: 20642 580.25/581.79 c #Conflicts: 391000 | #Constraints: 21643 580.25/581.79 c #Conflicts: 392000 | #Constraints: 22647 580.25/581.79 c #Conflicts: 393000 | #Constraints: 23647 580.25/581.79 c #Conflicts: 394000 | #Constraints: 24648 580.25/581.79 c INPROCESSING 580.25/581.79 c GARBAGE COLLECT 580.25/581.79 c rational objective 0 608.38/609.92 c #Conflicts: 395000 | #Constraints: 13241 608.38/609.92 c #Conflicts: 396000 | #Constraints: 14241 608.38/609.92 c #Conflicts: 397000 | #Constraints: 15242 608.38/609.92 c #Conflicts: 398000 | #Constraints: 16245 608.38/609.92 c #Conflicts: 399000 | #Constraints: 17245 608.38/609.92 c #Conflicts: 400000 | #Constraints: 18245 608.38/609.92 c #Conflicts: 401000 | #Constraints: 19246 608.38/609.92 c #Conflicts: 402000 | #Constraints: 20246 608.38/609.92 c #Conflicts: 403000 | #Constraints: 21246 608.38/609.92 c #Conflicts: 404000 | #Constraints: 22247 608.38/609.92 c #Conflicts: 405000 | #Constraints: 23247 608.38/609.92 c #Conflicts: 406000 | #Constraints: 24247 608.38/609.92 c #Conflicts: 407000 | #Constraints: 25248 608.38/609.92 c INPROCESSING 608.38/609.92 c GARBAGE COLLECT 608.38/609.92 c rational objective 0 638.61/640.24 c #Conflicts: 408000 | #Constraints: 13645 638.61/640.24 c #Conflicts: 409000 | #Constraints: 14645 638.61/640.24 c #Conflicts: 410000 | #Constraints: 15645 638.61/640.24 c #Conflicts: 411000 | #Constraints: 16647 638.61/640.24 c #Conflicts: 412000 | #Constraints: 17647 638.61/640.24 c #Conflicts: 413000 | #Constraints: 18647 638.61/640.24 c #Conflicts: 414000 | #Constraints: 19647 638.61/640.24 c #Conflicts: 415000 | #Constraints: 20647 638.61/640.24 c #Conflicts: 416000 | #Constraints: 21647 638.61/640.24 c #Conflicts: 417000 | #Constraints: 22649 638.61/640.24 c #Conflicts: 418000 | #Constraints: 23649 638.61/640.24 c #Conflicts: 419000 | #Constraints: 24649 638.61/640.24 c #Conflicts: 420000 | #Constraints: 25650 638.61/640.24 c INPROCESSING 638.61/640.24 c GARBAGE COLLECT 638.61/640.24 c rational objective 0 670.03/671.70 c #Conflicts: 421000 | #Constraints: 13845 670.03/671.70 c #Conflicts: 422000 | #Constraints: 14845 670.03/671.70 c #Conflicts: 423000 | #Constraints: 15845 670.03/671.70 c #Conflicts: 424000 | #Constraints: 16845 670.03/671.70 c #Conflicts: 425000 | #Constraints: 17845 670.03/671.70 c #Conflicts: 426000 | #Constraints: 18846 670.03/671.70 c #Conflicts: 427000 | #Constraints: 19846 670.03/671.70 c #Conflicts: 428000 | #Constraints: 20846 670.03/671.70 c #Conflicts: 429000 | #Constraints: 21847 670.03/671.70 c #Conflicts: 430000 | #Constraints: 22848 670.03/671.70 c #Conflicts: 431000 | #Constraints: 23848 670.03/671.70 c #Conflicts: 432000 | #Constraints: 24848 670.03/671.70 c #Conflicts: 433000 | #Constraints: 25848 670.03/671.70 c INPROCESSING 670.03/671.70 c GARBAGE COLLECT 670.03/671.70 c rational objective 0 702.44/704.29 c #Conflicts: 434000 | #Constraints: 13843 702.44/704.29 c #Conflicts: 435000 | #Constraints: 14845 702.44/704.29 c #Conflicts: 436000 | #Constraints: 15846 702.44/704.29 c #Conflicts: 437000 | #Constraints: 16847 702.44/704.29 c #Conflicts: 438000 | #Constraints: 17848 702.44/704.29 c #Conflicts: 439000 | #Constraints: 18848 702.44/704.29 c #Conflicts: 440000 | #Constraints: 19848 702.44/704.29 c #Conflicts: 441000 | #Constraints: 20848 702.44/704.29 c #Conflicts: 442000 | #Constraints: 21848 702.44/704.29 c #Conflicts: 443000 | #Constraints: 22848 702.44/704.29 c #Conflicts: 444000 | #Constraints: 23848 702.44/704.29 c #Conflicts: 445000 | #Constraints: 24848 702.44/704.29 c #Conflicts: 446000 | #Constraints: 25848 702.44/704.29 c INPROCESSING 702.44/704.29 c GARBAGE COLLECT 702.44/704.29 c rational objective 0 737.44/739.39 c #Conflicts: 447000 | #Constraints: 13640 737.44/739.39 c #Conflicts: 448000 | #Constraints: 14640 737.44/739.39 c #Conflicts: 449000 | #Constraints: 15640 737.44/739.39 c #Conflicts: 450000 | #Constraints: 16640 737.44/739.39 c #Conflicts: 451000 | #Constraints: 17640 737.44/739.39 c #Conflicts: 452000 | #Constraints: 18640 737.44/739.39 c #Conflicts: 453000 | #Constraints: 19640 737.44/739.39 c #Conflicts: 454000 | #Constraints: 20640 737.44/739.39 c #Conflicts: 455000 | #Constraints: 21640 737.44/739.39 c #Conflicts: 456000 | #Constraints: 22641 737.44/739.39 c #Conflicts: 457000 | #Constraints: 23641 737.44/739.39 c #Conflicts: 458000 | #Constraints: 24641 737.44/739.39 c #Conflicts: 459000 | #Constraints: 25641 737.44/739.39 c #Conflicts: 460000 | #Constraints: 26641 737.44/739.39 c INPROCESSING 737.44/739.39 c GARBAGE COLLECT 737.44/739.39 c rational objective 0 772.44/774.48 c #Conflicts: 461000 | #Constraints: 14239 772.44/774.48 c #Conflicts: 462000 | #Constraints: 15241 772.44/774.48 c #Conflicts: 463000 | #Constraints: 16243 772.44/774.48 c #Conflicts: 464000 | #Constraints: 17243 772.44/774.48 c #Conflicts: 465000 | #Constraints: 18244 772.44/774.48 c #Conflicts: 466000 | #Constraints: 19244 772.44/774.48 c #Conflicts: 467000 | #Constraints: 20244 772.44/774.48 c #Conflicts: 468000 | #Constraints: 21245 772.44/774.48 c #Conflicts: 469000 | #Constraints: 22247 772.44/774.48 c #Conflicts: 470000 | #Constraints: 23247 772.44/774.48 c #Conflicts: 471000 | #Constraints: 24247 772.44/774.48 c #Conflicts: 472000 | #Constraints: 25248 772.44/774.48 c #Conflicts: 473000 | #Constraints: 26249 772.44/774.48 c #Conflicts: 474000 | #Constraints: 27249 772.44/774.48 c INPROCESSING 772.44/774.48 c GARBAGE COLLECT 772.44/774.48 c rational objective 0 810.23/812.31 c #Conflicts: 475000 | #Constraints: 14641 810.23/812.31 c #Conflicts: 476000 | #Constraints: 15641 810.23/812.31 c #Conflicts: 477000 | #Constraints: 16642 810.23/812.31 c #Conflicts: 478000 | #Constraints: 17643 810.23/812.31 c #Conflicts: 479000 | #Constraints: 18643 810.23/812.31 c #Conflicts: 480000 | #Constraints: 19644 810.23/812.31 c #Conflicts: 481000 | #Constraints: 20645 810.23/812.31 c #Conflicts: 482000 | #Constraints: 21645 810.23/812.31 c #Conflicts: 483000 | #Constraints: 22645 810.23/812.31 c #Conflicts: 484000 | #Constraints: 23645 810.23/812.31 c #Conflicts: 485000 | #Constraints: 24646 810.23/812.31 c #Conflicts: 486000 | #Constraints: 25646 810.23/812.31 c #Conflicts: 487000 | #Constraints: 26646 810.23/812.31 c #Conflicts: 488000 | #Constraints: 27646 810.23/812.31 c INPROCESSING 810.23/812.31 c GARBAGE COLLECT 810.23/812.31 c rational objective 0 848.53/850.79 c #Conflicts: 489000 | #Constraints: 14845 848.53/850.79 c #Conflicts: 490000 | #Constraints: 15845 848.53/850.79 c #Conflicts: 491000 | #Constraints: 16845 848.53/850.79 c #Conflicts: 492000 | #Constraints: 17847 848.53/850.79 c #Conflicts: 493000 | #Constraints: 18847 848.53/850.79 c #Conflicts: 494000 | #Constraints: 19847 848.53/850.79 c #Conflicts: 495000 | #Constraints: 20847 848.53/850.79 c #Conflicts: 496000 | #Constraints: 21847 848.53/850.79 c #Conflicts: 497000 | #Constraints: 22847 848.53/850.79 c #Conflicts: 498000 | #Constraints: 23847 848.53/850.79 c #Conflicts: 499000 | #Constraints: 24848 848.53/850.79 c #Conflicts: 500000 | #Constraints: 25848 848.53/850.79 c #Conflicts: 501000 | #Constraints: 26849 848.53/850.79 c #Conflicts: 502000 | #Constraints: 27849 848.53/850.79 c INPROCESSING 848.53/850.79 c GARBAGE COLLECT 848.53/850.79 c rational objective 0 889.02/891.33 c #Conflicts: 503000 | #Constraints: 14847 889.02/891.33 c #Conflicts: 504000 | #Constraints: 15847 889.02/891.33 c #Conflicts: 505000 | #Constraints: 16848 889.02/891.33 c #Conflicts: 506000 | #Constraints: 17848 889.02/891.33 c #Conflicts: 507000 | #Constraints: 18848 889.02/891.33 c #Conflicts: 508000 | #Constraints: 19848 889.02/891.33 c #Conflicts: 509000 | #Constraints: 20849 889.02/891.33 c #Conflicts: 510000 | #Constraints: 21849 889.02/891.33 c #Conflicts: 511000 | #Constraints: 22849 889.02/891.33 c #Conflicts: 512000 | #Constraints: 23852 889.02/891.33 c #Conflicts: 513000 | #Constraints: 24853 889.02/891.33 c #Conflicts: 514000 | #Constraints: 25855 889.02/891.33 c #Conflicts: 515000 | #Constraints: 26855 889.02/891.33 c #Conflicts: 516000 | #Constraints: 27856 889.02/891.33 c INPROCESSING 889.02/891.33 c GARBAGE COLLECT 889.02/891.33 c rational objective 0 926.84/929.22 c #Conflicts: 517000 | #Constraints: 14650 926.84/929.22 c #Conflicts: 518000 | #Constraints: 15650 926.84/929.22 c #Conflicts: 519000 | #Constraints: 16651 926.84/929.22 c #Conflicts: 520000 | #Constraints: 17652 926.84/929.22 c #Conflicts: 521000 | #Constraints: 18654 926.84/929.22 c #Conflicts: 522000 | #Constraints: 19658 926.84/929.22 c #Conflicts: 523000 | #Constraints: 20660 926.84/929.22 c #Conflicts: 524000 | #Constraints: 21660 926.84/929.22 c #Conflicts: 525000 | #Constraints: 22660 926.84/929.22 c #Conflicts: 526000 | #Constraints: 23661 926.84/929.22 c #Conflicts: 527000 | #Constraints: 24661 926.84/929.22 c #Conflicts: 528000 | #Constraints: 25664 926.84/929.22 c #Conflicts: 529000 | #Constraints: 26664 926.84/929.22 c #Conflicts: 530000 | #Constraints: 27665 926.84/929.22 c #Conflicts: 531000 | #Constraints: 28665 926.84/929.22 c INPROCESSING 926.84/929.22 c GARBAGE COLLECT 926.84/929.22 c rational objective 0 966.84/969.31 c #Conflicts: 532000 | #Constraints: 15250 966.84/969.31 c #Conflicts: 533000 | #Constraints: 16251 966.84/969.31 c #Conflicts: 534000 | #Constraints: 17251 966.84/969.31 c #Conflicts: 535000 | #Constraints: 18251 966.84/969.31 c #Conflicts: 536000 | #Constraints: 19251 966.84/969.31 c #Conflicts: 537000 | #Constraints: 20252 966.84/969.31 c #Conflicts: 538000 | #Constraints: 21254 966.84/969.31 c #Conflicts: 539000 | #Constraints: 22255 966.84/969.31 c #Conflicts: 540000 | #Constraints: 23255 966.84/969.31 c #Conflicts: 541000 | #Constraints: 24256 966.84/969.31 c #Conflicts: 542000 | #Constraints: 25256 966.84/969.31 c #Conflicts: 543000 | #Constraints: 26259 966.84/969.31 c #Conflicts: 544000 | #Constraints: 27259 966.84/969.31 c #Conflicts: 545000 | #Constraints: 28260 966.84/969.31 c #Conflicts: 546000 | #Constraints: 29260 966.84/969.31 c INPROCESSING 966.84/969.31 c GARBAGE COLLECT 966.84/969.31 c rational objective 0 1010.44/1013.02 c #Conflicts: 547000 | #Constraints: 15646 1010.44/1013.02 c #Conflicts: 548000 | #Constraints: 16647 1010.44/1013.02 c #Conflicts: 549000 | #Constraints: 17647 1010.44/1013.02 c #Conflicts: 550000 | #Constraints: 18649 1010.44/1013.02 c #Conflicts: 551000 | #Constraints: 19650 1010.44/1013.02 c #Conflicts: 552000 | #Constraints: 20651 1010.44/1013.02 c #Conflicts: 553000 | #Constraints: 21654 1010.44/1013.02 c #Conflicts: 554000 | #Constraints: 22654 1010.44/1013.02 c #Conflicts: 555000 | #Constraints: 23655 1010.44/1013.02 c #Conflicts: 556000 | #Constraints: 24655 1010.44/1013.02 c #Conflicts: 557000 | #Constraints: 25655 1010.44/1013.02 c #Conflicts: 558000 | #Constraints: 26655 1010.44/1013.02 c #Conflicts: 559000 | #Constraints: 27656 1010.44/1013.02 c #Conflicts: 560000 | #Constraints: 28657 1010.44/1013.02 c #Conflicts: 561000 | #Constraints: 29657 1010.44/1013.02 c INPROCESSING 1010.44/1013.02 c GARBAGE COLLECT 1010.44/1013.02 c rational objective 0 1051.34/1054.05 c #Conflicts: 562000 | #Constraints: 15846 1051.34/1054.05 c #Conflicts: 563000 | #Constraints: 16847 1051.34/1054.05 c #Conflicts: 564000 | #Constraints: 17847 1051.34/1054.05 c #Conflicts: 565000 | #Constraints: 18847 1051.34/1054.05 c #Conflicts: 566000 | #Constraints: 19847 1051.34/1054.05 c #Conflicts: 567000 | #Constraints: 20847 1051.34/1054.05 c #Conflicts: 568000 | #Constraints: 21848 1051.34/1054.05 c #Conflicts: 569000 | #Constraints: 22849 1051.34/1054.05 c #Conflicts: 570000 | #Constraints: 23852 1051.34/1054.05 c #Conflicts: 571000 | #Constraints: 24853 1051.34/1054.05 c #Conflicts: 572000 | #Constraints: 25854 1051.34/1054.05 c #Conflicts: 573000 | #Constraints: 26854 1051.34/1054.05 c #Conflicts: 574000 | #Constraints: 27855 1051.34/1054.05 c #Conflicts: 575000 | #Constraints: 28856 1051.34/1054.05 c #Conflicts: 576000 | #Constraints: 29856 1051.34/1054.05 c INPROCESSING 1051.34/1054.05 c GARBAGE COLLECT 1051.34/1054.05 c rational objective 0 1097.12/1099.95 c #Conflicts: 577000 | #Constraints: 15847 1097.12/1099.95 c #Conflicts: 578000 | #Constraints: 16851 1097.12/1099.95 c #Conflicts: 579000 | #Constraints: 17851 1097.12/1099.95 c #Conflicts: 580000 | #Constraints: 18851 1097.12/1099.95 c #Conflicts: 581000 | #Constraints: 19852 1097.12/1099.95 c #Conflicts: 582000 | #Constraints: 20852 1097.12/1099.95 c #Conflicts: 583000 | #Constraints: 21852 1097.12/1099.95 c #Conflicts: 584000 | #Constraints: 22853 1097.12/1099.95 c #Conflicts: 585000 | #Constraints: 23853 1097.12/1099.95 c #Conflicts: 586000 | #Constraints: 24855 1097.12/1099.95 c #Conflicts: 587000 | #Constraints: 25856 1097.12/1099.95 c #Conflicts: 588000 | #Constraints: 26856 1097.12/1099.95 c #Conflicts: 589000 | #Constraints: 27859 1097.12/1099.95 c #Conflicts: 590000 | #Constraints: 28860 1097.12/1099.95 c #Conflicts: 591000 | #Constraints: 29861 1097.12/1099.95 c INPROCESSING 1097.12/1099.95 c GARBAGE COLLECT 1097.12/1099.95 c rational objective 0 1145.30/1148.25 c #Conflicts: 592000 | #Constraints: 15649 1145.30/1148.25 c #Conflicts: 593000 | #Constraints: 16651 1145.30/1148.25 c #Conflicts: 594000 | #Constraints: 17652 1145.30/1148.25 c #Conflicts: 595000 | #Constraints: 18653 1145.30/1148.25 c #Conflicts: 596000 | #Constraints: 19653 1145.30/1148.25 c #Conflicts: 597000 | #Constraints: 20653 1145.30/1148.25 c #Conflicts: 598000 | #Constraints: 21654 1145.30/1148.25 c #Conflicts: 599000 | #Constraints: 22654 1145.30/1148.25 c #Conflicts: 600000 | #Constraints: 23655 1145.30/1148.25 c #Conflicts: 601000 | #Constraints: 24655 1145.30/1148.25 c #Conflicts: 602000 | #Constraints: 25655 1145.30/1148.25 c #Conflicts: 603000 | #Constraints: 26655 1145.30/1148.25 c #Conflicts: 604000 | #Constraints: 27655 1145.30/1148.25 c #Conflicts: 605000 | #Constraints: 28656 1145.30/1148.25 c #Conflicts: 606000 | #Constraints: 29658 1145.30/1148.25 c #Conflicts: 607000 | #Constraints: 30658 1145.30/1148.25 c INPROCESSING 1145.30/1148.25 c GARBAGE COLLECT 1145.30/1148.25 c rational objective 0 1191.79/1194.87 c #Conflicts: 608000 | #Constraints: 16247 1191.79/1194.87 c #Conflicts: 609000 | #Constraints: 17247 1191.79/1194.87 c #Conflicts: 610000 | #Constraints: 18247 1191.79/1194.87 c #Conflicts: 611000 | #Constraints: 19248 1191.79/1194.87 c #Conflicts: 612000 | #Constraints: 20249 1191.79/1194.87 c #Conflicts: 613000 | #Constraints: 21249 1191.79/1194.87 c #Conflicts: 614000 | #Constraints: 22249 1191.79/1194.87 c #Conflicts: 615000 | #Constraints: 23251 1191.79/1194.87 c #Conflicts: 616000 | #Constraints: 24252 1191.79/1194.87 c #Conflicts: 617000 | #Constraints: 25253 1191.79/1194.87 c #Conflicts: 618000 | #Constraints: 26256 1191.79/1194.87 c #Conflicts: 619000 | #Constraints: 27256 1191.79/1194.87 c #Conflicts: 620000 | #Constraints: 28256 1191.79/1194.87 c #Conflicts: 621000 | #Constraints: 29256 1191.79/1194.87 c #Conflicts: 622000 | #Constraints: 30259 1191.79/1194.87 c #Conflicts: 623000 | #Constraints: 31262 1191.79/1194.87 c INPROCESSING 1191.79/1194.87 c GARBAGE COLLECT 1191.79/1194.87 c rational objective 0 1239.17/1242.39 c #Conflicts: 624000 | #Constraints: 16646 1239.17/1242.39 c #Conflicts: 625000 | #Constraints: 17646 1239.17/1242.39 c #Conflicts: 626000 | #Constraints: 18646 1239.17/1242.39 c #Conflicts: 627000 | #Constraints: 19647 1239.17/1242.39 c #Conflicts: 628000 | #Constraints: 20647 1239.17/1242.39 c #Conflicts: 629000 | #Constraints: 21647 1239.17/1242.39 c #Conflicts: 630000 | #Constraints: 22647 1239.17/1242.39 c #Conflicts: 631000 | #Constraints: 23648 1239.17/1242.39 c #Conflicts: 632000 | #Constraints: 24648 1239.17/1242.39 c #Conflicts: 633000 | #Constraints: 25648 1239.17/1242.39 c #Conflicts: 634000 | #Constraints: 26648 1239.17/1242.39 c #Conflicts: 635000 | #Constraints: 27648 1239.17/1242.39 c #Conflicts: 636000 | #Constraints: 28648 1239.17/1242.39 c #Conflicts: 637000 | #Constraints: 29648 1239.17/1242.39 c #Conflicts: 638000 | #Constraints: 30651 1239.17/1242.39 c #Conflicts: 639000 | #Constraints: 31651 1239.17/1242.39 c INPROCESSING 1239.17/1242.39 c GARBAGE COLLECT 1239.17/1242.39 c rational objective 0 1287.96/1291.26 c #Conflicts: 640000 | #Constraints: 16846 1287.96/1291.26 c #Conflicts: 641000 | #Constraints: 17848 1287.96/1291.26 c #Conflicts: 642000 | #Constraints: 18848 1287.96/1291.26 c #Conflicts: 643000 | #Constraints: 19848 1287.96/1291.26 c #Conflicts: 644000 | #Constraints: 20850 1287.96/1291.26 c #Conflicts: 645000 | #Constraints: 21850 1287.96/1291.26 c #Conflicts: 646000 | #Constraints: 22850 1287.96/1291.26 c #Conflicts: 647000 | #Constraints: 23850 1287.96/1291.26 c #Conflicts: 648000 | #Constraints: 24851 1287.96/1291.26 c #Conflicts: 649000 | #Constraints: 25851 1287.96/1291.26 c #Conflicts: 650000 | #Constraints: 26851 1287.96/1291.26 c #Conflicts: 651000 | #Constraints: 27857 1287.96/1291.26 c #Conflicts: 652000 | #Constraints: 28861 1287.96/1291.26 c #Conflicts: 653000 | #Constraints: 29863 1287.96/1291.26 c #Conflicts: 654000 | #Constraints: 30863 1287.96/1291.26 c #Conflicts: 655000 | #Constraints: 31864 1287.96/1291.26 c INPROCESSING 1287.96/1291.26 c GARBAGE COLLECT 1287.96/1291.26 c rational objective 0 1339.83/1343.23 c #Conflicts: 656000 | #Constraints: 16852 1339.83/1343.23 c #Conflicts: 657000 | #Constraints: 17852 1339.83/1343.23 c #Conflicts: 658000 | #Constraints: 18852 1339.83/1343.23 c #Conflicts: 659000 | #Constraints: 19852 1339.83/1343.23 c #Conflicts: 660000 | #Constraints: 20852 1339.83/1343.23 c #Conflicts: 661000 | #Constraints: 21853 1339.83/1343.23 c #Conflicts: 662000 | #Constraints: 22856 1339.83/1343.23 c #Conflicts: 663000 | #Constraints: 23857 1339.83/1343.23 c #Conflicts: 664000 | #Constraints: 24857 1339.83/1343.23 c #Conflicts: 665000 | #Constraints: 25859 1339.83/1343.23 c #Conflicts: 666000 | #Constraints: 26859 1339.83/1343.23 c #Conflicts: 667000 | #Constraints: 27859 1339.83/1343.23 c #Conflicts: 668000 | #Constraints: 28860 1339.83/1343.23 c #Conflicts: 669000 | #Constraints: 29860 1339.83/1343.23 c #Conflicts: 670000 | #Constraints: 30861 1339.83/1343.23 c #Conflicts: 671000 | #Constraints: 31862 1339.83/1343.23 c INPROCESSING 1339.83/1343.23 c GARBAGE COLLECT 1339.83/1343.23 c rational objective 0 1392.00/1395.52 c #Conflicts: 672000 | #Constraints: 16649 1392.00/1395.52 c #Conflicts: 673000 | #Constraints: 17649 1392.00/1395.52 c #Conflicts: 674000 | #Constraints: 18649 1392.00/1395.52 c #Conflicts: 675000 | #Constraints: 19649 1392.00/1395.52 c #Conflicts: 676000 | #Constraints: 20649 1392.00/1395.52 c #Conflicts: 677000 | #Constraints: 21649 1392.00/1395.52 c #Conflicts: 678000 | #Constraints: 22650 1392.00/1395.52 c #Conflicts: 679000 | #Constraints: 23650 1392.00/1395.52 c #Conflicts: 680000 | #Constraints: 24651 1392.00/1395.52 c #Conflicts: 681000 | #Constraints: 25652 1392.00/1395.52 c #Conflicts: 682000 | #Constraints: 26652 1392.00/1395.52 c #Conflicts: 683000 | #Constraints: 27655 1392.00/1395.52 c #Conflicts: 684000 | #Constraints: 28655 1392.00/1395.52 c #Conflicts: 685000 | #Constraints: 29657 1392.00/1395.52 c #Conflicts: 686000 | #Constraints: 30657 1392.00/1395.52 c #Conflicts: 687000 | #Constraints: 31657 1392.00/1395.52 c #Conflicts: 688000 | #Constraints: 32658 1392.00/1395.52 c INPROCESSING 1392.00/1395.52 c GARBAGE COLLECT 1392.00/1395.52 c rational objective 0 1449.37/1453.06 c #Conflicts: 689000 | #Constraints: 17246 1449.37/1453.06 c #Conflicts: 690000 | #Constraints: 18246 1449.37/1453.06 c #Conflicts: 691000 | #Constraints: 19247 1449.37/1453.06 c #Conflicts: 692000 | #Constraints: 20247 1449.37/1453.06 c #Conflicts: 693000 | #Constraints: 21249 1449.37/1453.06 c #Conflicts: 694000 | #Constraints: 22249 1449.37/1453.06 c #Conflicts: 695000 | #Constraints: 23249 1449.37/1453.06 c #Conflicts: 696000 | #Constraints: 24250 1449.37/1453.06 c #Conflicts: 697000 | #Constraints: 25253 1449.37/1453.06 c #Conflicts: 698000 | #Constraints: 26253 1449.37/1453.06 c #Conflicts: 699000 | #Constraints: 27257 1449.37/1453.06 c #Conflicts: 700000 | #Constraints: 28257 1449.37/1453.06 c #Conflicts: 701000 | #Constraints: 29258 1449.37/1453.06 c #Conflicts: 702000 | #Constraints: 30261 1449.37/1453.06 c #Conflicts: 703000 | #Constraints: 31263 1449.37/1453.06 c #Conflicts: 704000 | #Constraints: 32266 1449.37/1453.06 c #Conflicts: 705000 | #Constraints: 33266 1449.37/1453.06 c INPROCESSING 1449.37/1453.06 c GARBAGE COLLECT 1449.37/1453.06 c rational objective 0 1507.71/1511.59 c #Conflicts: 706000 | #Constraints: 17651 1507.71/1511.59 c #Conflicts: 707000 | #Constraints: 18651 1507.71/1511.59 c #Conflicts: 708000 | #Constraints: 19653 1507.71/1511.59 c #Conflicts: 709000 | #Constraints: 20656 1507.71/1511.59 c #Conflicts: 710000 | #Constraints: 21656 1507.71/1511.59 c #Conflicts: 711000 | #Constraints: 22657 1507.71/1511.59 c #Conflicts: 712000 | #Constraints: 23657 1507.71/1511.59 c #Conflicts: 713000 | #Constraints: 24657 1507.71/1511.59 c #Conflicts: 714000 | #Constraints: 25657 1507.71/1511.59 c #Conflicts: 715000 | #Constraints: 26657 1507.71/1511.59 c #Conflicts: 716000 | #Constraints: 27657 1507.71/1511.59 c #Conflicts: 717000 | #Constraints: 28657 1507.71/1511.59 c #Conflicts: 718000 | #Constraints: 29657 1507.71/1511.59 c #Conflicts: 719000 | #Constraints: 30657 1507.71/1511.59 c #Conflicts: 720000 | #Constraints: 31657 1507.71/1511.59 c #Conflicts: 721000 | #Constraints: 32657 1507.71/1511.59 c #Conflicts: 722000 | #Constraints: 33657 1507.71/1511.59 c INPROCESSING 1507.71/1511.59 c GARBAGE COLLECT 1507.71/1511.59 c rational objective 0 1569.87/1573.81 c #Conflicts: 723000 | #Constraints: 17847 1569.87/1573.81 c #Conflicts: 724000 | #Constraints: 18847 1569.87/1573.81 c #Conflicts: 725000 | #Constraints: 19847 1569.87/1573.81 c #Conflicts: 726000 | #Constraints: 20847 1569.87/1573.81 c #Conflicts: 727000 | #Constraints: 21847 1569.87/1573.81 c #Conflicts: 728000 | #Constraints: 22848 1569.87/1573.81 c #Conflicts: 729000 | #Constraints: 23848 1569.87/1573.81 c #Conflicts: 730000 | #Constraints: 24848 1569.87/1573.81 c #Conflicts: 731000 | #Constraints: 25848 1569.87/1573.81 c #Conflicts: 732000 | #Constraints: 26849 1569.87/1573.81 c #Conflicts: 733000 | #Constraints: 27849 1569.87/1573.81 c #Conflicts: 734000 | #Constraints: 28850 1569.87/1573.81 c #Conflicts: 735000 | #Constraints: 29850 1569.87/1573.81 c #Conflicts: 736000 | #Constraints: 30850 1569.87/1573.81 c #Conflicts: 737000 | #Constraints: 31850 1569.87/1573.81 c #Conflicts: 738000 | #Constraints: 32850 1569.87/1573.81 c #Conflicts: 739000 | #Constraints: 33851 1569.87/1573.81 c INPROCESSING 1569.87/1573.81 c GARBAGE COLLECT 1569.87/1573.81 c rational objective 0 1627.53/1631.64 c #Conflicts: 740000 | #Constraints: 17844 1627.53/1631.64 c #Conflicts: 741000 | #Constraints: 18845 1627.53/1631.64 c #Conflicts: 742000 | #Constraints: 19845 1627.53/1631.64 c #Conflicts: 743000 | #Constraints: 20845 1627.53/1631.64 c #Conflicts: 744000 | #Constraints: 21845 1627.53/1631.64 c #Conflicts: 745000 | #Constraints: 22845 1627.53/1631.64 c #Conflicts: 746000 | #Constraints: 23845 1627.53/1631.64 c #Conflicts: 747000 | #Constraints: 24845 1627.53/1631.64 c #Conflicts: 748000 | #Constraints: 25845 1627.53/1631.64 c #Conflicts: 749000 | #Constraints: 26848 1627.53/1631.64 c #Conflicts: 750000 | #Constraints: 27848 1627.53/1631.64 c #Conflicts: 751000 | #Constraints: 28848 1627.53/1631.64 c #Conflicts: 752000 | #Constraints: 29849 1627.53/1631.64 c #Conflicts: 753000 | #Constraints: 30849 1627.53/1631.64 c #Conflicts: 754000 | #Constraints: 31849 1627.53/1631.64 c #Conflicts: 755000 | #Constraints: 32850 1627.53/1631.64 c #Conflicts: 756000 | #Constraints: 33850 1627.53/1631.64 c INPROCESSING 1627.53/1631.64 c GARBAGE COLLECT 1627.53/1631.64 c rational objective 0 1688.48/1692.72 c #Conflicts: 757000 | #Constraints: 17643 1688.48/1692.72 c #Conflicts: 758000 | #Constraints: 18643 1688.48/1692.72 c #Conflicts: 759000 | #Constraints: 19643 1688.48/1692.72 c #Conflicts: 760000 | #Constraints: 20643 1688.48/1692.72 c #Conflicts: 761000 | #Constraints: 21645 1688.48/1692.72 c #Conflicts: 762000 | #Constraints: 22646 1688.48/1692.72 c #Conflicts: 763000 | #Constraints: 23646 1688.48/1692.72 c #Conflicts: 764000 | #Constraints: 24646 1688.48/1692.72 c #Conflicts: 765000 | #Constraints: 25646 1688.48/1692.72 c #Conflicts: 766000 | #Constraints: 26646 1688.48/1692.72 c #Conflicts: 767000 | #Constraints: 27646 1688.48/1692.72 c #Conflicts: 768000 | #Constraints: 28646 1688.48/1692.72 c #Conflicts: 769000 | #Constraints: 29647 1688.48/1692.72 c #Conflicts: 770000 | #Constraints: 30647 1688.48/1692.72 c #Conflicts: 771000 | #Constraints: 31647 1688.48/1692.72 c #Conflicts: 772000 | #Constraints: 32647 1688.48/1692.72 c #Conflicts: 773000 | #Constraints: 33648 1688.48/1692.72 c #Conflicts: 774000 | #Constraints: 34648 1688.48/1692.72 c INPROCESSING 1688.48/1692.72 c GARBAGE COLLECT 1688.48/1692.72 c rational objective 0 1752.32/1756.79 c #Conflicts: 775000 | #Constraints: 18239 1752.32/1756.79 c #Conflicts: 776000 | #Constraints: 19239 1752.32/1756.79 c #Conflicts: 777000 | #Constraints: 20239 1752.32/1756.79 c #Conflicts: 778000 | #Constraints: 21241 1752.32/1756.79 c #Conflicts: 779000 | #Constraints: 22245 1752.32/1756.79 c #Conflicts: 780000 | #Constraints: 23248 1752.32/1756.79 c #Conflicts: 781000 | #Constraints: 24249 1752.32/1756.79 c #Conflicts: 782000 | #Constraints: 25250 1752.32/1756.79 c #Conflicts: 783000 | #Constraints: 26253 1752.32/1756.79 c #Conflicts: 784000 | #Constraints: 27254 1752.32/1756.79 c #Conflicts: 785000 | #Constraints: 28254 1752.32/1756.79 c #Conflicts: 786000 | #Constraints: 29254 1752.32/1756.79 c #Conflicts: 787000 | #Constraints: 30254 1752.32/1756.79 c #Conflicts: 788000 | #Constraints: 31254 1752.32/1756.79 c #Conflicts: 789000 | #Constraints: 32254 1752.32/1756.79 c #Conflicts: 790000 | #Constraints: 33254 1752.32/1756.79 c #Conflicts: 791000 | #Constraints: 34255 1752.32/1756.79 c #Conflicts: 792000 | #Constraints: 35255 1752.32/1756.79 c INPROCESSING 1752.32/1756.79 c GARBAGE COLLECT 1752.32/1756.79 c rational objective 0 1817.96/1822.58 c #Conflicts: 793000 | #Constraints: 18642 1817.96/1822.58 c #Conflicts: 794000 | #Constraints: 19643 1817.96/1822.58 c #Conflicts: 795000 | #Constraints: 20643 1817.96/1822.58 c #Conflicts: 796000 | #Constraints: 21643 1817.96/1822.58 c #Conflicts: 797000 | #Constraints: 22644 1817.96/1822.58 c #Conflicts: 798000 | #Constraints: 23646 1817.96/1822.58 c #Conflicts: 799000 | #Constraints: 24646 1817.96/1822.58 c #Conflicts: 800000 | #Constraints: 25646 1817.96/1822.58 c #Conflicts: 801000 | #Constraints: 26647 1817.96/1822.58 c #Conflicts: 802000 | #Constraints: 27648 1817.96/1822.58 c #Conflicts: 803000 | #Constraints: 28648 1817.96/1822.58 c #Conflicts: 804000 | #Constraints: 29649 1817.96/1822.58 c #Conflicts: 805000 | #Constraints: 30649 1817.96/1822.58 c #Conflicts: 806000 | #Constraints: 31649 1817.96/1822.58 c #Conflicts: 807000 | #Constraints: 32650 1817.96/1822.58 c #Conflicts: 808000 | #Constraints: 33650 1817.96/1822.58 c #Conflicts: 809000 | #Constraints: 34651 1817.96/1822.58 c #Conflicts: 810000 | #Constraints: 35651 1817.96/1822.58 c INPROCESSING 1817.96/1822.58 c GARBAGE COLLECT 1817.96/1822.58 c rational objective 0 1882.60/1887.35 c #Conflicts: 811000 | #Constraints: 18844 1882.60/1887.35 c #Conflicts: 812000 | #Constraints: 19844 1882.60/1887.35 c #Conflicts: 813000 | #Constraints: 20845 1882.60/1887.35 c #Conflicts: 814000 | #Constraints: 21845 1882.60/1887.35 c #Conflicts: 815000 | #Constraints: 22846 1882.60/1887.35 c #Conflicts: 816000 | #Constraints: 23846 1882.60/1887.35 c #Conflicts: 817000 | #Constraints: 24847 1882.60/1887.35 c #Conflicts: 818000 | #Constraints: 25848 1882.60/1887.35 c #Conflicts: 819000 | #Constraints: 26848 1882.60/1887.35 c #Conflicts: 820000 | #Constraints: 27850 1882.60/1887.35 c #Conflicts: 821000 | #Constraints: 28850 1882.60/1887.35 c #Conflicts: 822000 | #Constraints: 29850 1882.60/1887.35 c #Conflicts: 823000 | #Constraints: 30850 1882.60/1887.35 c #Conflicts: 824000 | #Constraints: 31852 1882.60/1887.35 c #Conflicts: 825000 | #Constraints: 32852 1882.60/1887.35 c #Conflicts: 826000 | #Constraints: 33854 1882.60/1887.35 c #Conflicts: 827000 | #Constraints: 34854 1882.60/1887.35 c #Conflicts: 828000 | #Constraints: 35854 1882.60/1887.35 c INPROCESSING 1882.60/1887.35 c GARBAGE COLLECT 1882.60/1887.35 c rational objective 0 1954.52/1959.48 c #Conflicts: 829000 | #Constraints: 18850 1954.52/1959.48 c #Conflicts: 830000 | #Constraints: 19852 1954.52/1959.48 c #Conflicts: 831000 | #Constraints: 20853 1954.52/1959.48 c #Conflicts: 832000 | #Constraints: 21855 1954.52/1959.48 c #Conflicts: 833000 | #Constraints: 22855 1954.52/1959.48 c #Conflicts: 834000 | #Constraints: 23855 1954.52/1959.48 c #Conflicts: 835000 | #Constraints: 24855 1954.52/1959.48 c #Conflicts: 836000 | #Constraints: 25856 1954.52/1959.48 c #Conflicts: 837000 | #Constraints: 26856 1954.52/1959.48 c #Conflicts: 838000 | #Constraints: 27856 1954.52/1959.48 c #Conflicts: 839000 | #Constraints: 28856 1954.52/1959.48 c #Conflicts: 840000 | #Constraints: 29856 1954.52/1959.48 c #Conflicts: 841000 | #Constraints: 30856 1954.52/1959.48 c #Conflicts: 842000 | #Constraints: 31857 1954.52/1959.48 c #Conflicts: 843000 | #Constraints: 32858 1954.52/1959.48 c #Conflicts: 844000 | #Constraints: 33858 1954.52/1959.48 c #Conflicts: 845000 | #Constraints: 34858 1954.52/1959.48 c #Conflicts: 846000 | #Constraints: 35858 1954.52/1959.48 c INPROCESSING 1954.52/1959.48 c GARBAGE COLLECT 1954.52/1959.48 c rational objective 0 2021.85/2026.97 c #Conflicts: 847000 | #Constraints: 18646 2021.85/2026.97 c #Conflicts: 848000 | #Constraints: 19647 2021.85/2026.97 c #Conflicts: 849000 | #Constraints: 20647 2021.85/2026.97 c #Conflicts: 850000 | #Constraints: 21647 2021.85/2026.97 c #Conflicts: 851000 | #Constraints: 22647 2021.85/2026.97 c #Conflicts: 852000 | #Constraints: 23648 2021.85/2026.97 c #Conflicts: 853000 | #Constraints: 24649 2021.85/2026.97 c #Conflicts: 854000 | #Constraints: 25650 2021.85/2026.97 c #Conflicts: 855000 | #Constraints: 26650 2021.85/2026.97 c #Conflicts: 856000 | #Constraints: 27650 2021.85/2026.97 c #Conflicts: 857000 | #Constraints: 28651 2021.85/2026.97 c #Conflicts: 858000 | #Constraints: 29653 2021.85/2026.97 c #Conflicts: 859000 | #Constraints: 30653 2021.85/2026.97 c #Conflicts: 860000 | #Constraints: 31653 2021.85/2026.97 c #Conflicts: 861000 | #Constraints: 32653 2021.85/2026.97 c #Conflicts: 862000 | #Constraints: 33654 2021.85/2026.97 c #Conflicts: 863000 | #Constraints: 34654 2021.85/2026.97 c #Conflicts: 864000 | #Constraints: 35654 2021.85/2026.97 c #Conflicts: 865000 | #Constraints: 36655 2021.85/2026.97 c INPROCESSING 2021.85/2026.97 c GARBAGE COLLECT 2021.85/2026.97 c rational objective 0 2093.58/2098.87 c #Conflicts: 866000 | #Constraints: 19246 2093.58/2098.87 c #Conflicts: 867000 | #Constraints: 20246 2093.58/2098.87 c #Conflicts: 868000 | #Constraints: 21246 2093.58/2098.87 c #Conflicts: 869000 | #Constraints: 22246 2093.58/2098.87 c #Conflicts: 870000 | #Constraints: 23246 2093.58/2098.87 c #Conflicts: 871000 | #Constraints: 24247 2093.58/2098.87 c #Conflicts: 872000 | #Constraints: 25247 2093.58/2098.87 c #Conflicts: 873000 | #Constraints: 26248 2093.58/2098.87 c #Conflicts: 874000 | #Constraints: 27248 2093.58/2098.87 c #Conflicts: 875000 | #Constraints: 28248 2093.58/2098.87 c #Conflicts: 876000 | #Constraints: 29248 2093.58/2098.87 c #Conflicts: 877000 | #Constraints: 30249 2093.58/2098.87 c #Conflicts: 878000 | #Constraints: 31250 2093.58/2098.87 c #Conflicts: 879000 | #Constraints: 32251 2093.58/2098.87 c #Conflicts: 880000 | #Constraints: 33254 2093.58/2098.87 c #Conflicts: 881000 | #Constraints: 34257 2093.58/2098.87 c #Conflicts: 882000 | #Constraints: 35260 2093.58/2098.87 c #Conflicts: 883000 | #Constraints: 36263 2093.58/2098.87 c #Conflicts: 884000 | #Constraints: 37264 2093.58/2098.87 c INPROCESSING 2093.58/2098.87 c GARBAGE COLLECT 2093.58/2098.87 c rational objective 0 2168.29/2173.77 c #Conflicts: 885000 | #Constraints: 19651 2168.29/2173.77 c #Conflicts: 886000 | #Constraints: 20652 2168.29/2173.77 c #Conflicts: 887000 | #Constraints: 21653 2168.29/2173.77 c #Conflicts: 888000 | #Constraints: 22653 2168.29/2173.77 c #Conflicts: 889000 | #Constraints: 23654 2168.29/2173.77 c #Conflicts: 890000 | #Constraints: 24654 2168.29/2173.77 c #Conflicts: 891000 | #Constraints: 25655 2168.29/2173.77 c #Conflicts: 892000 | #Constraints: 26656 2168.29/2173.77 c #Conflicts: 893000 | #Constraints: 27656 2168.29/2173.77 c #Conflicts: 894000 | #Constraints: 28656 2168.29/2173.77 c #Conflicts: 895000 | #Constraints: 29656 2168.29/2173.77 c #Conflicts: 896000 | #Constraints: 30656 2168.29/2173.77 c #Conflicts: 897000 | #Constraints: 31657 2168.29/2173.77 c #Conflicts: 898000 | #Constraints: 32657 2168.29/2173.77 c #Conflicts: 899000 | #Constraints: 33657 2168.29/2173.77 c #Conflicts: 900000 | #Constraints: 34657 2168.29/2173.77 c #Conflicts: 901000 | #Constraints: 35657 2168.29/2173.77 c #Conflicts: 902000 | #Constraints: 36657 2168.29/2173.77 c #Conflicts: 903000 | #Constraints: 37657 2168.29/2173.77 c INPROCESSING 2168.29/2173.77 c GARBAGE COLLECT 2168.29/2173.77 c rational objective 0 2245.20/2250.89 c #Conflicts: 904000 | #Constraints: 19847 2245.20/2250.89 c #Conflicts: 905000 | #Constraints: 20850 2245.20/2250.89 c #Conflicts: 906000 | #Constraints: 21850 2245.20/2250.89 c #Conflicts: 907000 | #Constraints: 22851 2245.20/2250.89 c #Conflicts: 908000 | #Constraints: 23852 2245.20/2250.89 c #Conflicts: 909000 | #Constraints: 24853 2245.20/2250.89 c #Conflicts: 910000 | #Constraints: 25854 2245.20/2250.89 c #Conflicts: 911000 | #Constraints: 26854 2245.20/2250.89 c #Conflicts: 912000 | #Constraints: 27854 2245.20/2250.89 c #Conflicts: 913000 | #Constraints: 28854 2245.20/2250.89 c #Conflicts: 914000 | #Constraints: 29854 2245.20/2250.89 c #Conflicts: 915000 | #Constraints: 30855 2245.20/2250.89 c #Conflicts: 916000 | #Constraints: 31856 2245.20/2250.89 c #Conflicts: 917000 | #Constraints: 32856 2245.20/2250.89 c #Conflicts: 918000 | #Constraints: 33856 2245.20/2250.89 c #Conflicts: 919000 | #Constraints: 34856 2245.20/2250.89 c #Conflicts: 920000 | #Constraints: 35857 2245.20/2250.89 c #Conflicts: 921000 | #Constraints: 36858 2245.20/2250.89 c #Conflicts: 922000 | #Constraints: 37860 2245.20/2250.89 c INPROCESSING 2245.20/2250.89 c GARBAGE COLLECT 2245.20/2250.89 c rational objective 0 2327.48/2333.39 c #Conflicts: 923000 | #Constraints: 19850 2327.48/2333.39 c #Conflicts: 924000 | #Constraints: 20850 2327.48/2333.39 c #Conflicts: 925000 | #Constraints: 21851 2327.48/2333.39 c #Conflicts: 926000 | #Constraints: 22853 2327.48/2333.39 c #Conflicts: 927000 | #Constraints: 23854 2327.48/2333.39 c #Conflicts: 928000 | #Constraints: 24855 2327.48/2333.39 c #Conflicts: 929000 | #Constraints: 25856 2327.48/2333.39 c #Conflicts: 930000 | #Constraints: 26856 2327.48/2333.39 c #Conflicts: 931000 | #Constraints: 27857 2327.48/2333.39 c #Conflicts: 932000 | #Constraints: 28857 2327.48/2333.39 c #Conflicts: 933000 | #Constraints: 29857 2327.48/2333.39 c #Conflicts: 934000 | #Constraints: 30857 2327.48/2333.39 c #Conflicts: 935000 | #Constraints: 31857 2327.48/2333.39 c #Conflicts: 936000 | #Constraints: 32858 2327.48/2333.39 c #Conflicts: 937000 | #Constraints: 33858 2327.48/2333.39 c #Conflicts: 938000 | #Constraints: 34858 2327.48/2333.39 c #Conflicts: 939000 | #Constraints: 35858 2327.48/2333.39 c #Conflicts: 940000 | #Constraints: 36859 2327.48/2333.39 c #Conflicts: 941000 | #Constraints: 37859 2327.48/2333.39 c INPROCESSING 2327.48/2333.39 c GARBAGE COLLECT 2327.48/2333.39 c rational objective 0 2412.63/2418.76 c #Conflicts: 942000 | #Constraints: 19649 2412.63/2418.76 c #Conflicts: 943000 | #Constraints: 20649 2412.63/2418.76 c #Conflicts: 944000 | #Constraints: 21651 2412.63/2418.76 c #Conflicts: 945000 | #Constraints: 22651 2412.63/2418.76 c #Conflicts: 946000 | #Constraints: 23651 2412.63/2418.76 c #Conflicts: 947000 | #Constraints: 24651 2412.63/2418.76 c #Conflicts: 948000 | #Constraints: 25651 2412.63/2418.76 c #Conflicts: 949000 | #Constraints: 26652 2412.63/2418.76 c #Conflicts: 950000 | #Constraints: 27652 2412.63/2418.76 c #Conflicts: 951000 | #Constraints: 28653 2412.63/2418.76 c #Conflicts: 952000 | #Constraints: 29653 2412.63/2418.76 c #Conflicts: 953000 | #Constraints: 30654 2412.63/2418.76 c #Conflicts: 954000 | #Constraints: 31654 2412.63/2418.76 c #Conflicts: 955000 | #Constraints: 32655 2412.63/2418.76 c #Conflicts: 956000 | #Constraints: 33655 2412.63/2418.76 c #Conflicts: 957000 | #Constraints: 34655 2412.63/2418.76 c #Conflicts: 958000 | #Constraints: 35655 2412.63/2418.76 c #Conflicts: 959000 | #Constraints: 36656 2412.63/2418.76 c #Conflicts: 960000 | #Constraints: 37656 2412.63/2418.76 c #Conflicts: 961000 | #Constraints: 38658 2412.63/2418.76 c INPROCESSING 2412.63/2418.76 c GARBAGE COLLECT 2412.63/2418.76 c rational objective 0 2500.87/2507.25 c #Conflicts: 962000 | #Constraints: 20247 2500.87/2507.25 c #Conflicts: 963000 | #Constraints: 21247 2500.87/2507.25 c #Conflicts: 964000 | #Constraints: 22247 2500.87/2507.25 c #Conflicts: 965000 | #Constraints: 23247 2500.87/2507.25 c #Conflicts: 966000 | #Constraints: 24248 2500.87/2507.25 c #Conflicts: 967000 | #Constraints: 25248 2500.87/2507.25 c #Conflicts: 968000 | #Constraints: 26248 2500.87/2507.25 c #Conflicts: 969000 | #Constraints: 27248 2500.87/2507.25 c #Conflicts: 970000 | #Constraints: 28248 2500.87/2507.25 c #Conflicts: 971000 | #Constraints: 29248 2500.87/2507.25 c #Conflicts: 972000 | #Constraints: 30249 2500.87/2507.25 c #Conflicts: 973000 | #Constraints: 31249 2500.87/2507.25 c #Conflicts: 974000 | #Constraints: 32249 2500.87/2507.25 c #Conflicts: 975000 | #Constraints: 33249 2500.87/2507.25 c #Conflicts: 976000 | #Constraints: 34249 2500.87/2507.25 c #Conflicts: 977000 | #Constraints: 35249 2500.87/2507.25 c #Conflicts: 978000 | #Constraints: 36249 2500.87/2507.25 c #Conflicts: 979000 | #Constraints: 37249 2500.87/2507.25 c #Conflicts: 980000 | #Constraints: 38249 2500.87/2507.25 c #Conflicts: 981000 | #Constraints: 39249 2500.87/2507.25 c INPROCESSING 2500.87/2507.25 c GARBAGE COLLECT 2500.87/2507.25 c rational objective 0 2596.79/2603.44 c #Conflicts: 982000 | #Constraints: 20642 2596.79/2603.44 c #Conflicts: 983000 | #Constraints: 21642 2596.79/2603.44 c #Conflicts: 984000 | #Constraints: 22642 2596.79/2603.44 c #Conflicts: 985000 | #Constraints: 23643 2596.79/2603.44 c #Conflicts: 986000 | #Constraints: 24643 2596.79/2603.44 c #Conflicts: 987000 | #Constraints: 25643 2596.79/2603.44 c #Conflicts: 988000 | #Constraints: 26644 2596.79/2603.44 c #Conflicts: 989000 | #Constraints: 27644 2596.79/2603.44 c #Conflicts: 990000 | #Constraints: 28644 2596.79/2603.44 c #Conflicts: 991000 | #Constraints: 29644 2596.79/2603.44 c #Conflicts: 992000 | #Constraints: 30644 2596.79/2603.44 c #Conflicts: 993000 | #Constraints: 31644 2596.79/2603.44 c #Conflicts: 994000 | #Constraints: 32645 2596.79/2603.44 c #Conflicts: 995000 | #Constraints: 33646 2596.79/2603.44 c #Conflicts: 996000 | #Constraints: 34647 2596.79/2603.44 c #Conflicts: 997000 | #Constraints: 35647 2596.79/2603.44 c #Conflicts: 998000 | #Constraints: 36648 2596.79/2603.44 c #Conflicts: 999000 | #Constraints: 37648 2596.79/2603.44 c #Conflicts: 1000000 | #Constraints: 38649 2596.79/2603.44 c #Conflicts: 1001000 | #Constraints: 39651 2596.79/2603.44 c INPROCESSING 2596.79/2603.44 c GARBAGE COLLECT 2596.79/2603.44 c rational objective 0 2693.61/2700.50 c #Conflicts: 1002000 | #Constraints: 20843 2693.61/2700.50 c #Conflicts: 1003000 | #Constraints: 21843 2693.61/2700.50 c #Conflicts: 1004000 | #Constraints: 22843 2693.61/2700.50 c #Conflicts: 1005000 | #Constraints: 23843 2693.61/2700.50 c #Conflicts: 1006000 | #Constraints: 24843 2693.61/2700.50 c #Conflicts: 1007000 | #Constraints: 25843 2693.61/2700.50 c #Conflicts: 1008000 | #Constraints: 26843 2693.61/2700.50 c #Conflicts: 1009000 | #Constraints: 27843 2693.61/2700.50 c #Conflicts: 1010000 | #Constraints: 28843 2693.61/2700.50 c #Conflicts: 1011000 | #Constraints: 29843 2693.61/2700.50 c #Conflicts: 1012000 | #Constraints: 30843 2693.61/2700.50 c #Conflicts: 1013000 | #Constraints: 31843 2693.61/2700.50 c #Conflicts: 1014000 | #Constraints: 32845 2693.61/2700.50 c #Conflicts: 1015000 | #Constraints: 33845 2693.61/2700.50 c #Conflicts: 1016000 | #Constraints: 34845 2693.61/2700.50 c #Conflicts: 1017000 | #Constraints: 35845 2693.61/2700.50 c #Conflicts: 1018000 | #Constraints: 36845 2693.61/2700.50 c #Conflicts: 1019000 | #Constraints: 37845 2693.61/2700.50 c #Conflicts: 1020000 | #Constraints: 38845 2693.61/2700.50 c #Conflicts: 1021000 | #Constraints: 39846 2693.61/2700.50 c INPROCESSING 2693.61/2700.50 c GARBAGE COLLECT 2693.61/2700.50 c rational objective 0 2793.12/2800.33 c #Conflicts: 1022000 | #Constraints: 20840 2793.12/2800.33 c #Conflicts: 1023000 | #Constraints: 21840 2793.12/2800.33 c #Conflicts: 1024000 | #Constraints: 22840 2793.12/2800.33 c #Conflicts: 1025000 | #Constraints: 23840 2793.12/2800.33 c #Conflicts: 1026000 | #Constraints: 24840 2793.12/2800.33 c #Conflicts: 1027000 | #Constraints: 25841 2793.12/2800.33 c #Conflicts: 1028000 | #Constraints: 26841 2793.12/2800.33 c #Conflicts: 1029000 | #Constraints: 27841 2793.12/2800.33 c #Conflicts: 1030000 | #Constraints: 28841 2793.12/2800.33 c #Conflicts: 1031000 | #Constraints: 29841 2793.12/2800.33 c #Conflicts: 1032000 | #Constraints: 30842 2793.12/2800.33 c #Conflicts: 1033000 | #Constraints: 31842 2793.12/2800.33 c #Conflicts: 1034000 | #Constraints: 32842 2793.12/2800.33 c #Conflicts: 1035000 | #Constraints: 33843 2793.12/2800.33 c #Conflicts: 1036000 | #Constraints: 34844 2793.12/2800.33 c #Conflicts: 1037000 | #Constraints: 35844 2793.12/2800.33 c #Conflicts: 1038000 | #Constraints: 36845 2793.12/2800.33 c #Conflicts: 1039000 | #Constraints: 37845 2793.12/2800.33 c #Conflicts: 1040000 | #Constraints: 38845 2793.12/2800.33 c #Conflicts: 1041000 | #Constraints: 39845 2793.12/2800.33 c INPROCESSING 2793.12/2800.33 c GARBAGE COLLECT 2793.12/2800.33 c rational objective 0 2892.24/2899.76 c #Conflicts: 1042000 | #Constraints: 20639 2892.24/2899.76 c #Conflicts: 1043000 | #Constraints: 21639 2892.24/2899.76 c #Conflicts: 1044000 | #Constraints: 22639 2892.24/2899.76 c #Conflicts: 1045000 | #Constraints: 23639 2892.24/2899.76 c #Conflicts: 1046000 | #Constraints: 24639 2892.24/2899.76 c #Conflicts: 1047000 | #Constraints: 25639 2892.24/2899.76 c #Conflicts: 1048000 | #Constraints: 26639 2892.24/2899.76 c #Conflicts: 1049000 | #Constraints: 27640 2892.24/2899.76 c #Conflicts: 1050000 | #Constraints: 28640 2892.24/2899.76 c #Conflicts: 1051000 | #Constraints: 29640 2892.24/2899.76 c #Conflicts: 1052000 | #Constraints: 30640 2892.24/2899.76 c #Conflicts: 1053000 | #Constraints: 31642 2892.24/2899.76 c #Conflicts: 1054000 | #Constraints: 32642 2892.24/2899.76 c #Conflicts: 1055000 | #Constraints: 33642 2892.24/2899.76 c #Conflicts: 1056000 | #Constraints: 34642 2892.24/2899.76 c #Conflicts: 1057000 | #Constraints: 35642 2892.24/2899.76 c #Conflicts: 1058000 | #Constraints: 36642 2892.24/2899.76 c #Conflicts: 1059000 | #Constraints: 37642 2892.24/2899.76 c #Conflicts: 1060000 | #Constraints: 38642 2892.24/2899.76 c #Conflicts: 1061000 | #Constraints: 39642 2892.24/2899.76 c #Conflicts: 1062000 | #Constraints: 40643 2892.24/2899.76 c INPROCESSING 2892.24/2899.76 c GARBAGE COLLECT 2892.24/2899.76 c rational objective 0 2999.82/3007.64 c #Conflicts: 1063000 | #Constraints: 21243 2999.82/3007.64 c #Conflicts: 1064000 | #Constraints: 22244 2999.82/3007.64 c #Conflicts: 1065000 | #Constraints: 23245 2999.82/3007.64 c #Conflicts: 1066000 | #Constraints: 24247 2999.82/3007.64 c #Conflicts: 1067000 | #Constraints: 25248 2999.82/3007.64 c #Conflicts: 1068000 | #Constraints: 26248 2999.82/3007.64 c #Conflicts: 1069000 | #Constraints: 27248 2999.82/3007.64 c #Conflicts: 1070000 | #Constraints: 28248 2999.82/3007.64 c #Conflicts: 1071000 | #Constraints: 29249 2999.82/3007.64 c #Conflicts: 1072000 | #Constraints: 30249 2999.82/3007.64 c #Conflicts: 1073000 | #Constraints: 31250 2999.82/3007.64 c #Conflicts: 1074000 | #Constraints: 32250 2999.82/3007.64 c #Conflicts: 1075000 | #Constraints: 33250 2999.82/3007.64 c #Conflicts: 1076000 | #Constraints: 34251 2999.82/3007.64 c #Conflicts: 1077000 | #Constraints: 35251 2999.82/3007.64 c #Conflicts: 1078000 | #Constraints: 36251 2999.82/3007.64 c #Conflicts: 1079000 | #Constraints: 37251 2999.82/3007.64 c #Conflicts: 1080000 | #Constraints: 38251 2999.82/3007.64 c #Conflicts: 1081000 | #Constraints: 39251 2999.82/3007.64 c #Conflicts: 1082000 | #Constraints: 40251 2999.82/3007.64 c #Conflicts: 1083000 | #Constraints: 41252 2999.82/3007.64 c INPROCESSING 2999.82/3007.64 c GARBAGE COLLECT 2999.82/3007.64 c rational objective 0 3106.95/3115.10 c #Conflicts: 1084000 | #Constraints: 21643 3106.95/3115.10 c #Conflicts: 1085000 | #Constraints: 22643 3106.95/3115.10 c #Conflicts: 1086000 | #Constraints: 23643 3106.95/3115.10 c #Conflicts: 1087000 | #Constraints: 24644 3106.95/3115.10 c #Conflicts: 1088000 | #Constraints: 25644 3106.95/3115.10 c #Conflicts: 1089000 | #Constraints: 26644 3106.95/3115.10 c #Conflicts: 1090000 | #Constraints: 27644 3106.95/3115.10 c #Conflicts: 1091000 | #Constraints: 28645 3106.95/3115.10 c #Conflicts: 1092000 | #Constraints: 29645 3106.95/3115.10 c #Conflicts: 1093000 | #Constraints: 30645 3106.95/3115.10 c #Conflicts: 1094000 | #Constraints: 31645 3106.95/3115.10 c #Conflicts: 1095000 | #Constraints: 32645 3106.95/3115.10 c #Conflicts: 1096000 | #Constraints: 33645 3106.95/3115.10 c #Conflicts: 1097000 | #Constraints: 34646 3106.95/3115.10 c #Conflicts: 1098000 | #Constraints: 35646 3106.95/3115.10 c #Conflicts: 1099000 | #Constraints: 36647 3106.95/3115.10 c #Conflicts: 1100000 | #Constraints: 37647 3106.95/3115.10 c #Conflicts: 1101000 | #Constraints: 38647 3106.95/3115.10 c #Conflicts: 1102000 | #Constraints: 39647 3106.95/3115.10 c #Conflicts: 1103000 | #Constraints: 40647 3106.95/3115.10 c #Conflicts: 1104000 | #Constraints: 41647 3106.95/3115.10 c INPROCESSING 3106.95/3115.10 c GARBAGE COLLECT 3106.95/3115.10 c rational objective 0 3216.68/3225.04 c #Conflicts: 1105000 | #Constraints: 21845 3216.68/3225.04 c #Conflicts: 1106000 | #Constraints: 22845 3216.68/3225.04 c #Conflicts: 1107000 | #Constraints: 23845 3216.68/3225.04 c #Conflicts: 1108000 | #Constraints: 24845 3216.68/3225.04 c #Conflicts: 1109000 | #Constraints: 25846 3216.68/3225.04 c #Conflicts: 1110000 | #Constraints: 26846 3216.68/3225.04 c #Conflicts: 1111000 | #Constraints: 27846 3216.68/3225.04 c #Conflicts: 1112000 | #Constraints: 28846 3216.68/3225.04 c #Conflicts: 1113000 | #Constraints: 29846 3216.68/3225.04 c #Conflicts: 1114000 | #Constraints: 30848 3216.68/3225.04 c #Conflicts: 1115000 | #Constraints: 31850 3216.68/3225.04 c #Conflicts: 1116000 | #Constraints: 32850 3216.68/3225.04 c #Conflicts: 1117000 | #Constraints: 33850 3216.68/3225.04 c #Conflicts: 1118000 | #Constraints: 34850 3216.68/3225.04 c #Conflicts: 1119000 | #Constraints: 35850 3216.68/3225.04 c #Conflicts: 1120000 | #Constraints: 36850 3216.68/3225.04 c #Conflicts: 1121000 | #Constraints: 37850 3216.68/3225.04 c #Conflicts: 1122000 | #Constraints: 38850 3216.68/3225.04 c #Conflicts: 1123000 | #Constraints: 39850 3216.68/3225.04 c #Conflicts: 1124000 | #Constraints: 40850 3216.68/3225.04 c #Conflicts: 1125000 | #Constraints: 41850 3216.68/3225.04 c INPROCESSING 3216.68/3225.04 c GARBAGE COLLECT 3216.68/3225.04 c rational objective 0 3326.58/3335.28 c #Conflicts: 1126000 | #Constraints: 21844 3326.58/3335.28 c #Conflicts: 1127000 | #Constraints: 22844 3326.58/3335.28 c #Conflicts: 1128000 | #Constraints: 23845 3326.58/3335.28 c #Conflicts: 1129000 | #Constraints: 24845 3326.58/3335.28 c #Conflicts: 1130000 | #Constraints: 25845 3326.58/3335.28 c #Conflicts: 1131000 | #Constraints: 26845 3326.58/3335.28 c #Conflicts: 1132000 | #Constraints: 27845 3326.58/3335.28 c #Conflicts: 1133000 | #Constraints: 28845 3326.58/3335.28 c #Conflicts: 1134000 | #Constraints: 29845 3326.58/3335.28 c #Conflicts: 1135000 | #Constraints: 30845 3326.58/3335.28 c #Conflicts: 1136000 | #Constraints: 31845 3326.58/3335.28 c #Conflicts: 1137000 | #Constraints: 32845 3326.58/3335.28 c #Conflicts: 1138000 | #Constraints: 33845 3326.58/3335.28 c #Conflicts: 1139000 | #Constraints: 34845 3326.58/3335.28 c #Conflicts: 1140000 | #Constraints: 35845 3326.58/3335.28 c #Conflicts: 1141000 | #Constraints: 36846 3326.58/3335.28 c #Conflicts: 1142000 | #Constraints: 37846 3326.58/3335.28 c #Conflicts: 1143000 | #Constraints: 38846 3326.58/3335.28 c #Conflicts: 1144000 | #Constraints: 39848 3326.58/3335.28 c #Conflicts: 1145000 | #Constraints: 40850 3326.58/3335.28 c #Conflicts: 1146000 | #Constraints: 41850 3326.58/3335.28 c INPROCESSING 3326.58/3335.28 c GARBAGE COLLECT 3326.58/3335.28 c rational objective 0 3431.02/3439.90 c #Conflicts: 1147000 | #Constraints: 21643 3431.02/3439.90 c #Conflicts: 1148000 | #Constraints: 22643 3431.02/3439.90 c #Conflicts: 1149000 | #Constraints: 23644 3431.02/3439.90 c #Conflicts: 1150000 | #Constraints: 24644 3431.02/3439.90 c #Conflicts: 1151000 | #Constraints: 25645 3431.02/3439.90 c #Conflicts: 1152000 | #Constraints: 26645 3431.02/3439.90 c #Conflicts: 1153000 | #Constraints: 27645 3431.02/3439.90 c #Conflicts: 1154000 | #Constraints: 28645 3431.02/3439.90 c #Conflicts: 1155000 | #Constraints: 29645 3431.02/3439.90 c #Conflicts: 1156000 | #Constraints: 30645 3431.02/3439.90 c #Conflicts: 1157000 | #Constraints: 31646 3431.02/3439.90 c #Conflicts: 1158000 | #Constraints: 32648 3431.02/3439.90 c #Conflicts: 1159000 | #Constraints: 33649 3431.02/3439.90 c #Conflicts: 1160000 | #Constraints: 34650 3431.02/3439.90 c #Conflicts: 1161000 | #Constraints: 35651 3431.02/3439.90 c #Conflicts: 1162000 | #Constraints: 36651 3431.02/3439.90 c #Conflicts: 1163000 | #Constraints: 37651 3431.02/3439.90 c #Conflicts: 1164000 | #Constraints: 38652 3431.02/3439.90 c #Conflicts: 1165000 | #Constraints: 39652 3431.02/3439.90 c #Conflicts: 1166000 | #Constraints: 40653 3431.02/3439.90 c #Conflicts: 1167000 | #Constraints: 41653 3431.02/3439.90 c #Conflicts: 1168000 | #Constraints: 42654 3431.02/3439.90 c INPROCESSING 3431.02/3439.90 c GARBAGE COLLECT 3431.02/3439.90 c rational objective 0 3539.04/3548.24 c #Conflicts: 1169000 | #Constraints: 22247 3539.04/3548.24 c #Conflicts: 1170000 | #Constraints: 23247 3539.04/3548.24 c #Conflicts: 1171000 | #Constraints: 24249 3539.04/3548.24 c #Conflicts: 1172000 | #Constraints: 25249 3539.04/3548.24 c #Conflicts: 1173000 | #Constraints: 26250 3539.04/3548.24 c #Conflicts: 1174000 | #Constraints: 27251 3539.04/3548.24 c #Conflicts: 1175000 | #Constraints: 28252 3539.04/3548.24 c #Conflicts: 1176000 | #Constraints: 29253 3539.04/3548.24 c #Conflicts: 1177000 | #Constraints: 30254 3539.04/3548.24 c #Conflicts: 1178000 | #Constraints: 31254 3539.04/3548.24 c #Conflicts: 1179000 | #Constraints: 32254 3539.04/3548.24 c #Conflicts: 1180000 | #Constraints: 33254 3539.04/3548.24 c #Conflicts: 1181000 | #Constraints: 34254 3539.04/3548.24 c #Conflicts: 1182000 | #Constraints: 35255 3539.04/3548.24 c #Conflicts: 1183000 | #Constraints: 36255 3539.04/3548.24 c #Conflicts: 1184000 | #Constraints: 37255 3539.04/3548.24 c #Conflicts: 1185000 | #Constraints: 38257 3539.04/3548.24 c #Conflicts: 1186000 | #Constraints: 39257 3539.04/3548.24 c #Conflicts: 1187000 | #Constraints: 40258 3539.04/3548.24 c #Conflicts: 1188000 | #Constraints: 41258 3539.04/3548.24 c #Conflicts: 1189000 | #Constraints: 42260 3539.04/3548.24 c #Conflicts: 1190000 | #Constraints: 43261 3539.04/3548.24 c INPROCESSING 3539.04/3548.24 c GARBAGE COLLECT 3539.04/3548.24 c rational objective 0 3600.07/3609.40 c #Conflicts: 1191000 | #Constraints: 22647 3600.07/3609.40 c #Conflicts: 1192000 | #Constraints: 23647 3600.07/3609.40 c #Conflicts: 1193000 | #Constraints: 24647 3600.07/3609.40 c #Conflicts: 1194000 | #Constraints: 25648 3600.07/3609.40 c #Conflicts: 1195000 | #Constraints: 26648 3600.07/3609.40 c #Conflicts: 1196000 | #Constraints: 27649 3600.07/3609.40 c #Conflicts: 1197000 | #Constraints: 28649 3600.07/3609.40 c #Conflicts: 1198000 | #Constraints: 29649 3600.07/3609.40 c #Conflicts: 1199000 | #Constraints: 30649 3600.07/3609.40 c #Conflicts: 1200000 | #Constraints: 31650 3600.07/3609.40 c #Conflicts: 1201000 | #Constraints: 32652 3600.07/3609.40 c #Conflicts: 1202000 | #Constraints: 33652 3600.07/3609.40 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: 64096 MiB (61993 MiB free)
memory of node 1: 64473 MiB (61356 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460213-1722064839/watcher-4460213-1722064839 -o /tmp/evaluation-result-4460213-1722064839/solver-4460213-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722064836-319219 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460213-1722064839 --lp-cut-gomory=0 HOME/instance-4460213-1722064839.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=319420, runsolver pid=319417
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 0.39 0.15 0.11 4/244 319427
/proc/meminfo: memFree=126309320/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=37900 memory=10408 CPUtime=0.1 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 410 0 0 0 9 1 0 0 20 0 1 0 42472740 38809600 2602 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 9475 2602 1874 992 0 1333 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37900 KiB
Current children cumulated memory: 10408 KiB
[startup+0.213096 s]*
/proc/loadavg: 0.39 0.15 0.11 4/241 319435
/proc/meminfo: memFree=126307912/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=38028 memory=10536 CPUtime=0.21 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 447 0 0 0 19 2 0 0 20 0 1 0 42472740 38940672 2634 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 9507 2634 1874 992 0 1365 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38028 KiB
Current children cumulated memory: 10536 KiB
[startup+0.312898 s]*
/proc/loadavg: 0.39 0.15 0.11 4/241 319435
/proc/meminfo: memFree=126305376/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=38156 memory=10652 CPUtime=0.32 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 466 0 0 0 29 3 0 0 20 0 1 0 42472740 39071744 2663 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 9539 2663 1874 992 0 1397 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 38156 KiB
Current children cumulated memory: 10652 KiB
[startup+0.700263 s]
/proc/loadavg: 0.39 0.15 0.11 5/241 319435
/proc/meminfo: memFree=126298048/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=38416 memory=10780 CPUtime=0.69 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 536 0 0 0 64 5 0 0 20 0 1 0 42472740 39337984 2695 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 9604 2695 1874 992 0 1462 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38416 KiB
Current children cumulated memory: 10780 KiB
[startup+1.50028 s]
/proc/loadavg: 0.39 0.15 0.11 5/246 319474
/proc/meminfo: memFree=126276512/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=38816 memory=11300 CPUtime=1.48 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 651 0 0 0 139 9 0 0 20 0 1 0 42472740 39747584 2825 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 9704 2825 1874 992 0 1562 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38816 KiB
Current children cumulated memory: 11300 KiB
[startup+3.11222 s]
/proc/loadavg: 0.68 0.21 0.13 5/246 319474
/proc/meminfo: memFree=126200356/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=39808 memory=12088 CPUtime=3.09 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 879 0 0 0 295 14 0 0 20 0 1 0 42472740 40763392 3022 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 9952 3022 1874 992 0 1810 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39808 KiB
Current children cumulated memory: 12088 KiB
[startup+6.30026 s]
/proc/loadavg: 0.68 0.21 0.13 5/246 319474
/proc/meminfo: memFree=126080536/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=40224 memory=14784 CPUtime=6.27 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 988 0 0 0 604 23 0 0 20 0 1 0 42472740 41189376 3696 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 10056 3696 1874 992 0 1914 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40224 KiB
Current children cumulated memory: 14784 KiB
[startup+12.7003 s]
/proc/loadavg: 0.95 0.27 0.15 5/246 319475
/proc/meminfo: memFree=125849220/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=41008 memory=15292 CPUtime=12.65 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 1139 0 0 0 1229 36 0 0 20 0 1 0 42472740 41992192 3823 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 10252 3823 1874 992 0 2110 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41008 KiB
Current children cumulated memory: 15292 KiB
[startup+25.5003 s]
/proc/loadavg: 1.69 0.47 0.22 5/247 319478
/proc/meminfo: memFree=125540044/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=42352 memory=16508 CPUtime=25.42 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 1434 0 0 0 2484 58 0 0 20 0 1 0 42472740 43368448 4127 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 10588 4127 1874 992 0 2446 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 42352 KiB
Current children cumulated memory: 16508 KiB
[startup+51.1124 s]
/proc/loadavg: 2.48 0.76 0.32 5/247 319483
/proc/meminfo: memFree=125076688/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=45584 memory=17804 CPUtime=50.97 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 1821 0 0 0 5002 95 0 0 20 0 1 0 42472740 46678016 4451 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 11396 4451 1874 992 0 3254 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 45584 KiB
Current children cumulated memory: 17804 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.29 0.53 5/250 319495
/proc/meminfo: memFree=123967280/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=48464 memory=21368 CPUtime=102.03 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 2737 0 0 0 10048 155 0 0 20 0 1 0 42472740 49627136 5342 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 12116 5342 1874 992 0 3974 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 48464 KiB
Current children cumulated memory: 21368 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.80 0.75 5/251 319506
/proc/meminfo: memFree=123148136/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=53460 memory=23140 CPUtime=161.88 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 3212 0 0 0 15970 218 0 0 20 0 1 0 42472740 54743040 5785 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 13365 5785 1874 992 0 5223 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 53460 KiB
Current children cumulated memory: 23140 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.23 0.97 5/251 319517
/proc/meminfo: memFree=122269088/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=54228 memory=24520 CPUtime=221.73 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 3686 0 0 0 21900 273 0 0 20 0 1 0 42472740 55529472 6130 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 13557 6130 1874 992 0 5415 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 54228 KiB
Current children cumulated memory: 24520 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.59 1.17 5/250 319909
/proc/meminfo: memFree=121656212/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=54868 memory=27868 CPUtime=281.58 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 4044 0 0 0 27838 320 0 0 20 0 1 0 42472740 56184832 6967 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 13717 6967 1874 992 0 5575 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 54868 KiB
Current children cumulated memory: 27868 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 2.86 1.36 5/249 319919
/proc/meminfo: memFree=120949376/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=55380 memory=28952 CPUtime=341.41 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 4171 0 0 0 33770 371 0 0 20 0 1 0 42472740 56709120 7238 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 13845 7238 1874 992 0 5703 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 55380 KiB
Current children cumulated memory: 28952 KiB
[startup+402.3 s]
/proc/loadavg: 4.25 3.12 1.54 5/249 319930
/proc/meminfo: memFree=120267568/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=56276 memory=29536 CPUtime=401.28 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 4444 0 0 0 39711 417 0 0 20 0 1 0 42472740 57626624 7384 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 14069 7384 1874 992 0 5927 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 56276 KiB
Current children cumulated memory: 29536 KiB
[startup+462.3 s]
/proc/loadavg: 4.26 3.33 1.71 5/248 320110
/proc/meminfo: memFree=119698496/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=58616 memory=30956 CPUtime=461.13 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 4892 0 0 0 45653 460 0 0 20 0 1 0 42472740 60022784 7739 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 14654 7739 1874 992 0 6512 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.17 4.19 4.10 5/246 321224
/proc/meminfo: memFree=103209304/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=75752 memory=48972 CPUtime=3154.12 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 10593 0 0 0 313422 1990 0 0 20 0 1 0 42472740 77570048 12243 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 18938 12243 1874 992 0 10796 0
Current children cumulated CPU time: 3154.12 s
Current children cumulated vsize: 75752 KiB
Current children cumulated memory: 48972 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/246 321234
/proc/meminfo: memFree=102959336/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=87684 memory=49408 CPUtime=3213.97 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 10753 0 0 0 319380 2017 0 0 20 0 1 0 42472740 89788416 12352 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 21921 12352 1874 992 0 13779 0
Current children cumulated CPU time: 3213.97 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 49408 KiB
[startup+3282.3 s]
/proc/loadavg: 4.28 4.23 4.12 5/247 321247
/proc/meminfo: memFree=102667536/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=87684 memory=49832 CPUtime=3273.82 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 10928 0 0 0 325333 2049 0 0 20 0 1 0 42472740 89788416 12458 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 21921 12458 1874 992 0 13779 0
Current children cumulated CPU time: 3273.82 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 49832 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.23 4.13 5/244 321257
/proc/meminfo: memFree=102328164/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=87940 memory=49984 CPUtime=3333.66 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 11068 0 0 0 331285 2081 0 0 20 0 1 0 42472740 90050560 12496 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 21985 12496 1874 992 0 13843 0
Current children cumulated CPU time: 3333.66 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49984 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.22 4.13 5/244 321267
/proc/meminfo: memFree=102005588/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=87940 memory=49984 CPUtime=3393.51 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 11078 0 0 0 337237 2114 0 0 20 0 1 0 42472740 90050560 12496 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 21985 12496 1874 992 0 13843 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49984 KiB
[startup+3462.3 s]
/proc/loadavg: 4.45 4.27 4.15 5/247 321282
/proc/meminfo: memFree=101727620/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=87940 memory=49984 CPUtime=3453.35 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 11180 0 0 0 343193 2142 0 0 20 0 1 0 42472740 90050560 12496 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 21985 12496 1874 992 0 13843 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.24 4.14 5/247 321293
/proc/meminfo: memFree=101466340/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=87940 memory=49984 CPUtime=3513.2 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 11190 0 0 0 349143 2177 0 0 20 0 1 0 42472740 90050560 12496 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 21985 12496 1874 992 0 13843 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49984 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.21 4.14 5/247 321305
/proc/meminfo: memFree=101213280/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=87940 memory=50048 CPUtime=3573.05 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 11309 0 0 0 355098 2207 0 0 20 0 1 0 42472740 90050560 12512 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 21985 12512 1874 992 0 13843 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 50048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.13 4.20 4.14 4/247 321309
/proc/meminfo: memFree=101099640/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=87940 memory=50048 CPUtime=3600.07 cores=4,6
/proc/319420/stat : 319420 (roundingsat) R 319417 319420 319208 0 -1 4194304 11319 0 0 0 357787 2220 0 0 20 0 1 0 42472740 90050560 12512 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 21985 12512 1874 992 0 13843 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 50048 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.13 4.20 4.14 2/246 321311
/proc/meminfo: memFree=101095824/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=87940 memory=50048 CPUtime=3600.08 cores=4,6
/proc/319420/stat : 319420 (roundingsat) D 319417 319420 319208 0 -1 4194304 11326 0 0 0 357788 2220 0 0 20 0 1 0 42472740 90050560 12512 134679101440 4194304 8254357 140724643898864 0 0 256 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 21985 12512 1874 992 0 13843 0
??? kill 319420 sig 9
??? end of watcher thread
[startup+3619.78 s]
# the end of solver process 319420 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3577.88 s, system=22.2138 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.13 4.20 4.14 4/247 321309
/proc/meminfo: memFree=101099640/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=87940 memory=50048 CPUtime=3600.08 cores=4,6
/proc/319420/stat : 319420 (roundingsat) D 319417 319420 319208 0 -1 4194304 11326 0 0 0 357788 2220 0 0 20 0 1 0 42472740 90050560 12512 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 21985 12512 1874 992 0 13843 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 50048 KiB
[startup+3610.4 s]
/proc/loadavg: 4.13 4.20 4.14 3/246 321311
/proc/meminfo: memFree=101098060/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=87940 memory=50048 CPUtime=3600.08 cores=4,6
/proc/319420/stat : 319420 (roundingsat) D 319417 319420 319208 0 -1 4194304 11326 0 0 0 357788 2220 0 0 20 0 1 0 42472740 90050560 12512 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 21985 12512 1874 992 0 13843 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 50048 KiB
[startup+3611.2 s]
/proc/loadavg: 4.13 4.20 4.14 2/246 321311
/proc/meminfo: memFree=101096084/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=87940 memory=50048 CPUtime=3600.08 cores=4,6
/proc/319420/stat : 319420 (roundingsat) D 319417 319420 319208 0 -1 4194304 11326 0 0 0 357788 2220 0 0 20 0 1 0 42472740 90050560 12512 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 21985 12512 1874 992 0 13843 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 50048 KiB
[startup+3611.4 s]
/proc/loadavg: 4.13 4.20 4.14 2/246 321311
/proc/meminfo: memFree=101096084/131655788 swapFree=131070192/131071996
[pid=319420] ppid=319417 vsize=87940 memory=50048 CPUtime=3600.08 cores=4,6
/proc/319420/stat : 319420 (roundingsat) D 319417 319420 319208 0 -1 4194304 11326 0 0 0 357788 2220 0 0 20 0 1 0 42472740 90050560 12512 134679101440 4194304 8254357 140724643898864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16695296 140724643906395 140724643906657 140724643906657 140724643913673 0
/proc/319420/statm: 21985 12512 1874 992 0 13843 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 50048 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3619.78
CPU time (s): 3600.09
CPU user time (s): 3577.88
CPU system time (s): 22.2138
CPU usage (%): 99.4561
Max. virtual memory (cumulated for all children) (KiB): 87940
Max. memory (cumulated for all children) (KiB): 50048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.88
system time used= 22.2138
maximum resident set size= 50456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9456424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356
involuntary context switches= 5039
# summary of solver processes directly reported to runsolver:
# pid: 319420
# total CPU time (s): 3600.09
# total CPU user time (s): 3577.88
# total CPU system time (s): 22.2138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6818 second user time and 36.9706 second system time
The end
Begin job on nodeC002 at 2024-07-27 09:20:39 IDJOB=4460213 IDBENCH=147613 IDSOLVER=3086 FILE ID=nodeC002/4460213-1722064839 RUNJOBID= nodeC002-1722064836-319219 SLURM_JOB_ID= 8248104 Free space on /tmp= 723772 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.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-4460213-1722064839/watcher-4460213-1722064839 -o /tmp/evaluation-result-4460213-1722064839/solver-4460213-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722064836-319219 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460213-1722064839 --lp-cut-gomory=0 HOME/instance-4460213-1722064839.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8548cf2fe8567884970fc9be656882ff RANDOM SEED=1859590444 nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.169 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.714 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.161 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.206 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.171 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.218 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.161 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.159 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126319848 kB MemAvailable: 129891140 kB Buffers: 375532 kB Cached: 4008728 kB SwapCached: 72 kB Active: 2437244 kB Inactive: 2307528 kB Active(anon): 1504 kB Inactive(anon): 412920 kB Active(file): 2435740 kB Inactive(file): 1894608 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070192 kB Dirty: 49500 kB Writeback: 268 kB AnonPages: 359304 kB Mapped: 109892 kB Shmem: 53844 kB KReclaimable: 162284 kB Slab: 276232 kB SReclaimable: 162284 kB SUnreclaim: 113948 kB KernelStack: 3892 kB PageTables: 10016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 708620 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14752 kB HardwareCorrupted: 0 kB AnonHugePages: 200704 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: 316232 kB DirectMap2M: 36288512 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 723760 MiB End job on nodeC002 at 2024-07-27 10:20:59