| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | UNSAT cert. | 810.446 | 821.549 |
| 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.15/10.09 c #variables 7354 #constraints 152720 7.13/16.03 c #Conflicts: 1000 | #Constraints: 153719 7.13/16.03 c #Conflicts: 2000 | #Constraints: 154719 7.13/16.03 c INPROCESSING 7.13/16.03 c #Conflicts: 3000 | #Constraints: 146470 7.13/16.03 c #Conflicts: 4000 | #Constraints: 147470 7.13/16.03 c #Conflicts: 5000 | #Constraints: 148470 7.13/16.03 c #Conflicts: 6000 | #Constraints: 149470 7.13/16.03 c INPROCESSING 7.13/16.03 c rational objective 573.273 10.81/19.79 c #Conflicts: 7000 | #Constraints: 147953 10.81/19.79 c #Conflicts: 8000 | #Constraints: 148953 10.81/19.79 c #Conflicts: 9000 | #Constraints: 149953 10.81/19.79 c INPROCESSING 10.81/19.79 c rational objective 575.807 15.58/24.56 c #Conflicts: 10000 | #Constraints: 148118 15.58/24.56 c #Conflicts: 11000 | #Constraints: 149118 15.58/24.56 c #Conflicts: 12000 | #Constraints: 150118 15.58/24.56 c #Conflicts: 13000 | #Constraints: 151118 15.58/24.56 c #Conflicts: 14000 | #Constraints: 152118 15.58/24.56 c #Conflicts: 15000 | #Constraints: 153118 15.58/24.56 c #Conflicts: 16000 | #Constraints: 154118 15.58/24.56 c INPROCESSING 15.58/24.56 c GARBAGE COLLECT 15.58/24.56 c rational objective 576.559 17.77/26.74 c #Conflicts: 17000 | #Constraints: 150183 17.77/26.74 c #Conflicts: 18000 | #Constraints: 151183 17.77/26.74 c #Conflicts: 19000 | #Constraints: 152183 17.77/26.74 c #Conflicts: 20000 | #Constraints: 153183 17.77/26.74 c #Conflicts: 21000 | #Constraints: 154183 17.77/26.74 c INPROCESSING 17.77/26.74 c rational objective 578.878 24.07/33.06 c #Conflicts: 22000 | #Constraints: 150303 24.07/33.06 c #Conflicts: 23000 | #Constraints: 151303 24.07/33.06 c #Conflicts: 24000 | #Constraints: 152303 24.07/33.06 c #Conflicts: 25000 | #Constraints: 153303 24.07/33.06 c #Conflicts: 26000 | #Constraints: 154303 24.07/33.06 c #Conflicts: 27000 | #Constraints: 155303 24.07/33.06 c #Conflicts: 28000 | #Constraints: 156303 24.07/33.06 c #Conflicts: 29000 | #Constraints: 157303 24.07/33.06 c #Conflicts: 30000 | #Constraints: 158303 24.07/33.06 c #Conflicts: 31000 | #Constraints: 159303 24.07/33.06 c INPROCESSING 24.07/33.06 c GARBAGE COLLECT 24.07/33.06 c rational objective 584.164 31.63/40.65 c #Conflicts: 32000 | #Constraints: 152796 31.63/40.65 c #Conflicts: 33000 | #Constraints: 153796 31.63/40.65 c #Conflicts: 34000 | #Constraints: 154796 31.63/40.65 c #Conflicts: 35000 | #Constraints: 155796 31.63/40.65 c #Conflicts: 36000 | #Constraints: 156796 31.63/40.65 c #Conflicts: 37000 | #Constraints: 157796 31.63/40.65 c #Conflicts: 38000 | #Constraints: 158796 31.63/40.65 c #Conflicts: 39000 | #Constraints: 159796 31.63/40.65 c #Conflicts: 40000 | #Constraints: 160796 31.63/40.65 c #Conflicts: 41000 | #Constraints: 161796 31.63/40.65 c #Conflicts: 42000 | #Constraints: 162796 31.63/40.65 c #Conflicts: 43000 | #Constraints: 163796 31.63/40.65 c INPROCESSING 31.63/40.65 c GARBAGE COLLECT 31.63/40.65 c rational objective 593.531 53.77/62.87 c #Conflicts: 44000 | #Constraints: 154821 53.77/62.87 c #Conflicts: 45000 | #Constraints: 155821 53.77/62.87 c #Conflicts: 46000 | #Constraints: 156821 53.77/62.87 c #Conflicts: 47000 | #Constraints: 157821 53.77/62.87 c #Conflicts: 48000 | #Constraints: 158821 53.77/62.87 c #Conflicts: 49000 | #Constraints: 159821 53.77/62.87 c #Conflicts: 50000 | #Constraints: 160821 53.77/62.87 c #Conflicts: 51000 | #Constraints: 161821 53.77/62.87 c #Conflicts: 52000 | #Constraints: 162821 53.77/62.87 c #Conflicts: 53000 | #Constraints: 163821 53.77/62.87 c #Conflicts: 54000 | #Constraints: 164821 53.77/62.87 c #Conflicts: 55000 | #Constraints: 165821 53.77/62.87 c #Conflicts: 56000 | #Constraints: 166821 53.77/62.87 c #Conflicts: 57000 | #Constraints: 167821 53.77/62.87 c INPROCESSING 53.77/62.87 c GARBAGE COLLECT 53.77/62.87 c #Conflicts: 58000 | #Constraints: 155076 53.77/62.87 c #Conflicts: 59000 | #Constraints: 156076 53.77/62.87 c #Conflicts: 60000 | #Constraints: 157076 53.77/62.87 c #Conflicts: 61000 | #Constraints: 158076 53.77/62.87 c #Conflicts: 62000 | #Constraints: 159076 53.77/62.87 c #Conflicts: 63000 | #Constraints: 160076 53.77/62.87 c #Conflicts: 64000 | #Constraints: 161076 53.77/62.87 c #Conflicts: 65000 | #Constraints: 162076 53.77/62.87 c #Conflicts: 66000 | #Constraints: 163076 53.77/62.87 c #Conflicts: 67000 | #Constraints: 164076 53.77/62.87 c #Conflicts: 68000 | #Constraints: 165076 53.77/62.87 c #Conflicts: 69000 | #Constraints: 166076 53.77/62.87 c #Conflicts: 70000 | #Constraints: 167076 53.77/62.87 c #Conflicts: 71000 | #Constraints: 168076 53.77/62.87 c #Conflicts: 72000 | #Constraints: 169076 53.77/62.87 c #Conflicts: 73000 | #Constraints: 170076 53.77/62.87 c INPROCESSING 53.77/62.87 c GARBAGE COLLECT 53.77/62.87 c rational objective 640.752 60.96/70.03 c #Conflicts: 74000 | #Constraints: 156189 60.96/70.03 c #Conflicts: 75000 | #Constraints: 157189 60.96/70.03 c #Conflicts: 76000 | #Constraints: 158189 60.96/70.03 c #Conflicts: 77000 | #Constraints: 159189 60.96/70.03 c #Conflicts: 78000 | #Constraints: 160189 60.96/70.03 c #Conflicts: 79000 | #Constraints: 161189 60.96/70.03 c #Conflicts: 80000 | #Constraints: 162189 60.96/70.03 c #Conflicts: 81000 | #Constraints: 163189 60.96/70.03 c #Conflicts: 82000 | #Constraints: 164189 60.96/70.03 c #Conflicts: 83000 | #Constraints: 165189 60.96/70.03 c #Conflicts: 84000 | #Constraints: 166189 60.96/70.03 c #Conflicts: 85000 | #Constraints: 167189 60.96/70.03 c #Conflicts: 86000 | #Constraints: 168189 60.96/70.03 c #Conflicts: 87000 | #Constraints: 169189 60.96/70.03 c #Conflicts: 88000 | #Constraints: 170189 60.96/70.03 c #Conflicts: 89000 | #Constraints: 171189 60.96/70.03 c #Conflicts: 90000 | #Constraints: 172189 60.96/70.03 c #Conflicts: 91000 | #Constraints: 173189 60.96/70.03 c #Conflicts: 92000 | #Constraints: 174189 60.96/70.03 c INPROCESSING 60.96/70.03 c GARBAGE COLLECT 60.96/70.03 c rational objective 650.138 71.31/80.44 c #Conflicts: 93000 | #Constraints: 158143 71.31/80.44 c #Conflicts: 94000 | #Constraints: 159143 71.31/80.44 c #Conflicts: 95000 | #Constraints: 160143 71.31/80.44 c #Conflicts: 96000 | #Constraints: 161143 71.31/80.44 c #Conflicts: 97000 | #Constraints: 162143 71.31/80.44 c #Conflicts: 98000 | #Constraints: 163143 71.31/80.44 c #Conflicts: 99000 | #Constraints: 164143 71.31/80.44 c #Conflicts: 100000 | #Constraints: 165143 71.31/80.44 c #Conflicts: 101000 | #Constraints: 166143 71.31/80.44 c #Conflicts: 102000 | #Constraints: 167143 71.31/80.44 c #Conflicts: 103000 | #Constraints: 168143 71.31/80.44 c #Conflicts: 104000 | #Constraints: 169143 71.31/80.44 c #Conflicts: 105000 | #Constraints: 170143 71.31/80.44 c #Conflicts: 106000 | #Constraints: 171143 71.31/80.44 c #Conflicts: 107000 | #Constraints: 172143 71.31/80.44 c #Conflicts: 108000 | #Constraints: 173143 71.31/80.44 c #Conflicts: 109000 | #Constraints: 174143 71.31/80.44 c #Conflicts: 110000 | #Constraints: 175143 71.31/80.44 c #Conflicts: 111000 | #Constraints: 176143 71.31/80.44 c #Conflicts: 112000 | #Constraints: 177143 71.31/80.44 c INPROCESSING 71.31/80.44 c GARBAGE COLLECT 71.31/80.44 c rational objective 653.67 84.77/93.91 c #Conflicts: 113000 | #Constraints: 156491 84.77/93.91 c #Conflicts: 114000 | #Constraints: 157491 84.77/93.91 c #Conflicts: 115000 | #Constraints: 158491 84.77/93.91 c #Conflicts: 116000 | #Constraints: 159491 84.77/93.91 c #Conflicts: 117000 | #Constraints: 160491 84.77/93.91 c #Conflicts: 118000 | #Constraints: 161491 84.77/93.91 c #Conflicts: 119000 | #Constraints: 162491 84.77/93.91 c #Conflicts: 120000 | #Constraints: 163491 84.77/93.91 c #Conflicts: 121000 | #Constraints: 164491 84.77/93.91 c #Conflicts: 122000 | #Constraints: 165491 84.77/93.91 c #Conflicts: 123000 | #Constraints: 166491 84.77/93.91 c #Conflicts: 124000 | #Constraints: 167491 84.77/93.91 c #Conflicts: 125000 | #Constraints: 168491 84.77/93.91 c #Conflicts: 126000 | #Constraints: 169491 84.77/93.91 c #Conflicts: 127000 | #Constraints: 170491 84.77/93.91 c #Conflicts: 128000 | #Constraints: 171491 84.77/93.91 c #Conflicts: 129000 | #Constraints: 172491 84.77/93.91 c #Conflicts: 130000 | #Constraints: 173491 84.77/93.91 c #Conflicts: 131000 | #Constraints: 174491 84.77/93.91 c #Conflicts: 132000 | #Constraints: 175491 84.77/93.91 c #Conflicts: 133000 | #Constraints: 176491 84.77/93.91 c #Conflicts: 134000 | #Constraints: 177491 84.77/93.91 c INPROCESSING 84.77/93.91 c GARBAGE COLLECT 84.77/93.91 c rational objective 658.057 100.42/109.61 c #Conflicts: 135000 | #Constraints: 158049 100.42/109.61 c #Conflicts: 136000 | #Constraints: 159049 100.42/109.61 c #Conflicts: 137000 | #Constraints: 160049 100.42/109.61 c #Conflicts: 138000 | #Constraints: 161049 100.42/109.61 c #Conflicts: 139000 | #Constraints: 162049 100.42/109.61 c #Conflicts: 140000 | #Constraints: 163049 100.42/109.61 c #Conflicts: 141000 | #Constraints: 164049 100.42/109.61 c #Conflicts: 142000 | #Constraints: 165049 100.42/109.61 c #Conflicts: 143000 | #Constraints: 166049 100.42/109.61 c #Conflicts: 144000 | #Constraints: 167049 100.42/109.61 c #Conflicts: 145000 | #Constraints: 168049 100.42/109.61 c #Conflicts: 146000 | #Constraints: 169049 100.42/109.61 c #Conflicts: 147000 | #Constraints: 170049 100.42/109.61 c #Conflicts: 148000 | #Constraints: 171049 100.42/109.61 c #Conflicts: 149000 | #Constraints: 172049 100.42/109.61 c #Conflicts: 150000 | #Constraints: 173049 100.42/109.61 c #Conflicts: 151000 | #Constraints: 174049 100.42/109.61 c #Conflicts: 152000 | #Constraints: 175049 100.42/109.61 c #Conflicts: 153000 | #Constraints: 176049 100.42/109.61 c #Conflicts: 154000 | #Constraints: 177049 100.42/109.61 c #Conflicts: 155000 | #Constraints: 178049 100.42/109.61 c #Conflicts: 156000 | #Constraints: 179049 100.42/109.61 c #Conflicts: 157000 | #Constraints: 180049 100.42/109.61 c #Conflicts: 158000 | #Constraints: 181049 100.42/109.61 c INPROCESSING 100.42/109.61 c GARBAGE COLLECT 100.42/109.61 c rational objective 660.101 116.18/125.46 c #Conflicts: 159000 | #Constraints: 159972 116.18/125.46 c #Conflicts: 160000 | #Constraints: 160972 116.18/125.46 c #Conflicts: 161000 | #Constraints: 161972 116.18/125.46 c #Conflicts: 162000 | #Constraints: 162972 116.18/125.46 c #Conflicts: 163000 | #Constraints: 163972 116.18/125.46 c #Conflicts: 164000 | #Constraints: 164972 116.18/125.46 c #Conflicts: 165000 | #Constraints: 165972 116.18/125.46 c #Conflicts: 166000 | #Constraints: 166972 116.18/125.46 c #Conflicts: 167000 | #Constraints: 167972 116.18/125.46 c #Conflicts: 168000 | #Constraints: 168972 116.18/125.46 c #Conflicts: 169000 | #Constraints: 169972 116.18/125.46 c #Conflicts: 170000 | #Constraints: 170972 116.18/125.46 c #Conflicts: 171000 | #Constraints: 171972 116.18/125.46 c #Conflicts: 172000 | #Constraints: 172972 116.18/125.46 c #Conflicts: 173000 | #Constraints: 173972 116.18/125.46 c #Conflicts: 174000 | #Constraints: 174972 116.18/125.46 c #Conflicts: 175000 | #Constraints: 175972 116.18/125.46 c #Conflicts: 176000 | #Constraints: 176972 116.18/125.46 c #Conflicts: 177000 | #Constraints: 177972 116.18/125.46 c #Conflicts: 178000 | #Constraints: 178972 116.18/125.46 c #Conflicts: 179000 | #Constraints: 179972 116.18/125.46 c #Conflicts: 180000 | #Constraints: 180972 116.18/125.46 c #Conflicts: 181000 | #Constraints: 181972 116.18/125.46 c #Conflicts: 182000 | #Constraints: 182972 116.18/125.46 c #Conflicts: 183000 | #Constraints: 183972 116.18/125.46 c #Conflicts: 184000 | #Constraints: 184972 116.18/125.46 c INPROCESSING 116.18/125.46 c GARBAGE COLLECT 116.18/125.46 c rational objective 671.176 132.62/141.91 c #Conflicts: 185000 | #Constraints: 161579 132.62/141.91 c #Conflicts: 186000 | #Constraints: 162579 132.62/141.91 c #Conflicts: 187000 | #Constraints: 163579 132.62/141.91 c #Conflicts: 188000 | #Constraints: 164579 132.62/141.91 c #Conflicts: 189000 | #Constraints: 165579 132.62/141.91 c #Conflicts: 190000 | #Constraints: 166579 132.62/141.91 c #Conflicts: 191000 | #Constraints: 167579 132.62/141.91 c #Conflicts: 192000 | #Constraints: 168579 132.62/141.91 c #Conflicts: 193000 | #Constraints: 169579 132.62/141.91 c #Conflicts: 194000 | #Constraints: 170579 132.62/141.91 c #Conflicts: 195000 | #Constraints: 171579 132.62/141.91 c #Conflicts: 196000 | #Constraints: 172579 132.62/141.91 c #Conflicts: 197000 | #Constraints: 173579 132.62/141.91 c #Conflicts: 198000 | #Constraints: 174579 132.62/141.91 c #Conflicts: 199000 | #Constraints: 175579 132.62/141.91 c #Conflicts: 200000 | #Constraints: 176579 132.62/141.91 c #Conflicts: 201000 | #Constraints: 177579 132.62/141.91 c #Conflicts: 202000 | #Constraints: 178579 132.62/141.91 c #Conflicts: 203000 | #Constraints: 179579 132.62/141.91 c #Conflicts: 204000 | #Constraints: 180579 132.62/141.91 c #Conflicts: 205000 | #Constraints: 181579 132.62/141.91 c #Conflicts: 206000 | #Constraints: 182579 132.62/141.91 c #Conflicts: 207000 | #Constraints: 183579 132.62/141.91 c #Conflicts: 208000 | #Constraints: 184579 132.62/141.91 c #Conflicts: 209000 | #Constraints: 185579 132.62/141.91 c #Conflicts: 210000 | #Constraints: 186579 132.62/141.91 c #Conflicts: 211000 | #Constraints: 187579 132.62/141.91 c #Conflicts: 212000 | #Constraints: 188579 132.62/141.91 c #Conflicts: 213000 | #Constraints: 189579 132.62/141.91 c INPROCESSING 132.62/141.91 c GARBAGE COLLECT 132.62/141.91 c rational objective 673.422 148.69/158.05 c #Conflicts: 214000 | #Constraints: 163000 148.69/158.05 c #Conflicts: 215000 | #Constraints: 164000 148.69/158.05 c #Conflicts: 216000 | #Constraints: 165000 148.69/158.05 c #Conflicts: 217000 | #Constraints: 166000 148.69/158.05 c #Conflicts: 218000 | #Constraints: 167000 148.69/158.05 c #Conflicts: 219000 | #Constraints: 168000 148.69/158.05 c #Conflicts: 220000 | #Constraints: 169000 148.69/158.05 c #Conflicts: 221000 | #Constraints: 170000 148.69/158.05 c #Conflicts: 222000 | #Constraints: 171000 148.69/158.05 c #Conflicts: 223000 | #Constraints: 172000 148.69/158.05 c #Conflicts: 224000 | #Constraints: 173000 148.69/158.05 c #Conflicts: 225000 | #Constraints: 174000 148.69/158.05 c #Conflicts: 226000 | #Constraints: 175000 148.69/158.05 c #Conflicts: 227000 | #Constraints: 176000 148.69/158.05 c #Conflicts: 228000 | #Constraints: 177000 148.69/158.05 c #Conflicts: 229000 | #Constraints: 178000 148.69/158.05 c #Conflicts: 230000 | #Constraints: 179000 148.69/158.05 c #Conflicts: 231000 | #Constraints: 180000 148.69/158.05 c #Conflicts: 232000 | #Constraints: 181000 148.69/158.05 c #Conflicts: 233000 | #Constraints: 182000 148.69/158.05 c #Conflicts: 234000 | #Constraints: 183000 148.69/158.05 c #Conflicts: 235000 | #Constraints: 184000 148.69/158.05 c #Conflicts: 236000 | #Constraints: 185000 148.69/158.05 c #Conflicts: 237000 | #Constraints: 186000 148.69/158.05 c #Conflicts: 238000 | #Constraints: 187000 148.69/158.05 c #Conflicts: 239000 | #Constraints: 188000 148.69/158.05 c #Conflicts: 240000 | #Constraints: 189000 148.69/158.05 c #Conflicts: 241000 | #Constraints: 190000 148.69/158.05 c #Conflicts: 242000 | #Constraints: 191000 148.69/158.05 c #Conflicts: 243000 | #Constraints: 192000 148.69/158.05 c INPROCESSING 148.69/158.05 c GARBAGE COLLECT 148.69/158.05 c rational objective 711.661 168.91/178.30 c #Conflicts: 244000 | #Constraints: 164270 168.91/178.30 c #Conflicts: 245000 | #Constraints: 165270 168.91/178.30 c #Conflicts: 246000 | #Constraints: 166270 168.91/178.30 c #Conflicts: 247000 | #Constraints: 167270 168.91/178.30 c #Conflicts: 248000 | #Constraints: 168270 168.91/178.30 c #Conflicts: 249000 | #Constraints: 169270 168.91/178.30 c #Conflicts: 250000 | #Constraints: 170270 168.91/178.30 c #Conflicts: 251000 | #Constraints: 171270 168.91/178.30 c #Conflicts: 252000 | #Constraints: 172270 168.91/178.30 c #Conflicts: 253000 | #Constraints: 173270 168.91/178.30 c #Conflicts: 254000 | #Constraints: 174270 168.91/178.30 c #Conflicts: 255000 | #Constraints: 175270 168.91/178.30 c #Conflicts: 256000 | #Constraints: 176270 168.91/178.30 c #Conflicts: 257000 | #Constraints: 177270 168.91/178.30 c #Conflicts: 258000 | #Constraints: 178270 168.91/178.30 c #Conflicts: 259000 | #Constraints: 179270 168.91/178.30 c #Conflicts: 260000 | #Constraints: 180270 168.91/178.30 c #Conflicts: 261000 | #Constraints: 181270 168.91/178.30 c #Conflicts: 262000 | #Constraints: 182270 168.91/178.30 c #Conflicts: 263000 | #Constraints: 183270 168.91/178.30 c #Conflicts: 264000 | #Constraints: 184270 168.91/178.30 c #Conflicts: 265000 | #Constraints: 185270 168.91/178.30 c #Conflicts: 266000 | #Constraints: 186270 168.91/178.30 c #Conflicts: 267000 | #Constraints: 187270 168.91/178.30 c #Conflicts: 268000 | #Constraints: 188270 168.91/178.30 c #Conflicts: 269000 | #Constraints: 189270 168.91/178.30 c #Conflicts: 270000 | #Constraints: 190270 168.91/178.30 c #Conflicts: 271000 | #Constraints: 191270 168.91/178.30 c #Conflicts: 272000 | #Constraints: 192270 168.91/178.30 c #Conflicts: 273000 | #Constraints: 193270 168.91/178.30 c #Conflicts: 274000 | #Constraints: 194270 168.91/178.30 c #Conflicts: 275000 | #Constraints: 195270 168.91/178.30 c INPROCESSING 168.91/178.30 c GARBAGE COLLECT 168.91/178.30 c rational objective 740.843 195.93/205.42 c #Conflicts: 276000 | #Constraints: 163656 195.93/205.42 c #Conflicts: 277000 | #Constraints: 164656 195.93/205.42 c #Conflicts: 278000 | #Constraints: 165656 195.93/205.42 c #Conflicts: 279000 | #Constraints: 166656 195.93/205.42 c #Conflicts: 280000 | #Constraints: 167656 195.93/205.42 c #Conflicts: 281000 | #Constraints: 168656 195.93/205.42 c #Conflicts: 282000 | #Constraints: 169656 195.93/205.42 c #Conflicts: 283000 | #Constraints: 170656 195.93/205.42 c #Conflicts: 284000 | #Constraints: 171656 195.93/205.42 c #Conflicts: 285000 | #Constraints: 172656 195.93/205.42 c #Conflicts: 286000 | #Constraints: 173656 195.93/205.42 c #Conflicts: 287000 | #Constraints: 174656 195.93/205.42 c #Conflicts: 288000 | #Constraints: 175656 195.93/205.42 c #Conflicts: 289000 | #Constraints: 176656 195.93/205.42 c #Conflicts: 290000 | #Constraints: 177656 195.93/205.42 c #Conflicts: 291000 | #Constraints: 178656 195.93/205.42 c #Conflicts: 292000 | #Constraints: 179656 195.93/205.42 c #Conflicts: 293000 | #Constraints: 180656 195.93/205.42 c #Conflicts: 294000 | #Constraints: 181656 195.93/205.42 c #Conflicts: 295000 | #Constraints: 182656 195.93/205.42 c #Conflicts: 296000 | #Constraints: 183656 195.93/205.42 c #Conflicts: 297000 | #Constraints: 184656 195.93/205.42 c #Conflicts: 298000 | #Constraints: 185656 195.93/205.42 c #Conflicts: 299000 | #Constraints: 186656 195.93/205.42 c #Conflicts: 300000 | #Constraints: 187656 195.93/205.42 c #Conflicts: 301000 | #Constraints: 188656 195.93/205.42 c #Conflicts: 302000 | #Constraints: 189656 195.93/205.42 c #Conflicts: 303000 | #Constraints: 190656 195.93/205.42 c #Conflicts: 304000 | #Constraints: 191656 195.93/205.42 c #Conflicts: 305000 | #Constraints: 192656 195.93/205.42 c #Conflicts: 306000 | #Constraints: 193656 195.93/205.42 c #Conflicts: 307000 | #Constraints: 194656 195.93/205.42 c #Conflicts: 308000 | #Constraints: 195656 195.93/205.42 c #Conflicts: 309000 | #Constraints: 196656 195.93/205.42 c INPROCESSING 195.93/205.42 c GARBAGE COLLECT 195.93/205.42 c rational objective 745.018 218.27/227.82 c #Conflicts: 310000 | #Constraints: 163878 218.27/227.82 c #Conflicts: 311000 | #Constraints: 164878 218.27/227.82 c #Conflicts: 312000 | #Constraints: 165878 218.27/227.82 c #Conflicts: 313000 | #Constraints: 166878 218.27/227.82 c #Conflicts: 314000 | #Constraints: 167878 218.27/227.82 c #Conflicts: 315000 | #Constraints: 168878 218.27/227.82 c #Conflicts: 316000 | #Constraints: 169878 218.27/227.82 c #Conflicts: 317000 | #Constraints: 170878 218.27/227.82 c #Conflicts: 318000 | #Constraints: 171878 218.27/227.82 c #Conflicts: 319000 | #Constraints: 172878 218.27/227.82 c #Conflicts: 320000 | #Constraints: 173878 218.27/227.82 c #Conflicts: 321000 | #Constraints: 174878 218.27/227.82 c #Conflicts: 322000 | #Constraints: 175878 218.27/227.82 c #Conflicts: 323000 | #Constraints: 176878 218.27/227.82 c #Conflicts: 324000 | #Constraints: 177878 218.27/227.82 c #Conflicts: 325000 | #Constraints: 178878 218.27/227.82 c #Conflicts: 326000 | #Constraints: 179878 218.27/227.82 c #Conflicts: 327000 | #Constraints: 180878 218.27/227.82 c #Conflicts: 328000 | #Constraints: 181878 218.27/227.82 c #Conflicts: 329000 | #Constraints: 182878 218.27/227.82 c #Conflicts: 330000 | #Constraints: 183878 218.27/227.82 c #Conflicts: 331000 | #Constraints: 184878 218.27/227.82 c #Conflicts: 332000 | #Constraints: 185878 218.27/227.82 c #Conflicts: 333000 | #Constraints: 186878 218.27/227.82 c #Conflicts: 334000 | #Constraints: 187878 218.27/227.82 c #Conflicts: 335000 | #Constraints: 188878 218.27/227.82 c #Conflicts: 336000 | #Constraints: 189878 218.27/227.82 c #Conflicts: 337000 | #Constraints: 190878 218.27/227.82 c #Conflicts: 338000 | #Constraints: 191878 218.27/227.82 c #Conflicts: 339000 | #Constraints: 192878 218.27/227.82 c #Conflicts: 340000 | #Constraints: 193878 218.27/227.82 c #Conflicts: 341000 | #Constraints: 194878 218.27/227.82 c #Conflicts: 342000 | #Constraints: 195878 218.27/227.82 c #Conflicts: 343000 | #Constraints: 196878 218.27/227.82 c #Conflicts: 344000 | #Constraints: 197878 218.27/227.82 c #Conflicts: 345000 | #Constraints: 198878 218.27/227.82 c INPROCESSING 218.27/227.82 c GARBAGE COLLECT 218.27/227.82 c rational objective 776.823 238.21/247.84 c #Conflicts: 346000 | #Constraints: 164419 238.21/247.84 c #Conflicts: 347000 | #Constraints: 165419 238.21/247.84 c #Conflicts: 348000 | #Constraints: 166419 238.21/247.84 c #Conflicts: 349000 | #Constraints: 167419 238.21/247.84 c #Conflicts: 350000 | #Constraints: 168419 238.21/247.84 c #Conflicts: 351000 | #Constraints: 169419 238.21/247.84 c #Conflicts: 352000 | #Constraints: 170419 238.21/247.84 c #Conflicts: 353000 | #Constraints: 171419 238.21/247.84 c #Conflicts: 354000 | #Constraints: 172419 238.21/247.84 c #Conflicts: 355000 | #Constraints: 173419 238.21/247.84 c #Conflicts: 356000 | #Constraints: 174419 238.21/247.84 c #Conflicts: 357000 | #Constraints: 175419 238.21/247.84 c #Conflicts: 358000 | #Constraints: 176419 238.21/247.84 c #Conflicts: 359000 | #Constraints: 177419 238.21/247.84 c #Conflicts: 360000 | #Constraints: 178419 238.21/247.84 c #Conflicts: 361000 | #Constraints: 179419 238.21/247.84 c #Conflicts: 362000 | #Constraints: 180419 238.21/247.84 c #Conflicts: 363000 | #Constraints: 181419 238.21/247.84 c #Conflicts: 364000 | #Constraints: 182419 238.21/247.84 c #Conflicts: 365000 | #Constraints: 183419 238.21/247.84 c #Conflicts: 366000 | #Constraints: 184419 238.21/247.84 c #Conflicts: 367000 | #Constraints: 185419 238.21/247.84 c #Conflicts: 368000 | #Constraints: 186419 238.21/247.84 c #Conflicts: 369000 | #Constraints: 187419 238.21/247.84 c #Conflicts: 370000 | #Constraints: 188419 238.21/247.84 c #Conflicts: 371000 | #Constraints: 189419 238.21/247.84 c #Conflicts: 372000 | #Constraints: 190419 238.21/247.84 c #Conflicts: 373000 | #Constraints: 191419 238.21/247.84 c #Conflicts: 374000 | #Constraints: 192419 238.21/247.84 c #Conflicts: 375000 | #Constraints: 193419 238.21/247.84 c #Conflicts: 376000 | #Constraints: 194419 238.21/247.84 c #Conflicts: 377000 | #Constraints: 195419 238.21/247.84 c #Conflicts: 378000 | #Constraints: 196419 238.21/247.84 c #Conflicts: 379000 | #Constraints: 197419 238.21/247.84 c #Conflicts: 380000 | #Constraints: 198419 238.21/247.84 c #Conflicts: 381000 | #Constraints: 199419 238.21/247.84 c #Conflicts: 382000 | #Constraints: 200419 238.21/247.84 c #Conflicts: 383000 | #Constraints: 201419 238.21/247.84 c #Conflicts: 384000 | #Constraints: 202419 238.21/247.84 c INPROCESSING 238.21/247.84 c GARBAGE COLLECT 238.21/247.84 c rational objective 787.837 261.84/271.56 c #Conflicts: 385000 | #Constraints: 166474 261.84/271.56 c #Conflicts: 386000 | #Constraints: 167474 261.84/271.56 c #Conflicts: 387000 | #Constraints: 168474 261.84/271.56 c #Conflicts: 388000 | #Constraints: 169474 261.84/271.56 c #Conflicts: 389000 | #Constraints: 170474 261.84/271.56 c #Conflicts: 390000 | #Constraints: 171474 261.84/271.56 c #Conflicts: 391000 | #Constraints: 172474 261.84/271.56 c #Conflicts: 392000 | #Constraints: 173474 261.84/271.56 c #Conflicts: 393000 | #Constraints: 174474 261.84/271.56 c #Conflicts: 394000 | #Constraints: 175474 261.84/271.56 c #Conflicts: 395000 | #Constraints: 176474 261.84/271.56 c #Conflicts: 396000 | #Constraints: 177474 261.84/271.56 c #Conflicts: 397000 | #Constraints: 178474 261.84/271.56 c #Conflicts: 398000 | #Constraints: 179474 261.84/271.56 c #Conflicts: 399000 | #Constraints: 180474 261.84/271.56 c #Conflicts: 400000 | #Constraints: 181474 261.84/271.56 c #Conflicts: 401000 | #Constraints: 182474 261.84/271.56 c #Conflicts: 402000 | #Constraints: 183474 261.84/271.56 c #Conflicts: 403000 | #Constraints: 184474 261.84/271.56 c #Conflicts: 404000 | #Constraints: 185474 261.84/271.56 c #Conflicts: 405000 | #Constraints: 186474 261.84/271.56 c #Conflicts: 406000 | #Constraints: 187474 261.84/271.56 c #Conflicts: 407000 | #Constraints: 188474 261.84/271.56 c #Conflicts: 408000 | #Constraints: 189474 261.84/271.56 c #Conflicts: 409000 | #Constraints: 190474 261.84/271.56 c #Conflicts: 410000 | #Constraints: 191474 261.84/271.56 c #Conflicts: 411000 | #Constraints: 192474 261.84/271.56 c #Conflicts: 412000 | #Constraints: 193474 261.84/271.56 c #Conflicts: 413000 | #Constraints: 194474 261.84/271.56 c #Conflicts: 414000 | #Constraints: 195474 261.84/271.56 c #Conflicts: 415000 | #Constraints: 196474 261.84/271.56 c #Conflicts: 416000 | #Constraints: 197474 261.84/271.56 c #Conflicts: 417000 | #Constraints: 198474 261.84/271.56 c #Conflicts: 418000 | #Constraints: 199474 261.84/271.56 c #Conflicts: 419000 | #Constraints: 200474 261.84/271.56 c #Conflicts: 420000 | #Constraints: 201474 261.84/271.56 c #Conflicts: 421000 | #Constraints: 202474 261.84/271.56 c #Conflicts: 422000 | #Constraints: 203474 261.84/271.56 c #Conflicts: 423000 | #Constraints: 204474 261.84/271.56 c #Conflicts: 424000 | #Constraints: 205474 261.84/271.56 c INPROCESSING 261.84/271.56 c GARBAGE COLLECT 261.84/271.56 c rational objective 794.803 285.28/295.09 c #Conflicts: 425000 | #Constraints: 166766 285.28/295.09 c #Conflicts: 426000 | #Constraints: 167766 285.28/295.09 c #Conflicts: 427000 | #Constraints: 168766 285.28/295.09 c #Conflicts: 428000 | #Constraints: 169766 285.28/295.09 c #Conflicts: 429000 | #Constraints: 170766 285.28/295.09 c #Conflicts: 430000 | #Constraints: 171766 285.28/295.09 c #Conflicts: 431000 | #Constraints: 172766 285.28/295.09 c #Conflicts: 432000 | #Constraints: 173766 285.28/295.09 c #Conflicts: 433000 | #Constraints: 174766 285.28/295.09 c #Conflicts: 434000 | #Constraints: 175766 285.28/295.09 c #Conflicts: 435000 | #Constraints: 176766 285.28/295.09 c #Conflicts: 436000 | #Constraints: 177766 285.28/295.09 c #Conflicts: 437000 | #Constraints: 178766 285.28/295.09 c #Conflicts: 438000 | #Constraints: 179766 285.28/295.09 c #Conflicts: 439000 | #Constraints: 180766 285.28/295.09 c #Conflicts: 440000 | #Constraints: 181766 285.28/295.09 c #Conflicts: 441000 | #Constraints: 182766 285.28/295.09 c #Conflicts: 442000 | #Constraints: 183766 285.28/295.09 c #Conflicts: 443000 | #Constraints: 184766 285.28/295.09 c #Conflicts: 444000 | #Constraints: 185766 285.28/295.09 c #Conflicts: 445000 | #Constraints: 186766 285.28/295.09 c #Conflicts: 446000 | #Constraints: 187766 285.28/295.09 c #Conflicts: 447000 | #Constraints: 188766 285.28/295.09 c #Conflicts: 448000 | #Constraints: 189766 285.28/295.09 c #Conflicts: 449000 | #Constraints: 190766 285.28/295.09 c #Conflicts: 450000 | #Constraints: 191766 285.28/295.09 c #Conflicts: 451000 | #Constraints: 192766 285.28/295.09 c #Conflicts: 452000 | #Constraints: 193766 285.28/295.09 c #Conflicts: 453000 | #Constraints: 194766 285.28/295.09 c #Conflicts: 454000 | #Constraints: 195766 285.28/295.09 c #Conflicts: 455000 | #Constraints: 196766 285.28/295.09 c #Conflicts: 456000 | #Constraints: 197766 285.28/295.09 c #Conflicts: 457000 | #Constraints: 198766 285.28/295.09 c #Conflicts: 458000 | #Constraints: 199766 285.28/295.09 c #Conflicts: 459000 | #Constraints: 200766 285.28/295.09 c #Conflicts: 460000 | #Constraints: 201766 285.28/295.09 c #Conflicts: 461000 | #Constraints: 202766 285.28/295.09 c #Conflicts: 462000 | #Constraints: 203766 285.28/295.09 c #Conflicts: 463000 | #Constraints: 204766 285.28/295.09 c #Conflicts: 464000 | #Constraints: 205766 285.28/295.09 c #Conflicts: 465000 | #Constraints: 206766 285.28/295.09 c #Conflicts: 466000 | #Constraints: 207766 285.28/295.09 c INPROCESSING 285.28/295.09 c GARBAGE COLLECT 285.28/295.09 c rational objective 797.478 313.38/323.21 c #Conflicts: 467000 | #Constraints: 168602 313.38/323.21 c #Conflicts: 468000 | #Constraints: 169602 313.38/323.21 c #Conflicts: 469000 | #Constraints: 170602 313.38/323.21 c #Conflicts: 470000 | #Constraints: 171602 313.38/323.21 c #Conflicts: 471000 | #Constraints: 172602 313.38/323.21 c #Conflicts: 472000 | #Constraints: 173602 313.38/323.21 c #Conflicts: 473000 | #Constraints: 174602 313.38/323.21 c #Conflicts: 474000 | #Constraints: 175602 313.38/323.21 c #Conflicts: 475000 | #Constraints: 176602 313.38/323.21 c #Conflicts: 476000 | #Constraints: 177602 313.38/323.21 c #Conflicts: 477000 | #Constraints: 178602 313.38/323.21 c #Conflicts: 478000 | #Constraints: 179602 313.38/323.21 c #Conflicts: 479000 | #Constraints: 180602 313.38/323.21 c #Conflicts: 480000 | #Constraints: 181602 313.38/323.21 c #Conflicts: 481000 | #Constraints: 182602 313.38/323.21 c #Conflicts: 482000 | #Constraints: 183602 313.38/323.21 c #Conflicts: 483000 | #Constraints: 184602 313.38/323.21 c #Conflicts: 484000 | #Constraints: 185602 313.38/323.21 c #Conflicts: 485000 | #Constraints: 186602 313.38/323.21 c #Conflicts: 486000 | #Constraints: 187602 313.38/323.21 c #Conflicts: 487000 | #Constraints: 188602 313.38/323.21 c #Conflicts: 488000 | #Constraints: 189602 313.38/323.21 c #Conflicts: 489000 | #Constraints: 190602 313.38/323.21 c #Conflicts: 490000 | #Constraints: 191602 313.38/323.21 c #Conflicts: 491000 | #Constraints: 192602 313.38/323.21 c #Conflicts: 492000 | #Constraints: 193602 313.38/323.21 c #Conflicts: 493000 | #Constraints: 194602 313.38/323.21 c #Conflicts: 494000 | #Constraints: 195602 313.38/323.21 c #Conflicts: 495000 | #Constraints: 196602 313.38/323.21 c #Conflicts: 496000 | #Constraints: 197602 313.38/323.21 c #Conflicts: 497000 | #Constraints: 198602 313.38/323.21 c #Conflicts: 498000 | #Constraints: 199602 313.38/323.21 c #Conflicts: 499000 | #Constraints: 200602 313.38/323.21 c #Conflicts: 500000 | #Constraints: 201602 313.38/323.21 c #Conflicts: 501000 | #Constraints: 202602 313.38/323.21 c #Conflicts: 502000 | #Constraints: 203602 313.38/323.21 c #Conflicts: 503000 | #Constraints: 204602 313.38/323.21 c #Conflicts: 504000 | #Constraints: 205602 313.38/323.21 c #Conflicts: 505000 | #Constraints: 206602 313.38/323.21 c #Conflicts: 506000 | #Constraints: 207602 313.38/323.21 c #Conflicts: 507000 | #Constraints: 208602 313.38/323.21 c #Conflicts: 508000 | #Constraints: 209602 313.38/323.21 c #Conflicts: 509000 | #Constraints: 210602 313.38/323.21 c #Conflicts: 510000 | #Constraints: 211602 313.38/323.21 c INPROCESSING 313.38/323.21 c GARBAGE COLLECT 313.38/323.21 c rational objective 800.375 337.60/347.50 c #Conflicts: 511000 | #Constraints: 170134 337.60/347.50 c #Conflicts: 512000 | #Constraints: 171134 337.60/347.50 c #Conflicts: 513000 | #Constraints: 172134 337.60/347.50 c #Conflicts: 514000 | #Constraints: 173134 337.60/347.50 c #Conflicts: 515000 | #Constraints: 174134 337.60/347.50 c #Conflicts: 516000 | #Constraints: 175134 337.60/347.50 c #Conflicts: 517000 | #Constraints: 176134 337.60/347.50 c #Conflicts: 518000 | #Constraints: 177134 337.60/347.50 c #Conflicts: 519000 | #Constraints: 178134 337.60/347.50 c #Conflicts: 520000 | #Constraints: 179134 337.60/347.50 c #Conflicts: 521000 | #Constraints: 180134 337.60/347.50 c #Conflicts: 522000 | #Constraints: 181134 337.60/347.50 c #Conflicts: 523000 | #Constraints: 182134 337.60/347.50 c #Conflicts: 524000 | #Constraints: 183134 337.60/347.50 c #Conflicts: 525000 | #Constraints: 184134 337.60/347.50 c #Conflicts: 526000 | #Constraints: 185134 337.60/347.50 c #Conflicts: 527000 | #Constraints: 186134 337.60/347.50 c #Conflicts: 528000 | #Constraints: 187134 337.60/347.50 c #Conflicts: 529000 | #Constraints: 188134 337.60/347.50 c #Conflicts: 530000 | #Constraints: 189134 337.60/347.50 c #Conflicts: 531000 | #Constraints: 190134 337.60/347.50 c #Conflicts: 532000 | #Constraints: 191134 337.60/347.50 c #Conflicts: 533000 | #Constraints: 192134 337.60/347.50 c #Conflicts: 534000 | #Constraints: 193134 337.60/347.50 c #Conflicts: 535000 | #Constraints: 194134 337.60/347.50 c #Conflicts: 536000 | #Constraints: 195134 337.60/347.50 c #Conflicts: 537000 | #Constraints: 196134 337.60/347.50 c #Conflicts: 538000 | #Constraints: 197134 337.60/347.50 c #Conflicts: 539000 | #Constraints: 198134 337.60/347.50 c #Conflicts: 540000 | #Constraints: 199134 337.60/347.50 c #Conflicts: 541000 | #Constraints: 200134 337.60/347.50 c #Conflicts: 542000 | #Constraints: 201134 337.60/347.50 c #Conflicts: 543000 | #Constraints: 202134 337.60/347.50 c #Conflicts: 544000 | #Constraints: 203134 337.60/347.50 c #Conflicts: 545000 | #Constraints: 204134 337.60/347.50 c #Conflicts: 546000 | #Constraints: 205134 337.60/347.50 c #Conflicts: 547000 | #Constraints: 206134 337.60/347.50 c #Conflicts: 548000 | #Constraints: 207134 337.60/347.50 c #Conflicts: 549000 | #Constraints: 208134 337.60/347.50 c #Conflicts: 550000 | #Constraints: 209134 337.60/347.50 c #Conflicts: 551000 | #Constraints: 210134 337.60/347.50 c #Conflicts: 552000 | #Constraints: 211134 337.60/347.50 c #Conflicts: 553000 | #Constraints: 212134 337.60/347.50 c #Conflicts: 554000 | #Constraints: 213134 337.60/347.50 c #Conflicts: 555000 | #Constraints: 214134 337.60/347.50 c #Conflicts: 556000 | #Constraints: 215134 337.60/347.50 c INPROCESSING 337.60/347.50 c GARBAGE COLLECT 337.60/347.50 c rational objective 802.314 361.73/371.75 c #Conflicts: 557000 | #Constraints: 170700 361.73/371.75 c #Conflicts: 558000 | #Constraints: 171700 361.73/371.75 c #Conflicts: 559000 | #Constraints: 172700 361.73/371.75 c #Conflicts: 560000 | #Constraints: 173700 361.73/371.75 c #Conflicts: 561000 | #Constraints: 174700 361.73/371.75 c #Conflicts: 562000 | #Constraints: 175700 361.73/371.75 c #Conflicts: 563000 | #Constraints: 176700 361.73/371.75 c #Conflicts: 564000 | #Constraints: 177700 361.73/371.75 c #Conflicts: 565000 | #Constraints: 178700 361.73/371.75 c #Conflicts: 566000 | #Constraints: 179700 361.73/371.75 c #Conflicts: 567000 | #Constraints: 180700 361.73/371.75 c #Conflicts: 568000 | #Constraints: 181700 361.73/371.75 c #Conflicts: 569000 | #Constraints: 182700 361.73/371.75 c #Conflicts: 570000 | #Constraints: 183700 361.73/371.75 c #Conflicts: 571000 | #Constraints: 184700 361.73/371.75 c #Conflicts: 572000 | #Constraints: 185700 361.73/371.75 c #Conflicts: 573000 | #Constraints: 186700 361.73/371.75 c #Conflicts: 574000 | #Constraints: 187700 361.73/371.75 c #Conflicts: 575000 | #Constraints: 188700 361.73/371.75 c #Conflicts: 576000 | #Constraints: 189700 361.73/371.75 c #Conflicts: 577000 | #Constraints: 190700 361.73/371.75 c #Conflicts: 578000 | #Constraints: 191700 361.73/371.75 c #Conflicts: 579000 | #Constraints: 192700 361.73/371.75 c #Conflicts: 580000 | #Constraints: 193700 361.73/371.75 c #Conflicts: 581000 | #Constraints: 194700 361.73/371.75 c #Conflicts: 582000 | #Constraints: 195700 361.73/371.75 c #Conflicts: 583000 | #Constraints: 196700 361.73/371.75 c #Conflicts: 584000 | #Constraints: 197700 361.73/371.75 c #Conflicts: 585000 | #Constraints: 198700 361.73/371.75 c #Conflicts: 586000 | #Constraints: 199700 361.73/371.75 c #Conflicts: 587000 | #Constraints: 200700 361.73/371.75 c #Conflicts: 588000 | #Constraints: 201700 361.73/371.75 c #Conflicts: 589000 | #Constraints: 202700 361.73/371.75 c #Conflicts: 590000 | #Constraints: 203700 361.73/371.75 c #Conflicts: 591000 | #Constraints: 204700 361.73/371.75 c #Conflicts: 592000 | #Constraints: 205700 361.73/371.75 c #Conflicts: 593000 | #Constraints: 206700 361.73/371.75 c #Conflicts: 594000 | #Constraints: 207700 361.73/371.75 c #Conflicts: 595000 | #Constraints: 208700 361.73/371.75 c #Conflicts: 596000 | #Constraints: 209700 361.73/371.75 c #Conflicts: 597000 | #Constraints: 210700 361.73/371.75 c #Conflicts: 598000 | #Constraints: 211700 361.73/371.75 c #Conflicts: 599000 | #Constraints: 212700 361.73/371.75 c #Conflicts: 600000 | #Constraints: 213700 361.73/371.75 c #Conflicts: 601000 | #Constraints: 214700 361.73/371.75 c #Conflicts: 602000 | #Constraints: 215700 361.73/371.75 c #Conflicts: 603000 | #Constraints: 216700 361.73/371.75 c #Conflicts: 604000 | #Constraints: 217700 361.73/371.75 c #Conflicts: 605000 | #Constraints: 218700 361.73/371.75 c INPROCESSING 361.73/371.75 c GARBAGE COLLECT 361.73/371.75 c rational objective 804.449 392.87/402.94 c #Conflicts: 606000 | #Constraints: 172602 392.87/402.94 c #Conflicts: 607000 | #Constraints: 173602 392.87/402.94 c #Conflicts: 608000 | #Constraints: 174602 392.87/402.94 c #Conflicts: 609000 | #Constraints: 175602 392.87/402.94 c #Conflicts: 610000 | #Constraints: 176602 392.87/402.94 c #Conflicts: 611000 | #Constraints: 177602 392.87/402.94 c #Conflicts: 612000 | #Constraints: 178602 392.87/402.94 c #Conflicts: 613000 | #Constraints: 179602 392.87/402.94 c #Conflicts: 614000 | #Constraints: 180602 392.87/402.94 c #Conflicts: 615000 | #Constraints: 181602 392.87/402.94 c #Conflicts: 616000 | #Constraints: 182602 392.87/402.94 c #Conflicts: 617000 | #Constraints: 183602 392.87/402.94 c #Conflicts: 618000 | #Constraints: 184602 392.87/402.94 c #Conflicts: 619000 | #Constraints: 185602 392.87/402.94 c #Conflicts: 620000 | #Constraints: 186602 392.87/402.94 c #Conflicts: 621000 | #Constraints: 187602 392.87/402.94 c #Conflicts: 622000 | #Constraints: 188602 392.87/402.94 c #Conflicts: 623000 | #Constraints: 189602 392.87/402.94 c #Conflicts: 624000 | #Constraints: 190602 392.87/402.94 c #Conflicts: 625000 | #Constraints: 191602 392.87/402.94 c #Conflicts: 626000 | #Constraints: 192602 392.87/402.94 c #Conflicts: 627000 | #Constraints: 193602 392.87/402.94 c #Conflicts: 628000 | #Constraints: 194602 392.87/402.94 c #Conflicts: 629000 | #Constraints: 195602 392.87/402.94 c #Conflicts: 630000 | #Constraints: 196602 392.87/402.94 c #Conflicts: 631000 | #Constraints: 197602 392.87/402.94 c #Conflicts: 632000 | #Constraints: 198602 392.87/402.94 c #Conflicts: 633000 | #Constraints: 199602 392.87/402.94 c #Conflicts: 634000 | #Constraints: 200602 392.87/402.94 c #Conflicts: 635000 | #Constraints: 201602 392.87/402.94 c #Conflicts: 636000 | #Constraints: 202602 392.87/402.94 c #Conflicts: 637000 | #Constraints: 203602 392.87/402.94 c #Conflicts: 638000 | #Constraints: 204602 392.87/402.94 c #Conflicts: 639000 | #Constraints: 205602 392.87/402.94 c #Conflicts: 640000 | #Constraints: 206602 392.87/402.94 c #Conflicts: 641000 | #Constraints: 207602 392.87/402.94 c #Conflicts: 642000 | #Constraints: 208602 392.87/402.94 c #Conflicts: 643000 | #Constraints: 209602 392.87/402.94 c #Conflicts: 644000 | #Constraints: 210602 392.87/402.94 c #Conflicts: 645000 | #Constraints: 211602 392.87/402.94 c #Conflicts: 646000 | #Constraints: 212602 392.87/402.94 c #Conflicts: 647000 | #Constraints: 213602 392.87/402.94 c #Conflicts: 648000 | #Constraints: 214602 392.87/402.94 c #Conflicts: 649000 | #Constraints: 215602 392.87/402.94 c #Conflicts: 650000 | #Constraints: 216602 392.87/402.94 c #Conflicts: 651000 | #Constraints: 217602 392.87/402.94 c #Conflicts: 652000 | #Constraints: 218602 392.87/402.94 c #Conflicts: 653000 | #Constraints: 219602 392.87/402.94 c #Conflicts: 654000 | #Constraints: 220602 392.87/402.94 c #Conflicts: 655000 | #Constraints: 221602 392.87/402.94 c INPROCESSING 392.87/402.94 c GARBAGE COLLECT 392.87/402.94 c rational objective 806.102 426.90/437.07 c #Conflicts: 656000 | #Constraints: 171141 426.90/437.07 c #Conflicts: 657000 | #Constraints: 172141 426.90/437.07 c #Conflicts: 658000 | #Constraints: 173141 426.90/437.07 c #Conflicts: 659000 | #Constraints: 174141 426.90/437.07 c #Conflicts: 660000 | #Constraints: 175141 426.90/437.07 c #Conflicts: 661000 | #Constraints: 176141 426.90/437.07 c #Conflicts: 662000 | #Constraints: 177141 426.90/437.07 c #Conflicts: 663000 | #Constraints: 178141 426.90/437.07 c #Conflicts: 664000 | #Constraints: 179141 426.90/437.07 c #Conflicts: 665000 | #Constraints: 180141 426.90/437.07 c #Conflicts: 666000 | #Constraints: 181141 426.90/437.07 c #Conflicts: 667000 | #Constraints: 182141 426.90/437.07 c #Conflicts: 668000 | #Constraints: 183141 426.90/437.07 c #Conflicts: 669000 | #Constraints: 184141 426.90/437.07 c #Conflicts: 670000 | #Constraints: 185141 426.90/437.07 c #Conflicts: 671000 | #Constraints: 186141 426.90/437.07 c #Conflicts: 672000 | #Constraints: 187141 426.90/437.07 c #Conflicts: 673000 | #Constraints: 188141 426.90/437.07 c #Conflicts: 674000 | #Constraints: 189141 426.90/437.07 c #Conflicts: 675000 | #Constraints: 190141 426.90/437.07 c #Conflicts: 676000 | #Constraints: 191141 426.90/437.07 c #Conflicts: 677000 | #Constraints: 192141 426.90/437.07 c #Conflicts: 678000 | #Constraints: 193141 426.90/437.07 c #Conflicts: 679000 | #Constraints: 194141 426.90/437.07 c #Conflicts: 680000 | #Constraints: 195141 426.90/437.07 c #Conflicts: 681000 | #Constraints: 196141 426.90/437.07 c #Conflicts: 682000 | #Constraints: 197141 426.90/437.07 c #Conflicts: 683000 | #Constraints: 198141 426.90/437.07 c #Conflicts: 684000 | #Constraints: 199141 426.90/437.07 c #Conflicts: 685000 | #Constraints: 200141 426.90/437.07 c #Conflicts: 686000 | #Constraints: 201141 426.90/437.07 c #Conflicts: 687000 | #Constraints: 202141 426.90/437.07 c #Conflicts: 688000 | #Constraints: 203141 426.90/437.07 c #Conflicts: 689000 | #Constraints: 204141 426.90/437.07 c #Conflicts: 690000 | #Constraints: 205141 426.90/437.07 c #Conflicts: 691000 | #Constraints: 206141 426.90/437.07 c #Conflicts: 692000 | #Constraints: 207141 426.90/437.07 c #Conflicts: 693000 | #Constraints: 208141 426.90/437.07 c #Conflicts: 694000 | #Constraints: 209141 426.90/437.07 c #Conflicts: 695000 | #Constraints: 210141 426.90/437.07 c #Conflicts: 696000 | #Constraints: 211141 426.90/437.07 c #Conflicts: 697000 | #Constraints: 212141 426.90/437.07 c #Conflicts: 698000 | #Constraints: 213141 426.90/437.07 c #Conflicts: 699000 | #Constraints: 214141 426.90/437.07 c #Conflicts: 700000 | #Constraints: 215141 426.90/437.07 c #Conflicts: 701000 | #Constraints: 216141 426.90/437.07 c #Conflicts: 702000 | #Constraints: 217141 426.90/437.07 c #Conflicts: 703000 | #Constraints: 218141 426.90/437.07 c #Conflicts: 704000 | #Constraints: 219141 426.90/437.07 c #Conflicts: 705000 | #Constraints: 220141 426.90/437.07 c #Conflicts: 706000 | #Constraints: 221141 426.90/437.07 c #Conflicts: 707000 | #Constraints: 222141 426.90/437.07 c INPROCESSING 426.90/437.07 c GARBAGE COLLECT 426.90/437.07 c rational objective 808.087 458.91/469.13 c #Conflicts: 708000 | #Constraints: 171423 458.91/469.13 c #Conflicts: 709000 | #Constraints: 172423 458.91/469.13 c #Conflicts: 710000 | #Constraints: 173423 458.91/469.13 c #Conflicts: 711000 | #Constraints: 174423 458.91/469.13 c #Conflicts: 712000 | #Constraints: 175423 458.91/469.13 c #Conflicts: 713000 | #Constraints: 176423 458.91/469.13 c #Conflicts: 714000 | #Constraints: 177423 458.91/469.13 c #Conflicts: 715000 | #Constraints: 178423 458.91/469.13 c #Conflicts: 716000 | #Constraints: 179423 458.91/469.13 c #Conflicts: 717000 | #Constraints: 180423 458.91/469.13 c #Conflicts: 718000 | #Constraints: 181423 458.91/469.13 c #Conflicts: 719000 | #Constraints: 182423 458.91/469.13 c #Conflicts: 720000 | #Constraints: 183423 458.91/469.13 c #Conflicts: 721000 | #Constraints: 184423 458.91/469.13 c #Conflicts: 722000 | #Constraints: 185423 458.91/469.13 c #Conflicts: 723000 | #Constraints: 186423 458.91/469.13 c #Conflicts: 724000 | #Constraints: 187423 458.91/469.13 c #Conflicts: 725000 | #Constraints: 188423 458.91/469.13 c #Conflicts: 726000 | #Constraints: 189423 458.91/469.13 c #Conflicts: 727000 | #Constraints: 190423 458.91/469.13 c #Conflicts: 728000 | #Constraints: 191423 458.91/469.13 c #Conflicts: 729000 | #Constraints: 192423 458.91/469.13 c #Conflicts: 730000 | #Constraints: 193423 458.91/469.13 c #Conflicts: 731000 | #Constraints: 194423 458.91/469.13 c #Conflicts: 732000 | #Constraints: 195423 458.91/469.13 c #Conflicts: 733000 | #Constraints: 196423 458.91/469.13 c #Conflicts: 734000 | #Constraints: 197423 458.91/469.13 c #Conflicts: 735000 | #Constraints: 198423 458.91/469.13 c #Conflicts: 736000 | #Constraints: 199423 458.91/469.13 c #Conflicts: 737000 | #Constraints: 200423 458.91/469.13 c #Conflicts: 738000 | #Constraints: 201423 458.91/469.13 c #Conflicts: 739000 | #Constraints: 202423 458.91/469.13 c #Conflicts: 740000 | #Constraints: 203423 458.91/469.13 c #Conflicts: 741000 | #Constraints: 204423 458.91/469.13 c #Conflicts: 742000 | #Constraints: 205423 458.91/469.13 c #Conflicts: 743000 | #Constraints: 206423 458.91/469.13 c #Conflicts: 744000 | #Constraints: 207423 458.91/469.13 c #Conflicts: 745000 | #Constraints: 208423 458.91/469.13 c #Conflicts: 746000 | #Constraints: 209423 458.91/469.13 c #Conflicts: 747000 | #Constraints: 210423 458.91/469.13 c #Conflicts: 748000 | #Constraints: 211423 458.91/469.13 c #Conflicts: 749000 | #Constraints: 212423 458.91/469.13 c #Conflicts: 750000 | #Constraints: 213423 458.91/469.13 c #Conflicts: 751000 | #Constraints: 214423 458.91/469.13 c #Conflicts: 752000 | #Constraints: 215423 458.91/469.13 c #Conflicts: 753000 | #Constraints: 216423 458.91/469.13 c #Conflicts: 754000 | #Constraints: 217423 458.91/469.13 c #Conflicts: 755000 | #Constraints: 218423 458.91/469.13 c #Conflicts: 756000 | #Constraints: 219423 458.91/469.13 c #Conflicts: 757000 | #Constraints: 220423 458.91/469.13 c #Conflicts: 758000 | #Constraints: 221423 458.91/469.13 c #Conflicts: 759000 | #Constraints: 222423 458.91/469.13 c #Conflicts: 760000 | #Constraints: 223423 458.91/469.13 c #Conflicts: 761000 | #Constraints: 224423 458.91/469.13 c INPROCESSING 458.91/469.13 c GARBAGE COLLECT 458.91/469.13 c rational objective 810.169 496.91/507.26 c #Conflicts: 762000 | #Constraints: 172367 496.91/507.26 c #Conflicts: 763000 | #Constraints: 173367 496.91/507.26 c #Conflicts: 764000 | #Constraints: 174367 496.91/507.26 c #Conflicts: 765000 | #Constraints: 175367 496.91/507.26 c #Conflicts: 766000 | #Constraints: 176367 496.91/507.26 c #Conflicts: 767000 | #Constraints: 177367 496.91/507.26 c #Conflicts: 768000 | #Constraints: 178367 496.91/507.26 c #Conflicts: 769000 | #Constraints: 179367 496.91/507.26 c #Conflicts: 770000 | #Constraints: 180367 496.91/507.26 c #Conflicts: 771000 | #Constraints: 181367 496.91/507.26 c #Conflicts: 772000 | #Constraints: 182367 496.91/507.26 c #Conflicts: 773000 | #Constraints: 183367 496.91/507.26 c #Conflicts: 774000 | #Constraints: 184367 496.91/507.26 c #Conflicts: 775000 | #Constraints: 185367 496.91/507.26 c #Conflicts: 776000 | #Constraints: 186367 496.91/507.26 c #Conflicts: 777000 | #Constraints: 187367 496.91/507.26 c #Conflicts: 778000 | #Constraints: 188367 496.91/507.26 c #Conflicts: 779000 | #Constraints: 189367 496.91/507.26 c #Conflicts: 780000 | #Constraints: 190367 496.91/507.26 c #Conflicts: 781000 | #Constraints: 191367 496.91/507.26 c #Conflicts: 782000 | #Constraints: 192367 496.91/507.26 c #Conflicts: 783000 | #Constraints: 193367 496.91/507.26 c #Conflicts: 784000 | #Constraints: 194367 496.91/507.26 c #Conflicts: 785000 | #Constraints: 195367 496.91/507.26 c #Conflicts: 786000 | #Constraints: 196367 496.91/507.26 c #Conflicts: 787000 | #Constraints: 197367 496.91/507.26 c #Conflicts: 788000 | #Constraints: 198367 496.91/507.26 c #Conflicts: 789000 | #Constraints: 199367 496.91/507.26 c #Conflicts: 790000 | #Constraints: 200367 496.91/507.26 c #Conflicts: 791000 | #Constraints: 201367 496.91/507.26 c #Conflicts: 792000 | #Constraints: 202367 496.91/507.26 c #Conflicts: 793000 | #Constraints: 203367 496.91/507.26 c #Conflicts: 794000 | #Constraints: 204367 496.91/507.26 c #Conflicts: 795000 | #Constraints: 205367 496.91/507.26 c #Conflicts: 796000 | #Constraints: 206367 496.91/507.26 c #Conflicts: 797000 | #Constraints: 207367 496.91/507.26 c #Conflicts: 798000 | #Constraints: 208367 496.91/507.26 c #Conflicts: 799000 | #Constraints: 209367 496.91/507.26 c #Conflicts: 800000 | #Constraints: 210367 496.91/507.26 c #Conflicts: 801000 | #Constraints: 211367 496.91/507.26 c #Conflicts: 802000 | #Constraints: 212367 496.91/507.26 c #Conflicts: 803000 | #Constraints: 213367 496.91/507.26 c #Conflicts: 804000 | #Constraints: 214367 496.91/507.26 c #Conflicts: 805000 | #Constraints: 215367 496.91/507.26 c #Conflicts: 806000 | #Constraints: 216367 496.91/507.26 c #Conflicts: 807000 | #Constraints: 217367 496.91/507.26 c #Conflicts: 808000 | #Constraints: 218367 496.91/507.26 c #Conflicts: 809000 | #Constraints: 219367 496.91/507.26 c #Conflicts: 810000 | #Constraints: 220367 496.91/507.26 c #Conflicts: 811000 | #Constraints: 221367 496.91/507.26 c #Conflicts: 812000 | #Constraints: 222367 496.91/507.26 c #Conflicts: 813000 | #Constraints: 223367 496.91/507.26 c #Conflicts: 814000 | #Constraints: 224367 496.91/507.26 c #Conflicts: 815000 | #Constraints: 225367 496.91/507.26 c #Conflicts: 816000 | #Constraints: 226367 496.91/507.26 c #Conflicts: 817000 | #Constraints: 227367 496.91/507.26 c INPROCESSING 496.91/507.26 c GARBAGE COLLECT 496.91/507.26 c rational objective 810.576 532.93/543.37 c #Conflicts: 818000 | #Constraints: 173000 532.93/543.37 c #Conflicts: 819000 | #Constraints: 174000 532.93/543.37 c #Conflicts: 820000 | #Constraints: 175000 532.93/543.37 c #Conflicts: 821000 | #Constraints: 176000 532.93/543.37 c #Conflicts: 822000 | #Constraints: 177000 532.93/543.37 c #Conflicts: 823000 | #Constraints: 178000 532.93/543.37 c #Conflicts: 824000 | #Constraints: 179000 532.93/543.37 c #Conflicts: 825000 | #Constraints: 180000 532.93/543.37 c #Conflicts: 826000 | #Constraints: 181000 532.93/543.37 c #Conflicts: 827000 | #Constraints: 182000 532.93/543.37 c #Conflicts: 828000 | #Constraints: 183000 532.93/543.37 c #Conflicts: 829000 | #Constraints: 184000 532.93/543.37 c #Conflicts: 830000 | #Constraints: 185000 532.93/543.37 c #Conflicts: 831000 | #Constraints: 186000 532.93/543.37 c #Conflicts: 832000 | #Constraints: 187000 532.93/543.37 c #Conflicts: 833000 | #Constraints: 188000 532.93/543.37 c #Conflicts: 834000 | #Constraints: 189000 532.93/543.37 c #Conflicts: 835000 | #Constraints: 190000 532.93/543.37 c #Conflicts: 836000 | #Constraints: 191000 532.93/543.37 c #Conflicts: 837000 | #Constraints: 192000 532.93/543.37 c #Conflicts: 838000 | #Constraints: 193000 532.93/543.37 c #Conflicts: 839000 | #Constraints: 194000 532.93/543.37 c #Conflicts: 840000 | #Constraints: 195000 532.93/543.37 c #Conflicts: 841000 | #Constraints: 196000 532.93/543.37 c #Conflicts: 842000 | #Constraints: 197000 532.93/543.37 c #Conflicts: 843000 | #Constraints: 198000 532.93/543.37 c #Conflicts: 844000 | #Constraints: 199000 532.93/543.37 c #Conflicts: 845000 | #Constraints: 200000 532.93/543.37 c #Conflicts: 846000 | #Constraints: 201000 532.93/543.37 c #Conflicts: 847000 | #Constraints: 202000 532.93/543.37 c #Conflicts: 848000 | #Constraints: 203000 532.93/543.37 c #Conflicts: 849000 | #Constraints: 204000 532.93/543.37 c #Conflicts: 850000 | #Constraints: 205000 532.93/543.37 c #Conflicts: 851000 | #Constraints: 206000 532.93/543.37 c #Conflicts: 852000 | #Constraints: 207000 532.93/543.37 c #Conflicts: 853000 | #Constraints: 208000 532.93/543.37 c #Conflicts: 854000 | #Constraints: 209000 532.93/543.37 c #Conflicts: 855000 | #Constraints: 210000 532.93/543.37 c #Conflicts: 856000 | #Constraints: 211000 532.93/543.37 c #Conflicts: 857000 | #Constraints: 212000 532.93/543.37 c #Conflicts: 858000 | #Constraints: 213000 532.93/543.37 c #Conflicts: 859000 | #Constraints: 214000 532.93/543.37 c #Conflicts: 860000 | #Constraints: 215000 532.93/543.37 c #Conflicts: 861000 | #Constraints: 216000 532.93/543.37 c #Conflicts: 862000 | #Constraints: 217000 532.93/543.37 c #Conflicts: 863000 | #Constraints: 218000 532.93/543.37 c #Conflicts: 864000 | #Constraints: 219000 532.93/543.37 c #Conflicts: 865000 | #Constraints: 220000 532.93/543.37 c #Conflicts: 866000 | #Constraints: 221000 532.93/543.37 c #Conflicts: 867000 | #Constraints: 222000 532.93/543.37 c #Conflicts: 868000 | #Constraints: 223000 532.93/543.37 c #Conflicts: 869000 | #Constraints: 224000 532.93/543.37 c #Conflicts: 870000 | #Constraints: 225000 532.93/543.37 c #Conflicts: 871000 | #Constraints: 226000 532.93/543.37 c #Conflicts: 872000 | #Constraints: 227000 532.93/543.37 c #Conflicts: 873000 | #Constraints: 228000 532.93/543.37 c #Conflicts: 874000 | #Constraints: 229000 532.93/543.37 c #Conflicts: 875000 | #Constraints: 230000 532.93/543.37 c #Conflicts: 876000 | #Constraints: 231000 532.93/543.37 c INPROCESSING 532.93/543.37 c GARBAGE COLLECT 532.93/543.37 c rational objective 812.019 573.13/583.63 c #Conflicts: 877000 | #Constraints: 175156 573.13/583.63 c #Conflicts: 878000 | #Constraints: 176156 573.13/583.63 c #Conflicts: 879000 | #Constraints: 177156 573.13/583.63 c #Conflicts: 880000 | #Constraints: 178156 573.13/583.63 c #Conflicts: 881000 | #Constraints: 179156 573.13/583.63 c #Conflicts: 882000 | #Constraints: 180156 573.13/583.63 c #Conflicts: 883000 | #Constraints: 181156 573.13/583.63 c #Conflicts: 884000 | #Constraints: 182156 573.13/583.63 c #Conflicts: 885000 | #Constraints: 183156 573.13/583.63 c #Conflicts: 886000 | #Constraints: 184156 573.13/583.63 c #Conflicts: 887000 | #Constraints: 185156 573.13/583.63 c #Conflicts: 888000 | #Constraints: 186156 573.13/583.63 c #Conflicts: 889000 | #Constraints: 187156 573.13/583.63 c #Conflicts: 890000 | #Constraints: 188156 573.13/583.63 c #Conflicts: 891000 | #Constraints: 189156 573.13/583.63 c #Conflicts: 892000 | #Constraints: 190156 573.13/583.63 c #Conflicts: 893000 | #Constraints: 191156 573.13/583.63 c #Conflicts: 894000 | #Constraints: 192156 573.13/583.63 c #Conflicts: 895000 | #Constraints: 193156 573.13/583.63 c #Conflicts: 896000 | #Constraints: 194156 573.13/583.63 c #Conflicts: 897000 | #Constraints: 195156 573.13/583.63 c #Conflicts: 898000 | #Constraints: 196156 573.13/583.63 c #Conflicts: 899000 | #Constraints: 197156 573.13/583.63 c #Conflicts: 900000 | #Constraints: 198156 573.13/583.63 c #Conflicts: 901000 | #Constraints: 199156 573.13/583.63 c #Conflicts: 902000 | #Constraints: 200156 573.13/583.63 c #Conflicts: 903000 | #Constraints: 201156 573.13/583.63 c #Conflicts: 904000 | #Constraints: 202156 573.13/583.63 c #Conflicts: 905000 | #Constraints: 203156 573.13/583.63 c #Conflicts: 906000 | #Constraints: 204156 573.13/583.63 c #Conflicts: 907000 | #Constraints: 205156 573.13/583.63 c #Conflicts: 908000 | #Constraints: 206156 573.13/583.63 c #Conflicts: 909000 | #Constraints: 207156 573.13/583.63 c #Conflicts: 910000 | #Constraints: 208156 573.13/583.63 c #Conflicts: 911000 | #Constraints: 209156 573.13/583.63 c #Conflicts: 912000 | #Constraints: 210156 573.13/583.63 c #Conflicts: 913000 | #Constraints: 211156 573.13/583.63 c #Conflicts: 914000 | #Constraints: 212156 573.13/583.63 c #Conflicts: 915000 | #Constraints: 213156 573.13/583.63 c #Conflicts: 916000 | #Constraints: 214156 573.13/583.63 c #Conflicts: 917000 | #Constraints: 215156 573.13/583.63 c #Conflicts: 918000 | #Constraints: 216156 573.13/583.63 c #Conflicts: 919000 | #Constraints: 217156 573.13/583.63 c #Conflicts: 920000 | #Constraints: 218156 573.13/583.63 c #Conflicts: 921000 | #Constraints: 219156 573.13/583.63 c #Conflicts: 922000 | #Constraints: 220156 573.13/583.63 c #Conflicts: 923000 | #Constraints: 221156 573.13/583.63 c #Conflicts: 924000 | #Constraints: 222156 573.13/583.63 c #Conflicts: 925000 | #Constraints: 223156 573.13/583.63 c #Conflicts: 926000 | #Constraints: 224156 573.13/583.63 c #Conflicts: 927000 | #Constraints: 225156 573.13/583.63 c #Conflicts: 928000 | #Constraints: 226156 573.13/583.63 c #Conflicts: 929000 | #Constraints: 227156 573.13/583.63 c #Conflicts: 930000 | #Constraints: 228156 573.13/583.63 c #Conflicts: 931000 | #Constraints: 229156 573.13/583.63 c #Conflicts: 932000 | #Constraints: 230156 573.13/583.63 c #Conflicts: 933000 | #Constraints: 231156 573.13/583.63 c #Conflicts: 934000 | #Constraints: 232156 573.13/583.63 c #Conflicts: 935000 | #Constraints: 233156 573.13/583.63 c #Conflicts: 936000 | #Constraints: 234156 573.13/583.63 c INPROCESSING 573.13/583.63 c GARBAGE COLLECT 573.13/583.63 c rational objective 813.592 618.13/628.74 c #Conflicts: 937000 | #Constraints: 176421 618.13/628.74 c #Conflicts: 938000 | #Constraints: 177421 618.13/628.74 c #Conflicts: 939000 | #Constraints: 178421 618.13/628.74 c #Conflicts: 940000 | #Constraints: 179421 618.13/628.74 c #Conflicts: 941000 | #Constraints: 180421 618.13/628.74 c #Conflicts: 942000 | #Constraints: 181421 618.13/628.74 c #Conflicts: 943000 | #Constraints: 182421 618.13/628.74 c #Conflicts: 944000 | #Constraints: 183421 618.13/628.74 c #Conflicts: 945000 | #Constraints: 184421 618.13/628.74 c #Conflicts: 946000 | #Constraints: 185421 618.13/628.74 c #Conflicts: 947000 | #Constraints: 186421 618.13/628.74 c #Conflicts: 948000 | #Constraints: 187421 618.13/628.74 c #Conflicts: 949000 | #Constraints: 188421 618.13/628.74 c #Conflicts: 950000 | #Constraints: 189421 618.13/628.74 c #Conflicts: 951000 | #Constraints: 190421 618.13/628.74 c #Conflicts: 952000 | #Constraints: 191421 618.13/628.74 c #Conflicts: 953000 | #Constraints: 192421 618.13/628.74 c #Conflicts: 954000 | #Constraints: 193421 618.13/628.74 c #Conflicts: 955000 | #Constraints: 194421 618.13/628.74 c #Conflicts: 956000 | #Constraints: 195421 618.13/628.74 c #Conflicts: 957000 | #Constraints: 196421 618.13/628.74 c #Conflicts: 958000 | #Constraints: 197421 618.13/628.74 c #Conflicts: 959000 | #Constraints: 198421 618.13/628.74 c #Conflicts: 960000 | #Constraints: 199421 618.13/628.74 c #Conflicts: 961000 | #Constraints: 200421 618.13/628.74 c #Conflicts: 962000 | #Constraints: 201421 618.13/628.74 c #Conflicts: 963000 | #Constraints: 202421 618.13/628.74 c #Conflicts: 964000 | #Constraints: 203421 618.13/628.74 c #Conflicts: 965000 | #Constraints: 204421 618.13/628.74 c #Conflicts: 966000 | #Constraints: 205421 618.13/628.74 c #Conflicts: 967000 | #Constraints: 206421 618.13/628.74 c #Conflicts: 968000 | #Constraints: 207421 618.13/628.74 c #Conflicts: 969000 | #Constraints: 208421 618.13/628.74 c #Conflicts: 970000 | #Constraints: 209421 618.13/628.74 c #Conflicts: 971000 | #Constraints: 210421 618.13/628.74 c #Conflicts: 972000 | #Constraints: 211421 618.13/628.74 c #Conflicts: 973000 | #Constraints: 212421 618.13/628.74 c #Conflicts: 974000 | #Constraints: 213421 618.13/628.74 c #Conflicts: 975000 | #Constraints: 214421 618.13/628.74 c #Conflicts: 976000 | #Constraints: 215421 618.13/628.74 c #Conflicts: 977000 | #Constraints: 216421 618.13/628.74 c #Conflicts: 978000 | #Constraints: 217421 618.13/628.74 c #Conflicts: 979000 | #Constraints: 218421 618.13/628.74 c #Conflicts: 980000 | #Constraints: 219421 618.13/628.74 c #Conflicts: 981000 | #Constraints: 220421 618.13/628.74 c #Conflicts: 982000 | #Constraints: 221421 618.13/628.74 c #Conflicts: 983000 | #Constraints: 222421 618.13/628.74 c #Conflicts: 984000 | #Constraints: 223421 618.13/628.74 c #Conflicts: 985000 | #Constraints: 224421 618.13/628.74 c #Conflicts: 986000 | #Constraints: 225421 618.13/628.74 c #Conflicts: 987000 | #Constraints: 226421 618.13/628.74 c #Conflicts: 988000 | #Constraints: 227421 618.13/628.74 c #Conflicts: 989000 | #Constraints: 228421 618.13/628.74 c #Conflicts: 990000 | #Constraints: 229421 618.13/628.74 c #Conflicts: 991000 | #Constraints: 230421 618.13/628.74 c #Conflicts: 992000 | #Constraints: 231421 618.13/628.74 c #Conflicts: 993000 | #Constraints: 232421 618.13/628.74 c #Conflicts: 994000 | #Constraints: 233421 618.13/628.74 c #Conflicts: 995000 | #Constraints: 234421 618.13/628.74 c #Conflicts: 996000 | #Constraints: 235421 618.13/628.74 c #Conflicts: 997000 | #Constraints: 236421 618.13/628.74 c #Conflicts: 998000 | #Constraints: 237421 618.13/628.74 c INPROCESSING 618.13/628.74 c GARBAGE COLLECT 618.13/628.74 c rational objective 814.454 658.54/669.23 c #Conflicts: 999000 | #Constraints: 178532 658.54/669.23 c #Conflicts: 1000000 | #Constraints: 179532 658.54/669.23 c #Conflicts: 1001000 | #Constraints: 180532 658.54/669.23 c #Conflicts: 1002000 | #Constraints: 181532 658.54/669.23 c #Conflicts: 1003000 | #Constraints: 182532 658.54/669.23 c #Conflicts: 1004000 | #Constraints: 183532 658.54/669.23 c #Conflicts: 1005000 | #Constraints: 184532 658.54/669.23 c #Conflicts: 1006000 | #Constraints: 185532 658.54/669.23 c #Conflicts: 1007000 | #Constraints: 186532 658.54/669.23 c #Conflicts: 1008000 | #Constraints: 187532 658.54/669.23 c #Conflicts: 1009000 | #Constraints: 188532 658.54/669.23 c #Conflicts: 1010000 | #Constraints: 189532 658.54/669.23 c #Conflicts: 1011000 | #Constraints: 190532 658.54/669.23 c #Conflicts: 1012000 | #Constraints: 191532 658.54/669.23 c #Conflicts: 1013000 | #Constraints: 192532 658.54/669.23 c #Conflicts: 1014000 | #Constraints: 193532 658.54/669.23 c #Conflicts: 1015000 | #Constraints: 194532 658.54/669.23 c #Conflicts: 1016000 | #Constraints: 195532 658.54/669.23 c #Conflicts: 1017000 | #Constraints: 196532 658.54/669.23 c #Conflicts: 1018000 | #Constraints: 197532 658.54/669.23 c #Conflicts: 1019000 | #Constraints: 198532 658.54/669.23 c #Conflicts: 1020000 | #Constraints: 199532 658.54/669.23 c #Conflicts: 1021000 | #Constraints: 200532 658.54/669.23 c #Conflicts: 1022000 | #Constraints: 201532 658.54/669.23 c #Conflicts: 1023000 | #Constraints: 202532 658.54/669.23 c #Conflicts: 1024000 | #Constraints: 203532 658.54/669.23 c #Conflicts: 1025000 | #Constraints: 204532 658.54/669.23 c #Conflicts: 1026000 | #Constraints: 205532 658.54/669.23 c #Conflicts: 1027000 | #Constraints: 206532 658.54/669.23 c #Conflicts: 1028000 | #Constraints: 207532 658.54/669.23 c #Conflicts: 1029000 | #Constraints: 208532 658.54/669.23 c #Conflicts: 1030000 | #Constraints: 209532 658.54/669.23 c #Conflicts: 1031000 | #Constraints: 210532 658.54/669.23 c #Conflicts: 1032000 | #Constraints: 211532 658.54/669.23 c #Conflicts: 1033000 | #Constraints: 212532 658.54/669.23 c #Conflicts: 1034000 | #Constraints: 213532 658.54/669.23 c #Conflicts: 1035000 | #Constraints: 214532 658.54/669.23 c #Conflicts: 1036000 | #Constraints: 215532 658.54/669.23 c #Conflicts: 1037000 | #Constraints: 216532 658.54/669.23 c #Conflicts: 1038000 | #Constraints: 217532 658.54/669.23 c #Conflicts: 1039000 | #Constraints: 218532 658.54/669.23 c #Conflicts: 1040000 | #Constraints: 219532 658.54/669.23 c #Conflicts: 1041000 | #Constraints: 220532 658.54/669.23 c #Conflicts: 1042000 | #Constraints: 221532 658.54/669.23 c #Conflicts: 1043000 | #Constraints: 222532 658.54/669.23 c #Conflicts: 1044000 | #Constraints: 223532 658.54/669.23 c #Conflicts: 1045000 | #Constraints: 224532 658.54/669.23 c #Conflicts: 1046000 | #Constraints: 225532 658.54/669.23 c #Conflicts: 1047000 | #Constraints: 226532 658.54/669.23 c #Conflicts: 1048000 | #Constraints: 227532 658.54/669.23 c #Conflicts: 1049000 | #Constraints: 228532 658.54/669.23 c #Conflicts: 1050000 | #Constraints: 229532 658.54/669.23 c #Conflicts: 1051000 | #Constraints: 230532 658.54/669.23 c #Conflicts: 1052000 | #Constraints: 231532 658.54/669.23 c #Conflicts: 1053000 | #Constraints: 232532 658.54/669.23 c #Conflicts: 1054000 | #Constraints: 233532 658.54/669.23 c #Conflicts: 1055000 | #Constraints: 234532 658.54/669.23 c #Conflicts: 1056000 | #Constraints: 235532 658.54/669.23 c #Conflicts: 1057000 | #Constraints: 236532 658.54/669.23 c #Conflicts: 1058000 | #Constraints: 237532 658.54/669.23 c #Conflicts: 1059000 | #Constraints: 238532 658.54/669.23 c #Conflicts: 1060000 | #Constraints: 239532 658.54/669.23 c #Conflicts: 1061000 | #Constraints: 240532 658.54/669.23 c #Conflicts: 1062000 | #Constraints: 241532 658.54/669.23 c INPROCESSING 658.54/669.23 c GARBAGE COLLECT 658.54/669.23 c rational objective 815.234 696.75/707.57 c #Conflicts: 1063000 | #Constraints: 180750 696.75/707.57 c #Conflicts: 1064000 | #Constraints: 181750 696.75/707.57 c #Conflicts: 1065000 | #Constraints: 182750 696.75/707.57 c #Conflicts: 1066000 | #Constraints: 183750 696.75/707.57 c #Conflicts: 1067000 | #Constraints: 184750 696.75/707.57 c #Conflicts: 1068000 | #Constraints: 185750 696.75/707.57 c #Conflicts: 1069000 | #Constraints: 186750 696.75/707.57 c #Conflicts: 1070000 | #Constraints: 187750 696.75/707.57 c #Conflicts: 1071000 | #Constraints: 188750 696.75/707.57 c #Conflicts: 1072000 | #Constraints: 189750 696.75/707.57 c #Conflicts: 1073000 | #Constraints: 190750 696.75/707.57 c #Conflicts: 1074000 | #Constraints: 191750 696.75/707.57 c #Conflicts: 1075000 | #Constraints: 192750 696.75/707.57 c #Conflicts: 1076000 | #Constraints: 193750 696.75/707.57 c #Conflicts: 1077000 | #Constraints: 194750 696.75/707.57 c #Conflicts: 1078000 | #Constraints: 195750 696.75/707.57 c #Conflicts: 1079000 | #Constraints: 196750 696.75/707.57 c #Conflicts: 1080000 | #Constraints: 197750 696.75/707.57 c #Conflicts: 1081000 | #Constraints: 198750 696.75/707.57 c #Conflicts: 1082000 | #Constraints: 199750 696.75/707.57 c #Conflicts: 1083000 | #Constraints: 200750 696.75/707.57 c #Conflicts: 1084000 | #Constraints: 201750 696.75/707.57 c #Conflicts: 1085000 | #Constraints: 202750 696.75/707.57 c #Conflicts: 1086000 | #Constraints: 203750 696.75/707.57 c #Conflicts: 1087000 | #Constraints: 204750 696.75/707.57 c #Conflicts: 1088000 | #Constraints: 205750 696.75/707.57 c #Conflicts: 1089000 | #Constraints: 206750 696.75/707.57 c #Conflicts: 1090000 | #Constraints: 207750 696.75/707.57 c #Conflicts: 1091000 | #Constraints: 208750 696.75/707.57 c #Conflicts: 1092000 | #Constraints: 209750 696.75/707.57 c #Conflicts: 1093000 | #Constraints: 210750 696.75/707.57 c #Conflicts: 1094000 | #Constraints: 211750 696.75/707.57 c #Conflicts: 1095000 | #Constraints: 212750 696.75/707.57 c #Conflicts: 1096000 | #Constraints: 213750 696.75/707.57 c #Conflicts: 1097000 | #Constraints: 214750 696.75/707.57 c #Conflicts: 1098000 | #Constraints: 215750 696.75/707.57 c #Conflicts: 1099000 | #Constraints: 216750 696.75/707.57 c #Conflicts: 1100000 | #Constraints: 217750 696.75/707.57 c #Conflicts: 1101000 | #Constraints: 218750 696.75/707.57 c #Conflicts: 1102000 | #Constraints: 219750 696.75/707.57 c #Conflicts: 1103000 | #Constraints: 220750 696.75/707.57 c #Conflicts: 1104000 | #Constraints: 221750 696.75/707.57 c #Conflicts: 1105000 | #Constraints: 222750 696.75/707.57 c #Conflicts: 1106000 | #Constraints: 223750 696.75/707.57 c #Conflicts: 1107000 | #Constraints: 224750 696.75/707.57 c #Conflicts: 1108000 | #Constraints: 225750 696.75/707.57 c #Conflicts: 1109000 | #Constraints: 226750 696.75/707.57 c #Conflicts: 1110000 | #Constraints: 227750 696.75/707.57 c #Conflicts: 1111000 | #Constraints: 228750 696.75/707.57 c #Conflicts: 1112000 | #Constraints: 229750 696.75/707.57 c #Conflicts: 1113000 | #Constraints: 230750 696.75/707.57 c #Conflicts: 1114000 | #Constraints: 231750 696.75/707.57 c #Conflicts: 1115000 | #Constraints: 232750 696.75/707.57 c #Conflicts: 1116000 | #Constraints: 233750 696.75/707.57 c #Conflicts: 1117000 | #Constraints: 234750 696.75/707.57 c #Conflicts: 1118000 | #Constraints: 235750 696.75/707.57 c #Conflicts: 1119000 | #Constraints: 236750 696.75/707.57 c #Conflicts: 1120000 | #Constraints: 237750 696.75/707.57 c #Conflicts: 1121000 | #Constraints: 238750 696.75/707.57 c #Conflicts: 1122000 | #Constraints: 239750 696.75/707.57 c #Conflicts: 1123000 | #Constraints: 240750 696.75/707.57 c #Conflicts: 1124000 | #Constraints: 241750 696.75/707.57 c #Conflicts: 1125000 | #Constraints: 242750 696.75/707.57 c #Conflicts: 1126000 | #Constraints: 243750 696.75/707.57 c #Conflicts: 1127000 | #Constraints: 244750 696.75/707.57 c #Conflicts: 1128000 | #Constraints: 245750 696.75/707.57 c INPROCESSING 696.75/707.57 c GARBAGE COLLECT 696.75/707.57 c rational objective 816.309 740.54/751.48 c #Conflicts: 1129000 | #Constraints: 182374 740.54/751.48 c #Conflicts: 1130000 | #Constraints: 183374 740.54/751.48 c #Conflicts: 1131000 | #Constraints: 184374 740.54/751.48 c #Conflicts: 1132000 | #Constraints: 185374 740.54/751.48 c #Conflicts: 1133000 | #Constraints: 186374 740.54/751.48 c #Conflicts: 1134000 | #Constraints: 187374 740.54/751.48 c #Conflicts: 1135000 | #Constraints: 188374 740.54/751.48 c #Conflicts: 1136000 | #Constraints: 189374 740.54/751.48 c #Conflicts: 1137000 | #Constraints: 190374 740.54/751.48 c #Conflicts: 1138000 | #Constraints: 191374 740.54/751.48 c #Conflicts: 1139000 | #Constraints: 192374 740.54/751.48 c #Conflicts: 1140000 | #Constraints: 193374 740.54/751.48 c #Conflicts: 1141000 | #Constraints: 194374 740.54/751.48 c #Conflicts: 1142000 | #Constraints: 195374 740.54/751.48 c #Conflicts: 1143000 | #Constraints: 196374 740.54/751.48 c #Conflicts: 1144000 | #Constraints: 197374 740.54/751.48 c #Conflicts: 1145000 | #Constraints: 198374 740.54/751.48 c #Conflicts: 1146000 | #Constraints: 199374 740.54/751.48 c #Conflicts: 1147000 | #Constraints: 200374 740.54/751.48 c #Conflicts: 1148000 | #Constraints: 201374 740.54/751.48 c #Conflicts: 1149000 | #Constraints: 202374 740.54/751.48 c #Conflicts: 1150000 | #Constraints: 203374 740.54/751.48 c #Conflicts: 1151000 | #Constraints: 204374 740.54/751.48 c #Conflicts: 1152000 | #Constraints: 205374 740.54/751.48 c #Conflicts: 1153000 | #Constraints: 206374 740.54/751.48 c #Conflicts: 1154000 | #Constraints: 207374 740.54/751.48 c #Conflicts: 1155000 | #Constraints: 208374 740.54/751.48 c #Conflicts: 1156000 | #Constraints: 209374 740.54/751.48 c #Conflicts: 1157000 | #Constraints: 210374 740.54/751.48 c #Conflicts: 1158000 | #Constraints: 211374 740.54/751.48 c #Conflicts: 1159000 | #Constraints: 212374 740.54/751.48 c #Conflicts: 1160000 | #Constraints: 213374 740.54/751.48 c #Conflicts: 1161000 | #Constraints: 214374 740.54/751.48 c #Conflicts: 1162000 | #Constraints: 215374 740.54/751.48 c #Conflicts: 1163000 | #Constraints: 216374 740.54/751.48 c #Conflicts: 1164000 | #Constraints: 217374 740.54/751.48 c #Conflicts: 1165000 | #Constraints: 218374 740.54/751.48 c #Conflicts: 1166000 | #Constraints: 219374 740.54/751.48 c #Conflicts: 1167000 | #Constraints: 220374 740.54/751.48 c #Conflicts: 1168000 | #Constraints: 221374 740.54/751.48 c #Conflicts: 1169000 | #Constraints: 222374 740.54/751.48 c #Conflicts: 1170000 | #Constraints: 223374 740.54/751.48 c #Conflicts: 1171000 | #Constraints: 224374 740.54/751.48 c #Conflicts: 1172000 | #Constraints: 225374 740.54/751.48 c #Conflicts: 1173000 | #Constraints: 226374 740.54/751.48 c #Conflicts: 1174000 | #Constraints: 227374 740.54/751.48 c #Conflicts: 1175000 | #Constraints: 228374 740.54/751.48 c #Conflicts: 1176000 | #Constraints: 229374 740.54/751.48 c #Conflicts: 1177000 | #Constraints: 230374 740.54/751.48 c #Conflicts: 1178000 | #Constraints: 231374 740.54/751.48 c #Conflicts: 1179000 | #Constraints: 232374 740.54/751.48 c #Conflicts: 1180000 | #Constraints: 233374 740.54/751.48 c #Conflicts: 1181000 | #Constraints: 234374 740.54/751.48 c #Conflicts: 1182000 | #Constraints: 235374 740.54/751.48 c #Conflicts: 1183000 | #Constraints: 236374 740.54/751.48 c #Conflicts: 1184000 | #Constraints: 237374 740.54/751.48 c #Conflicts: 1185000 | #Constraints: 238374 740.54/751.48 c #Conflicts: 1186000 | #Constraints: 239374 740.54/751.48 c #Conflicts: 1187000 | #Constraints: 240374 740.54/751.48 c #Conflicts: 1188000 | #Constraints: 241374 740.54/751.48 c #Conflicts: 1189000 | #Constraints: 242374 740.54/751.48 c #Conflicts: 1190000 | #Constraints: 243374 740.54/751.48 c #Conflicts: 1191000 | #Constraints: 244374 740.54/751.48 c #Conflicts: 1192000 | #Constraints: 245374 740.54/751.48 c #Conflicts: 1193000 | #Constraints: 246374 740.54/751.48 c #Conflicts: 1194000 | #Constraints: 247374 740.54/751.48 c #Conflicts: 1195000 | #Constraints: 248374 740.54/751.48 c #Conflicts: 1196000 | #Constraints: 249374 740.54/751.48 c #Conflicts: 1197000 | #Constraints: 250374 740.54/751.48 c INPROCESSING 740.54/751.48 c GARBAGE COLLECT 740.54/751.48 c rational objective 818.011 785.64/796.60 c #Conflicts: 1198000 | #Constraints: 183137 785.64/796.60 c #Conflicts: 1199000 | #Constraints: 184137 785.64/796.60 c #Conflicts: 1200000 | #Constraints: 185137 785.64/796.60 c #Conflicts: 1201000 | #Constraints: 186137 785.64/796.60 c #Conflicts: 1202000 | #Constraints: 187137 785.64/796.60 c #Conflicts: 1203000 | #Constraints: 188137 785.64/796.60 c #Conflicts: 1204000 | #Constraints: 189137 785.64/796.60 c #Conflicts: 1205000 | #Constraints: 190137 785.64/796.60 c #Conflicts: 1206000 | #Constraints: 191137 785.64/796.60 c #Conflicts: 1207000 | #Constraints: 192137 785.64/796.60 c #Conflicts: 1208000 | #Constraints: 193137 785.64/796.60 c #Conflicts: 1209000 | #Constraints: 194137 785.64/796.60 c #Conflicts: 1210000 | #Constraints: 195137 785.64/796.60 c #Conflicts: 1211000 | #Constraints: 196137 785.64/796.60 c #Conflicts: 1212000 | #Constraints: 197137 785.64/796.60 c #Conflicts: 1213000 | #Constraints: 198137 785.64/796.60 c #Conflicts: 1214000 | #Constraints: 199137 785.64/796.60 c #Conflicts: 1215000 | #Constraints: 200137 785.64/796.60 c #Conflicts: 1216000 | #Constraints: 201137 785.64/796.60 c #Conflicts: 1217000 | #Constraints: 202137 785.64/796.60 c #Conflicts: 1218000 | #Constraints: 203137 785.64/796.60 c #Conflicts: 1219000 | #Constraints: 204137 785.64/796.60 c #Conflicts: 1220000 | #Constraints: 205137 785.64/796.60 c #Conflicts: 1221000 | #Constraints: 206137 785.64/796.60 c #Conflicts: 1222000 | #Constraints: 207137 785.64/796.60 c #Conflicts: 1223000 | #Constraints: 208137 785.64/796.60 c #Conflicts: 1224000 | #Constraints: 209137 785.64/796.60 c #Conflicts: 1225000 | #Constraints: 210137 785.64/796.60 c #Conflicts: 1226000 | #Constraints: 211137 785.64/796.60 c #Conflicts: 1227000 | #Constraints: 212137 785.64/796.60 c #Conflicts: 1228000 | #Constraints: 213137 785.64/796.60 c #Conflicts: 1229000 | #Constraints: 214137 785.64/796.60 c #Conflicts: 1230000 | #Constraints: 215137 785.64/796.60 c #Conflicts: 1231000 | #Constraints: 216137 785.64/796.60 c #Conflicts: 1232000 | #Constraints: 217137 785.64/796.60 c #Conflicts: 1233000 | #Constraints: 218137 785.64/796.60 c #Conflicts: 1234000 | #Constraints: 219137 785.64/796.60 c #Conflicts: 1235000 | #Constraints: 220137 785.64/796.60 c #Conflicts: 1236000 | #Constraints: 221137 785.64/796.60 c #Conflicts: 1237000 | #Constraints: 222137 785.64/796.60 c #Conflicts: 1238000 | #Constraints: 223137 785.64/796.60 c #Conflicts: 1239000 | #Constraints: 224137 785.64/796.60 c #Conflicts: 1240000 | #Constraints: 225137 785.64/796.60 c #Conflicts: 1241000 | #Constraints: 226137 785.64/796.60 c #Conflicts: 1242000 | #Constraints: 227137 785.64/796.60 c #Conflicts: 1243000 | #Constraints: 228137 785.64/796.60 c #Conflicts: 1244000 | #Constraints: 229137 785.64/796.60 c #Conflicts: 1245000 | #Constraints: 230137 785.64/796.60 c #Conflicts: 1246000 | #Constraints: 231137 785.64/796.60 c #Conflicts: 1247000 | #Constraints: 232137 785.64/796.60 c #Conflicts: 1248000 | #Constraints: 233137 785.64/796.60 c #Conflicts: 1249000 | #Constraints: 234137 785.64/796.60 c #Conflicts: 1250000 | #Constraints: 235137 785.64/796.60 c #Conflicts: 1251000 | #Constraints: 236137 785.64/796.60 c #Conflicts: 1252000 | #Constraints: 237137 785.64/796.60 c #Conflicts: 1253000 | #Constraints: 238137 785.64/796.60 c #Conflicts: 1254000 | #Constraints: 239137 785.64/796.60 c #Conflicts: 1255000 | #Constraints: 240137 785.64/796.60 c #Conflicts: 1256000 | #Constraints: 241137 785.64/796.60 c #Conflicts: 1257000 | #Constraints: 242137 785.64/796.60 c #Conflicts: 1258000 | #Constraints: 243137 785.64/796.60 c #Conflicts: 1259000 | #Constraints: 244137 785.64/796.60 c #Conflicts: 1260000 | #Constraints: 245137 785.64/796.60 c #Conflicts: 1261000 | #Constraints: 246137 785.64/796.60 c #Conflicts: 1262000 | #Constraints: 247137 785.64/796.60 c #Conflicts: 1263000 | #Constraints: 248137 785.64/796.60 c #Conflicts: 1264000 | #Constraints: 249137 785.64/796.60 c #Conflicts: 1265000 | #Constraints: 250137 785.64/796.60 c #Conflicts: 1266000 | #Constraints: 251137 785.64/796.60 c #Conflicts: 1267000 | #Constraints: 252137 785.64/796.60 c INPROCESSING 785.64/796.60 c GARBAGE COLLECT 785.64/796.60 c rational objective 819.82 810.37/821.45 c #Conflicts: 1268000 | #Constraints: 185157 810.37/821.45 c #Conflicts: 1269000 | #Constraints: 186157 810.37/821.45 c #Conflicts: 1270000 | #Constraints: 187157 810.37/821.45 c #Conflicts: 1271000 | #Constraints: 188157 810.37/821.45 c #Conflicts: 1272000 | #Constraints: 189157 810.37/821.45 c #Conflicts: 1273000 | #Constraints: 190157 810.37/821.45 c #Conflicts: 1274000 | #Constraints: 191157 810.37/821.45 c #Conflicts: 1275000 | #Constraints: 192157 810.37/821.45 c #Conflicts: 1276000 | #Constraints: 193157 810.37/821.45 c #Conflicts: 1277000 | #Constraints: 194157 810.37/821.45 c #Conflicts: 1278000 | #Constraints: 195157 810.37/821.45 c #Conflicts: 1279000 | #Constraints: 196157 810.37/821.45 c #Conflicts: 1280000 | #Constraints: 197157 810.37/821.45 c #Conflicts: 1281000 | #Constraints: 198157 810.37/821.45 c #Conflicts: 1282000 | #Constraints: 199157 810.37/821.45 c #Conflicts: 1283000 | #Constraints: 200157 810.37/821.45 c #Conflicts: 1284000 | #Constraints: 201157 810.37/821.45 c #Conflicts: 1285000 | #Constraints: 202157 810.37/821.45 c #Conflicts: 1286000 | #Constraints: 203157 810.37/821.45 c #Conflicts: 1287000 | #Constraints: 204157 810.37/821.45 c #Conflicts: 1288000 | #Constraints: 205157 810.37/821.45 c #Conflicts: 1289000 | #Constraints: 206157 810.37/821.45 c #Conflicts: 1290000 | #Constraints: 207157 810.37/821.45 c #Conflicts: 1291000 | #Constraints: 208157 810.37/821.45 c #Conflicts: 1292000 | #Constraints: 209157 810.37/821.45 c #Conflicts: 1293000 | #Constraints: 210157 810.37/821.45 c #Conflicts: 1294000 | #Constraints: 211157 810.37/821.45 c #Conflicts: 1295000 | #Constraints: 212157 810.37/821.45 c #Conflicts: 1296000 | #Constraints: 213157 810.37/821.45 c #Conflicts: 1297000 | #Constraints: 214157 810.37/821.45 c #Conflicts: 1298000 | #Constraints: 215157 810.37/821.45 c #Conflicts: 1299000 | #Constraints: 216157 810.37/821.45 c #Conflicts: 1300000 | #Constraints: 217157 810.37/821.45 c #Conflicts: 1301000 | #Constraints: 218157 810.37/821.45 c #Conflicts: 1302000 | #Constraints: 219157 810.37/821.45 c #Conflicts: 1303000 | #Constraints: 220157 810.37/821.45 c #Conflicts: 1304000 | #Constraints: 221157 810.37/821.45 c #Conflicts: 1305000 | #Constraints: 222157 810.37/821.45 c #Conflicts: 1306000 | #Constraints: 223157 810.37/821.45 c #Conflicts: 1307000 | #Constraints: 224157 810.37/821.45 c #Conflicts: 1308000 | #Constraints: 225157 810.37/821.45 c #Conflicts: 1309000 | #Constraints: 226157 810.37/821.45 c #Conflicts: 1310000 | #Constraints: 227157 810.37/821.45 c #Conflicts: 1311000 | #Constraints: 228157 810.37/821.45 c cpu time 794.179 s 810.37/821.45 c deterministic time 7610978149 7.61e+09 810.37/821.45 c optimization time 8.1e-05 s 810.37/821.45 c total solve time 793.205 s 810.37/821.45 c core-guided solve time 0 s 810.37/821.45 c propagation time 589.302 s 810.37/821.45 c conflict analysis time 69.3246 s 810.37/821.45 c propagations 232684625 810.37/821.45 c resolve steps 22298630 810.37/821.45 c decisions 7147667 810.37/821.45 c conflicts 1311218 810.37/821.45 c restarts 2554 810.37/821.45 c inprocessing phases 36 810.37/821.45 c input clauses 135854 810.37/821.45 c input cardinalities 528 810.37/821.45 c input general constraints 16338 810.37/821.45 c input average constraint length 3.93 810.37/821.45 c input average constraint degree 1.13 810.37/821.45 c learned clauses 1309368 810.37/821.45 c learned cardinalities 1041 810.37/821.45 c learned general constraints 808 810.37/821.45 c learned average constraint length 107.81 810.37/821.45 c learned average constraint degree 1.02 810.37/821.45 c watched constraints 559 810.37/821.45 c counting constraints 16587 810.37/821.45 c gcd simplifications 3630 810.37/821.45 c detected cardinalities 33 810.37/821.45 c weakened non-implied lits 1050604 810.37/821.45 c weakened non-implying lits 4251 810.37/821.45 c original variables 7354 810.37/821.45 c clausal propagations 223533831 810.37/821.45 c cardinality propagations 1681724 810.37/821.45 c watched propagations 3843 810.37/821.45 c counting propagations 6145196 810.37/821.45 c watch lookups 1860223581 810.37/821.45 c watch backjump lookups 925987378 810.37/821.45 c watch checks 3607823634 810.37/821.45 c propagation checks 376121592 810.37/821.45 c constraint additions 358351540 810.37/821.45 c trail pops 241141041 810.37/821.45 c formula constraints 152720 810.37/821.45 c learned constraints 1311217 810.37/821.45 c bound constraints 0 810.37/821.45 c core-guided constraints 0 810.37/821.45 c encountered formula constraints 10393694 810.37/821.45 c encountered learned constraints 13216154 810.37/821.45 c encountered bound constraints 0 810.37/821.45 c encountered core-guided constraints 0 810.37/821.45 c LP total time 625.457 s 810.37/821.45 c LP solve time 623.84 s 810.37/821.45 c LP constraints added 154902 810.37/821.45 c LP constraints removed 1772 810.37/821.45 c LP pivots internal 1313114 810.37/821.45 c LP pivots root 183976 810.37/821.45 c LP calls 427 810.37/821.45 c LP optimalities 423 810.37/821.45 c LP no pivot count 0 810.37/821.45 c LP infeasibilities 0 810.37/821.45 c LP valid Farkas constraints 0 810.37/821.45 c LP learned Farkas constraints 0 810.37/821.45 c LP basis resets 0 810.37/821.45 c LP cycling count 0 810.44/821.54 c LP singular count 0 810.44/821.54 c LP no primal count 0 810.44/821.54 c LP no farkas count 0 810.44/821.54 c LP other issue count 0 810.44/821.54 c LP Gomory cuts 0 810.44/821.54 c LP learned cuts 2182 810.44/821.54 c LP deleted cuts 1772 810.44/821.54 c LP encountered Gomory constraints 0 810.44/821.54 c LP encountered Farkas constraints 0 810.44/821.54 c LP encountered learned Farkas constraints 0 810.44/821.54 c CG auxiliary variables introduced 0 810.44/821.54 c CG solutions found 0 810.44/821.54 c CG cores constructed 0 810.44/821.54 c CG core cardinality constraints returned 0 810.44/821.54 c CG unit cores 0 810.44/821.54 c CG single cores 0 810.44/821.54 c CG blocks removed during cardinality reduction 0 810.44/821.54 c CG first core best 0 810.44/821.54 c CG decision core best 0 810.44/821.54 c CG core reduction tie 0 810.44/821.54 c CG core degree average 0.00 810.44/821.54 c CG core slack average 0.00 810.44/821.54 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: 64096 MiB (63543 MiB free)
memory of node 1: 64473 MiB (63809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463044-1722344446/watcher-4463044-1722344446 -o /tmp/evaluation-result-4463044-1722344446/solver-4463044-1722344446 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722340763-6809 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463044-1722344446 --lp-cut-gomory=0 HOME/instance-4463044-1722344446.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=9378, runsolver pid=9375
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.11 4.16 4.10 3/246 9379
/proc/meminfo: memFree=130400232/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=37376 memory=2476 CPUtime=0 cores=4,6
/proc/9378/stat : 9378 (roundingsat) D 9375 9378 6796 0 -1 4194304 215 0 0 0 0 0 0 0 20 0 1 0 1041623 38273024 619 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.206957 s]*
/proc/loadavg: 4.11 4.16 4.10 3/245 9379
/proc/meminfo: memFree=130391920/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=37376 memory=2476 CPUtime=0 cores=4,6
/proc/9378/stat : 9378 (roundingsat) D 9375 9378 6796 0 -1 4194304 215 0 0 0 0 0 0 0 20 0 1 0 1041623 38273024 619 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.30752 s]*
/proc/loadavg: 4.11 4.16 4.10 3/243 9386
/proc/meminfo: memFree=130383776/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=37376 memory=2476 CPUtime=0 cores=4,6
/proc/9378/stat : 9378 (roundingsat) D 9375 9378 6796 0 -1 4194304 215 0 0 0 0 0 0 0 20 0 1 0 1041623 38273024 619 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.700278 s]
/proc/loadavg: 4.11 4.16 4.10 2/240 9391
/proc/meminfo: memFree=130383808/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=37376 memory=2476 CPUtime=0 cores=4,6
/proc/9378/stat : 9378 (roundingsat) D 9375 9378 6796 0 -1 4194304 215 0 0 0 0 0 0 0 20 0 1 0 1041623 38273024 619 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+1.50026 s]
/proc/loadavg: 4.10 4.16 4.10 1/246 9402
/proc/meminfo: memFree=130377032/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=37376 memory=2476 CPUtime=0 cores=4,6
/proc/9378/stat : 9378 (roundingsat) D 9375 9378 6796 0 -1 4194304 215 0 0 0 0 0 0 0 20 0 1 0 1041623 38273024 619 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+3.11237 s]
/proc/loadavg: 4.10 4.16 4.10 1/246 9402
/proc/meminfo: memFree=130376888/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=37376 memory=2476 CPUtime=0 cores=4,6
/proc/9378/stat : 9378 (roundingsat) D 9375 9378 6796 0 -1 4194304 215 0 0 0 0 0 0 0 20 0 1 0 1041623 38273024 619 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
heavy processes:
[startup+6.30024 s]
/proc/loadavg: 4.10 4.15 4.10 1/246 9402
/proc/meminfo: memFree=130376888/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=37376 memory=2476 CPUtime=0 cores=4,6
/proc/9378/stat : 9378 (roundingsat) D 9375 9378 6796 0 -1 4194304 215 0 0 0 0 0 0 0 20 0 1 0 1041623 38273024 619 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 4.09 4.15 4.10 5/247 9405
/proc/meminfo: memFree=130051368/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=130028 memory=100128 CPUtime=3.82 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 25779 0 0 0 346 36 0 0 20 0 1 0 1041623 133148672 25032 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 32507 25032 1745 992 0 24365 0
Current children cumulated CPU time: 3.82 s
Current children cumulated vsize: 130028 KiB
Current children cumulated memory: 100128 KiB
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 4.15 4.16 4.10 5/252 9438
/proc/meminfo: memFree=129258584/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=167108 memory=128656 CPUtime=16.58 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 31600 0 0 0 1593 65 0 0 20 0 1 0 1041623 171118592 32164 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 41777 32164 1807 992 0 33635 0
Current children cumulated CPU time: 16.58 s
Current children cumulated vsize: 167108 KiB
Current children cumulated memory: 128656 KiB
heavy processes:
[startup+51.1137 s]
/proc/loadavg: 4.16 4.16 4.10 6/252 9443
/proc/meminfo: memFree=127975176/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=169496 memory=131680 CPUtime=42.11 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 32444 0 0 0 4077 134 0 0 20 0 1 0 1041623 173563904 32920 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 42374 32920 1807 992 0 34232 0
Current children cumulated CPU time: 42.11 s
Current children cumulated vsize: 169496 KiB
Current children cumulated memory: 131680 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.18 4.11 5/252 9452
/proc/meminfo: memFree=126815984/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=188384 memory=146764 CPUtime=93.14 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 35287 0 0 0 9031 283 0 0 20 0 1 0 1041623 192905216 36691 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 47096 36691 1807 992 0 38954 0
Current children cumulated CPU time: 93.14 s
Current children cumulated vsize: 188384 KiB
Current children cumulated memory: 146764 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.18 4.11 5/249 9464
/proc/meminfo: memFree=126016792/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=202448 memory=152452 CPUtime=152.96 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 36743 0 0 0 14877 419 0 0 20 0 1 0 1041623 207306752 38113 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 50612 38113 1807 992 0 42470 0
Current children cumulated CPU time: 152.96 s
Current children cumulated vsize: 202448 KiB
Current children cumulated memory: 152452 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.10 5/248 9474
/proc/meminfo: memFree=125451856/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=204848 memory=159376 CPUtime=212.78 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 37489 0 0 0 20755 523 0 0 20 0 1 0 1041623 209764352 39844 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 51212 39844 1807 992 0 43070 0
Current children cumulated CPU time: 212.78 s
Current children cumulated vsize: 204848 KiB
Current children cumulated memory: 159376 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/247 9485
/proc/meminfo: memFree=125087012/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=209640 memory=163776 CPUtime=272.6 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 38124 0 0 0 26579 681 0 0 20 0 1 0 1041623 214671360 40944 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 52410 40944 1807 992 0 44268 0
Current children cumulated CPU time: 272.6 s
Current children cumulated vsize: 209640 KiB
Current children cumulated memory: 163776 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/244 9497
/proc/meminfo: memFree=124653464/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=228608 memory=172504 CPUtime=332.42 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 39258 0 0 0 32442 800 0 0 20 0 1 0 1041623 234094592 43126 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 57152 43126 1807 992 0 49010 0
Current children cumulated CPU time: 332.42 s
Current children cumulated vsize: 228608 KiB
Current children cumulated memory: 172504 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/244 9507
/proc/meminfo: memFree=124215480/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=228608 memory=176272 CPUtime=392.26 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 39329 0 0 0 38307 919 0 0 20 0 1 0 1041623 234094592 44068 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 57152 44068 1807 992 0 49010 0
Current children cumulated CPU time: 392.26 s
Current children cumulated vsize: 228608 KiB
Current children cumulated memory: 176272 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/244 9519
################
# More data... #
################
/proc/loadavg: 4.10 4.12 4.09 5/244 9530
/proc/meminfo: memFree=123122608/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=233396 memory=195188 CPUtime=511.97 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 39678 0 0 0 50058 1139 0 0 20 0 1 0 1041623 238997504 48797 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 58349 48797 1807 992 0 50207 0
Current children cumulated CPU time: 511.97 s
Current children cumulated vsize: 233396 KiB
Current children cumulated memory: 195188 KiB
[startup+582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/244 9541
/proc/meminfo: memFree=122884980/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=233752 memory=197600 CPUtime=571.84 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 39865 0 0 0 55952 1232 0 0 20 0 1 0 1041623 239362048 49400 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 58438 49400 1807 992 0 50296 0
Current children cumulated CPU time: 571.84 s
Current children cumulated vsize: 233752 KiB
Current children cumulated memory: 197600 KiB
[startup+642.3 s]
/proc/loadavg: 4.24 4.15 4.10 6/247 9556
/proc/meminfo: memFree=122403504/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=233752 memory=201720 CPUtime=631.7 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 39970 0 0 0 61843 1327 0 0 20 0 1 0 1041623 239362048 50430 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 58438 50430 1807 992 0 50296 0
Current children cumulated CPU time: 631.7 s
Current children cumulated vsize: 233752 KiB
Current children cumulated memory: 201720 KiB
[startup+702.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/247 9567
/proc/meminfo: memFree=122127028/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=264572 memory=212248 CPUtime=691.55 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 40111 0 0 0 67730 1425 0 0 20 0 1 0 1041623 270921728 53062 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 66143 53062 1807 992 0 58001 0
Current children cumulated CPU time: 691.55 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 212248 KiB
[startup+762.3 s]
/proc/loadavg: 4.38 4.19 4.11 5/247 9578
/proc/meminfo: memFree=121927280/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=264572 memory=214316 CPUtime=751.41 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 40190 0 0 0 73609 1532 0 0 20 0 1 0 1041623 270921728 53579 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 66143 53579 1807 992 0 58001 0
Current children cumulated CPU time: 751.41 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 214316 KiB
[startup+821.549 s]
# the end of solver process 9378 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=794.182 s, system=16.2647 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.43 4.20 4.12 5/247 9580
/proc/meminfo: memFree=121895124/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=264572 memory=214316 CPUtime=757.11 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 40190 0 0 0 74168 1543 0 0 20 0 1 0 1041623 270921728 53579 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 66143 53579 1807 992 0 58001 0
Current children cumulated CPU time: 757.11 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 214316 KiB
[startup+793.6 s]
/proc/loadavg: 4.62 4.27 4.14 5/247 9583
/proc/meminfo: memFree=121791588/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=264572 memory=214316 CPUtime=782.64 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 40193 0 0 0 76682 1582 0 0 20 0 1 0 1041623 270921728 53579 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 66143 53579 1807 992 0 58001 0
Current children cumulated CPU time: 782.64 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 214316 KiB
[startup+806.4 s]
/proc/loadavg: 4.84 4.33 4.16 5/247 9585
/proc/meminfo: memFree=121609896/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=264572 memory=214316 CPUtime=795.41 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 40196 0 0 0 77941 1600 0 0 20 0 1 0 1041623 270921728 53579 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 66143 53579 1807 992 0 58001 0
Current children cumulated CPU time: 795.41 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 214316 KiB
[startup+812.8 s]
/proc/loadavg: 4.95 4.37 4.18 5/247 9587
/proc/meminfo: memFree=121570240/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=264572 memory=214336 CPUtime=801.8 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 40258 0 0 0 78570 1610 0 0 20 0 1 0 1041623 270921728 53584 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 66143 53584 1807 992 0 58001 0
Current children cumulated CPU time: 801.8 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 214336 KiB
[startup+816 s]*
/proc/loadavg: 4.95 4.37 4.18 5/247 9587
/proc/meminfo: memFree=121509968/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=264572 memory=214336 CPUtime=805 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 40258 0 0 0 78885 1615 0 0 20 0 1 0 1041623 270921728 53584 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 66143 53584 1807 992 0 58001 0
Current children cumulated CPU time: 805 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 214336 KiB
[startup+819.2 s]
/proc/loadavg: 4.87 4.36 4.18 6/247 9589
/proc/meminfo: memFree=121490676/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=264572 memory=214336 CPUtime=808.18 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 40258 0 0 0 79196 1622 0 0 20 0 1 0 1041623 270921728 53584 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 66143 53584 1807 992 0 58001 0
Current children cumulated CPU time: 808.18 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 214336 KiB
[startup+820.8 s]
/proc/loadavg: 4.87 4.36 4.18 5/247 9589
/proc/meminfo: memFree=121477976/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=264572 memory=214336 CPUtime=809.78 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 40258 0 0 0 79353 1625 0 0 20 0 1 0 1041623 270921728 53584 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 66143 53584 1807 992 0 58001 0
Current children cumulated CPU time: 809.78 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 214336 KiB
[startup+821.2 s]
/proc/loadavg: 4.87 4.36 4.18 5/247 9589
/proc/meminfo: memFree=121467356/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=264572 memory=214336 CPUtime=810.17 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 40258 0 0 0 79392 1625 0 0 20 0 1 0 1041623 270921728 53584 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 66143 53584 1807 992 0 58001 0
Current children cumulated CPU time: 810.17 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 214336 KiB
[startup+821.4 s]
/proc/loadavg: 4.87 4.36 4.18 5/247 9589
/proc/meminfo: memFree=121467356/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=264572 memory=214336 CPUtime=810.37 cores=4,6
/proc/9378/stat : 9378 (roundingsat) R 9375 9378 6796 0 -1 4194304 40258 0 0 0 79412 1625 0 0 20 0 1 0 1041623 270921728 53584 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 66143 53584 1807 992 0 58001 0
Current children cumulated CPU time: 810.37 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 214336 KiB
[startup+821.5 s]
/proc/loadavg: 4.87 4.36 4.18 5/247 9589
/proc/meminfo: memFree=121467356/131655788 swapFree=131071996/131071996
[pid=9378] ppid=9375 vsize=264572 memory=214336 CPUtime=810.44 cores=4,6
/proc/9378/stat : 9378 (roundingsat) D 9375 9378 6796 0 -1 4194304 40258 0 0 0 79418 1626 0 0 20 0 1 0 1041623 270921728 53584 134679101440 4194304 8255733 140732192393760 0 0 0 0 0 25182210 0 0 0 17 4 0 0 7 0 0 9037040 9046032 37150720 140732192396126 140732192396388 140732192396388 140732192403401 0
/proc/9378/statm: 66143 53584 1807 992 0 58001 0
Current children cumulated CPU time: 810.44 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 214336 KiB
Child status: 0
Real time (s): 821.549
CPU time (s): 810.446
CPU user time (s): 794.182
CPU system time (s): 16.2647
CPU usage (%): 98.6485
Max. virtual memory (cumulated for all children) (KiB): 264572
Max. memory (cumulated for all children) (KiB): 214336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 794.182
system time used= 16.2647
maximum resident set size= 214336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40267
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= 516
involuntary context switches= 940
# summary of solver processes directly reported to runsolver:
# pid: 9378
# total CPU time (s): 810.446
# total CPU user time (s): 794.182
# total CPU system time (s): 16.2647
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.25666 second user time and 8.06896 second system time
The end
Begin job on nodeC005 at 2024-07-30 15:00:46 IDJOB=4463044 IDBENCH=155502 IDSOLVER=3089 FILE ID=nodeC005/4463044-1722344446 RUNJOBID= nodeC005-1722340763-6809 SLURM_JOB_ID= 8248985 Free space on /tmp= 723748 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-4463044-1722344446/watcher-4463044-1722344446 -o /tmp/evaluation-result-4463044-1722344446/solver-4463044-1722344446 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722340763-6809 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463044-1722344446 --lp-cut-gomory=0 HOME/instance-4463044-1722344446.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3b78757f10307782e0b04e5cada0d1b0 RANDOM SEED=768974306 nodeC005.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 : 1800.530 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.72 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 : 1701.415 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.37 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.215 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.72 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.392 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.37 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 : 1197.225 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.72 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.210 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.37 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 : 2487.513 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.72 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 : 2019.170 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130413376 kB MemAvailable: 130045020 kB Buffers: 47296 kB Cached: 423848 kB SwapCached: 0 kB Active: 162220 kB Inactive: 663144 kB Active(anon): 1476 kB Inactive(anon): 374420 kB Active(file): 160744 kB Inactive(file): 288724 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 34268 kB Writeback: 0 kB AnonPages: 354452 kB Mapped: 89284 kB Shmem: 21320 kB KReclaimable: 44748 kB Slab: 117932 kB SReclaimable: 44748 kB SUnreclaim: 73184 kB KernelStack: 3928 kB PageTables: 9956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 737572 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6368 kB HardwareCorrupted: 0 kB AnonHugePages: 229376 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: 160584 kB DirectMap2M: 6035456 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 723700 MiB End job on nodeC005 at 2024-07-30 15:14:28