| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.3 | 3608.93 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K82.opb |
| MD5SUM | 5599f1c242004f89302cb9020bac47d1 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no 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 | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5576 |
| Total number of constraints | 5742 |
| Number of constraints which are clauses | 5660 |
| Number of constraints which are cardinality constraints (but not clauses) | 82 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 82 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 83 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.02 c #variables 5576 #constraints 5742 13.16/13.27 c #Conflicts: 1000 | #Constraints: 6741 13.16/13.27 c #Conflicts: 2000 | #Constraints: 7741 13.16/13.27 c INPROCESSING 13.16/13.27 c GARBAGE COLLECT 13.16/13.27 c #Conflicts: 3000 | #Constraints: 7423 13.16/13.27 c #Conflicts: 4000 | #Constraints: 8423 13.16/13.27 c INPROCESSING 13.16/13.27 c GARBAGE COLLECT 13.16/13.27 c #Conflicts: 5000 | #Constraints: 7894 13.16/13.27 c #Conflicts: 6000 | #Constraints: 8894 13.16/13.27 c INPROCESSING 13.16/13.27 c GARBAGE COLLECT 13.16/13.27 c #Conflicts: 7000 | #Constraints: 7933 13.16/13.27 c #Conflicts: 8000 | #Constraints: 8933 13.16/13.27 c #Conflicts: 9000 | #Constraints: 9933 13.16/13.27 c INPROCESSING 13.16/13.27 c GARBAGE COLLECT 13.16/13.27 c rational objective 82 30.32/30.42 c #Conflicts: 10000 | #Constraints: 8692 30.32/30.42 c #Conflicts: 11000 | #Constraints: 9692 30.32/30.42 c #Conflicts: 12000 | #Constraints: 10693 30.32/30.42 c INPROCESSING 30.32/30.42 c GARBAGE COLLECT 30.32/30.42 c #Conflicts: 13000 | #Constraints: 9109 30.32/30.42 c #Conflicts: 14000 | #Constraints: 10109 30.32/30.42 c #Conflicts: 15000 | #Constraints: 11109 30.32/30.42 c INPROCESSING 30.32/30.42 c GARBAGE COLLECT 30.32/30.42 c #Conflicts: 16000 | #Constraints: 9374 30.32/30.42 c #Conflicts: 17000 | #Constraints: 10374 30.32/30.42 c #Conflicts: 18000 | #Constraints: 11374 30.32/30.42 c INPROCESSING 30.32/30.42 c GARBAGE COLLECT 30.32/30.42 c #Conflicts: 19000 | #Constraints: 9448 30.32/30.42 c #Conflicts: 20000 | #Constraints: 10449 30.32/30.42 c #Conflicts: 21000 | #Constraints: 11449 30.32/30.42 c INPROCESSING 30.32/30.42 c GARBAGE COLLECT 30.32/30.42 c #Conflicts: 22000 | #Constraints: 9255 30.32/30.42 c #Conflicts: 23000 | #Constraints: 10256 30.32/30.42 c #Conflicts: 24000 | #Constraints: 11256 30.32/30.42 c #Conflicts: 25000 | #Constraints: 12256 30.32/30.42 c INPROCESSING 30.32/30.42 c GARBAGE COLLECT 30.32/30.42 c rational objective 82 36.91/37.09 c #Conflicts: 26000 | #Constraints: 9873 36.91/37.09 c #Conflicts: 27000 | #Constraints: 10873 36.91/37.09 c #Conflicts: 28000 | #Constraints: 11873 36.91/37.09 c #Conflicts: 29000 | #Constraints: 12873 36.91/37.09 c INPROCESSING 36.91/37.09 c GARBAGE COLLECT 36.91/37.09 c rational objective 82 49.37/49.51 c #Conflicts: 30000 | #Constraints: 10278 49.37/49.51 c #Conflicts: 31000 | #Constraints: 11278 49.37/49.51 c #Conflicts: 32000 | #Constraints: 12278 49.37/49.51 c #Conflicts: 33000 | #Constraints: 13278 49.37/49.51 c INPROCESSING 49.37/49.51 c GARBAGE COLLECT 49.37/49.51 c #Conflicts: 34000 | #Constraints: 10485 49.37/49.51 c #Conflicts: 35000 | #Constraints: 11485 49.37/49.51 c #Conflicts: 36000 | #Constraints: 12485 49.37/49.51 c #Conflicts: 37000 | #Constraints: 13485 49.37/49.51 c INPROCESSING 49.37/49.51 c GARBAGE COLLECT 49.37/49.51 c #Conflicts: 38000 | #Constraints: 10501 49.37/49.51 c #Conflicts: 39000 | #Constraints: 11501 49.37/49.51 c #Conflicts: 40000 | #Constraints: 12501 49.37/49.51 c #Conflicts: 41000 | #Constraints: 13502 49.37/49.51 c INPROCESSING 49.37/49.51 c GARBAGE COLLECT 49.37/49.51 c rational objective 82 53.37/53.52 c #Conflicts: 42000 | #Constraints: 10328 53.37/53.52 c #Conflicts: 43000 | #Constraints: 11328 53.37/53.52 c #Conflicts: 44000 | #Constraints: 12328 53.37/53.52 c #Conflicts: 45000 | #Constraints: 13328 53.37/53.52 c #Conflicts: 46000 | #Constraints: 14328 53.37/53.52 c INPROCESSING 53.37/53.52 c GARBAGE COLLECT 53.37/53.52 c rational objective 82 58.56/58.73 c #Conflicts: 47000 | #Constraints: 10929 58.56/58.73 c #Conflicts: 48000 | #Constraints: 11929 58.56/58.73 c #Conflicts: 49000 | #Constraints: 12929 58.56/58.73 c #Conflicts: 50000 | #Constraints: 13929 58.56/58.73 c #Conflicts: 51000 | #Constraints: 14929 58.56/58.73 c INPROCESSING 58.56/58.73 c GARBAGE COLLECT 58.56/58.73 c rational objective 82 68.83/69.05 c #Conflicts: 52000 | #Constraints: 11365 68.83/69.05 c #Conflicts: 53000 | #Constraints: 12367 68.83/69.05 c #Conflicts: 54000 | #Constraints: 13367 68.83/69.05 c #Conflicts: 55000 | #Constraints: 14367 68.83/69.05 c #Conflicts: 56000 | #Constraints: 15368 68.83/69.05 c INPROCESSING 68.83/69.05 c GARBAGE COLLECT 68.83/69.05 c rational objective 82 84.39/84.69 c #Conflicts: 57000 | #Constraints: 11597 84.39/84.69 c #Conflicts: 58000 | #Constraints: 12597 84.39/84.69 c #Conflicts: 59000 | #Constraints: 13597 84.39/84.69 c #Conflicts: 60000 | #Constraints: 14597 84.39/84.69 c #Conflicts: 61000 | #Constraints: 15597 84.39/84.69 c INPROCESSING 84.39/84.69 c GARBAGE COLLECT 84.39/84.69 c #Conflicts: 62000 | #Constraints: 11601 84.39/84.69 c #Conflicts: 63000 | #Constraints: 12601 84.39/84.69 c #Conflicts: 64000 | #Constraints: 13601 84.39/84.69 c #Conflicts: 65000 | #Constraints: 14602 84.39/84.69 c #Conflicts: 66000 | #Constraints: 15602 84.39/84.69 c INPROCESSING 84.39/84.69 c GARBAGE COLLECT 84.39/84.69 c rational objective 82 97.46/97.72 c #Conflicts: 67000 | #Constraints: 11414 97.46/97.72 c #Conflicts: 68000 | #Constraints: 12414 97.46/97.72 c #Conflicts: 69000 | #Constraints: 13414 97.46/97.72 c #Conflicts: 70000 | #Constraints: 14414 97.46/97.72 c #Conflicts: 71000 | #Constraints: 15414 97.46/97.72 c #Conflicts: 72000 | #Constraints: 16414 97.46/97.72 c INPROCESSING 97.46/97.72 c GARBAGE COLLECT 97.46/97.72 c #Conflicts: 73000 | #Constraints: 12032 97.46/97.72 c #Conflicts: 74000 | #Constraints: 13032 97.46/97.72 c #Conflicts: 75000 | #Constraints: 14032 97.46/97.72 c #Conflicts: 76000 | #Constraints: 15032 97.46/97.72 c #Conflicts: 77000 | #Constraints: 16033 97.46/97.72 c #Conflicts: 78000 | #Constraints: 17033 97.46/97.72 c INPROCESSING 97.46/97.72 c GARBAGE COLLECT 97.46/97.72 c #Conflicts: 79000 | #Constraints: 12458 97.46/97.72 c #Conflicts: 80000 | #Constraints: 13458 97.46/97.72 c #Conflicts: 81000 | #Constraints: 14458 97.46/97.72 c #Conflicts: 82000 | #Constraints: 15458 97.46/97.72 c #Conflicts: 83000 | #Constraints: 16458 97.46/97.72 c #Conflicts: 84000 | #Constraints: 17458 97.46/97.72 c INPROCESSING 97.46/97.72 c GARBAGE COLLECT 97.46/97.72 c rational objective 82 105.75/106.01 c #Conflicts: 85000 | #Constraints: 12681 105.75/106.01 c #Conflicts: 86000 | #Constraints: 13681 105.75/106.01 c #Conflicts: 87000 | #Constraints: 14681 105.75/106.01 c #Conflicts: 88000 | #Constraints: 15681 105.75/106.01 c #Conflicts: 89000 | #Constraints: 16681 105.75/106.01 c #Conflicts: 90000 | #Constraints: 17682 105.75/106.01 c INPROCESSING 105.75/106.01 c GARBAGE COLLECT 105.75/106.01 c rational objective 82 121.60/121.99 c #Conflicts: 91000 | #Constraints: 12697 121.60/121.99 c #Conflicts: 92000 | #Constraints: 13698 121.60/121.99 c #Conflicts: 93000 | #Constraints: 14698 121.60/121.99 c #Conflicts: 94000 | #Constraints: 15700 121.60/121.99 c #Conflicts: 95000 | #Constraints: 16702 121.60/121.99 c #Conflicts: 96000 | #Constraints: 17703 121.60/121.99 c INPROCESSING 121.60/121.99 c GARBAGE COLLECT 121.60/121.99 c rational objective 82 144.05/144.40 c #Conflicts: 97000 | #Constraints: 12499 144.05/144.40 c #Conflicts: 98000 | #Constraints: 13499 144.05/144.40 c #Conflicts: 99000 | #Constraints: 14499 144.05/144.40 c #Conflicts: 100000 | #Constraints: 15499 144.05/144.40 c #Conflicts: 101000 | #Constraints: 16499 144.05/144.40 c #Conflicts: 102000 | #Constraints: 17499 144.05/144.40 c #Conflicts: 103000 | #Constraints: 18499 144.05/144.40 c INPROCESSING 144.05/144.40 c GARBAGE COLLECT 144.05/144.40 c #Conflicts: 104000 | #Constraints: 13094 144.05/144.40 c #Conflicts: 105000 | #Constraints: 14094 144.05/144.40 c #Conflicts: 106000 | #Constraints: 15094 144.05/144.40 c #Conflicts: 107000 | #Constraints: 16094 144.05/144.40 c #Conflicts: 108000 | #Constraints: 17094 144.05/144.40 c #Conflicts: 109000 | #Constraints: 18094 144.05/144.40 c #Conflicts: 110000 | #Constraints: 19094 144.05/144.40 c INPROCESSING 144.05/144.40 c GARBAGE COLLECT 144.05/144.40 c #Conflicts: 111000 | #Constraints: 13460 144.05/144.40 c #Conflicts: 112000 | #Constraints: 14460 144.05/144.40 c #Conflicts: 113000 | #Constraints: 15460 144.05/144.40 c #Conflicts: 114000 | #Constraints: 16460 144.05/144.40 c #Conflicts: 115000 | #Constraints: 17460 144.05/144.40 c #Conflicts: 116000 | #Constraints: 18460 144.05/144.40 c #Conflicts: 117000 | #Constraints: 19460 144.05/144.40 c INPROCESSING 144.05/144.40 c GARBAGE COLLECT 144.05/144.40 c rational objective 82 166.20/166.62 c #Conflicts: 118000 | #Constraints: 13711 166.20/166.62 c #Conflicts: 119000 | #Constraints: 14711 166.20/166.62 c #Conflicts: 120000 | #Constraints: 15711 166.20/166.62 c #Conflicts: 121000 | #Constraints: 16711 166.20/166.62 c #Conflicts: 122000 | #Constraints: 17711 166.20/166.62 c #Conflicts: 123000 | #Constraints: 18711 166.20/166.62 c #Conflicts: 124000 | #Constraints: 19711 166.20/166.62 c INPROCESSING 166.20/166.62 c GARBAGE COLLECT 166.20/166.62 c #Conflicts: 125000 | #Constraints: 13736 166.20/166.62 c #Conflicts: 126000 | #Constraints: 14736 166.20/166.62 c #Conflicts: 127000 | #Constraints: 15736 166.20/166.62 c #Conflicts: 128000 | #Constraints: 16737 166.20/166.62 c #Conflicts: 129000 | #Constraints: 17737 166.20/166.62 c #Conflicts: 130000 | #Constraints: 18737 166.20/166.62 c #Conflicts: 131000 | #Constraints: 19737 166.20/166.62 c INPROCESSING 166.20/166.62 c GARBAGE COLLECT 166.20/166.62 c rational objective 82 183.66/184.13 c #Conflicts: 132000 | #Constraints: 13550 183.66/184.13 c #Conflicts: 133000 | #Constraints: 14550 183.66/184.13 c #Conflicts: 134000 | #Constraints: 15550 183.66/184.13 c #Conflicts: 135000 | #Constraints: 16550 183.66/184.13 c #Conflicts: 136000 | #Constraints: 17550 183.66/184.13 c #Conflicts: 137000 | #Constraints: 18550 183.66/184.13 c #Conflicts: 138000 | #Constraints: 19550 183.66/184.13 c #Conflicts: 139000 | #Constraints: 20551 183.66/184.13 c INPROCESSING 183.66/184.13 c GARBAGE COLLECT 183.66/184.13 c #Conflicts: 140000 | #Constraints: 14120 183.66/184.13 c #Conflicts: 141000 | #Constraints: 15120 183.66/184.13 c #Conflicts: 142000 | #Constraints: 16120 183.66/184.13 c #Conflicts: 143000 | #Constraints: 17120 183.66/184.13 c #Conflicts: 144000 | #Constraints: 18120 183.66/184.13 c #Conflicts: 145000 | #Constraints: 19120 183.66/184.13 c #Conflicts: 146000 | #Constraints: 20120 183.66/184.13 c #Conflicts: 147000 | #Constraints: 21120 183.66/184.13 c INPROCESSING 183.66/184.13 c GARBAGE COLLECT 183.66/184.13 c rational objective 82 203.62/204.19 c #Conflicts: 148000 | #Constraints: 14530 203.62/204.19 c #Conflicts: 149000 | #Constraints: 15530 203.62/204.19 c #Conflicts: 150000 | #Constraints: 16530 203.62/204.19 c #Conflicts: 151000 | #Constraints: 17530 203.62/204.19 c #Conflicts: 152000 | #Constraints: 18530 203.62/204.19 c #Conflicts: 153000 | #Constraints: 19530 203.62/204.19 c #Conflicts: 154000 | #Constraints: 20531 203.62/204.19 c #Conflicts: 155000 | #Constraints: 21531 203.62/204.19 c INPROCESSING 203.62/204.19 c GARBAGE COLLECT 203.62/204.19 c #Conflicts: 156000 | #Constraints: 14726 203.62/204.19 c #Conflicts: 157000 | #Constraints: 15726 203.62/204.19 c #Conflicts: 158000 | #Constraints: 16726 203.62/204.19 c #Conflicts: 159000 | #Constraints: 17726 203.62/204.19 c #Conflicts: 160000 | #Constraints: 18727 203.62/204.19 c #Conflicts: 161000 | #Constraints: 19727 203.62/204.19 c #Conflicts: 162000 | #Constraints: 20727 203.62/204.19 c #Conflicts: 163000 | #Constraints: 21727 203.62/204.19 c INPROCESSING 203.62/204.19 c GARBAGE COLLECT 203.62/204.19 c rational objective 82 251.19/251.82 c #Conflicts: 164000 | #Constraints: 14767 251.19/251.82 c #Conflicts: 165000 | #Constraints: 15767 251.19/251.82 c #Conflicts: 166000 | #Constraints: 16767 251.19/251.82 c #Conflicts: 167000 | #Constraints: 17767 251.19/251.82 c #Conflicts: 168000 | #Constraints: 18767 251.19/251.82 c #Conflicts: 169000 | #Constraints: 19767 251.19/251.82 c #Conflicts: 170000 | #Constraints: 20767 251.19/251.82 c #Conflicts: 171000 | #Constraints: 21768 251.19/251.82 c #Conflicts: 172000 | #Constraints: 22768 251.19/251.82 c #Conflicts: 173000 | #Constraints: 23768 251.19/251.82 c #Conflicts: 174000 | #Constraints: 24768 251.19/251.82 c #Conflicts: 175000 | #Constraints: 25768 251.19/251.82 c #Conflicts: 176000 | #Constraints: 26768 251.19/251.82 c #Conflicts: 177000 | #Constraints: 27768 251.19/251.82 c #Conflicts: 178000 | #Constraints: 28768 251.19/251.82 c #Conflicts: 179000 | #Constraints: 29768 251.19/251.82 c #Conflicts: 180000 | #Constraints: 30768 251.19/251.82 c #Conflicts: 181000 | #Constraints: 31768 251.19/251.82 c #Conflicts: 182000 | #Constraints: 32768 251.19/251.82 c #Conflicts: 183000 | #Constraints: 33768 251.19/251.82 c #Conflicts: 184000 | #Constraints: 34768 251.19/251.82 c #Conflicts: 185000 | #Constraints: 35768 251.19/251.82 c #Conflicts: 186000 | #Constraints: 36768 251.19/251.82 c #Conflicts: 187000 | #Constraints: 37768 251.19/251.82 c #Conflicts: 188000 | #Constraints: 38768 251.19/251.82 c #Conflicts: 189000 | #Constraints: 39768 251.19/251.82 c #Conflicts: 190000 | #Constraints: 40768 251.19/251.82 c #Conflicts: 191000 | #Constraints: 41768 251.19/251.82 c #Conflicts: 192000 | #Constraints: 42768 251.19/251.82 c #Conflicts: 193000 | #Constraints: 43768 251.19/251.82 c #Conflicts: 194000 | #Constraints: 44768 251.19/251.82 c #Conflicts: 195000 | #Constraints: 45768 251.19/251.82 c #Conflicts: 196000 | #Constraints: 46768 251.19/251.82 c #Conflicts: 197000 | #Constraints: 47768 251.19/251.82 c #Conflicts: 198000 | #Constraints: 48768 251.19/251.82 c #Conflicts: 199000 | #Constraints: 49768 251.19/251.82 c #Conflicts: 200000 | #Constraints: 50768 251.19/251.82 c #Conflicts: 201000 | #Constraints: 51768 251.19/251.82 c INPROCESSING 251.19/251.82 c GARBAGE COLLECT 251.19/251.82 c rational objective 82 295.88/296.61 c #Conflicts: 202000 | #Constraints: 29770 295.88/296.61 c #Conflicts: 203000 | #Constraints: 30770 295.88/296.61 c #Conflicts: 204000 | #Constraints: 31770 295.88/296.61 c #Conflicts: 205000 | #Constraints: 32770 295.88/296.61 c #Conflicts: 206000 | #Constraints: 33770 295.88/296.61 c #Conflicts: 207000 | #Constraints: 34770 295.88/296.61 c #Conflicts: 208000 | #Constraints: 35770 295.88/296.61 c #Conflicts: 209000 | #Constraints: 36771 295.88/296.61 c #Conflicts: 210000 | #Constraints: 37771 295.88/296.61 c INPROCESSING 295.88/296.61 c GARBAGE COLLECT 295.88/296.61 c #Conflicts: 211000 | #Constraints: 22508 295.88/296.61 c #Conflicts: 212000 | #Constraints: 23508 295.88/296.61 c #Conflicts: 213000 | #Constraints: 24508 295.88/296.61 c #Conflicts: 214000 | #Constraints: 25508 295.88/296.61 c #Conflicts: 215000 | #Constraints: 26508 295.88/296.61 c #Conflicts: 216000 | #Constraints: 27508 295.88/296.61 c #Conflicts: 217000 | #Constraints: 28508 295.88/296.61 c #Conflicts: 218000 | #Constraints: 29508 295.88/296.61 c #Conflicts: 219000 | #Constraints: 30508 295.88/296.61 c #Conflicts: 220000 | #Constraints: 31508 295.88/296.61 c INPROCESSING 295.88/296.61 c GARBAGE COLLECT 295.88/296.61 c rational objective 82 310.04/310.88 c #Conflicts: 221000 | #Constraints: 19521 310.04/310.88 c #Conflicts: 222000 | #Constraints: 20521 310.04/310.88 c #Conflicts: 223000 | #Constraints: 21522 310.04/310.88 c #Conflicts: 224000 | #Constraints: 22522 310.04/310.88 c #Conflicts: 225000 | #Constraints: 23522 310.04/310.88 c #Conflicts: 226000 | #Constraints: 24522 310.04/310.88 c #Conflicts: 227000 | #Constraints: 25522 310.04/310.88 c #Conflicts: 228000 | #Constraints: 26522 310.04/310.88 c #Conflicts: 229000 | #Constraints: 27522 310.04/310.88 c #Conflicts: 230000 | #Constraints: 28522 310.04/310.88 c INPROCESSING 310.04/310.88 c GARBAGE COLLECT 310.04/310.88 c rational objective 82 318.24/319.05 c #Conflicts: 231000 | #Constraints: 18117 318.24/319.05 c #Conflicts: 232000 | #Constraints: 19117 318.24/319.05 c #Conflicts: 233000 | #Constraints: 20117 318.24/319.05 c #Conflicts: 234000 | #Constraints: 21117 318.24/319.05 c #Conflicts: 235000 | #Constraints: 22117 318.24/319.05 c #Conflicts: 236000 | #Constraints: 23117 318.24/319.05 c #Conflicts: 237000 | #Constraints: 24117 318.24/319.05 c #Conflicts: 238000 | #Constraints: 25117 318.24/319.05 c #Conflicts: 239000 | #Constraints: 26117 318.24/319.05 c #Conflicts: 240000 | #Constraints: 27117 318.24/319.05 c INPROCESSING 318.24/319.05 c GARBAGE COLLECT 318.24/319.05 c rational objective 82 337.87/338.78 c #Conflicts: 241000 | #Constraints: 17362 337.87/338.78 c #Conflicts: 242000 | #Constraints: 18363 337.87/338.78 c #Conflicts: 243000 | #Constraints: 19363 337.87/338.78 c #Conflicts: 244000 | #Constraints: 20363 337.87/338.78 c #Conflicts: 245000 | #Constraints: 21363 337.87/338.78 c #Conflicts: 246000 | #Constraints: 22363 337.87/338.78 c #Conflicts: 247000 | #Constraints: 23363 337.87/338.78 c #Conflicts: 248000 | #Constraints: 24363 337.87/338.78 c #Conflicts: 249000 | #Constraints: 25363 337.87/338.78 c #Conflicts: 250000 | #Constraints: 26363 337.87/338.78 c INPROCESSING 337.87/338.78 c GARBAGE COLLECT 337.87/338.78 c rational objective 82 408.79/409.87 c #Conflicts: 251000 | #Constraints: 16816 408.79/409.87 c #Conflicts: 252000 | #Constraints: 17816 408.79/409.87 c #Conflicts: 253000 | #Constraints: 18816 408.79/409.87 c #Conflicts: 254000 | #Constraints: 19816 408.79/409.87 c #Conflicts: 255000 | #Constraints: 20817 408.79/409.87 c #Conflicts: 256000 | #Constraints: 21817 408.79/409.87 c #Conflicts: 257000 | #Constraints: 22817 408.79/409.87 c #Conflicts: 258000 | #Constraints: 23817 408.79/409.87 c #Conflicts: 259000 | #Constraints: 24817 408.79/409.87 c #Conflicts: 260000 | #Constraints: 25817 408.79/409.87 c #Conflicts: 261000 | #Constraints: 26818 408.79/409.87 c #Conflicts: 262000 | #Constraints: 27818 408.79/409.87 c #Conflicts: 263000 | #Constraints: 28818 408.79/409.87 c #Conflicts: 264000 | #Constraints: 29818 408.79/409.87 c #Conflicts: 265000 | #Constraints: 30818 408.79/409.87 c #Conflicts: 266000 | #Constraints: 31818 408.79/409.87 c #Conflicts: 267000 | #Constraints: 32819 408.79/409.87 c #Conflicts: 268000 | #Constraints: 33821 408.79/409.87 c #Conflicts: 269000 | #Constraints: 34822 408.79/409.87 c #Conflicts: 270000 | #Constraints: 35825 408.79/409.87 c #Conflicts: 271000 | #Constraints: 36825 408.79/409.87 c #Conflicts: 272000 | #Constraints: 37825 408.79/409.87 c #Conflicts: 273000 | #Constraints: 38825 408.79/409.87 c #Conflicts: 274000 | #Constraints: 39825 408.79/409.87 c #Conflicts: 275000 | #Constraints: 40825 408.79/409.87 c #Conflicts: 276000 | #Constraints: 41825 408.79/409.87 c #Conflicts: 277000 | #Constraints: 42825 408.79/409.87 c #Conflicts: 278000 | #Constraints: 43825 408.79/409.87 c #Conflicts: 279000 | #Constraints: 44825 408.79/409.87 c #Conflicts: 280000 | #Constraints: 45825 408.79/409.87 c #Conflicts: 281000 | #Constraints: 46825 408.79/409.87 c #Conflicts: 282000 | #Constraints: 47825 408.79/409.87 c #Conflicts: 283000 | #Constraints: 48825 408.79/409.87 c #Conflicts: 284000 | #Constraints: 49825 408.79/409.87 c #Conflicts: 285000 | #Constraints: 50825 408.79/409.87 c #Conflicts: 286000 | #Constraints: 51826 408.79/409.87 c #Conflicts: 287000 | #Constraints: 52826 408.79/409.87 c #Conflicts: 288000 | #Constraints: 53826 408.79/409.87 c #Conflicts: 289000 | #Constraints: 54826 408.79/409.87 c #Conflicts: 290000 | #Constraints: 55827 408.79/409.87 c #Conflicts: 291000 | #Constraints: 56827 408.79/409.87 c #Conflicts: 292000 | #Constraints: 57828 408.79/409.87 c #Conflicts: 293000 | #Constraints: 58828 408.79/409.87 c #Conflicts: 294000 | #Constraints: 59828 408.79/409.87 c #Conflicts: 295000 | #Constraints: 60828 408.79/409.87 c #Conflicts: 296000 | #Constraints: 61828 408.79/409.87 c INPROCESSING 408.79/409.87 c GARBAGE COLLECT 408.79/409.87 c rational objective 82 431.14/432.20 c #Conflicts: 297000 | #Constraints: 34796 431.14/432.20 c #Conflicts: 298000 | #Constraints: 35796 431.14/432.20 c #Conflicts: 299000 | #Constraints: 36796 431.14/432.20 c #Conflicts: 300000 | #Constraints: 37796 431.14/432.20 c #Conflicts: 301000 | #Constraints: 38796 431.14/432.20 c #Conflicts: 302000 | #Constraints: 39796 431.14/432.20 c #Conflicts: 303000 | #Constraints: 40796 431.14/432.20 c #Conflicts: 304000 | #Constraints: 41797 431.14/432.20 c #Conflicts: 305000 | #Constraints: 42797 431.14/432.20 c #Conflicts: 306000 | #Constraints: 43797 431.14/432.20 c #Conflicts: 307000 | #Constraints: 44797 431.14/432.20 c #Conflicts: 308000 | #Constraints: 45797 431.14/432.20 c INPROCESSING 431.14/432.20 c GARBAGE COLLECT 431.14/432.20 c rational objective 82 462.66/463.86 c #Conflicts: 309000 | #Constraints: 26975 462.66/463.86 c #Conflicts: 310000 | #Constraints: 27975 462.66/463.86 c #Conflicts: 311000 | #Constraints: 28976 462.66/463.86 c #Conflicts: 312000 | #Constraints: 29976 462.66/463.86 c #Conflicts: 313000 | #Constraints: 30976 462.66/463.86 c #Conflicts: 314000 | #Constraints: 31976 462.66/463.86 c #Conflicts: 315000 | #Constraints: 32976 462.66/463.86 c #Conflicts: 316000 | #Constraints: 33976 462.66/463.86 c #Conflicts: 317000 | #Constraints: 34976 462.66/463.86 c #Conflicts: 318000 | #Constraints: 35976 462.66/463.86 c #Conflicts: 319000 | #Constraints: 36976 462.66/463.86 c INPROCESSING 462.66/463.86 c GARBAGE COLLECT 462.66/463.86 c rational objective 82 479.42/480.62 c #Conflicts: 320000 | #Constraints: 22222 479.42/480.62 c #Conflicts: 321000 | #Constraints: 23222 479.42/480.62 c #Conflicts: 322000 | #Constraints: 24222 479.42/480.62 c #Conflicts: 323000 | #Constraints: 25222 479.42/480.62 c #Conflicts: 324000 | #Constraints: 26222 479.42/480.62 c #Conflicts: 325000 | #Constraints: 27223 479.42/480.62 c #Conflicts: 326000 | #Constraints: 28223 479.42/480.62 c #Conflicts: 327000 | #Constraints: 29223 479.42/480.62 c #Conflicts: 328000 | #Constraints: 30223 479.42/480.62 c #Conflicts: 329000 | #Constraints: 31223 479.42/480.62 c #Conflicts: 330000 | #Constraints: 32223 479.42/480.62 c #Conflicts: 331000 | #Constraints: 33223 479.42/480.62 c INPROCESSING 479.42/480.62 c GARBAGE COLLECT 479.42/480.62 c rational objective 82 494.09/495.32 c #Conflicts: 332000 | #Constraints: 20258 494.09/495.32 c #Conflicts: 333000 | #Constraints: 21259 494.09/495.32 c #Conflicts: 334000 | #Constraints: 22259 494.09/495.32 c #Conflicts: 335000 | #Constraints: 23259 494.09/495.32 c #Conflicts: 336000 | #Constraints: 24260 494.09/495.32 c #Conflicts: 337000 | #Constraints: 25261 494.09/495.32 c #Conflicts: 338000 | #Constraints: 26262 494.09/495.32 c #Conflicts: 339000 | #Constraints: 27262 494.09/495.32 c #Conflicts: 340000 | #Constraints: 28262 494.09/495.32 c #Conflicts: 341000 | #Constraints: 29262 494.09/495.32 c #Conflicts: 342000 | #Constraints: 30262 494.09/495.32 c #Conflicts: 343000 | #Constraints: 31262 494.09/495.32 c #Conflicts: 344000 | #Constraints: 32262 494.09/495.32 c INPROCESSING 494.09/495.32 c GARBAGE COLLECT 494.09/495.32 c rational objective 82 587.25/588.77 c #Conflicts: 345000 | #Constraints: 20202 587.25/588.77 c #Conflicts: 346000 | #Constraints: 21202 587.25/588.77 c #Conflicts: 347000 | #Constraints: 22202 587.25/588.77 c #Conflicts: 348000 | #Constraints: 23202 587.25/588.77 c #Conflicts: 349000 | #Constraints: 24203 587.25/588.77 c #Conflicts: 350000 | #Constraints: 25203 587.25/588.77 c #Conflicts: 351000 | #Constraints: 26203 587.25/588.77 c #Conflicts: 352000 | #Constraints: 27203 587.25/588.77 c #Conflicts: 353000 | #Constraints: 28203 587.25/588.77 c #Conflicts: 354000 | #Constraints: 29203 587.25/588.77 c #Conflicts: 355000 | #Constraints: 30203 587.25/588.77 c #Conflicts: 356000 | #Constraints: 31203 587.25/588.77 c #Conflicts: 357000 | #Constraints: 32203 587.25/588.77 c #Conflicts: 358000 | #Constraints: 33203 587.25/588.77 c #Conflicts: 359000 | #Constraints: 34203 587.25/588.77 c #Conflicts: 360000 | #Constraints: 35203 587.25/588.77 c #Conflicts: 361000 | #Constraints: 36204 587.25/588.77 c #Conflicts: 362000 | #Constraints: 37204 587.25/588.77 c #Conflicts: 363000 | #Constraints: 38204 587.25/588.77 c #Conflicts: 364000 | #Constraints: 39204 587.25/588.77 c #Conflicts: 365000 | #Constraints: 40204 587.25/588.77 c #Conflicts: 366000 | #Constraints: 41204 587.25/588.77 c #Conflicts: 367000 | #Constraints: 42204 587.25/588.77 c #Conflicts: 368000 | #Constraints: 43204 587.25/588.77 c #Conflicts: 369000 | #Constraints: 44204 587.25/588.77 c #Conflicts: 370000 | #Constraints: 45204 587.25/588.77 c #Conflicts: 371000 | #Constraints: 46204 587.25/588.77 c #Conflicts: 372000 | #Constraints: 47204 587.25/588.77 c #Conflicts: 373000 | #Constraints: 48204 587.25/588.77 c #Conflicts: 374000 | #Constraints: 49204 587.25/588.77 c #Conflicts: 375000 | #Constraints: 50204 587.25/588.77 c #Conflicts: 376000 | #Constraints: 51204 587.25/588.77 c #Conflicts: 377000 | #Constraints: 52204 587.25/588.77 c #Conflicts: 378000 | #Constraints: 53204 587.25/588.77 c #Conflicts: 379000 | #Constraints: 54204 587.25/588.77 c #Conflicts: 380000 | #Constraints: 55204 587.25/588.77 c #Conflicts: 381000 | #Constraints: 56204 587.25/588.77 c #Conflicts: 382000 | #Constraints: 57204 587.25/588.77 c #Conflicts: 383000 | #Constraints: 58204 587.25/588.77 c #Conflicts: 384000 | #Constraints: 59204 587.25/588.77 c #Conflicts: 385000 | #Constraints: 60204 587.25/588.77 c #Conflicts: 386000 | #Constraints: 61204 587.25/588.77 c #Conflicts: 387000 | #Constraints: 62204 587.25/588.77 c #Conflicts: 388000 | #Constraints: 63205 587.25/588.77 c #Conflicts: 389000 | #Constraints: 64205 587.25/588.77 c #Conflicts: 390000 | #Constraints: 65205 587.25/588.77 c #Conflicts: 391000 | #Constraints: 66205 587.25/588.77 c #Conflicts: 392000 | #Constraints: 67206 587.25/588.77 c #Conflicts: 393000 | #Constraints: 68206 587.25/588.77 c #Conflicts: 394000 | #Constraints: 69206 587.25/588.77 c #Conflicts: 395000 | #Constraints: 70207 587.25/588.77 c #Conflicts: 396000 | #Constraints: 71207 587.25/588.77 c INPROCESSING 587.25/588.77 c GARBAGE COLLECT 587.25/588.77 c rational objective 82 612.49/614.09 c #Conflicts: 397000 | #Constraints: 39718 612.49/614.09 c #Conflicts: 398000 | #Constraints: 40718 612.49/614.09 c #Conflicts: 399000 | #Constraints: 41718 612.49/614.09 c #Conflicts: 400000 | #Constraints: 42718 612.49/614.09 c #Conflicts: 401000 | #Constraints: 43718 612.49/614.09 c #Conflicts: 402000 | #Constraints: 44718 612.49/614.09 c #Conflicts: 403000 | #Constraints: 45718 612.49/614.09 c #Conflicts: 404000 | #Constraints: 46718 612.49/614.09 c #Conflicts: 405000 | #Constraints: 47719 612.49/614.09 c #Conflicts: 406000 | #Constraints: 48719 612.49/614.09 c #Conflicts: 407000 | #Constraints: 49719 612.49/614.09 c #Conflicts: 408000 | #Constraints: 50719 612.49/614.09 c #Conflicts: 409000 | #Constraints: 51719 612.49/614.09 c INPROCESSING 612.49/614.09 c GARBAGE COLLECT 612.49/614.09 c rational objective 82 636.53/638.19 c #Conflicts: 410000 | #Constraints: 29690 636.53/638.19 c #Conflicts: 411000 | #Constraints: 30690 636.53/638.19 c #Conflicts: 412000 | #Constraints: 31690 636.53/638.19 c #Conflicts: 413000 | #Constraints: 32690 636.53/638.19 c #Conflicts: 414000 | #Constraints: 33690 636.53/638.19 c #Conflicts: 415000 | #Constraints: 34690 636.53/638.19 c #Conflicts: 416000 | #Constraints: 35690 636.53/638.19 c #Conflicts: 417000 | #Constraints: 36690 636.53/638.19 c #Conflicts: 418000 | #Constraints: 37690 636.53/638.19 c #Conflicts: 419000 | #Constraints: 38690 636.53/638.19 c #Conflicts: 420000 | #Constraints: 39690 636.53/638.19 c #Conflicts: 421000 | #Constraints: 40690 636.53/638.19 c #Conflicts: 422000 | #Constraints: 41691 636.53/638.19 c #Conflicts: 423000 | #Constraints: 42691 636.53/638.19 c INPROCESSING 636.53/638.19 c GARBAGE COLLECT 636.53/638.19 c rational objective 82 655.48/657.14 c #Conflicts: 424000 | #Constraints: 25330 655.48/657.14 c #Conflicts: 425000 | #Constraints: 26330 655.48/657.14 c #Conflicts: 426000 | #Constraints: 27330 655.48/657.14 c #Conflicts: 427000 | #Constraints: 28330 655.48/657.14 c #Conflicts: 428000 | #Constraints: 29330 655.48/657.14 c #Conflicts: 429000 | #Constraints: 30330 655.48/657.14 c #Conflicts: 430000 | #Constraints: 31330 655.48/657.14 c #Conflicts: 431000 | #Constraints: 32330 655.48/657.14 c #Conflicts: 432000 | #Constraints: 33330 655.48/657.14 c #Conflicts: 433000 | #Constraints: 34330 655.48/657.14 c #Conflicts: 434000 | #Constraints: 35330 655.48/657.14 c #Conflicts: 435000 | #Constraints: 36330 655.48/657.14 c #Conflicts: 436000 | #Constraints: 37330 655.48/657.14 c #Conflicts: 437000 | #Constraints: 38330 655.48/657.14 c INPROCESSING 655.48/657.14 c GARBAGE COLLECT 655.48/657.14 c rational objective 82 677.43/679.15 c #Conflicts: 438000 | #Constraints: 23198 677.43/679.15 c #Conflicts: 439000 | #Constraints: 24198 677.43/679.15 c #Conflicts: 440000 | #Constraints: 25198 677.43/679.15 c #Conflicts: 441000 | #Constraints: 26198 677.43/679.15 c #Conflicts: 442000 | #Constraints: 27198 677.43/679.15 c #Conflicts: 443000 | #Constraints: 28199 677.43/679.15 c #Conflicts: 444000 | #Constraints: 29199 677.43/679.15 c #Conflicts: 445000 | #Constraints: 30199 677.43/679.15 c #Conflicts: 446000 | #Constraints: 31199 677.43/679.15 c #Conflicts: 447000 | #Constraints: 32199 677.43/679.15 c #Conflicts: 448000 | #Constraints: 33199 677.43/679.15 c #Conflicts: 449000 | #Constraints: 34199 677.43/679.15 c #Conflicts: 450000 | #Constraints: 35200 677.43/679.15 c #Conflicts: 451000 | #Constraints: 36201 677.43/679.15 c INPROCESSING 677.43/679.15 c GARBAGE COLLECT 677.43/679.15 c rational objective 82 785.65/787.61 c #Conflicts: 452000 | #Constraints: 22127 785.65/787.61 c #Conflicts: 453000 | #Constraints: 23127 785.65/787.61 c #Conflicts: 454000 | #Constraints: 24127 785.65/787.61 c #Conflicts: 455000 | #Constraints: 25127 785.65/787.61 c #Conflicts: 456000 | #Constraints: 26127 785.65/787.61 c #Conflicts: 457000 | #Constraints: 27127 785.65/787.61 c #Conflicts: 458000 | #Constraints: 28127 785.65/787.61 c #Conflicts: 459000 | #Constraints: 29127 785.65/787.61 c #Conflicts: 460000 | #Constraints: 30127 785.65/787.61 c #Conflicts: 461000 | #Constraints: 31127 785.65/787.61 c #Conflicts: 462000 | #Constraints: 32127 785.65/787.61 c #Conflicts: 463000 | #Constraints: 33127 785.65/787.61 c #Conflicts: 464000 | #Constraints: 34127 785.65/787.61 c #Conflicts: 465000 | #Constraints: 35127 785.65/787.61 c #Conflicts: 466000 | #Constraints: 36127 785.65/787.61 c #Conflicts: 467000 | #Constraints: 37127 785.65/787.61 c #Conflicts: 468000 | #Constraints: 38127 785.65/787.61 c #Conflicts: 469000 | #Constraints: 39128 785.65/787.61 c #Conflicts: 470000 | #Constraints: 40128 785.65/787.61 c #Conflicts: 471000 | #Constraints: 41128 785.65/787.61 c #Conflicts: 472000 | #Constraints: 42129 785.65/787.61 c #Conflicts: 473000 | #Constraints: 43129 785.65/787.61 c #Conflicts: 474000 | #Constraints: 44129 785.65/787.61 c #Conflicts: 475000 | #Constraints: 45130 785.65/787.61 c #Conflicts: 476000 | #Constraints: 46130 785.65/787.61 c #Conflicts: 477000 | #Constraints: 47130 785.65/787.61 c #Conflicts: 478000 | #Constraints: 48130 785.65/787.61 c #Conflicts: 479000 | #Constraints: 49130 785.65/787.61 c #Conflicts: 480000 | #Constraints: 50131 785.65/787.61 c #Conflicts: 481000 | #Constraints: 51136 785.65/787.61 c #Conflicts: 482000 | #Constraints: 52138 785.65/787.61 c #Conflicts: 483000 | #Constraints: 53139 785.65/787.61 c #Conflicts: 484000 | #Constraints: 54139 785.65/787.61 c #Conflicts: 485000 | #Constraints: 55139 785.65/787.61 c #Conflicts: 486000 | #Constraints: 56139 785.65/787.61 c #Conflicts: 487000 | #Constraints: 57139 785.65/787.61 c #Conflicts: 488000 | #Constraints: 58139 785.65/787.61 c #Conflicts: 489000 | #Constraints: 59139 785.65/787.61 c #Conflicts: 490000 | #Constraints: 60139 785.65/787.61 c #Conflicts: 491000 | #Constraints: 61139 785.65/787.61 c #Conflicts: 492000 | #Constraints: 62140 785.65/787.61 c #Conflicts: 493000 | #Constraints: 63140 785.65/787.61 c #Conflicts: 494000 | #Constraints: 64140 785.65/787.61 c #Conflicts: 495000 | #Constraints: 65140 785.65/787.61 c #Conflicts: 496000 | #Constraints: 66140 785.65/787.61 c #Conflicts: 497000 | #Constraints: 67140 785.65/787.61 c #Conflicts: 498000 | #Constraints: 68140 785.65/787.61 c #Conflicts: 499000 | #Constraints: 69140 785.65/787.61 c #Conflicts: 500000 | #Constraints: 70140 785.65/787.61 c #Conflicts: 501000 | #Constraints: 71140 785.65/787.61 c #Conflicts: 502000 | #Constraints: 72140 785.65/787.61 c #Conflicts: 503000 | #Constraints: 73141 785.65/787.61 c #Conflicts: 504000 | #Constraints: 74141 785.65/787.61 c #Conflicts: 505000 | #Constraints: 75141 785.65/787.61 c #Conflicts: 506000 | #Constraints: 76141 785.65/787.61 c #Conflicts: 507000 | #Constraints: 77141 785.65/787.61 c #Conflicts: 508000 | #Constraints: 78141 785.65/787.61 c #Conflicts: 509000 | #Constraints: 79141 785.65/787.61 c INPROCESSING 785.65/787.61 c GARBAGE COLLECT 785.65/787.61 c rational objective 82 808.89/810.98 c #Conflicts: 510000 | #Constraints: 43385 808.89/810.98 c #Conflicts: 511000 | #Constraints: 44385 808.89/810.98 c #Conflicts: 512000 | #Constraints: 45385 808.89/810.98 c #Conflicts: 513000 | #Constraints: 46385 808.89/810.98 c #Conflicts: 514000 | #Constraints: 47385 808.89/810.98 c #Conflicts: 515000 | #Constraints: 48385 808.89/810.98 c #Conflicts: 516000 | #Constraints: 49385 808.89/810.98 c #Conflicts: 517000 | #Constraints: 50385 808.89/810.98 c #Conflicts: 518000 | #Constraints: 51385 808.89/810.98 c #Conflicts: 519000 | #Constraints: 52385 808.89/810.98 c #Conflicts: 520000 | #Constraints: 53385 808.89/810.98 c #Conflicts: 521000 | #Constraints: 54385 808.89/810.98 c #Conflicts: 522000 | #Constraints: 55385 808.89/810.98 c #Conflicts: 523000 | #Constraints: 56385 808.89/810.98 c #Conflicts: 524000 | #Constraints: 57385 808.89/810.98 c #Conflicts: 525000 | #Constraints: 58386 808.89/810.98 c INPROCESSING 808.89/810.98 c GARBAGE COLLECT 808.89/810.98 c rational objective 82 834.33/836.46 c #Conflicts: 526000 | #Constraints: 33304 834.33/836.46 c #Conflicts: 527000 | #Constraints: 34304 834.33/836.46 c #Conflicts: 528000 | #Constraints: 35304 834.33/836.46 c #Conflicts: 529000 | #Constraints: 36304 834.33/836.46 c #Conflicts: 530000 | #Constraints: 37305 834.33/836.46 c #Conflicts: 531000 | #Constraints: 38305 834.33/836.46 c #Conflicts: 532000 | #Constraints: 39305 834.33/836.46 c #Conflicts: 533000 | #Constraints: 40305 834.33/836.46 c #Conflicts: 534000 | #Constraints: 41305 834.33/836.46 c #Conflicts: 535000 | #Constraints: 42305 834.33/836.46 c #Conflicts: 536000 | #Constraints: 43305 834.33/836.46 c #Conflicts: 537000 | #Constraints: 44305 834.33/836.46 c #Conflicts: 538000 | #Constraints: 45306 834.33/836.46 c #Conflicts: 539000 | #Constraints: 46306 834.33/836.46 c #Conflicts: 540000 | #Constraints: 47306 834.33/836.46 c INPROCESSING 834.33/836.46 c GARBAGE COLLECT 834.33/836.46 c rational objective 82 863.86/866.03 c #Conflicts: 541000 | #Constraints: 27496 863.86/866.03 c #Conflicts: 542000 | #Constraints: 28497 863.86/866.03 c #Conflicts: 543000 | #Constraints: 29497 863.86/866.03 c #Conflicts: 544000 | #Constraints: 30497 863.86/866.03 c #Conflicts: 545000 | #Constraints: 31497 863.86/866.03 c #Conflicts: 546000 | #Constraints: 32497 863.86/866.03 c #Conflicts: 547000 | #Constraints: 33498 863.86/866.03 c #Conflicts: 548000 | #Constraints: 34498 863.86/866.03 c #Conflicts: 549000 | #Constraints: 35498 863.86/866.03 c #Conflicts: 550000 | #Constraints: 36498 863.86/866.03 c #Conflicts: 551000 | #Constraints: 37498 863.86/866.03 c #Conflicts: 552000 | #Constraints: 38498 863.86/866.03 c #Conflicts: 553000 | #Constraints: 39498 863.86/866.03 c #Conflicts: 554000 | #Constraints: 40498 863.86/866.03 c #Conflicts: 555000 | #Constraints: 41498 863.86/866.03 c #Conflicts: 556000 | #Constraints: 42498 863.86/866.03 c INPROCESSING 863.86/866.03 c GARBAGE COLLECT 863.86/866.03 c rational objective 82 882.71/884.92 c #Conflicts: 557000 | #Constraints: 25162 882.71/884.92 c #Conflicts: 558000 | #Constraints: 26162 882.71/884.92 c #Conflicts: 559000 | #Constraints: 27162 882.71/884.92 c #Conflicts: 560000 | #Constraints: 28163 882.71/884.92 c #Conflicts: 561000 | #Constraints: 29163 882.71/884.92 c #Conflicts: 562000 | #Constraints: 30164 882.71/884.92 c #Conflicts: 563000 | #Constraints: 31164 882.71/884.92 c #Conflicts: 564000 | #Constraints: 32165 882.71/884.92 c #Conflicts: 565000 | #Constraints: 33166 882.71/884.92 c #Conflicts: 566000 | #Constraints: 34166 882.71/884.92 c #Conflicts: 567000 | #Constraints: 35166 882.71/884.92 c #Conflicts: 568000 | #Constraints: 36167 882.71/884.92 c #Conflicts: 569000 | #Constraints: 37167 882.71/884.92 c #Conflicts: 570000 | #Constraints: 38167 882.71/884.92 c #Conflicts: 571000 | #Constraints: 39167 882.71/884.92 c #Conflicts: 572000 | #Constraints: 40167 882.71/884.92 c INPROCESSING 882.71/884.92 c GARBAGE COLLECT 882.71/884.92 c rational objective 82 1002.41/1004.90 c #Conflicts: 573000 | #Constraints: 24042 1002.41/1004.90 c #Conflicts: 574000 | #Constraints: 25042 1002.41/1004.90 c #Conflicts: 575000 | #Constraints: 26042 1002.41/1004.90 c #Conflicts: 576000 | #Constraints: 27042 1002.41/1004.90 c #Conflicts: 577000 | #Constraints: 28042 1002.41/1004.90 c #Conflicts: 578000 | #Constraints: 29042 1002.41/1004.90 c #Conflicts: 579000 | #Constraints: 30043 1002.41/1004.90 c #Conflicts: 580000 | #Constraints: 31043 1002.41/1004.90 c #Conflicts: 581000 | #Constraints: 32044 1002.41/1004.90 c #Conflicts: 582000 | #Constraints: 33044 1002.41/1004.90 c #Conflicts: 583000 | #Constraints: 34044 1002.41/1004.90 c #Conflicts: 584000 | #Constraints: 35044 1002.41/1004.90 c #Conflicts: 585000 | #Constraints: 36044 1002.41/1004.90 c #Conflicts: 586000 | #Constraints: 37044 1002.41/1004.90 c #Conflicts: 587000 | #Constraints: 38044 1002.41/1004.90 c #Conflicts: 588000 | #Constraints: 39044 1002.41/1004.90 c #Conflicts: 589000 | #Constraints: 40044 1002.41/1004.90 c #Conflicts: 590000 | #Constraints: 41044 1002.41/1004.90 c #Conflicts: 591000 | #Constraints: 42044 1002.41/1004.90 c #Conflicts: 592000 | #Constraints: 43044 1002.41/1004.90 c #Conflicts: 593000 | #Constraints: 44044 1002.41/1004.90 c #Conflicts: 594000 | #Constraints: 45044 1002.41/1004.90 c #Conflicts: 595000 | #Constraints: 46044 1002.41/1004.90 c #Conflicts: 596000 | #Constraints: 47044 1002.41/1004.90 c #Conflicts: 597000 | #Constraints: 48044 1002.41/1004.90 c #Conflicts: 598000 | #Constraints: 49044 1002.41/1004.90 c #Conflicts: 599000 | #Constraints: 50044 1002.41/1004.90 c #Conflicts: 600000 | #Constraints: 51044 1002.41/1004.90 c #Conflicts: 601000 | #Constraints: 52045 1002.41/1004.90 c #Conflicts: 602000 | #Constraints: 53045 1002.41/1004.90 c #Conflicts: 603000 | #Constraints: 54045 1002.41/1004.90 c #Conflicts: 604000 | #Constraints: 55046 1002.41/1004.90 c #Conflicts: 605000 | #Constraints: 56046 1002.41/1004.90 c #Conflicts: 606000 | #Constraints: 57046 1002.41/1004.90 c #Conflicts: 607000 | #Constraints: 58046 1002.41/1004.90 c #Conflicts: 608000 | #Constraints: 59046 1002.41/1004.90 c #Conflicts: 609000 | #Constraints: 60046 1002.41/1004.90 c #Conflicts: 610000 | #Constraints: 61046 1002.41/1004.90 c #Conflicts: 611000 | #Constraints: 62046 1002.41/1004.90 c #Conflicts: 612000 | #Constraints: 63046 1002.41/1004.90 c #Conflicts: 613000 | #Constraints: 64047 1002.41/1004.90 c #Conflicts: 614000 | #Constraints: 65047 1002.41/1004.90 c #Conflicts: 615000 | #Constraints: 66047 1002.41/1004.90 c #Conflicts: 616000 | #Constraints: 67047 1002.41/1004.90 c #Conflicts: 617000 | #Constraints: 68047 1002.41/1004.90 c #Conflicts: 618000 | #Constraints: 69047 1002.41/1004.90 c #Conflicts: 619000 | #Constraints: 70047 1002.41/1004.90 c #Conflicts: 620000 | #Constraints: 71047 1002.41/1004.90 c #Conflicts: 621000 | #Constraints: 72047 1002.41/1004.90 c #Conflicts: 622000 | #Constraints: 73047 1002.41/1004.90 c #Conflicts: 623000 | #Constraints: 74047 1002.41/1004.90 c #Conflicts: 624000 | #Constraints: 75047 1002.41/1004.90 c #Conflicts: 625000 | #Constraints: 76047 1002.41/1004.90 c #Conflicts: 626000 | #Constraints: 77047 1002.41/1004.90 c #Conflicts: 627000 | #Constraints: 78047 1002.41/1004.90 c #Conflicts: 628000 | #Constraints: 79047 1002.41/1004.90 c #Conflicts: 629000 | #Constraints: 80047 1002.41/1004.90 c #Conflicts: 630000 | #Constraints: 81047 1002.41/1004.90 c #Conflicts: 631000 | #Constraints: 82048 1002.41/1004.90 c #Conflicts: 632000 | #Constraints: 83048 1002.41/1004.90 c #Conflicts: 633000 | #Constraints: 84048 1002.41/1004.90 c #Conflicts: 634000 | #Constraints: 85048 1002.41/1004.90 c #Conflicts: 635000 | #Constraints: 86048 1002.41/1004.90 c #Conflicts: 636000 | #Constraints: 87048 1002.41/1004.90 c #Conflicts: 637000 | #Constraints: 88048 1002.41/1004.90 c INPROCESSING 1002.41/1004.90 c GARBAGE COLLECT 1002.41/1004.90 c rational objective 82 1038.72/1041.37 c #Conflicts: 638000 | #Constraints: 48104 1038.72/1041.37 c #Conflicts: 639000 | #Constraints: 49105 1038.72/1041.37 c #Conflicts: 640000 | #Constraints: 50105 1038.72/1041.37 c #Conflicts: 641000 | #Constraints: 51105 1038.72/1041.37 c #Conflicts: 642000 | #Constraints: 52105 1038.72/1041.37 c #Conflicts: 643000 | #Constraints: 53105 1038.72/1041.37 c #Conflicts: 644000 | #Constraints: 54105 1038.72/1041.37 c #Conflicts: 645000 | #Constraints: 55106 1038.72/1041.37 c #Conflicts: 646000 | #Constraints: 56106 1038.72/1041.37 c #Conflicts: 647000 | #Constraints: 57106 1038.72/1041.37 c #Conflicts: 648000 | #Constraints: 58106 1038.72/1041.37 c #Conflicts: 649000 | #Constraints: 59106 1038.72/1041.37 c #Conflicts: 650000 | #Constraints: 60106 1038.72/1041.37 c #Conflicts: 651000 | #Constraints: 61106 1038.72/1041.37 c #Conflicts: 652000 | #Constraints: 62106 1038.72/1041.37 c #Conflicts: 653000 | #Constraints: 63106 1038.72/1041.37 c #Conflicts: 654000 | #Constraints: 64106 1038.72/1041.37 c INPROCESSING 1038.72/1041.37 c GARBAGE COLLECT 1038.72/1041.37 c rational objective 82 1076.82/1079.53 c #Conflicts: 655000 | #Constraints: 35949 1076.82/1079.53 c #Conflicts: 656000 | #Constraints: 36950 1076.82/1079.53 c #Conflicts: 657000 | #Constraints: 37950 1076.82/1079.53 c #Conflicts: 658000 | #Constraints: 38951 1076.82/1079.53 c #Conflicts: 659000 | #Constraints: 39951 1076.82/1079.53 c #Conflicts: 660000 | #Constraints: 40951 1076.82/1079.53 c #Conflicts: 661000 | #Constraints: 41951 1076.82/1079.53 c #Conflicts: 662000 | #Constraints: 42951 1076.82/1079.53 c #Conflicts: 663000 | #Constraints: 43951 1076.82/1079.53 c #Conflicts: 664000 | #Constraints: 44951 1076.82/1079.53 c #Conflicts: 665000 | #Constraints: 45951 1076.82/1079.53 c #Conflicts: 666000 | #Constraints: 46951 1076.82/1079.53 c #Conflicts: 667000 | #Constraints: 47951 1076.82/1079.53 c #Conflicts: 668000 | #Constraints: 48951 1076.82/1079.53 c #Conflicts: 669000 | #Constraints: 49951 1076.82/1079.53 c #Conflicts: 670000 | #Constraints: 50951 1076.82/1079.53 c #Conflicts: 671000 | #Constraints: 51952 1076.82/1079.53 c #Conflicts: 672000 | #Constraints: 52952 1076.82/1079.53 c INPROCESSING 1076.82/1079.53 c GARBAGE COLLECT 1076.82/1079.53 c rational objective 82 1113.64/1116.44 c #Conflicts: 673000 | #Constraints: 30678 1113.64/1116.44 c #Conflicts: 674000 | #Constraints: 31678 1113.64/1116.44 c #Conflicts: 675000 | #Constraints: 32679 1113.64/1116.44 c #Conflicts: 676000 | #Constraints: 33679 1113.64/1116.44 c #Conflicts: 677000 | #Constraints: 34679 1113.64/1116.44 c #Conflicts: 678000 | #Constraints: 35679 1113.64/1116.44 c #Conflicts: 679000 | #Constraints: 36679 1113.64/1116.44 c #Conflicts: 680000 | #Constraints: 37679 1113.64/1116.44 c #Conflicts: 681000 | #Constraints: 38679 1113.64/1116.44 c #Conflicts: 682000 | #Constraints: 39679 1113.64/1116.44 c #Conflicts: 683000 | #Constraints: 40679 1113.64/1116.44 c #Conflicts: 684000 | #Constraints: 41679 1113.64/1116.44 c #Conflicts: 685000 | #Constraints: 42679 1113.64/1116.44 c #Conflicts: 686000 | #Constraints: 43679 1113.64/1116.44 c #Conflicts: 687000 | #Constraints: 44679 1113.64/1116.44 c #Conflicts: 688000 | #Constraints: 45680 1113.64/1116.44 c #Conflicts: 689000 | #Constraints: 46680 1113.64/1116.44 c INPROCESSING 1113.64/1116.44 c GARBAGE COLLECT 1113.64/1116.44 c rational objective 82 1140.77/1143.65 c #Conflicts: 690000 | #Constraints: 27144 1140.77/1143.65 c #Conflicts: 691000 | #Constraints: 28144 1140.77/1143.65 c #Conflicts: 692000 | #Constraints: 29144 1140.77/1143.65 c #Conflicts: 693000 | #Constraints: 30144 1140.77/1143.65 c #Conflicts: 694000 | #Constraints: 31144 1140.77/1143.65 c #Conflicts: 695000 | #Constraints: 32144 1140.77/1143.65 c #Conflicts: 696000 | #Constraints: 33144 1140.77/1143.65 c #Conflicts: 697000 | #Constraints: 34144 1140.77/1143.65 c #Conflicts: 698000 | #Constraints: 35144 1140.77/1143.65 c #Conflicts: 699000 | #Constraints: 36144 1140.77/1143.65 c #Conflicts: 700000 | #Constraints: 37144 1140.77/1143.65 c #Conflicts: 701000 | #Constraints: 38144 1140.77/1143.65 c #Conflicts: 702000 | #Constraints: 39144 1140.77/1143.65 c #Conflicts: 703000 | #Constraints: 40144 1140.77/1143.65 c #Conflicts: 704000 | #Constraints: 41144 1140.77/1143.65 c #Conflicts: 705000 | #Constraints: 42144 1140.77/1143.65 c #Conflicts: 706000 | #Constraints: 43144 1140.77/1143.65 c #Conflicts: 707000 | #Constraints: 44144 1140.77/1143.65 c INPROCESSING 1140.77/1143.65 c GARBAGE COLLECT 1140.77/1143.65 c rational objective 82 1303.16/1306.46 c #Conflicts: 708000 | #Constraints: 25933 1303.16/1306.46 c #Conflicts: 709000 | #Constraints: 26933 1303.16/1306.46 c #Conflicts: 710000 | #Constraints: 27933 1303.16/1306.46 c #Conflicts: 711000 | #Constraints: 28934 1303.16/1306.46 c #Conflicts: 712000 | #Constraints: 29934 1303.16/1306.46 c #Conflicts: 713000 | #Constraints: 30934 1303.16/1306.46 c #Conflicts: 714000 | #Constraints: 31934 1303.16/1306.46 c #Conflicts: 715000 | #Constraints: 32934 1303.16/1306.46 c #Conflicts: 716000 | #Constraints: 33934 1303.16/1306.46 c #Conflicts: 717000 | #Constraints: 34934 1303.16/1306.46 c #Conflicts: 718000 | #Constraints: 35934 1303.16/1306.46 c #Conflicts: 719000 | #Constraints: 36934 1303.16/1306.46 c #Conflicts: 720000 | #Constraints: 37935 1303.16/1306.46 c #Conflicts: 721000 | #Constraints: 38935 1303.16/1306.46 c #Conflicts: 722000 | #Constraints: 39935 1303.16/1306.46 c #Conflicts: 723000 | #Constraints: 40935 1303.16/1306.46 c #Conflicts: 724000 | #Constraints: 41935 1303.16/1306.46 c #Conflicts: 725000 | #Constraints: 42935 1303.16/1306.46 c #Conflicts: 726000 | #Constraints: 43935 1303.16/1306.46 c #Conflicts: 727000 | #Constraints: 44935 1303.16/1306.46 c #Conflicts: 728000 | #Constraints: 45935 1303.16/1306.46 c #Conflicts: 729000 | #Constraints: 46935 1303.16/1306.46 c #Conflicts: 730000 | #Constraints: 47935 1303.16/1306.46 c #Conflicts: 731000 | #Constraints: 48935 1303.16/1306.46 c #Conflicts: 732000 | #Constraints: 49935 1303.16/1306.46 c #Conflicts: 733000 | #Constraints: 50935 1303.16/1306.46 c #Conflicts: 734000 | #Constraints: 51935 1303.16/1306.46 c #Conflicts: 735000 | #Constraints: 52935 1303.16/1306.46 c #Conflicts: 736000 | #Constraints: 53935 1303.16/1306.46 c #Conflicts: 737000 | #Constraints: 54936 1303.16/1306.46 c #Conflicts: 738000 | #Constraints: 55936 1303.16/1306.46 c #Conflicts: 739000 | #Constraints: 56936 1303.16/1306.46 c #Conflicts: 740000 | #Constraints: 57936 1303.16/1306.46 c #Conflicts: 741000 | #Constraints: 58936 1303.16/1306.46 c #Conflicts: 742000 | #Constraints: 59936 1303.16/1306.46 c #Conflicts: 743000 | #Constraints: 60936 1303.16/1306.46 c #Conflicts: 744000 | #Constraints: 61936 1303.16/1306.46 c #Conflicts: 745000 | #Constraints: 62936 1303.16/1306.46 c #Conflicts: 746000 | #Constraints: 63936 1303.16/1306.46 c #Conflicts: 747000 | #Constraints: 64936 1303.16/1306.46 c #Conflicts: 748000 | #Constraints: 65936 1303.16/1306.46 c #Conflicts: 749000 | #Constraints: 66936 1303.16/1306.46 c #Conflicts: 750000 | #Constraints: 67936 1303.16/1306.46 c #Conflicts: 751000 | #Constraints: 68936 1303.16/1306.46 c #Conflicts: 752000 | #Constraints: 69936 1303.16/1306.46 c #Conflicts: 753000 | #Constraints: 70936 1303.16/1306.46 c #Conflicts: 754000 | #Constraints: 71936 1303.16/1306.46 c #Conflicts: 755000 | #Constraints: 72936 1303.16/1306.46 c #Conflicts: 756000 | #Constraints: 73936 1303.16/1306.46 c #Conflicts: 757000 | #Constraints: 74936 1303.16/1306.46 c #Conflicts: 758000 | #Constraints: 75936 1303.16/1306.46 c #Conflicts: 759000 | #Constraints: 76936 1303.16/1306.46 c #Conflicts: 760000 | #Constraints: 77936 1303.16/1306.46 c #Conflicts: 761000 | #Constraints: 78936 1303.16/1306.46 c #Conflicts: 762000 | #Constraints: 79936 1303.16/1306.46 c #Conflicts: 763000 | #Constraints: 80937 1303.16/1306.46 c #Conflicts: 764000 | #Constraints: 81937 1303.16/1306.46 c #Conflicts: 765000 | #Constraints: 82937 1303.16/1306.46 c #Conflicts: 766000 | #Constraints: 83937 1303.16/1306.46 c #Conflicts: 767000 | #Constraints: 84937 1303.16/1306.46 c #Conflicts: 768000 | #Constraints: 85937 1303.16/1306.46 c #Conflicts: 769000 | #Constraints: 86937 1303.16/1306.46 c #Conflicts: 770000 | #Constraints: 87937 1303.16/1306.46 c #Conflicts: 771000 | #Constraints: 88937 1303.16/1306.46 c #Conflicts: 772000 | #Constraints: 89937 1303.16/1306.46 c #Conflicts: 773000 | #Constraints: 90937 1303.16/1306.46 c #Conflicts: 774000 | #Constraints: 91937 1303.16/1306.46 c #Conflicts: 775000 | #Constraints: 92937 1303.16/1306.46 c #Conflicts: 776000 | #Constraints: 93937 1303.16/1306.46 c #Conflicts: 777000 | #Constraints: 94937 1303.16/1306.46 c #Conflicts: 778000 | #Constraints: 95937 1303.16/1306.46 c INPROCESSING 1303.16/1306.46 c GARBAGE COLLECT 1303.16/1306.46 c rational objective 82 1349.24/1352.67 c #Conflicts: 779000 | #Constraints: 51762 1349.24/1352.67 c #Conflicts: 780000 | #Constraints: 52762 1349.24/1352.67 c #Conflicts: 781000 | #Constraints: 53762 1349.24/1352.67 c #Conflicts: 782000 | #Constraints: 54762 1349.24/1352.67 c #Conflicts: 783000 | #Constraints: 55762 1349.24/1352.67 c #Conflicts: 784000 | #Constraints: 56763 1349.24/1352.67 c #Conflicts: 785000 | #Constraints: 57763 1349.24/1352.67 c #Conflicts: 786000 | #Constraints: 58763 1349.24/1352.67 c #Conflicts: 787000 | #Constraints: 59763 1349.24/1352.67 c #Conflicts: 788000 | #Constraints: 60763 1349.24/1352.67 c #Conflicts: 789000 | #Constraints: 61763 1349.24/1352.67 c #Conflicts: 790000 | #Constraints: 62763 1349.24/1352.67 c #Conflicts: 791000 | #Constraints: 63763 1349.24/1352.67 c #Conflicts: 792000 | #Constraints: 64763 1349.24/1352.67 c #Conflicts: 793000 | #Constraints: 65763 1349.24/1352.67 c #Conflicts: 794000 | #Constraints: 66763 1349.24/1352.67 c #Conflicts: 795000 | #Constraints: 67763 1349.24/1352.67 c #Conflicts: 796000 | #Constraints: 68764 1349.24/1352.67 c #Conflicts: 797000 | #Constraints: 69764 1349.24/1352.67 c #Conflicts: 798000 | #Constraints: 70764 1349.24/1352.67 c INPROCESSING 1349.24/1352.67 c GARBAGE COLLECT 1349.24/1352.67 c rational objective 82 1403.21/1406.70 c #Conflicts: 799000 | #Constraints: 39609 1403.21/1406.70 c #Conflicts: 800000 | #Constraints: 40609 1403.21/1406.70 c #Conflicts: 801000 | #Constraints: 41609 1403.21/1406.70 c #Conflicts: 802000 | #Constraints: 42609 1403.21/1406.70 c #Conflicts: 803000 | #Constraints: 43609 1403.21/1406.70 c #Conflicts: 804000 | #Constraints: 44609 1403.21/1406.70 c #Conflicts: 805000 | #Constraints: 45609 1403.21/1406.70 c #Conflicts: 806000 | #Constraints: 46610 1403.21/1406.70 c #Conflicts: 807000 | #Constraints: 47610 1403.21/1406.70 c #Conflicts: 808000 | #Constraints: 48610 1403.21/1406.70 c #Conflicts: 809000 | #Constraints: 49610 1403.21/1406.70 c #Conflicts: 810000 | #Constraints: 50610 1403.21/1406.70 c #Conflicts: 811000 | #Constraints: 51610 1403.21/1406.70 c #Conflicts: 812000 | #Constraints: 52610 1403.21/1406.70 c #Conflicts: 813000 | #Constraints: 53610 1403.21/1406.70 c #Conflicts: 814000 | #Constraints: 54610 1403.21/1406.70 c #Conflicts: 815000 | #Constraints: 55610 1403.21/1406.70 c #Conflicts: 816000 | #Constraints: 56610 1403.21/1406.70 c #Conflicts: 817000 | #Constraints: 57610 1403.21/1406.70 c INPROCESSING 1403.21/1406.70 c GARBAGE COLLECT 1403.21/1406.70 c rational objective 82 1435.83/1439.41 c #Conflicts: 818000 | #Constraints: 32852 1435.83/1439.41 c #Conflicts: 819000 | #Constraints: 33852 1435.83/1439.41 c #Conflicts: 820000 | #Constraints: 34852 1435.83/1439.41 c #Conflicts: 821000 | #Constraints: 35852 1435.83/1439.41 c #Conflicts: 822000 | #Constraints: 36852 1435.83/1439.41 c #Conflicts: 823000 | #Constraints: 37852 1435.83/1439.41 c #Conflicts: 824000 | #Constraints: 38852 1435.83/1439.41 c #Conflicts: 825000 | #Constraints: 39852 1435.83/1439.41 c #Conflicts: 826000 | #Constraints: 40852 1435.83/1439.41 c #Conflicts: 827000 | #Constraints: 41852 1435.83/1439.41 c #Conflicts: 828000 | #Constraints: 42853 1435.83/1439.41 c #Conflicts: 829000 | #Constraints: 43853 1435.83/1439.41 c #Conflicts: 830000 | #Constraints: 44853 1435.83/1439.41 c #Conflicts: 831000 | #Constraints: 45854 1435.83/1439.41 c #Conflicts: 832000 | #Constraints: 46854 1435.83/1439.41 c #Conflicts: 833000 | #Constraints: 47854 1435.83/1439.41 c #Conflicts: 834000 | #Constraints: 48855 1435.83/1439.41 c #Conflicts: 835000 | #Constraints: 49855 1435.83/1439.41 c #Conflicts: 836000 | #Constraints: 50855 1435.83/1439.41 c #Conflicts: 837000 | #Constraints: 51855 1435.83/1439.41 c INPROCESSING 1435.83/1439.41 c GARBAGE COLLECT 1435.83/1439.41 c rational objective 82 1461.96/1465.60 c #Conflicts: 838000 | #Constraints: 30146 1461.96/1465.60 c #Conflicts: 839000 | #Constraints: 31146 1461.96/1465.60 c #Conflicts: 840000 | #Constraints: 32146 1461.96/1465.60 c #Conflicts: 841000 | #Constraints: 33146 1461.96/1465.60 c #Conflicts: 842000 | #Constraints: 34146 1461.96/1465.60 c #Conflicts: 843000 | #Constraints: 35146 1461.96/1465.60 c #Conflicts: 844000 | #Constraints: 36146 1461.96/1465.60 c #Conflicts: 845000 | #Constraints: 37146 1461.96/1465.60 c #Conflicts: 846000 | #Constraints: 38146 1461.96/1465.60 c #Conflicts: 847000 | #Constraints: 39146 1461.96/1465.60 c #Conflicts: 848000 | #Constraints: 40147 1461.96/1465.60 c #Conflicts: 849000 | #Constraints: 41147 1461.96/1465.60 c #Conflicts: 850000 | #Constraints: 42147 1461.96/1465.60 c #Conflicts: 851000 | #Constraints: 43148 1461.96/1465.60 c #Conflicts: 852000 | #Constraints: 44148 1461.96/1465.60 c #Conflicts: 853000 | #Constraints: 45148 1461.96/1465.60 c #Conflicts: 854000 | #Constraints: 46148 1461.96/1465.60 c #Conflicts: 855000 | #Constraints: 47149 1461.96/1465.60 c #Conflicts: 856000 | #Constraints: 48149 1461.96/1465.60 c INPROCESSING 1461.96/1465.60 c GARBAGE COLLECT 1461.96/1465.60 c rational objective 82 1651.09/1655.29 c #Conflicts: 857000 | #Constraints: 27871 1651.09/1655.29 c #Conflicts: 858000 | #Constraints: 28871 1651.09/1655.29 c #Conflicts: 859000 | #Constraints: 29871 1651.09/1655.29 c #Conflicts: 860000 | #Constraints: 30871 1651.09/1655.29 c #Conflicts: 861000 | #Constraints: 31872 1651.09/1655.29 c #Conflicts: 862000 | #Constraints: 32872 1651.09/1655.29 c #Conflicts: 863000 | #Constraints: 33872 1651.09/1655.29 c #Conflicts: 864000 | #Constraints: 34872 1651.09/1655.29 c #Conflicts: 865000 | #Constraints: 35872 1651.09/1655.29 c #Conflicts: 866000 | #Constraints: 36872 1651.09/1655.29 c #Conflicts: 867000 | #Constraints: 37872 1651.09/1655.29 c #Conflicts: 868000 | #Constraints: 38872 1651.09/1655.29 c #Conflicts: 869000 | #Constraints: 39872 1651.09/1655.29 c #Conflicts: 870000 | #Constraints: 40872 1651.09/1655.29 c #Conflicts: 871000 | #Constraints: 41872 1651.09/1655.29 c #Conflicts: 872000 | #Constraints: 42873 1651.09/1655.29 c #Conflicts: 873000 | #Constraints: 43873 1651.09/1655.29 c #Conflicts: 874000 | #Constraints: 44873 1651.09/1655.29 c #Conflicts: 875000 | #Constraints: 45873 1651.09/1655.29 c #Conflicts: 876000 | #Constraints: 46873 1651.09/1655.29 c #Conflicts: 877000 | #Constraints: 47873 1651.09/1655.29 c #Conflicts: 878000 | #Constraints: 48873 1651.09/1655.29 c #Conflicts: 879000 | #Constraints: 49873 1651.09/1655.29 c #Conflicts: 880000 | #Constraints: 50873 1651.09/1655.29 c #Conflicts: 881000 | #Constraints: 51873 1651.09/1655.29 c #Conflicts: 882000 | #Constraints: 52873 1651.09/1655.29 c #Conflicts: 883000 | #Constraints: 53873 1651.09/1655.29 c #Conflicts: 884000 | #Constraints: 54873 1651.09/1655.29 c #Conflicts: 885000 | #Constraints: 55874 1651.09/1655.29 c #Conflicts: 886000 | #Constraints: 56874 1651.09/1655.29 c #Conflicts: 887000 | #Constraints: 57874 1651.09/1655.29 c #Conflicts: 888000 | #Constraints: 58874 1651.09/1655.29 c #Conflicts: 889000 | #Constraints: 59874 1651.09/1655.29 c #Conflicts: 890000 | #Constraints: 60874 1651.09/1655.29 c #Conflicts: 891000 | #Constraints: 61874 1651.09/1655.29 c #Conflicts: 892000 | #Constraints: 62874 1651.09/1655.29 c #Conflicts: 893000 | #Constraints: 63874 1651.09/1655.29 c #Conflicts: 894000 | #Constraints: 64874 1651.09/1655.29 c #Conflicts: 895000 | #Constraints: 65874 1651.09/1655.29 c #Conflicts: 896000 | #Constraints: 66874 1651.09/1655.29 c #Conflicts: 897000 | #Constraints: 67874 1651.09/1655.29 c #Conflicts: 898000 | #Constraints: 68875 1651.09/1655.29 c #Conflicts: 899000 | #Constraints: 69875 1651.09/1655.29 c #Conflicts: 900000 | #Constraints: 70875 1651.09/1655.29 c #Conflicts: 901000 | #Constraints: 71875 1651.09/1655.29 c #Conflicts: 902000 | #Constraints: 72875 1651.09/1655.29 c #Conflicts: 903000 | #Constraints: 73875 1651.09/1655.29 c #Conflicts: 904000 | #Constraints: 74875 1651.09/1655.29 c #Conflicts: 905000 | #Constraints: 75875 1651.09/1655.29 c #Conflicts: 906000 | #Constraints: 76875 1651.09/1655.29 c #Conflicts: 907000 | #Constraints: 77875 1651.09/1655.29 c #Conflicts: 908000 | #Constraints: 78875 1651.09/1655.29 c #Conflicts: 909000 | #Constraints: 79875 1651.09/1655.29 c #Conflicts: 910000 | #Constraints: 80875 1651.09/1655.29 c #Conflicts: 911000 | #Constraints: 81875 1651.09/1655.29 c #Conflicts: 912000 | #Constraints: 82875 1651.09/1655.29 c #Conflicts: 913000 | #Constraints: 83875 1651.09/1655.29 c #Conflicts: 914000 | #Constraints: 84875 1651.09/1655.29 c #Conflicts: 915000 | #Constraints: 85875 1651.09/1655.29 c #Conflicts: 916000 | #Constraints: 86875 1651.09/1655.29 c #Conflicts: 917000 | #Constraints: 87875 1651.09/1655.29 c #Conflicts: 918000 | #Constraints: 88875 1651.09/1655.29 c #Conflicts: 919000 | #Constraints: 89875 1651.09/1655.29 c #Conflicts: 920000 | #Constraints: 90875 1651.09/1655.29 c #Conflicts: 921000 | #Constraints: 91875 1651.09/1655.29 c #Conflicts: 922000 | #Constraints: 92875 1651.09/1655.29 c #Conflicts: 923000 | #Constraints: 93875 1651.09/1655.29 c #Conflicts: 924000 | #Constraints: 94875 1651.09/1655.29 c #Conflicts: 925000 | #Constraints: 95875 1651.09/1655.29 c #Conflicts: 926000 | #Constraints: 96875 1651.09/1655.29 c #Conflicts: 927000 | #Constraints: 97875 1651.09/1655.29 c #Conflicts: 928000 | #Constraints: 98875 1651.09/1655.29 c #Conflicts: 929000 | #Constraints: 99875 1651.09/1655.29 c #Conflicts: 930000 | #Constraints: 100875 1651.09/1655.29 c #Conflicts: 931000 | #Constraints: 101875 1651.09/1655.29 c #Conflicts: 932000 | #Constraints: 102875 1651.09/1655.29 c #Conflicts: 933000 | #Constraints: 103875 1651.09/1655.29 c #Conflicts: 934000 | #Constraints: 104875 1651.09/1655.29 c INPROCESSING 1651.09/1655.29 c GARBAGE COLLECT 1651.09/1655.29 c rational objective 82 1700.88/1705.19 c #Conflicts: 935000 | #Constraints: 56500 1700.88/1705.19 c #Conflicts: 936000 | #Constraints: 57500 1700.88/1705.19 c #Conflicts: 937000 | #Constraints: 58500 1700.88/1705.19 c #Conflicts: 938000 | #Constraints: 59500 1700.88/1705.19 c #Conflicts: 939000 | #Constraints: 60501 1700.88/1705.19 c #Conflicts: 940000 | #Constraints: 61501 1700.88/1705.19 c #Conflicts: 941000 | #Constraints: 62501 1700.88/1705.19 c #Conflicts: 942000 | #Constraints: 63501 1700.88/1705.19 c #Conflicts: 943000 | #Constraints: 64501 1700.88/1705.19 c #Conflicts: 944000 | #Constraints: 65501 1700.88/1705.19 c #Conflicts: 945000 | #Constraints: 66501 1700.88/1705.19 c #Conflicts: 946000 | #Constraints: 67501 1700.88/1705.19 c #Conflicts: 947000 | #Constraints: 68501 1700.88/1705.19 c #Conflicts: 948000 | #Constraints: 69502 1700.88/1705.19 c #Conflicts: 949000 | #Constraints: 70502 1700.88/1705.19 c #Conflicts: 950000 | #Constraints: 71503 1700.88/1705.19 c #Conflicts: 951000 | #Constraints: 72503 1700.88/1705.19 c #Conflicts: 952000 | #Constraints: 73503 1700.88/1705.19 c #Conflicts: 953000 | #Constraints: 74503 1700.88/1705.19 c #Conflicts: 954000 | #Constraints: 75503 1700.88/1705.19 c #Conflicts: 955000 | #Constraints: 76503 1700.88/1705.19 c INPROCESSING 1700.88/1705.19 c GARBAGE COLLECT 1700.88/1705.19 c rational objective 82 1748.06/1752.44 c #Conflicts: 956000 | #Constraints: 42233 1748.06/1752.44 c #Conflicts: 957000 | #Constraints: 43233 1748.06/1752.44 c #Conflicts: 958000 | #Constraints: 44233 1748.06/1752.44 c #Conflicts: 959000 | #Constraints: 45233 1748.06/1752.44 c #Conflicts: 960000 | #Constraints: 46233 1748.06/1752.44 c #Conflicts: 961000 | #Constraints: 47233 1748.06/1752.44 c #Conflicts: 962000 | #Constraints: 48233 1748.06/1752.44 c #Conflicts: 963000 | #Constraints: 49233 1748.06/1752.44 c #Conflicts: 964000 | #Constraints: 50234 1748.06/1752.44 c #Conflicts: 965000 | #Constraints: 51234 1748.06/1752.44 c #Conflicts: 966000 | #Constraints: 52234 1748.06/1752.44 c #Conflicts: 967000 | #Constraints: 53234 1748.06/1752.44 c #Conflicts: 968000 | #Constraints: 54234 1748.06/1752.44 c #Conflicts: 969000 | #Constraints: 55234 1748.06/1752.44 c #Conflicts: 970000 | #Constraints: 56234 1748.06/1752.44 c #Conflicts: 971000 | #Constraints: 57234 1748.06/1752.44 c #Conflicts: 972000 | #Constraints: 58234 1748.06/1752.44 c #Conflicts: 973000 | #Constraints: 59234 1748.06/1752.44 c #Conflicts: 974000 | #Constraints: 60234 1748.06/1752.44 c #Conflicts: 975000 | #Constraints: 61235 1748.06/1752.44 c #Conflicts: 976000 | #Constraints: 62235 1748.06/1752.44 c INPROCESSING 1748.06/1752.44 c GARBAGE COLLECT 1748.06/1752.44 c rational objective 82 1790.96/1795.45 c #Conflicts: 977000 | #Constraints: 34880 1790.96/1795.45 c #Conflicts: 978000 | #Constraints: 35880 1790.96/1795.45 c #Conflicts: 979000 | #Constraints: 36880 1790.96/1795.45 c #Conflicts: 980000 | #Constraints: 37880 1790.96/1795.45 c #Conflicts: 981000 | #Constraints: 38880 1790.96/1795.45 c #Conflicts: 982000 | #Constraints: 39880 1790.96/1795.45 c #Conflicts: 983000 | #Constraints: 40880 1790.96/1795.45 c #Conflicts: 984000 | #Constraints: 41881 1790.96/1795.45 c #Conflicts: 985000 | #Constraints: 42882 1790.96/1795.45 c #Conflicts: 986000 | #Constraints: 43882 1790.96/1795.45 c #Conflicts: 987000 | #Constraints: 44882 1790.96/1795.45 c #Conflicts: 988000 | #Constraints: 45882 1790.96/1795.45 c #Conflicts: 989000 | #Constraints: 46882 1790.96/1795.45 c #Conflicts: 990000 | #Constraints: 47883 1790.96/1795.45 c #Conflicts: 991000 | #Constraints: 48885 1790.96/1795.45 c #Conflicts: 992000 | #Constraints: 49885 1790.96/1795.45 c #Conflicts: 993000 | #Constraints: 50885 1790.96/1795.45 c #Conflicts: 994000 | #Constraints: 51886 1790.96/1795.45 c #Conflicts: 995000 | #Constraints: 52886 1790.96/1795.45 c #Conflicts: 996000 | #Constraints: 53886 1790.96/1795.45 c #Conflicts: 997000 | #Constraints: 54886 1790.96/1795.45 c #Conflicts: 998000 | #Constraints: 55886 1790.96/1795.45 c INPROCESSING 1790.96/1795.45 c GARBAGE COLLECT 1790.96/1795.45 c rational objective 82 1821.40/1825.97 c #Conflicts: 999000 | #Constraints: 32000 1821.40/1825.97 c #Conflicts: 1000000 | #Constraints: 33001 1821.40/1825.97 c #Conflicts: 1001000 | #Constraints: 34001 1821.40/1825.97 c #Conflicts: 1002000 | #Constraints: 35001 1821.40/1825.97 c #Conflicts: 1003000 | #Constraints: 36002 1821.40/1825.97 c #Conflicts: 1004000 | #Constraints: 37002 1821.40/1825.97 c #Conflicts: 1005000 | #Constraints: 38002 1821.40/1825.97 c #Conflicts: 1006000 | #Constraints: 39002 1821.40/1825.97 c #Conflicts: 1007000 | #Constraints: 40002 1821.40/1825.97 c #Conflicts: 1008000 | #Constraints: 41003 1821.40/1825.97 c #Conflicts: 1009000 | #Constraints: 42003 1821.40/1825.97 c #Conflicts: 1010000 | #Constraints: 43003 1821.40/1825.97 c #Conflicts: 1011000 | #Constraints: 44003 1821.40/1825.97 c #Conflicts: 1012000 | #Constraints: 45003 1821.40/1825.97 c #Conflicts: 1013000 | #Constraints: 46003 1821.40/1825.97 c #Conflicts: 1014000 | #Constraints: 47003 1821.40/1825.97 c #Conflicts: 1015000 | #Constraints: 48003 1821.40/1825.97 c #Conflicts: 1016000 | #Constraints: 49003 1821.40/1825.97 c #Conflicts: 1017000 | #Constraints: 50004 1821.40/1825.97 c #Conflicts: 1018000 | #Constraints: 51004 1821.40/1825.97 c #Conflicts: 1019000 | #Constraints: 52004 1821.40/1825.97 c #Conflicts: 1020000 | #Constraints: 53004 1821.40/1825.97 c INPROCESSING 1821.40/1825.97 c GARBAGE COLLECT 1821.40/1825.97 c rational objective 82 2001.71/2006.76 c #Conflicts: 1021000 | #Constraints: 30761 2001.71/2006.76 c #Conflicts: 1022000 | #Constraints: 31761 2001.71/2006.76 c #Conflicts: 1023000 | #Constraints: 32761 2001.71/2006.76 c #Conflicts: 1024000 | #Constraints: 33761 2001.71/2006.76 c #Conflicts: 1025000 | #Constraints: 34761 2001.71/2006.76 c #Conflicts: 1026000 | #Constraints: 35761 2001.71/2006.76 c #Conflicts: 1027000 | #Constraints: 36761 2001.71/2006.76 c #Conflicts: 1028000 | #Constraints: 37761 2001.71/2006.76 c #Conflicts: 1029000 | #Constraints: 38762 2001.71/2006.76 c #Conflicts: 1030000 | #Constraints: 39762 2001.71/2006.76 c #Conflicts: 1031000 | #Constraints: 40763 2001.71/2006.76 c #Conflicts: 1032000 | #Constraints: 41763 2001.71/2006.76 c #Conflicts: 1033000 | #Constraints: 42763 2001.71/2006.76 c #Conflicts: 1034000 | #Constraints: 43763 2001.71/2006.76 c #Conflicts: 1035000 | #Constraints: 44763 2001.71/2006.76 c #Conflicts: 1036000 | #Constraints: 45763 2001.71/2006.76 c #Conflicts: 1037000 | #Constraints: 46763 2001.71/2006.76 c #Conflicts: 1038000 | #Constraints: 47763 2001.71/2006.76 c #Conflicts: 1039000 | #Constraints: 48763 2001.71/2006.76 c #Conflicts: 1040000 | #Constraints: 49763 2001.71/2006.76 c #Conflicts: 1041000 | #Constraints: 50763 2001.71/2006.76 c #Conflicts: 1042000 | #Constraints: 51763 2001.71/2006.76 c #Conflicts: 1043000 | #Constraints: 52763 2001.71/2006.76 c #Conflicts: 1044000 | #Constraints: 53763 2001.71/2006.76 c #Conflicts: 1045000 | #Constraints: 54763 2001.71/2006.76 c #Conflicts: 1046000 | #Constraints: 55763 2001.71/2006.76 c #Conflicts: 1047000 | #Constraints: 56763 2001.71/2006.76 c #Conflicts: 1048000 | #Constraints: 57763 2001.71/2006.76 c #Conflicts: 1049000 | #Constraints: 58763 2001.71/2006.76 c #Conflicts: 1050000 | #Constraints: 59763 2001.71/2006.76 c #Conflicts: 1051000 | #Constraints: 60763 2001.71/2006.76 c #Conflicts: 1052000 | #Constraints: 61764 2001.71/2006.76 c #Conflicts: 1053000 | #Constraints: 62764 2001.71/2006.76 c #Conflicts: 1054000 | #Constraints: 63764 2001.71/2006.76 c #Conflicts: 1055000 | #Constraints: 64764 2001.71/2006.76 c #Conflicts: 1056000 | #Constraints: 65764 2001.71/2006.76 c #Conflicts: 1057000 | #Constraints: 66764 2001.71/2006.76 c #Conflicts: 1058000 | #Constraints: 67764 2001.71/2006.76 c #Conflicts: 1059000 | #Constraints: 68764 2001.71/2006.76 c #Conflicts: 1060000 | #Constraints: 69764 2001.71/2006.76 c #Conflicts: 1061000 | #Constraints: 70764 2001.71/2006.76 c #Conflicts: 1062000 | #Constraints: 71764 2001.71/2006.76 c #Conflicts: 1063000 | #Constraints: 72764 2001.71/2006.76 c #Conflicts: 1064000 | #Constraints: 73764 2001.71/2006.76 c #Conflicts: 1065000 | #Constraints: 74764 2001.71/2006.76 c #Conflicts: 1066000 | #Constraints: 75765 2001.71/2006.76 c #Conflicts: 1067000 | #Constraints: 76765 2001.71/2006.76 c #Conflicts: 1068000 | #Constraints: 77765 2001.71/2006.76 c #Conflicts: 1069000 | #Constraints: 78765 2001.71/2006.76 c #Conflicts: 1070000 | #Constraints: 79765 2001.71/2006.76 c #Conflicts: 1071000 | #Constraints: 80765 2001.71/2006.76 c #Conflicts: 1072000 | #Constraints: 81765 2001.71/2006.76 c #Conflicts: 1073000 | #Constraints: 82765 2001.71/2006.76 c #Conflicts: 1074000 | #Constraints: 83765 2001.71/2006.76 c #Conflicts: 1075000 | #Constraints: 84765 2001.71/2006.76 c #Conflicts: 1076000 | #Constraints: 85765 2001.71/2006.76 c #Conflicts: 1077000 | #Constraints: 86766 2001.71/2006.76 c #Conflicts: 1078000 | #Constraints: 87766 2001.71/2006.76 c #Conflicts: 1079000 | #Constraints: 88766 2001.71/2006.76 c #Conflicts: 1080000 | #Constraints: 89766 2001.71/2006.76 c #Conflicts: 1081000 | #Constraints: 90766 2001.71/2006.76 c #Conflicts: 1082000 | #Constraints: 91766 2001.71/2006.76 c #Conflicts: 1083000 | #Constraints: 92766 2001.71/2006.76 c #Conflicts: 1084000 | #Constraints: 93766 2001.71/2006.76 c #Conflicts: 1085000 | #Constraints: 94766 2001.71/2006.76 c #Conflicts: 1086000 | #Constraints: 95766 2001.71/2006.76 c #Conflicts: 1087000 | #Constraints: 96766 2001.71/2006.76 c #Conflicts: 1088000 | #Constraints: 97766 2001.71/2006.76 c #Conflicts: 1089000 | #Constraints: 98766 2001.71/2006.76 c #Conflicts: 1090000 | #Constraints: 99767 2001.71/2006.76 c #Conflicts: 1091000 | #Constraints: 100767 2001.71/2006.76 c #Conflicts: 1092000 | #Constraints: 101767 2001.71/2006.76 c #Conflicts: 1093000 | #Constraints: 102767 2001.71/2006.76 c #Conflicts: 1094000 | #Constraints: 103767 2001.71/2006.76 c #Conflicts: 1095000 | #Constraints: 104767 2001.71/2006.76 c #Conflicts: 1096000 | #Constraints: 105767 2001.71/2006.76 c #Conflicts: 1097000 | #Constraints: 106767 2001.71/2006.76 c #Conflicts: 1098000 | #Constraints: 107767 2001.71/2006.76 c #Conflicts: 1099000 | #Constraints: 108767 2015.97/2021.00 c #Conflicts: 1100000 | #Constraints: 109767 2015.97/2021.00 c #Conflicts: 1101000 | #Constraints: 110767 2015.97/2021.00 c #Conflicts: 1102000 | #Constraints: 111767 2015.97/2021.00 c #Conflicts: 1103000 | #Constraints: 112767 2015.97/2021.00 c #Conflicts: 1104000 | #Constraints: 113767 2015.97/2021.00 c INPROCESSING 2015.97/2021.00 c GARBAGE COLLECT 2015.97/2021.00 c rational objective 82 2073.72/2078.93 c #Conflicts: 1105000 | #Constraints: 61120 2073.72/2078.93 c #Conflicts: 1106000 | #Constraints: 62120 2073.72/2078.93 c #Conflicts: 1107000 | #Constraints: 63120 2073.72/2078.93 c #Conflicts: 1108000 | #Constraints: 64120 2073.72/2078.93 c #Conflicts: 1109000 | #Constraints: 65120 2073.72/2078.93 c #Conflicts: 1110000 | #Constraints: 66120 2073.72/2078.93 c #Conflicts: 1111000 | #Constraints: 67120 2073.72/2078.93 c #Conflicts: 1112000 | #Constraints: 68120 2073.72/2078.93 c #Conflicts: 1113000 | #Constraints: 69120 2073.72/2078.93 c #Conflicts: 1114000 | #Constraints: 70121 2073.72/2078.93 c #Conflicts: 1115000 | #Constraints: 71126 2073.72/2078.93 c #Conflicts: 1116000 | #Constraints: 72126 2073.72/2078.93 c #Conflicts: 1117000 | #Constraints: 73126 2073.72/2078.93 c #Conflicts: 1118000 | #Constraints: 74126 2073.72/2078.93 c #Conflicts: 1119000 | #Constraints: 75126 2073.72/2078.93 c #Conflicts: 1120000 | #Constraints: 76126 2073.72/2078.93 c #Conflicts: 1121000 | #Constraints: 77126 2073.72/2078.93 c #Conflicts: 1122000 | #Constraints: 78126 2073.72/2078.93 c #Conflicts: 1123000 | #Constraints: 79126 2073.72/2078.93 c #Conflicts: 1124000 | #Constraints: 80126 2073.72/2078.93 c #Conflicts: 1125000 | #Constraints: 81126 2073.72/2078.93 c #Conflicts: 1126000 | #Constraints: 82126 2073.72/2078.93 c #Conflicts: 1127000 | #Constraints: 83127 2073.72/2078.93 c INPROCESSING 2073.72/2078.93 c GARBAGE COLLECT 2073.72/2078.93 c rational objective 82 2120.22/2125.57 c #Conflicts: 1128000 | #Constraints: 45805 2120.22/2125.57 c #Conflicts: 1129000 | #Constraints: 46805 2120.22/2125.57 c #Conflicts: 1130000 | #Constraints: 47805 2120.22/2125.57 c #Conflicts: 1131000 | #Constraints: 48805 2120.22/2125.57 c #Conflicts: 1132000 | #Constraints: 49805 2120.22/2125.57 c #Conflicts: 1133000 | #Constraints: 50805 2120.22/2125.57 c #Conflicts: 1134000 | #Constraints: 51805 2120.22/2125.57 c #Conflicts: 1135000 | #Constraints: 52805 2120.22/2125.57 c #Conflicts: 1136000 | #Constraints: 53805 2120.22/2125.57 c #Conflicts: 1137000 | #Constraints: 54805 2120.22/2125.57 c #Conflicts: 1138000 | #Constraints: 55805 2120.22/2125.57 c #Conflicts: 1139000 | #Constraints: 56805 2120.22/2125.57 c #Conflicts: 1140000 | #Constraints: 57805 2120.22/2125.57 c #Conflicts: 1141000 | #Constraints: 58805 2120.22/2125.57 c #Conflicts: 1142000 | #Constraints: 59806 2120.22/2125.57 c #Conflicts: 1143000 | #Constraints: 60806 2120.22/2125.57 c #Conflicts: 1144000 | #Constraints: 61806 2120.22/2125.57 c #Conflicts: 1145000 | #Constraints: 62806 2120.22/2125.57 c #Conflicts: 1146000 | #Constraints: 63806 2120.22/2125.57 c #Conflicts: 1147000 | #Constraints: 64806 2120.22/2125.57 c #Conflicts: 1148000 | #Constraints: 65806 2120.22/2125.57 c #Conflicts: 1149000 | #Constraints: 66806 2120.22/2125.57 c #Conflicts: 1150000 | #Constraints: 67806 2120.22/2125.57 c INPROCESSING 2120.22/2125.57 c GARBAGE COLLECT 2120.22/2125.57 c rational objective 82 2153.35/2158.78 c #Conflicts: 1151000 | #Constraints: 38065 2153.35/2158.78 c #Conflicts: 1152000 | #Constraints: 39065 2153.35/2158.78 c #Conflicts: 1153000 | #Constraints: 40065 2153.35/2158.78 c #Conflicts: 1154000 | #Constraints: 41065 2153.35/2158.78 c #Conflicts: 1155000 | #Constraints: 42065 2153.35/2158.78 c #Conflicts: 1156000 | #Constraints: 43066 2153.35/2158.78 c #Conflicts: 1157000 | #Constraints: 44066 2153.35/2158.78 c #Conflicts: 1158000 | #Constraints: 45066 2153.35/2158.78 c #Conflicts: 1159000 | #Constraints: 46066 2153.35/2158.78 c #Conflicts: 1160000 | #Constraints: 47066 2153.35/2158.78 c #Conflicts: 1161000 | #Constraints: 48066 2153.35/2158.78 c #Conflicts: 1162000 | #Constraints: 49066 2153.35/2158.78 c #Conflicts: 1163000 | #Constraints: 50066 2153.35/2158.78 c #Conflicts: 1164000 | #Constraints: 51066 2153.35/2158.78 c #Conflicts: 1165000 | #Constraints: 52066 2153.35/2158.78 c #Conflicts: 1166000 | #Constraints: 53066 2153.35/2158.78 c #Conflicts: 1167000 | #Constraints: 54066 2153.35/2158.78 c #Conflicts: 1168000 | #Constraints: 55066 2153.35/2158.78 c #Conflicts: 1169000 | #Constraints: 56067 2153.35/2158.78 c #Conflicts: 1170000 | #Constraints: 57067 2153.35/2158.78 c #Conflicts: 1171000 | #Constraints: 58067 2153.35/2158.78 c #Conflicts: 1172000 | #Constraints: 59067 2153.35/2158.78 c #Conflicts: 1173000 | #Constraints: 60068 2153.35/2158.78 c INPROCESSING 2153.35/2158.78 c GARBAGE COLLECT 2153.35/2158.78 c rational objective 82 2181.29/2186.77 c #Conflicts: 1174000 | #Constraints: 33949 2181.29/2186.77 c #Conflicts: 1175000 | #Constraints: 34949 2181.29/2186.77 c #Conflicts: 1176000 | #Constraints: 35949 2181.29/2186.77 c #Conflicts: 1177000 | #Constraints: 36949 2181.29/2186.77 c #Conflicts: 1178000 | #Constraints: 37949 2181.29/2186.77 c #Conflicts: 1179000 | #Constraints: 38949 2181.29/2186.77 c #Conflicts: 1180000 | #Constraints: 39950 2181.29/2186.77 c #Conflicts: 1181000 | #Constraints: 40950 2181.29/2186.77 c #Conflicts: 1182000 | #Constraints: 41950 2181.29/2186.77 c #Conflicts: 1183000 | #Constraints: 42950 2181.29/2186.77 c #Conflicts: 1184000 | #Constraints: 43950 2181.29/2186.77 c #Conflicts: 1185000 | #Constraints: 44950 2181.29/2186.77 c #Conflicts: 1186000 | #Constraints: 45950 2181.29/2186.77 c #Conflicts: 1187000 | #Constraints: 46950 2181.29/2186.77 c #Conflicts: 1188000 | #Constraints: 47950 2181.29/2186.77 c #Conflicts: 1189000 | #Constraints: 48950 2181.29/2186.77 c #Conflicts: 1190000 | #Constraints: 49950 2181.29/2186.77 c #Conflicts: 1191000 | #Constraints: 50950 2181.29/2186.77 c #Conflicts: 1192000 | #Constraints: 51950 2181.29/2186.77 c #Conflicts: 1193000 | #Constraints: 52950 2181.29/2186.77 c #Conflicts: 1194000 | #Constraints: 53950 2181.29/2186.77 c #Conflicts: 1195000 | #Constraints: 54950 2181.29/2186.77 c #Conflicts: 1196000 | #Constraints: 55950 2181.29/2186.77 c #Conflicts: 1197000 | #Constraints: 56950 2181.29/2186.77 c INPROCESSING 2181.29/2186.77 c GARBAGE COLLECT 2181.29/2186.77 c rational objective 82 2366.97/2372.85 c #Conflicts: 1198000 | #Constraints: 32617 2366.97/2372.85 c #Conflicts: 1199000 | #Constraints: 33617 2366.97/2372.85 c #Conflicts: 1200000 | #Constraints: 34618 2366.97/2372.85 c #Conflicts: 1201000 | #Constraints: 35618 2366.97/2372.85 c #Conflicts: 1202000 | #Constraints: 36618 2366.97/2372.85 c #Conflicts: 1203000 | #Constraints: 37618 2366.97/2372.85 c #Conflicts: 1204000 | #Constraints: 38618 2366.97/2372.85 c #Conflicts: 1205000 | #Constraints: 39618 2366.97/2372.85 c #Conflicts: 1206000 | #Constraints: 40618 2366.97/2372.85 c #Conflicts: 1207000 | #Constraints: 41618 2366.97/2372.85 c #Conflicts: 1208000 | #Constraints: 42618 2366.97/2372.85 c #Conflicts: 1209000 | #Constraints: 43618 2366.97/2372.85 c #Conflicts: 1210000 | #Constraints: 44618 2366.97/2372.85 c #Conflicts: 1211000 | #Constraints: 45619 2366.97/2372.85 c #Conflicts: 1212000 | #Constraints: 46619 2366.97/2372.85 c #Conflicts: 1213000 | #Constraints: 47619 2366.97/2372.85 c #Conflicts: 1214000 | #Constraints: 48619 2366.97/2372.85 c #Conflicts: 1215000 | #Constraints: 49619 2366.97/2372.85 c #Conflicts: 1216000 | #Constraints: 50619 2366.97/2372.85 c #Conflicts: 1217000 | #Constraints: 51619 2366.97/2372.85 c #Conflicts: 1218000 | #Constraints: 52619 2366.97/2372.85 c #Conflicts: 1219000 | #Constraints: 53620 2366.97/2372.85 c #Conflicts: 1220000 | #Constraints: 54620 2366.97/2372.85 c #Conflicts: 1221000 | #Constraints: 55620 2366.97/2372.85 c #Conflicts: 1222000 | #Constraints: 56620 2366.97/2372.85 c #Conflicts: 1223000 | #Constraints: 57620 2366.97/2372.85 c #Conflicts: 1224000 | #Constraints: 58620 2366.97/2372.85 c #Conflicts: 1225000 | #Constraints: 59620 2366.97/2372.85 c #Conflicts: 1226000 | #Constraints: 60620 2366.97/2372.85 c #Conflicts: 1227000 | #Constraints: 61620 2366.97/2372.85 c #Conflicts: 1228000 | #Constraints: 62620 2366.97/2372.85 c #Conflicts: 1229000 | #Constraints: 63620 2366.97/2372.85 c #Conflicts: 1230000 | #Constraints: 64620 2366.97/2372.85 c #Conflicts: 1231000 | #Constraints: 65620 2366.97/2372.85 c #Conflicts: 1232000 | #Constraints: 66620 2366.97/2372.85 c #Conflicts: 1233000 | #Constraints: 67620 2366.97/2372.85 c #Conflicts: 1234000 | #Constraints: 68620 2366.97/2372.85 c #Conflicts: 1235000 | #Constraints: 69620 2366.97/2372.85 c #Conflicts: 1236000 | #Constraints: 70620 2366.97/2372.85 c #Conflicts: 1237000 | #Constraints: 71621 2366.97/2372.85 c #Conflicts: 1238000 | #Constraints: 72621 2366.97/2372.85 c #Conflicts: 1239000 | #Constraints: 73621 2366.97/2372.85 c #Conflicts: 1240000 | #Constraints: 74621 2366.97/2372.85 c #Conflicts: 1241000 | #Constraints: 75621 2366.97/2372.85 c #Conflicts: 1242000 | #Constraints: 76621 2366.97/2372.85 c #Conflicts: 1243000 | #Constraints: 77621 2366.97/2372.85 c #Conflicts: 1244000 | #Constraints: 78621 2366.97/2372.85 c #Conflicts: 1245000 | #Constraints: 79621 2366.97/2372.85 c #Conflicts: 1246000 | #Constraints: 80621 2366.97/2372.85 c #Conflicts: 1247000 | #Constraints: 81621 2366.97/2372.85 c #Conflicts: 1248000 | #Constraints: 82621 2366.97/2372.85 c #Conflicts: 1249000 | #Constraints: 83621 2366.97/2372.85 c #Conflicts: 1250000 | #Constraints: 84622 2366.97/2372.85 c #Conflicts: 1251000 | #Constraints: 85622 2366.97/2372.85 c #Conflicts: 1252000 | #Constraints: 86622 2366.97/2372.85 c #Conflicts: 1253000 | #Constraints: 87622 2366.97/2372.85 c #Conflicts: 1254000 | #Constraints: 88623 2366.97/2372.85 c #Conflicts: 1255000 | #Constraints: 89623 2366.97/2372.85 c #Conflicts: 1256000 | #Constraints: 90623 2366.97/2372.85 c #Conflicts: 1257000 | #Constraints: 91623 2366.97/2372.85 c #Conflicts: 1258000 | #Constraints: 92623 2366.97/2372.85 c #Conflicts: 1259000 | #Constraints: 93623 2366.97/2372.85 c #Conflicts: 1260000 | #Constraints: 94623 2366.97/2372.85 c #Conflicts: 1261000 | #Constraints: 95623 2366.97/2372.85 c #Conflicts: 1262000 | #Constraints: 96623 2366.97/2372.85 c #Conflicts: 1263000 | #Constraints: 97623 2366.97/2372.85 c #Conflicts: 1264000 | #Constraints: 98623 2366.97/2372.85 c #Conflicts: 1265000 | #Constraints: 99623 2366.97/2372.85 c #Conflicts: 1266000 | #Constraints: 100623 2366.97/2372.85 c #Conflicts: 1267000 | #Constraints: 101623 2366.97/2372.85 c #Conflicts: 1268000 | #Constraints: 102623 2366.97/2372.85 c #Conflicts: 1269000 | #Constraints: 103623 2366.97/2372.85 c #Conflicts: 1270000 | #Constraints: 104623 2366.97/2372.85 c #Conflicts: 1271000 | #Constraints: 105623 2366.97/2372.85 c #Conflicts: 1272000 | #Constraints: 106623 2366.97/2372.85 c #Conflicts: 1273000 | #Constraints: 107623 2366.97/2372.85 c #Conflicts: 1274000 | #Constraints: 108623 2366.97/2372.85 c #Conflicts: 1275000 | #Constraints: 109623 2366.97/2372.85 c #Conflicts: 1276000 | #Constraints: 110623 2416.65/2422.66 c #Conflicts: 1277000 | #Constraints: 111623 2416.65/2422.66 c #Conflicts: 1278000 | #Constraints: 112623 2416.65/2422.66 c #Conflicts: 1279000 | #Constraints: 113623 2416.65/2422.66 c #Conflicts: 1280000 | #Constraints: 114623 2416.65/2422.66 c #Conflicts: 1281000 | #Constraints: 115623 2416.65/2422.66 c #Conflicts: 1282000 | #Constraints: 116623 2416.65/2422.66 c #Conflicts: 1283000 | #Constraints: 117623 2416.65/2422.66 c #Conflicts: 1284000 | #Constraints: 118623 2416.65/2422.66 c #Conflicts: 1285000 | #Constraints: 119623 2416.65/2422.66 c #Conflicts: 1286000 | #Constraints: 120623 2416.65/2422.66 c #Conflicts: 1287000 | #Constraints: 121623 2416.65/2422.66 c INPROCESSING 2416.65/2422.66 c GARBAGE COLLECT 2416.65/2422.66 c rational objective 82 2474.22/2480.37 c #Conflicts: 1288000 | #Constraints: 64757 2474.22/2480.37 c #Conflicts: 1289000 | #Constraints: 65757 2474.22/2480.37 c #Conflicts: 1290000 | #Constraints: 66757 2474.22/2480.37 c #Conflicts: 1291000 | #Constraints: 67757 2474.22/2480.37 c #Conflicts: 1292000 | #Constraints: 68757 2474.22/2480.37 c #Conflicts: 1293000 | #Constraints: 69757 2474.22/2480.37 c #Conflicts: 1294000 | #Constraints: 70757 2474.22/2480.37 c #Conflicts: 1295000 | #Constraints: 71757 2474.22/2480.37 c #Conflicts: 1296000 | #Constraints: 72757 2474.22/2480.37 c #Conflicts: 1297000 | #Constraints: 73757 2474.22/2480.37 c #Conflicts: 1298000 | #Constraints: 74757 2474.22/2480.37 c #Conflicts: 1299000 | #Constraints: 75757 2474.22/2480.37 c #Conflicts: 1300000 | #Constraints: 76757 2474.22/2480.37 c #Conflicts: 1301000 | #Constraints: 77757 2474.22/2480.37 c #Conflicts: 1302000 | #Constraints: 78757 2474.22/2480.37 c #Conflicts: 1303000 | #Constraints: 79757 2474.22/2480.37 c #Conflicts: 1304000 | #Constraints: 80757 2474.22/2480.37 c #Conflicts: 1305000 | #Constraints: 81757 2474.22/2480.37 c #Conflicts: 1306000 | #Constraints: 82757 2474.22/2480.37 c #Conflicts: 1307000 | #Constraints: 83758 2474.22/2480.37 c #Conflicts: 1308000 | #Constraints: 84758 2474.22/2480.37 c #Conflicts: 1309000 | #Constraints: 85758 2474.22/2480.37 c #Conflicts: 1310000 | #Constraints: 86758 2474.22/2480.37 c #Conflicts: 1311000 | #Constraints: 87758 2474.22/2480.37 c #Conflicts: 1312000 | #Constraints: 88758 2474.22/2480.37 c INPROCESSING 2474.22/2480.37 c GARBAGE COLLECT 2474.22/2480.37 c rational objective 82 2516.93/2523.18 c #Conflicts: 1313000 | #Constraints: 48338 2516.93/2523.18 c #Conflicts: 1314000 | #Constraints: 49338 2516.93/2523.18 c #Conflicts: 1315000 | #Constraints: 50338 2516.93/2523.18 c #Conflicts: 1316000 | #Constraints: 51338 2516.93/2523.18 c #Conflicts: 1317000 | #Constraints: 52338 2516.93/2523.18 c #Conflicts: 1318000 | #Constraints: 53338 2516.93/2523.18 c #Conflicts: 1319000 | #Constraints: 54338 2516.93/2523.18 c #Conflicts: 1320000 | #Constraints: 55338 2516.93/2523.18 c #Conflicts: 1321000 | #Constraints: 56338 2516.93/2523.18 c #Conflicts: 1322000 | #Constraints: 57338 2516.93/2523.18 c #Conflicts: 1323000 | #Constraints: 58338 2516.93/2523.18 c #Conflicts: 1324000 | #Constraints: 59339 2516.93/2523.18 c #Conflicts: 1325000 | #Constraints: 60339 2516.93/2523.18 c #Conflicts: 1326000 | #Constraints: 61339 2516.93/2523.18 c #Conflicts: 1327000 | #Constraints: 62340 2516.93/2523.18 c #Conflicts: 1328000 | #Constraints: 63340 2516.93/2523.18 c #Conflicts: 1329000 | #Constraints: 64340 2516.93/2523.18 c #Conflicts: 1330000 | #Constraints: 65341 2516.93/2523.18 c #Conflicts: 1331000 | #Constraints: 66341 2516.93/2523.18 c #Conflicts: 1332000 | #Constraints: 67341 2516.93/2523.18 c #Conflicts: 1333000 | #Constraints: 68341 2516.93/2523.18 c #Conflicts: 1334000 | #Constraints: 69341 2516.93/2523.18 c #Conflicts: 1335000 | #Constraints: 70341 2516.93/2523.18 c #Conflicts: 1336000 | #Constraints: 71341 2516.93/2523.18 c #Conflicts: 1337000 | #Constraints: 72341 2516.93/2523.18 c INPROCESSING 2516.93/2523.18 c GARBAGE COLLECT 2516.93/2523.18 c rational objective 82 2568.11/2574.40 c #Conflicts: 1338000 | #Constraints: 40096 2568.11/2574.40 c #Conflicts: 1339000 | #Constraints: 41096 2568.11/2574.40 c #Conflicts: 1340000 | #Constraints: 42096 2568.11/2574.40 c #Conflicts: 1341000 | #Constraints: 43096 2568.11/2574.40 c #Conflicts: 1342000 | #Constraints: 44097 2568.11/2574.40 c #Conflicts: 1343000 | #Constraints: 45097 2568.11/2574.40 c #Conflicts: 1344000 | #Constraints: 46097 2568.11/2574.40 c #Conflicts: 1345000 | #Constraints: 47097 2568.11/2574.40 c #Conflicts: 1346000 | #Constraints: 48097 2568.11/2574.40 c #Conflicts: 1347000 | #Constraints: 49097 2568.11/2574.40 c #Conflicts: 1348000 | #Constraints: 50097 2568.11/2574.40 c #Conflicts: 1349000 | #Constraints: 51097 2568.11/2574.40 c #Conflicts: 1350000 | #Constraints: 52097 2568.11/2574.40 c #Conflicts: 1351000 | #Constraints: 53097 2568.11/2574.40 c #Conflicts: 1352000 | #Constraints: 54097 2568.11/2574.40 c #Conflicts: 1353000 | #Constraints: 55097 2568.11/2574.40 c #Conflicts: 1354000 | #Constraints: 56098 2568.11/2574.40 c #Conflicts: 1355000 | #Constraints: 57098 2568.11/2574.40 c #Conflicts: 1356000 | #Constraints: 58098 2568.11/2574.40 c #Conflicts: 1357000 | #Constraints: 59098 2568.11/2574.40 c #Conflicts: 1358000 | #Constraints: 60098 2568.11/2574.40 c #Conflicts: 1359000 | #Constraints: 61098 2568.11/2574.40 c #Conflicts: 1360000 | #Constraints: 62098 2568.11/2574.40 c #Conflicts: 1361000 | #Constraints: 63098 2568.11/2574.40 c #Conflicts: 1362000 | #Constraints: 64098 2568.11/2574.40 c INPROCESSING 2568.11/2574.40 c GARBAGE COLLECT 2568.11/2574.40 c rational objective 82 2613.51/2619.91 c #Conflicts: 1363000 | #Constraints: 35841 2613.51/2619.91 c #Conflicts: 1364000 | #Constraints: 36841 2613.51/2619.91 c #Conflicts: 1365000 | #Constraints: 37841 2613.51/2619.91 c #Conflicts: 1366000 | #Constraints: 38841 2613.51/2619.91 c #Conflicts: 1367000 | #Constraints: 39841 2613.51/2619.91 c #Conflicts: 1368000 | #Constraints: 40841 2613.51/2619.91 c #Conflicts: 1369000 | #Constraints: 41841 2613.51/2619.91 c #Conflicts: 1370000 | #Constraints: 42841 2613.51/2619.91 c #Conflicts: 1371000 | #Constraints: 43841 2613.51/2619.91 c #Conflicts: 1372000 | #Constraints: 44841 2613.51/2619.91 c #Conflicts: 1373000 | #Constraints: 45841 2613.51/2619.91 c #Conflicts: 1374000 | #Constraints: 46841 2613.51/2619.91 c #Conflicts: 1375000 | #Constraints: 47841 2613.51/2619.91 c #Conflicts: 1376000 | #Constraints: 48841 2613.51/2619.91 c #Conflicts: 1377000 | #Constraints: 49841 2613.51/2619.91 c #Conflicts: 1378000 | #Constraints: 50842 2613.51/2619.91 c #Conflicts: 1379000 | #Constraints: 51842 2613.51/2619.91 c #Conflicts: 1380000 | #Constraints: 52842 2613.51/2619.91 c #Conflicts: 1381000 | #Constraints: 53842 2613.51/2619.91 c #Conflicts: 1382000 | #Constraints: 54842 2613.51/2619.91 c #Conflicts: 1383000 | #Constraints: 55842 2613.51/2619.91 c #Conflicts: 1384000 | #Constraints: 56842 2613.51/2619.91 c #Conflicts: 1385000 | #Constraints: 57842 2613.51/2619.91 c #Conflicts: 1386000 | #Constraints: 58842 2613.51/2619.91 c #Conflicts: 1387000 | #Constraints: 59843 2613.51/2619.91 c #Conflicts: 1388000 | #Constraints: 60843 2613.51/2619.91 c INPROCESSING 2613.51/2619.91 c GARBAGE COLLECT 2613.51/2619.91 c rational objective 82 2796.80/2803.65 c #Conflicts: 1389000 | #Constraints: 34436 2796.80/2803.65 c #Conflicts: 1390000 | #Constraints: 35436 2796.80/2803.65 c #Conflicts: 1391000 | #Constraints: 36436 2796.80/2803.65 c #Conflicts: 1392000 | #Constraints: 37436 2796.80/2803.65 c #Conflicts: 1393000 | #Constraints: 38436 2796.80/2803.65 c #Conflicts: 1394000 | #Constraints: 39436 2796.80/2803.65 c #Conflicts: 1395000 | #Constraints: 40436 2796.80/2803.65 c #Conflicts: 1396000 | #Constraints: 41436 2796.80/2803.65 c #Conflicts: 1397000 | #Constraints: 42436 2796.80/2803.65 c #Conflicts: 1398000 | #Constraints: 43436 2796.80/2803.65 c #Conflicts: 1399000 | #Constraints: 44436 2796.80/2803.65 c #Conflicts: 1400000 | #Constraints: 45436 2796.80/2803.65 c #Conflicts: 1401000 | #Constraints: 46436 2796.80/2803.65 c #Conflicts: 1402000 | #Constraints: 47436 2796.80/2803.65 c #Conflicts: 1403000 | #Constraints: 48436 2796.80/2803.65 c #Conflicts: 1404000 | #Constraints: 49436 2796.80/2803.65 c #Conflicts: 1405000 | #Constraints: 50436 2796.80/2803.65 c #Conflicts: 1406000 | #Constraints: 51436 2796.80/2803.65 c #Conflicts: 1407000 | #Constraints: 52436 2796.80/2803.65 c #Conflicts: 1408000 | #Constraints: 53436 2796.80/2803.65 c #Conflicts: 1409000 | #Constraints: 54437 2796.80/2803.65 c #Conflicts: 1410000 | #Constraints: 55437 2796.80/2803.65 c #Conflicts: 1411000 | #Constraints: 56437 2796.80/2803.65 c #Conflicts: 1412000 | #Constraints: 57437 2796.80/2803.65 c #Conflicts: 1413000 | #Constraints: 58438 2796.80/2803.65 c #Conflicts: 1414000 | #Constraints: 59438 2796.80/2803.65 c #Conflicts: 1415000 | #Constraints: 60438 2796.80/2803.65 c #Conflicts: 1416000 | #Constraints: 61438 2796.80/2803.65 c #Conflicts: 1417000 | #Constraints: 62438 2796.80/2803.65 c #Conflicts: 1418000 | #Constraints: 63438 2796.80/2803.65 c #Conflicts: 1419000 | #Constraints: 64438 2796.80/2803.65 c #Conflicts: 1420000 | #Constraints: 65438 2796.80/2803.65 c #Conflicts: 1421000 | #Constraints: 66438 2796.80/2803.65 c #Conflicts: 1422000 | #Constraints: 67438 2796.80/2803.65 c #Conflicts: 1423000 | #Constraints: 68438 2796.80/2803.65 c #Conflicts: 1424000 | #Constraints: 69438 2796.80/2803.65 c #Conflicts: 1425000 | #Constraints: 70439 2796.80/2803.65 c #Conflicts: 1426000 | #Constraints: 71439 2796.80/2803.65 c #Conflicts: 1427000 | #Constraints: 72439 2796.80/2803.65 c #Conflicts: 1428000 | #Constraints: 73439 2796.80/2803.65 c #Conflicts: 1429000 | #Constraints: 74439 2796.80/2803.65 c #Conflicts: 1430000 | #Constraints: 75439 2796.80/2803.65 c #Conflicts: 1431000 | #Constraints: 76440 2796.80/2803.65 c #Conflicts: 1432000 | #Constraints: 77440 2796.80/2803.65 c #Conflicts: 1433000 | #Constraints: 78440 2796.80/2803.65 c #Conflicts: 1434000 | #Constraints: 79440 2796.80/2803.65 c #Conflicts: 1435000 | #Constraints: 80440 2796.80/2803.65 c #Conflicts: 1436000 | #Constraints: 81440 2796.80/2803.65 c #Conflicts: 1437000 | #Constraints: 82440 2796.80/2803.65 c #Conflicts: 1438000 | #Constraints: 83440 2796.80/2803.65 c #Conflicts: 1439000 | #Constraints: 84440 2796.80/2803.65 c #Conflicts: 1440000 | #Constraints: 85440 2796.80/2803.65 c #Conflicts: 1441000 | #Constraints: 86440 2796.80/2803.65 c #Conflicts: 1442000 | #Constraints: 87440 2796.80/2803.65 c #Conflicts: 1443000 | #Constraints: 88440 2796.80/2803.65 c #Conflicts: 1444000 | #Constraints: 89440 2796.80/2803.65 c #Conflicts: 1445000 | #Constraints: 90440 2796.80/2803.65 c #Conflicts: 1446000 | #Constraints: 91441 2796.80/2803.65 c #Conflicts: 1447000 | #Constraints: 92441 2796.80/2803.65 c #Conflicts: 1448000 | #Constraints: 93441 2796.80/2803.65 c #Conflicts: 1449000 | #Constraints: 94441 2796.80/2803.65 c #Conflicts: 1450000 | #Constraints: 95441 2796.80/2803.65 c #Conflicts: 1451000 | #Constraints: 96441 2796.80/2803.65 c #Conflicts: 1452000 | #Constraints: 97441 2796.80/2803.65 c #Conflicts: 1453000 | #Constraints: 98441 2796.80/2803.65 c #Conflicts: 1454000 | #Constraints: 99441 2796.80/2803.65 c #Conflicts: 1455000 | #Constraints: 100441 2796.80/2803.65 c #Conflicts: 1456000 | #Constraints: 101441 2796.80/2803.65 c #Conflicts: 1457000 | #Constraints: 102441 2796.80/2803.65 c #Conflicts: 1458000 | #Constraints: 103441 2796.80/2803.65 c #Conflicts: 1459000 | #Constraints: 104441 2796.80/2803.65 c #Conflicts: 1460000 | #Constraints: 105441 2796.80/2803.65 c #Conflicts: 1461000 | #Constraints: 106441 2796.80/2803.65 c #Conflicts: 1462000 | #Constraints: 107441 2796.80/2803.65 c #Conflicts: 1463000 | #Constraints: 108441 2796.80/2803.65 c #Conflicts: 1464000 | #Constraints: 109441 2796.80/2803.65 c #Conflicts: 1465000 | #Constraints: 110441 2796.80/2803.65 c #Conflicts: 1466000 | #Constraints: 111441 2796.80/2803.65 c #Conflicts: 1467000 | #Constraints: 112441 2873.92/2880.94 c #Conflicts: 1468000 | #Constraints: 113441 2873.92/2880.94 c #Conflicts: 1469000 | #Constraints: 114441 2873.92/2880.94 c #Conflicts: 1470000 | #Constraints: 115441 2873.92/2880.94 c #Conflicts: 1471000 | #Constraints: 116441 2873.92/2880.94 c #Conflicts: 1472000 | #Constraints: 117441 2873.92/2880.94 c #Conflicts: 1473000 | #Constraints: 118441 2873.92/2880.94 c #Conflicts: 1474000 | #Constraints: 119441 2873.92/2880.94 c #Conflicts: 1475000 | #Constraints: 120441 2873.92/2880.94 c #Conflicts: 1476000 | #Constraints: 121441 2873.92/2880.94 c #Conflicts: 1477000 | #Constraints: 122441 2873.92/2880.94 c #Conflicts: 1478000 | #Constraints: 123441 2873.92/2880.94 c #Conflicts: 1479000 | #Constraints: 124441 2873.92/2880.94 c #Conflicts: 1480000 | #Constraints: 125441 2873.92/2880.94 c #Conflicts: 1481000 | #Constraints: 126441 2873.92/2880.94 c #Conflicts: 1482000 | #Constraints: 127442 2873.92/2880.94 c #Conflicts: 1483000 | #Constraints: 128442 2873.92/2880.94 c #Conflicts: 1484000 | #Constraints: 129442 2873.92/2880.94 c #Conflicts: 1485000 | #Constraints: 130442 2873.92/2880.94 c INPROCESSING 2873.92/2880.94 c GARBAGE COLLECT 2873.92/2880.94 c rational objective 82 2945.06/2952.23 c #Conflicts: 1486000 | #Constraints: 69345 2945.06/2952.23 c #Conflicts: 1487000 | #Constraints: 70345 2945.06/2952.23 c #Conflicts: 1488000 | #Constraints: 71346 2945.06/2952.23 c #Conflicts: 1489000 | #Constraints: 72346 2945.06/2952.23 c #Conflicts: 1490000 | #Constraints: 73346 2945.06/2952.23 c #Conflicts: 1491000 | #Constraints: 74346 2945.06/2952.23 c #Conflicts: 1492000 | #Constraints: 75346 2945.06/2952.23 c #Conflicts: 1493000 | #Constraints: 76346 2945.06/2952.23 c #Conflicts: 1494000 | #Constraints: 77346 2945.06/2952.23 c #Conflicts: 1495000 | #Constraints: 78346 2945.06/2952.23 c #Conflicts: 1496000 | #Constraints: 79346 2945.06/2952.23 c #Conflicts: 1497000 | #Constraints: 80346 2945.06/2952.23 c #Conflicts: 1498000 | #Constraints: 81346 2945.06/2952.23 c #Conflicts: 1499000 | #Constraints: 82346 2945.06/2952.23 c #Conflicts: 1500000 | #Constraints: 83346 2945.06/2952.23 c #Conflicts: 1501000 | #Constraints: 84346 2945.06/2952.23 c #Conflicts: 1502000 | #Constraints: 85347 2945.06/2952.23 c #Conflicts: 1503000 | #Constraints: 86347 2945.06/2952.23 c #Conflicts: 1504000 | #Constraints: 87347 2945.06/2952.23 c #Conflicts: 1505000 | #Constraints: 88348 2945.06/2952.23 c #Conflicts: 1506000 | #Constraints: 89348 2945.06/2952.23 c #Conflicts: 1507000 | #Constraints: 90348 2945.06/2952.23 c #Conflicts: 1508000 | #Constraints: 91348 2945.06/2952.23 c #Conflicts: 1509000 | #Constraints: 92348 2945.06/2952.23 c #Conflicts: 1510000 | #Constraints: 93348 2945.06/2952.23 c #Conflicts: 1511000 | #Constraints: 94348 2945.06/2952.23 c #Conflicts: 1512000 | #Constraints: 95348 2945.06/2952.23 c INPROCESSING 2945.06/2952.23 c GARBAGE COLLECT 2945.06/2952.23 c rational objective 82 2997.34/3004.68 c #Conflicts: 1513000 | #Constraints: 51903 2997.34/3004.68 c #Conflicts: 1514000 | #Constraints: 52903 2997.34/3004.68 c #Conflicts: 1515000 | #Constraints: 53903 2997.34/3004.68 c #Conflicts: 1516000 | #Constraints: 54903 2997.34/3004.68 c #Conflicts: 1517000 | #Constraints: 55903 2997.34/3004.68 c #Conflicts: 1518000 | #Constraints: 56903 2997.34/3004.68 c #Conflicts: 1519000 | #Constraints: 57903 2997.34/3004.68 c #Conflicts: 1520000 | #Constraints: 58903 2997.34/3004.68 c #Conflicts: 1521000 | #Constraints: 59903 2997.34/3004.68 c #Conflicts: 1522000 | #Constraints: 60903 2997.34/3004.68 c #Conflicts: 1523000 | #Constraints: 61903 2997.34/3004.68 c #Conflicts: 1524000 | #Constraints: 62903 2997.34/3004.68 c #Conflicts: 1525000 | #Constraints: 63903 2997.34/3004.68 c #Conflicts: 1526000 | #Constraints: 64903 2997.34/3004.68 c #Conflicts: 1527000 | #Constraints: 65903 2997.34/3004.68 c #Conflicts: 1528000 | #Constraints: 66903 2997.34/3004.68 c #Conflicts: 1529000 | #Constraints: 67903 2997.34/3004.68 c #Conflicts: 1530000 | #Constraints: 68903 2997.34/3004.68 c #Conflicts: 1531000 | #Constraints: 69903 2997.34/3004.68 c #Conflicts: 1532000 | #Constraints: 70903 2997.34/3004.68 c #Conflicts: 1533000 | #Constraints: 71903 2997.34/3004.68 c #Conflicts: 1534000 | #Constraints: 72903 2997.34/3004.68 c #Conflicts: 1535000 | #Constraints: 73903 2997.34/3004.68 c #Conflicts: 1536000 | #Constraints: 74903 2997.34/3004.68 c #Conflicts: 1537000 | #Constraints: 75903 2997.34/3004.68 c #Conflicts: 1538000 | #Constraints: 76903 2997.34/3004.68 c #Conflicts: 1539000 | #Constraints: 77903 2997.34/3004.68 c INPROCESSING 2997.34/3004.68 c GARBAGE COLLECT 2997.34/3004.68 c rational objective 82 3038.25/3045.62 c #Conflicts: 1540000 | #Constraints: 43234 3038.25/3045.62 c #Conflicts: 1541000 | #Constraints: 44234 3038.25/3045.62 c #Conflicts: 1542000 | #Constraints: 45234 3038.25/3045.62 c #Conflicts: 1543000 | #Constraints: 46234 3038.25/3045.62 c #Conflicts: 1544000 | #Constraints: 47234 3038.25/3045.62 c #Conflicts: 1545000 | #Constraints: 48234 3038.25/3045.62 c #Conflicts: 1546000 | #Constraints: 49234 3038.25/3045.62 c #Conflicts: 1547000 | #Constraints: 50234 3038.25/3045.62 c #Conflicts: 1548000 | #Constraints: 51234 3038.25/3045.62 c #Conflicts: 1549000 | #Constraints: 52235 3038.25/3045.62 c #Conflicts: 1550000 | #Constraints: 53235 3038.25/3045.62 c #Conflicts: 1551000 | #Constraints: 54235 3038.25/3045.62 c #Conflicts: 1552000 | #Constraints: 55235 3038.25/3045.62 c #Conflicts: 1553000 | #Constraints: 56235 3038.25/3045.62 c #Conflicts: 1554000 | #Constraints: 57235 3038.25/3045.62 c #Conflicts: 1555000 | #Constraints: 58235 3038.25/3045.62 c #Conflicts: 1556000 | #Constraints: 59235 3038.25/3045.62 c #Conflicts: 1557000 | #Constraints: 60235 3038.25/3045.62 c #Conflicts: 1558000 | #Constraints: 61235 3038.25/3045.62 c #Conflicts: 1559000 | #Constraints: 62235 3038.25/3045.62 c #Conflicts: 1560000 | #Constraints: 63235 3038.25/3045.62 c #Conflicts: 1561000 | #Constraints: 64235 3038.25/3045.62 c #Conflicts: 1562000 | #Constraints: 65235 3038.25/3045.62 c #Conflicts: 1563000 | #Constraints: 66235 3038.25/3045.62 c #Conflicts: 1564000 | #Constraints: 67235 3038.25/3045.62 c #Conflicts: 1565000 | #Constraints: 68235 3038.25/3045.62 c #Conflicts: 1566000 | #Constraints: 69235 3038.25/3045.62 c INPROCESSING 3038.25/3045.62 c GARBAGE COLLECT 3038.25/3045.62 c rational objective 82 3083.15/3090.65 c #Conflicts: 1567000 | #Constraints: 38843 3083.15/3090.65 c #Conflicts: 1568000 | #Constraints: 39844 3083.15/3090.65 c #Conflicts: 1569000 | #Constraints: 40844 3083.15/3090.65 c #Conflicts: 1570000 | #Constraints: 41845 3083.15/3090.65 c #Conflicts: 1571000 | #Constraints: 42845 3083.15/3090.65 c #Conflicts: 1572000 | #Constraints: 43845 3083.15/3090.65 c #Conflicts: 1573000 | #Constraints: 44845 3083.15/3090.65 c #Conflicts: 1574000 | #Constraints: 45845 3083.15/3090.65 c #Conflicts: 1575000 | #Constraints: 46845 3083.15/3090.65 c #Conflicts: 1576000 | #Constraints: 47845 3083.15/3090.65 c #Conflicts: 1577000 | #Constraints: 48845 3083.15/3090.65 c #Conflicts: 1578000 | #Constraints: 49845 3083.15/3090.65 c #Conflicts: 1579000 | #Constraints: 50845 3083.15/3090.65 c #Conflicts: 1580000 | #Constraints: 51845 3083.15/3090.65 c #Conflicts: 1581000 | #Constraints: 52845 3083.15/3090.65 c #Conflicts: 1582000 | #Constraints: 53845 3083.15/3090.65 c #Conflicts: 1583000 | #Constraints: 54845 3083.15/3090.65 c #Conflicts: 1584000 | #Constraints: 55845 3083.15/3090.65 c #Conflicts: 1585000 | #Constraints: 56845 3083.15/3090.65 c #Conflicts: 1586000 | #Constraints: 57846 3083.15/3090.65 c #Conflicts: 1587000 | #Constraints: 58846 3083.15/3090.65 c #Conflicts: 1588000 | #Constraints: 59846 3083.15/3090.65 c #Conflicts: 1589000 | #Constraints: 60846 3083.15/3090.65 c #Conflicts: 1590000 | #Constraints: 61846 3083.15/3090.65 c #Conflicts: 1591000 | #Constraints: 62846 3083.15/3090.65 c #Conflicts: 1592000 | #Constraints: 63846 3083.15/3090.65 c #Conflicts: 1593000 | #Constraints: 64846 3083.15/3090.65 c INPROCESSING 3083.15/3090.65 c GARBAGE COLLECT 3083.15/3090.65 c rational objective 82 3278.61/3286.52 c #Conflicts: 1594000 | #Constraints: 36365 3278.61/3286.52 c #Conflicts: 1595000 | #Constraints: 37365 3278.61/3286.52 c #Conflicts: 1596000 | #Constraints: 38365 3278.61/3286.52 c #Conflicts: 1597000 | #Constraints: 39368 3278.61/3286.52 c #Conflicts: 1598000 | #Constraints: 40369 3278.61/3286.52 c #Conflicts: 1599000 | #Constraints: 41369 3278.61/3286.52 c #Conflicts: 1600000 | #Constraints: 42369 3278.61/3286.52 c #Conflicts: 1601000 | #Constraints: 43369 3278.61/3286.52 c #Conflicts: 1602000 | #Constraints: 44369 3278.61/3286.52 c #Conflicts: 1603000 | #Constraints: 45370 3278.61/3286.52 c #Conflicts: 1604000 | #Constraints: 46371 3278.61/3286.52 c #Conflicts: 1605000 | #Constraints: 47371 3278.61/3286.52 c #Conflicts: 1606000 | #Constraints: 48371 3278.61/3286.52 c #Conflicts: 1607000 | #Constraints: 49371 3278.61/3286.52 c #Conflicts: 1608000 | #Constraints: 50371 3278.61/3286.52 c #Conflicts: 1609000 | #Constraints: 51371 3278.61/3286.52 c #Conflicts: 1610000 | #Constraints: 52371 3278.61/3286.52 c #Conflicts: 1611000 | #Constraints: 53371 3278.61/3286.52 c #Conflicts: 1612000 | #Constraints: 54371 3278.61/3286.52 c #Conflicts: 1613000 | #Constraints: 55371 3278.61/3286.52 c #Conflicts: 1614000 | #Constraints: 56371 3278.61/3286.52 c #Conflicts: 1615000 | #Constraints: 57371 3278.61/3286.52 c #Conflicts: 1616000 | #Constraints: 58371 3278.61/3286.52 c #Conflicts: 1617000 | #Constraints: 59372 3278.61/3286.52 c #Conflicts: 1618000 | #Constraints: 60372 3278.61/3286.52 c #Conflicts: 1619000 | #Constraints: 61372 3278.61/3286.52 c #Conflicts: 1620000 | #Constraints: 62372 3278.61/3286.52 c #Conflicts: 1621000 | #Constraints: 63372 3278.61/3286.52 c #Conflicts: 1622000 | #Constraints: 64372 3278.61/3286.52 c #Conflicts: 1623000 | #Constraints: 65372 3278.61/3286.52 c #Conflicts: 1624000 | #Constraints: 66372 3278.61/3286.52 c #Conflicts: 1625000 | #Constraints: 67372 3278.61/3286.52 c #Conflicts: 1626000 | #Constraints: 68372 3278.61/3286.52 c #Conflicts: 1627000 | #Constraints: 69372 3278.61/3286.52 c #Conflicts: 1628000 | #Constraints: 70372 3278.61/3286.52 c #Conflicts: 1629000 | #Constraints: 71372 3278.61/3286.52 c #Conflicts: 1630000 | #Constraints: 72372 3278.61/3286.52 c #Conflicts: 1631000 | #Constraints: 73372 3278.61/3286.52 c #Conflicts: 1632000 | #Constraints: 74372 3278.61/3286.52 c #Conflicts: 1633000 | #Constraints: 75372 3278.61/3286.52 c #Conflicts: 1634000 | #Constraints: 76372 3278.61/3286.52 c #Conflicts: 1635000 | #Constraints: 77372 3278.61/3286.52 c #Conflicts: 1636000 | #Constraints: 78372 3278.61/3286.52 c #Conflicts: 1637000 | #Constraints: 79372 3278.61/3286.52 c #Conflicts: 1638000 | #Constraints: 80372 3278.61/3286.52 c #Conflicts: 1639000 | #Constraints: 81372 3278.61/3286.52 c #Conflicts: 1640000 | #Constraints: 82372 3278.61/3286.52 c #Conflicts: 1641000 | #Constraints: 83372 3278.61/3286.52 c #Conflicts: 1642000 | #Constraints: 84372 3278.61/3286.52 c #Conflicts: 1643000 | #Constraints: 85372 3278.61/3286.52 c #Conflicts: 1644000 | #Constraints: 86372 3278.61/3286.52 c #Conflicts: 1645000 | #Constraints: 87372 3278.61/3286.52 c #Conflicts: 1646000 | #Constraints: 88373 3278.61/3286.52 c #Conflicts: 1647000 | #Constraints: 89373 3278.61/3286.52 c #Conflicts: 1648000 | #Constraints: 90373 3278.61/3286.52 c #Conflicts: 1649000 | #Constraints: 91373 3278.61/3286.52 c #Conflicts: 1650000 | #Constraints: 92373 3278.61/3286.52 c #Conflicts: 1651000 | #Constraints: 93373 3278.61/3286.52 c #Conflicts: 1652000 | #Constraints: 94373 3278.61/3286.52 c #Conflicts: 1653000 | #Constraints: 95373 3278.61/3286.52 c #Conflicts: 1654000 | #Constraints: 96373 3278.61/3286.52 c #Conflicts: 1655000 | #Constraints: 97373 3278.61/3286.52 c #Conflicts: 1656000 | #Constraints: 98374 3278.61/3286.52 c #Conflicts: 1657000 | #Constraints: 99374 3278.61/3286.52 c #Conflicts: 1658000 | #Constraints: 100374 3278.61/3286.52 c #Conflicts: 1659000 | #Constraints: 101374 3278.61/3286.52 c #Conflicts: 1660000 | #Constraints: 102374 3278.61/3286.52 c #Conflicts: 1661000 | #Constraints: 103374 3278.61/3286.52 c #Conflicts: 1662000 | #Constraints: 104374 3278.61/3286.52 c #Conflicts: 1663000 | #Constraints: 105374 3278.61/3286.52 c #Conflicts: 1664000 | #Constraints: 106374 3278.61/3286.52 c #Conflicts: 1665000 | #Constraints: 107374 3278.61/3286.52 c #Conflicts: 1666000 | #Constraints: 108374 3278.61/3286.52 c #Conflicts: 1667000 | #Constraints: 109374 3278.61/3286.52 c #Conflicts: 1668000 | #Constraints: 110374 3278.61/3286.52 c #Conflicts: 1669000 | #Constraints: 111374 3278.61/3286.52 c #Conflicts: 1670000 | #Constraints: 112374 3278.61/3286.52 c #Conflicts: 1671000 | #Constraints: 113374 3278.61/3286.52 c #Conflicts: 1672000 | #Constraints: 114375 3394.93/3403.10 c #Conflicts: 1673000 | #Constraints: 115375 3394.93/3403.10 c #Conflicts: 1674000 | #Constraints: 116375 3394.93/3403.10 c #Conflicts: 1675000 | #Constraints: 117375 3394.93/3403.10 c #Conflicts: 1676000 | #Constraints: 118375 3394.93/3403.10 c #Conflicts: 1677000 | #Constraints: 119375 3394.93/3403.10 c #Conflicts: 1678000 | #Constraints: 120375 3394.93/3403.10 c #Conflicts: 1679000 | #Constraints: 121375 3394.93/3403.10 c #Conflicts: 1680000 | #Constraints: 122375 3394.93/3403.10 c #Conflicts: 1681000 | #Constraints: 123375 3394.93/3403.10 c #Conflicts: 1682000 | #Constraints: 124375 3394.93/3403.10 c #Conflicts: 1683000 | #Constraints: 125375 3394.93/3403.10 c #Conflicts: 1684000 | #Constraints: 126375 3394.93/3403.10 c #Conflicts: 1685000 | #Constraints: 127375 3394.93/3403.10 c #Conflicts: 1686000 | #Constraints: 128375 3394.93/3403.10 c #Conflicts: 1687000 | #Constraints: 129375 3394.93/3403.10 c #Conflicts: 1688000 | #Constraints: 130375 3394.93/3403.10 c #Conflicts: 1689000 | #Constraints: 131375 3394.93/3403.10 c #Conflicts: 1690000 | #Constraints: 132375 3394.93/3403.10 c #Conflicts: 1691000 | #Constraints: 133375 3394.93/3403.10 c #Conflicts: 1692000 | #Constraints: 134375 3394.93/3403.10 c #Conflicts: 1693000 | #Constraints: 135375 3394.93/3403.10 c #Conflicts: 1694000 | #Constraints: 136375 3394.93/3403.10 c #Conflicts: 1695000 | #Constraints: 137375 3394.93/3403.10 c #Conflicts: 1696000 | #Constraints: 138375 3394.93/3403.10 c INPROCESSING 3394.93/3403.10 c GARBAGE COLLECT 3394.93/3403.10 c rational objective 82 3466.36/3474.77 c #Conflicts: 1697000 | #Constraints: 73051 3466.36/3474.77 c #Conflicts: 1698000 | #Constraints: 74051 3466.36/3474.77 c #Conflicts: 1699000 | #Constraints: 75051 3466.36/3474.77 c #Conflicts: 1700000 | #Constraints: 76051 3466.36/3474.77 c #Conflicts: 1701000 | #Constraints: 77051 3466.36/3474.77 c #Conflicts: 1702000 | #Constraints: 78051 3466.36/3474.77 c #Conflicts: 1703000 | #Constraints: 79051 3466.36/3474.77 c #Conflicts: 1704000 | #Constraints: 80051 3466.36/3474.77 c #Conflicts: 1705000 | #Constraints: 81051 3466.36/3474.77 c #Conflicts: 1706000 | #Constraints: 82051 3466.36/3474.77 c #Conflicts: 1707000 | #Constraints: 83051 3466.36/3474.77 c #Conflicts: 1708000 | #Constraints: 84051 3466.36/3474.77 c #Conflicts: 1709000 | #Constraints: 85051 3466.36/3474.77 c #Conflicts: 1710000 | #Constraints: 86052 3466.36/3474.77 c #Conflicts: 1711000 | #Constraints: 87052 3466.36/3474.77 c #Conflicts: 1712000 | #Constraints: 88052 3466.36/3474.77 c #Conflicts: 1713000 | #Constraints: 89052 3466.36/3474.77 c #Conflicts: 1714000 | #Constraints: 90052 3466.36/3474.77 c #Conflicts: 1715000 | #Constraints: 91052 3466.36/3474.77 c #Conflicts: 1716000 | #Constraints: 92052 3466.36/3474.77 c #Conflicts: 1717000 | #Constraints: 93052 3466.36/3474.77 c #Conflicts: 1718000 | #Constraints: 94052 3466.36/3474.77 c #Conflicts: 1719000 | #Constraints: 95052 3466.36/3474.77 c #Conflicts: 1720000 | #Constraints: 96052 3466.36/3474.77 c #Conflicts: 1721000 | #Constraints: 97052 3466.36/3474.77 c #Conflicts: 1722000 | #Constraints: 98052 3466.36/3474.77 c #Conflicts: 1723000 | #Constraints: 99052 3466.36/3474.77 c #Conflicts: 1724000 | #Constraints: 100052 3466.36/3474.77 c #Conflicts: 1725000 | #Constraints: 101052 3466.36/3474.77 c INPROCESSING 3466.36/3474.77 c GARBAGE COLLECT 3466.36/3474.77 c rational objective 82 3550.37/3558.98 c #Conflicts: 1726000 | #Constraints: 54492 3550.37/3558.98 c #Conflicts: 1727000 | #Constraints: 55492 3550.37/3558.98 c #Conflicts: 1728000 | #Constraints: 56492 3550.37/3558.98 c #Conflicts: 1729000 | #Constraints: 57492 3550.37/3558.98 c #Conflicts: 1730000 | #Constraints: 58492 3550.37/3558.98 c #Conflicts: 1731000 | #Constraints: 59492 3550.37/3558.98 c #Conflicts: 1732000 | #Constraints: 60492 3550.37/3558.98 c #Conflicts: 1733000 | #Constraints: 61492 3550.37/3558.98 c #Conflicts: 1734000 | #Constraints: 62492 3550.37/3558.98 c #Conflicts: 1735000 | #Constraints: 63492 3550.37/3558.98 c #Conflicts: 1736000 | #Constraints: 64492 3550.37/3558.98 c #Conflicts: 1737000 | #Constraints: 65492 3550.37/3558.98 c #Conflicts: 1738000 | #Constraints: 66492 3550.37/3558.98 c #Conflicts: 1739000 | #Constraints: 67492 3550.37/3558.98 c #Conflicts: 1740000 | #Constraints: 68492 3550.37/3558.98 c #Conflicts: 1741000 | #Constraints: 69492 3550.37/3558.98 c #Conflicts: 1742000 | #Constraints: 70492 3550.37/3558.98 c #Conflicts: 1743000 | #Constraints: 71492 3550.37/3558.98 c #Conflicts: 1744000 | #Constraints: 72492 3550.37/3558.98 c #Conflicts: 1745000 | #Constraints: 73492 3550.37/3558.98 c #Conflicts: 1746000 | #Constraints: 74492 3550.37/3558.98 c #Conflicts: 1747000 | #Constraints: 75492 3550.37/3558.98 c #Conflicts: 1748000 | #Constraints: 76492 3550.37/3558.98 c #Conflicts: 1749000 | #Constraints: 77492 3550.37/3558.98 c #Conflicts: 1750000 | #Constraints: 78492 3550.37/3558.98 c #Conflicts: 1751000 | #Constraints: 79493 3550.37/3558.98 c #Conflicts: 1752000 | #Constraints: 80493 3550.37/3558.98 c #Conflicts: 1753000 | #Constraints: 81493 3550.37/3558.98 c #Conflicts: 1754000 | #Constraints: 82493 3550.37/3558.98 c INPROCESSING 3550.37/3558.98 c GARBAGE COLLECT 3550.37/3558.98 c rational objective 82 3600.26/3608.92 c #Conflicts: 1755000 | #Constraints: 45319 3600.26/3608.92 c #Conflicts: 1756000 | #Constraints: 46319 3600.26/3608.92 c #Conflicts: 1757000 | #Constraints: 47319 3600.26/3608.92 c #Conflicts: 1758000 | #Constraints: 48319 3600.26/3608.92 c #Conflicts: 1759000 | #Constraints: 49319 3600.26/3608.92 c #Conflicts: 1760000 | #Constraints: 50319 3600.26/3608.92 c #Conflicts: 1761000 | #Constraints: 51319 3600.26/3608.92 c #Conflicts: 1762000 | #Constraints: 52319 3600.26/3608.92 c #Conflicts: 1763000 | #Constraints: 53319 3600.26/3608.92 c #Conflicts: 1764000 | #Constraints: 54319 3600.26/3608.92 c #Conflicts: 1765000 | #Constraints: 55319 3600.26/3608.92 c #Conflicts: 1766000 | #Constraints: 56319 3600.26/3608.92 c #Conflicts: 1767000 | #Constraints: 57319 3600.26/3608.92 c #Conflicts: 1768000 | #Constraints: 58319 3600.26/3608.92 c #Conflicts: 1769000 | #Constraints: 59319 3600.26/3608.92 c #Conflicts: 1770000 | #Constraints: 60319 3600.26/3608.92 c #Conflicts: 1771000 | #Constraints: 61319 3600.26/3608.92 c #Conflicts: 1772000 | #Constraints: 62319 3600.26/3608.92 c #Conflicts: 1773000 | #Constraints: 63319 3600.26/3608.92 c #Conflicts: 1774000 | #Constraints: 64319 3600.26/3608.92 c #Conflicts: 1775000 | #Constraints: 65319 3600.26/3608.92 c #Conflicts: 1776000 | #Constraints: 66319 3600.26/3608.92 c #Conflicts: 1777000 | #Constraints: 67320 3600.26/3608.92 c #Conflicts: 1778000 | #Constraints: 68320 3600.26/3608.92 c #Conflicts: 1779000 | #Constraints: 69320 3600.26/3608.92 c #Conflicts: 1780000 | #Constraints: 70320 3600.26/3608.92 c #Conflicts: 1781000 | #Constraints: 71320 3600.26/3608.92 c #Conflicts: 1782000 | #Constraints: 72320 3600.26/3608.92 c #Conflicts: 1783000 | #Constraints: 73320 3600.26/3608.92 c INPROCESSING 3600.26/3608.92 c GARBAGE COLLECT 3600.26/3608.92 c rational objective 82 3600.26/3608.92 c Disabling crashed LP 3600.26/3608.92 c Program interrupted by user. 3600.26/3608.92 c cpu time 3568.01 s 3600.26/3608.92 c deterministic time 397415463968 3.97e+11 3600.26/3608.92 c optimization time 0.000125 s 3600.26/3608.92 c total solve time 3567.99 s 3600.26/3608.92 c core-guided solve time 0 s 3600.26/3608.92 c propagation time 2362.45 s 3600.26/3608.92 c conflict analysis time 751.142 s 3600.26/3608.92 c propagations 756896711 3600.26/3608.92 c resolve steps 67677257 3600.26/3608.92 c decisions 12475201 3600.26/3608.92 c conflicts 1783501 3600.26/3608.92 c restarts 3451 3600.26/3608.92 c inprocessing phases 87 3600.26/3608.92 c input clauses 5660 3600.26/3608.92 c input cardinalities 82 3600.26/3608.92 c input general constraints 0 3600.26/3608.92 c input average constraint length 6.23 3600.26/3608.92 c input average constraint degree 1.94 3600.26/3608.92 c learned clauses 1241884 3600.26/3608.92 c learned cardinalities 35316 3600.26/3608.92 c learned general constraints 506546 3600.26/3608.92 c learned average constraint length 828.88 3600.26/3608.92 c learned average constraint degree 74856698.14 3600.26/3608.92 c watched constraints 440344 3600.26/3608.92 c counting constraints 66202 3600.26/3608.92 c gcd simplifications 6861 3600.26/3608.92 c detected cardinalities 1657 3600.26/3608.92 c weakened non-implied lits 255922318 3600.26/3608.92 c weakened non-implying lits 621638 3600.26/3608.92 c original variables 5576 3600.26/3608.92 c clausal propagations 279114033 3600.26/3608.92 c cardinality propagations 253091253 3600.26/3608.92 c watched propagations 70007885 3600.26/3608.92 c counting propagations 148916735 3600.26/3608.92 c watch lookups 32922526695 3600.26/3608.92 c watch backjump lookups 25607908168 3600.26/3608.92 c watch checks 284834504126 3600.26/3608.92 c propagation checks 47991224718 3600.26/3608.92 c constraint additions 4516191837 3600.26/3608.92 c trail pops 771154720 3600.26/3608.92 c formula constraints 5742 3600.26/3608.92 c learned constraints 1783310 3600.26/3608.92 c bound constraints 0 3600.26/3608.92 c core-guided constraints 0 3600.26/3608.92 c encountered formula constraints 38587802 3600.26/3608.92 c encountered learned constraints 30868039 3600.26/3608.92 c encountered bound constraints 0 3600.26/3608.92 c encountered core-guided constraints 0 3600.26/3608.92 c LP total time 926.737 s 3600.26/3608.92 c LP solve time 871.38 s 3600.26/3608.92 c LP constraints added 11224 3600.26/3608.92 c LP constraints removed 5324 3600.26/3608.92 c LP pivots internal 1783529 3600.26/3608.92 c LP pivots root 798262 3600.26/3608.92 c LP calls 326 3600.26/3608.92 c LP optimalities 128 3600.26/3608.92 c LP no pivot count 3 3600.26/3608.92 c LP infeasibilities 192 3600.26/3608.92 c LP valid Farkas constraints 192 3600.26/3608.92 c LP learned Farkas constraints 191 3600.26/3608.92 c LP basis resets 0 3600.26/3608.92 c LP cycling count 0 3600.26/3608.92 c LP singular count 0 3600.26/3608.92 c LP no primal count 0 3600.26/3608.92 c LP no farkas count 0 3600.26/3608.92 c LP other issue count 0 3600.26/3608.92 c LP Gomory cuts 53 3600.26/3608.92 c LP learned cuts 5429 3600.26/3608.92 c LP deleted cuts 5324 3600.26/3608.92 c LP encountered Gomory constraints 25 3600.26/3608.92 c LP encountered Farkas constraints 3391 3600.26/3608.93 c LP encountered learned Farkas constraints 1310 3600.26/3608.93 c CG auxiliary variables introduced 0 3600.26/3608.93 c CG solutions found 0 3600.26/3608.93 c CG cores constructed 0 3600.26/3608.93 c CG core cardinality constraints returned 0 3600.26/3608.93 c CG unit cores 0 3600.26/3608.93 c CG single cores 0 3600.26/3608.93 c CG blocks removed during cardinality reduction 0 3600.26/3608.93 c CG first core best 0 3600.26/3608.93 c CG decision core best 0 3600.26/3608.93 c CG core reduction tie 0 3600.26/3608.93 c CG core degree average 0.00 3600.26/3608.93 c CG core slack average 0.00 3600.26/3608.93 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 (59152 MiB free)
memory of node 1: 64473 MiB (62705 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455622-1721464544/watcher-4455622-1721464544 -o /tmp/evaluation-result-4455622-1721464544/solver-4455622-1721464544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721460937-1055688 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455622-1721464544.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1057916, runsolver pid=1057913
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.12 4.12 4.09 5/257 1057917
/proc/meminfo: memFree=124771992/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=47348 memory=16356 CPUtime=0.09 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 3142 0 0 0 9 0 0 0 20 0 1 0 198623316 48484352 4089 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 11837 4089 1692 922 0 3789 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47348 KiB
Current children cumulated memory: 16356 KiB
[startup+0.205563 s]*
/proc/loadavg: 4.12 4.12 4.09 5/257 1057917
/proc/meminfo: memFree=124770852/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=48564 memory=17412 CPUtime=0.2 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 3411 0 0 0 19 1 0 0 20 0 1 0 198623316 49729536 4353 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 12141 4353 1692 922 0 4093 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48564 KiB
Current children cumulated memory: 17412 KiB
[startup+0.305489 s]*
/proc/loadavg: 4.12 4.12 4.09 5/257 1057917
/proc/meminfo: memFree=124770516/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=48564 memory=17412 CPUtime=0.3 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 3418 0 0 0 29 1 0 0 20 0 1 0 198623316 49729536 4353 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 12141 4353 1692 922 0 4093 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48564 KiB
Current children cumulated memory: 17412 KiB
[startup+0.700189 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1057917
/proc/meminfo: memFree=124770180/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=48564 memory=17792 CPUtime=0.69 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 3436 0 0 0 68 1 0 0 20 0 1 0 198623316 49729536 4448 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 12141 4448 1723 922 0 4093 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48564 KiB
Current children cumulated memory: 17792 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1057917
/proc/meminfo: memFree=124767912/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=49752 memory=20952 CPUtime=1.48 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 3757 0 0 0 142 6 0 0 20 0 1 0 198623316 50946048 5238 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 12438 5238 1739 922 0 4390 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49752 KiB
Current children cumulated memory: 20952 KiB
[startup+3.10544 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1057917
/proc/meminfo: memFree=124763964/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=51040 memory=22268 CPUtime=3.09 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 4041 0 0 0 300 9 0 0 20 0 1 0 198623316 52264960 5567 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 12760 5567 1739 922 0 4712 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51040 KiB
Current children cumulated memory: 22268 KiB
[startup+6.30019 s]
/proc/loadavg: 4.19 4.13 4.10 5/254 1057919
/proc/meminfo: memFree=124759320/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=52208 memory=25096 CPUtime=6.27 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 4710 0 0 0 609 18 0 0 20 0 1 0 198623316 53460992 6274 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 13052 6274 1790 922 0 5004 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52208 KiB
Current children cumulated memory: 25096 KiB
[startup+12.7002 s]
/proc/loadavg: 4.25 4.15 4.10 5/254 1057919
/proc/meminfo: memFree=124743340/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=56452 memory=29584 CPUtime=12.66 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 5310 0 0 0 1238 28 0 0 20 0 1 0 198623316 57806848 7396 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 14113 7396 1806 922 0 6065 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 56452 KiB
Current children cumulated memory: 29584 KiB
[startup+25.5002 s]
/proc/loadavg: 4.34 4.17 4.11 5/254 1057922
/proc/meminfo: memFree=124696452/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=86392 memory=55628 CPUtime=25.43 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 10838 0 0 0 2484 59 0 0 20 0 1 0 198623316 88465408 13907 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 21598 13907 1806 922 0 13550 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 86392 KiB
Current children cumulated memory: 55628 KiB
[startup+51.1053 s]
/proc/loadavg: 4.28 4.17 4.11 5/254 1057925
/proc/meminfo: memFree=124654324/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=91896 memory=60384 CPUtime=50.98 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 12396 0 0 0 4999 99 0 0 20 0 1 0 198623316 94101504 15096 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 22974 15096 1822 922 0 14926 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 91896 KiB
Current children cumulated memory: 60384 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/255 1057936
/proc/meminfo: memFree=124508060/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=108964 memory=78424 CPUtime=102.06 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 14541 0 0 0 10014 192 0 0 20 0 1 0 198623316 111579136 19606 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 27241 19606 1822 922 0 19193 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 108964 KiB
Current children cumulated memory: 78424 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/255 1057947
/proc/meminfo: memFree=124419424/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=134624 memory=97320 CPUtime=161.9 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 17589 0 0 0 15905 285 0 0 20 0 1 0 198623316 137854976 24330 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 33656 24330 1822 922 0 25608 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 134624 KiB
Current children cumulated memory: 97320 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 1057957
/proc/meminfo: memFree=124368796/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=141608 memory=113136 CPUtime=221.76 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 19553 0 0 0 21790 386 0 0 20 0 1 0 198623316 145006592 28284 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 35402 28284 1822 922 0 27354 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 141608 KiB
Current children cumulated memory: 113136 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/255 1057967
/proc/meminfo: memFree=124204868/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=314720 memory=222260 CPUtime=281.62 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 23305 0 0 0 27707 455 0 0 20 0 1 0 198623316 322273280 55565 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 78680 55565 1822 922 0 70632 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 314720 KiB
Current children cumulated memory: 222260 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/257 1057982
/proc/meminfo: memFree=124164576/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=318240 memory=225692 CPUtime=341.47 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 24171 0 0 0 33607 540 0 0 20 0 1 0 198623316 325877760 56423 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 79560 56423 1822 922 0 71512 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 318240 KiB
Current children cumulated memory: 225692 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/256 1057993
/proc/meminfo: memFree=123979640/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=330528 memory=237380 CPUtime=401.32 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 27104 0 0 0 39520 612 0 0 20 0 1 0 198623316 338460672 59345 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 82632 59345 1822 922 0 74584 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 330528 KiB
Current children cumulated memory: 237380 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/257 1058004
/proc/meminfo: memFree=123863040/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=339828 memory=256048 CPUtime=461.17 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 29272 0 0 0 45441 676 0 0 20 0 1 0 198623316 347983872 64012 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 84957 64012 1822 922 0 76909 0
################
# More data... #
################
Current children cumulated memory: 788292 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/256 1059129
/proc/meminfo: memFree=125039788/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1125860 memory=790000 CPUtime=2975.09 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 63070 0 0 0 294682 2827 0 0 20 0 1 0 198623316 1152880640 197500 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 281465 197500 1822 922 0 273417 0
Current children cumulated CPU time: 2975.09 s
Current children cumulated vsize: 1125860 KiB
Current children cumulated memory: 790000 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/254 1059521
/proc/meminfo: memFree=125027684/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1124864 memory=789396 CPUtime=3034.96 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 63488 0 0 0 300622 2874 0 0 20 0 1 0 198623316 1151860736 197349 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 281216 197349 1822 922 0 273168 0
Current children cumulated CPU time: 3034.96 s
Current children cumulated vsize: 1124864 KiB
Current children cumulated memory: 789396 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/254 1059532
/proc/meminfo: memFree=125014544/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1123188 memory=787536 CPUtime=3094.82 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 64854 0 0 0 306559 2923 0 0 20 0 1 0 198623316 1150144512 196884 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 280797 196884 1822 922 0 272749 0
Current children cumulated CPU time: 3094.82 s
Current children cumulated vsize: 1123188 KiB
Current children cumulated memory: 787536 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/254 1059542
/proc/meminfo: memFree=125010220/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1123720 memory=788620 CPUtime=3154.69 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 65329 0 0 0 312503 2966 0 0 20 0 1 0 198623316 1150689280 197155 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 280930 197155 1953 922 0 272882 0
Current children cumulated CPU time: 3154.69 s
Current children cumulated vsize: 1123720 KiB
Current children cumulated memory: 788620 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.15 4.13 5/256 1059723
/proc/meminfo: memFree=124975840/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1126348 memory=790708 CPUtime=3214.56 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 66300 0 0 0 318458 2998 0 0 20 0 1 0 198623316 1153380352 197677 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 281587 197677 1953 922 0 273539 0
Current children cumulated CPU time: 3214.56 s
Current children cumulated vsize: 1126348 KiB
Current children cumulated memory: 790708 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/256 1059733
/proc/meminfo: memFree=124912924/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1133600 memory=796380 CPUtime=3274.42 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 68009 0 0 0 324415 3027 0 0 20 0 1 0 198623316 1160806400 199095 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 283400 199095 1953 922 0 275352 0
Current children cumulated CPU time: 3274.42 s
Current children cumulated vsize: 1133600 KiB
Current children cumulated memory: 796380 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/260 1059804
/proc/meminfo: memFree=124859064/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1135920 memory=798628 CPUtime=3334.27 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 68848 0 0 0 330375 3052 0 0 20 0 1 0 198623316 1163182080 199657 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 283980 199657 1953 922 0 275932 0
Current children cumulated CPU time: 3334.27 s
Current children cumulated vsize: 1135920 KiB
Current children cumulated memory: 798628 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/260 1059815
/proc/meminfo: memFree=124842676/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1142328 memory=803436 CPUtime=3394.13 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 70453 0 0 0 336337 3076 0 0 20 0 1 0 198623316 1169743872 200859 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 285582 200859 1953 922 0 277534 0
Current children cumulated CPU time: 3394.13 s
Current children cumulated vsize: 1142328 KiB
Current children cumulated memory: 803436 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/260 1059825
/proc/meminfo: memFree=124828988/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1148584 memory=809588 CPUtime=3453.99 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 72480 0 0 0 342286 3113 0 0 20 0 1 0 198623316 1176150016 202397 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 287146 202397 1953 922 0 279098 0
Current children cumulated CPU time: 3453.99 s
Current children cumulated vsize: 1148584 KiB
Current children cumulated memory: 809588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/258 1059837
/proc/meminfo: memFree=124831056/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1144344 memory=805628 CPUtime=3513.85 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 72941 0 0 0 348233 3152 0 0 20 0 1 0 198623316 1171808256 201407 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 286086 201407 1953 922 0 278038 0
Current children cumulated CPU time: 3513.85 s
Current children cumulated vsize: 1144344 KiB
Current children cumulated memory: 805628 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/258 1059847
/proc/meminfo: memFree=124810456/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1146464 memory=807108 CPUtime=3573.72 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 73918 0 0 0 354164 3208 0 0 20 0 1 0 198623316 1173979136 201777 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 286616 201777 1953 922 0 278568 0
Current children cumulated CPU time: 3573.72 s
Current children cumulated vsize: 1146464 KiB
Current children cumulated memory: 807108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.16 4.14 4.12 5/256 1059959
/proc/meminfo: memFree=127237336/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1146464 memory=807520 CPUtime=3600.06 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 74154 0 0 0 356778 3228 0 0 20 0 1 0 198623316 1173979136 201880 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 286616 201880 1953 922 0 278568 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1146464 KiB
Current children cumulated memory: 807520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.93 s]
# the end of solver process 1057916 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3568.01 s, system=32.2948 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.8 s]
/proc/loadavg: 4.16 4.14 4.12 5/256 1059959
/proc/meminfo: memFree=127237336/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1146464 memory=807520 CPUtime=3600.16 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 74154 0 0 0 356788 3228 0 0 20 0 1 0 198623316 1173979136 201880 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 286616 201880 1953 922 0 278568 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 1146464 KiB
Current children cumulated memory: 807520 KiB
[startup+3608.9 s]
/proc/loadavg: 4.16 4.14 4.12 5/256 1059959
/proc/meminfo: memFree=127237336/131524600 swapFree=131071996/131071996
[pid=1057916] ppid=1057913 vsize=1146464 memory=807520 CPUtime=3600.26 cores=5,7
/proc/1057916/stat : 1057916 (roundingsat) R 1057913 1057916 1055675 0 -1 4194304 74154 0 0 0 356798 3228 0 0 20 0 1 0 198623316 1173979136 201880 134679101440 4194304 7968373 140728412788288 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14319616 140728412795836 140728412796000 140728412796000 140728412803017 0
/proc/1057916/statm: 286616 201880 1953 922 0 278568 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 1146464 KiB
Current children cumulated memory: 807520 KiB
Child status: 0
Real time (s): 3608.93
CPU time (s): 3600.3
CPU user time (s): 3568.01
CPU system time (s): 32.2948
CPU usage (%): 99.7609
Max. virtual memory (cumulated for all children) (KiB): 1149808
Max. memory (cumulated for all children) (KiB): 810600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.01
system time used= 32.2948
maximum resident set size= 810600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74163
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 3027
# summary of solver processes directly reported to runsolver:
# pid: 1057916
# total CPU time (s): 3600.3
# total CPU user time (s): 3568.01
# total CPU system time (s): 32.2948
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79054 second user time and 16.0627 second system time
The end
Begin job on nodeC032 at 2024-07-20 10:35:56 IDJOB=4455622 IDBENCH=158340 IDSOLVER=3084 FILE ID=nodeC032/4455622-1721464544 RUNJOBID= nodeC032-1721460937-1055688 SLURM_JOB_ID= 7545712 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K82.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455622-1721464544/watcher-4455622-1721464544 -o /tmp/evaluation-result-4455622-1721464544/solver-4455622-1721464544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721460937-1055688 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455622-1721464544.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5599f1c242004f89302cb9020bac47d1 RANDOM SEED=31761493 nodeC032.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 : 3672.619 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.33 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 : 3668.759 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.03 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 : 3599.773 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.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.173 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.03 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 : 3672.796 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.33 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 : 3660.922 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.03 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 : 3599.793 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.33 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 : 3666.646 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.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124782344 kB MemAvailable: 127419736 kB Buffers: 564972 kB Cached: 2893312 kB SwapCached: 0 kB Active: 1061052 kB Inactive: 5008192 kB Active(anon): 1580 kB Inactive(anon): 2655284 kB Active(file): 1059472 kB Inactive(file): 2352908 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5988 kB Writeback: 0 kB AnonPages: 2611004 kB Mapped: 116984 kB Shmem: 45912 kB KReclaimable: 129668 kB Slab: 247220 kB SReclaimable: 129668 kB SUnreclaim: 117552 kB KernelStack: 4076 kB PageTables: 14284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3181584 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74304 kB HardwareCorrupted: 0 kB AnonHugePages: 1187840 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: 246484 kB DirectMap2M: 24692736 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 890012 MiB End job on nodeC032 at 2024-07-20 11:36:05