| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | UNSAT cert. | 811.502 | 818.573 |
| Name | PB24/normalized-PB11/DEC-LIN/ lopes/normalized-86.opb |
| MD5SUM | 3b78757f10307782e0b04e5cada0d1b0 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 8.36818 |
| 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 | 7354 |
| Total number of constraints | 165969 |
| Number of constraints which are clauses | 149056 |
| Number of constraints which are cardinality constraints (but not clauses) | 575 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16338 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 195 |
| 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 | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 196 |
| Number of bits of the biggest sum of numbers | 8 |
| 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 1.24/6.11 c #variables 7354 #constraints 152720 7.11/11.97 c #Conflicts: 1000 | #Constraints: 153719 7.11/11.97 c #Conflicts: 2000 | #Constraints: 154719 7.11/11.97 c INPROCESSING 7.11/11.97 c #Conflicts: 3000 | #Constraints: 146470 7.11/11.97 c #Conflicts: 4000 | #Constraints: 147470 7.11/11.97 c #Conflicts: 5000 | #Constraints: 148470 7.11/11.97 c #Conflicts: 6000 | #Constraints: 149470 7.11/11.97 c INPROCESSING 7.11/11.97 c rational objective 573.273 10.80/15.63 c #Conflicts: 7000 | #Constraints: 147953 10.80/15.63 c #Conflicts: 8000 | #Constraints: 148953 10.80/15.63 c #Conflicts: 9000 | #Constraints: 149953 10.80/15.63 c INPROCESSING 10.80/15.63 c rational objective 575.807 15.49/20.34 c #Conflicts: 10000 | #Constraints: 148118 15.49/20.34 c #Conflicts: 11000 | #Constraints: 149118 15.49/20.34 c #Conflicts: 12000 | #Constraints: 150118 15.49/20.34 c #Conflicts: 13000 | #Constraints: 151118 15.49/20.34 c #Conflicts: 14000 | #Constraints: 152118 15.49/20.34 c #Conflicts: 15000 | #Constraints: 153118 15.49/20.34 c #Conflicts: 16000 | #Constraints: 154118 15.49/20.34 c INPROCESSING 15.49/20.34 c GARBAGE COLLECT 15.49/20.34 c rational objective 576.559 17.59/22.46 c #Conflicts: 17000 | #Constraints: 150183 17.59/22.46 c #Conflicts: 18000 | #Constraints: 151183 17.59/22.46 c #Conflicts: 19000 | #Constraints: 152183 17.59/22.46 c #Conflicts: 20000 | #Constraints: 153183 17.59/22.46 c #Conflicts: 21000 | #Constraints: 154183 17.59/22.46 c INPROCESSING 17.59/22.46 c rational objective 578.878 23.87/28.79 c #Conflicts: 22000 | #Constraints: 150303 23.87/28.79 c #Conflicts: 23000 | #Constraints: 151303 23.87/28.79 c #Conflicts: 24000 | #Constraints: 152303 23.87/28.79 c #Conflicts: 25000 | #Constraints: 153303 23.87/28.79 c #Conflicts: 26000 | #Constraints: 154303 23.87/28.79 c #Conflicts: 27000 | #Constraints: 155303 23.87/28.79 c #Conflicts: 28000 | #Constraints: 156303 23.87/28.79 c #Conflicts: 29000 | #Constraints: 157303 23.87/28.79 c #Conflicts: 30000 | #Constraints: 158303 23.87/28.79 c #Conflicts: 31000 | #Constraints: 159303 23.87/28.79 c INPROCESSING 23.87/28.79 c GARBAGE COLLECT 23.87/28.79 c rational objective 584.164 31.44/36.35 c #Conflicts: 32000 | #Constraints: 152796 31.44/36.35 c #Conflicts: 33000 | #Constraints: 153796 31.44/36.35 c #Conflicts: 34000 | #Constraints: 154796 31.44/36.35 c #Conflicts: 35000 | #Constraints: 155796 31.44/36.35 c #Conflicts: 36000 | #Constraints: 156796 31.44/36.35 c #Conflicts: 37000 | #Constraints: 157796 31.44/36.35 c #Conflicts: 38000 | #Constraints: 158796 31.44/36.35 c #Conflicts: 39000 | #Constraints: 159796 31.44/36.35 c #Conflicts: 40000 | #Constraints: 160796 31.44/36.35 c #Conflicts: 41000 | #Constraints: 161796 31.44/36.35 c #Conflicts: 42000 | #Constraints: 162796 31.44/36.35 c #Conflicts: 43000 | #Constraints: 163796 31.44/36.35 c INPROCESSING 31.44/36.35 c GARBAGE COLLECT 31.44/36.35 c rational objective 593.531 53.60/58.55 c #Conflicts: 44000 | #Constraints: 154821 53.60/58.55 c #Conflicts: 45000 | #Constraints: 155821 53.60/58.55 c #Conflicts: 46000 | #Constraints: 156821 53.60/58.55 c #Conflicts: 47000 | #Constraints: 157821 53.60/58.55 c #Conflicts: 48000 | #Constraints: 158821 53.60/58.55 c #Conflicts: 49000 | #Constraints: 159821 53.60/58.55 c #Conflicts: 50000 | #Constraints: 160821 53.60/58.55 c #Conflicts: 51000 | #Constraints: 161821 53.60/58.55 c #Conflicts: 52000 | #Constraints: 162821 53.60/58.55 c #Conflicts: 53000 | #Constraints: 163821 53.60/58.55 c #Conflicts: 54000 | #Constraints: 164821 53.60/58.55 c #Conflicts: 55000 | #Constraints: 165821 53.60/58.55 c #Conflicts: 56000 | #Constraints: 166821 53.60/58.55 c #Conflicts: 57000 | #Constraints: 167821 53.60/58.55 c INPROCESSING 53.60/58.55 c GARBAGE COLLECT 53.60/58.55 c #Conflicts: 58000 | #Constraints: 155076 53.60/58.55 c #Conflicts: 59000 | #Constraints: 156076 53.60/58.55 c #Conflicts: 60000 | #Constraints: 157076 53.60/58.55 c #Conflicts: 61000 | #Constraints: 158076 53.60/58.55 c #Conflicts: 62000 | #Constraints: 159076 53.60/58.55 c #Conflicts: 63000 | #Constraints: 160076 53.60/58.55 c #Conflicts: 64000 | #Constraints: 161076 53.60/58.55 c #Conflicts: 65000 | #Constraints: 162076 53.60/58.55 c #Conflicts: 66000 | #Constraints: 163076 53.60/58.55 c #Conflicts: 67000 | #Constraints: 164076 53.60/58.55 c #Conflicts: 68000 | #Constraints: 165076 53.60/58.55 c #Conflicts: 69000 | #Constraints: 166076 53.60/58.55 c #Conflicts: 70000 | #Constraints: 167076 53.60/58.55 c #Conflicts: 71000 | #Constraints: 168076 53.60/58.55 c #Conflicts: 72000 | #Constraints: 169076 53.60/58.55 c #Conflicts: 73000 | #Constraints: 170076 53.60/58.55 c INPROCESSING 53.60/58.55 c GARBAGE COLLECT 53.60/58.55 c rational objective 640.752 60.78/65.73 c #Conflicts: 74000 | #Constraints: 156189 60.78/65.73 c #Conflicts: 75000 | #Constraints: 157189 60.78/65.73 c #Conflicts: 76000 | #Constraints: 158189 60.78/65.73 c #Conflicts: 77000 | #Constraints: 159189 60.78/65.73 c #Conflicts: 78000 | #Constraints: 160189 60.78/65.73 c #Conflicts: 79000 | #Constraints: 161189 60.78/65.73 c #Conflicts: 80000 | #Constraints: 162189 60.78/65.73 c #Conflicts: 81000 | #Constraints: 163189 60.78/65.73 c #Conflicts: 82000 | #Constraints: 164189 60.78/65.73 c #Conflicts: 83000 | #Constraints: 165189 60.78/65.73 c #Conflicts: 84000 | #Constraints: 166189 60.78/65.73 c #Conflicts: 85000 | #Constraints: 167189 60.78/65.73 c #Conflicts: 86000 | #Constraints: 168189 60.78/65.73 c #Conflicts: 87000 | #Constraints: 169189 60.78/65.73 c #Conflicts: 88000 | #Constraints: 170189 60.78/65.73 c #Conflicts: 89000 | #Constraints: 171189 60.78/65.73 c #Conflicts: 90000 | #Constraints: 172189 60.78/65.73 c #Conflicts: 91000 | #Constraints: 173189 60.78/65.73 c #Conflicts: 92000 | #Constraints: 174189 60.78/65.73 c INPROCESSING 60.78/65.73 c GARBAGE COLLECT 60.78/65.73 c rational objective 650.138 71.16/76.14 c #Conflicts: 93000 | #Constraints: 158143 71.16/76.14 c #Conflicts: 94000 | #Constraints: 159143 71.16/76.14 c #Conflicts: 95000 | #Constraints: 160143 71.16/76.14 c #Conflicts: 96000 | #Constraints: 161143 71.16/76.14 c #Conflicts: 97000 | #Constraints: 162143 71.16/76.14 c #Conflicts: 98000 | #Constraints: 163143 71.16/76.14 c #Conflicts: 99000 | #Constraints: 164143 71.16/76.14 c #Conflicts: 100000 | #Constraints: 165143 71.16/76.14 c #Conflicts: 101000 | #Constraints: 166143 71.16/76.14 c #Conflicts: 102000 | #Constraints: 167143 71.16/76.14 c #Conflicts: 103000 | #Constraints: 168143 71.16/76.14 c #Conflicts: 104000 | #Constraints: 169143 71.16/76.14 c #Conflicts: 105000 | #Constraints: 170143 71.16/76.14 c #Conflicts: 106000 | #Constraints: 171143 71.16/76.14 c #Conflicts: 107000 | #Constraints: 172143 71.16/76.14 c #Conflicts: 108000 | #Constraints: 173143 71.16/76.14 c #Conflicts: 109000 | #Constraints: 174143 71.16/76.14 c #Conflicts: 110000 | #Constraints: 175143 71.16/76.14 c #Conflicts: 111000 | #Constraints: 176143 71.16/76.14 c #Conflicts: 112000 | #Constraints: 177143 71.16/76.14 c INPROCESSING 71.16/76.14 c GARBAGE COLLECT 71.16/76.14 c rational objective 653.67 84.51/89.53 c #Conflicts: 113000 | #Constraints: 156491 84.51/89.53 c #Conflicts: 114000 | #Constraints: 157491 84.51/89.53 c #Conflicts: 115000 | #Constraints: 158491 84.51/89.53 c #Conflicts: 116000 | #Constraints: 159491 84.51/89.53 c #Conflicts: 117000 | #Constraints: 160491 84.51/89.53 c #Conflicts: 118000 | #Constraints: 161491 84.51/89.53 c #Conflicts: 119000 | #Constraints: 162491 84.51/89.53 c #Conflicts: 120000 | #Constraints: 163491 84.51/89.53 c #Conflicts: 121000 | #Constraints: 164491 84.51/89.53 c #Conflicts: 122000 | #Constraints: 165491 84.51/89.53 c #Conflicts: 123000 | #Constraints: 166491 84.51/89.53 c #Conflicts: 124000 | #Constraints: 167491 84.51/89.53 c #Conflicts: 125000 | #Constraints: 168491 84.51/89.53 c #Conflicts: 126000 | #Constraints: 169491 84.51/89.53 c #Conflicts: 127000 | #Constraints: 170491 84.51/89.53 c #Conflicts: 128000 | #Constraints: 171491 84.51/89.53 c #Conflicts: 129000 | #Constraints: 172491 84.51/89.53 c #Conflicts: 130000 | #Constraints: 173491 84.51/89.53 c #Conflicts: 131000 | #Constraints: 174491 84.51/89.53 c #Conflicts: 132000 | #Constraints: 175491 84.51/89.53 c #Conflicts: 133000 | #Constraints: 176491 84.51/89.53 c #Conflicts: 134000 | #Constraints: 177491 84.51/89.53 c INPROCESSING 84.51/89.53 c GARBAGE COLLECT 84.51/89.53 c rational objective 658.057 99.88/104.99 c #Conflicts: 135000 | #Constraints: 158049 99.88/104.99 c #Conflicts: 136000 | #Constraints: 159049 99.88/104.99 c #Conflicts: 137000 | #Constraints: 160049 99.88/104.99 c #Conflicts: 138000 | #Constraints: 161049 99.88/104.99 c #Conflicts: 139000 | #Constraints: 162049 99.88/104.99 c #Conflicts: 140000 | #Constraints: 163049 99.88/104.99 c #Conflicts: 141000 | #Constraints: 164049 99.88/104.99 c #Conflicts: 142000 | #Constraints: 165049 99.88/104.99 c #Conflicts: 143000 | #Constraints: 166049 99.88/104.99 c #Conflicts: 144000 | #Constraints: 167049 99.88/104.99 c #Conflicts: 145000 | #Constraints: 168049 99.88/104.99 c #Conflicts: 146000 | #Constraints: 169049 99.88/104.99 c #Conflicts: 147000 | #Constraints: 170049 99.88/104.99 c #Conflicts: 148000 | #Constraints: 171049 99.88/104.99 c #Conflicts: 149000 | #Constraints: 172049 99.88/104.99 c #Conflicts: 150000 | #Constraints: 173049 99.88/104.99 c #Conflicts: 151000 | #Constraints: 174049 99.88/104.99 c #Conflicts: 152000 | #Constraints: 175049 99.88/104.99 c #Conflicts: 153000 | #Constraints: 176049 99.88/104.99 c #Conflicts: 154000 | #Constraints: 177049 99.88/104.99 c #Conflicts: 155000 | #Constraints: 178049 99.88/104.99 c #Conflicts: 156000 | #Constraints: 179049 99.88/104.99 c #Conflicts: 157000 | #Constraints: 180049 99.88/104.99 c #Conflicts: 158000 | #Constraints: 181049 99.88/104.99 c INPROCESSING 99.88/104.99 c GARBAGE COLLECT 99.88/104.99 c rational objective 660.101 115.95/121.05 c #Conflicts: 159000 | #Constraints: 159972 115.95/121.05 c #Conflicts: 160000 | #Constraints: 160972 115.95/121.05 c #Conflicts: 161000 | #Constraints: 161972 115.95/121.05 c #Conflicts: 162000 | #Constraints: 162972 115.95/121.05 c #Conflicts: 163000 | #Constraints: 163972 115.95/121.05 c #Conflicts: 164000 | #Constraints: 164972 115.95/121.05 c #Conflicts: 165000 | #Constraints: 165972 115.95/121.05 c #Conflicts: 166000 | #Constraints: 166972 115.95/121.05 c #Conflicts: 167000 | #Constraints: 167972 115.95/121.05 c #Conflicts: 168000 | #Constraints: 168972 115.95/121.05 c #Conflicts: 169000 | #Constraints: 169972 115.95/121.05 c #Conflicts: 170000 | #Constraints: 170972 115.95/121.05 c #Conflicts: 171000 | #Constraints: 171972 115.95/121.05 c #Conflicts: 172000 | #Constraints: 172972 115.95/121.05 c #Conflicts: 173000 | #Constraints: 173972 115.95/121.05 c #Conflicts: 174000 | #Constraints: 174972 115.95/121.05 c #Conflicts: 175000 | #Constraints: 175972 115.95/121.05 c #Conflicts: 176000 | #Constraints: 176972 115.95/121.05 c #Conflicts: 177000 | #Constraints: 177972 115.95/121.05 c #Conflicts: 178000 | #Constraints: 178972 115.95/121.05 c #Conflicts: 179000 | #Constraints: 179972 115.95/121.05 c #Conflicts: 180000 | #Constraints: 180972 115.95/121.05 c #Conflicts: 181000 | #Constraints: 181972 115.95/121.05 c #Conflicts: 182000 | #Constraints: 182972 115.95/121.05 c #Conflicts: 183000 | #Constraints: 183972 115.95/121.05 c #Conflicts: 184000 | #Constraints: 184972 115.95/121.05 c INPROCESSING 115.95/121.05 c GARBAGE COLLECT 115.95/121.05 c rational objective 671.176 132.10/137.29 c #Conflicts: 185000 | #Constraints: 161579 132.10/137.29 c #Conflicts: 186000 | #Constraints: 162579 132.10/137.29 c #Conflicts: 187000 | #Constraints: 163579 132.10/137.29 c #Conflicts: 188000 | #Constraints: 164579 132.10/137.29 c #Conflicts: 189000 | #Constraints: 165579 132.10/137.29 c #Conflicts: 190000 | #Constraints: 166579 132.10/137.29 c #Conflicts: 191000 | #Constraints: 167579 132.10/137.29 c #Conflicts: 192000 | #Constraints: 168579 132.10/137.29 c #Conflicts: 193000 | #Constraints: 169579 132.10/137.29 c #Conflicts: 194000 | #Constraints: 170579 132.10/137.29 c #Conflicts: 195000 | #Constraints: 171579 132.10/137.29 c #Conflicts: 196000 | #Constraints: 172579 132.10/137.29 c #Conflicts: 197000 | #Constraints: 173579 132.10/137.29 c #Conflicts: 198000 | #Constraints: 174579 132.10/137.29 c #Conflicts: 199000 | #Constraints: 175579 132.10/137.29 c #Conflicts: 200000 | #Constraints: 176579 132.10/137.29 c #Conflicts: 201000 | #Constraints: 177579 132.10/137.29 c #Conflicts: 202000 | #Constraints: 178579 132.10/137.29 c #Conflicts: 203000 | #Constraints: 179579 132.10/137.29 c #Conflicts: 204000 | #Constraints: 180579 132.10/137.29 c #Conflicts: 205000 | #Constraints: 181579 132.10/137.29 c #Conflicts: 206000 | #Constraints: 182579 132.10/137.29 c #Conflicts: 207000 | #Constraints: 183579 132.10/137.29 c #Conflicts: 208000 | #Constraints: 184579 132.10/137.29 c #Conflicts: 209000 | #Constraints: 185579 132.10/137.29 c #Conflicts: 210000 | #Constraints: 186579 132.10/137.29 c #Conflicts: 211000 | #Constraints: 187579 132.10/137.29 c #Conflicts: 212000 | #Constraints: 188579 132.10/137.29 c #Conflicts: 213000 | #Constraints: 189579 132.10/137.29 c INPROCESSING 132.10/137.29 c GARBAGE COLLECT 132.10/137.29 c rational objective 673.422 148.36/153.51 c #Conflicts: 214000 | #Constraints: 163000 148.36/153.51 c #Conflicts: 215000 | #Constraints: 164000 148.36/153.51 c #Conflicts: 216000 | #Constraints: 165000 148.36/153.51 c #Conflicts: 217000 | #Constraints: 166000 148.36/153.51 c #Conflicts: 218000 | #Constraints: 167000 148.36/153.51 c #Conflicts: 219000 | #Constraints: 168000 148.36/153.51 c #Conflicts: 220000 | #Constraints: 169000 148.36/153.51 c #Conflicts: 221000 | #Constraints: 170000 148.36/153.51 c #Conflicts: 222000 | #Constraints: 171000 148.36/153.51 c #Conflicts: 223000 | #Constraints: 172000 148.36/153.51 c #Conflicts: 224000 | #Constraints: 173000 148.36/153.51 c #Conflicts: 225000 | #Constraints: 174000 148.36/153.51 c #Conflicts: 226000 | #Constraints: 175000 148.36/153.51 c #Conflicts: 227000 | #Constraints: 176000 148.36/153.51 c #Conflicts: 228000 | #Constraints: 177000 148.36/153.51 c #Conflicts: 229000 | #Constraints: 178000 148.36/153.51 c #Conflicts: 230000 | #Constraints: 179000 148.36/153.51 c #Conflicts: 231000 | #Constraints: 180000 148.36/153.51 c #Conflicts: 232000 | #Constraints: 181000 148.36/153.51 c #Conflicts: 233000 | #Constraints: 182000 148.36/153.51 c #Conflicts: 234000 | #Constraints: 183000 148.36/153.51 c #Conflicts: 235000 | #Constraints: 184000 148.36/153.51 c #Conflicts: 236000 | #Constraints: 185000 148.36/153.51 c #Conflicts: 237000 | #Constraints: 186000 148.36/153.51 c #Conflicts: 238000 | #Constraints: 187000 148.36/153.51 c #Conflicts: 239000 | #Constraints: 188000 148.36/153.51 c #Conflicts: 240000 | #Constraints: 189000 148.36/153.51 c #Conflicts: 241000 | #Constraints: 190000 148.36/153.51 c #Conflicts: 242000 | #Constraints: 191000 148.36/153.51 c #Conflicts: 243000 | #Constraints: 192000 148.36/153.51 c INPROCESSING 148.36/153.51 c GARBAGE COLLECT 148.36/153.51 c rational objective 711.661 167.82/173.08 c #Conflicts: 244000 | #Constraints: 164270 167.82/173.08 c #Conflicts: 245000 | #Constraints: 165270 167.82/173.08 c #Conflicts: 246000 | #Constraints: 166270 167.82/173.08 c #Conflicts: 247000 | #Constraints: 167270 167.82/173.08 c #Conflicts: 248000 | #Constraints: 168270 167.82/173.08 c #Conflicts: 249000 | #Constraints: 169270 167.82/173.08 c #Conflicts: 250000 | #Constraints: 170270 167.82/173.08 c #Conflicts: 251000 | #Constraints: 171270 167.82/173.08 c #Conflicts: 252000 | #Constraints: 172270 167.82/173.08 c #Conflicts: 253000 | #Constraints: 173270 167.82/173.08 c #Conflicts: 254000 | #Constraints: 174270 167.82/173.08 c #Conflicts: 255000 | #Constraints: 175270 167.82/173.08 c #Conflicts: 256000 | #Constraints: 176270 167.82/173.08 c #Conflicts: 257000 | #Constraints: 177270 167.82/173.08 c #Conflicts: 258000 | #Constraints: 178270 167.82/173.08 c #Conflicts: 259000 | #Constraints: 179270 167.82/173.08 c #Conflicts: 260000 | #Constraints: 180270 167.82/173.08 c #Conflicts: 261000 | #Constraints: 181270 167.82/173.08 c #Conflicts: 262000 | #Constraints: 182270 167.82/173.08 c #Conflicts: 263000 | #Constraints: 183270 167.82/173.08 c #Conflicts: 264000 | #Constraints: 184270 167.82/173.08 c #Conflicts: 265000 | #Constraints: 185270 167.82/173.08 c #Conflicts: 266000 | #Constraints: 186270 167.82/173.08 c #Conflicts: 267000 | #Constraints: 187270 167.82/173.08 c #Conflicts: 268000 | #Constraints: 188270 167.82/173.08 c #Conflicts: 269000 | #Constraints: 189270 167.82/173.08 c #Conflicts: 270000 | #Constraints: 190270 167.82/173.08 c #Conflicts: 271000 | #Constraints: 191270 167.82/173.08 c #Conflicts: 272000 | #Constraints: 192270 167.82/173.08 c #Conflicts: 273000 | #Constraints: 193270 167.82/173.08 c #Conflicts: 274000 | #Constraints: 194270 167.82/173.08 c #Conflicts: 275000 | #Constraints: 195270 167.82/173.08 c INPROCESSING 167.82/173.08 c GARBAGE COLLECT 167.82/173.08 c rational objective 740.843 195.11/200.43 c #Conflicts: 276000 | #Constraints: 163656 195.11/200.43 c #Conflicts: 277000 | #Constraints: 164656 195.11/200.43 c #Conflicts: 278000 | #Constraints: 165656 195.11/200.43 c #Conflicts: 279000 | #Constraints: 166656 195.11/200.43 c #Conflicts: 280000 | #Constraints: 167656 195.11/200.43 c #Conflicts: 281000 | #Constraints: 168656 195.11/200.43 c #Conflicts: 282000 | #Constraints: 169656 195.11/200.43 c #Conflicts: 283000 | #Constraints: 170656 195.11/200.43 c #Conflicts: 284000 | #Constraints: 171656 195.11/200.43 c #Conflicts: 285000 | #Constraints: 172656 195.11/200.43 c #Conflicts: 286000 | #Constraints: 173656 195.11/200.43 c #Conflicts: 287000 | #Constraints: 174656 195.11/200.43 c #Conflicts: 288000 | #Constraints: 175656 195.11/200.43 c #Conflicts: 289000 | #Constraints: 176656 195.11/200.43 c #Conflicts: 290000 | #Constraints: 177656 195.11/200.43 c #Conflicts: 291000 | #Constraints: 178656 195.11/200.43 c #Conflicts: 292000 | #Constraints: 179656 195.11/200.43 c #Conflicts: 293000 | #Constraints: 180656 195.11/200.43 c #Conflicts: 294000 | #Constraints: 181656 195.11/200.43 c #Conflicts: 295000 | #Constraints: 182656 195.11/200.43 c #Conflicts: 296000 | #Constraints: 183656 195.11/200.43 c #Conflicts: 297000 | #Constraints: 184656 195.11/200.43 c #Conflicts: 298000 | #Constraints: 185656 195.11/200.43 c #Conflicts: 299000 | #Constraints: 186656 195.11/200.43 c #Conflicts: 300000 | #Constraints: 187656 195.11/200.43 c #Conflicts: 301000 | #Constraints: 188656 195.11/200.43 c #Conflicts: 302000 | #Constraints: 189656 195.11/200.43 c #Conflicts: 303000 | #Constraints: 190656 195.11/200.43 c #Conflicts: 304000 | #Constraints: 191656 195.11/200.43 c #Conflicts: 305000 | #Constraints: 192656 195.11/200.43 c #Conflicts: 306000 | #Constraints: 193656 195.11/200.43 c #Conflicts: 307000 | #Constraints: 194656 195.11/200.43 c #Conflicts: 308000 | #Constraints: 195656 195.11/200.43 c #Conflicts: 309000 | #Constraints: 196656 195.11/200.43 c INPROCESSING 195.11/200.43 c GARBAGE COLLECT 195.11/200.43 c rational objective 745.018 217.14/222.53 c #Conflicts: 310000 | #Constraints: 163878 217.14/222.53 c #Conflicts: 311000 | #Constraints: 164878 217.14/222.53 c #Conflicts: 312000 | #Constraints: 165878 217.14/222.53 c #Conflicts: 313000 | #Constraints: 166878 217.14/222.53 c #Conflicts: 314000 | #Constraints: 167878 217.14/222.53 c #Conflicts: 315000 | #Constraints: 168878 217.14/222.53 c #Conflicts: 316000 | #Constraints: 169878 217.14/222.53 c #Conflicts: 317000 | #Constraints: 170878 217.14/222.53 c #Conflicts: 318000 | #Constraints: 171878 217.14/222.53 c #Conflicts: 319000 | #Constraints: 172878 217.14/222.53 c #Conflicts: 320000 | #Constraints: 173878 217.14/222.53 c #Conflicts: 321000 | #Constraints: 174878 217.14/222.53 c #Conflicts: 322000 | #Constraints: 175878 217.14/222.53 c #Conflicts: 323000 | #Constraints: 176878 217.14/222.53 c #Conflicts: 324000 | #Constraints: 177878 217.14/222.53 c #Conflicts: 325000 | #Constraints: 178878 217.14/222.53 c #Conflicts: 326000 | #Constraints: 179878 217.14/222.53 c #Conflicts: 327000 | #Constraints: 180878 217.14/222.53 c #Conflicts: 328000 | #Constraints: 181878 217.14/222.53 c #Conflicts: 329000 | #Constraints: 182878 217.14/222.53 c #Conflicts: 330000 | #Constraints: 183878 217.14/222.53 c #Conflicts: 331000 | #Constraints: 184878 217.14/222.53 c #Conflicts: 332000 | #Constraints: 185878 217.14/222.53 c #Conflicts: 333000 | #Constraints: 186878 217.14/222.53 c #Conflicts: 334000 | #Constraints: 187878 217.14/222.53 c #Conflicts: 335000 | #Constraints: 188878 217.14/222.53 c #Conflicts: 336000 | #Constraints: 189878 217.14/222.53 c #Conflicts: 337000 | #Constraints: 190878 217.14/222.53 c #Conflicts: 338000 | #Constraints: 191878 217.14/222.53 c #Conflicts: 339000 | #Constraints: 192878 217.14/222.53 c #Conflicts: 340000 | #Constraints: 193878 217.14/222.53 c #Conflicts: 341000 | #Constraints: 194878 217.14/222.53 c #Conflicts: 342000 | #Constraints: 195878 217.14/222.53 c #Conflicts: 343000 | #Constraints: 196878 217.14/222.53 c #Conflicts: 344000 | #Constraints: 197878 217.14/222.53 c #Conflicts: 345000 | #Constraints: 198878 217.14/222.53 c INPROCESSING 217.14/222.53 c GARBAGE COLLECT 217.14/222.53 c rational objective 776.823 236.78/242.28 c #Conflicts: 346000 | #Constraints: 164419 236.78/242.28 c #Conflicts: 347000 | #Constraints: 165419 236.78/242.28 c #Conflicts: 348000 | #Constraints: 166419 236.78/242.28 c #Conflicts: 349000 | #Constraints: 167419 236.78/242.28 c #Conflicts: 350000 | #Constraints: 168419 236.78/242.28 c #Conflicts: 351000 | #Constraints: 169419 236.78/242.28 c #Conflicts: 352000 | #Constraints: 170419 236.78/242.28 c #Conflicts: 353000 | #Constraints: 171419 236.78/242.28 c #Conflicts: 354000 | #Constraints: 172419 236.78/242.28 c #Conflicts: 355000 | #Constraints: 173419 236.78/242.28 c #Conflicts: 356000 | #Constraints: 174419 236.78/242.28 c #Conflicts: 357000 | #Constraints: 175419 236.78/242.28 c #Conflicts: 358000 | #Constraints: 176419 236.78/242.28 c #Conflicts: 359000 | #Constraints: 177419 236.78/242.28 c #Conflicts: 360000 | #Constraints: 178419 236.78/242.28 c #Conflicts: 361000 | #Constraints: 179419 236.78/242.28 c #Conflicts: 362000 | #Constraints: 180419 236.78/242.28 c #Conflicts: 363000 | #Constraints: 181419 236.78/242.28 c #Conflicts: 364000 | #Constraints: 182419 236.78/242.28 c #Conflicts: 365000 | #Constraints: 183419 236.78/242.28 c #Conflicts: 366000 | #Constraints: 184419 236.78/242.28 c #Conflicts: 367000 | #Constraints: 185419 236.78/242.28 c #Conflicts: 368000 | #Constraints: 186419 236.78/242.28 c #Conflicts: 369000 | #Constraints: 187419 236.78/242.28 c #Conflicts: 370000 | #Constraints: 188419 236.78/242.28 c #Conflicts: 371000 | #Constraints: 189419 236.78/242.28 c #Conflicts: 372000 | #Constraints: 190419 236.78/242.28 c #Conflicts: 373000 | #Constraints: 191419 236.78/242.28 c #Conflicts: 374000 | #Constraints: 192419 236.78/242.28 c #Conflicts: 375000 | #Constraints: 193419 236.78/242.28 c #Conflicts: 376000 | #Constraints: 194419 236.78/242.28 c #Conflicts: 377000 | #Constraints: 195419 236.78/242.28 c #Conflicts: 378000 | #Constraints: 196419 236.78/242.28 c #Conflicts: 379000 | #Constraints: 197419 236.78/242.28 c #Conflicts: 380000 | #Constraints: 198419 236.78/242.28 c #Conflicts: 381000 | #Constraints: 199419 236.78/242.28 c #Conflicts: 382000 | #Constraints: 200419 236.78/242.28 c #Conflicts: 383000 | #Constraints: 201419 236.78/242.28 c #Conflicts: 384000 | #Constraints: 202419 236.78/242.28 c INPROCESSING 236.78/242.28 c GARBAGE COLLECT 236.78/242.28 c rational objective 787.837 260.31/265.87 c #Conflicts: 385000 | #Constraints: 166474 260.31/265.87 c #Conflicts: 386000 | #Constraints: 167474 260.31/265.87 c #Conflicts: 387000 | #Constraints: 168474 260.31/265.87 c #Conflicts: 388000 | #Constraints: 169474 260.31/265.87 c #Conflicts: 389000 | #Constraints: 170474 260.31/265.87 c #Conflicts: 390000 | #Constraints: 171474 260.31/265.87 c #Conflicts: 391000 | #Constraints: 172474 260.31/265.87 c #Conflicts: 392000 | #Constraints: 173474 260.31/265.87 c #Conflicts: 393000 | #Constraints: 174474 260.31/265.87 c #Conflicts: 394000 | #Constraints: 175474 260.31/265.87 c #Conflicts: 395000 | #Constraints: 176474 260.31/265.87 c #Conflicts: 396000 | #Constraints: 177474 260.31/265.87 c #Conflicts: 397000 | #Constraints: 178474 260.31/265.87 c #Conflicts: 398000 | #Constraints: 179474 260.31/265.87 c #Conflicts: 399000 | #Constraints: 180474 260.31/265.87 c #Conflicts: 400000 | #Constraints: 181474 260.31/265.87 c #Conflicts: 401000 | #Constraints: 182474 260.31/265.87 c #Conflicts: 402000 | #Constraints: 183474 260.31/265.87 c #Conflicts: 403000 | #Constraints: 184474 260.31/265.87 c #Conflicts: 404000 | #Constraints: 185474 260.31/265.87 c #Conflicts: 405000 | #Constraints: 186474 260.31/265.87 c #Conflicts: 406000 | #Constraints: 187474 260.31/265.87 c #Conflicts: 407000 | #Constraints: 188474 260.31/265.87 c #Conflicts: 408000 | #Constraints: 189474 260.31/265.87 c #Conflicts: 409000 | #Constraints: 190474 260.31/265.87 c #Conflicts: 410000 | #Constraints: 191474 260.31/265.87 c #Conflicts: 411000 | #Constraints: 192474 260.31/265.87 c #Conflicts: 412000 | #Constraints: 193474 260.31/265.87 c #Conflicts: 413000 | #Constraints: 194474 260.31/265.87 c #Conflicts: 414000 | #Constraints: 195474 260.31/265.87 c #Conflicts: 415000 | #Constraints: 196474 260.31/265.87 c #Conflicts: 416000 | #Constraints: 197474 260.31/265.87 c #Conflicts: 417000 | #Constraints: 198474 260.31/265.87 c #Conflicts: 418000 | #Constraints: 199474 260.31/265.87 c #Conflicts: 419000 | #Constraints: 200474 260.31/265.87 c #Conflicts: 420000 | #Constraints: 201474 260.31/265.87 c #Conflicts: 421000 | #Constraints: 202474 260.31/265.87 c #Conflicts: 422000 | #Constraints: 203474 260.31/265.87 c #Conflicts: 423000 | #Constraints: 204474 260.31/265.87 c #Conflicts: 424000 | #Constraints: 205474 260.31/265.87 c INPROCESSING 260.31/265.87 c GARBAGE COLLECT 260.31/265.87 c rational objective 794.803 283.54/289.17 c #Conflicts: 425000 | #Constraints: 166766 283.54/289.17 c #Conflicts: 426000 | #Constraints: 167766 283.54/289.17 c #Conflicts: 427000 | #Constraints: 168766 283.54/289.17 c #Conflicts: 428000 | #Constraints: 169766 283.54/289.17 c #Conflicts: 429000 | #Constraints: 170766 283.54/289.17 c #Conflicts: 430000 | #Constraints: 171766 283.54/289.17 c #Conflicts: 431000 | #Constraints: 172766 283.54/289.17 c #Conflicts: 432000 | #Constraints: 173766 283.54/289.17 c #Conflicts: 433000 | #Constraints: 174766 283.54/289.17 c #Conflicts: 434000 | #Constraints: 175766 283.54/289.17 c #Conflicts: 435000 | #Constraints: 176766 283.54/289.17 c #Conflicts: 436000 | #Constraints: 177766 283.54/289.17 c #Conflicts: 437000 | #Constraints: 178766 283.54/289.17 c #Conflicts: 438000 | #Constraints: 179766 283.54/289.17 c #Conflicts: 439000 | #Constraints: 180766 283.54/289.17 c #Conflicts: 440000 | #Constraints: 181766 283.54/289.17 c #Conflicts: 441000 | #Constraints: 182766 283.54/289.17 c #Conflicts: 442000 | #Constraints: 183766 283.54/289.17 c #Conflicts: 443000 | #Constraints: 184766 283.54/289.17 c #Conflicts: 444000 | #Constraints: 185766 283.54/289.17 c #Conflicts: 445000 | #Constraints: 186766 283.54/289.17 c #Conflicts: 446000 | #Constraints: 187766 283.54/289.17 c #Conflicts: 447000 | #Constraints: 188766 283.54/289.17 c #Conflicts: 448000 | #Constraints: 189766 283.54/289.17 c #Conflicts: 449000 | #Constraints: 190766 283.54/289.17 c #Conflicts: 450000 | #Constraints: 191766 283.54/289.17 c #Conflicts: 451000 | #Constraints: 192766 283.54/289.17 c #Conflicts: 452000 | #Constraints: 193766 283.54/289.17 c #Conflicts: 453000 | #Constraints: 194766 283.54/289.17 c #Conflicts: 454000 | #Constraints: 195766 283.54/289.17 c #Conflicts: 455000 | #Constraints: 196766 283.54/289.17 c #Conflicts: 456000 | #Constraints: 197766 283.54/289.17 c #Conflicts: 457000 | #Constraints: 198766 283.54/289.17 c #Conflicts: 458000 | #Constraints: 199766 283.54/289.17 c #Conflicts: 459000 | #Constraints: 200766 283.54/289.17 c #Conflicts: 460000 | #Constraints: 201766 283.54/289.17 c #Conflicts: 461000 | #Constraints: 202766 283.54/289.17 c #Conflicts: 462000 | #Constraints: 203766 283.54/289.17 c #Conflicts: 463000 | #Constraints: 204766 283.54/289.17 c #Conflicts: 464000 | #Constraints: 205766 283.54/289.17 c #Conflicts: 465000 | #Constraints: 206766 283.54/289.17 c #Conflicts: 466000 | #Constraints: 207766 283.54/289.17 c INPROCESSING 283.54/289.17 c GARBAGE COLLECT 283.54/289.17 c rational objective 797.478 311.74/317.42 c #Conflicts: 467000 | #Constraints: 168602 311.74/317.42 c #Conflicts: 468000 | #Constraints: 169602 311.74/317.42 c #Conflicts: 469000 | #Constraints: 170602 311.74/317.42 c #Conflicts: 470000 | #Constraints: 171602 311.74/317.42 c #Conflicts: 471000 | #Constraints: 172602 311.74/317.42 c #Conflicts: 472000 | #Constraints: 173602 311.74/317.42 c #Conflicts: 473000 | #Constraints: 174602 311.74/317.42 c #Conflicts: 474000 | #Constraints: 175602 311.74/317.42 c #Conflicts: 475000 | #Constraints: 176602 311.74/317.42 c #Conflicts: 476000 | #Constraints: 177602 311.74/317.42 c #Conflicts: 477000 | #Constraints: 178602 311.74/317.42 c #Conflicts: 478000 | #Constraints: 179602 311.74/317.42 c #Conflicts: 479000 | #Constraints: 180602 311.74/317.42 c #Conflicts: 480000 | #Constraints: 181602 311.74/317.42 c #Conflicts: 481000 | #Constraints: 182602 311.74/317.42 c #Conflicts: 482000 | #Constraints: 183602 311.74/317.42 c #Conflicts: 483000 | #Constraints: 184602 311.74/317.42 c #Conflicts: 484000 | #Constraints: 185602 311.74/317.42 c #Conflicts: 485000 | #Constraints: 186602 311.74/317.42 c #Conflicts: 486000 | #Constraints: 187602 311.74/317.42 c #Conflicts: 487000 | #Constraints: 188602 311.74/317.42 c #Conflicts: 488000 | #Constraints: 189602 311.74/317.42 c #Conflicts: 489000 | #Constraints: 190602 311.74/317.42 c #Conflicts: 490000 | #Constraints: 191602 311.74/317.42 c #Conflicts: 491000 | #Constraints: 192602 311.74/317.42 c #Conflicts: 492000 | #Constraints: 193602 311.74/317.42 c #Conflicts: 493000 | #Constraints: 194602 311.74/317.42 c #Conflicts: 494000 | #Constraints: 195602 311.74/317.42 c #Conflicts: 495000 | #Constraints: 196602 311.74/317.42 c #Conflicts: 496000 | #Constraints: 197602 311.74/317.42 c #Conflicts: 497000 | #Constraints: 198602 311.74/317.42 c #Conflicts: 498000 | #Constraints: 199602 311.74/317.42 c #Conflicts: 499000 | #Constraints: 200602 311.74/317.42 c #Conflicts: 500000 | #Constraints: 201602 311.74/317.42 c #Conflicts: 501000 | #Constraints: 202602 311.74/317.42 c #Conflicts: 502000 | #Constraints: 203602 311.74/317.42 c #Conflicts: 503000 | #Constraints: 204602 311.74/317.42 c #Conflicts: 504000 | #Constraints: 205602 311.74/317.42 c #Conflicts: 505000 | #Constraints: 206602 311.74/317.42 c #Conflicts: 506000 | #Constraints: 207602 311.74/317.42 c #Conflicts: 507000 | #Constraints: 208602 311.74/317.42 c #Conflicts: 508000 | #Constraints: 209602 311.74/317.42 c #Conflicts: 509000 | #Constraints: 210602 311.74/317.42 c #Conflicts: 510000 | #Constraints: 211602 311.74/317.42 c INPROCESSING 311.74/317.42 c GARBAGE COLLECT 311.74/317.42 c rational objective 800.375 335.57/341.34 c #Conflicts: 511000 | #Constraints: 170134 335.57/341.34 c #Conflicts: 512000 | #Constraints: 171134 335.57/341.34 c #Conflicts: 513000 | #Constraints: 172134 335.57/341.34 c #Conflicts: 514000 | #Constraints: 173134 335.57/341.34 c #Conflicts: 515000 | #Constraints: 174134 335.57/341.34 c #Conflicts: 516000 | #Constraints: 175134 335.57/341.34 c #Conflicts: 517000 | #Constraints: 176134 335.57/341.34 c #Conflicts: 518000 | #Constraints: 177134 335.57/341.34 c #Conflicts: 519000 | #Constraints: 178134 335.57/341.34 c #Conflicts: 520000 | #Constraints: 179134 335.57/341.34 c #Conflicts: 521000 | #Constraints: 180134 335.57/341.34 c #Conflicts: 522000 | #Constraints: 181134 335.57/341.34 c #Conflicts: 523000 | #Constraints: 182134 335.57/341.34 c #Conflicts: 524000 | #Constraints: 183134 335.57/341.34 c #Conflicts: 525000 | #Constraints: 184134 335.57/341.34 c #Conflicts: 526000 | #Constraints: 185134 335.57/341.34 c #Conflicts: 527000 | #Constraints: 186134 335.57/341.34 c #Conflicts: 528000 | #Constraints: 187134 335.57/341.34 c #Conflicts: 529000 | #Constraints: 188134 335.57/341.34 c #Conflicts: 530000 | #Constraints: 189134 335.57/341.34 c #Conflicts: 531000 | #Constraints: 190134 335.57/341.34 c #Conflicts: 532000 | #Constraints: 191134 335.57/341.34 c #Conflicts: 533000 | #Constraints: 192134 335.57/341.34 c #Conflicts: 534000 | #Constraints: 193134 335.57/341.34 c #Conflicts: 535000 | #Constraints: 194134 335.57/341.34 c #Conflicts: 536000 | #Constraints: 195134 335.57/341.34 c #Conflicts: 537000 | #Constraints: 196134 335.57/341.34 c #Conflicts: 538000 | #Constraints: 197134 335.57/341.34 c #Conflicts: 539000 | #Constraints: 198134 335.57/341.34 c #Conflicts: 540000 | #Constraints: 199134 335.57/341.34 c #Conflicts: 541000 | #Constraints: 200134 335.57/341.34 c #Conflicts: 542000 | #Constraints: 201134 335.57/341.34 c #Conflicts: 543000 | #Constraints: 202134 335.57/341.34 c #Conflicts: 544000 | #Constraints: 203134 335.57/341.34 c #Conflicts: 545000 | #Constraints: 204134 335.57/341.34 c #Conflicts: 546000 | #Constraints: 205134 335.57/341.34 c #Conflicts: 547000 | #Constraints: 206134 335.57/341.34 c #Conflicts: 548000 | #Constraints: 207134 335.57/341.34 c #Conflicts: 549000 | #Constraints: 208134 335.57/341.34 c #Conflicts: 550000 | #Constraints: 209134 335.57/341.34 c #Conflicts: 551000 | #Constraints: 210134 335.57/341.34 c #Conflicts: 552000 | #Constraints: 211134 335.57/341.34 c #Conflicts: 553000 | #Constraints: 212134 335.57/341.34 c #Conflicts: 554000 | #Constraints: 213134 335.57/341.34 c #Conflicts: 555000 | #Constraints: 214134 335.57/341.34 c #Conflicts: 556000 | #Constraints: 215134 335.57/341.34 c INPROCESSING 335.57/341.34 c GARBAGE COLLECT 335.57/341.34 c rational objective 802.314 359.88/365.74 c #Conflicts: 557000 | #Constraints: 170700 359.88/365.74 c #Conflicts: 558000 | #Constraints: 171700 359.88/365.74 c #Conflicts: 559000 | #Constraints: 172700 359.88/365.74 c #Conflicts: 560000 | #Constraints: 173700 359.88/365.74 c #Conflicts: 561000 | #Constraints: 174700 359.88/365.74 c #Conflicts: 562000 | #Constraints: 175700 359.88/365.74 c #Conflicts: 563000 | #Constraints: 176700 359.88/365.74 c #Conflicts: 564000 | #Constraints: 177700 359.88/365.74 c #Conflicts: 565000 | #Constraints: 178700 359.88/365.74 c #Conflicts: 566000 | #Constraints: 179700 359.88/365.74 c #Conflicts: 567000 | #Constraints: 180700 359.88/365.74 c #Conflicts: 568000 | #Constraints: 181700 359.88/365.74 c #Conflicts: 569000 | #Constraints: 182700 359.88/365.74 c #Conflicts: 570000 | #Constraints: 183700 359.88/365.74 c #Conflicts: 571000 | #Constraints: 184700 359.88/365.74 c #Conflicts: 572000 | #Constraints: 185700 359.88/365.74 c #Conflicts: 573000 | #Constraints: 186700 359.88/365.74 c #Conflicts: 574000 | #Constraints: 187700 359.88/365.74 c #Conflicts: 575000 | #Constraints: 188700 359.88/365.74 c #Conflicts: 576000 | #Constraints: 189700 359.88/365.74 c #Conflicts: 577000 | #Constraints: 190700 359.88/365.74 c #Conflicts: 578000 | #Constraints: 191700 359.88/365.74 c #Conflicts: 579000 | #Constraints: 192700 359.88/365.74 c #Conflicts: 580000 | #Constraints: 193700 359.88/365.74 c #Conflicts: 581000 | #Constraints: 194700 359.88/365.74 c #Conflicts: 582000 | #Constraints: 195700 359.88/365.74 c #Conflicts: 583000 | #Constraints: 196700 359.88/365.74 c #Conflicts: 584000 | #Constraints: 197700 359.88/365.74 c #Conflicts: 585000 | #Constraints: 198700 359.88/365.74 c #Conflicts: 586000 | #Constraints: 199700 359.88/365.74 c #Conflicts: 587000 | #Constraints: 200700 359.88/365.74 c #Conflicts: 588000 | #Constraints: 201700 359.88/365.74 c #Conflicts: 589000 | #Constraints: 202700 359.88/365.74 c #Conflicts: 590000 | #Constraints: 203700 359.88/365.74 c #Conflicts: 591000 | #Constraints: 204700 359.88/365.74 c #Conflicts: 592000 | #Constraints: 205700 359.88/365.74 c #Conflicts: 593000 | #Constraints: 206700 359.88/365.74 c #Conflicts: 594000 | #Constraints: 207700 359.88/365.74 c #Conflicts: 595000 | #Constraints: 208700 359.88/365.74 c #Conflicts: 596000 | #Constraints: 209700 359.88/365.74 c #Conflicts: 597000 | #Constraints: 210700 359.88/365.74 c #Conflicts: 598000 | #Constraints: 211700 359.88/365.74 c #Conflicts: 599000 | #Constraints: 212700 359.88/365.74 c #Conflicts: 600000 | #Constraints: 213700 359.88/365.74 c #Conflicts: 601000 | #Constraints: 214700 359.88/365.74 c #Conflicts: 602000 | #Constraints: 215700 359.88/365.74 c #Conflicts: 603000 | #Constraints: 216700 359.88/365.74 c #Conflicts: 604000 | #Constraints: 217700 359.88/365.74 c #Conflicts: 605000 | #Constraints: 218700 359.88/365.74 c INPROCESSING 359.88/365.74 c GARBAGE COLLECT 359.88/365.74 c rational objective 804.449 391.59/397.50 c #Conflicts: 606000 | #Constraints: 172602 391.59/397.50 c #Conflicts: 607000 | #Constraints: 173602 391.59/397.50 c #Conflicts: 608000 | #Constraints: 174602 391.59/397.50 c #Conflicts: 609000 | #Constraints: 175602 391.59/397.50 c #Conflicts: 610000 | #Constraints: 176602 391.59/397.50 c #Conflicts: 611000 | #Constraints: 177602 391.59/397.50 c #Conflicts: 612000 | #Constraints: 178602 391.59/397.50 c #Conflicts: 613000 | #Constraints: 179602 391.59/397.50 c #Conflicts: 614000 | #Constraints: 180602 391.59/397.50 c #Conflicts: 615000 | #Constraints: 181602 391.59/397.50 c #Conflicts: 616000 | #Constraints: 182602 391.59/397.50 c #Conflicts: 617000 | #Constraints: 183602 391.59/397.50 c #Conflicts: 618000 | #Constraints: 184602 391.59/397.50 c #Conflicts: 619000 | #Constraints: 185602 391.59/397.50 c #Conflicts: 620000 | #Constraints: 186602 391.59/397.50 c #Conflicts: 621000 | #Constraints: 187602 391.59/397.50 c #Conflicts: 622000 | #Constraints: 188602 391.59/397.50 c #Conflicts: 623000 | #Constraints: 189602 391.59/397.50 c #Conflicts: 624000 | #Constraints: 190602 391.59/397.50 c #Conflicts: 625000 | #Constraints: 191602 391.59/397.50 c #Conflicts: 626000 | #Constraints: 192602 391.59/397.50 c #Conflicts: 627000 | #Constraints: 193602 391.59/397.50 c #Conflicts: 628000 | #Constraints: 194602 391.59/397.50 c #Conflicts: 629000 | #Constraints: 195602 391.59/397.50 c #Conflicts: 630000 | #Constraints: 196602 391.59/397.50 c #Conflicts: 631000 | #Constraints: 197602 391.59/397.50 c #Conflicts: 632000 | #Constraints: 198602 391.59/397.50 c #Conflicts: 633000 | #Constraints: 199602 391.59/397.50 c #Conflicts: 634000 | #Constraints: 200602 391.59/397.50 c #Conflicts: 635000 | #Constraints: 201602 391.59/397.50 c #Conflicts: 636000 | #Constraints: 202602 391.59/397.50 c #Conflicts: 637000 | #Constraints: 203602 391.59/397.50 c #Conflicts: 638000 | #Constraints: 204602 391.59/397.50 c #Conflicts: 639000 | #Constraints: 205602 391.59/397.50 c #Conflicts: 640000 | #Constraints: 206602 391.59/397.50 c #Conflicts: 641000 | #Constraints: 207602 391.59/397.50 c #Conflicts: 642000 | #Constraints: 208602 391.59/397.50 c #Conflicts: 643000 | #Constraints: 209602 391.59/397.50 c #Conflicts: 644000 | #Constraints: 210602 391.59/397.50 c #Conflicts: 645000 | #Constraints: 211602 391.59/397.50 c #Conflicts: 646000 | #Constraints: 212602 391.59/397.50 c #Conflicts: 647000 | #Constraints: 213602 391.59/397.50 c #Conflicts: 648000 | #Constraints: 214602 391.59/397.50 c #Conflicts: 649000 | #Constraints: 215602 391.59/397.50 c #Conflicts: 650000 | #Constraints: 216602 391.59/397.50 c #Conflicts: 651000 | #Constraints: 217602 391.59/397.50 c #Conflicts: 652000 | #Constraints: 218602 391.59/397.50 c #Conflicts: 653000 | #Constraints: 219602 391.59/397.50 c #Conflicts: 654000 | #Constraints: 220602 391.59/397.50 c #Conflicts: 655000 | #Constraints: 221602 391.59/397.50 c INPROCESSING 391.59/397.50 c GARBAGE COLLECT 391.59/397.50 c rational objective 806.102 425.99/432.10 c #Conflicts: 656000 | #Constraints: 171141 425.99/432.10 c #Conflicts: 657000 | #Constraints: 172141 425.99/432.10 c #Conflicts: 658000 | #Constraints: 173141 425.99/432.10 c #Conflicts: 659000 | #Constraints: 174141 425.99/432.10 c #Conflicts: 660000 | #Constraints: 175141 425.99/432.10 c #Conflicts: 661000 | #Constraints: 176141 425.99/432.10 c #Conflicts: 662000 | #Constraints: 177141 425.99/432.10 c #Conflicts: 663000 | #Constraints: 178141 425.99/432.10 c #Conflicts: 664000 | #Constraints: 179141 425.99/432.10 c #Conflicts: 665000 | #Constraints: 180141 425.99/432.10 c #Conflicts: 666000 | #Constraints: 181141 425.99/432.10 c #Conflicts: 667000 | #Constraints: 182141 425.99/432.10 c #Conflicts: 668000 | #Constraints: 183141 425.99/432.10 c #Conflicts: 669000 | #Constraints: 184141 425.99/432.10 c #Conflicts: 670000 | #Constraints: 185141 425.99/432.10 c #Conflicts: 671000 | #Constraints: 186141 425.99/432.10 c #Conflicts: 672000 | #Constraints: 187141 425.99/432.10 c #Conflicts: 673000 | #Constraints: 188141 425.99/432.10 c #Conflicts: 674000 | #Constraints: 189141 425.99/432.10 c #Conflicts: 675000 | #Constraints: 190141 425.99/432.10 c #Conflicts: 676000 | #Constraints: 191141 425.99/432.10 c #Conflicts: 677000 | #Constraints: 192141 425.99/432.10 c #Conflicts: 678000 | #Constraints: 193141 425.99/432.10 c #Conflicts: 679000 | #Constraints: 194141 425.99/432.10 c #Conflicts: 680000 | #Constraints: 195141 425.99/432.10 c #Conflicts: 681000 | #Constraints: 196141 425.99/432.10 c #Conflicts: 682000 | #Constraints: 197141 425.99/432.10 c #Conflicts: 683000 | #Constraints: 198141 425.99/432.10 c #Conflicts: 684000 | #Constraints: 199141 425.99/432.10 c #Conflicts: 685000 | #Constraints: 200141 425.99/432.10 c #Conflicts: 686000 | #Constraints: 201141 425.99/432.10 c #Conflicts: 687000 | #Constraints: 202141 425.99/432.10 c #Conflicts: 688000 | #Constraints: 203141 425.99/432.10 c #Conflicts: 689000 | #Constraints: 204141 425.99/432.10 c #Conflicts: 690000 | #Constraints: 205141 425.99/432.10 c #Conflicts: 691000 | #Constraints: 206141 425.99/432.10 c #Conflicts: 692000 | #Constraints: 207141 425.99/432.10 c #Conflicts: 693000 | #Constraints: 208141 425.99/432.10 c #Conflicts: 694000 | #Constraints: 209141 425.99/432.10 c #Conflicts: 695000 | #Constraints: 210141 425.99/432.10 c #Conflicts: 696000 | #Constraints: 211141 425.99/432.10 c #Conflicts: 697000 | #Constraints: 212141 425.99/432.10 c #Conflicts: 698000 | #Constraints: 213141 425.99/432.10 c #Conflicts: 699000 | #Constraints: 214141 425.99/432.10 c #Conflicts: 700000 | #Constraints: 215141 425.99/432.10 c #Conflicts: 701000 | #Constraints: 216141 425.99/432.10 c #Conflicts: 702000 | #Constraints: 217141 425.99/432.10 c #Conflicts: 703000 | #Constraints: 218141 425.99/432.10 c #Conflicts: 704000 | #Constraints: 219141 425.99/432.10 c #Conflicts: 705000 | #Constraints: 220141 425.99/432.10 c #Conflicts: 706000 | #Constraints: 221141 425.99/432.10 c #Conflicts: 707000 | #Constraints: 222141 425.99/432.10 c INPROCESSING 425.99/432.10 c GARBAGE COLLECT 425.99/432.10 c rational objective 808.087 458.47/464.68 c #Conflicts: 708000 | #Constraints: 171423 458.47/464.68 c #Conflicts: 709000 | #Constraints: 172423 458.47/464.68 c #Conflicts: 710000 | #Constraints: 173423 458.47/464.68 c #Conflicts: 711000 | #Constraints: 174423 458.47/464.68 c #Conflicts: 712000 | #Constraints: 175423 458.47/464.68 c #Conflicts: 713000 | #Constraints: 176423 458.47/464.68 c #Conflicts: 714000 | #Constraints: 177423 458.47/464.68 c #Conflicts: 715000 | #Constraints: 178423 458.47/464.68 c #Conflicts: 716000 | #Constraints: 179423 458.47/464.68 c #Conflicts: 717000 | #Constraints: 180423 458.47/464.68 c #Conflicts: 718000 | #Constraints: 181423 458.47/464.68 c #Conflicts: 719000 | #Constraints: 182423 458.47/464.68 c #Conflicts: 720000 | #Constraints: 183423 458.47/464.68 c #Conflicts: 721000 | #Constraints: 184423 458.47/464.68 c #Conflicts: 722000 | #Constraints: 185423 458.47/464.68 c #Conflicts: 723000 | #Constraints: 186423 458.47/464.68 c #Conflicts: 724000 | #Constraints: 187423 458.47/464.68 c #Conflicts: 725000 | #Constraints: 188423 458.47/464.68 c #Conflicts: 726000 | #Constraints: 189423 458.47/464.68 c #Conflicts: 727000 | #Constraints: 190423 458.47/464.68 c #Conflicts: 728000 | #Constraints: 191423 458.47/464.68 c #Conflicts: 729000 | #Constraints: 192423 458.47/464.68 c #Conflicts: 730000 | #Constraints: 193423 458.47/464.68 c #Conflicts: 731000 | #Constraints: 194423 458.47/464.68 c #Conflicts: 732000 | #Constraints: 195423 458.47/464.68 c #Conflicts: 733000 | #Constraints: 196423 458.47/464.68 c #Conflicts: 734000 | #Constraints: 197423 458.47/464.68 c #Conflicts: 735000 | #Constraints: 198423 458.47/464.68 c #Conflicts: 736000 | #Constraints: 199423 458.47/464.68 c #Conflicts: 737000 | #Constraints: 200423 458.47/464.68 c #Conflicts: 738000 | #Constraints: 201423 458.47/464.68 c #Conflicts: 739000 | #Constraints: 202423 458.47/464.68 c #Conflicts: 740000 | #Constraints: 203423 458.47/464.68 c #Conflicts: 741000 | #Constraints: 204423 458.47/464.68 c #Conflicts: 742000 | #Constraints: 205423 458.47/464.68 c #Conflicts: 743000 | #Constraints: 206423 458.47/464.68 c #Conflicts: 744000 | #Constraints: 207423 458.47/464.68 c #Conflicts: 745000 | #Constraints: 208423 458.47/464.68 c #Conflicts: 746000 | #Constraints: 209423 458.47/464.68 c #Conflicts: 747000 | #Constraints: 210423 458.47/464.68 c #Conflicts: 748000 | #Constraints: 211423 458.47/464.68 c #Conflicts: 749000 | #Constraints: 212423 458.47/464.68 c #Conflicts: 750000 | #Constraints: 213423 458.47/464.68 c #Conflicts: 751000 | #Constraints: 214423 458.47/464.68 c #Conflicts: 752000 | #Constraints: 215423 458.47/464.68 c #Conflicts: 753000 | #Constraints: 216423 458.47/464.68 c #Conflicts: 754000 | #Constraints: 217423 458.47/464.68 c #Conflicts: 755000 | #Constraints: 218423 458.47/464.68 c #Conflicts: 756000 | #Constraints: 219423 458.47/464.68 c #Conflicts: 757000 | #Constraints: 220423 458.47/464.68 c #Conflicts: 758000 | #Constraints: 221423 458.47/464.68 c #Conflicts: 759000 | #Constraints: 222423 458.47/464.68 c #Conflicts: 760000 | #Constraints: 223423 458.47/464.68 c #Conflicts: 761000 | #Constraints: 224423 458.47/464.68 c INPROCESSING 458.47/464.68 c GARBAGE COLLECT 458.47/464.68 c rational objective 810.169 496.35/502.61 c #Conflicts: 762000 | #Constraints: 172367 496.35/502.61 c #Conflicts: 763000 | #Constraints: 173367 496.35/502.61 c #Conflicts: 764000 | #Constraints: 174367 496.35/502.61 c #Conflicts: 765000 | #Constraints: 175367 496.35/502.61 c #Conflicts: 766000 | #Constraints: 176367 496.35/502.61 c #Conflicts: 767000 | #Constraints: 177367 496.35/502.61 c #Conflicts: 768000 | #Constraints: 178367 496.35/502.61 c #Conflicts: 769000 | #Constraints: 179367 496.35/502.61 c #Conflicts: 770000 | #Constraints: 180367 496.35/502.61 c #Conflicts: 771000 | #Constraints: 181367 496.35/502.61 c #Conflicts: 772000 | #Constraints: 182367 496.35/502.61 c #Conflicts: 773000 | #Constraints: 183367 496.35/502.61 c #Conflicts: 774000 | #Constraints: 184367 496.35/502.61 c #Conflicts: 775000 | #Constraints: 185367 496.35/502.61 c #Conflicts: 776000 | #Constraints: 186367 496.35/502.61 c #Conflicts: 777000 | #Constraints: 187367 496.35/502.61 c #Conflicts: 778000 | #Constraints: 188367 496.35/502.61 c #Conflicts: 779000 | #Constraints: 189367 496.35/502.61 c #Conflicts: 780000 | #Constraints: 190367 496.35/502.61 c #Conflicts: 781000 | #Constraints: 191367 496.35/502.61 c #Conflicts: 782000 | #Constraints: 192367 496.35/502.61 c #Conflicts: 783000 | #Constraints: 193367 496.35/502.61 c #Conflicts: 784000 | #Constraints: 194367 496.35/502.61 c #Conflicts: 785000 | #Constraints: 195367 496.35/502.61 c #Conflicts: 786000 | #Constraints: 196367 496.35/502.61 c #Conflicts: 787000 | #Constraints: 197367 496.35/502.61 c #Conflicts: 788000 | #Constraints: 198367 496.35/502.61 c #Conflicts: 789000 | #Constraints: 199367 496.35/502.61 c #Conflicts: 790000 | #Constraints: 200367 496.35/502.61 c #Conflicts: 791000 | #Constraints: 201367 496.35/502.61 c #Conflicts: 792000 | #Constraints: 202367 496.35/502.61 c #Conflicts: 793000 | #Constraints: 203367 496.35/502.61 c #Conflicts: 794000 | #Constraints: 204367 496.35/502.61 c #Conflicts: 795000 | #Constraints: 205367 496.35/502.61 c #Conflicts: 796000 | #Constraints: 206367 496.35/502.61 c #Conflicts: 797000 | #Constraints: 207367 496.35/502.61 c #Conflicts: 798000 | #Constraints: 208367 496.35/502.61 c #Conflicts: 799000 | #Constraints: 209367 496.35/502.61 c #Conflicts: 800000 | #Constraints: 210367 496.35/502.61 c #Conflicts: 801000 | #Constraints: 211367 496.35/502.61 c #Conflicts: 802000 | #Constraints: 212367 496.35/502.61 c #Conflicts: 803000 | #Constraints: 213367 496.35/502.61 c #Conflicts: 804000 | #Constraints: 214367 496.35/502.61 c #Conflicts: 805000 | #Constraints: 215367 496.35/502.61 c #Conflicts: 806000 | #Constraints: 216367 496.35/502.61 c #Conflicts: 807000 | #Constraints: 217367 496.35/502.61 c #Conflicts: 808000 | #Constraints: 218367 496.35/502.61 c #Conflicts: 809000 | #Constraints: 219367 496.35/502.61 c #Conflicts: 810000 | #Constraints: 220367 496.35/502.61 c #Conflicts: 811000 | #Constraints: 221367 496.35/502.61 c #Conflicts: 812000 | #Constraints: 222367 496.35/502.61 c #Conflicts: 813000 | #Constraints: 223367 496.35/502.61 c #Conflicts: 814000 | #Constraints: 224367 496.35/502.61 c #Conflicts: 815000 | #Constraints: 225367 496.35/502.61 c #Conflicts: 816000 | #Constraints: 226367 496.35/502.61 c #Conflicts: 817000 | #Constraints: 227367 496.35/502.61 c INPROCESSING 496.35/502.61 c GARBAGE COLLECT 496.35/502.61 c rational objective 810.576 531.77/538.19 c #Conflicts: 818000 | #Constraints: 173000 531.77/538.19 c #Conflicts: 819000 | #Constraints: 174000 531.77/538.19 c #Conflicts: 820000 | #Constraints: 175000 531.77/538.19 c #Conflicts: 821000 | #Constraints: 176000 531.77/538.19 c #Conflicts: 822000 | #Constraints: 177000 531.77/538.19 c #Conflicts: 823000 | #Constraints: 178000 531.77/538.19 c #Conflicts: 824000 | #Constraints: 179000 531.77/538.19 c #Conflicts: 825000 | #Constraints: 180000 531.77/538.19 c #Conflicts: 826000 | #Constraints: 181000 531.77/538.19 c #Conflicts: 827000 | #Constraints: 182000 531.77/538.19 c #Conflicts: 828000 | #Constraints: 183000 531.77/538.19 c #Conflicts: 829000 | #Constraints: 184000 531.77/538.19 c #Conflicts: 830000 | #Constraints: 185000 531.77/538.19 c #Conflicts: 831000 | #Constraints: 186000 531.77/538.19 c #Conflicts: 832000 | #Constraints: 187000 531.77/538.19 c #Conflicts: 833000 | #Constraints: 188000 531.77/538.19 c #Conflicts: 834000 | #Constraints: 189000 531.77/538.19 c #Conflicts: 835000 | #Constraints: 190000 531.77/538.19 c #Conflicts: 836000 | #Constraints: 191000 531.77/538.19 c #Conflicts: 837000 | #Constraints: 192000 531.77/538.19 c #Conflicts: 838000 | #Constraints: 193000 531.77/538.19 c #Conflicts: 839000 | #Constraints: 194000 531.77/538.19 c #Conflicts: 840000 | #Constraints: 195000 531.77/538.19 c #Conflicts: 841000 | #Constraints: 196000 531.77/538.19 c #Conflicts: 842000 | #Constraints: 197000 531.77/538.19 c #Conflicts: 843000 | #Constraints: 198000 531.77/538.19 c #Conflicts: 844000 | #Constraints: 199000 531.77/538.19 c #Conflicts: 845000 | #Constraints: 200000 531.77/538.19 c #Conflicts: 846000 | #Constraints: 201000 531.77/538.19 c #Conflicts: 847000 | #Constraints: 202000 531.77/538.19 c #Conflicts: 848000 | #Constraints: 203000 531.77/538.19 c #Conflicts: 849000 | #Constraints: 204000 531.77/538.19 c #Conflicts: 850000 | #Constraints: 205000 531.77/538.19 c #Conflicts: 851000 | #Constraints: 206000 531.77/538.19 c #Conflicts: 852000 | #Constraints: 207000 531.77/538.19 c #Conflicts: 853000 | #Constraints: 208000 531.77/538.19 c #Conflicts: 854000 | #Constraints: 209000 531.77/538.19 c #Conflicts: 855000 | #Constraints: 210000 531.77/538.19 c #Conflicts: 856000 | #Constraints: 211000 531.77/538.19 c #Conflicts: 857000 | #Constraints: 212000 531.77/538.19 c #Conflicts: 858000 | #Constraints: 213000 531.77/538.19 c #Conflicts: 859000 | #Constraints: 214000 531.77/538.19 c #Conflicts: 860000 | #Constraints: 215000 531.77/538.19 c #Conflicts: 861000 | #Constraints: 216000 531.77/538.19 c #Conflicts: 862000 | #Constraints: 217000 531.77/538.19 c #Conflicts: 863000 | #Constraints: 218000 531.77/538.19 c #Conflicts: 864000 | #Constraints: 219000 531.77/538.19 c #Conflicts: 865000 | #Constraints: 220000 531.77/538.19 c #Conflicts: 866000 | #Constraints: 221000 531.77/538.19 c #Conflicts: 867000 | #Constraints: 222000 531.77/538.19 c #Conflicts: 868000 | #Constraints: 223000 531.77/538.19 c #Conflicts: 869000 | #Constraints: 224000 531.77/538.19 c #Conflicts: 870000 | #Constraints: 225000 531.77/538.19 c #Conflicts: 871000 | #Constraints: 226000 531.77/538.19 c #Conflicts: 872000 | #Constraints: 227000 531.77/538.19 c #Conflicts: 873000 | #Constraints: 228000 531.77/538.19 c #Conflicts: 874000 | #Constraints: 229000 531.77/538.19 c #Conflicts: 875000 | #Constraints: 230000 531.77/538.19 c #Conflicts: 876000 | #Constraints: 231000 531.77/538.19 c INPROCESSING 531.77/538.19 c GARBAGE COLLECT 531.77/538.19 c rational objective 812.019 571.86/578.32 c #Conflicts: 877000 | #Constraints: 175156 571.86/578.32 c #Conflicts: 878000 | #Constraints: 176156 571.86/578.32 c #Conflicts: 879000 | #Constraints: 177156 571.86/578.32 c #Conflicts: 880000 | #Constraints: 178156 571.86/578.32 c #Conflicts: 881000 | #Constraints: 179156 571.86/578.32 c #Conflicts: 882000 | #Constraints: 180156 571.86/578.32 c #Conflicts: 883000 | #Constraints: 181156 571.86/578.32 c #Conflicts: 884000 | #Constraints: 182156 571.86/578.32 c #Conflicts: 885000 | #Constraints: 183156 571.86/578.32 c #Conflicts: 886000 | #Constraints: 184156 571.86/578.32 c #Conflicts: 887000 | #Constraints: 185156 571.86/578.32 c #Conflicts: 888000 | #Constraints: 186156 571.86/578.32 c #Conflicts: 889000 | #Constraints: 187156 571.86/578.32 c #Conflicts: 890000 | #Constraints: 188156 571.86/578.32 c #Conflicts: 891000 | #Constraints: 189156 571.86/578.32 c #Conflicts: 892000 | #Constraints: 190156 571.86/578.32 c #Conflicts: 893000 | #Constraints: 191156 571.86/578.32 c #Conflicts: 894000 | #Constraints: 192156 571.86/578.32 c #Conflicts: 895000 | #Constraints: 193156 571.86/578.32 c #Conflicts: 896000 | #Constraints: 194156 571.86/578.32 c #Conflicts: 897000 | #Constraints: 195156 571.86/578.32 c #Conflicts: 898000 | #Constraints: 196156 571.86/578.32 c #Conflicts: 899000 | #Constraints: 197156 571.86/578.32 c #Conflicts: 900000 | #Constraints: 198156 571.86/578.32 c #Conflicts: 901000 | #Constraints: 199156 571.86/578.32 c #Conflicts: 902000 | #Constraints: 200156 571.86/578.32 c #Conflicts: 903000 | #Constraints: 201156 571.86/578.32 c #Conflicts: 904000 | #Constraints: 202156 571.86/578.32 c #Conflicts: 905000 | #Constraints: 203156 571.86/578.32 c #Conflicts: 906000 | #Constraints: 204156 571.86/578.32 c #Conflicts: 907000 | #Constraints: 205156 571.86/578.32 c #Conflicts: 908000 | #Constraints: 206156 571.86/578.32 c #Conflicts: 909000 | #Constraints: 207156 571.86/578.32 c #Conflicts: 910000 | #Constraints: 208156 571.86/578.32 c #Conflicts: 911000 | #Constraints: 209156 571.86/578.32 c #Conflicts: 912000 | #Constraints: 210156 571.86/578.32 c #Conflicts: 913000 | #Constraints: 211156 571.86/578.32 c #Conflicts: 914000 | #Constraints: 212156 571.86/578.32 c #Conflicts: 915000 | #Constraints: 213156 571.86/578.32 c #Conflicts: 916000 | #Constraints: 214156 571.86/578.32 c #Conflicts: 917000 | #Constraints: 215156 571.86/578.32 c #Conflicts: 918000 | #Constraints: 216156 571.86/578.32 c #Conflicts: 919000 | #Constraints: 217156 571.86/578.32 c #Conflicts: 920000 | #Constraints: 218156 571.86/578.32 c #Conflicts: 921000 | #Constraints: 219156 571.86/578.32 c #Conflicts: 922000 | #Constraints: 220156 571.86/578.32 c #Conflicts: 923000 | #Constraints: 221156 571.86/578.32 c #Conflicts: 924000 | #Constraints: 222156 571.86/578.32 c #Conflicts: 925000 | #Constraints: 223156 571.86/578.32 c #Conflicts: 926000 | #Constraints: 224156 571.86/578.32 c #Conflicts: 927000 | #Constraints: 225156 571.86/578.32 c #Conflicts: 928000 | #Constraints: 226156 571.86/578.32 c #Conflicts: 929000 | #Constraints: 227156 571.86/578.32 c #Conflicts: 930000 | #Constraints: 228156 571.86/578.32 c #Conflicts: 931000 | #Constraints: 229156 571.86/578.32 c #Conflicts: 932000 | #Constraints: 230156 571.86/578.32 c #Conflicts: 933000 | #Constraints: 231156 571.86/578.32 c #Conflicts: 934000 | #Constraints: 232156 571.86/578.32 c #Conflicts: 935000 | #Constraints: 233156 571.86/578.32 c #Conflicts: 936000 | #Constraints: 234156 571.86/578.32 c INPROCESSING 571.86/578.32 c GARBAGE COLLECT 571.86/578.32 c rational objective 813.592 619.55/626.19 c #Conflicts: 937000 | #Constraints: 176421 619.55/626.19 c #Conflicts: 938000 | #Constraints: 177421 619.55/626.19 c #Conflicts: 939000 | #Constraints: 178421 619.55/626.19 c #Conflicts: 940000 | #Constraints: 179421 619.55/626.19 c #Conflicts: 941000 | #Constraints: 180421 619.55/626.19 c #Conflicts: 942000 | #Constraints: 181421 619.55/626.19 c #Conflicts: 943000 | #Constraints: 182421 619.55/626.19 c #Conflicts: 944000 | #Constraints: 183421 619.55/626.19 c #Conflicts: 945000 | #Constraints: 184421 619.55/626.19 c #Conflicts: 946000 | #Constraints: 185421 619.55/626.19 c #Conflicts: 947000 | #Constraints: 186421 619.55/626.19 c #Conflicts: 948000 | #Constraints: 187421 619.55/626.19 c #Conflicts: 949000 | #Constraints: 188421 619.55/626.19 c #Conflicts: 950000 | #Constraints: 189421 619.55/626.19 c #Conflicts: 951000 | #Constraints: 190421 619.55/626.19 c #Conflicts: 952000 | #Constraints: 191421 619.55/626.19 c #Conflicts: 953000 | #Constraints: 192421 619.55/626.19 c #Conflicts: 954000 | #Constraints: 193421 619.55/626.19 c #Conflicts: 955000 | #Constraints: 194421 619.55/626.19 c #Conflicts: 956000 | #Constraints: 195421 619.55/626.19 c #Conflicts: 957000 | #Constraints: 196421 619.55/626.19 c #Conflicts: 958000 | #Constraints: 197421 619.55/626.19 c #Conflicts: 959000 | #Constraints: 198421 619.55/626.19 c #Conflicts: 960000 | #Constraints: 199421 619.55/626.19 c #Conflicts: 961000 | #Constraints: 200421 619.55/626.19 c #Conflicts: 962000 | #Constraints: 201421 619.55/626.19 c #Conflicts: 963000 | #Constraints: 202421 619.55/626.19 c #Conflicts: 964000 | #Constraints: 203421 619.55/626.19 c #Conflicts: 965000 | #Constraints: 204421 619.55/626.19 c #Conflicts: 966000 | #Constraints: 205421 619.55/626.19 c #Conflicts: 967000 | #Constraints: 206421 619.55/626.19 c #Conflicts: 968000 | #Constraints: 207421 619.55/626.19 c #Conflicts: 969000 | #Constraints: 208421 619.55/626.19 c #Conflicts: 970000 | #Constraints: 209421 619.55/626.19 c #Conflicts: 971000 | #Constraints: 210421 619.55/626.19 c #Conflicts: 972000 | #Constraints: 211421 619.55/626.19 c #Conflicts: 973000 | #Constraints: 212421 619.55/626.19 c #Conflicts: 974000 | #Constraints: 213421 619.55/626.19 c #Conflicts: 975000 | #Constraints: 214421 619.55/626.19 c #Conflicts: 976000 | #Constraints: 215421 619.55/626.19 c #Conflicts: 977000 | #Constraints: 216421 619.55/626.19 c #Conflicts: 978000 | #Constraints: 217421 619.55/626.19 c #Conflicts: 979000 | #Constraints: 218421 619.55/626.19 c #Conflicts: 980000 | #Constraints: 219421 619.55/626.19 c #Conflicts: 981000 | #Constraints: 220421 619.55/626.19 c #Conflicts: 982000 | #Constraints: 221421 619.55/626.19 c #Conflicts: 983000 | #Constraints: 222421 619.55/626.19 c #Conflicts: 984000 | #Constraints: 223421 619.55/626.19 c #Conflicts: 985000 | #Constraints: 224421 619.55/626.19 c #Conflicts: 986000 | #Constraints: 225421 619.55/626.19 c #Conflicts: 987000 | #Constraints: 226421 619.55/626.19 c #Conflicts: 988000 | #Constraints: 227421 619.55/626.19 c #Conflicts: 989000 | #Constraints: 228421 619.55/626.19 c #Conflicts: 990000 | #Constraints: 229421 619.55/626.19 c #Conflicts: 991000 | #Constraints: 230421 619.55/626.19 c #Conflicts: 992000 | #Constraints: 231421 619.55/626.19 c #Conflicts: 993000 | #Constraints: 232421 619.55/626.19 c #Conflicts: 994000 | #Constraints: 233421 619.55/626.19 c #Conflicts: 995000 | #Constraints: 234421 619.55/626.19 c #Conflicts: 996000 | #Constraints: 235421 619.55/626.19 c #Conflicts: 997000 | #Constraints: 236421 619.55/626.19 c #Conflicts: 998000 | #Constraints: 237421 619.55/626.19 c INPROCESSING 619.55/626.19 c GARBAGE COLLECT 619.55/626.19 c rational objective 814.454 660.82/667.58 c #Conflicts: 999000 | #Constraints: 178532 660.82/667.58 c #Conflicts: 1000000 | #Constraints: 179532 660.82/667.58 c #Conflicts: 1001000 | #Constraints: 180532 660.82/667.58 c #Conflicts: 1002000 | #Constraints: 181532 660.82/667.58 c #Conflicts: 1003000 | #Constraints: 182532 660.82/667.58 c #Conflicts: 1004000 | #Constraints: 183532 660.82/667.58 c #Conflicts: 1005000 | #Constraints: 184532 660.82/667.58 c #Conflicts: 1006000 | #Constraints: 185532 660.82/667.58 c #Conflicts: 1007000 | #Constraints: 186532 660.82/667.58 c #Conflicts: 1008000 | #Constraints: 187532 660.82/667.58 c #Conflicts: 1009000 | #Constraints: 188532 660.82/667.58 c #Conflicts: 1010000 | #Constraints: 189532 660.82/667.58 c #Conflicts: 1011000 | #Constraints: 190532 660.82/667.58 c #Conflicts: 1012000 | #Constraints: 191532 660.82/667.58 c #Conflicts: 1013000 | #Constraints: 192532 660.82/667.58 c #Conflicts: 1014000 | #Constraints: 193532 660.82/667.58 c #Conflicts: 1015000 | #Constraints: 194532 660.82/667.58 c #Conflicts: 1016000 | #Constraints: 195532 660.82/667.58 c #Conflicts: 1017000 | #Constraints: 196532 660.82/667.58 c #Conflicts: 1018000 | #Constraints: 197532 660.82/667.58 c #Conflicts: 1019000 | #Constraints: 198532 660.82/667.58 c #Conflicts: 1020000 | #Constraints: 199532 660.82/667.58 c #Conflicts: 1021000 | #Constraints: 200532 660.82/667.58 c #Conflicts: 1022000 | #Constraints: 201532 660.82/667.58 c #Conflicts: 1023000 | #Constraints: 202532 660.82/667.58 c #Conflicts: 1024000 | #Constraints: 203532 660.82/667.58 c #Conflicts: 1025000 | #Constraints: 204532 660.82/667.58 c #Conflicts: 1026000 | #Constraints: 205532 660.82/667.58 c #Conflicts: 1027000 | #Constraints: 206532 660.82/667.58 c #Conflicts: 1028000 | #Constraints: 207532 660.82/667.58 c #Conflicts: 1029000 | #Constraints: 208532 660.82/667.58 c #Conflicts: 1030000 | #Constraints: 209532 660.82/667.58 c #Conflicts: 1031000 | #Constraints: 210532 660.82/667.58 c #Conflicts: 1032000 | #Constraints: 211532 660.82/667.58 c #Conflicts: 1033000 | #Constraints: 212532 660.82/667.58 c #Conflicts: 1034000 | #Constraints: 213532 660.82/667.58 c #Conflicts: 1035000 | #Constraints: 214532 660.82/667.58 c #Conflicts: 1036000 | #Constraints: 215532 660.82/667.58 c #Conflicts: 1037000 | #Constraints: 216532 660.82/667.58 c #Conflicts: 1038000 | #Constraints: 217532 660.82/667.59 c #Conflicts: 1039000 | #Constraints: 218532 660.82/667.59 c #Conflicts: 1040000 | #Constraints: 219532 660.82/667.59 c #Conflicts: 1041000 | #Constraints: 220532 660.82/667.59 c #Conflicts: 1042000 | #Constraints: 221532 660.82/667.59 c #Conflicts: 1043000 | #Constraints: 222532 660.82/667.59 c #Conflicts: 1044000 | #Constraints: 223532 660.82/667.59 c #Conflicts: 1045000 | #Constraints: 224532 660.82/667.59 c #Conflicts: 1046000 | #Constraints: 225532 660.82/667.59 c #Conflicts: 1047000 | #Constraints: 226532 660.82/667.59 c #Conflicts: 1048000 | #Constraints: 227532 660.82/667.59 c #Conflicts: 1049000 | #Constraints: 228532 660.82/667.59 c #Conflicts: 1050000 | #Constraints: 229532 660.82/667.59 c #Conflicts: 1051000 | #Constraints: 230532 660.82/667.59 c #Conflicts: 1052000 | #Constraints: 231532 660.82/667.59 c #Conflicts: 1053000 | #Constraints: 232532 660.82/667.59 c #Conflicts: 1054000 | #Constraints: 233532 660.82/667.59 c #Conflicts: 1055000 | #Constraints: 234532 660.82/667.59 c #Conflicts: 1056000 | #Constraints: 235532 660.82/667.59 c #Conflicts: 1057000 | #Constraints: 236532 660.82/667.59 c #Conflicts: 1058000 | #Constraints: 237532 660.82/667.59 c #Conflicts: 1059000 | #Constraints: 238532 660.82/667.59 c #Conflicts: 1060000 | #Constraints: 239532 660.82/667.59 c #Conflicts: 1061000 | #Constraints: 240532 660.82/667.59 c #Conflicts: 1062000 | #Constraints: 241532 660.82/667.59 c INPROCESSING 660.82/667.59 c GARBAGE COLLECT 660.82/667.59 c rational objective 815.234 699.53/706.38 c #Conflicts: 1063000 | #Constraints: 180750 699.53/706.38 c #Conflicts: 1064000 | #Constraints: 181750 699.53/706.38 c #Conflicts: 1065000 | #Constraints: 182750 699.53/706.38 c #Conflicts: 1066000 | #Constraints: 183750 699.53/706.38 c #Conflicts: 1067000 | #Constraints: 184750 699.53/706.38 c #Conflicts: 1068000 | #Constraints: 185750 699.53/706.38 c #Conflicts: 1069000 | #Constraints: 186750 699.53/706.38 c #Conflicts: 1070000 | #Constraints: 187750 699.53/706.38 c #Conflicts: 1071000 | #Constraints: 188750 699.53/706.38 c #Conflicts: 1072000 | #Constraints: 189750 699.53/706.38 c #Conflicts: 1073000 | #Constraints: 190750 699.53/706.38 c #Conflicts: 1074000 | #Constraints: 191750 699.53/706.38 c #Conflicts: 1075000 | #Constraints: 192750 699.53/706.38 c #Conflicts: 1076000 | #Constraints: 193750 699.53/706.38 c #Conflicts: 1077000 | #Constraints: 194750 699.53/706.38 c #Conflicts: 1078000 | #Constraints: 195750 699.53/706.38 c #Conflicts: 1079000 | #Constraints: 196750 699.53/706.38 c #Conflicts: 1080000 | #Constraints: 197750 699.53/706.38 c #Conflicts: 1081000 | #Constraints: 198750 699.53/706.38 c #Conflicts: 1082000 | #Constraints: 199750 699.53/706.38 c #Conflicts: 1083000 | #Constraints: 200750 699.53/706.38 c #Conflicts: 1084000 | #Constraints: 201750 699.53/706.38 c #Conflicts: 1085000 | #Constraints: 202750 699.53/706.38 c #Conflicts: 1086000 | #Constraints: 203750 699.53/706.38 c #Conflicts: 1087000 | #Constraints: 204750 699.53/706.38 c #Conflicts: 1088000 | #Constraints: 205750 699.53/706.38 c #Conflicts: 1089000 | #Constraints: 206750 699.53/706.38 c #Conflicts: 1090000 | #Constraints: 207750 699.53/706.38 c #Conflicts: 1091000 | #Constraints: 208750 699.53/706.38 c #Conflicts: 1092000 | #Constraints: 209750 699.53/706.38 c #Conflicts: 1093000 | #Constraints: 210750 699.53/706.38 c #Conflicts: 1094000 | #Constraints: 211750 699.53/706.38 c #Conflicts: 1095000 | #Constraints: 212750 699.53/706.38 c #Conflicts: 1096000 | #Constraints: 213750 699.53/706.38 c #Conflicts: 1097000 | #Constraints: 214750 699.53/706.38 c #Conflicts: 1098000 | #Constraints: 215750 699.53/706.38 c #Conflicts: 1099000 | #Constraints: 216750 699.53/706.38 c #Conflicts: 1100000 | #Constraints: 217750 699.53/706.38 c #Conflicts: 1101000 | #Constraints: 218750 699.53/706.38 c #Conflicts: 1102000 | #Constraints: 219750 699.53/706.38 c #Conflicts: 1103000 | #Constraints: 220750 699.53/706.38 c #Conflicts: 1104000 | #Constraints: 221750 699.53/706.38 c #Conflicts: 1105000 | #Constraints: 222750 699.53/706.38 c #Conflicts: 1106000 | #Constraints: 223750 699.53/706.38 c #Conflicts: 1107000 | #Constraints: 224750 699.53/706.38 c #Conflicts: 1108000 | #Constraints: 225750 699.53/706.38 c #Conflicts: 1109000 | #Constraints: 226750 699.53/706.38 c #Conflicts: 1110000 | #Constraints: 227750 699.53/706.38 c #Conflicts: 1111000 | #Constraints: 228750 699.53/706.38 c #Conflicts: 1112000 | #Constraints: 229750 699.53/706.38 c #Conflicts: 1113000 | #Constraints: 230750 699.53/706.38 c #Conflicts: 1114000 | #Constraints: 231750 699.53/706.38 c #Conflicts: 1115000 | #Constraints: 232750 699.53/706.38 c #Conflicts: 1116000 | #Constraints: 233750 699.53/706.38 c #Conflicts: 1117000 | #Constraints: 234750 699.53/706.38 c #Conflicts: 1118000 | #Constraints: 235750 699.53/706.38 c #Conflicts: 1119000 | #Constraints: 236750 699.53/706.38 c #Conflicts: 1120000 | #Constraints: 237750 699.53/706.38 c #Conflicts: 1121000 | #Constraints: 238750 699.53/706.38 c #Conflicts: 1122000 | #Constraints: 239750 699.53/706.38 c #Conflicts: 1123000 | #Constraints: 240750 699.53/706.38 c #Conflicts: 1124000 | #Constraints: 241750 699.53/706.38 c #Conflicts: 1125000 | #Constraints: 242750 699.53/706.38 c #Conflicts: 1126000 | #Constraints: 243750 699.53/706.38 c #Conflicts: 1127000 | #Constraints: 244750 699.53/706.38 c #Conflicts: 1128000 | #Constraints: 245750 699.53/706.38 c INPROCESSING 699.53/706.38 c GARBAGE COLLECT 699.53/706.38 c rational objective 816.309 741.72/748.63 c #Conflicts: 1129000 | #Constraints: 182374 741.72/748.63 c #Conflicts: 1130000 | #Constraints: 183374 741.72/748.63 c #Conflicts: 1131000 | #Constraints: 184374 741.72/748.63 c #Conflicts: 1132000 | #Constraints: 185374 741.72/748.63 c #Conflicts: 1133000 | #Constraints: 186374 741.72/748.63 c #Conflicts: 1134000 | #Constraints: 187374 741.72/748.63 c #Conflicts: 1135000 | #Constraints: 188374 741.72/748.63 c #Conflicts: 1136000 | #Constraints: 189374 741.72/748.63 c #Conflicts: 1137000 | #Constraints: 190374 741.72/748.63 c #Conflicts: 1138000 | #Constraints: 191374 741.72/748.63 c #Conflicts: 1139000 | #Constraints: 192374 741.72/748.63 c #Conflicts: 1140000 | #Constraints: 193374 741.72/748.63 c #Conflicts: 1141000 | #Constraints: 194374 741.72/748.63 c #Conflicts: 1142000 | #Constraints: 195374 741.72/748.63 c #Conflicts: 1143000 | #Constraints: 196374 741.72/748.63 c #Conflicts: 1144000 | #Constraints: 197374 741.72/748.63 c #Conflicts: 1145000 | #Constraints: 198374 741.72/748.63 c #Conflicts: 1146000 | #Constraints: 199374 741.72/748.63 c #Conflicts: 1147000 | #Constraints: 200374 741.72/748.63 c #Conflicts: 1148000 | #Constraints: 201374 741.72/748.63 c #Conflicts: 1149000 | #Constraints: 202374 741.72/748.63 c #Conflicts: 1150000 | #Constraints: 203374 741.72/748.63 c #Conflicts: 1151000 | #Constraints: 204374 741.72/748.63 c #Conflicts: 1152000 | #Constraints: 205374 741.72/748.63 c #Conflicts: 1153000 | #Constraints: 206374 741.72/748.63 c #Conflicts: 1154000 | #Constraints: 207374 741.72/748.63 c #Conflicts: 1155000 | #Constraints: 208374 741.72/748.63 c #Conflicts: 1156000 | #Constraints: 209374 741.72/748.63 c #Conflicts: 1157000 | #Constraints: 210374 741.72/748.63 c #Conflicts: 1158000 | #Constraints: 211374 741.72/748.63 c #Conflicts: 1159000 | #Constraints: 212374 741.72/748.63 c #Conflicts: 1160000 | #Constraints: 213374 741.72/748.63 c #Conflicts: 1161000 | #Constraints: 214374 741.72/748.63 c #Conflicts: 1162000 | #Constraints: 215374 741.72/748.63 c #Conflicts: 1163000 | #Constraints: 216374 741.72/748.63 c #Conflicts: 1164000 | #Constraints: 217374 741.72/748.63 c #Conflicts: 1165000 | #Constraints: 218374 741.72/748.63 c #Conflicts: 1166000 | #Constraints: 219374 741.72/748.63 c #Conflicts: 1167000 | #Constraints: 220374 741.72/748.63 c #Conflicts: 1168000 | #Constraints: 221374 741.72/748.63 c #Conflicts: 1169000 | #Constraints: 222374 741.72/748.63 c #Conflicts: 1170000 | #Constraints: 223374 741.72/748.63 c #Conflicts: 1171000 | #Constraints: 224374 741.72/748.63 c #Conflicts: 1172000 | #Constraints: 225374 741.72/748.63 c #Conflicts: 1173000 | #Constraints: 226374 741.72/748.63 c #Conflicts: 1174000 | #Constraints: 227374 741.72/748.63 c #Conflicts: 1175000 | #Constraints: 228374 741.72/748.63 c #Conflicts: 1176000 | #Constraints: 229374 741.72/748.63 c #Conflicts: 1177000 | #Constraints: 230374 741.72/748.63 c #Conflicts: 1178000 | #Constraints: 231374 741.72/748.63 c #Conflicts: 1179000 | #Constraints: 232374 741.72/748.63 c #Conflicts: 1180000 | #Constraints: 233374 741.72/748.63 c #Conflicts: 1181000 | #Constraints: 234374 741.72/748.63 c #Conflicts: 1182000 | #Constraints: 235374 741.72/748.63 c #Conflicts: 1183000 | #Constraints: 236374 741.72/748.63 c #Conflicts: 1184000 | #Constraints: 237374 741.72/748.63 c #Conflicts: 1185000 | #Constraints: 238374 741.72/748.63 c #Conflicts: 1186000 | #Constraints: 239374 741.72/748.63 c #Conflicts: 1187000 | #Constraints: 240374 741.72/748.63 c #Conflicts: 1188000 | #Constraints: 241374 741.72/748.63 c #Conflicts: 1189000 | #Constraints: 242374 741.72/748.63 c #Conflicts: 1190000 | #Constraints: 243374 741.72/748.63 c #Conflicts: 1191000 | #Constraints: 244374 741.72/748.63 c #Conflicts: 1192000 | #Constraints: 245374 741.72/748.63 c #Conflicts: 1193000 | #Constraints: 246374 741.72/748.63 c #Conflicts: 1194000 | #Constraints: 247374 741.72/748.63 c #Conflicts: 1195000 | #Constraints: 248374 741.72/748.63 c #Conflicts: 1196000 | #Constraints: 249374 741.72/748.63 c #Conflicts: 1197000 | #Constraints: 250374 741.72/748.63 c INPROCESSING 741.72/748.63 c GARBAGE COLLECT 741.72/748.63 c rational objective 818.011 786.31/793.35 c #Conflicts: 1198000 | #Constraints: 183137 786.31/793.35 c #Conflicts: 1199000 | #Constraints: 184137 786.31/793.35 c #Conflicts: 1200000 | #Constraints: 185137 786.31/793.35 c #Conflicts: 1201000 | #Constraints: 186137 786.31/793.35 c #Conflicts: 1202000 | #Constraints: 187137 786.31/793.35 c #Conflicts: 1203000 | #Constraints: 188137 786.31/793.35 c #Conflicts: 1204000 | #Constraints: 189137 786.31/793.35 c #Conflicts: 1205000 | #Constraints: 190137 786.31/793.35 c #Conflicts: 1206000 | #Constraints: 191137 786.31/793.35 c #Conflicts: 1207000 | #Constraints: 192137 786.31/793.35 c #Conflicts: 1208000 | #Constraints: 193137 786.31/793.35 c #Conflicts: 1209000 | #Constraints: 194137 786.31/793.35 c #Conflicts: 1210000 | #Constraints: 195137 786.31/793.35 c #Conflicts: 1211000 | #Constraints: 196137 786.31/793.35 c #Conflicts: 1212000 | #Constraints: 197137 786.31/793.35 c #Conflicts: 1213000 | #Constraints: 198137 786.31/793.35 c #Conflicts: 1214000 | #Constraints: 199137 786.31/793.35 c #Conflicts: 1215000 | #Constraints: 200137 786.31/793.35 c #Conflicts: 1216000 | #Constraints: 201137 786.31/793.35 c #Conflicts: 1217000 | #Constraints: 202137 786.31/793.35 c #Conflicts: 1218000 | #Constraints: 203137 786.31/793.35 c #Conflicts: 1219000 | #Constraints: 204137 786.31/793.35 c #Conflicts: 1220000 | #Constraints: 205137 786.31/793.35 c #Conflicts: 1221000 | #Constraints: 206137 786.31/793.35 c #Conflicts: 1222000 | #Constraints: 207137 786.31/793.35 c #Conflicts: 1223000 | #Constraints: 208137 786.31/793.35 c #Conflicts: 1224000 | #Constraints: 209137 786.31/793.35 c #Conflicts: 1225000 | #Constraints: 210137 786.31/793.35 c #Conflicts: 1226000 | #Constraints: 211137 786.31/793.35 c #Conflicts: 1227000 | #Constraints: 212137 786.31/793.35 c #Conflicts: 1228000 | #Constraints: 213137 786.31/793.35 c #Conflicts: 1229000 | #Constraints: 214137 786.31/793.35 c #Conflicts: 1230000 | #Constraints: 215137 786.31/793.35 c #Conflicts: 1231000 | #Constraints: 216137 786.31/793.35 c #Conflicts: 1232000 | #Constraints: 217137 786.31/793.35 c #Conflicts: 1233000 | #Constraints: 218137 786.31/793.35 c #Conflicts: 1234000 | #Constraints: 219137 786.31/793.35 c #Conflicts: 1235000 | #Constraints: 220137 786.31/793.35 c #Conflicts: 1236000 | #Constraints: 221137 786.31/793.35 c #Conflicts: 1237000 | #Constraints: 222137 786.31/793.35 c #Conflicts: 1238000 | #Constraints: 223137 786.31/793.35 c #Conflicts: 1239000 | #Constraints: 224137 786.31/793.35 c #Conflicts: 1240000 | #Constraints: 225137 786.31/793.35 c #Conflicts: 1241000 | #Constraints: 226137 786.31/793.35 c #Conflicts: 1242000 | #Constraints: 227137 786.31/793.35 c #Conflicts: 1243000 | #Constraints: 228137 786.31/793.35 c #Conflicts: 1244000 | #Constraints: 229137 786.31/793.35 c #Conflicts: 1245000 | #Constraints: 230137 786.31/793.35 c #Conflicts: 1246000 | #Constraints: 231137 786.31/793.35 c #Conflicts: 1247000 | #Constraints: 232137 786.31/793.35 c #Conflicts: 1248000 | #Constraints: 233137 786.31/793.35 c #Conflicts: 1249000 | #Constraints: 234137 786.31/793.35 c #Conflicts: 1250000 | #Constraints: 235137 786.31/793.35 c #Conflicts: 1251000 | #Constraints: 236137 786.31/793.35 c #Conflicts: 1252000 | #Constraints: 237137 786.31/793.35 c #Conflicts: 1253000 | #Constraints: 238137 786.31/793.35 c #Conflicts: 1254000 | #Constraints: 239137 786.31/793.35 c #Conflicts: 1255000 | #Constraints: 240137 786.31/793.35 c #Conflicts: 1256000 | #Constraints: 241137 786.31/793.35 c #Conflicts: 1257000 | #Constraints: 242137 786.31/793.35 c #Conflicts: 1258000 | #Constraints: 243137 786.31/793.35 c #Conflicts: 1259000 | #Constraints: 244137 786.31/793.35 c #Conflicts: 1260000 | #Constraints: 245137 786.31/793.35 c #Conflicts: 1261000 | #Constraints: 246137 786.31/793.35 c #Conflicts: 1262000 | #Constraints: 247137 786.31/793.35 c #Conflicts: 1263000 | #Constraints: 248137 786.31/793.35 c #Conflicts: 1264000 | #Constraints: 249137 786.31/793.35 c #Conflicts: 1265000 | #Constraints: 250137 786.31/793.35 c #Conflicts: 1266000 | #Constraints: 251137 786.31/793.35 c #Conflicts: 1267000 | #Constraints: 252137 786.31/793.35 c INPROCESSING 786.31/793.35 c GARBAGE COLLECT 786.31/793.35 c rational objective 819.82 811.45/818.53 c #Conflicts: 1268000 | #Constraints: 185157 811.45/818.53 c #Conflicts: 1269000 | #Constraints: 186157 811.45/818.53 c #Conflicts: 1270000 | #Constraints: 187157 811.45/818.53 c #Conflicts: 1271000 | #Constraints: 188157 811.45/818.53 c #Conflicts: 1272000 | #Constraints: 189157 811.45/818.53 c #Conflicts: 1273000 | #Constraints: 190157 811.45/818.53 c #Conflicts: 1274000 | #Constraints: 191157 811.45/818.53 c #Conflicts: 1275000 | #Constraints: 192157 811.45/818.53 c #Conflicts: 1276000 | #Constraints: 193157 811.45/818.53 c #Conflicts: 1277000 | #Constraints: 194157 811.45/818.53 c #Conflicts: 1278000 | #Constraints: 195157 811.45/818.53 c #Conflicts: 1279000 | #Constraints: 196157 811.45/818.53 c #Conflicts: 1280000 | #Constraints: 197157 811.45/818.53 c #Conflicts: 1281000 | #Constraints: 198157 811.45/818.53 c #Conflicts: 1282000 | #Constraints: 199157 811.45/818.53 c #Conflicts: 1283000 | #Constraints: 200157 811.45/818.53 c #Conflicts: 1284000 | #Constraints: 201157 811.45/818.53 c #Conflicts: 1285000 | #Constraints: 202157 811.45/818.53 c #Conflicts: 1286000 | #Constraints: 203157 811.45/818.53 c #Conflicts: 1287000 | #Constraints: 204157 811.45/818.53 c #Conflicts: 1288000 | #Constraints: 205157 811.45/818.53 c #Conflicts: 1289000 | #Constraints: 206157 811.45/818.53 c #Conflicts: 1290000 | #Constraints: 207157 811.45/818.53 c #Conflicts: 1291000 | #Constraints: 208157 811.45/818.53 c #Conflicts: 1292000 | #Constraints: 209157 811.45/818.53 c #Conflicts: 1293000 | #Constraints: 210157 811.45/818.53 c #Conflicts: 1294000 | #Constraints: 211157 811.45/818.53 c #Conflicts: 1295000 | #Constraints: 212157 811.45/818.53 c #Conflicts: 1296000 | #Constraints: 213157 811.45/818.53 c #Conflicts: 1297000 | #Constraints: 214157 811.45/818.53 c #Conflicts: 1298000 | #Constraints: 215157 811.45/818.53 c #Conflicts: 1299000 | #Constraints: 216157 811.45/818.53 c #Conflicts: 1300000 | #Constraints: 217157 811.45/818.53 c #Conflicts: 1301000 | #Constraints: 218157 811.45/818.53 c #Conflicts: 1302000 | #Constraints: 219157 811.45/818.53 c #Conflicts: 1303000 | #Constraints: 220157 811.45/818.53 c #Conflicts: 1304000 | #Constraints: 221157 811.45/818.53 c #Conflicts: 1305000 | #Constraints: 222157 811.45/818.53 c #Conflicts: 1306000 | #Constraints: 223157 811.45/818.53 c #Conflicts: 1307000 | #Constraints: 224157 811.45/818.53 c #Conflicts: 1308000 | #Constraints: 225157 811.45/818.53 c #Conflicts: 1309000 | #Constraints: 226157 811.45/818.53 c #Conflicts: 1310000 | #Constraints: 227157 811.45/818.53 c #Conflicts: 1311000 | #Constraints: 228157 811.45/818.53 c cpu time 795.055 s 811.45/818.53 c deterministic time 7610978149 7.61e+09 811.45/818.53 c optimization time 8.2e-05 s 811.45/818.53 c total solve time 794.011 s 811.45/818.53 c core-guided solve time 0 s 811.45/818.53 c propagation time 590.737 s 811.45/818.53 c conflict analysis time 70.8501 s 811.45/818.53 c propagations 232684625 811.45/818.53 c resolve steps 22298630 811.45/818.53 c decisions 7147667 811.45/818.53 c conflicts 1311218 811.45/818.53 c restarts 2554 811.45/818.53 c inprocessing phases 36 811.45/818.53 c input clauses 135854 811.45/818.53 c input cardinalities 528 811.45/818.53 c input general constraints 16338 811.45/818.53 c input average constraint length 3.93 811.45/818.53 c input average constraint degree 1.13 811.45/818.53 c learned clauses 1309368 811.45/818.53 c learned cardinalities 1041 811.45/818.53 c learned general constraints 808 811.45/818.53 c learned average constraint length 107.81 811.45/818.53 c learned average constraint degree 1.02 811.45/818.53 c watched constraints 559 811.45/818.53 c counting constraints 16587 811.45/818.53 c gcd simplifications 3630 811.45/818.53 c detected cardinalities 33 811.45/818.53 c weakened non-implied lits 1050604 811.45/818.53 c weakened non-implying lits 4251 811.45/818.53 c original variables 7354 811.45/818.53 c clausal propagations 223533831 811.45/818.53 c cardinality propagations 1681724 811.45/818.53 c watched propagations 3843 811.45/818.53 c counting propagations 6145196 811.45/818.53 c watch lookups 1860223581 811.45/818.53 c watch backjump lookups 925987378 811.45/818.53 c watch checks 3607823634 811.45/818.53 c propagation checks 376121592 811.45/818.53 c constraint additions 358351540 811.45/818.53 c trail pops 241141041 811.45/818.53 c formula constraints 152720 811.45/818.53 c learned constraints 1311217 811.45/818.53 c bound constraints 0 811.45/818.53 c core-guided constraints 0 811.45/818.53 c encountered formula constraints 10393694 811.45/818.53 c encountered learned constraints 13216154 811.45/818.53 c encountered bound constraints 0 811.45/818.53 c encountered core-guided constraints 0 811.45/818.53 c LP total time 624.543 s 811.45/818.53 c LP solve time 622.95 s 811.45/818.53 c LP constraints added 154902 811.45/818.53 c LP constraints removed 1772 811.45/818.53 c LP pivots internal 1313114 811.45/818.53 c LP pivots root 183976 811.45/818.53 c LP calls 427 811.45/818.53 c LP optimalities 423 811.45/818.53 c LP no pivot count 0 811.45/818.53 c LP infeasibilities 0 811.45/818.53 c LP valid Farkas constraints 0 811.45/818.53 c LP learned Farkas constraints 0 811.45/818.53 c LP basis resets 0 811.45/818.53 c LP cycling count 0 811.45/818.57 c LP singular count 0 811.45/818.57 c LP no primal count 0 811.45/818.57 c LP no farkas count 0 811.45/818.57 c LP other issue count 0 811.45/818.57 c LP Gomory cuts 0 811.45/818.57 c LP learned cuts 2182 811.45/818.57 c LP deleted cuts 1772 811.45/818.57 c LP encountered Gomory constraints 0 811.45/818.57 c LP encountered Farkas constraints 0 811.45/818.57 c LP encountered learned Farkas constraints 0 811.45/818.57 c CG auxiliary variables introduced 0 811.45/818.57 c CG solutions found 0 811.45/818.57 c CG cores constructed 0 811.45/818.57 c CG core cardinality constraints returned 0 811.45/818.57 c CG unit cores 0 811.45/818.57 c CG single cores 0 811.45/818.57 c CG blocks removed during cardinality reduction 0 811.45/818.57 c CG first core best 0 811.45/818.57 c CG decision core best 0 811.45/818.57 c CG core reduction tie 0 811.45/818.57 c CG core degree average 0.00 811.45/818.57 c CG core slack average 0.00 811.45/818.57 s UNSATISFIABLE
ERROR: no interpretation found !
Running VeriPB version 2.2.1 s VERIFIED UNSATISFIABLE Verification succeeded.
-- veripb -- Running VeriPB version 2.2.1 s VERIFIED UNSATISFIABLE Verification succeeded. -- cakepb -- s VERIFIED UNSATISFIABLE --summary-- ALL OK
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: 64059 MiB (23973 MiB free)
memory of node 1: 64510 MiB (58929 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460654-1722068488/watcher-4460654-1722068488 -o /tmp/evaluation-result-4460654-1722068488/solver-4460654-1722068488 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359139 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460654-1722068488 --lp-cut-gomory=0 HOME/instance-4460654-1722068488.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=361288, runsolver pid=361285
[startup+0.100087 s]*
/proc/loadavg: 4.17 4.12 4.03 3/244 361301
/proc/meminfo: memFree=84888960/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=37376 memory=2692 CPUtime=0 cores=1,3
/proc/361288/stat : 361288 (roundingsat) D 361285 361288 359127 0 -1 1078198272 220 0 0 0 0 0 0 0 20 0 1 0 42838361 38273024 673 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 9344 673 616 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2692 KiB
[startup+0.212263 s]*
/proc/loadavg: 4.17 4.12 4.03 3/244 361301
/proc/meminfo: memFree=84887504/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=37376 memory=2692 CPUtime=0 cores=1,3
/proc/361288/stat : 361288 (roundingsat) D 361285 361288 359127 0 -1 1078198272 220 0 0 0 0 0 0 0 20 0 1 0 42838361 38273024 673 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 9344 673 616 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2692 KiB
[startup+0.312489 s]*
/proc/loadavg: 4.17 4.12 4.03 3/244 361301
/proc/meminfo: memFree=84886420/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=37376 memory=2692 CPUtime=0 cores=1,3
/proc/361288/stat : 361288 (roundingsat) D 361285 361288 359127 0 -1 1078198272 220 0 0 0 0 0 0 0 20 0 1 0 42838361 38273024 673 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 9344 673 616 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2692 KiB
[startup+0.700254 s]
/proc/loadavg: 4.17 4.12 4.03 3/244 361301
/proc/meminfo: memFree=84882724/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=37376 memory=2692 CPUtime=0 cores=1,3
/proc/361288/stat : 361288 (roundingsat) D 361285 361288 359127 0 -1 1078198272 220 0 0 0 0 0 0 0 20 0 1 0 42838361 38273024 673 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 9344 673 616 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2692 KiB
[startup+1.50026 s]
/proc/loadavg: 4.17 4.12 4.03 3/244 361301
/proc/meminfo: memFree=84870392/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=37376 memory=2692 CPUtime=0 cores=1,3
/proc/361288/stat : 361288 (roundingsat) D 361285 361288 359127 0 -1 1078198272 220 0 0 0 0 0 0 0 20 0 1 0 42838361 38273024 673 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 9344 673 616 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2692 KiB
[startup+3.1125 s]
/proc/loadavg: 4.16 4.12 4.03 3/244 361301
/proc/meminfo: memFree=84828792/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=37376 memory=2692 CPUtime=0 cores=1,3
/proc/361288/stat : 361288 (roundingsat) D 361285 361288 359127 0 -1 1077936128 220 0 0 0 0 0 0 0 20 0 1 0 42838361 38273024 673 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 9344 673 616 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2692 KiB
heavy processes:
[startup+6.30032 s]
/proc/loadavg: 4.16 4.12 4.03 4/244 361303
/proc/meminfo: memFree=84736500/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=130028 memory=101032 CPUtime=1.52 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 26053 0 0 0 118 34 0 0 20 0 1 0 42838361 133148672 25258 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 32507 25258 1683 992 0 24365 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 130028 KiB
Current children cumulated memory: 101032 KiB
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 4.15 4.12 4.03 5/245 361304
/proc/meminfo: memFree=84512864/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=159928 memory=117060 CPUtime=7.91 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 29682 0 0 0 737 54 0 0 20 0 1 0 42838361 163766272 29265 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 39982 29265 1843 992 0 31840 0
Current children cumulated CPU time: 7.91 s
Current children cumulated vsize: 159928 KiB
Current children cumulated memory: 117060 KiB
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 4.11 4.11 4.03 5/250 361326
/proc/meminfo: memFree=83706028/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=169496 memory=129008 CPUtime=20.67 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 32199 0 0 0 1988 79 0 0 20 0 1 0 42838361 173563904 32252 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 42374 32252 1843 992 0 34232 0
Current children cumulated CPU time: 20.67 s
Current children cumulated vsize: 169496 KiB
Current children cumulated memory: 129008 KiB
[startup+51.113 s]
/proc/loadavg: 4.07 4.10 4.03 5/249 361331
/proc/meminfo: memFree=82076324/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=169496 memory=129148 CPUtime=46.22 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 32268 0 0 0 4463 159 0 0 20 0 1 0 42838361 173563904 32287 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 42374 32287 1843 992 0 34232 0
Current children cumulated CPU time: 46.22 s
Current children cumulated vsize: 169496 KiB
Current children cumulated memory: 129148 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.03 5/270 361361
/proc/meminfo: memFree=78334256/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=188384 memory=146688 CPUtime=97.29 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 35758 0 0 0 9424 305 0 0 20 0 1 0 42838361 192905216 36672 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 47096 36672 1843 992 0 38954 0
Current children cumulated CPU time: 97.29 s
Current children cumulated vsize: 188384 KiB
Current children cumulated memory: 146688 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/270 361371
/proc/meminfo: memFree=74217384/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=202448 memory=152676 CPUtime=157.14 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 36284 0 0 0 15273 441 0 0 20 0 1 0 42838361 207306752 38169 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 50612 38169 1843 992 0 42470 0
Current children cumulated CPU time: 157.14 s
Current children cumulated vsize: 202448 KiB
Current children cumulated memory: 152676 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/270 361382
/proc/meminfo: memFree=71015400/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=204848 memory=161352 CPUtime=216.95 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 36913 0 0 0 21134 561 0 0 20 0 1 0 42838361 209764352 40338 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 51212 40338 1843 992 0 43070 0
Current children cumulated CPU time: 216.95 s
Current children cumulated vsize: 204848 KiB
Current children cumulated memory: 161352 KiB
[startup+282.3 s]
/proc/loadavg: 4.67 4.23 4.08 5/267 361774
/proc/meminfo: memFree=68245728/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=209640 memory=163680 CPUtime=276.75 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 37544 0 0 0 26953 722 0 0 20 0 1 0 42838361 214671360 40920 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 52410 40920 1843 992 0 44268 0
Current children cumulated CPU time: 276.75 s
Current children cumulated vsize: 209640 KiB
Current children cumulated memory: 163680 KiB
[startup+342.3 s]
/proc/loadavg: 4.40 4.23 4.09 5/267 361784
/proc/meminfo: memFree=65390084/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=228608 memory=172176 CPUtime=336.57 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 38680 0 0 0 32821 836 0 0 20 0 1 0 42838361 234094592 43044 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 57152 43044 1843 992 0 49010 0
Current children cumulated CPU time: 336.57 s
Current children cumulated vsize: 228608 KiB
Current children cumulated memory: 172176 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 4.22 4.09 5/259 361794
/proc/meminfo: memFree=63396168/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=233396 memory=176692 CPUtime=396.37 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 39317 0 0 0 38675 962 0 0 20 0 1 0 42838361 238997504 44173 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 58349 44173 1843 992 0 50207 0
Current children cumulated CPU time: 396.37 s
Current children cumulated vsize: 233396 KiB
Current children cumulated memory: 176692 KiB
[startup+462.301 s]
/proc/loadavg: 4.34 4.25 4.11 5/259 361973
/proc/meminfo: memFree=60696992/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=233396 memory=183360 CPUtime=456.18 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 39446 0 0 0 44553 1065 0 0 20 0 1 0 42838361 238997504 45840 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 58349 45840 1843 992 0 50207 0
Current children cumulated CPU time: 456.18 s
Current children cumulated vsize: 233396 KiB
Current children cumulated memory: 183360 KiB
[startup+522.3 s]
/proc/loadavg: 4.17 4.22 4.10 5/259 361983
/proc/meminfo: memFree=59330824/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=233396 memory=189232 CPUtime=516 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 39519 0 0 0 50423 1177 0 0 20 0 1 0 42838361 238997504 47308 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 58349 47308 1843 992 0 50207 0
Current children cumulated CPU time: 516 s
Current children cumulated vsize: 233396 KiB
Current children cumulated memory: 189232 KiB
[startup+582.3 s]
/proc/loadavg: 4.18 4.21 4.10 5/262 362052
/proc/meminfo: memFree=55914224/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=233752 memory=196368 CPUtime=575.85 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 39679 0 0 0 56312 1273 0 0 20 0 1 0 42838361 239362048 49092 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 58438 49092 1843 992 0 50296 0
Current children cumulated CPU time: 575.85 s
Current children cumulated vsize: 233752 KiB
Current children cumulated memory: 196368 KiB
[startup+642.3 s]
/proc/loadavg: 4.13 4.18 4.10 5/265 362067
/proc/meminfo: memFree=55133824/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=233752 memory=202516 CPUtime=635.68 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 39779 0 0 0 62209 1359 0 0 20 0 1 0 42838361 239362048 50629 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 58438 50629 1843 992 0 50296 0
Current children cumulated CPU time: 635.68 s
Current children cumulated vsize: 233752 KiB
Current children cumulated memory: 202516 KiB
[startup+702.3 s]
/proc/loadavg: 4.49 4.26 4.13 5/258 362077
/proc/meminfo: memFree=53692480/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=264572 memory=213056 CPUtime=695.54 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 40429 0 0 0 68098 1456 0 0 20 0 1 0 42838361 270921728 53264 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 66143 53264 1843 992 0 58001 0
Current children cumulated CPU time: 695.54 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 213056 KiB
[startup+762.3 s]
/proc/loadavg: 4.57 4.35 4.17 5/257 362088
/proc/meminfo: memFree=51634304/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=264572 memory=215136 CPUtime=755.39 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 40511 0 0 0 73980 1559 0 0 20 0 1 0 42838361 270921728 53784 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 66143 53784 1843 992 0 58001 0
Current children cumulated CPU time: 755.39 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 215136 KiB
[startup+818.572 s]
# the end of solver process 361288 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=795.06 s, system=16.4425 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.48 4.33 4.16 5/257 362090
/proc/meminfo: memFree=51398620/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=264572 memory=215136 CPUtime=761.09 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 40511 0 0 0 74540 1569 0 0 20 0 1 0 42838361 270921728 53784 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 66143 53784 1843 992 0 58001 0
Current children cumulated CPU time: 761.09 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 215136 KiB
[startup+793.6 s]
/proc/loadavg: 4.40 4.32 4.17 5/258 362094
/proc/meminfo: memFree=50565844/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=264572 memory=215136 CPUtime=786.62 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 40516 0 0 0 77060 1602 0 0 20 0 1 0 42838361 270921728 53784 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 66143 53784 1843 992 0 58001 0
Current children cumulated CPU time: 786.62 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 215136 KiB
[startup+806.4 s]
/proc/loadavg: 4.34 4.31 4.16 5/259 362099
/proc/meminfo: memFree=50059396/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=264572 memory=215144 CPUtime=799.38 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 40579 0 0 0 78315 1623 0 0 20 0 1 0 42838361 270921728 53786 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 66143 53786 1843 992 0 58001 0
Current children cumulated CPU time: 799.38 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 215144 KiB
[startup+812.8 s]
/proc/loadavg: 4.31 4.31 4.16 5/259 362099
/proc/meminfo: memFree=49856752/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=264572 memory=215144 CPUtime=805.76 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 40579 0 0 0 78941 1635 0 0 20 0 1 0 42838361 270921728 53786 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 66143 53786 1843 992 0 58001 0
Current children cumulated CPU time: 805.76 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 215144 KiB
[startup+816 s]*
/proc/loadavg: 4.28 4.30 4.16 5/259 362100
/proc/meminfo: memFree=49707048/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=264572 memory=215144 CPUtime=808.97 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 40579 0 0 0 79257 1640 0 0 20 0 1 0 42838361 270921728 53786 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 66143 53786 1843 992 0 58001 0
Current children cumulated CPU time: 808.97 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 215144 KiB
[startup+817.6 s]
/proc/loadavg: 4.28 4.30 4.16 5/259 362100
/proc/meminfo: memFree=49680696/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=264572 memory=215144 CPUtime=810.56 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 40579 0 0 0 79413 1643 0 0 20 0 1 0 42838361 270921728 53786 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 66143 53786 1843 992 0 58001 0
Current children cumulated CPU time: 810.56 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 215144 KiB
[startup+818 s]*
/proc/loadavg: 4.26 4.30 4.16 5/259 362100
/proc/meminfo: memFree=49656256/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=264572 memory=215144 CPUtime=810.96 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 40579 0 0 0 79453 1643 0 0 20 0 1 0 42838361 270921728 53786 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 66143 53786 1843 992 0 58001 0
Current children cumulated CPU time: 810.96 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 215144 KiB
[startup+818.4 s]
/proc/loadavg: 4.26 4.30 4.16 5/259 362100
/proc/meminfo: memFree=49656256/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=264572 memory=215144 CPUtime=811.35 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 40579 0 0 0 79492 1643 0 0 20 0 1 0 42838361 270921728 53786 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 66143 53786 1843 992 0 58001 0
Current children cumulated CPU time: 811.35 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 215144 KiB
[startup+818.5 s]
/proc/loadavg: 4.26 4.30 4.16 5/259 362100
/proc/meminfo: memFree=49656256/131655788 swapFree=131058856/131071996
[pid=361288] ppid=361285 vsize=264572 memory=215144 CPUtime=811.45 cores=1,3
/proc/361288/stat : 361288 (roundingsat) R 361285 361288 359127 0 -1 4194304 40579 0 0 0 79502 1643 0 0 20 0 1 0 42838361 270921728 53786 134679101440 4194304 8254357 140730655899584 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13721600 140730655908699 140730655908961 140730655908961 140730655915977 0
/proc/361288/statm: 66143 53786 1843 992 0 58001 0
Current children cumulated CPU time: 811.45 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 215144 KiB
Child status: 0
Real time (s): 818.573
CPU time (s): 811.502
CPU user time (s): 795.06
CPU system time (s): 16.4425
CPU usage (%): 99.1363
Max. virtual memory (cumulated for all children) (KiB): 264572
Max. memory (cumulated for all children) (KiB): 215144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 795.06
system time used= 16.4425
maximum resident set size= 215144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 714104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 910
# summary of solver processes directly reported to runsolver:
# pid: 361288
# total CPU time (s): 811.502
# total CPU user time (s): 795.06
# total CPU system time (s): 16.4425
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.05811 second user time and 8.72375 second system time
The end
Begin job on nodeC010 at 2024-07-27 10:21:28 IDJOB=4460654 IDBENCH=155502 IDSOLVER=3086 FILE ID=nodeC010/4460654-1722068488 RUNJOBID= nodeC010-1722064838-359139 SLURM_JOB_ID= 8248112 Free space on /tmp= 723752 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-86.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460654-1722068488/watcher-4460654-1722068488 -o /tmp/evaluation-result-4460654-1722068488/solver-4460654-1722068488 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359139 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460654-1722068488 --lp-cut-gomory=0 HOME/instance-4460654-1722068488.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3b78757f10307782e0b04e5cada0d1b0 RANDOM SEED=1135578224 nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3668.584 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.191 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.373 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.200 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3669.048 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.195 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.438 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.199 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 84893584 kB MemAvailable: 129642680 kB Buffers: 364540 kB Cached: 44710604 kB SwapCached: 192 kB Active: 2311028 kB Inactive: 43213116 kB Active(anon): 2016 kB Inactive(anon): 500636 kB Active(file): 2309012 kB Inactive(file): 42712480 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 527672 kB Writeback: 312 kB AnonPages: 448792 kB Mapped: 108536 kB Shmem: 53520 kB KReclaimable: 789348 kB Slab: 927048 kB SReclaimable: 789348 kB SUnreclaim: 137700 kB KernelStack: 3900 kB PageTables: 10144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 697436 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14784 kB HardwareCorrupted: 0 kB AnonHugePages: 198656 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: 412488 kB DirectMap2M: 54018048 kB DirectMap1G: 81788928 kB Free space on /tmp at the end= 723708 MiB End job on nodeC010 at 2024-07-27 10:35:07