| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.02 | 3611.72 |
| 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.08 c bounds - >= 0 @ 0.026361 0.00/0.08 c rational objective 7 0.89/0.97 c #Conflicts: 1000 | #Constraints: 6571 0.89/0.97 c #Conflicts: 2000 | #Constraints: 7576 0.89/0.97 c INPROCESSING 0.89/0.97 c GARBAGE COLLECT 0.89/0.97 c rational objective 7 2.68/2.75 c bounds - >= 7 @ 0.929047 2.68/2.75 c #Conflicts: 3000 | #Constraints: 2616 2.68/2.75 c #Conflicts: 4000 | #Constraints: 3619 2.68/2.75 c INPROCESSING 2.68/2.75 c GARBAGE COLLECT 2.68/2.75 c rational objective 7 4.18/4.27 c #Conflicts: 5000 | #Constraints: 3023 4.18/4.27 c #Conflicts: 6000 | #Constraints: 4028 4.18/4.27 c INPROCESSING 4.18/4.27 c GARBAGE COLLECT 4.18/4.27 c rational objective 7 5.68/5.71 c #Conflicts: 7000 | #Constraints: 3036 5.68/5.71 c #Conflicts: 8000 | #Constraints: 4037 5.68/5.71 c #Conflicts: 9000 | #Constraints: 5038 5.68/5.71 c INPROCESSING 5.68/5.71 c GARBAGE COLLECT 5.68/5.71 c rational objective 7 7.37/7.49 c #Conflicts: 10000 | #Constraints: 3734 7.37/7.49 c #Conflicts: 11000 | #Constraints: 4734 7.37/7.49 c #Conflicts: 12000 | #Constraints: 5735 7.37/7.49 c INPROCESSING 7.37/7.49 c GARBAGE COLLECT 7.37/7.49 c rational objective 7 10.17/10.20 c #Conflicts: 13000 | #Constraints: 4184 10.17/10.20 c #Conflicts: 14000 | #Constraints: 5186 10.17/10.20 c #Conflicts: 15000 | #Constraints: 6192 10.17/10.20 c INPROCESSING 10.17/10.20 c GARBAGE COLLECT 10.17/10.20 c rational objective 7 15.05/15.17 c #Conflicts: 16000 | #Constraints: 4419 15.05/15.17 c #Conflicts: 17000 | #Constraints: 5422 15.05/15.17 c #Conflicts: 18000 | #Constraints: 6425 15.05/15.17 c INPROCESSING 15.05/15.17 c GARBAGE COLLECT 15.05/15.17 c rational objective 7 18.15/18.20 c #Conflicts: 19000 | #Constraints: 4439 18.15/18.20 c #Conflicts: 20000 | #Constraints: 5442 18.15/18.20 c #Conflicts: 21000 | #Constraints: 6443 18.15/18.20 c INPROCESSING 18.15/18.20 c GARBAGE COLLECT 18.15/18.20 c rational objective 7 20.43/20.57 c #Conflicts: 22000 | #Constraints: 4236 20.43/20.57 c #Conflicts: 23000 | #Constraints: 5239 20.43/20.57 c #Conflicts: 24000 | #Constraints: 6241 20.43/20.57 c #Conflicts: 25000 | #Constraints: 7243 20.43/20.57 c INPROCESSING 20.43/20.57 c GARBAGE COLLECT 20.43/20.57 c rational objective 7 23.83/23.99 c #Conflicts: 26000 | #Constraints: 4839 23.83/23.99 c #Conflicts: 27000 | #Constraints: 5842 23.83/23.99 c #Conflicts: 28000 | #Constraints: 6843 23.83/23.99 c #Conflicts: 29000 | #Constraints: 7844 23.83/23.99 c INPROCESSING 23.83/23.99 c GARBAGE COLLECT 23.83/23.99 c rational objective 7 27.62/27.74 c #Conflicts: 30000 | #Constraints: 5237 27.62/27.74 c #Conflicts: 31000 | #Constraints: 6242 27.62/27.74 c #Conflicts: 32000 | #Constraints: 7247 27.62/27.74 c #Conflicts: 33000 | #Constraints: 8249 27.62/27.74 c INPROCESSING 27.62/27.74 c GARBAGE COLLECT 27.62/27.74 c rational objective 7 34.59/34.76 c #Conflicts: 34000 | #Constraints: 5439 34.59/34.76 c #Conflicts: 35000 | #Constraints: 6440 34.59/34.76 c #Conflicts: 36000 | #Constraints: 7442 34.59/34.76 c #Conflicts: 37000 | #Constraints: 8444 34.59/34.76 c INPROCESSING 34.59/34.76 c GARBAGE COLLECT 34.59/34.76 c rational objective 7 44.47/44.65 c #Conflicts: 38000 | #Constraints: 5453 44.47/44.65 c #Conflicts: 39000 | #Constraints: 6462 44.47/44.65 c #Conflicts: 40000 | #Constraints: 7468 44.47/44.65 c #Conflicts: 41000 | #Constraints: 8469 44.47/44.65 c INPROCESSING 44.47/44.65 c GARBAGE COLLECT 44.47/44.65 c rational objective 7 50.66/50.90 c #Conflicts: 42000 | #Constraints: 5264 50.66/50.90 c #Conflicts: 43000 | #Constraints: 6269 50.66/50.90 c #Conflicts: 44000 | #Constraints: 7271 50.66/50.90 c #Conflicts: 45000 | #Constraints: 8274 50.66/50.90 c #Conflicts: 46000 | #Constraints: 9278 50.66/50.90 c INPROCESSING 50.66/50.90 c GARBAGE COLLECT 50.66/50.90 c rational objective 7 54.95/55.14 c #Conflicts: 47000 | #Constraints: 5855 54.95/55.14 c #Conflicts: 48000 | #Constraints: 6855 54.95/55.14 c #Conflicts: 49000 | #Constraints: 7857 54.95/55.14 c #Conflicts: 50000 | #Constraints: 8860 54.95/55.14 c #Conflicts: 51000 | #Constraints: 9863 54.95/55.14 c INPROCESSING 54.95/55.14 c GARBAGE COLLECT 54.95/55.14 c rational objective 7 60.42/60.65 c #Conflicts: 52000 | #Constraints: 6254 60.42/60.65 c #Conflicts: 53000 | #Constraints: 7256 60.42/60.65 c #Conflicts: 54000 | #Constraints: 8257 60.42/60.65 c #Conflicts: 55000 | #Constraints: 9259 60.42/60.65 c #Conflicts: 56000 | #Constraints: 10261 60.42/60.65 c INPROCESSING 60.42/60.65 c GARBAGE COLLECT 60.42/60.65 c rational objective 7 64.52/64.79 c #Conflicts: 57000 | #Constraints: 6450 64.52/64.79 c #Conflicts: 58000 | #Constraints: 7452 64.52/64.79 c #Conflicts: 59000 | #Constraints: 8456 64.52/64.79 c #Conflicts: 60000 | #Constraints: 9460 64.52/64.79 c #Conflicts: 61000 | #Constraints: 10461 64.52/64.79 c INPROCESSING 64.52/64.79 c GARBAGE COLLECT 64.52/64.79 c rational objective 7 74.49/74.72 c #Conflicts: 62000 | #Constraints: 6449 74.49/74.72 c #Conflicts: 63000 | #Constraints: 7453 74.49/74.72 c #Conflicts: 64000 | #Constraints: 8456 74.49/74.72 c #Conflicts: 65000 | #Constraints: 9459 74.49/74.72 c #Conflicts: 66000 | #Constraints: 10464 74.49/74.72 c INPROCESSING 74.49/74.72 c GARBAGE COLLECT 74.49/74.72 c rational objective 7 83.57/83.87 c #Conflicts: 67000 | #Constraints: 6246 83.57/83.87 c #Conflicts: 68000 | #Constraints: 7249 83.57/83.87 c #Conflicts: 69000 | #Constraints: 8254 83.57/83.87 c #Conflicts: 70000 | #Constraints: 9257 83.57/83.87 c #Conflicts: 71000 | #Constraints: 10263 83.57/83.87 c #Conflicts: 72000 | #Constraints: 11265 83.57/83.87 c INPROCESSING 83.57/83.87 c GARBAGE COLLECT 83.57/83.87 c rational objective 7 89.15/89.44 c #Conflicts: 73000 | #Constraints: 6859 89.15/89.44 c #Conflicts: 74000 | #Constraints: 7864 89.15/89.44 c #Conflicts: 75000 | #Constraints: 8873 89.15/89.44 c #Conflicts: 76000 | #Constraints: 9876 89.15/89.44 c #Conflicts: 77000 | #Constraints: 10877 89.15/89.44 c #Conflicts: 78000 | #Constraints: 11882 89.15/89.44 c INPROCESSING 89.15/89.44 c GARBAGE COLLECT 89.15/89.44 c rational objective 7 98.93/99.24 c #Conflicts: 79000 | #Constraints: 7267 98.93/99.24 c #Conflicts: 80000 | #Constraints: 8271 98.93/99.24 c #Conflicts: 81000 | #Constraints: 9273 98.93/99.24 c #Conflicts: 82000 | #Constraints: 10273 98.93/99.24 c #Conflicts: 83000 | #Constraints: 11274 98.93/99.24 c #Conflicts: 84000 | #Constraints: 12277 98.93/99.24 c INPROCESSING 98.93/99.24 c GARBAGE COLLECT 98.93/99.24 c rational objective 7 114.78/115.13 c #Conflicts: 85000 | #Constraints: 7464 114.78/115.13 c #Conflicts: 86000 | #Constraints: 8467 114.78/115.13 c #Conflicts: 87000 | #Constraints: 9470 114.78/115.13 c #Conflicts: 88000 | #Constraints: 10473 114.78/115.13 c #Conflicts: 89000 | #Constraints: 11476 114.78/115.13 c #Conflicts: 90000 | #Constraints: 12479 114.78/115.13 c INPROCESSING 114.78/115.13 c GARBAGE COLLECT 114.78/115.13 c rational objective 7 122.56/122.94 c #Conflicts: 91000 | #Constraints: 7468 122.56/122.94 c #Conflicts: 92000 | #Constraints: 8471 122.56/122.94 c #Conflicts: 93000 | #Constraints: 9473 122.56/122.94 c #Conflicts: 94000 | #Constraints: 10474 122.56/122.94 c #Conflicts: 95000 | #Constraints: 11477 122.56/122.94 c #Conflicts: 96000 | #Constraints: 12479 122.56/122.94 c INPROCESSING 122.56/122.94 c GARBAGE COLLECT 122.56/122.94 c rational objective 7 139.01/139.43 c #Conflicts: 97000 | #Constraints: 7285 139.01/139.43 c #Conflicts: 98000 | #Constraints: 8290 139.01/139.43 c #Conflicts: 99000 | #Constraints: 9294 139.01/139.43 c #Conflicts: 100000 | #Constraints: 10298 139.01/139.43 c #Conflicts: 101000 | #Constraints: 11302 139.01/139.43 c #Conflicts: 102000 | #Constraints: 12305 139.01/139.43 c #Conflicts: 103000 | #Constraints: 13310 139.01/139.43 c INPROCESSING 139.01/139.43 c GARBAGE COLLECT 139.01/139.43 c rational objective 7 146.20/146.65 c #Conflicts: 104000 | #Constraints: 7872 146.20/146.65 c #Conflicts: 105000 | #Constraints: 8875 146.20/146.65 c #Conflicts: 106000 | #Constraints: 9875 146.20/146.65 c #Conflicts: 107000 | #Constraints: 10878 146.20/146.65 c #Conflicts: 108000 | #Constraints: 11881 146.20/146.65 c #Conflicts: 109000 | #Constraints: 12883 146.20/146.65 c #Conflicts: 110000 | #Constraints: 13887 146.20/146.65 c INPROCESSING 146.20/146.65 c GARBAGE COLLECT 146.20/146.65 c rational objective 7 153.48/153.93 c #Conflicts: 111000 | #Constraints: 8267 153.48/153.93 c #Conflicts: 112000 | #Constraints: 9271 153.48/153.93 c #Conflicts: 113000 | #Constraints: 10275 153.48/153.93 c #Conflicts: 114000 | #Constraints: 11279 153.48/153.93 c #Conflicts: 115000 | #Constraints: 12282 153.48/153.93 c #Conflicts: 116000 | #Constraints: 13284 153.48/153.93 c #Conflicts: 117000 | #Constraints: 14285 153.48/153.93 c INPROCESSING 153.48/153.93 c GARBAGE COLLECT 153.48/153.93 c rational objective 7 163.06/163.59 c #Conflicts: 118000 | #Constraints: 8473 163.06/163.59 c #Conflicts: 119000 | #Constraints: 9477 163.06/163.59 c #Conflicts: 120000 | #Constraints: 10478 163.06/163.59 c #Conflicts: 121000 | #Constraints: 11482 163.06/163.59 c #Conflicts: 122000 | #Constraints: 12485 163.06/163.59 c #Conflicts: 123000 | #Constraints: 13488 163.06/163.59 c #Conflicts: 124000 | #Constraints: 14491 163.06/163.59 c INPROCESSING 163.06/163.59 c GARBAGE COLLECT 163.06/163.59 c rational objective 7 174.23/174.71 c #Conflicts: 125000 | #Constraints: 8473 174.23/174.71 c #Conflicts: 126000 | #Constraints: 9476 174.23/174.71 c #Conflicts: 127000 | #Constraints: 10479 174.23/174.71 c #Conflicts: 128000 | #Constraints: 11487 174.23/174.71 c #Conflicts: 129000 | #Constraints: 12499 174.23/174.71 c #Conflicts: 130000 | #Constraints: 13503 174.23/174.71 c #Conflicts: 131000 | #Constraints: 14508 174.23/174.71 c INPROCESSING 174.23/174.71 c GARBAGE COLLECT 174.23/174.71 c rational objective 7 188.78/189.30 c #Conflicts: 132000 | #Constraints: 8269 188.78/189.30 c #Conflicts: 133000 | #Constraints: 9272 188.78/189.30 c #Conflicts: 134000 | #Constraints: 10275 188.78/189.30 c #Conflicts: 135000 | #Constraints: 11278 188.78/189.30 c #Conflicts: 136000 | #Constraints: 12280 188.78/189.30 c #Conflicts: 137000 | #Constraints: 13283 188.78/189.30 c #Conflicts: 138000 | #Constraints: 14288 188.78/189.30 c #Conflicts: 139000 | #Constraints: 15293 188.78/189.30 c INPROCESSING 188.78/189.30 c GARBAGE COLLECT 188.78/189.30 c rational objective 7 204.14/204.72 c #Conflicts: 140000 | #Constraints: 8870 204.14/204.72 c #Conflicts: 141000 | #Constraints: 9874 204.14/204.72 c #Conflicts: 142000 | #Constraints: 10877 204.14/204.72 c #Conflicts: 143000 | #Constraints: 11881 204.14/204.72 c #Conflicts: 144000 | #Constraints: 12887 204.14/204.72 c #Conflicts: 145000 | #Constraints: 13891 204.14/204.72 c #Conflicts: 146000 | #Constraints: 14893 204.14/204.72 c #Conflicts: 147000 | #Constraints: 15894 204.14/204.72 c INPROCESSING 204.14/204.72 c GARBAGE COLLECT 204.14/204.72 c rational objective 7 214.52/215.16 c #Conflicts: 148000 | #Constraints: 9282 214.52/215.16 c #Conflicts: 149000 | #Constraints: 10283 214.52/215.16 c #Conflicts: 150000 | #Constraints: 11286 214.52/215.16 c #Conflicts: 151000 | #Constraints: 12288 214.52/215.16 c #Conflicts: 152000 | #Constraints: 13289 214.52/215.16 c #Conflicts: 153000 | #Constraints: 14292 214.52/215.16 c #Conflicts: 154000 | #Constraints: 15300 214.52/215.16 c #Conflicts: 155000 | #Constraints: 16304 214.52/215.16 c INPROCESSING 214.52/215.16 c GARBAGE COLLECT 214.52/215.16 c rational objective 7 223.59/224.25 c #Conflicts: 156000 | #Constraints: 9479 223.59/224.25 c #Conflicts: 157000 | #Constraints: 10481 223.59/224.25 c #Conflicts: 158000 | #Constraints: 11485 223.59/224.25 c #Conflicts: 159000 | #Constraints: 12487 223.59/224.25 c #Conflicts: 160000 | #Constraints: 13489 223.59/224.25 c #Conflicts: 161000 | #Constraints: 14491 223.59/224.25 c #Conflicts: 162000 | #Constraints: 15495 223.59/224.25 c #Conflicts: 163000 | #Constraints: 16496 223.59/224.25 c INPROCESSING 223.59/224.25 c GARBAGE COLLECT 223.59/224.25 c rational objective 7 240.45/241.13 c #Conflicts: 164000 | #Constraints: 9474 240.45/241.13 c #Conflicts: 165000 | #Constraints: 10477 240.45/241.13 c #Conflicts: 166000 | #Constraints: 11480 240.45/241.13 c #Conflicts: 167000 | #Constraints: 12486 240.45/241.13 c #Conflicts: 168000 | #Constraints: 13488 240.45/241.13 c #Conflicts: 169000 | #Constraints: 14489 240.45/241.13 c #Conflicts: 170000 | #Constraints: 15491 240.45/241.13 c #Conflicts: 171000 | #Constraints: 16492 240.45/241.13 c INPROCESSING 240.45/241.13 c GARBAGE COLLECT 240.45/241.13 c rational objective 7 252.92/253.60 c #Conflicts: 172000 | #Constraints: 9275 252.92/253.60 c #Conflicts: 173000 | #Constraints: 10278 252.92/253.60 c #Conflicts: 174000 | #Constraints: 11282 252.92/253.60 c #Conflicts: 175000 | #Constraints: 12284 252.92/253.60 c #Conflicts: 176000 | #Constraints: 13286 252.92/253.60 c #Conflicts: 177000 | #Constraints: 14289 252.92/253.60 c #Conflicts: 178000 | #Constraints: 15293 252.92/253.60 c #Conflicts: 179000 | #Constraints: 16296 252.92/253.60 c #Conflicts: 180000 | #Constraints: 17296 252.92/253.60 c INPROCESSING 252.92/253.60 c GARBAGE COLLECT 252.92/253.60 c rational objective 7 266.88/267.65 c #Conflicts: 181000 | #Constraints: 9867 266.88/267.65 c #Conflicts: 182000 | #Constraints: 10873 266.88/267.65 c #Conflicts: 183000 | #Constraints: 11877 266.88/267.65 c #Conflicts: 184000 | #Constraints: 12881 266.88/267.65 c #Conflicts: 185000 | #Constraints: 13884 266.88/267.65 c #Conflicts: 186000 | #Constraints: 14888 266.88/267.65 c #Conflicts: 187000 | #Constraints: 15890 266.88/267.65 c #Conflicts: 188000 | #Constraints: 16894 266.88/267.65 c #Conflicts: 189000 | #Constraints: 17898 266.88/267.65 c INPROCESSING 266.88/267.65 c GARBAGE COLLECT 266.88/267.65 c rational objective 7 286.33/287.19 c #Conflicts: 190000 | #Constraints: 10269 286.33/287.19 c #Conflicts: 191000 | #Constraints: 11272 286.33/287.19 c #Conflicts: 192000 | #Constraints: 12279 286.33/287.19 c #Conflicts: 193000 | #Constraints: 13281 286.33/287.19 c #Conflicts: 194000 | #Constraints: 14283 286.33/287.19 c #Conflicts: 195000 | #Constraints: 15283 286.33/287.19 c #Conflicts: 196000 | #Constraints: 16283 286.33/287.19 c #Conflicts: 197000 | #Constraints: 17285 286.33/287.19 c #Conflicts: 198000 | #Constraints: 18286 286.33/287.19 c INPROCESSING 286.33/287.19 c GARBAGE COLLECT 286.33/287.19 c rational objective 7 314.64/315.51 c #Conflicts: 199000 | #Constraints: 10486 314.64/315.51 c #Conflicts: 200000 | #Constraints: 11490 314.64/315.51 c #Conflicts: 201000 | #Constraints: 12490 314.64/315.51 c #Conflicts: 202000 | #Constraints: 13492 314.64/315.51 c #Conflicts: 203000 | #Constraints: 14496 314.64/315.51 c #Conflicts: 204000 | #Constraints: 15497 314.64/315.51 c #Conflicts: 205000 | #Constraints: 16500 314.64/315.51 c #Conflicts: 206000 | #Constraints: 17503 314.64/315.51 c #Conflicts: 207000 | #Constraints: 18504 314.64/315.51 c INPROCESSING 314.64/315.51 c GARBAGE COLLECT 314.64/315.51 c rational objective 7 337.48/338.46 c #Conflicts: 208000 | #Constraints: 10476 337.48/338.46 c #Conflicts: 209000 | #Constraints: 11476 337.48/338.46 c #Conflicts: 210000 | #Constraints: 12477 337.48/338.46 c #Conflicts: 211000 | #Constraints: 13479 337.48/338.46 c #Conflicts: 212000 | #Constraints: 14480 337.48/338.46 c #Conflicts: 213000 | #Constraints: 15482 337.48/338.46 c #Conflicts: 214000 | #Constraints: 16483 337.48/338.46 c #Conflicts: 215000 | #Constraints: 17484 337.48/338.46 c #Conflicts: 216000 | #Constraints: 18485 337.48/338.46 c INPROCESSING 337.48/338.46 c GARBAGE COLLECT 337.48/338.46 c rational objective 7 367.59/368.63 c #Conflicts: 217000 | #Constraints: 10269 367.59/368.63 c #Conflicts: 218000 | #Constraints: 11273 367.59/368.63 c #Conflicts: 219000 | #Constraints: 12278 367.59/368.63 c #Conflicts: 220000 | #Constraints: 13282 367.59/368.63 c #Conflicts: 221000 | #Constraints: 14287 367.59/368.63 c #Conflicts: 222000 | #Constraints: 15291 367.59/368.63 c #Conflicts: 223000 | #Constraints: 16292 367.59/368.63 c #Conflicts: 224000 | #Constraints: 17296 367.59/368.63 c #Conflicts: 225000 | #Constraints: 18297 367.59/368.63 c #Conflicts: 226000 | #Constraints: 19298 367.59/368.63 c INPROCESSING 367.59/368.63 c GARBAGE COLLECT 367.59/368.63 c rational objective 7 395.62/396.71 c #Conflicts: 227000 | #Constraints: 10870 395.62/396.71 c #Conflicts: 228000 | #Constraints: 11873 395.62/396.71 c #Conflicts: 229000 | #Constraints: 12874 395.62/396.71 c #Conflicts: 230000 | #Constraints: 13875 395.62/396.71 c #Conflicts: 231000 | #Constraints: 14879 395.62/396.71 c #Conflicts: 232000 | #Constraints: 15880 395.62/396.71 c #Conflicts: 233000 | #Constraints: 16881 395.62/396.71 c #Conflicts: 234000 | #Constraints: 17886 395.62/396.71 c #Conflicts: 235000 | #Constraints: 18887 395.62/396.71 c #Conflicts: 236000 | #Constraints: 19889 395.62/396.71 c INPROCESSING 395.62/396.71 c GARBAGE COLLECT 395.62/396.71 c rational objective 7 414.36/415.57 c #Conflicts: 237000 | #Constraints: 11258 414.36/415.57 c #Conflicts: 238000 | #Constraints: 12261 414.36/415.57 c #Conflicts: 239000 | #Constraints: 13264 414.36/415.57 c #Conflicts: 240000 | #Constraints: 14269 414.36/415.57 c #Conflicts: 241000 | #Constraints: 15273 414.36/415.57 c #Conflicts: 242000 | #Constraints: 16275 414.36/415.57 c #Conflicts: 243000 | #Constraints: 17277 414.36/415.57 c #Conflicts: 244000 | #Constraints: 18278 414.36/415.57 c #Conflicts: 245000 | #Constraints: 19282 414.36/415.57 c #Conflicts: 246000 | #Constraints: 20284 414.36/415.57 c INPROCESSING 414.36/415.57 c GARBAGE COLLECT 414.36/415.57 c rational objective 7 436.91/438.18 c #Conflicts: 247000 | #Constraints: 11471 436.91/438.18 c #Conflicts: 248000 | #Constraints: 12478 436.91/438.18 c #Conflicts: 249000 | #Constraints: 13481 436.91/438.18 c #Conflicts: 250000 | #Constraints: 14484 436.91/438.18 c #Conflicts: 251000 | #Constraints: 15487 436.91/438.18 c #Conflicts: 252000 | #Constraints: 16488 436.91/438.18 c #Conflicts: 253000 | #Constraints: 17495 436.91/438.18 c #Conflicts: 254000 | #Constraints: 18498 436.91/438.18 c #Conflicts: 255000 | #Constraints: 19503 436.91/438.18 c #Conflicts: 256000 | #Constraints: 20507 436.91/438.18 c INPROCESSING 436.91/438.18 c GARBAGE COLLECT 436.91/438.18 c rational objective 7 456.75/458.10 c #Conflicts: 257000 | #Constraints: 11477 456.75/458.10 c #Conflicts: 258000 | #Constraints: 12482 456.75/458.10 c #Conflicts: 259000 | #Constraints: 13484 456.75/458.10 c #Conflicts: 260000 | #Constraints: 14489 456.75/458.10 c #Conflicts: 261000 | #Constraints: 15492 456.75/458.10 c #Conflicts: 262000 | #Constraints: 16496 456.75/458.10 c #Conflicts: 263000 | #Constraints: 17502 456.75/458.10 c #Conflicts: 264000 | #Constraints: 18505 456.75/458.10 c #Conflicts: 265000 | #Constraints: 19508 456.75/458.10 c #Conflicts: 266000 | #Constraints: 20511 456.75/458.10 c INPROCESSING 456.75/458.10 c GARBAGE COLLECT 456.75/458.10 c rational objective 7 479.58/480.99 c #Conflicts: 267000 | #Constraints: 11286 479.58/480.99 c #Conflicts: 268000 | #Constraints: 12286 479.58/480.99 c #Conflicts: 269000 | #Constraints: 13293 479.58/480.99 c #Conflicts: 270000 | #Constraints: 14299 479.58/480.99 c #Conflicts: 271000 | #Constraints: 15304 479.58/480.99 c #Conflicts: 272000 | #Constraints: 16306 479.58/480.99 c #Conflicts: 273000 | #Constraints: 17306 479.58/480.99 c #Conflicts: 274000 | #Constraints: 18307 479.58/480.99 c #Conflicts: 275000 | #Constraints: 19308 479.58/480.99 c #Conflicts: 276000 | #Constraints: 20311 479.58/480.99 c #Conflicts: 277000 | #Constraints: 21313 479.58/480.99 c INPROCESSING 479.58/480.99 c GARBAGE COLLECT 479.58/480.99 c rational objective 7 502.62/504.10 c #Conflicts: 278000 | #Constraints: 11887 502.62/504.10 c #Conflicts: 279000 | #Constraints: 12889 502.62/504.10 c #Conflicts: 280000 | #Constraints: 13893 502.62/504.10 c #Conflicts: 281000 | #Constraints: 14895 502.62/504.10 c #Conflicts: 282000 | #Constraints: 15899 502.62/504.10 c #Conflicts: 283000 | #Constraints: 16902 502.62/504.10 c #Conflicts: 284000 | #Constraints: 17904 502.62/504.10 c #Conflicts: 285000 | #Constraints: 18908 502.62/504.10 c #Conflicts: 286000 | #Constraints: 19912 502.62/504.10 c #Conflicts: 287000 | #Constraints: 20915 502.62/504.10 c #Conflicts: 288000 | #Constraints: 21918 502.62/504.10 c INPROCESSING 502.62/504.10 c GARBAGE COLLECT 502.62/504.10 c rational objective 7 522.96/524.46 c #Conflicts: 289000 | #Constraints: 12279 522.96/524.46 c #Conflicts: 290000 | #Constraints: 13282 522.96/524.46 c #Conflicts: 291000 | #Constraints: 14286 522.96/524.46 c #Conflicts: 292000 | #Constraints: 15293 522.96/524.46 c #Conflicts: 293000 | #Constraints: 16300 522.96/524.46 c #Conflicts: 294000 | #Constraints: 17304 522.96/524.46 c #Conflicts: 295000 | #Constraints: 18310 522.96/524.46 c #Conflicts: 296000 | #Constraints: 19313 522.96/524.46 c #Conflicts: 297000 | #Constraints: 20316 522.96/524.46 c #Conflicts: 298000 | #Constraints: 21317 522.96/524.46 c #Conflicts: 299000 | #Constraints: 22320 522.96/524.46 c INPROCESSING 522.96/524.46 c GARBAGE COLLECT 522.96/524.46 c rational objective 7 540.21/541.73 c #Conflicts: 300000 | #Constraints: 12478 540.21/541.73 c #Conflicts: 301000 | #Constraints: 13482 540.21/541.73 c #Conflicts: 302000 | #Constraints: 14489 540.21/541.73 c #Conflicts: 303000 | #Constraints: 15493 540.21/541.73 c #Conflicts: 304000 | #Constraints: 16496 540.21/541.73 c #Conflicts: 305000 | #Constraints: 17500 540.21/541.73 c #Conflicts: 306000 | #Constraints: 18506 540.21/541.73 c #Conflicts: 307000 | #Constraints: 19508 540.21/541.73 c #Conflicts: 308000 | #Constraints: 20513 540.21/541.73 c #Conflicts: 309000 | #Constraints: 21518 540.21/541.73 c #Conflicts: 310000 | #Constraints: 22520 540.21/541.73 c INPROCESSING 540.21/541.73 c GARBAGE COLLECT 540.21/541.73 c rational objective 7 579.68/581.32 c #Conflicts: 311000 | #Constraints: 12479 579.68/581.32 c #Conflicts: 312000 | #Constraints: 13482 579.68/581.32 c #Conflicts: 313000 | #Constraints: 14487 579.68/581.32 c #Conflicts: 314000 | #Constraints: 15495 579.68/581.32 c #Conflicts: 315000 | #Constraints: 16499 579.68/581.32 c #Conflicts: 316000 | #Constraints: 17501 579.68/581.32 c #Conflicts: 317000 | #Constraints: 18501 579.68/581.32 c #Conflicts: 318000 | #Constraints: 19506 579.68/581.32 c #Conflicts: 319000 | #Constraints: 20510 579.68/581.32 c #Conflicts: 320000 | #Constraints: 21512 579.68/581.32 c #Conflicts: 321000 | #Constraints: 22513 579.68/581.32 c INPROCESSING 579.68/581.32 c GARBAGE COLLECT 579.68/581.32 c rational objective 7 595.44/597.16 c #Conflicts: 322000 | #Constraints: 12288 595.44/597.16 c #Conflicts: 323000 | #Constraints: 13291 595.44/597.16 c #Conflicts: 324000 | #Constraints: 14292 595.44/597.16 c #Conflicts: 325000 | #Constraints: 15294 595.44/597.16 c #Conflicts: 326000 | #Constraints: 16296 595.44/597.16 c #Conflicts: 327000 | #Constraints: 17298 595.44/597.16 c #Conflicts: 328000 | #Constraints: 18303 595.44/597.16 c #Conflicts: 329000 | #Constraints: 19311 595.44/597.16 c #Conflicts: 330000 | #Constraints: 20315 595.44/597.16 c #Conflicts: 331000 | #Constraints: 21317 595.44/597.16 c #Conflicts: 332000 | #Constraints: 22319 595.44/597.16 c #Conflicts: 333000 | #Constraints: 23322 595.44/597.16 c INPROCESSING 595.44/597.16 c GARBAGE COLLECT 595.44/597.16 c rational objective 7 620.85/622.65 c #Conflicts: 334000 | #Constraints: 12886 620.85/622.65 c #Conflicts: 335000 | #Constraints: 13889 620.85/622.65 c #Conflicts: 336000 | #Constraints: 14891 620.85/622.65 c #Conflicts: 337000 | #Constraints: 15893 620.85/622.65 c #Conflicts: 338000 | #Constraints: 16897 620.85/622.65 c #Conflicts: 339000 | #Constraints: 17900 620.85/622.65 c #Conflicts: 340000 | #Constraints: 18903 620.85/622.65 c #Conflicts: 341000 | #Constraints: 19904 620.85/622.65 c #Conflicts: 342000 | #Constraints: 20908 620.85/622.65 c #Conflicts: 343000 | #Constraints: 21913 620.85/622.65 c #Conflicts: 344000 | #Constraints: 22917 620.85/622.65 c #Conflicts: 345000 | #Constraints: 23921 620.85/622.65 c INPROCESSING 620.85/622.65 c GARBAGE COLLECT 620.85/622.65 c rational objective 7 647.06/648.95 c #Conflicts: 346000 | #Constraints: 13289 647.06/648.95 c #Conflicts: 347000 | #Constraints: 14291 647.06/648.95 c #Conflicts: 348000 | #Constraints: 15295 647.06/648.95 c #Conflicts: 349000 | #Constraints: 16299 647.06/648.95 c #Conflicts: 350000 | #Constraints: 17301 647.06/648.95 c #Conflicts: 351000 | #Constraints: 18303 647.06/648.95 c #Conflicts: 352000 | #Constraints: 19305 647.06/648.95 c #Conflicts: 353000 | #Constraints: 20311 647.06/648.95 c #Conflicts: 354000 | #Constraints: 21312 647.06/648.95 c #Conflicts: 355000 | #Constraints: 22316 647.06/648.95 c #Conflicts: 356000 | #Constraints: 23321 647.06/648.95 c #Conflicts: 357000 | #Constraints: 24329 647.06/648.95 c INPROCESSING 647.06/648.95 c GARBAGE COLLECT 647.06/648.95 c rational objective 7 678.77/680.70 c #Conflicts: 358000 | #Constraints: 13487 678.77/680.70 c #Conflicts: 359000 | #Constraints: 14488 678.77/680.70 c #Conflicts: 360000 | #Constraints: 15491 678.77/680.70 c #Conflicts: 361000 | #Constraints: 16495 678.77/680.70 c #Conflicts: 362000 | #Constraints: 17496 678.77/680.70 c #Conflicts: 363000 | #Constraints: 18497 678.77/680.70 c #Conflicts: 364000 | #Constraints: 19500 678.77/680.70 c #Conflicts: 365000 | #Constraints: 20505 678.77/680.70 c #Conflicts: 366000 | #Constraints: 21508 678.77/680.70 c #Conflicts: 367000 | #Constraints: 22514 678.77/680.70 c #Conflicts: 368000 | #Constraints: 23518 678.77/680.70 c #Conflicts: 369000 | #Constraints: 24522 678.77/680.70 c INPROCESSING 678.77/680.70 c GARBAGE COLLECT 678.77/680.70 c rational objective 7 700.89/702.99 c #Conflicts: 370000 | #Constraints: 13505 700.89/702.99 c #Conflicts: 371000 | #Constraints: 14509 700.89/702.99 c #Conflicts: 372000 | #Constraints: 15513 700.89/702.99 c #Conflicts: 373000 | #Constraints: 16515 700.89/702.99 c #Conflicts: 374000 | #Constraints: 17521 700.89/702.99 c #Conflicts: 375000 | #Constraints: 18527 700.89/702.99 c #Conflicts: 376000 | #Constraints: 19532 700.89/702.99 c #Conflicts: 377000 | #Constraints: 20532 700.89/702.99 c #Conflicts: 378000 | #Constraints: 21535 700.89/702.99 c #Conflicts: 379000 | #Constraints: 22536 700.89/702.99 c #Conflicts: 380000 | #Constraints: 23538 700.89/702.99 c #Conflicts: 381000 | #Constraints: 24541 700.89/702.99 c INPROCESSING 700.89/702.99 c GARBAGE COLLECT 700.89/702.99 c rational objective 7 725.42/727.59 c #Conflicts: 382000 | #Constraints: 13282 725.42/727.59 c #Conflicts: 383000 | #Constraints: 14285 725.42/727.59 c #Conflicts: 384000 | #Constraints: 15287 725.42/727.59 c #Conflicts: 385000 | #Constraints: 16288 725.42/727.59 c #Conflicts: 386000 | #Constraints: 17294 725.42/727.59 c #Conflicts: 387000 | #Constraints: 18298 725.42/727.59 c #Conflicts: 388000 | #Constraints: 19301 725.42/727.59 c #Conflicts: 389000 | #Constraints: 20303 725.42/727.59 c #Conflicts: 390000 | #Constraints: 21307 725.42/727.59 c #Conflicts: 391000 | #Constraints: 22310 725.42/727.59 c #Conflicts: 392000 | #Constraints: 23312 725.42/727.59 c #Conflicts: 393000 | #Constraints: 24319 725.42/727.59 c #Conflicts: 394000 | #Constraints: 25322 725.42/727.59 c INPROCESSING 725.42/727.59 c GARBAGE COLLECT 725.42/727.59 c rational objective 7 753.24/755.41 c #Conflicts: 395000 | #Constraints: 13890 753.24/755.41 c #Conflicts: 396000 | #Constraints: 14895 753.24/755.41 c #Conflicts: 397000 | #Constraints: 15898 753.24/755.41 c #Conflicts: 398000 | #Constraints: 16900 753.24/755.41 c #Conflicts: 399000 | #Constraints: 17901 753.24/755.41 c #Conflicts: 400000 | #Constraints: 18902 753.24/755.41 c #Conflicts: 401000 | #Constraints: 19906 753.24/755.41 c #Conflicts: 402000 | #Constraints: 20908 753.24/755.41 c #Conflicts: 403000 | #Constraints: 21908 753.24/755.41 c #Conflicts: 404000 | #Constraints: 22910 753.24/755.41 c #Conflicts: 405000 | #Constraints: 23916 753.24/755.41 c #Conflicts: 406000 | #Constraints: 24918 753.24/755.41 c #Conflicts: 407000 | #Constraints: 25919 753.24/755.41 c INPROCESSING 753.24/755.41 c GARBAGE COLLECT 753.24/755.41 c rational objective 7 781.36/783.65 c #Conflicts: 408000 | #Constraints: 14281 781.36/783.65 c #Conflicts: 409000 | #Constraints: 15284 781.36/783.65 c #Conflicts: 410000 | #Constraints: 16285 781.36/783.65 c #Conflicts: 411000 | #Constraints: 17292 781.36/783.65 c #Conflicts: 412000 | #Constraints: 18299 781.36/783.65 c #Conflicts: 413000 | #Constraints: 19303 781.36/783.65 c #Conflicts: 414000 | #Constraints: 20316 781.36/783.65 c #Conflicts: 415000 | #Constraints: 21323 781.36/783.65 c #Conflicts: 416000 | #Constraints: 22327 781.36/783.65 c #Conflicts: 417000 | #Constraints: 23331 781.36/783.65 c #Conflicts: 418000 | #Constraints: 24335 781.36/783.65 c #Conflicts: 419000 | #Constraints: 25338 781.36/783.65 c #Conflicts: 420000 | #Constraints: 26341 781.36/783.65 c INPROCESSING 781.36/783.65 c GARBAGE COLLECT 781.36/783.65 c rational objective 7 832.52/834.92 c #Conflicts: 421000 | #Constraints: 14507 832.52/834.92 c #Conflicts: 422000 | #Constraints: 15508 832.52/834.92 c #Conflicts: 423000 | #Constraints: 16509 832.52/834.92 c #Conflicts: 424000 | #Constraints: 17511 832.52/834.92 c #Conflicts: 425000 | #Constraints: 18513 832.52/834.92 c #Conflicts: 426000 | #Constraints: 19515 832.52/834.92 c #Conflicts: 427000 | #Constraints: 20515 832.52/834.92 c #Conflicts: 428000 | #Constraints: 21515 832.52/834.92 c #Conflicts: 429000 | #Constraints: 22515 832.52/834.92 c #Conflicts: 430000 | #Constraints: 23515 832.52/834.92 c #Conflicts: 431000 | #Constraints: 24515 832.52/834.92 c #Conflicts: 432000 | #Constraints: 25516 832.52/834.92 c #Conflicts: 433000 | #Constraints: 26517 832.52/834.92 c INPROCESSING 832.52/834.92 c GARBAGE COLLECT 832.52/834.92 c rational objective 7 859.34/861.82 c #Conflicts: 434000 | #Constraints: 14488 859.34/861.82 c #Conflicts: 435000 | #Constraints: 15496 859.34/861.82 c #Conflicts: 436000 | #Constraints: 16501 859.34/861.82 c #Conflicts: 437000 | #Constraints: 17503 859.34/861.82 c #Conflicts: 438000 | #Constraints: 18509 859.34/861.82 c #Conflicts: 439000 | #Constraints: 19512 859.34/861.82 c #Conflicts: 440000 | #Constraints: 20513 859.34/861.82 c #Conflicts: 441000 | #Constraints: 21516 859.34/861.82 c #Conflicts: 442000 | #Constraints: 22521 859.34/861.82 c #Conflicts: 443000 | #Constraints: 23523 859.34/861.82 c #Conflicts: 444000 | #Constraints: 24527 859.34/861.82 c #Conflicts: 445000 | #Constraints: 25533 859.34/861.82 c #Conflicts: 446000 | #Constraints: 26537 859.34/861.82 c INPROCESSING 859.34/861.82 c GARBAGE COLLECT 859.34/861.82 c rational objective 7 923.25/925.93 c #Conflicts: 447000 | #Constraints: 14315 923.25/925.93 c #Conflicts: 448000 | #Constraints: 15323 923.25/925.93 c #Conflicts: 449000 | #Constraints: 16327 923.25/925.93 c #Conflicts: 450000 | #Constraints: 17329 923.25/925.93 c #Conflicts: 451000 | #Constraints: 18332 923.25/925.93 c #Conflicts: 452000 | #Constraints: 19335 923.25/925.93 c #Conflicts: 453000 | #Constraints: 20339 923.25/925.93 c #Conflicts: 454000 | #Constraints: 21344 923.25/925.93 c #Conflicts: 455000 | #Constraints: 22348 923.25/925.93 c #Conflicts: 456000 | #Constraints: 23350 923.25/925.93 c #Conflicts: 457000 | #Constraints: 24353 923.25/925.93 c #Conflicts: 458000 | #Constraints: 25356 923.25/925.93 c #Conflicts: 459000 | #Constraints: 26357 923.25/925.93 c #Conflicts: 460000 | #Constraints: 27361 923.25/925.93 c INPROCESSING 923.25/925.93 c GARBAGE COLLECT 923.25/925.93 c rational objective 7 981.41/984.26 c #Conflicts: 461000 | #Constraints: 14943 981.41/984.26 c #Conflicts: 462000 | #Constraints: 15945 981.41/984.26 c #Conflicts: 463000 | #Constraints: 16947 981.41/984.26 c #Conflicts: 464000 | #Constraints: 17950 981.41/984.26 c #Conflicts: 465000 | #Constraints: 18960 981.41/984.26 c #Conflicts: 466000 | #Constraints: 19964 981.41/984.26 c #Conflicts: 467000 | #Constraints: 20969 981.41/984.26 c #Conflicts: 468000 | #Constraints: 21978 981.41/984.26 c #Conflicts: 469000 | #Constraints: 22985 981.41/984.26 c #Conflicts: 470000 | #Constraints: 23992 981.41/984.26 c #Conflicts: 471000 | #Constraints: 24998 981.41/984.26 c #Conflicts: 472000 | #Constraints: 26004 981.41/984.26 c #Conflicts: 473000 | #Constraints: 27009 981.41/984.26 c #Conflicts: 474000 | #Constraints: 28019 981.41/984.26 c INPROCESSING 981.41/984.26 c GARBAGE COLLECT 981.41/984.26 c rational objective 7 1044.74/1047.73 c #Conflicts: 475000 | #Constraints: 15379 1044.74/1047.73 c #Conflicts: 476000 | #Constraints: 16386 1044.74/1047.73 c #Conflicts: 477000 | #Constraints: 17391 1044.74/1047.73 c #Conflicts: 478000 | #Constraints: 18393 1044.74/1047.73 c #Conflicts: 479000 | #Constraints: 19396 1044.74/1047.73 c #Conflicts: 480000 | #Constraints: 20399 1044.74/1047.73 c #Conflicts: 481000 | #Constraints: 21401 1044.74/1047.73 c #Conflicts: 482000 | #Constraints: 22405 1044.74/1047.73 c #Conflicts: 483000 | #Constraints: 23407 1044.74/1047.73 c #Conflicts: 484000 | #Constraints: 24410 1044.74/1047.73 c #Conflicts: 485000 | #Constraints: 25414 1044.74/1047.73 c #Conflicts: 486000 | #Constraints: 26415 1044.74/1047.73 c #Conflicts: 487000 | #Constraints: 27417 1044.74/1047.73 c #Conflicts: 488000 | #Constraints: 28422 1044.74/1047.73 c INPROCESSING 1044.74/1047.73 c GARBAGE COLLECT 1044.74/1047.73 c rational objective 7 1134.79/1138.02 c #Conflicts: 489000 | #Constraints: 15575 1134.79/1138.02 c #Conflicts: 490000 | #Constraints: 16578 1134.79/1138.02 c #Conflicts: 491000 | #Constraints: 17579 1134.79/1138.02 c #Conflicts: 492000 | #Constraints: 18581 1134.79/1138.02 c #Conflicts: 493000 | #Constraints: 19583 1134.79/1138.02 c #Conflicts: 494000 | #Constraints: 20583 1134.79/1138.02 c #Conflicts: 495000 | #Constraints: 21584 1134.79/1138.02 c #Conflicts: 496000 | #Constraints: 22585 1134.79/1138.02 c #Conflicts: 497000 | #Constraints: 23587 1134.79/1138.02 c #Conflicts: 498000 | #Constraints: 24588 1134.79/1138.02 c #Conflicts: 499000 | #Constraints: 25592 1134.79/1138.02 c #Conflicts: 500000 | #Constraints: 26594 1134.79/1138.02 c #Conflicts: 501000 | #Constraints: 27596 1134.79/1138.02 c #Conflicts: 502000 | #Constraints: 28597 1134.79/1138.02 c INPROCESSING 1134.79/1138.02 c GARBAGE COLLECT 1134.79/1138.02 c rational objective 7 1203.37/1206.81 c #Conflicts: 503000 | #Constraints: 15575 1203.37/1206.81 c #Conflicts: 504000 | #Constraints: 16576 1203.37/1206.81 c #Conflicts: 505000 | #Constraints: 17581 1203.37/1206.81 c #Conflicts: 506000 | #Constraints: 18585 1203.37/1206.81 c #Conflicts: 507000 | #Constraints: 19590 1203.37/1206.81 c #Conflicts: 508000 | #Constraints: 20595 1203.37/1206.81 c #Conflicts: 509000 | #Constraints: 21600 1203.37/1206.81 c #Conflicts: 510000 | #Constraints: 22602 1203.37/1206.81 c #Conflicts: 511000 | #Constraints: 23602 1203.37/1206.81 c #Conflicts: 512000 | #Constraints: 24606 1203.37/1206.81 c #Conflicts: 513000 | #Constraints: 25610 1203.37/1206.81 c #Conflicts: 514000 | #Constraints: 26613 1203.37/1206.81 c #Conflicts: 515000 | #Constraints: 27617 1203.37/1206.81 c #Conflicts: 516000 | #Constraints: 28621 1203.37/1206.81 c INPROCESSING 1203.37/1206.81 c GARBAGE COLLECT 1203.37/1206.81 c rational objective 7 1246.35/1249.94 c #Conflicts: 517000 | #Constraints: 15326 1246.35/1249.94 c #Conflicts: 518000 | #Constraints: 16328 1246.35/1249.94 c #Conflicts: 519000 | #Constraints: 17332 1246.35/1249.94 c #Conflicts: 520000 | #Constraints: 18335 1246.35/1249.94 c #Conflicts: 521000 | #Constraints: 19338 1246.35/1249.94 c #Conflicts: 522000 | #Constraints: 20340 1246.35/1249.94 c #Conflicts: 523000 | #Constraints: 21344 1246.35/1249.94 c #Conflicts: 524000 | #Constraints: 22350 1246.35/1249.94 c #Conflicts: 525000 | #Constraints: 23351 1246.35/1249.94 c #Conflicts: 526000 | #Constraints: 24355 1246.35/1249.94 c #Conflicts: 527000 | #Constraints: 25366 1246.35/1249.94 c #Conflicts: 528000 | #Constraints: 26373 1246.35/1249.94 c #Conflicts: 529000 | #Constraints: 27375 1246.35/1249.94 c #Conflicts: 530000 | #Constraints: 28378 1246.35/1249.94 c #Conflicts: 531000 | #Constraints: 29380 1246.35/1249.94 c INPROCESSING 1246.35/1249.94 c GARBAGE COLLECT 1246.35/1249.94 c rational objective 7 1282.87/1286.55 c #Conflicts: 532000 | #Constraints: 15928 1282.87/1286.55 c #Conflicts: 533000 | #Constraints: 16931 1282.87/1286.55 c #Conflicts: 534000 | #Constraints: 17933 1282.87/1286.55 c #Conflicts: 535000 | #Constraints: 18938 1282.87/1286.55 c #Conflicts: 536000 | #Constraints: 19942 1282.87/1286.55 c #Conflicts: 537000 | #Constraints: 20945 1282.87/1286.55 c #Conflicts: 538000 | #Constraints: 21948 1282.87/1286.55 c #Conflicts: 539000 | #Constraints: 22953 1282.87/1286.55 c #Conflicts: 540000 | #Constraints: 23957 1282.87/1286.55 c #Conflicts: 541000 | #Constraints: 24961 1282.87/1286.55 c #Conflicts: 542000 | #Constraints: 25962 1282.87/1286.55 c #Conflicts: 543000 | #Constraints: 26966 1282.87/1286.55 c #Conflicts: 544000 | #Constraints: 27967 1282.87/1286.55 c #Conflicts: 545000 | #Constraints: 28968 1282.87/1286.55 c #Conflicts: 546000 | #Constraints: 29971 1282.87/1286.55 c INPROCESSING 1282.87/1286.55 c GARBAGE COLLECT 1282.87/1286.55 c rational objective 7 1312.00/1315.70 c #Conflicts: 547000 | #Constraints: 16312 1312.00/1315.70 c #Conflicts: 548000 | #Constraints: 17320 1312.00/1315.70 c #Conflicts: 549000 | #Constraints: 18322 1312.00/1315.70 c #Conflicts: 550000 | #Constraints: 19326 1312.00/1315.70 c #Conflicts: 551000 | #Constraints: 20328 1312.00/1315.70 c #Conflicts: 552000 | #Constraints: 21330 1312.00/1315.70 c #Conflicts: 553000 | #Constraints: 22331 1312.00/1315.70 c #Conflicts: 554000 | #Constraints: 23335 1312.00/1315.70 c #Conflicts: 555000 | #Constraints: 24344 1312.00/1315.70 c #Conflicts: 556000 | #Constraints: 25345 1312.00/1315.70 c #Conflicts: 557000 | #Constraints: 26346 1312.00/1315.70 c #Conflicts: 558000 | #Constraints: 27348 1312.00/1315.70 c #Conflicts: 559000 | #Constraints: 28350 1312.00/1315.70 c #Conflicts: 560000 | #Constraints: 29352 1312.00/1315.70 c #Conflicts: 561000 | #Constraints: 30358 1312.00/1315.70 c INPROCESSING 1312.00/1315.70 c GARBAGE COLLECT 1312.00/1315.70 c rational objective 7 1346.60/1350.44 c #Conflicts: 562000 | #Constraints: 16504 1346.60/1350.44 c #Conflicts: 563000 | #Constraints: 17507 1346.60/1350.44 c #Conflicts: 564000 | #Constraints: 18511 1346.60/1350.44 c #Conflicts: 565000 | #Constraints: 19516 1346.60/1350.44 c #Conflicts: 566000 | #Constraints: 20518 1346.60/1350.44 c #Conflicts: 567000 | #Constraints: 21522 1346.60/1350.44 c #Conflicts: 568000 | #Constraints: 22523 1346.60/1350.44 c #Conflicts: 569000 | #Constraints: 23526 1346.60/1350.44 c #Conflicts: 570000 | #Constraints: 24527 1346.60/1350.44 c #Conflicts: 571000 | #Constraints: 25529 1346.60/1350.44 c #Conflicts: 572000 | #Constraints: 26532 1346.60/1350.44 c #Conflicts: 573000 | #Constraints: 27535 1346.60/1350.44 c #Conflicts: 574000 | #Constraints: 28544 1346.60/1350.44 c #Conflicts: 575000 | #Constraints: 29547 1346.60/1350.44 c #Conflicts: 576000 | #Constraints: 30548 1346.60/1350.44 c INPROCESSING 1346.60/1350.44 c GARBAGE COLLECT 1346.60/1350.44 c rational objective 7 1378.13/1382.09 c #Conflicts: 577000 | #Constraints: 16502 1378.13/1382.09 c #Conflicts: 578000 | #Constraints: 17502 1378.13/1382.09 c #Conflicts: 579000 | #Constraints: 18504 1378.13/1382.09 c #Conflicts: 580000 | #Constraints: 19505 1378.13/1382.09 c #Conflicts: 581000 | #Constraints: 20509 1378.13/1382.09 c #Conflicts: 582000 | #Constraints: 21511 1378.13/1382.09 c #Conflicts: 583000 | #Constraints: 22514 1378.13/1382.09 c #Conflicts: 584000 | #Constraints: 23517 1378.13/1382.09 c #Conflicts: 585000 | #Constraints: 24517 1378.13/1382.09 c #Conflicts: 586000 | #Constraints: 25517 1378.13/1382.09 c #Conflicts: 587000 | #Constraints: 26517 1378.13/1382.09 c #Conflicts: 588000 | #Constraints: 27519 1378.13/1382.09 c #Conflicts: 589000 | #Constraints: 28523 1378.13/1382.09 c #Conflicts: 590000 | #Constraints: 29530 1378.13/1382.09 c #Conflicts: 591000 | #Constraints: 30533 1378.13/1382.09 c INPROCESSING 1378.13/1382.09 c GARBAGE COLLECT 1378.13/1382.09 c rational objective 7 1452.52/1456.61 c #Conflicts: 592000 | #Constraints: 16303 1452.52/1456.61 c #Conflicts: 593000 | #Constraints: 17306 1452.52/1456.61 c #Conflicts: 594000 | #Constraints: 18309 1452.52/1456.61 c #Conflicts: 595000 | #Constraints: 19313 1452.52/1456.61 c #Conflicts: 596000 | #Constraints: 20315 1452.52/1456.61 c #Conflicts: 597000 | #Constraints: 21317 1452.52/1456.61 c #Conflicts: 598000 | #Constraints: 22319 1452.52/1456.61 c #Conflicts: 599000 | #Constraints: 23320 1452.52/1456.61 c #Conflicts: 600000 | #Constraints: 24323 1452.52/1456.61 c #Conflicts: 601000 | #Constraints: 25327 1452.52/1456.61 c #Conflicts: 602000 | #Constraints: 26329 1452.52/1456.61 c #Conflicts: 603000 | #Constraints: 27331 1452.52/1456.61 c #Conflicts: 604000 | #Constraints: 28333 1452.52/1456.61 c #Conflicts: 605000 | #Constraints: 29335 1452.52/1456.61 c #Conflicts: 606000 | #Constraints: 30341 1452.52/1456.61 c #Conflicts: 607000 | #Constraints: 31346 1452.52/1456.61 c INPROCESSING 1452.52/1456.61 c GARBAGE COLLECT 1452.52/1456.61 c rational objective 7 1503.28/1507.51 c #Conflicts: 608000 | #Constraints: 16928 1503.28/1507.51 c #Conflicts: 609000 | #Constraints: 17933 1503.28/1507.51 c #Conflicts: 610000 | #Constraints: 18936 1503.28/1507.51 c #Conflicts: 611000 | #Constraints: 19938 1503.28/1507.51 c #Conflicts: 612000 | #Constraints: 20940 1503.28/1507.51 c #Conflicts: 613000 | #Constraints: 21943 1503.28/1507.51 c #Conflicts: 614000 | #Constraints: 22945 1503.28/1507.51 c #Conflicts: 615000 | #Constraints: 23950 1503.28/1507.51 c #Conflicts: 616000 | #Constraints: 24953 1503.28/1507.51 c #Conflicts: 617000 | #Constraints: 25957 1503.28/1507.51 c #Conflicts: 618000 | #Constraints: 26960 1503.28/1507.51 c #Conflicts: 619000 | #Constraints: 27965 1503.28/1507.51 c #Conflicts: 620000 | #Constraints: 28971 1503.28/1507.51 c #Conflicts: 621000 | #Constraints: 29975 1503.28/1507.51 c #Conflicts: 622000 | #Constraints: 30976 1503.28/1507.51 c #Conflicts: 623000 | #Constraints: 31979 1503.28/1507.51 c INPROCESSING 1503.28/1507.51 c GARBAGE COLLECT 1503.28/1507.51 c rational objective 7 1539.68/1544.03 c #Conflicts: 624000 | #Constraints: 17316 1539.68/1544.03 c #Conflicts: 625000 | #Constraints: 18318 1539.68/1544.03 c #Conflicts: 626000 | #Constraints: 19323 1539.68/1544.03 c #Conflicts: 627000 | #Constraints: 20325 1539.68/1544.03 c #Conflicts: 628000 | #Constraints: 21327 1539.68/1544.03 c #Conflicts: 629000 | #Constraints: 22330 1539.68/1544.03 c #Conflicts: 630000 | #Constraints: 23330 1539.68/1544.03 c #Conflicts: 631000 | #Constraints: 24333 1539.68/1544.03 c #Conflicts: 632000 | #Constraints: 25335 1539.68/1544.03 c #Conflicts: 633000 | #Constraints: 26341 1539.68/1544.03 c #Conflicts: 634000 | #Constraints: 27346 1539.68/1544.03 c #Conflicts: 635000 | #Constraints: 28348 1539.68/1544.03 c #Conflicts: 636000 | #Constraints: 29352 1539.68/1544.03 c #Conflicts: 637000 | #Constraints: 30352 1539.68/1544.03 c #Conflicts: 638000 | #Constraints: 31355 1539.68/1544.03 c #Conflicts: 639000 | #Constraints: 32359 1539.68/1544.03 c INPROCESSING 1539.68/1544.03 c GARBAGE COLLECT 1539.68/1544.03 c rational objective 7 1593.17/1597.76 c #Conflicts: 640000 | #Constraints: 17496 1593.17/1597.76 c #Conflicts: 641000 | #Constraints: 18498 1593.17/1597.76 c #Conflicts: 642000 | #Constraints: 19504 1593.17/1597.76 c #Conflicts: 643000 | #Constraints: 20508 1593.17/1597.76 c #Conflicts: 644000 | #Constraints: 21510 1593.17/1597.76 c #Conflicts: 645000 | #Constraints: 22511 1593.17/1597.76 c #Conflicts: 646000 | #Constraints: 23512 1593.17/1597.76 c #Conflicts: 647000 | #Constraints: 24516 1593.17/1597.76 c #Conflicts: 648000 | #Constraints: 25519 1593.17/1597.76 c #Conflicts: 649000 | #Constraints: 26522 1593.17/1597.76 c #Conflicts: 650000 | #Constraints: 27523 1593.17/1597.76 c #Conflicts: 651000 | #Constraints: 28524 1593.17/1597.76 c #Conflicts: 652000 | #Constraints: 29530 1593.17/1597.76 c #Conflicts: 653000 | #Constraints: 30531 1593.17/1597.76 c #Conflicts: 654000 | #Constraints: 31533 1593.17/1597.76 c #Conflicts: 655000 | #Constraints: 32537 1593.17/1597.76 c INPROCESSING 1593.17/1597.76 c GARBAGE COLLECT 1593.17/1597.76 c rational objective 7 1627.78/1632.46 c #Conflicts: 656000 | #Constraints: 17498 1627.78/1632.46 c #Conflicts: 657000 | #Constraints: 18498 1627.78/1632.46 c #Conflicts: 658000 | #Constraints: 19498 1627.78/1632.46 c #Conflicts: 659000 | #Constraints: 20499 1627.78/1632.46 c #Conflicts: 660000 | #Constraints: 21501 1627.78/1632.46 c #Conflicts: 661000 | #Constraints: 22503 1627.78/1632.46 c #Conflicts: 662000 | #Constraints: 23504 1627.78/1632.46 c #Conflicts: 663000 | #Constraints: 24506 1627.78/1632.46 c #Conflicts: 664000 | #Constraints: 25508 1627.78/1632.46 c #Conflicts: 665000 | #Constraints: 26509 1627.78/1632.46 c #Conflicts: 666000 | #Constraints: 27512 1627.78/1632.46 c #Conflicts: 667000 | #Constraints: 28514 1627.78/1632.46 c #Conflicts: 668000 | #Constraints: 29515 1627.78/1632.46 c #Conflicts: 669000 | #Constraints: 30518 1627.78/1632.46 c #Conflicts: 670000 | #Constraints: 31522 1627.78/1632.46 c #Conflicts: 671000 | #Constraints: 32524 1627.78/1632.46 c INPROCESSING 1627.78/1632.46 c GARBAGE COLLECT 1627.78/1632.46 c rational objective 7 1676.55/1681.31 c #Conflicts: 672000 | #Constraints: 17288 1676.55/1681.31 c #Conflicts: 673000 | #Constraints: 18293 1676.55/1681.31 c #Conflicts: 674000 | #Constraints: 19298 1676.55/1681.31 c #Conflicts: 675000 | #Constraints: 20303 1676.55/1681.31 c #Conflicts: 676000 | #Constraints: 21308 1676.55/1681.31 c #Conflicts: 677000 | #Constraints: 22309 1676.55/1681.31 c #Conflicts: 678000 | #Constraints: 23310 1676.55/1681.31 c #Conflicts: 679000 | #Constraints: 24314 1676.55/1681.31 c #Conflicts: 680000 | #Constraints: 25315 1676.55/1681.31 c #Conflicts: 681000 | #Constraints: 26319 1676.55/1681.31 c #Conflicts: 682000 | #Constraints: 27321 1676.55/1681.31 c #Conflicts: 683000 | #Constraints: 28324 1676.55/1681.31 c #Conflicts: 684000 | #Constraints: 29325 1676.55/1681.31 c #Conflicts: 685000 | #Constraints: 30325 1676.55/1681.31 c #Conflicts: 686000 | #Constraints: 31328 1676.55/1681.31 c #Conflicts: 687000 | #Constraints: 32332 1676.55/1681.31 c #Conflicts: 688000 | #Constraints: 33334 1676.55/1681.31 c INPROCESSING 1676.55/1681.31 c GARBAGE COLLECT 1676.55/1681.31 c rational objective 7 1746.55/1751.50 c #Conflicts: 689000 | #Constraints: 17889 1746.55/1751.50 c #Conflicts: 690000 | #Constraints: 18893 1746.55/1751.50 c #Conflicts: 691000 | #Constraints: 19894 1746.55/1751.50 c #Conflicts: 692000 | #Constraints: 20901 1746.55/1751.50 c #Conflicts: 693000 | #Constraints: 21906 1746.55/1751.50 c #Conflicts: 694000 | #Constraints: 22910 1746.55/1751.50 c #Conflicts: 695000 | #Constraints: 23913 1746.55/1751.50 c #Conflicts: 696000 | #Constraints: 24914 1746.55/1751.50 c #Conflicts: 697000 | #Constraints: 25917 1746.55/1751.50 c #Conflicts: 698000 | #Constraints: 26918 1746.55/1751.50 c #Conflicts: 699000 | #Constraints: 27920 1746.55/1751.50 c #Conflicts: 700000 | #Constraints: 28924 1746.55/1751.50 c #Conflicts: 701000 | #Constraints: 29927 1746.55/1751.50 c #Conflicts: 702000 | #Constraints: 30928 1746.55/1751.50 c #Conflicts: 703000 | #Constraints: 31931 1746.55/1751.50 c #Conflicts: 704000 | #Constraints: 32932 1746.55/1751.50 c #Conflicts: 705000 | #Constraints: 33937 1746.55/1751.50 c INPROCESSING 1746.55/1751.50 c GARBAGE COLLECT 1746.55/1751.50 c rational objective 7 1820.15/1825.34 c #Conflicts: 706000 | #Constraints: 18300 1820.15/1825.34 c #Conflicts: 707000 | #Constraints: 19301 1820.15/1825.34 c #Conflicts: 708000 | #Constraints: 20304 1820.15/1825.34 c #Conflicts: 709000 | #Constraints: 21306 1820.15/1825.34 c #Conflicts: 710000 | #Constraints: 22308 1820.15/1825.34 c #Conflicts: 711000 | #Constraints: 23310 1820.15/1825.34 c #Conflicts: 712000 | #Constraints: 24312 1820.15/1825.34 c #Conflicts: 713000 | #Constraints: 25313 1820.15/1825.34 c #Conflicts: 714000 | #Constraints: 26315 1820.15/1825.34 c #Conflicts: 715000 | #Constraints: 27318 1820.15/1825.34 c #Conflicts: 716000 | #Constraints: 28319 1820.15/1825.34 c #Conflicts: 717000 | #Constraints: 29321 1820.15/1825.34 c #Conflicts: 718000 | #Constraints: 30323 1820.15/1825.34 c #Conflicts: 719000 | #Constraints: 31324 1820.15/1825.34 c #Conflicts: 720000 | #Constraints: 32327 1820.15/1825.34 c #Conflicts: 721000 | #Constraints: 33328 1820.15/1825.34 c #Conflicts: 722000 | #Constraints: 34329 1820.15/1825.34 c INPROCESSING 1820.15/1825.34 c GARBAGE COLLECT 1820.15/1825.34 c rational objective 7 1895.42/1900.89 c #Conflicts: 723000 | #Constraints: 18509 1895.42/1900.89 c #Conflicts: 724000 | #Constraints: 19512 1895.42/1900.89 c #Conflicts: 725000 | #Constraints: 20515 1895.42/1900.89 c #Conflicts: 726000 | #Constraints: 21516 1895.42/1900.89 c #Conflicts: 727000 | #Constraints: 22517 1895.42/1900.89 c #Conflicts: 728000 | #Constraints: 23520 1895.42/1900.89 c #Conflicts: 729000 | #Constraints: 24526 1895.42/1900.89 c #Conflicts: 730000 | #Constraints: 25532 1895.42/1900.89 c #Conflicts: 731000 | #Constraints: 26538 1895.42/1900.89 c #Conflicts: 732000 | #Constraints: 27541 1895.42/1900.89 c #Conflicts: 733000 | #Constraints: 28543 1895.42/1900.89 c #Conflicts: 734000 | #Constraints: 29546 1895.42/1900.89 c #Conflicts: 735000 | #Constraints: 30547 1895.42/1900.89 c #Conflicts: 736000 | #Constraints: 31550 1895.42/1900.89 c #Conflicts: 737000 | #Constraints: 32553 1895.42/1900.89 c #Conflicts: 738000 | #Constraints: 33559 1895.42/1900.89 c #Conflicts: 739000 | #Constraints: 34563 1895.42/1900.89 c INPROCESSING 1895.42/1900.89 c GARBAGE COLLECT 1895.42/1900.89 c rational objective 7 1952.34/1957.95 c #Conflicts: 740000 | #Constraints: 18526 1952.34/1957.95 c #Conflicts: 741000 | #Constraints: 19529 1952.34/1957.95 c #Conflicts: 742000 | #Constraints: 20533 1952.34/1957.95 c #Conflicts: 743000 | #Constraints: 21536 1952.34/1957.95 c #Conflicts: 744000 | #Constraints: 22538 1952.34/1957.95 c #Conflicts: 745000 | #Constraints: 23540 1952.34/1957.95 c #Conflicts: 746000 | #Constraints: 24547 1952.34/1957.95 c #Conflicts: 747000 | #Constraints: 25549 1952.34/1957.95 c #Conflicts: 748000 | #Constraints: 26551 1952.34/1957.95 c #Conflicts: 749000 | #Constraints: 27552 1952.34/1957.95 c #Conflicts: 750000 | #Constraints: 28553 1952.34/1957.95 c #Conflicts: 751000 | #Constraints: 29557 1952.34/1957.95 c #Conflicts: 752000 | #Constraints: 30560 1952.34/1957.95 c #Conflicts: 753000 | #Constraints: 31562 1952.34/1957.95 c #Conflicts: 754000 | #Constraints: 32568 1952.34/1957.95 c #Conflicts: 755000 | #Constraints: 33569 1952.34/1957.95 c #Conflicts: 756000 | #Constraints: 34572 1952.34/1957.95 c INPROCESSING 1952.34/1957.95 c GARBAGE COLLECT 1952.34/1957.95 c rational objective 7 2021.05/2026.92 c #Conflicts: 757000 | #Constraints: 18310 2021.05/2026.92 c #Conflicts: 758000 | #Constraints: 19312 2021.05/2026.92 c #Conflicts: 759000 | #Constraints: 20316 2021.05/2026.92 c #Conflicts: 760000 | #Constraints: 21319 2021.05/2026.92 c #Conflicts: 761000 | #Constraints: 22322 2021.05/2026.92 c #Conflicts: 762000 | #Constraints: 23324 2021.05/2026.92 c #Conflicts: 763000 | #Constraints: 24327 2021.05/2026.92 c #Conflicts: 764000 | #Constraints: 25330 2021.05/2026.92 c #Conflicts: 765000 | #Constraints: 26333 2021.05/2026.92 c #Conflicts: 766000 | #Constraints: 27335 2021.05/2026.92 c #Conflicts: 767000 | #Constraints: 28338 2021.05/2026.92 c #Conflicts: 768000 | #Constraints: 29342 2021.05/2026.92 c #Conflicts: 769000 | #Constraints: 30347 2021.05/2026.92 c #Conflicts: 770000 | #Constraints: 31348 2021.05/2026.92 c #Conflicts: 771000 | #Constraints: 32349 2021.05/2026.92 c #Conflicts: 772000 | #Constraints: 33353 2021.05/2026.92 c #Conflicts: 773000 | #Constraints: 34356 2021.05/2026.92 c #Conflicts: 774000 | #Constraints: 35359 2021.05/2026.92 c INPROCESSING 2021.05/2026.92 c GARBAGE COLLECT 2021.05/2026.92 c rational objective 7 2078.88/2085.02 c #Conflicts: 775000 | #Constraints: 18912 2078.88/2085.02 c #Conflicts: 776000 | #Constraints: 19914 2078.88/2085.02 c #Conflicts: 777000 | #Constraints: 20916 2078.88/2085.02 c #Conflicts: 778000 | #Constraints: 21919 2078.88/2085.02 c #Conflicts: 779000 | #Constraints: 22921 2078.88/2085.02 c #Conflicts: 780000 | #Constraints: 23921 2078.88/2085.02 c #Conflicts: 781000 | #Constraints: 24924 2078.88/2085.02 c #Conflicts: 782000 | #Constraints: 25928 2078.88/2085.02 c #Conflicts: 783000 | #Constraints: 26934 2078.88/2085.02 c #Conflicts: 784000 | #Constraints: 27939 2078.88/2085.02 c #Conflicts: 785000 | #Constraints: 28941 2078.88/2085.02 c #Conflicts: 786000 | #Constraints: 29941 2078.88/2085.02 c #Conflicts: 787000 | #Constraints: 30941 2078.88/2085.02 c #Conflicts: 788000 | #Constraints: 31944 2078.88/2085.02 c #Conflicts: 789000 | #Constraints: 32945 2078.88/2085.02 c #Conflicts: 790000 | #Constraints: 33947 2078.88/2085.02 c #Conflicts: 791000 | #Constraints: 34948 2078.88/2085.02 c #Conflicts: 792000 | #Constraints: 35950 2078.88/2085.02 c INPROCESSING 2078.88/2085.02 c GARBAGE COLLECT 2078.88/2085.02 c rational objective 7 2139.88/2146.38 c #Conflicts: 793000 | #Constraints: 19295 2139.88/2146.38 c #Conflicts: 794000 | #Constraints: 20297 2139.88/2146.38 c #Conflicts: 795000 | #Constraints: 21301 2139.88/2146.38 c #Conflicts: 796000 | #Constraints: 22303 2139.88/2146.38 c #Conflicts: 797000 | #Constraints: 23307 2139.88/2146.38 c #Conflicts: 798000 | #Constraints: 24308 2139.88/2146.38 c #Conflicts: 799000 | #Constraints: 25314 2139.88/2146.38 c #Conflicts: 800000 | #Constraints: 26318 2139.88/2146.38 c #Conflicts: 801000 | #Constraints: 27320 2139.88/2146.38 c #Conflicts: 802000 | #Constraints: 28322 2139.88/2146.38 c #Conflicts: 803000 | #Constraints: 29326 2139.88/2146.38 c #Conflicts: 804000 | #Constraints: 30330 2139.88/2146.38 c #Conflicts: 805000 | #Constraints: 31334 2139.88/2146.38 c #Conflicts: 806000 | #Constraints: 32342 2139.88/2146.38 c #Conflicts: 807000 | #Constraints: 33353 2139.88/2146.38 c #Conflicts: 808000 | #Constraints: 34359 2139.88/2146.38 c #Conflicts: 809000 | #Constraints: 35364 2139.88/2146.38 c #Conflicts: 810000 | #Constraints: 36366 2139.88/2146.38 c INPROCESSING 2139.88/2146.38 c GARBAGE COLLECT 2139.88/2146.38 c rational objective 7 2184.71/2191.33 c #Conflicts: 811000 | #Constraints: 19509 2184.71/2191.33 c #Conflicts: 812000 | #Constraints: 20513 2184.71/2191.33 c #Conflicts: 813000 | #Constraints: 21518 2184.71/2191.33 c #Conflicts: 814000 | #Constraints: 22524 2184.71/2191.33 c #Conflicts: 815000 | #Constraints: 23535 2184.71/2191.33 c #Conflicts: 816000 | #Constraints: 24537 2184.71/2191.33 c #Conflicts: 817000 | #Constraints: 25544 2184.71/2191.33 c #Conflicts: 818000 | #Constraints: 26546 2184.71/2191.33 c #Conflicts: 819000 | #Constraints: 27548 2184.71/2191.33 c #Conflicts: 820000 | #Constraints: 28550 2184.71/2191.33 c #Conflicts: 821000 | #Constraints: 29553 2184.71/2191.33 c #Conflicts: 822000 | #Constraints: 30555 2184.71/2191.33 c #Conflicts: 823000 | #Constraints: 31559 2184.71/2191.33 c #Conflicts: 824000 | #Constraints: 32562 2184.71/2191.33 c #Conflicts: 825000 | #Constraints: 33566 2184.71/2191.33 c #Conflicts: 826000 | #Constraints: 34570 2184.71/2191.33 c #Conflicts: 827000 | #Constraints: 35572 2184.71/2191.33 c #Conflicts: 828000 | #Constraints: 36577 2184.71/2191.33 c INPROCESSING 2184.71/2191.33 c GARBAGE COLLECT 2184.71/2191.33 c rational objective 7 2267.98/2274.94 c #Conflicts: 829000 | #Constraints: 19525 2267.98/2274.94 c #Conflicts: 830000 | #Constraints: 20527 2267.98/2274.94 c #Conflicts: 831000 | #Constraints: 21530 2267.98/2274.94 c #Conflicts: 832000 | #Constraints: 22532 2267.98/2274.94 c #Conflicts: 833000 | #Constraints: 23534 2267.98/2274.94 c #Conflicts: 834000 | #Constraints: 24538 2267.98/2274.94 c #Conflicts: 835000 | #Constraints: 25542 2267.98/2274.94 c #Conflicts: 836000 | #Constraints: 26544 2267.98/2274.94 c #Conflicts: 837000 | #Constraints: 27546 2267.98/2274.94 c #Conflicts: 838000 | #Constraints: 28547 2267.98/2274.94 c #Conflicts: 839000 | #Constraints: 29548 2267.98/2274.94 c #Conflicts: 840000 | #Constraints: 30550 2267.98/2274.94 c #Conflicts: 841000 | #Constraints: 31555 2267.98/2274.94 c #Conflicts: 842000 | #Constraints: 32557 2267.98/2274.94 c #Conflicts: 843000 | #Constraints: 33560 2267.98/2274.94 c #Conflicts: 844000 | #Constraints: 34564 2267.98/2274.94 c #Conflicts: 845000 | #Constraints: 35566 2267.98/2274.94 c #Conflicts: 846000 | #Constraints: 36567 2267.98/2274.94 c INPROCESSING 2267.98/2274.94 c GARBAGE COLLECT 2267.98/2274.94 c rational objective 7 2316.70/2323.89 c #Conflicts: 847000 | #Constraints: 19298 2316.70/2323.89 c #Conflicts: 848000 | #Constraints: 20303 2316.70/2323.89 c #Conflicts: 849000 | #Constraints: 21304 2316.70/2323.89 c #Conflicts: 850000 | #Constraints: 22307 2316.70/2323.89 c #Conflicts: 851000 | #Constraints: 23311 2316.70/2323.89 c #Conflicts: 852000 | #Constraints: 24313 2316.70/2323.89 c #Conflicts: 853000 | #Constraints: 25317 2316.70/2323.89 c #Conflicts: 854000 | #Constraints: 26322 2316.70/2323.89 c #Conflicts: 855000 | #Constraints: 27324 2316.70/2323.89 c #Conflicts: 856000 | #Constraints: 28325 2316.70/2323.89 c #Conflicts: 857000 | #Constraints: 29328 2316.70/2323.89 c #Conflicts: 858000 | #Constraints: 30330 2316.70/2323.89 c #Conflicts: 859000 | #Constraints: 31331 2316.70/2323.89 c #Conflicts: 860000 | #Constraints: 32335 2316.70/2323.89 c #Conflicts: 861000 | #Constraints: 33338 2316.70/2323.89 c #Conflicts: 862000 | #Constraints: 34342 2316.70/2323.89 c #Conflicts: 863000 | #Constraints: 35345 2316.70/2323.89 c #Conflicts: 864000 | #Constraints: 36349 2316.70/2323.89 c #Conflicts: 865000 | #Constraints: 37355 2316.70/2323.89 c INPROCESSING 2316.70/2323.89 c GARBAGE COLLECT 2316.70/2323.89 c rational objective 7 2374.85/2382.21 c #Conflicts: 866000 | #Constraints: 19899 2374.85/2382.21 c #Conflicts: 867000 | #Constraints: 20901 2374.85/2382.21 c #Conflicts: 868000 | #Constraints: 21905 2374.85/2382.21 c #Conflicts: 869000 | #Constraints: 22907 2374.85/2382.21 c #Conflicts: 870000 | #Constraints: 23909 2374.85/2382.21 c #Conflicts: 871000 | #Constraints: 24912 2374.85/2382.21 c #Conflicts: 872000 | #Constraints: 25913 2374.85/2382.21 c #Conflicts: 873000 | #Constraints: 26916 2374.85/2382.21 c #Conflicts: 874000 | #Constraints: 27918 2374.85/2382.21 c #Conflicts: 875000 | #Constraints: 28921 2374.85/2382.21 c #Conflicts: 876000 | #Constraints: 29923 2374.85/2382.21 c #Conflicts: 877000 | #Constraints: 30927 2374.85/2382.21 c #Conflicts: 878000 | #Constraints: 31930 2374.85/2382.21 c #Conflicts: 879000 | #Constraints: 32933 2374.85/2382.21 c #Conflicts: 880000 | #Constraints: 33940 2374.85/2382.21 c #Conflicts: 881000 | #Constraints: 34945 2374.85/2382.21 c #Conflicts: 882000 | #Constraints: 35948 2374.85/2382.21 c #Conflicts: 883000 | #Constraints: 36953 2374.85/2382.21 c #Conflicts: 884000 | #Constraints: 37956 2374.85/2382.21 c INPROCESSING 2374.85/2382.21 c GARBAGE COLLECT 2374.85/2382.21 c rational objective 7 2447.32/2455.10 c #Conflicts: 885000 | #Constraints: 20301 2447.32/2455.10 c #Conflicts: 886000 | #Constraints: 21308 2447.32/2455.10 c #Conflicts: 887000 | #Constraints: 22312 2447.32/2455.10 c #Conflicts: 888000 | #Constraints: 23315 2447.32/2455.10 c #Conflicts: 889000 | #Constraints: 24318 2447.32/2455.10 c #Conflicts: 890000 | #Constraints: 25322 2447.32/2455.10 c #Conflicts: 891000 | #Constraints: 26325 2447.32/2455.10 c #Conflicts: 892000 | #Constraints: 27329 2447.32/2455.10 c #Conflicts: 893000 | #Constraints: 28335 2447.32/2455.10 c #Conflicts: 894000 | #Constraints: 29341 2447.32/2455.10 c #Conflicts: 895000 | #Constraints: 30342 2447.32/2455.10 c #Conflicts: 896000 | #Constraints: 31345 2447.32/2455.10 c #Conflicts: 897000 | #Constraints: 32348 2447.32/2455.10 c #Conflicts: 898000 | #Constraints: 33353 2447.32/2455.10 c #Conflicts: 899000 | #Constraints: 34357 2447.32/2455.10 c #Conflicts: 900000 | #Constraints: 35358 2447.32/2455.10 c #Conflicts: 901000 | #Constraints: 36360 2447.32/2455.10 c #Conflicts: 902000 | #Constraints: 37362 2447.32/2455.10 c #Conflicts: 903000 | #Constraints: 38365 2447.32/2455.10 c INPROCESSING 2447.32/2455.10 c GARBAGE COLLECT 2447.32/2455.10 c rational objective 7 2511.76/2519.76 c #Conflicts: 904000 | #Constraints: 20502 2511.76/2519.76 c #Conflicts: 905000 | #Constraints: 21505 2511.76/2519.76 c #Conflicts: 906000 | #Constraints: 22510 2511.76/2519.76 c #Conflicts: 907000 | #Constraints: 23515 2511.76/2519.76 c #Conflicts: 908000 | #Constraints: 24516 2511.76/2519.76 c #Conflicts: 909000 | #Constraints: 25517 2511.76/2519.76 c #Conflicts: 910000 | #Constraints: 26520 2511.76/2519.76 c #Conflicts: 911000 | #Constraints: 27522 2511.76/2519.76 c #Conflicts: 912000 | #Constraints: 28523 2511.76/2519.76 c #Conflicts: 913000 | #Constraints: 29526 2511.76/2519.76 c #Conflicts: 914000 | #Constraints: 30532 2511.76/2519.76 c #Conflicts: 915000 | #Constraints: 31537 2511.76/2519.76 c #Conflicts: 916000 | #Constraints: 32542 2511.76/2519.76 c #Conflicts: 917000 | #Constraints: 33544 2511.76/2519.76 c #Conflicts: 918000 | #Constraints: 34545 2511.76/2519.76 c #Conflicts: 919000 | #Constraints: 35552 2511.76/2519.76 c #Conflicts: 920000 | #Constraints: 36554 2511.76/2519.76 c #Conflicts: 921000 | #Constraints: 37556 2511.76/2519.76 c #Conflicts: 922000 | #Constraints: 38558 2511.76/2519.76 c INPROCESSING 2511.76/2519.76 c GARBAGE COLLECT 2511.76/2519.76 c rational objective 7 2627.01/2635.47 c #Conflicts: 923000 | #Constraints: 20495 2627.01/2635.47 c #Conflicts: 924000 | #Constraints: 21498 2627.01/2635.47 c #Conflicts: 925000 | #Constraints: 22502 2627.01/2635.47 c #Conflicts: 926000 | #Constraints: 23507 2627.01/2635.47 c #Conflicts: 927000 | #Constraints: 24513 2627.01/2635.47 c #Conflicts: 928000 | #Constraints: 25517 2627.01/2635.47 c #Conflicts: 929000 | #Constraints: 26520 2627.01/2635.47 c #Conflicts: 930000 | #Constraints: 27523 2627.01/2635.47 c #Conflicts: 931000 | #Constraints: 28526 2627.01/2635.47 c #Conflicts: 932000 | #Constraints: 29527 2627.01/2635.47 c #Conflicts: 933000 | #Constraints: 30531 2627.01/2635.47 c #Conflicts: 934000 | #Constraints: 31534 2627.01/2635.47 c #Conflicts: 935000 | #Constraints: 32536 2627.01/2635.47 c #Conflicts: 936000 | #Constraints: 33538 2627.01/2635.47 c #Conflicts: 937000 | #Constraints: 34540 2627.01/2635.47 c #Conflicts: 938000 | #Constraints: 35543 2627.01/2635.47 c #Conflicts: 939000 | #Constraints: 36545 2627.01/2635.47 c #Conflicts: 940000 | #Constraints: 37547 2627.01/2635.47 c #Conflicts: 941000 | #Constraints: 38548 2627.01/2635.47 c INPROCESSING 2627.01/2635.47 c GARBAGE COLLECT 2627.01/2635.47 c rational objective 7 2712.22/2721.07 c #Conflicts: 942000 | #Constraints: 20290 2712.22/2721.07 c #Conflicts: 943000 | #Constraints: 21291 2712.22/2721.07 c #Conflicts: 944000 | #Constraints: 22294 2712.22/2721.07 c #Conflicts: 945000 | #Constraints: 23296 2712.22/2721.07 c #Conflicts: 946000 | #Constraints: 24298 2712.22/2721.07 c #Conflicts: 947000 | #Constraints: 25301 2712.22/2721.07 c #Conflicts: 948000 | #Constraints: 26304 2712.22/2721.07 c #Conflicts: 949000 | #Constraints: 27307 2712.22/2721.07 c #Conflicts: 950000 | #Constraints: 28310 2712.22/2721.07 c #Conflicts: 951000 | #Constraints: 29316 2712.22/2721.07 c #Conflicts: 952000 | #Constraints: 30319 2712.22/2721.07 c #Conflicts: 953000 | #Constraints: 31322 2712.22/2721.07 c #Conflicts: 954000 | #Constraints: 32323 2712.22/2721.07 c #Conflicts: 955000 | #Constraints: 33326 2712.22/2721.07 c #Conflicts: 956000 | #Constraints: 34327 2712.22/2721.07 c #Conflicts: 957000 | #Constraints: 35330 2712.22/2721.07 c #Conflicts: 958000 | #Constraints: 36333 2712.22/2721.07 c #Conflicts: 959000 | #Constraints: 37334 2712.22/2721.07 c #Conflicts: 960000 | #Constraints: 38337 2712.22/2721.07 c #Conflicts: 961000 | #Constraints: 39338 2712.22/2721.07 c INPROCESSING 2712.22/2721.07 c GARBAGE COLLECT 2712.22/2721.07 c rational objective 7 2852.49/2861.91 c #Conflicts: 962000 | #Constraints: 20932 2852.49/2861.91 c #Conflicts: 963000 | #Constraints: 21936 2852.49/2861.91 c #Conflicts: 964000 | #Constraints: 22939 2852.49/2861.91 c #Conflicts: 965000 | #Constraints: 23942 2852.49/2861.91 c #Conflicts: 966000 | #Constraints: 24946 2852.49/2861.91 c #Conflicts: 967000 | #Constraints: 25950 2852.49/2861.91 c #Conflicts: 968000 | #Constraints: 26951 2852.49/2861.91 c #Conflicts: 969000 | #Constraints: 27955 2852.49/2861.91 c #Conflicts: 970000 | #Constraints: 28956 2852.49/2861.91 c #Conflicts: 971000 | #Constraints: 29958 2852.49/2861.91 c #Conflicts: 972000 | #Constraints: 30960 2852.49/2861.91 c #Conflicts: 973000 | #Constraints: 31965 2852.49/2861.91 c #Conflicts: 974000 | #Constraints: 32972 2852.49/2861.91 c #Conflicts: 975000 | #Constraints: 33978 2852.49/2861.91 c #Conflicts: 976000 | #Constraints: 34981 2852.49/2861.91 c #Conflicts: 977000 | #Constraints: 35982 2852.49/2861.91 c #Conflicts: 978000 | #Constraints: 36984 2852.49/2861.91 c #Conflicts: 979000 | #Constraints: 37985 2852.49/2861.91 c #Conflicts: 980000 | #Constraints: 38987 2852.49/2861.91 c #Conflicts: 981000 | #Constraints: 39992 2852.49/2861.91 c INPROCESSING 2852.49/2861.91 c GARBAGE COLLECT 2852.49/2861.91 c rational objective 7 3038.37/3048.50 c #Conflicts: 982000 | #Constraints: 21353 3038.37/3048.50 c #Conflicts: 983000 | #Constraints: 22356 3038.37/3048.50 c #Conflicts: 984000 | #Constraints: 23357 3038.37/3048.50 c #Conflicts: 985000 | #Constraints: 24358 3038.37/3048.50 c #Conflicts: 986000 | #Constraints: 25358 3038.37/3048.50 c #Conflicts: 987000 | #Constraints: 26358 3038.37/3048.50 c #Conflicts: 988000 | #Constraints: 27358 3038.37/3048.50 c #Conflicts: 989000 | #Constraints: 28358 3038.37/3048.50 c #Conflicts: 990000 | #Constraints: 29358 3038.37/3048.50 c #Conflicts: 991000 | #Constraints: 30358 3038.37/3048.50 c #Conflicts: 992000 | #Constraints: 31359 3038.37/3048.50 c #Conflicts: 993000 | #Constraints: 32359 3038.37/3048.50 c #Conflicts: 994000 | #Constraints: 33359 3038.37/3048.50 c #Conflicts: 995000 | #Constraints: 34360 3038.37/3048.50 c #Conflicts: 996000 | #Constraints: 35360 3038.37/3048.50 c #Conflicts: 997000 | #Constraints: 36362 3038.37/3048.50 c #Conflicts: 998000 | #Constraints: 37369 3038.37/3048.50 c #Conflicts: 999000 | #Constraints: 38375 3038.37/3048.50 c #Conflicts: 1000000 | #Constraints: 39379 3038.37/3048.50 c #Conflicts: 1001000 | #Constraints: 40384 3038.37/3048.50 c INPROCESSING 3038.37/3048.50 c GARBAGE COLLECT 3038.37/3048.50 c rational objective 7 3101.06/3111.41 c #Conflicts: 1002000 | #Constraints: 21545 3101.06/3111.41 c #Conflicts: 1003000 | #Constraints: 22547 3101.06/3111.41 c #Conflicts: 1004000 | #Constraints: 23554 3101.06/3111.41 c #Conflicts: 1005000 | #Constraints: 24555 3101.06/3111.41 c #Conflicts: 1006000 | #Constraints: 25559 3101.06/3111.41 c #Conflicts: 1007000 | #Constraints: 26563 3101.06/3111.41 c #Conflicts: 1008000 | #Constraints: 27566 3101.06/3111.41 c #Conflicts: 1009000 | #Constraints: 28567 3101.06/3111.41 c #Conflicts: 1010000 | #Constraints: 29570 3101.06/3111.41 c #Conflicts: 1011000 | #Constraints: 30572 3101.06/3111.41 c #Conflicts: 1012000 | #Constraints: 31575 3101.06/3111.41 c #Conflicts: 1013000 | #Constraints: 32579 3101.06/3111.41 c #Conflicts: 1014000 | #Constraints: 33581 3101.06/3111.41 c #Conflicts: 1015000 | #Constraints: 34584 3101.06/3111.41 c #Conflicts: 1016000 | #Constraints: 35589 3101.06/3111.41 c #Conflicts: 1017000 | #Constraints: 36594 3101.06/3111.41 c #Conflicts: 1018000 | #Constraints: 37597 3101.06/3111.41 c #Conflicts: 1019000 | #Constraints: 38598 3101.06/3111.41 c #Conflicts: 1020000 | #Constraints: 39601 3101.06/3111.41 c #Conflicts: 1021000 | #Constraints: 40603 3101.06/3111.41 c INPROCESSING 3101.06/3111.41 c GARBAGE COLLECT 3101.06/3111.41 c rational objective 7 3136.95/3147.47 c #Conflicts: 1022000 | #Constraints: 21593 3136.95/3147.47 c #Conflicts: 1023000 | #Constraints: 22595 3136.95/3147.47 c #Conflicts: 1024000 | #Constraints: 23596 3136.95/3147.47 c #Conflicts: 1025000 | #Constraints: 24596 3136.95/3147.47 c #Conflicts: 1026000 | #Constraints: 25600 3136.95/3147.47 c #Conflicts: 1027000 | #Constraints: 26600 3136.95/3147.47 c #Conflicts: 1028000 | #Constraints: 27602 3136.95/3147.47 c #Conflicts: 1029000 | #Constraints: 28603 3136.95/3147.47 c #Conflicts: 1030000 | #Constraints: 29605 3136.95/3147.47 c #Conflicts: 1031000 | #Constraints: 30606 3136.95/3147.47 c #Conflicts: 1032000 | #Constraints: 31608 3136.95/3147.47 c #Conflicts: 1033000 | #Constraints: 32608 3136.95/3147.47 c #Conflicts: 1034000 | #Constraints: 33611 3136.95/3147.47 c #Conflicts: 1035000 | #Constraints: 34617 3136.95/3147.47 c #Conflicts: 1036000 | #Constraints: 35620 3136.95/3147.47 c #Conflicts: 1037000 | #Constraints: 36623 3136.95/3147.47 c #Conflicts: 1038000 | #Constraints: 37629 3136.95/3147.47 c #Conflicts: 1039000 | #Constraints: 38636 3136.95/3147.47 c #Conflicts: 1040000 | #Constraints: 39638 3136.95/3147.47 c #Conflicts: 1041000 | #Constraints: 40639 3136.95/3147.47 c INPROCESSING 3136.95/3147.47 c GARBAGE COLLECT 3136.95/3147.47 c rational objective 7 3335.04/3346.10 c #Conflicts: 1042000 | #Constraints: 21366 3335.04/3346.10 c #Conflicts: 1043000 | #Constraints: 22369 3335.04/3346.10 c #Conflicts: 1044000 | #Constraints: 23374 3335.04/3346.10 c #Conflicts: 1045000 | #Constraints: 24378 3335.04/3346.10 c #Conflicts: 1046000 | #Constraints: 25381 3335.04/3346.10 c #Conflicts: 1047000 | #Constraints: 26385 3335.04/3346.10 c #Conflicts: 1048000 | #Constraints: 27406 3335.04/3346.10 c #Conflicts: 1049000 | #Constraints: 28418 3335.04/3346.10 c #Conflicts: 1050000 | #Constraints: 29421 3335.04/3346.10 c #Conflicts: 1051000 | #Constraints: 30443 3335.04/3346.10 c #Conflicts: 1052000 | #Constraints: 31451 3335.04/3346.10 c #Conflicts: 1053000 | #Constraints: 32457 3335.04/3346.10 c #Conflicts: 1054000 | #Constraints: 33463 3335.04/3346.10 c #Conflicts: 1055000 | #Constraints: 34467 3335.04/3346.10 c #Conflicts: 1056000 | #Constraints: 35468 3335.04/3346.10 c #Conflicts: 1057000 | #Constraints: 36471 3335.04/3346.10 c #Conflicts: 1058000 | #Constraints: 37471 3335.04/3346.10 c #Conflicts: 1059000 | #Constraints: 38484 3335.04/3346.10 c #Conflicts: 1060000 | #Constraints: 39490 3335.04/3346.10 c #Conflicts: 1061000 | #Constraints: 40495 3335.04/3346.10 c #Conflicts: 1062000 | #Constraints: 41505 3335.04/3346.10 c INPROCESSING 3335.04/3346.10 c GARBAGE COLLECT 3335.04/3346.10 c rational objective 7 3492.36/3503.77 c #Conflicts: 1063000 | #Constraints: 22011 3492.36/3503.77 c #Conflicts: 1064000 | #Constraints: 23022 3492.36/3503.77 c #Conflicts: 1065000 | #Constraints: 24029 3492.36/3503.77 c #Conflicts: 1066000 | #Constraints: 25036 3492.36/3503.77 c #Conflicts: 1067000 | #Constraints: 26041 3492.36/3503.77 c #Conflicts: 1068000 | #Constraints: 27052 3492.36/3503.77 c #Conflicts: 1069000 | #Constraints: 28061 3492.36/3503.77 c #Conflicts: 1070000 | #Constraints: 29064 3492.36/3503.77 c #Conflicts: 1071000 | #Constraints: 30073 3492.36/3503.77 c #Conflicts: 1072000 | #Constraints: 31081 3492.36/3503.77 c #Conflicts: 1073000 | #Constraints: 32086 3492.36/3503.77 c #Conflicts: 1074000 | #Constraints: 33098 3492.36/3503.77 c #Conflicts: 1075000 | #Constraints: 34113 3492.36/3503.77 c #Conflicts: 1076000 | #Constraints: 35121 3492.36/3503.77 c #Conflicts: 1077000 | #Constraints: 36126 3492.36/3503.77 c #Conflicts: 1078000 | #Constraints: 37132 3492.36/3503.77 c #Conflicts: 1079000 | #Constraints: 38136 3492.36/3503.77 c #Conflicts: 1080000 | #Constraints: 39139 3492.36/3503.77 c #Conflicts: 1081000 | #Constraints: 40145 3492.36/3503.77 c #Conflicts: 1082000 | #Constraints: 41148 3492.36/3503.77 c #Conflicts: 1083000 | #Constraints: 42150 3492.36/3503.77 c INPROCESSING 3492.36/3503.77 c GARBAGE COLLECT 3492.36/3503.77 c rational objective 7 3596.01/3607.66 c #Conflicts: 1084000 | #Constraints: 22464 3596.01/3607.66 c #Conflicts: 1085000 | #Constraints: 23467 3596.01/3607.66 c #Conflicts: 1086000 | #Constraints: 24468 3596.01/3607.66 c #Conflicts: 1087000 | #Constraints: 25471 3596.01/3607.66 c #Conflicts: 1088000 | #Constraints: 26474 3596.01/3607.66 c #Conflicts: 1089000 | #Constraints: 27476 3596.01/3607.66 c #Conflicts: 1090000 | #Constraints: 28478 3596.01/3607.66 c #Conflicts: 1091000 | #Constraints: 29480 3596.01/3607.66 c #Conflicts: 1092000 | #Constraints: 30480 3596.01/3607.66 c #Conflicts: 1093000 | #Constraints: 31481 3596.01/3607.66 c #Conflicts: 1094000 | #Constraints: 32483 3596.01/3607.66 c #Conflicts: 1095000 | #Constraints: 33483 3596.01/3607.66 c #Conflicts: 1096000 | #Constraints: 34485 3596.01/3607.66 c #Conflicts: 1097000 | #Constraints: 35486 3596.01/3607.66 c #Conflicts: 1098000 | #Constraints: 36488 3596.01/3607.66 c #Conflicts: 1099000 | #Constraints: 37490 3596.01/3607.66 c #Conflicts: 1100000 | #Constraints: 38491 3596.01/3607.66 c #Conflicts: 1101000 | #Constraints: 39491 3596.01/3607.66 c #Conflicts: 1102000 | #Constraints: 40493 3596.01/3607.66 c #Conflicts: 1103000 | #Constraints: 41495 3596.01/3607.66 c #Conflicts: 1104000 | #Constraints: 42497 3596.01/3607.66 c INPROCESSING 3596.01/3607.66 c GARBAGE COLLECT 3596.01/3607.66 c rational objective 7 3600.00/3611.64 c #Conflicts: 1105000 | #Constraints: 22598 3600.00/3611.64 c Program interrupted by user. 3600.00/3611.71 c cpu time 3558.36 s 3600.00/3611.71 c deterministic time 867784313896 8.68e+11 3600.00/3611.71 c optimization time 3.67345 s 3600.00/3611.71 c total solve time 3554.66 s 3600.00/3611.71 c core-guided solve time 5e-06 s 3600.00/3611.71 c propagation time 2913.06 s 3600.00/3611.71 c conflict analysis time 537.205 s 3600.00/3611.71 c propagations 364111380 3600.00/3611.71 c resolve steps 8791044 3600.00/3611.71 c decisions 13518459 3600.00/3611.71 c conflicts 1105942 3600.00/3611.71 c restarts 2046 3600.00/3611.71 c inprocessing phases 96 3600.00/3611.71 c input clauses 5045 3600.00/3611.71 c input cardinalities 76 3600.00/3611.71 c input general constraints 448 3600.00/3611.71 c input average constraint length 9.60 3600.00/3611.71 c input average constraint degree 71.21 3600.00/3611.71 c learned clauses 106965 3600.00/3611.71 c learned cardinalities 8953 3600.00/3611.71 c learned general constraints 993526 3600.00/3611.71 c learned average constraint length 1163.96 3600.00/3611.71 c learned average constraint degree 7538572293.98 3600.00/3611.71 c watched constraints 901102 3600.00/3611.71 c counting constraints 92872 3600.00/3611.71 c gcd simplifications 54854 3600.00/3611.71 c detected cardinalities 252 3600.00/3611.71 c weakened non-implied lits 120319948 3600.00/3611.71 c weakened non-implying lits 634194 3600.00/3611.71 c original variables 4977 3600.00/3611.71 c clausal propagations 1222502 3600.00/3611.71 c cardinality propagations 26470303 3600.00/3611.71 c watched propagations 114259450 3600.00/3611.71 c counting propagations 220279003 3600.00/3611.71 c watch lookups 21276187436 3600.00/3611.71 c watch backjump lookups 17237209205 3600.00/3611.71 c watch checks 755263856047 3600.00/3611.71 c propagation checks 69683967910 3600.00/3611.71 c constraint additions 3565608677 3600.00/3611.71 c trail pops 378729286 3600.00/3611.71 c formula constraints 5569 3600.00/3611.71 c learned constraints 1102438 3600.00/3611.71 c bound constraints 0 3600.00/3611.71 c core-guided constraints 0 3600.00/3611.71 c encountered formula constraints 6324758 3600.00/3611.71 c encountered learned constraints 3332810 3600.00/3611.71 c encountered bound constraints 0 3600.00/3611.71 c encountered core-guided constraints 0 3600.00/3611.71 c LP total time 154.796 s 3600.00/3611.71 c LP solve time 138.56 s 3600.00/3611.71 c LP constraints added 6195 3600.00/3611.71 c LP constraints removed 618 3600.00/3611.71 c LP pivots internal 1106046 3600.00/3611.71 c LP pivots root 19449 3600.00/3611.71 c LP calls 19198 3600.00/3611.71 c LP optimalities 15692 3600.00/3611.71 c LP no pivot count 8827 3600.00/3611.71 c LP infeasibilities 3503 3600.00/3611.71 c LP valid Farkas constraints 3503 3600.00/3611.71 c LP learned Farkas constraints 3503 3600.00/3611.71 c LP basis resets 1 3600.00/3611.71 c LP cycling count 0 3600.00/3611.71 c LP singular count 1 3600.00/3611.71 c LP no primal count 0 3600.00/3611.71 c LP no farkas count 0 3600.00/3611.71 c LP other issue count 0 3600.00/3611.71 c LP Gomory cuts 0 3600.00/3611.71 c LP learned cuts 626 3600.00/3611.71 c LP deleted cuts 618 3600.00/3611.71 c LP encountered Gomory constraints 0 3600.00/3611.71 c LP encountered Farkas constraints 208212 3600.00/3611.71 c LP encountered learned Farkas constraints 27703 3600.00/3611.71 c CG auxiliary variables introduced 0 3600.00/3611.71 c CG solutions found 0 3600.00/3611.71 c CG cores constructed 1 3600.00/3611.71 c CG core cardinality constraints returned 0 3600.00/3611.71 c CG unit cores 1 3600.00/3611.71 c CG single cores 0 3600.00/3611.71 c CG blocks removed during cardinality reduction 0 3600.00/3611.71 c CG first core best 0 3600.00/3611.71 c CG decision core best 0 3600.00/3611.71 c CG core reduction tie 0 3600.00/3611.71 c CG core degree average 0.00 3600.00/3611.71 c CG core slack average 0.00 3600.00/3611.71 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 (24552 MiB free)
memory of node 1: 64473 MiB (24664 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456991-1721817935/watcher-4456991-1721817935 -o /tmp/evaluation-result-4456991-1721817935/solver-4456991-1721817935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721817187-239625 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456991-1721817935 --lp-cut-gomory=0 HOME/instance-4456991-1721817935.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=240248, runsolver pid=240245
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 4.11 3.89 2.39 5/259 240249
/proc/meminfo: memFree=50494504/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=48308 memory=18012 CPUtime=0.1 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 3830 0 0 0 9 1 0 0 20 0 1 0 18317477 49467392 4503 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 12077 4503 1790 992 0 3935 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48308 KiB
Current children cumulated memory: 18012 KiB
[startup+0.205747 s]*
/proc/loadavg: 4.11 3.89 2.39 5/259 240249
/proc/meminfo: memFree=50484372/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=48744 memory=18804 CPUtime=0.2 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 4078 0 0 0 19 1 0 0 20 0 1 0 18317477 49913856 4701 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 12186 4701 1790 992 0 4044 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48744 KiB
Current children cumulated memory: 18804 KiB
[startup+0.305502 s]*
/proc/loadavg: 4.11 3.89 2.39 5/259 240249
/proc/meminfo: memFree=50480588/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=49164 memory=21664 CPUtime=0.3 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 4179 0 0 0 28 2 0 0 20 0 1 0 18317477 50343936 5416 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 12291 5416 1867 992 0 4149 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49164 KiB
Current children cumulated memory: 21664 KiB
[startup+0.700216 s]
/proc/loadavg: 4.11 3.89 2.39 5/259 240249
/proc/meminfo: memFree=50468700/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=53144 memory=24932 CPUtime=0.68 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 4995 0 0 0 65 3 0 0 20 0 1 0 18317477 54419456 6233 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 13286 6233 1867 992 0 5144 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53144 KiB
Current children cumulated memory: 24932 KiB
[startup+1.50019 s]
/proc/loadavg: 4.11 3.89 2.39 5/259 240249
/proc/meminfo: memFree=50269620/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=61768 memory=34024 CPUtime=1.48 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 6731 0 0 0 141 7 0 0 20 0 1 0 18317477 63250432 8506 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 15442 8506 1883 992 0 7300 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61768 KiB
Current children cumulated memory: 34024 KiB
[startup+3.10556 s]
/proc/loadavg: 4.18 3.91 2.41 5/259 240251
/proc/meminfo: memFree=50166516/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=74864 memory=47988 CPUtime=3.08 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 8728 0 0 0 295 13 0 0 20 0 1 0 18317477 76660736 11997 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 18716 11997 1883 992 0 10574 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 74864 KiB
Current children cumulated memory: 47988 KiB
[startup+6.30021 s]
/proc/loadavg: 4.18 3.91 2.41 5/259 240251
/proc/meminfo: memFree=49854372/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=79916 memory=52732 CPUtime=6.28 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 9906 0 0 0 604 24 0 0 20 0 1 0 18317477 81833984 13183 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 19979 13183 1883 992 0 11837 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 79916 KiB
Current children cumulated memory: 52732 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 3.91 2.42 5/259 240251
/proc/meminfo: memFree=49072624/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=100584 memory=72756 CPUtime=12.66 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 12875 0 0 0 1222 44 0 0 20 0 1 0 18317477 102998016 18189 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 25146 18189 1883 992 0 17004 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 100584 KiB
Current children cumulated memory: 72756 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 3.91 2.44 5/260 240256
/proc/meminfo: memFree=47717848/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=131380 memory=97668 CPUtime=25.42 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 16039 0 0 0 2467 75 0 0 20 0 1 0 18317477 134533120 24417 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 32845 24417 1883 992 0 24703 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 131380 KiB
Current children cumulated memory: 97668 KiB
[startup+51.1057 s]
/proc/loadavg: 4.16 3.94 2.49 5/260 240259
/proc/meminfo: memFree=46713168/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=194856 memory=147204 CPUtime=50.95 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 24383 0 0 0 4961 134 0 0 20 0 1 0 18317477 199532544 36801 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 48714 36801 1883 992 0 40572 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 194856 KiB
Current children cumulated memory: 147204 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 3.97 2.58 5/259 240267
/proc/meminfo: memFree=41735476/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=220344 memory=172136 CPUtime=102.02 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 30596 0 0 0 9954 248 0 0 20 0 1 0 18317477 225632256 43034 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 55086 43034 1883 992 0 46944 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 220344 KiB
Current children cumulated memory: 172136 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.99 2.68 5/261 240280
/proc/meminfo: memFree=35987180/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=295936 memory=217436 CPUtime=161.85 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 36339 0 0 0 15834 351 0 0 20 0 1 0 18317477 303038464 54359 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 73984 54359 1883 992 0 65842 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 295936 KiB
Current children cumulated memory: 217436 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.02 2.78 5/260 240291
/proc/meminfo: memFree=29857156/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=306264 memory=235900 CPUtime=221.7 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 38913 0 0 0 21702 468 0 0 20 0 1 0 18317477 313614336 58975 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 76566 58975 1883 992 0 68424 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 306264 KiB
Current children cumulated memory: 235900 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 4.10 2.89 5/263 240306
/proc/meminfo: memFree=23298208/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=320584 memory=255464 CPUtime=281.54 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 42241 0 0 0 27587 567 0 0 20 0 1 0 18317477 328278016 63866 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 80146 63866 1883 992 0 72004 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 320584 KiB
Current children cumulated memory: 255464 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.09 2.96 5/264 240318
/proc/meminfo: memFree=16906116/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=330224 memory=277988 CPUtime=341.37 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 44830 0 0 0 33490 647 0 0 20 0 1 0 18317477 338149376 69497 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 82556 69497 1883 992 0 74414 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 330224 KiB
Current children cumulated memory: 277988 KiB
[startup+402.3 s]
/proc/loadavg: 4.41 4.18 3.07 5/265 240330
/proc/meminfo: memFree=11431568/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=359216 memory=323252 CPUtime=401.2 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 51552 0 0 0 39371 749 0 0 20 0 1 0 18317477 367837184 80813 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 89804 80813 1883 992 0 81662 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 359216 KiB
Current children cumulated memory: 323252 KiB
[startup+462.3 s]
/proc/loadavg: 4.34 4.19 3.14 5/268 240346
/proc/meminfo: memFree=6304152/131524600 swapFree=131071996/131071996
[pid=240248] ppid=240245 vsize=364912 memory=328516 CPUtime=461.03 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 53314 0 0 0 45257 846 0 0 20 0 1 0 18317477 373669888 82129 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 91228 82129 1883 992 0 83086 0
################
# More data... #
################
Current children cumulated memory: 745912 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/263 242153
/proc/meminfo: memFree=647740/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=823836 memory=745992 CPUtime=2912.59 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 131704 0 0 0 287600 3659 0 0 20 0 1 0 18317477 843608064 186498 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 205959 186498 1978 992 0 197817 0
Current children cumulated CPU time: 2912.59 s
Current children cumulated vsize: 823836 KiB
Current children cumulated memory: 745992 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.13 4.09 4/257 242236
/proc/meminfo: memFree=26096728/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=829216 memory=751028 CPUtime=2972.39 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 133143 0 0 0 293545 3694 0 0 20 0 1 0 18317477 849117184 187757 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 207304 187757 1978 992 0 199162 0
Current children cumulated CPU time: 2972.39 s
Current children cumulated vsize: 829216 KiB
Current children cumulated memory: 751028 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/261 242265
/proc/meminfo: memFree=113745196/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=844000 memory=765400 CPUtime=3032.2 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 136861 0 0 0 299481 3739 0 0 20 0 1 0 18317477 864256000 191350 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 211000 191350 1978 992 0 202858 0
Current children cumulated CPU time: 3032.2 s
Current children cumulated vsize: 844000 KiB
Current children cumulated memory: 765400 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/262 242276
/proc/meminfo: memFree=113377116/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=846588 memory=767796 CPUtime=3091.99 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 137598 0 0 0 305394 3805 0 0 20 0 1 0 18317477 866906112 191949 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 211647 191949 1978 992 0 203505 0
Current children cumulated CPU time: 3091.99 s
Current children cumulated vsize: 846588 KiB
Current children cumulated memory: 767796 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/262 242288
/proc/meminfo: memFree=112919876/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=847628 memory=775428 CPUtime=3151.81 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 138101 0 0 0 311294 3887 0 0 20 0 1 0 18317477 867971072 193857 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 211907 193857 1978 992 0 203765 0
Current children cumulated CPU time: 3151.81 s
Current children cumulated vsize: 847628 KiB
Current children cumulated memory: 775428 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/262 242299
/proc/meminfo: memFree=112645940/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=854112 memory=792600 CPUtime=3211.65 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 139719 0 0 0 317230 3935 0 0 20 0 1 0 18317477 874610688 198150 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 213528 198150 1978 992 0 205386 0
Current children cumulated CPU time: 3211.65 s
Current children cumulated vsize: 854112 KiB
Current children cumulated memory: 792600 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/261 242315
/proc/meminfo: memFree=112362000/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=879144 memory=823140 CPUtime=3271.5 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 143843 0 0 0 323196 3954 0 0 20 0 1 0 18317477 900243456 205785 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 219786 205785 1978 992 0 211644 0
Current children cumulated CPU time: 3271.5 s
Current children cumulated vsize: 879144 KiB
Current children cumulated memory: 823140 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/261 242325
/proc/meminfo: memFree=112038672/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=896388 memory=834484 CPUtime=3331.35 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 146546 0 0 0 329161 3974 0 0 20 0 1 0 18317477 917901312 208621 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 224097 208621 1978 992 0 215955 0
Current children cumulated CPU time: 3331.35 s
Current children cumulated vsize: 896388 KiB
Current children cumulated memory: 834484 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/259 242337
/proc/meminfo: memFree=111219036/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=901156 memory=839336 CPUtime=3391.2 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 148023 0 0 0 335099 4021 0 0 20 0 1 0 18317477 922783744 209834 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 225289 209834 1978 992 0 217147 0
Current children cumulated CPU time: 3391.2 s
Current children cumulated vsize: 901156 KiB
Current children cumulated memory: 839336 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/261 242350
/proc/meminfo: memFree=110868676/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=911396 memory=848836 CPUtime=3451.06 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 150764 0 0 0 341057 4049 0 0 20 0 1 0 18317477 933269504 212209 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 227849 212209 1978 992 0 219707 0
Current children cumulated CPU time: 3451.06 s
Current children cumulated vsize: 911396 KiB
Current children cumulated memory: 848836 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/261 242361
/proc/meminfo: memFree=110589380/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=916604 memory=854732 CPUtime=3510.91 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 152448 0 0 0 347004 4087 0 0 20 0 1 0 18317477 938602496 213683 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 229151 213683 1978 992 0 221009 0
Current children cumulated CPU time: 3510.91 s
Current children cumulated vsize: 916604 KiB
Current children cumulated memory: 854732 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/262 242374
/proc/meminfo: memFree=110330400/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=916604 memory=854736 CPUtime=3570.77 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 152660 0 0 0 352943 4134 0 0 20 0 1 0 18317477 938602496 213684 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 229151 213684 1978 992 0 221009 0
Current children cumulated CPU time: 3570.77 s
Current children cumulated vsize: 916604 KiB
Current children cumulated memory: 854736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.11 4.15 4.10 5/262 242380
/proc/meminfo: memFree=110204724/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=916832 memory=854840 CPUtime=3600 cores=4,6
/proc/240248/stat : 240248 (roundingsat) R 240245 240248 239614 0 -1 4194304 152989 0 0 0 355836 4164 0 0 20 0 1 0 18317477 938835968 213710 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 229208 213710 1978 992 0 221066 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 916832 KiB
Current children cumulated memory: 854840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.72 s]
# the end of solver process 240248 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3558.36 s, system=41.6539 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.11 4.15 4.10 5/262 242380
/proc/meminfo: memFree=110204724/131524600 swapFree=131070704/131071996
[pid=240248] ppid=240245 vsize=916832 memory=854840 CPUtime=3600 cores=4,6
/proc/240248/stat : 240248 (roundingsat) D 240245 240248 239614 0 -1 4194304 152992 0 1 0 355836 4164 0 0 20 0 1 0 18317477 938835968 213710 134679101440 4194304 8254037 140736835502688 0 0 0 0 0 25182210 0 0 0 17 6 0 0 11 0 0 9037040 9046032 16777216 140736835507036 140736835507298 140736835507298 140736835514313 0
/proc/240248/statm: 229208 213710 1978 992 0 221066 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 916832 KiB
Current children cumulated memory: 854840 KiB
Child status: 0
Real time (s): 3611.72
CPU time (s): 3600.02
CPU user time (s): 3558.36
CPU system time (s): 41.6539
CPU usage (%): 99.676
Max. virtual memory (cumulated for all children) (KiB): 916832
Max. memory (cumulated for all children) (KiB): 854840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.36
system time used= 41.6539
maximum resident set size= 854988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153000
page faults= 1
swaps= 0
block input operations= 3408
block output operations= 34049440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1443
involuntary context switches= 5113
# summary of solver processes directly reported to runsolver:
# pid: 240248
# total CPU time (s): 3600.02
# total CPU user time (s): 3558.36
# total CPU system time (s): 41.6539
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93229 second user time and 16.9142 second system time
The end
Begin job on nodeC030 at 2024-07-24 12:45:35 IDJOB=4456991 IDBENCH=148775 IDSOLVER=3085 FILE ID=nodeC030/4456991-1721817935 RUNJOBID= nodeC030-1721817187-239625 SLURM_JOB_ID= 7816892 Free space on /tmp= 889800 MiB SOLVER NAME= RoundingSat log 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 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456991-1721817935/watcher-4456991-1721817935 -o /tmp/evaluation-result-4456991-1721817935/solver-4456991-1721817935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721817187-239625 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456991-1721817935 --lp-cut-gomory=0 HOME/instance-4456991-1721817935.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593 RANDOM SEED=531739116 nodeC030.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 : 3658.054 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.45 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 : 3663.979 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.153 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.45 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 : 3599.732 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.46 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 : 3653.172 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.45 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 : 3664.055 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.46 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 : 3653.679 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.45 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 : 3599.891 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 50398244 kB MemAvailable: 109386436 kB Buffers: 250244 kB Cached: 59410468 kB SwapCached: 0 kB Active: 2908540 kB Inactive: 77209700 kB Active(anon): 1544 kB Inactive(anon): 20510156 kB Active(file): 2906996 kB Inactive(file): 56699544 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 964384 kB Writeback: 0 kB AnonPages: 20454152 kB Mapped: 129504 kB Shmem: 54104 kB KReclaimable: 442952 kB Slab: 605876 kB SReclaimable: 442952 kB SUnreclaim: 162924 kB KernelStack: 4160 kB PageTables: 49852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 23237340 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 22272 kB HardwareCorrupted: 0 kB AnonHugePages: 10819584 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: 326356 kB DirectMap2M: 33001472 kB DirectMap1G: 102760448 kB Free space on /tmp at the end= 890036 MiB End job on nodeC030 at 2024-07-24 13:45:47