| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.02 | 3609.72 |
| 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.000361 0.00/0.00 c rational objective 0 0.20/0.29 c #Conflicts: 1000 | #Constraints: 1032 0.20/0.29 c #Conflicts: 2000 | #Constraints: 2041 0.20/0.29 c INPROCESSING 0.20/0.29 c GARBAGE COLLECT 0.20/0.29 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.58 c #Conflicts: 5000 | #Constraints: 2445 1.48/1.58 c #Conflicts: 6000 | #Constraints: 3448 1.48/1.58 c INPROCESSING 1.48/1.58 c GARBAGE COLLECT 1.48/1.58 c rational objective 0 2.48/2.56 c #Conflicts: 7000 | #Constraints: 2440 2.48/2.56 c #Conflicts: 8000 | #Constraints: 3444 2.48/2.56 c #Conflicts: 9000 | #Constraints: 4449 2.48/2.56 c INPROCESSING 2.48/2.56 c GARBAGE COLLECT 2.48/2.56 c rational objective 0 3.58/3.61 c #Conflicts: 10000 | #Constraints: 3150 3.58/3.61 c #Conflicts: 11000 | #Constraints: 4152 3.58/3.61 c #Conflicts: 12000 | #Constraints: 5155 3.58/3.61 c INPROCESSING 3.58/3.61 c GARBAGE COLLECT 3.58/3.61 c rational objective 0 4.88/4.93 c #Conflicts: 13000 | #Constraints: 3592 4.88/4.93 c #Conflicts: 14000 | #Constraints: 4594 4.88/4.93 c #Conflicts: 15000 | #Constraints: 5597 4.88/4.93 c INPROCESSING 4.88/4.93 c GARBAGE COLLECT 4.88/4.93 c rational objective 0 6.58/6.69 c #Conflicts: 16000 | #Constraints: 3816 6.58/6.69 c #Conflicts: 17000 | #Constraints: 4816 6.58/6.69 c #Conflicts: 18000 | #Constraints: 5818 6.58/6.69 c INPROCESSING 6.58/6.69 c GARBAGE COLLECT 6.58/6.69 c rational objective 0 8.47/8.52 c #Conflicts: 19000 | #Constraints: 3829 8.47/8.52 c #Conflicts: 20000 | #Constraints: 4832 8.47/8.52 c #Conflicts: 21000 | #Constraints: 5835 8.47/8.52 c INPROCESSING 8.47/8.52 c GARBAGE COLLECT 8.47/8.52 c rational objective 0 10.46/10.55 c #Conflicts: 22000 | #Constraints: 3633 10.46/10.55 c #Conflicts: 23000 | #Constraints: 4635 10.46/10.55 c #Conflicts: 24000 | #Constraints: 5640 10.46/10.55 c #Conflicts: 25000 | #Constraints: 6645 10.46/10.55 c INPROCESSING 10.46/10.55 c GARBAGE COLLECT 10.46/10.55 c rational objective 0 12.86/12.91 c #Conflicts: 26000 | #Constraints: 4238 12.86/12.91 c #Conflicts: 27000 | #Constraints: 5240 12.86/12.91 c #Conflicts: 28000 | #Constraints: 6245 12.86/12.91 c #Conflicts: 29000 | #Constraints: 7245 12.86/12.91 c INPROCESSING 12.86/12.91 c GARBAGE COLLECT 12.86/12.91 c rational objective 0 15.45/15.52 c #Conflicts: 30000 | #Constraints: 4638 15.45/15.52 c #Conflicts: 31000 | #Constraints: 5639 15.45/15.52 c #Conflicts: 32000 | #Constraints: 6639 15.45/15.52 c #Conflicts: 33000 | #Constraints: 7639 15.45/15.52 c INPROCESSING 15.45/15.52 c GARBAGE COLLECT 15.45/15.52 c rational objective 0 18.54/18.63 c #Conflicts: 34000 | #Constraints: 4835 18.54/18.63 c #Conflicts: 35000 | #Constraints: 5837 18.54/18.63 c #Conflicts: 36000 | #Constraints: 6839 18.54/18.63 c #Conflicts: 37000 | #Constraints: 7841 18.54/18.63 c INPROCESSING 18.54/18.63 c GARBAGE COLLECT 18.54/18.63 c rational objective 0 21.94/22.03 c #Conflicts: 38000 | #Constraints: 4839 21.94/22.03 c #Conflicts: 39000 | #Constraints: 5839 21.94/22.03 c #Conflicts: 40000 | #Constraints: 6839 21.94/22.03 c #Conflicts: 41000 | #Constraints: 7841 21.94/22.03 c INPROCESSING 21.94/22.03 c GARBAGE COLLECT 21.94/22.03 c rational objective 0 25.62/25.78 c #Conflicts: 42000 | #Constraints: 4640 25.62/25.78 c #Conflicts: 43000 | #Constraints: 5642 25.62/25.78 c #Conflicts: 44000 | #Constraints: 6645 25.62/25.78 c #Conflicts: 45000 | #Constraints: 7649 25.62/25.78 c #Conflicts: 46000 | #Constraints: 8650 25.62/25.78 c INPROCESSING 25.62/25.78 c GARBAGE COLLECT 25.62/25.78 c rational objective 0 29.21/29.33 c #Conflicts: 47000 | #Constraints: 5237 29.21/29.33 c #Conflicts: 48000 | #Constraints: 6240 29.21/29.33 c #Conflicts: 49000 | #Constraints: 7242 29.21/29.33 c #Conflicts: 50000 | #Constraints: 8243 29.21/29.33 c #Conflicts: 51000 | #Constraints: 9244 29.21/29.33 c INPROCESSING 29.21/29.33 c GARBAGE COLLECT 29.21/29.33 c rational objective 0 33.31/33.42 c #Conflicts: 52000 | #Constraints: 5640 33.31/33.42 c #Conflicts: 53000 | #Constraints: 6640 33.31/33.42 c #Conflicts: 54000 | #Constraints: 7641 33.31/33.42 c #Conflicts: 55000 | #Constraints: 8644 33.31/33.42 c #Conflicts: 56000 | #Constraints: 9645 33.31/33.42 c INPROCESSING 33.31/33.42 c GARBAGE COLLECT 33.31/33.42 c rational objective 0 37.39/37.58 c #Conflicts: 57000 | #Constraints: 5837 37.39/37.58 c #Conflicts: 58000 | #Constraints: 6841 37.39/37.58 c #Conflicts: 59000 | #Constraints: 7841 37.39/37.58 c #Conflicts: 60000 | #Constraints: 8841 37.39/37.58 c #Conflicts: 61000 | #Constraints: 9842 37.39/37.58 c INPROCESSING 37.39/37.58 c GARBAGE COLLECT 37.39/37.58 c rational objective 0 42.38/42.58 c #Conflicts: 62000 | #Constraints: 5834 42.38/42.58 c #Conflicts: 63000 | #Constraints: 6835 42.38/42.58 c #Conflicts: 64000 | #Constraints: 7835 42.38/42.58 c #Conflicts: 65000 | #Constraints: 8836 42.38/42.58 c #Conflicts: 66000 | #Constraints: 9837 42.38/42.58 c INPROCESSING 42.38/42.58 c GARBAGE COLLECT 42.38/42.58 c rational objective 0 47.56/47.74 c #Conflicts: 67000 | #Constraints: 5634 47.56/47.74 c #Conflicts: 68000 | #Constraints: 6634 47.56/47.74 c #Conflicts: 69000 | #Constraints: 7635 47.56/47.74 c #Conflicts: 70000 | #Constraints: 8635 47.56/47.74 c #Conflicts: 71000 | #Constraints: 9638 47.56/47.74 c #Conflicts: 72000 | #Constraints: 10639 47.56/47.74 c INPROCESSING 47.56/47.74 c GARBAGE COLLECT 47.56/47.74 c rational objective 0 53.04/53.26 c #Conflicts: 73000 | #Constraints: 6234 53.04/53.26 c #Conflicts: 74000 | #Constraints: 7236 53.04/53.26 c #Conflicts: 75000 | #Constraints: 8237 53.04/53.26 c #Conflicts: 76000 | #Constraints: 9239 53.04/53.26 c #Conflicts: 77000 | #Constraints: 10243 53.04/53.26 c #Conflicts: 78000 | #Constraints: 11245 53.04/53.26 c INPROCESSING 53.04/53.26 c GARBAGE COLLECT 53.04/53.26 c rational objective 0 58.84/59.05 c #Conflicts: 79000 | #Constraints: 6635 58.84/59.05 c #Conflicts: 80000 | #Constraints: 7637 58.84/59.05 c #Conflicts: 81000 | #Constraints: 8640 58.84/59.05 c #Conflicts: 82000 | #Constraints: 9644 58.84/59.05 c #Conflicts: 83000 | #Constraints: 10646 58.84/59.05 c #Conflicts: 84000 | #Constraints: 11647 58.84/59.05 c INPROCESSING 58.84/59.05 c GARBAGE COLLECT 58.84/59.05 c rational objective 0 65.22/65.47 c #Conflicts: 85000 | #Constraints: 6838 65.22/65.47 c #Conflicts: 86000 | #Constraints: 7840 65.22/65.47 c #Conflicts: 87000 | #Constraints: 8841 65.22/65.47 c #Conflicts: 88000 | #Constraints: 9841 65.22/65.47 c #Conflicts: 89000 | #Constraints: 10841 65.22/65.47 c #Conflicts: 90000 | #Constraints: 11842 65.22/65.47 c INPROCESSING 65.22/65.47 c GARBAGE COLLECT 65.22/65.47 c rational objective 0 72.50/72.70 c #Conflicts: 91000 | #Constraints: 6839 72.50/72.70 c #Conflicts: 92000 | #Constraints: 7841 72.50/72.70 c #Conflicts: 93000 | #Constraints: 8841 72.50/72.70 c #Conflicts: 94000 | #Constraints: 9841 72.50/72.70 c #Conflicts: 95000 | #Constraints: 10842 72.50/72.70 c #Conflicts: 96000 | #Constraints: 11842 72.50/72.70 c INPROCESSING 72.50/72.70 c GARBAGE COLLECT 72.50/72.70 c rational objective 0 80.19/80.49 c #Conflicts: 97000 | #Constraints: 6635 80.19/80.49 c #Conflicts: 98000 | #Constraints: 7636 80.19/80.49 c #Conflicts: 99000 | #Constraints: 8636 80.19/80.49 c #Conflicts: 100000 | #Constraints: 9636 80.19/80.49 c #Conflicts: 101000 | #Constraints: 10636 80.19/80.49 c #Conflicts: 102000 | #Constraints: 11636 80.19/80.49 c #Conflicts: 103000 | #Constraints: 12636 80.19/80.49 c INPROCESSING 80.19/80.49 c GARBAGE COLLECT 80.19/80.49 c rational objective 0 87.17/87.49 c #Conflicts: 104000 | #Constraints: 7233 87.17/87.49 c #Conflicts: 105000 | #Constraints: 8234 87.17/87.49 c #Conflicts: 106000 | #Constraints: 9236 87.17/87.49 c #Conflicts: 107000 | #Constraints: 10236 87.17/87.49 c #Conflicts: 108000 | #Constraints: 11237 87.17/87.49 c #Conflicts: 109000 | #Constraints: 12238 87.17/87.49 c #Conflicts: 110000 | #Constraints: 13239 87.17/87.49 c INPROCESSING 87.17/87.49 c GARBAGE COLLECT 87.17/87.49 c rational objective 0 94.76/95.05 c #Conflicts: 111000 | #Constraints: 7638 94.76/95.05 c #Conflicts: 112000 | #Constraints: 8640 94.76/95.05 c #Conflicts: 113000 | #Constraints: 9642 94.76/95.05 c #Conflicts: 114000 | #Constraints: 10643 94.76/95.05 c #Conflicts: 115000 | #Constraints: 11643 94.76/95.05 c #Conflicts: 116000 | #Constraints: 12643 94.76/95.05 c #Conflicts: 117000 | #Constraints: 13645 94.76/95.05 c INPROCESSING 94.76/95.05 c GARBAGE COLLECT 94.76/95.05 c rational objective 0 103.13/103.45 c #Conflicts: 118000 | #Constraints: 7846 103.13/103.45 c #Conflicts: 119000 | #Constraints: 8848 103.13/103.45 c #Conflicts: 120000 | #Constraints: 9849 103.13/103.45 c #Conflicts: 121000 | #Constraints: 10849 103.13/103.45 c #Conflicts: 122000 | #Constraints: 11850 103.13/103.45 c #Conflicts: 123000 | #Constraints: 12853 103.13/103.45 c #Conflicts: 124000 | #Constraints: 13853 103.13/103.45 c INPROCESSING 103.13/103.45 c GARBAGE COLLECT 103.13/103.45 c rational objective 0 111.82/112.14 c #Conflicts: 125000 | #Constraints: 7845 111.82/112.14 c #Conflicts: 126000 | #Constraints: 8845 111.82/112.14 c #Conflicts: 127000 | #Constraints: 9845 111.82/112.14 c #Conflicts: 128000 | #Constraints: 10845 111.82/112.14 c #Conflicts: 129000 | #Constraints: 11846 111.82/112.14 c #Conflicts: 130000 | #Constraints: 12847 111.82/112.14 c #Conflicts: 131000 | #Constraints: 13847 111.82/112.14 c INPROCESSING 111.82/112.14 c GARBAGE COLLECT 111.82/112.14 c rational objective 0 121.19/121.50 c #Conflicts: 132000 | #Constraints: 7639 121.19/121.50 c #Conflicts: 133000 | #Constraints: 8639 121.19/121.50 c #Conflicts: 134000 | #Constraints: 9640 121.19/121.50 c #Conflicts: 135000 | #Constraints: 10641 121.19/121.50 c #Conflicts: 136000 | #Constraints: 11642 121.19/121.50 c #Conflicts: 137000 | #Constraints: 12642 121.19/121.50 c #Conflicts: 138000 | #Constraints: 13642 121.19/121.50 c #Conflicts: 139000 | #Constraints: 14642 121.19/121.50 c INPROCESSING 121.19/121.50 c GARBAGE COLLECT 121.19/121.50 c rational objective 0 131.57/131.91 c #Conflicts: 140000 | #Constraints: 8239 131.57/131.91 c #Conflicts: 141000 | #Constraints: 9241 131.57/131.91 c #Conflicts: 142000 | #Constraints: 10243 131.57/131.91 c #Conflicts: 143000 | #Constraints: 11243 131.57/131.91 c #Conflicts: 144000 | #Constraints: 12243 131.57/131.91 c #Conflicts: 145000 | #Constraints: 13243 131.57/131.91 c #Conflicts: 146000 | #Constraints: 14243 131.57/131.91 c #Conflicts: 147000 | #Constraints: 15243 131.57/131.91 c INPROCESSING 131.57/131.91 c GARBAGE COLLECT 131.57/131.91 c rational objective 0 142.05/142.41 c #Conflicts: 148000 | #Constraints: 8639 142.05/142.41 c #Conflicts: 149000 | #Constraints: 9641 142.05/142.41 c #Conflicts: 150000 | #Constraints: 10641 142.05/142.41 c #Conflicts: 151000 | #Constraints: 11642 142.05/142.41 c #Conflicts: 152000 | #Constraints: 12643 142.05/142.41 c #Conflicts: 153000 | #Constraints: 13644 142.05/142.41 c #Conflicts: 154000 | #Constraints: 14645 142.05/142.41 c #Conflicts: 155000 | #Constraints: 15645 142.05/142.41 c INPROCESSING 142.05/142.41 c GARBAGE COLLECT 142.05/142.41 c rational objective 0 153.52/153.91 c #Conflicts: 156000 | #Constraints: 8839 153.52/153.91 c #Conflicts: 157000 | #Constraints: 9839 153.52/153.91 c #Conflicts: 158000 | #Constraints: 10840 153.52/153.91 c #Conflicts: 159000 | #Constraints: 11840 153.52/153.91 c #Conflicts: 160000 | #Constraints: 12842 153.52/153.91 c #Conflicts: 161000 | #Constraints: 13843 153.52/153.91 c #Conflicts: 162000 | #Constraints: 14846 153.52/153.91 c #Conflicts: 163000 | #Constraints: 15848 153.52/153.91 c INPROCESSING 153.52/153.91 c GARBAGE COLLECT 153.52/153.91 c rational objective 0 164.99/165.40 c #Conflicts: 164000 | #Constraints: 8841 164.99/165.40 c #Conflicts: 165000 | #Constraints: 9842 164.99/165.40 c #Conflicts: 166000 | #Constraints: 10843 164.99/165.40 c #Conflicts: 167000 | #Constraints: 11843 164.99/165.40 c #Conflicts: 168000 | #Constraints: 12844 164.99/165.40 c #Conflicts: 169000 | #Constraints: 13846 164.99/165.40 c #Conflicts: 170000 | #Constraints: 14846 164.99/165.40 c #Conflicts: 171000 | #Constraints: 15846 164.99/165.40 c INPROCESSING 164.99/165.40 c GARBAGE COLLECT 164.99/165.40 c rational objective 0 176.96/177.48 c #Conflicts: 172000 | #Constraints: 8640 176.96/177.48 c #Conflicts: 173000 | #Constraints: 9640 176.96/177.48 c #Conflicts: 174000 | #Constraints: 10641 176.96/177.48 c #Conflicts: 175000 | #Constraints: 11642 176.96/177.48 c #Conflicts: 176000 | #Constraints: 12643 176.96/177.48 c #Conflicts: 177000 | #Constraints: 13643 176.96/177.48 c #Conflicts: 178000 | #Constraints: 14644 176.96/177.48 c #Conflicts: 179000 | #Constraints: 15644 176.96/177.48 c #Conflicts: 180000 | #Constraints: 16645 176.96/177.48 c INPROCESSING 176.96/177.48 c GARBAGE COLLECT 176.96/177.48 c rational objective 0 190.13/190.67 c #Conflicts: 181000 | #Constraints: 9237 190.13/190.67 c #Conflicts: 182000 | #Constraints: 10238 190.13/190.67 c #Conflicts: 183000 | #Constraints: 11238 190.13/190.67 c #Conflicts: 184000 | #Constraints: 12238 190.13/190.67 c #Conflicts: 185000 | #Constraints: 13239 190.13/190.67 c #Conflicts: 186000 | #Constraints: 14239 190.13/190.67 c #Conflicts: 187000 | #Constraints: 15240 190.13/190.67 c #Conflicts: 188000 | #Constraints: 16241 190.13/190.67 c #Conflicts: 189000 | #Constraints: 17241 190.13/190.67 c INPROCESSING 190.13/190.67 c GARBAGE COLLECT 190.13/190.67 c rational objective 0 205.69/206.25 c #Conflicts: 190000 | #Constraints: 9640 205.69/206.25 c #Conflicts: 191000 | #Constraints: 10641 205.69/206.25 c #Conflicts: 192000 | #Constraints: 11641 205.69/206.25 c #Conflicts: 193000 | #Constraints: 12642 205.69/206.25 c #Conflicts: 194000 | #Constraints: 13644 205.69/206.25 c #Conflicts: 195000 | #Constraints: 14644 205.69/206.25 c #Conflicts: 196000 | #Constraints: 15644 205.69/206.25 c #Conflicts: 197000 | #Constraints: 16645 205.69/206.25 c #Conflicts: 198000 | #Constraints: 17645 205.69/206.25 c INPROCESSING 205.69/206.25 c GARBAGE COLLECT 205.69/206.25 c rational objective 0 220.95/221.55 c #Conflicts: 199000 | #Constraints: 9841 220.95/221.55 c #Conflicts: 200000 | #Constraints: 10842 220.95/221.55 c #Conflicts: 201000 | #Constraints: 11843 220.95/221.55 c #Conflicts: 202000 | #Constraints: 12843 220.95/221.55 c #Conflicts: 203000 | #Constraints: 13843 220.95/221.55 c #Conflicts: 204000 | #Constraints: 14843 220.95/221.55 c #Conflicts: 205000 | #Constraints: 15843 220.95/221.55 c #Conflicts: 206000 | #Constraints: 16843 220.95/221.55 c #Conflicts: 207000 | #Constraints: 17844 220.95/221.55 c INPROCESSING 220.95/221.55 c GARBAGE COLLECT 220.95/221.55 c rational objective 0 237.41/238.09 c #Conflicts: 208000 | #Constraints: 9841 237.41/238.09 c #Conflicts: 209000 | #Constraints: 10841 237.41/238.09 c #Conflicts: 210000 | #Constraints: 11842 237.41/238.09 c #Conflicts: 211000 | #Constraints: 12842 237.41/238.09 c #Conflicts: 212000 | #Constraints: 13842 237.41/238.09 c #Conflicts: 213000 | #Constraints: 14842 237.41/238.09 c #Conflicts: 214000 | #Constraints: 15843 237.41/238.09 c #Conflicts: 215000 | #Constraints: 16844 237.41/238.09 c #Conflicts: 216000 | #Constraints: 17844 237.41/238.09 c INPROCESSING 237.41/238.09 c GARBAGE COLLECT 237.41/238.09 c rational objective 0 255.67/256.38 c #Conflicts: 217000 | #Constraints: 9637 255.67/256.38 c #Conflicts: 218000 | #Constraints: 10638 255.67/256.38 c #Conflicts: 219000 | #Constraints: 11639 255.67/256.38 c #Conflicts: 220000 | #Constraints: 12640 255.67/256.38 c #Conflicts: 221000 | #Constraints: 13641 255.67/256.38 c #Conflicts: 222000 | #Constraints: 14641 255.67/256.38 c #Conflicts: 223000 | #Constraints: 15641 255.67/256.38 c #Conflicts: 224000 | #Constraints: 16641 255.67/256.38 c #Conflicts: 225000 | #Constraints: 17642 255.67/256.38 c #Conflicts: 226000 | #Constraints: 18642 255.67/256.38 c INPROCESSING 255.67/256.38 c GARBAGE COLLECT 255.67/256.38 c rational objective 0 273.33/274.01 c #Conflicts: 227000 | #Constraints: 10236 273.33/274.01 c #Conflicts: 228000 | #Constraints: 11238 273.33/274.01 c #Conflicts: 229000 | #Constraints: 12238 273.33/274.01 c #Conflicts: 230000 | #Constraints: 13238 273.33/274.01 c #Conflicts: 231000 | #Constraints: 14238 273.33/274.01 c #Conflicts: 232000 | #Constraints: 15238 273.33/274.01 c #Conflicts: 233000 | #Constraints: 16238 273.33/274.01 c #Conflicts: 234000 | #Constraints: 17240 273.33/274.01 c #Conflicts: 235000 | #Constraints: 18241 273.33/274.01 c #Conflicts: 236000 | #Constraints: 19241 273.33/274.01 c INPROCESSING 273.33/274.01 c GARBAGE COLLECT 273.33/274.01 c rational objective 0 290.07/290.81 c #Conflicts: 237000 | #Constraints: 10637 290.07/290.81 c #Conflicts: 238000 | #Constraints: 11637 290.07/290.81 c #Conflicts: 239000 | #Constraints: 12638 290.07/290.81 c #Conflicts: 240000 | #Constraints: 13639 290.07/290.81 c #Conflicts: 241000 | #Constraints: 14640 290.07/290.81 c #Conflicts: 242000 | #Constraints: 15640 290.07/290.81 c #Conflicts: 243000 | #Constraints: 16640 290.07/290.81 c #Conflicts: 244000 | #Constraints: 17640 290.07/290.81 c #Conflicts: 245000 | #Constraints: 18641 290.07/290.81 c #Conflicts: 246000 | #Constraints: 19642 290.07/290.81 c INPROCESSING 290.07/290.81 c GARBAGE COLLECT 290.07/290.81 c rational objective 0 307.83/308.68 c #Conflicts: 247000 | #Constraints: 10840 307.83/308.68 c #Conflicts: 248000 | #Constraints: 11842 307.83/308.68 c #Conflicts: 249000 | #Constraints: 12842 307.83/308.68 c #Conflicts: 250000 | #Constraints: 13842 307.83/308.68 c #Conflicts: 251000 | #Constraints: 14842 307.83/308.68 c #Conflicts: 252000 | #Constraints: 15843 307.83/308.68 c #Conflicts: 253000 | #Constraints: 16844 307.83/308.68 c #Conflicts: 254000 | #Constraints: 17844 307.83/308.68 c #Conflicts: 255000 | #Constraints: 18845 307.83/308.68 c #Conflicts: 256000 | #Constraints: 19846 307.83/308.68 c INPROCESSING 307.83/308.68 c GARBAGE COLLECT 307.83/308.68 c rational objective 0 327.05/327.91 c #Conflicts: 257000 | #Constraints: 10841 327.05/327.91 c #Conflicts: 258000 | #Constraints: 11843 327.05/327.91 c #Conflicts: 259000 | #Constraints: 12843 327.05/327.91 c #Conflicts: 260000 | #Constraints: 13843 327.05/327.91 c #Conflicts: 261000 | #Constraints: 14846 327.05/327.91 c #Conflicts: 262000 | #Constraints: 15846 327.05/327.91 c #Conflicts: 263000 | #Constraints: 16846 327.05/327.91 c #Conflicts: 264000 | #Constraints: 17847 327.05/327.91 c #Conflicts: 265000 | #Constraints: 18847 327.05/327.91 c #Conflicts: 266000 | #Constraints: 19847 327.05/327.91 c INPROCESSING 327.05/327.91 c GARBAGE COLLECT 327.05/327.91 c rational objective 0 347.89/348.84 c #Conflicts: 267000 | #Constraints: 10640 347.89/348.84 c #Conflicts: 268000 | #Constraints: 11640 347.89/348.84 c #Conflicts: 269000 | #Constraints: 12641 347.89/348.84 c #Conflicts: 270000 | #Constraints: 13642 347.89/348.84 c #Conflicts: 271000 | #Constraints: 14642 347.89/348.84 c #Conflicts: 272000 | #Constraints: 15642 347.89/348.84 c #Conflicts: 273000 | #Constraints: 16642 347.89/348.84 c #Conflicts: 274000 | #Constraints: 17643 347.89/348.84 c #Conflicts: 275000 | #Constraints: 18644 347.89/348.84 c #Conflicts: 276000 | #Constraints: 19645 347.89/348.84 c #Conflicts: 277000 | #Constraints: 20645 347.89/348.84 c INPROCESSING 347.89/348.84 c GARBAGE COLLECT 347.89/348.84 c rational objective 0 368.63/369.69 c #Conflicts: 278000 | #Constraints: 11238 368.63/369.69 c #Conflicts: 279000 | #Constraints: 12239 368.63/369.69 c #Conflicts: 280000 | #Constraints: 13239 368.63/369.69 c #Conflicts: 281000 | #Constraints: 14239 368.63/369.69 c #Conflicts: 282000 | #Constraints: 15240 368.63/369.69 c #Conflicts: 283000 | #Constraints: 16241 368.63/369.69 c #Conflicts: 284000 | #Constraints: 17241 368.63/369.69 c #Conflicts: 285000 | #Constraints: 18241 368.63/369.69 c #Conflicts: 286000 | #Constraints: 19241 368.63/369.69 c #Conflicts: 287000 | #Constraints: 20243 368.63/369.69 c #Conflicts: 288000 | #Constraints: 21243 368.63/369.69 c INPROCESSING 368.63/369.69 c GARBAGE COLLECT 368.63/369.69 c rational objective 0 390.53/391.67 c #Conflicts: 289000 | #Constraints: 11639 390.53/391.67 c #Conflicts: 290000 | #Constraints: 12639 390.53/391.67 c #Conflicts: 291000 | #Constraints: 13639 390.53/391.67 c #Conflicts: 292000 | #Constraints: 14639 390.53/391.67 c #Conflicts: 293000 | #Constraints: 15639 390.53/391.67 c #Conflicts: 294000 | #Constraints: 16639 390.53/391.67 c #Conflicts: 295000 | #Constraints: 17641 390.53/391.67 c #Conflicts: 296000 | #Constraints: 18641 390.53/391.67 c #Conflicts: 297000 | #Constraints: 19641 390.53/391.67 c #Conflicts: 298000 | #Constraints: 20641 390.53/391.67 c #Conflicts: 299000 | #Constraints: 21641 390.53/391.67 c INPROCESSING 390.53/391.67 c GARBAGE COLLECT 390.53/391.67 c rational objective 0 412.47/413.63 c #Conflicts: 300000 | #Constraints: 11838 412.47/413.63 c #Conflicts: 301000 | #Constraints: 12838 412.47/413.63 c #Conflicts: 302000 | #Constraints: 13838 412.47/413.63 c #Conflicts: 303000 | #Constraints: 14838 412.47/413.63 c #Conflicts: 304000 | #Constraints: 15841 412.47/413.63 c #Conflicts: 305000 | #Constraints: 16841 412.47/413.63 c #Conflicts: 306000 | #Constraints: 17841 412.47/413.63 c #Conflicts: 307000 | #Constraints: 18841 412.47/413.63 c #Conflicts: 308000 | #Constraints: 19841 412.47/413.63 c #Conflicts: 309000 | #Constraints: 20841 412.47/413.63 c #Conflicts: 310000 | #Constraints: 21841 412.47/413.63 c INPROCESSING 412.47/413.63 c GARBAGE COLLECT 412.47/413.63 c rational objective 0 437.21/438.47 c #Conflicts: 311000 | #Constraints: 11840 437.21/438.47 c #Conflicts: 312000 | #Constraints: 12840 437.21/438.47 c #Conflicts: 313000 | #Constraints: 13840 437.21/438.47 c #Conflicts: 314000 | #Constraints: 14840 437.21/438.47 c #Conflicts: 315000 | #Constraints: 15840 437.21/438.47 c #Conflicts: 316000 | #Constraints: 16840 437.21/438.47 c #Conflicts: 317000 | #Constraints: 17840 437.21/438.47 c #Conflicts: 318000 | #Constraints: 18840 437.21/438.47 c #Conflicts: 319000 | #Constraints: 19841 437.21/438.47 c #Conflicts: 320000 | #Constraints: 20843 437.21/438.47 c #Conflicts: 321000 | #Constraints: 21843 437.21/438.47 c INPROCESSING 437.21/438.47 c GARBAGE COLLECT 437.21/438.47 c rational objective 0 462.25/463.55 c #Conflicts: 322000 | #Constraints: 11644 462.25/463.55 c #Conflicts: 323000 | #Constraints: 12644 462.25/463.55 c #Conflicts: 324000 | #Constraints: 13644 462.25/463.55 c #Conflicts: 325000 | #Constraints: 14645 462.25/463.55 c #Conflicts: 326000 | #Constraints: 15645 462.25/463.55 c #Conflicts: 327000 | #Constraints: 16645 462.25/463.55 c #Conflicts: 328000 | #Constraints: 17645 462.25/463.55 c #Conflicts: 329000 | #Constraints: 18645 462.25/463.55 c #Conflicts: 330000 | #Constraints: 19645 462.25/463.55 c #Conflicts: 331000 | #Constraints: 20645 462.25/463.55 c #Conflicts: 332000 | #Constraints: 21645 462.25/463.55 c #Conflicts: 333000 | #Constraints: 22645 462.25/463.55 c INPROCESSING 462.25/463.55 c GARBAGE COLLECT 462.25/463.55 c rational objective 0 485.70/487.05 c #Conflicts: 334000 | #Constraints: 12240 485.70/487.05 c #Conflicts: 335000 | #Constraints: 13241 485.70/487.05 c #Conflicts: 336000 | #Constraints: 14241 485.70/487.05 c #Conflicts: 337000 | #Constraints: 15242 485.70/487.05 c #Conflicts: 338000 | #Constraints: 16242 485.70/487.05 c #Conflicts: 339000 | #Constraints: 17242 485.70/487.05 c #Conflicts: 340000 | #Constraints: 18244 485.70/487.05 c #Conflicts: 341000 | #Constraints: 19244 485.70/487.05 c #Conflicts: 342000 | #Constraints: 20244 485.70/487.05 c #Conflicts: 343000 | #Constraints: 21245 485.70/487.05 c #Conflicts: 344000 | #Constraints: 22247 485.70/487.05 c #Conflicts: 345000 | #Constraints: 23249 485.70/487.05 c INPROCESSING 485.70/487.05 c GARBAGE COLLECT 485.70/487.05 c rational objective 0 510.74/512.17 c #Conflicts: 346000 | #Constraints: 12640 510.74/512.17 c #Conflicts: 347000 | #Constraints: 13640 510.74/512.17 c #Conflicts: 348000 | #Constraints: 14641 510.74/512.17 c #Conflicts: 349000 | #Constraints: 15641 510.74/512.17 c #Conflicts: 350000 | #Constraints: 16641 510.74/512.17 c #Conflicts: 351000 | #Constraints: 17641 510.74/512.17 c #Conflicts: 352000 | #Constraints: 18641 510.74/512.17 c #Conflicts: 353000 | #Constraints: 19641 510.74/512.17 c #Conflicts: 354000 | #Constraints: 20641 510.74/512.17 c #Conflicts: 355000 | #Constraints: 21641 510.74/512.17 c #Conflicts: 356000 | #Constraints: 22643 510.74/512.17 c #Conflicts: 357000 | #Constraints: 23644 510.74/512.17 c INPROCESSING 510.74/512.17 c GARBAGE COLLECT 510.74/512.17 c rational objective 0 537.47/538.96 c #Conflicts: 358000 | #Constraints: 12838 537.47/538.96 c #Conflicts: 359000 | #Constraints: 13839 537.47/538.96 c #Conflicts: 360000 | #Constraints: 14839 537.47/538.96 c #Conflicts: 361000 | #Constraints: 15839 537.47/538.96 c #Conflicts: 362000 | #Constraints: 16839 537.47/538.96 c #Conflicts: 363000 | #Constraints: 17839 537.47/538.96 c #Conflicts: 364000 | #Constraints: 18839 537.47/538.96 c #Conflicts: 365000 | #Constraints: 19839 537.47/538.96 c #Conflicts: 366000 | #Constraints: 20839 537.47/538.96 c #Conflicts: 367000 | #Constraints: 21841 537.47/538.96 c #Conflicts: 368000 | #Constraints: 22842 537.47/538.96 c #Conflicts: 369000 | #Constraints: 23842 537.47/538.96 c INPROCESSING 537.47/538.96 c GARBAGE COLLECT 537.47/538.96 c rational objective 0 565.50/567.09 c #Conflicts: 370000 | #Constraints: 12838 565.50/567.09 c #Conflicts: 371000 | #Constraints: 13839 565.50/567.09 c #Conflicts: 372000 | #Constraints: 14839 565.50/567.09 c #Conflicts: 373000 | #Constraints: 15839 565.50/567.09 c #Conflicts: 374000 | #Constraints: 16839 565.50/567.09 c #Conflicts: 375000 | #Constraints: 17840 565.50/567.09 c #Conflicts: 376000 | #Constraints: 18840 565.50/567.09 c #Conflicts: 377000 | #Constraints: 19840 565.50/567.09 c #Conflicts: 378000 | #Constraints: 20841 565.50/567.09 c #Conflicts: 379000 | #Constraints: 21843 565.50/567.09 c #Conflicts: 380000 | #Constraints: 22844 565.50/567.09 c #Conflicts: 381000 | #Constraints: 23844 565.50/567.09 c INPROCESSING 565.50/567.09 c GARBAGE COLLECT 565.50/567.09 c rational objective 0 594.83/596.49 c #Conflicts: 382000 | #Constraints: 12640 594.83/596.49 c #Conflicts: 383000 | #Constraints: 13640 594.83/596.49 c #Conflicts: 384000 | #Constraints: 14640 594.83/596.49 c #Conflicts: 385000 | #Constraints: 15640 594.83/596.49 c #Conflicts: 386000 | #Constraints: 16640 594.83/596.49 c #Conflicts: 387000 | #Constraints: 17642 594.83/596.49 c #Conflicts: 388000 | #Constraints: 18642 594.83/596.49 c #Conflicts: 389000 | #Constraints: 19642 594.83/596.49 c #Conflicts: 390000 | #Constraints: 20642 594.83/596.49 c #Conflicts: 391000 | #Constraints: 21643 594.83/596.49 c #Conflicts: 392000 | #Constraints: 22647 594.83/596.49 c #Conflicts: 393000 | #Constraints: 23647 594.83/596.49 c #Conflicts: 394000 | #Constraints: 24648 594.83/596.49 c INPROCESSING 594.83/596.49 c GARBAGE COLLECT 594.83/596.49 c rational objective 0 625.36/627.07 c #Conflicts: 395000 | #Constraints: 13241 625.36/627.07 c #Conflicts: 396000 | #Constraints: 14241 625.36/627.07 c #Conflicts: 397000 | #Constraints: 15242 625.36/627.07 c #Conflicts: 398000 | #Constraints: 16245 625.36/627.07 c #Conflicts: 399000 | #Constraints: 17245 625.36/627.07 c #Conflicts: 400000 | #Constraints: 18245 625.36/627.07 c #Conflicts: 401000 | #Constraints: 19246 625.36/627.07 c #Conflicts: 402000 | #Constraints: 20246 625.36/627.07 c #Conflicts: 403000 | #Constraints: 21246 625.36/627.07 c #Conflicts: 404000 | #Constraints: 22247 625.36/627.07 c #Conflicts: 405000 | #Constraints: 23247 625.36/627.07 c #Conflicts: 406000 | #Constraints: 24247 625.36/627.07 c #Conflicts: 407000 | #Constraints: 25248 625.36/627.07 c INPROCESSING 625.36/627.07 c GARBAGE COLLECT 625.36/627.07 c rational objective 0 658.28/660.06 c #Conflicts: 408000 | #Constraints: 13645 658.28/660.06 c #Conflicts: 409000 | #Constraints: 14645 658.28/660.06 c #Conflicts: 410000 | #Constraints: 15645 658.28/660.06 c #Conflicts: 411000 | #Constraints: 16647 658.28/660.06 c #Conflicts: 412000 | #Constraints: 17647 658.28/660.06 c #Conflicts: 413000 | #Constraints: 18647 658.28/660.06 c #Conflicts: 414000 | #Constraints: 19647 658.28/660.06 c #Conflicts: 415000 | #Constraints: 20647 658.28/660.06 c #Conflicts: 416000 | #Constraints: 21647 658.28/660.06 c #Conflicts: 417000 | #Constraints: 22649 658.28/660.06 c #Conflicts: 418000 | #Constraints: 23649 658.28/660.06 c #Conflicts: 419000 | #Constraints: 24649 658.28/660.06 c #Conflicts: 420000 | #Constraints: 25650 658.28/660.06 c INPROCESSING 658.28/660.06 c GARBAGE COLLECT 658.28/660.06 c rational objective 0 692.20/694.05 c #Conflicts: 421000 | #Constraints: 13845 692.20/694.05 c #Conflicts: 422000 | #Constraints: 14845 692.20/694.05 c #Conflicts: 423000 | #Constraints: 15845 692.20/694.05 c #Conflicts: 424000 | #Constraints: 16845 692.20/694.05 c #Conflicts: 425000 | #Constraints: 17845 692.20/694.05 c #Conflicts: 426000 | #Constraints: 18846 692.20/694.05 c #Conflicts: 427000 | #Constraints: 19846 692.20/694.05 c #Conflicts: 428000 | #Constraints: 20846 692.20/694.05 c #Conflicts: 429000 | #Constraints: 21847 692.20/694.05 c #Conflicts: 430000 | #Constraints: 22848 692.20/694.05 c #Conflicts: 431000 | #Constraints: 23848 692.20/694.05 c #Conflicts: 432000 | #Constraints: 24848 692.20/694.05 c #Conflicts: 433000 | #Constraints: 25848 692.20/694.05 c INPROCESSING 692.20/694.05 c GARBAGE COLLECT 692.20/694.05 c rational objective 0 727.40/729.33 c #Conflicts: 434000 | #Constraints: 13843 727.40/729.33 c #Conflicts: 435000 | #Constraints: 14845 727.40/729.33 c #Conflicts: 436000 | #Constraints: 15846 727.40/729.33 c #Conflicts: 437000 | #Constraints: 16847 727.40/729.33 c #Conflicts: 438000 | #Constraints: 17848 727.40/729.33 c #Conflicts: 439000 | #Constraints: 18848 727.40/729.33 c #Conflicts: 440000 | #Constraints: 19848 727.40/729.33 c #Conflicts: 441000 | #Constraints: 20848 727.40/729.33 c #Conflicts: 442000 | #Constraints: 21848 727.40/729.33 c #Conflicts: 443000 | #Constraints: 22848 727.40/729.33 c #Conflicts: 444000 | #Constraints: 23848 727.40/729.33 c #Conflicts: 445000 | #Constraints: 24848 727.40/729.33 c #Conflicts: 446000 | #Constraints: 25848 727.40/729.33 c INPROCESSING 727.40/729.33 c GARBAGE COLLECT 727.40/729.33 c rational objective 0 765.61/767.61 c #Conflicts: 447000 | #Constraints: 13640 765.61/767.61 c #Conflicts: 448000 | #Constraints: 14640 765.61/767.61 c #Conflicts: 449000 | #Constraints: 15640 765.61/767.61 c #Conflicts: 450000 | #Constraints: 16640 765.61/767.61 c #Conflicts: 451000 | #Constraints: 17640 765.61/767.61 c #Conflicts: 452000 | #Constraints: 18640 765.61/767.61 c #Conflicts: 453000 | #Constraints: 19640 765.61/767.61 c #Conflicts: 454000 | #Constraints: 20640 765.61/767.61 c #Conflicts: 455000 | #Constraints: 21640 765.61/767.61 c #Conflicts: 456000 | #Constraints: 22641 765.61/767.61 c #Conflicts: 457000 | #Constraints: 23641 765.61/767.61 c #Conflicts: 458000 | #Constraints: 24641 765.61/767.61 c #Conflicts: 459000 | #Constraints: 25641 765.61/767.61 c #Conflicts: 460000 | #Constraints: 26641 765.61/767.61 c INPROCESSING 765.61/767.61 c GARBAGE COLLECT 765.61/767.61 c rational objective 0 802.52/804.62 c #Conflicts: 461000 | #Constraints: 14239 802.52/804.62 c #Conflicts: 462000 | #Constraints: 15241 802.52/804.62 c #Conflicts: 463000 | #Constraints: 16243 802.52/804.62 c #Conflicts: 464000 | #Constraints: 17243 802.52/804.62 c #Conflicts: 465000 | #Constraints: 18244 802.52/804.62 c #Conflicts: 466000 | #Constraints: 19244 802.52/804.62 c #Conflicts: 467000 | #Constraints: 20244 802.52/804.62 c #Conflicts: 468000 | #Constraints: 21245 802.52/804.62 c #Conflicts: 469000 | #Constraints: 22247 802.52/804.62 c #Conflicts: 470000 | #Constraints: 23247 802.52/804.62 c #Conflicts: 471000 | #Constraints: 24247 802.52/804.62 c #Conflicts: 472000 | #Constraints: 25248 802.52/804.62 c #Conflicts: 473000 | #Constraints: 26249 802.52/804.62 c #Conflicts: 474000 | #Constraints: 27249 802.52/804.62 c INPROCESSING 802.52/804.62 c GARBAGE COLLECT 802.52/804.62 c rational objective 0 841.22/843.42 c #Conflicts: 475000 | #Constraints: 14641 841.22/843.42 c #Conflicts: 476000 | #Constraints: 15641 841.22/843.42 c #Conflicts: 477000 | #Constraints: 16642 841.22/843.42 c #Conflicts: 478000 | #Constraints: 17643 841.22/843.42 c #Conflicts: 479000 | #Constraints: 18643 841.22/843.42 c #Conflicts: 480000 | #Constraints: 19644 841.22/843.42 c #Conflicts: 481000 | #Constraints: 20645 841.22/843.42 c #Conflicts: 482000 | #Constraints: 21645 841.22/843.42 c #Conflicts: 483000 | #Constraints: 22645 841.22/843.42 c #Conflicts: 484000 | #Constraints: 23645 841.22/843.42 c #Conflicts: 485000 | #Constraints: 24646 841.22/843.42 c #Conflicts: 486000 | #Constraints: 25646 841.22/843.42 c #Conflicts: 487000 | #Constraints: 26646 841.22/843.42 c #Conflicts: 488000 | #Constraints: 27646 841.22/843.42 c INPROCESSING 841.22/843.42 c GARBAGE COLLECT 841.22/843.42 c rational objective 0 880.03/882.30 c #Conflicts: 489000 | #Constraints: 14845 880.03/882.30 c #Conflicts: 490000 | #Constraints: 15845 880.03/882.30 c #Conflicts: 491000 | #Constraints: 16845 880.03/882.30 c #Conflicts: 492000 | #Constraints: 17847 880.03/882.30 c #Conflicts: 493000 | #Constraints: 18847 880.03/882.30 c #Conflicts: 494000 | #Constraints: 19847 880.03/882.30 c #Conflicts: 495000 | #Constraints: 20847 880.03/882.30 c #Conflicts: 496000 | #Constraints: 21847 880.03/882.30 c #Conflicts: 497000 | #Constraints: 22847 880.03/882.30 c #Conflicts: 498000 | #Constraints: 23847 880.03/882.30 c #Conflicts: 499000 | #Constraints: 24848 880.03/882.30 c #Conflicts: 500000 | #Constraints: 25848 880.03/882.30 c #Conflicts: 501000 | #Constraints: 26849 880.03/882.30 c #Conflicts: 502000 | #Constraints: 27849 880.03/882.30 c INPROCESSING 880.03/882.30 c GARBAGE COLLECT 880.03/882.30 c rational objective 0 921.33/923.73 c #Conflicts: 503000 | #Constraints: 14847 921.33/923.73 c #Conflicts: 504000 | #Constraints: 15847 921.33/923.73 c #Conflicts: 505000 | #Constraints: 16848 921.33/923.73 c #Conflicts: 506000 | #Constraints: 17848 921.33/923.73 c #Conflicts: 507000 | #Constraints: 18848 921.33/923.73 c #Conflicts: 508000 | #Constraints: 19848 921.33/923.73 c #Conflicts: 509000 | #Constraints: 20849 921.33/923.73 c #Conflicts: 510000 | #Constraints: 21849 921.33/923.73 c #Conflicts: 511000 | #Constraints: 22849 921.33/923.73 c #Conflicts: 512000 | #Constraints: 23852 921.33/923.73 c #Conflicts: 513000 | #Constraints: 24853 921.33/923.73 c #Conflicts: 514000 | #Constraints: 25855 921.33/923.73 c #Conflicts: 515000 | #Constraints: 26855 921.33/923.73 c #Conflicts: 516000 | #Constraints: 27856 921.33/923.73 c INPROCESSING 921.33/923.73 c GARBAGE COLLECT 921.33/923.73 c rational objective 0 961.53/964.07 c #Conflicts: 517000 | #Constraints: 14650 961.53/964.07 c #Conflicts: 518000 | #Constraints: 15650 961.53/964.07 c #Conflicts: 519000 | #Constraints: 16651 961.53/964.07 c #Conflicts: 520000 | #Constraints: 17652 961.53/964.07 c #Conflicts: 521000 | #Constraints: 18654 961.53/964.07 c #Conflicts: 522000 | #Constraints: 19658 961.53/964.07 c #Conflicts: 523000 | #Constraints: 20660 961.53/964.07 c #Conflicts: 524000 | #Constraints: 21660 961.53/964.07 c #Conflicts: 525000 | #Constraints: 22660 961.53/964.07 c #Conflicts: 526000 | #Constraints: 23661 961.53/964.07 c #Conflicts: 527000 | #Constraints: 24661 961.53/964.07 c #Conflicts: 528000 | #Constraints: 25664 961.53/964.07 c #Conflicts: 529000 | #Constraints: 26664 961.53/964.07 c #Conflicts: 530000 | #Constraints: 27665 961.53/964.07 c #Conflicts: 531000 | #Constraints: 28665 961.53/964.07 c INPROCESSING 961.53/964.07 c GARBAGE COLLECT 961.53/964.07 c rational objective 0 1001.72/1004.32 c #Conflicts: 532000 | #Constraints: 15250 1001.72/1004.32 c #Conflicts: 533000 | #Constraints: 16251 1001.72/1004.32 c #Conflicts: 534000 | #Constraints: 17251 1001.72/1004.32 c #Conflicts: 535000 | #Constraints: 18251 1001.72/1004.32 c #Conflicts: 536000 | #Constraints: 19251 1001.72/1004.32 c #Conflicts: 537000 | #Constraints: 20252 1001.72/1004.32 c #Conflicts: 538000 | #Constraints: 21254 1001.72/1004.32 c #Conflicts: 539000 | #Constraints: 22255 1001.72/1004.32 c #Conflicts: 540000 | #Constraints: 23255 1001.72/1004.32 c #Conflicts: 541000 | #Constraints: 24256 1001.72/1004.32 c #Conflicts: 542000 | #Constraints: 25256 1001.72/1004.32 c #Conflicts: 543000 | #Constraints: 26259 1001.72/1004.32 c #Conflicts: 544000 | #Constraints: 27259 1001.72/1004.32 c #Conflicts: 545000 | #Constraints: 28260 1001.72/1004.32 c #Conflicts: 546000 | #Constraints: 29260 1001.72/1004.32 c INPROCESSING 1001.72/1004.32 c GARBAGE COLLECT 1001.72/1004.32 c rational objective 0 1045.22/1047.98 c #Conflicts: 547000 | #Constraints: 15646 1045.22/1047.98 c #Conflicts: 548000 | #Constraints: 16647 1045.22/1047.98 c #Conflicts: 549000 | #Constraints: 17647 1045.22/1047.98 c #Conflicts: 550000 | #Constraints: 18649 1045.22/1047.98 c #Conflicts: 551000 | #Constraints: 19650 1045.22/1047.98 c #Conflicts: 552000 | #Constraints: 20651 1045.22/1047.98 c #Conflicts: 553000 | #Constraints: 21654 1045.22/1047.98 c #Conflicts: 554000 | #Constraints: 22654 1045.22/1047.98 c #Conflicts: 555000 | #Constraints: 23655 1045.22/1047.98 c #Conflicts: 556000 | #Constraints: 24655 1045.22/1047.98 c #Conflicts: 557000 | #Constraints: 25655 1045.22/1047.98 c #Conflicts: 558000 | #Constraints: 26655 1045.22/1047.98 c #Conflicts: 559000 | #Constraints: 27656 1045.22/1047.98 c #Conflicts: 560000 | #Constraints: 28657 1045.22/1047.98 c #Conflicts: 561000 | #Constraints: 29657 1045.22/1047.98 c INPROCESSING 1045.22/1047.98 c GARBAGE COLLECT 1045.22/1047.98 c rational objective 0 1088.31/1091.13 c #Conflicts: 562000 | #Constraints: 15846 1088.31/1091.13 c #Conflicts: 563000 | #Constraints: 16847 1088.31/1091.13 c #Conflicts: 564000 | #Constraints: 17847 1088.31/1091.13 c #Conflicts: 565000 | #Constraints: 18847 1088.31/1091.13 c #Conflicts: 566000 | #Constraints: 19847 1088.31/1091.13 c #Conflicts: 567000 | #Constraints: 20847 1088.31/1091.13 c #Conflicts: 568000 | #Constraints: 21848 1088.31/1091.13 c #Conflicts: 569000 | #Constraints: 22849 1088.31/1091.13 c #Conflicts: 570000 | #Constraints: 23852 1088.31/1091.13 c #Conflicts: 571000 | #Constraints: 24853 1088.31/1091.13 c #Conflicts: 572000 | #Constraints: 25854 1088.31/1091.13 c #Conflicts: 573000 | #Constraints: 26854 1088.31/1091.13 c #Conflicts: 574000 | #Constraints: 27855 1088.31/1091.13 c #Conflicts: 575000 | #Constraints: 28856 1088.31/1091.13 c #Conflicts: 576000 | #Constraints: 29856 1088.31/1091.13 c INPROCESSING 1088.31/1091.13 c GARBAGE COLLECT 1088.31/1091.13 c rational objective 0 1133.59/1136.56 c #Conflicts: 577000 | #Constraints: 15847 1133.59/1136.56 c #Conflicts: 578000 | #Constraints: 16851 1133.59/1136.56 c #Conflicts: 579000 | #Constraints: 17851 1133.59/1136.56 c #Conflicts: 580000 | #Constraints: 18851 1133.59/1136.56 c #Conflicts: 581000 | #Constraints: 19852 1133.59/1136.56 c #Conflicts: 582000 | #Constraints: 20852 1133.59/1136.56 c #Conflicts: 583000 | #Constraints: 21852 1133.59/1136.56 c #Conflicts: 584000 | #Constraints: 22853 1133.59/1136.56 c #Conflicts: 585000 | #Constraints: 23853 1133.59/1136.56 c #Conflicts: 586000 | #Constraints: 24855 1133.59/1136.56 c #Conflicts: 587000 | #Constraints: 25856 1133.59/1136.56 c #Conflicts: 588000 | #Constraints: 26856 1133.59/1136.56 c #Conflicts: 589000 | #Constraints: 27859 1133.59/1136.56 c #Conflicts: 590000 | #Constraints: 28860 1133.59/1136.56 c #Conflicts: 591000 | #Constraints: 29861 1133.59/1136.56 c INPROCESSING 1133.59/1136.56 c GARBAGE COLLECT 1133.59/1136.56 c rational objective 0 1183.27/1186.36 c #Conflicts: 592000 | #Constraints: 15649 1183.27/1186.36 c #Conflicts: 593000 | #Constraints: 16651 1183.27/1186.36 c #Conflicts: 594000 | #Constraints: 17652 1183.27/1186.36 c #Conflicts: 595000 | #Constraints: 18653 1183.27/1186.36 c #Conflicts: 596000 | #Constraints: 19653 1183.27/1186.36 c #Conflicts: 597000 | #Constraints: 20653 1183.27/1186.36 c #Conflicts: 598000 | #Constraints: 21654 1183.27/1186.36 c #Conflicts: 599000 | #Constraints: 22654 1183.27/1186.36 c #Conflicts: 600000 | #Constraints: 23655 1183.27/1186.36 c #Conflicts: 601000 | #Constraints: 24655 1183.27/1186.36 c #Conflicts: 602000 | #Constraints: 25655 1183.27/1186.36 c #Conflicts: 603000 | #Constraints: 26655 1183.27/1186.36 c #Conflicts: 604000 | #Constraints: 27655 1183.27/1186.36 c #Conflicts: 605000 | #Constraints: 28656 1183.27/1186.36 c #Conflicts: 606000 | #Constraints: 29658 1183.27/1186.36 c #Conflicts: 607000 | #Constraints: 30658 1183.27/1186.36 c INPROCESSING 1183.27/1186.36 c GARBAGE COLLECT 1183.27/1186.36 c rational objective 0 1232.39/1235.66 c #Conflicts: 608000 | #Constraints: 16247 1232.39/1235.66 c #Conflicts: 609000 | #Constraints: 17247 1232.39/1235.66 c #Conflicts: 610000 | #Constraints: 18247 1232.39/1235.66 c #Conflicts: 611000 | #Constraints: 19248 1232.39/1235.66 c #Conflicts: 612000 | #Constraints: 20249 1232.39/1235.66 c #Conflicts: 613000 | #Constraints: 21249 1232.39/1235.66 c #Conflicts: 614000 | #Constraints: 22249 1232.39/1235.66 c #Conflicts: 615000 | #Constraints: 23251 1232.39/1235.66 c #Conflicts: 616000 | #Constraints: 24252 1232.39/1235.66 c #Conflicts: 617000 | #Constraints: 25253 1232.39/1235.66 c #Conflicts: 618000 | #Constraints: 26256 1232.39/1235.66 c #Conflicts: 619000 | #Constraints: 27256 1232.39/1235.66 c #Conflicts: 620000 | #Constraints: 28256 1232.39/1235.66 c #Conflicts: 621000 | #Constraints: 29256 1232.39/1235.66 c #Conflicts: 622000 | #Constraints: 30259 1232.39/1235.66 c #Conflicts: 623000 | #Constraints: 31262 1232.39/1235.66 c INPROCESSING 1232.39/1235.66 c GARBAGE COLLECT 1232.39/1235.66 c rational objective 0 1281.16/1284.65 c #Conflicts: 624000 | #Constraints: 16646 1281.16/1284.65 c #Conflicts: 625000 | #Constraints: 17646 1281.16/1284.65 c #Conflicts: 626000 | #Constraints: 18646 1281.16/1284.65 c #Conflicts: 627000 | #Constraints: 19647 1281.16/1284.65 c #Conflicts: 628000 | #Constraints: 20647 1281.16/1284.65 c #Conflicts: 629000 | #Constraints: 21647 1281.16/1284.65 c #Conflicts: 630000 | #Constraints: 22647 1281.16/1284.65 c #Conflicts: 631000 | #Constraints: 23648 1281.16/1284.65 c #Conflicts: 632000 | #Constraints: 24648 1281.16/1284.65 c #Conflicts: 633000 | #Constraints: 25648 1281.16/1284.65 c #Conflicts: 634000 | #Constraints: 26648 1281.16/1284.65 c #Conflicts: 635000 | #Constraints: 27648 1281.16/1284.65 c #Conflicts: 636000 | #Constraints: 28648 1281.16/1284.65 c #Conflicts: 637000 | #Constraints: 29648 1281.16/1284.65 c #Conflicts: 638000 | #Constraints: 30651 1281.16/1284.65 c #Conflicts: 639000 | #Constraints: 31651 1281.16/1284.65 c INPROCESSING 1281.16/1284.65 c GARBAGE COLLECT 1281.16/1284.65 c rational objective 0 1331.84/1335.59 c #Conflicts: 640000 | #Constraints: 16846 1331.84/1335.59 c #Conflicts: 641000 | #Constraints: 17848 1331.84/1335.59 c #Conflicts: 642000 | #Constraints: 18848 1331.84/1335.59 c #Conflicts: 643000 | #Constraints: 19848 1331.84/1335.59 c #Conflicts: 644000 | #Constraints: 20850 1331.84/1335.59 c #Conflicts: 645000 | #Constraints: 21850 1331.84/1335.59 c #Conflicts: 646000 | #Constraints: 22850 1331.84/1335.59 c #Conflicts: 647000 | #Constraints: 23850 1331.84/1335.59 c #Conflicts: 648000 | #Constraints: 24851 1331.84/1335.59 c #Conflicts: 649000 | #Constraints: 25851 1331.84/1335.59 c #Conflicts: 650000 | #Constraints: 26851 1331.84/1335.59 c #Conflicts: 651000 | #Constraints: 27857 1331.84/1335.59 c #Conflicts: 652000 | #Constraints: 28861 1331.84/1335.59 c #Conflicts: 653000 | #Constraints: 29863 1331.84/1335.59 c #Conflicts: 654000 | #Constraints: 30863 1331.84/1335.59 c #Conflicts: 655000 | #Constraints: 31864 1331.84/1335.59 c INPROCESSING 1331.84/1335.59 c GARBAGE COLLECT 1331.84/1335.59 c rational objective 0 1384.67/1388.51 c #Conflicts: 656000 | #Constraints: 16852 1384.67/1388.51 c #Conflicts: 657000 | #Constraints: 17852 1384.67/1388.51 c #Conflicts: 658000 | #Constraints: 18852 1384.67/1388.51 c #Conflicts: 659000 | #Constraints: 19852 1384.67/1388.51 c #Conflicts: 660000 | #Constraints: 20852 1384.67/1388.51 c #Conflicts: 661000 | #Constraints: 21853 1384.67/1388.51 c #Conflicts: 662000 | #Constraints: 22856 1384.67/1388.51 c #Conflicts: 663000 | #Constraints: 23857 1384.67/1388.51 c #Conflicts: 664000 | #Constraints: 24857 1384.67/1388.51 c #Conflicts: 665000 | #Constraints: 25859 1384.67/1388.51 c #Conflicts: 666000 | #Constraints: 26859 1384.67/1388.51 c #Conflicts: 667000 | #Constraints: 27859 1384.67/1388.51 c #Conflicts: 668000 | #Constraints: 28860 1384.67/1388.51 c #Conflicts: 669000 | #Constraints: 29860 1384.67/1388.51 c #Conflicts: 670000 | #Constraints: 30861 1384.67/1388.51 c #Conflicts: 671000 | #Constraints: 31862 1384.67/1388.51 c INPROCESSING 1384.67/1388.51 c GARBAGE COLLECT 1384.67/1388.51 c rational objective 0 1439.99/1444.01 c #Conflicts: 672000 | #Constraints: 16649 1439.99/1444.01 c #Conflicts: 673000 | #Constraints: 17649 1439.99/1444.01 c #Conflicts: 674000 | #Constraints: 18649 1439.99/1444.01 c #Conflicts: 675000 | #Constraints: 19649 1439.99/1444.01 c #Conflicts: 676000 | #Constraints: 20649 1439.99/1444.01 c #Conflicts: 677000 | #Constraints: 21649 1439.99/1444.01 c #Conflicts: 678000 | #Constraints: 22650 1439.99/1444.01 c #Conflicts: 679000 | #Constraints: 23650 1439.99/1444.01 c #Conflicts: 680000 | #Constraints: 24651 1439.99/1444.01 c #Conflicts: 681000 | #Constraints: 25652 1439.99/1444.01 c #Conflicts: 682000 | #Constraints: 26652 1439.99/1444.01 c #Conflicts: 683000 | #Constraints: 27655 1439.99/1444.01 c #Conflicts: 684000 | #Constraints: 28655 1439.99/1444.01 c #Conflicts: 685000 | #Constraints: 29657 1439.99/1444.01 c #Conflicts: 686000 | #Constraints: 30657 1439.99/1444.01 c #Conflicts: 687000 | #Constraints: 31657 1439.99/1444.01 c #Conflicts: 688000 | #Constraints: 32658 1439.99/1444.01 c INPROCESSING 1439.99/1444.01 c GARBAGE COLLECT 1439.99/1444.01 c rational objective 0 1498.59/1502.87 c #Conflicts: 689000 | #Constraints: 17246 1498.59/1502.87 c #Conflicts: 690000 | #Constraints: 18246 1498.59/1502.87 c #Conflicts: 691000 | #Constraints: 19247 1498.59/1502.87 c #Conflicts: 692000 | #Constraints: 20247 1498.59/1502.87 c #Conflicts: 693000 | #Constraints: 21249 1498.59/1502.87 c #Conflicts: 694000 | #Constraints: 22249 1498.59/1502.87 c #Conflicts: 695000 | #Constraints: 23249 1498.59/1502.87 c #Conflicts: 696000 | #Constraints: 24250 1498.59/1502.87 c #Conflicts: 697000 | #Constraints: 25253 1498.59/1502.87 c #Conflicts: 698000 | #Constraints: 26253 1498.59/1502.87 c #Conflicts: 699000 | #Constraints: 27257 1498.59/1502.87 c #Conflicts: 700000 | #Constraints: 28257 1498.59/1502.87 c #Conflicts: 701000 | #Constraints: 29258 1498.59/1502.87 c #Conflicts: 702000 | #Constraints: 30261 1498.59/1502.87 c #Conflicts: 703000 | #Constraints: 31263 1498.59/1502.87 c #Conflicts: 704000 | #Constraints: 32266 1498.59/1502.87 c #Conflicts: 705000 | #Constraints: 33266 1498.59/1502.87 c INPROCESSING 1498.59/1502.87 c GARBAGE COLLECT 1498.59/1502.87 c rational objective 0 1560.58/1565.00 c #Conflicts: 706000 | #Constraints: 17651 1560.58/1565.00 c #Conflicts: 707000 | #Constraints: 18651 1560.58/1565.00 c #Conflicts: 708000 | #Constraints: 19653 1560.58/1565.00 c #Conflicts: 709000 | #Constraints: 20656 1560.58/1565.00 c #Conflicts: 710000 | #Constraints: 21656 1560.58/1565.00 c #Conflicts: 711000 | #Constraints: 22657 1560.58/1565.00 c #Conflicts: 712000 | #Constraints: 23657 1560.58/1565.00 c #Conflicts: 713000 | #Constraints: 24657 1560.58/1565.00 c #Conflicts: 714000 | #Constraints: 25657 1560.58/1565.00 c #Conflicts: 715000 | #Constraints: 26657 1560.58/1565.00 c #Conflicts: 716000 | #Constraints: 27657 1560.58/1565.00 c #Conflicts: 717000 | #Constraints: 28657 1560.58/1565.00 c #Conflicts: 718000 | #Constraints: 29657 1560.58/1565.00 c #Conflicts: 719000 | #Constraints: 30657 1560.58/1565.00 c #Conflicts: 720000 | #Constraints: 31657 1560.58/1565.00 c #Conflicts: 721000 | #Constraints: 32657 1560.58/1565.00 c #Conflicts: 722000 | #Constraints: 33657 1560.58/1565.00 c INPROCESSING 1560.58/1565.00 c GARBAGE COLLECT 1560.58/1565.00 c rational objective 0 1626.35/1631.01 c #Conflicts: 723000 | #Constraints: 17847 1626.35/1631.01 c #Conflicts: 724000 | #Constraints: 18847 1626.35/1631.01 c #Conflicts: 725000 | #Constraints: 19847 1626.35/1631.01 c #Conflicts: 726000 | #Constraints: 20847 1626.35/1631.01 c #Conflicts: 727000 | #Constraints: 21847 1626.35/1631.01 c #Conflicts: 728000 | #Constraints: 22848 1626.35/1631.01 c #Conflicts: 729000 | #Constraints: 23848 1626.35/1631.01 c #Conflicts: 730000 | #Constraints: 24848 1626.35/1631.01 c #Conflicts: 731000 | #Constraints: 25848 1626.35/1631.01 c #Conflicts: 732000 | #Constraints: 26849 1626.35/1631.01 c #Conflicts: 733000 | #Constraints: 27849 1626.35/1631.01 c #Conflicts: 734000 | #Constraints: 28850 1626.35/1631.01 c #Conflicts: 735000 | #Constraints: 29850 1626.35/1631.01 c #Conflicts: 736000 | #Constraints: 30850 1626.35/1631.01 c #Conflicts: 737000 | #Constraints: 31850 1626.35/1631.01 c #Conflicts: 738000 | #Constraints: 32850 1626.35/1631.01 c #Conflicts: 739000 | #Constraints: 33851 1626.35/1631.01 c INPROCESSING 1626.35/1631.01 c GARBAGE COLLECT 1626.35/1631.01 c rational objective 0 1688.36/1693.29 c #Conflicts: 740000 | #Constraints: 17844 1688.36/1693.29 c #Conflicts: 741000 | #Constraints: 18845 1688.36/1693.29 c #Conflicts: 742000 | #Constraints: 19845 1688.36/1693.29 c #Conflicts: 743000 | #Constraints: 20845 1688.36/1693.29 c #Conflicts: 744000 | #Constraints: 21845 1688.36/1693.29 c #Conflicts: 745000 | #Constraints: 22845 1688.36/1693.29 c #Conflicts: 746000 | #Constraints: 23845 1688.36/1693.29 c #Conflicts: 747000 | #Constraints: 24845 1688.36/1693.29 c #Conflicts: 748000 | #Constraints: 25845 1688.36/1693.29 c #Conflicts: 749000 | #Constraints: 26848 1688.36/1693.29 c #Conflicts: 750000 | #Constraints: 27848 1688.36/1693.29 c #Conflicts: 751000 | #Constraints: 28848 1688.36/1693.29 c #Conflicts: 752000 | #Constraints: 29849 1688.36/1693.29 c #Conflicts: 753000 | #Constraints: 30849 1688.36/1693.29 c #Conflicts: 754000 | #Constraints: 31849 1688.36/1693.29 c #Conflicts: 755000 | #Constraints: 32850 1688.36/1693.29 c #Conflicts: 756000 | #Constraints: 33850 1688.36/1693.29 c INPROCESSING 1688.36/1693.29 c GARBAGE COLLECT 1688.36/1693.29 c rational objective 0 1751.90/1756.96 c #Conflicts: 757000 | #Constraints: 17643 1751.90/1756.96 c #Conflicts: 758000 | #Constraints: 18643 1751.90/1756.96 c #Conflicts: 759000 | #Constraints: 19643 1751.90/1756.96 c #Conflicts: 760000 | #Constraints: 20643 1751.90/1756.96 c #Conflicts: 761000 | #Constraints: 21645 1751.90/1756.96 c #Conflicts: 762000 | #Constraints: 22646 1751.90/1756.96 c #Conflicts: 763000 | #Constraints: 23646 1751.90/1756.96 c #Conflicts: 764000 | #Constraints: 24646 1751.90/1756.96 c #Conflicts: 765000 | #Constraints: 25646 1751.90/1756.96 c #Conflicts: 766000 | #Constraints: 26646 1751.90/1756.96 c #Conflicts: 767000 | #Constraints: 27646 1751.90/1756.96 c #Conflicts: 768000 | #Constraints: 28646 1751.90/1756.96 c #Conflicts: 769000 | #Constraints: 29647 1751.90/1756.96 c #Conflicts: 770000 | #Constraints: 30647 1751.90/1756.96 c #Conflicts: 771000 | #Constraints: 31647 1751.90/1756.96 c #Conflicts: 772000 | #Constraints: 32647 1751.90/1756.96 c #Conflicts: 773000 | #Constraints: 33648 1751.90/1756.96 c #Conflicts: 774000 | #Constraints: 34648 1751.90/1756.96 c INPROCESSING 1751.90/1756.96 c GARBAGE COLLECT 1751.90/1756.96 c rational objective 0 1818.61/1823.84 c #Conflicts: 775000 | #Constraints: 18239 1818.61/1823.84 c #Conflicts: 776000 | #Constraints: 19239 1818.61/1823.84 c #Conflicts: 777000 | #Constraints: 20239 1818.61/1823.84 c #Conflicts: 778000 | #Constraints: 21241 1818.61/1823.84 c #Conflicts: 779000 | #Constraints: 22245 1818.61/1823.84 c #Conflicts: 780000 | #Constraints: 23248 1818.61/1823.84 c #Conflicts: 781000 | #Constraints: 24249 1818.61/1823.84 c #Conflicts: 782000 | #Constraints: 25250 1818.61/1823.84 c #Conflicts: 783000 | #Constraints: 26253 1818.61/1823.84 c #Conflicts: 784000 | #Constraints: 27254 1818.61/1823.84 c #Conflicts: 785000 | #Constraints: 28254 1818.61/1823.84 c #Conflicts: 786000 | #Constraints: 29254 1818.61/1823.84 c #Conflicts: 787000 | #Constraints: 30254 1818.61/1823.84 c #Conflicts: 788000 | #Constraints: 31254 1818.61/1823.84 c #Conflicts: 789000 | #Constraints: 32254 1818.61/1823.84 c #Conflicts: 790000 | #Constraints: 33254 1818.61/1823.84 c #Conflicts: 791000 | #Constraints: 34255 1818.61/1823.84 c #Conflicts: 792000 | #Constraints: 35255 1818.61/1823.84 c INPROCESSING 1818.61/1823.84 c GARBAGE COLLECT 1818.61/1823.84 c rational objective 0 1884.93/1890.30 c #Conflicts: 793000 | #Constraints: 18642 1884.93/1890.30 c #Conflicts: 794000 | #Constraints: 19643 1884.93/1890.30 c #Conflicts: 795000 | #Constraints: 20643 1884.93/1890.30 c #Conflicts: 796000 | #Constraints: 21643 1884.93/1890.30 c #Conflicts: 797000 | #Constraints: 22644 1884.93/1890.30 c #Conflicts: 798000 | #Constraints: 23646 1884.93/1890.30 c #Conflicts: 799000 | #Constraints: 24646 1884.93/1890.30 c #Conflicts: 800000 | #Constraints: 25646 1884.93/1890.30 c #Conflicts: 801000 | #Constraints: 26647 1884.93/1890.30 c #Conflicts: 802000 | #Constraints: 27648 1884.93/1890.30 c #Conflicts: 803000 | #Constraints: 28648 1884.93/1890.30 c #Conflicts: 804000 | #Constraints: 29649 1884.93/1890.30 c #Conflicts: 805000 | #Constraints: 30649 1884.93/1890.30 c #Conflicts: 806000 | #Constraints: 31649 1884.93/1890.30 c #Conflicts: 807000 | #Constraints: 32650 1884.93/1890.30 c #Conflicts: 808000 | #Constraints: 33650 1884.93/1890.30 c #Conflicts: 809000 | #Constraints: 34651 1884.93/1890.30 c #Conflicts: 810000 | #Constraints: 35651 1884.93/1890.30 c INPROCESSING 1884.93/1890.30 c GARBAGE COLLECT 1884.93/1890.30 c rational objective 0 1951.96/1957.56 c #Conflicts: 811000 | #Constraints: 18844 1951.96/1957.56 c #Conflicts: 812000 | #Constraints: 19844 1951.96/1957.56 c #Conflicts: 813000 | #Constraints: 20845 1951.96/1957.56 c #Conflicts: 814000 | #Constraints: 21845 1951.96/1957.56 c #Conflicts: 815000 | #Constraints: 22846 1951.96/1957.56 c #Conflicts: 816000 | #Constraints: 23846 1951.96/1957.56 c #Conflicts: 817000 | #Constraints: 24847 1951.96/1957.56 c #Conflicts: 818000 | #Constraints: 25848 1951.96/1957.56 c #Conflicts: 819000 | #Constraints: 26848 1951.96/1957.56 c #Conflicts: 820000 | #Constraints: 27850 1951.96/1957.56 c #Conflicts: 821000 | #Constraints: 28850 1951.96/1957.56 c #Conflicts: 822000 | #Constraints: 29850 1951.96/1957.56 c #Conflicts: 823000 | #Constraints: 30850 1951.96/1957.56 c #Conflicts: 824000 | #Constraints: 31852 1951.96/1957.56 c #Conflicts: 825000 | #Constraints: 32852 1951.96/1957.56 c #Conflicts: 826000 | #Constraints: 33854 1951.96/1957.56 c #Conflicts: 827000 | #Constraints: 34854 1951.96/1957.56 c #Conflicts: 828000 | #Constraints: 35854 1951.96/1957.56 c INPROCESSING 1951.96/1957.56 c GARBAGE COLLECT 1951.96/1957.56 c rational objective 0 2024.29/2030.03 c #Conflicts: 829000 | #Constraints: 18850 2024.29/2030.03 c #Conflicts: 830000 | #Constraints: 19852 2024.29/2030.03 c #Conflicts: 831000 | #Constraints: 20853 2024.29/2030.03 c #Conflicts: 832000 | #Constraints: 21855 2024.29/2030.03 c #Conflicts: 833000 | #Constraints: 22855 2024.29/2030.03 c #Conflicts: 834000 | #Constraints: 23855 2024.29/2030.03 c #Conflicts: 835000 | #Constraints: 24855 2024.29/2030.03 c #Conflicts: 836000 | #Constraints: 25856 2024.29/2030.03 c #Conflicts: 837000 | #Constraints: 26856 2024.29/2030.03 c #Conflicts: 838000 | #Constraints: 27856 2024.29/2030.03 c #Conflicts: 839000 | #Constraints: 28856 2024.29/2030.03 c #Conflicts: 840000 | #Constraints: 29856 2024.29/2030.03 c #Conflicts: 841000 | #Constraints: 30856 2024.29/2030.03 c #Conflicts: 842000 | #Constraints: 31857 2024.29/2030.03 c #Conflicts: 843000 | #Constraints: 32858 2024.29/2030.03 c #Conflicts: 844000 | #Constraints: 33858 2024.29/2030.03 c #Conflicts: 845000 | #Constraints: 34858 2024.29/2030.03 c #Conflicts: 846000 | #Constraints: 35858 2024.29/2030.03 c INPROCESSING 2024.29/2030.03 c GARBAGE COLLECT 2024.29/2030.03 c rational objective 0 2092.90/2098.80 c #Conflicts: 847000 | #Constraints: 18646 2092.90/2098.80 c #Conflicts: 848000 | #Constraints: 19647 2092.90/2098.80 c #Conflicts: 849000 | #Constraints: 20647 2092.90/2098.80 c #Conflicts: 850000 | #Constraints: 21647 2092.90/2098.80 c #Conflicts: 851000 | #Constraints: 22647 2092.90/2098.80 c #Conflicts: 852000 | #Constraints: 23648 2092.90/2098.80 c #Conflicts: 853000 | #Constraints: 24649 2092.90/2098.80 c #Conflicts: 854000 | #Constraints: 25650 2092.90/2098.80 c #Conflicts: 855000 | #Constraints: 26650 2092.90/2098.80 c #Conflicts: 856000 | #Constraints: 27650 2092.90/2098.80 c #Conflicts: 857000 | #Constraints: 28651 2092.90/2098.80 c #Conflicts: 858000 | #Constraints: 29653 2092.90/2098.80 c #Conflicts: 859000 | #Constraints: 30653 2092.90/2098.80 c #Conflicts: 860000 | #Constraints: 31653 2092.90/2098.80 c #Conflicts: 861000 | #Constraints: 32653 2092.90/2098.80 c #Conflicts: 862000 | #Constraints: 33654 2092.90/2098.80 c #Conflicts: 863000 | #Constraints: 34654 2092.90/2098.80 c #Conflicts: 864000 | #Constraints: 35654 2092.90/2098.80 c #Conflicts: 865000 | #Constraints: 36655 2092.90/2098.80 c INPROCESSING 2092.90/2098.80 c GARBAGE COLLECT 2092.90/2098.80 c rational objective 0 2161.22/2167.37 c #Conflicts: 866000 | #Constraints: 19246 2161.22/2167.37 c #Conflicts: 867000 | #Constraints: 20246 2161.22/2167.37 c #Conflicts: 868000 | #Constraints: 21246 2161.22/2167.37 c #Conflicts: 869000 | #Constraints: 22246 2161.22/2167.37 c #Conflicts: 870000 | #Constraints: 23246 2161.22/2167.37 c #Conflicts: 871000 | #Constraints: 24247 2161.22/2167.37 c #Conflicts: 872000 | #Constraints: 25247 2161.22/2167.37 c #Conflicts: 873000 | #Constraints: 26248 2161.22/2167.37 c #Conflicts: 874000 | #Constraints: 27248 2161.22/2167.37 c #Conflicts: 875000 | #Constraints: 28248 2161.22/2167.37 c #Conflicts: 876000 | #Constraints: 29248 2161.22/2167.37 c #Conflicts: 877000 | #Constraints: 30249 2161.22/2167.37 c #Conflicts: 878000 | #Constraints: 31250 2161.22/2167.37 c #Conflicts: 879000 | #Constraints: 32251 2161.22/2167.37 c #Conflicts: 880000 | #Constraints: 33254 2161.22/2167.37 c #Conflicts: 881000 | #Constraints: 34257 2161.22/2167.37 c #Conflicts: 882000 | #Constraints: 35260 2161.22/2167.37 c #Conflicts: 883000 | #Constraints: 36263 2161.22/2167.37 c #Conflicts: 884000 | #Constraints: 37264 2161.22/2167.37 c INPROCESSING 2161.22/2167.37 c GARBAGE COLLECT 2161.22/2167.37 c rational objective 0 2230.77/2237.00 c #Conflicts: 885000 | #Constraints: 19651 2230.77/2237.00 c #Conflicts: 886000 | #Constraints: 20652 2230.77/2237.00 c #Conflicts: 887000 | #Constraints: 21653 2230.77/2237.00 c #Conflicts: 888000 | #Constraints: 22653 2230.77/2237.00 c #Conflicts: 889000 | #Constraints: 23654 2230.77/2237.00 c #Conflicts: 890000 | #Constraints: 24654 2230.77/2237.00 c #Conflicts: 891000 | #Constraints: 25655 2230.77/2237.00 c #Conflicts: 892000 | #Constraints: 26656 2230.77/2237.00 c #Conflicts: 893000 | #Constraints: 27656 2230.77/2237.00 c #Conflicts: 894000 | #Constraints: 28656 2230.77/2237.00 c #Conflicts: 895000 | #Constraints: 29656 2230.77/2237.00 c #Conflicts: 896000 | #Constraints: 30656 2230.77/2237.00 c #Conflicts: 897000 | #Constraints: 31657 2230.77/2237.00 c #Conflicts: 898000 | #Constraints: 32657 2230.77/2237.00 c #Conflicts: 899000 | #Constraints: 33657 2230.77/2237.00 c #Conflicts: 900000 | #Constraints: 34657 2230.77/2237.00 c #Conflicts: 901000 | #Constraints: 35657 2230.77/2237.00 c #Conflicts: 902000 | #Constraints: 36657 2230.77/2237.00 c #Conflicts: 903000 | #Constraints: 37657 2230.77/2237.00 c INPROCESSING 2230.77/2237.00 c GARBAGE COLLECT 2230.77/2237.00 c rational objective 0 2302.70/2309.19 c #Conflicts: 904000 | #Constraints: 19847 2302.70/2309.19 c #Conflicts: 905000 | #Constraints: 20850 2302.70/2309.19 c #Conflicts: 906000 | #Constraints: 21850 2302.70/2309.19 c #Conflicts: 907000 | #Constraints: 22851 2302.70/2309.19 c #Conflicts: 908000 | #Constraints: 23852 2302.70/2309.19 c #Conflicts: 909000 | #Constraints: 24853 2302.70/2309.19 c #Conflicts: 910000 | #Constraints: 25854 2302.70/2309.19 c #Conflicts: 911000 | #Constraints: 26854 2302.70/2309.19 c #Conflicts: 912000 | #Constraints: 27854 2302.70/2309.19 c #Conflicts: 913000 | #Constraints: 28854 2302.70/2309.19 c #Conflicts: 914000 | #Constraints: 29854 2302.70/2309.19 c #Conflicts: 915000 | #Constraints: 30855 2302.70/2309.19 c #Conflicts: 916000 | #Constraints: 31856 2302.70/2309.19 c #Conflicts: 917000 | #Constraints: 32856 2302.70/2309.19 c #Conflicts: 918000 | #Constraints: 33856 2302.70/2309.19 c #Conflicts: 919000 | #Constraints: 34856 2302.70/2309.19 c #Conflicts: 920000 | #Constraints: 35857 2302.70/2309.19 c #Conflicts: 921000 | #Constraints: 36858 2302.70/2309.19 c #Conflicts: 922000 | #Constraints: 37860 2302.70/2309.19 c INPROCESSING 2302.70/2309.19 c GARBAGE COLLECT 2302.70/2309.19 c rational objective 0 2377.02/2383.63 c #Conflicts: 923000 | #Constraints: 19850 2377.02/2383.63 c #Conflicts: 924000 | #Constraints: 20850 2377.02/2383.63 c #Conflicts: 925000 | #Constraints: 21851 2377.02/2383.63 c #Conflicts: 926000 | #Constraints: 22853 2377.02/2383.63 c #Conflicts: 927000 | #Constraints: 23854 2377.02/2383.63 c #Conflicts: 928000 | #Constraints: 24855 2377.02/2383.63 c #Conflicts: 929000 | #Constraints: 25856 2377.02/2383.63 c #Conflicts: 930000 | #Constraints: 26856 2377.02/2383.63 c #Conflicts: 931000 | #Constraints: 27857 2377.02/2383.63 c #Conflicts: 932000 | #Constraints: 28857 2377.02/2383.63 c #Conflicts: 933000 | #Constraints: 29857 2377.02/2383.63 c #Conflicts: 934000 | #Constraints: 30857 2377.02/2383.63 c #Conflicts: 935000 | #Constraints: 31857 2377.02/2383.63 c #Conflicts: 936000 | #Constraints: 32858 2377.02/2383.63 c #Conflicts: 937000 | #Constraints: 33858 2377.02/2383.63 c #Conflicts: 938000 | #Constraints: 34858 2377.02/2383.63 c #Conflicts: 939000 | #Constraints: 35858 2377.02/2383.63 c #Conflicts: 940000 | #Constraints: 36859 2377.02/2383.63 c #Conflicts: 941000 | #Constraints: 37859 2377.02/2383.63 c INPROCESSING 2377.02/2383.63 c GARBAGE COLLECT 2377.02/2383.63 c rational objective 0 2456.43/2463.20 c #Conflicts: 942000 | #Constraints: 19649 2456.43/2463.20 c #Conflicts: 943000 | #Constraints: 20649 2456.43/2463.20 c #Conflicts: 944000 | #Constraints: 21651 2456.43/2463.20 c #Conflicts: 945000 | #Constraints: 22651 2456.43/2463.20 c #Conflicts: 946000 | #Constraints: 23651 2456.43/2463.20 c #Conflicts: 947000 | #Constraints: 24651 2456.43/2463.20 c #Conflicts: 948000 | #Constraints: 25651 2456.43/2463.20 c #Conflicts: 949000 | #Constraints: 26652 2456.43/2463.20 c #Conflicts: 950000 | #Constraints: 27652 2456.43/2463.20 c #Conflicts: 951000 | #Constraints: 28653 2456.43/2463.20 c #Conflicts: 952000 | #Constraints: 29653 2456.43/2463.20 c #Conflicts: 953000 | #Constraints: 30654 2456.43/2463.20 c #Conflicts: 954000 | #Constraints: 31654 2456.43/2463.20 c #Conflicts: 955000 | #Constraints: 32655 2456.43/2463.20 c #Conflicts: 956000 | #Constraints: 33655 2456.43/2463.20 c #Conflicts: 957000 | #Constraints: 34655 2456.43/2463.20 c #Conflicts: 958000 | #Constraints: 35655 2456.43/2463.20 c #Conflicts: 959000 | #Constraints: 36656 2456.43/2463.20 c #Conflicts: 960000 | #Constraints: 37656 2456.43/2463.20 c #Conflicts: 961000 | #Constraints: 38658 2456.43/2463.20 c INPROCESSING 2456.43/2463.20 c GARBAGE COLLECT 2456.43/2463.20 c rational objective 0 2538.33/2545.37 c #Conflicts: 962000 | #Constraints: 20247 2538.33/2545.37 c #Conflicts: 963000 | #Constraints: 21247 2538.33/2545.37 c #Conflicts: 964000 | #Constraints: 22247 2538.33/2545.37 c #Conflicts: 965000 | #Constraints: 23247 2538.33/2545.37 c #Conflicts: 966000 | #Constraints: 24248 2538.33/2545.37 c #Conflicts: 967000 | #Constraints: 25248 2538.33/2545.37 c #Conflicts: 968000 | #Constraints: 26248 2538.33/2545.37 c #Conflicts: 969000 | #Constraints: 27248 2538.33/2545.37 c #Conflicts: 970000 | #Constraints: 28248 2538.33/2545.37 c #Conflicts: 971000 | #Constraints: 29248 2538.33/2545.37 c #Conflicts: 972000 | #Constraints: 30249 2538.33/2545.37 c #Conflicts: 973000 | #Constraints: 31249 2538.33/2545.37 c #Conflicts: 974000 | #Constraints: 32249 2538.33/2545.37 c #Conflicts: 975000 | #Constraints: 33249 2538.33/2545.37 c #Conflicts: 976000 | #Constraints: 34249 2538.33/2545.37 c #Conflicts: 977000 | #Constraints: 35249 2538.33/2545.37 c #Conflicts: 978000 | #Constraints: 36249 2538.33/2545.37 c #Conflicts: 979000 | #Constraints: 37249 2538.33/2545.37 c #Conflicts: 980000 | #Constraints: 38249 2538.33/2545.37 c #Conflicts: 981000 | #Constraints: 39249 2538.33/2545.37 c INPROCESSING 2538.33/2545.37 c GARBAGE COLLECT 2538.33/2545.37 c rational objective 0 2629.91/2637.13 c #Conflicts: 982000 | #Constraints: 20642 2629.91/2637.13 c #Conflicts: 983000 | #Constraints: 21642 2629.91/2637.13 c #Conflicts: 984000 | #Constraints: 22642 2629.91/2637.13 c #Conflicts: 985000 | #Constraints: 23643 2629.91/2637.13 c #Conflicts: 986000 | #Constraints: 24643 2629.91/2637.13 c #Conflicts: 987000 | #Constraints: 25643 2629.91/2637.13 c #Conflicts: 988000 | #Constraints: 26644 2629.91/2637.13 c #Conflicts: 989000 | #Constraints: 27644 2629.91/2637.13 c #Conflicts: 990000 | #Constraints: 28644 2629.91/2637.13 c #Conflicts: 991000 | #Constraints: 29644 2629.91/2637.13 c #Conflicts: 992000 | #Constraints: 30644 2629.91/2637.13 c #Conflicts: 993000 | #Constraints: 31644 2629.91/2637.13 c #Conflicts: 994000 | #Constraints: 32645 2629.91/2637.13 c #Conflicts: 995000 | #Constraints: 33646 2629.91/2637.13 c #Conflicts: 996000 | #Constraints: 34647 2629.91/2637.13 c #Conflicts: 997000 | #Constraints: 35647 2629.91/2637.13 c #Conflicts: 998000 | #Constraints: 36648 2629.91/2637.13 c #Conflicts: 999000 | #Constraints: 37648 2629.91/2637.13 c #Conflicts: 1000000 | #Constraints: 38649 2629.91/2637.13 c #Conflicts: 1001000 | #Constraints: 39651 2629.91/2637.13 c INPROCESSING 2629.91/2637.13 c GARBAGE COLLECT 2629.91/2637.13 c rational objective 0 2722.57/2730.08 c #Conflicts: 1002000 | #Constraints: 20843 2722.57/2730.08 c #Conflicts: 1003000 | #Constraints: 21843 2722.57/2730.08 c #Conflicts: 1004000 | #Constraints: 22843 2722.57/2730.08 c #Conflicts: 1005000 | #Constraints: 23843 2722.57/2730.08 c #Conflicts: 1006000 | #Constraints: 24843 2722.57/2730.08 c #Conflicts: 1007000 | #Constraints: 25843 2722.57/2730.08 c #Conflicts: 1008000 | #Constraints: 26843 2722.57/2730.08 c #Conflicts: 1009000 | #Constraints: 27843 2722.57/2730.08 c #Conflicts: 1010000 | #Constraints: 28843 2722.57/2730.08 c #Conflicts: 1011000 | #Constraints: 29843 2722.57/2730.08 c #Conflicts: 1012000 | #Constraints: 30843 2722.57/2730.08 c #Conflicts: 1013000 | #Constraints: 31843 2722.57/2730.08 c #Conflicts: 1014000 | #Constraints: 32845 2722.57/2730.08 c #Conflicts: 1015000 | #Constraints: 33845 2722.57/2730.08 c #Conflicts: 1016000 | #Constraints: 34845 2722.57/2730.08 c #Conflicts: 1017000 | #Constraints: 35845 2722.57/2730.08 c #Conflicts: 1018000 | #Constraints: 36845 2722.57/2730.08 c #Conflicts: 1019000 | #Constraints: 37845 2722.57/2730.08 c #Conflicts: 1020000 | #Constraints: 38845 2722.57/2730.08 c #Conflicts: 1021000 | #Constraints: 39846 2722.57/2730.08 c INPROCESSING 2722.57/2730.08 c GARBAGE COLLECT 2722.57/2730.08 c rational objective 0 2814.35/2822.02 c #Conflicts: 1022000 | #Constraints: 20840 2814.35/2822.02 c #Conflicts: 1023000 | #Constraints: 21840 2814.35/2822.02 c #Conflicts: 1024000 | #Constraints: 22840 2814.35/2822.02 c #Conflicts: 1025000 | #Constraints: 23840 2814.35/2822.02 c #Conflicts: 1026000 | #Constraints: 24840 2814.35/2822.02 c #Conflicts: 1027000 | #Constraints: 25841 2814.35/2822.02 c #Conflicts: 1028000 | #Constraints: 26841 2814.35/2822.02 c #Conflicts: 1029000 | #Constraints: 27841 2814.35/2822.02 c #Conflicts: 1030000 | #Constraints: 28841 2814.35/2822.02 c #Conflicts: 1031000 | #Constraints: 29841 2814.35/2822.02 c #Conflicts: 1032000 | #Constraints: 30842 2814.35/2822.02 c #Conflicts: 1033000 | #Constraints: 31842 2814.35/2822.02 c #Conflicts: 1034000 | #Constraints: 32842 2814.35/2822.02 c #Conflicts: 1035000 | #Constraints: 33843 2814.35/2822.02 c #Conflicts: 1036000 | #Constraints: 34844 2814.35/2822.02 c #Conflicts: 1037000 | #Constraints: 35844 2814.35/2822.02 c #Conflicts: 1038000 | #Constraints: 36845 2814.35/2822.02 c #Conflicts: 1039000 | #Constraints: 37845 2814.35/2822.02 c #Conflicts: 1040000 | #Constraints: 38845 2814.35/2822.02 c #Conflicts: 1041000 | #Constraints: 39845 2814.35/2822.02 c INPROCESSING 2814.35/2822.02 c GARBAGE COLLECT 2814.35/2822.02 c rational objective 0 2905.80/2913.79 c #Conflicts: 1042000 | #Constraints: 20639 2905.80/2913.79 c #Conflicts: 1043000 | #Constraints: 21639 2905.80/2913.79 c #Conflicts: 1044000 | #Constraints: 22639 2905.80/2913.79 c #Conflicts: 1045000 | #Constraints: 23639 2905.80/2913.79 c #Conflicts: 1046000 | #Constraints: 24639 2905.80/2913.79 c #Conflicts: 1047000 | #Constraints: 25639 2905.80/2913.79 c #Conflicts: 1048000 | #Constraints: 26639 2905.80/2913.79 c #Conflicts: 1049000 | #Constraints: 27640 2905.80/2913.79 c #Conflicts: 1050000 | #Constraints: 28640 2905.80/2913.79 c #Conflicts: 1051000 | #Constraints: 29640 2905.80/2913.79 c #Conflicts: 1052000 | #Constraints: 30640 2905.80/2913.79 c #Conflicts: 1053000 | #Constraints: 31642 2905.80/2913.79 c #Conflicts: 1054000 | #Constraints: 32642 2905.80/2913.79 c #Conflicts: 1055000 | #Constraints: 33642 2905.80/2913.79 c #Conflicts: 1056000 | #Constraints: 34642 2905.80/2913.79 c #Conflicts: 1057000 | #Constraints: 35642 2905.80/2913.79 c #Conflicts: 1058000 | #Constraints: 36642 2905.80/2913.79 c #Conflicts: 1059000 | #Constraints: 37642 2905.80/2913.79 c #Conflicts: 1060000 | #Constraints: 38642 2905.80/2913.79 c #Conflicts: 1061000 | #Constraints: 39642 2905.80/2913.79 c #Conflicts: 1062000 | #Constraints: 40643 2905.80/2913.79 c INPROCESSING 2905.80/2913.79 c GARBAGE COLLECT 2905.80/2913.79 c rational objective 0 3002.56/3010.72 c #Conflicts: 1063000 | #Constraints: 21243 3002.56/3010.72 c #Conflicts: 1064000 | #Constraints: 22244 3002.56/3010.72 c #Conflicts: 1065000 | #Constraints: 23245 3002.56/3010.72 c #Conflicts: 1066000 | #Constraints: 24247 3002.56/3010.72 c #Conflicts: 1067000 | #Constraints: 25248 3002.56/3010.72 c #Conflicts: 1068000 | #Constraints: 26248 3002.56/3010.72 c #Conflicts: 1069000 | #Constraints: 27248 3002.56/3010.72 c #Conflicts: 1070000 | #Constraints: 28248 3002.56/3010.72 c #Conflicts: 1071000 | #Constraints: 29249 3002.56/3010.72 c #Conflicts: 1072000 | #Constraints: 30249 3002.56/3010.72 c #Conflicts: 1073000 | #Constraints: 31250 3002.56/3010.72 c #Conflicts: 1074000 | #Constraints: 32250 3002.56/3010.72 c #Conflicts: 1075000 | #Constraints: 33250 3002.56/3010.72 c #Conflicts: 1076000 | #Constraints: 34251 3002.56/3010.72 c #Conflicts: 1077000 | #Constraints: 35251 3002.56/3010.72 c #Conflicts: 1078000 | #Constraints: 36251 3002.56/3010.72 c #Conflicts: 1079000 | #Constraints: 37251 3002.56/3010.72 c #Conflicts: 1080000 | #Constraints: 38251 3002.56/3010.72 c #Conflicts: 1081000 | #Constraints: 39251 3002.56/3010.72 c #Conflicts: 1082000 | #Constraints: 40251 3002.56/3010.72 c #Conflicts: 1083000 | #Constraints: 41252 3002.56/3010.72 c INPROCESSING 3002.56/3010.72 c GARBAGE COLLECT 3002.56/3010.72 c rational objective 0 3103.40/3111.81 c #Conflicts: 1084000 | #Constraints: 21643 3103.40/3111.81 c #Conflicts: 1085000 | #Constraints: 22643 3103.40/3111.81 c #Conflicts: 1086000 | #Constraints: 23643 3103.40/3111.81 c #Conflicts: 1087000 | #Constraints: 24644 3103.40/3111.81 c #Conflicts: 1088000 | #Constraints: 25644 3103.40/3111.81 c #Conflicts: 1089000 | #Constraints: 26644 3103.40/3111.81 c #Conflicts: 1090000 | #Constraints: 27644 3103.40/3111.81 c #Conflicts: 1091000 | #Constraints: 28645 3103.40/3111.81 c #Conflicts: 1092000 | #Constraints: 29645 3103.40/3111.81 c #Conflicts: 1093000 | #Constraints: 30645 3103.40/3111.81 c #Conflicts: 1094000 | #Constraints: 31645 3103.40/3111.81 c #Conflicts: 1095000 | #Constraints: 32645 3103.40/3111.81 c #Conflicts: 1096000 | #Constraints: 33645 3103.40/3111.81 c #Conflicts: 1097000 | #Constraints: 34646 3103.40/3111.81 c #Conflicts: 1098000 | #Constraints: 35646 3103.40/3111.81 c #Conflicts: 1099000 | #Constraints: 36647 3103.40/3111.81 c #Conflicts: 1100000 | #Constraints: 37647 3103.40/3111.81 c #Conflicts: 1101000 | #Constraints: 38647 3103.40/3111.81 c #Conflicts: 1102000 | #Constraints: 39647 3103.40/3111.81 c #Conflicts: 1103000 | #Constraints: 40647 3103.40/3111.81 c #Conflicts: 1104000 | #Constraints: 41647 3103.40/3111.81 c INPROCESSING 3103.40/3111.81 c GARBAGE COLLECT 3103.40/3111.81 c rational objective 0 3200.26/3209.00 c #Conflicts: 1105000 | #Constraints: 21845 3200.26/3209.00 c #Conflicts: 1106000 | #Constraints: 22845 3200.26/3209.00 c #Conflicts: 1107000 | #Constraints: 23845 3200.26/3209.00 c #Conflicts: 1108000 | #Constraints: 24845 3200.26/3209.00 c #Conflicts: 1109000 | #Constraints: 25846 3200.26/3209.00 c #Conflicts: 1110000 | #Constraints: 26846 3200.26/3209.00 c #Conflicts: 1111000 | #Constraints: 27846 3200.26/3209.00 c #Conflicts: 1112000 | #Constraints: 28846 3200.26/3209.00 c #Conflicts: 1113000 | #Constraints: 29846 3200.26/3209.00 c #Conflicts: 1114000 | #Constraints: 30848 3200.26/3209.00 c #Conflicts: 1115000 | #Constraints: 31850 3200.26/3209.00 c #Conflicts: 1116000 | #Constraints: 32850 3200.26/3209.00 c #Conflicts: 1117000 | #Constraints: 33850 3200.26/3209.00 c #Conflicts: 1118000 | #Constraints: 34850 3200.26/3209.00 c #Conflicts: 1119000 | #Constraints: 35850 3200.26/3209.00 c #Conflicts: 1120000 | #Constraints: 36850 3200.26/3209.00 c #Conflicts: 1121000 | #Constraints: 37850 3200.26/3209.00 c #Conflicts: 1122000 | #Constraints: 38850 3200.26/3209.00 c #Conflicts: 1123000 | #Constraints: 39850 3200.26/3209.00 c #Conflicts: 1124000 | #Constraints: 40850 3200.26/3209.00 c #Conflicts: 1125000 | #Constraints: 41850 3200.26/3209.00 c INPROCESSING 3200.26/3209.00 c GARBAGE COLLECT 3200.26/3209.00 c rational objective 0 3301.19/3310.13 c #Conflicts: 1126000 | #Constraints: 21844 3301.19/3310.13 c #Conflicts: 1127000 | #Constraints: 22844 3301.19/3310.13 c #Conflicts: 1128000 | #Constraints: 23845 3301.19/3310.13 c #Conflicts: 1129000 | #Constraints: 24845 3301.19/3310.13 c #Conflicts: 1130000 | #Constraints: 25845 3301.19/3310.13 c #Conflicts: 1131000 | #Constraints: 26845 3301.19/3310.13 c #Conflicts: 1132000 | #Constraints: 27845 3301.19/3310.13 c #Conflicts: 1133000 | #Constraints: 28845 3301.19/3310.13 c #Conflicts: 1134000 | #Constraints: 29845 3301.19/3310.13 c #Conflicts: 1135000 | #Constraints: 30845 3301.19/3310.13 c #Conflicts: 1136000 | #Constraints: 31845 3301.19/3310.13 c #Conflicts: 1137000 | #Constraints: 32845 3301.19/3310.13 c #Conflicts: 1138000 | #Constraints: 33845 3301.19/3310.13 c #Conflicts: 1139000 | #Constraints: 34845 3301.19/3310.13 c #Conflicts: 1140000 | #Constraints: 35845 3301.19/3310.13 c #Conflicts: 1141000 | #Constraints: 36846 3301.19/3310.13 c #Conflicts: 1142000 | #Constraints: 37846 3301.19/3310.13 c #Conflicts: 1143000 | #Constraints: 38846 3301.19/3310.13 c #Conflicts: 1144000 | #Constraints: 39848 3301.19/3310.13 c #Conflicts: 1145000 | #Constraints: 40850 3301.19/3310.13 c #Conflicts: 1146000 | #Constraints: 41850 3301.19/3310.13 c INPROCESSING 3301.19/3310.13 c GARBAGE COLLECT 3301.19/3310.13 c rational objective 0 3400.02/3409.24 c #Conflicts: 1147000 | #Constraints: 21643 3400.02/3409.24 c #Conflicts: 1148000 | #Constraints: 22643 3400.02/3409.24 c #Conflicts: 1149000 | #Constraints: 23644 3400.02/3409.24 c #Conflicts: 1150000 | #Constraints: 24644 3400.02/3409.24 c #Conflicts: 1151000 | #Constraints: 25645 3400.02/3409.24 c #Conflicts: 1152000 | #Constraints: 26645 3400.02/3409.24 c #Conflicts: 1153000 | #Constraints: 27645 3400.02/3409.24 c #Conflicts: 1154000 | #Constraints: 28645 3400.02/3409.24 c #Conflicts: 1155000 | #Constraints: 29645 3400.02/3409.24 c #Conflicts: 1156000 | #Constraints: 30645 3400.02/3409.24 c #Conflicts: 1157000 | #Constraints: 31646 3400.02/3409.24 c #Conflicts: 1158000 | #Constraints: 32648 3400.02/3409.24 c #Conflicts: 1159000 | #Constraints: 33649 3400.02/3409.24 c #Conflicts: 1160000 | #Constraints: 34650 3400.02/3409.24 c #Conflicts: 1161000 | #Constraints: 35651 3400.02/3409.24 c #Conflicts: 1162000 | #Constraints: 36651 3400.02/3409.24 c #Conflicts: 1163000 | #Constraints: 37651 3400.02/3409.24 c #Conflicts: 1164000 | #Constraints: 38652 3400.02/3409.24 c #Conflicts: 1165000 | #Constraints: 39652 3400.02/3409.24 c #Conflicts: 1166000 | #Constraints: 40653 3400.02/3409.24 c #Conflicts: 1167000 | #Constraints: 41653 3400.02/3409.24 c #Conflicts: 1168000 | #Constraints: 42654 3400.02/3409.24 c INPROCESSING 3400.02/3409.24 c GARBAGE COLLECT 3400.02/3409.24 c rational objective 0 3494.68/3504.13 c #Conflicts: 1169000 | #Constraints: 22247 3494.68/3504.13 c #Conflicts: 1170000 | #Constraints: 23247 3494.68/3504.13 c #Conflicts: 1171000 | #Constraints: 24249 3494.68/3504.13 c #Conflicts: 1172000 | #Constraints: 25249 3494.68/3504.13 c #Conflicts: 1173000 | #Constraints: 26250 3494.68/3504.13 c #Conflicts: 1174000 | #Constraints: 27251 3494.68/3504.13 c #Conflicts: 1175000 | #Constraints: 28252 3494.68/3504.13 c #Conflicts: 1176000 | #Constraints: 29253 3494.68/3504.13 c #Conflicts: 1177000 | #Constraints: 30254 3494.68/3504.13 c #Conflicts: 1178000 | #Constraints: 31254 3494.68/3504.13 c #Conflicts: 1179000 | #Constraints: 32254 3494.68/3504.13 c #Conflicts: 1180000 | #Constraints: 33254 3494.68/3504.13 c #Conflicts: 1181000 | #Constraints: 34254 3494.68/3504.13 c #Conflicts: 1182000 | #Constraints: 35255 3494.68/3504.13 c #Conflicts: 1183000 | #Constraints: 36255 3494.68/3504.13 c #Conflicts: 1184000 | #Constraints: 37255 3494.68/3504.13 c #Conflicts: 1185000 | #Constraints: 38257 3494.68/3504.13 c #Conflicts: 1186000 | #Constraints: 39257 3494.68/3504.13 c #Conflicts: 1187000 | #Constraints: 40258 3494.68/3504.13 c #Conflicts: 1188000 | #Constraints: 41258 3494.68/3504.13 c #Conflicts: 1189000 | #Constraints: 42260 3494.68/3504.13 c #Conflicts: 1190000 | #Constraints: 43261 3494.68/3504.13 c INPROCESSING 3494.68/3504.13 c GARBAGE COLLECT 3494.68/3504.13 c rational objective 0 3594.33/3604.06 c #Conflicts: 1191000 | #Constraints: 22647 3594.33/3604.06 c #Conflicts: 1192000 | #Constraints: 23647 3594.33/3604.06 c #Conflicts: 1193000 | #Constraints: 24647 3594.33/3604.06 c #Conflicts: 1194000 | #Constraints: 25648 3594.33/3604.06 c #Conflicts: 1195000 | #Constraints: 26648 3594.33/3604.06 c #Conflicts: 1196000 | #Constraints: 27649 3594.33/3604.06 c #Conflicts: 1197000 | #Constraints: 28649 3594.33/3604.06 c #Conflicts: 1198000 | #Constraints: 29649 3594.33/3604.06 c #Conflicts: 1199000 | #Constraints: 30649 3594.33/3604.06 c #Conflicts: 1200000 | #Constraints: 31650 3594.33/3604.06 c #Conflicts: 1201000 | #Constraints: 32652 3594.33/3604.06 c #Conflicts: 1202000 | #Constraints: 33652 3594.33/3604.06 c #Conflicts: 1203000 | #Constraints: 34652 3594.33/3604.06 c #Conflicts: 1204000 | #Constraints: 35652 3594.33/3604.06 c #Conflicts: 1205000 | #Constraints: 36652 3594.33/3604.06 c #Conflicts: 1206000 | #Constraints: 37652 3594.33/3604.06 c #Conflicts: 1207000 | #Constraints: 38653 3594.33/3604.06 c #Conflicts: 1208000 | #Constraints: 39653 3594.33/3604.06 c #Conflicts: 1209000 | #Constraints: 40653 3594.33/3604.06 c #Conflicts: 1210000 | #Constraints: 41653 3594.33/3604.06 c #Conflicts: 1211000 | #Constraints: 42653 3594.33/3604.06 c #Conflicts: 1212000 | #Constraints: 43653 3594.33/3604.06 c INPROCESSING 3594.33/3604.06 c GARBAGE COLLECT 3594.33/3604.06 c rational objective 0 3600.01/3609.70 c #Conflicts: 1213000 | #Constraints: 22842 3600.01/3609.70 c Program interrupted by user. 3600.01/3609.72 c cpu time 3575.98 s 3600.01/3609.72 c deterministic time 531143963938 5.31e+11 3600.01/3609.72 c optimization time 5.53921 s 3600.01/3609.72 c total solve time 3570.44 s 3600.01/3609.72 c core-guided solve time 1756.06 s 3600.01/3609.72 c propagation time 3342.19 s 3600.01/3609.72 c conflict analysis time 209.143 s 3600.01/3609.72 c propagations 21977943 3600.01/3609.72 c resolve steps 8026913 3600.01/3609.72 c decisions 3111488 3600.01/3609.72 c conflicts 1213313 3600.01/3609.72 c restarts 2300 3600.01/3609.72 c inprocessing phases 101 3600.01/3609.72 c input clauses 1 3600.01/3609.72 c input cardinalities 0 3600.01/3609.72 c input general constraints 16 3600.01/3609.72 c input average constraint length 64.65 3600.01/3609.72 c input average constraint degree 1561.65 3600.01/3609.72 c learned clauses 449329 3600.01/3609.72 c learned cardinalities 0 3600.01/3609.72 c learned general constraints 764793 3600.01/3609.72 c learned average constraint length 50.33 3600.01/3609.72 c learned average constraint degree 1062587326.36 3600.01/3609.72 c watched constraints 764209 3600.01/3609.72 c counting constraints 600 3600.01/3609.72 c gcd simplifications 381482 3600.01/3609.72 c detected cardinalities 0 3600.01/3609.72 c weakened non-implied lits 9347992 3600.01/3609.72 c weakened non-implying lits 213842 3600.01/3609.72 c original variables 71 3600.01/3609.72 c clausal propagations 437400 3600.01/3609.72 c cardinality propagations 0 3600.01/3609.72 c watched propagations 18131369 3600.01/3609.72 c counting propagations 2784677 3600.01/3609.72 c watch lookups 35307874723 3600.01/3609.72 c watch backjump lookups 22716387403 3600.01/3609.72 c watch checks 405305307238 3600.01/3609.72 c propagation checks 67198985726 3600.01/3609.72 c constraint additions 562804219 3600.01/3609.72 c trail pops 26301863 3600.01/3609.72 c formula constraints 17 3600.01/3609.72 c learned constraints 1212502 3600.01/3609.72 c bound constraints 0 3600.01/3609.72 c core-guided constraints 0 3600.01/3609.72 c encountered formula constraints 19105 3600.01/3609.72 c encountered learned constraints 2581081 3600.01/3609.72 c encountered bound constraints 0 3600.01/3609.72 c encountered core-guided constraints 0 3600.01/3609.72 c LP total time 30.9161 s 3600.01/3609.72 c LP solve time 24.71 s 3600.01/3609.72 c LP constraints added 57 3600.01/3609.72 c LP constraints removed 40 3600.01/3609.72 c LP pivots internal 1213314 3600.01/3609.72 c LP pivots root 20 3600.01/3609.72 c LP calls 307344 3600.01/3609.72 c LP optimalities 306534 3600.01/3609.72 c LP no pivot count 131061 3600.01/3609.72 c LP infeasibilities 810 3600.01/3609.72 c LP valid Farkas constraints 810 3600.01/3609.72 c LP learned Farkas constraints 810 3600.01/3609.72 c LP basis resets 0 3600.01/3609.72 c LP cycling count 0 3600.01/3609.72 c LP singular count 0 3600.01/3609.72 c LP no primal count 0 3600.01/3609.72 c LP no farkas count 0 3600.01/3609.72 c LP other issue count 0 3600.01/3609.72 c LP Gomory cuts 0 3600.01/3609.72 c LP learned cuts 40 3600.01/3609.72 c LP deleted cuts 40 3600.01/3609.72 c LP encountered Gomory constraints 0 3600.01/3609.72 c LP encountered Farkas constraints 6028758 3600.01/3609.72 c LP encountered learned Farkas constraints 610472 3600.01/3609.72 c CG auxiliary variables introduced 0 3600.01/3609.72 c CG solutions found 0 3600.01/3609.72 c CG cores constructed 0 3600.01/3609.72 c CG core cardinality constraints returned 0 3600.01/3609.72 c CG unit cores 0 3600.01/3609.72 c CG single cores 0 3600.01/3609.72 c CG blocks removed during cardinality reduction 0 3600.01/3609.72 c CG first core best 0 3600.01/3609.72 c CG decision core best 0 3600.01/3609.72 c CG core reduction tie 0 3600.01/3609.72 c CG core degree average 0.00 3600.01/3609.72 c CG core slack average 0.00 3600.01/3609.72 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (913 MiB free)
memory of node 1: 64473 MiB (1139 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456786-1721772865/watcher-4456786-1721772865 -o /tmp/evaluation-result-4456786-1721772865/solver-4456786-1721772865 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721765643-132585 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456786-1721772865 --lp-cut-gomory=0 HOME/instance-4456786-1721772865.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=137201, runsolver pid=137198
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.33 4.17 4.11 5/264 137202
/proc/meminfo: memFree=2095428/131524600 swapFree=131070448/131071996
[pid=137201] ppid=137198 vsize=38156 memory=8896 CPUtime=0.09 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 531 0 0 0 9 0 0 0 20 0 1 0 13809400 39071744 2224 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 9539 2224 1879 992 0 1397 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38156 KiB
Current children cumulated memory: 8896 KiB
[startup+0.206291 s]*
/proc/loadavg: 4.33 4.17 4.11 5/264 137202
/proc/meminfo: memFree=2089540/131524600 swapFree=131070448/131071996
[pid=137201] ppid=137198 vsize=38284 memory=9168 CPUtime=0.2 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 650 0 0 0 19 1 0 0 20 0 1 0 13809400 39202816 2292 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 9571 2292 1879 992 0 1429 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38284 KiB
Current children cumulated memory: 9168 KiB
[startup+0.306072 s]*
/proc/loadavg: 4.33 4.17 4.11 5/264 137202
/proc/meminfo: memFree=2082992/131524600 swapFree=131070448/131071996
[pid=137201] ppid=137198 vsize=38416 memory=11476 CPUtime=0.3 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 714 0 0 0 28 2 0 0 20 0 1 0 13809400 39337984 2869 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 9604 2869 1879 992 0 1462 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38416 KiB
Current children cumulated memory: 11476 KiB
[startup+0.700191 s]
/proc/loadavg: 4.33 4.17 4.11 5/264 137202
/proc/meminfo: memFree=2071336/131524600 swapFree=131070448/131071996
[pid=137201] ppid=137198 vsize=38816 memory=11964 CPUtime=0.69 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 800 0 0 0 65 4 0 0 20 0 1 0 13809400 39747584 2991 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 9704 2991 1879 992 0 1562 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38816 KiB
Current children cumulated memory: 11964 KiB
[startup+1.50017 s]
/proc/loadavg: 4.33 4.17 4.11 5/264 137202
/proc/meminfo: memFree=2049712/131524600 swapFree=131070448/131071996
[pid=137201] ppid=137198 vsize=39388 memory=12492 CPUtime=1.48 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 950 0 0 0 141 7 0 0 20 0 1 0 13809400 40333312 3123 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 9847 3123 1879 992 0 1705 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39388 KiB
Current children cumulated memory: 12492 KiB
[startup+3.10612 s]
/proc/loadavg: 4.33 4.17 4.11 5/264 137204
/proc/meminfo: memFree=1971920/131524600 swapFree=131070448/131071996
[pid=137201] ppid=137198 vsize=39920 memory=13096 CPUtime=3.09 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 1068 0 0 0 298 11 0 0 20 0 1 0 13809400 40878080 3274 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 9980 3274 1879 992 0 1838 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39920 KiB
Current children cumulated memory: 13096 KiB
[startup+6.30016 s]
/proc/loadavg: 4.38 4.19 4.12 5/264 137204
/proc/meminfo: memFree=1868764/131524600 swapFree=131070448/131071996
[pid=137201] ppid=137198 vsize=40368 memory=13400 CPUtime=6.27 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 1151 0 0 0 608 19 0 0 20 0 1 0 13809400 41336832 3350 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 10092 3350 1879 992 0 1950 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40368 KiB
Current children cumulated memory: 13400 KiB
[startup+12.7002 s]
/proc/loadavg: 4.35 4.18 4.12 5/265 137208
/proc/meminfo: memFree=1687020/131524600 swapFree=131070448/131071996
[pid=137201] ppid=137198 vsize=41168 memory=14180 CPUtime=12.66 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 1376 0 0 0 1235 31 0 0 20 0 1 0 13809400 42156032 3545 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 10292 3545 1879 992 0 2150 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41168 KiB
Current children cumulated memory: 14180 KiB
[startup+25.5002 s]
/proc/loadavg: 4.27 4.17 4.12 5/265 137443
/proc/meminfo: memFree=1588688/131524600 swapFree=131070448/131071996
[pid=137201] ppid=137198 vsize=42512 memory=16008 CPUtime=25.42 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 1836 0 0 0 2491 51 0 0 20 0 1 0 13809400 43532288 4002 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 10628 4002 1879 992 0 2486 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 42512 KiB
Current children cumulated memory: 16008 KiB
[startup+51.1058 s]
/proc/loadavg: 4.18 4.16 4.11 5/267 137449
/proc/meminfo: memFree=586404/131524600 swapFree=131070192/131071996
[pid=137201] ppid=137198 vsize=45584 memory=18900 CPUtime=50.96 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 2292 0 0 0 5007 89 0 0 20 0 1 0 13809400 46678016 4725 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 11396 4725 1879 992 0 3254 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 45584 KiB
Current children cumulated memory: 18900 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/265 137459
/proc/meminfo: memFree=512816/131524600 swapFree=131069924/131071996
[pid=137201] ppid=137198 vsize=48464 memory=21400 CPUtime=102.04 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 3041 0 0 0 10057 147 0 0 20 0 1 0 13809400 49627136 5350 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 12116 5350 1879 992 0 3974 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 48464 KiB
Current children cumulated memory: 21400 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/265 137469
/proc/meminfo: memFree=613352/131524600 swapFree=131069924/131071996
[pid=137201] ppid=137198 vsize=53460 memory=23156 CPUtime=161.9 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 3591 0 0 0 15982 208 0 0 20 0 1 0 13809400 54743040 5789 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 13365 5789 1879 992 0 5223 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 53460 KiB
Current children cumulated memory: 23156 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 137479
/proc/meminfo: memFree=592384/131524600 swapFree=131069924/131071996
[pid=137201] ppid=137198 vsize=54228 memory=24616 CPUtime=221.75 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 4141 0 0 0 21912 263 0 0 20 0 1 0 13809400 55529472 6154 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 13557 6154 1879 992 0 5415 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 54228 KiB
Current children cumulated memory: 24616 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/259 137517
/proc/meminfo: memFree=814816/131524600 swapFree=131069924/131071996
[pid=137201] ppid=137198 vsize=54868 memory=26064 CPUtime=281.59 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 4640 0 0 0 27846 313 0 0 20 0 1 0 13809400 56184832 6516 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 13717 6516 1879 992 0 5575 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 54868 KiB
Current children cumulated memory: 26064 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/259 137529
/proc/meminfo: memFree=2860404/131524600 swapFree=131069924/131071996
[pid=137201] ppid=137198 vsize=55380 memory=28928 CPUtime=341.41 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 5123 0 0 0 33771 370 0 0 20 0 1 0 13809400 56709120 7232 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 13845 7232 1879 992 0 5703 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 55380 KiB
Current children cumulated memory: 28928 KiB
[startup+402.3 s]
/proc/loadavg: 4.34 4.22 4.13 5/262 137561
/proc/meminfo: memFree=2053112/131524600 swapFree=131069924/131071996
[pid=137201] ppid=137198 vsize=56276 memory=29568 CPUtime=401.19 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 5698 0 0 0 39690 429 0 0 20 0 1 0 13809400 57626624 7392 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 14069 7392 1879 992 0 5927 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 56276 KiB
Current children cumulated memory: 29568 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/262 137573
/proc/meminfo: memFree=1263268/131524600 swapFree=131069924/131071996
[pid=137201] ppid=137198 vsize=58196 memory=30880 CPUtime=461.05 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 6255 0 0 0 45627 478 0 0 20 0 1 0 13809400 59592704 7720 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 14549 7720 1879 992 0 6407 0
################
# More data... #
################
Current children cumulated memory: 46484 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.24 4.20 5/265 139210
/proc/meminfo: memFree=521652/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=73604 memory=47016 CPUtime=2914.38 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 15352 0 0 0 289378 2060 0 0 20 0 1 0 13809400 75370496 11754 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 18401 11754 1879 992 0 10259 0
Current children cumulated CPU time: 2914.38 s
Current children cumulated vsize: 73604 KiB
Current children cumulated memory: 47016 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.22 4.19 6/264 139221
/proc/meminfo: memFree=620240/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=73604 memory=47016 CPUtime=2974.23 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 15405 0 0 0 295337 2086 0 0 20 0 1 0 13809400 75370496 11754 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 18401 11754 1879 992 0 10259 0
Current children cumulated CPU time: 2974.23 s
Current children cumulated vsize: 73604 KiB
Current children cumulated memory: 47016 KiB
[startup+3042.3 s]
/proc/loadavg: 4.27 4.23 4.19 5/264 139231
/proc/meminfo: memFree=493480/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=73700 memory=47588 CPUtime=3034.08 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 15700 0 0 0 301292 2116 0 0 20 0 1 0 13809400 75468800 11897 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 18425 11897 1879 992 0 10283 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 73700 KiB
Current children cumulated memory: 47588 KiB
[startup+3102.3 s]
/proc/loadavg: 4.44 4.30 4.22 5/262 139242
/proc/meminfo: memFree=525248/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=75240 memory=48264 CPUtime=3093.92 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 15987 0 0 0 307249 2143 0 0 20 0 1 0 13809400 77045760 12066 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 18810 12066 1879 992 0 10668 0
Current children cumulated CPU time: 3093.92 s
Current children cumulated vsize: 75240 KiB
Current children cumulated memory: 48264 KiB
[startup+3162.3 s]
/proc/loadavg: 4.28 4.28 4.21 5/262 139252
/proc/meminfo: memFree=560436/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=75752 memory=48684 CPUtime=3153.78 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 16390 0 0 0 313210 2168 0 0 20 0 1 0 13809400 77570048 12171 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 18938 12171 1879 992 0 10796 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 75752 KiB
Current children cumulated memory: 48684 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.24 4.20 5/260 139263
/proc/meminfo: memFree=597964/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=87684 memory=49544 CPUtime=3213.63 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 16716 0 0 0 319167 2196 0 0 20 0 1 0 13809400 89788416 12386 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 21921 12386 1879 992 0 13779 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 49544 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.23 4.20 5/259 139274
/proc/meminfo: memFree=557200/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=87684 memory=49544 CPUtime=3273.47 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 16894 0 0 0 325119 2228 0 0 20 0 1 0 13809400 89788416 12386 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 21921 12386 1879 992 0 13779 0
Current children cumulated CPU time: 3273.47 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 49544 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.18 4.18 5/260 139285
/proc/meminfo: memFree=504908/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=87940 memory=49696 CPUtime=3333.3 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 17354 0 0 0 331069 2261 0 0 20 0 1 0 13809400 90050560 12424 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 21985 12424 1879 992 0 13843 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49696 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/262 139299
/proc/meminfo: memFree=663988/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=87940 memory=49696 CPUtime=3393.13 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 17519 0 0 0 337019 2294 0 0 20 0 1 0 13809400 90050560 12424 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 21985 12424 1879 992 0 13843 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49696 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/262 139311
/proc/meminfo: memFree=646660/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=87940 memory=49696 CPUtime=3452.99 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 17660 0 0 0 342968 2331 0 0 20 0 1 0 13809400 90050560 12424 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 21985 12424 1879 992 0 13843 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 49696 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/261 139323
/proc/meminfo: memFree=510704/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=87940 memory=51756 CPUtime=3512.83 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 17778 0 0 0 348924 2359 0 0 20 0 1 0 13809400 90050560 12939 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 21985 12939 1879 992 0 13843 0
Current children cumulated CPU time: 3512.83 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 51756 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/263 139335
/proc/meminfo: memFree=671620/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=87940 memory=51756 CPUtime=3572.67 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 17796 0 0 0 354878 2389 0 0 20 0 1 0 13809400 90050560 12939 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 21985 12939 1879 992 0 13843 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 51756 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.08 4.13 4.16 5/264 139340
/proc/meminfo: memFree=664660/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=88524 memory=51868 CPUtime=3600.01 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 17895 0 0 0 357597 2404 0 0 20 0 1 0 13809400 90648576 12967 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 22131 12967 1879 992 0 13989 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 88524 KiB
Current children cumulated memory: 51868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.72 s]
# the end of solver process 137201 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.98 s, system=24.0445 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.08 4.13 4.16 5/264 139340
/proc/meminfo: memFree=664660/131524600 swapFree=131057308/131071996
[pid=137201] ppid=137198 vsize=88524 memory=51868 CPUtime=3600.01 cores=4,6
/proc/137201/stat : 137201 (roundingsat) R 137198 137201 132574 0 -1 4194304 17895 0 0 0 357597 2404 0 0 20 0 1 0 13809400 90648576 12967 134679101440 4194304 8254037 140724392979840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23310336 140724392981340 140724392981602 140724392981602 140724392988617 0
/proc/137201/statm: 22131 12967 1879 992 0 13989 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 88524 KiB
Current children cumulated memory: 51868 KiB
Child status: 0
Real time (s): 3609.72
CPU time (s): 3600.02
CPU user time (s): 3575.98
CPU system time (s): 24.0445
CPU usage (%): 99.7312
Max. virtual memory (cumulated for all children) (KiB): 88524
Max. memory (cumulated for all children) (KiB): 51868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.98
system time used= 24.0445
maximum resident set size= 51920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17910
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9545016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115
involuntary context switches= 4827
# summary of solver processes directly reported to runsolver:
# pid: 137201
# total CPU time (s): 3600.02
# total CPU user time (s): 3575.98
# total CPU system time (s): 24.0445
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18287 second user time and 18.9987 second system time
The end
Begin job on nodeC015 at 2024-07-24 00:14:25 IDJOB=4456786 IDBENCH=147613 IDSOLVER=3085 FILE ID=nodeC015/4456786-1721772865 RUNJOBID= nodeC015-1721765643-132585 SLURM_JOB_ID= 7770672 Free space on /tmp= 890068 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-4456786-1721772865/watcher-4456786-1721772865 -o /tmp/evaluation-result-4456786-1721772865/solver-4456786-1721772865 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721765643-132585 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456786-1721772865 --lp-cut-gomory=0 HOME/instance-4456786-1721772865.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8548cf2fe8567884970fc9be656882ff RANDOM SEED=618100369 nodeC015.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 : 3675.281 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 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 : 3689.749 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.17 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 : 3651.001 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.828 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.17 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 : 3647.793 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 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 : 3689.823 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.17 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 : 3653.454 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.189 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.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 2103120 kB MemAvailable: 129029184 kB Buffers: 188040 kB Cached: 127256496 kB SwapCached: 60 kB Active: 1249748 kB Inactive: 127110088 kB Active(anon): 3840 kB Inactive(anon): 956768 kB Active(file): 1245908 kB Inactive(file): 126153320 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070448 kB Dirty: 70256 kB Writeback: 0 kB AnonPages: 910888 kB Mapped: 115428 kB Shmem: 45220 kB KReclaimable: 588244 kB Slab: 705736 kB SReclaimable: 588244 kB SUnreclaim: 117492 kB KernelStack: 4256 kB PageTables: 11352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1291188 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20320 kB HardwareCorrupted: 0 kB AnonHugePages: 763904 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: 303828 kB DirectMap2M: 30926848 kB DirectMap1G: 104857600 kB Free space on /tmp at the end= 890052 MiB End job on nodeC015 at 2024-07-24 01:14:35