| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.05 | 3609.71 |
| Name | PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx75.opb |
| MD5SUM | a11c5c9a015f48f3bddc22713bc48593 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 7 |
| Best CPU time to get the best result obtained on this benchmark | 1363.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4977 |
| Total number of constraints | 5494 |
| Number of constraints which are clauses | 4970 |
| Number of constraints which are cardinality constraints (but not clauses) | 76 |
| Number of constraints which are nor clauses,nor cardinality constraints | 448 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 448 |
| Number of terms in the objective function | 7 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 7 |
| Number of bits of the sum of numbers in the objective function | 3 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 947 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.03 c #variables 4977 #constraints 5569 0.00/0.07 c bounds - >= 7 @ 0.022798 0.00/0.07 c rational objective 7 1.78/1.83 c #Conflicts: 1000 | #Constraints: 6574 1.78/1.83 c #Conflicts: 2000 | #Constraints: 7583 1.78/1.83 c INPROCESSING 1.78/1.83 c GARBAGE COLLECT 1.78/1.83 c rational objective 7 2.88/2.98 c #Conflicts: 3000 | #Constraints: 2628 2.88/2.98 c #Conflicts: 4000 | #Constraints: 3629 2.88/2.98 c INPROCESSING 2.88/2.98 c GARBAGE COLLECT 2.88/2.98 c rational objective 7 5.18/5.26 c #Conflicts: 5000 | #Constraints: 3027 5.18/5.26 c #Conflicts: 6000 | #Constraints: 4029 5.18/5.26 c INPROCESSING 5.18/5.26 c GARBAGE COLLECT 5.18/5.26 c rational objective 7 7.76/7.80 c #Conflicts: 7000 | #Constraints: 3034 7.76/7.80 c #Conflicts: 8000 | #Constraints: 4035 7.76/7.80 c #Conflicts: 9000 | #Constraints: 5038 7.76/7.80 c INPROCESSING 7.76/7.80 c GARBAGE COLLECT 7.76/7.80 c rational objective 7 9.46/9.52 c #Conflicts: 10000 | #Constraints: 3735 9.46/9.52 c #Conflicts: 11000 | #Constraints: 4738 9.46/9.52 c #Conflicts: 12000 | #Constraints: 5740 9.46/9.52 c INPROCESSING 9.46/9.52 c GARBAGE COLLECT 9.46/9.52 c rational objective 7 11.66/11.75 c #Conflicts: 13000 | #Constraints: 4187 11.66/11.75 c #Conflicts: 14000 | #Constraints: 5189 11.66/11.75 c #Conflicts: 15000 | #Constraints: 6189 11.66/11.75 c INPROCESSING 11.66/11.75 c GARBAGE COLLECT 11.66/11.75 c rational objective 7 15.06/15.11 c #Conflicts: 16000 | #Constraints: 4419 15.06/15.11 c #Conflicts: 17000 | #Constraints: 5428 15.06/15.11 c #Conflicts: 18000 | #Constraints: 6430 15.06/15.11 c INPROCESSING 15.06/15.11 c GARBAGE COLLECT 15.06/15.11 c rational objective 7 17.74/17.88 c #Conflicts: 19000 | #Constraints: 4442 17.74/17.88 c #Conflicts: 20000 | #Constraints: 5446 17.74/17.88 c #Conflicts: 21000 | #Constraints: 6448 17.74/17.88 c INPROCESSING 17.74/17.88 c GARBAGE COLLECT 17.74/17.88 c rational objective 7 22.33/22.41 c #Conflicts: 22000 | #Constraints: 4242 22.33/22.41 c #Conflicts: 23000 | #Constraints: 5247 22.33/22.41 c #Conflicts: 24000 | #Constraints: 6251 22.33/22.41 c #Conflicts: 25000 | #Constraints: 7255 22.33/22.41 c INPROCESSING 22.33/22.41 c GARBAGE COLLECT 22.33/22.41 c rational objective 7 26.42/26.51 c #Conflicts: 26000 | #Constraints: 4848 26.42/26.51 c #Conflicts: 27000 | #Constraints: 5852 26.42/26.51 c #Conflicts: 28000 | #Constraints: 6855 26.42/26.51 c #Conflicts: 29000 | #Constraints: 7857 26.42/26.51 c INPROCESSING 26.42/26.51 c GARBAGE COLLECT 26.42/26.51 c rational objective 7 30.91/31.06 c #Conflicts: 30000 | #Constraints: 5243 30.91/31.06 c #Conflicts: 31000 | #Constraints: 6245 30.91/31.06 c #Conflicts: 32000 | #Constraints: 7253 30.91/31.06 c #Conflicts: 33000 | #Constraints: 8257 30.91/31.06 c INPROCESSING 30.91/31.06 c GARBAGE COLLECT 30.91/31.06 c rational objective 7 34.69/34.85 c #Conflicts: 34000 | #Constraints: 5455 34.69/34.85 c #Conflicts: 35000 | #Constraints: 6458 34.69/34.85 c #Conflicts: 36000 | #Constraints: 7460 34.69/34.85 c #Conflicts: 37000 | #Constraints: 8462 34.69/34.85 c INPROCESSING 34.69/34.85 c GARBAGE COLLECT 34.69/34.85 c rational objective 7 38.99/39.20 c #Conflicts: 38000 | #Constraints: 5466 38.99/39.20 c #Conflicts: 39000 | #Constraints: 6470 38.99/39.20 c #Conflicts: 40000 | #Constraints: 7475 38.99/39.20 c #Conflicts: 41000 | #Constraints: 8482 38.99/39.20 c INPROCESSING 38.99/39.20 c GARBAGE COLLECT 38.99/39.20 c rational objective 7 43.88/44.05 c #Conflicts: 42000 | #Constraints: 5284 43.88/44.05 c #Conflicts: 43000 | #Constraints: 6289 43.88/44.05 c #Conflicts: 44000 | #Constraints: 7291 43.88/44.05 c #Conflicts: 45000 | #Constraints: 8296 43.88/44.05 c #Conflicts: 46000 | #Constraints: 9300 43.88/44.05 c INPROCESSING 43.88/44.05 c GARBAGE COLLECT 43.88/44.05 c rational objective 7 49.36/49.57 c #Conflicts: 47000 | #Constraints: 5866 49.36/49.57 c #Conflicts: 48000 | #Constraints: 6867 49.36/49.57 c #Conflicts: 49000 | #Constraints: 7871 49.36/49.57 c #Conflicts: 50000 | #Constraints: 8877 49.36/49.57 c #Conflicts: 51000 | #Constraints: 9884 49.36/49.57 c INPROCESSING 49.36/49.57 c GARBAGE COLLECT 49.36/49.57 c rational objective 7 54.44/54.63 c #Conflicts: 52000 | #Constraints: 6274 54.44/54.63 c #Conflicts: 53000 | #Constraints: 7281 54.44/54.63 c #Conflicts: 54000 | #Constraints: 8287 54.44/54.63 c #Conflicts: 55000 | #Constraints: 9289 54.44/54.63 c #Conflicts: 56000 | #Constraints: 10295 54.44/54.63 c INPROCESSING 54.44/54.63 c GARBAGE COLLECT 54.44/54.63 c rational objective 7 62.12/62.35 c #Conflicts: 57000 | #Constraints: 6479 62.12/62.35 c #Conflicts: 58000 | #Constraints: 7481 62.12/62.35 c #Conflicts: 59000 | #Constraints: 8482 62.12/62.35 c #Conflicts: 60000 | #Constraints: 9486 62.12/62.35 c #Conflicts: 61000 | #Constraints: 10492 62.12/62.35 c INPROCESSING 62.12/62.35 c GARBAGE COLLECT 62.12/62.35 c rational objective 7 70.50/70.79 c #Conflicts: 62000 | #Constraints: 6480 70.50/70.79 c #Conflicts: 63000 | #Constraints: 7484 70.50/70.79 c #Conflicts: 64000 | #Constraints: 8489 70.50/70.79 c #Conflicts: 65000 | #Constraints: 9493 70.50/70.79 c #Conflicts: 66000 | #Constraints: 10496 70.50/70.79 c INPROCESSING 70.50/70.79 c GARBAGE COLLECT 70.50/70.79 c rational objective 7 80.18/80.45 c #Conflicts: 67000 | #Constraints: 6279 80.18/80.45 c #Conflicts: 68000 | #Constraints: 7285 80.18/80.45 c #Conflicts: 69000 | #Constraints: 8286 80.18/80.45 c #Conflicts: 70000 | #Constraints: 9287 80.18/80.45 c #Conflicts: 71000 | #Constraints: 10290 80.18/80.45 c #Conflicts: 72000 | #Constraints: 11294 80.18/80.45 c INPROCESSING 80.18/80.45 c GARBAGE COLLECT 80.18/80.45 c rational objective 7 85.76/86.06 c #Conflicts: 73000 | #Constraints: 6864 85.76/86.06 c #Conflicts: 74000 | #Constraints: 7868 85.76/86.06 c #Conflicts: 75000 | #Constraints: 8873 85.76/86.06 c #Conflicts: 76000 | #Constraints: 9877 85.76/86.06 c #Conflicts: 77000 | #Constraints: 10882 85.76/86.06 c #Conflicts: 78000 | #Constraints: 11886 85.76/86.06 c INPROCESSING 85.76/86.06 c GARBAGE COLLECT 85.76/86.06 c rational objective 7 99.32/99.68 c #Conflicts: 79000 | #Constraints: 7270 99.32/99.68 c #Conflicts: 80000 | #Constraints: 8275 99.32/99.68 c #Conflicts: 81000 | #Constraints: 9279 99.32/99.68 c #Conflicts: 82000 | #Constraints: 10282 99.32/99.68 c #Conflicts: 83000 | #Constraints: 11286 99.32/99.68 c #Conflicts: 84000 | #Constraints: 12288 99.32/99.68 c INPROCESSING 99.32/99.68 c GARBAGE COLLECT 99.32/99.68 c rational objective 7 109.00/109.37 c #Conflicts: 85000 | #Constraints: 7477 109.00/109.37 c #Conflicts: 86000 | #Constraints: 8478 109.00/109.37 c #Conflicts: 87000 | #Constraints: 9479 109.00/109.37 c #Conflicts: 88000 | #Constraints: 10481 109.00/109.37 c #Conflicts: 89000 | #Constraints: 11484 109.00/109.37 c #Conflicts: 90000 | #Constraints: 12487 109.00/109.37 c INPROCESSING 109.00/109.37 c GARBAGE COLLECT 109.00/109.37 c rational objective 7 122.56/122.95 c #Conflicts: 91000 | #Constraints: 7475 122.56/122.95 c #Conflicts: 92000 | #Constraints: 8479 122.56/122.95 c #Conflicts: 93000 | #Constraints: 9485 122.56/122.95 c #Conflicts: 94000 | #Constraints: 10489 122.56/122.95 c #Conflicts: 95000 | #Constraints: 11492 122.56/122.95 c #Conflicts: 96000 | #Constraints: 12495 122.56/122.95 c INPROCESSING 122.56/122.95 c GARBAGE COLLECT 122.56/122.95 c rational objective 7 131.34/131.77 c #Conflicts: 97000 | #Constraints: 7279 131.34/131.77 c #Conflicts: 98000 | #Constraints: 8280 131.34/131.77 c #Conflicts: 99000 | #Constraints: 9283 131.34/131.77 c #Conflicts: 100000 | #Constraints: 10288 131.34/131.77 c #Conflicts: 101000 | #Constraints: 11289 131.34/131.77 c #Conflicts: 102000 | #Constraints: 12289 131.34/131.77 c #Conflicts: 103000 | #Constraints: 13290 131.34/131.77 c INPROCESSING 131.34/131.77 c GARBAGE COLLECT 131.34/131.77 c rational objective 7 140.81/141.25 c #Conflicts: 104000 | #Constraints: 7868 140.81/141.25 c #Conflicts: 105000 | #Constraints: 8868 140.81/141.25 c #Conflicts: 106000 | #Constraints: 9871 140.81/141.25 c #Conflicts: 107000 | #Constraints: 10871 140.81/141.25 c #Conflicts: 108000 | #Constraints: 11872 140.81/141.25 c #Conflicts: 109000 | #Constraints: 12875 140.81/141.25 c #Conflicts: 110000 | #Constraints: 13879 140.81/141.25 c INPROCESSING 140.81/141.25 c GARBAGE COLLECT 140.81/141.25 c rational objective 7 149.60/150.01 c #Conflicts: 111000 | #Constraints: 8265 149.60/150.01 c #Conflicts: 112000 | #Constraints: 9266 149.60/150.01 c #Conflicts: 113000 | #Constraints: 10269 149.60/150.01 c #Conflicts: 114000 | #Constraints: 11272 149.60/150.01 c #Conflicts: 115000 | #Constraints: 12273 149.60/150.01 c #Conflicts: 116000 | #Constraints: 13275 149.60/150.01 c #Conflicts: 117000 | #Constraints: 14278 149.60/150.01 c INPROCESSING 149.60/150.01 c GARBAGE COLLECT 149.60/150.01 c rational objective 7 163.86/164.37 c #Conflicts: 118000 | #Constraints: 8464 163.86/164.37 c #Conflicts: 119000 | #Constraints: 9464 163.86/164.37 c #Conflicts: 120000 | #Constraints: 10465 163.86/164.37 c #Conflicts: 121000 | #Constraints: 11467 163.86/164.37 c #Conflicts: 122000 | #Constraints: 12469 163.86/164.37 c #Conflicts: 123000 | #Constraints: 13472 163.86/164.37 c #Conflicts: 124000 | #Constraints: 14475 163.86/164.37 c INPROCESSING 163.86/164.37 c GARBAGE COLLECT 163.86/164.37 c rational objective 7 171.83/172.31 c #Conflicts: 125000 | #Constraints: 8459 171.83/172.31 c #Conflicts: 126000 | #Constraints: 9461 171.83/172.31 c #Conflicts: 127000 | #Constraints: 10464 171.83/172.31 c #Conflicts: 128000 | #Constraints: 11465 171.83/172.31 c #Conflicts: 129000 | #Constraints: 12469 171.83/172.31 c #Conflicts: 130000 | #Constraints: 13476 171.83/172.31 c #Conflicts: 131000 | #Constraints: 14480 171.83/172.31 c INPROCESSING 171.83/172.31 c GARBAGE COLLECT 171.83/172.31 c rational objective 7 184.61/185.16 c #Conflicts: 132000 | #Constraints: 8261 184.61/185.16 c #Conflicts: 133000 | #Constraints: 9262 184.61/185.16 c #Conflicts: 134000 | #Constraints: 10264 184.61/185.16 c #Conflicts: 135000 | #Constraints: 11266 184.61/185.16 c #Conflicts: 136000 | #Constraints: 12272 184.61/185.16 c #Conflicts: 137000 | #Constraints: 13275 184.61/185.16 c #Conflicts: 138000 | #Constraints: 14283 184.61/185.16 c #Conflicts: 139000 | #Constraints: 15289 184.61/185.16 c INPROCESSING 184.61/185.16 c GARBAGE COLLECT 184.61/185.16 c rational objective 7 204.95/205.50 c #Conflicts: 140000 | #Constraints: 8880 204.95/205.50 c #Conflicts: 141000 | #Constraints: 9886 204.95/205.50 c #Conflicts: 142000 | #Constraints: 10888 204.95/205.50 c #Conflicts: 143000 | #Constraints: 11890 204.95/205.50 c #Conflicts: 144000 | #Constraints: 12894 204.95/205.50 c #Conflicts: 145000 | #Constraints: 13896 204.95/205.50 c #Conflicts: 146000 | #Constraints: 14899 204.95/205.50 c #Conflicts: 147000 | #Constraints: 15905 204.95/205.50 c INPROCESSING 204.95/205.50 c GARBAGE COLLECT 204.95/205.50 c rational objective 7 215.83/216.40 c #Conflicts: 148000 | #Constraints: 9283 215.83/216.40 c #Conflicts: 149000 | #Constraints: 10286 215.83/216.40 c #Conflicts: 150000 | #Constraints: 11292 215.83/216.40 c #Conflicts: 151000 | #Constraints: 12297 215.83/216.40 c #Conflicts: 152000 | #Constraints: 13299 215.83/216.40 c #Conflicts: 153000 | #Constraints: 14304 215.83/216.40 c #Conflicts: 154000 | #Constraints: 15306 215.83/216.40 c #Conflicts: 155000 | #Constraints: 16310 215.83/216.40 c INPROCESSING 215.83/216.40 c GARBAGE COLLECT 215.83/216.40 c rational objective 7 227.40/228.06 c #Conflicts: 156000 | #Constraints: 9487 227.40/228.06 c #Conflicts: 157000 | #Constraints: 10489 227.40/228.06 c #Conflicts: 158000 | #Constraints: 11493 227.40/228.06 c #Conflicts: 159000 | #Constraints: 12497 227.40/228.06 c #Conflicts: 160000 | #Constraints: 13499 227.40/228.06 c #Conflicts: 161000 | #Constraints: 14501 227.40/228.06 c #Conflicts: 162000 | #Constraints: 15507 227.40/228.06 c #Conflicts: 163000 | #Constraints: 16510 227.40/228.06 c INPROCESSING 227.40/228.06 c GARBAGE COLLECT 227.40/228.06 c rational objective 7 247.64/248.33 c #Conflicts: 164000 | #Constraints: 9475 247.64/248.33 c #Conflicts: 165000 | #Constraints: 10479 247.64/248.33 c #Conflicts: 166000 | #Constraints: 11484 247.64/248.33 c #Conflicts: 167000 | #Constraints: 12488 247.64/248.33 c #Conflicts: 168000 | #Constraints: 13490 247.64/248.33 c #Conflicts: 169000 | #Constraints: 14495 247.64/248.33 c #Conflicts: 170000 | #Constraints: 15495 247.64/248.33 c #Conflicts: 171000 | #Constraints: 16500 247.64/248.33 c INPROCESSING 247.64/248.33 c GARBAGE COLLECT 247.64/248.33 c rational objective 7 258.72/259.41 c #Conflicts: 172000 | #Constraints: 9277 258.72/259.41 c #Conflicts: 173000 | #Constraints: 10281 258.72/259.41 c #Conflicts: 174000 | #Constraints: 11281 258.72/259.41 c #Conflicts: 175000 | #Constraints: 12285 258.72/259.41 c #Conflicts: 176000 | #Constraints: 13288 258.72/259.41 c #Conflicts: 177000 | #Constraints: 14289 258.72/259.41 c #Conflicts: 178000 | #Constraints: 15290 258.72/259.41 c #Conflicts: 179000 | #Constraints: 16294 258.72/259.41 c #Conflicts: 180000 | #Constraints: 17296 258.72/259.41 c INPROCESSING 258.72/259.41 c GARBAGE COLLECT 258.72/259.41 c rational objective 7 276.66/277.44 c #Conflicts: 181000 | #Constraints: 9871 276.66/277.44 c #Conflicts: 182000 | #Constraints: 10874 276.66/277.44 c #Conflicts: 183000 | #Constraints: 11877 276.66/277.44 c #Conflicts: 184000 | #Constraints: 12887 276.66/277.44 c #Conflicts: 185000 | #Constraints: 13891 276.66/277.44 c #Conflicts: 186000 | #Constraints: 14899 276.66/277.44 c #Conflicts: 187000 | #Constraints: 15901 276.66/277.44 c #Conflicts: 188000 | #Constraints: 16904 276.66/277.44 c #Conflicts: 189000 | #Constraints: 17906 276.66/277.44 c INPROCESSING 276.66/277.44 c GARBAGE COLLECT 276.66/277.44 c rational objective 7 298.11/298.94 c #Conflicts: 190000 | #Constraints: 10294 298.11/298.94 c #Conflicts: 191000 | #Constraints: 11294 298.11/298.94 c #Conflicts: 192000 | #Constraints: 12294 298.11/298.94 c #Conflicts: 193000 | #Constraints: 13299 298.11/298.94 c #Conflicts: 194000 | #Constraints: 14303 298.11/298.94 c #Conflicts: 195000 | #Constraints: 15304 298.11/298.94 c #Conflicts: 196000 | #Constraints: 16305 298.11/298.94 c #Conflicts: 197000 | #Constraints: 17308 298.11/298.94 c #Conflicts: 198000 | #Constraints: 18312 298.11/298.94 c INPROCESSING 298.11/298.94 c GARBAGE COLLECT 298.11/298.94 c rational objective 7 319.45/320.37 c #Conflicts: 199000 | #Constraints: 10494 319.45/320.37 c #Conflicts: 200000 | #Constraints: 11498 319.45/320.37 c #Conflicts: 201000 | #Constraints: 12500 319.45/320.37 c #Conflicts: 202000 | #Constraints: 13503 319.45/320.37 c #Conflicts: 203000 | #Constraints: 14506 319.45/320.37 c #Conflicts: 204000 | #Constraints: 15508 319.45/320.37 c #Conflicts: 205000 | #Constraints: 16510 319.45/320.37 c #Conflicts: 206000 | #Constraints: 17512 319.45/320.37 c #Conflicts: 207000 | #Constraints: 18515 319.45/320.37 c INPROCESSING 319.45/320.37 c GARBAGE COLLECT 319.45/320.37 c rational objective 7 350.87/351.85 c #Conflicts: 208000 | #Constraints: 10482 350.87/351.85 c #Conflicts: 209000 | #Constraints: 11488 350.87/351.85 c #Conflicts: 210000 | #Constraints: 12489 350.87/351.85 c #Conflicts: 211000 | #Constraints: 13491 350.87/351.85 c #Conflicts: 212000 | #Constraints: 14492 350.87/351.85 c #Conflicts: 213000 | #Constraints: 15493 350.87/351.85 c #Conflicts: 214000 | #Constraints: 16496 350.87/351.85 c #Conflicts: 215000 | #Constraints: 17500 350.87/351.85 c #Conflicts: 216000 | #Constraints: 18502 350.87/351.85 c INPROCESSING 350.87/351.85 c GARBAGE COLLECT 350.87/351.85 c rational objective 7 391.67/392.77 c #Conflicts: 217000 | #Constraints: 10273 391.67/392.77 c #Conflicts: 218000 | #Constraints: 11275 391.67/392.77 c #Conflicts: 219000 | #Constraints: 12284 391.67/392.77 c #Conflicts: 220000 | #Constraints: 13286 391.67/392.77 c #Conflicts: 221000 | #Constraints: 14289 391.67/392.77 c #Conflicts: 222000 | #Constraints: 15291 391.67/392.77 c #Conflicts: 223000 | #Constraints: 16293 391.67/392.77 c #Conflicts: 224000 | #Constraints: 17295 391.67/392.77 c #Conflicts: 225000 | #Constraints: 18296 391.67/392.77 c #Conflicts: 226000 | #Constraints: 19298 391.67/392.77 c INPROCESSING 391.67/392.77 c GARBAGE COLLECT 391.67/392.77 c rational objective 7 418.39/419.57 c #Conflicts: 227000 | #Constraints: 10881 418.39/419.57 c #Conflicts: 228000 | #Constraints: 11883 418.39/419.57 c #Conflicts: 229000 | #Constraints: 12886 418.39/419.57 c #Conflicts: 230000 | #Constraints: 13888 418.39/419.57 c #Conflicts: 231000 | #Constraints: 14890 418.39/419.57 c #Conflicts: 232000 | #Constraints: 15892 418.39/419.57 c #Conflicts: 233000 | #Constraints: 16900 418.39/419.57 c #Conflicts: 234000 | #Constraints: 17904 418.39/419.57 c #Conflicts: 235000 | #Constraints: 18906 418.39/419.57 c #Conflicts: 236000 | #Constraints: 19911 418.39/419.57 c INPROCESSING 418.39/419.57 c GARBAGE COLLECT 418.39/419.57 c rational objective 7 434.95/436.17 c #Conflicts: 237000 | #Constraints: 11277 434.95/436.17 c #Conflicts: 238000 | #Constraints: 12278 434.95/436.17 c #Conflicts: 239000 | #Constraints: 13279 434.95/436.17 c #Conflicts: 240000 | #Constraints: 14281 434.95/436.17 c #Conflicts: 241000 | #Constraints: 15285 434.95/436.17 c #Conflicts: 242000 | #Constraints: 16288 434.95/436.17 c #Conflicts: 243000 | #Constraints: 17290 434.95/436.17 c #Conflicts: 244000 | #Constraints: 18295 434.95/436.17 c #Conflicts: 245000 | #Constraints: 19299 434.95/436.17 c #Conflicts: 246000 | #Constraints: 20302 434.95/436.17 c INPROCESSING 434.95/436.17 c GARBAGE COLLECT 434.95/436.17 c rational objective 7 462.96/464.28 c #Conflicts: 247000 | #Constraints: 11492 462.96/464.28 c #Conflicts: 248000 | #Constraints: 12500 462.96/464.28 c #Conflicts: 249000 | #Constraints: 13504 462.96/464.28 c #Conflicts: 250000 | #Constraints: 14512 462.96/464.28 c #Conflicts: 251000 | #Constraints: 15516 462.96/464.28 c #Conflicts: 252000 | #Constraints: 16517 462.96/464.28 c #Conflicts: 253000 | #Constraints: 17518 462.96/464.28 c #Conflicts: 254000 | #Constraints: 18521 462.96/464.28 c #Conflicts: 255000 | #Constraints: 19523 462.96/464.28 c #Conflicts: 256000 | #Constraints: 20524 462.96/464.28 c INPROCESSING 462.96/464.28 c GARBAGE COLLECT 462.96/464.28 c rational objective 7 476.82/478.16 c #Conflicts: 257000 | #Constraints: 11485 476.82/478.16 c #Conflicts: 258000 | #Constraints: 12490 476.82/478.16 c #Conflicts: 259000 | #Constraints: 13493 476.82/478.16 c #Conflicts: 260000 | #Constraints: 14494 476.82/478.16 c #Conflicts: 261000 | #Constraints: 15496 476.82/478.16 c #Conflicts: 262000 | #Constraints: 16500 476.82/478.16 c #Conflicts: 263000 | #Constraints: 17502 476.82/478.16 c #Conflicts: 264000 | #Constraints: 18503 476.82/478.16 c #Conflicts: 265000 | #Constraints: 19508 476.82/478.16 c #Conflicts: 266000 | #Constraints: 20513 476.82/478.16 c INPROCESSING 476.82/478.16 c GARBAGE COLLECT 476.82/478.16 c rational objective 7 504.85/506.21 c #Conflicts: 267000 | #Constraints: 11294 504.85/506.21 c #Conflicts: 268000 | #Constraints: 12296 504.85/506.21 c #Conflicts: 269000 | #Constraints: 13298 504.85/506.21 c #Conflicts: 270000 | #Constraints: 14302 504.85/506.21 c #Conflicts: 271000 | #Constraints: 15305 504.85/506.21 c #Conflicts: 272000 | #Constraints: 16306 504.85/506.21 c #Conflicts: 273000 | #Constraints: 17308 504.85/506.21 c #Conflicts: 274000 | #Constraints: 18310 504.85/506.21 c #Conflicts: 275000 | #Constraints: 19311 504.85/506.21 c #Conflicts: 276000 | #Constraints: 20311 504.85/506.21 c #Conflicts: 277000 | #Constraints: 21315 504.85/506.21 c INPROCESSING 504.85/506.21 c GARBAGE COLLECT 504.85/506.21 c rational objective 7 525.59/527.01 c #Conflicts: 278000 | #Constraints: 11878 525.59/527.01 c #Conflicts: 279000 | #Constraints: 12881 525.59/527.01 c #Conflicts: 280000 | #Constraints: 13883 525.59/527.01 c #Conflicts: 281000 | #Constraints: 14888 525.59/527.01 c #Conflicts: 282000 | #Constraints: 15893 525.59/527.01 c #Conflicts: 283000 | #Constraints: 16899 525.59/527.01 c #Conflicts: 284000 | #Constraints: 17903 525.59/527.01 c #Conflicts: 285000 | #Constraints: 18905 525.59/527.01 c #Conflicts: 286000 | #Constraints: 19907 525.59/527.01 c #Conflicts: 287000 | #Constraints: 20911 525.59/527.01 c #Conflicts: 288000 | #Constraints: 21914 525.59/527.01 c INPROCESSING 525.59/527.01 c GARBAGE COLLECT 525.59/527.01 c rational objective 7 546.84/548.39 c #Conflicts: 289000 | #Constraints: 12287 546.84/548.39 c #Conflicts: 290000 | #Constraints: 13289 546.84/548.39 c #Conflicts: 291000 | #Constraints: 14295 546.84/548.39 c #Conflicts: 292000 | #Constraints: 15301 546.84/548.39 c #Conflicts: 293000 | #Constraints: 16303 546.84/548.39 c #Conflicts: 294000 | #Constraints: 17304 546.84/548.39 c #Conflicts: 295000 | #Constraints: 18307 546.84/548.39 c #Conflicts: 296000 | #Constraints: 19309 546.84/548.39 c #Conflicts: 297000 | #Constraints: 20311 546.84/548.39 c #Conflicts: 298000 | #Constraints: 21312 546.84/548.39 c #Conflicts: 299000 | #Constraints: 22321 546.84/548.39 c INPROCESSING 546.84/548.39 c GARBAGE COLLECT 546.84/548.39 c rational objective 7 564.38/565.94 c #Conflicts: 300000 | #Constraints: 12482 564.38/565.94 c #Conflicts: 301000 | #Constraints: 13483 564.38/565.94 c #Conflicts: 302000 | #Constraints: 14486 564.38/565.94 c #Conflicts: 303000 | #Constraints: 15495 564.38/565.94 c #Conflicts: 304000 | #Constraints: 16495 564.38/565.94 c #Conflicts: 305000 | #Constraints: 17500 564.38/565.94 c #Conflicts: 306000 | #Constraints: 18505 564.38/565.94 c #Conflicts: 307000 | #Constraints: 19509 564.38/565.94 c #Conflicts: 308000 | #Constraints: 20514 564.38/565.94 c #Conflicts: 309000 | #Constraints: 21520 564.38/565.94 c #Conflicts: 310000 | #Constraints: 22524 564.38/565.94 c INPROCESSING 564.38/565.94 c GARBAGE COLLECT 564.38/565.94 c rational objective 7 587.92/589.55 c #Conflicts: 311000 | #Constraints: 12488 587.92/589.55 c #Conflicts: 312000 | #Constraints: 13494 587.92/589.55 c #Conflicts: 313000 | #Constraints: 14518 587.92/589.55 c #Conflicts: 314000 | #Constraints: 15539 587.92/589.55 c #Conflicts: 315000 | #Constraints: 16542 587.92/589.55 c #Conflicts: 316000 | #Constraints: 17553 587.92/589.55 c #Conflicts: 317000 | #Constraints: 18560 587.92/589.55 c #Conflicts: 318000 | #Constraints: 19563 587.92/589.55 c #Conflicts: 319000 | #Constraints: 20565 587.92/589.55 c #Conflicts: 320000 | #Constraints: 21569 587.92/589.55 c #Conflicts: 321000 | #Constraints: 22575 587.92/589.55 c INPROCESSING 587.92/589.55 c GARBAGE COLLECT 587.92/589.55 c rational objective 7 644.58/646.30 c #Conflicts: 322000 | #Constraints: 12323 644.58/646.30 c #Conflicts: 323000 | #Constraints: 13328 644.58/646.30 c #Conflicts: 324000 | #Constraints: 14331 644.58/646.30 c #Conflicts: 325000 | #Constraints: 15335 644.58/646.30 c #Conflicts: 326000 | #Constraints: 16339 644.58/646.30 c #Conflicts: 327000 | #Constraints: 17343 644.58/646.30 c #Conflicts: 328000 | #Constraints: 18346 644.58/646.30 c #Conflicts: 329000 | #Constraints: 19348 644.58/646.30 c #Conflicts: 330000 | #Constraints: 20352 644.58/646.30 c #Conflicts: 331000 | #Constraints: 21354 644.58/646.30 c #Conflicts: 332000 | #Constraints: 22357 644.58/646.30 c #Conflicts: 333000 | #Constraints: 23359 644.58/646.30 c INPROCESSING 644.58/646.30 c GARBAGE COLLECT 644.58/646.30 c rational objective 7 661.44/663.23 c #Conflicts: 334000 | #Constraints: 12905 661.44/663.23 c #Conflicts: 335000 | #Constraints: 13907 661.44/663.23 c #Conflicts: 336000 | #Constraints: 14912 661.44/663.23 c #Conflicts: 337000 | #Constraints: 15914 661.44/663.23 c #Conflicts: 338000 | #Constraints: 16919 661.44/663.23 c #Conflicts: 339000 | #Constraints: 17922 661.44/663.23 c #Conflicts: 340000 | #Constraints: 18925 661.44/663.23 c #Conflicts: 341000 | #Constraints: 19926 661.44/663.23 c #Conflicts: 342000 | #Constraints: 20927 661.44/663.23 c #Conflicts: 343000 | #Constraints: 21930 661.44/663.23 c #Conflicts: 344000 | #Constraints: 22934 661.44/663.23 c #Conflicts: 345000 | #Constraints: 23938 661.44/663.23 c INPROCESSING 661.44/663.23 c GARBAGE COLLECT 661.44/663.23 c rational objective 7 683.48/685.33 c #Conflicts: 346000 | #Constraints: 13295 683.48/685.33 c #Conflicts: 347000 | #Constraints: 14296 683.48/685.33 c #Conflicts: 348000 | #Constraints: 15299 683.48/685.33 c #Conflicts: 349000 | #Constraints: 16303 683.48/685.33 c #Conflicts: 350000 | #Constraints: 17306 683.48/685.33 c #Conflicts: 351000 | #Constraints: 18312 683.48/685.33 c #Conflicts: 352000 | #Constraints: 19314 683.48/685.33 c #Conflicts: 353000 | #Constraints: 20318 683.48/685.33 c #Conflicts: 354000 | #Constraints: 21326 683.48/685.33 c #Conflicts: 355000 | #Constraints: 22331 683.48/685.33 c #Conflicts: 356000 | #Constraints: 23332 683.48/685.33 c #Conflicts: 357000 | #Constraints: 24332 683.48/685.33 c INPROCESSING 683.48/685.33 c GARBAGE COLLECT 683.48/685.33 c rational objective 7 709.72/711.66 c #Conflicts: 358000 | #Constraints: 13493 709.72/711.66 c #Conflicts: 359000 | #Constraints: 14494 709.72/711.66 c #Conflicts: 360000 | #Constraints: 15497 709.72/711.66 c #Conflicts: 361000 | #Constraints: 16499 709.72/711.66 c #Conflicts: 362000 | #Constraints: 17501 709.72/711.66 c #Conflicts: 363000 | #Constraints: 18505 709.72/711.66 c #Conflicts: 364000 | #Constraints: 19510 709.72/711.66 c #Conflicts: 365000 | #Constraints: 20515 709.72/711.66 c #Conflicts: 366000 | #Constraints: 21518 709.72/711.66 c #Conflicts: 367000 | #Constraints: 22523 709.72/711.66 c #Conflicts: 368000 | #Constraints: 23528 709.72/711.66 c #Conflicts: 369000 | #Constraints: 24535 709.72/711.66 c INPROCESSING 709.72/711.66 c GARBAGE COLLECT 709.72/711.66 c rational objective 7 729.58/731.50 c #Conflicts: 370000 | #Constraints: 13504 729.58/731.50 c #Conflicts: 371000 | #Constraints: 14508 729.58/731.50 c #Conflicts: 372000 | #Constraints: 15510 729.58/731.50 c #Conflicts: 373000 | #Constraints: 16512 729.58/731.50 c #Conflicts: 374000 | #Constraints: 17512 729.58/731.50 c #Conflicts: 375000 | #Constraints: 18512 729.58/731.50 c #Conflicts: 376000 | #Constraints: 19512 729.58/731.50 c #Conflicts: 377000 | #Constraints: 20517 729.58/731.50 c #Conflicts: 378000 | #Constraints: 21518 729.58/731.50 c #Conflicts: 379000 | #Constraints: 22522 729.58/731.50 c #Conflicts: 380000 | #Constraints: 23524 729.58/731.50 c #Conflicts: 381000 | #Constraints: 24531 729.58/731.50 c INPROCESSING 729.58/731.50 c GARBAGE COLLECT 729.58/731.50 c rational objective 7 751.72/753.70 c #Conflicts: 382000 | #Constraints: 13282 751.72/753.70 c #Conflicts: 383000 | #Constraints: 14285 751.72/753.70 c #Conflicts: 384000 | #Constraints: 15286 751.72/753.70 c #Conflicts: 385000 | #Constraints: 16289 751.72/753.70 c #Conflicts: 386000 | #Constraints: 17292 751.72/753.70 c #Conflicts: 387000 | #Constraints: 18295 751.72/753.70 c #Conflicts: 388000 | #Constraints: 19297 751.72/753.70 c #Conflicts: 389000 | #Constraints: 20300 751.72/753.70 c #Conflicts: 390000 | #Constraints: 21301 751.72/753.70 c #Conflicts: 391000 | #Constraints: 22304 751.72/753.70 c #Conflicts: 392000 | #Constraints: 23306 751.72/753.70 c #Conflicts: 393000 | #Constraints: 24309 751.72/753.70 c #Conflicts: 394000 | #Constraints: 25311 751.72/753.70 c INPROCESSING 751.72/753.70 c GARBAGE COLLECT 751.72/753.70 c rational objective 7 775.67/777.78 c #Conflicts: 395000 | #Constraints: 13885 775.67/777.78 c #Conflicts: 396000 | #Constraints: 14891 775.67/777.78 c #Conflicts: 397000 | #Constraints: 15896 775.67/777.78 c #Conflicts: 398000 | #Constraints: 16899 775.67/777.78 c #Conflicts: 399000 | #Constraints: 17903 775.67/777.78 c #Conflicts: 400000 | #Constraints: 18910 775.67/777.78 c #Conflicts: 401000 | #Constraints: 19922 775.67/777.78 c #Conflicts: 402000 | #Constraints: 20925 775.67/777.78 c #Conflicts: 403000 | #Constraints: 21928 775.67/777.78 c #Conflicts: 404000 | #Constraints: 22930 775.67/777.78 c #Conflicts: 405000 | #Constraints: 23931 775.67/777.78 c #Conflicts: 406000 | #Constraints: 24934 775.67/777.78 c #Conflicts: 407000 | #Constraints: 25935 775.67/777.78 c INPROCESSING 775.67/777.78 c GARBAGE COLLECT 775.67/777.78 c rational objective 7 803.80/805.92 c #Conflicts: 408000 | #Constraints: 14287 803.80/805.92 c #Conflicts: 409000 | #Constraints: 15290 803.80/805.92 c #Conflicts: 410000 | #Constraints: 16294 803.80/805.92 c #Conflicts: 411000 | #Constraints: 17296 803.80/805.92 c #Conflicts: 412000 | #Constraints: 18298 803.80/805.92 c #Conflicts: 413000 | #Constraints: 19300 803.80/805.92 c #Conflicts: 414000 | #Constraints: 20303 803.80/805.92 c #Conflicts: 415000 | #Constraints: 21307 803.80/805.92 c #Conflicts: 416000 | #Constraints: 22308 803.80/805.92 c #Conflicts: 417000 | #Constraints: 23309 803.80/805.92 c #Conflicts: 418000 | #Constraints: 24311 803.80/805.92 c #Conflicts: 419000 | #Constraints: 25315 803.80/805.92 c #Conflicts: 420000 | #Constraints: 26317 803.80/805.92 c INPROCESSING 803.80/805.92 c GARBAGE COLLECT 803.80/805.92 c rational objective 7 858.87/861.12 c #Conflicts: 421000 | #Constraints: 14489 858.87/861.12 c #Conflicts: 422000 | #Constraints: 15494 858.87/861.12 c #Conflicts: 423000 | #Constraints: 16499 858.87/861.12 c #Conflicts: 424000 | #Constraints: 17503 858.87/861.12 c #Conflicts: 425000 | #Constraints: 18504 858.87/861.12 c #Conflicts: 426000 | #Constraints: 19506 858.87/861.12 c #Conflicts: 427000 | #Constraints: 20510 858.87/861.12 c #Conflicts: 428000 | #Constraints: 21512 858.87/861.12 c #Conflicts: 429000 | #Constraints: 22513 858.87/861.12 c #Conflicts: 430000 | #Constraints: 23515 858.87/861.12 c #Conflicts: 431000 | #Constraints: 24517 858.87/861.12 c #Conflicts: 432000 | #Constraints: 25519 858.87/861.12 c #Conflicts: 433000 | #Constraints: 26520 858.87/861.12 c INPROCESSING 858.87/861.12 c GARBAGE COLLECT 858.87/861.12 c rational objective 7 905.45/907.88 c #Conflicts: 434000 | #Constraints: 14508 905.45/907.88 c #Conflicts: 435000 | #Constraints: 15510 905.45/907.88 c #Conflicts: 436000 | #Constraints: 16517 905.45/907.88 c #Conflicts: 437000 | #Constraints: 17523 905.45/907.88 c #Conflicts: 438000 | #Constraints: 18529 905.45/907.88 c #Conflicts: 439000 | #Constraints: 19533 905.45/907.88 c #Conflicts: 440000 | #Constraints: 20538 905.45/907.88 c #Conflicts: 441000 | #Constraints: 21542 905.45/907.88 c #Conflicts: 442000 | #Constraints: 22545 905.45/907.88 c #Conflicts: 443000 | #Constraints: 23548 905.45/907.88 c #Conflicts: 444000 | #Constraints: 24553 905.45/907.88 c #Conflicts: 445000 | #Constraints: 25554 905.45/907.88 c #Conflicts: 446000 | #Constraints: 26559 905.45/907.88 c INPROCESSING 905.45/907.88 c GARBAGE COLLECT 905.45/907.88 c rational objective 7 1000.42/1003.08 c #Conflicts: 447000 | #Constraints: 14334 1000.42/1003.08 c #Conflicts: 448000 | #Constraints: 15338 1000.42/1003.08 c #Conflicts: 449000 | #Constraints: 16340 1000.42/1003.08 c #Conflicts: 450000 | #Constraints: 17344 1000.42/1003.08 c #Conflicts: 451000 | #Constraints: 18347 1000.42/1003.08 c #Conflicts: 452000 | #Constraints: 19350 1000.42/1003.08 c #Conflicts: 453000 | #Constraints: 20353 1000.42/1003.08 c #Conflicts: 454000 | #Constraints: 21354 1000.42/1003.08 c #Conflicts: 455000 | #Constraints: 22358 1000.42/1003.08 c #Conflicts: 456000 | #Constraints: 23361 1000.42/1003.08 c #Conflicts: 457000 | #Constraints: 24362 1000.42/1003.08 c #Conflicts: 458000 | #Constraints: 25363 1000.42/1003.08 c #Conflicts: 459000 | #Constraints: 26365 1000.42/1003.08 c #Conflicts: 460000 | #Constraints: 27366 1000.42/1003.08 c INPROCESSING 1000.42/1003.08 c GARBAGE COLLECT 1000.42/1003.08 c rational objective 7 1076.93/1079.70 c #Conflicts: 461000 | #Constraints: 14932 1076.93/1079.70 c #Conflicts: 462000 | #Constraints: 15935 1076.93/1079.70 c #Conflicts: 463000 | #Constraints: 16937 1076.93/1079.70 c #Conflicts: 464000 | #Constraints: 17940 1076.93/1079.70 c #Conflicts: 465000 | #Constraints: 18944 1076.93/1079.70 c #Conflicts: 466000 | #Constraints: 19948 1076.93/1079.70 c #Conflicts: 467000 | #Constraints: 20949 1076.93/1079.70 c #Conflicts: 468000 | #Constraints: 21951 1076.93/1079.70 c #Conflicts: 469000 | #Constraints: 22955 1076.93/1079.70 c #Conflicts: 470000 | #Constraints: 23958 1076.93/1079.70 c #Conflicts: 471000 | #Constraints: 24959 1076.93/1079.70 c #Conflicts: 472000 | #Constraints: 25962 1076.93/1079.70 c #Conflicts: 473000 | #Constraints: 26965 1076.93/1079.70 c #Conflicts: 474000 | #Constraints: 27966 1076.93/1079.70 c INPROCESSING 1076.93/1079.70 c GARBAGE COLLECT 1076.93/1079.70 c rational objective 7 1157.82/1160.81 c #Conflicts: 475000 | #Constraints: 15340 1157.82/1160.81 c #Conflicts: 476000 | #Constraints: 16341 1157.82/1160.81 c #Conflicts: 477000 | #Constraints: 17344 1157.82/1160.81 c #Conflicts: 478000 | #Constraints: 18349 1157.82/1160.81 c #Conflicts: 479000 | #Constraints: 19351 1157.82/1160.81 c #Conflicts: 480000 | #Constraints: 20356 1157.82/1160.81 c #Conflicts: 481000 | #Constraints: 21359 1157.82/1160.81 c #Conflicts: 482000 | #Constraints: 22363 1157.82/1160.81 c #Conflicts: 483000 | #Constraints: 23368 1157.82/1160.81 c #Conflicts: 484000 | #Constraints: 24372 1157.82/1160.81 c #Conflicts: 485000 | #Constraints: 25376 1157.82/1160.81 c #Conflicts: 486000 | #Constraints: 26381 1157.82/1160.81 c #Conflicts: 487000 | #Constraints: 27383 1157.82/1160.81 c #Conflicts: 488000 | #Constraints: 28385 1157.82/1160.81 c INPROCESSING 1157.82/1160.81 c GARBAGE COLLECT 1157.82/1160.81 c rational objective 7 1196.31/1199.40 c #Conflicts: 489000 | #Constraints: 15531 1196.31/1199.40 c #Conflicts: 490000 | #Constraints: 16535 1196.31/1199.40 c #Conflicts: 491000 | #Constraints: 17540 1196.31/1199.40 c #Conflicts: 492000 | #Constraints: 18542 1196.31/1199.40 c #Conflicts: 493000 | #Constraints: 19545 1196.31/1199.40 c #Conflicts: 494000 | #Constraints: 20546 1196.31/1199.40 c #Conflicts: 495000 | #Constraints: 21550 1196.31/1199.40 c #Conflicts: 496000 | #Constraints: 22551 1196.31/1199.40 c #Conflicts: 497000 | #Constraints: 23554 1196.31/1199.40 c #Conflicts: 498000 | #Constraints: 24556 1196.31/1199.40 c #Conflicts: 499000 | #Constraints: 25559 1196.31/1199.40 c #Conflicts: 500000 | #Constraints: 26561 1196.31/1199.40 c #Conflicts: 501000 | #Constraints: 27563 1196.31/1199.40 c #Conflicts: 502000 | #Constraints: 28567 1196.31/1199.40 c INPROCESSING 1196.31/1199.40 c GARBAGE COLLECT 1196.31/1199.40 c rational objective 7 1234.02/1237.25 c #Conflicts: 503000 | #Constraints: 15524 1234.02/1237.25 c #Conflicts: 504000 | #Constraints: 16530 1234.02/1237.25 c #Conflicts: 505000 | #Constraints: 17534 1234.02/1237.25 c #Conflicts: 506000 | #Constraints: 18537 1234.02/1237.25 c #Conflicts: 507000 | #Constraints: 19541 1234.02/1237.25 c #Conflicts: 508000 | #Constraints: 20547 1234.02/1237.25 c #Conflicts: 509000 | #Constraints: 21551 1234.02/1237.25 c #Conflicts: 510000 | #Constraints: 22555 1234.02/1237.25 c #Conflicts: 511000 | #Constraints: 23558 1234.02/1237.25 c #Conflicts: 512000 | #Constraints: 24561 1234.02/1237.25 c #Conflicts: 513000 | #Constraints: 25565 1234.02/1237.25 c #Conflicts: 514000 | #Constraints: 26568 1234.02/1237.25 c #Conflicts: 515000 | #Constraints: 27578 1234.02/1237.25 c #Conflicts: 516000 | #Constraints: 28585 1234.02/1237.25 c INPROCESSING 1234.02/1237.25 c GARBAGE COLLECT 1234.02/1237.25 c rational objective 7 1267.43/1270.77 c #Conflicts: 517000 | #Constraints: 15316 1267.43/1270.77 c #Conflicts: 518000 | #Constraints: 16321 1267.43/1270.77 c #Conflicts: 519000 | #Constraints: 17332 1267.43/1270.77 c #Conflicts: 520000 | #Constraints: 18333 1267.43/1270.77 c #Conflicts: 521000 | #Constraints: 19337 1267.43/1270.77 c #Conflicts: 522000 | #Constraints: 20338 1267.43/1270.77 c #Conflicts: 523000 | #Constraints: 21339 1267.43/1270.77 c #Conflicts: 524000 | #Constraints: 22341 1267.43/1270.77 c #Conflicts: 525000 | #Constraints: 23343 1267.43/1270.77 c #Conflicts: 526000 | #Constraints: 24345 1267.43/1270.77 c #Conflicts: 527000 | #Constraints: 25345 1267.43/1270.77 c #Conflicts: 528000 | #Constraints: 26352 1267.43/1270.77 c #Conflicts: 529000 | #Constraints: 27357 1267.43/1270.77 c #Conflicts: 530000 | #Constraints: 28360 1267.43/1270.77 c #Conflicts: 531000 | #Constraints: 29363 1267.43/1270.77 c INPROCESSING 1267.43/1270.77 c GARBAGE COLLECT 1267.43/1270.77 c rational objective 7 1302.43/1305.90 c #Conflicts: 532000 | #Constraints: 15924 1302.43/1305.90 c #Conflicts: 533000 | #Constraints: 16926 1302.43/1305.90 c #Conflicts: 534000 | #Constraints: 17929 1302.43/1305.90 c #Conflicts: 535000 | #Constraints: 18932 1302.43/1305.90 c #Conflicts: 536000 | #Constraints: 19933 1302.43/1305.90 c #Conflicts: 537000 | #Constraints: 20935 1302.43/1305.90 c #Conflicts: 538000 | #Constraints: 21938 1302.43/1305.90 c #Conflicts: 539000 | #Constraints: 22939 1302.43/1305.90 c #Conflicts: 540000 | #Constraints: 23939 1302.43/1305.90 c #Conflicts: 541000 | #Constraints: 24940 1302.43/1305.90 c #Conflicts: 542000 | #Constraints: 25943 1302.43/1305.90 c #Conflicts: 543000 | #Constraints: 26946 1302.43/1305.90 c #Conflicts: 544000 | #Constraints: 27950 1302.43/1305.90 c #Conflicts: 545000 | #Constraints: 28953 1302.43/1305.90 c #Conflicts: 546000 | #Constraints: 29953 1302.43/1305.90 c INPROCESSING 1302.43/1305.90 c GARBAGE COLLECT 1302.43/1305.90 c rational objective 7 1334.45/1337.91 c #Conflicts: 547000 | #Constraints: 16297 1334.45/1337.91 c #Conflicts: 548000 | #Constraints: 17299 1334.45/1337.91 c #Conflicts: 549000 | #Constraints: 18301 1334.45/1337.91 c #Conflicts: 550000 | #Constraints: 19304 1334.45/1337.91 c #Conflicts: 551000 | #Constraints: 20308 1334.45/1337.91 c #Conflicts: 552000 | #Constraints: 21309 1334.45/1337.91 c #Conflicts: 553000 | #Constraints: 22315 1334.45/1337.91 c #Conflicts: 554000 | #Constraints: 23320 1334.45/1337.91 c #Conflicts: 555000 | #Constraints: 24326 1334.45/1337.91 c #Conflicts: 556000 | #Constraints: 25331 1334.45/1337.91 c #Conflicts: 557000 | #Constraints: 26346 1334.45/1337.91 c #Conflicts: 558000 | #Constraints: 27354 1334.45/1337.91 c #Conflicts: 559000 | #Constraints: 28355 1334.45/1337.91 c #Conflicts: 560000 | #Constraints: 29356 1334.45/1337.91 c #Conflicts: 561000 | #Constraints: 30358 1334.45/1337.91 c INPROCESSING 1334.45/1337.91 c GARBAGE COLLECT 1334.45/1337.91 c rational objective 7 1373.85/1377.49 c #Conflicts: 562000 | #Constraints: 16515 1373.85/1377.49 c #Conflicts: 563000 | #Constraints: 17520 1373.85/1377.49 c #Conflicts: 564000 | #Constraints: 18522 1373.85/1377.49 c #Conflicts: 565000 | #Constraints: 19526 1373.85/1377.49 c #Conflicts: 566000 | #Constraints: 20530 1373.85/1377.49 c #Conflicts: 567000 | #Constraints: 21534 1373.85/1377.49 c #Conflicts: 568000 | #Constraints: 22540 1373.85/1377.49 c #Conflicts: 569000 | #Constraints: 23546 1373.85/1377.49 c #Conflicts: 570000 | #Constraints: 24552 1373.85/1377.49 c #Conflicts: 571000 | #Constraints: 25559 1373.85/1377.49 c #Conflicts: 572000 | #Constraints: 26563 1373.85/1377.49 c #Conflicts: 573000 | #Constraints: 27568 1373.85/1377.49 c #Conflicts: 574000 | #Constraints: 28571 1373.85/1377.49 c #Conflicts: 575000 | #Constraints: 29575 1373.85/1377.49 c #Conflicts: 576000 | #Constraints: 30582 1373.85/1377.49 c INPROCESSING 1373.85/1377.49 c GARBAGE COLLECT 1373.85/1377.49 c rational objective 7 1416.84/1420.58 c #Conflicts: 577000 | #Constraints: 16522 1416.84/1420.58 c #Conflicts: 578000 | #Constraints: 17526 1416.84/1420.58 c #Conflicts: 579000 | #Constraints: 18530 1416.84/1420.58 c #Conflicts: 580000 | #Constraints: 19537 1416.84/1420.58 c #Conflicts: 581000 | #Constraints: 20538 1416.84/1420.58 c #Conflicts: 582000 | #Constraints: 21541 1416.84/1420.58 c #Conflicts: 583000 | #Constraints: 22544 1416.84/1420.58 c #Conflicts: 584000 | #Constraints: 23547 1416.84/1420.58 c #Conflicts: 585000 | #Constraints: 24549 1416.84/1420.58 c #Conflicts: 586000 | #Constraints: 25549 1416.84/1420.58 c #Conflicts: 587000 | #Constraints: 26550 1416.84/1420.58 c #Conflicts: 588000 | #Constraints: 27553 1416.84/1420.58 c #Conflicts: 589000 | #Constraints: 28555 1416.84/1420.58 c #Conflicts: 590000 | #Constraints: 29558 1416.84/1420.58 c #Conflicts: 591000 | #Constraints: 30560 1416.84/1420.58 c INPROCESSING 1416.84/1420.58 c GARBAGE COLLECT 1416.84/1420.58 c rational objective 7 1457.92/1461.75 c #Conflicts: 592000 | #Constraints: 16313 1457.92/1461.75 c #Conflicts: 593000 | #Constraints: 17316 1457.92/1461.75 c #Conflicts: 594000 | #Constraints: 18317 1457.92/1461.75 c #Conflicts: 595000 | #Constraints: 19318 1457.92/1461.75 c #Conflicts: 596000 | #Constraints: 20322 1457.92/1461.75 c #Conflicts: 597000 | #Constraints: 21325 1457.92/1461.75 c #Conflicts: 598000 | #Constraints: 22329 1457.92/1461.75 c #Conflicts: 599000 | #Constraints: 23333 1457.92/1461.75 c #Conflicts: 600000 | #Constraints: 24333 1457.92/1461.75 c #Conflicts: 601000 | #Constraints: 25335 1457.92/1461.75 c #Conflicts: 602000 | #Constraints: 26335 1457.92/1461.75 c #Conflicts: 603000 | #Constraints: 27336 1457.92/1461.75 c #Conflicts: 604000 | #Constraints: 28341 1457.92/1461.75 c #Conflicts: 605000 | #Constraints: 29345 1457.92/1461.75 c #Conflicts: 606000 | #Constraints: 30352 1457.92/1461.75 c #Conflicts: 607000 | #Constraints: 31357 1457.92/1461.75 c INPROCESSING 1457.92/1461.75 c GARBAGE COLLECT 1457.92/1461.75 c rational objective 7 1500.40/1504.33 c #Conflicts: 608000 | #Constraints: 16929 1500.40/1504.33 c #Conflicts: 609000 | #Constraints: 17940 1500.40/1504.33 c #Conflicts: 610000 | #Constraints: 18961 1500.40/1504.33 c #Conflicts: 611000 | #Constraints: 19974 1500.40/1504.33 c #Conflicts: 612000 | #Constraints: 20991 1500.40/1504.33 c #Conflicts: 613000 | #Constraints: 21999 1500.40/1504.33 c #Conflicts: 614000 | #Constraints: 23008 1500.40/1504.33 c #Conflicts: 615000 | #Constraints: 24016 1500.40/1504.33 c #Conflicts: 616000 | #Constraints: 25021 1500.40/1504.33 c #Conflicts: 617000 | #Constraints: 26026 1500.40/1504.33 c #Conflicts: 618000 | #Constraints: 27027 1500.40/1504.33 c #Conflicts: 619000 | #Constraints: 28030 1500.40/1504.33 c #Conflicts: 620000 | #Constraints: 29033 1500.40/1504.33 c #Conflicts: 621000 | #Constraints: 30036 1500.40/1504.33 c #Conflicts: 622000 | #Constraints: 31042 1500.40/1504.33 c #Conflicts: 623000 | #Constraints: 32045 1500.40/1504.33 c INPROCESSING 1500.40/1504.33 c GARBAGE COLLECT 1500.40/1504.33 c rational objective 7 1540.89/1544.96 c #Conflicts: 624000 | #Constraints: 17360 1540.89/1544.96 c #Conflicts: 625000 | #Constraints: 18363 1540.89/1544.96 c #Conflicts: 626000 | #Constraints: 19367 1540.89/1544.96 c #Conflicts: 627000 | #Constraints: 20370 1540.89/1544.96 c #Conflicts: 628000 | #Constraints: 21378 1540.89/1544.96 c #Conflicts: 629000 | #Constraints: 22382 1540.89/1544.96 c #Conflicts: 630000 | #Constraints: 23383 1540.89/1544.96 c #Conflicts: 631000 | #Constraints: 24388 1540.89/1544.96 c #Conflicts: 632000 | #Constraints: 25390 1540.89/1544.96 c #Conflicts: 633000 | #Constraints: 26392 1540.89/1544.96 c #Conflicts: 634000 | #Constraints: 27393 1540.89/1544.96 c #Conflicts: 635000 | #Constraints: 28394 1540.89/1544.96 c #Conflicts: 636000 | #Constraints: 29397 1540.89/1544.96 c #Conflicts: 637000 | #Constraints: 30399 1540.89/1544.96 c #Conflicts: 638000 | #Constraints: 31402 1540.89/1544.96 c #Conflicts: 639000 | #Constraints: 32407 1540.89/1544.96 c INPROCESSING 1540.89/1544.96 c GARBAGE COLLECT 1540.89/1544.96 c rational objective 7 1583.17/1587.37 c #Conflicts: 640000 | #Constraints: 17529 1583.17/1587.37 c #Conflicts: 641000 | #Constraints: 18532 1583.17/1587.37 c #Conflicts: 642000 | #Constraints: 19535 1583.17/1587.37 c #Conflicts: 643000 | #Constraints: 20539 1583.17/1587.37 c #Conflicts: 644000 | #Constraints: 21546 1583.17/1587.37 c #Conflicts: 645000 | #Constraints: 22548 1583.17/1587.37 c #Conflicts: 646000 | #Constraints: 23553 1583.17/1587.37 c #Conflicts: 647000 | #Constraints: 24555 1583.17/1587.37 c #Conflicts: 648000 | #Constraints: 25557 1583.17/1587.37 c #Conflicts: 649000 | #Constraints: 26562 1583.17/1587.37 c #Conflicts: 650000 | #Constraints: 27566 1583.17/1587.37 c #Conflicts: 651000 | #Constraints: 28567 1583.17/1587.37 c #Conflicts: 652000 | #Constraints: 29568 1583.17/1587.37 c #Conflicts: 653000 | #Constraints: 30570 1583.17/1587.37 c #Conflicts: 654000 | #Constraints: 31572 1583.17/1587.37 c #Conflicts: 655000 | #Constraints: 32574 1583.17/1587.37 c INPROCESSING 1583.17/1587.37 c GARBAGE COLLECT 1583.17/1587.37 c rational objective 7 1619.48/1623.77 c #Conflicts: 656000 | #Constraints: 17520 1619.48/1623.77 c #Conflicts: 657000 | #Constraints: 18521 1619.48/1623.77 c #Conflicts: 658000 | #Constraints: 19522 1619.48/1623.77 c #Conflicts: 659000 | #Constraints: 20523 1619.48/1623.77 c #Conflicts: 660000 | #Constraints: 21527 1619.48/1623.77 c #Conflicts: 661000 | #Constraints: 22532 1619.48/1623.77 c #Conflicts: 662000 | #Constraints: 23533 1619.48/1623.77 c #Conflicts: 663000 | #Constraints: 24537 1619.48/1623.77 c #Conflicts: 664000 | #Constraints: 25539 1619.48/1623.77 c #Conflicts: 665000 | #Constraints: 26544 1619.48/1623.77 c #Conflicts: 666000 | #Constraints: 27548 1619.48/1623.77 c #Conflicts: 667000 | #Constraints: 28553 1619.48/1623.77 c #Conflicts: 668000 | #Constraints: 29555 1619.48/1623.77 c #Conflicts: 669000 | #Constraints: 30559 1619.48/1623.77 c #Conflicts: 670000 | #Constraints: 31562 1619.48/1623.77 c #Conflicts: 671000 | #Constraints: 32570 1619.48/1623.77 c INPROCESSING 1619.48/1623.77 c GARBAGE COLLECT 1619.48/1623.77 c rational objective 7 1671.95/1676.31 c #Conflicts: 672000 | #Constraints: 17305 1671.95/1676.31 c #Conflicts: 673000 | #Constraints: 18309 1671.95/1676.31 c #Conflicts: 674000 | #Constraints: 19311 1671.95/1676.31 c #Conflicts: 675000 | #Constraints: 20316 1671.95/1676.31 c #Conflicts: 676000 | #Constraints: 21318 1671.95/1676.31 c #Conflicts: 677000 | #Constraints: 22324 1671.95/1676.31 c #Conflicts: 678000 | #Constraints: 23327 1671.95/1676.31 c #Conflicts: 679000 | #Constraints: 24331 1671.95/1676.31 c #Conflicts: 680000 | #Constraints: 25334 1671.95/1676.31 c #Conflicts: 681000 | #Constraints: 26340 1671.95/1676.31 c #Conflicts: 682000 | #Constraints: 27343 1671.95/1676.31 c #Conflicts: 683000 | #Constraints: 28344 1671.95/1676.31 c #Conflicts: 684000 | #Constraints: 29348 1671.95/1676.31 c #Conflicts: 685000 | #Constraints: 30350 1671.95/1676.31 c #Conflicts: 686000 | #Constraints: 31353 1671.95/1676.31 c #Conflicts: 687000 | #Constraints: 32355 1671.95/1676.31 c #Conflicts: 688000 | #Constraints: 33355 1671.95/1676.31 c INPROCESSING 1671.95/1676.31 c GARBAGE COLLECT 1671.95/1676.31 c rational objective 7 1710.05/1714.59 c #Conflicts: 689000 | #Constraints: 17899 1710.05/1714.59 c #Conflicts: 690000 | #Constraints: 18901 1710.05/1714.59 c #Conflicts: 691000 | #Constraints: 19905 1710.05/1714.59 c #Conflicts: 692000 | #Constraints: 20908 1710.05/1714.59 c #Conflicts: 693000 | #Constraints: 21908 1710.05/1714.59 c #Conflicts: 694000 | #Constraints: 22909 1710.05/1714.59 c #Conflicts: 695000 | #Constraints: 23910 1710.05/1714.59 c #Conflicts: 696000 | #Constraints: 24914 1710.05/1714.59 c #Conflicts: 697000 | #Constraints: 25923 1710.05/1714.59 c #Conflicts: 698000 | #Constraints: 26928 1710.05/1714.59 c #Conflicts: 699000 | #Constraints: 27929 1710.05/1714.59 c #Conflicts: 700000 | #Constraints: 28935 1710.05/1714.59 c #Conflicts: 701000 | #Constraints: 29938 1710.05/1714.59 c #Conflicts: 702000 | #Constraints: 30940 1710.05/1714.59 c #Conflicts: 703000 | #Constraints: 31943 1710.05/1714.59 c #Conflicts: 704000 | #Constraints: 32945 1710.05/1714.59 c #Conflicts: 705000 | #Constraints: 33950 1710.05/1714.59 c INPROCESSING 1710.05/1714.59 c GARBAGE COLLECT 1710.05/1714.59 c rational objective 7 1766.12/1770.71 c #Conflicts: 706000 | #Constraints: 18309 1766.12/1770.71 c #Conflicts: 707000 | #Constraints: 19311 1766.12/1770.71 c #Conflicts: 708000 | #Constraints: 20314 1766.12/1770.71 c #Conflicts: 709000 | #Constraints: 21322 1766.12/1770.71 c #Conflicts: 710000 | #Constraints: 22332 1766.12/1770.71 c #Conflicts: 711000 | #Constraints: 23339 1766.12/1770.71 c #Conflicts: 712000 | #Constraints: 24346 1766.12/1770.71 c #Conflicts: 713000 | #Constraints: 25351 1766.12/1770.71 c #Conflicts: 714000 | #Constraints: 26357 1766.12/1770.71 c #Conflicts: 715000 | #Constraints: 27364 1766.12/1770.71 c #Conflicts: 716000 | #Constraints: 28367 1766.12/1770.71 c #Conflicts: 717000 | #Constraints: 29372 1766.12/1770.71 c #Conflicts: 718000 | #Constraints: 30376 1766.12/1770.71 c #Conflicts: 719000 | #Constraints: 31378 1766.12/1770.71 c #Conflicts: 720000 | #Constraints: 32381 1766.12/1770.71 c #Conflicts: 721000 | #Constraints: 33382 1766.12/1770.71 c #Conflicts: 722000 | #Constraints: 34389 1766.12/1770.71 c INPROCESSING 1766.12/1770.71 c GARBAGE COLLECT 1766.12/1770.71 c rational objective 7 1903.89/1908.84 c #Conflicts: 723000 | #Constraints: 18543 1903.89/1908.84 c #Conflicts: 724000 | #Constraints: 19546 1903.89/1908.84 c #Conflicts: 725000 | #Constraints: 20549 1903.89/1908.84 c #Conflicts: 726000 | #Constraints: 21553 1903.89/1908.84 c #Conflicts: 727000 | #Constraints: 22565 1903.89/1908.84 c #Conflicts: 728000 | #Constraints: 23570 1903.89/1908.84 c #Conflicts: 729000 | #Constraints: 24574 1903.89/1908.84 c #Conflicts: 730000 | #Constraints: 25581 1903.89/1908.84 c #Conflicts: 731000 | #Constraints: 26582 1903.89/1908.84 c #Conflicts: 732000 | #Constraints: 27588 1903.89/1908.84 c #Conflicts: 733000 | #Constraints: 28590 1903.89/1908.84 c #Conflicts: 734000 | #Constraints: 29593 1903.89/1908.84 c #Conflicts: 735000 | #Constraints: 30598 1903.89/1908.84 c #Conflicts: 736000 | #Constraints: 31603 1903.89/1908.84 c #Conflicts: 737000 | #Constraints: 32608 1903.89/1908.84 c #Conflicts: 738000 | #Constraints: 33610 1903.89/1908.84 c #Conflicts: 739000 | #Constraints: 34613 1903.89/1908.84 c INPROCESSING 1903.89/1908.84 c GARBAGE COLLECT 1903.89/1908.84 c rational objective 7 1941.50/1946.57 c #Conflicts: 740000 | #Constraints: 18541 1941.50/1946.57 c #Conflicts: 741000 | #Constraints: 19542 1941.50/1946.57 c #Conflicts: 742000 | #Constraints: 20546 1941.50/1946.57 c #Conflicts: 743000 | #Constraints: 21551 1941.50/1946.57 c #Conflicts: 744000 | #Constraints: 22555 1941.50/1946.57 c #Conflicts: 745000 | #Constraints: 23557 1941.50/1946.57 c #Conflicts: 746000 | #Constraints: 24557 1941.50/1946.57 c #Conflicts: 747000 | #Constraints: 25559 1941.50/1946.57 c #Conflicts: 748000 | #Constraints: 26560 1941.50/1946.57 c #Conflicts: 749000 | #Constraints: 27562 1941.50/1946.57 c #Conflicts: 750000 | #Constraints: 28565 1941.50/1946.57 c #Conflicts: 751000 | #Constraints: 29569 1941.50/1946.57 c #Conflicts: 752000 | #Constraints: 30571 1941.50/1946.57 c #Conflicts: 753000 | #Constraints: 31574 1941.50/1946.57 c #Conflicts: 754000 | #Constraints: 32576 1941.50/1946.57 c #Conflicts: 755000 | #Constraints: 33579 1941.50/1946.57 c #Conflicts: 756000 | #Constraints: 34580 1941.50/1946.57 c INPROCESSING 1941.50/1946.57 c GARBAGE COLLECT 1941.50/1946.57 c rational objective 7 1990.97/1996.13 c #Conflicts: 757000 | #Constraints: 18317 1990.97/1996.13 c #Conflicts: 758000 | #Constraints: 19322 1990.97/1996.13 c #Conflicts: 759000 | #Constraints: 20324 1990.97/1996.13 c #Conflicts: 760000 | #Constraints: 21325 1990.97/1996.13 c #Conflicts: 761000 | #Constraints: 22325 1990.97/1996.13 c #Conflicts: 762000 | #Constraints: 23327 1990.97/1996.13 c #Conflicts: 763000 | #Constraints: 24328 1990.97/1996.13 c #Conflicts: 764000 | #Constraints: 25330 1990.97/1996.13 c #Conflicts: 765000 | #Constraints: 26333 1990.97/1996.13 c #Conflicts: 766000 | #Constraints: 27339 1990.97/1996.13 c #Conflicts: 767000 | #Constraints: 28340 1990.97/1996.13 c #Conflicts: 768000 | #Constraints: 29343 1990.97/1996.13 c #Conflicts: 769000 | #Constraints: 30345 1990.97/1996.13 c #Conflicts: 770000 | #Constraints: 31347 1990.97/1996.13 c #Conflicts: 771000 | #Constraints: 32349 1990.97/1996.13 c #Conflicts: 772000 | #Constraints: 33351 1990.97/1996.13 c #Conflicts: 773000 | #Constraints: 34353 1990.97/1996.13 c #Conflicts: 774000 | #Constraints: 35355 1990.97/1996.13 c INPROCESSING 1990.97/1996.13 c GARBAGE COLLECT 1990.97/1996.13 c rational objective 7 2045.23/2050.52 c #Conflicts: 775000 | #Constraints: 18901 2045.23/2050.52 c #Conflicts: 776000 | #Constraints: 19905 2045.23/2050.52 c #Conflicts: 777000 | #Constraints: 20908 2045.23/2050.52 c #Conflicts: 778000 | #Constraints: 21909 2045.23/2050.52 c #Conflicts: 779000 | #Constraints: 22911 2045.23/2050.52 c #Conflicts: 780000 | #Constraints: 23912 2045.23/2050.52 c #Conflicts: 781000 | #Constraints: 24913 2045.23/2050.52 c #Conflicts: 782000 | #Constraints: 25915 2045.23/2050.52 c #Conflicts: 783000 | #Constraints: 26922 2045.23/2050.52 c #Conflicts: 784000 | #Constraints: 27926 2045.23/2050.52 c #Conflicts: 785000 | #Constraints: 28928 2045.23/2050.52 c #Conflicts: 786000 | #Constraints: 29931 2045.23/2050.52 c #Conflicts: 787000 | #Constraints: 30935 2045.23/2050.52 c #Conflicts: 788000 | #Constraints: 31937 2045.23/2050.52 c #Conflicts: 789000 | #Constraints: 32939 2045.23/2050.52 c #Conflicts: 790000 | #Constraints: 33940 2045.23/2050.52 c #Conflicts: 791000 | #Constraints: 34943 2045.23/2050.52 c #Conflicts: 792000 | #Constraints: 35944 2045.23/2050.52 c INPROCESSING 2045.23/2050.52 c GARBAGE COLLECT 2045.23/2050.52 c rational objective 7 2100.80/2106.28 c #Conflicts: 793000 | #Constraints: 19296 2100.80/2106.28 c #Conflicts: 794000 | #Constraints: 20301 2100.80/2106.28 c #Conflicts: 795000 | #Constraints: 21304 2100.80/2106.28 c #Conflicts: 796000 | #Constraints: 22307 2100.80/2106.28 c #Conflicts: 797000 | #Constraints: 23314 2100.80/2106.28 c #Conflicts: 798000 | #Constraints: 24314 2100.80/2106.28 c #Conflicts: 799000 | #Constraints: 25317 2100.80/2106.28 c #Conflicts: 800000 | #Constraints: 26321 2100.80/2106.28 c #Conflicts: 801000 | #Constraints: 27325 2100.80/2106.28 c #Conflicts: 802000 | #Constraints: 28330 2100.80/2106.28 c #Conflicts: 803000 | #Constraints: 29330 2100.80/2106.28 c #Conflicts: 804000 | #Constraints: 30332 2100.80/2106.28 c #Conflicts: 805000 | #Constraints: 31336 2100.80/2106.28 c #Conflicts: 806000 | #Constraints: 32337 2100.80/2106.28 c #Conflicts: 807000 | #Constraints: 33340 2100.80/2106.28 c #Conflicts: 808000 | #Constraints: 34344 2100.80/2106.28 c #Conflicts: 809000 | #Constraints: 35348 2100.80/2106.28 c #Conflicts: 810000 | #Constraints: 36355 2100.80/2106.28 c INPROCESSING 2100.80/2106.28 c GARBAGE COLLECT 2100.80/2106.28 c rational objective 7 2155.06/2160.69 c #Conflicts: 811000 | #Constraints: 19504 2155.06/2160.69 c #Conflicts: 812000 | #Constraints: 20506 2155.06/2160.69 c #Conflicts: 813000 | #Constraints: 21508 2155.06/2160.69 c #Conflicts: 814000 | #Constraints: 22513 2155.06/2160.69 c #Conflicts: 815000 | #Constraints: 23517 2155.06/2160.69 c #Conflicts: 816000 | #Constraints: 24522 2155.06/2160.69 c #Conflicts: 817000 | #Constraints: 25527 2155.06/2160.69 c #Conflicts: 818000 | #Constraints: 26532 2155.06/2160.69 c #Conflicts: 819000 | #Constraints: 27536 2155.06/2160.69 c #Conflicts: 820000 | #Constraints: 28540 2155.06/2160.69 c #Conflicts: 821000 | #Constraints: 29543 2155.06/2160.69 c #Conflicts: 822000 | #Constraints: 30545 2155.06/2160.69 c #Conflicts: 823000 | #Constraints: 31550 2155.06/2160.69 c #Conflicts: 824000 | #Constraints: 32560 2155.06/2160.69 c #Conflicts: 825000 | #Constraints: 33564 2155.06/2160.69 c #Conflicts: 826000 | #Constraints: 34567 2155.06/2160.69 c #Conflicts: 827000 | #Constraints: 35571 2155.06/2160.69 c #Conflicts: 828000 | #Constraints: 36575 2155.06/2160.69 c INPROCESSING 2155.06/2160.69 c GARBAGE COLLECT 2155.06/2160.69 c rational objective 7 2247.34/2253.14 c #Conflicts: 829000 | #Constraints: 19522 2247.34/2253.14 c #Conflicts: 830000 | #Constraints: 20527 2247.34/2253.14 c #Conflicts: 831000 | #Constraints: 21529 2247.34/2253.14 c #Conflicts: 832000 | #Constraints: 22530 2247.34/2253.14 c #Conflicts: 833000 | #Constraints: 23532 2247.34/2253.14 c #Conflicts: 834000 | #Constraints: 24536 2247.34/2253.14 c #Conflicts: 835000 | #Constraints: 25538 2247.34/2253.14 c #Conflicts: 836000 | #Constraints: 26541 2247.34/2253.14 c #Conflicts: 837000 | #Constraints: 27543 2247.34/2253.14 c #Conflicts: 838000 | #Constraints: 28544 2247.34/2253.14 c #Conflicts: 839000 | #Constraints: 29546 2247.34/2253.14 c #Conflicts: 840000 | #Constraints: 30549 2247.34/2253.14 c #Conflicts: 841000 | #Constraints: 31553 2247.34/2253.14 c #Conflicts: 842000 | #Constraints: 32555 2247.34/2253.14 c #Conflicts: 843000 | #Constraints: 33556 2247.34/2253.14 c #Conflicts: 844000 | #Constraints: 34557 2247.34/2253.14 c #Conflicts: 845000 | #Constraints: 35560 2247.34/2253.14 c #Conflicts: 846000 | #Constraints: 36564 2247.34/2253.14 c INPROCESSING 2247.34/2253.14 c GARBAGE COLLECT 2247.34/2253.14 c rational objective 7 2298.21/2304.15 c #Conflicts: 847000 | #Constraints: 19313 2298.21/2304.15 c #Conflicts: 848000 | #Constraints: 20314 2298.21/2304.15 c #Conflicts: 849000 | #Constraints: 21315 2298.21/2304.15 c #Conflicts: 850000 | #Constraints: 22319 2298.21/2304.15 c #Conflicts: 851000 | #Constraints: 23320 2298.21/2304.15 c #Conflicts: 852000 | #Constraints: 24322 2298.21/2304.15 c #Conflicts: 853000 | #Constraints: 25327 2298.21/2304.15 c #Conflicts: 854000 | #Constraints: 26334 2298.21/2304.15 c #Conflicts: 855000 | #Constraints: 27336 2298.21/2304.15 c #Conflicts: 856000 | #Constraints: 28339 2298.21/2304.15 c #Conflicts: 857000 | #Constraints: 29342 2298.21/2304.15 c #Conflicts: 858000 | #Constraints: 30347 2298.21/2304.15 c #Conflicts: 859000 | #Constraints: 31349 2298.21/2304.15 c #Conflicts: 860000 | #Constraints: 32351 2298.21/2304.15 c #Conflicts: 861000 | #Constraints: 33354 2298.21/2304.15 c #Conflicts: 862000 | #Constraints: 34358 2298.21/2304.15 c #Conflicts: 863000 | #Constraints: 35363 2298.21/2304.15 c #Conflicts: 864000 | #Constraints: 36369 2298.21/2304.15 c #Conflicts: 865000 | #Constraints: 37370 2298.21/2304.15 c INPROCESSING 2298.21/2304.15 c GARBAGE COLLECT 2298.21/2304.15 c rational objective 7 2351.36/2357.41 c #Conflicts: 866000 | #Constraints: 19912 2351.36/2357.41 c #Conflicts: 867000 | #Constraints: 20914 2351.36/2357.41 c #Conflicts: 868000 | #Constraints: 21917 2351.36/2357.41 c #Conflicts: 869000 | #Constraints: 22919 2351.36/2357.41 c #Conflicts: 870000 | #Constraints: 23922 2351.36/2357.41 c #Conflicts: 871000 | #Constraints: 24926 2351.36/2357.41 c #Conflicts: 872000 | #Constraints: 25931 2351.36/2357.41 c #Conflicts: 873000 | #Constraints: 26934 2351.36/2357.41 c #Conflicts: 874000 | #Constraints: 27936 2351.36/2357.41 c #Conflicts: 875000 | #Constraints: 28941 2351.36/2357.41 c #Conflicts: 876000 | #Constraints: 29944 2351.36/2357.41 c #Conflicts: 877000 | #Constraints: 30946 2351.36/2357.41 c #Conflicts: 878000 | #Constraints: 31947 2351.36/2357.41 c #Conflicts: 879000 | #Constraints: 32949 2351.36/2357.41 c #Conflicts: 880000 | #Constraints: 33954 2351.36/2357.41 c #Conflicts: 881000 | #Constraints: 34958 2351.36/2357.41 c #Conflicts: 882000 | #Constraints: 35960 2351.36/2357.41 c #Conflicts: 883000 | #Constraints: 36966 2351.36/2357.41 c #Conflicts: 884000 | #Constraints: 37970 2351.36/2357.41 c INPROCESSING 2351.36/2357.41 c GARBAGE COLLECT 2351.36/2357.41 c rational objective 7 2408.93/2415.12 c #Conflicts: 885000 | #Constraints: 20318 2408.93/2415.12 c #Conflicts: 886000 | #Constraints: 21320 2408.93/2415.12 c #Conflicts: 887000 | #Constraints: 22322 2408.93/2415.12 c #Conflicts: 888000 | #Constraints: 23323 2408.93/2415.12 c #Conflicts: 889000 | #Constraints: 24324 2408.93/2415.12 c #Conflicts: 890000 | #Constraints: 25325 2408.93/2415.12 c #Conflicts: 891000 | #Constraints: 26327 2408.93/2415.12 c #Conflicts: 892000 | #Constraints: 27330 2408.93/2415.12 c #Conflicts: 893000 | #Constraints: 28339 2408.93/2415.12 c #Conflicts: 894000 | #Constraints: 29350 2408.93/2415.12 c #Conflicts: 895000 | #Constraints: 30355 2408.93/2415.12 c #Conflicts: 896000 | #Constraints: 31357 2408.93/2415.12 c #Conflicts: 897000 | #Constraints: 32362 2408.93/2415.12 c #Conflicts: 898000 | #Constraints: 33364 2408.93/2415.12 c #Conflicts: 899000 | #Constraints: 34367 2408.93/2415.12 c #Conflicts: 900000 | #Constraints: 35374 2408.93/2415.12 c #Conflicts: 901000 | #Constraints: 36378 2408.93/2415.12 c #Conflicts: 902000 | #Constraints: 37379 2408.93/2415.12 c #Conflicts: 903000 | #Constraints: 38380 2408.93/2415.12 c INPROCESSING 2408.93/2415.12 c GARBAGE COLLECT 2408.93/2415.12 c rational objective 7 2468.68/2475.02 c #Conflicts: 904000 | #Constraints: 20515 2468.68/2475.02 c #Conflicts: 905000 | #Constraints: 21517 2468.68/2475.02 c #Conflicts: 906000 | #Constraints: 22520 2468.68/2475.02 c #Conflicts: 907000 | #Constraints: 23523 2468.68/2475.02 c #Conflicts: 908000 | #Constraints: 24524 2468.68/2475.02 c #Conflicts: 909000 | #Constraints: 25528 2468.68/2475.02 c #Conflicts: 910000 | #Constraints: 26532 2468.68/2475.02 c #Conflicts: 911000 | #Constraints: 27538 2468.68/2475.02 c #Conflicts: 912000 | #Constraints: 28541 2468.68/2475.02 c #Conflicts: 913000 | #Constraints: 29544 2468.68/2475.02 c #Conflicts: 914000 | #Constraints: 30549 2468.68/2475.02 c #Conflicts: 915000 | #Constraints: 31551 2468.68/2475.02 c #Conflicts: 916000 | #Constraints: 32559 2468.68/2475.02 c #Conflicts: 917000 | #Constraints: 33566 2468.68/2475.02 c #Conflicts: 918000 | #Constraints: 34567 2468.68/2475.02 c #Conflicts: 919000 | #Constraints: 35568 2468.68/2475.02 c #Conflicts: 920000 | #Constraints: 36571 2468.68/2475.02 c #Conflicts: 921000 | #Constraints: 37573 2468.68/2475.02 c #Conflicts: 922000 | #Constraints: 38579 2468.68/2475.02 c INPROCESSING 2468.68/2475.02 c GARBAGE COLLECT 2468.68/2475.02 c rational objective 7 2553.66/2560.27 c #Conflicts: 923000 | #Constraints: 20515 2553.66/2560.27 c #Conflicts: 924000 | #Constraints: 21523 2553.66/2560.27 c #Conflicts: 925000 | #Constraints: 22527 2553.66/2560.27 c #Conflicts: 926000 | #Constraints: 23530 2553.66/2560.27 c #Conflicts: 927000 | #Constraints: 24536 2553.66/2560.27 c #Conflicts: 928000 | #Constraints: 25538 2553.66/2560.27 c #Conflicts: 929000 | #Constraints: 26544 2553.66/2560.27 c #Conflicts: 930000 | #Constraints: 27545 2553.66/2560.27 c #Conflicts: 931000 | #Constraints: 28547 2553.66/2560.27 c #Conflicts: 932000 | #Constraints: 29549 2553.66/2560.27 c #Conflicts: 933000 | #Constraints: 30551 2553.66/2560.27 c #Conflicts: 934000 | #Constraints: 31554 2553.66/2560.27 c #Conflicts: 935000 | #Constraints: 32561 2553.66/2560.27 c #Conflicts: 936000 | #Constraints: 33563 2553.66/2560.27 c #Conflicts: 937000 | #Constraints: 34567 2553.66/2560.27 c #Conflicts: 938000 | #Constraints: 35569 2553.66/2560.27 c #Conflicts: 939000 | #Constraints: 36575 2553.66/2560.27 c #Conflicts: 940000 | #Constraints: 37578 2553.66/2560.27 c #Conflicts: 941000 | #Constraints: 38580 2553.66/2560.27 c INPROCESSING 2553.66/2560.27 c GARBAGE COLLECT 2553.66/2560.27 c rational objective 7 2640.44/2647.20 c #Conflicts: 942000 | #Constraints: 20329 2640.44/2647.20 c #Conflicts: 943000 | #Constraints: 21330 2640.44/2647.20 c #Conflicts: 944000 | #Constraints: 22332 2640.44/2647.20 c #Conflicts: 945000 | #Constraints: 23333 2640.44/2647.20 c #Conflicts: 946000 | #Constraints: 24337 2640.44/2647.20 c #Conflicts: 947000 | #Constraints: 25341 2640.44/2647.20 c #Conflicts: 948000 | #Constraints: 26345 2640.44/2647.20 c #Conflicts: 949000 | #Constraints: 27347 2640.44/2647.20 c #Conflicts: 950000 | #Constraints: 28349 2640.44/2647.20 c #Conflicts: 951000 | #Constraints: 29352 2640.44/2647.20 c #Conflicts: 952000 | #Constraints: 30352 2640.44/2647.20 c #Conflicts: 953000 | #Constraints: 31355 2640.44/2647.20 c #Conflicts: 954000 | #Constraints: 32356 2640.44/2647.20 c #Conflicts: 955000 | #Constraints: 33359 2640.44/2647.20 c #Conflicts: 956000 | #Constraints: 34360 2640.44/2647.20 c #Conflicts: 957000 | #Constraints: 35362 2640.44/2647.20 c #Conflicts: 958000 | #Constraints: 36366 2640.44/2647.20 c #Conflicts: 959000 | #Constraints: 37367 2640.44/2647.20 c #Conflicts: 960000 | #Constraints: 38368 2640.44/2647.20 c #Conflicts: 961000 | #Constraints: 39371 2640.44/2647.20 c INPROCESSING 2640.44/2647.20 c GARBAGE COLLECT 2640.44/2647.20 c rational objective 7 2738.04/2745.13 c #Conflicts: 962000 | #Constraints: 20949 2738.04/2745.13 c #Conflicts: 963000 | #Constraints: 21953 2738.04/2745.13 c #Conflicts: 964000 | #Constraints: 22953 2738.04/2745.13 c #Conflicts: 965000 | #Constraints: 23955 2738.04/2745.13 c #Conflicts: 966000 | #Constraints: 24956 2738.04/2745.13 c #Conflicts: 967000 | #Constraints: 25957 2738.04/2745.13 c #Conflicts: 968000 | #Constraints: 26958 2738.04/2745.13 c #Conflicts: 969000 | #Constraints: 27958 2738.04/2745.13 c #Conflicts: 970000 | #Constraints: 28959 2738.04/2745.13 c #Conflicts: 971000 | #Constraints: 29959 2738.04/2745.13 c #Conflicts: 972000 | #Constraints: 30960 2738.04/2745.13 c #Conflicts: 973000 | #Constraints: 31962 2738.04/2745.13 c #Conflicts: 974000 | #Constraints: 32965 2738.04/2745.13 c #Conflicts: 975000 | #Constraints: 33966 2738.04/2745.13 c #Conflicts: 976000 | #Constraints: 34967 2738.04/2745.13 c #Conflicts: 977000 | #Constraints: 35968 2738.04/2745.13 c #Conflicts: 978000 | #Constraints: 36972 2738.04/2745.13 c #Conflicts: 979000 | #Constraints: 37972 2738.04/2745.13 c #Conflicts: 980000 | #Constraints: 38972 2738.04/2745.13 c #Conflicts: 981000 | #Constraints: 39972 2738.04/2745.13 c INPROCESSING 2738.04/2745.13 c GARBAGE COLLECT 2738.04/2745.13 c rational objective 7 2805.93/2813.20 c #Conflicts: 982000 | #Constraints: 21329 2805.93/2813.20 c #Conflicts: 983000 | #Constraints: 22330 2805.93/2813.20 c #Conflicts: 984000 | #Constraints: 23331 2805.93/2813.20 c #Conflicts: 985000 | #Constraints: 24331 2805.93/2813.20 c #Conflicts: 986000 | #Constraints: 25333 2805.93/2813.20 c #Conflicts: 987000 | #Constraints: 26335 2805.93/2813.20 c #Conflicts: 988000 | #Constraints: 27336 2805.93/2813.20 c #Conflicts: 989000 | #Constraints: 28337 2805.93/2813.20 c #Conflicts: 990000 | #Constraints: 29337 2805.93/2813.20 c #Conflicts: 991000 | #Constraints: 30339 2805.93/2813.20 c #Conflicts: 992000 | #Constraints: 31341 2805.93/2813.20 c #Conflicts: 993000 | #Constraints: 32344 2805.93/2813.20 c #Conflicts: 994000 | #Constraints: 33347 2805.93/2813.20 c #Conflicts: 995000 | #Constraints: 34349 2805.93/2813.20 c #Conflicts: 996000 | #Constraints: 35349 2805.93/2813.20 c #Conflicts: 997000 | #Constraints: 36351 2805.93/2813.20 c #Conflicts: 998000 | #Constraints: 37356 2805.93/2813.20 c #Conflicts: 999000 | #Constraints: 38358 2805.93/2813.20 c #Conflicts: 1000000 | #Constraints: 39360 2805.93/2813.20 c #Conflicts: 1001000 | #Constraints: 40363 2805.93/2813.20 c INPROCESSING 2805.93/2813.20 c GARBAGE COLLECT 2805.93/2813.20 c rational objective 7 2955.47/2963.21 c #Conflicts: 1002000 | #Constraints: 21532 2955.47/2963.21 c #Conflicts: 1003000 | #Constraints: 22535 2955.47/2963.21 c #Conflicts: 1004000 | #Constraints: 23540 2955.47/2963.21 c #Conflicts: 1005000 | #Constraints: 24543 2955.47/2963.21 c #Conflicts: 1006000 | #Constraints: 25546 2955.47/2963.21 c #Conflicts: 1007000 | #Constraints: 26548 2955.47/2963.21 c #Conflicts: 1008000 | #Constraints: 27551 2955.47/2963.21 c #Conflicts: 1009000 | #Constraints: 28552 2955.47/2963.21 c #Conflicts: 1010000 | #Constraints: 29559 2955.47/2963.21 c #Conflicts: 1011000 | #Constraints: 30561 2955.47/2963.21 c #Conflicts: 1012000 | #Constraints: 31563 2955.47/2963.21 c #Conflicts: 1013000 | #Constraints: 32564 2955.47/2963.21 c #Conflicts: 1014000 | #Constraints: 33569 2955.47/2963.21 c #Conflicts: 1015000 | #Constraints: 34571 2955.47/2963.21 c #Conflicts: 1016000 | #Constraints: 35574 2955.47/2963.21 c #Conflicts: 1017000 | #Constraints: 36575 2955.47/2963.21 c #Conflicts: 1018000 | #Constraints: 37577 2955.47/2963.21 c #Conflicts: 1019000 | #Constraints: 38579 2955.47/2963.21 c #Conflicts: 1020000 | #Constraints: 39581 2955.47/2963.21 c #Conflicts: 1021000 | #Constraints: 40584 2955.47/2963.21 c INPROCESSING 2955.47/2963.21 c GARBAGE COLLECT 2955.47/2963.21 c rational objective 7 3041.91/3049.97 c #Conflicts: 1022000 | #Constraints: 21549 3041.91/3049.97 c #Conflicts: 1023000 | #Constraints: 22551 3041.91/3049.97 c #Conflicts: 1024000 | #Constraints: 23553 3041.91/3049.97 c #Conflicts: 1025000 | #Constraints: 24557 3041.91/3049.97 c #Conflicts: 1026000 | #Constraints: 25563 3041.91/3049.97 c #Conflicts: 1027000 | #Constraints: 26567 3041.91/3049.97 c #Conflicts: 1028000 | #Constraints: 27571 3041.91/3049.97 c #Conflicts: 1029000 | #Constraints: 28575 3041.91/3049.97 c #Conflicts: 1030000 | #Constraints: 29583 3041.91/3049.97 c #Conflicts: 1031000 | #Constraints: 30590 3041.91/3049.97 c #Conflicts: 1032000 | #Constraints: 31593 3041.91/3049.97 c #Conflicts: 1033000 | #Constraints: 32597 3041.91/3049.97 c #Conflicts: 1034000 | #Constraints: 33603 3041.91/3049.97 c #Conflicts: 1035000 | #Constraints: 34607 3041.91/3049.97 c #Conflicts: 1036000 | #Constraints: 35609 3041.91/3049.97 c #Conflicts: 1037000 | #Constraints: 36612 3041.91/3049.97 c #Conflicts: 1038000 | #Constraints: 37612 3041.91/3049.97 c #Conflicts: 1039000 | #Constraints: 38613 3041.91/3049.97 c #Conflicts: 1040000 | #Constraints: 39615 3041.91/3049.97 c #Conflicts: 1041000 | #Constraints: 40615 3041.91/3049.97 c INPROCESSING 3041.91/3049.97 c GARBAGE COLLECT 3041.91/3049.97 c rational objective 7 3123.96/3132.24 c #Conflicts: 1042000 | #Constraints: 21344 3123.96/3132.24 c #Conflicts: 1043000 | #Constraints: 22345 3123.96/3132.24 c #Conflicts: 1044000 | #Constraints: 23353 3123.96/3132.24 c #Conflicts: 1045000 | #Constraints: 24357 3123.96/3132.24 c #Conflicts: 1046000 | #Constraints: 25358 3123.96/3132.24 c #Conflicts: 1047000 | #Constraints: 26363 3123.96/3132.24 c #Conflicts: 1048000 | #Constraints: 27364 3123.96/3132.24 c #Conflicts: 1049000 | #Constraints: 28364 3123.96/3132.24 c #Conflicts: 1050000 | #Constraints: 29365 3123.96/3132.24 c #Conflicts: 1051000 | #Constraints: 30365 3123.96/3132.24 c #Conflicts: 1052000 | #Constraints: 31367 3123.96/3132.24 c #Conflicts: 1053000 | #Constraints: 32370 3123.96/3132.24 c #Conflicts: 1054000 | #Constraints: 33371 3123.96/3132.24 c #Conflicts: 1055000 | #Constraints: 34374 3123.96/3132.24 c #Conflicts: 1056000 | #Constraints: 35375 3123.96/3132.24 c #Conflicts: 1057000 | #Constraints: 36376 3123.96/3132.24 c #Conflicts: 1058000 | #Constraints: 37376 3123.96/3132.24 c #Conflicts: 1059000 | #Constraints: 38376 3123.96/3132.24 c #Conflicts: 1060000 | #Constraints: 39377 3123.96/3132.24 c #Conflicts: 1061000 | #Constraints: 40378 3123.96/3132.24 c #Conflicts: 1062000 | #Constraints: 41378 3123.96/3132.24 c INPROCESSING 3123.96/3132.24 c GARBAGE COLLECT 3123.96/3132.24 c rational objective 7 3274.91/3283.60 c #Conflicts: 1063000 | #Constraints: 21956 3274.91/3283.60 c #Conflicts: 1064000 | #Constraints: 22959 3274.91/3283.60 c #Conflicts: 1065000 | #Constraints: 23962 3274.91/3283.60 c #Conflicts: 1066000 | #Constraints: 24966 3274.91/3283.60 c #Conflicts: 1067000 | #Constraints: 25970 3274.91/3283.60 c #Conflicts: 1068000 | #Constraints: 26975 3274.91/3283.60 c #Conflicts: 1069000 | #Constraints: 27978 3274.91/3283.60 c #Conflicts: 1070000 | #Constraints: 28984 3274.91/3283.60 c #Conflicts: 1071000 | #Constraints: 29989 3274.91/3283.60 c #Conflicts: 1072000 | #Constraints: 30990 3274.91/3283.60 c #Conflicts: 1073000 | #Constraints: 31994 3274.91/3283.60 c #Conflicts: 1074000 | #Constraints: 32997 3274.91/3283.60 c #Conflicts: 1075000 | #Constraints: 33999 3274.91/3283.60 c #Conflicts: 1076000 | #Constraints: 35002 3274.91/3283.60 c #Conflicts: 1077000 | #Constraints: 36006 3274.91/3283.60 c #Conflicts: 1078000 | #Constraints: 37010 3274.91/3283.60 c #Conflicts: 1079000 | #Constraints: 38014 3274.91/3283.60 c #Conflicts: 1080000 | #Constraints: 39021 3274.91/3283.60 c #Conflicts: 1081000 | #Constraints: 40023 3274.91/3283.60 c #Conflicts: 1082000 | #Constraints: 41028 3274.91/3283.60 c #Conflicts: 1083000 | #Constraints: 42029 3274.91/3283.60 c INPROCESSING 3274.91/3283.60 c GARBAGE COLLECT 3274.91/3283.60 c rational objective 7 3407.71/3416.84 c #Conflicts: 1084000 | #Constraints: 22372 3407.71/3416.84 c #Conflicts: 1085000 | #Constraints: 23374 3407.71/3416.84 c #Conflicts: 1086000 | #Constraints: 24377 3407.71/3416.84 c #Conflicts: 1087000 | #Constraints: 25382 3407.71/3416.84 c #Conflicts: 1088000 | #Constraints: 26386 3407.71/3416.84 c #Conflicts: 1089000 | #Constraints: 27389 3407.71/3416.84 c #Conflicts: 1090000 | #Constraints: 28392 3407.71/3416.84 c #Conflicts: 1091000 | #Constraints: 29397 3407.71/3416.84 c #Conflicts: 1092000 | #Constraints: 30402 3407.71/3416.84 c #Conflicts: 1093000 | #Constraints: 31406 3407.71/3416.84 c #Conflicts: 1094000 | #Constraints: 32409 3407.71/3416.84 c #Conflicts: 1095000 | #Constraints: 33411 3407.71/3416.84 c #Conflicts: 1096000 | #Constraints: 34412 3407.71/3416.84 c #Conflicts: 1097000 | #Constraints: 35417 3407.71/3416.84 c #Conflicts: 1098000 | #Constraints: 36422 3407.71/3416.84 c #Conflicts: 1099000 | #Constraints: 37424 3407.71/3416.84 c #Conflicts: 1100000 | #Constraints: 38424 3407.71/3416.84 c #Conflicts: 1101000 | #Constraints: 39426 3407.71/3416.84 c #Conflicts: 1102000 | #Constraints: 40427 3407.71/3416.84 c #Conflicts: 1103000 | #Constraints: 41428 3407.71/3416.84 c #Conflicts: 1104000 | #Constraints: 42430 3407.71/3416.84 c INPROCESSING 3407.71/3416.84 c GARBAGE COLLECT 3407.71/3416.84 c rational objective 7 3537.71/3547.27 c #Conflicts: 1105000 | #Constraints: 22663 3537.71/3547.27 c #Conflicts: 1106000 | #Constraints: 23663 3537.71/3547.27 c #Conflicts: 1107000 | #Constraints: 24665 3537.71/3547.27 c #Conflicts: 1108000 | #Constraints: 25669 3537.71/3547.27 c #Conflicts: 1109000 | #Constraints: 26672 3537.71/3547.27 c #Conflicts: 1110000 | #Constraints: 27674 3537.71/3547.27 c #Conflicts: 1111000 | #Constraints: 28678 3537.71/3547.27 c #Conflicts: 1112000 | #Constraints: 29679 3537.71/3547.27 c #Conflicts: 1113000 | #Constraints: 30680 3537.71/3547.27 c #Conflicts: 1114000 | #Constraints: 31682 3537.71/3547.27 c #Conflicts: 1115000 | #Constraints: 32684 3537.71/3547.27 c #Conflicts: 1116000 | #Constraints: 33684 3537.71/3547.27 c #Conflicts: 1117000 | #Constraints: 34686 3537.71/3547.27 c #Conflicts: 1118000 | #Constraints: 35688 3537.71/3547.27 c #Conflicts: 1119000 | #Constraints: 36690 3537.71/3547.27 c #Conflicts: 1120000 | #Constraints: 37691 3537.71/3547.27 c #Conflicts: 1121000 | #Constraints: 38693 3537.71/3547.27 c #Conflicts: 1122000 | #Constraints: 39694 3537.71/3547.27 c #Conflicts: 1123000 | #Constraints: 40696 3537.71/3547.27 c #Conflicts: 1124000 | #Constraints: 41698 3537.71/3547.27 c #Conflicts: 1125000 | #Constraints: 42699 3537.71/3547.27 c INPROCESSING 3537.71/3547.27 c GARBAGE COLLECT 3537.71/3547.27 c rational objective 7 3600.03/3609.70 c #Conflicts: 1126000 | #Constraints: 22608 3600.03/3609.70 c #Conflicts: 1127000 | #Constraints: 23617 3600.03/3609.70 c #Conflicts: 1128000 | #Constraints: 24620 3600.03/3609.70 c #Conflicts: 1129000 | #Constraints: 25623 3600.03/3609.70 c #Conflicts: 1130000 | #Constraints: 26628 3600.03/3609.70 c #Conflicts: 1131000 | #Constraints: 27629 3600.03/3609.70 c #Conflicts: 1132000 | #Constraints: 28630 3600.03/3609.70 c #Conflicts: 1133000 | #Constraints: 29631 3600.03/3609.70 c #Conflicts: 1134000 | #Constraints: 30633 3600.03/3609.70 c #Conflicts: 1135000 | #Constraints: 31635 3600.03/3609.70 c #Conflicts: 1136000 | #Constraints: 32637 3600.03/3609.70 c #Conflicts: 1137000 | #Constraints: 33639 3600.03/3609.70 c #Conflicts: 1138000 | #Constraints: 34643 3600.03/3609.70 c #Conflicts: 1139000 | #Constraints: 35644 3600.03/3609.70 c #Conflicts: 1140000 | #Constraints: 36648 3600.03/3609.70 c #Conflicts: 1141000 | #Constraints: 37653 3600.03/3609.70 c #Conflicts: 1142000 | #Constraints: 38656 3600.03/3609.70 c #Conflicts: 1143000 | #Constraints: 39662 3600.03/3609.70 c #Conflicts: 1144000 | #Constraints: 40667 3600.03/3609.70 c Program interrupted by user. 3600.03/3609.70 c cpu time 3574.39 s 3600.03/3609.70 c deterministic time 917258342881 9.17e+11 3600.03/3609.70 c optimization time 61.5727 s 3600.03/3609.70 c total solve time 3512.8 s 3600.03/3609.70 c core-guided solve time 0 s 3600.03/3609.70 c propagation time 3007.47 s 3600.03/3609.70 c conflict analysis time 448.206 s 3600.03/3609.70 c propagations 388411195 3600.03/3609.70 c resolve steps 9098218 3600.03/3609.70 c decisions 14967560 3600.03/3609.70 c conflicts 1144460 3600.03/3609.70 c restarts 2109 3600.03/3609.70 c inprocessing phases 97 3600.03/3609.70 c input clauses 5045 3600.03/3609.70 c input cardinalities 76 3600.03/3609.70 c input general constraints 448 3600.03/3609.70 c input average constraint length 9.60 3600.03/3609.70 c input average constraint degree 71.21 3600.03/3609.70 c learned clauses 103235 3600.03/3609.70 c learned cardinalities 7038 3600.03/3609.70 c learned general constraints 1038281 3600.03/3609.70 c learned average constraint length 1240.95 3600.03/3609.70 c learned average constraint degree 7713081240.16 3600.03/3609.70 c watched constraints 950793 3600.03/3609.70 c counting constraints 87936 3600.03/3609.70 c gcd simplifications 52877 3600.03/3609.70 c detected cardinalities 148 3600.03/3609.70 c weakened non-implied lits 121291062 3600.03/3609.70 c weakened non-implying lits 753007 3600.03/3609.70 c original variables 4977 3600.03/3609.70 c clausal propagations 1284310 3600.03/3609.70 c cardinality propagations 31147078 3600.03/3609.70 c watched propagations 132428562 3600.03/3609.70 c counting propagations 221544855 3600.03/3609.70 c watch lookups 26314609778 3600.03/3609.70 c watch backjump lookups 22005908239 3600.03/3609.70 c watch checks 798990005082 3600.03/3609.70 c propagation checks 65283794462 3600.03/3609.70 c constraint additions 3854966723 3600.03/3609.70 c trail pops 404515493 3600.03/3609.70 c formula constraints 5569 3600.03/3609.70 c learned constraints 1140782 3600.03/3609.70 c bound constraints 0 3600.03/3609.70 c core-guided constraints 0 3600.03/3609.70 c encountered formula constraints 6718263 3600.03/3609.70 c encountered learned constraints 3221411 3600.03/3609.70 c encountered bound constraints 0 3600.03/3609.70 c encountered core-guided constraints 0 3600.03/3609.70 c LP total time 161.009 s 3600.03/3609.70 c LP solve time 125.45 s 3600.03/3609.70 c LP constraints added 6389 3600.03/3609.70 c LP constraints removed 814 3600.03/3609.70 c LP pivots internal 1144531 3600.03/3609.70 c LP pivots root 19817 3600.03/3609.70 c LP calls 8026 3600.03/3609.70 c LP optimalities 4340 3600.03/3609.70 c LP no pivot count 1691 3600.03/3609.70 c LP infeasibilities 3684 3600.03/3609.70 c LP valid Farkas constraints 3684 3600.03/3609.70 c LP learned Farkas constraints 3677 3600.03/3609.70 c LP basis resets 1 3600.03/3609.70 c LP cycling count 0 3600.03/3609.70 c LP singular count 1 3600.03/3609.70 c LP no primal count 0 3600.03/3609.70 c LP no farkas count 0 3600.03/3609.70 c LP other issue count 0 3600.03/3609.70 c LP Gomory cuts 411 3600.03/3609.70 c LP learned cuts 409 3600.03/3609.70 c LP deleted cuts 814 3600.03/3609.70 c LP encountered Gomory constraints 5551 3600.03/3609.70 c LP encountered Farkas constraints 258954 3600.03/3609.70 c LP encountered learned Farkas constraints 34822 3600.03/3609.70 c CG auxiliary variables introduced 0 3600.03/3609.70 c CG solutions found 0 3600.03/3609.70 c CG cores constructed 0 3600.03/3609.70 c CG core cardinality constraints returned 0 3600.03/3609.70 c CG unit cores 0 3600.03/3609.70 c CG single cores 0 3600.03/3609.70 c CG blocks removed during cardinality reduction 0 3600.03/3609.70 c CG first core best 0 3600.03/3609.70 c CG decision core best 0 3600.03/3609.70 c CG core reduction tie 0 3600.03/3609.70 c CG core degree average 0.00 3600.03/3609.70 c CG core slack average 0.00 3600.03/3609.70 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62492 MiB free)
memory of node 1: 64473 MiB (62758 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455273-1721461452/watcher-4455273-1721461452 -o /tmp/evaluation-result-4455273-1721461452/solver-4455273-1721461452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721456189-1040619 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455273-1721461452.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1043975, runsolver pid=1043972
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.38 4.19 4.12 5/256 1043976
/proc/meminfo: memFree=128241432/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=48052 memory=18072 CPUtime=0.1 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 3926 0 0 0 9 1 0 0 20 0 1 0 198312203 49205248 4518 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 12013 4518 1750 922 0 3965 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48052 KiB
Current children cumulated memory: 18072 KiB
[startup+0.205574 s]*
/proc/loadavg: 4.38 4.19 4.12 5/256 1043976
/proc/meminfo: memFree=128238912/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=50108 memory=20184 CPUtime=0.2 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 4457 0 0 0 19 1 0 0 20 0 1 0 198312203 51310592 5046 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 12527 5046 1750 922 0 4479 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50108 KiB
Current children cumulated memory: 20184 KiB
[startup+0.305516 s]*
/proc/loadavg: 4.38 4.19 4.12 6/256 1043976
/proc/meminfo: memFree=128237120/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=51948 memory=22032 CPUtime=0.3 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 4920 0 0 0 29 1 0 0 20 0 1 0 198312203 53194752 5508 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 12987 5508 1750 922 0 4939 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51948 KiB
Current children cumulated memory: 22032 KiB
[startup+0.700231 s]
/proc/loadavg: 4.38 4.19 4.12 5/256 1043976
/proc/meminfo: memFree=128231268/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=57564 memory=31848 CPUtime=0.68 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 6716 0 0 0 66 2 0 0 20 0 1 0 198312203 58945536 7962 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 14391 7962 1855 922 0 6343 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57564 KiB
Current children cumulated memory: 31848 KiB
[startup+1.50023 s]
/proc/loadavg: 4.38 4.19 4.12 5/256 1043976
/proc/meminfo: memFree=128224204/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=75932 memory=43624 CPUtime=1.49 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 9198 0 0 0 143 6 0 0 20 0 1 0 198312203 77754368 10906 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 18983 10906 1855 922 0 10935 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75932 KiB
Current children cumulated memory: 43624 KiB
[startup+3.10543 s]
/proc/loadavg: 4.38 4.19 4.12 5/256 1043976
/proc/meminfo: memFree=128209572/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=78372 memory=49824 CPUtime=3.08 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 9682 0 0 0 298 10 0 0 20 0 1 0 198312203 80252928 12456 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 19593 12456 1855 922 0 11545 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 78372 KiB
Current children cumulated memory: 49824 KiB
[startup+6.30021 s]
/proc/loadavg: 4.35 4.19 4.12 5/256 1043976
/proc/meminfo: memFree=128198816/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=86980 memory=60368 CPUtime=6.28 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 11846 0 0 0 611 17 0 0 20 0 1 0 198312203 89067520 15092 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 21745 15092 1871 922 0 13697 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 86980 KiB
Current children cumulated memory: 60368 KiB
[startup+12.7002 s]
/proc/loadavg: 4.32 4.19 4.11 5/256 1043977
/proc/meminfo: memFree=128186488/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=104656 memory=72616 CPUtime=12.66 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 13894 0 0 0 1233 33 0 0 20 0 1 0 198312203 107167744 18154 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 26164 18154 1871 922 0 18116 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 104656 KiB
Current children cumulated memory: 72616 KiB
[startup+25.5002 s]
/proc/loadavg: 4.25 4.18 4.11 5/256 1043979
/proc/meminfo: memFree=128161568/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=137468 memory=98836 CPUtime=25.43 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 17907 0 0 0 2486 57 0 0 20 0 1 0 198312203 140767232 24709 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 34367 24709 1871 922 0 26319 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 137468 KiB
Current children cumulated memory: 98836 KiB
[startup+51.1058 s]
/proc/loadavg: 4.30 4.20 4.12 5/256 1043983
/proc/meminfo: memFree=128125096/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=190488 memory=133472 CPUtime=50.96 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 23515 0 0 0 4983 113 0 0 20 0 1 0 198312203 195059712 33368 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 47622 33368 1871 922 0 39574 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 190488 KiB
Current children cumulated memory: 133472 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.20 4.12 5/254 1044038
/proc/meminfo: memFree=128615040/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=229764 memory=190448 CPUtime=102.01 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 32658 0 0 0 10015 186 0 0 20 0 1 0 198312203 235278336 47612 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 57441 47612 1871 922 0 49393 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 229764 KiB
Current children cumulated memory: 190448 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/254 1044048
/proc/meminfo: memFree=128547404/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=302744 memory=232708 CPUtime=161.86 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 38133 0 0 0 15928 258 0 0 20 0 1 0 198312203 310009856 58177 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 75686 58177 1871 922 0 67638 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 302744 KiB
Current children cumulated memory: 232708 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/254 1044059
/proc/meminfo: memFree=128498552/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=317948 memory=263556 CPUtime=221.71 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 41785 0 0 0 21836 335 0 0 20 0 1 0 198312203 325578752 65889 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 79487 65889 1871 922 0 71439 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 317948 KiB
Current children cumulated memory: 263556 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/254 1044069
/proc/meminfo: memFree=128419932/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=330272 memory=275420 CPUtime=281.55 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 44746 0 0 0 27754 401 0 0 20 0 1 0 198312203 338198528 68855 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 82568 68855 1871 922 0 74520 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 330272 KiB
Current children cumulated memory: 275420 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/257 1044084
/proc/meminfo: memFree=128393892/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=353240 memory=295924 CPUtime=341.39 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 49840 0 0 0 33686 453 0 0 20 0 1 0 198312203 361717760 73981 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 88310 73981 1871 922 0 80262 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 353240 KiB
Current children cumulated memory: 295924 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/257 1044095
/proc/meminfo: memFree=128352132/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=375244 memory=330844 CPUtime=401.24 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 54551 0 0 0 39627 497 0 0 20 0 1 0 198312203 384249856 82711 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 93811 82711 1871 922 0 85763 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 375244 KiB
Current children cumulated memory: 330844 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/257 1044105
/proc/meminfo: memFree=128327388/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=388744 memory=343132 CPUtime=461.06 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 57419 0 0 0 45548 558 0 0 20 0 1 0 198312203 398073856 85783 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 97186 85783 1871 922 0 89138 0
################
# More data... #
################
Current children cumulated memory: 762084 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/255 1045814
/proc/meminfo: memFree=96099020/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=858244 memory=767892 CPUtime=2914.7 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 117621 0 0 0 289275 2195 0 0 20 0 1 0 198312203 878841856 191973 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 214561 191973 1986 922 0 206513 0
Current children cumulated CPU time: 2914.7 s
Current children cumulated vsize: 858244 KiB
Current children cumulated memory: 767892 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.15 4.13 5/255 1045824
/proc/meminfo: memFree=95603304/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=864440 memory=817760 CPUtime=2974.52 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 118988 0 0 0 295234 2218 0 0 20 0 1 0 198312203 885186560 204440 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 216110 204440 1986 922 0 208062 0
Current children cumulated CPU time: 2974.52 s
Current children cumulated vsize: 864440 KiB
Current children cumulated memory: 817760 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.15 4.13 5/253 1045851
/proc/meminfo: memFree=125011892/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=874976 memory=826164 CPUtime=3034.33 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 121404 0 0 0 301179 2254 0 0 20 0 1 0 198312203 895975424 206541 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 218744 206541 1986 922 0 210696 0
Current children cumulated CPU time: 3034.33 s
Current children cumulated vsize: 874976 KiB
Current children cumulated memory: 826164 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/255 1045892
/proc/meminfo: memFree=125100656/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=879408 memory=829492 CPUtime=3094.16 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 122552 0 0 0 307129 2287 0 0 20 0 1 0 198312203 900513792 207373 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 219852 207373 1986 922 0 211804 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 879408 KiB
Current children cumulated memory: 829492 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.14 4.12 5/255 1045902
/proc/meminfo: memFree=124988668/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=882860 memory=832744 CPUtime=3153.98 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 123648 0 0 0 313082 2316 0 0 20 0 1 0 198312203 904048640 208186 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 220715 208186 1986 922 0 212667 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 882860 KiB
Current children cumulated memory: 832744 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/255 1045913
/proc/meminfo: memFree=124915044/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=889708 memory=837848 CPUtime=3213.79 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 125296 0 0 0 319046 2333 0 0 20 0 1 0 198312203 911060992 209462 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 222427 209462 1986 922 0 214379 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 889708 KiB
Current children cumulated memory: 837848 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/255 1045923
/proc/meminfo: memFree=124834312/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=896144 memory=842888 CPUtime=3273.61 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 127002 0 0 0 325018 2343 0 0 20 0 1 0 198312203 917651456 210722 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 224036 210722 1986 922 0 215988 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 896144 KiB
Current children cumulated memory: 842888 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/257 1045937
/proc/meminfo: memFree=124829492/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=896876 memory=843684 CPUtime=3333.43 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 127478 0 0 0 330946 2397 0 0 20 0 1 0 198312203 918401024 210921 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 224219 210921 1986 922 0 216171 0
Current children cumulated CPU time: 3333.43 s
Current children cumulated vsize: 896876 KiB
Current children cumulated memory: 843684 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.15 4.12 5/256 1045948
/proc/meminfo: memFree=124820396/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=902060 memory=847780 CPUtime=3393.25 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 128983 0 0 0 336903 2422 0 0 20 0 1 0 198312203 923709440 211945 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 225515 211945 1986 922 0 217467 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 902060 KiB
Current children cumulated memory: 847780 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/256 1045958
/proc/meminfo: memFree=124796552/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=907408 memory=869576 CPUtime=3453.08 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 130571 0 0 0 342828 2480 0 0 20 0 1 0 198312203 929185792 217394 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 226852 217394 1986 922 0 218804 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 907408 KiB
Current children cumulated memory: 869576 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.12 4.11 5/256 1045969
/proc/meminfo: memFree=124669948/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=918284 memory=878432 CPUtime=3512.89 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 133142 0 0 0 348769 2520 0 0 20 0 1 0 198312203 940322816 219608 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 229571 219608 1986 922 0 221523 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 918284 KiB
Current children cumulated memory: 878432 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/256 1045979
/proc/meminfo: memFree=124570152/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=923384 memory=882920 CPUtime=3572.71 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 134564 0 0 0 354717 2554 0 0 20 0 1 0 198312203 945545216 220730 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 230846 220730 1986 922 0 222798 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 923384 KiB
Current children cumulated memory: 882920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.08 4.11 4.10 5/256 1045985
/proc/meminfo: memFree=124569160/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=923384 memory=882920 CPUtime=3600.03 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 134817 0 0 0 357439 2564 0 0 20 0 1 0 198312203 945545216 220730 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 230846 220730 1986 922 0 222798 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 923384 KiB
Current children cumulated memory: 882920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 1043975 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.4 s, system=25.6525 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.08 4.11 4.10 5/256 1045985
/proc/meminfo: memFree=124569160/131524600 swapFree=131071996/131071996
[pid=1043975] ppid=1043972 vsize=923384 memory=882920 CPUtime=3600.03 cores=5,7
/proc/1043975/stat : 1043975 (roundingsat) R 1043972 1043975 1040606 0 -1 4194304 134817 0 0 0 357439 2564 0 0 20 0 1 0 198312203 945545216 220730 134679101440 4194304 7968373 140733570505392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 40157184 140733570511804 140733570511968 140733570511968 140733570518985 0
/proc/1043975/statm: 230846 220730 1986 922 0 222798 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 923384 KiB
Current children cumulated memory: 882920 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.05
CPU user time (s): 3574.4
CPU system time (s): 25.6525
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 923384
Max. memory (cumulated for all children) (KiB): 882920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.4
system time used= 25.6525
maximum resident set size= 882920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134826
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171
involuntary context switches= 4196
# summary of solver processes directly reported to runsolver:
# pid: 1043975
# total CPU time (s): 3600.05
# total CPU user time (s): 3574.4
# total CPU system time (s): 25.6525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72985 second user time and 16.5083 second system time
The end
Begin job on nodeC028 at 2024-07-20 09:44:24 IDJOB=4455273 IDBENCH=148775 IDSOLVER=3084 FILE ID=nodeC028/4455273-1721461452 RUNJOBID= nodeC028-1721456189-1040619 SLURM_JOB_ID= 7545691 Free space on /tmp= 890032 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455273-1721461452/watcher-4455273-1721461452 -o /tmp/evaluation-result-4455273-1721461452/solver-4455273-1721461452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721456189-1040619 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455273-1721461452.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593 RANDOM SEED=701273910 nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3672.744 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.56 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 : 3675.662 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.942 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.56 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 : 3618.518 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3672.730 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.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.517 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.878 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.56 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 : 3660.598 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128256988 kB MemAvailable: 128813760 kB Buffers: 547228 kB Cached: 858452 kB SwapCached: 0 kB Active: 1091868 kB Inactive: 1575120 kB Active(anon): 1552 kB Inactive(anon): 1305688 kB Active(file): 1090316 kB Inactive(file): 269432 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5620 kB Writeback: 52 kB AnonPages: 1253012 kB Mapped: 115464 kB Shmem: 45912 kB KReclaimable: 73692 kB Slab: 181940 kB SReclaimable: 73692 kB SUnreclaim: 108248 kB KernelStack: 4144 kB PageTables: 11960 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1824428 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 66336 kB HardwareCorrupted: 0 kB AnonHugePages: 1077248 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: 197332 kB DirectMap2M: 20547584 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 890044 MiB End job on nodeC028 at 2024-07-20 10:44:34