| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | No Cert. | 854.968 | 858.268 |
| 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 0.55/0.63 c #variables 7354 #constraints 152720 6.63/6.71 c #Conflicts: 1000 | #Constraints: 153719 6.63/6.71 c #Conflicts: 2000 | #Constraints: 154719 6.63/6.71 c INPROCESSING 6.63/6.71 c #Conflicts: 3000 | #Constraints: 146470 6.63/6.71 c #Conflicts: 4000 | #Constraints: 147470 6.63/6.71 c #Conflicts: 5000 | #Constraints: 148470 6.63/6.71 c #Conflicts: 6000 | #Constraints: 149470 6.63/6.71 c INPROCESSING 6.63/6.71 c rational objective 573.273 10.42/10.54 c #Conflicts: 7000 | #Constraints: 147953 10.42/10.54 c #Conflicts: 8000 | #Constraints: 148953 10.42/10.54 c #Conflicts: 9000 | #Constraints: 149953 10.42/10.54 c INPROCESSING 10.42/10.54 c rational objective 575.807 15.21/15.38 c #Conflicts: 10000 | #Constraints: 148118 15.21/15.38 c #Conflicts: 11000 | #Constraints: 149118 15.21/15.38 c #Conflicts: 12000 | #Constraints: 150118 15.21/15.38 c #Conflicts: 13000 | #Constraints: 151118 15.21/15.38 c #Conflicts: 14000 | #Constraints: 152118 15.21/15.38 c #Conflicts: 15000 | #Constraints: 153118 15.21/15.38 c #Conflicts: 16000 | #Constraints: 154118 15.21/15.38 c INPROCESSING 15.21/15.38 c GARBAGE COLLECT 15.21/15.38 c rational objective 576.559 17.40/17.59 c #Conflicts: 17000 | #Constraints: 150183 17.40/17.59 c #Conflicts: 18000 | #Constraints: 151183 17.40/17.59 c #Conflicts: 19000 | #Constraints: 152183 17.40/17.59 c #Conflicts: 20000 | #Constraints: 153183 17.40/17.59 c #Conflicts: 21000 | #Constraints: 154183 17.40/17.59 c INPROCESSING 17.40/17.59 c rational objective 578.878 23.88/24.05 c #Conflicts: 22000 | #Constraints: 150303 23.88/24.05 c #Conflicts: 23000 | #Constraints: 151303 23.88/24.05 c #Conflicts: 24000 | #Constraints: 152303 23.88/24.05 c #Conflicts: 25000 | #Constraints: 153303 23.88/24.05 c #Conflicts: 26000 | #Constraints: 154303 23.88/24.05 c #Conflicts: 27000 | #Constraints: 155303 23.88/24.05 c #Conflicts: 28000 | #Constraints: 156303 23.88/24.05 c #Conflicts: 29000 | #Constraints: 157303 23.88/24.05 c #Conflicts: 30000 | #Constraints: 158303 23.88/24.05 c #Conflicts: 31000 | #Constraints: 159303 23.88/24.05 c INPROCESSING 23.88/24.05 c GARBAGE COLLECT 23.88/24.05 c rational objective 584.164 31.74/31.91 c #Conflicts: 32000 | #Constraints: 152796 31.74/31.91 c #Conflicts: 33000 | #Constraints: 153796 31.74/31.91 c #Conflicts: 34000 | #Constraints: 154796 31.74/31.91 c #Conflicts: 35000 | #Constraints: 155796 31.74/31.91 c #Conflicts: 36000 | #Constraints: 156796 31.74/31.91 c #Conflicts: 37000 | #Constraints: 157796 31.74/31.91 c #Conflicts: 38000 | #Constraints: 158796 31.74/31.91 c #Conflicts: 39000 | #Constraints: 159796 31.74/31.91 c #Conflicts: 40000 | #Constraints: 160796 31.74/31.91 c #Conflicts: 41000 | #Constraints: 161796 31.74/31.91 c #Conflicts: 42000 | #Constraints: 162796 31.74/31.91 c #Conflicts: 43000 | #Constraints: 163796 31.74/31.91 c INPROCESSING 31.74/31.91 c GARBAGE COLLECT 31.74/31.91 c rational objective 593.531 54.97/55.21 c #Conflicts: 44000 | #Constraints: 154821 54.97/55.21 c #Conflicts: 45000 | #Constraints: 155821 54.97/55.21 c #Conflicts: 46000 | #Constraints: 156821 54.97/55.21 c #Conflicts: 47000 | #Constraints: 157821 54.97/55.21 c #Conflicts: 48000 | #Constraints: 158821 54.97/55.21 c #Conflicts: 49000 | #Constraints: 159821 54.97/55.21 c #Conflicts: 50000 | #Constraints: 160821 54.97/55.21 c #Conflicts: 51000 | #Constraints: 161821 54.97/55.21 c #Conflicts: 52000 | #Constraints: 162821 54.97/55.21 c #Conflicts: 53000 | #Constraints: 163821 54.97/55.21 c #Conflicts: 54000 | #Constraints: 164821 54.97/55.21 c #Conflicts: 55000 | #Constraints: 165821 54.97/55.21 c #Conflicts: 56000 | #Constraints: 166821 54.97/55.21 c #Conflicts: 57000 | #Constraints: 167821 54.97/55.21 c INPROCESSING 54.97/55.21 c GARBAGE COLLECT 54.97/55.21 c #Conflicts: 58000 | #Constraints: 155076 54.97/55.21 c #Conflicts: 59000 | #Constraints: 156076 54.97/55.21 c #Conflicts: 60000 | #Constraints: 157076 54.97/55.21 c #Conflicts: 61000 | #Constraints: 158076 54.97/55.21 c #Conflicts: 62000 | #Constraints: 159076 54.97/55.21 c #Conflicts: 63000 | #Constraints: 160076 54.97/55.21 c #Conflicts: 64000 | #Constraints: 161076 54.97/55.21 c #Conflicts: 65000 | #Constraints: 162076 54.97/55.21 c #Conflicts: 66000 | #Constraints: 163076 54.97/55.21 c #Conflicts: 67000 | #Constraints: 164076 54.97/55.21 c #Conflicts: 68000 | #Constraints: 165076 54.97/55.21 c #Conflicts: 69000 | #Constraints: 166076 54.97/55.21 c #Conflicts: 70000 | #Constraints: 167076 54.97/55.21 c #Conflicts: 71000 | #Constraints: 168076 54.97/55.21 c #Conflicts: 72000 | #Constraints: 169076 54.97/55.21 c #Conflicts: 73000 | #Constraints: 170076 54.97/55.21 c INPROCESSING 54.97/55.21 c GARBAGE COLLECT 54.97/55.21 c rational objective 640.752 62.34/62.67 c #Conflicts: 74000 | #Constraints: 156189 62.34/62.67 c #Conflicts: 75000 | #Constraints: 157189 62.34/62.67 c #Conflicts: 76000 | #Constraints: 158189 62.34/62.67 c #Conflicts: 77000 | #Constraints: 159189 62.34/62.67 c #Conflicts: 78000 | #Constraints: 160189 62.34/62.67 c #Conflicts: 79000 | #Constraints: 161189 62.34/62.67 c #Conflicts: 80000 | #Constraints: 162189 62.34/62.67 c #Conflicts: 81000 | #Constraints: 163189 62.34/62.67 c #Conflicts: 82000 | #Constraints: 164189 62.34/62.67 c #Conflicts: 83000 | #Constraints: 165189 62.34/62.67 c #Conflicts: 84000 | #Constraints: 166189 62.34/62.67 c #Conflicts: 85000 | #Constraints: 167189 62.34/62.67 c #Conflicts: 86000 | #Constraints: 168189 62.34/62.67 c #Conflicts: 87000 | #Constraints: 169189 62.34/62.67 c #Conflicts: 88000 | #Constraints: 170189 62.34/62.67 c #Conflicts: 89000 | #Constraints: 171189 62.34/62.67 c #Conflicts: 90000 | #Constraints: 172189 62.34/62.67 c #Conflicts: 91000 | #Constraints: 173189 62.34/62.67 c #Conflicts: 92000 | #Constraints: 174189 62.34/62.67 c INPROCESSING 62.34/62.67 c GARBAGE COLLECT 62.34/62.67 c rational objective 650.138 73.18/73.59 c #Conflicts: 93000 | #Constraints: 158143 73.18/73.59 c #Conflicts: 94000 | #Constraints: 159143 73.18/73.59 c #Conflicts: 95000 | #Constraints: 160143 73.18/73.59 c #Conflicts: 96000 | #Constraints: 161143 73.18/73.59 c #Conflicts: 97000 | #Constraints: 162143 73.18/73.59 c #Conflicts: 98000 | #Constraints: 163143 73.18/73.59 c #Conflicts: 99000 | #Constraints: 164143 73.18/73.59 c #Conflicts: 100000 | #Constraints: 165143 73.18/73.59 c #Conflicts: 101000 | #Constraints: 166143 73.18/73.59 c #Conflicts: 102000 | #Constraints: 167143 73.18/73.59 c #Conflicts: 103000 | #Constraints: 168143 73.18/73.59 c #Conflicts: 104000 | #Constraints: 169143 73.18/73.59 c #Conflicts: 105000 | #Constraints: 170143 73.18/73.59 c #Conflicts: 106000 | #Constraints: 171143 73.18/73.59 c #Conflicts: 107000 | #Constraints: 172143 73.18/73.59 c #Conflicts: 108000 | #Constraints: 173143 73.18/73.59 c #Conflicts: 109000 | #Constraints: 174143 73.18/73.59 c #Conflicts: 110000 | #Constraints: 175143 73.18/73.59 c #Conflicts: 111000 | #Constraints: 176143 73.18/73.59 c #Conflicts: 112000 | #Constraints: 177143 73.18/73.59 c INPROCESSING 73.18/73.59 c GARBAGE COLLECT 73.18/73.59 c rational objective 653.67 87.25/87.60 c #Conflicts: 113000 | #Constraints: 156491 87.25/87.60 c #Conflicts: 114000 | #Constraints: 157491 87.25/87.60 c #Conflicts: 115000 | #Constraints: 158491 87.25/87.60 c #Conflicts: 116000 | #Constraints: 159491 87.25/87.60 c #Conflicts: 117000 | #Constraints: 160491 87.25/87.60 c #Conflicts: 118000 | #Constraints: 161491 87.25/87.60 c #Conflicts: 119000 | #Constraints: 162491 87.25/87.60 c #Conflicts: 120000 | #Constraints: 163491 87.25/87.60 c #Conflicts: 121000 | #Constraints: 164491 87.25/87.60 c #Conflicts: 122000 | #Constraints: 165491 87.25/87.60 c #Conflicts: 123000 | #Constraints: 166491 87.25/87.60 c #Conflicts: 124000 | #Constraints: 167491 87.25/87.60 c #Conflicts: 125000 | #Constraints: 168491 87.25/87.60 c #Conflicts: 126000 | #Constraints: 169491 87.25/87.60 c #Conflicts: 127000 | #Constraints: 170491 87.25/87.60 c #Conflicts: 128000 | #Constraints: 171491 87.25/87.60 c #Conflicts: 129000 | #Constraints: 172491 87.25/87.60 c #Conflicts: 130000 | #Constraints: 173491 87.25/87.60 c #Conflicts: 131000 | #Constraints: 174491 87.25/87.60 c #Conflicts: 132000 | #Constraints: 175491 87.25/87.60 c #Conflicts: 133000 | #Constraints: 176491 87.25/87.60 c #Conflicts: 134000 | #Constraints: 177491 87.25/87.60 c INPROCESSING 87.25/87.60 c GARBAGE COLLECT 87.25/87.60 c rational objective 658.057 103.58/104.06 c #Conflicts: 135000 | #Constraints: 158049 103.58/104.06 c #Conflicts: 136000 | #Constraints: 159049 103.58/104.06 c #Conflicts: 137000 | #Constraints: 160049 103.58/104.06 c #Conflicts: 138000 | #Constraints: 161049 103.58/104.06 c #Conflicts: 139000 | #Constraints: 162049 103.58/104.06 c #Conflicts: 140000 | #Constraints: 163049 103.58/104.06 c #Conflicts: 141000 | #Constraints: 164049 103.58/104.06 c #Conflicts: 142000 | #Constraints: 165049 103.58/104.06 c #Conflicts: 143000 | #Constraints: 166049 103.58/104.06 c #Conflicts: 144000 | #Constraints: 167049 103.58/104.06 c #Conflicts: 145000 | #Constraints: 168049 103.58/104.06 c #Conflicts: 146000 | #Constraints: 169049 103.58/104.06 c #Conflicts: 147000 | #Constraints: 170049 103.58/104.06 c #Conflicts: 148000 | #Constraints: 171049 103.58/104.06 c #Conflicts: 149000 | #Constraints: 172049 103.58/104.06 c #Conflicts: 150000 | #Constraints: 173049 103.58/104.06 c #Conflicts: 151000 | #Constraints: 174049 103.58/104.06 c #Conflicts: 152000 | #Constraints: 175049 103.58/104.06 c #Conflicts: 153000 | #Constraints: 176049 103.58/104.06 c #Conflicts: 154000 | #Constraints: 177049 103.58/104.06 c #Conflicts: 155000 | #Constraints: 178049 103.58/104.06 c #Conflicts: 156000 | #Constraints: 179049 103.58/104.06 c #Conflicts: 157000 | #Constraints: 180049 103.58/104.06 c #Conflicts: 158000 | #Constraints: 181049 103.58/104.06 c INPROCESSING 103.58/104.06 c GARBAGE COLLECT 103.58/104.06 c rational objective 660.101 120.32/120.89 c #Conflicts: 159000 | #Constraints: 159972 120.32/120.89 c #Conflicts: 160000 | #Constraints: 160972 120.32/120.89 c #Conflicts: 161000 | #Constraints: 161972 120.32/120.89 c #Conflicts: 162000 | #Constraints: 162972 120.32/120.89 c #Conflicts: 163000 | #Constraints: 163972 120.32/120.89 c #Conflicts: 164000 | #Constraints: 164972 120.32/120.89 c #Conflicts: 165000 | #Constraints: 165972 120.32/120.89 c #Conflicts: 166000 | #Constraints: 166972 120.32/120.89 c #Conflicts: 167000 | #Constraints: 167972 120.32/120.89 c #Conflicts: 168000 | #Constraints: 168972 120.32/120.89 c #Conflicts: 169000 | #Constraints: 169972 120.32/120.89 c #Conflicts: 170000 | #Constraints: 170972 120.32/120.89 c #Conflicts: 171000 | #Constraints: 171972 120.32/120.89 c #Conflicts: 172000 | #Constraints: 172972 120.32/120.89 c #Conflicts: 173000 | #Constraints: 173972 120.32/120.89 c #Conflicts: 174000 | #Constraints: 174972 120.32/120.89 c #Conflicts: 175000 | #Constraints: 175972 120.32/120.89 c #Conflicts: 176000 | #Constraints: 176972 120.32/120.89 c #Conflicts: 177000 | #Constraints: 177972 120.32/120.89 c #Conflicts: 178000 | #Constraints: 178972 120.32/120.89 c #Conflicts: 179000 | #Constraints: 179972 120.32/120.89 c #Conflicts: 180000 | #Constraints: 180972 120.32/120.89 c #Conflicts: 181000 | #Constraints: 181972 120.32/120.89 c #Conflicts: 182000 | #Constraints: 182972 120.32/120.89 c #Conflicts: 183000 | #Constraints: 183972 120.32/120.89 c #Conflicts: 184000 | #Constraints: 184972 120.32/120.89 c INPROCESSING 120.32/120.89 c GARBAGE COLLECT 120.32/120.89 c rational objective 671.176 137.45/138.07 c #Conflicts: 185000 | #Constraints: 161579 137.45/138.07 c #Conflicts: 186000 | #Constraints: 162579 137.45/138.07 c #Conflicts: 187000 | #Constraints: 163579 137.45/138.07 c #Conflicts: 188000 | #Constraints: 164579 137.45/138.07 c #Conflicts: 189000 | #Constraints: 165579 137.45/138.07 c #Conflicts: 190000 | #Constraints: 166579 137.45/138.07 c #Conflicts: 191000 | #Constraints: 167579 137.45/138.07 c #Conflicts: 192000 | #Constraints: 168579 137.45/138.07 c #Conflicts: 193000 | #Constraints: 169579 137.45/138.07 c #Conflicts: 194000 | #Constraints: 170579 137.45/138.07 c #Conflicts: 195000 | #Constraints: 171579 137.45/138.07 c #Conflicts: 196000 | #Constraints: 172579 137.45/138.07 c #Conflicts: 197000 | #Constraints: 173579 137.45/138.07 c #Conflicts: 198000 | #Constraints: 174579 137.45/138.07 c #Conflicts: 199000 | #Constraints: 175579 137.45/138.07 c #Conflicts: 200000 | #Constraints: 176579 137.45/138.07 c #Conflicts: 201000 | #Constraints: 177579 137.45/138.07 c #Conflicts: 202000 | #Constraints: 178579 137.45/138.07 c #Conflicts: 203000 | #Constraints: 179579 137.45/138.07 c #Conflicts: 204000 | #Constraints: 180579 137.45/138.07 c #Conflicts: 205000 | #Constraints: 181579 137.45/138.07 c #Conflicts: 206000 | #Constraints: 182579 137.45/138.07 c #Conflicts: 207000 | #Constraints: 183579 137.45/138.07 c #Conflicts: 208000 | #Constraints: 184579 137.45/138.07 c #Conflicts: 209000 | #Constraints: 185579 137.45/138.07 c #Conflicts: 210000 | #Constraints: 186579 137.45/138.07 c #Conflicts: 211000 | #Constraints: 187579 137.45/138.07 c #Conflicts: 212000 | #Constraints: 188579 137.45/138.07 c #Conflicts: 213000 | #Constraints: 189579 137.45/138.07 c INPROCESSING 137.45/138.07 c GARBAGE COLLECT 137.45/138.07 c rational objective 673.422 154.19/154.81 c #Conflicts: 214000 | #Constraints: 163000 154.19/154.81 c #Conflicts: 215000 | #Constraints: 164000 154.19/154.81 c #Conflicts: 216000 | #Constraints: 165000 154.19/154.81 c #Conflicts: 217000 | #Constraints: 166000 154.19/154.81 c #Conflicts: 218000 | #Constraints: 167000 154.19/154.81 c #Conflicts: 219000 | #Constraints: 168000 154.19/154.81 c #Conflicts: 220000 | #Constraints: 169000 154.19/154.81 c #Conflicts: 221000 | #Constraints: 170000 154.19/154.81 c #Conflicts: 222000 | #Constraints: 171000 154.19/154.81 c #Conflicts: 223000 | #Constraints: 172000 154.19/154.81 c #Conflicts: 224000 | #Constraints: 173000 154.19/154.81 c #Conflicts: 225000 | #Constraints: 174000 154.19/154.81 c #Conflicts: 226000 | #Constraints: 175000 154.19/154.81 c #Conflicts: 227000 | #Constraints: 176000 154.19/154.81 c #Conflicts: 228000 | #Constraints: 177000 154.19/154.81 c #Conflicts: 229000 | #Constraints: 178000 154.19/154.81 c #Conflicts: 230000 | #Constraints: 179000 154.19/154.81 c #Conflicts: 231000 | #Constraints: 180000 154.19/154.81 c #Conflicts: 232000 | #Constraints: 181000 154.19/154.81 c #Conflicts: 233000 | #Constraints: 182000 154.19/154.81 c #Conflicts: 234000 | #Constraints: 183000 154.19/154.81 c #Conflicts: 235000 | #Constraints: 184000 154.19/154.81 c #Conflicts: 236000 | #Constraints: 185000 154.19/154.81 c #Conflicts: 237000 | #Constraints: 186000 154.19/154.81 c #Conflicts: 238000 | #Constraints: 187000 154.19/154.81 c #Conflicts: 239000 | #Constraints: 188000 154.19/154.81 c #Conflicts: 240000 | #Constraints: 189000 154.19/154.81 c #Conflicts: 241000 | #Constraints: 190000 154.19/154.81 c #Conflicts: 242000 | #Constraints: 191000 154.19/154.81 c #Conflicts: 243000 | #Constraints: 192000 154.19/154.81 c INPROCESSING 154.19/154.81 c GARBAGE COLLECT 154.19/154.81 c rational objective 711.661 174.72/175.48 c #Conflicts: 244000 | #Constraints: 164270 174.72/175.48 c #Conflicts: 245000 | #Constraints: 165270 174.72/175.48 c #Conflicts: 246000 | #Constraints: 166270 174.72/175.48 c #Conflicts: 247000 | #Constraints: 167270 174.72/175.48 c #Conflicts: 248000 | #Constraints: 168270 174.72/175.48 c #Conflicts: 249000 | #Constraints: 169270 174.72/175.48 c #Conflicts: 250000 | #Constraints: 170270 174.72/175.48 c #Conflicts: 251000 | #Constraints: 171270 174.72/175.48 c #Conflicts: 252000 | #Constraints: 172270 174.72/175.48 c #Conflicts: 253000 | #Constraints: 173270 174.72/175.48 c #Conflicts: 254000 | #Constraints: 174270 174.72/175.48 c #Conflicts: 255000 | #Constraints: 175270 174.72/175.48 c #Conflicts: 256000 | #Constraints: 176270 174.72/175.48 c #Conflicts: 257000 | #Constraints: 177270 174.72/175.48 c #Conflicts: 258000 | #Constraints: 178270 174.72/175.48 c #Conflicts: 259000 | #Constraints: 179270 174.72/175.48 c #Conflicts: 260000 | #Constraints: 180270 174.72/175.48 c #Conflicts: 261000 | #Constraints: 181270 174.72/175.48 c #Conflicts: 262000 | #Constraints: 182270 174.72/175.48 c #Conflicts: 263000 | #Constraints: 183270 174.72/175.48 c #Conflicts: 264000 | #Constraints: 184270 174.72/175.48 c #Conflicts: 265000 | #Constraints: 185270 174.72/175.48 c #Conflicts: 266000 | #Constraints: 186270 174.72/175.48 c #Conflicts: 267000 | #Constraints: 187270 174.72/175.48 c #Conflicts: 268000 | #Constraints: 188270 174.72/175.48 c #Conflicts: 269000 | #Constraints: 189270 174.72/175.48 c #Conflicts: 270000 | #Constraints: 190270 174.72/175.48 c #Conflicts: 271000 | #Constraints: 191270 174.72/175.48 c #Conflicts: 272000 | #Constraints: 192270 174.72/175.48 c #Conflicts: 273000 | #Constraints: 193270 174.72/175.48 c #Conflicts: 274000 | #Constraints: 194270 174.72/175.48 c #Conflicts: 275000 | #Constraints: 195270 174.72/175.48 c INPROCESSING 174.72/175.48 c GARBAGE COLLECT 174.72/175.48 c rational objective 740.843 203.00/203.80 c #Conflicts: 276000 | #Constraints: 163656 203.00/203.80 c #Conflicts: 277000 | #Constraints: 164656 203.00/203.80 c #Conflicts: 278000 | #Constraints: 165656 203.00/203.80 c #Conflicts: 279000 | #Constraints: 166656 203.00/203.80 c #Conflicts: 280000 | #Constraints: 167656 203.00/203.80 c #Conflicts: 281000 | #Constraints: 168656 203.00/203.80 c #Conflicts: 282000 | #Constraints: 169656 203.00/203.80 c #Conflicts: 283000 | #Constraints: 170656 203.00/203.80 c #Conflicts: 284000 | #Constraints: 171656 203.00/203.80 c #Conflicts: 285000 | #Constraints: 172656 203.00/203.80 c #Conflicts: 286000 | #Constraints: 173656 203.00/203.80 c #Conflicts: 287000 | #Constraints: 174656 203.00/203.80 c #Conflicts: 288000 | #Constraints: 175656 203.00/203.80 c #Conflicts: 289000 | #Constraints: 176656 203.00/203.80 c #Conflicts: 290000 | #Constraints: 177656 203.00/203.80 c #Conflicts: 291000 | #Constraints: 178656 203.00/203.80 c #Conflicts: 292000 | #Constraints: 179656 203.00/203.80 c #Conflicts: 293000 | #Constraints: 180656 203.00/203.80 c #Conflicts: 294000 | #Constraints: 181656 203.00/203.80 c #Conflicts: 295000 | #Constraints: 182656 203.00/203.80 c #Conflicts: 296000 | #Constraints: 183656 203.00/203.80 c #Conflicts: 297000 | #Constraints: 184656 203.00/203.80 c #Conflicts: 298000 | #Constraints: 185656 203.00/203.80 c #Conflicts: 299000 | #Constraints: 186656 203.00/203.80 c #Conflicts: 300000 | #Constraints: 187656 203.00/203.80 c #Conflicts: 301000 | #Constraints: 188656 203.00/203.80 c #Conflicts: 302000 | #Constraints: 189656 203.00/203.80 c #Conflicts: 303000 | #Constraints: 190656 203.00/203.80 c #Conflicts: 304000 | #Constraints: 191656 203.00/203.80 c #Conflicts: 305000 | #Constraints: 192656 203.00/203.80 c #Conflicts: 306000 | #Constraints: 193656 203.00/203.80 c #Conflicts: 307000 | #Constraints: 194656 203.00/203.80 c #Conflicts: 308000 | #Constraints: 195656 203.00/203.80 c #Conflicts: 309000 | #Constraints: 196656 203.00/203.80 c INPROCESSING 203.00/203.80 c GARBAGE COLLECT 203.00/203.80 c rational objective 745.018 226.11/227.05 c #Conflicts: 310000 | #Constraints: 163878 226.11/227.05 c #Conflicts: 311000 | #Constraints: 164878 226.11/227.05 c #Conflicts: 312000 | #Constraints: 165878 226.11/227.05 c #Conflicts: 313000 | #Constraints: 166878 226.11/227.05 c #Conflicts: 314000 | #Constraints: 167878 226.11/227.05 c #Conflicts: 315000 | #Constraints: 168878 226.11/227.05 c #Conflicts: 316000 | #Constraints: 169878 226.11/227.05 c #Conflicts: 317000 | #Constraints: 170878 226.11/227.05 c #Conflicts: 318000 | #Constraints: 171878 226.11/227.05 c #Conflicts: 319000 | #Constraints: 172878 226.11/227.05 c #Conflicts: 320000 | #Constraints: 173878 226.11/227.05 c #Conflicts: 321000 | #Constraints: 174878 226.11/227.05 c #Conflicts: 322000 | #Constraints: 175878 226.11/227.05 c #Conflicts: 323000 | #Constraints: 176878 226.11/227.05 c #Conflicts: 324000 | #Constraints: 177878 226.11/227.05 c #Conflicts: 325000 | #Constraints: 178878 226.11/227.05 c #Conflicts: 326000 | #Constraints: 179878 226.11/227.05 c #Conflicts: 327000 | #Constraints: 180878 226.11/227.05 c #Conflicts: 328000 | #Constraints: 181878 226.11/227.05 c #Conflicts: 329000 | #Constraints: 182878 226.11/227.05 c #Conflicts: 330000 | #Constraints: 183878 226.11/227.05 c #Conflicts: 331000 | #Constraints: 184878 226.11/227.05 c #Conflicts: 332000 | #Constraints: 185878 226.11/227.05 c #Conflicts: 333000 | #Constraints: 186878 226.11/227.05 c #Conflicts: 334000 | #Constraints: 187878 226.11/227.05 c #Conflicts: 335000 | #Constraints: 188878 226.11/227.05 c #Conflicts: 336000 | #Constraints: 189878 226.11/227.05 c #Conflicts: 337000 | #Constraints: 190878 226.11/227.05 c #Conflicts: 338000 | #Constraints: 191878 226.11/227.05 c #Conflicts: 339000 | #Constraints: 192878 226.11/227.05 c #Conflicts: 340000 | #Constraints: 193878 226.11/227.05 c #Conflicts: 341000 | #Constraints: 194878 226.11/227.05 c #Conflicts: 342000 | #Constraints: 195878 226.11/227.05 c #Conflicts: 343000 | #Constraints: 196878 226.11/227.05 c #Conflicts: 344000 | #Constraints: 197878 226.11/227.05 c #Conflicts: 345000 | #Constraints: 198878 226.11/227.05 c INPROCESSING 226.11/227.05 c GARBAGE COLLECT 226.11/227.05 c rational objective 776.823 246.94/247.91 c #Conflicts: 346000 | #Constraints: 164419 246.94/247.91 c #Conflicts: 347000 | #Constraints: 165419 246.94/247.91 c #Conflicts: 348000 | #Constraints: 166419 246.94/247.91 c #Conflicts: 349000 | #Constraints: 167419 246.94/247.91 c #Conflicts: 350000 | #Constraints: 168419 246.94/247.91 c #Conflicts: 351000 | #Constraints: 169419 246.94/247.91 c #Conflicts: 352000 | #Constraints: 170419 246.94/247.91 c #Conflicts: 353000 | #Constraints: 171419 246.94/247.91 c #Conflicts: 354000 | #Constraints: 172419 246.94/247.91 c #Conflicts: 355000 | #Constraints: 173419 246.94/247.91 c #Conflicts: 356000 | #Constraints: 174419 246.94/247.91 c #Conflicts: 357000 | #Constraints: 175419 246.94/247.91 c #Conflicts: 358000 | #Constraints: 176419 246.94/247.91 c #Conflicts: 359000 | #Constraints: 177419 246.94/247.91 c #Conflicts: 360000 | #Constraints: 178419 246.94/247.91 c #Conflicts: 361000 | #Constraints: 179419 246.94/247.91 c #Conflicts: 362000 | #Constraints: 180419 246.94/247.91 c #Conflicts: 363000 | #Constraints: 181419 246.94/247.91 c #Conflicts: 364000 | #Constraints: 182419 246.94/247.91 c #Conflicts: 365000 | #Constraints: 183419 246.94/247.91 c #Conflicts: 366000 | #Constraints: 184419 246.94/247.91 c #Conflicts: 367000 | #Constraints: 185419 246.94/247.91 c #Conflicts: 368000 | #Constraints: 186419 246.94/247.91 c #Conflicts: 369000 | #Constraints: 187419 246.94/247.91 c #Conflicts: 370000 | #Constraints: 188419 246.94/247.91 c #Conflicts: 371000 | #Constraints: 189419 246.94/247.91 c #Conflicts: 372000 | #Constraints: 190419 246.94/247.91 c #Conflicts: 373000 | #Constraints: 191419 246.94/247.91 c #Conflicts: 374000 | #Constraints: 192419 246.94/247.91 c #Conflicts: 375000 | #Constraints: 193419 246.94/247.91 c #Conflicts: 376000 | #Constraints: 194419 246.94/247.91 c #Conflicts: 377000 | #Constraints: 195419 246.94/247.91 c #Conflicts: 378000 | #Constraints: 196419 246.94/247.91 c #Conflicts: 379000 | #Constraints: 197419 246.94/247.91 c #Conflicts: 380000 | #Constraints: 198419 246.94/247.91 c #Conflicts: 381000 | #Constraints: 199419 246.94/247.91 c #Conflicts: 382000 | #Constraints: 200419 246.94/247.91 c #Conflicts: 383000 | #Constraints: 201419 246.94/247.91 c #Conflicts: 384000 | #Constraints: 202419 246.94/247.91 c INPROCESSING 246.94/247.91 c GARBAGE COLLECT 246.94/247.91 c rational objective 787.837 272.05/273.15 c #Conflicts: 385000 | #Constraints: 166474 272.05/273.15 c #Conflicts: 386000 | #Constraints: 167474 272.05/273.15 c #Conflicts: 387000 | #Constraints: 168474 272.05/273.15 c #Conflicts: 388000 | #Constraints: 169474 272.05/273.15 c #Conflicts: 389000 | #Constraints: 170474 272.05/273.15 c #Conflicts: 390000 | #Constraints: 171474 272.05/273.15 c #Conflicts: 391000 | #Constraints: 172474 272.05/273.15 c #Conflicts: 392000 | #Constraints: 173474 272.05/273.15 c #Conflicts: 393000 | #Constraints: 174474 272.05/273.15 c #Conflicts: 394000 | #Constraints: 175474 272.05/273.15 c #Conflicts: 395000 | #Constraints: 176474 272.05/273.15 c #Conflicts: 396000 | #Constraints: 177474 272.05/273.15 c #Conflicts: 397000 | #Constraints: 178474 272.05/273.15 c #Conflicts: 398000 | #Constraints: 179474 272.05/273.15 c #Conflicts: 399000 | #Constraints: 180474 272.05/273.15 c #Conflicts: 400000 | #Constraints: 181474 272.05/273.15 c #Conflicts: 401000 | #Constraints: 182474 272.05/273.15 c #Conflicts: 402000 | #Constraints: 183474 272.05/273.15 c #Conflicts: 403000 | #Constraints: 184474 272.05/273.15 c #Conflicts: 404000 | #Constraints: 185474 272.05/273.15 c #Conflicts: 405000 | #Constraints: 186474 272.05/273.15 c #Conflicts: 406000 | #Constraints: 187474 272.05/273.15 c #Conflicts: 407000 | #Constraints: 188474 272.05/273.15 c #Conflicts: 408000 | #Constraints: 189474 272.05/273.15 c #Conflicts: 409000 | #Constraints: 190474 272.05/273.15 c #Conflicts: 410000 | #Constraints: 191474 272.05/273.15 c #Conflicts: 411000 | #Constraints: 192474 272.05/273.15 c #Conflicts: 412000 | #Constraints: 193474 272.05/273.15 c #Conflicts: 413000 | #Constraints: 194474 272.05/273.15 c #Conflicts: 414000 | #Constraints: 195474 272.05/273.15 c #Conflicts: 415000 | #Constraints: 196474 272.05/273.15 c #Conflicts: 416000 | #Constraints: 197474 272.05/273.15 c #Conflicts: 417000 | #Constraints: 198474 272.05/273.15 c #Conflicts: 418000 | #Constraints: 199474 272.05/273.15 c #Conflicts: 419000 | #Constraints: 200474 272.05/273.15 c #Conflicts: 420000 | #Constraints: 201474 272.05/273.15 c #Conflicts: 421000 | #Constraints: 202474 272.05/273.15 c #Conflicts: 422000 | #Constraints: 203474 272.05/273.15 c #Conflicts: 423000 | #Constraints: 204474 272.05/273.15 c #Conflicts: 424000 | #Constraints: 205474 272.05/273.15 c INPROCESSING 272.05/273.15 c GARBAGE COLLECT 272.05/273.15 c rational objective 794.803 296.44/297.65 c #Conflicts: 425000 | #Constraints: 166766 296.44/297.65 c #Conflicts: 426000 | #Constraints: 167766 296.44/297.65 c #Conflicts: 427000 | #Constraints: 168766 296.44/297.65 c #Conflicts: 428000 | #Constraints: 169766 296.44/297.65 c #Conflicts: 429000 | #Constraints: 170766 296.44/297.65 c #Conflicts: 430000 | #Constraints: 171766 296.44/297.65 c #Conflicts: 431000 | #Constraints: 172766 296.44/297.65 c #Conflicts: 432000 | #Constraints: 173766 296.44/297.65 c #Conflicts: 433000 | #Constraints: 174766 296.44/297.65 c #Conflicts: 434000 | #Constraints: 175766 296.44/297.65 c #Conflicts: 435000 | #Constraints: 176766 296.44/297.65 c #Conflicts: 436000 | #Constraints: 177766 296.44/297.65 c #Conflicts: 437000 | #Constraints: 178766 296.44/297.65 c #Conflicts: 438000 | #Constraints: 179766 296.44/297.65 c #Conflicts: 439000 | #Constraints: 180766 296.44/297.65 c #Conflicts: 440000 | #Constraints: 181766 296.44/297.65 c #Conflicts: 441000 | #Constraints: 182766 296.44/297.65 c #Conflicts: 442000 | #Constraints: 183766 296.44/297.65 c #Conflicts: 443000 | #Constraints: 184766 296.44/297.65 c #Conflicts: 444000 | #Constraints: 185766 296.44/297.65 c #Conflicts: 445000 | #Constraints: 186766 296.44/297.65 c #Conflicts: 446000 | #Constraints: 187766 296.44/297.65 c #Conflicts: 447000 | #Constraints: 188766 296.44/297.65 c #Conflicts: 448000 | #Constraints: 189766 296.44/297.65 c #Conflicts: 449000 | #Constraints: 190766 296.44/297.65 c #Conflicts: 450000 | #Constraints: 191766 296.44/297.65 c #Conflicts: 451000 | #Constraints: 192766 296.44/297.65 c #Conflicts: 452000 | #Constraints: 193766 296.44/297.65 c #Conflicts: 453000 | #Constraints: 194766 296.44/297.65 c #Conflicts: 454000 | #Constraints: 195766 296.44/297.65 c #Conflicts: 455000 | #Constraints: 196766 296.44/297.65 c #Conflicts: 456000 | #Constraints: 197766 296.44/297.65 c #Conflicts: 457000 | #Constraints: 198766 296.44/297.65 c #Conflicts: 458000 | #Constraints: 199766 296.44/297.65 c #Conflicts: 459000 | #Constraints: 200766 296.44/297.65 c #Conflicts: 460000 | #Constraints: 201766 296.44/297.65 c #Conflicts: 461000 | #Constraints: 202766 296.44/297.65 c #Conflicts: 462000 | #Constraints: 203766 296.44/297.65 c #Conflicts: 463000 | #Constraints: 204766 296.44/297.65 c #Conflicts: 464000 | #Constraints: 205766 296.44/297.65 c #Conflicts: 465000 | #Constraints: 206766 296.44/297.65 c #Conflicts: 466000 | #Constraints: 207766 296.44/297.65 c INPROCESSING 296.44/297.65 c GARBAGE COLLECT 296.44/297.65 c rational objective 797.478 325.93/327.29 c #Conflicts: 467000 | #Constraints: 168602 325.93/327.29 c #Conflicts: 468000 | #Constraints: 169602 325.93/327.29 c #Conflicts: 469000 | #Constraints: 170602 325.93/327.29 c #Conflicts: 470000 | #Constraints: 171602 325.93/327.29 c #Conflicts: 471000 | #Constraints: 172602 325.93/327.29 c #Conflicts: 472000 | #Constraints: 173602 325.93/327.29 c #Conflicts: 473000 | #Constraints: 174602 325.93/327.29 c #Conflicts: 474000 | #Constraints: 175602 325.93/327.29 c #Conflicts: 475000 | #Constraints: 176602 325.93/327.29 c #Conflicts: 476000 | #Constraints: 177602 325.93/327.29 c #Conflicts: 477000 | #Constraints: 178602 325.93/327.29 c #Conflicts: 478000 | #Constraints: 179602 325.93/327.29 c #Conflicts: 479000 | #Constraints: 180602 325.93/327.29 c #Conflicts: 480000 | #Constraints: 181602 325.93/327.29 c #Conflicts: 481000 | #Constraints: 182602 325.93/327.29 c #Conflicts: 482000 | #Constraints: 183602 325.93/327.29 c #Conflicts: 483000 | #Constraints: 184602 325.93/327.29 c #Conflicts: 484000 | #Constraints: 185602 325.93/327.29 c #Conflicts: 485000 | #Constraints: 186602 325.93/327.29 c #Conflicts: 486000 | #Constraints: 187602 325.93/327.29 c #Conflicts: 487000 | #Constraints: 188602 325.93/327.29 c #Conflicts: 488000 | #Constraints: 189602 325.93/327.29 c #Conflicts: 489000 | #Constraints: 190602 325.93/327.29 c #Conflicts: 490000 | #Constraints: 191602 325.93/327.29 c #Conflicts: 491000 | #Constraints: 192602 325.93/327.29 c #Conflicts: 492000 | #Constraints: 193602 325.93/327.29 c #Conflicts: 493000 | #Constraints: 194602 325.93/327.29 c #Conflicts: 494000 | #Constraints: 195602 325.93/327.29 c #Conflicts: 495000 | #Constraints: 196602 325.93/327.29 c #Conflicts: 496000 | #Constraints: 197602 325.93/327.29 c #Conflicts: 497000 | #Constraints: 198602 325.93/327.29 c #Conflicts: 498000 | #Constraints: 199602 325.93/327.29 c #Conflicts: 499000 | #Constraints: 200602 325.93/327.29 c #Conflicts: 500000 | #Constraints: 201602 325.93/327.29 c #Conflicts: 501000 | #Constraints: 202602 325.93/327.29 c #Conflicts: 502000 | #Constraints: 203602 325.93/327.29 c #Conflicts: 503000 | #Constraints: 204602 325.93/327.29 c #Conflicts: 504000 | #Constraints: 205602 325.93/327.29 c #Conflicts: 505000 | #Constraints: 206602 325.93/327.29 c #Conflicts: 506000 | #Constraints: 207602 325.93/327.29 c #Conflicts: 507000 | #Constraints: 208602 325.93/327.29 c #Conflicts: 508000 | #Constraints: 209602 325.93/327.29 c #Conflicts: 509000 | #Constraints: 210602 325.93/327.29 c #Conflicts: 510000 | #Constraints: 211602 325.93/327.29 c INPROCESSING 325.93/327.29 c GARBAGE COLLECT 325.93/327.29 c rational objective 800.375 351.03/352.45 c #Conflicts: 511000 | #Constraints: 170134 351.03/352.45 c #Conflicts: 512000 | #Constraints: 171134 351.03/352.45 c #Conflicts: 513000 | #Constraints: 172134 351.03/352.45 c #Conflicts: 514000 | #Constraints: 173134 351.03/352.45 c #Conflicts: 515000 | #Constraints: 174134 351.03/352.45 c #Conflicts: 516000 | #Constraints: 175134 351.03/352.45 c #Conflicts: 517000 | #Constraints: 176134 351.03/352.45 c #Conflicts: 518000 | #Constraints: 177134 351.03/352.45 c #Conflicts: 519000 | #Constraints: 178134 351.03/352.45 c #Conflicts: 520000 | #Constraints: 179134 351.03/352.45 c #Conflicts: 521000 | #Constraints: 180134 351.03/352.45 c #Conflicts: 522000 | #Constraints: 181134 351.03/352.45 c #Conflicts: 523000 | #Constraints: 182134 351.03/352.45 c #Conflicts: 524000 | #Constraints: 183134 351.03/352.45 c #Conflicts: 525000 | #Constraints: 184134 351.03/352.45 c #Conflicts: 526000 | #Constraints: 185134 351.03/352.45 c #Conflicts: 527000 | #Constraints: 186134 351.03/352.45 c #Conflicts: 528000 | #Constraints: 187134 351.03/352.45 c #Conflicts: 529000 | #Constraints: 188134 351.03/352.45 c #Conflicts: 530000 | #Constraints: 189134 351.03/352.45 c #Conflicts: 531000 | #Constraints: 190134 351.03/352.45 c #Conflicts: 532000 | #Constraints: 191134 351.03/352.45 c #Conflicts: 533000 | #Constraints: 192134 351.03/352.45 c #Conflicts: 534000 | #Constraints: 193134 351.03/352.45 c #Conflicts: 535000 | #Constraints: 194134 351.03/352.45 c #Conflicts: 536000 | #Constraints: 195134 351.03/352.45 c #Conflicts: 537000 | #Constraints: 196134 351.03/352.45 c #Conflicts: 538000 | #Constraints: 197134 351.03/352.45 c #Conflicts: 539000 | #Constraints: 198134 351.03/352.45 c #Conflicts: 540000 | #Constraints: 199134 351.03/352.45 c #Conflicts: 541000 | #Constraints: 200134 351.03/352.45 c #Conflicts: 542000 | #Constraints: 201134 351.03/352.45 c #Conflicts: 543000 | #Constraints: 202134 351.03/352.45 c #Conflicts: 544000 | #Constraints: 203134 351.03/352.45 c #Conflicts: 545000 | #Constraints: 204134 351.03/352.45 c #Conflicts: 546000 | #Constraints: 205134 351.03/352.45 c #Conflicts: 547000 | #Constraints: 206134 351.03/352.45 c #Conflicts: 548000 | #Constraints: 207134 351.03/352.45 c #Conflicts: 549000 | #Constraints: 208134 351.03/352.45 c #Conflicts: 550000 | #Constraints: 209134 351.03/352.45 c #Conflicts: 551000 | #Constraints: 210134 351.03/352.45 c #Conflicts: 552000 | #Constraints: 211134 351.03/352.45 c #Conflicts: 553000 | #Constraints: 212134 351.03/352.45 c #Conflicts: 554000 | #Constraints: 213134 351.03/352.45 c #Conflicts: 555000 | #Constraints: 214134 351.03/352.45 c #Conflicts: 556000 | #Constraints: 215134 351.03/352.45 c INPROCESSING 351.03/352.45 c GARBAGE COLLECT 351.03/352.45 c rational objective 802.314 376.74/378.22 c #Conflicts: 557000 | #Constraints: 170700 376.74/378.22 c #Conflicts: 558000 | #Constraints: 171700 376.74/378.22 c #Conflicts: 559000 | #Constraints: 172700 376.74/378.22 c #Conflicts: 560000 | #Constraints: 173700 376.74/378.22 c #Conflicts: 561000 | #Constraints: 174700 376.74/378.22 c #Conflicts: 562000 | #Constraints: 175700 376.74/378.22 c #Conflicts: 563000 | #Constraints: 176700 376.74/378.22 c #Conflicts: 564000 | #Constraints: 177700 376.74/378.22 c #Conflicts: 565000 | #Constraints: 178700 376.74/378.22 c #Conflicts: 566000 | #Constraints: 179700 376.74/378.22 c #Conflicts: 567000 | #Constraints: 180700 376.74/378.22 c #Conflicts: 568000 | #Constraints: 181700 376.74/378.22 c #Conflicts: 569000 | #Constraints: 182700 376.74/378.22 c #Conflicts: 570000 | #Constraints: 183700 376.74/378.22 c #Conflicts: 571000 | #Constraints: 184700 376.74/378.22 c #Conflicts: 572000 | #Constraints: 185700 376.74/378.22 c #Conflicts: 573000 | #Constraints: 186700 376.74/378.22 c #Conflicts: 574000 | #Constraints: 187700 376.74/378.22 c #Conflicts: 575000 | #Constraints: 188700 376.74/378.22 c #Conflicts: 576000 | #Constraints: 189700 376.74/378.22 c #Conflicts: 577000 | #Constraints: 190700 376.74/378.22 c #Conflicts: 578000 | #Constraints: 191700 376.74/378.22 c #Conflicts: 579000 | #Constraints: 192700 376.74/378.22 c #Conflicts: 580000 | #Constraints: 193700 376.74/378.22 c #Conflicts: 581000 | #Constraints: 194700 376.74/378.22 c #Conflicts: 582000 | #Constraints: 195700 376.74/378.22 c #Conflicts: 583000 | #Constraints: 196700 376.74/378.22 c #Conflicts: 584000 | #Constraints: 197700 376.74/378.22 c #Conflicts: 585000 | #Constraints: 198700 376.74/378.22 c #Conflicts: 586000 | #Constraints: 199700 376.74/378.22 c #Conflicts: 587000 | #Constraints: 200700 376.74/378.22 c #Conflicts: 588000 | #Constraints: 201700 376.74/378.22 c #Conflicts: 589000 | #Constraints: 202700 376.74/378.22 c #Conflicts: 590000 | #Constraints: 203700 376.74/378.22 c #Conflicts: 591000 | #Constraints: 204700 376.74/378.22 c #Conflicts: 592000 | #Constraints: 205700 376.74/378.22 c #Conflicts: 593000 | #Constraints: 206700 376.74/378.22 c #Conflicts: 594000 | #Constraints: 207700 376.74/378.22 c #Conflicts: 595000 | #Constraints: 208700 376.74/378.22 c #Conflicts: 596000 | #Constraints: 209700 376.74/378.22 c #Conflicts: 597000 | #Constraints: 210700 376.74/378.22 c #Conflicts: 598000 | #Constraints: 211700 376.74/378.22 c #Conflicts: 599000 | #Constraints: 212700 376.74/378.22 c #Conflicts: 600000 | #Constraints: 213700 376.74/378.22 c #Conflicts: 601000 | #Constraints: 214700 376.74/378.22 c #Conflicts: 602000 | #Constraints: 215700 376.74/378.22 c #Conflicts: 603000 | #Constraints: 216700 376.74/378.22 c #Conflicts: 604000 | #Constraints: 217700 376.74/378.22 c #Conflicts: 605000 | #Constraints: 218700 376.74/378.22 c INPROCESSING 376.74/378.22 c GARBAGE COLLECT 376.74/378.22 c rational objective 804.449 410.11/411.73 c #Conflicts: 606000 | #Constraints: 172602 410.11/411.73 c #Conflicts: 607000 | #Constraints: 173602 410.11/411.73 c #Conflicts: 608000 | #Constraints: 174602 410.11/411.73 c #Conflicts: 609000 | #Constraints: 175602 410.11/411.73 c #Conflicts: 610000 | #Constraints: 176602 410.11/411.73 c #Conflicts: 611000 | #Constraints: 177602 410.11/411.73 c #Conflicts: 612000 | #Constraints: 178602 410.11/411.73 c #Conflicts: 613000 | #Constraints: 179602 410.11/411.73 c #Conflicts: 614000 | #Constraints: 180602 410.11/411.73 c #Conflicts: 615000 | #Constraints: 181602 410.11/411.73 c #Conflicts: 616000 | #Constraints: 182602 410.11/411.73 c #Conflicts: 617000 | #Constraints: 183602 410.11/411.73 c #Conflicts: 618000 | #Constraints: 184602 410.11/411.73 c #Conflicts: 619000 | #Constraints: 185602 410.11/411.73 c #Conflicts: 620000 | #Constraints: 186602 410.11/411.73 c #Conflicts: 621000 | #Constraints: 187602 410.11/411.73 c #Conflicts: 622000 | #Constraints: 188602 410.11/411.73 c #Conflicts: 623000 | #Constraints: 189602 410.11/411.73 c #Conflicts: 624000 | #Constraints: 190602 410.11/411.73 c #Conflicts: 625000 | #Constraints: 191602 410.11/411.73 c #Conflicts: 626000 | #Constraints: 192602 410.11/411.73 c #Conflicts: 627000 | #Constraints: 193602 410.11/411.73 c #Conflicts: 628000 | #Constraints: 194602 410.11/411.73 c #Conflicts: 629000 | #Constraints: 195602 410.11/411.73 c #Conflicts: 630000 | #Constraints: 196602 410.11/411.73 c #Conflicts: 631000 | #Constraints: 197602 410.11/411.73 c #Conflicts: 632000 | #Constraints: 198602 410.11/411.73 c #Conflicts: 633000 | #Constraints: 199602 410.11/411.73 c #Conflicts: 634000 | #Constraints: 200602 410.11/411.73 c #Conflicts: 635000 | #Constraints: 201602 410.11/411.73 c #Conflicts: 636000 | #Constraints: 202602 410.11/411.73 c #Conflicts: 637000 | #Constraints: 203602 410.11/411.73 c #Conflicts: 638000 | #Constraints: 204602 410.11/411.73 c #Conflicts: 639000 | #Constraints: 205602 410.11/411.73 c #Conflicts: 640000 | #Constraints: 206602 410.11/411.73 c #Conflicts: 641000 | #Constraints: 207602 410.11/411.73 c #Conflicts: 642000 | #Constraints: 208602 410.11/411.73 c #Conflicts: 643000 | #Constraints: 209602 410.11/411.73 c #Conflicts: 644000 | #Constraints: 210602 410.11/411.73 c #Conflicts: 645000 | #Constraints: 211602 410.11/411.73 c #Conflicts: 646000 | #Constraints: 212602 410.11/411.73 c #Conflicts: 647000 | #Constraints: 213602 410.11/411.73 c #Conflicts: 648000 | #Constraints: 214602 410.11/411.73 c #Conflicts: 649000 | #Constraints: 215602 410.11/411.73 c #Conflicts: 650000 | #Constraints: 216602 410.11/411.73 c #Conflicts: 651000 | #Constraints: 217602 410.11/411.73 c #Conflicts: 652000 | #Constraints: 218602 410.11/411.73 c #Conflicts: 653000 | #Constraints: 219602 410.11/411.73 c #Conflicts: 654000 | #Constraints: 220602 410.11/411.73 c #Conflicts: 655000 | #Constraints: 221602 410.11/411.73 c INPROCESSING 410.11/411.73 c GARBAGE COLLECT 410.11/411.73 c rational objective 806.102 446.48/448.30 c #Conflicts: 656000 | #Constraints: 171141 446.48/448.30 c #Conflicts: 657000 | #Constraints: 172141 446.48/448.30 c #Conflicts: 658000 | #Constraints: 173141 446.48/448.30 c #Conflicts: 659000 | #Constraints: 174141 446.48/448.30 c #Conflicts: 660000 | #Constraints: 175141 446.48/448.30 c #Conflicts: 661000 | #Constraints: 176141 446.48/448.30 c #Conflicts: 662000 | #Constraints: 177141 446.48/448.30 c #Conflicts: 663000 | #Constraints: 178141 446.48/448.30 c #Conflicts: 664000 | #Constraints: 179141 446.48/448.30 c #Conflicts: 665000 | #Constraints: 180141 446.48/448.30 c #Conflicts: 666000 | #Constraints: 181141 446.48/448.30 c #Conflicts: 667000 | #Constraints: 182141 446.48/448.30 c #Conflicts: 668000 | #Constraints: 183141 446.48/448.30 c #Conflicts: 669000 | #Constraints: 184141 446.48/448.30 c #Conflicts: 670000 | #Constraints: 185141 446.48/448.30 c #Conflicts: 671000 | #Constraints: 186141 446.48/448.30 c #Conflicts: 672000 | #Constraints: 187141 446.48/448.30 c #Conflicts: 673000 | #Constraints: 188141 446.48/448.30 c #Conflicts: 674000 | #Constraints: 189141 446.48/448.30 c #Conflicts: 675000 | #Constraints: 190141 446.48/448.30 c #Conflicts: 676000 | #Constraints: 191141 446.48/448.30 c #Conflicts: 677000 | #Constraints: 192141 446.48/448.30 c #Conflicts: 678000 | #Constraints: 193141 446.48/448.30 c #Conflicts: 679000 | #Constraints: 194141 446.48/448.30 c #Conflicts: 680000 | #Constraints: 195141 446.48/448.30 c #Conflicts: 681000 | #Constraints: 196141 446.48/448.30 c #Conflicts: 682000 | #Constraints: 197141 446.48/448.30 c #Conflicts: 683000 | #Constraints: 198141 446.48/448.30 c #Conflicts: 684000 | #Constraints: 199141 446.48/448.30 c #Conflicts: 685000 | #Constraints: 200141 446.48/448.30 c #Conflicts: 686000 | #Constraints: 201141 446.48/448.30 c #Conflicts: 687000 | #Constraints: 202141 446.48/448.30 c #Conflicts: 688000 | #Constraints: 203141 446.48/448.30 c #Conflicts: 689000 | #Constraints: 204141 446.48/448.30 c #Conflicts: 690000 | #Constraints: 205141 446.48/448.30 c #Conflicts: 691000 | #Constraints: 206141 446.48/448.30 c #Conflicts: 692000 | #Constraints: 207141 446.48/448.30 c #Conflicts: 693000 | #Constraints: 208141 446.48/448.30 c #Conflicts: 694000 | #Constraints: 209141 446.48/448.30 c #Conflicts: 695000 | #Constraints: 210141 446.48/448.30 c #Conflicts: 696000 | #Constraints: 211141 446.48/448.30 c #Conflicts: 697000 | #Constraints: 212141 446.48/448.30 c #Conflicts: 698000 | #Constraints: 213141 446.48/448.30 c #Conflicts: 699000 | #Constraints: 214141 446.48/448.30 c #Conflicts: 700000 | #Constraints: 215141 446.48/448.30 c #Conflicts: 701000 | #Constraints: 216141 446.48/448.30 c #Conflicts: 702000 | #Constraints: 217141 446.48/448.30 c #Conflicts: 703000 | #Constraints: 218141 446.48/448.30 c #Conflicts: 704000 | #Constraints: 219141 446.48/448.30 c #Conflicts: 705000 | #Constraints: 220141 446.48/448.30 c #Conflicts: 706000 | #Constraints: 221141 446.48/448.30 c #Conflicts: 707000 | #Constraints: 222141 446.48/448.30 c INPROCESSING 446.48/448.30 c GARBAGE COLLECT 446.48/448.30 c rational objective 808.087 480.76/482.61 c #Conflicts: 708000 | #Constraints: 171423 480.76/482.61 c #Conflicts: 709000 | #Constraints: 172423 480.76/482.61 c #Conflicts: 710000 | #Constraints: 173423 480.76/482.61 c #Conflicts: 711000 | #Constraints: 174423 480.76/482.61 c #Conflicts: 712000 | #Constraints: 175423 480.76/482.61 c #Conflicts: 713000 | #Constraints: 176423 480.76/482.61 c #Conflicts: 714000 | #Constraints: 177423 480.76/482.61 c #Conflicts: 715000 | #Constraints: 178423 480.76/482.61 c #Conflicts: 716000 | #Constraints: 179423 480.76/482.61 c #Conflicts: 717000 | #Constraints: 180423 480.76/482.61 c #Conflicts: 718000 | #Constraints: 181423 480.76/482.61 c #Conflicts: 719000 | #Constraints: 182423 480.76/482.61 c #Conflicts: 720000 | #Constraints: 183423 480.76/482.61 c #Conflicts: 721000 | #Constraints: 184423 480.76/482.61 c #Conflicts: 722000 | #Constraints: 185423 480.76/482.61 c #Conflicts: 723000 | #Constraints: 186423 480.76/482.61 c #Conflicts: 724000 | #Constraints: 187423 480.76/482.61 c #Conflicts: 725000 | #Constraints: 188423 480.76/482.61 c #Conflicts: 726000 | #Constraints: 189423 480.76/482.61 c #Conflicts: 727000 | #Constraints: 190423 480.76/482.61 c #Conflicts: 728000 | #Constraints: 191423 480.76/482.61 c #Conflicts: 729000 | #Constraints: 192423 480.76/482.61 c #Conflicts: 730000 | #Constraints: 193423 480.76/482.61 c #Conflicts: 731000 | #Constraints: 194423 480.76/482.61 c #Conflicts: 732000 | #Constraints: 195423 480.76/482.61 c #Conflicts: 733000 | #Constraints: 196423 480.76/482.61 c #Conflicts: 734000 | #Constraints: 197423 480.76/482.61 c #Conflicts: 735000 | #Constraints: 198423 480.76/482.61 c #Conflicts: 736000 | #Constraints: 199423 480.76/482.61 c #Conflicts: 737000 | #Constraints: 200423 480.76/482.61 c #Conflicts: 738000 | #Constraints: 201423 480.76/482.61 c #Conflicts: 739000 | #Constraints: 202423 480.76/482.61 c #Conflicts: 740000 | #Constraints: 203423 480.76/482.61 c #Conflicts: 741000 | #Constraints: 204423 480.76/482.61 c #Conflicts: 742000 | #Constraints: 205423 480.76/482.61 c #Conflicts: 743000 | #Constraints: 206423 480.76/482.61 c #Conflicts: 744000 | #Constraints: 207423 480.76/482.61 c #Conflicts: 745000 | #Constraints: 208423 480.76/482.61 c #Conflicts: 746000 | #Constraints: 209423 480.76/482.61 c #Conflicts: 747000 | #Constraints: 210423 480.76/482.61 c #Conflicts: 748000 | #Constraints: 211423 480.76/482.61 c #Conflicts: 749000 | #Constraints: 212423 480.76/482.61 c #Conflicts: 750000 | #Constraints: 213423 480.76/482.61 c #Conflicts: 751000 | #Constraints: 214423 480.76/482.61 c #Conflicts: 752000 | #Constraints: 215423 480.76/482.61 c #Conflicts: 753000 | #Constraints: 216423 480.76/482.61 c #Conflicts: 754000 | #Constraints: 217423 480.76/482.61 c #Conflicts: 755000 | #Constraints: 218423 480.76/482.61 c #Conflicts: 756000 | #Constraints: 219423 480.76/482.61 c #Conflicts: 757000 | #Constraints: 220423 480.76/482.61 c #Conflicts: 758000 | #Constraints: 221423 480.76/482.61 c #Conflicts: 759000 | #Constraints: 222423 480.76/482.61 c #Conflicts: 760000 | #Constraints: 223423 480.76/482.61 c #Conflicts: 761000 | #Constraints: 224423 480.76/482.61 c INPROCESSING 480.76/482.61 c GARBAGE COLLECT 480.76/482.61 c rational objective 810.169 521.62/523.65 c #Conflicts: 762000 | #Constraints: 172367 521.62/523.65 c #Conflicts: 763000 | #Constraints: 173367 521.62/523.65 c #Conflicts: 764000 | #Constraints: 174367 521.62/523.65 c #Conflicts: 765000 | #Constraints: 175367 521.62/523.65 c #Conflicts: 766000 | #Constraints: 176367 521.62/523.65 c #Conflicts: 767000 | #Constraints: 177367 521.62/523.65 c #Conflicts: 768000 | #Constraints: 178367 521.62/523.65 c #Conflicts: 769000 | #Constraints: 179367 521.62/523.65 c #Conflicts: 770000 | #Constraints: 180367 521.62/523.65 c #Conflicts: 771000 | #Constraints: 181367 521.62/523.65 c #Conflicts: 772000 | #Constraints: 182367 521.62/523.65 c #Conflicts: 773000 | #Constraints: 183367 521.62/523.65 c #Conflicts: 774000 | #Constraints: 184367 521.62/523.65 c #Conflicts: 775000 | #Constraints: 185367 521.62/523.65 c #Conflicts: 776000 | #Constraints: 186367 521.62/523.65 c #Conflicts: 777000 | #Constraints: 187367 521.62/523.65 c #Conflicts: 778000 | #Constraints: 188367 521.62/523.65 c #Conflicts: 779000 | #Constraints: 189367 521.62/523.65 c #Conflicts: 780000 | #Constraints: 190367 521.62/523.65 c #Conflicts: 781000 | #Constraints: 191367 521.62/523.65 c #Conflicts: 782000 | #Constraints: 192367 521.62/523.65 c #Conflicts: 783000 | #Constraints: 193367 521.62/523.65 c #Conflicts: 784000 | #Constraints: 194367 521.62/523.65 c #Conflicts: 785000 | #Constraints: 195367 521.62/523.65 c #Conflicts: 786000 | #Constraints: 196367 521.62/523.65 c #Conflicts: 787000 | #Constraints: 197367 521.62/523.65 c #Conflicts: 788000 | #Constraints: 198367 521.62/523.65 c #Conflicts: 789000 | #Constraints: 199367 521.62/523.65 c #Conflicts: 790000 | #Constraints: 200367 521.62/523.65 c #Conflicts: 791000 | #Constraints: 201367 521.62/523.65 c #Conflicts: 792000 | #Constraints: 202367 521.62/523.65 c #Conflicts: 793000 | #Constraints: 203367 521.62/523.65 c #Conflicts: 794000 | #Constraints: 204367 521.62/523.65 c #Conflicts: 795000 | #Constraints: 205367 521.62/523.65 c #Conflicts: 796000 | #Constraints: 206367 521.62/523.65 c #Conflicts: 797000 | #Constraints: 207367 521.62/523.65 c #Conflicts: 798000 | #Constraints: 208367 521.62/523.65 c #Conflicts: 799000 | #Constraints: 209367 521.62/523.65 c #Conflicts: 800000 | #Constraints: 210367 521.62/523.65 c #Conflicts: 801000 | #Constraints: 211367 521.62/523.65 c #Conflicts: 802000 | #Constraints: 212367 521.62/523.65 c #Conflicts: 803000 | #Constraints: 213367 521.62/523.65 c #Conflicts: 804000 | #Constraints: 214367 521.62/523.65 c #Conflicts: 805000 | #Constraints: 215367 521.62/523.65 c #Conflicts: 806000 | #Constraints: 216367 521.62/523.65 c #Conflicts: 807000 | #Constraints: 217367 521.62/523.65 c #Conflicts: 808000 | #Constraints: 218367 521.62/523.65 c #Conflicts: 809000 | #Constraints: 219367 521.62/523.65 c #Conflicts: 810000 | #Constraints: 220367 521.62/523.65 c #Conflicts: 811000 | #Constraints: 221367 521.62/523.65 c #Conflicts: 812000 | #Constraints: 222367 521.62/523.65 c #Conflicts: 813000 | #Constraints: 223367 521.62/523.65 c #Conflicts: 814000 | #Constraints: 224367 521.62/523.65 c #Conflicts: 815000 | #Constraints: 225367 521.62/523.65 c #Conflicts: 816000 | #Constraints: 226367 521.62/523.65 c #Conflicts: 817000 | #Constraints: 227367 521.62/523.65 c INPROCESSING 521.62/523.65 c GARBAGE COLLECT 521.62/523.65 c rational objective 810.576 559.89/562.08 c #Conflicts: 818000 | #Constraints: 173000 559.89/562.08 c #Conflicts: 819000 | #Constraints: 174000 559.89/562.08 c #Conflicts: 820000 | #Constraints: 175000 559.89/562.08 c #Conflicts: 821000 | #Constraints: 176000 559.89/562.08 c #Conflicts: 822000 | #Constraints: 177000 559.89/562.08 c #Conflicts: 823000 | #Constraints: 178000 559.89/562.08 c #Conflicts: 824000 | #Constraints: 179000 559.89/562.08 c #Conflicts: 825000 | #Constraints: 180000 559.89/562.08 c #Conflicts: 826000 | #Constraints: 181000 559.89/562.08 c #Conflicts: 827000 | #Constraints: 182000 559.89/562.08 c #Conflicts: 828000 | #Constraints: 183000 559.89/562.08 c #Conflicts: 829000 | #Constraints: 184000 559.89/562.08 c #Conflicts: 830000 | #Constraints: 185000 559.89/562.08 c #Conflicts: 831000 | #Constraints: 186000 559.89/562.08 c #Conflicts: 832000 | #Constraints: 187000 559.89/562.08 c #Conflicts: 833000 | #Constraints: 188000 559.89/562.08 c #Conflicts: 834000 | #Constraints: 189000 559.89/562.08 c #Conflicts: 835000 | #Constraints: 190000 559.89/562.08 c #Conflicts: 836000 | #Constraints: 191000 559.89/562.08 c #Conflicts: 837000 | #Constraints: 192000 559.89/562.08 c #Conflicts: 838000 | #Constraints: 193000 559.89/562.08 c #Conflicts: 839000 | #Constraints: 194000 559.89/562.08 c #Conflicts: 840000 | #Constraints: 195000 559.89/562.08 c #Conflicts: 841000 | #Constraints: 196000 559.89/562.08 c #Conflicts: 842000 | #Constraints: 197000 559.89/562.08 c #Conflicts: 843000 | #Constraints: 198000 559.89/562.08 c #Conflicts: 844000 | #Constraints: 199000 559.89/562.08 c #Conflicts: 845000 | #Constraints: 200000 559.89/562.08 c #Conflicts: 846000 | #Constraints: 201000 559.89/562.08 c #Conflicts: 847000 | #Constraints: 202000 559.89/562.08 c #Conflicts: 848000 | #Constraints: 203000 559.89/562.08 c #Conflicts: 849000 | #Constraints: 204000 559.89/562.08 c #Conflicts: 850000 | #Constraints: 205000 559.89/562.08 c #Conflicts: 851000 | #Constraints: 206000 559.89/562.08 c #Conflicts: 852000 | #Constraints: 207000 559.89/562.08 c #Conflicts: 853000 | #Constraints: 208000 559.89/562.08 c #Conflicts: 854000 | #Constraints: 209000 559.89/562.08 c #Conflicts: 855000 | #Constraints: 210000 559.89/562.08 c #Conflicts: 856000 | #Constraints: 211000 559.89/562.08 c #Conflicts: 857000 | #Constraints: 212000 559.89/562.08 c #Conflicts: 858000 | #Constraints: 213000 559.89/562.08 c #Conflicts: 859000 | #Constraints: 214000 559.89/562.08 c #Conflicts: 860000 | #Constraints: 215000 559.89/562.08 c #Conflicts: 861000 | #Constraints: 216000 559.89/562.08 c #Conflicts: 862000 | #Constraints: 217000 559.89/562.08 c #Conflicts: 863000 | #Constraints: 218000 559.89/562.08 c #Conflicts: 864000 | #Constraints: 219000 559.89/562.08 c #Conflicts: 865000 | #Constraints: 220000 559.89/562.08 c #Conflicts: 866000 | #Constraints: 221000 559.89/562.08 c #Conflicts: 867000 | #Constraints: 222000 559.89/562.08 c #Conflicts: 868000 | #Constraints: 223000 559.89/562.08 c #Conflicts: 869000 | #Constraints: 224000 559.89/562.08 c #Conflicts: 870000 | #Constraints: 225000 559.89/562.08 c #Conflicts: 871000 | #Constraints: 226000 559.89/562.08 c #Conflicts: 872000 | #Constraints: 227000 559.89/562.08 c #Conflicts: 873000 | #Constraints: 228000 559.89/562.08 c #Conflicts: 874000 | #Constraints: 229000 559.89/562.08 c #Conflicts: 875000 | #Constraints: 230000 559.89/562.08 c #Conflicts: 876000 | #Constraints: 231000 559.89/562.08 c INPROCESSING 559.89/562.08 c GARBAGE COLLECT 559.89/562.08 c rational objective 812.019 603.13/605.45 c #Conflicts: 877000 | #Constraints: 175156 603.13/605.45 c #Conflicts: 878000 | #Constraints: 176156 603.13/605.45 c #Conflicts: 879000 | #Constraints: 177156 603.13/605.45 c #Conflicts: 880000 | #Constraints: 178156 603.13/605.45 c #Conflicts: 881000 | #Constraints: 179156 603.13/605.45 c #Conflicts: 882000 | #Constraints: 180156 603.13/605.45 c #Conflicts: 883000 | #Constraints: 181156 603.13/605.45 c #Conflicts: 884000 | #Constraints: 182156 603.13/605.45 c #Conflicts: 885000 | #Constraints: 183156 603.13/605.45 c #Conflicts: 886000 | #Constraints: 184156 603.13/605.45 c #Conflicts: 887000 | #Constraints: 185156 603.13/605.45 c #Conflicts: 888000 | #Constraints: 186156 603.13/605.45 c #Conflicts: 889000 | #Constraints: 187156 603.13/605.45 c #Conflicts: 890000 | #Constraints: 188156 603.13/605.45 c #Conflicts: 891000 | #Constraints: 189156 603.13/605.45 c #Conflicts: 892000 | #Constraints: 190156 603.13/605.45 c #Conflicts: 893000 | #Constraints: 191156 603.13/605.45 c #Conflicts: 894000 | #Constraints: 192156 603.13/605.45 c #Conflicts: 895000 | #Constraints: 193156 603.13/605.45 c #Conflicts: 896000 | #Constraints: 194156 603.13/605.45 c #Conflicts: 897000 | #Constraints: 195156 603.13/605.45 c #Conflicts: 898000 | #Constraints: 196156 603.13/605.45 c #Conflicts: 899000 | #Constraints: 197156 603.13/605.45 c #Conflicts: 900000 | #Constraints: 198156 603.13/605.45 c #Conflicts: 901000 | #Constraints: 199156 603.13/605.45 c #Conflicts: 902000 | #Constraints: 200156 603.13/605.45 c #Conflicts: 903000 | #Constraints: 201156 603.13/605.45 c #Conflicts: 904000 | #Constraints: 202156 603.13/605.45 c #Conflicts: 905000 | #Constraints: 203156 603.13/605.45 c #Conflicts: 906000 | #Constraints: 204156 603.13/605.45 c #Conflicts: 907000 | #Constraints: 205156 603.13/605.45 c #Conflicts: 908000 | #Constraints: 206156 603.13/605.45 c #Conflicts: 909000 | #Constraints: 207156 603.13/605.45 c #Conflicts: 910000 | #Constraints: 208156 603.13/605.45 c #Conflicts: 911000 | #Constraints: 209156 603.13/605.45 c #Conflicts: 912000 | #Constraints: 210156 603.13/605.45 c #Conflicts: 913000 | #Constraints: 211156 603.13/605.45 c #Conflicts: 914000 | #Constraints: 212156 603.13/605.45 c #Conflicts: 915000 | #Constraints: 213156 603.13/605.45 c #Conflicts: 916000 | #Constraints: 214156 603.13/605.45 c #Conflicts: 917000 | #Constraints: 215156 603.13/605.45 c #Conflicts: 918000 | #Constraints: 216156 603.13/605.45 c #Conflicts: 919000 | #Constraints: 217156 603.13/605.45 c #Conflicts: 920000 | #Constraints: 218156 603.13/605.45 c #Conflicts: 921000 | #Constraints: 219156 603.13/605.45 c #Conflicts: 922000 | #Constraints: 220156 603.13/605.45 c #Conflicts: 923000 | #Constraints: 221156 603.13/605.45 c #Conflicts: 924000 | #Constraints: 222156 603.13/605.45 c #Conflicts: 925000 | #Constraints: 223156 603.13/605.45 c #Conflicts: 926000 | #Constraints: 224156 603.13/605.45 c #Conflicts: 927000 | #Constraints: 225156 603.13/605.45 c #Conflicts: 928000 | #Constraints: 226156 603.13/605.45 c #Conflicts: 929000 | #Constraints: 227156 603.13/605.45 c #Conflicts: 930000 | #Constraints: 228156 603.13/605.45 c #Conflicts: 931000 | #Constraints: 229156 603.13/605.45 c #Conflicts: 932000 | #Constraints: 230156 603.13/605.45 c #Conflicts: 933000 | #Constraints: 231156 603.13/605.45 c #Conflicts: 934000 | #Constraints: 232156 603.13/605.45 c #Conflicts: 935000 | #Constraints: 233156 603.13/605.45 c #Conflicts: 936000 | #Constraints: 234156 603.13/605.45 c INPROCESSING 603.13/605.45 c GARBAGE COLLECT 603.13/605.45 c rational objective 813.592 652.13/654.62 c #Conflicts: 937000 | #Constraints: 176421 652.13/654.62 c #Conflicts: 938000 | #Constraints: 177421 652.13/654.62 c #Conflicts: 939000 | #Constraints: 178421 652.13/654.62 c #Conflicts: 940000 | #Constraints: 179421 652.13/654.62 c #Conflicts: 941000 | #Constraints: 180421 652.13/654.62 c #Conflicts: 942000 | #Constraints: 181421 652.13/654.62 c #Conflicts: 943000 | #Constraints: 182421 652.13/654.62 c #Conflicts: 944000 | #Constraints: 183421 652.13/654.62 c #Conflicts: 945000 | #Constraints: 184421 652.13/654.62 c #Conflicts: 946000 | #Constraints: 185421 652.13/654.62 c #Conflicts: 947000 | #Constraints: 186421 652.13/654.62 c #Conflicts: 948000 | #Constraints: 187421 652.13/654.62 c #Conflicts: 949000 | #Constraints: 188421 652.13/654.62 c #Conflicts: 950000 | #Constraints: 189421 652.13/654.62 c #Conflicts: 951000 | #Constraints: 190421 652.13/654.62 c #Conflicts: 952000 | #Constraints: 191421 652.13/654.62 c #Conflicts: 953000 | #Constraints: 192421 652.13/654.62 c #Conflicts: 954000 | #Constraints: 193421 652.13/654.62 c #Conflicts: 955000 | #Constraints: 194421 652.13/654.62 c #Conflicts: 956000 | #Constraints: 195421 652.13/654.62 c #Conflicts: 957000 | #Constraints: 196421 652.13/654.62 c #Conflicts: 958000 | #Constraints: 197421 652.13/654.62 c #Conflicts: 959000 | #Constraints: 198421 652.13/654.62 c #Conflicts: 960000 | #Constraints: 199421 652.13/654.62 c #Conflicts: 961000 | #Constraints: 200421 652.13/654.62 c #Conflicts: 962000 | #Constraints: 201421 652.13/654.62 c #Conflicts: 963000 | #Constraints: 202421 652.13/654.62 c #Conflicts: 964000 | #Constraints: 203421 652.13/654.62 c #Conflicts: 965000 | #Constraints: 204421 652.13/654.62 c #Conflicts: 966000 | #Constraints: 205421 652.13/654.62 c #Conflicts: 967000 | #Constraints: 206421 652.13/654.62 c #Conflicts: 968000 | #Constraints: 207421 652.13/654.62 c #Conflicts: 969000 | #Constraints: 208421 652.13/654.62 c #Conflicts: 970000 | #Constraints: 209421 652.13/654.62 c #Conflicts: 971000 | #Constraints: 210421 652.13/654.62 c #Conflicts: 972000 | #Constraints: 211421 652.13/654.62 c #Conflicts: 973000 | #Constraints: 212421 652.13/654.62 c #Conflicts: 974000 | #Constraints: 213421 652.13/654.62 c #Conflicts: 975000 | #Constraints: 214421 652.13/654.62 c #Conflicts: 976000 | #Constraints: 215421 652.13/654.62 c #Conflicts: 977000 | #Constraints: 216421 652.13/654.62 c #Conflicts: 978000 | #Constraints: 217421 652.13/654.62 c #Conflicts: 979000 | #Constraints: 218421 652.13/654.62 c #Conflicts: 980000 | #Constraints: 219421 652.13/654.62 c #Conflicts: 981000 | #Constraints: 220421 652.13/654.62 c #Conflicts: 982000 | #Constraints: 221421 652.13/654.62 c #Conflicts: 983000 | #Constraints: 222421 652.13/654.62 c #Conflicts: 984000 | #Constraints: 223421 652.13/654.62 c #Conflicts: 985000 | #Constraints: 224421 652.13/654.62 c #Conflicts: 986000 | #Constraints: 225421 652.13/654.62 c #Conflicts: 987000 | #Constraints: 226421 652.13/654.62 c #Conflicts: 988000 | #Constraints: 227421 652.13/654.62 c #Conflicts: 989000 | #Constraints: 228421 652.13/654.62 c #Conflicts: 990000 | #Constraints: 229421 652.13/654.62 c #Conflicts: 991000 | #Constraints: 230421 652.13/654.62 c #Conflicts: 992000 | #Constraints: 231421 652.13/654.62 c #Conflicts: 993000 | #Constraints: 232421 652.13/654.62 c #Conflicts: 994000 | #Constraints: 233421 652.13/654.62 c #Conflicts: 995000 | #Constraints: 234421 652.13/654.62 c #Conflicts: 996000 | #Constraints: 235421 652.13/654.62 c #Conflicts: 997000 | #Constraints: 236421 652.13/654.62 c #Conflicts: 998000 | #Constraints: 237421 652.13/654.62 c INPROCESSING 652.13/654.62 c GARBAGE COLLECT 652.13/654.62 c rational objective 814.454 693.80/696.44 c #Conflicts: 999000 | #Constraints: 178532 693.80/696.44 c #Conflicts: 1000000 | #Constraints: 179532 693.80/696.44 c #Conflicts: 1001000 | #Constraints: 180532 693.80/696.44 c #Conflicts: 1002000 | #Constraints: 181532 693.80/696.44 c #Conflicts: 1003000 | #Constraints: 182532 693.80/696.44 c #Conflicts: 1004000 | #Constraints: 183532 693.80/696.44 c #Conflicts: 1005000 | #Constraints: 184532 693.80/696.44 c #Conflicts: 1006000 | #Constraints: 185532 693.80/696.44 c #Conflicts: 1007000 | #Constraints: 186532 693.80/696.44 c #Conflicts: 1008000 | #Constraints: 187532 693.80/696.44 c #Conflicts: 1009000 | #Constraints: 188532 693.80/696.44 c #Conflicts: 1010000 | #Constraints: 189532 693.80/696.44 c #Conflicts: 1011000 | #Constraints: 190532 693.80/696.44 c #Conflicts: 1012000 | #Constraints: 191532 693.80/696.44 c #Conflicts: 1013000 | #Constraints: 192532 693.80/696.44 c #Conflicts: 1014000 | #Constraints: 193532 693.80/696.44 c #Conflicts: 1015000 | #Constraints: 194532 693.80/696.44 c #Conflicts: 1016000 | #Constraints: 195532 693.80/696.44 c #Conflicts: 1017000 | #Constraints: 196532 693.80/696.44 c #Conflicts: 1018000 | #Constraints: 197532 693.80/696.44 c #Conflicts: 1019000 | #Constraints: 198532 693.80/696.44 c #Conflicts: 1020000 | #Constraints: 199532 693.80/696.44 c #Conflicts: 1021000 | #Constraints: 200532 693.80/696.44 c #Conflicts: 1022000 | #Constraints: 201532 693.80/696.44 c #Conflicts: 1023000 | #Constraints: 202532 693.80/696.44 c #Conflicts: 1024000 | #Constraints: 203532 693.80/696.44 c #Conflicts: 1025000 | #Constraints: 204532 693.80/696.44 c #Conflicts: 1026000 | #Constraints: 205532 693.80/696.44 c #Conflicts: 1027000 | #Constraints: 206532 693.80/696.44 c #Conflicts: 1028000 | #Constraints: 207532 693.80/696.44 c #Conflicts: 1029000 | #Constraints: 208532 693.80/696.44 c #Conflicts: 1030000 | #Constraints: 209532 693.80/696.44 c #Conflicts: 1031000 | #Constraints: 210532 693.80/696.44 c #Conflicts: 1032000 | #Constraints: 211532 693.80/696.44 c #Conflicts: 1033000 | #Constraints: 212532 693.80/696.44 c #Conflicts: 1034000 | #Constraints: 213532 693.80/696.44 c #Conflicts: 1035000 | #Constraints: 214532 693.80/696.44 c #Conflicts: 1036000 | #Constraints: 215532 693.80/696.44 c #Conflicts: 1037000 | #Constraints: 216532 693.80/696.44 c #Conflicts: 1038000 | #Constraints: 217532 693.80/696.44 c #Conflicts: 1039000 | #Constraints: 218532 693.80/696.44 c #Conflicts: 1040000 | #Constraints: 219532 693.80/696.44 c #Conflicts: 1041000 | #Constraints: 220532 693.80/696.44 c #Conflicts: 1042000 | #Constraints: 221532 693.80/696.44 c #Conflicts: 1043000 | #Constraints: 222532 693.80/696.44 c #Conflicts: 1044000 | #Constraints: 223532 693.80/696.44 c #Conflicts: 1045000 | #Constraints: 224532 693.80/696.44 c #Conflicts: 1046000 | #Constraints: 225532 693.80/696.44 c #Conflicts: 1047000 | #Constraints: 226532 693.80/696.44 c #Conflicts: 1048000 | #Constraints: 227532 693.80/696.44 c #Conflicts: 1049000 | #Constraints: 228532 693.80/696.44 c #Conflicts: 1050000 | #Constraints: 229532 693.80/696.44 c #Conflicts: 1051000 | #Constraints: 230532 693.80/696.44 c #Conflicts: 1052000 | #Constraints: 231532 693.80/696.44 c #Conflicts: 1053000 | #Constraints: 232532 693.80/696.44 c #Conflicts: 1054000 | #Constraints: 233532 693.80/696.44 c #Conflicts: 1055000 | #Constraints: 234532 693.80/696.44 c #Conflicts: 1056000 | #Constraints: 235532 693.80/696.44 c #Conflicts: 1057000 | #Constraints: 236532 693.80/696.44 c #Conflicts: 1058000 | #Constraints: 237532 693.80/696.44 c #Conflicts: 1059000 | #Constraints: 238532 693.80/696.44 c #Conflicts: 1060000 | #Constraints: 239532 693.80/696.44 c #Conflicts: 1061000 | #Constraints: 240532 693.80/696.44 c #Conflicts: 1062000 | #Constraints: 241532 693.80/696.44 c INPROCESSING 693.80/696.44 c GARBAGE COLLECT 693.80/696.44 c rational objective 815.234 734.82/737.62 c #Conflicts: 1063000 | #Constraints: 180750 734.82/737.62 c #Conflicts: 1064000 | #Constraints: 181750 734.82/737.62 c #Conflicts: 1065000 | #Constraints: 182750 734.82/737.62 c #Conflicts: 1066000 | #Constraints: 183750 734.82/737.62 c #Conflicts: 1067000 | #Constraints: 184750 734.82/737.62 c #Conflicts: 1068000 | #Constraints: 185750 734.82/737.62 c #Conflicts: 1069000 | #Constraints: 186750 734.82/737.62 c #Conflicts: 1070000 | #Constraints: 187750 734.82/737.62 c #Conflicts: 1071000 | #Constraints: 188750 734.82/737.62 c #Conflicts: 1072000 | #Constraints: 189750 734.82/737.62 c #Conflicts: 1073000 | #Constraints: 190750 734.82/737.62 c #Conflicts: 1074000 | #Constraints: 191750 734.82/737.62 c #Conflicts: 1075000 | #Constraints: 192750 734.82/737.62 c #Conflicts: 1076000 | #Constraints: 193750 734.82/737.62 c #Conflicts: 1077000 | #Constraints: 194750 734.82/737.62 c #Conflicts: 1078000 | #Constraints: 195750 734.82/737.62 c #Conflicts: 1079000 | #Constraints: 196750 734.82/737.62 c #Conflicts: 1080000 | #Constraints: 197750 734.82/737.62 c #Conflicts: 1081000 | #Constraints: 198750 734.82/737.62 c #Conflicts: 1082000 | #Constraints: 199750 734.82/737.62 c #Conflicts: 1083000 | #Constraints: 200750 734.82/737.62 c #Conflicts: 1084000 | #Constraints: 201750 734.82/737.62 c #Conflicts: 1085000 | #Constraints: 202750 734.82/737.62 c #Conflicts: 1086000 | #Constraints: 203750 734.82/737.62 c #Conflicts: 1087000 | #Constraints: 204750 734.82/737.62 c #Conflicts: 1088000 | #Constraints: 205750 734.82/737.62 c #Conflicts: 1089000 | #Constraints: 206750 734.82/737.62 c #Conflicts: 1090000 | #Constraints: 207750 734.82/737.62 c #Conflicts: 1091000 | #Constraints: 208750 734.82/737.62 c #Conflicts: 1092000 | #Constraints: 209750 734.82/737.62 c #Conflicts: 1093000 | #Constraints: 210750 734.82/737.62 c #Conflicts: 1094000 | #Constraints: 211750 734.82/737.62 c #Conflicts: 1095000 | #Constraints: 212750 734.82/737.62 c #Conflicts: 1096000 | #Constraints: 213750 734.82/737.62 c #Conflicts: 1097000 | #Constraints: 214750 734.82/737.62 c #Conflicts: 1098000 | #Constraints: 215750 734.82/737.62 c #Conflicts: 1099000 | #Constraints: 216750 734.82/737.62 c #Conflicts: 1100000 | #Constraints: 217750 734.82/737.62 c #Conflicts: 1101000 | #Constraints: 218750 734.82/737.62 c #Conflicts: 1102000 | #Constraints: 219750 734.82/737.62 c #Conflicts: 1103000 | #Constraints: 220750 734.82/737.62 c #Conflicts: 1104000 | #Constraints: 221750 734.82/737.62 c #Conflicts: 1105000 | #Constraints: 222750 734.82/737.62 c #Conflicts: 1106000 | #Constraints: 223750 734.82/737.62 c #Conflicts: 1107000 | #Constraints: 224750 734.82/737.62 c #Conflicts: 1108000 | #Constraints: 225750 734.82/737.62 c #Conflicts: 1109000 | #Constraints: 226750 734.82/737.62 c #Conflicts: 1110000 | #Constraints: 227750 734.82/737.62 c #Conflicts: 1111000 | #Constraints: 228750 734.82/737.62 c #Conflicts: 1112000 | #Constraints: 229750 734.82/737.62 c #Conflicts: 1113000 | #Constraints: 230750 734.82/737.62 c #Conflicts: 1114000 | #Constraints: 231750 734.82/737.62 c #Conflicts: 1115000 | #Constraints: 232750 734.82/737.62 c #Conflicts: 1116000 | #Constraints: 233750 734.82/737.62 c #Conflicts: 1117000 | #Constraints: 234750 734.82/737.62 c #Conflicts: 1118000 | #Constraints: 235750 734.82/737.62 c #Conflicts: 1119000 | #Constraints: 236750 734.82/737.62 c #Conflicts: 1120000 | #Constraints: 237750 734.82/737.62 c #Conflicts: 1121000 | #Constraints: 238750 734.82/737.62 c #Conflicts: 1122000 | #Constraints: 239750 734.82/737.62 c #Conflicts: 1123000 | #Constraints: 240750 734.82/737.62 c #Conflicts: 1124000 | #Constraints: 241750 734.82/737.62 c #Conflicts: 1125000 | #Constraints: 242750 734.82/737.62 c #Conflicts: 1126000 | #Constraints: 243750 734.82/737.62 c #Conflicts: 1127000 | #Constraints: 244750 734.82/737.62 c #Conflicts: 1128000 | #Constraints: 245750 734.82/737.62 c INPROCESSING 734.82/737.62 c GARBAGE COLLECT 734.82/737.62 c rational objective 816.309 780.34/783.37 c #Conflicts: 1129000 | #Constraints: 182374 780.34/783.37 c #Conflicts: 1130000 | #Constraints: 183374 780.34/783.37 c #Conflicts: 1131000 | #Constraints: 184374 780.34/783.37 c #Conflicts: 1132000 | #Constraints: 185374 780.34/783.37 c #Conflicts: 1133000 | #Constraints: 186374 780.34/783.37 c #Conflicts: 1134000 | #Constraints: 187374 780.34/783.37 c #Conflicts: 1135000 | #Constraints: 188374 780.34/783.37 c #Conflicts: 1136000 | #Constraints: 189374 780.34/783.37 c #Conflicts: 1137000 | #Constraints: 190374 780.34/783.37 c #Conflicts: 1138000 | #Constraints: 191374 780.34/783.37 c #Conflicts: 1139000 | #Constraints: 192374 780.34/783.37 c #Conflicts: 1140000 | #Constraints: 193374 780.34/783.37 c #Conflicts: 1141000 | #Constraints: 194374 780.34/783.37 c #Conflicts: 1142000 | #Constraints: 195374 780.34/783.37 c #Conflicts: 1143000 | #Constraints: 196374 780.34/783.37 c #Conflicts: 1144000 | #Constraints: 197374 780.34/783.37 c #Conflicts: 1145000 | #Constraints: 198374 780.34/783.37 c #Conflicts: 1146000 | #Constraints: 199374 780.34/783.37 c #Conflicts: 1147000 | #Constraints: 200374 780.34/783.37 c #Conflicts: 1148000 | #Constraints: 201374 780.34/783.37 c #Conflicts: 1149000 | #Constraints: 202374 780.34/783.37 c #Conflicts: 1150000 | #Constraints: 203374 780.34/783.37 c #Conflicts: 1151000 | #Constraints: 204374 780.34/783.37 c #Conflicts: 1152000 | #Constraints: 205374 780.34/783.37 c #Conflicts: 1153000 | #Constraints: 206374 780.34/783.37 c #Conflicts: 1154000 | #Constraints: 207374 780.34/783.37 c #Conflicts: 1155000 | #Constraints: 208374 780.34/783.37 c #Conflicts: 1156000 | #Constraints: 209374 780.34/783.37 c #Conflicts: 1157000 | #Constraints: 210374 780.34/783.37 c #Conflicts: 1158000 | #Constraints: 211374 780.34/783.37 c #Conflicts: 1159000 | #Constraints: 212374 780.34/783.37 c #Conflicts: 1160000 | #Constraints: 213374 780.34/783.37 c #Conflicts: 1161000 | #Constraints: 214374 780.34/783.37 c #Conflicts: 1162000 | #Constraints: 215374 780.34/783.37 c #Conflicts: 1163000 | #Constraints: 216374 780.34/783.37 c #Conflicts: 1164000 | #Constraints: 217374 780.34/783.37 c #Conflicts: 1165000 | #Constraints: 218374 780.34/783.37 c #Conflicts: 1166000 | #Constraints: 219374 780.34/783.37 c #Conflicts: 1167000 | #Constraints: 220374 780.34/783.37 c #Conflicts: 1168000 | #Constraints: 221374 780.34/783.37 c #Conflicts: 1169000 | #Constraints: 222374 780.34/783.37 c #Conflicts: 1170000 | #Constraints: 223374 780.34/783.37 c #Conflicts: 1171000 | #Constraints: 224374 780.34/783.37 c #Conflicts: 1172000 | #Constraints: 225374 780.34/783.37 c #Conflicts: 1173000 | #Constraints: 226374 780.34/783.37 c #Conflicts: 1174000 | #Constraints: 227374 780.34/783.37 c #Conflicts: 1175000 | #Constraints: 228374 780.34/783.37 c #Conflicts: 1176000 | #Constraints: 229374 780.34/783.37 c #Conflicts: 1177000 | #Constraints: 230374 780.34/783.37 c #Conflicts: 1178000 | #Constraints: 231374 780.34/783.37 c #Conflicts: 1179000 | #Constraints: 232374 780.34/783.37 c #Conflicts: 1180000 | #Constraints: 233374 780.34/783.37 c #Conflicts: 1181000 | #Constraints: 234374 780.34/783.37 c #Conflicts: 1182000 | #Constraints: 235374 780.34/783.37 c #Conflicts: 1183000 | #Constraints: 236374 780.34/783.37 c #Conflicts: 1184000 | #Constraints: 237374 780.34/783.37 c #Conflicts: 1185000 | #Constraints: 238374 780.34/783.37 c #Conflicts: 1186000 | #Constraints: 239374 780.34/783.37 c #Conflicts: 1187000 | #Constraints: 240374 780.34/783.37 c #Conflicts: 1188000 | #Constraints: 241374 780.34/783.37 c #Conflicts: 1189000 | #Constraints: 242374 780.34/783.37 c #Conflicts: 1190000 | #Constraints: 243374 780.34/783.37 c #Conflicts: 1191000 | #Constraints: 244374 780.34/783.37 c #Conflicts: 1192000 | #Constraints: 245374 780.34/783.37 c #Conflicts: 1193000 | #Constraints: 246374 780.34/783.37 c #Conflicts: 1194000 | #Constraints: 247374 780.34/783.37 c #Conflicts: 1195000 | #Constraints: 248374 780.34/783.37 c #Conflicts: 1196000 | #Constraints: 249374 780.34/783.37 c #Conflicts: 1197000 | #Constraints: 250374 780.34/783.37 c INPROCESSING 780.34/783.37 c GARBAGE COLLECT 780.34/783.37 c rational objective 818.011 828.08/831.29 c #Conflicts: 1198000 | #Constraints: 183137 828.08/831.29 c #Conflicts: 1199000 | #Constraints: 184137 828.08/831.29 c #Conflicts: 1200000 | #Constraints: 185137 828.08/831.29 c #Conflicts: 1201000 | #Constraints: 186137 828.08/831.29 c #Conflicts: 1202000 | #Constraints: 187137 828.08/831.29 c #Conflicts: 1203000 | #Constraints: 188137 828.08/831.29 c #Conflicts: 1204000 | #Constraints: 189137 828.08/831.29 c #Conflicts: 1205000 | #Constraints: 190137 828.08/831.29 c #Conflicts: 1206000 | #Constraints: 191137 828.08/831.29 c #Conflicts: 1207000 | #Constraints: 192137 828.08/831.29 c #Conflicts: 1208000 | #Constraints: 193137 828.08/831.29 c #Conflicts: 1209000 | #Constraints: 194137 828.08/831.29 c #Conflicts: 1210000 | #Constraints: 195137 828.08/831.29 c #Conflicts: 1211000 | #Constraints: 196137 828.08/831.29 c #Conflicts: 1212000 | #Constraints: 197137 828.08/831.29 c #Conflicts: 1213000 | #Constraints: 198137 828.08/831.29 c #Conflicts: 1214000 | #Constraints: 199137 828.08/831.29 c #Conflicts: 1215000 | #Constraints: 200137 828.08/831.29 c #Conflicts: 1216000 | #Constraints: 201137 828.08/831.29 c #Conflicts: 1217000 | #Constraints: 202137 828.08/831.29 c #Conflicts: 1218000 | #Constraints: 203137 828.08/831.29 c #Conflicts: 1219000 | #Constraints: 204137 828.08/831.29 c #Conflicts: 1220000 | #Constraints: 205137 828.08/831.29 c #Conflicts: 1221000 | #Constraints: 206137 828.08/831.29 c #Conflicts: 1222000 | #Constraints: 207137 828.08/831.29 c #Conflicts: 1223000 | #Constraints: 208137 828.08/831.29 c #Conflicts: 1224000 | #Constraints: 209137 828.08/831.29 c #Conflicts: 1225000 | #Constraints: 210137 828.08/831.29 c #Conflicts: 1226000 | #Constraints: 211137 828.08/831.29 c #Conflicts: 1227000 | #Constraints: 212137 828.08/831.29 c #Conflicts: 1228000 | #Constraints: 213137 828.08/831.29 c #Conflicts: 1229000 | #Constraints: 214137 828.08/831.29 c #Conflicts: 1230000 | #Constraints: 215137 828.08/831.29 c #Conflicts: 1231000 | #Constraints: 216137 828.08/831.29 c #Conflicts: 1232000 | #Constraints: 217137 828.08/831.29 c #Conflicts: 1233000 | #Constraints: 218137 828.08/831.29 c #Conflicts: 1234000 | #Constraints: 219137 828.08/831.29 c #Conflicts: 1235000 | #Constraints: 220137 828.08/831.29 c #Conflicts: 1236000 | #Constraints: 221137 828.08/831.29 c #Conflicts: 1237000 | #Constraints: 222137 828.08/831.29 c #Conflicts: 1238000 | #Constraints: 223137 828.08/831.29 c #Conflicts: 1239000 | #Constraints: 224137 828.08/831.29 c #Conflicts: 1240000 | #Constraints: 225137 828.08/831.29 c #Conflicts: 1241000 | #Constraints: 226137 828.08/831.29 c #Conflicts: 1242000 | #Constraints: 227137 828.08/831.29 c #Conflicts: 1243000 | #Constraints: 228137 828.08/831.29 c #Conflicts: 1244000 | #Constraints: 229137 828.08/831.29 c #Conflicts: 1245000 | #Constraints: 230137 828.08/831.29 c #Conflicts: 1246000 | #Constraints: 231137 828.08/831.29 c #Conflicts: 1247000 | #Constraints: 232137 828.08/831.29 c #Conflicts: 1248000 | #Constraints: 233137 828.08/831.29 c #Conflicts: 1249000 | #Constraints: 234137 828.08/831.29 c #Conflicts: 1250000 | #Constraints: 235137 828.08/831.29 c #Conflicts: 1251000 | #Constraints: 236137 828.08/831.29 c #Conflicts: 1252000 | #Constraints: 237137 828.08/831.29 c #Conflicts: 1253000 | #Constraints: 238137 828.08/831.29 c #Conflicts: 1254000 | #Constraints: 239137 828.08/831.29 c #Conflicts: 1255000 | #Constraints: 240137 828.08/831.29 c #Conflicts: 1256000 | #Constraints: 241137 828.08/831.29 c #Conflicts: 1257000 | #Constraints: 242137 828.08/831.29 c #Conflicts: 1258000 | #Constraints: 243137 828.08/831.29 c #Conflicts: 1259000 | #Constraints: 244137 828.08/831.29 c #Conflicts: 1260000 | #Constraints: 245137 828.08/831.29 c #Conflicts: 1261000 | #Constraints: 246137 828.08/831.29 c #Conflicts: 1262000 | #Constraints: 247137 828.08/831.29 c #Conflicts: 1263000 | #Constraints: 248137 828.08/831.29 c #Conflicts: 1264000 | #Constraints: 249137 828.08/831.29 c #Conflicts: 1265000 | #Constraints: 250137 828.08/831.29 c #Conflicts: 1266000 | #Constraints: 251137 828.08/831.29 c #Conflicts: 1267000 | #Constraints: 252137 828.08/831.29 c INPROCESSING 828.08/831.29 c GARBAGE COLLECT 828.08/831.29 c rational objective 819.82 854.88/858.17 c #Conflicts: 1268000 | #Constraints: 185157 854.88/858.17 c #Conflicts: 1269000 | #Constraints: 186157 854.88/858.17 c #Conflicts: 1270000 | #Constraints: 187157 854.88/858.17 c #Conflicts: 1271000 | #Constraints: 188157 854.88/858.17 c #Conflicts: 1272000 | #Constraints: 189157 854.88/858.17 c #Conflicts: 1273000 | #Constraints: 190157 854.88/858.17 c #Conflicts: 1274000 | #Constraints: 191157 854.88/858.17 c #Conflicts: 1275000 | #Constraints: 192157 854.88/858.17 c #Conflicts: 1276000 | #Constraints: 193157 854.88/858.17 c #Conflicts: 1277000 | #Constraints: 194157 854.88/858.17 c #Conflicts: 1278000 | #Constraints: 195157 854.88/858.17 c #Conflicts: 1279000 | #Constraints: 196157 854.88/858.17 c #Conflicts: 1280000 | #Constraints: 197157 854.88/858.17 c #Conflicts: 1281000 | #Constraints: 198157 854.88/858.17 c #Conflicts: 1282000 | #Constraints: 199157 854.88/858.17 c #Conflicts: 1283000 | #Constraints: 200157 854.88/858.17 c #Conflicts: 1284000 | #Constraints: 201157 854.88/858.17 c #Conflicts: 1285000 | #Constraints: 202157 854.88/858.17 c #Conflicts: 1286000 | #Constraints: 203157 854.88/858.17 c #Conflicts: 1287000 | #Constraints: 204157 854.88/858.17 c #Conflicts: 1288000 | #Constraints: 205157 854.88/858.17 c #Conflicts: 1289000 | #Constraints: 206157 854.88/858.17 c #Conflicts: 1290000 | #Constraints: 207157 854.88/858.17 c #Conflicts: 1291000 | #Constraints: 208157 854.88/858.17 c #Conflicts: 1292000 | #Constraints: 209157 854.88/858.17 c #Conflicts: 1293000 | #Constraints: 210157 854.88/858.17 c #Conflicts: 1294000 | #Constraints: 211157 854.88/858.17 c #Conflicts: 1295000 | #Constraints: 212157 854.88/858.17 c #Conflicts: 1296000 | #Constraints: 213157 854.88/858.17 c #Conflicts: 1297000 | #Constraints: 214157 854.88/858.17 c #Conflicts: 1298000 | #Constraints: 215157 854.88/858.17 c #Conflicts: 1299000 | #Constraints: 216157 854.88/858.17 c #Conflicts: 1300000 | #Constraints: 217157 854.88/858.17 c #Conflicts: 1301000 | #Constraints: 218157 854.88/858.17 c #Conflicts: 1302000 | #Constraints: 219157 854.88/858.17 c #Conflicts: 1303000 | #Constraints: 220157 854.88/858.17 c #Conflicts: 1304000 | #Constraints: 221157 854.88/858.17 c #Conflicts: 1305000 | #Constraints: 222157 854.88/858.17 c #Conflicts: 1306000 | #Constraints: 223157 854.88/858.17 c #Conflicts: 1307000 | #Constraints: 224157 854.88/858.17 c #Conflicts: 1308000 | #Constraints: 225157 854.88/858.17 c #Conflicts: 1309000 | #Constraints: 226157 854.88/858.17 c #Conflicts: 1310000 | #Constraints: 227157 854.88/858.17 c #Conflicts: 1311000 | #Constraints: 228157 854.88/858.17 c cpu time 837.503 s 854.88/858.17 c deterministic time 7610978149 7.61e+09 854.88/858.17 c optimization time 7.4e-05 s 854.88/858.17 c total solve time 837.038 s 854.88/858.17 c core-guided solve time 0 s 854.88/858.17 c propagation time 624.877 s 854.88/858.17 c conflict analysis time 72.5928 s 854.88/858.17 c propagations 232684625 854.88/858.17 c resolve steps 22298630 854.88/858.17 c decisions 7147667 854.88/858.17 c conflicts 1311218 854.88/858.17 c restarts 2554 854.88/858.17 c inprocessing phases 36 854.88/858.17 c input clauses 135854 854.88/858.17 c input cardinalities 528 854.88/858.17 c input general constraints 16338 854.88/858.17 c input average constraint length 3.93 854.88/858.17 c input average constraint degree 1.13 854.88/858.17 c learned clauses 1309368 854.88/858.17 c learned cardinalities 1041 854.88/858.17 c learned general constraints 808 854.88/858.17 c learned average constraint length 107.81 854.88/858.17 c learned average constraint degree 1.02 854.88/858.17 c watched constraints 559 854.88/858.17 c counting constraints 16587 854.88/858.17 c gcd simplifications 3630 854.88/858.17 c detected cardinalities 33 854.88/858.17 c weakened non-implied lits 1050604 854.88/858.17 c weakened non-implying lits 4251 854.88/858.17 c original variables 7354 854.88/858.17 c clausal propagations 223533831 854.88/858.17 c cardinality propagations 1681724 854.88/858.17 c watched propagations 3843 854.88/858.17 c counting propagations 6145196 854.88/858.17 c watch lookups 1860223581 854.88/858.17 c watch backjump lookups 925987378 854.88/858.17 c watch checks 3607823634 854.88/858.17 c propagation checks 376121592 854.88/858.17 c constraint additions 358351540 854.88/858.17 c trail pops 241141041 854.88/858.17 c formula constraints 152720 854.88/858.17 c learned constraints 1311217 854.88/858.17 c bound constraints 0 854.88/858.17 c core-guided constraints 0 854.88/858.17 c encountered formula constraints 10393694 854.88/858.17 c encountered learned constraints 13216154 854.88/858.17 c encountered bound constraints 0 854.88/858.17 c encountered core-guided constraints 0 854.88/858.17 c LP total time 653.79 s 854.88/858.17 c LP solve time 652.11 s 854.88/858.17 c LP constraints added 154902 854.88/858.17 c LP constraints removed 1772 854.88/858.17 c LP pivots internal 1313114 854.88/858.17 c LP pivots root 183976 854.88/858.17 c LP calls 427 854.88/858.17 c LP optimalities 423 854.88/858.17 c LP no pivot count 0 854.88/858.17 c LP infeasibilities 0 854.88/858.17 c LP valid Farkas constraints 0 854.88/858.17 c LP learned Farkas constraints 0 854.88/858.17 c LP basis resets 0 854.88/858.17 c LP cycling count 0 854.95/858.26 c LP singular count 0 854.95/858.26 c LP no primal count 0 854.95/858.26 c LP no farkas count 0 854.95/858.26 c LP other issue count 0 854.95/858.26 c LP Gomory cuts 0 854.95/858.26 c LP learned cuts 2182 854.95/858.26 c LP deleted cuts 1772 854.95/858.26 c LP encountered Gomory constraints 0 854.95/858.26 c LP encountered Farkas constraints 0 854.95/858.26 c LP encountered learned Farkas constraints 0 854.95/858.26 c CG auxiliary variables introduced 0 854.95/858.26 c CG solutions found 0 854.95/858.26 c CG cores constructed 0 854.95/858.26 c CG core cardinality constraints returned 0 854.95/858.26 c CG unit cores 0 854.95/858.26 c CG single cores 0 854.95/858.26 c CG blocks removed during cardinality reduction 0 854.95/858.26 c CG first core best 0 854.95/858.26 c CG decision core best 0 854.95/858.26 c CG core reduction tie 0 854.95/858.26 c CG core degree average 0.00 854.95/858.26 c CG core slack average 0.00 854.95/858.26 s SATISFIABLE
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60528 MiB free)
memory of node 1: 64510 MiB (56666 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457085-1721820850/watcher-4457085-1721820850 -o /tmp/evaluation-result-4457085-1721820850/solver-4457085-1721820850 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721817187-182926 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457085-1721820850 --lp-cut-gomory=0 HOME/instance-4457085-1721820850.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
Current StackSize limit: 8192 KiB
solver pid=185548, runsolver pid=185545
[startup+0.100528 s]*
/proc/loadavg: 4.22 4.14 4.05 5/264 185549
/proc/meminfo: memFree=120003316/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=38812 memory=9756 CPUtime=0.06 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 708 0 0 0 5 1 0 0 20 0 1 0 18614305 39743488 2439 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 9703 2439 1396 992 0 1561 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 9756 KiB
[startup+0.205764 s]*
/proc/loadavg: 4.22 4.14 4.05 5/264 185549
/proc/meminfo: memFree=120000964/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=40580 memory=11552 CPUtime=0.17 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 1177 0 0 0 13 4 0 0 20 0 1 0 18614305 41553920 2888 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 10145 2888 1396 992 0 2003 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 40580 KiB
Current children cumulated memory: 11552 KiB
[startup+0.305622 s]*
/proc/loadavg: 4.22 4.14 4.05 5/264 185549
/proc/meminfo: memFree=119996260/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=43724 memory=15672 CPUtime=0.26 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 2374 0 0 0 20 6 0 0 20 0 1 0 18614305 44773376 3918 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 10931 3918 1396 992 0 2789 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 43724 KiB
Current children cumulated memory: 15672 KiB
[startup+0.700227 s]
/proc/loadavg: 4.22 4.14 4.05 5/264 185549
/proc/meminfo: memFree=119990548/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=166480 memory=125952 CPUtime=0.65 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 24661 0 0 0 50 15 0 0 20 0 1 0 18614305 170475520 30976 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 41620 31488 1683 992 0 33478 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 166480 KiB
Current children cumulated memory: 125952 KiB
[startup+1.50023 s]
/proc/loadavg: 4.22 4.14 4.05 5/264 185549
/proc/meminfo: memFree=119910312/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=130028 memory=99680 CPUtime=1.44 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 25769 0 0 0 123 21 0 0 20 0 1 0 18614305 133148672 24920 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 32507 24920 1683 992 0 24365 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 130028 KiB
Current children cumulated memory: 99680 KiB
[startup+3.10559 s]
/proc/loadavg: 4.22 4.14 4.05 5/264 185549
/proc/meminfo: memFree=119899116/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=130028 memory=100276 CPUtime=3.05 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 25780 0 0 0 282 23 0 0 20 0 1 0 18614305 133148672 25069 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 32507 25069 1778 992 0 24365 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 130028 KiB
Current children cumulated memory: 100276 KiB
[startup+6.30022 s]
/proc/loadavg: 4.20 4.14 4.05 5/264 185550
/proc/meminfo: memFree=119850924/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=130028 memory=100984 CPUtime=6.23 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 25947 0 0 0 594 29 0 0 20 0 1 0 18614305 133148672 25246 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 32507 25246 1842 992 0 24365 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 130028 KiB
Current children cumulated memory: 100984 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.14 4.05 5/264 185552
/proc/meminfo: memFree=119822136/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=164704 memory=125956 CPUtime=12.61 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 30392 0 0 0 1216 45 0 0 20 0 1 0 18614305 168656896 31489 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 41176 31489 1842 992 0 33034 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 164704 KiB
Current children cumulated memory: 125956 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.14 4.05 5/264 185599
/proc/meminfo: memFree=123476536/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=169496 memory=133204 CPUtime=25.37 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 31712 0 0 0 2452 85 0 0 20 0 1 0 18614305 173563904 33301 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 42374 33301 1842 992 0 34232 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 169496 KiB
Current children cumulated memory: 133204 KiB
[startup+51.1059 s]
/proc/loadavg: 4.20 4.15 4.05 5/266 185606
/proc/meminfo: memFree=122900404/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=169496 memory=133756 CPUtime=50.88 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 31885 0 0 0 4936 152 0 0 20 0 1 0 18614305 173563904 33439 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 42374 33439 1842 992 0 34232 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 169496 KiB
Current children cumulated memory: 133756 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.05 5/266 185615
/proc/meminfo: memFree=122067428/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=188384 memory=148704 CPUtime=101.88 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 34768 0 0 0 9892 296 0 0 20 0 1 0 18614305 192905216 37176 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 47096 37176 1842 992 0 38954 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 188384 KiB
Current children cumulated memory: 148704 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.14 4.06 5/267 185626
/proc/meminfo: memFree=121410648/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=202448 memory=154880 CPUtime=161.66 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 35842 0 0 0 15716 450 0 0 20 0 1 0 18614305 207306752 38720 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 50612 38720 1842 992 0 42470 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 202448 KiB
Current children cumulated memory: 154880 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.06 5/267 185637
/proc/meminfo: memFree=120539988/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=204848 memory=163508 CPUtime=221.44 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 36470 0 0 0 21582 562 0 0 20 0 1 0 18614305 209764352 40877 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 51212 40877 1842 992 0 43070 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 204848 KiB
Current children cumulated memory: 163508 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.06 5/266 185650
/proc/meminfo: memFree=119467944/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=209640 memory=165860 CPUtime=281.21 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 37106 0 0 0 27402 719 0 0 20 0 1 0 18614305 214671360 41465 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 52410 41465 1842 992 0 44268 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 209640 KiB
Current children cumulated memory: 165860 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/264 185662
/proc/meminfo: memFree=118629868/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=228608 memory=174440 CPUtime=340.97 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 37738 0 0 0 33254 843 0 0 20 0 1 0 18614305 234094592 43610 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 57152 43610 1842 992 0 49010 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 228608 KiB
Current children cumulated memory: 174440 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/265 185675
/proc/meminfo: memFree=118064948/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=228608 memory=174440 CPUtime=400.76 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 37767 0 0 0 39114 962 0 0 20 0 1 0 18614305 234094592 43610 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 57152 43610 1842 992 0 49010 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 228608 KiB
Current children cumulated memory: 174440 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/265 185687
/proc/meminfo: memFree=116452260/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=233396 memory=179240 CPUtime=460.54 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 38997 0 0 0 44974 1080 0 0 20 0 1 0 18614305 238997504 44810 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 58349 44810 1842 992 0 50207 0
Current children cumulated CPU time: 460.54 s
Current children cumulated vsize: 233396 KiB
Current children cumulated memory: 179240 KiB
[startup+522.3 s]
/proc/loadavg: 4.05 4.09 4.06 5/266 185699
/proc/meminfo: memFree=116128692/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=233396 memory=187584 CPUtime=520.32 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 39032 0 0 0 50853 1179 0 0 20 0 1 0 18614305 238997504 46896 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 58349 46896 1842 992 0 50207 0
Current children cumulated CPU time: 520.32 s
Current children cumulated vsize: 233396 KiB
Current children cumulated memory: 187584 KiB
[startup+582.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/264 185709
/proc/meminfo: memFree=115825100/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=233752 memory=187964 CPUtime=580.13 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 39158 0 0 0 56728 1285 0 0 20 0 1 0 18614305 239362048 46991 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 58438 46991 1842 992 0 50296 0
Current children cumulated CPU time: 580.13 s
Current children cumulated vsize: 233752 KiB
Current children cumulated memory: 187964 KiB
[startup+642.3 s]
/proc/loadavg: 4.25 4.14 4.08 5/266 185722
/proc/meminfo: memFree=114421500/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=233752 memory=190012 CPUtime=639.9 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 39191 0 0 0 62606 1384 0 0 20 0 1 0 18614305 239362048 47503 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 58438 47503 1842 992 0 50296 0
Current children cumulated CPU time: 639.9 s
Current children cumulated vsize: 233752 KiB
Current children cumulated memory: 190012 KiB
[startup+702.3 s]
/proc/loadavg: 4.14 4.13 4.08 5/266 185733
/proc/meminfo: memFree=113555060/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=264572 memory=200348 CPUtime=699.68 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 39819 0 0 0 68487 1481 0 0 20 0 1 0 18614305 270921728 50087 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 66143 50087 1842 992 0 58001 0
Current children cumulated CPU time: 699.68 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 200348 KiB
[startup+762.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/266 185744
/proc/meminfo: memFree=112398868/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=264572 memory=206724 CPUtime=759.42 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 39846 0 0 0 74355 1587 0 0 20 0 1 0 18614305 270921728 51681 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 66143 51681 1842 992 0 58001 0
Current children cumulated CPU time: 759.42 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 206724 KiB
[startup+822.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/267 185759
/proc/meminfo: memFree=111489816/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=264572 memory=206724 CPUtime=819.2 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 39871 0 0 0 80230 1690 0 0 20 0 1 0 18614305 270921728 51681 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 66143 51681 1842 992 0 58001 0
Current children cumulated CPU time: 819.2 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 206724 KiB
[startup+858.268 s]
# the end of solver process 185548 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=837.505 s, system=17.4625 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+844.8 s]
/proc/loadavg: 4.07 4.11 4.08 5/267 185762
/proc/meminfo: memFree=111087636/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=264572 memory=206724 CPUtime=841.62 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 39874 0 0 0 82440 1722 0 0 20 0 1 0 18614305 270921728 51681 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 66143 51681 1842 992 0 58001 0
Current children cumulated CPU time: 841.62 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 206724 KiB
[startup+851.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 185763
/proc/meminfo: memFree=110958640/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=264572 memory=206724 CPUtime=848 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 39874 0 0 0 83068 1732 0 0 20 0 1 0 18614305 270921728 51681 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 66143 51681 1842 992 0 58001 0
Current children cumulated CPU time: 848 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 206724 KiB
[startup+854.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 185763
/proc/meminfo: memFree=110915252/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=264572 memory=206724 CPUtime=851.19 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 39874 0 0 0 83380 1739 0 0 20 0 1 0 18614305 270921728 51681 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 66143 51681 1842 992 0 58001 0
Current children cumulated CPU time: 851.19 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 206724 KiB
[startup+856 s]*
/proc/loadavg: 4.12 4.12 4.09 5/267 185764
/proc/meminfo: memFree=110890556/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=264572 memory=206724 CPUtime=852.78 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 39874 0 0 0 83537 1741 0 0 20 0 1 0 18614305 270921728 51681 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 66143 51681 1842 992 0 58001 0
Current children cumulated CPU time: 852.78 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 206724 KiB
[startup+857.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 185764
/proc/meminfo: memFree=110879956/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=264572 memory=206724 CPUtime=854.37 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 39874 0 0 0 83693 1744 0 0 20 0 1 0 18614305 270921728 51681 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 66143 51681 1842 992 0 58001 0
Current children cumulated CPU time: 854.37 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 206724 KiB
[startup+858 s]*
/proc/loadavg: 4.12 4.12 4.09 5/267 185766
/proc/meminfo: memFree=110864004/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=264572 memory=206724 CPUtime=854.77 cores=4,6
/proc/185548/stat : 185548 (roundingsat) R 185545 185548 182915 0 -1 4194304 39874 0 0 0 83733 1744 0 0 20 0 1 0 18614305 270921728 51681 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 66143 51681 1842 992 0 58001 0
Current children cumulated CPU time: 854.77 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 206724 KiB
[startup+858.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 185766
/proc/meminfo: memFree=110864004/131524600 swapFree=131055772/131071996
[pid=185548] ppid=185545 vsize=264572 memory=206724 CPUtime=854.95 cores=4,6
/proc/185548/stat : 185548 (roundingsat) D 185545 185548 182915 0 -1 4194304 39874 0 0 0 83750 1745 0 0 20 0 1 0 18614305 270921728 51681 134679101440 4194304 8254037 140725163213840 0 0 0 0 0 25182210 0 0 0 17 6 0 0 3 0 0 9037040 9046032 39804928 140725163217756 140725163218018 140725163218018 140725163225033 0
/proc/185548/statm: 66143 51681 1842 992 0 58001 0
Current children cumulated CPU time: 854.95 s
Current children cumulated vsize: 264572 KiB
Current children cumulated memory: 206724 KiB
Child status: 0
Real time (s): 858.268
CPU time (s): 854.968
CPU user time (s): 837.505
CPU system time (s): 17.4625
CPU usage (%): 99.6154
Max. virtual memory (cumulated for all children) (KiB): 264572
Max. memory (cumulated for all children) (KiB): 206724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 837.505
system time used= 17.4625
maximum resident set size= 206724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39882
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= 236
involuntary context switches= 1019
# summary of solver processes directly reported to runsolver:
# pid: 185548
# total CPU time (s): 854.968
# total CPU user time (s): 837.505
# total CPU system time (s): 17.4625
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38464 second user time and 4.32802 second system time
The end
Begin job on nodeC023 at 2024-07-24 13:34:10 IDJOB=4457085 IDBENCH=155502 IDSOLVER=3085 FILE ID=nodeC023/4457085-1721820850 RUNJOBID= nodeC023-1721817187-182926 SLURM_JOB_ID= 7816880 Free space on /tmp= 890028 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-4457085-1721820850/watcher-4457085-1721820850 -o /tmp/evaluation-result-4457085-1721820850/solver-4457085-1721820850 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721817187-182926 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457085-1721820850 --lp-cut-gomory=0 HOME/instance-4457085-1721820850.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3b78757f10307782e0b04e5cada0d1b0 RANDOM SEED=1048486167 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3616.228 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.775 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.024 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.153 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.667 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.814 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3643.090 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.164 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 120008212 kB MemAvailable: 127375272 kB Buffers: 244652 kB Cached: 7908164 kB SwapCached: 516 kB Active: 1727396 kB Inactive: 9089792 kB Active(anon): 1896 kB Inactive(anon): 2715400 kB Active(file): 1725500 kB Inactive(file): 6374392 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131055772 kB Dirty: 150796 kB Writeback: 0 kB AnonPages: 2662032 kB Mapped: 105072 kB Shmem: 52872 kB KReclaimable: 213632 kB Slab: 335300 kB SReclaimable: 213632 kB SUnreclaim: 121668 kB KernelStack: 4256 kB PageTables: 14996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3209212 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21472 kB HardwareCorrupted: 0 kB AnonHugePages: 1701888 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: 408276 kB DirectMap2M: 60182528 kB DirectMap1G: 75497472 kB Free space on /tmp at the end= 890024 MiB End job on nodeC023 at 2024-07-24 13:48:29