| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.03 | 3624.91 |
| 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.000716 0.00/0.00 c rational objective 0 0.20/0.30 c #Conflicts: 1000 | #Constraints: 1032 0.20/0.30 c #Conflicts: 2000 | #Constraints: 2041 0.20/0.30 c INPROCESSING 0.20/0.30 c GARBAGE COLLECT 0.20/0.30 c rational objective 0 0.78/0.82 c #Conflicts: 3000 | #Constraints: 2040 0.78/0.82 c #Conflicts: 4000 | #Constraints: 3054 0.78/0.82 c INPROCESSING 0.78/0.82 c GARBAGE COLLECT 0.78/0.82 c rational objective 0 1.48/1.57 c #Conflicts: 5000 | #Constraints: 2445 1.48/1.57 c #Conflicts: 6000 | #Constraints: 3448 1.48/1.57 c INPROCESSING 1.48/1.57 c GARBAGE COLLECT 1.48/1.57 c rational objective 0 2.47/2.54 c #Conflicts: 7000 | #Constraints: 2440 2.47/2.54 c #Conflicts: 8000 | #Constraints: 3444 2.47/2.54 c #Conflicts: 9000 | #Constraints: 4449 2.47/2.54 c INPROCESSING 2.47/2.54 c GARBAGE COLLECT 2.47/2.54 c rational objective 0 3.48/3.58 c #Conflicts: 10000 | #Constraints: 3150 3.48/3.58 c #Conflicts: 11000 | #Constraints: 4152 3.48/3.58 c #Conflicts: 12000 | #Constraints: 5155 3.48/3.58 c INPROCESSING 3.48/3.58 c GARBAGE COLLECT 3.48/3.58 c rational objective 0 4.87/4.90 c #Conflicts: 13000 | #Constraints: 3592 4.87/4.90 c #Conflicts: 14000 | #Constraints: 4594 4.87/4.90 c #Conflicts: 15000 | #Constraints: 5597 4.87/4.90 c INPROCESSING 4.87/4.90 c GARBAGE COLLECT 4.87/4.90 c rational objective 0 6.57/6.63 c #Conflicts: 16000 | #Constraints: 3816 6.57/6.63 c #Conflicts: 17000 | #Constraints: 4816 6.57/6.63 c #Conflicts: 18000 | #Constraints: 5818 6.57/6.63 c INPROCESSING 6.57/6.63 c GARBAGE COLLECT 6.57/6.63 c rational objective 0 8.37/8.46 c #Conflicts: 19000 | #Constraints: 3829 8.37/8.46 c #Conflicts: 20000 | #Constraints: 4832 8.37/8.46 c #Conflicts: 21000 | #Constraints: 5835 8.37/8.46 c INPROCESSING 8.37/8.46 c GARBAGE COLLECT 8.37/8.46 c rational objective 0 10.36/10.48 c #Conflicts: 22000 | #Constraints: 3633 10.36/10.48 c #Conflicts: 23000 | #Constraints: 4635 10.36/10.48 c #Conflicts: 24000 | #Constraints: 5640 10.36/10.48 c #Conflicts: 25000 | #Constraints: 6645 10.36/10.48 c INPROCESSING 10.36/10.48 c GARBAGE COLLECT 10.36/10.48 c rational objective 0 12.65/12.79 c #Conflicts: 26000 | #Constraints: 4238 12.65/12.79 c #Conflicts: 27000 | #Constraints: 5240 12.65/12.79 c #Conflicts: 28000 | #Constraints: 6245 12.65/12.79 c #Conflicts: 29000 | #Constraints: 7245 12.65/12.79 c INPROCESSING 12.65/12.79 c GARBAGE COLLECT 12.65/12.79 c rational objective 0 15.25/15.38 c #Conflicts: 30000 | #Constraints: 4638 15.25/15.38 c #Conflicts: 31000 | #Constraints: 5639 15.25/15.38 c #Conflicts: 32000 | #Constraints: 6639 15.25/15.38 c #Conflicts: 33000 | #Constraints: 7639 15.25/15.38 c INPROCESSING 15.25/15.38 c GARBAGE COLLECT 15.25/15.38 c rational objective 0 18.34/18.49 c #Conflicts: 34000 | #Constraints: 4835 18.34/18.49 c #Conflicts: 35000 | #Constraints: 5837 18.34/18.49 c #Conflicts: 36000 | #Constraints: 6839 18.34/18.49 c #Conflicts: 37000 | #Constraints: 7841 18.34/18.49 c INPROCESSING 18.34/18.49 c GARBAGE COLLECT 18.34/18.49 c rational objective 0 21.83/21.90 c #Conflicts: 38000 | #Constraints: 4839 21.83/21.90 c #Conflicts: 39000 | #Constraints: 5839 21.83/21.90 c #Conflicts: 40000 | #Constraints: 6839 21.83/21.90 c #Conflicts: 41000 | #Constraints: 7841 21.83/21.90 c INPROCESSING 21.83/21.90 c GARBAGE COLLECT 21.83/21.90 c rational objective 0 25.52/25.67 c #Conflicts: 42000 | #Constraints: 4640 25.52/25.67 c #Conflicts: 43000 | #Constraints: 5642 25.52/25.67 c #Conflicts: 44000 | #Constraints: 6645 25.52/25.67 c #Conflicts: 45000 | #Constraints: 7649 25.52/25.67 c #Conflicts: 46000 | #Constraints: 8650 25.52/25.67 c INPROCESSING 25.52/25.67 c GARBAGE COLLECT 25.52/25.67 c rational objective 0 29.12/29.22 c #Conflicts: 47000 | #Constraints: 5237 29.12/29.22 c #Conflicts: 48000 | #Constraints: 6240 29.12/29.22 c #Conflicts: 49000 | #Constraints: 7242 29.12/29.22 c #Conflicts: 50000 | #Constraints: 8243 29.12/29.22 c #Conflicts: 51000 | #Constraints: 9244 29.12/29.22 c INPROCESSING 29.12/29.22 c GARBAGE COLLECT 29.12/29.22 c rational objective 0 33.11/33.27 c #Conflicts: 52000 | #Constraints: 5640 33.11/33.27 c #Conflicts: 53000 | #Constraints: 6640 33.11/33.27 c #Conflicts: 54000 | #Constraints: 7641 33.11/33.27 c #Conflicts: 55000 | #Constraints: 8644 33.11/33.27 c #Conflicts: 56000 | #Constraints: 9645 33.11/33.27 c INPROCESSING 33.11/33.27 c GARBAGE COLLECT 33.11/33.27 c rational objective 0 37.29/37.40 c #Conflicts: 57000 | #Constraints: 5837 37.29/37.40 c #Conflicts: 58000 | #Constraints: 6841 37.29/37.40 c #Conflicts: 59000 | #Constraints: 7841 37.29/37.40 c #Conflicts: 60000 | #Constraints: 8841 37.29/37.40 c #Conflicts: 61000 | #Constraints: 9842 37.29/37.40 c INPROCESSING 37.29/37.40 c GARBAGE COLLECT 37.29/37.40 c rational objective 0 42.19/42.34 c #Conflicts: 62000 | #Constraints: 5834 42.19/42.34 c #Conflicts: 63000 | #Constraints: 6835 42.19/42.34 c #Conflicts: 64000 | #Constraints: 7835 42.19/42.34 c #Conflicts: 65000 | #Constraints: 8836 42.19/42.34 c #Conflicts: 66000 | #Constraints: 9837 42.19/42.34 c INPROCESSING 42.19/42.34 c GARBAGE COLLECT 42.19/42.34 c rational objective 0 47.27/47.49 c #Conflicts: 67000 | #Constraints: 5634 47.27/47.49 c #Conflicts: 68000 | #Constraints: 6634 47.27/47.49 c #Conflicts: 69000 | #Constraints: 7635 47.27/47.49 c #Conflicts: 70000 | #Constraints: 8635 47.27/47.49 c #Conflicts: 71000 | #Constraints: 9638 47.27/47.49 c #Conflicts: 72000 | #Constraints: 10639 47.27/47.49 c INPROCESSING 47.27/47.49 c GARBAGE COLLECT 47.27/47.49 c rational objective 0 52.86/53.04 c #Conflicts: 73000 | #Constraints: 6234 52.86/53.04 c #Conflicts: 74000 | #Constraints: 7236 52.86/53.04 c #Conflicts: 75000 | #Constraints: 8237 52.86/53.04 c #Conflicts: 76000 | #Constraints: 9239 52.86/53.04 c #Conflicts: 77000 | #Constraints: 10243 52.86/53.04 c #Conflicts: 78000 | #Constraints: 11245 52.86/53.04 c INPROCESSING 52.86/53.04 c GARBAGE COLLECT 52.86/53.04 c rational objective 0 58.64/58.83 c #Conflicts: 79000 | #Constraints: 6635 58.64/58.83 c #Conflicts: 80000 | #Constraints: 7637 58.64/58.83 c #Conflicts: 81000 | #Constraints: 8640 58.64/58.83 c #Conflicts: 82000 | #Constraints: 9644 58.64/58.83 c #Conflicts: 83000 | #Constraints: 10646 58.64/58.83 c #Conflicts: 84000 | #Constraints: 11647 58.64/58.83 c INPROCESSING 58.64/58.83 c GARBAGE COLLECT 58.64/58.83 c rational objective 0 65.12/65.31 c #Conflicts: 85000 | #Constraints: 6838 65.12/65.31 c #Conflicts: 86000 | #Constraints: 7840 65.12/65.31 c #Conflicts: 87000 | #Constraints: 8841 65.12/65.31 c #Conflicts: 88000 | #Constraints: 9841 65.12/65.31 c #Conflicts: 89000 | #Constraints: 10841 65.12/65.31 c #Conflicts: 90000 | #Constraints: 11842 65.12/65.31 c INPROCESSING 65.12/65.31 c GARBAGE COLLECT 65.12/65.31 c rational objective 0 72.40/72.62 c #Conflicts: 91000 | #Constraints: 6839 72.40/72.62 c #Conflicts: 92000 | #Constraints: 7841 72.40/72.62 c #Conflicts: 93000 | #Constraints: 8841 72.40/72.62 c #Conflicts: 94000 | #Constraints: 9841 72.40/72.62 c #Conflicts: 95000 | #Constraints: 10842 72.40/72.62 c #Conflicts: 96000 | #Constraints: 11842 72.40/72.62 c INPROCESSING 72.40/72.62 c GARBAGE COLLECT 72.40/72.62 c rational objective 0 80.19/80.42 c #Conflicts: 97000 | #Constraints: 6635 80.19/80.42 c #Conflicts: 98000 | #Constraints: 7636 80.19/80.42 c #Conflicts: 99000 | #Constraints: 8636 80.19/80.42 c #Conflicts: 100000 | #Constraints: 9636 80.19/80.42 c #Conflicts: 101000 | #Constraints: 10636 80.19/80.42 c #Conflicts: 102000 | #Constraints: 11636 80.19/80.42 c #Conflicts: 103000 | #Constraints: 12636 80.19/80.42 c INPROCESSING 80.19/80.42 c GARBAGE COLLECT 80.19/80.42 c rational objective 0 87.17/87.47 c #Conflicts: 104000 | #Constraints: 7233 87.17/87.47 c #Conflicts: 105000 | #Constraints: 8234 87.17/87.47 c #Conflicts: 106000 | #Constraints: 9236 87.17/87.47 c #Conflicts: 107000 | #Constraints: 10236 87.17/87.47 c #Conflicts: 108000 | #Constraints: 11237 87.17/87.47 c #Conflicts: 109000 | #Constraints: 12238 87.17/87.47 c #Conflicts: 110000 | #Constraints: 13239 87.17/87.47 c INPROCESSING 87.17/87.47 c GARBAGE COLLECT 87.17/87.47 c rational objective 0 94.75/95.02 c #Conflicts: 111000 | #Constraints: 7638 94.75/95.02 c #Conflicts: 112000 | #Constraints: 8640 94.75/95.02 c #Conflicts: 113000 | #Constraints: 9642 94.75/95.02 c #Conflicts: 114000 | #Constraints: 10643 94.75/95.02 c #Conflicts: 115000 | #Constraints: 11643 94.75/95.02 c #Conflicts: 116000 | #Constraints: 12643 94.75/95.02 c #Conflicts: 117000 | #Constraints: 13645 94.75/95.02 c INPROCESSING 94.75/95.02 c GARBAGE COLLECT 94.75/95.02 c rational objective 0 103.03/103.39 c #Conflicts: 118000 | #Constraints: 7846 103.03/103.39 c #Conflicts: 119000 | #Constraints: 8848 103.03/103.39 c #Conflicts: 120000 | #Constraints: 9849 103.03/103.39 c #Conflicts: 121000 | #Constraints: 10849 103.03/103.39 c #Conflicts: 122000 | #Constraints: 11850 103.03/103.39 c #Conflicts: 123000 | #Constraints: 12853 103.03/103.39 c #Conflicts: 124000 | #Constraints: 13853 103.03/103.39 c INPROCESSING 103.03/103.39 c GARBAGE COLLECT 103.03/103.39 c rational objective 0 111.81/112.15 c #Conflicts: 125000 | #Constraints: 7845 111.81/112.15 c #Conflicts: 126000 | #Constraints: 8845 111.81/112.15 c #Conflicts: 127000 | #Constraints: 9845 111.81/112.15 c #Conflicts: 128000 | #Constraints: 10845 111.81/112.15 c #Conflicts: 129000 | #Constraints: 11846 111.81/112.15 c #Conflicts: 130000 | #Constraints: 12847 111.81/112.15 c #Conflicts: 131000 | #Constraints: 13847 111.81/112.15 c INPROCESSING 111.81/112.15 c GARBAGE COLLECT 111.81/112.15 c rational objective 0 121.29/121.62 c #Conflicts: 132000 | #Constraints: 7639 121.29/121.62 c #Conflicts: 133000 | #Constraints: 8639 121.29/121.62 c #Conflicts: 134000 | #Constraints: 9640 121.29/121.62 c #Conflicts: 135000 | #Constraints: 10641 121.29/121.62 c #Conflicts: 136000 | #Constraints: 11642 121.29/121.62 c #Conflicts: 137000 | #Constraints: 12642 121.29/121.62 c #Conflicts: 138000 | #Constraints: 13642 121.29/121.62 c #Conflicts: 139000 | #Constraints: 14642 121.29/121.62 c INPROCESSING 121.29/121.62 c GARBAGE COLLECT 121.29/121.62 c rational objective 0 131.85/132.22 c #Conflicts: 140000 | #Constraints: 8239 131.85/132.22 c #Conflicts: 141000 | #Constraints: 9241 131.85/132.22 c #Conflicts: 142000 | #Constraints: 10243 131.85/132.22 c #Conflicts: 143000 | #Constraints: 11243 131.85/132.22 c #Conflicts: 144000 | #Constraints: 12243 131.85/132.22 c #Conflicts: 145000 | #Constraints: 13243 131.85/132.22 c #Conflicts: 146000 | #Constraints: 14243 131.85/132.22 c #Conflicts: 147000 | #Constraints: 15243 131.85/132.22 c INPROCESSING 131.85/132.22 c GARBAGE COLLECT 131.85/132.22 c rational objective 0 142.33/142.79 c #Conflicts: 148000 | #Constraints: 8639 142.33/142.79 c #Conflicts: 149000 | #Constraints: 9641 142.33/142.79 c #Conflicts: 150000 | #Constraints: 10641 142.33/142.79 c #Conflicts: 151000 | #Constraints: 11642 142.33/142.79 c #Conflicts: 152000 | #Constraints: 12643 142.33/142.79 c #Conflicts: 153000 | #Constraints: 13644 142.33/142.79 c #Conflicts: 154000 | #Constraints: 14645 142.33/142.79 c #Conflicts: 155000 | #Constraints: 15645 142.33/142.79 c INPROCESSING 142.33/142.79 c GARBAGE COLLECT 142.33/142.79 c rational objective 0 153.80/154.20 c #Conflicts: 156000 | #Constraints: 8839 153.80/154.20 c #Conflicts: 157000 | #Constraints: 9839 153.80/154.20 c #Conflicts: 158000 | #Constraints: 10840 153.80/154.20 c #Conflicts: 159000 | #Constraints: 11840 153.80/154.20 c #Conflicts: 160000 | #Constraints: 12842 153.80/154.20 c #Conflicts: 161000 | #Constraints: 13843 153.80/154.20 c #Conflicts: 162000 | #Constraints: 14846 153.80/154.20 c #Conflicts: 163000 | #Constraints: 15848 153.80/154.20 c INPROCESSING 153.80/154.20 c GARBAGE COLLECT 153.80/154.20 c rational objective 0 164.97/165.47 c #Conflicts: 164000 | #Constraints: 8841 164.97/165.47 c #Conflicts: 165000 | #Constraints: 9842 164.97/165.47 c #Conflicts: 166000 | #Constraints: 10843 164.97/165.47 c #Conflicts: 167000 | #Constraints: 11843 164.97/165.47 c #Conflicts: 168000 | #Constraints: 12844 164.97/165.47 c #Conflicts: 169000 | #Constraints: 13846 164.97/165.47 c #Conflicts: 170000 | #Constraints: 14846 164.97/165.47 c #Conflicts: 171000 | #Constraints: 15846 164.97/165.47 c INPROCESSING 164.97/165.47 c GARBAGE COLLECT 164.97/165.47 c rational objective 0 176.84/177.34 c #Conflicts: 172000 | #Constraints: 8640 176.84/177.34 c #Conflicts: 173000 | #Constraints: 9640 176.84/177.34 c #Conflicts: 174000 | #Constraints: 10641 176.84/177.34 c #Conflicts: 175000 | #Constraints: 11642 176.84/177.34 c #Conflicts: 176000 | #Constraints: 12643 176.84/177.34 c #Conflicts: 177000 | #Constraints: 13643 176.84/177.34 c #Conflicts: 178000 | #Constraints: 14644 176.84/177.34 c #Conflicts: 179000 | #Constraints: 15644 176.84/177.34 c #Conflicts: 180000 | #Constraints: 16645 176.84/177.34 c INPROCESSING 176.84/177.34 c GARBAGE COLLECT 176.84/177.34 c rational objective 0 189.82/190.32 c #Conflicts: 181000 | #Constraints: 9237 189.82/190.32 c #Conflicts: 182000 | #Constraints: 10238 189.82/190.32 c #Conflicts: 183000 | #Constraints: 11238 189.82/190.32 c #Conflicts: 184000 | #Constraints: 12238 189.82/190.32 c #Conflicts: 185000 | #Constraints: 13239 189.82/190.32 c #Conflicts: 186000 | #Constraints: 14239 189.82/190.32 c #Conflicts: 187000 | #Constraints: 15240 189.82/190.32 c #Conflicts: 188000 | #Constraints: 16241 189.82/190.32 c #Conflicts: 189000 | #Constraints: 17241 189.82/190.32 c INPROCESSING 189.82/190.32 c GARBAGE COLLECT 189.82/190.32 c rational objective 0 204.78/205.38 c #Conflicts: 190000 | #Constraints: 9640 204.78/205.38 c #Conflicts: 191000 | #Constraints: 10641 204.78/205.38 c #Conflicts: 192000 | #Constraints: 11641 204.78/205.38 c #Conflicts: 193000 | #Constraints: 12642 204.78/205.38 c #Conflicts: 194000 | #Constraints: 13644 204.78/205.38 c #Conflicts: 195000 | #Constraints: 14644 204.78/205.38 c #Conflicts: 196000 | #Constraints: 15644 204.78/205.38 c #Conflicts: 197000 | #Constraints: 16645 204.78/205.38 c #Conflicts: 198000 | #Constraints: 17645 204.78/205.38 c INPROCESSING 204.78/205.38 c GARBAGE COLLECT 204.78/205.38 c rational objective 0 220.14/220.75 c #Conflicts: 199000 | #Constraints: 9841 220.14/220.75 c #Conflicts: 200000 | #Constraints: 10842 220.14/220.75 c #Conflicts: 201000 | #Constraints: 11843 220.14/220.75 c #Conflicts: 202000 | #Constraints: 12843 220.14/220.75 c #Conflicts: 203000 | #Constraints: 13843 220.14/220.75 c #Conflicts: 204000 | #Constraints: 14843 220.14/220.75 c #Conflicts: 205000 | #Constraints: 15843 220.14/220.75 c #Conflicts: 206000 | #Constraints: 16843 220.14/220.75 c #Conflicts: 207000 | #Constraints: 17844 220.14/220.75 c INPROCESSING 220.14/220.75 c GARBAGE COLLECT 220.14/220.75 c rational objective 0 236.80/237.43 c #Conflicts: 208000 | #Constraints: 9841 236.80/237.43 c #Conflicts: 209000 | #Constraints: 10841 236.80/237.43 c #Conflicts: 210000 | #Constraints: 11842 236.80/237.43 c #Conflicts: 211000 | #Constraints: 12842 236.80/237.43 c #Conflicts: 212000 | #Constraints: 13842 236.80/237.43 c #Conflicts: 213000 | #Constraints: 14842 236.80/237.43 c #Conflicts: 214000 | #Constraints: 15843 236.80/237.43 c #Conflicts: 215000 | #Constraints: 16844 236.80/237.43 c #Conflicts: 216000 | #Constraints: 17844 236.80/237.43 c INPROCESSING 236.80/237.43 c GARBAGE COLLECT 236.80/237.43 c rational objective 0 254.95/255.61 c #Conflicts: 217000 | #Constraints: 9637 254.95/255.61 c #Conflicts: 218000 | #Constraints: 10638 254.95/255.61 c #Conflicts: 219000 | #Constraints: 11639 254.95/255.61 c #Conflicts: 220000 | #Constraints: 12640 254.95/255.61 c #Conflicts: 221000 | #Constraints: 13641 254.95/255.61 c #Conflicts: 222000 | #Constraints: 14641 254.95/255.61 c #Conflicts: 223000 | #Constraints: 15641 254.95/255.61 c #Conflicts: 224000 | #Constraints: 16641 254.95/255.61 c #Conflicts: 225000 | #Constraints: 17642 254.95/255.61 c #Conflicts: 226000 | #Constraints: 18642 254.95/255.61 c INPROCESSING 254.95/255.61 c GARBAGE COLLECT 254.95/255.61 c rational objective 0 272.01/272.79 c #Conflicts: 227000 | #Constraints: 10236 272.01/272.79 c #Conflicts: 228000 | #Constraints: 11238 272.01/272.79 c #Conflicts: 229000 | #Constraints: 12238 272.01/272.79 c #Conflicts: 230000 | #Constraints: 13238 272.01/272.79 c #Conflicts: 231000 | #Constraints: 14238 272.01/272.79 c #Conflicts: 232000 | #Constraints: 15238 272.01/272.79 c #Conflicts: 233000 | #Constraints: 16238 272.01/272.79 c #Conflicts: 234000 | #Constraints: 17240 272.01/272.79 c #Conflicts: 235000 | #Constraints: 18241 272.01/272.79 c #Conflicts: 236000 | #Constraints: 19241 272.01/272.79 c INPROCESSING 272.01/272.79 c GARBAGE COLLECT 272.01/272.79 c rational objective 0 288.87/289.68 c #Conflicts: 237000 | #Constraints: 10637 288.87/289.68 c #Conflicts: 238000 | #Constraints: 11637 288.87/289.68 c #Conflicts: 239000 | #Constraints: 12638 288.87/289.68 c #Conflicts: 240000 | #Constraints: 13639 288.87/289.68 c #Conflicts: 241000 | #Constraints: 14640 288.87/289.68 c #Conflicts: 242000 | #Constraints: 15640 288.87/289.68 c #Conflicts: 243000 | #Constraints: 16640 288.87/289.68 c #Conflicts: 244000 | #Constraints: 17640 288.87/289.68 c #Conflicts: 245000 | #Constraints: 18641 288.87/289.68 c #Conflicts: 246000 | #Constraints: 19642 288.87/289.68 c INPROCESSING 288.87/289.68 c GARBAGE COLLECT 288.87/289.68 c rational objective 0 307.42/308.23 c #Conflicts: 247000 | #Constraints: 10840 307.42/308.23 c #Conflicts: 248000 | #Constraints: 11842 307.42/308.23 c #Conflicts: 249000 | #Constraints: 12842 307.42/308.23 c #Conflicts: 250000 | #Constraints: 13842 307.42/308.23 c #Conflicts: 251000 | #Constraints: 14842 307.42/308.23 c #Conflicts: 252000 | #Constraints: 15843 307.42/308.23 c #Conflicts: 253000 | #Constraints: 16844 307.42/308.23 c #Conflicts: 254000 | #Constraints: 17844 307.42/308.23 c #Conflicts: 255000 | #Constraints: 18845 307.42/308.23 c #Conflicts: 256000 | #Constraints: 19846 307.42/308.23 c INPROCESSING 307.42/308.23 c GARBAGE COLLECT 307.42/308.23 c rational objective 0 326.37/327.27 c #Conflicts: 257000 | #Constraints: 10841 326.37/327.27 c #Conflicts: 258000 | #Constraints: 11843 326.37/327.27 c #Conflicts: 259000 | #Constraints: 12843 326.37/327.27 c #Conflicts: 260000 | #Constraints: 13843 326.37/327.27 c #Conflicts: 261000 | #Constraints: 14846 326.37/327.27 c #Conflicts: 262000 | #Constraints: 15846 326.37/327.27 c #Conflicts: 263000 | #Constraints: 16846 326.37/327.27 c #Conflicts: 264000 | #Constraints: 17847 326.37/327.27 c #Conflicts: 265000 | #Constraints: 18847 326.37/327.27 c #Conflicts: 266000 | #Constraints: 19847 326.37/327.27 c INPROCESSING 326.37/327.27 c GARBAGE COLLECT 326.37/327.27 c rational objective 0 346.82/347.78 c #Conflicts: 267000 | #Constraints: 10640 346.82/347.78 c #Conflicts: 268000 | #Constraints: 11640 346.82/347.78 c #Conflicts: 269000 | #Constraints: 12641 346.82/347.78 c #Conflicts: 270000 | #Constraints: 13642 346.82/347.78 c #Conflicts: 271000 | #Constraints: 14642 346.82/347.78 c #Conflicts: 272000 | #Constraints: 15642 346.82/347.78 c #Conflicts: 273000 | #Constraints: 16642 346.82/347.78 c #Conflicts: 274000 | #Constraints: 17643 346.82/347.78 c #Conflicts: 275000 | #Constraints: 18644 346.82/347.78 c #Conflicts: 276000 | #Constraints: 19645 346.82/347.78 c #Conflicts: 277000 | #Constraints: 20645 346.82/347.78 c INPROCESSING 346.82/347.78 c GARBAGE COLLECT 346.82/347.78 c rational objective 0 367.37/368.33 c #Conflicts: 278000 | #Constraints: 11238 367.37/368.33 c #Conflicts: 279000 | #Constraints: 12239 367.37/368.33 c #Conflicts: 280000 | #Constraints: 13239 367.37/368.33 c #Conflicts: 281000 | #Constraints: 14239 367.37/368.33 c #Conflicts: 282000 | #Constraints: 15240 367.37/368.33 c #Conflicts: 283000 | #Constraints: 16241 367.37/368.33 c #Conflicts: 284000 | #Constraints: 17241 367.37/368.33 c #Conflicts: 285000 | #Constraints: 18241 367.37/368.33 c #Conflicts: 286000 | #Constraints: 19241 367.37/368.33 c #Conflicts: 287000 | #Constraints: 20243 367.37/368.33 c #Conflicts: 288000 | #Constraints: 21243 367.37/368.33 c INPROCESSING 367.37/368.33 c GARBAGE COLLECT 367.37/368.33 c rational objective 0 389.21/390.22 c #Conflicts: 289000 | #Constraints: 11639 389.21/390.22 c #Conflicts: 290000 | #Constraints: 12639 389.21/390.22 c #Conflicts: 291000 | #Constraints: 13639 389.21/390.22 c #Conflicts: 292000 | #Constraints: 14639 389.21/390.22 c #Conflicts: 293000 | #Constraints: 15639 389.21/390.22 c #Conflicts: 294000 | #Constraints: 16639 389.21/390.22 c #Conflicts: 295000 | #Constraints: 17641 389.21/390.22 c #Conflicts: 296000 | #Constraints: 18641 389.21/390.22 c #Conflicts: 297000 | #Constraints: 19641 389.21/390.22 c #Conflicts: 298000 | #Constraints: 20641 389.21/390.22 c #Conflicts: 299000 | #Constraints: 21641 389.21/390.22 c INPROCESSING 389.21/390.22 c GARBAGE COLLECT 389.21/390.22 c rational objective 0 410.86/411.97 c #Conflicts: 300000 | #Constraints: 11838 410.86/411.97 c #Conflicts: 301000 | #Constraints: 12838 410.86/411.97 c #Conflicts: 302000 | #Constraints: 13838 410.86/411.97 c #Conflicts: 303000 | #Constraints: 14838 410.86/411.97 c #Conflicts: 304000 | #Constraints: 15841 410.86/411.97 c #Conflicts: 305000 | #Constraints: 16841 410.86/411.97 c #Conflicts: 306000 | #Constraints: 17841 410.86/411.97 c #Conflicts: 307000 | #Constraints: 18841 410.86/411.97 c #Conflicts: 308000 | #Constraints: 19841 410.86/411.97 c #Conflicts: 309000 | #Constraints: 20841 410.86/411.97 c #Conflicts: 310000 | #Constraints: 21841 410.86/411.97 c INPROCESSING 410.86/411.97 c GARBAGE COLLECT 410.86/411.97 c rational objective 0 435.79/436.97 c #Conflicts: 311000 | #Constraints: 11840 435.79/436.97 c #Conflicts: 312000 | #Constraints: 12840 435.79/436.97 c #Conflicts: 313000 | #Constraints: 13840 435.79/436.97 c #Conflicts: 314000 | #Constraints: 14840 435.79/436.97 c #Conflicts: 315000 | #Constraints: 15840 435.79/436.97 c #Conflicts: 316000 | #Constraints: 16840 435.79/436.97 c #Conflicts: 317000 | #Constraints: 17840 435.79/436.97 c #Conflicts: 318000 | #Constraints: 18840 435.79/436.97 c #Conflicts: 319000 | #Constraints: 19841 435.79/436.97 c #Conflicts: 320000 | #Constraints: 20843 435.79/436.97 c #Conflicts: 321000 | #Constraints: 21843 435.79/436.97 c INPROCESSING 435.79/436.97 c GARBAGE COLLECT 435.79/436.97 c rational objective 0 462.83/464.05 c #Conflicts: 322000 | #Constraints: 11644 462.83/464.05 c #Conflicts: 323000 | #Constraints: 12644 462.83/464.05 c #Conflicts: 324000 | #Constraints: 13644 462.83/464.05 c #Conflicts: 325000 | #Constraints: 14645 462.83/464.05 c #Conflicts: 326000 | #Constraints: 15645 462.83/464.05 c #Conflicts: 327000 | #Constraints: 16645 462.83/464.05 c #Conflicts: 328000 | #Constraints: 17645 462.83/464.05 c #Conflicts: 329000 | #Constraints: 18645 462.83/464.05 c #Conflicts: 330000 | #Constraints: 19645 462.83/464.05 c #Conflicts: 331000 | #Constraints: 20645 462.83/464.05 c #Conflicts: 332000 | #Constraints: 21645 462.83/464.05 c #Conflicts: 333000 | #Constraints: 22645 462.83/464.05 c INPROCESSING 462.83/464.05 c GARBAGE COLLECT 462.83/464.05 c rational objective 0 487.76/489.06 c #Conflicts: 334000 | #Constraints: 12240 487.76/489.06 c #Conflicts: 335000 | #Constraints: 13241 487.76/489.06 c #Conflicts: 336000 | #Constraints: 14241 487.76/489.06 c #Conflicts: 337000 | #Constraints: 15242 487.76/489.06 c #Conflicts: 338000 | #Constraints: 16242 487.76/489.06 c #Conflicts: 339000 | #Constraints: 17242 487.76/489.06 c #Conflicts: 340000 | #Constraints: 18244 487.76/489.06 c #Conflicts: 341000 | #Constraints: 19244 487.76/489.06 c #Conflicts: 342000 | #Constraints: 20244 487.76/489.06 c #Conflicts: 343000 | #Constraints: 21245 487.76/489.06 c #Conflicts: 344000 | #Constraints: 22247 487.76/489.06 c #Conflicts: 345000 | #Constraints: 23249 487.76/489.06 c INPROCESSING 487.76/489.06 c GARBAGE COLLECT 487.76/489.06 c rational objective 0 513.88/515.20 c #Conflicts: 346000 | #Constraints: 12640 513.88/515.20 c #Conflicts: 347000 | #Constraints: 13640 513.88/515.20 c #Conflicts: 348000 | #Constraints: 14641 513.88/515.20 c #Conflicts: 349000 | #Constraints: 15641 513.88/515.20 c #Conflicts: 350000 | #Constraints: 16641 513.88/515.20 c #Conflicts: 351000 | #Constraints: 17641 513.88/515.20 c #Conflicts: 352000 | #Constraints: 18641 513.88/515.20 c #Conflicts: 353000 | #Constraints: 19641 513.88/515.20 c #Conflicts: 354000 | #Constraints: 20641 513.88/515.20 c #Conflicts: 355000 | #Constraints: 21641 513.88/515.20 c #Conflicts: 356000 | #Constraints: 22643 513.88/515.20 c #Conflicts: 357000 | #Constraints: 23644 513.88/515.20 c INPROCESSING 513.88/515.20 c GARBAGE COLLECT 513.88/515.20 c rational objective 0 539.82/541.22 c #Conflicts: 358000 | #Constraints: 12838 539.82/541.22 c #Conflicts: 359000 | #Constraints: 13839 539.82/541.22 c #Conflicts: 360000 | #Constraints: 14839 539.82/541.22 c #Conflicts: 361000 | #Constraints: 15839 539.82/541.22 c #Conflicts: 362000 | #Constraints: 16839 539.82/541.22 c #Conflicts: 363000 | #Constraints: 17839 539.82/541.22 c #Conflicts: 364000 | #Constraints: 18839 539.82/541.22 c #Conflicts: 365000 | #Constraints: 19839 539.82/541.22 c #Conflicts: 366000 | #Constraints: 20839 539.82/541.22 c #Conflicts: 367000 | #Constraints: 21841 539.82/541.22 c #Conflicts: 368000 | #Constraints: 22842 539.82/541.22 c #Conflicts: 369000 | #Constraints: 23842 539.82/541.22 c INPROCESSING 539.82/541.22 c GARBAGE COLLECT 539.82/541.22 c rational objective 0 566.85/568.38 c #Conflicts: 370000 | #Constraints: 12838 566.85/568.38 c #Conflicts: 371000 | #Constraints: 13839 566.85/568.38 c #Conflicts: 372000 | #Constraints: 14839 566.85/568.38 c #Conflicts: 373000 | #Constraints: 15839 566.85/568.38 c #Conflicts: 374000 | #Constraints: 16839 566.85/568.38 c #Conflicts: 375000 | #Constraints: 17840 566.85/568.38 c #Conflicts: 376000 | #Constraints: 18840 566.85/568.38 c #Conflicts: 377000 | #Constraints: 19840 566.85/568.38 c #Conflicts: 378000 | #Constraints: 20841 566.85/568.38 c #Conflicts: 379000 | #Constraints: 21843 566.85/568.38 c #Conflicts: 380000 | #Constraints: 22844 566.85/568.38 c #Conflicts: 381000 | #Constraints: 23844 566.85/568.38 c INPROCESSING 566.85/568.38 c GARBAGE COLLECT 566.85/568.38 c rational objective 0 596.98/598.56 c #Conflicts: 382000 | #Constraints: 12640 596.98/598.56 c #Conflicts: 383000 | #Constraints: 13640 596.98/598.56 c #Conflicts: 384000 | #Constraints: 14640 596.98/598.56 c #Conflicts: 385000 | #Constraints: 15640 596.98/598.56 c #Conflicts: 386000 | #Constraints: 16640 596.98/598.56 c #Conflicts: 387000 | #Constraints: 17642 596.98/598.56 c #Conflicts: 388000 | #Constraints: 18642 596.98/598.56 c #Conflicts: 389000 | #Constraints: 19642 596.98/598.56 c #Conflicts: 390000 | #Constraints: 20642 596.98/598.56 c #Conflicts: 391000 | #Constraints: 21643 596.98/598.56 c #Conflicts: 392000 | #Constraints: 22647 596.98/598.56 c #Conflicts: 393000 | #Constraints: 23647 596.98/598.56 c #Conflicts: 394000 | #Constraints: 24648 596.98/598.56 c INPROCESSING 596.98/598.56 c GARBAGE COLLECT 596.98/598.56 c rational objective 0 627.50/629.19 c #Conflicts: 395000 | #Constraints: 13241 627.50/629.19 c #Conflicts: 396000 | #Constraints: 14241 627.50/629.19 c #Conflicts: 397000 | #Constraints: 15242 627.50/629.19 c #Conflicts: 398000 | #Constraints: 16245 627.50/629.19 c #Conflicts: 399000 | #Constraints: 17245 627.50/629.19 c #Conflicts: 400000 | #Constraints: 18245 627.50/629.19 c #Conflicts: 401000 | #Constraints: 19246 627.50/629.19 c #Conflicts: 402000 | #Constraints: 20246 627.50/629.19 c #Conflicts: 403000 | #Constraints: 21246 627.50/629.19 c #Conflicts: 404000 | #Constraints: 22247 627.50/629.19 c #Conflicts: 405000 | #Constraints: 23247 627.50/629.19 c #Conflicts: 406000 | #Constraints: 24247 627.50/629.19 c #Conflicts: 407000 | #Constraints: 25248 627.50/629.19 c INPROCESSING 627.50/629.19 c GARBAGE COLLECT 627.50/629.19 c rational objective 0 659.42/661.11 c #Conflicts: 408000 | #Constraints: 13645 659.42/661.11 c #Conflicts: 409000 | #Constraints: 14645 659.42/661.11 c #Conflicts: 410000 | #Constraints: 15645 659.42/661.11 c #Conflicts: 411000 | #Constraints: 16647 659.42/661.11 c #Conflicts: 412000 | #Constraints: 17647 659.42/661.11 c #Conflicts: 413000 | #Constraints: 18647 659.42/661.11 c #Conflicts: 414000 | #Constraints: 19647 659.42/661.11 c #Conflicts: 415000 | #Constraints: 20647 659.42/661.11 c #Conflicts: 416000 | #Constraints: 21647 659.42/661.11 c #Conflicts: 417000 | #Constraints: 22649 659.42/661.11 c #Conflicts: 418000 | #Constraints: 23649 659.42/661.11 c #Conflicts: 419000 | #Constraints: 24649 659.42/661.11 c #Conflicts: 420000 | #Constraints: 25650 659.42/661.11 c INPROCESSING 659.42/661.11 c GARBAGE COLLECT 659.42/661.11 c rational objective 0 693.33/695.10 c #Conflicts: 421000 | #Constraints: 13845 693.33/695.10 c #Conflicts: 422000 | #Constraints: 14845 693.33/695.10 c #Conflicts: 423000 | #Constraints: 15845 693.33/695.10 c #Conflicts: 424000 | #Constraints: 16845 693.33/695.10 c #Conflicts: 425000 | #Constraints: 17845 693.33/695.10 c #Conflicts: 426000 | #Constraints: 18846 693.33/695.10 c #Conflicts: 427000 | #Constraints: 19846 693.33/695.10 c #Conflicts: 428000 | #Constraints: 20846 693.33/695.10 c #Conflicts: 429000 | #Constraints: 21847 693.33/695.10 c #Conflicts: 430000 | #Constraints: 22848 693.33/695.10 c #Conflicts: 431000 | #Constraints: 23848 693.33/695.10 c #Conflicts: 432000 | #Constraints: 24848 693.33/695.10 c #Conflicts: 433000 | #Constraints: 25848 693.33/695.10 c INPROCESSING 693.33/695.10 c GARBAGE COLLECT 693.33/695.10 c rational objective 0 725.94/727.89 c #Conflicts: 434000 | #Constraints: 13843 725.94/727.89 c #Conflicts: 435000 | #Constraints: 14845 725.94/727.89 c #Conflicts: 436000 | #Constraints: 15846 725.94/727.89 c #Conflicts: 437000 | #Constraints: 16847 725.94/727.89 c #Conflicts: 438000 | #Constraints: 17848 725.94/727.89 c #Conflicts: 439000 | #Constraints: 18848 725.94/727.89 c #Conflicts: 440000 | #Constraints: 19848 725.94/727.89 c #Conflicts: 441000 | #Constraints: 20848 725.94/727.89 c #Conflicts: 442000 | #Constraints: 21848 725.94/727.89 c #Conflicts: 443000 | #Constraints: 22848 725.94/727.89 c #Conflicts: 444000 | #Constraints: 23848 725.94/727.89 c #Conflicts: 445000 | #Constraints: 24848 725.94/727.89 c #Conflicts: 446000 | #Constraints: 25848 725.94/727.89 c INPROCESSING 725.94/727.89 c GARBAGE COLLECT 725.94/727.89 c rational objective 0 764.15/766.16 c #Conflicts: 447000 | #Constraints: 13640 764.15/766.16 c #Conflicts: 448000 | #Constraints: 14640 764.15/766.16 c #Conflicts: 449000 | #Constraints: 15640 764.15/766.16 c #Conflicts: 450000 | #Constraints: 16640 764.15/766.16 c #Conflicts: 451000 | #Constraints: 17640 764.15/766.16 c #Conflicts: 452000 | #Constraints: 18640 764.15/766.16 c #Conflicts: 453000 | #Constraints: 19640 764.15/766.16 c #Conflicts: 454000 | #Constraints: 20640 764.15/766.16 c #Conflicts: 455000 | #Constraints: 21640 764.15/766.16 c #Conflicts: 456000 | #Constraints: 22641 764.15/766.16 c #Conflicts: 457000 | #Constraints: 23641 764.15/766.16 c #Conflicts: 458000 | #Constraints: 24641 764.15/766.16 c #Conflicts: 459000 | #Constraints: 25641 764.15/766.16 c #Conflicts: 460000 | #Constraints: 26641 764.15/766.16 c INPROCESSING 764.15/766.16 c GARBAGE COLLECT 764.15/766.16 c rational objective 0 803.33/805.47 c #Conflicts: 461000 | #Constraints: 14239 803.33/805.47 c #Conflicts: 462000 | #Constraints: 15241 803.33/805.47 c #Conflicts: 463000 | #Constraints: 16243 803.33/805.47 c #Conflicts: 464000 | #Constraints: 17243 803.33/805.47 c #Conflicts: 465000 | #Constraints: 18244 803.33/805.47 c #Conflicts: 466000 | #Constraints: 19244 803.33/805.47 c #Conflicts: 467000 | #Constraints: 20244 803.33/805.47 c #Conflicts: 468000 | #Constraints: 21245 803.33/805.47 c #Conflicts: 469000 | #Constraints: 22247 803.33/805.47 c #Conflicts: 470000 | #Constraints: 23247 803.33/805.47 c #Conflicts: 471000 | #Constraints: 24247 803.33/805.47 c #Conflicts: 472000 | #Constraints: 25248 803.33/805.47 c #Conflicts: 473000 | #Constraints: 26249 803.33/805.47 c #Conflicts: 474000 | #Constraints: 27249 803.33/805.47 c INPROCESSING 803.33/805.47 c GARBAGE COLLECT 803.33/805.47 c rational objective 0 842.73/844.92 c #Conflicts: 475000 | #Constraints: 14641 842.73/844.92 c #Conflicts: 476000 | #Constraints: 15641 842.73/844.92 c #Conflicts: 477000 | #Constraints: 16642 842.73/844.92 c #Conflicts: 478000 | #Constraints: 17643 842.73/844.92 c #Conflicts: 479000 | #Constraints: 18643 842.73/844.92 c #Conflicts: 480000 | #Constraints: 19644 842.73/844.92 c #Conflicts: 481000 | #Constraints: 20645 842.73/844.92 c #Conflicts: 482000 | #Constraints: 21645 842.73/844.92 c #Conflicts: 483000 | #Constraints: 22645 842.73/844.92 c #Conflicts: 484000 | #Constraints: 23645 842.73/844.92 c #Conflicts: 485000 | #Constraints: 24646 842.73/844.92 c #Conflicts: 486000 | #Constraints: 25646 842.73/844.92 c #Conflicts: 487000 | #Constraints: 26646 842.73/844.92 c #Conflicts: 488000 | #Constraints: 27646 842.73/844.92 c INPROCESSING 842.73/844.92 c GARBAGE COLLECT 842.73/844.92 c rational objective 0 885.51/887.83 c #Conflicts: 489000 | #Constraints: 14845 885.51/887.83 c #Conflicts: 490000 | #Constraints: 15845 885.51/887.83 c #Conflicts: 491000 | #Constraints: 16845 885.51/887.83 c #Conflicts: 492000 | #Constraints: 17847 885.51/887.83 c #Conflicts: 493000 | #Constraints: 18847 885.51/887.83 c #Conflicts: 494000 | #Constraints: 19847 885.51/887.83 c #Conflicts: 495000 | #Constraints: 20847 885.51/887.83 c #Conflicts: 496000 | #Constraints: 21847 885.51/887.83 c #Conflicts: 497000 | #Constraints: 22847 885.51/887.83 c #Conflicts: 498000 | #Constraints: 23847 885.51/887.83 c #Conflicts: 499000 | #Constraints: 24848 885.51/887.83 c #Conflicts: 500000 | #Constraints: 25848 885.51/887.83 c #Conflicts: 501000 | #Constraints: 26849 885.51/887.83 c #Conflicts: 502000 | #Constraints: 27849 885.51/887.83 c INPROCESSING 885.51/887.83 c GARBAGE COLLECT 885.51/887.83 c rational objective 0 928.40/930.83 c #Conflicts: 503000 | #Constraints: 14847 928.40/930.83 c #Conflicts: 504000 | #Constraints: 15847 928.40/930.83 c #Conflicts: 505000 | #Constraints: 16848 928.40/930.83 c #Conflicts: 506000 | #Constraints: 17848 928.40/930.83 c #Conflicts: 507000 | #Constraints: 18848 928.40/930.83 c #Conflicts: 508000 | #Constraints: 19848 928.40/930.83 c #Conflicts: 509000 | #Constraints: 20849 928.40/930.83 c #Conflicts: 510000 | #Constraints: 21849 928.40/930.83 c #Conflicts: 511000 | #Constraints: 22849 928.40/930.83 c #Conflicts: 512000 | #Constraints: 23852 928.40/930.83 c #Conflicts: 513000 | #Constraints: 24853 928.40/930.83 c #Conflicts: 514000 | #Constraints: 25855 928.40/930.83 c #Conflicts: 515000 | #Constraints: 26855 928.40/930.83 c #Conflicts: 516000 | #Constraints: 27856 928.40/930.83 c INPROCESSING 928.40/930.83 c GARBAGE COLLECT 928.40/930.83 c rational objective 0 970.39/972.93 c #Conflicts: 517000 | #Constraints: 14650 970.39/972.93 c #Conflicts: 518000 | #Constraints: 15650 970.39/972.93 c #Conflicts: 519000 | #Constraints: 16651 970.39/972.93 c #Conflicts: 520000 | #Constraints: 17652 970.39/972.93 c #Conflicts: 521000 | #Constraints: 18654 970.39/972.93 c #Conflicts: 522000 | #Constraints: 19658 970.39/972.93 c #Conflicts: 523000 | #Constraints: 20660 970.39/972.93 c #Conflicts: 524000 | #Constraints: 21660 970.39/972.93 c #Conflicts: 525000 | #Constraints: 22660 970.39/972.93 c #Conflicts: 526000 | #Constraints: 23661 970.39/972.93 c #Conflicts: 527000 | #Constraints: 24661 970.39/972.93 c #Conflicts: 528000 | #Constraints: 25664 970.39/972.93 c #Conflicts: 529000 | #Constraints: 26664 970.39/972.93 c #Conflicts: 530000 | #Constraints: 27665 970.39/972.93 c #Conflicts: 531000 | #Constraints: 28665 970.39/972.93 c INPROCESSING 970.39/972.93 c GARBAGE COLLECT 970.39/972.93 c rational objective 0 1011.08/1013.73 c #Conflicts: 532000 | #Constraints: 15250 1011.08/1013.73 c #Conflicts: 533000 | #Constraints: 16251 1011.08/1013.73 c #Conflicts: 534000 | #Constraints: 17251 1011.08/1013.73 c #Conflicts: 535000 | #Constraints: 18251 1011.08/1013.73 c #Conflicts: 536000 | #Constraints: 19251 1011.08/1013.73 c #Conflicts: 537000 | #Constraints: 20252 1011.08/1013.73 c #Conflicts: 538000 | #Constraints: 21254 1011.08/1013.73 c #Conflicts: 539000 | #Constraints: 22255 1011.08/1013.73 c #Conflicts: 540000 | #Constraints: 23255 1011.08/1013.73 c #Conflicts: 541000 | #Constraints: 24256 1011.08/1013.73 c #Conflicts: 542000 | #Constraints: 25256 1011.08/1013.73 c #Conflicts: 543000 | #Constraints: 26259 1011.08/1013.73 c #Conflicts: 544000 | #Constraints: 27259 1011.08/1013.73 c #Conflicts: 545000 | #Constraints: 28260 1011.08/1013.73 c #Conflicts: 546000 | #Constraints: 29260 1011.08/1013.73 c INPROCESSING 1011.08/1013.73 c GARBAGE COLLECT 1011.08/1013.73 c rational objective 0 1055.08/1057.80 c #Conflicts: 547000 | #Constraints: 15646 1055.08/1057.80 c #Conflicts: 548000 | #Constraints: 16647 1055.08/1057.80 c #Conflicts: 549000 | #Constraints: 17647 1055.08/1057.80 c #Conflicts: 550000 | #Constraints: 18649 1055.08/1057.80 c #Conflicts: 551000 | #Constraints: 19650 1055.08/1057.80 c #Conflicts: 552000 | #Constraints: 20651 1055.08/1057.80 c #Conflicts: 553000 | #Constraints: 21654 1055.08/1057.80 c #Conflicts: 554000 | #Constraints: 22654 1055.08/1057.80 c #Conflicts: 555000 | #Constraints: 23655 1055.08/1057.80 c #Conflicts: 556000 | #Constraints: 24655 1055.08/1057.80 c #Conflicts: 557000 | #Constraints: 25655 1055.08/1057.80 c #Conflicts: 558000 | #Constraints: 26655 1055.08/1057.80 c #Conflicts: 559000 | #Constraints: 27656 1055.08/1057.80 c #Conflicts: 560000 | #Constraints: 28657 1055.08/1057.80 c #Conflicts: 561000 | #Constraints: 29657 1055.08/1057.80 c INPROCESSING 1055.08/1057.80 c GARBAGE COLLECT 1055.08/1057.80 c rational objective 0 1097.57/1100.41 c #Conflicts: 562000 | #Constraints: 15846 1097.57/1100.41 c #Conflicts: 563000 | #Constraints: 16847 1097.57/1100.41 c #Conflicts: 564000 | #Constraints: 17847 1097.57/1100.41 c #Conflicts: 565000 | #Constraints: 18847 1097.57/1100.41 c #Conflicts: 566000 | #Constraints: 19847 1097.57/1100.41 c #Conflicts: 567000 | #Constraints: 20847 1097.57/1100.41 c #Conflicts: 568000 | #Constraints: 21848 1097.57/1100.41 c #Conflicts: 569000 | #Constraints: 22849 1097.57/1100.41 c #Conflicts: 570000 | #Constraints: 23852 1097.57/1100.41 c #Conflicts: 571000 | #Constraints: 24853 1097.57/1100.41 c #Conflicts: 572000 | #Constraints: 25854 1097.57/1100.41 c #Conflicts: 573000 | #Constraints: 26854 1097.57/1100.41 c #Conflicts: 574000 | #Constraints: 27855 1097.57/1100.41 c #Conflicts: 575000 | #Constraints: 28856 1097.57/1100.41 c #Conflicts: 576000 | #Constraints: 29856 1097.57/1100.41 c INPROCESSING 1097.57/1100.41 c GARBAGE COLLECT 1097.57/1100.41 c rational objective 0 1142.65/1145.68 c #Conflicts: 577000 | #Constraints: 15847 1142.65/1145.68 c #Conflicts: 578000 | #Constraints: 16851 1142.65/1145.68 c #Conflicts: 579000 | #Constraints: 17851 1142.65/1145.68 c #Conflicts: 580000 | #Constraints: 18851 1142.65/1145.68 c #Conflicts: 581000 | #Constraints: 19852 1142.65/1145.68 c #Conflicts: 582000 | #Constraints: 20852 1142.65/1145.68 c #Conflicts: 583000 | #Constraints: 21852 1142.65/1145.68 c #Conflicts: 584000 | #Constraints: 22853 1142.65/1145.68 c #Conflicts: 585000 | #Constraints: 23853 1142.65/1145.68 c #Conflicts: 586000 | #Constraints: 24855 1142.65/1145.68 c #Conflicts: 587000 | #Constraints: 25856 1142.65/1145.68 c #Conflicts: 588000 | #Constraints: 26856 1142.65/1145.68 c #Conflicts: 589000 | #Constraints: 27859 1142.65/1145.68 c #Conflicts: 590000 | #Constraints: 28860 1142.65/1145.68 c #Conflicts: 591000 | #Constraints: 29861 1142.65/1145.68 c INPROCESSING 1142.65/1145.68 c GARBAGE COLLECT 1142.65/1145.68 c rational objective 0 1193.92/1197.03 c #Conflicts: 592000 | #Constraints: 15649 1193.92/1197.03 c #Conflicts: 593000 | #Constraints: 16651 1193.92/1197.03 c #Conflicts: 594000 | #Constraints: 17652 1193.92/1197.03 c #Conflicts: 595000 | #Constraints: 18653 1193.92/1197.03 c #Conflicts: 596000 | #Constraints: 19653 1193.92/1197.03 c #Conflicts: 597000 | #Constraints: 20653 1193.92/1197.03 c #Conflicts: 598000 | #Constraints: 21654 1193.92/1197.03 c #Conflicts: 599000 | #Constraints: 22654 1193.92/1197.03 c #Conflicts: 600000 | #Constraints: 23655 1193.92/1197.03 c #Conflicts: 601000 | #Constraints: 24655 1193.92/1197.03 c #Conflicts: 602000 | #Constraints: 25655 1193.92/1197.03 c #Conflicts: 603000 | #Constraints: 26655 1193.92/1197.03 c #Conflicts: 604000 | #Constraints: 27655 1193.92/1197.03 c #Conflicts: 605000 | #Constraints: 28656 1193.92/1197.03 c #Conflicts: 606000 | #Constraints: 29658 1193.92/1197.03 c #Conflicts: 607000 | #Constraints: 30658 1193.92/1197.03 c INPROCESSING 1193.92/1197.03 c GARBAGE COLLECT 1193.92/1197.03 c rational objective 0 1244.58/1247.88 c #Conflicts: 608000 | #Constraints: 16247 1244.58/1247.88 c #Conflicts: 609000 | #Constraints: 17247 1244.58/1247.88 c #Conflicts: 610000 | #Constraints: 18247 1244.58/1247.88 c #Conflicts: 611000 | #Constraints: 19248 1244.58/1247.88 c #Conflicts: 612000 | #Constraints: 20249 1244.58/1247.88 c #Conflicts: 613000 | #Constraints: 21249 1244.58/1247.88 c #Conflicts: 614000 | #Constraints: 22249 1244.58/1247.88 c #Conflicts: 615000 | #Constraints: 23251 1244.58/1247.88 c #Conflicts: 616000 | #Constraints: 24252 1244.58/1247.88 c #Conflicts: 617000 | #Constraints: 25253 1244.58/1247.88 c #Conflicts: 618000 | #Constraints: 26256 1244.58/1247.88 c #Conflicts: 619000 | #Constraints: 27256 1244.58/1247.88 c #Conflicts: 620000 | #Constraints: 28256 1244.58/1247.88 c #Conflicts: 621000 | #Constraints: 29256 1244.58/1247.88 c #Conflicts: 622000 | #Constraints: 30259 1244.58/1247.88 c #Conflicts: 623000 | #Constraints: 31262 1244.58/1247.88 c INPROCESSING 1244.58/1247.88 c GARBAGE COLLECT 1244.58/1247.88 c rational objective 0 1292.85/1296.28 c #Conflicts: 624000 | #Constraints: 16646 1292.85/1296.28 c #Conflicts: 625000 | #Constraints: 17646 1292.85/1296.28 c #Conflicts: 626000 | #Constraints: 18646 1292.85/1296.28 c #Conflicts: 627000 | #Constraints: 19647 1292.85/1296.28 c #Conflicts: 628000 | #Constraints: 20647 1292.85/1296.28 c #Conflicts: 629000 | #Constraints: 21647 1292.85/1296.28 c #Conflicts: 630000 | #Constraints: 22647 1292.85/1296.28 c #Conflicts: 631000 | #Constraints: 23648 1292.85/1296.28 c #Conflicts: 632000 | #Constraints: 24648 1292.85/1296.28 c #Conflicts: 633000 | #Constraints: 25648 1292.85/1296.28 c #Conflicts: 634000 | #Constraints: 26648 1292.85/1296.28 c #Conflicts: 635000 | #Constraints: 27648 1292.85/1296.28 c #Conflicts: 636000 | #Constraints: 28648 1292.85/1296.28 c #Conflicts: 637000 | #Constraints: 29648 1292.85/1296.28 c #Conflicts: 638000 | #Constraints: 30651 1292.85/1296.28 c #Conflicts: 639000 | #Constraints: 31651 1292.85/1296.28 c INPROCESSING 1292.85/1296.28 c GARBAGE COLLECT 1292.85/1296.28 c rational objective 0 1346.10/1349.60 c #Conflicts: 640000 | #Constraints: 16846 1346.10/1349.60 c #Conflicts: 641000 | #Constraints: 17848 1346.10/1349.60 c #Conflicts: 642000 | #Constraints: 18848 1346.10/1349.60 c #Conflicts: 643000 | #Constraints: 19848 1346.10/1349.60 c #Conflicts: 644000 | #Constraints: 20850 1346.10/1349.60 c #Conflicts: 645000 | #Constraints: 21850 1346.10/1349.60 c #Conflicts: 646000 | #Constraints: 22850 1346.10/1349.60 c #Conflicts: 647000 | #Constraints: 23850 1346.10/1349.60 c #Conflicts: 648000 | #Constraints: 24851 1346.10/1349.60 c #Conflicts: 649000 | #Constraints: 25851 1346.10/1349.60 c #Conflicts: 650000 | #Constraints: 26851 1346.10/1349.60 c #Conflicts: 651000 | #Constraints: 27857 1346.10/1349.60 c #Conflicts: 652000 | #Constraints: 28861 1346.10/1349.60 c #Conflicts: 653000 | #Constraints: 29863 1346.10/1349.60 c #Conflicts: 654000 | #Constraints: 30863 1346.10/1349.60 c #Conflicts: 655000 | #Constraints: 31864 1346.10/1349.60 c INPROCESSING 1346.10/1349.60 c GARBAGE COLLECT 1346.10/1349.60 c rational objective 0 1400.86/1404.56 c #Conflicts: 656000 | #Constraints: 16852 1400.86/1404.56 c #Conflicts: 657000 | #Constraints: 17852 1400.86/1404.56 c #Conflicts: 658000 | #Constraints: 18852 1400.86/1404.56 c #Conflicts: 659000 | #Constraints: 19852 1400.86/1404.56 c #Conflicts: 660000 | #Constraints: 20852 1400.86/1404.56 c #Conflicts: 661000 | #Constraints: 21853 1400.86/1404.56 c #Conflicts: 662000 | #Constraints: 22856 1400.86/1404.56 c #Conflicts: 663000 | #Constraints: 23857 1400.86/1404.56 c #Conflicts: 664000 | #Constraints: 24857 1400.86/1404.56 c #Conflicts: 665000 | #Constraints: 25859 1400.86/1404.56 c #Conflicts: 666000 | #Constraints: 26859 1400.86/1404.56 c #Conflicts: 667000 | #Constraints: 27859 1400.86/1404.56 c #Conflicts: 668000 | #Constraints: 28860 1400.86/1404.56 c #Conflicts: 669000 | #Constraints: 29860 1400.86/1404.56 c #Conflicts: 670000 | #Constraints: 30861 1400.86/1404.56 c #Conflicts: 671000 | #Constraints: 31862 1400.86/1404.56 c INPROCESSING 1400.86/1404.56 c GARBAGE COLLECT 1400.86/1404.56 c rational objective 0 1455.42/1459.27 c #Conflicts: 672000 | #Constraints: 16649 1455.42/1459.27 c #Conflicts: 673000 | #Constraints: 17649 1455.42/1459.27 c #Conflicts: 674000 | #Constraints: 18649 1455.42/1459.27 c #Conflicts: 675000 | #Constraints: 19649 1455.42/1459.27 c #Conflicts: 676000 | #Constraints: 20649 1455.42/1459.27 c #Conflicts: 677000 | #Constraints: 21649 1455.42/1459.27 c #Conflicts: 678000 | #Constraints: 22650 1455.42/1459.27 c #Conflicts: 679000 | #Constraints: 23650 1455.42/1459.27 c #Conflicts: 680000 | #Constraints: 24651 1455.42/1459.27 c #Conflicts: 681000 | #Constraints: 25652 1455.42/1459.27 c #Conflicts: 682000 | #Constraints: 26652 1455.42/1459.27 c #Conflicts: 683000 | #Constraints: 27655 1455.42/1459.27 c #Conflicts: 684000 | #Constraints: 28655 1455.42/1459.27 c #Conflicts: 685000 | #Constraints: 29657 1455.42/1459.27 c #Conflicts: 686000 | #Constraints: 30657 1455.42/1459.27 c #Conflicts: 687000 | #Constraints: 31657 1455.42/1459.27 c #Conflicts: 688000 | #Constraints: 32658 1455.42/1459.27 c INPROCESSING 1455.42/1459.27 c GARBAGE COLLECT 1455.42/1459.27 c rational objective 0 1512.57/1516.53 c #Conflicts: 689000 | #Constraints: 17246 1512.57/1516.53 c #Conflicts: 690000 | #Constraints: 18246 1512.57/1516.53 c #Conflicts: 691000 | #Constraints: 19247 1512.57/1516.53 c #Conflicts: 692000 | #Constraints: 20247 1512.57/1516.53 c #Conflicts: 693000 | #Constraints: 21249 1512.57/1516.53 c #Conflicts: 694000 | #Constraints: 22249 1512.57/1516.53 c #Conflicts: 695000 | #Constraints: 23249 1512.57/1516.53 c #Conflicts: 696000 | #Constraints: 24250 1512.57/1516.53 c #Conflicts: 697000 | #Constraints: 25253 1512.57/1516.53 c #Conflicts: 698000 | #Constraints: 26253 1512.57/1516.53 c #Conflicts: 699000 | #Constraints: 27257 1512.57/1516.53 c #Conflicts: 700000 | #Constraints: 28257 1512.57/1516.53 c #Conflicts: 701000 | #Constraints: 29258 1512.57/1516.53 c #Conflicts: 702000 | #Constraints: 30261 1512.57/1516.53 c #Conflicts: 703000 | #Constraints: 31263 1512.57/1516.53 c #Conflicts: 704000 | #Constraints: 32266 1512.57/1516.53 c #Conflicts: 705000 | #Constraints: 33266 1512.57/1516.53 c INPROCESSING 1512.57/1516.53 c GARBAGE COLLECT 1512.57/1516.53 c rational objective 0 1574.41/1578.53 c #Conflicts: 706000 | #Constraints: 17651 1574.41/1578.53 c #Conflicts: 707000 | #Constraints: 18651 1574.41/1578.53 c #Conflicts: 708000 | #Constraints: 19653 1574.41/1578.53 c #Conflicts: 709000 | #Constraints: 20656 1574.41/1578.53 c #Conflicts: 710000 | #Constraints: 21656 1574.41/1578.53 c #Conflicts: 711000 | #Constraints: 22657 1574.41/1578.53 c #Conflicts: 712000 | #Constraints: 23657 1574.41/1578.53 c #Conflicts: 713000 | #Constraints: 24657 1574.41/1578.53 c #Conflicts: 714000 | #Constraints: 25657 1574.41/1578.53 c #Conflicts: 715000 | #Constraints: 26657 1574.41/1578.53 c #Conflicts: 716000 | #Constraints: 27657 1574.41/1578.53 c #Conflicts: 717000 | #Constraints: 28657 1574.41/1578.53 c #Conflicts: 718000 | #Constraints: 29657 1574.41/1578.53 c #Conflicts: 719000 | #Constraints: 30657 1574.41/1578.53 c #Conflicts: 720000 | #Constraints: 31657 1574.41/1578.53 c #Conflicts: 721000 | #Constraints: 32657 1574.41/1578.53 c #Conflicts: 722000 | #Constraints: 33657 1574.41/1578.53 c INPROCESSING 1574.41/1578.53 c GARBAGE COLLECT 1574.41/1578.53 c rational objective 0 1636.86/1641.15 c #Conflicts: 723000 | #Constraints: 17847 1636.86/1641.15 c #Conflicts: 724000 | #Constraints: 18847 1636.86/1641.15 c #Conflicts: 725000 | #Constraints: 19847 1636.86/1641.15 c #Conflicts: 726000 | #Constraints: 20847 1636.86/1641.15 c #Conflicts: 727000 | #Constraints: 21847 1636.86/1641.15 c #Conflicts: 728000 | #Constraints: 22848 1636.86/1641.15 c #Conflicts: 729000 | #Constraints: 23848 1636.86/1641.15 c #Conflicts: 730000 | #Constraints: 24848 1636.86/1641.15 c #Conflicts: 731000 | #Constraints: 25848 1636.86/1641.15 c #Conflicts: 732000 | #Constraints: 26849 1636.86/1641.15 c #Conflicts: 733000 | #Constraints: 27849 1636.86/1641.15 c #Conflicts: 734000 | #Constraints: 28850 1636.86/1641.15 c #Conflicts: 735000 | #Constraints: 29850 1636.86/1641.15 c #Conflicts: 736000 | #Constraints: 30850 1636.86/1641.15 c #Conflicts: 737000 | #Constraints: 31850 1636.86/1641.15 c #Conflicts: 738000 | #Constraints: 32850 1636.86/1641.15 c #Conflicts: 739000 | #Constraints: 33851 1636.86/1641.15 c INPROCESSING 1636.86/1641.15 c GARBAGE COLLECT 1636.86/1641.15 c rational objective 0 1695.11/1699.55 c #Conflicts: 740000 | #Constraints: 17844 1695.11/1699.55 c #Conflicts: 741000 | #Constraints: 18845 1695.11/1699.55 c #Conflicts: 742000 | #Constraints: 19845 1695.11/1699.55 c #Conflicts: 743000 | #Constraints: 20845 1695.11/1699.55 c #Conflicts: 744000 | #Constraints: 21845 1695.11/1699.55 c #Conflicts: 745000 | #Constraints: 22845 1695.11/1699.55 c #Conflicts: 746000 | #Constraints: 23845 1695.11/1699.55 c #Conflicts: 747000 | #Constraints: 24845 1695.11/1699.55 c #Conflicts: 748000 | #Constraints: 25845 1695.11/1699.55 c #Conflicts: 749000 | #Constraints: 26848 1695.11/1699.55 c #Conflicts: 750000 | #Constraints: 27848 1695.11/1699.55 c #Conflicts: 751000 | #Constraints: 28848 1695.11/1699.55 c #Conflicts: 752000 | #Constraints: 29849 1695.11/1699.55 c #Conflicts: 753000 | #Constraints: 30849 1695.11/1699.55 c #Conflicts: 754000 | #Constraints: 31849 1695.11/1699.55 c #Conflicts: 755000 | #Constraints: 32850 1695.11/1699.55 c #Conflicts: 756000 | #Constraints: 33850 1695.11/1699.55 c INPROCESSING 1695.11/1699.55 c GARBAGE COLLECT 1695.11/1699.55 c rational objective 0 1756.45/1761.03 c #Conflicts: 757000 | #Constraints: 17643 1756.45/1761.03 c #Conflicts: 758000 | #Constraints: 18643 1756.45/1761.03 c #Conflicts: 759000 | #Constraints: 19643 1756.45/1761.03 c #Conflicts: 760000 | #Constraints: 20643 1756.45/1761.03 c #Conflicts: 761000 | #Constraints: 21645 1756.45/1761.03 c #Conflicts: 762000 | #Constraints: 22646 1756.45/1761.03 c #Conflicts: 763000 | #Constraints: 23646 1756.45/1761.03 c #Conflicts: 764000 | #Constraints: 24646 1756.45/1761.03 c #Conflicts: 765000 | #Constraints: 25646 1756.45/1761.03 c #Conflicts: 766000 | #Constraints: 26646 1756.45/1761.03 c #Conflicts: 767000 | #Constraints: 27646 1756.45/1761.03 c #Conflicts: 768000 | #Constraints: 28646 1756.45/1761.03 c #Conflicts: 769000 | #Constraints: 29647 1756.45/1761.03 c #Conflicts: 770000 | #Constraints: 30647 1756.45/1761.03 c #Conflicts: 771000 | #Constraints: 31647 1756.45/1761.03 c #Conflicts: 772000 | #Constraints: 32647 1756.45/1761.03 c #Conflicts: 773000 | #Constraints: 33648 1756.45/1761.03 c #Conflicts: 774000 | #Constraints: 34648 1756.45/1761.03 c INPROCESSING 1756.45/1761.03 c GARBAGE COLLECT 1756.45/1761.03 c rational objective 0 1822.07/1826.80 c #Conflicts: 775000 | #Constraints: 18239 1822.07/1826.80 c #Conflicts: 776000 | #Constraints: 19239 1822.07/1826.80 c #Conflicts: 777000 | #Constraints: 20239 1822.07/1826.80 c #Conflicts: 778000 | #Constraints: 21241 1822.07/1826.80 c #Conflicts: 779000 | #Constraints: 22245 1822.07/1826.80 c #Conflicts: 780000 | #Constraints: 23248 1822.07/1826.80 c #Conflicts: 781000 | #Constraints: 24249 1822.07/1826.80 c #Conflicts: 782000 | #Constraints: 25250 1822.07/1826.80 c #Conflicts: 783000 | #Constraints: 26253 1822.07/1826.80 c #Conflicts: 784000 | #Constraints: 27254 1822.07/1826.80 c #Conflicts: 785000 | #Constraints: 28254 1822.07/1826.80 c #Conflicts: 786000 | #Constraints: 29254 1822.07/1826.80 c #Conflicts: 787000 | #Constraints: 30254 1822.07/1826.80 c #Conflicts: 788000 | #Constraints: 31254 1822.07/1826.80 c #Conflicts: 789000 | #Constraints: 32254 1822.07/1826.80 c #Conflicts: 790000 | #Constraints: 33254 1822.07/1826.80 c #Conflicts: 791000 | #Constraints: 34255 1822.07/1826.80 c #Conflicts: 792000 | #Constraints: 35255 1822.07/1826.80 c INPROCESSING 1822.07/1826.80 c GARBAGE COLLECT 1822.07/1826.80 c rational objective 0 1887.30/1892.22 c #Conflicts: 793000 | #Constraints: 18642 1887.30/1892.22 c #Conflicts: 794000 | #Constraints: 19643 1887.30/1892.22 c #Conflicts: 795000 | #Constraints: 20643 1887.30/1892.22 c #Conflicts: 796000 | #Constraints: 21643 1887.30/1892.22 c #Conflicts: 797000 | #Constraints: 22644 1887.30/1892.22 c #Conflicts: 798000 | #Constraints: 23646 1887.30/1892.22 c #Conflicts: 799000 | #Constraints: 24646 1887.30/1892.22 c #Conflicts: 800000 | #Constraints: 25646 1887.30/1892.22 c #Conflicts: 801000 | #Constraints: 26647 1887.30/1892.22 c #Conflicts: 802000 | #Constraints: 27648 1887.30/1892.22 c #Conflicts: 803000 | #Constraints: 28648 1887.30/1892.22 c #Conflicts: 804000 | #Constraints: 29649 1887.30/1892.22 c #Conflicts: 805000 | #Constraints: 30649 1887.30/1892.22 c #Conflicts: 806000 | #Constraints: 31649 1887.30/1892.22 c #Conflicts: 807000 | #Constraints: 32650 1887.30/1892.22 c #Conflicts: 808000 | #Constraints: 33650 1887.30/1892.22 c #Conflicts: 809000 | #Constraints: 34651 1887.30/1892.22 c #Conflicts: 810000 | #Constraints: 35651 1887.30/1892.22 c INPROCESSING 1887.30/1892.22 c GARBAGE COLLECT 1887.30/1892.22 c rational objective 0 1954.92/1960.04 c #Conflicts: 811000 | #Constraints: 18844 1954.92/1960.04 c #Conflicts: 812000 | #Constraints: 19844 1954.92/1960.04 c #Conflicts: 813000 | #Constraints: 20845 1954.92/1960.04 c #Conflicts: 814000 | #Constraints: 21845 1954.92/1960.04 c #Conflicts: 815000 | #Constraints: 22846 1954.92/1960.04 c #Conflicts: 816000 | #Constraints: 23846 1954.92/1960.04 c #Conflicts: 817000 | #Constraints: 24847 1954.92/1960.04 c #Conflicts: 818000 | #Constraints: 25848 1954.92/1960.04 c #Conflicts: 819000 | #Constraints: 26848 1954.92/1960.04 c #Conflicts: 820000 | #Constraints: 27850 1954.92/1960.04 c #Conflicts: 821000 | #Constraints: 28850 1954.92/1960.04 c #Conflicts: 822000 | #Constraints: 29850 1954.92/1960.04 c #Conflicts: 823000 | #Constraints: 30850 1954.92/1960.04 c #Conflicts: 824000 | #Constraints: 31852 1954.92/1960.04 c #Conflicts: 825000 | #Constraints: 32852 1954.92/1960.04 c #Conflicts: 826000 | #Constraints: 33854 1954.92/1960.04 c #Conflicts: 827000 | #Constraints: 34854 1954.92/1960.04 c #Conflicts: 828000 | #Constraints: 35854 1954.92/1960.04 c INPROCESSING 1954.92/1960.04 c GARBAGE COLLECT 1954.92/1960.04 c rational objective 0 2028.01/2033.34 c #Conflicts: 829000 | #Constraints: 18850 2028.01/2033.34 c #Conflicts: 830000 | #Constraints: 19852 2028.01/2033.34 c #Conflicts: 831000 | #Constraints: 20853 2028.01/2033.34 c #Conflicts: 832000 | #Constraints: 21855 2028.01/2033.34 c #Conflicts: 833000 | #Constraints: 22855 2028.01/2033.34 c #Conflicts: 834000 | #Constraints: 23855 2028.01/2033.34 c #Conflicts: 835000 | #Constraints: 24855 2028.01/2033.34 c #Conflicts: 836000 | #Constraints: 25856 2028.01/2033.34 c #Conflicts: 837000 | #Constraints: 26856 2028.01/2033.34 c #Conflicts: 838000 | #Constraints: 27856 2028.01/2033.34 c #Conflicts: 839000 | #Constraints: 28856 2028.01/2033.34 c #Conflicts: 840000 | #Constraints: 29856 2028.01/2033.34 c #Conflicts: 841000 | #Constraints: 30856 2028.01/2033.34 c #Conflicts: 842000 | #Constraints: 31857 2028.01/2033.34 c #Conflicts: 843000 | #Constraints: 32858 2028.01/2033.34 c #Conflicts: 844000 | #Constraints: 33858 2028.01/2033.34 c #Conflicts: 845000 | #Constraints: 34858 2028.01/2033.34 c #Conflicts: 846000 | #Constraints: 35858 2028.01/2033.34 c INPROCESSING 2028.01/2033.34 c GARBAGE COLLECT 2028.01/2033.34 c rational objective 0 2099.62/2105.19 c #Conflicts: 847000 | #Constraints: 18646 2099.62/2105.19 c #Conflicts: 848000 | #Constraints: 19647 2099.62/2105.19 c #Conflicts: 849000 | #Constraints: 20647 2099.62/2105.19 c #Conflicts: 850000 | #Constraints: 21647 2099.62/2105.19 c #Conflicts: 851000 | #Constraints: 22647 2099.62/2105.19 c #Conflicts: 852000 | #Constraints: 23648 2099.62/2105.19 c #Conflicts: 853000 | #Constraints: 24649 2099.62/2105.19 c #Conflicts: 854000 | #Constraints: 25650 2099.62/2105.19 c #Conflicts: 855000 | #Constraints: 26650 2099.62/2105.19 c #Conflicts: 856000 | #Constraints: 27650 2099.62/2105.19 c #Conflicts: 857000 | #Constraints: 28651 2099.62/2105.19 c #Conflicts: 858000 | #Constraints: 29653 2099.62/2105.19 c #Conflicts: 859000 | #Constraints: 30653 2099.62/2105.19 c #Conflicts: 860000 | #Constraints: 31653 2099.62/2105.19 c #Conflicts: 861000 | #Constraints: 32653 2099.62/2105.19 c #Conflicts: 862000 | #Constraints: 33654 2099.62/2105.19 c #Conflicts: 863000 | #Constraints: 34654 2099.62/2105.19 c #Conflicts: 864000 | #Constraints: 35654 2099.62/2105.19 c #Conflicts: 865000 | #Constraints: 36655 2099.62/2105.19 c INPROCESSING 2099.62/2105.19 c GARBAGE COLLECT 2099.62/2105.19 c rational objective 0 2174.62/2180.39 c #Conflicts: 866000 | #Constraints: 19246 2174.62/2180.39 c #Conflicts: 867000 | #Constraints: 20246 2174.62/2180.39 c #Conflicts: 868000 | #Constraints: 21246 2174.62/2180.39 c #Conflicts: 869000 | #Constraints: 22246 2174.62/2180.39 c #Conflicts: 870000 | #Constraints: 23246 2174.62/2180.39 c #Conflicts: 871000 | #Constraints: 24247 2174.62/2180.39 c #Conflicts: 872000 | #Constraints: 25247 2174.62/2180.39 c #Conflicts: 873000 | #Constraints: 26248 2174.62/2180.39 c #Conflicts: 874000 | #Constraints: 27248 2174.62/2180.39 c #Conflicts: 875000 | #Constraints: 28248 2174.62/2180.39 c #Conflicts: 876000 | #Constraints: 29248 2174.62/2180.39 c #Conflicts: 877000 | #Constraints: 30249 2174.62/2180.39 c #Conflicts: 878000 | #Constraints: 31250 2174.62/2180.39 c #Conflicts: 879000 | #Constraints: 32251 2174.62/2180.39 c #Conflicts: 880000 | #Constraints: 33254 2174.62/2180.39 c #Conflicts: 881000 | #Constraints: 34257 2174.62/2180.39 c #Conflicts: 882000 | #Constraints: 35260 2174.62/2180.39 c #Conflicts: 883000 | #Constraints: 36263 2174.62/2180.39 c #Conflicts: 884000 | #Constraints: 37264 2174.62/2180.39 c INPROCESSING 2174.62/2180.39 c GARBAGE COLLECT 2174.62/2180.39 c rational objective 0 2251.53/2257.41 c #Conflicts: 885000 | #Constraints: 19651 2251.53/2257.41 c #Conflicts: 886000 | #Constraints: 20652 2251.53/2257.41 c #Conflicts: 887000 | #Constraints: 21653 2251.53/2257.41 c #Conflicts: 888000 | #Constraints: 22653 2251.53/2257.41 c #Conflicts: 889000 | #Constraints: 23654 2251.53/2257.41 c #Conflicts: 890000 | #Constraints: 24654 2251.53/2257.41 c #Conflicts: 891000 | #Constraints: 25655 2251.53/2257.41 c #Conflicts: 892000 | #Constraints: 26656 2251.53/2257.41 c #Conflicts: 893000 | #Constraints: 27656 2251.53/2257.41 c #Conflicts: 894000 | #Constraints: 28656 2251.53/2257.41 c #Conflicts: 895000 | #Constraints: 29656 2251.53/2257.41 c #Conflicts: 896000 | #Constraints: 30656 2251.53/2257.41 c #Conflicts: 897000 | #Constraints: 31657 2251.53/2257.41 c #Conflicts: 898000 | #Constraints: 32657 2251.53/2257.41 c #Conflicts: 899000 | #Constraints: 33657 2251.53/2257.41 c #Conflicts: 900000 | #Constraints: 34657 2251.53/2257.41 c #Conflicts: 901000 | #Constraints: 35657 2251.53/2257.41 c #Conflicts: 902000 | #Constraints: 36657 2251.53/2257.41 c #Conflicts: 903000 | #Constraints: 37657 2251.53/2257.41 c INPROCESSING 2251.53/2257.41 c GARBAGE COLLECT 2251.53/2257.41 c rational objective 0 2332.22/2338.39 c #Conflicts: 904000 | #Constraints: 19847 2332.22/2338.39 c #Conflicts: 905000 | #Constraints: 20850 2332.22/2338.39 c #Conflicts: 906000 | #Constraints: 21850 2332.22/2338.39 c #Conflicts: 907000 | #Constraints: 22851 2332.22/2338.39 c #Conflicts: 908000 | #Constraints: 23852 2332.22/2338.39 c #Conflicts: 909000 | #Constraints: 24853 2332.22/2338.39 c #Conflicts: 910000 | #Constraints: 25854 2332.22/2338.39 c #Conflicts: 911000 | #Constraints: 26854 2332.22/2338.39 c #Conflicts: 912000 | #Constraints: 27854 2332.22/2338.39 c #Conflicts: 913000 | #Constraints: 28854 2332.22/2338.39 c #Conflicts: 914000 | #Constraints: 29854 2332.22/2338.39 c #Conflicts: 915000 | #Constraints: 30855 2332.22/2338.39 c #Conflicts: 916000 | #Constraints: 31856 2332.22/2338.39 c #Conflicts: 917000 | #Constraints: 32856 2332.22/2338.39 c #Conflicts: 918000 | #Constraints: 33856 2332.22/2338.39 c #Conflicts: 919000 | #Constraints: 34856 2332.22/2338.39 c #Conflicts: 920000 | #Constraints: 35857 2332.22/2338.39 c #Conflicts: 921000 | #Constraints: 36858 2332.22/2338.39 c #Conflicts: 922000 | #Constraints: 37860 2332.22/2338.39 c INPROCESSING 2332.22/2338.39 c GARBAGE COLLECT 2332.22/2338.39 c rational objective 0 2418.30/2424.62 c #Conflicts: 923000 | #Constraints: 19850 2418.30/2424.62 c #Conflicts: 924000 | #Constraints: 20850 2418.30/2424.62 c #Conflicts: 925000 | #Constraints: 21851 2418.30/2424.62 c #Conflicts: 926000 | #Constraints: 22853 2418.30/2424.62 c #Conflicts: 927000 | #Constraints: 23854 2418.30/2424.62 c #Conflicts: 928000 | #Constraints: 24855 2418.30/2424.62 c #Conflicts: 929000 | #Constraints: 25856 2418.30/2424.62 c #Conflicts: 930000 | #Constraints: 26856 2418.30/2424.62 c #Conflicts: 931000 | #Constraints: 27857 2418.30/2424.62 c #Conflicts: 932000 | #Constraints: 28857 2418.30/2424.62 c #Conflicts: 933000 | #Constraints: 29857 2418.30/2424.62 c #Conflicts: 934000 | #Constraints: 30857 2418.30/2424.62 c #Conflicts: 935000 | #Constraints: 31857 2418.30/2424.62 c #Conflicts: 936000 | #Constraints: 32858 2418.30/2424.62 c #Conflicts: 937000 | #Constraints: 33858 2418.30/2424.62 c #Conflicts: 938000 | #Constraints: 34858 2418.30/2424.62 c #Conflicts: 939000 | #Constraints: 35858 2418.30/2424.62 c #Conflicts: 940000 | #Constraints: 36859 2418.30/2424.62 c #Conflicts: 941000 | #Constraints: 37859 2418.30/2424.62 c INPROCESSING 2418.30/2424.62 c GARBAGE COLLECT 2418.30/2424.62 c rational objective 0 2499.30/2505.81 c #Conflicts: 942000 | #Constraints: 19649 2499.30/2505.81 c #Conflicts: 943000 | #Constraints: 20649 2499.30/2505.81 c #Conflicts: 944000 | #Constraints: 21651 2499.30/2505.81 c #Conflicts: 945000 | #Constraints: 22651 2499.30/2505.81 c #Conflicts: 946000 | #Constraints: 23651 2499.30/2505.81 c #Conflicts: 947000 | #Constraints: 24651 2499.30/2505.81 c #Conflicts: 948000 | #Constraints: 25651 2499.30/2505.81 c #Conflicts: 949000 | #Constraints: 26652 2499.30/2505.81 c #Conflicts: 950000 | #Constraints: 27652 2499.30/2505.81 c #Conflicts: 951000 | #Constraints: 28653 2499.30/2505.81 c #Conflicts: 952000 | #Constraints: 29653 2499.30/2505.81 c #Conflicts: 953000 | #Constraints: 30654 2499.30/2505.81 c #Conflicts: 954000 | #Constraints: 31654 2499.30/2505.81 c #Conflicts: 955000 | #Constraints: 32655 2499.30/2505.81 c #Conflicts: 956000 | #Constraints: 33655 2499.30/2505.81 c #Conflicts: 957000 | #Constraints: 34655 2499.30/2505.81 c #Conflicts: 958000 | #Constraints: 35655 2499.30/2505.81 c #Conflicts: 959000 | #Constraints: 36656 2499.30/2505.81 c #Conflicts: 960000 | #Constraints: 37656 2499.30/2505.81 c #Conflicts: 961000 | #Constraints: 38658 2499.30/2505.81 c INPROCESSING 2499.30/2505.81 c GARBAGE COLLECT 2499.30/2505.81 c rational objective 0 2582.39/2589.11 c #Conflicts: 962000 | #Constraints: 20247 2582.39/2589.11 c #Conflicts: 963000 | #Constraints: 21247 2582.39/2589.11 c #Conflicts: 964000 | #Constraints: 22247 2582.39/2589.11 c #Conflicts: 965000 | #Constraints: 23247 2582.39/2589.11 c #Conflicts: 966000 | #Constraints: 24248 2582.39/2589.11 c #Conflicts: 967000 | #Constraints: 25248 2582.39/2589.11 c #Conflicts: 968000 | #Constraints: 26248 2582.39/2589.11 c #Conflicts: 969000 | #Constraints: 27248 2582.39/2589.11 c #Conflicts: 970000 | #Constraints: 28248 2582.39/2589.11 c #Conflicts: 971000 | #Constraints: 29248 2582.39/2589.11 c #Conflicts: 972000 | #Constraints: 30249 2582.39/2589.11 c #Conflicts: 973000 | #Constraints: 31249 2582.39/2589.11 c #Conflicts: 974000 | #Constraints: 32249 2582.39/2589.11 c #Conflicts: 975000 | #Constraints: 33249 2582.39/2589.11 c #Conflicts: 976000 | #Constraints: 34249 2582.39/2589.11 c #Conflicts: 977000 | #Constraints: 35249 2582.39/2589.11 c #Conflicts: 978000 | #Constraints: 36249 2582.39/2589.11 c #Conflicts: 979000 | #Constraints: 37249 2582.39/2589.11 c #Conflicts: 980000 | #Constraints: 38249 2582.39/2589.11 c #Conflicts: 981000 | #Constraints: 39249 2582.39/2589.11 c INPROCESSING 2582.39/2589.11 c GARBAGE COLLECT 2582.39/2589.11 c rational objective 0 2674.16/2681.11 c #Conflicts: 982000 | #Constraints: 20642 2674.16/2681.11 c #Conflicts: 983000 | #Constraints: 21642 2674.16/2681.11 c #Conflicts: 984000 | #Constraints: 22642 2674.16/2681.11 c #Conflicts: 985000 | #Constraints: 23643 2674.16/2681.11 c #Conflicts: 986000 | #Constraints: 24643 2674.16/2681.11 c #Conflicts: 987000 | #Constraints: 25643 2674.16/2681.11 c #Conflicts: 988000 | #Constraints: 26644 2674.16/2681.11 c #Conflicts: 989000 | #Constraints: 27644 2674.16/2681.11 c #Conflicts: 990000 | #Constraints: 28644 2674.16/2681.11 c #Conflicts: 991000 | #Constraints: 29644 2674.16/2681.11 c #Conflicts: 992000 | #Constraints: 30644 2674.16/2681.11 c #Conflicts: 993000 | #Constraints: 31644 2674.16/2681.11 c #Conflicts: 994000 | #Constraints: 32645 2674.16/2681.11 c #Conflicts: 995000 | #Constraints: 33646 2674.16/2681.11 c #Conflicts: 996000 | #Constraints: 34647 2674.16/2681.11 c #Conflicts: 997000 | #Constraints: 35647 2674.16/2681.11 c #Conflicts: 998000 | #Constraints: 36648 2674.16/2681.11 c #Conflicts: 999000 | #Constraints: 37648 2674.16/2681.11 c #Conflicts: 1000000 | #Constraints: 38649 2674.16/2681.11 c #Conflicts: 1001000 | #Constraints: 39651 2674.16/2681.11 c INPROCESSING 2674.16/2681.11 c GARBAGE COLLECT 2674.16/2681.11 c rational objective 0 2770.50/2777.79 c #Conflicts: 1002000 | #Constraints: 20843 2770.50/2777.79 c #Conflicts: 1003000 | #Constraints: 21843 2770.50/2777.79 c #Conflicts: 1004000 | #Constraints: 22843 2770.50/2777.79 c #Conflicts: 1005000 | #Constraints: 23843 2770.50/2777.79 c #Conflicts: 1006000 | #Constraints: 24843 2770.50/2777.79 c #Conflicts: 1007000 | #Constraints: 25843 2770.50/2777.79 c #Conflicts: 1008000 | #Constraints: 26843 2770.50/2777.79 c #Conflicts: 1009000 | #Constraints: 27843 2770.50/2777.79 c #Conflicts: 1010000 | #Constraints: 28843 2770.50/2777.79 c #Conflicts: 1011000 | #Constraints: 29843 2770.50/2777.79 c #Conflicts: 1012000 | #Constraints: 30843 2770.50/2777.79 c #Conflicts: 1013000 | #Constraints: 31843 2770.50/2777.79 c #Conflicts: 1014000 | #Constraints: 32845 2770.50/2777.79 c #Conflicts: 1015000 | #Constraints: 33845 2770.50/2777.79 c #Conflicts: 1016000 | #Constraints: 34845 2770.50/2777.79 c #Conflicts: 1017000 | #Constraints: 35845 2770.50/2777.79 c #Conflicts: 1018000 | #Constraints: 36845 2770.50/2777.79 c #Conflicts: 1019000 | #Constraints: 37845 2770.50/2777.79 c #Conflicts: 1020000 | #Constraints: 38845 2770.50/2777.79 c #Conflicts: 1021000 | #Constraints: 39846 2770.50/2777.79 c INPROCESSING 2770.50/2777.79 c GARBAGE COLLECT 2770.50/2777.79 c rational objective 0 2866.44/2873.90 c #Conflicts: 1022000 | #Constraints: 20840 2866.44/2873.90 c #Conflicts: 1023000 | #Constraints: 21840 2866.44/2873.90 c #Conflicts: 1024000 | #Constraints: 22840 2866.44/2873.90 c #Conflicts: 1025000 | #Constraints: 23840 2866.44/2873.90 c #Conflicts: 1026000 | #Constraints: 24840 2866.44/2873.90 c #Conflicts: 1027000 | #Constraints: 25841 2866.44/2873.90 c #Conflicts: 1028000 | #Constraints: 26841 2866.44/2873.90 c #Conflicts: 1029000 | #Constraints: 27841 2866.44/2873.90 c #Conflicts: 1030000 | #Constraints: 28841 2866.44/2873.90 c #Conflicts: 1031000 | #Constraints: 29841 2866.44/2873.90 c #Conflicts: 1032000 | #Constraints: 30842 2866.44/2873.90 c #Conflicts: 1033000 | #Constraints: 31842 2866.44/2873.90 c #Conflicts: 1034000 | #Constraints: 32842 2866.44/2873.90 c #Conflicts: 1035000 | #Constraints: 33843 2866.44/2873.90 c #Conflicts: 1036000 | #Constraints: 34844 2866.44/2873.90 c #Conflicts: 1037000 | #Constraints: 35844 2866.44/2873.90 c #Conflicts: 1038000 | #Constraints: 36845 2866.44/2873.90 c #Conflicts: 1039000 | #Constraints: 37845 2866.44/2873.90 c #Conflicts: 1040000 | #Constraints: 38845 2866.44/2873.90 c #Conflicts: 1041000 | #Constraints: 39845 2866.44/2873.90 c INPROCESSING 2866.44/2873.90 c GARBAGE COLLECT 2866.44/2873.90 c rational objective 0 2963.89/2971.65 c #Conflicts: 1042000 | #Constraints: 20639 2963.89/2971.65 c #Conflicts: 1043000 | #Constraints: 21639 2963.89/2971.65 c #Conflicts: 1044000 | #Constraints: 22639 2963.89/2971.65 c #Conflicts: 1045000 | #Constraints: 23639 2963.89/2971.65 c #Conflicts: 1046000 | #Constraints: 24639 2963.89/2971.65 c #Conflicts: 1047000 | #Constraints: 25639 2963.89/2971.65 c #Conflicts: 1048000 | #Constraints: 26639 2963.89/2971.65 c #Conflicts: 1049000 | #Constraints: 27640 2963.89/2971.65 c #Conflicts: 1050000 | #Constraints: 28640 2963.89/2971.65 c #Conflicts: 1051000 | #Constraints: 29640 2963.89/2971.65 c #Conflicts: 1052000 | #Constraints: 30640 2963.89/2971.65 c #Conflicts: 1053000 | #Constraints: 31642 2963.89/2971.65 c #Conflicts: 1054000 | #Constraints: 32642 2963.89/2971.65 c #Conflicts: 1055000 | #Constraints: 33642 2963.89/2971.65 c #Conflicts: 1056000 | #Constraints: 34642 2963.89/2971.65 c #Conflicts: 1057000 | #Constraints: 35642 2963.89/2971.65 c #Conflicts: 1058000 | #Constraints: 36642 2963.89/2971.65 c #Conflicts: 1059000 | #Constraints: 37642 2963.89/2971.65 c #Conflicts: 1060000 | #Constraints: 38642 2963.89/2971.65 c #Conflicts: 1061000 | #Constraints: 39642 2963.89/2971.65 c #Conflicts: 1062000 | #Constraints: 40643 2963.89/2971.65 c INPROCESSING 2963.89/2971.65 c GARBAGE COLLECT 2963.89/2971.65 c rational objective 0 3070.81/3078.87 c #Conflicts: 1063000 | #Constraints: 21243 3070.81/3078.87 c #Conflicts: 1064000 | #Constraints: 22244 3070.81/3078.87 c #Conflicts: 1065000 | #Constraints: 23245 3070.81/3078.87 c #Conflicts: 1066000 | #Constraints: 24247 3070.81/3078.87 c #Conflicts: 1067000 | #Constraints: 25248 3070.81/3078.87 c #Conflicts: 1068000 | #Constraints: 26248 3070.81/3078.87 c #Conflicts: 1069000 | #Constraints: 27248 3070.81/3078.87 c #Conflicts: 1070000 | #Constraints: 28248 3070.81/3078.87 c #Conflicts: 1071000 | #Constraints: 29249 3070.81/3078.87 c #Conflicts: 1072000 | #Constraints: 30249 3070.81/3078.87 c #Conflicts: 1073000 | #Constraints: 31250 3070.81/3078.87 c #Conflicts: 1074000 | #Constraints: 32250 3070.81/3078.87 c #Conflicts: 1075000 | #Constraints: 33250 3070.81/3078.87 c #Conflicts: 1076000 | #Constraints: 34251 3070.81/3078.87 c #Conflicts: 1077000 | #Constraints: 35251 3070.81/3078.87 c #Conflicts: 1078000 | #Constraints: 36251 3070.81/3078.87 c #Conflicts: 1079000 | #Constraints: 37251 3070.81/3078.87 c #Conflicts: 1080000 | #Constraints: 38251 3070.81/3078.87 c #Conflicts: 1081000 | #Constraints: 39251 3070.81/3078.87 c #Conflicts: 1082000 | #Constraints: 40251 3070.81/3078.87 c #Conflicts: 1083000 | #Constraints: 41252 3070.81/3078.87 c INPROCESSING 3070.81/3078.87 c GARBAGE COLLECT 3070.81/3078.87 c rational objective 0 3182.92/3191.29 c #Conflicts: 1084000 | #Constraints: 21643 3182.92/3191.29 c #Conflicts: 1085000 | #Constraints: 22643 3182.92/3191.29 c #Conflicts: 1086000 | #Constraints: 23643 3182.92/3191.29 c #Conflicts: 1087000 | #Constraints: 24644 3182.92/3191.29 c #Conflicts: 1088000 | #Constraints: 25644 3182.92/3191.29 c #Conflicts: 1089000 | #Constraints: 26644 3182.92/3191.29 c #Conflicts: 1090000 | #Constraints: 27644 3182.92/3191.29 c #Conflicts: 1091000 | #Constraints: 28645 3182.92/3191.29 c #Conflicts: 1092000 | #Constraints: 29645 3182.92/3191.29 c #Conflicts: 1093000 | #Constraints: 30645 3182.92/3191.29 c #Conflicts: 1094000 | #Constraints: 31645 3182.92/3191.29 c #Conflicts: 1095000 | #Constraints: 32645 3182.92/3191.29 c #Conflicts: 1096000 | #Constraints: 33645 3182.92/3191.29 c #Conflicts: 1097000 | #Constraints: 34646 3182.92/3191.29 c #Conflicts: 1098000 | #Constraints: 35646 3182.92/3191.29 c #Conflicts: 1099000 | #Constraints: 36647 3182.92/3191.29 c #Conflicts: 1100000 | #Constraints: 37647 3182.92/3191.29 c #Conflicts: 1101000 | #Constraints: 38647 3182.92/3191.29 c #Conflicts: 1102000 | #Constraints: 39647 3182.92/3191.29 c #Conflicts: 1103000 | #Constraints: 40647 3182.92/3191.29 c #Conflicts: 1104000 | #Constraints: 41647 3182.92/3191.29 c INPROCESSING 3182.92/3191.29 c GARBAGE COLLECT 3182.92/3191.29 c rational objective 0 3288.25/3296.85 c #Conflicts: 1105000 | #Constraints: 21845 3288.25/3296.85 c #Conflicts: 1106000 | #Constraints: 22845 3288.25/3296.85 c #Conflicts: 1107000 | #Constraints: 23845 3288.25/3296.85 c #Conflicts: 1108000 | #Constraints: 24845 3288.25/3296.85 c #Conflicts: 1109000 | #Constraints: 25846 3288.25/3296.85 c #Conflicts: 1110000 | #Constraints: 26846 3288.25/3296.85 c #Conflicts: 1111000 | #Constraints: 27846 3288.25/3296.85 c #Conflicts: 1112000 | #Constraints: 28846 3288.25/3296.85 c #Conflicts: 1113000 | #Constraints: 29846 3288.25/3296.85 c #Conflicts: 1114000 | #Constraints: 30848 3288.25/3296.85 c #Conflicts: 1115000 | #Constraints: 31850 3288.25/3296.85 c #Conflicts: 1116000 | #Constraints: 32850 3288.25/3296.85 c #Conflicts: 1117000 | #Constraints: 33850 3288.25/3296.85 c #Conflicts: 1118000 | #Constraints: 34850 3288.25/3296.85 c #Conflicts: 1119000 | #Constraints: 35850 3288.25/3296.85 c #Conflicts: 1120000 | #Constraints: 36850 3288.25/3296.85 c #Conflicts: 1121000 | #Constraints: 37850 3288.25/3296.85 c #Conflicts: 1122000 | #Constraints: 38850 3288.25/3296.85 c #Conflicts: 1123000 | #Constraints: 39850 3288.25/3296.85 c #Conflicts: 1124000 | #Constraints: 40850 3288.25/3296.85 c #Conflicts: 1125000 | #Constraints: 41850 3288.25/3296.85 c INPROCESSING 3288.25/3296.85 c GARBAGE COLLECT 3288.25/3296.85 c rational objective 0 3387.58/3396.45 c #Conflicts: 1126000 | #Constraints: 21844 3387.58/3396.45 c #Conflicts: 1127000 | #Constraints: 22844 3387.58/3396.45 c #Conflicts: 1128000 | #Constraints: 23845 3387.58/3396.45 c #Conflicts: 1129000 | #Constraints: 24845 3387.58/3396.45 c #Conflicts: 1130000 | #Constraints: 25845 3387.58/3396.45 c #Conflicts: 1131000 | #Constraints: 26845 3387.58/3396.45 c #Conflicts: 1132000 | #Constraints: 27845 3387.58/3396.45 c #Conflicts: 1133000 | #Constraints: 28845 3387.58/3396.45 c #Conflicts: 1134000 | #Constraints: 29845 3387.58/3396.45 c #Conflicts: 1135000 | #Constraints: 30845 3387.58/3396.45 c #Conflicts: 1136000 | #Constraints: 31845 3387.58/3396.45 c #Conflicts: 1137000 | #Constraints: 32845 3387.58/3396.45 c #Conflicts: 1138000 | #Constraints: 33845 3387.58/3396.45 c #Conflicts: 1139000 | #Constraints: 34845 3387.58/3396.45 c #Conflicts: 1140000 | #Constraints: 35845 3387.58/3396.45 c #Conflicts: 1141000 | #Constraints: 36846 3387.58/3396.45 c #Conflicts: 1142000 | #Constraints: 37846 3387.58/3396.45 c #Conflicts: 1143000 | #Constraints: 38846 3387.58/3396.45 c #Conflicts: 1144000 | #Constraints: 39848 3387.58/3396.45 c #Conflicts: 1145000 | #Constraints: 40850 3387.58/3396.45 c #Conflicts: 1146000 | #Constraints: 41850 3387.58/3396.45 c INPROCESSING 3387.58/3396.45 c GARBAGE COLLECT 3387.58/3396.45 c rational objective 0 3486.01/3495.15 c #Conflicts: 1147000 | #Constraints: 21643 3486.01/3495.15 c #Conflicts: 1148000 | #Constraints: 22643 3486.01/3495.15 c #Conflicts: 1149000 | #Constraints: 23644 3486.01/3495.15 c #Conflicts: 1150000 | #Constraints: 24644 3486.01/3495.15 c #Conflicts: 1151000 | #Constraints: 25645 3486.01/3495.15 c #Conflicts: 1152000 | #Constraints: 26645 3486.01/3495.15 c #Conflicts: 1153000 | #Constraints: 27645 3486.01/3495.15 c #Conflicts: 1154000 | #Constraints: 28645 3486.01/3495.15 c #Conflicts: 1155000 | #Constraints: 29645 3486.01/3495.15 c #Conflicts: 1156000 | #Constraints: 30645 3486.01/3495.15 c #Conflicts: 1157000 | #Constraints: 31646 3486.01/3495.15 c #Conflicts: 1158000 | #Constraints: 32648 3486.01/3495.15 c #Conflicts: 1159000 | #Constraints: 33649 3486.01/3495.15 c #Conflicts: 1160000 | #Constraints: 34650 3486.01/3495.15 c #Conflicts: 1161000 | #Constraints: 35651 3486.01/3495.15 c #Conflicts: 1162000 | #Constraints: 36651 3486.01/3495.15 c #Conflicts: 1163000 | #Constraints: 37651 3486.01/3495.15 c #Conflicts: 1164000 | #Constraints: 38652 3486.01/3495.15 c #Conflicts: 1165000 | #Constraints: 39652 3486.01/3495.15 c #Conflicts: 1166000 | #Constraints: 40653 3486.01/3495.15 c #Conflicts: 1167000 | #Constraints: 41653 3486.01/3495.15 c #Conflicts: 1168000 | #Constraints: 42654 3486.01/3495.15 c INPROCESSING 3486.01/3495.15 c GARBAGE COLLECT 3486.01/3495.15 c rational objective 0 3583.85/3593.26 c #Conflicts: 1169000 | #Constraints: 22247 3583.85/3593.26 c #Conflicts: 1170000 | #Constraints: 23247 3583.85/3593.26 c #Conflicts: 1171000 | #Constraints: 24249 3583.85/3593.26 c #Conflicts: 1172000 | #Constraints: 25249 3583.85/3593.26 c #Conflicts: 1173000 | #Constraints: 26250 3583.85/3593.26 c #Conflicts: 1174000 | #Constraints: 27251 3583.85/3593.26 c #Conflicts: 1175000 | #Constraints: 28252 3583.85/3593.26 c #Conflicts: 1176000 | #Constraints: 29253 3583.85/3593.26 c #Conflicts: 1177000 | #Constraints: 30254 3583.85/3593.26 c #Conflicts: 1178000 | #Constraints: 31254 3583.85/3593.26 c #Conflicts: 1179000 | #Constraints: 32254 3583.85/3593.26 c #Conflicts: 1180000 | #Constraints: 33254 3583.85/3593.26 c #Conflicts: 1181000 | #Constraints: 34254 3583.85/3593.26 c #Conflicts: 1182000 | #Constraints: 35255 3583.85/3593.26 c #Conflicts: 1183000 | #Constraints: 36255 3583.85/3593.26 c #Conflicts: 1184000 | #Constraints: 37255 3583.85/3593.26 c #Conflicts: 1185000 | #Constraints: 38257 3583.85/3593.26 c #Conflicts: 1186000 | #Constraints: 39257 3583.85/3593.26 c #Conflicts: 1187000 | #Constraints: 40258 3583.85/3593.26 c #Conflicts: 1188000 | #Constraints: 41258 3583.85/3593.26 c #Conflicts: 1189000 | #Constraints: 42260 3583.85/3593.26 c #Conflicts: 1190000 | #Constraints: 43261 3583.85/3593.26 c INPROCESSING 3583.85/3593.26 c GARBAGE COLLECT 3583.85/3593.26 c rational objective 0 3600.01/3609.40 c #Conflicts: 1191000 | #Constraints: 22647 3600.01/3609.40 c #Conflicts: 1192000 | #Constraints: 23647 3600.01/3609.40 c #Conflicts: 1193000 | #Constraints: 24647 3600.01/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: 63968 MiB (63179 MiB free)
memory of node 1: 64473 MiB (63863 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462603-1722340768/watcher-4462603-1722340768 -o /tmp/evaluation-result-4462603-1722340768/solver-4462603-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722340763-7349 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462603-1722340768 --lp-cut-gomory=0 HOME/instance-4462603-1722340768.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7504, runsolver pid=7501
[startup+0.100453 s]*
/proc/loadavg: 0.33 0.14 0.11 6/261 7505
/proc/meminfo: memFree=130079432/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=38156 memory=8912 CPUtime=0.09 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 532 0 0 0 9 0 0 0 20 0 1 0 676654 39071744 2228 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 9539 2228 1882 992 0 1397 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38156 KiB
Current children cumulated memory: 8912 KiB
[startup+0.205755 s]*
/proc/loadavg: 0.33 0.14 0.11 6/261 7505
/proc/meminfo: memFree=130070108/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=38284 memory=9172 CPUtime=0.2 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 647 0 0 0 19 1 0 0 20 0 1 0 676654 39202816 2293 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 9571 2293 1882 992 0 1429 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38284 KiB
Current children cumulated memory: 9172 KiB
[startup+0.304721 s]*
/proc/loadavg: 0.33 0.14 0.11 6/261 7505
/proc/meminfo: memFree=130063232/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=38416 memory=9700 CPUtime=0.29 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 749 0 0 0 28 1 0 0 20 0 1 0 676654 39337984 2425 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 9604 2425 1882 992 0 1462 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38416 KiB
Current children cumulated memory: 9700 KiB
[startup+0.700145 s]
/proc/loadavg: 0.33 0.14 0.11 5/261 7505
/proc/meminfo: memFree=130053548/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=38816 memory=10324 CPUtime=0.68 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 923 0 0 0 65 3 0 0 20 0 1 0 676654 39747584 2581 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 9704 2581 1882 992 0 1562 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38816 KiB
Current children cumulated memory: 10324 KiB
[startup+1.50015 s]
/proc/loadavg: 0.33 0.14 0.11 5/261 7505
/proc/meminfo: memFree=130011824/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=39388 memory=13428 CPUtime=1.48 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 1181 0 0 0 143 5 0 0 20 0 1 0 676654 40333312 3357 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 9847 3357 1882 992 0 1705 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39388 KiB
Current children cumulated memory: 13428 KiB
[startup+3.10545 s]
/proc/loadavg: 0.33 0.14 0.11 5/261 7505
/proc/meminfo: memFree=129920452/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=39920 memory=14004 CPUtime=3.08 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 1295 0 0 0 299 9 0 0 20 0 1 0 676654 40878080 3501 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 9980 3501 1882 992 0 1838 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39920 KiB
Current children cumulated memory: 14004 KiB
[startup+6.30015 s]
/proc/loadavg: 0.63 0.21 0.13 5/261 7507
/proc/meminfo: memFree=129801084/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=40368 memory=14308 CPUtime=6.27 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 1383 0 0 0 612 15 0 0 20 0 1 0 676654 41336832 3577 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 10092 3577 1882 992 0 1950 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40368 KiB
Current children cumulated memory: 14308 KiB
[startup+12.7002 s]
/proc/loadavg: 0.90 0.27 0.15 5/262 7508
/proc/meminfo: memFree=129547452/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=41168 memory=14824 CPUtime=12.65 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 1537 0 0 0 1236 29 0 0 20 0 1 0 676654 42156032 3706 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 10292 3706 1882 992 0 2150 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41168 KiB
Current children cumulated memory: 14824 KiB
[startup+25.5002 s]
/proc/loadavg: 1.65 0.47 0.22 5/262 7511
/proc/meminfo: memFree=129143844/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=42512 memory=16032 CPUtime=25.43 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 1858 0 0 0 2493 50 0 0 20 0 1 0 676654 43532288 4008 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 10628 4008 1882 992 0 2486 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 42512 KiB
Current children cumulated memory: 16032 KiB
[startup+51.1057 s]
/proc/loadavg: 2.53 0.77 0.32 5/264 7518
/proc/meminfo: memFree=128554692/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=45584 memory=19704 CPUtime=50.97 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 2286 0 0 0 5009 88 0 0 20 0 1 0 676654 46678016 4926 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 11396 4926 1882 992 0 3254 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 45584 KiB
Current children cumulated memory: 19704 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.29 0.52 5/263 7538
/proc/meminfo: memFree=127086640/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=48464 memory=21792 CPUtime=102.03 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 2869 0 0 0 10056 147 0 0 20 0 1 0 676654 49627136 5448 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 12116 5448 1882 992 0 3974 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 48464 KiB
Current children cumulated memory: 21792 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.80 0.75 5/263 7549
/proc/meminfo: memFree=125424808/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=53460 memory=23172 CPUtime=161.89 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 3211 0 0 0 15981 208 0 0 20 0 1 0 676654 54743040 5793 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 13365 5793 1882 992 0 5223 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 53460 KiB
Current children cumulated memory: 23172 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.22 0.96 5/265 7564
/proc/meminfo: memFree=124483880/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=54228 memory=24552 CPUtime=221.74 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 3685 0 0 0 21913 261 0 0 20 0 1 0 676654 55529472 6138 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 13557 6138 1882 992 0 5415 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 54228 KiB
Current children cumulated memory: 24552 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.58 1.16 5/263 7574
/proc/meminfo: memFree=123942700/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=54868 memory=27392 CPUtime=281.59 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 3916 0 0 0 27847 312 0 0 20 0 1 0 676654 56184832 6848 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 13717 6848 1882 992 0 5575 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 54868 KiB
Current children cumulated memory: 27392 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 2.85 1.35 5/262 7584
/proc/meminfo: memFree=123157532/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=55380 memory=27756 CPUtime=341.43 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 4035 0 0 0 33784 359 0 0 20 0 1 0 676654 56709120 6939 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 13845 6939 1882 992 0 5703 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 55380 KiB
Current children cumulated memory: 27756 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.09 1.53 5/260 7596
/proc/meminfo: memFree=121914384/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=56276 memory=28428 CPUtime=401.28 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 4318 0 0 0 39725 403 0 0 20 0 1 0 676654 57626624 7107 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 14069 7107 1882 992 0 5927 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 56276 KiB
Current children cumulated memory: 28428 KiB
[startup+462.3 s]
/proc/loadavg: 4.52 3.37 1.72 5/260 7607
/proc/meminfo: memFree=119718432/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=58196 memory=29772 CPUtime=461.12 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 4748 0 0 0 45668 444 0 0 20 0 1 0 676654 59592704 7443 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 14549 7443 1882 992 0 6407 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.02 5/259 8727
/proc/meminfo: memFree=91338484/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=74724 memory=47996 CPUtime=3154.1 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 9891 0 0 0 313467 1943 0 0 20 0 1 0 676654 76517376 11999 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 18681 11999 1882 992 0 10539 0
Current children cumulated CPU time: 3154.1 s
Current children cumulated vsize: 74724 KiB
Current children cumulated memory: 47996 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/258 8737
/proc/meminfo: memFree=91159824/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=75752 memory=48700 CPUtime=3213.94 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 10147 0 0 0 319428 1966 0 0 20 0 1 0 676654 77570048 12175 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 18938 12175 1882 992 0 10796 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 75752 KiB
Current children cumulated memory: 48700 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.02 5/259 8749
/proc/meminfo: memFree=90829032/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=76008 memory=48824 CPUtime=3273.78 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 10204 0 0 0 325389 1989 0 0 20 0 1 0 676654 77832192 12206 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 19002 12206 1882 992 0 10860 0
Current children cumulated CPU time: 3273.78 s
Current children cumulated vsize: 76008 KiB
Current children cumulated memory: 48824 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.15 4.04 5/259 8760
/proc/meminfo: memFree=89879392/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=87684 memory=49560 CPUtime=3333.62 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 10482 0 0 0 331345 2017 0 0 20 0 1 0 676654 89788416 12390 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 21921 12390 1882 992 0 13779 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 49560 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.05 5/260 9158
/proc/meminfo: memFree=89089112/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=87940 memory=49712 CPUtime=3393.46 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 10621 0 0 0 337299 2047 0 0 20 0 1 0 676654 90050560 12428 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 21985 12428 1882 992 0 13843 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49712 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.05 5/262 9171
/proc/meminfo: memFree=88204816/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=87940 memory=49712 CPUtime=3453.3 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 10630 0 0 0 343255 2075 0 0 20 0 1 0 676654 90050560 12428 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 21985 12428 1882 992 0 13843 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49712 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.05 5/262 9183
/proc/meminfo: memFree=87547868/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=87940 memory=49712 CPUtime=3513.14 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 10731 0 0 0 349214 2100 0 0 20 0 1 0 676654 90050560 12428 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 21985 12428 1882 992 0 13843 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49712 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.16 4.06 5/264 9363
/proc/meminfo: memFree=87281808/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=87940 memory=49712 CPUtime=3572.98 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 10741 0 0 0 355171 2127 0 0 20 0 1 0 676654 90050560 12428 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 21985 12428 1882 992 0 13843 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.15 4.14 4.06 5/264 9369
/proc/meminfo: memFree=87160000/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=87940 memory=49776 CPUtime=3600.01 cores=5,7
/proc/7504/stat : 7504 (roundingsat) R 7501 7504 7335 0 -1 4194304 10849 0 0 0 357862 2139 0 0 20 0 1 0 676654 90050560 12444 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 21985 12444 1882 992 0 13843 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49776 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.14 4.06 1/263 9369
/proc/meminfo: memFree=96660876/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=87940 memory=49776 CPUtime=3600.02 cores=5,7
/proc/7504/stat : 7504 (roundingsat) D 7501 7504 7335 0 -1 4194304 10856 0 0 0 357863 2139 0 0 20 0 1 0 676654 90050560 12444 134679101440 4194304 8255733 140733905646288 0 0 256 0 0 25182210 0 0 0 17 5 0 0 310 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 21985 12444 1882 992 0 13843 0
??? kill 7504 sig 9
??? end of watcher thread
[startup+3624.91 s]
# the end of solver process 7504 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3578.64 s, system=21.394 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.15 4.14 4.06 5/264 9369
/proc/meminfo: memFree=87160000/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=87940 memory=49776 CPUtime=3600.02 cores=5,7
/proc/7504/stat : 7504 (roundingsat) D 7501 7504 7335 0 -1 4194304 10856 0 0 0 357863 2139 0 0 20 0 1 0 676654 90050560 12444 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 21985 12444 1882 992 0 13843 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49776 KiB
[startup+3610.4 s]
/proc/loadavg: 4.15 4.14 4.06 2/263 9369
/proc/meminfo: memFree=96660928/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=87940 memory=49776 CPUtime=3600.02 cores=5,7
/proc/7504/stat : 7504 (roundingsat) D 7501 7504 7335 0 -1 4194304 10856 0 0 0 357863 2139 0 0 20 0 1 0 676654 90050560 12444 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 21985 12444 1882 992 0 13843 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49776 KiB
[startup+3611.2 s]
/proc/loadavg: 4.13 4.14 4.06 1/263 9369
/proc/meminfo: memFree=96661580/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=87940 memory=49776 CPUtime=3600.02 cores=5,7
/proc/7504/stat : 7504 (roundingsat) D 7501 7504 7335 0 -1 4194304 10856 0 0 0 357863 2139 0 0 20 0 1 0 676654 90050560 12444 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 219 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 21985 12444 1882 992 0 13843 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49776 KiB
[startup+3611.4 s]
/proc/loadavg: 4.13 4.14 4.06 1/263 9369
/proc/meminfo: memFree=96661580/131524600 swapFree=131071996/131071996
[pid=7504] ppid=7501 vsize=87940 memory=49776 CPUtime=3600.02 cores=5,7
/proc/7504/stat : 7504 (roundingsat) D 7501 7504 7335 0 -1 4194304 10856 0 0 0 357863 2139 0 0 20 0 1 0 676654 90050560 12444 134679101440 4194304 8255733 140733905646288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 308 0 0 9037040 9046032 19935232 140733905650526 140733905650788 140733905650788 140733905657801 0
/proc/7504/statm: 21985 12444 1882 992 0 13843 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49776 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3624.91
CPU time (s): 3600.03
CPU user time (s): 3578.64
CPU system time (s): 21.394
CPU usage (%): 99.3135
Max. virtual memory (cumulated for all children) (KiB): 87940
Max. memory (cumulated for all children) (KiB): 49776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.63
system time used= 21.394
maximum resident set size= 50180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9383136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 588
involuntary context switches= 4858
# summary of solver processes directly reported to runsolver:
# pid: 7504
# total CPU time (s): 3600.03
# total CPU user time (s): 3578.64
# total CPU system time (s): 21.394
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7049 second user time and 17.915 second system time
The end
Begin job on nodeC025 at 2024-07-30 13:59:28 IDJOB=4462603 IDBENCH=147613 IDSOLVER=3089 FILE ID=nodeC025/4462603-1722340768 RUNJOBID= nodeC025-1722340763-7349 SLURM_JOB_ID= 8248998 Free space on /tmp= 890064 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-4462603-1722340768/watcher-4462603-1722340768 -o /tmp/evaluation-result-4462603-1722340768/solver-4462603-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722340763-7349 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462603-1722340768 --lp-cut-gomory=0 HOME/instance-4462603-1722340768.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8548cf2fe8567884970fc9be656882ff RANDOM SEED=52205761 nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.026 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3685.689 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.469 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3635.905 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.104 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3665.236 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3628.556 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3655.106 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130093400 kB MemAvailable: 129750612 kB Buffers: 38460 kB Cached: 456828 kB SwapCached: 0 kB Active: 133364 kB Inactive: 836176 kB Active(anon): 1528 kB Inactive(anon): 493804 kB Active(file): 131836 kB Inactive(file): 342372 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 124120 kB Writeback: 4 kB AnonPages: 474112 kB Mapped: 97780 kB Shmem: 21336 kB KReclaimable: 45656 kB Slab: 124700 kB SReclaimable: 45656 kB SUnreclaim: 79044 kB KernelStack: 4192 kB PageTables: 10196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 748360 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 260096 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: 230100 kB DirectMap2M: 10029056 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890056 MiB End job on nodeC025 at 2024-07-30 14:59:53