| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.1 | 3608.91 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K106.opb |
| MD5SUM | 24ba6b7b7d8e9ae68244a11b7fe894d2 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.797123 |
| 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 | 7208 |
| Total number of constraints | 7422 |
| Number of constraints which are clauses | 7316 |
| Number of constraints which are cardinality constraints (but not clauses) | 106 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 106 |
| 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 | 107 |
| 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.03 c #variables 7208 #constraints 7422 17.06/17.16 c #Conflicts: 1000 | #Constraints: 8421 17.06/17.16 c #Conflicts: 2000 | #Constraints: 9421 17.06/17.16 c INPROCESSING 17.06/17.16 c GARBAGE COLLECT 17.06/17.16 c #Conflicts: 3000 | #Constraints: 9112 17.06/17.16 c #Conflicts: 4000 | #Constraints: 10112 17.06/17.16 c INPROCESSING 17.06/17.16 c GARBAGE COLLECT 17.06/17.16 c #Conflicts: 5000 | #Constraints: 9586 17.06/17.16 c #Conflicts: 6000 | #Constraints: 10586 17.06/17.16 c INPROCESSING 17.06/17.16 c GARBAGE COLLECT 17.06/17.16 c #Conflicts: 7000 | #Constraints: 9640 17.06/17.16 c #Conflicts: 8000 | #Constraints: 10640 17.06/17.16 c #Conflicts: 9000 | #Constraints: 11640 17.06/17.16 c INPROCESSING 17.06/17.16 c GARBAGE COLLECT 17.06/17.16 c rational objective 106 32.82/33.00 c #Conflicts: 10000 | #Constraints: 10388 32.82/33.00 c #Conflicts: 11000 | #Constraints: 11388 32.82/33.00 c #Conflicts: 12000 | #Constraints: 12388 32.82/33.00 c INPROCESSING 32.82/33.00 c GARBAGE COLLECT 32.82/33.00 c #Conflicts: 13000 | #Constraints: 10888 32.82/33.00 c #Conflicts: 14000 | #Constraints: 11888 32.82/33.00 c #Conflicts: 15000 | #Constraints: 12889 32.82/33.00 c INPROCESSING 32.82/33.00 c GARBAGE COLLECT 32.82/33.00 c #Conflicts: 16000 | #Constraints: 11156 32.82/33.00 c #Conflicts: 17000 | #Constraints: 12156 32.82/33.00 c #Conflicts: 18000 | #Constraints: 13156 32.82/33.00 c INPROCESSING 32.82/33.00 c GARBAGE COLLECT 32.82/33.00 c #Conflicts: 19000 | #Constraints: 11164 32.82/33.00 c #Conflicts: 20000 | #Constraints: 12164 32.82/33.00 c #Conflicts: 21000 | #Constraints: 13164 32.82/33.00 c INPROCESSING 32.82/33.00 c GARBAGE COLLECT 32.82/33.00 c #Conflicts: 22000 | #Constraints: 10995 32.82/33.00 c #Conflicts: 23000 | #Constraints: 11995 32.82/33.00 c #Conflicts: 24000 | #Constraints: 12995 32.82/33.00 c #Conflicts: 25000 | #Constraints: 13995 32.82/33.00 c INPROCESSING 32.82/33.00 c GARBAGE COLLECT 32.82/33.00 c rational objective 106 39.10/39.28 c #Conflicts: 26000 | #Constraints: 11670 39.10/39.28 c #Conflicts: 27000 | #Constraints: 12670 39.10/39.28 c #Conflicts: 28000 | #Constraints: 13670 39.10/39.28 c #Conflicts: 29000 | #Constraints: 14670 39.10/39.28 c INPROCESSING 39.10/39.28 c GARBAGE COLLECT 39.10/39.28 c rational objective 106 71.93/72.12 c #Conflicts: 30000 | #Constraints: 12076 71.93/72.12 c #Conflicts: 31000 | #Constraints: 13076 71.93/72.12 c #Conflicts: 32000 | #Constraints: 14076 71.93/72.12 c #Conflicts: 33000 | #Constraints: 15076 71.93/72.12 c INPROCESSING 71.93/72.12 c GARBAGE COLLECT 71.93/72.12 c #Conflicts: 34000 | #Constraints: 12274 71.93/72.12 c #Conflicts: 35000 | #Constraints: 13274 71.93/72.12 c #Conflicts: 36000 | #Constraints: 14274 71.93/72.12 c #Conflicts: 37000 | #Constraints: 15274 71.93/72.12 c #Conflicts: 38000 | #Constraints: 16274 71.93/72.12 c #Conflicts: 39000 | #Constraints: 17274 71.93/72.12 c #Conflicts: 40000 | #Constraints: 18274 71.93/72.12 c #Conflicts: 41000 | #Constraints: 19274 71.93/72.12 c #Conflicts: 42000 | #Constraints: 20275 71.93/72.12 c #Conflicts: 43000 | #Constraints: 21275 71.93/72.12 c #Conflicts: 44000 | #Constraints: 22275 71.93/72.12 c #Conflicts: 45000 | #Constraints: 23275 71.93/72.12 c #Conflicts: 46000 | #Constraints: 24275 71.93/72.12 c #Conflicts: 47000 | #Constraints: 25275 71.93/72.12 c #Conflicts: 48000 | #Constraints: 26275 71.93/72.12 c INPROCESSING 71.93/72.12 c GARBAGE COLLECT 71.93/72.12 c rational objective 106 84.51/84.72 c #Conflicts: 49000 | #Constraints: 17926 84.51/84.72 c #Conflicts: 50000 | #Constraints: 18926 84.51/84.72 c #Conflicts: 51000 | #Constraints: 19926 84.51/84.72 c #Conflicts: 52000 | #Constraints: 20926 84.51/84.72 c #Conflicts: 53000 | #Constraints: 21926 84.51/84.72 c INPROCESSING 84.51/84.72 c GARBAGE COLLECT 84.51/84.72 c rational objective 106 107.26/107.50 c #Conflicts: 54000 | #Constraints: 15606 107.26/107.50 c #Conflicts: 55000 | #Constraints: 16606 107.26/107.50 c #Conflicts: 56000 | #Constraints: 17606 107.26/107.50 c #Conflicts: 57000 | #Constraints: 18606 107.26/107.50 c #Conflicts: 58000 | #Constraints: 19606 107.26/107.50 c INPROCESSING 107.26/107.50 c GARBAGE COLLECT 107.26/107.50 c #Conflicts: 59000 | #Constraints: 14303 107.26/107.50 c #Conflicts: 60000 | #Constraints: 15303 107.26/107.50 c #Conflicts: 61000 | #Constraints: 16303 107.26/107.50 c #Conflicts: 62000 | #Constraints: 17303 107.26/107.50 c #Conflicts: 63000 | #Constraints: 18303 107.26/107.50 c #Conflicts: 64000 | #Constraints: 19303 107.26/107.50 c INPROCESSING 107.26/107.50 c GARBAGE COLLECT 107.26/107.50 c #Conflicts: 65000 | #Constraints: 14214 107.26/107.50 c #Conflicts: 66000 | #Constraints: 15214 107.26/107.50 c #Conflicts: 67000 | #Constraints: 16215 107.26/107.50 c #Conflicts: 68000 | #Constraints: 17215 107.26/107.50 c #Conflicts: 69000 | #Constraints: 18215 107.26/107.50 c #Conflicts: 70000 | #Constraints: 19215 107.26/107.50 c INPROCESSING 107.26/107.50 c GARBAGE COLLECT 107.26/107.50 c rational objective 106 124.72/125.09 c #Conflicts: 71000 | #Constraints: 14263 124.72/125.09 c #Conflicts: 72000 | #Constraints: 15263 124.72/125.09 c #Conflicts: 73000 | #Constraints: 16263 124.72/125.09 c #Conflicts: 74000 | #Constraints: 17263 124.72/125.09 c #Conflicts: 75000 | #Constraints: 18263 124.72/125.09 c #Conflicts: 76000 | #Constraints: 19263 124.72/125.09 c #Conflicts: 77000 | #Constraints: 20263 124.72/125.09 c #Conflicts: 78000 | #Constraints: 21263 124.72/125.09 c #Conflicts: 79000 | #Constraints: 22263 124.72/125.09 c #Conflicts: 80000 | #Constraints: 23263 124.72/125.09 c #Conflicts: 81000 | #Constraints: 24263 124.72/125.09 c #Conflicts: 82000 | #Constraints: 25263 124.72/125.09 c #Conflicts: 83000 | #Constraints: 26263 124.72/125.09 c #Conflicts: 84000 | #Constraints: 27263 124.72/125.09 c #Conflicts: 85000 | #Constraints: 28263 124.72/125.09 c #Conflicts: 86000 | #Constraints: 29263 124.72/125.09 c #Conflicts: 87000 | #Constraints: 30263 124.72/125.09 c #Conflicts: 88000 | #Constraints: 31263 124.72/125.09 c #Conflicts: 89000 | #Constraints: 32263 124.72/125.09 c #Conflicts: 90000 | #Constraints: 33263 124.72/125.09 c #Conflicts: 91000 | #Constraints: 34263 124.72/125.09 c INPROCESSING 124.72/125.09 c GARBAGE COLLECT 124.72/125.09 c rational objective 106 140.48/140.86 c #Conflicts: 92000 | #Constraints: 21583 140.48/140.86 c #Conflicts: 93000 | #Constraints: 22583 140.48/140.86 c #Conflicts: 94000 | #Constraints: 23583 140.48/140.86 c #Conflicts: 95000 | #Constraints: 24583 140.48/140.86 c #Conflicts: 96000 | #Constraints: 25583 140.48/140.86 c #Conflicts: 97000 | #Constraints: 26584 140.48/140.86 c #Conflicts: 98000 | #Constraints: 27584 140.48/140.86 c #Conflicts: 99000 | #Constraints: 28585 140.48/140.86 c INPROCESSING 140.48/140.86 c GARBAGE COLLECT 140.48/140.86 c rational objective 106 150.25/150.64 c #Conflicts: 100000 | #Constraints: 19193 150.25/150.64 c #Conflicts: 101000 | #Constraints: 20193 150.25/150.64 c #Conflicts: 102000 | #Constraints: 21193 150.25/150.64 c #Conflicts: 103000 | #Constraints: 22193 150.25/150.64 c #Conflicts: 104000 | #Constraints: 23193 150.25/150.64 c #Conflicts: 105000 | #Constraints: 24193 150.25/150.64 c #Conflicts: 106000 | #Constraints: 25193 150.25/150.64 c INPROCESSING 150.25/150.64 c GARBAGE COLLECT 150.25/150.64 c rational objective 106 163.02/163.44 c #Conflicts: 107000 | #Constraints: 17309 163.02/163.44 c #Conflicts: 108000 | #Constraints: 18309 163.02/163.44 c #Conflicts: 109000 | #Constraints: 19309 163.02/163.44 c #Conflicts: 110000 | #Constraints: 20309 163.02/163.44 c #Conflicts: 111000 | #Constraints: 21309 163.02/163.44 c #Conflicts: 112000 | #Constraints: 22309 163.02/163.44 c #Conflicts: 113000 | #Constraints: 23309 163.02/163.44 c #Conflicts: 114000 | #Constraints: 24310 163.02/163.44 c INPROCESSING 163.02/163.44 c GARBAGE COLLECT 163.02/163.44 c rational objective 106 170.90/171.36 c #Conflicts: 115000 | #Constraints: 17116 170.90/171.36 c #Conflicts: 116000 | #Constraints: 18116 170.90/171.36 c #Conflicts: 117000 | #Constraints: 19116 170.90/171.36 c #Conflicts: 118000 | #Constraints: 20116 170.90/171.36 c #Conflicts: 119000 | #Constraints: 21116 170.90/171.36 c #Conflicts: 120000 | #Constraints: 22116 170.90/171.36 c #Conflicts: 121000 | #Constraints: 23116 170.90/171.36 c INPROCESSING 170.90/171.36 c GARBAGE COLLECT 170.90/171.36 c rational objective 106 194.95/195.48 c #Conflicts: 122000 | #Constraints: 16134 194.95/195.48 c #Conflicts: 123000 | #Constraints: 17134 194.95/195.48 c #Conflicts: 124000 | #Constraints: 18134 194.95/195.48 c #Conflicts: 125000 | #Constraints: 19134 194.95/195.48 c #Conflicts: 126000 | #Constraints: 20134 194.95/195.48 c #Conflicts: 127000 | #Constraints: 21134 194.95/195.48 c #Conflicts: 128000 | #Constraints: 22134 194.95/195.48 c #Conflicts: 129000 | #Constraints: 23134 194.95/195.48 c #Conflicts: 130000 | #Constraints: 24134 194.95/195.48 c #Conflicts: 131000 | #Constraints: 25134 194.95/195.48 c #Conflicts: 132000 | #Constraints: 26134 194.95/195.48 c #Conflicts: 133000 | #Constraints: 27135 194.95/195.48 c #Conflicts: 134000 | #Constraints: 28136 194.95/195.48 c #Conflicts: 135000 | #Constraints: 29136 194.95/195.48 c #Conflicts: 136000 | #Constraints: 30136 194.95/195.48 c #Conflicts: 137000 | #Constraints: 31136 194.95/195.48 c #Conflicts: 138000 | #Constraints: 32136 194.95/195.48 c #Conflicts: 139000 | #Constraints: 33136 194.95/195.48 c #Conflicts: 140000 | #Constraints: 34136 194.95/195.48 c #Conflicts: 141000 | #Constraints: 35136 194.95/195.48 c #Conflicts: 142000 | #Constraints: 36136 194.95/195.48 c #Conflicts: 143000 | #Constraints: 37137 194.95/195.48 c #Conflicts: 144000 | #Constraints: 38137 194.95/195.48 c #Conflicts: 145000 | #Constraints: 39137 194.95/195.48 c #Conflicts: 146000 | #Constraints: 40137 194.95/195.48 c #Conflicts: 147000 | #Constraints: 41137 194.95/195.48 c #Conflicts: 148000 | #Constraints: 42137 194.95/195.48 c #Conflicts: 149000 | #Constraints: 43137 194.95/195.48 c INPROCESSING 194.95/195.48 c GARBAGE COLLECT 194.95/195.48 c rational objective 106 209.52/210.02 c #Conflicts: 150000 | #Constraints: 26283 209.52/210.02 c #Conflicts: 151000 | #Constraints: 27283 209.52/210.02 c #Conflicts: 152000 | #Constraints: 28283 209.52/210.02 c #Conflicts: 153000 | #Constraints: 29283 209.52/210.02 c #Conflicts: 154000 | #Constraints: 30284 209.52/210.02 c #Conflicts: 155000 | #Constraints: 31284 209.52/210.02 c #Conflicts: 156000 | #Constraints: 32285 209.52/210.02 c #Conflicts: 157000 | #Constraints: 33285 209.52/210.02 c #Conflicts: 158000 | #Constraints: 34286 209.52/210.02 c INPROCESSING 209.52/210.02 c GARBAGE COLLECT 209.52/210.02 c rational objective 106 220.59/221.11 c #Conflicts: 159000 | #Constraints: 21770 220.59/221.11 c #Conflicts: 160000 | #Constraints: 22770 220.59/221.11 c #Conflicts: 161000 | #Constraints: 23770 220.59/221.11 c #Conflicts: 162000 | #Constraints: 24770 220.59/221.11 c #Conflicts: 163000 | #Constraints: 25770 220.59/221.11 c #Conflicts: 164000 | #Constraints: 26770 220.59/221.11 c #Conflicts: 165000 | #Constraints: 27770 220.59/221.11 c #Conflicts: 166000 | #Constraints: 28770 220.59/221.11 c #Conflicts: 167000 | #Constraints: 29770 220.59/221.11 c #Conflicts: 168000 | #Constraints: 30770 220.59/221.11 c INPROCESSING 220.59/221.11 c GARBAGE COLLECT 220.59/221.11 c rational objective 106 275.17/275.88 c #Conflicts: 169000 | #Constraints: 20396 275.17/275.88 c #Conflicts: 170000 | #Constraints: 21396 275.17/275.88 c #Conflicts: 171000 | #Constraints: 22397 275.17/275.88 c #Conflicts: 172000 | #Constraints: 23397 275.17/275.88 c #Conflicts: 173000 | #Constraints: 24397 275.17/275.88 c #Conflicts: 174000 | #Constraints: 25397 275.17/275.88 c #Conflicts: 175000 | #Constraints: 26397 275.17/275.88 c #Conflicts: 176000 | #Constraints: 27397 275.17/275.88 c #Conflicts: 177000 | #Constraints: 28397 275.17/275.88 c INPROCESSING 275.17/275.88 c GARBAGE COLLECT 275.17/275.88 c #Conflicts: 178000 | #Constraints: 18935 275.17/275.88 c #Conflicts: 179000 | #Constraints: 19936 275.17/275.88 c #Conflicts: 180000 | #Constraints: 20936 275.17/275.88 c #Conflicts: 181000 | #Constraints: 21936 275.17/275.88 c #Conflicts: 182000 | #Constraints: 22936 275.17/275.88 c #Conflicts: 183000 | #Constraints: 23936 275.17/275.88 c #Conflicts: 184000 | #Constraints: 24936 275.17/275.88 c #Conflicts: 185000 | #Constraints: 25936 275.17/275.88 c #Conflicts: 186000 | #Constraints: 26936 275.17/275.88 c #Conflicts: 187000 | #Constraints: 27936 275.17/275.88 c #Conflicts: 188000 | #Constraints: 28936 275.17/275.88 c #Conflicts: 189000 | #Constraints: 29936 275.17/275.88 c #Conflicts: 190000 | #Constraints: 30936 275.17/275.88 c #Conflicts: 191000 | #Constraints: 31937 275.17/275.88 c #Conflicts: 192000 | #Constraints: 32937 275.17/275.88 c #Conflicts: 193000 | #Constraints: 33937 275.17/275.88 c #Conflicts: 194000 | #Constraints: 34937 275.17/275.88 c #Conflicts: 195000 | #Constraints: 35937 275.17/275.88 c #Conflicts: 196000 | #Constraints: 36937 275.17/275.88 c #Conflicts: 197000 | #Constraints: 37937 275.17/275.88 c #Conflicts: 198000 | #Constraints: 38937 275.17/275.88 c #Conflicts: 199000 | #Constraints: 39937 275.17/275.88 c #Conflicts: 200000 | #Constraints: 40937 275.17/275.88 c #Conflicts: 201000 | #Constraints: 41937 275.17/275.88 c #Conflicts: 202000 | #Constraints: 42937 275.17/275.88 c #Conflicts: 203000 | #Constraints: 43937 275.17/275.88 c #Conflicts: 204000 | #Constraints: 44937 275.17/275.88 c #Conflicts: 205000 | #Constraints: 45937 275.17/275.88 c #Conflicts: 206000 | #Constraints: 46937 275.17/275.88 c #Conflicts: 207000 | #Constraints: 47937 275.17/275.88 c #Conflicts: 208000 | #Constraints: 48937 275.17/275.88 c #Conflicts: 209000 | #Constraints: 49937 275.17/275.88 c #Conflicts: 210000 | #Constraints: 50937 275.17/275.88 c INPROCESSING 275.17/275.88 c GARBAGE COLLECT 275.17/275.88 c rational objective 106 294.12/294.89 c #Conflicts: 211000 | #Constraints: 30166 294.12/294.89 c #Conflicts: 212000 | #Constraints: 31166 294.12/294.89 c #Conflicts: 213000 | #Constraints: 32166 294.12/294.89 c #Conflicts: 214000 | #Constraints: 33166 294.12/294.89 c #Conflicts: 215000 | #Constraints: 34166 294.12/294.89 c #Conflicts: 216000 | #Constraints: 35166 294.12/294.89 c #Conflicts: 217000 | #Constraints: 36166 294.12/294.89 c #Conflicts: 218000 | #Constraints: 37167 294.12/294.89 c #Conflicts: 219000 | #Constraints: 38167 294.12/294.89 c #Conflicts: 220000 | #Constraints: 39167 294.12/294.89 c #Conflicts: 221000 | #Constraints: 40167 294.12/294.89 c INPROCESSING 294.12/294.89 c GARBAGE COLLECT 294.12/294.89 c rational objective 106 309.69/310.41 c #Conflicts: 222000 | #Constraints: 24873 309.69/310.41 c #Conflicts: 223000 | #Constraints: 25874 309.69/310.41 c #Conflicts: 224000 | #Constraints: 26876 309.69/310.41 c #Conflicts: 225000 | #Constraints: 27877 309.69/310.41 c #Conflicts: 226000 | #Constraints: 28877 309.69/310.41 c #Conflicts: 227000 | #Constraints: 29878 309.69/310.41 c #Conflicts: 228000 | #Constraints: 30878 309.69/310.41 c #Conflicts: 229000 | #Constraints: 31878 309.69/310.41 c #Conflicts: 230000 | #Constraints: 32878 309.69/310.41 c #Conflicts: 231000 | #Constraints: 33878 309.69/310.41 c #Conflicts: 232000 | #Constraints: 34878 309.69/310.41 c INPROCESSING 309.69/310.41 c GARBAGE COLLECT 309.69/310.41 c rational objective 106 319.97/320.72 c #Conflicts: 233000 | #Constraints: 22251 319.97/320.72 c #Conflicts: 234000 | #Constraints: 23251 319.97/320.72 c #Conflicts: 235000 | #Constraints: 24251 319.97/320.72 c #Conflicts: 236000 | #Constraints: 25251 319.97/320.72 c #Conflicts: 237000 | #Constraints: 26251 319.97/320.72 c #Conflicts: 238000 | #Constraints: 27251 319.97/320.72 c #Conflicts: 239000 | #Constraints: 28251 319.97/320.72 c #Conflicts: 240000 | #Constraints: 29251 319.97/320.72 c #Conflicts: 241000 | #Constraints: 30251 319.97/320.72 c #Conflicts: 242000 | #Constraints: 31251 319.97/320.72 c #Conflicts: 243000 | #Constraints: 32252 319.97/320.72 c INPROCESSING 319.97/320.72 c GARBAGE COLLECT 319.97/320.72 c rational objective 106 365.96/366.90 c #Conflicts: 244000 | #Constraints: 20857 365.96/366.90 c #Conflicts: 245000 | #Constraints: 21857 365.96/366.90 c #Conflicts: 246000 | #Constraints: 22857 365.96/366.90 c #Conflicts: 247000 | #Constraints: 23857 365.96/366.90 c #Conflicts: 248000 | #Constraints: 24858 365.96/366.90 c #Conflicts: 249000 | #Constraints: 25858 365.96/366.90 c #Conflicts: 250000 | #Constraints: 26858 365.96/366.90 c #Conflicts: 251000 | #Constraints: 27858 365.96/366.90 c #Conflicts: 252000 | #Constraints: 28858 365.96/366.90 c #Conflicts: 253000 | #Constraints: 29859 365.96/366.90 c #Conflicts: 254000 | #Constraints: 30859 365.96/366.90 c #Conflicts: 255000 | #Constraints: 31859 365.96/366.90 c #Conflicts: 256000 | #Constraints: 32859 365.96/366.90 c #Conflicts: 257000 | #Constraints: 33859 365.96/366.90 c #Conflicts: 258000 | #Constraints: 34859 365.96/366.90 c #Conflicts: 259000 | #Constraints: 35859 365.96/366.90 c #Conflicts: 260000 | #Constraints: 36859 365.96/366.90 c #Conflicts: 261000 | #Constraints: 37859 365.96/366.90 c #Conflicts: 262000 | #Constraints: 38859 365.96/366.90 c #Conflicts: 263000 | #Constraints: 39859 365.96/366.90 c #Conflicts: 264000 | #Constraints: 40859 365.96/366.90 c #Conflicts: 265000 | #Constraints: 41859 365.96/366.90 c #Conflicts: 266000 | #Constraints: 42859 365.96/366.90 c #Conflicts: 267000 | #Constraints: 43859 365.96/366.90 c #Conflicts: 268000 | #Constraints: 44859 365.96/366.90 c #Conflicts: 269000 | #Constraints: 45859 365.96/366.90 c #Conflicts: 270000 | #Constraints: 46859 365.96/366.90 c #Conflicts: 271000 | #Constraints: 47859 365.96/366.90 c #Conflicts: 272000 | #Constraints: 48859 365.96/366.90 c #Conflicts: 273000 | #Constraints: 49859 365.96/366.90 c #Conflicts: 274000 | #Constraints: 50859 365.96/366.90 c #Conflicts: 275000 | #Constraints: 51859 365.96/366.90 c #Conflicts: 276000 | #Constraints: 52859 365.96/366.90 c #Conflicts: 277000 | #Constraints: 53859 365.96/366.90 c #Conflicts: 278000 | #Constraints: 54859 365.96/366.90 c #Conflicts: 279000 | #Constraints: 55859 365.96/366.90 c #Conflicts: 280000 | #Constraints: 56859 365.96/366.90 c #Conflicts: 281000 | #Constraints: 57859 365.96/366.90 c #Conflicts: 282000 | #Constraints: 58859 365.96/366.90 c INPROCESSING 365.96/366.90 c GARBAGE COLLECT 365.96/366.90 c rational objective 106 382.52/383.49 c #Conflicts: 283000 | #Constraints: 34471 382.52/383.49 c #Conflicts: 284000 | #Constraints: 35471 382.52/383.49 c #Conflicts: 285000 | #Constraints: 36471 382.52/383.49 c #Conflicts: 286000 | #Constraints: 37471 382.52/383.49 c #Conflicts: 287000 | #Constraints: 38471 382.52/383.49 c #Conflicts: 288000 | #Constraints: 39472 382.52/383.49 c #Conflicts: 289000 | #Constraints: 40472 382.52/383.49 c #Conflicts: 290000 | #Constraints: 41472 382.52/383.49 c #Conflicts: 291000 | #Constraints: 42472 382.52/383.49 c #Conflicts: 292000 | #Constraints: 43472 382.52/383.49 c #Conflicts: 293000 | #Constraints: 44472 382.52/383.49 c #Conflicts: 294000 | #Constraints: 45472 382.52/383.49 c INPROCESSING 382.52/383.49 c GARBAGE COLLECT 382.52/383.49 c rational objective 106 393.89/394.80 c #Conflicts: 295000 | #Constraints: 27550 393.89/394.80 c #Conflicts: 296000 | #Constraints: 28550 393.89/394.80 c #Conflicts: 297000 | #Constraints: 29550 393.89/394.80 c #Conflicts: 298000 | #Constraints: 30550 393.89/394.80 c #Conflicts: 299000 | #Constraints: 31550 393.89/394.80 c #Conflicts: 300000 | #Constraints: 32550 393.89/394.80 c #Conflicts: 301000 | #Constraints: 33550 393.89/394.80 c #Conflicts: 302000 | #Constraints: 34550 393.89/394.80 c #Conflicts: 303000 | #Constraints: 35550 393.89/394.80 c #Conflicts: 304000 | #Constraints: 36550 393.89/394.80 c #Conflicts: 305000 | #Constraints: 37550 393.89/394.80 c #Conflicts: 306000 | #Constraints: 38550 393.89/394.80 c #Conflicts: 307000 | #Constraints: 39550 393.89/394.80 c INPROCESSING 393.89/394.80 c GARBAGE COLLECT 393.89/394.80 c rational objective 106 405.76/406.70 c #Conflicts: 308000 | #Constraints: 24743 405.76/406.70 c #Conflicts: 309000 | #Constraints: 25743 405.76/406.70 c #Conflicts: 310000 | #Constraints: 26743 405.76/406.70 c #Conflicts: 311000 | #Constraints: 27743 405.76/406.70 c #Conflicts: 312000 | #Constraints: 28743 405.76/406.70 c #Conflicts: 313000 | #Constraints: 29743 405.76/406.70 c #Conflicts: 314000 | #Constraints: 30743 405.76/406.70 c #Conflicts: 315000 | #Constraints: 31743 405.76/406.70 c #Conflicts: 316000 | #Constraints: 32743 405.76/406.70 c #Conflicts: 317000 | #Constraints: 33743 405.76/406.70 c #Conflicts: 318000 | #Constraints: 34743 405.76/406.70 c #Conflicts: 319000 | #Constraints: 35743 405.76/406.70 c #Conflicts: 320000 | #Constraints: 36743 405.76/406.70 c INPROCESSING 405.76/406.70 c GARBAGE COLLECT 405.76/406.70 c rational objective 106 469.71/470.81 c #Conflicts: 321000 | #Constraints: 23457 469.71/470.81 c #Conflicts: 322000 | #Constraints: 24457 469.71/470.81 c #Conflicts: 323000 | #Constraints: 25458 469.71/470.81 c #Conflicts: 324000 | #Constraints: 26458 469.71/470.81 c #Conflicts: 325000 | #Constraints: 27459 469.71/470.81 c #Conflicts: 326000 | #Constraints: 28459 469.71/470.81 c #Conflicts: 327000 | #Constraints: 29459 469.71/470.81 c #Conflicts: 328000 | #Constraints: 30459 469.71/470.81 c #Conflicts: 329000 | #Constraints: 31459 469.71/470.81 c #Conflicts: 330000 | #Constraints: 32459 469.71/470.81 c #Conflicts: 331000 | #Constraints: 33459 469.71/470.81 c #Conflicts: 332000 | #Constraints: 34459 469.71/470.81 c #Conflicts: 333000 | #Constraints: 35459 469.71/470.81 c #Conflicts: 334000 | #Constraints: 36459 469.71/470.81 c #Conflicts: 335000 | #Constraints: 37459 469.71/470.81 c #Conflicts: 336000 | #Constraints: 38459 469.71/470.81 c #Conflicts: 337000 | #Constraints: 39459 469.71/470.81 c #Conflicts: 338000 | #Constraints: 40459 469.71/470.81 c #Conflicts: 339000 | #Constraints: 41459 469.71/470.81 c #Conflicts: 340000 | #Constraints: 42459 469.71/470.81 c #Conflicts: 341000 | #Constraints: 43459 469.71/470.81 c #Conflicts: 342000 | #Constraints: 44459 469.71/470.81 c #Conflicts: 343000 | #Constraints: 45459 469.71/470.81 c #Conflicts: 344000 | #Constraints: 46459 469.71/470.81 c #Conflicts: 345000 | #Constraints: 47459 469.71/470.81 c #Conflicts: 346000 | #Constraints: 48459 469.71/470.81 c #Conflicts: 347000 | #Constraints: 49459 469.71/470.81 c #Conflicts: 348000 | #Constraints: 50459 469.71/470.81 c #Conflicts: 349000 | #Constraints: 51459 469.71/470.81 c #Conflicts: 350000 | #Constraints: 52459 469.71/470.81 c #Conflicts: 351000 | #Constraints: 53459 469.71/470.81 c #Conflicts: 352000 | #Constraints: 54459 469.71/470.81 c #Conflicts: 353000 | #Constraints: 55459 469.71/470.81 c #Conflicts: 354000 | #Constraints: 56459 469.71/470.81 c #Conflicts: 355000 | #Constraints: 57459 469.71/470.81 c #Conflicts: 356000 | #Constraints: 58459 469.71/470.81 c #Conflicts: 357000 | #Constraints: 59459 469.71/470.81 c #Conflicts: 358000 | #Constraints: 60459 469.71/470.81 c #Conflicts: 359000 | #Constraints: 61460 469.71/470.81 c #Conflicts: 360000 | #Constraints: 62460 469.71/470.81 c #Conflicts: 361000 | #Constraints: 63460 469.71/470.81 c #Conflicts: 362000 | #Constraints: 64460 469.71/470.81 c #Conflicts: 363000 | #Constraints: 65460 469.71/470.81 c INPROCESSING 469.71/470.81 c GARBAGE COLLECT 469.71/470.81 c rational objective 106 485.27/486.46 c #Conflicts: 364000 | #Constraints: 37447 485.27/486.46 c #Conflicts: 365000 | #Constraints: 38447 485.27/486.46 c #Conflicts: 366000 | #Constraints: 39447 485.27/486.46 c #Conflicts: 367000 | #Constraints: 40447 485.27/486.46 c #Conflicts: 368000 | #Constraints: 41447 485.27/486.46 c #Conflicts: 369000 | #Constraints: 42447 485.27/486.46 c #Conflicts: 370000 | #Constraints: 43447 485.27/486.46 c #Conflicts: 371000 | #Constraints: 44447 485.27/486.46 c #Conflicts: 372000 | #Constraints: 45447 485.27/486.46 c #Conflicts: 373000 | #Constraints: 46447 485.27/486.46 c #Conflicts: 374000 | #Constraints: 47447 485.27/486.46 c #Conflicts: 375000 | #Constraints: 48447 485.27/486.46 c #Conflicts: 376000 | #Constraints: 49447 485.27/486.46 c #Conflicts: 377000 | #Constraints: 50447 485.27/486.46 c #Conflicts: 378000 | #Constraints: 51447 485.27/486.46 c INPROCESSING 485.27/486.46 c GARBAGE COLLECT 485.27/486.46 c rational objective 106 501.04/502.21 c #Conflicts: 379000 | #Constraints: 30824 501.04/502.21 c #Conflicts: 380000 | #Constraints: 31824 501.04/502.21 c #Conflicts: 381000 | #Constraints: 32824 501.04/502.21 c #Conflicts: 382000 | #Constraints: 33824 501.04/502.21 c #Conflicts: 383000 | #Constraints: 34824 501.04/502.21 c #Conflicts: 384000 | #Constraints: 35824 501.04/502.21 c #Conflicts: 385000 | #Constraints: 36824 501.04/502.21 c #Conflicts: 386000 | #Constraints: 37824 501.04/502.21 c #Conflicts: 387000 | #Constraints: 38824 501.04/502.21 c #Conflicts: 388000 | #Constraints: 39824 501.04/502.21 c #Conflicts: 389000 | #Constraints: 40824 501.04/502.21 c #Conflicts: 390000 | #Constraints: 41824 501.04/502.21 c #Conflicts: 391000 | #Constraints: 42824 501.04/502.21 c #Conflicts: 392000 | #Constraints: 43824 501.04/502.21 c INPROCESSING 501.04/502.21 c GARBAGE COLLECT 501.04/502.21 c rational objective 106 518.30/519.50 c #Conflicts: 393000 | #Constraints: 26888 518.30/519.50 c #Conflicts: 394000 | #Constraints: 27888 518.30/519.50 c #Conflicts: 395000 | #Constraints: 28888 518.30/519.50 c #Conflicts: 396000 | #Constraints: 29889 518.30/519.50 c #Conflicts: 397000 | #Constraints: 30889 518.30/519.50 c #Conflicts: 398000 | #Constraints: 31889 518.30/519.50 c #Conflicts: 399000 | #Constraints: 32889 518.30/519.50 c #Conflicts: 400000 | #Constraints: 33889 518.30/519.50 c #Conflicts: 401000 | #Constraints: 34889 518.30/519.50 c #Conflicts: 402000 | #Constraints: 35890 518.30/519.50 c #Conflicts: 403000 | #Constraints: 36890 518.30/519.50 c #Conflicts: 404000 | #Constraints: 37890 518.30/519.50 c #Conflicts: 405000 | #Constraints: 38890 518.30/519.50 c #Conflicts: 406000 | #Constraints: 39890 518.30/519.50 c #Conflicts: 407000 | #Constraints: 40890 518.30/519.50 c INPROCESSING 518.30/519.50 c GARBAGE COLLECT 518.30/519.50 c rational objective 106 588.93/590.33 c #Conflicts: 408000 | #Constraints: 25499 588.93/590.33 c #Conflicts: 409000 | #Constraints: 26499 588.93/590.33 c #Conflicts: 410000 | #Constraints: 27499 588.93/590.33 c #Conflicts: 411000 | #Constraints: 28499 588.93/590.33 c #Conflicts: 412000 | #Constraints: 29499 588.93/590.33 c #Conflicts: 413000 | #Constraints: 30499 588.93/590.33 c #Conflicts: 414000 | #Constraints: 31499 588.93/590.33 c #Conflicts: 415000 | #Constraints: 32499 588.93/590.33 c #Conflicts: 416000 | #Constraints: 33501 588.93/590.33 c #Conflicts: 417000 | #Constraints: 34501 588.93/590.33 c #Conflicts: 418000 | #Constraints: 35502 588.93/590.33 c #Conflicts: 419000 | #Constraints: 36502 588.93/590.33 c #Conflicts: 420000 | #Constraints: 37502 588.93/590.33 c #Conflicts: 421000 | #Constraints: 38502 588.93/590.33 c #Conflicts: 422000 | #Constraints: 39502 588.93/590.33 c #Conflicts: 423000 | #Constraints: 40502 588.93/590.33 c #Conflicts: 424000 | #Constraints: 41503 588.93/590.33 c #Conflicts: 425000 | #Constraints: 42503 588.93/590.33 c #Conflicts: 426000 | #Constraints: 43503 588.93/590.33 c #Conflicts: 427000 | #Constraints: 44503 588.93/590.33 c #Conflicts: 428000 | #Constraints: 45503 588.93/590.33 c #Conflicts: 429000 | #Constraints: 46503 588.93/590.33 c #Conflicts: 430000 | #Constraints: 47503 588.93/590.33 c #Conflicts: 431000 | #Constraints: 48503 588.93/590.33 c #Conflicts: 432000 | #Constraints: 49503 588.93/590.33 c #Conflicts: 433000 | #Constraints: 50503 588.93/590.33 c #Conflicts: 434000 | #Constraints: 51503 588.93/590.33 c #Conflicts: 435000 | #Constraints: 52503 588.93/590.33 c #Conflicts: 436000 | #Constraints: 53503 588.93/590.33 c #Conflicts: 437000 | #Constraints: 54503 588.93/590.33 c #Conflicts: 438000 | #Constraints: 55503 588.93/590.33 c #Conflicts: 439000 | #Constraints: 56503 588.93/590.33 c #Conflicts: 440000 | #Constraints: 57503 588.93/590.33 c #Conflicts: 441000 | #Constraints: 58504 588.93/590.33 c #Conflicts: 442000 | #Constraints: 59504 588.93/590.33 c #Conflicts: 443000 | #Constraints: 60504 588.93/590.33 c #Conflicts: 444000 | #Constraints: 61504 588.93/590.33 c #Conflicts: 445000 | #Constraints: 62504 588.93/590.33 c #Conflicts: 446000 | #Constraints: 63504 588.93/590.33 c #Conflicts: 447000 | #Constraints: 64504 588.93/590.33 c #Conflicts: 448000 | #Constraints: 65504 588.93/590.33 c #Conflicts: 449000 | #Constraints: 66504 588.93/590.33 c #Conflicts: 450000 | #Constraints: 67504 588.93/590.33 c #Conflicts: 451000 | #Constraints: 68504 588.93/590.33 c #Conflicts: 452000 | #Constraints: 69504 588.93/590.33 c #Conflicts: 453000 | #Constraints: 70504 588.93/590.33 c #Conflicts: 454000 | #Constraints: 71504 588.93/590.33 c #Conflicts: 455000 | #Constraints: 72504 588.93/590.33 c #Conflicts: 456000 | #Constraints: 73504 588.93/590.33 c INPROCESSING 588.93/590.33 c GARBAGE COLLECT 588.93/590.33 c rational objective 106 618.46/619.93 c #Conflicts: 457000 | #Constraints: 41870 618.46/619.93 c #Conflicts: 458000 | #Constraints: 42870 618.46/619.93 c #Conflicts: 459000 | #Constraints: 43870 618.46/619.93 c #Conflicts: 460000 | #Constraints: 44871 618.46/619.93 c #Conflicts: 461000 | #Constraints: 45871 618.46/619.93 c #Conflicts: 462000 | #Constraints: 46871 618.46/619.93 c #Conflicts: 463000 | #Constraints: 47871 618.46/619.93 c #Conflicts: 464000 | #Constraints: 48872 618.46/619.93 c #Conflicts: 465000 | #Constraints: 49872 618.46/619.93 c #Conflicts: 466000 | #Constraints: 50872 618.46/619.93 c #Conflicts: 467000 | #Constraints: 51872 618.46/619.93 c #Conflicts: 468000 | #Constraints: 52872 618.46/619.93 c #Conflicts: 469000 | #Constraints: 53872 618.46/619.93 c #Conflicts: 470000 | #Constraints: 54872 618.46/619.93 c #Conflicts: 471000 | #Constraints: 55872 618.46/619.93 c INPROCESSING 618.46/619.93 c GARBAGE COLLECT 618.46/619.93 c rational objective 106 651.18/652.72 c #Conflicts: 472000 | #Constraints: 32608 651.18/652.72 c #Conflicts: 473000 | #Constraints: 33608 651.18/652.72 c #Conflicts: 474000 | #Constraints: 34608 651.18/652.72 c #Conflicts: 475000 | #Constraints: 35608 651.18/652.72 c #Conflicts: 476000 | #Constraints: 36608 651.18/652.72 c #Conflicts: 477000 | #Constraints: 37608 651.18/652.72 c #Conflicts: 478000 | #Constraints: 38608 651.18/652.72 c #Conflicts: 479000 | #Constraints: 39608 651.18/652.72 c #Conflicts: 480000 | #Constraints: 40608 651.18/652.72 c #Conflicts: 481000 | #Constraints: 41608 651.18/652.72 c #Conflicts: 482000 | #Constraints: 42608 651.18/652.72 c #Conflicts: 483000 | #Constraints: 43608 651.18/652.72 c #Conflicts: 484000 | #Constraints: 44608 651.18/652.72 c #Conflicts: 485000 | #Constraints: 45608 651.18/652.72 c #Conflicts: 486000 | #Constraints: 46608 651.18/652.72 c #Conflicts: 487000 | #Constraints: 47609 651.18/652.72 c #Conflicts: 488000 | #Constraints: 48609 651.18/652.72 c INPROCESSING 651.18/652.72 c GARBAGE COLLECT 651.18/652.72 c rational objective 106 673.03/674.65 c #Conflicts: 489000 | #Constraints: 29440 673.03/674.65 c #Conflicts: 490000 | #Constraints: 30440 673.03/674.65 c #Conflicts: 491000 | #Constraints: 31440 673.03/674.65 c #Conflicts: 492000 | #Constraints: 32441 673.03/674.65 c #Conflicts: 493000 | #Constraints: 33441 673.03/674.65 c #Conflicts: 494000 | #Constraints: 34441 673.03/674.65 c #Conflicts: 495000 | #Constraints: 35441 673.03/674.65 c #Conflicts: 496000 | #Constraints: 36441 673.03/674.65 c #Conflicts: 497000 | #Constraints: 37441 673.03/674.65 c #Conflicts: 498000 | #Constraints: 38441 673.03/674.65 c #Conflicts: 499000 | #Constraints: 39441 673.03/674.65 c #Conflicts: 500000 | #Constraints: 40441 673.03/674.65 c #Conflicts: 501000 | #Constraints: 41441 673.03/674.65 c #Conflicts: 502000 | #Constraints: 42441 673.03/674.65 c #Conflicts: 503000 | #Constraints: 43441 673.03/674.65 c #Conflicts: 504000 | #Constraints: 44441 673.03/674.65 c INPROCESSING 673.03/674.65 c GARBAGE COLLECT 673.03/674.65 c rational objective 106 867.27/869.36 c #Conflicts: 505000 | #Constraints: 27249 867.27/869.36 c #Conflicts: 506000 | #Constraints: 28249 867.27/869.36 c #Conflicts: 507000 | #Constraints: 29249 867.27/869.36 c #Conflicts: 508000 | #Constraints: 30249 867.27/869.36 c #Conflicts: 509000 | #Constraints: 31249 867.27/869.36 c #Conflicts: 510000 | #Constraints: 32249 867.27/869.36 c #Conflicts: 511000 | #Constraints: 33249 867.27/869.36 c #Conflicts: 512000 | #Constraints: 34249 867.27/869.36 c #Conflicts: 513000 | #Constraints: 35249 867.27/869.36 c #Conflicts: 514000 | #Constraints: 36249 867.27/869.36 c #Conflicts: 515000 | #Constraints: 37249 867.27/869.36 c #Conflicts: 516000 | #Constraints: 38249 867.27/869.36 c #Conflicts: 517000 | #Constraints: 39249 867.27/869.36 c #Conflicts: 518000 | #Constraints: 40249 867.27/869.36 c #Conflicts: 519000 | #Constraints: 41249 867.27/869.36 c #Conflicts: 520000 | #Constraints: 42249 867.27/869.36 c #Conflicts: 521000 | #Constraints: 43250 867.27/869.36 c #Conflicts: 522000 | #Constraints: 44250 867.27/869.36 c #Conflicts: 523000 | #Constraints: 45250 867.27/869.36 c #Conflicts: 524000 | #Constraints: 46250 867.27/869.36 c #Conflicts: 525000 | #Constraints: 47250 867.27/869.36 c #Conflicts: 526000 | #Constraints: 48250 867.27/869.36 c #Conflicts: 527000 | #Constraints: 49250 867.27/869.36 c #Conflicts: 528000 | #Constraints: 50250 867.27/869.36 c #Conflicts: 529000 | #Constraints: 51250 867.27/869.36 c #Conflicts: 530000 | #Constraints: 52250 867.27/869.36 c #Conflicts: 531000 | #Constraints: 53250 867.27/869.36 c #Conflicts: 532000 | #Constraints: 54250 867.27/869.36 c #Conflicts: 533000 | #Constraints: 55250 867.27/869.36 c #Conflicts: 534000 | #Constraints: 56250 867.27/869.36 c #Conflicts: 535000 | #Constraints: 57250 867.27/869.36 c #Conflicts: 536000 | #Constraints: 58250 867.27/869.36 c #Conflicts: 537000 | #Constraints: 59250 867.27/869.36 c #Conflicts: 538000 | #Constraints: 60250 867.27/869.36 c #Conflicts: 539000 | #Constraints: 61250 867.27/869.36 c #Conflicts: 540000 | #Constraints: 62250 867.27/869.36 c #Conflicts: 541000 | #Constraints: 63250 867.27/869.36 c #Conflicts: 542000 | #Constraints: 64250 867.27/869.36 c #Conflicts: 543000 | #Constraints: 65250 867.27/869.36 c #Conflicts: 544000 | #Constraints: 66250 867.27/869.36 c #Conflicts: 545000 | #Constraints: 67250 867.27/869.36 c #Conflicts: 546000 | #Constraints: 68250 867.27/869.36 c #Conflicts: 547000 | #Constraints: 69250 867.27/869.36 c #Conflicts: 548000 | #Constraints: 70250 867.27/869.36 c #Conflicts: 549000 | #Constraints: 71250 867.27/869.36 c #Conflicts: 550000 | #Constraints: 72250 867.27/869.36 c #Conflicts: 551000 | #Constraints: 73250 867.27/869.36 c #Conflicts: 552000 | #Constraints: 74250 867.27/869.36 c #Conflicts: 553000 | #Constraints: 75250 867.27/869.36 c #Conflicts: 554000 | #Constraints: 76250 867.27/869.36 c #Conflicts: 555000 | #Constraints: 77250 867.27/869.36 c #Conflicts: 556000 | #Constraints: 78250 867.27/869.36 c #Conflicts: 557000 | #Constraints: 79251 867.27/869.36 c #Conflicts: 558000 | #Constraints: 80251 867.27/869.36 c INPROCESSING 867.27/869.36 c GARBAGE COLLECT 867.27/869.36 c #Conflicts: 559000 | #Constraints: 44990 867.27/869.36 c #Conflicts: 560000 | #Constraints: 45990 867.27/869.36 c #Conflicts: 561000 | #Constraints: 46990 867.27/869.36 c #Conflicts: 562000 | #Constraints: 47990 867.27/869.36 c #Conflicts: 563000 | #Constraints: 48990 867.27/869.36 c #Conflicts: 564000 | #Constraints: 49990 867.27/869.36 c #Conflicts: 565000 | #Constraints: 50990 867.27/869.36 c #Conflicts: 566000 | #Constraints: 51990 867.27/869.36 c #Conflicts: 567000 | #Constraints: 52991 867.27/869.36 c #Conflicts: 568000 | #Constraints: 53991 867.27/869.36 c #Conflicts: 569000 | #Constraints: 54991 867.27/869.36 c #Conflicts: 570000 | #Constraints: 55991 867.27/869.36 c #Conflicts: 571000 | #Constraints: 57005 867.27/869.36 c #Conflicts: 572000 | #Constraints: 58144 867.27/869.36 c #Conflicts: 573000 | #Constraints: 59146 867.27/869.36 c #Conflicts: 574000 | #Constraints: 60146 867.27/869.36 c #Conflicts: 575000 | #Constraints: 61146 867.27/869.36 c #Conflicts: 576000 | #Constraints: 62146 867.27/869.36 c INPROCESSING 867.27/869.36 c GARBAGE COLLECT 867.27/869.36 c #Conflicts: 577000 | #Constraints: 36163 867.27/869.36 c #Conflicts: 578000 | #Constraints: 37167 867.27/869.36 c #Conflicts: 579000 | #Constraints: 38172 867.27/869.36 c #Conflicts: 580000 | #Constraints: 39235 867.27/869.36 c #Conflicts: 581000 | #Constraints: 40236 867.27/869.36 c #Conflicts: 582000 | #Constraints: 41236 1269.96/1272.90 c #Conflicts: 583000 | #Constraints: 42248 1269.96/1272.90 c #Conflicts: 584000 | #Constraints: 43258 1269.96/1272.90 c #Conflicts: 585000 | #Constraints: 44258 1269.96/1272.90 c #Conflicts: 586000 | #Constraints: 45258 1269.96/1272.90 c #Conflicts: 587000 | #Constraints: 46258 1269.96/1272.90 c #Conflicts: 588000 | #Constraints: 47258 1269.96/1272.90 c #Conflicts: 589000 | #Constraints: 48260 1269.96/1272.90 c #Conflicts: 590000 | #Constraints: 49264 1269.96/1272.90 c #Conflicts: 591000 | #Constraints: 50330 1269.96/1272.90 c #Conflicts: 592000 | #Constraints: 51499 1269.96/1272.90 c #Conflicts: 593000 | #Constraints: 52542 1269.96/1272.90 c #Conflicts: 594000 | #Constraints: 53542 1269.96/1272.90 c INPROCESSING 1269.96/1272.90 c GARBAGE COLLECT 1269.96/1272.90 c #Conflicts: 595000 | #Constraints: 31949 1269.96/1272.90 c #Conflicts: 596000 | #Constraints: 32949 1269.96/1272.90 c #Conflicts: 597000 | #Constraints: 33950 1269.96/1272.90 c #Conflicts: 598000 | #Constraints: 34950 1269.96/1272.90 c #Conflicts: 599000 | #Constraints: 35951 1269.96/1272.90 c #Conflicts: 600000 | #Constraints: 36954 1269.96/1272.90 c #Conflicts: 601000 | #Constraints: 37954 1269.96/1272.90 c #Conflicts: 602000 | #Constraints: 38954 1269.96/1272.90 c #Conflicts: 603000 | #Constraints: 39954 1269.96/1272.90 c #Conflicts: 604000 | #Constraints: 40954 1269.96/1272.90 c #Conflicts: 605000 | #Constraints: 41954 1269.96/1272.90 c #Conflicts: 606000 | #Constraints: 42954 1269.96/1272.90 c #Conflicts: 607000 | #Constraints: 43954 1269.96/1272.90 c #Conflicts: 608000 | #Constraints: 44954 1269.96/1272.90 c #Conflicts: 609000 | #Constraints: 45954 1269.96/1272.90 c #Conflicts: 610000 | #Constraints: 46955 1269.96/1272.90 c #Conflicts: 611000 | #Constraints: 47959 1269.96/1272.90 c #Conflicts: 612000 | #Constraints: 48998 1269.96/1272.90 c INPROCESSING 1269.96/1272.90 c GARBAGE COLLECT 1269.96/1272.90 c #Conflicts: 613000 | #Constraints: 29701 1269.96/1272.90 c #Conflicts: 614000 | #Constraints: 30701 1269.96/1272.90 c #Conflicts: 615000 | #Constraints: 31701 1269.96/1272.90 c #Conflicts: 616000 | #Constraints: 32701 1269.96/1272.90 c #Conflicts: 617000 | #Constraints: 33701 1269.96/1272.90 c #Conflicts: 618000 | #Constraints: 34701 1269.96/1272.90 c #Conflicts: 619000 | #Constraints: 35701 1269.96/1272.90 c #Conflicts: 620000 | #Constraints: 36701 1269.96/1272.90 c #Conflicts: 621000 | #Constraints: 37701 1269.96/1272.90 c #Conflicts: 622000 | #Constraints: 38701 1269.96/1272.90 c #Conflicts: 623000 | #Constraints: 39701 1269.96/1272.90 c #Conflicts: 624000 | #Constraints: 40701 1269.96/1272.90 c #Conflicts: 625000 | #Constraints: 41744 1269.96/1272.90 c #Conflicts: 626000 | #Constraints: 42744 1269.96/1272.90 c #Conflicts: 627000 | #Constraints: 43744 1269.96/1272.90 c #Conflicts: 628000 | #Constraints: 44744 1269.96/1272.90 c #Conflicts: 629000 | #Constraints: 45744 1269.96/1272.90 c #Conflicts: 630000 | #Constraints: 46744 1269.96/1272.90 c #Conflicts: 631000 | #Constraints: 47744 1269.96/1272.90 c #Conflicts: 632000 | #Constraints: 48744 1269.96/1272.90 c #Conflicts: 633000 | #Constraints: 49744 1269.96/1272.90 c #Conflicts: 634000 | #Constraints: 50744 1269.96/1272.90 c #Conflicts: 635000 | #Constraints: 51744 1269.96/1272.90 c #Conflicts: 636000 | #Constraints: 52744 1269.96/1272.90 c #Conflicts: 637000 | #Constraints: 53744 1269.96/1272.90 c #Conflicts: 638000 | #Constraints: 54744 1269.96/1272.90 c #Conflicts: 639000 | #Constraints: 55744 1269.96/1272.90 c #Conflicts: 640000 | #Constraints: 56744 1269.96/1272.90 c #Conflicts: 641000 | #Constraints: 57744 1269.96/1272.90 c #Conflicts: 642000 | #Constraints: 58744 1269.96/1272.90 c #Conflicts: 643000 | #Constraints: 59744 1269.96/1272.90 c #Conflicts: 644000 | #Constraints: 60744 1269.96/1272.90 c #Conflicts: 645000 | #Constraints: 61744 1269.96/1272.90 c #Conflicts: 646000 | #Constraints: 62744 1269.96/1272.90 c #Conflicts: 647000 | #Constraints: 63744 1269.96/1272.90 c #Conflicts: 648000 | #Constraints: 64744 1269.96/1272.90 c #Conflicts: 649000 | #Constraints: 65744 1269.96/1272.90 c #Conflicts: 650000 | #Constraints: 66744 1269.96/1272.90 c #Conflicts: 651000 | #Constraints: 67744 1269.96/1272.90 c #Conflicts: 652000 | #Constraints: 68744 1269.96/1272.90 c #Conflicts: 653000 | #Constraints: 69744 1269.96/1272.90 c #Conflicts: 654000 | #Constraints: 70744 1269.96/1272.90 c #Conflicts: 655000 | #Constraints: 71744 1269.96/1272.90 c #Conflicts: 656000 | #Constraints: 72744 1269.96/1272.90 c #Conflicts: 657000 | #Constraints: 73744 1269.96/1272.90 c #Conflicts: 658000 | #Constraints: 74744 1269.96/1272.90 c #Conflicts: 659000 | #Constraints: 75744 1334.51/1337.60 c #Conflicts: 660000 | #Constraints: 76744 1334.51/1337.60 c #Conflicts: 661000 | #Constraints: 77744 1334.51/1337.60 c #Conflicts: 662000 | #Constraints: 78744 1334.51/1337.60 c #Conflicts: 663000 | #Constraints: 79744 1334.51/1337.60 c #Conflicts: 664000 | #Constraints: 80744 1334.51/1337.60 c #Conflicts: 665000 | #Constraints: 81744 1334.51/1337.60 c #Conflicts: 666000 | #Constraints: 82744 1334.51/1337.60 c #Conflicts: 667000 | #Constraints: 83744 1334.51/1337.60 c #Conflicts: 668000 | #Constraints: 84744 1334.51/1337.60 c #Conflicts: 669000 | #Constraints: 85744 1334.51/1337.60 c #Conflicts: 670000 | #Constraints: 86744 1334.51/1337.60 c #Conflicts: 671000 | #Constraints: 87744 1334.51/1337.60 c INPROCESSING 1334.51/1337.60 c GARBAGE COLLECT 1334.51/1337.60 c #Conflicts: 672000 | #Constraints: 48761 1334.51/1337.60 c #Conflicts: 673000 | #Constraints: 49761 1334.51/1337.60 c #Conflicts: 674000 | #Constraints: 50761 1334.51/1337.60 c #Conflicts: 675000 | #Constraints: 51761 1334.51/1337.60 c #Conflicts: 676000 | #Constraints: 52761 1334.51/1337.60 c #Conflicts: 677000 | #Constraints: 53761 1334.51/1337.60 c #Conflicts: 678000 | #Constraints: 54761 1334.51/1337.60 c #Conflicts: 679000 | #Constraints: 55761 1334.51/1337.60 c #Conflicts: 680000 | #Constraints: 56761 1334.51/1337.60 c #Conflicts: 681000 | #Constraints: 57761 1334.51/1337.60 c #Conflicts: 682000 | #Constraints: 58761 1334.51/1337.60 c #Conflicts: 683000 | #Constraints: 59761 1334.51/1337.60 c #Conflicts: 684000 | #Constraints: 60761 1334.51/1337.60 c #Conflicts: 685000 | #Constraints: 61761 1334.51/1337.60 c #Conflicts: 686000 | #Constraints: 62761 1334.51/1337.60 c #Conflicts: 687000 | #Constraints: 63761 1334.51/1337.60 c #Conflicts: 688000 | #Constraints: 64761 1334.51/1337.60 c #Conflicts: 689000 | #Constraints: 65761 1334.51/1337.60 c #Conflicts: 690000 | #Constraints: 66761 1334.51/1337.60 c INPROCESSING 1334.51/1337.60 c GARBAGE COLLECT 1334.51/1337.60 c rational objective 106 1564.18/1567.82 c #Conflicts: 691000 | #Constraints: 38178 1564.18/1567.82 c #Conflicts: 692000 | #Constraints: 39178 1564.18/1567.82 c #Conflicts: 693000 | #Constraints: 40178 1564.18/1567.82 c #Conflicts: 694000 | #Constraints: 41178 1564.18/1567.82 c #Conflicts: 695000 | #Constraints: 42178 1564.18/1567.82 c #Conflicts: 696000 | #Constraints: 43178 1564.18/1567.82 c #Conflicts: 697000 | #Constraints: 44178 1564.18/1567.82 c #Conflicts: 698000 | #Constraints: 45178 1564.18/1567.82 c #Conflicts: 699000 | #Constraints: 46178 1564.18/1567.82 c #Conflicts: 700000 | #Constraints: 47178 1564.18/1567.82 c #Conflicts: 701000 | #Constraints: 48178 1564.18/1567.82 c #Conflicts: 702000 | #Constraints: 49178 1564.18/1567.82 c #Conflicts: 703000 | #Constraints: 50178 1564.18/1567.82 c #Conflicts: 704000 | #Constraints: 51178 1564.18/1567.82 c #Conflicts: 705000 | #Constraints: 52178 1564.18/1567.82 c #Conflicts: 706000 | #Constraints: 53178 1564.18/1567.82 c #Conflicts: 707000 | #Constraints: 54178 1564.18/1567.82 c #Conflicts: 708000 | #Constraints: 55178 1564.18/1567.82 c #Conflicts: 709000 | #Constraints: 56178 1564.18/1567.82 c #Conflicts: 710000 | #Constraints: 57178 1564.18/1567.82 c INPROCESSING 1564.18/1567.82 c GARBAGE COLLECT 1564.18/1567.82 c #Conflicts: 711000 | #Constraints: 33665 1564.18/1567.82 c #Conflicts: 712000 | #Constraints: 34665 1564.18/1567.82 c #Conflicts: 713000 | #Constraints: 35665 1564.18/1567.82 c #Conflicts: 714000 | #Constraints: 36665 1564.18/1567.82 c #Conflicts: 715000 | #Constraints: 37665 1564.18/1567.82 c #Conflicts: 716000 | #Constraints: 38665 1564.18/1567.82 c #Conflicts: 717000 | #Constraints: 39665 1564.18/1567.82 c #Conflicts: 718000 | #Constraints: 40665 1564.18/1567.82 c #Conflicts: 719000 | #Constraints: 41665 1564.18/1567.82 c #Conflicts: 720000 | #Constraints: 42665 1564.18/1567.82 c #Conflicts: 721000 | #Constraints: 43665 1564.18/1567.82 c #Conflicts: 722000 | #Constraints: 44665 1564.18/1567.82 c #Conflicts: 723000 | #Constraints: 45665 1564.18/1567.82 c #Conflicts: 724000 | #Constraints: 46692 1564.18/1567.82 c #Conflicts: 725000 | #Constraints: 47699 1564.18/1567.82 c #Conflicts: 726000 | #Constraints: 48699 1564.18/1567.82 c #Conflicts: 727000 | #Constraints: 49717 1564.18/1567.82 c #Conflicts: 728000 | #Constraints: 50723 1564.18/1567.82 c #Conflicts: 729000 | #Constraints: 51723 1564.18/1567.82 c #Conflicts: 730000 | #Constraints: 52723 1564.18/1567.82 c INPROCESSING 1564.18/1567.82 c GARBAGE COLLECT 1564.18/1567.82 c #Conflicts: 731000 | #Constraints: 31469 1564.18/1567.82 c #Conflicts: 732000 | #Constraints: 32469 1564.18/1567.82 c #Conflicts: 733000 | #Constraints: 33469 1564.18/1567.82 c #Conflicts: 734000 | #Constraints: 34469 1564.18/1567.82 c #Conflicts: 735000 | #Constraints: 35469 1564.18/1567.82 c #Conflicts: 736000 | #Constraints: 36469 1564.18/1567.82 c #Conflicts: 737000 | #Constraints: 37469 1564.18/1567.82 c #Conflicts: 738000 | #Constraints: 38469 1564.18/1567.82 c #Conflicts: 739000 | #Constraints: 39469 1564.18/1567.82 c #Conflicts: 740000 | #Constraints: 40469 1564.18/1567.82 c #Conflicts: 741000 | #Constraints: 41469 1564.18/1567.82 c #Conflicts: 742000 | #Constraints: 42469 1564.18/1567.82 c #Conflicts: 743000 | #Constraints: 43469 1564.18/1567.82 c #Conflicts: 744000 | #Constraints: 44469 1564.18/1567.82 c #Conflicts: 745000 | #Constraints: 45469 1564.18/1567.82 c #Conflicts: 746000 | #Constraints: 46469 1564.18/1567.82 c #Conflicts: 747000 | #Constraints: 47469 1564.18/1567.82 c #Conflicts: 748000 | #Constraints: 48470 1564.18/1567.82 c #Conflicts: 749000 | #Constraints: 49470 1564.18/1567.82 c #Conflicts: 750000 | #Constraints: 50471 1564.18/1567.82 c #Conflicts: 751000 | #Constraints: 51471 1564.18/1567.82 c #Conflicts: 752000 | #Constraints: 52471 1564.18/1567.82 c #Conflicts: 753000 | #Constraints: 53471 1564.18/1567.82 c #Conflicts: 754000 | #Constraints: 54471 1564.18/1567.82 c #Conflicts: 755000 | #Constraints: 55471 1564.18/1567.82 c #Conflicts: 756000 | #Constraints: 56471 1564.18/1567.82 c #Conflicts: 757000 | #Constraints: 57471 1564.18/1567.82 c #Conflicts: 758000 | #Constraints: 58471 1564.18/1567.82 c #Conflicts: 759000 | #Constraints: 59471 1564.18/1567.82 c #Conflicts: 760000 | #Constraints: 60471 1564.18/1567.82 c #Conflicts: 761000 | #Constraints: 61472 1564.18/1567.82 c #Conflicts: 762000 | #Constraints: 62472 1564.18/1567.82 c #Conflicts: 763000 | #Constraints: 63472 1564.18/1567.82 c #Conflicts: 764000 | #Constraints: 64472 1564.18/1567.82 c #Conflicts: 765000 | #Constraints: 65472 1564.18/1567.82 c #Conflicts: 766000 | #Constraints: 66472 1564.18/1567.82 c #Conflicts: 767000 | #Constraints: 67473 1564.18/1567.82 c #Conflicts: 768000 | #Constraints: 68473 1710.14/1714.12 c #Conflicts: 769000 | #Constraints: 69473 1710.14/1714.12 c #Conflicts: 770000 | #Constraints: 70473 1710.14/1714.12 c #Conflicts: 771000 | #Constraints: 71473 1710.14/1714.12 c #Conflicts: 772000 | #Constraints: 72473 1710.14/1714.12 c #Conflicts: 773000 | #Constraints: 73473 1710.14/1714.12 c #Conflicts: 774000 | #Constraints: 74473 1710.14/1714.12 c #Conflicts: 775000 | #Constraints: 75473 1710.14/1714.12 c #Conflicts: 776000 | #Constraints: 76473 1710.14/1714.12 c #Conflicts: 777000 | #Constraints: 77474 1710.14/1714.12 c #Conflicts: 778000 | #Constraints: 78474 1710.14/1714.12 c #Conflicts: 779000 | #Constraints: 79474 1710.14/1714.12 c #Conflicts: 780000 | #Constraints: 80474 1710.14/1714.12 c #Conflicts: 781000 | #Constraints: 81474 1710.14/1714.12 c #Conflicts: 782000 | #Constraints: 82474 1710.14/1714.12 c #Conflicts: 783000 | #Constraints: 83474 1710.14/1714.12 c #Conflicts: 784000 | #Constraints: 84474 1710.14/1714.12 c #Conflicts: 785000 | #Constraints: 85474 1710.14/1714.12 c #Conflicts: 786000 | #Constraints: 86474 1710.14/1714.12 c #Conflicts: 787000 | #Constraints: 87474 1710.14/1714.12 c #Conflicts: 788000 | #Constraints: 88474 1710.14/1714.12 c #Conflicts: 789000 | #Constraints: 89474 1710.14/1714.12 c #Conflicts: 790000 | #Constraints: 90474 1710.14/1714.12 c #Conflicts: 791000 | #Constraints: 91474 1710.14/1714.12 c #Conflicts: 792000 | #Constraints: 92474 1710.14/1714.12 c #Conflicts: 793000 | #Constraints: 93474 1710.14/1714.12 c #Conflicts: 794000 | #Constraints: 94474 1710.14/1714.12 c #Conflicts: 795000 | #Constraints: 95474 1710.14/1714.12 c INPROCESSING 1710.14/1714.12 c GARBAGE COLLECT 1710.14/1714.12 c #Conflicts: 796000 | #Constraints: 52957 1710.14/1714.12 c #Conflicts: 797000 | #Constraints: 53957 1710.14/1714.12 c #Conflicts: 798000 | #Constraints: 54957 1710.14/1714.12 c #Conflicts: 799000 | #Constraints: 55957 1710.14/1714.12 c #Conflicts: 800000 | #Constraints: 56957 1710.14/1714.12 c #Conflicts: 801000 | #Constraints: 57957 1710.14/1714.12 c #Conflicts: 802000 | #Constraints: 58957 1710.14/1714.12 c #Conflicts: 803000 | #Constraints: 59957 1710.14/1714.12 c #Conflicts: 804000 | #Constraints: 60957 1710.14/1714.12 c #Conflicts: 805000 | #Constraints: 61957 1710.14/1714.12 c #Conflicts: 806000 | #Constraints: 62957 1710.14/1714.12 c #Conflicts: 807000 | #Constraints: 63957 1710.14/1714.12 c #Conflicts: 808000 | #Constraints: 64957 1710.14/1714.12 c #Conflicts: 809000 | #Constraints: 65958 1710.14/1714.12 c #Conflicts: 810000 | #Constraints: 66958 1710.14/1714.12 c #Conflicts: 811000 | #Constraints: 67958 1710.14/1714.12 c #Conflicts: 812000 | #Constraints: 68959 1710.14/1714.12 c #Conflicts: 813000 | #Constraints: 69959 1710.14/1714.12 c #Conflicts: 814000 | #Constraints: 70959 1710.14/1714.12 c #Conflicts: 815000 | #Constraints: 71959 1710.14/1714.12 c #Conflicts: 816000 | #Constraints: 72959 1710.14/1714.12 c INPROCESSING 1710.14/1714.12 c GARBAGE COLLECT 1710.14/1714.12 c #Conflicts: 817000 | #Constraints: 41797 1710.14/1714.12 c #Conflicts: 818000 | #Constraints: 42797 1710.14/1714.12 c #Conflicts: 819000 | #Constraints: 43797 1710.14/1714.12 c #Conflicts: 820000 | #Constraints: 44797 1710.14/1714.12 c #Conflicts: 821000 | #Constraints: 45797 1710.14/1714.12 c #Conflicts: 822000 | #Constraints: 46797 1710.14/1714.12 c #Conflicts: 823000 | #Constraints: 47797 1710.14/1714.12 c #Conflicts: 824000 | #Constraints: 48798 1710.14/1714.12 c #Conflicts: 825000 | #Constraints: 49798 1710.14/1714.12 c #Conflicts: 826000 | #Constraints: 50798 1710.14/1714.12 c #Conflicts: 827000 | #Constraints: 51798 1710.14/1714.12 c #Conflicts: 828000 | #Constraints: 52798 1710.14/1714.12 c #Conflicts: 829000 | #Constraints: 53798 1710.14/1714.12 c #Conflicts: 830000 | #Constraints: 54798 1710.14/1714.12 c #Conflicts: 831000 | #Constraints: 55798 1710.14/1714.12 c #Conflicts: 832000 | #Constraints: 56798 1710.14/1714.12 c #Conflicts: 833000 | #Constraints: 57798 1710.14/1714.12 c #Conflicts: 834000 | #Constraints: 58798 1710.14/1714.12 c #Conflicts: 835000 | #Constraints: 59798 1710.14/1714.12 c #Conflicts: 836000 | #Constraints: 60798 1710.14/1714.12 c #Conflicts: 837000 | #Constraints: 61798 1710.14/1714.12 c INPROCESSING 1710.14/1714.12 c GARBAGE COLLECT 1710.14/1714.12 c #Conflicts: 838000 | #Constraints: 36053 1710.14/1714.12 c #Conflicts: 839000 | #Constraints: 37053 1710.14/1714.12 c #Conflicts: 840000 | #Constraints: 38053 1710.14/1714.12 c #Conflicts: 841000 | #Constraints: 39053 1710.14/1714.12 c #Conflicts: 842000 | #Constraints: 40054 1710.14/1714.12 c #Conflicts: 843000 | #Constraints: 41054 1710.14/1714.12 c #Conflicts: 844000 | #Constraints: 42054 1710.14/1714.12 c #Conflicts: 845000 | #Constraints: 43054 1860.06/1864.42 c #Conflicts: 846000 | #Constraints: 44054 1860.06/1864.42 c #Conflicts: 847000 | #Constraints: 45054 1860.06/1864.42 c #Conflicts: 848000 | #Constraints: 46055 1860.06/1864.42 c #Conflicts: 849000 | #Constraints: 47055 1860.06/1864.42 c #Conflicts: 850000 | #Constraints: 48055 1860.06/1864.42 c #Conflicts: 851000 | #Constraints: 49056 1860.06/1864.42 c #Conflicts: 852000 | #Constraints: 50056 1860.06/1864.42 c #Conflicts: 853000 | #Constraints: 51056 1860.06/1864.42 c #Conflicts: 854000 | #Constraints: 52056 1860.06/1864.42 c #Conflicts: 855000 | #Constraints: 53056 1860.06/1864.42 c #Conflicts: 856000 | #Constraints: 54056 1860.06/1864.42 c #Conflicts: 857000 | #Constraints: 55056 1860.06/1864.42 c #Conflicts: 858000 | #Constraints: 56056 1860.06/1864.42 c INPROCESSING 1860.06/1864.42 c GARBAGE COLLECT 1860.06/1864.42 c #Conflicts: 859000 | #Constraints: 32915 1860.06/1864.42 c #Conflicts: 860000 | #Constraints: 33915 1860.06/1864.42 c #Conflicts: 861000 | #Constraints: 34915 1860.06/1864.42 c #Conflicts: 862000 | #Constraints: 35915 1860.06/1864.42 c #Conflicts: 863000 | #Constraints: 36915 1860.06/1864.42 c #Conflicts: 864000 | #Constraints: 37915 1860.06/1864.42 c #Conflicts: 865000 | #Constraints: 38915 1860.06/1864.42 c #Conflicts: 866000 | #Constraints: 39915 1860.06/1864.42 c #Conflicts: 867000 | #Constraints: 40915 1860.06/1864.42 c #Conflicts: 868000 | #Constraints: 41915 1860.06/1864.42 c #Conflicts: 869000 | #Constraints: 42915 1860.06/1864.42 c #Conflicts: 870000 | #Constraints: 43915 1860.06/1864.42 c #Conflicts: 871000 | #Constraints: 44915 1860.06/1864.42 c #Conflicts: 872000 | #Constraints: 45915 1860.06/1864.42 c #Conflicts: 873000 | #Constraints: 46915 1860.06/1864.42 c #Conflicts: 874000 | #Constraints: 47915 1860.06/1864.42 c #Conflicts: 875000 | #Constraints: 48915 1860.06/1864.42 c #Conflicts: 876000 | #Constraints: 49915 1860.06/1864.42 c #Conflicts: 877000 | #Constraints: 50915 1860.06/1864.42 c #Conflicts: 878000 | #Constraints: 51915 1860.06/1864.42 c #Conflicts: 879000 | #Constraints: 52915 1860.06/1864.42 c #Conflicts: 880000 | #Constraints: 53915 1860.06/1864.42 c #Conflicts: 881000 | #Constraints: 54915 1860.06/1864.42 c #Conflicts: 882000 | #Constraints: 55915 1860.06/1864.42 c #Conflicts: 883000 | #Constraints: 56916 1860.06/1864.42 c #Conflicts: 884000 | #Constraints: 57916 1860.06/1864.42 c #Conflicts: 885000 | #Constraints: 58916 1860.06/1864.42 c #Conflicts: 886000 | #Constraints: 59916 1860.06/1864.42 c #Conflicts: 887000 | #Constraints: 60916 1860.06/1864.42 c #Conflicts: 888000 | #Constraints: 61916 1860.06/1864.42 c #Conflicts: 889000 | #Constraints: 62916 1860.06/1864.42 c #Conflicts: 890000 | #Constraints: 63916 1860.06/1864.42 c #Conflicts: 891000 | #Constraints: 64916 1860.06/1864.42 c #Conflicts: 892000 | #Constraints: 65916 1860.06/1864.42 c #Conflicts: 893000 | #Constraints: 66916 1860.06/1864.42 c #Conflicts: 894000 | #Constraints: 67916 1860.06/1864.42 c #Conflicts: 895000 | #Constraints: 68916 1860.06/1864.42 c #Conflicts: 896000 | #Constraints: 69916 1860.06/1864.42 c #Conflicts: 897000 | #Constraints: 70916 1860.06/1864.42 c #Conflicts: 898000 | #Constraints: 71916 1860.06/1864.42 c #Conflicts: 899000 | #Constraints: 72916 1860.06/1864.42 c #Conflicts: 900000 | #Constraints: 73916 1860.06/1864.42 c #Conflicts: 901000 | #Constraints: 74916 1860.06/1864.42 c #Conflicts: 902000 | #Constraints: 75916 1860.06/1864.42 c #Conflicts: 903000 | #Constraints: 76917 1860.06/1864.42 c #Conflicts: 904000 | #Constraints: 77917 1860.06/1864.42 c #Conflicts: 905000 | #Constraints: 78917 1860.06/1864.42 c #Conflicts: 906000 | #Constraints: 79917 1860.06/1864.42 c #Conflicts: 907000 | #Constraints: 80917 1860.06/1864.42 c #Conflicts: 908000 | #Constraints: 81917 1860.06/1864.42 c #Conflicts: 909000 | #Constraints: 82917 1860.06/1864.42 c #Conflicts: 910000 | #Constraints: 83917 1860.06/1864.42 c #Conflicts: 911000 | #Constraints: 84917 1860.06/1864.42 c #Conflicts: 912000 | #Constraints: 85917 1860.06/1864.42 c #Conflicts: 913000 | #Constraints: 86917 1860.06/1864.42 c #Conflicts: 914000 | #Constraints: 87917 1860.06/1864.42 c #Conflicts: 915000 | #Constraints: 88917 1860.06/1864.42 c #Conflicts: 916000 | #Constraints: 89917 1860.06/1864.42 c #Conflicts: 917000 | #Constraints: 90918 1860.06/1864.42 c #Conflicts: 918000 | #Constraints: 91918 1860.06/1864.42 c #Conflicts: 919000 | #Constraints: 92919 1860.06/1864.42 c #Conflicts: 920000 | #Constraints: 93919 1860.06/1864.42 c #Conflicts: 921000 | #Constraints: 94920 1860.06/1864.42 c #Conflicts: 922000 | #Constraints: 95920 1860.06/1864.42 c #Conflicts: 923000 | #Constraints: 96920 1880.72/1885.17 c #Conflicts: 924000 | #Constraints: 97920 1880.72/1885.17 c #Conflicts: 925000 | #Constraints: 98920 1880.72/1885.17 c #Conflicts: 926000 | #Constraints: 99920 1880.72/1885.17 c #Conflicts: 927000 | #Constraints: 100920 1880.72/1885.17 c #Conflicts: 928000 | #Constraints: 101920 1880.72/1885.17 c INPROCESSING 1880.72/1885.17 c GARBAGE COLLECT 1880.72/1885.17 c rational objective 106 1920.52/1925.03 c #Conflicts: 929000 | #Constraints: 55744 1920.52/1925.03 c #Conflicts: 930000 | #Constraints: 56744 1920.52/1925.03 c #Conflicts: 931000 | #Constraints: 57744 1920.52/1925.03 c #Conflicts: 932000 | #Constraints: 58744 1920.52/1925.03 c #Conflicts: 933000 | #Constraints: 59744 1920.52/1925.03 c #Conflicts: 934000 | #Constraints: 60744 1920.52/1925.03 c #Conflicts: 935000 | #Constraints: 61744 1920.52/1925.03 c #Conflicts: 936000 | #Constraints: 62744 1920.52/1925.03 c #Conflicts: 937000 | #Constraints: 63744 1920.52/1925.03 c #Conflicts: 938000 | #Constraints: 64744 1920.52/1925.03 c #Conflicts: 939000 | #Constraints: 65744 1920.52/1925.03 c #Conflicts: 940000 | #Constraints: 66744 1920.52/1925.03 c #Conflicts: 941000 | #Constraints: 67744 1920.52/1925.03 c #Conflicts: 942000 | #Constraints: 68744 1920.52/1925.03 c #Conflicts: 943000 | #Constraints: 69744 1920.52/1925.03 c #Conflicts: 944000 | #Constraints: 70744 1920.52/1925.03 c #Conflicts: 945000 | #Constraints: 71744 1920.52/1925.03 c #Conflicts: 946000 | #Constraints: 72744 1920.52/1925.03 c #Conflicts: 947000 | #Constraints: 73744 1920.52/1925.03 c #Conflicts: 948000 | #Constraints: 74744 1920.52/1925.03 c #Conflicts: 949000 | #Constraints: 75744 1920.52/1925.03 c #Conflicts: 950000 | #Constraints: 76744 1920.52/1925.03 c #Conflicts: 951000 | #Constraints: 77744 1920.52/1925.03 c INPROCESSING 1920.52/1925.03 c GARBAGE COLLECT 1920.52/1925.03 c rational objective 106 1959.71/1964.30 c #Conflicts: 952000 | #Constraints: 43911 1959.71/1964.30 c #Conflicts: 953000 | #Constraints: 44911 1959.71/1964.30 c #Conflicts: 954000 | #Constraints: 45912 1959.71/1964.30 c #Conflicts: 955000 | #Constraints: 46912 1959.71/1964.30 c #Conflicts: 956000 | #Constraints: 47912 1959.71/1964.30 c #Conflicts: 957000 | #Constraints: 48912 1959.71/1964.30 c #Conflicts: 958000 | #Constraints: 49912 1959.71/1964.30 c #Conflicts: 959000 | #Constraints: 50912 1959.71/1964.30 c #Conflicts: 960000 | #Constraints: 51912 1959.71/1964.30 c #Conflicts: 961000 | #Constraints: 52912 1959.71/1964.30 c #Conflicts: 962000 | #Constraints: 53912 1959.71/1964.30 c #Conflicts: 963000 | #Constraints: 54912 1959.71/1964.30 c #Conflicts: 964000 | #Constraints: 55912 1959.71/1964.30 c #Conflicts: 965000 | #Constraints: 57009 1959.71/1964.30 c #Conflicts: 966000 | #Constraints: 58081 1959.71/1964.30 c #Conflicts: 967000 | #Constraints: 59081 1959.71/1964.30 c #Conflicts: 968000 | #Constraints: 60081 1959.71/1964.30 c #Conflicts: 969000 | #Constraints: 61081 1959.71/1964.30 c #Conflicts: 970000 | #Constraints: 62081 1959.71/1964.30 c #Conflicts: 971000 | #Constraints: 63081 1959.71/1964.30 c #Conflicts: 972000 | #Constraints: 64081 1959.71/1964.30 c #Conflicts: 973000 | #Constraints: 65081 1959.71/1964.30 c #Conflicts: 974000 | #Constraints: 66081 1959.71/1964.30 c INPROCESSING 1959.71/1964.30 c GARBAGE COLLECT 1959.71/1964.30 c rational objective 106 1990.81/1995.51 c #Conflicts: 975000 | #Constraints: 38165 1990.81/1995.51 c #Conflicts: 976000 | #Constraints: 39165 1990.81/1995.51 c #Conflicts: 977000 | #Constraints: 40165 1990.81/1995.51 c #Conflicts: 978000 | #Constraints: 41165 1990.81/1995.51 c #Conflicts: 979000 | #Constraints: 42165 1990.81/1995.51 c #Conflicts: 980000 | #Constraints: 43165 1990.81/1995.51 c #Conflicts: 981000 | #Constraints: 44165 1990.81/1995.51 c #Conflicts: 982000 | #Constraints: 45165 1990.81/1995.51 c #Conflicts: 983000 | #Constraints: 46165 1990.81/1995.51 c #Conflicts: 984000 | #Constraints: 47166 1990.81/1995.51 c #Conflicts: 985000 | #Constraints: 48166 1990.81/1995.51 c #Conflicts: 986000 | #Constraints: 49167 1990.81/1995.51 c #Conflicts: 987000 | #Constraints: 50167 1990.81/1995.51 c #Conflicts: 988000 | #Constraints: 51168 1990.81/1995.51 c #Conflicts: 989000 | #Constraints: 52168 1990.81/1995.51 c #Conflicts: 990000 | #Constraints: 53168 1990.81/1995.51 c #Conflicts: 991000 | #Constraints: 54168 1990.81/1995.51 c #Conflicts: 992000 | #Constraints: 55169 1990.81/1995.51 c #Conflicts: 993000 | #Constraints: 56169 1990.81/1995.51 c #Conflicts: 994000 | #Constraints: 57169 1990.81/1995.51 c #Conflicts: 995000 | #Constraints: 58169 1990.81/1995.51 c #Conflicts: 996000 | #Constraints: 59169 1990.81/1995.51 c #Conflicts: 997000 | #Constraints: 60169 1990.81/1995.51 c INPROCESSING 1990.81/1995.51 c GARBAGE COLLECT 1990.81/1995.51 c rational objective 106 2165.07/2170.26 c #Conflicts: 998000 | #Constraints: 35109 2165.07/2170.26 c #Conflicts: 999000 | #Constraints: 36109 2165.07/2170.26 c #Conflicts: 1000000 | #Constraints: 37109 2165.07/2170.26 c #Conflicts: 1001000 | #Constraints: 38110 2165.07/2170.26 c #Conflicts: 1002000 | #Constraints: 39110 2165.07/2170.26 c #Conflicts: 1003000 | #Constraints: 40110 2165.07/2170.26 c #Conflicts: 1004000 | #Constraints: 41110 2165.07/2170.26 c #Conflicts: 1005000 | #Constraints: 42110 2165.07/2170.26 c #Conflicts: 1006000 | #Constraints: 43110 2165.07/2170.26 c #Conflicts: 1007000 | #Constraints: 44110 2165.07/2170.26 c #Conflicts: 1008000 | #Constraints: 45110 2165.07/2170.26 c #Conflicts: 1009000 | #Constraints: 46110 2165.07/2170.26 c #Conflicts: 1010000 | #Constraints: 47110 2165.07/2170.26 c #Conflicts: 1011000 | #Constraints: 48110 2165.07/2170.26 c #Conflicts: 1012000 | #Constraints: 49110 2165.07/2170.26 c #Conflicts: 1013000 | #Constraints: 50110 2165.07/2170.26 c #Conflicts: 1014000 | #Constraints: 51110 2165.07/2170.26 c #Conflicts: 1015000 | #Constraints: 52110 2165.07/2170.26 c #Conflicts: 1016000 | #Constraints: 53111 2165.07/2170.26 c #Conflicts: 1017000 | #Constraints: 54111 2165.07/2170.26 c #Conflicts: 1018000 | #Constraints: 55111 2165.07/2170.26 c #Conflicts: 1019000 | #Constraints: 56111 2165.07/2170.26 c #Conflicts: 1020000 | #Constraints: 57111 2165.07/2170.26 c #Conflicts: 1021000 | #Constraints: 58111 2165.07/2170.26 c #Conflicts: 1022000 | #Constraints: 59111 2165.07/2170.26 c #Conflicts: 1023000 | #Constraints: 60111 2165.07/2170.26 c #Conflicts: 1024000 | #Constraints: 61111 2165.07/2170.26 c #Conflicts: 1025000 | #Constraints: 62111 2165.07/2170.26 c #Conflicts: 1026000 | #Constraints: 63111 2165.07/2170.26 c #Conflicts: 1027000 | #Constraints: 64111 2165.07/2170.26 c #Conflicts: 1028000 | #Constraints: 65111 2165.07/2170.26 c #Conflicts: 1029000 | #Constraints: 66112 2165.07/2170.26 c #Conflicts: 1030000 | #Constraints: 67112 2165.07/2170.26 c #Conflicts: 1031000 | #Constraints: 68112 2165.07/2170.26 c #Conflicts: 1032000 | #Constraints: 69112 2165.07/2170.26 c #Conflicts: 1033000 | #Constraints: 70113 2165.07/2170.26 c #Conflicts: 1034000 | #Constraints: 71113 2165.07/2170.26 c #Conflicts: 1035000 | #Constraints: 72113 2165.07/2170.26 c #Conflicts: 1036000 | #Constraints: 73113 2165.07/2170.26 c #Conflicts: 1037000 | #Constraints: 74113 2165.07/2170.26 c #Conflicts: 1038000 | #Constraints: 75113 2165.07/2170.26 c #Conflicts: 1039000 | #Constraints: 76113 2165.07/2170.26 c #Conflicts: 1040000 | #Constraints: 77113 2165.07/2170.26 c #Conflicts: 1041000 | #Constraints: 78113 2165.07/2170.26 c #Conflicts: 1042000 | #Constraints: 79113 2165.07/2170.26 c #Conflicts: 1043000 | #Constraints: 80113 2165.07/2170.26 c #Conflicts: 1044000 | #Constraints: 81113 2165.07/2170.26 c #Conflicts: 1045000 | #Constraints: 82113 2165.07/2170.26 c #Conflicts: 1046000 | #Constraints: 83113 2165.07/2170.26 c #Conflicts: 1047000 | #Constraints: 84113 2165.07/2170.26 c #Conflicts: 1048000 | #Constraints: 85113 2165.07/2170.26 c #Conflicts: 1049000 | #Constraints: 86113 2165.07/2170.26 c #Conflicts: 1050000 | #Constraints: 87113 2165.07/2170.26 c #Conflicts: 1051000 | #Constraints: 88113 2165.07/2170.26 c #Conflicts: 1052000 | #Constraints: 89113 2165.07/2170.26 c #Conflicts: 1053000 | #Constraints: 90113 2165.07/2170.26 c #Conflicts: 1054000 | #Constraints: 91114 2165.07/2170.26 c #Conflicts: 1055000 | #Constraints: 92114 2165.07/2170.26 c #Conflicts: 1056000 | #Constraints: 93114 2165.07/2170.26 c #Conflicts: 1057000 | #Constraints: 94114 2165.07/2170.26 c #Conflicts: 1058000 | #Constraints: 95114 2165.07/2170.26 c #Conflicts: 1059000 | #Constraints: 96114 2165.07/2170.26 c #Conflicts: 1060000 | #Constraints: 97114 2165.07/2170.26 c #Conflicts: 1061000 | #Constraints: 98114 2165.07/2170.26 c #Conflicts: 1062000 | #Constraints: 99114 2165.07/2170.26 c #Conflicts: 1063000 | #Constraints: 100114 2165.07/2170.26 c #Conflicts: 1064000 | #Constraints: 101114 2165.07/2170.26 c #Conflicts: 1065000 | #Constraints: 102114 2165.07/2170.26 c #Conflicts: 1066000 | #Constraints: 103114 2165.07/2170.26 c #Conflicts: 1067000 | #Constraints: 104114 2165.07/2170.26 c #Conflicts: 1068000 | #Constraints: 105114 2165.07/2170.26 c #Conflicts: 1069000 | #Constraints: 106114 2165.07/2170.26 c #Conflicts: 1070000 | #Constraints: 107114 2165.07/2170.26 c #Conflicts: 1071000 | #Constraints: 108114 2165.07/2170.26 c #Conflicts: 1072000 | #Constraints: 109114 2165.07/2170.26 c #Conflicts: 1073000 | #Constraints: 110114 2165.07/2170.26 c INPROCESSING 2165.07/2170.26 c GARBAGE COLLECT 2165.07/2170.26 c rational objective 106 2227.52/2232.83 c #Conflicts: 1074000 | #Constraints: 60344 2227.52/2232.83 c #Conflicts: 1075000 | #Constraints: 61344 2227.52/2232.83 c #Conflicts: 1076000 | #Constraints: 62344 2227.52/2232.83 c #Conflicts: 1077000 | #Constraints: 63344 2227.52/2232.83 c #Conflicts: 1078000 | #Constraints: 64345 2227.52/2232.83 c #Conflicts: 1079000 | #Constraints: 65345 2227.52/2232.83 c #Conflicts: 1080000 | #Constraints: 66345 2227.52/2232.83 c #Conflicts: 1081000 | #Constraints: 67346 2227.52/2232.83 c #Conflicts: 1082000 | #Constraints: 68346 2227.52/2232.83 c #Conflicts: 1083000 | #Constraints: 69346 2227.52/2232.83 c #Conflicts: 1084000 | #Constraints: 70346 2227.52/2232.83 c #Conflicts: 1085000 | #Constraints: 71346 2227.52/2232.83 c #Conflicts: 1086000 | #Constraints: 72346 2227.52/2232.83 c #Conflicts: 1087000 | #Constraints: 73346 2227.52/2232.83 c #Conflicts: 1088000 | #Constraints: 74346 2227.52/2232.83 c #Conflicts: 1089000 | #Constraints: 75346 2227.52/2232.83 c #Conflicts: 1090000 | #Constraints: 76346 2227.52/2232.83 c #Conflicts: 1091000 | #Constraints: 77346 2227.52/2232.83 c #Conflicts: 1092000 | #Constraints: 78346 2227.52/2232.83 c #Conflicts: 1093000 | #Constraints: 79347 2227.52/2232.83 c #Conflicts: 1094000 | #Constraints: 80347 2227.52/2232.83 c #Conflicts: 1095000 | #Constraints: 81347 2227.52/2232.83 c #Conflicts: 1096000 | #Constraints: 82347 2227.52/2232.83 c #Conflicts: 1097000 | #Constraints: 83347 2227.52/2232.83 c INPROCESSING 2227.52/2232.83 c GARBAGE COLLECT 2227.52/2232.83 c rational objective 106 2284.69/2290.17 c #Conflicts: 1098000 | #Constraints: 46845 2284.69/2290.17 c #Conflicts: 1099000 | #Constraints: 47845 2284.69/2290.17 c #Conflicts: 1100000 | #Constraints: 48845 2284.69/2290.17 c #Conflicts: 1101000 | #Constraints: 49845 2284.69/2290.17 c #Conflicts: 1102000 | #Constraints: 50845 2284.69/2290.17 c #Conflicts: 1103000 | #Constraints: 51845 2284.69/2290.17 c #Conflicts: 1104000 | #Constraints: 52845 2284.69/2290.17 c #Conflicts: 1105000 | #Constraints: 53845 2284.69/2290.17 c #Conflicts: 1106000 | #Constraints: 54845 2284.69/2290.17 c #Conflicts: 1107000 | #Constraints: 55845 2284.69/2290.17 c #Conflicts: 1108000 | #Constraints: 56845 2284.69/2290.17 c #Conflicts: 1109000 | #Constraints: 57845 2284.69/2290.17 c #Conflicts: 1110000 | #Constraints: 58845 2284.69/2290.17 c #Conflicts: 1111000 | #Constraints: 59845 2284.69/2290.17 c #Conflicts: 1112000 | #Constraints: 60845 2284.69/2290.17 c #Conflicts: 1113000 | #Constraints: 61845 2284.69/2290.17 c #Conflicts: 1114000 | #Constraints: 62845 2284.69/2290.17 c #Conflicts: 1115000 | #Constraints: 63845 2284.69/2290.17 c #Conflicts: 1116000 | #Constraints: 64845 2284.69/2290.17 c #Conflicts: 1117000 | #Constraints: 65845 2284.69/2290.17 c #Conflicts: 1118000 | #Constraints: 66845 2284.69/2290.17 c #Conflicts: 1119000 | #Constraints: 67845 2284.69/2290.17 c #Conflicts: 1120000 | #Constraints: 68845 2284.69/2290.17 c #Conflicts: 1121000 | #Constraints: 69845 2284.69/2290.17 c #Conflicts: 1122000 | #Constraints: 70845 2284.69/2290.17 c INPROCESSING 2284.69/2290.17 c GARBAGE COLLECT 2284.69/2290.17 c rational objective 106 2323.39/2328.95 c #Conflicts: 1123000 | #Constraints: 40686 2323.39/2328.95 c #Conflicts: 1124000 | #Constraints: 41686 2323.39/2328.95 c #Conflicts: 1125000 | #Constraints: 42686 2323.39/2328.95 c #Conflicts: 1126000 | #Constraints: 43686 2323.39/2328.95 c #Conflicts: 1127000 | #Constraints: 44686 2323.39/2328.95 c #Conflicts: 1128000 | #Constraints: 45686 2323.39/2328.95 c #Conflicts: 1129000 | #Constraints: 46687 2323.39/2328.95 c #Conflicts: 1130000 | #Constraints: 47687 2323.39/2328.95 c #Conflicts: 1131000 | #Constraints: 48687 2323.39/2328.95 c #Conflicts: 1132000 | #Constraints: 49687 2323.39/2328.95 c #Conflicts: 1133000 | #Constraints: 50687 2323.39/2328.95 c #Conflicts: 1134000 | #Constraints: 51687 2323.39/2328.95 c #Conflicts: 1135000 | #Constraints: 52688 2323.39/2328.95 c #Conflicts: 1136000 | #Constraints: 53688 2323.39/2328.95 c #Conflicts: 1137000 | #Constraints: 54688 2323.39/2328.95 c #Conflicts: 1138000 | #Constraints: 55688 2323.39/2328.95 c #Conflicts: 1139000 | #Constraints: 56688 2323.39/2328.95 c #Conflicts: 1140000 | #Constraints: 57688 2323.39/2328.95 c #Conflicts: 1141000 | #Constraints: 58688 2323.39/2328.95 c #Conflicts: 1142000 | #Constraints: 59688 2323.39/2328.96 c #Conflicts: 1143000 | #Constraints: 60688 2323.39/2328.96 c #Conflicts: 1144000 | #Constraints: 61688 2323.39/2328.96 c #Conflicts: 1145000 | #Constraints: 62688 2323.39/2328.96 c #Conflicts: 1146000 | #Constraints: 63688 2323.39/2328.96 c INPROCESSING 2323.39/2328.96 c GARBAGE COLLECT 2323.39/2328.96 c rational objective 106 2516.41/2522.46 c #Conflicts: 1147000 | #Constraints: 36771 2516.41/2522.46 c #Conflicts: 1148000 | #Constraints: 37771 2516.41/2522.46 c #Conflicts: 1149000 | #Constraints: 38771 2516.41/2522.46 c #Conflicts: 1150000 | #Constraints: 39771 2516.41/2522.46 c #Conflicts: 1151000 | #Constraints: 40771 2516.41/2522.46 c #Conflicts: 1152000 | #Constraints: 41771 2516.41/2522.46 c #Conflicts: 1153000 | #Constraints: 42771 2516.41/2522.46 c #Conflicts: 1154000 | #Constraints: 43771 2516.41/2522.46 c #Conflicts: 1155000 | #Constraints: 44771 2516.41/2522.46 c #Conflicts: 1156000 | #Constraints: 45771 2516.41/2522.46 c #Conflicts: 1157000 | #Constraints: 46771 2516.41/2522.46 c #Conflicts: 1158000 | #Constraints: 47771 2516.41/2522.46 c #Conflicts: 1159000 | #Constraints: 48772 2516.41/2522.46 c #Conflicts: 1160000 | #Constraints: 49773 2516.41/2522.46 c #Conflicts: 1161000 | #Constraints: 50773 2516.41/2522.46 c #Conflicts: 1162000 | #Constraints: 51773 2516.41/2522.46 c #Conflicts: 1163000 | #Constraints: 52773 2516.41/2522.46 c #Conflicts: 1164000 | #Constraints: 53773 2516.41/2522.46 c #Conflicts: 1165000 | #Constraints: 54773 2516.41/2522.46 c #Conflicts: 1166000 | #Constraints: 55774 2516.41/2522.46 c #Conflicts: 1167000 | #Constraints: 56774 2516.41/2522.46 c #Conflicts: 1168000 | #Constraints: 57774 2516.41/2522.46 c #Conflicts: 1169000 | #Constraints: 58774 2516.41/2522.46 c #Conflicts: 1170000 | #Constraints: 59774 2516.41/2522.46 c #Conflicts: 1171000 | #Constraints: 60774 2516.41/2522.46 c #Conflicts: 1172000 | #Constraints: 61774 2516.41/2522.46 c #Conflicts: 1173000 | #Constraints: 62774 2516.41/2522.46 c #Conflicts: 1174000 | #Constraints: 63774 2516.41/2522.46 c #Conflicts: 1175000 | #Constraints: 64774 2516.41/2522.46 c #Conflicts: 1176000 | #Constraints: 65774 2516.41/2522.46 c #Conflicts: 1177000 | #Constraints: 66774 2516.41/2522.46 c #Conflicts: 1178000 | #Constraints: 67774 2516.41/2522.46 c #Conflicts: 1179000 | #Constraints: 68774 2516.41/2522.46 c #Conflicts: 1180000 | #Constraints: 69774 2516.41/2522.46 c #Conflicts: 1181000 | #Constraints: 70774 2516.41/2522.46 c #Conflicts: 1182000 | #Constraints: 71774 2516.41/2522.46 c #Conflicts: 1183000 | #Constraints: 72774 2516.41/2522.46 c #Conflicts: 1184000 | #Constraints: 73774 2516.41/2522.46 c #Conflicts: 1185000 | #Constraints: 74774 2516.41/2522.46 c #Conflicts: 1186000 | #Constraints: 75774 2516.41/2522.46 c #Conflicts: 1187000 | #Constraints: 76774 2516.41/2522.46 c #Conflicts: 1188000 | #Constraints: 77774 2516.41/2522.46 c #Conflicts: 1189000 | #Constraints: 78774 2516.41/2522.46 c #Conflicts: 1190000 | #Constraints: 79774 2516.41/2522.46 c #Conflicts: 1191000 | #Constraints: 80774 2516.41/2522.46 c #Conflicts: 1192000 | #Constraints: 81774 2516.41/2522.46 c #Conflicts: 1193000 | #Constraints: 82774 2516.41/2522.46 c #Conflicts: 1194000 | #Constraints: 83774 2516.41/2522.46 c #Conflicts: 1195000 | #Constraints: 84774 2516.41/2522.46 c #Conflicts: 1196000 | #Constraints: 85774 2516.41/2522.46 c #Conflicts: 1197000 | #Constraints: 86775 2516.41/2522.46 c #Conflicts: 1198000 | #Constraints: 87775 2516.41/2522.46 c #Conflicts: 1199000 | #Constraints: 88775 2516.41/2522.46 c #Conflicts: 1200000 | #Constraints: 89775 2516.41/2522.46 c #Conflicts: 1201000 | #Constraints: 90775 2516.41/2522.46 c #Conflicts: 1202000 | #Constraints: 91775 2516.41/2522.46 c #Conflicts: 1203000 | #Constraints: 92775 2516.41/2522.46 c #Conflicts: 1204000 | #Constraints: 93775 2516.41/2522.46 c #Conflicts: 1205000 | #Constraints: 94775 2516.41/2522.46 c #Conflicts: 1206000 | #Constraints: 95775 2516.41/2522.46 c #Conflicts: 1207000 | #Constraints: 96775 2516.41/2522.46 c #Conflicts: 1208000 | #Constraints: 97775 2516.41/2522.46 c #Conflicts: 1209000 | #Constraints: 98775 2516.41/2522.46 c #Conflicts: 1210000 | #Constraints: 99775 2516.41/2522.46 c #Conflicts: 1211000 | #Constraints: 100775 2516.41/2522.46 c #Conflicts: 1212000 | #Constraints: 101776 2516.41/2522.46 c #Conflicts: 1213000 | #Constraints: 102776 2516.41/2522.46 c #Conflicts: 1214000 | #Constraints: 103776 2516.41/2522.46 c #Conflicts: 1215000 | #Constraints: 104776 2516.41/2522.46 c #Conflicts: 1216000 | #Constraints: 105776 2516.41/2522.46 c #Conflicts: 1217000 | #Constraints: 106776 2516.41/2522.46 c #Conflicts: 1218000 | #Constraints: 107777 2516.41/2522.46 c #Conflicts: 1219000 | #Constraints: 108777 2516.41/2522.46 c #Conflicts: 1220000 | #Constraints: 109778 2516.41/2522.46 c #Conflicts: 1221000 | #Constraints: 110778 2516.41/2522.46 c #Conflicts: 1222000 | #Constraints: 111778 2516.41/2522.46 c #Conflicts: 1223000 | #Constraints: 112778 2516.41/2522.46 c #Conflicts: 1224000 | #Constraints: 113778 2516.41/2522.46 c #Conflicts: 1225000 | #Constraints: 114779 2530.78/2536.89 c #Conflicts: 1226000 | #Constraints: 115779 2530.78/2536.89 c #Conflicts: 1227000 | #Constraints: 116779 2530.78/2536.89 c INPROCESSING 2530.78/2536.89 c GARBAGE COLLECT 2530.78/2536.89 c rational objective 106 2597.41/2603.67 c #Conflicts: 1228000 | #Constraints: 63397 2597.41/2603.67 c #Conflicts: 1229000 | #Constraints: 64397 2597.41/2603.67 c #Conflicts: 1230000 | #Constraints: 65397 2597.41/2603.67 c #Conflicts: 1231000 | #Constraints: 66397 2597.41/2603.67 c #Conflicts: 1232000 | #Constraints: 67397 2597.41/2603.67 c #Conflicts: 1233000 | #Constraints: 68397 2597.41/2603.67 c #Conflicts: 1234000 | #Constraints: 69398 2597.41/2603.67 c #Conflicts: 1235000 | #Constraints: 70399 2597.41/2603.67 c #Conflicts: 1236000 | #Constraints: 71399 2597.41/2603.67 c #Conflicts: 1237000 | #Constraints: 72399 2597.41/2603.67 c #Conflicts: 1238000 | #Constraints: 73399 2597.41/2603.67 c #Conflicts: 1239000 | #Constraints: 74400 2597.41/2603.67 c #Conflicts: 1240000 | #Constraints: 75401 2597.41/2603.67 c #Conflicts: 1241000 | #Constraints: 76401 2597.41/2603.67 c #Conflicts: 1242000 | #Constraints: 77401 2597.41/2603.67 c #Conflicts: 1243000 | #Constraints: 78401 2597.41/2603.67 c #Conflicts: 1244000 | #Constraints: 79401 2597.41/2603.67 c #Conflicts: 1245000 | #Constraints: 80401 2597.41/2603.67 c #Conflicts: 1246000 | #Constraints: 81401 2597.41/2603.67 c #Conflicts: 1247000 | #Constraints: 82401 2597.41/2603.67 c #Conflicts: 1248000 | #Constraints: 83402 2597.41/2603.67 c #Conflicts: 1249000 | #Constraints: 84402 2597.41/2603.67 c #Conflicts: 1250000 | #Constraints: 85402 2597.41/2603.67 c #Conflicts: 1251000 | #Constraints: 86402 2597.41/2603.67 c #Conflicts: 1252000 | #Constraints: 87402 2597.41/2603.67 c #Conflicts: 1253000 | #Constraints: 88402 2597.41/2603.67 c INPROCESSING 2597.41/2603.67 c GARBAGE COLLECT 2597.41/2603.67 c rational objective 106 2648.09/2654.46 c #Conflicts: 1254000 | #Constraints: 49229 2648.09/2654.46 c #Conflicts: 1255000 | #Constraints: 50229 2648.09/2654.46 c #Conflicts: 1256000 | #Constraints: 51229 2648.09/2654.46 c #Conflicts: 1257000 | #Constraints: 52229 2648.09/2654.46 c #Conflicts: 1258000 | #Constraints: 53229 2648.09/2654.46 c #Conflicts: 1259000 | #Constraints: 54229 2648.09/2654.46 c #Conflicts: 1260000 | #Constraints: 55229 2648.09/2654.46 c #Conflicts: 1261000 | #Constraints: 56230 2648.09/2654.46 c #Conflicts: 1262000 | #Constraints: 57230 2648.09/2654.46 c #Conflicts: 1263000 | #Constraints: 58230 2648.09/2654.46 c #Conflicts: 1264000 | #Constraints: 59230 2648.09/2654.46 c #Conflicts: 1265000 | #Constraints: 60230 2648.09/2654.46 c #Conflicts: 1266000 | #Constraints: 61230 2648.09/2654.46 c #Conflicts: 1267000 | #Constraints: 62230 2648.09/2654.46 c #Conflicts: 1268000 | #Constraints: 63230 2648.09/2654.46 c #Conflicts: 1269000 | #Constraints: 64230 2648.09/2654.46 c #Conflicts: 1270000 | #Constraints: 65230 2648.09/2654.46 c #Conflicts: 1271000 | #Constraints: 66230 2648.09/2654.46 c #Conflicts: 1272000 | #Constraints: 67230 2648.09/2654.46 c #Conflicts: 1273000 | #Constraints: 68230 2648.09/2654.46 c #Conflicts: 1274000 | #Constraints: 69230 2648.09/2654.46 c #Conflicts: 1275000 | #Constraints: 70230 2648.09/2654.46 c #Conflicts: 1276000 | #Constraints: 71230 2648.09/2654.46 c #Conflicts: 1277000 | #Constraints: 72230 2648.09/2654.46 c #Conflicts: 1278000 | #Constraints: 73230 2648.09/2654.46 c #Conflicts: 1279000 | #Constraints: 74230 2648.09/2654.46 c #Conflicts: 1280000 | #Constraints: 75230 2648.09/2654.46 c INPROCESSING 2648.09/2654.46 c GARBAGE COLLECT 2648.09/2654.46 c rational objective 106 2683.99/2690.40 c #Conflicts: 1281000 | #Constraints: 43005 2683.99/2690.40 c #Conflicts: 1282000 | #Constraints: 44005 2683.99/2690.40 c #Conflicts: 1283000 | #Constraints: 45005 2683.99/2690.40 c #Conflicts: 1284000 | #Constraints: 46006 2683.99/2690.40 c #Conflicts: 1285000 | #Constraints: 47006 2683.99/2690.40 c #Conflicts: 1286000 | #Constraints: 48006 2683.99/2690.40 c #Conflicts: 1287000 | #Constraints: 49006 2683.99/2690.40 c #Conflicts: 1288000 | #Constraints: 50006 2683.99/2690.40 c #Conflicts: 1289000 | #Constraints: 51006 2683.99/2690.40 c #Conflicts: 1290000 | #Constraints: 52006 2683.99/2690.40 c #Conflicts: 1291000 | #Constraints: 53006 2683.99/2690.40 c #Conflicts: 1292000 | #Constraints: 54006 2683.99/2690.40 c #Conflicts: 1293000 | #Constraints: 55006 2683.99/2690.40 c #Conflicts: 1294000 | #Constraints: 56006 2683.99/2690.40 c #Conflicts: 1295000 | #Constraints: 57006 2683.99/2690.40 c #Conflicts: 1296000 | #Constraints: 58007 2683.99/2690.40 c #Conflicts: 1297000 | #Constraints: 59007 2683.99/2690.40 c #Conflicts: 1298000 | #Constraints: 60007 2683.99/2690.40 c #Conflicts: 1299000 | #Constraints: 61007 2683.99/2690.40 c #Conflicts: 1300000 | #Constraints: 62007 2683.99/2690.40 c #Conflicts: 1301000 | #Constraints: 63007 2683.99/2690.40 c #Conflicts: 1302000 | #Constraints: 64007 2683.99/2690.40 c #Conflicts: 1303000 | #Constraints: 65007 2683.99/2690.40 c #Conflicts: 1304000 | #Constraints: 66007 2683.99/2690.40 c #Conflicts: 1305000 | #Constraints: 67007 2683.99/2690.40 c #Conflicts: 1306000 | #Constraints: 68007 2683.99/2690.40 c INPROCESSING 2683.99/2690.40 c GARBAGE COLLECT 2683.99/2690.40 c rational objective 106 2866.91/2873.81 c #Conflicts: 1307000 | #Constraints: 38959 2866.91/2873.81 c #Conflicts: 1308000 | #Constraints: 39959 2866.91/2873.81 c #Conflicts: 1309000 | #Constraints: 40959 2866.91/2873.81 c #Conflicts: 1310000 | #Constraints: 41959 2866.91/2873.81 c #Conflicts: 1311000 | #Constraints: 42959 2866.91/2873.81 c #Conflicts: 1312000 | #Constraints: 43960 2866.91/2873.81 c #Conflicts: 1313000 | #Constraints: 44960 2866.91/2873.81 c #Conflicts: 1314000 | #Constraints: 45960 2866.91/2873.81 c #Conflicts: 1315000 | #Constraints: 46960 2866.91/2873.81 c #Conflicts: 1316000 | #Constraints: 47960 2866.91/2873.81 c #Conflicts: 1317000 | #Constraints: 48960 2866.91/2873.81 c #Conflicts: 1318000 | #Constraints: 49960 2866.91/2873.81 c #Conflicts: 1319000 | #Constraints: 50960 2866.91/2873.81 c #Conflicts: 1320000 | #Constraints: 51960 2866.91/2873.81 c #Conflicts: 1321000 | #Constraints: 52961 2866.91/2873.81 c #Conflicts: 1322000 | #Constraints: 53961 2866.91/2873.81 c #Conflicts: 1323000 | #Constraints: 54961 2866.91/2873.81 c #Conflicts: 1324000 | #Constraints: 55961 2866.91/2873.81 c #Conflicts: 1325000 | #Constraints: 56961 2866.91/2873.81 c #Conflicts: 1326000 | #Constraints: 57961 2866.91/2873.81 c #Conflicts: 1327000 | #Constraints: 58961 2866.91/2873.81 c #Conflicts: 1328000 | #Constraints: 59961 2866.91/2873.81 c #Conflicts: 1329000 | #Constraints: 60961 2866.91/2873.81 c #Conflicts: 1330000 | #Constraints: 61961 2866.91/2873.81 c #Conflicts: 1331000 | #Constraints: 62961 2866.91/2873.81 c #Conflicts: 1332000 | #Constraints: 63961 2866.91/2873.81 c #Conflicts: 1333000 | #Constraints: 64961 2866.91/2873.81 c #Conflicts: 1334000 | #Constraints: 65962 2866.91/2873.81 c #Conflicts: 1335000 | #Constraints: 66962 2866.91/2873.81 c #Conflicts: 1336000 | #Constraints: 67962 2866.91/2873.81 c #Conflicts: 1337000 | #Constraints: 68963 2866.91/2873.81 c #Conflicts: 1338000 | #Constraints: 69963 2866.91/2873.81 c #Conflicts: 1339000 | #Constraints: 70963 2866.91/2873.81 c #Conflicts: 1340000 | #Constraints: 71963 2866.91/2873.81 c #Conflicts: 1341000 | #Constraints: 72963 2866.91/2873.81 c #Conflicts: 1342000 | #Constraints: 73963 2866.91/2873.81 c #Conflicts: 1343000 | #Constraints: 74963 2866.91/2873.81 c #Conflicts: 1344000 | #Constraints: 75963 2866.91/2873.81 c #Conflicts: 1345000 | #Constraints: 76963 2866.91/2873.81 c #Conflicts: 1346000 | #Constraints: 77963 2866.91/2873.81 c #Conflicts: 1347000 | #Constraints: 78964 2866.91/2873.81 c #Conflicts: 1348000 | #Constraints: 79964 2866.91/2873.81 c #Conflicts: 1349000 | #Constraints: 80964 2866.91/2873.81 c #Conflicts: 1350000 | #Constraints: 81964 2866.91/2873.81 c #Conflicts: 1351000 | #Constraints: 82964 2866.91/2873.81 c #Conflicts: 1352000 | #Constraints: 83964 2866.91/2873.81 c #Conflicts: 1353000 | #Constraints: 84964 2866.91/2873.81 c #Conflicts: 1354000 | #Constraints: 85964 2866.91/2873.81 c #Conflicts: 1355000 | #Constraints: 86964 2866.91/2873.81 c #Conflicts: 1356000 | #Constraints: 87964 2866.91/2873.81 c #Conflicts: 1357000 | #Constraints: 88964 2866.91/2873.81 c #Conflicts: 1358000 | #Constraints: 89964 2866.91/2873.81 c #Conflicts: 1359000 | #Constraints: 90964 2866.91/2873.81 c #Conflicts: 1360000 | #Constraints: 91964 2866.91/2873.81 c #Conflicts: 1361000 | #Constraints: 92964 2866.91/2873.81 c #Conflicts: 1362000 | #Constraints: 93964 2866.91/2873.81 c #Conflicts: 1363000 | #Constraints: 94964 2866.91/2873.81 c #Conflicts: 1364000 | #Constraints: 95964 2866.91/2873.81 c #Conflicts: 1365000 | #Constraints: 96964 2866.91/2873.81 c #Conflicts: 1366000 | #Constraints: 97964 2866.91/2873.81 c #Conflicts: 1367000 | #Constraints: 98964 2866.91/2873.81 c #Conflicts: 1368000 | #Constraints: 99964 2866.91/2873.81 c #Conflicts: 1369000 | #Constraints: 100964 2866.91/2873.81 c #Conflicts: 1370000 | #Constraints: 101965 2866.91/2873.81 c #Conflicts: 1371000 | #Constraints: 102965 2866.91/2873.81 c #Conflicts: 1372000 | #Constraints: 103965 2866.91/2873.81 c #Conflicts: 1373000 | #Constraints: 104965 2866.91/2873.81 c #Conflicts: 1374000 | #Constraints: 105965 2866.91/2873.81 c #Conflicts: 1375000 | #Constraints: 106965 2866.91/2873.81 c #Conflicts: 1376000 | #Constraints: 107965 2866.91/2873.81 c #Conflicts: 1377000 | #Constraints: 108965 2866.91/2873.81 c #Conflicts: 1378000 | #Constraints: 109965 2866.91/2873.81 c #Conflicts: 1379000 | #Constraints: 110965 2866.91/2873.81 c #Conflicts: 1380000 | #Constraints: 111965 2866.91/2873.81 c #Conflicts: 1381000 | #Constraints: 112965 2866.91/2873.81 c #Conflicts: 1382000 | #Constraints: 113965 2866.91/2873.81 c #Conflicts: 1383000 | #Constraints: 114965 2866.91/2873.81 c #Conflicts: 1384000 | #Constraints: 115965 2866.91/2873.81 c #Conflicts: 1385000 | #Constraints: 116965 2893.74/2900.72 c #Conflicts: 1386000 | #Constraints: 117965 2893.74/2900.72 c #Conflicts: 1387000 | #Constraints: 118965 2893.74/2900.72 c #Conflicts: 1388000 | #Constraints: 119965 2893.74/2900.72 c #Conflicts: 1389000 | #Constraints: 120965 2893.74/2900.72 c #Conflicts: 1390000 | #Constraints: 121965 2893.74/2900.72 c #Conflicts: 1391000 | #Constraints: 122965 2893.74/2900.72 c #Conflicts: 1392000 | #Constraints: 123965 2893.74/2900.72 c INPROCESSING 2893.74/2900.72 c GARBAGE COLLECT 2893.74/2900.72 c rational objective 106 2958.19/2965.35 c #Conflicts: 1393000 | #Constraints: 66949 2958.19/2965.35 c #Conflicts: 1394000 | #Constraints: 67950 2958.19/2965.35 c #Conflicts: 1395000 | #Constraints: 68950 2958.19/2965.35 c #Conflicts: 1396000 | #Constraints: 69950 2958.19/2965.35 c #Conflicts: 1397000 | #Constraints: 70950 2958.19/2965.35 c #Conflicts: 1398000 | #Constraints: 71950 2958.19/2965.35 c #Conflicts: 1399000 | #Constraints: 72950 2958.19/2965.35 c #Conflicts: 1400000 | #Constraints: 73950 2958.19/2965.35 c #Conflicts: 1401000 | #Constraints: 74950 2958.19/2965.35 c #Conflicts: 1402000 | #Constraints: 75950 2958.19/2965.35 c #Conflicts: 1403000 | #Constraints: 76950 2958.19/2965.35 c #Conflicts: 1404000 | #Constraints: 77950 2958.19/2965.35 c #Conflicts: 1405000 | #Constraints: 78950 2958.19/2965.35 c #Conflicts: 1406000 | #Constraints: 79951 2958.19/2965.35 c #Conflicts: 1407000 | #Constraints: 80951 2958.19/2965.35 c #Conflicts: 1408000 | #Constraints: 81952 2958.19/2965.35 c #Conflicts: 1409000 | #Constraints: 82952 2958.19/2965.35 c #Conflicts: 1410000 | #Constraints: 83952 2958.19/2965.35 c #Conflicts: 1411000 | #Constraints: 84952 2958.19/2965.35 c #Conflicts: 1412000 | #Constraints: 85952 2958.19/2965.35 c #Conflicts: 1413000 | #Constraints: 86952 2958.19/2965.35 c #Conflicts: 1414000 | #Constraints: 87952 2958.19/2965.35 c #Conflicts: 1415000 | #Constraints: 88952 2958.19/2965.35 c #Conflicts: 1416000 | #Constraints: 89952 2958.19/2965.35 c #Conflicts: 1417000 | #Constraints: 90952 2958.19/2965.35 c #Conflicts: 1418000 | #Constraints: 91952 2958.19/2965.35 c #Conflicts: 1419000 | #Constraints: 92952 2958.19/2965.35 c #Conflicts: 1420000 | #Constraints: 93952 2958.19/2965.35 c INPROCESSING 2958.19/2965.35 c GARBAGE COLLECT 2958.19/2965.35 c rational objective 106 3005.59/3012.85 c #Conflicts: 1421000 | #Constraints: 52116 3005.59/3012.85 c #Conflicts: 1422000 | #Constraints: 53116 3005.59/3012.85 c #Conflicts: 1423000 | #Constraints: 54116 3005.59/3012.85 c #Conflicts: 1424000 | #Constraints: 55117 3005.59/3012.85 c #Conflicts: 1425000 | #Constraints: 56117 3005.59/3012.85 c #Conflicts: 1426000 | #Constraints: 57117 3005.59/3012.85 c #Conflicts: 1427000 | #Constraints: 58117 3005.59/3012.85 c #Conflicts: 1428000 | #Constraints: 59117 3005.59/3012.85 c #Conflicts: 1429000 | #Constraints: 60117 3005.59/3012.85 c #Conflicts: 1430000 | #Constraints: 61117 3005.59/3012.85 c #Conflicts: 1431000 | #Constraints: 62118 3005.59/3012.85 c #Conflicts: 1432000 | #Constraints: 63118 3005.59/3012.85 c #Conflicts: 1433000 | #Constraints: 64118 3005.59/3012.85 c #Conflicts: 1434000 | #Constraints: 65118 3005.59/3012.85 c #Conflicts: 1435000 | #Constraints: 66118 3005.59/3012.85 c #Conflicts: 1436000 | #Constraints: 67118 3005.59/3012.85 c #Conflicts: 1437000 | #Constraints: 68118 3005.59/3012.85 c #Conflicts: 1438000 | #Constraints: 69118 3005.59/3012.85 c #Conflicts: 1439000 | #Constraints: 70118 3005.59/3012.85 c #Conflicts: 1440000 | #Constraints: 71118 3005.59/3012.85 c #Conflicts: 1441000 | #Constraints: 72118 3005.59/3012.85 c #Conflicts: 1442000 | #Constraints: 73118 3005.59/3012.85 c #Conflicts: 1443000 | #Constraints: 74118 3005.59/3012.85 c #Conflicts: 1444000 | #Constraints: 75118 3005.59/3012.85 c #Conflicts: 1445000 | #Constraints: 76118 3005.59/3012.85 c #Conflicts: 1446000 | #Constraints: 77118 3005.59/3012.85 c #Conflicts: 1447000 | #Constraints: 78118 3005.59/3012.85 c #Conflicts: 1448000 | #Constraints: 79118 3005.59/3012.85 c INPROCESSING 3005.59/3012.85 c GARBAGE COLLECT 3005.59/3012.85 c rational objective 106 3050.08/3057.41 c #Conflicts: 1449000 | #Constraints: 44736 3050.08/3057.41 c #Conflicts: 1450000 | #Constraints: 45736 3050.08/3057.41 c #Conflicts: 1451000 | #Constraints: 46737 3050.08/3057.41 c #Conflicts: 1452000 | #Constraints: 47737 3050.08/3057.41 c #Conflicts: 1453000 | #Constraints: 48737 3050.08/3057.41 c #Conflicts: 1454000 | #Constraints: 49737 3050.08/3057.41 c #Conflicts: 1455000 | #Constraints: 50746 3050.08/3057.41 c #Conflicts: 1456000 | #Constraints: 51751 3050.08/3057.41 c #Conflicts: 1457000 | #Constraints: 52751 3050.08/3057.41 c #Conflicts: 1458000 | #Constraints: 53751 3050.08/3057.41 c #Conflicts: 1459000 | #Constraints: 54751 3050.08/3057.41 c #Conflicts: 1460000 | #Constraints: 55751 3050.08/3057.41 c #Conflicts: 1461000 | #Constraints: 56751 3050.08/3057.41 c #Conflicts: 1462000 | #Constraints: 57752 3050.08/3057.41 c #Conflicts: 1463000 | #Constraints: 58752 3050.08/3057.41 c #Conflicts: 1464000 | #Constraints: 59752 3050.08/3057.41 c #Conflicts: 1465000 | #Constraints: 60753 3050.08/3057.41 c #Conflicts: 1466000 | #Constraints: 61753 3050.08/3057.41 c #Conflicts: 1467000 | #Constraints: 62753 3050.08/3057.41 c #Conflicts: 1468000 | #Constraints: 63753 3050.08/3057.41 c #Conflicts: 1469000 | #Constraints: 64753 3050.08/3057.41 c #Conflicts: 1470000 | #Constraints: 65753 3050.08/3057.41 c #Conflicts: 1471000 | #Constraints: 66753 3050.08/3057.41 c #Conflicts: 1472000 | #Constraints: 67753 3050.08/3057.41 c #Conflicts: 1473000 | #Constraints: 68753 3050.08/3057.41 c #Conflicts: 1474000 | #Constraints: 69753 3050.08/3057.41 c #Conflicts: 1475000 | #Constraints: 70753 3050.08/3057.41 c #Conflicts: 1476000 | #Constraints: 71753 3050.08/3057.41 c INPROCESSING 3050.08/3057.41 c GARBAGE COLLECT 3050.08/3057.41 c rational objective 106 3252.83/3260.77 c #Conflicts: 1477000 | #Constraints: 40873 3252.83/3260.77 c #Conflicts: 1478000 | #Constraints: 41873 3252.83/3260.77 c #Conflicts: 1479000 | #Constraints: 42873 3252.83/3260.77 c #Conflicts: 1480000 | #Constraints: 43873 3252.83/3260.77 c #Conflicts: 1481000 | #Constraints: 44873 3252.83/3260.77 c #Conflicts: 1482000 | #Constraints: 45873 3252.83/3260.77 c #Conflicts: 1483000 | #Constraints: 46873 3252.83/3260.77 c #Conflicts: 1484000 | #Constraints: 47873 3252.83/3260.77 c #Conflicts: 1485000 | #Constraints: 48874 3252.83/3260.77 c #Conflicts: 1486000 | #Constraints: 49875 3252.83/3260.77 c #Conflicts: 1487000 | #Constraints: 50875 3252.83/3260.77 c #Conflicts: 1488000 | #Constraints: 51875 3252.83/3260.77 c #Conflicts: 1489000 | #Constraints: 52875 3252.83/3260.77 c #Conflicts: 1490000 | #Constraints: 53875 3252.83/3260.77 c #Conflicts: 1491000 | #Constraints: 54876 3252.83/3260.77 c #Conflicts: 1492000 | #Constraints: 55876 3252.83/3260.77 c #Conflicts: 1493000 | #Constraints: 56876 3252.83/3260.77 c #Conflicts: 1494000 | #Constraints: 57876 3252.83/3260.77 c #Conflicts: 1495000 | #Constraints: 58876 3252.83/3260.77 c #Conflicts: 1496000 | #Constraints: 59876 3252.83/3260.77 c #Conflicts: 1497000 | #Constraints: 60876 3252.83/3260.77 c #Conflicts: 1498000 | #Constraints: 61876 3252.83/3260.77 c #Conflicts: 1499000 | #Constraints: 62876 3252.83/3260.77 c #Conflicts: 1500000 | #Constraints: 63876 3252.83/3260.77 c #Conflicts: 1501000 | #Constraints: 64876 3252.83/3260.77 c #Conflicts: 1502000 | #Constraints: 65876 3252.83/3260.77 c #Conflicts: 1503000 | #Constraints: 66877 3252.83/3260.77 c #Conflicts: 1504000 | #Constraints: 67877 3252.83/3260.77 c #Conflicts: 1505000 | #Constraints: 68877 3252.83/3260.77 c #Conflicts: 1506000 | #Constraints: 69878 3252.83/3260.77 c #Conflicts: 1507000 | #Constraints: 70878 3252.83/3260.77 c #Conflicts: 1508000 | #Constraints: 71878 3252.83/3260.77 c #Conflicts: 1509000 | #Constraints: 72878 3252.83/3260.77 c #Conflicts: 1510000 | #Constraints: 73878 3252.83/3260.77 c #Conflicts: 1511000 | #Constraints: 74878 3252.83/3260.77 c #Conflicts: 1512000 | #Constraints: 75878 3252.83/3260.77 c #Conflicts: 1513000 | #Constraints: 76878 3252.83/3260.77 c #Conflicts: 1514000 | #Constraints: 77878 3252.83/3260.77 c #Conflicts: 1515000 | #Constraints: 78878 3252.83/3260.77 c #Conflicts: 1516000 | #Constraints: 79878 3252.83/3260.77 c #Conflicts: 1517000 | #Constraints: 80878 3252.83/3260.77 c #Conflicts: 1518000 | #Constraints: 81878 3252.83/3260.77 c #Conflicts: 1519000 | #Constraints: 82878 3252.83/3260.77 c #Conflicts: 1520000 | #Constraints: 83878 3252.83/3260.77 c #Conflicts: 1521000 | #Constraints: 84878 3252.83/3260.77 c #Conflicts: 1522000 | #Constraints: 85878 3252.83/3260.77 c #Conflicts: 1523000 | #Constraints: 86878 3252.83/3260.77 c #Conflicts: 1524000 | #Constraints: 87878 3252.83/3260.77 c #Conflicts: 1525000 | #Constraints: 88878 3252.83/3260.77 c #Conflicts: 1526000 | #Constraints: 89878 3252.83/3260.77 c #Conflicts: 1527000 | #Constraints: 90878 3252.83/3260.77 c #Conflicts: 1528000 | #Constraints: 91878 3252.83/3260.77 c #Conflicts: 1529000 | #Constraints: 92878 3252.83/3260.77 c #Conflicts: 1530000 | #Constraints: 93878 3252.83/3260.77 c #Conflicts: 1531000 | #Constraints: 94878 3252.83/3260.77 c #Conflicts: 1532000 | #Constraints: 95878 3252.83/3260.77 c #Conflicts: 1533000 | #Constraints: 96878 3252.83/3260.77 c #Conflicts: 1534000 | #Constraints: 97878 3252.83/3260.77 c #Conflicts: 1535000 | #Constraints: 98878 3252.83/3260.77 c #Conflicts: 1536000 | #Constraints: 99878 3252.83/3260.77 c #Conflicts: 1537000 | #Constraints: 100878 3252.83/3260.77 c #Conflicts: 1538000 | #Constraints: 101878 3252.83/3260.77 c #Conflicts: 1539000 | #Constraints: 102878 3252.83/3260.77 c #Conflicts: 1540000 | #Constraints: 103878 3252.83/3260.77 c #Conflicts: 1541000 | #Constraints: 104878 3252.83/3260.77 c #Conflicts: 1542000 | #Constraints: 105878 3252.83/3260.77 c #Conflicts: 1543000 | #Constraints: 106878 3252.83/3260.77 c #Conflicts: 1544000 | #Constraints: 107878 3252.83/3260.77 c #Conflicts: 1545000 | #Constraints: 108878 3252.83/3260.77 c #Conflicts: 1546000 | #Constraints: 109878 3252.83/3260.77 c #Conflicts: 1547000 | #Constraints: 110878 3252.83/3260.77 c #Conflicts: 1548000 | #Constraints: 111878 3252.83/3260.77 c #Conflicts: 1549000 | #Constraints: 112878 3252.83/3260.77 c #Conflicts: 1550000 | #Constraints: 113878 3252.83/3260.77 c #Conflicts: 1551000 | #Constraints: 114878 3252.83/3260.77 c #Conflicts: 1552000 | #Constraints: 115878 3252.83/3260.77 c #Conflicts: 1553000 | #Constraints: 116878 3252.83/3260.77 c #Conflicts: 1554000 | #Constraints: 117878 3252.83/3260.77 c #Conflicts: 1555000 | #Constraints: 118878 3304.49/3312.51 c #Conflicts: 1556000 | #Constraints: 119878 3304.49/3312.51 c #Conflicts: 1557000 | #Constraints: 120878 3304.49/3312.51 c #Conflicts: 1558000 | #Constraints: 121878 3304.49/3312.51 c #Conflicts: 1559000 | #Constraints: 122879 3304.49/3312.51 c #Conflicts: 1560000 | #Constraints: 123879 3304.49/3312.51 c #Conflicts: 1561000 | #Constraints: 124879 3304.49/3312.51 c #Conflicts: 1562000 | #Constraints: 125879 3304.49/3312.51 c #Conflicts: 1563000 | #Constraints: 126879 3304.49/3312.51 c #Conflicts: 1564000 | #Constraints: 127880 3304.49/3312.51 c #Conflicts: 1565000 | #Constraints: 128880 3304.49/3312.51 c #Conflicts: 1566000 | #Constraints: 129880 3304.49/3312.51 c #Conflicts: 1567000 | #Constraints: 130880 3304.49/3312.51 c #Conflicts: 1568000 | #Constraints: 131880 3304.49/3312.51 c INPROCESSING 3304.49/3312.51 c GARBAGE COLLECT 3304.49/3312.51 c rational objective 106 3389.16/3397.41 c #Conflicts: 1569000 | #Constraints: 71330 3389.16/3397.41 c #Conflicts: 1570000 | #Constraints: 72330 3389.16/3397.41 c #Conflicts: 1571000 | #Constraints: 73332 3389.16/3397.41 c #Conflicts: 1572000 | #Constraints: 74332 3389.16/3397.41 c #Conflicts: 1573000 | #Constraints: 75332 3389.16/3397.41 c #Conflicts: 1574000 | #Constraints: 76332 3389.16/3397.41 c #Conflicts: 1575000 | #Constraints: 77332 3389.16/3397.41 c #Conflicts: 1576000 | #Constraints: 78332 3389.16/3397.41 c #Conflicts: 1577000 | #Constraints: 79332 3389.16/3397.41 c #Conflicts: 1578000 | #Constraints: 80332 3389.16/3397.41 c #Conflicts: 1579000 | #Constraints: 81332 3389.16/3397.41 c #Conflicts: 1580000 | #Constraints: 82332 3389.16/3397.41 c #Conflicts: 1581000 | #Constraints: 83332 3389.16/3397.41 c #Conflicts: 1582000 | #Constraints: 84332 3389.16/3397.41 c #Conflicts: 1583000 | #Constraints: 85332 3389.16/3397.41 c #Conflicts: 1584000 | #Constraints: 86332 3389.16/3397.41 c #Conflicts: 1585000 | #Constraints: 87333 3389.16/3397.41 c #Conflicts: 1586000 | #Constraints: 88333 3389.16/3397.41 c #Conflicts: 1587000 | #Constraints: 89333 3389.16/3397.41 c #Conflicts: 1588000 | #Constraints: 90334 3389.16/3397.41 c #Conflicts: 1589000 | #Constraints: 91334 3389.16/3397.41 c #Conflicts: 1590000 | #Constraints: 92334 3389.16/3397.41 c #Conflicts: 1591000 | #Constraints: 93334 3389.16/3397.41 c #Conflicts: 1592000 | #Constraints: 94334 3389.16/3397.41 c #Conflicts: 1593000 | #Constraints: 95334 3389.16/3397.41 c #Conflicts: 1594000 | #Constraints: 96334 3389.16/3397.41 c #Conflicts: 1595000 | #Constraints: 97334 3389.16/3397.41 c #Conflicts: 1596000 | #Constraints: 98334 3389.16/3397.41 c #Conflicts: 1597000 | #Constraints: 99334 3389.16/3397.41 c INPROCESSING 3389.16/3397.41 c GARBAGE COLLECT 3389.16/3397.41 c rational objective 106 3458.57/3467.02 c #Conflicts: 1598000 | #Constraints: 54748 3458.57/3467.02 c #Conflicts: 1599000 | #Constraints: 55748 3458.57/3467.02 c #Conflicts: 1600000 | #Constraints: 56748 3458.57/3467.02 c #Conflicts: 1601000 | #Constraints: 57748 3458.57/3467.02 c #Conflicts: 1602000 | #Constraints: 58748 3458.57/3467.02 c #Conflicts: 1603000 | #Constraints: 59748 3458.57/3467.02 c #Conflicts: 1604000 | #Constraints: 60748 3458.57/3467.02 c #Conflicts: 1605000 | #Constraints: 61748 3458.57/3467.02 c #Conflicts: 1606000 | #Constraints: 62748 3458.57/3467.02 c #Conflicts: 1607000 | #Constraints: 63748 3458.57/3467.02 c #Conflicts: 1608000 | #Constraints: 64748 3458.57/3467.02 c #Conflicts: 1609000 | #Constraints: 65748 3458.57/3467.02 c #Conflicts: 1610000 | #Constraints: 66748 3458.57/3467.02 c #Conflicts: 1611000 | #Constraints: 67748 3458.57/3467.02 c #Conflicts: 1612000 | #Constraints: 68748 3458.57/3467.02 c #Conflicts: 1613000 | #Constraints: 69748 3458.57/3467.02 c #Conflicts: 1614000 | #Constraints: 70748 3458.57/3467.02 c #Conflicts: 1615000 | #Constraints: 71748 3458.57/3467.02 c #Conflicts: 1616000 | #Constraints: 72748 3458.57/3467.02 c #Conflicts: 1617000 | #Constraints: 73748 3458.57/3467.02 c #Conflicts: 1618000 | #Constraints: 74748 3458.57/3467.02 c #Conflicts: 1619000 | #Constraints: 75748 3458.57/3467.02 c #Conflicts: 1620000 | #Constraints: 76748 3458.57/3467.02 c #Conflicts: 1621000 | #Constraints: 77748 3458.57/3467.02 c #Conflicts: 1622000 | #Constraints: 78748 3458.57/3467.02 c #Conflicts: 1623000 | #Constraints: 79748 3458.57/3467.02 c #Conflicts: 1624000 | #Constraints: 80748 3458.57/3467.02 c #Conflicts: 1625000 | #Constraints: 81748 3458.57/3467.02 c #Conflicts: 1626000 | #Constraints: 82748 3458.57/3467.02 c #Conflicts: 1627000 | #Constraints: 83748 3458.57/3467.02 c INPROCESSING 3458.57/3467.02 c GARBAGE COLLECT 3458.57/3467.02 c rational objective 106 3511.43/3520.01 c #Conflicts: 1628000 | #Constraints: 47187 3511.43/3520.01 c #Conflicts: 1629000 | #Constraints: 48187 3511.43/3520.01 c #Conflicts: 1630000 | #Constraints: 49187 3511.43/3520.01 c #Conflicts: 1631000 | #Constraints: 50187 3511.43/3520.01 c #Conflicts: 1632000 | #Constraints: 51187 3511.43/3520.01 c #Conflicts: 1633000 | #Constraints: 52188 3511.43/3520.01 c #Conflicts: 1634000 | #Constraints: 53188 3511.43/3520.01 c #Conflicts: 1635000 | #Constraints: 54188 3511.43/3520.01 c #Conflicts: 1636000 | #Constraints: 55188 3511.43/3520.01 c #Conflicts: 1637000 | #Constraints: 56188 3511.43/3520.01 c #Conflicts: 1638000 | #Constraints: 57188 3511.43/3520.01 c #Conflicts: 1639000 | #Constraints: 58188 3511.43/3520.01 c #Conflicts: 1640000 | #Constraints: 59188 3511.43/3520.01 c #Conflicts: 1641000 | #Constraints: 60188 3511.43/3520.01 c #Conflicts: 1642000 | #Constraints: 61188 3511.43/3520.01 c #Conflicts: 1643000 | #Constraints: 62188 3511.43/3520.01 c #Conflicts: 1644000 | #Constraints: 63188 3511.43/3520.01 c #Conflicts: 1645000 | #Constraints: 64188 3511.43/3520.01 c #Conflicts: 1646000 | #Constraints: 65189 3511.43/3520.01 c #Conflicts: 1647000 | #Constraints: 66189 3511.43/3520.01 c #Conflicts: 1648000 | #Constraints: 67189 3511.43/3520.01 c #Conflicts: 1649000 | #Constraints: 68189 3511.43/3520.01 c #Conflicts: 1650000 | #Constraints: 69189 3511.43/3520.01 c #Conflicts: 1651000 | #Constraints: 70189 3511.43/3520.01 c #Conflicts: 1652000 | #Constraints: 71189 3511.43/3520.01 c #Conflicts: 1653000 | #Constraints: 72189 3511.43/3520.01 c #Conflicts: 1654000 | #Constraints: 73189 3511.43/3520.01 c #Conflicts: 1655000 | #Constraints: 74189 3511.43/3520.01 c #Conflicts: 1656000 | #Constraints: 75189 3511.43/3520.01 c #Conflicts: 1657000 | #Constraints: 76189 3511.43/3520.01 c INPROCESSING 3511.43/3520.01 c GARBAGE COLLECT 3511.43/3520.01 c rational objective 106 3600.09/3608.90 c #Conflicts: 1658000 | #Constraints: 43311 3600.09/3608.90 c #Conflicts: 1659000 | #Constraints: 44311 3600.09/3608.90 c #Conflicts: 1660000 | #Constraints: 45311 3600.09/3608.90 c #Conflicts: 1661000 | #Constraints: 46312 3600.09/3608.90 c #Conflicts: 1662000 | #Constraints: 47312 3600.09/3608.90 c #Conflicts: 1663000 | #Constraints: 48312 3600.09/3608.90 c #Conflicts: 1664000 | #Constraints: 49312 3600.09/3608.90 c #Conflicts: 1665000 | #Constraints: 50312 3600.09/3608.90 c #Conflicts: 1666000 | #Constraints: 51312 3600.09/3608.90 c #Conflicts: 1667000 | #Constraints: 52312 3600.09/3608.90 c #Conflicts: 1668000 | #Constraints: 53312 3600.09/3608.90 c #Conflicts: 1669000 | #Constraints: 54312 3600.09/3608.90 c #Conflicts: 1670000 | #Constraints: 55312 3600.09/3608.90 c #Conflicts: 1671000 | #Constraints: 56312 3600.09/3608.90 c #Conflicts: 1672000 | #Constraints: 57312 3600.09/3608.90 c #Conflicts: 1673000 | #Constraints: 58312 3600.09/3608.90 c #Conflicts: 1674000 | #Constraints: 59312 3600.09/3608.90 c #Conflicts: 1675000 | #Constraints: 60312 3600.09/3608.90 c #Conflicts: 1676000 | #Constraints: 61312 3600.09/3608.90 c #Conflicts: 1677000 | #Constraints: 62312 3600.09/3608.90 c #Conflicts: 1678000 | #Constraints: 63312 3600.09/3608.90 c #Conflicts: 1679000 | #Constraints: 64312 3600.09/3608.90 c #Conflicts: 1680000 | #Constraints: 65312 3600.09/3608.90 c #Conflicts: 1681000 | #Constraints: 66312 3600.09/3608.90 c #Conflicts: 1682000 | #Constraints: 67312 3600.09/3608.90 c #Conflicts: 1683000 | #Constraints: 68312 3600.09/3608.90 c #Conflicts: 1684000 | #Constraints: 69312 3600.09/3608.90 c #Conflicts: 1685000 | #Constraints: 70312 3600.09/3608.90 c #Conflicts: 1686000 | #Constraints: 71312 3600.09/3608.90 c #Conflicts: 1687000 | #Constraints: 72312 3600.09/3608.90 c #Conflicts: 1688000 | #Constraints: 73312 3600.09/3608.90 c #Conflicts: 1689000 | #Constraints: 74312 3600.09/3608.90 c #Conflicts: 1690000 | #Constraints: 75312 3600.09/3608.90 c #Conflicts: 1691000 | #Constraints: 76312 3600.09/3608.90 c #Conflicts: 1692000 | #Constraints: 77312 3600.09/3608.90 c #Conflicts: 1693000 | #Constraints: 78312 3600.09/3608.90 c #Conflicts: 1694000 | #Constraints: 79312 3600.09/3608.90 c #Conflicts: 1695000 | #Constraints: 80312 3600.09/3608.90 c #Conflicts: 1696000 | #Constraints: 81312 3600.09/3608.90 c #Conflicts: 1697000 | #Constraints: 82312 3600.09/3608.90 c #Conflicts: 1698000 | #Constraints: 83312 3600.09/3608.90 c #Conflicts: 1699000 | #Constraints: 84312 3600.09/3608.90 c #Conflicts: 1700000 | #Constraints: 85312 3600.09/3608.90 c #Conflicts: 1701000 | #Constraints: 86312 3600.09/3608.90 c #Conflicts: 1702000 | #Constraints: 87312 3600.09/3608.90 c #Conflicts: 1703000 | #Constraints: 88312 3600.09/3608.90 c #Conflicts: 1704000 | #Constraints: 89312 3600.09/3608.90 c #Conflicts: 1705000 | #Constraints: 90312 3600.09/3608.90 c #Conflicts: 1706000 | #Constraints: 91312 3600.09/3608.90 c Program interrupted by user. 3600.09/3608.90 c cpu time 3564.01 s 3600.09/3608.90 c deterministic time 374641046751 3.75e+11 3600.09/3608.90 c optimization time 86.9409 s 3600.09/3608.90 c total solve time 3477.05 s 3600.09/3608.90 c core-guided solve time 0 s 3600.09/3608.90 c propagation time 2217.27 s 3600.09/3608.90 c conflict analysis time 675.228 s 3600.09/3608.90 c propagations 678478002 3600.09/3608.90 c resolve steps 56997524 3600.09/3608.90 c decisions 15035812 3600.09/3608.90 c conflicts 1706074 3600.09/3608.90 c restarts 3266 3600.09/3608.90 c inprocessing phases 73 3600.09/3608.90 c input clauses 7316 3600.09/3608.90 c input cardinalities 106 3600.09/3608.90 c input general constraints 0 3600.09/3608.90 c input average constraint length 6.24 3600.09/3608.90 c input average constraint degree 1.94 3600.09/3608.90 c learned clauses 1152803 3600.09/3608.90 c learned cardinalities 38970 3600.09/3608.90 c learned general constraints 515352 3600.09/3608.90 c learned average constraint length 895.71 3600.09/3608.90 c learned average constraint degree 32579895.27 3600.09/3608.90 c watched constraints 429688 3600.09/3608.90 c counting constraints 85664 3600.09/3608.90 c gcd simplifications 4690 3600.09/3608.90 c detected cardinalities 2723 3600.09/3608.90 c weakened non-implied lits 241451267 3600.09/3608.90 c weakened non-implying lits 553788 3600.09/3608.90 c original variables 7208 3600.09/3608.90 c clausal propagations 247829732 3600.09/3608.90 c cardinality propagations 245873875 3600.09/3608.90 c watched propagations 53163977 3600.09/3608.90 c counting propagations 125576698 3600.09/3608.90 c watch lookups 26088842313 3600.09/3608.90 c watch backjump lookups 20815887444 3600.09/3608.90 c watch checks 267525227320 3600.09/3608.90 c propagation checks 54433669865 3600.09/3608.90 c constraint additions 4385985771 3600.09/3608.90 c trail pops 695214018 3600.09/3608.90 c formula constraints 7422 3600.09/3608.90 c learned constraints 1705954 3600.09/3608.90 c bound constraints 0 3600.09/3608.90 c core-guided constraints 0 3600.09/3608.90 c encountered formula constraints 31631604 3600.09/3608.90 c encountered learned constraints 27069616 3600.09/3608.90 c encountered bound constraints 0 3600.09/3608.90 c encountered core-guided constraints 0 3600.09/3608.90 c LP total time 1141.1 s 3600.09/3608.90 c LP solve time 1095.4 s 3600.09/3608.90 c LP constraints added 11104 3600.09/3608.90 c LP constraints removed 3623 3600.09/3608.90 c LP pivots internal 1711118 3600.09/3608.90 c LP pivots root 995087 3600.09/3608.90 c LP calls 1193 3600.09/3608.90 c LP optimalities 182 3600.09/3608.90 c LP no pivot count 4 3600.09/3608.90 c LP infeasibilities 996 3600.09/3608.90 c LP valid Farkas constraints 993 3600.09/3608.90 c LP learned Farkas constraints 119 3600.09/3608.90 c LP basis resets 9 3600.09/3608.90 c LP cycling count 2 3600.09/3608.90 c LP singular count 4 3600.09/3608.90 c LP no primal count 0 3600.09/3608.90 c LP no farkas count 3 3600.09/3608.90 c LP other issue count 0 3600.09/3608.90 c LP Gomory cuts 59 3600.09/3608.90 c LP learned cuts 3623 3600.09/3608.90 c LP deleted cuts 3623 3600.09/3608.90 c LP encountered Gomory constraints 867 3600.09/3608.90 c LP encountered Farkas constraints 1036 3600.09/3608.90 c LP encountered learned Farkas constraints 356 3600.09/3608.90 c CG auxiliary variables introduced 0 3600.09/3608.90 c CG solutions found 0 3600.09/3608.90 c CG cores constructed 0 3600.09/3608.90 c CG core cardinality constraints returned 0 3600.09/3608.90 c CG unit cores 0 3600.09/3608.90 c CG single cores 0 3600.09/3608.90 c CG blocks removed during cardinality reduction 0 3600.09/3608.90 c CG first core best 0 3600.09/3608.90 c CG decision core best 0 3600.09/3608.90 c CG core reduction tie 0 3600.09/3608.90 c CG core degree average 0.00 3600.09/3608.90 c CG core slack average 0.00 3600.09/3608.90 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 (60407 MiB free)
memory of node 1: 64473 MiB (56354 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455619-1721464903/watcher-4455619-1721464903 -o /tmp/evaluation-result-4455619-1721464903/solver-4455619-1721464903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721457697-1054629 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455619-1721464903.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1059108, runsolver pid=1059105
[startup+0.100094 s]*
/proc/loadavg: 4.09 4.10 4.09 5/258 1059109
/proc/meminfo: memFree=119551572/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=49840 memory=18848 CPUtime=0.09 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 3920 0 0 0 8 1 0 0 20 0 1 0 198661186 51036160 4712 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 12460 4712 1687 922 0 4412 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49840 KiB
Current children cumulated memory: 18848 KiB
[startup+0.2059 s]*
/proc/loadavg: 4.09 4.10 4.09 5/258 1059109
/proc/meminfo: memFree=119550788/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=50532 memory=19376 CPUtime=0.2 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 4102 0 0 0 18 2 0 0 20 0 1 0 198661186 51744768 4844 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 12633 4844 1687 922 0 4585 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50532 KiB
Current children cumulated memory: 19376 KiB
[startup+0.305906 s]*
/proc/loadavg: 4.09 4.10 4.09 5/258 1059109
/proc/meminfo: memFree=119550312/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=51072 memory=19904 CPUtime=0.3 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 4231 0 0 0 28 2 0 0 20 0 1 0 198661186 52297728 4976 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 12768 4976 1687 922 0 4720 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51072 KiB
Current children cumulated memory: 19904 KiB
[startup+0.700247 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 1059109
/proc/meminfo: memFree=119549740/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=51696 memory=20432 CPUtime=0.69 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 4332 0 0 0 67 2 0 0 20 0 1 0 198661186 52936704 5108 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 12924 5108 1687 922 0 4876 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51696 KiB
Current children cumulated memory: 20432 KiB
[startup+1.50024 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 1059109
/proc/meminfo: memFree=119547024/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=52676 memory=23444 CPUtime=1.49 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 4562 0 0 0 142 7 0 0 20 0 1 0 198661186 53940224 5861 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 13169 5861 1734 922 0 5121 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 52676 KiB
Current children cumulated memory: 23444 KiB
[startup+3.10582 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 1059109
/proc/meminfo: memFree=119545176/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=52676 memory=23968 CPUtime=3.08 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 4636 0 0 0 300 8 0 0 20 0 1 0 198661186 53940224 5992 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 13169 5992 1734 922 0 5121 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52676 KiB
Current children cumulated memory: 23968 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 1059110
/proc/meminfo: memFree=119541304/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=57156 memory=27464 CPUtime=6.27 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 5491 0 0 0 612 15 0 0 20 0 1 0 198661186 58527744 6866 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 14289 6866 1808 922 0 6241 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57156 KiB
Current children cumulated memory: 27464 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/258 1059110
/proc/meminfo: memFree=119532340/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=60548 memory=32732 CPUtime=12.66 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 6282 0 0 0 1236 30 0 0 20 0 1 0 198661186 62001152 8183 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 15137 8183 1824 922 0 7089 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 60548 KiB
Current children cumulated memory: 32732 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 1059113
/proc/meminfo: memFree=119500112/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=83348 memory=56224 CPUtime=25.43 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 12124 0 0 0 2490 53 0 0 20 0 1 0 198661186 85348352 14056 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 20837 14056 1824 922 0 12789 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 83348 KiB
Current children cumulated memory: 56224 KiB
[startup+51.1058 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1059117
/proc/meminfo: memFree=119459764/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=128736 memory=83456 CPUtime=50.98 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 14842 0 0 0 4986 112 0 0 20 0 1 0 198661186 131825664 20864 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 32184 20864 1840 922 0 24136 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 128736 KiB
Current children cumulated memory: 83456 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1059171
/proc/meminfo: memFree=120722580/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=220052 memory=152872 CPUtime=102.06 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 19786 0 0 0 10005 201 0 0 20 0 1 0 198661186 225333248 38218 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 55013 38218 1840 922 0 46965 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 220052 KiB
Current children cumulated memory: 152872 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 1059182
/proc/meminfo: memFree=120686880/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=234052 memory=167120 CPUtime=161.93 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 23645 0 0 0 15890 303 0 0 20 0 1 0 198661186 239669248 41780 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 58513 41780 1840 922 0 50465 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 234052 KiB
Current children cumulated memory: 167120 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 1059192
/proc/meminfo: memFree=120578320/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=243968 memory=195228 CPUtime=221.79 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 26087 0 0 0 21757 422 0 0 20 0 1 0 198661186 249823232 48807 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 60992 48807 1840 922 0 52944 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 243968 KiB
Current children cumulated memory: 195228 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 1059202
/proc/meminfo: memFree=120506616/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=322228 memory=239112 CPUtime=281.65 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 27259 0 0 0 27659 506 0 0 20 0 1 0 198661186 329961472 59778 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 80557 59778 1840 922 0 72509 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 322228 KiB
Current children cumulated memory: 239112 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/254 1059258
/proc/meminfo: memFree=120504368/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=326700 memory=243780 CPUtime=341.51 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 30137 0 0 0 33543 608 0 0 20 0 1 0 198661186 334540800 60945 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 81675 60945 1840 922 0 73627 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 326700 KiB
Current children cumulated memory: 243780 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 1059269
/proc/meminfo: memFree=120489964/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=339196 memory=255804 CPUtime=401.37 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 33211 0 0 0 39436 701 0 0 20 0 1 0 198661186 347336704 63951 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 84799 63951 1840 922 0 76751 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 339196 KiB
Current children cumulated memory: 255804 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/254 1059279
/proc/meminfo: memFree=120477652/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=332660 memory=263436 CPUtime=461.23 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 33740 0 0 0 45337 786 0 0 20 0 1 0 198661186 340643840 65859 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 83165 65859 1840 922 0 75117 0
################
# More data... #
################
Current children cumulated memory: 680568 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/259 1061105
/proc/meminfo: memFree=124611528/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=787024 memory=694280 CPUtime=2915.29 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 72416 0 0 0 288451 3078 0 0 20 0 1 0 198661186 805912576 173570 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 196756 173570 1967 922 0 188708 0
Current children cumulated CPU time: 2915.29 s
Current children cumulated vsize: 787024 KiB
Current children cumulated memory: 694280 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/259 1061116
/proc/meminfo: memFree=124601508/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=792348 memory=699208 CPUtime=2975.15 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 73816 0 0 0 294379 3136 0 0 20 0 1 0 198661186 811364352 174802 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 198087 174802 1967 922 0 190039 0
Current children cumulated CPU time: 2975.15 s
Current children cumulated vsize: 792348 KiB
Current children cumulated memory: 699208 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/259 1061127
/proc/meminfo: memFree=124589776/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=790616 memory=697872 CPUtime=3035.02 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 76913 0 0 0 300309 3193 0 0 20 0 1 0 198661186 809590784 174468 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 197654 174468 1967 922 0 189606 0
Current children cumulated CPU time: 3035.02 s
Current children cumulated vsize: 790616 KiB
Current children cumulated memory: 697872 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/258 1061137
/proc/meminfo: memFree=124579560/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=790616 memory=697872 CPUtime=3094.87 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 77068 0 0 0 306221 3266 0 0 20 0 1 0 198661186 809590784 174468 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 197654 174468 1967 922 0 189606 0
Current children cumulated CPU time: 3094.87 s
Current children cumulated vsize: 790616 KiB
Current children cumulated memory: 697872 KiB
[startup+3162.3 s]
/proc/loadavg: 4.36 4.20 4.18 5/259 1061149
/proc/meminfo: memFree=124572828/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=790852 memory=697896 CPUtime=3154.7 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 77290 0 0 0 312159 3311 0 0 20 0 1 0 198661186 809832448 174474 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 197713 174474 1967 922 0 189665 0
Current children cumulated CPU time: 3154.7 s
Current children cumulated vsize: 790852 KiB
Current children cumulated memory: 697896 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.20 4.18 5/256 1061159
/proc/meminfo: memFree=124558880/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=792692 memory=699644 CPUtime=3214.53 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 77977 0 0 0 318108 3345 0 0 20 0 1 0 198661186 811716608 174911 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 198173 174911 1967 922 0 190125 0
Current children cumulated CPU time: 3214.53 s
Current children cumulated vsize: 792692 KiB
Current children cumulated memory: 699644 KiB
[startup+3282.3 s]
/proc/loadavg: 4.65 4.30 4.21 5/255 1061169
/proc/meminfo: memFree=124532020/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=795988 memory=702648 CPUtime=3274.37 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 79085 0 0 0 324075 3362 0 0 20 0 1 0 198661186 815091712 175662 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 198997 175662 1967 922 0 190949 0
Current children cumulated CPU time: 3274.37 s
Current children cumulated vsize: 795988 KiB
Current children cumulated memory: 702648 KiB
[startup+3342.3 s]
/proc/loadavg: 4.39 4.29 4.21 5/256 1061181
/proc/meminfo: memFree=124508000/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=801756 memory=724432 CPUtime=3334.21 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 80696 0 0 0 330032 3389 0 0 20 0 1 0 198661186 820998144 181108 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 200439 181108 1967 922 0 192391 0
Current children cumulated CPU time: 3334.21 s
Current children cumulated vsize: 801756 KiB
Current children cumulated memory: 724432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.27 4.21 5/256 1061191
/proc/meminfo: memFree=124505424/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=801756 memory=724448 CPUtime=3394.05 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 80891 0 0 0 335977 3428 0 0 20 0 1 0 198661186 820998144 181112 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 200439 181112 1967 922 0 192391 0
Current children cumulated CPU time: 3394.05 s
Current children cumulated vsize: 801756 KiB
Current children cumulated memory: 724448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.23 4.20 5/255 1061201
/proc/meminfo: memFree=124469220/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=801756 memory=724452 CPUtime=3453.88 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 81097 0 0 0 341926 3462 0 0 20 0 1 0 198661186 820998144 181113 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 200439 181113 1967 922 0 192391 0
Current children cumulated CPU time: 3453.88 s
Current children cumulated vsize: 801756 KiB
Current children cumulated memory: 724452 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.22 4.19 5/257 1061216
/proc/meminfo: memFree=124448712/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=803880 memory=726540 CPUtime=3513.72 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 81779 0 0 0 347853 3519 0 0 20 0 1 0 198661186 823173120 181635 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 200970 181635 1967 922 0 192922 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 803880 KiB
Current children cumulated memory: 726540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.21 4.18 5/257 1061227
/proc/meminfo: memFree=124447052/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=803880 memory=726592 CPUtime=3573.55 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 81973 0 0 0 353767 3588 0 0 20 0 1 0 198661186 823173120 181648 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 200970 181648 1967 922 0 192922 0
Current children cumulated CPU time: 3573.55 s
Current children cumulated vsize: 803880 KiB
Current children cumulated memory: 726592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.10 4.19 4.18 5/257 1061232
/proc/meminfo: memFree=124438952/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=803880 memory=726592 CPUtime=3600.09 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 82061 0 0 0 356401 3608 0 0 20 0 1 0 198661186 823173120 181648 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 200970 181648 1967 922 0 192922 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 803880 KiB
Current children cumulated memory: 726592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.91 s]
# the end of solver process 1059108 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.01 s, system=36.0849 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.10 4.19 4.18 5/257 1061232
/proc/meminfo: memFree=124438952/131524600 swapFree=131071996/131071996
[pid=1059108] ppid=1059105 vsize=803880 memory=726592 CPUtime=3600.09 cores=4,6
/proc/1059108/stat : 1059108 (roundingsat) R 1059105 1059108 1054618 0 -1 4194304 82061 0 0 0 356401 3608 0 0 20 0 1 0 198661186 823173120 181648 134679101440 4194304 7968373 140729032644480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 14950400 140729032651708 140729032651872 140729032651872 140729032658889 0
/proc/1059108/statm: 200970 181648 1967 922 0 192922 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 803880 KiB
Current children cumulated memory: 726592 KiB
Child status: 0
Real time (s): 3608.91
CPU time (s): 3600.1
CPU user time (s): 3564.01
CPU system time (s): 36.0849
CPU usage (%): 99.7559
Max. virtual memory (cumulated for all children) (KiB): 803880
Max. memory (cumulated for all children) (KiB): 726592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.01
system time used= 36.0849
maximum resident set size= 726592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82070
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= 258
involuntary context switches= 2106
# summary of solver processes directly reported to runsolver:
# pid: 1059108
# total CPU time (s): 3600.1
# total CPU user time (s): 3564.01
# total CPU system time (s): 36.0849
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.93209 second user time and 17.7251 second system time
The end
Begin job on nodeC035 at 2024-07-20 10:41:56 IDJOB=4455619 IDBENCH=158362 IDSOLVER=3084 FILE ID=nodeC035/4455619-1721464903 RUNJOBID= nodeC035-1721457697-1054629 SLURM_JOB_ID= 7545698 Free space on /tmp= 889944 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K106.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-4455619-1721464903/watcher-4455619-1721464903 -o /tmp/evaluation-result-4455619-1721464903/solver-4455619-1721464903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721457697-1054629 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455619-1721464903.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 24ba6b7b7d8e9ae68244a11b7fe894d2 RANDOM SEED=942592546 nodeC035.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 : 3659.428 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.65 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 : 3683.757 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.590 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.65 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.062 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.79 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 : 3627.568 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.65 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 : 3683.808 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.79 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 : 3656.565 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.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.109 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 119564176 kB MemAvailable: 123328360 kB Buffers: 571196 kB Cached: 3996568 kB SwapCached: 0 kB Active: 1172448 kB Inactive: 10069132 kB Active(anon): 1536 kB Inactive(anon): 6718196 kB Active(file): 1170912 kB Inactive(file): 3350936 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5548 kB Writeback: 0 kB AnonPages: 6667636 kB Mapped: 117792 kB Shmem: 45916 kB KReclaimable: 164316 kB Slab: 284784 kB SReclaimable: 164316 kB SUnreclaim: 120468 kB KernelStack: 4176 kB PageTables: 22632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7820496 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74336 kB HardwareCorrupted: 0 kB AnonHugePages: 4433920 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: 209620 kB DirectMap2M: 19486720 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 890044 MiB End job on nodeC035 at 2024-07-20 11:42:05