| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.13 | 3617.16 |
| 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.02/4.47 c #variables 4977 #constraints 5569 0.11/4.59 c bounds - >= 0 @ 0.077441 0.11/4.59 c rational objective 7 2.10/6.56 c #Conflicts: 1000 | #Constraints: 6571 2.10/6.56 c #Conflicts: 2000 | #Constraints: 7576 2.10/6.56 c INPROCESSING 2.10/6.56 c GARBAGE COLLECT 2.10/6.56 c rational objective 7 4.10/8.51 c bounds - >= 7 @ 2.07297 4.10/8.51 c #Conflicts: 3000 | #Constraints: 2616 4.10/8.51 c #Conflicts: 4000 | #Constraints: 3619 4.10/8.51 c INPROCESSING 4.10/8.51 c GARBAGE COLLECT 4.10/8.51 c rational objective 7 5.49/9.99 c #Conflicts: 5000 | #Constraints: 3023 5.49/9.99 c #Conflicts: 6000 | #Constraints: 4028 5.49/9.99 c INPROCESSING 5.49/9.99 c GARBAGE COLLECT 5.49/9.99 c rational objective 7 6.98/11.40 c #Conflicts: 7000 | #Constraints: 3036 6.98/11.40 c #Conflicts: 8000 | #Constraints: 4037 6.98/11.40 c #Conflicts: 9000 | #Constraints: 5038 6.98/11.40 c INPROCESSING 6.98/11.40 c GARBAGE COLLECT 6.98/11.40 c rational objective 7 8.69/13.14 c #Conflicts: 10000 | #Constraints: 3734 8.69/13.14 c #Conflicts: 11000 | #Constraints: 4734 8.69/13.14 c #Conflicts: 12000 | #Constraints: 5735 8.69/13.14 c INPROCESSING 8.69/13.14 c GARBAGE COLLECT 8.69/13.14 c rational objective 7 11.27/15.78 c #Conflicts: 13000 | #Constraints: 4184 11.27/15.78 c #Conflicts: 14000 | #Constraints: 5186 11.27/15.78 c #Conflicts: 15000 | #Constraints: 6192 11.27/15.78 c INPROCESSING 11.27/15.78 c GARBAGE COLLECT 11.27/15.78 c rational objective 7 16.05/20.59 c #Conflicts: 16000 | #Constraints: 4419 16.05/20.59 c #Conflicts: 17000 | #Constraints: 5422 16.05/20.59 c #Conflicts: 18000 | #Constraints: 6425 16.05/20.59 c INPROCESSING 16.05/20.59 c GARBAGE COLLECT 16.05/20.59 c rational objective 7 19.04/23.55 c #Conflicts: 19000 | #Constraints: 4439 19.04/23.55 c #Conflicts: 20000 | #Constraints: 5442 19.04/23.55 c #Conflicts: 21000 | #Constraints: 6443 19.04/23.55 c INPROCESSING 19.04/23.55 c GARBAGE COLLECT 19.04/23.55 c rational objective 7 21.34/25.82 c #Conflicts: 22000 | #Constraints: 4236 21.34/25.82 c #Conflicts: 23000 | #Constraints: 5239 21.34/25.82 c #Conflicts: 24000 | #Constraints: 6241 21.34/25.82 c #Conflicts: 25000 | #Constraints: 7243 21.34/25.82 c INPROCESSING 21.34/25.82 c GARBAGE COLLECT 21.34/25.82 c rational objective 7 24.73/29.25 c #Conflicts: 26000 | #Constraints: 4839 24.73/29.25 c #Conflicts: 27000 | #Constraints: 5842 24.73/29.25 c #Conflicts: 28000 | #Constraints: 6843 24.73/29.25 c #Conflicts: 29000 | #Constraints: 7844 24.73/29.25 c INPROCESSING 24.73/29.25 c GARBAGE COLLECT 24.73/29.25 c rational objective 7 28.21/32.77 c #Conflicts: 30000 | #Constraints: 5237 28.21/32.77 c #Conflicts: 31000 | #Constraints: 6242 28.21/32.77 c #Conflicts: 32000 | #Constraints: 7247 28.21/32.77 c #Conflicts: 33000 | #Constraints: 8249 28.21/32.77 c INPROCESSING 28.21/32.77 c GARBAGE COLLECT 28.21/32.77 c rational objective 7 34.51/39.06 c #Conflicts: 34000 | #Constraints: 5439 34.51/39.06 c #Conflicts: 35000 | #Constraints: 6440 34.51/39.06 c #Conflicts: 36000 | #Constraints: 7442 34.51/39.06 c #Conflicts: 37000 | #Constraints: 8444 34.51/39.06 c INPROCESSING 34.51/39.06 c GARBAGE COLLECT 34.51/39.06 c rational objective 7 43.36/47.99 c #Conflicts: 38000 | #Constraints: 5453 43.36/47.99 c #Conflicts: 39000 | #Constraints: 6462 43.36/47.99 c #Conflicts: 40000 | #Constraints: 7468 43.36/47.99 c #Conflicts: 41000 | #Constraints: 8469 43.36/47.99 c INPROCESSING 43.36/47.99 c GARBAGE COLLECT 43.36/47.99 c rational objective 7 48.94/53.52 c #Conflicts: 42000 | #Constraints: 5264 48.94/53.52 c #Conflicts: 43000 | #Constraints: 6269 48.94/53.52 c #Conflicts: 44000 | #Constraints: 7271 48.94/53.52 c #Conflicts: 45000 | #Constraints: 8274 48.94/53.52 c #Conflicts: 46000 | #Constraints: 9278 48.94/53.52 c INPROCESSING 48.94/53.52 c GARBAGE COLLECT 48.94/53.52 c rational objective 7 52.83/57.45 c #Conflicts: 47000 | #Constraints: 5855 52.83/57.45 c #Conflicts: 48000 | #Constraints: 6855 52.83/57.45 c #Conflicts: 49000 | #Constraints: 7857 52.83/57.45 c #Conflicts: 50000 | #Constraints: 8860 52.83/57.45 c #Conflicts: 51000 | #Constraints: 9863 52.83/57.45 c INPROCESSING 52.83/57.45 c GARBAGE COLLECT 52.83/57.45 c rational objective 7 58.21/62.89 c #Conflicts: 52000 | #Constraints: 6254 58.21/62.89 c #Conflicts: 53000 | #Constraints: 7256 58.21/62.89 c #Conflicts: 54000 | #Constraints: 8257 58.21/62.89 c #Conflicts: 55000 | #Constraints: 9259 58.21/62.89 c #Conflicts: 56000 | #Constraints: 10261 58.21/62.89 c INPROCESSING 58.21/62.89 c GARBAGE COLLECT 58.21/62.89 c rational objective 7 62.30/67.01 c #Conflicts: 57000 | #Constraints: 6450 62.30/67.01 c #Conflicts: 58000 | #Constraints: 7452 62.30/67.01 c #Conflicts: 59000 | #Constraints: 8456 62.30/67.01 c #Conflicts: 60000 | #Constraints: 9460 62.30/67.01 c #Conflicts: 61000 | #Constraints: 10461 62.30/67.01 c INPROCESSING 62.30/67.01 c GARBAGE COLLECT 62.30/67.01 c rational objective 7 72.16/76.89 c #Conflicts: 62000 | #Constraints: 6449 72.16/76.89 c #Conflicts: 63000 | #Constraints: 7453 72.16/76.89 c #Conflicts: 64000 | #Constraints: 8456 72.16/76.89 c #Conflicts: 65000 | #Constraints: 9459 72.16/76.89 c #Conflicts: 66000 | #Constraints: 10464 72.16/76.89 c INPROCESSING 72.16/76.89 c GARBAGE COLLECT 72.16/76.89 c rational objective 7 81.23/85.98 c #Conflicts: 67000 | #Constraints: 6246 81.23/85.98 c #Conflicts: 68000 | #Constraints: 7249 81.23/85.98 c #Conflicts: 69000 | #Constraints: 8254 81.23/85.98 c #Conflicts: 70000 | #Constraints: 9257 81.23/85.98 c #Conflicts: 71000 | #Constraints: 10263 81.23/85.98 c #Conflicts: 72000 | #Constraints: 11265 81.23/85.98 c INPROCESSING 81.23/85.98 c GARBAGE COLLECT 81.23/85.98 c rational objective 7 86.91/91.62 c #Conflicts: 73000 | #Constraints: 6859 86.91/91.62 c #Conflicts: 74000 | #Constraints: 7864 86.91/91.62 c #Conflicts: 75000 | #Constraints: 8873 86.91/91.62 c #Conflicts: 76000 | #Constraints: 9876 86.91/91.62 c #Conflicts: 77000 | #Constraints: 10877 86.91/91.62 c #Conflicts: 78000 | #Constraints: 11882 86.91/91.62 c INPROCESSING 86.91/91.62 c GARBAGE COLLECT 86.91/91.62 c rational objective 7 96.67/101.44 c #Conflicts: 79000 | #Constraints: 7267 96.67/101.44 c #Conflicts: 80000 | #Constraints: 8271 96.67/101.44 c #Conflicts: 81000 | #Constraints: 9273 96.67/101.44 c #Conflicts: 82000 | #Constraints: 10273 96.67/101.44 c #Conflicts: 83000 | #Constraints: 11274 96.67/101.44 c #Conflicts: 84000 | #Constraints: 12277 96.67/101.44 c INPROCESSING 96.67/101.44 c GARBAGE COLLECT 96.67/101.44 c rational objective 7 112.33/117.14 c #Conflicts: 85000 | #Constraints: 7464 112.33/117.14 c #Conflicts: 86000 | #Constraints: 8467 112.33/117.14 c #Conflicts: 87000 | #Constraints: 9470 112.33/117.14 c #Conflicts: 88000 | #Constraints: 10473 112.33/117.14 c #Conflicts: 89000 | #Constraints: 11476 112.33/117.14 c #Conflicts: 90000 | #Constraints: 12479 112.33/117.14 c INPROCESSING 112.33/117.14 c GARBAGE COLLECT 112.33/117.14 c rational objective 7 120.39/125.28 c #Conflicts: 91000 | #Constraints: 7468 120.39/125.28 c #Conflicts: 92000 | #Constraints: 8471 120.39/125.28 c #Conflicts: 93000 | #Constraints: 9473 120.39/125.28 c #Conflicts: 94000 | #Constraints: 10474 120.39/125.28 c #Conflicts: 95000 | #Constraints: 11477 120.39/125.28 c #Conflicts: 96000 | #Constraints: 12479 120.39/125.28 c INPROCESSING 120.39/125.28 c GARBAGE COLLECT 120.39/125.28 c rational objective 7 136.63/141.58 c #Conflicts: 97000 | #Constraints: 7285 136.63/141.58 c #Conflicts: 98000 | #Constraints: 8290 136.63/141.58 c #Conflicts: 99000 | #Constraints: 9294 136.63/141.58 c #Conflicts: 100000 | #Constraints: 10298 136.63/141.58 c #Conflicts: 101000 | #Constraints: 11302 136.63/141.58 c #Conflicts: 102000 | #Constraints: 12305 136.63/141.58 c #Conflicts: 103000 | #Constraints: 13310 136.63/141.58 c INPROCESSING 136.63/141.58 c GARBAGE COLLECT 136.63/141.58 c rational objective 7 143.81/148.76 c #Conflicts: 104000 | #Constraints: 7872 143.81/148.76 c #Conflicts: 105000 | #Constraints: 8875 143.81/148.76 c #Conflicts: 106000 | #Constraints: 9875 143.81/148.76 c #Conflicts: 107000 | #Constraints: 10878 143.81/148.76 c #Conflicts: 108000 | #Constraints: 11881 143.81/148.76 c #Conflicts: 109000 | #Constraints: 12883 143.81/148.76 c #Conflicts: 110000 | #Constraints: 13887 143.81/148.76 c INPROCESSING 143.81/148.76 c GARBAGE COLLECT 143.81/148.76 c rational objective 7 151.48/156.42 c #Conflicts: 111000 | #Constraints: 8267 151.48/156.42 c #Conflicts: 112000 | #Constraints: 9271 151.48/156.42 c #Conflicts: 113000 | #Constraints: 10275 151.48/156.42 c #Conflicts: 114000 | #Constraints: 11279 151.48/156.42 c #Conflicts: 115000 | #Constraints: 12282 151.48/156.42 c #Conflicts: 116000 | #Constraints: 13284 151.48/156.42 c #Conflicts: 117000 | #Constraints: 14285 151.48/156.42 c INPROCESSING 151.48/156.42 c GARBAGE COLLECT 151.48/156.42 c rational objective 7 160.95/165.97 c #Conflicts: 118000 | #Constraints: 8473 160.95/165.97 c #Conflicts: 119000 | #Constraints: 9477 160.95/165.97 c #Conflicts: 120000 | #Constraints: 10478 160.95/165.97 c #Conflicts: 121000 | #Constraints: 11482 160.95/165.97 c #Conflicts: 122000 | #Constraints: 12485 160.95/165.97 c #Conflicts: 123000 | #Constraints: 13488 160.95/165.97 c #Conflicts: 124000 | #Constraints: 14491 160.95/165.97 c INPROCESSING 160.95/165.97 c GARBAGE COLLECT 160.95/165.97 c rational objective 7 172.81/177.80 c #Conflicts: 125000 | #Constraints: 8473 172.81/177.80 c #Conflicts: 126000 | #Constraints: 9476 172.81/177.80 c #Conflicts: 127000 | #Constraints: 10479 172.81/177.80 c #Conflicts: 128000 | #Constraints: 11487 172.81/177.80 c #Conflicts: 129000 | #Constraints: 12499 172.81/177.80 c #Conflicts: 130000 | #Constraints: 13503 172.81/177.80 c #Conflicts: 131000 | #Constraints: 14508 172.81/177.80 c INPROCESSING 172.81/177.80 c GARBAGE COLLECT 172.81/177.80 c rational objective 7 186.97/192.10 c #Conflicts: 132000 | #Constraints: 8269 186.97/192.10 c #Conflicts: 133000 | #Constraints: 9272 186.97/192.10 c #Conflicts: 134000 | #Constraints: 10275 186.97/192.10 c #Conflicts: 135000 | #Constraints: 11278 186.97/192.10 c #Conflicts: 136000 | #Constraints: 12280 186.97/192.10 c #Conflicts: 137000 | #Constraints: 13283 186.97/192.10 c #Conflicts: 138000 | #Constraints: 14288 186.97/192.10 c #Conflicts: 139000 | #Constraints: 15293 186.97/192.10 c INPROCESSING 186.97/192.10 c GARBAGE COLLECT 186.97/192.10 c rational objective 7 202.31/207.42 c #Conflicts: 140000 | #Constraints: 8870 202.31/207.42 c #Conflicts: 141000 | #Constraints: 9874 202.31/207.42 c #Conflicts: 142000 | #Constraints: 10877 202.31/207.42 c #Conflicts: 143000 | #Constraints: 11881 202.31/207.42 c #Conflicts: 144000 | #Constraints: 12887 202.31/207.42 c #Conflicts: 145000 | #Constraints: 13891 202.31/207.42 c #Conflicts: 146000 | #Constraints: 14893 202.31/207.42 c #Conflicts: 147000 | #Constraints: 15894 202.31/207.42 c INPROCESSING 202.31/207.42 c GARBAGE COLLECT 202.31/207.42 c rational objective 7 212.67/217.87 c #Conflicts: 148000 | #Constraints: 9282 212.67/217.87 c #Conflicts: 149000 | #Constraints: 10283 212.67/217.87 c #Conflicts: 150000 | #Constraints: 11286 212.67/217.87 c #Conflicts: 151000 | #Constraints: 12288 212.67/217.87 c #Conflicts: 152000 | #Constraints: 13289 212.67/217.87 c #Conflicts: 153000 | #Constraints: 14292 212.67/217.87 c #Conflicts: 154000 | #Constraints: 15300 212.67/217.87 c #Conflicts: 155000 | #Constraints: 16304 212.67/217.87 c INPROCESSING 212.67/217.87 c GARBAGE COLLECT 212.67/217.87 c rational objective 7 221.44/226.66 c #Conflicts: 156000 | #Constraints: 9479 221.44/226.66 c #Conflicts: 157000 | #Constraints: 10481 221.44/226.66 c #Conflicts: 158000 | #Constraints: 11485 221.44/226.66 c #Conflicts: 159000 | #Constraints: 12487 221.44/226.66 c #Conflicts: 160000 | #Constraints: 13489 221.44/226.66 c #Conflicts: 161000 | #Constraints: 14491 221.44/226.66 c #Conflicts: 162000 | #Constraints: 15495 221.44/226.66 c #Conflicts: 163000 | #Constraints: 16496 221.44/226.66 c INPROCESSING 221.44/226.66 c GARBAGE COLLECT 221.44/226.66 c rational objective 7 238.98/244.28 c #Conflicts: 164000 | #Constraints: 9474 238.98/244.28 c #Conflicts: 165000 | #Constraints: 10477 238.98/244.28 c #Conflicts: 166000 | #Constraints: 11480 238.98/244.28 c #Conflicts: 167000 | #Constraints: 12486 238.98/244.28 c #Conflicts: 168000 | #Constraints: 13488 238.98/244.28 c #Conflicts: 169000 | #Constraints: 14489 238.98/244.28 c #Conflicts: 170000 | #Constraints: 15491 238.98/244.28 c #Conflicts: 171000 | #Constraints: 16492 238.98/244.28 c INPROCESSING 238.98/244.28 c GARBAGE COLLECT 238.98/244.28 c rational objective 7 251.64/256.95 c #Conflicts: 172000 | #Constraints: 9275 251.64/256.95 c #Conflicts: 173000 | #Constraints: 10278 251.64/256.95 c #Conflicts: 174000 | #Constraints: 11282 251.64/256.95 c #Conflicts: 175000 | #Constraints: 12284 251.64/256.95 c #Conflicts: 176000 | #Constraints: 13286 251.64/256.95 c #Conflicts: 177000 | #Constraints: 14289 251.64/256.95 c #Conflicts: 178000 | #Constraints: 15293 251.64/256.95 c #Conflicts: 179000 | #Constraints: 16296 251.64/256.95 c #Conflicts: 180000 | #Constraints: 17296 251.64/256.95 c INPROCESSING 251.64/256.95 c GARBAGE COLLECT 251.64/256.95 c rational objective 7 265.69/271.10 c #Conflicts: 181000 | #Constraints: 9867 265.69/271.10 c #Conflicts: 182000 | #Constraints: 10873 265.69/271.10 c #Conflicts: 183000 | #Constraints: 11877 265.69/271.10 c #Conflicts: 184000 | #Constraints: 12881 265.69/271.10 c #Conflicts: 185000 | #Constraints: 13884 265.69/271.10 c #Conflicts: 186000 | #Constraints: 14888 265.69/271.10 c #Conflicts: 187000 | #Constraints: 15890 265.69/271.10 c #Conflicts: 188000 | #Constraints: 16894 265.69/271.10 c #Conflicts: 189000 | #Constraints: 17898 265.69/271.10 c INPROCESSING 265.69/271.10 c GARBAGE COLLECT 265.69/271.10 c rational objective 7 285.32/290.72 c #Conflicts: 190000 | #Constraints: 10269 285.32/290.72 c #Conflicts: 191000 | #Constraints: 11272 285.32/290.72 c #Conflicts: 192000 | #Constraints: 12279 285.32/290.72 c #Conflicts: 193000 | #Constraints: 13281 285.32/290.72 c #Conflicts: 194000 | #Constraints: 14283 285.32/290.72 c #Conflicts: 195000 | #Constraints: 15283 285.32/290.72 c #Conflicts: 196000 | #Constraints: 16283 285.32/290.72 c #Conflicts: 197000 | #Constraints: 17285 285.32/290.72 c #Conflicts: 198000 | #Constraints: 18286 285.32/290.72 c INPROCESSING 285.32/290.72 c GARBAGE COLLECT 285.32/290.72 c rational objective 7 313.61/319.15 c #Conflicts: 199000 | #Constraints: 10486 313.61/319.15 c #Conflicts: 200000 | #Constraints: 11490 313.61/319.15 c #Conflicts: 201000 | #Constraints: 12490 313.61/319.15 c #Conflicts: 202000 | #Constraints: 13492 313.61/319.15 c #Conflicts: 203000 | #Constraints: 14496 313.61/319.15 c #Conflicts: 204000 | #Constraints: 15497 313.61/319.15 c #Conflicts: 205000 | #Constraints: 16500 313.61/319.15 c #Conflicts: 206000 | #Constraints: 17503 313.61/319.15 c #Conflicts: 207000 | #Constraints: 18504 313.61/319.15 c INPROCESSING 313.61/319.15 c GARBAGE COLLECT 313.61/319.15 c rational objective 7 336.42/342.09 c #Conflicts: 208000 | #Constraints: 10476 336.42/342.09 c #Conflicts: 209000 | #Constraints: 11476 336.42/342.09 c #Conflicts: 210000 | #Constraints: 12477 336.42/342.09 c #Conflicts: 211000 | #Constraints: 13479 336.42/342.09 c #Conflicts: 212000 | #Constraints: 14480 336.42/342.09 c #Conflicts: 213000 | #Constraints: 15482 336.42/342.09 c #Conflicts: 214000 | #Constraints: 16483 336.42/342.09 c #Conflicts: 215000 | #Constraints: 17484 336.42/342.09 c #Conflicts: 216000 | #Constraints: 18485 336.42/342.09 c INPROCESSING 336.42/342.09 c GARBAGE COLLECT 336.42/342.09 c rational objective 7 366.31/372.09 c #Conflicts: 217000 | #Constraints: 10269 366.31/372.09 c #Conflicts: 218000 | #Constraints: 11273 366.31/372.09 c #Conflicts: 219000 | #Constraints: 12278 366.31/372.09 c #Conflicts: 220000 | #Constraints: 13282 366.31/372.09 c #Conflicts: 221000 | #Constraints: 14287 366.31/372.09 c #Conflicts: 222000 | #Constraints: 15291 366.31/372.09 c #Conflicts: 223000 | #Constraints: 16292 366.31/372.09 c #Conflicts: 224000 | #Constraints: 17296 366.31/372.09 c #Conflicts: 225000 | #Constraints: 18297 366.31/372.09 c #Conflicts: 226000 | #Constraints: 19298 366.31/372.09 c INPROCESSING 366.31/372.09 c GARBAGE COLLECT 366.31/372.09 c rational objective 7 393.99/399.88 c #Conflicts: 227000 | #Constraints: 10870 393.99/399.88 c #Conflicts: 228000 | #Constraints: 11873 393.99/399.88 c #Conflicts: 229000 | #Constraints: 12874 393.99/399.88 c #Conflicts: 230000 | #Constraints: 13875 393.99/399.88 c #Conflicts: 231000 | #Constraints: 14879 393.99/399.88 c #Conflicts: 232000 | #Constraints: 15880 393.99/399.88 c #Conflicts: 233000 | #Constraints: 16881 393.99/399.88 c #Conflicts: 234000 | #Constraints: 17886 393.99/399.88 c #Conflicts: 235000 | #Constraints: 18887 393.99/399.88 c #Conflicts: 236000 | #Constraints: 19889 393.99/399.88 c INPROCESSING 393.99/399.88 c GARBAGE COLLECT 393.99/399.88 c rational objective 7 412.72/418.68 c #Conflicts: 237000 | #Constraints: 11258 412.72/418.68 c #Conflicts: 238000 | #Constraints: 12261 412.72/418.68 c #Conflicts: 239000 | #Constraints: 13264 412.72/418.68 c #Conflicts: 240000 | #Constraints: 14269 412.72/418.68 c #Conflicts: 241000 | #Constraints: 15273 412.72/418.68 c #Conflicts: 242000 | #Constraints: 16275 412.72/418.68 c #Conflicts: 243000 | #Constraints: 17277 412.72/418.68 c #Conflicts: 244000 | #Constraints: 18278 412.72/418.68 c #Conflicts: 245000 | #Constraints: 19282 412.72/418.68 c #Conflicts: 246000 | #Constraints: 20284 412.72/418.68 c INPROCESSING 412.72/418.68 c GARBAGE COLLECT 412.72/418.68 c rational objective 7 434.53/440.51 c #Conflicts: 247000 | #Constraints: 11471 434.53/440.51 c #Conflicts: 248000 | #Constraints: 12478 434.53/440.51 c #Conflicts: 249000 | #Constraints: 13481 434.53/440.51 c #Conflicts: 250000 | #Constraints: 14484 434.53/440.51 c #Conflicts: 251000 | #Constraints: 15487 434.53/440.51 c #Conflicts: 252000 | #Constraints: 16488 434.53/440.51 c #Conflicts: 253000 | #Constraints: 17495 434.53/440.51 c #Conflicts: 254000 | #Constraints: 18498 434.53/440.51 c #Conflicts: 255000 | #Constraints: 19503 434.53/440.51 c #Conflicts: 256000 | #Constraints: 20507 434.53/440.51 c INPROCESSING 434.53/440.51 c GARBAGE COLLECT 434.53/440.51 c rational objective 7 453.17/459.27 c #Conflicts: 257000 | #Constraints: 11477 453.17/459.27 c #Conflicts: 258000 | #Constraints: 12482 453.17/459.27 c #Conflicts: 259000 | #Constraints: 13484 453.17/459.27 c #Conflicts: 260000 | #Constraints: 14489 453.17/459.27 c #Conflicts: 261000 | #Constraints: 15492 453.17/459.27 c #Conflicts: 262000 | #Constraints: 16496 453.17/459.27 c #Conflicts: 263000 | #Constraints: 17502 453.17/459.27 c #Conflicts: 264000 | #Constraints: 18505 453.17/459.27 c #Conflicts: 265000 | #Constraints: 19508 453.17/459.27 c #Conflicts: 266000 | #Constraints: 20511 453.17/459.27 c INPROCESSING 453.17/459.27 c GARBAGE COLLECT 453.17/459.27 c rational objective 7 474.70/480.84 c #Conflicts: 267000 | #Constraints: 11286 474.70/480.84 c #Conflicts: 268000 | #Constraints: 12286 474.70/480.84 c #Conflicts: 269000 | #Constraints: 13293 474.70/480.84 c #Conflicts: 270000 | #Constraints: 14299 474.70/480.84 c #Conflicts: 271000 | #Constraints: 15304 474.70/480.84 c #Conflicts: 272000 | #Constraints: 16306 474.70/480.84 c #Conflicts: 273000 | #Constraints: 17306 474.70/480.84 c #Conflicts: 274000 | #Constraints: 18307 474.70/480.84 c #Conflicts: 275000 | #Constraints: 19308 474.70/480.84 c #Conflicts: 276000 | #Constraints: 20311 474.70/480.84 c #Conflicts: 277000 | #Constraints: 21313 474.70/480.84 c INPROCESSING 474.70/480.84 c GARBAGE COLLECT 474.70/480.84 c rational objective 7 496.84/503.10 c #Conflicts: 278000 | #Constraints: 11887 496.84/503.10 c #Conflicts: 279000 | #Constraints: 12889 496.84/503.10 c #Conflicts: 280000 | #Constraints: 13893 496.84/503.10 c #Conflicts: 281000 | #Constraints: 14895 496.84/503.10 c #Conflicts: 282000 | #Constraints: 15899 496.84/503.10 c #Conflicts: 283000 | #Constraints: 16902 496.84/503.10 c #Conflicts: 284000 | #Constraints: 17904 496.84/503.10 c #Conflicts: 285000 | #Constraints: 18908 496.84/503.10 c #Conflicts: 286000 | #Constraints: 19912 496.84/503.10 c #Conflicts: 287000 | #Constraints: 20915 496.84/503.10 c #Conflicts: 288000 | #Constraints: 21918 496.84/503.10 c INPROCESSING 496.84/503.10 c GARBAGE COLLECT 496.84/503.10 c rational objective 7 515.78/522.03 c #Conflicts: 289000 | #Constraints: 12279 515.78/522.03 c #Conflicts: 290000 | #Constraints: 13282 515.78/522.03 c #Conflicts: 291000 | #Constraints: 14286 515.78/522.03 c #Conflicts: 292000 | #Constraints: 15293 515.78/522.03 c #Conflicts: 293000 | #Constraints: 16300 515.78/522.03 c #Conflicts: 294000 | #Constraints: 17304 515.78/522.03 c #Conflicts: 295000 | #Constraints: 18310 515.78/522.03 c #Conflicts: 296000 | #Constraints: 19313 515.78/522.03 c #Conflicts: 297000 | #Constraints: 20316 515.78/522.03 c #Conflicts: 298000 | #Constraints: 21317 515.78/522.03 c #Conflicts: 299000 | #Constraints: 22320 515.78/522.03 c INPROCESSING 515.78/522.03 c GARBAGE COLLECT 515.78/522.03 c rational objective 7 531.62/537.91 c #Conflicts: 300000 | #Constraints: 12478 531.62/537.91 c #Conflicts: 301000 | #Constraints: 13482 531.62/537.91 c #Conflicts: 302000 | #Constraints: 14489 531.62/537.91 c #Conflicts: 303000 | #Constraints: 15493 531.62/537.91 c #Conflicts: 304000 | #Constraints: 16496 531.62/537.91 c #Conflicts: 305000 | #Constraints: 17500 531.62/537.91 c #Conflicts: 306000 | #Constraints: 18506 531.62/537.91 c #Conflicts: 307000 | #Constraints: 19508 531.62/537.91 c #Conflicts: 308000 | #Constraints: 20513 531.62/537.91 c #Conflicts: 309000 | #Constraints: 21518 531.62/537.91 c #Conflicts: 310000 | #Constraints: 22520 531.62/537.91 c INPROCESSING 531.62/537.91 c GARBAGE COLLECT 531.62/537.91 c rational objective 7 568.89/575.32 c #Conflicts: 311000 | #Constraints: 12479 568.89/575.32 c #Conflicts: 312000 | #Constraints: 13482 568.89/575.32 c #Conflicts: 313000 | #Constraints: 14487 568.89/575.32 c #Conflicts: 314000 | #Constraints: 15495 568.89/575.32 c #Conflicts: 315000 | #Constraints: 16499 568.89/575.32 c #Conflicts: 316000 | #Constraints: 17501 568.89/575.32 c #Conflicts: 317000 | #Constraints: 18501 568.89/575.32 c #Conflicts: 318000 | #Constraints: 19506 568.89/575.32 c #Conflicts: 319000 | #Constraints: 20510 568.89/575.32 c #Conflicts: 320000 | #Constraints: 21512 568.89/575.32 c #Conflicts: 321000 | #Constraints: 22513 568.89/575.32 c INPROCESSING 568.89/575.32 c GARBAGE COLLECT 568.89/575.32 c rational objective 7 583.66/590.11 c #Conflicts: 322000 | #Constraints: 12288 583.66/590.11 c #Conflicts: 323000 | #Constraints: 13291 583.66/590.11 c #Conflicts: 324000 | #Constraints: 14292 583.66/590.11 c #Conflicts: 325000 | #Constraints: 15294 583.66/590.11 c #Conflicts: 326000 | #Constraints: 16296 583.66/590.11 c #Conflicts: 327000 | #Constraints: 17298 583.66/590.11 c #Conflicts: 328000 | #Constraints: 18303 583.66/590.11 c #Conflicts: 329000 | #Constraints: 19311 583.66/590.11 c #Conflicts: 330000 | #Constraints: 20315 583.66/590.11 c #Conflicts: 331000 | #Constraints: 21317 583.66/590.11 c #Conflicts: 332000 | #Constraints: 22319 583.66/590.11 c #Conflicts: 333000 | #Constraints: 23322 583.66/590.11 c INPROCESSING 583.66/590.11 c GARBAGE COLLECT 583.66/590.11 c rational objective 7 607.27/613.85 c #Conflicts: 334000 | #Constraints: 12886 607.27/613.85 c #Conflicts: 335000 | #Constraints: 13889 607.27/613.85 c #Conflicts: 336000 | #Constraints: 14891 607.27/613.85 c #Conflicts: 337000 | #Constraints: 15893 607.27/613.85 c #Conflicts: 338000 | #Constraints: 16897 607.27/613.85 c #Conflicts: 339000 | #Constraints: 17900 607.27/613.85 c #Conflicts: 340000 | #Constraints: 18903 607.27/613.85 c #Conflicts: 341000 | #Constraints: 19904 607.27/613.85 c #Conflicts: 342000 | #Constraints: 20908 607.27/613.85 c #Conflicts: 343000 | #Constraints: 21913 607.27/613.85 c #Conflicts: 344000 | #Constraints: 22917 607.27/613.85 c #Conflicts: 345000 | #Constraints: 23921 607.27/613.85 c INPROCESSING 607.27/613.85 c GARBAGE COLLECT 607.27/613.85 c rational objective 7 632.39/639.06 c #Conflicts: 346000 | #Constraints: 13289 632.39/639.06 c #Conflicts: 347000 | #Constraints: 14291 632.39/639.06 c #Conflicts: 348000 | #Constraints: 15295 632.39/639.06 c #Conflicts: 349000 | #Constraints: 16299 632.39/639.06 c #Conflicts: 350000 | #Constraints: 17301 632.39/639.06 c #Conflicts: 351000 | #Constraints: 18303 632.39/639.06 c #Conflicts: 352000 | #Constraints: 19305 632.39/639.06 c #Conflicts: 353000 | #Constraints: 20311 632.39/639.06 c #Conflicts: 354000 | #Constraints: 21312 632.39/639.06 c #Conflicts: 355000 | #Constraints: 22316 632.39/639.06 c #Conflicts: 356000 | #Constraints: 23321 632.39/639.06 c #Conflicts: 357000 | #Constraints: 24329 632.39/639.06 c INPROCESSING 632.39/639.06 c GARBAGE COLLECT 632.39/639.06 c rational objective 7 663.08/669.87 c #Conflicts: 358000 | #Constraints: 13487 663.08/669.87 c #Conflicts: 359000 | #Constraints: 14488 663.08/669.87 c #Conflicts: 360000 | #Constraints: 15491 663.08/669.87 c #Conflicts: 361000 | #Constraints: 16495 663.08/669.87 c #Conflicts: 362000 | #Constraints: 17496 663.08/669.87 c #Conflicts: 363000 | #Constraints: 18497 663.08/669.87 c #Conflicts: 364000 | #Constraints: 19500 663.08/669.87 c #Conflicts: 365000 | #Constraints: 20505 663.08/669.87 c #Conflicts: 366000 | #Constraints: 21508 663.08/669.87 c #Conflicts: 367000 | #Constraints: 22514 663.08/669.87 c #Conflicts: 368000 | #Constraints: 23518 663.08/669.87 c #Conflicts: 369000 | #Constraints: 24522 663.08/669.87 c INPROCESSING 663.08/669.87 c GARBAGE COLLECT 663.08/669.87 c rational objective 7 684.10/690.97 c #Conflicts: 370000 | #Constraints: 13505 684.10/690.97 c #Conflicts: 371000 | #Constraints: 14509 684.10/690.97 c #Conflicts: 372000 | #Constraints: 15513 684.10/690.97 c #Conflicts: 373000 | #Constraints: 16515 684.10/690.97 c #Conflicts: 374000 | #Constraints: 17521 684.10/690.97 c #Conflicts: 375000 | #Constraints: 18527 684.10/690.97 c #Conflicts: 376000 | #Constraints: 19532 684.10/690.97 c #Conflicts: 377000 | #Constraints: 20532 684.10/690.97 c #Conflicts: 378000 | #Constraints: 21535 684.10/690.97 c #Conflicts: 379000 | #Constraints: 22536 684.10/690.97 c #Conflicts: 380000 | #Constraints: 23538 684.10/690.97 c #Conflicts: 381000 | #Constraints: 24541 684.10/690.97 c INPROCESSING 684.10/690.97 c GARBAGE COLLECT 684.10/690.97 c rational objective 7 709.02/715.96 c #Conflicts: 382000 | #Constraints: 13282 709.02/715.96 c #Conflicts: 383000 | #Constraints: 14285 709.02/715.96 c #Conflicts: 384000 | #Constraints: 15287 709.02/715.96 c #Conflicts: 385000 | #Constraints: 16288 709.02/715.96 c #Conflicts: 386000 | #Constraints: 17294 709.02/715.96 c #Conflicts: 387000 | #Constraints: 18298 709.02/715.96 c #Conflicts: 388000 | #Constraints: 19301 709.02/715.96 c #Conflicts: 389000 | #Constraints: 20303 709.02/715.96 c #Conflicts: 390000 | #Constraints: 21307 709.02/715.96 c #Conflicts: 391000 | #Constraints: 22310 709.02/715.96 c #Conflicts: 392000 | #Constraints: 23312 709.02/715.96 c #Conflicts: 393000 | #Constraints: 24319 709.02/715.96 c #Conflicts: 394000 | #Constraints: 25322 709.02/715.96 c INPROCESSING 709.02/715.96 c GARBAGE COLLECT 709.02/715.96 c rational objective 7 739.52/746.51 c #Conflicts: 395000 | #Constraints: 13890 739.52/746.51 c #Conflicts: 396000 | #Constraints: 14895 739.52/746.51 c #Conflicts: 397000 | #Constraints: 15898 739.52/746.51 c #Conflicts: 398000 | #Constraints: 16900 739.52/746.51 c #Conflicts: 399000 | #Constraints: 17901 739.52/746.51 c #Conflicts: 400000 | #Constraints: 18902 739.52/746.51 c #Conflicts: 401000 | #Constraints: 19906 739.52/746.51 c #Conflicts: 402000 | #Constraints: 20908 739.52/746.51 c #Conflicts: 403000 | #Constraints: 21908 739.52/746.51 c #Conflicts: 404000 | #Constraints: 22910 739.52/746.51 c #Conflicts: 405000 | #Constraints: 23916 739.52/746.51 c #Conflicts: 406000 | #Constraints: 24918 739.52/746.51 c #Conflicts: 407000 | #Constraints: 25919 739.52/746.51 c INPROCESSING 739.52/746.51 c GARBAGE COLLECT 739.52/746.51 c rational objective 7 768.52/775.67 c #Conflicts: 408000 | #Constraints: 14281 768.52/775.67 c #Conflicts: 409000 | #Constraints: 15284 768.52/775.67 c #Conflicts: 410000 | #Constraints: 16285 768.52/775.67 c #Conflicts: 411000 | #Constraints: 17292 768.52/775.67 c #Conflicts: 412000 | #Constraints: 18299 768.52/775.67 c #Conflicts: 413000 | #Constraints: 19303 768.52/775.67 c #Conflicts: 414000 | #Constraints: 20316 768.52/775.67 c #Conflicts: 415000 | #Constraints: 21323 768.52/775.67 c #Conflicts: 416000 | #Constraints: 22327 768.52/775.67 c #Conflicts: 417000 | #Constraints: 23331 768.52/775.67 c #Conflicts: 418000 | #Constraints: 24335 768.52/775.67 c #Conflicts: 419000 | #Constraints: 25338 768.52/775.67 c #Conflicts: 420000 | #Constraints: 26341 768.52/775.67 c INPROCESSING 768.52/775.67 c GARBAGE COLLECT 768.52/775.67 c rational objective 7 820.76/828.09 c #Conflicts: 421000 | #Constraints: 14507 820.76/828.09 c #Conflicts: 422000 | #Constraints: 15508 820.76/828.09 c #Conflicts: 423000 | #Constraints: 16509 820.76/828.09 c #Conflicts: 424000 | #Constraints: 17511 820.76/828.09 c #Conflicts: 425000 | #Constraints: 18513 820.76/828.09 c #Conflicts: 426000 | #Constraints: 19515 820.76/828.09 c #Conflicts: 427000 | #Constraints: 20515 820.76/828.09 c #Conflicts: 428000 | #Constraints: 21515 820.76/828.09 c #Conflicts: 429000 | #Constraints: 22515 820.76/828.09 c #Conflicts: 430000 | #Constraints: 23515 820.76/828.09 c #Conflicts: 431000 | #Constraints: 24515 820.76/828.09 c #Conflicts: 432000 | #Constraints: 25516 820.76/828.09 c #Conflicts: 433000 | #Constraints: 26517 820.76/828.09 c INPROCESSING 820.76/828.09 c GARBAGE COLLECT 820.76/828.09 c rational objective 7 847.16/854.59 c #Conflicts: 434000 | #Constraints: 14488 847.16/854.59 c #Conflicts: 435000 | #Constraints: 15496 847.16/854.59 c #Conflicts: 436000 | #Constraints: 16501 847.16/854.59 c #Conflicts: 437000 | #Constraints: 17503 847.16/854.59 c #Conflicts: 438000 | #Constraints: 18509 847.16/854.59 c #Conflicts: 439000 | #Constraints: 19512 847.16/854.59 c #Conflicts: 440000 | #Constraints: 20513 847.16/854.59 c #Conflicts: 441000 | #Constraints: 21516 847.16/854.59 c #Conflicts: 442000 | #Constraints: 22521 847.16/854.59 c #Conflicts: 443000 | #Constraints: 23523 847.16/854.59 c #Conflicts: 444000 | #Constraints: 24527 847.16/854.59 c #Conflicts: 445000 | #Constraints: 25533 847.16/854.59 c #Conflicts: 446000 | #Constraints: 26537 847.16/854.59 c INPROCESSING 847.16/854.59 c GARBAGE COLLECT 847.16/854.59 c rational objective 7 911.56/919.18 c #Conflicts: 447000 | #Constraints: 14315 911.56/919.18 c #Conflicts: 448000 | #Constraints: 15323 911.56/919.18 c #Conflicts: 449000 | #Constraints: 16327 911.56/919.18 c #Conflicts: 450000 | #Constraints: 17329 911.56/919.18 c #Conflicts: 451000 | #Constraints: 18332 911.56/919.18 c #Conflicts: 452000 | #Constraints: 19335 911.56/919.18 c #Conflicts: 453000 | #Constraints: 20339 911.56/919.18 c #Conflicts: 454000 | #Constraints: 21344 911.56/919.18 c #Conflicts: 455000 | #Constraints: 22348 911.56/919.18 c #Conflicts: 456000 | #Constraints: 23350 911.56/919.18 c #Conflicts: 457000 | #Constraints: 24353 911.56/919.18 c #Conflicts: 458000 | #Constraints: 25356 911.56/919.18 c #Conflicts: 459000 | #Constraints: 26357 911.56/919.18 c #Conflicts: 460000 | #Constraints: 27361 911.56/919.18 c INPROCESSING 911.56/919.18 c GARBAGE COLLECT 911.56/919.18 c rational objective 7 970.76/978.57 c #Conflicts: 461000 | #Constraints: 14943 970.76/978.57 c #Conflicts: 462000 | #Constraints: 15945 970.76/978.57 c #Conflicts: 463000 | #Constraints: 16947 970.76/978.57 c #Conflicts: 464000 | #Constraints: 17950 970.76/978.57 c #Conflicts: 465000 | #Constraints: 18960 970.76/978.57 c #Conflicts: 466000 | #Constraints: 19964 970.76/978.57 c #Conflicts: 467000 | #Constraints: 20969 970.76/978.57 c #Conflicts: 468000 | #Constraints: 21978 970.76/978.57 c #Conflicts: 469000 | #Constraints: 22985 970.76/978.57 c #Conflicts: 470000 | #Constraints: 23992 970.76/978.57 c #Conflicts: 471000 | #Constraints: 24998 970.76/978.57 c #Conflicts: 472000 | #Constraints: 26004 970.76/978.57 c #Conflicts: 473000 | #Constraints: 27009 970.76/978.57 c #Conflicts: 474000 | #Constraints: 28019 970.76/978.57 c INPROCESSING 970.76/978.57 c GARBAGE COLLECT 970.76/978.57 c rational objective 7 1035.35/1043.31 c #Conflicts: 475000 | #Constraints: 15379 1035.35/1043.31 c #Conflicts: 476000 | #Constraints: 16386 1035.35/1043.31 c #Conflicts: 477000 | #Constraints: 17391 1035.35/1043.31 c #Conflicts: 478000 | #Constraints: 18393 1035.35/1043.31 c #Conflicts: 479000 | #Constraints: 19396 1035.35/1043.31 c #Conflicts: 480000 | #Constraints: 20399 1035.35/1043.31 c #Conflicts: 481000 | #Constraints: 21401 1035.35/1043.31 c #Conflicts: 482000 | #Constraints: 22405 1035.35/1043.31 c #Conflicts: 483000 | #Constraints: 23407 1035.35/1043.31 c #Conflicts: 484000 | #Constraints: 24410 1035.35/1043.31 c #Conflicts: 485000 | #Constraints: 25414 1035.35/1043.31 c #Conflicts: 486000 | #Constraints: 26415 1035.35/1043.31 c #Conflicts: 487000 | #Constraints: 27417 1035.35/1043.31 c #Conflicts: 488000 | #Constraints: 28422 1035.35/1043.31 c INPROCESSING 1035.35/1043.31 c GARBAGE COLLECT 1035.35/1043.31 c rational objective 7 1127.44/1135.73 c #Conflicts: 489000 | #Constraints: 15575 1127.44/1135.73 c #Conflicts: 490000 | #Constraints: 16578 1127.44/1135.73 c #Conflicts: 491000 | #Constraints: 17579 1127.44/1135.73 c #Conflicts: 492000 | #Constraints: 18581 1127.44/1135.73 c #Conflicts: 493000 | #Constraints: 19583 1127.44/1135.73 c #Conflicts: 494000 | #Constraints: 20583 1127.44/1135.73 c #Conflicts: 495000 | #Constraints: 21584 1127.44/1135.73 c #Conflicts: 496000 | #Constraints: 22585 1127.44/1135.73 c #Conflicts: 497000 | #Constraints: 23587 1127.44/1135.73 c #Conflicts: 498000 | #Constraints: 24588 1127.44/1135.73 c #Conflicts: 499000 | #Constraints: 25592 1127.44/1135.73 c #Conflicts: 500000 | #Constraints: 26594 1127.44/1135.73 c #Conflicts: 501000 | #Constraints: 27596 1127.44/1135.73 c #Conflicts: 502000 | #Constraints: 28597 1127.44/1135.73 c INPROCESSING 1127.44/1135.73 c GARBAGE COLLECT 1127.44/1135.73 c rational objective 7 1197.12/1205.66 c #Conflicts: 503000 | #Constraints: 15575 1197.12/1205.66 c #Conflicts: 504000 | #Constraints: 16576 1197.12/1205.66 c #Conflicts: 505000 | #Constraints: 17581 1197.12/1205.66 c #Conflicts: 506000 | #Constraints: 18585 1197.12/1205.66 c #Conflicts: 507000 | #Constraints: 19590 1197.12/1205.66 c #Conflicts: 508000 | #Constraints: 20595 1197.12/1205.66 c #Conflicts: 509000 | #Constraints: 21600 1197.12/1205.66 c #Conflicts: 510000 | #Constraints: 22602 1197.12/1205.66 c #Conflicts: 511000 | #Constraints: 23602 1197.12/1205.66 c #Conflicts: 512000 | #Constraints: 24606 1197.12/1205.66 c #Conflicts: 513000 | #Constraints: 25610 1197.12/1205.66 c #Conflicts: 514000 | #Constraints: 26613 1197.12/1205.66 c #Conflicts: 515000 | #Constraints: 27617 1197.12/1205.66 c #Conflicts: 516000 | #Constraints: 28621 1197.12/1205.66 c INPROCESSING 1197.12/1205.66 c GARBAGE COLLECT 1197.12/1205.66 c rational objective 7 1241.27/1249.90 c #Conflicts: 517000 | #Constraints: 15326 1241.27/1249.90 c #Conflicts: 518000 | #Constraints: 16328 1241.27/1249.90 c #Conflicts: 519000 | #Constraints: 17332 1241.27/1249.90 c #Conflicts: 520000 | #Constraints: 18335 1241.27/1249.90 c #Conflicts: 521000 | #Constraints: 19338 1241.27/1249.90 c #Conflicts: 522000 | #Constraints: 20340 1241.27/1249.90 c #Conflicts: 523000 | #Constraints: 21344 1241.27/1249.90 c #Conflicts: 524000 | #Constraints: 22350 1241.27/1249.90 c #Conflicts: 525000 | #Constraints: 23351 1241.27/1249.90 c #Conflicts: 526000 | #Constraints: 24355 1241.27/1249.90 c #Conflicts: 527000 | #Constraints: 25366 1241.27/1249.90 c #Conflicts: 528000 | #Constraints: 26373 1241.27/1249.90 c #Conflicts: 529000 | #Constraints: 27375 1241.27/1249.90 c #Conflicts: 530000 | #Constraints: 28378 1241.27/1249.90 c #Conflicts: 531000 | #Constraints: 29380 1241.27/1249.90 c INPROCESSING 1241.27/1249.90 c GARBAGE COLLECT 1241.27/1249.90 c rational objective 7 1279.15/1287.90 c #Conflicts: 532000 | #Constraints: 15928 1279.15/1287.90 c #Conflicts: 533000 | #Constraints: 16931 1279.15/1287.90 c #Conflicts: 534000 | #Constraints: 17933 1279.15/1287.90 c #Conflicts: 535000 | #Constraints: 18938 1279.15/1287.90 c #Conflicts: 536000 | #Constraints: 19942 1279.15/1287.90 c #Conflicts: 537000 | #Constraints: 20945 1279.15/1287.90 c #Conflicts: 538000 | #Constraints: 21948 1279.15/1287.90 c #Conflicts: 539000 | #Constraints: 22953 1279.15/1287.90 c #Conflicts: 540000 | #Constraints: 23957 1279.15/1287.90 c #Conflicts: 541000 | #Constraints: 24961 1279.15/1287.90 c #Conflicts: 542000 | #Constraints: 25962 1279.15/1287.90 c #Conflicts: 543000 | #Constraints: 26966 1279.15/1287.90 c #Conflicts: 544000 | #Constraints: 27967 1279.15/1287.90 c #Conflicts: 545000 | #Constraints: 28968 1279.15/1287.90 c #Conflicts: 546000 | #Constraints: 29971 1279.15/1287.90 c INPROCESSING 1279.15/1287.90 c GARBAGE COLLECT 1279.15/1287.90 c rational objective 7 1308.95/1317.83 c #Conflicts: 547000 | #Constraints: 16312 1308.95/1317.83 c #Conflicts: 548000 | #Constraints: 17320 1308.95/1317.83 c #Conflicts: 549000 | #Constraints: 18322 1308.95/1317.83 c #Conflicts: 550000 | #Constraints: 19326 1308.95/1317.83 c #Conflicts: 551000 | #Constraints: 20328 1308.95/1317.83 c #Conflicts: 552000 | #Constraints: 21330 1308.95/1317.83 c #Conflicts: 553000 | #Constraints: 22331 1308.95/1317.83 c #Conflicts: 554000 | #Constraints: 23335 1308.95/1317.83 c #Conflicts: 555000 | #Constraints: 24344 1308.95/1317.83 c #Conflicts: 556000 | #Constraints: 25345 1308.95/1317.83 c #Conflicts: 557000 | #Constraints: 26346 1308.95/1317.83 c #Conflicts: 558000 | #Constraints: 27348 1308.95/1317.83 c #Conflicts: 559000 | #Constraints: 28350 1308.95/1317.83 c #Conflicts: 560000 | #Constraints: 29352 1308.95/1317.83 c #Conflicts: 561000 | #Constraints: 30358 1308.95/1317.83 c INPROCESSING 1308.95/1317.83 c GARBAGE COLLECT 1308.95/1317.83 c rational objective 7 1344.23/1353.29 c #Conflicts: 562000 | #Constraints: 16504 1344.23/1353.29 c #Conflicts: 563000 | #Constraints: 17507 1344.23/1353.29 c #Conflicts: 564000 | #Constraints: 18511 1344.23/1353.29 c #Conflicts: 565000 | #Constraints: 19516 1344.23/1353.29 c #Conflicts: 566000 | #Constraints: 20518 1344.23/1353.29 c #Conflicts: 567000 | #Constraints: 21522 1344.23/1353.29 c #Conflicts: 568000 | #Constraints: 22523 1344.23/1353.29 c #Conflicts: 569000 | #Constraints: 23526 1344.23/1353.29 c #Conflicts: 570000 | #Constraints: 24527 1344.23/1353.29 c #Conflicts: 571000 | #Constraints: 25529 1344.23/1353.29 c #Conflicts: 572000 | #Constraints: 26532 1344.23/1353.29 c #Conflicts: 573000 | #Constraints: 27535 1344.23/1353.29 c #Conflicts: 574000 | #Constraints: 28544 1344.23/1353.29 c #Conflicts: 575000 | #Constraints: 29547 1344.23/1353.29 c #Conflicts: 576000 | #Constraints: 30548 1344.23/1353.29 c INPROCESSING 1344.23/1353.29 c GARBAGE COLLECT 1344.23/1353.29 c rational objective 7 1376.52/1385.62 c #Conflicts: 577000 | #Constraints: 16502 1376.52/1385.62 c #Conflicts: 578000 | #Constraints: 17502 1376.52/1385.62 c #Conflicts: 579000 | #Constraints: 18504 1376.52/1385.62 c #Conflicts: 580000 | #Constraints: 19505 1376.52/1385.62 c #Conflicts: 581000 | #Constraints: 20509 1376.52/1385.62 c #Conflicts: 582000 | #Constraints: 21511 1376.52/1385.62 c #Conflicts: 583000 | #Constraints: 22514 1376.52/1385.62 c #Conflicts: 584000 | #Constraints: 23517 1376.52/1385.62 c #Conflicts: 585000 | #Constraints: 24517 1376.52/1385.62 c #Conflicts: 586000 | #Constraints: 25517 1376.52/1385.62 c #Conflicts: 587000 | #Constraints: 26517 1376.52/1385.62 c #Conflicts: 588000 | #Constraints: 27519 1376.52/1385.62 c #Conflicts: 589000 | #Constraints: 28523 1376.52/1385.62 c #Conflicts: 590000 | #Constraints: 29530 1376.52/1385.62 c #Conflicts: 591000 | #Constraints: 30533 1376.52/1385.62 c INPROCESSING 1376.52/1385.62 c GARBAGE COLLECT 1376.52/1385.62 c rational objective 7 1452.08/1461.40 c #Conflicts: 592000 | #Constraints: 16303 1452.08/1461.40 c #Conflicts: 593000 | #Constraints: 17306 1452.08/1461.40 c #Conflicts: 594000 | #Constraints: 18309 1452.08/1461.40 c #Conflicts: 595000 | #Constraints: 19313 1452.08/1461.40 c #Conflicts: 596000 | #Constraints: 20315 1452.08/1461.40 c #Conflicts: 597000 | #Constraints: 21317 1452.08/1461.40 c #Conflicts: 598000 | #Constraints: 22319 1452.08/1461.40 c #Conflicts: 599000 | #Constraints: 23320 1452.08/1461.40 c #Conflicts: 600000 | #Constraints: 24323 1452.08/1461.40 c #Conflicts: 601000 | #Constraints: 25327 1452.08/1461.40 c #Conflicts: 602000 | #Constraints: 26329 1452.08/1461.40 c #Conflicts: 603000 | #Constraints: 27331 1452.08/1461.40 c #Conflicts: 604000 | #Constraints: 28333 1452.08/1461.40 c #Conflicts: 605000 | #Constraints: 29335 1452.08/1461.40 c #Conflicts: 606000 | #Constraints: 30341 1452.08/1461.40 c #Conflicts: 607000 | #Constraints: 31346 1452.08/1461.40 c INPROCESSING 1452.08/1461.40 c GARBAGE COLLECT 1452.08/1461.40 c rational objective 7 1504.10/1513.67 c #Conflicts: 608000 | #Constraints: 16928 1504.10/1513.67 c #Conflicts: 609000 | #Constraints: 17933 1504.10/1513.67 c #Conflicts: 610000 | #Constraints: 18936 1504.10/1513.67 c #Conflicts: 611000 | #Constraints: 19938 1504.10/1513.67 c #Conflicts: 612000 | #Constraints: 20940 1504.10/1513.67 c #Conflicts: 613000 | #Constraints: 21943 1504.10/1513.67 c #Conflicts: 614000 | #Constraints: 22945 1504.10/1513.67 c #Conflicts: 615000 | #Constraints: 23950 1504.10/1513.67 c #Conflicts: 616000 | #Constraints: 24953 1504.10/1513.67 c #Conflicts: 617000 | #Constraints: 25957 1504.10/1513.67 c #Conflicts: 618000 | #Constraints: 26960 1504.10/1513.67 c #Conflicts: 619000 | #Constraints: 27965 1504.10/1513.67 c #Conflicts: 620000 | #Constraints: 28971 1504.10/1513.67 c #Conflicts: 621000 | #Constraints: 29975 1504.10/1513.67 c #Conflicts: 622000 | #Constraints: 30976 1504.10/1513.67 c #Conflicts: 623000 | #Constraints: 31979 1504.10/1513.67 c INPROCESSING 1504.10/1513.67 c GARBAGE COLLECT 1504.10/1513.67 c rational objective 7 1541.57/1551.27 c #Conflicts: 624000 | #Constraints: 17316 1541.57/1551.27 c #Conflicts: 625000 | #Constraints: 18318 1541.57/1551.27 c #Conflicts: 626000 | #Constraints: 19323 1541.57/1551.27 c #Conflicts: 627000 | #Constraints: 20325 1541.57/1551.27 c #Conflicts: 628000 | #Constraints: 21327 1541.57/1551.27 c #Conflicts: 629000 | #Constraints: 22330 1541.57/1551.27 c #Conflicts: 630000 | #Constraints: 23330 1541.57/1551.27 c #Conflicts: 631000 | #Constraints: 24333 1541.57/1551.27 c #Conflicts: 632000 | #Constraints: 25335 1541.57/1551.27 c #Conflicts: 633000 | #Constraints: 26341 1541.57/1551.27 c #Conflicts: 634000 | #Constraints: 27346 1541.57/1551.27 c #Conflicts: 635000 | #Constraints: 28348 1541.57/1551.27 c #Conflicts: 636000 | #Constraints: 29352 1541.57/1551.27 c #Conflicts: 637000 | #Constraints: 30352 1541.57/1551.27 c #Conflicts: 638000 | #Constraints: 31355 1541.57/1551.27 c #Conflicts: 639000 | #Constraints: 32359 1541.57/1551.27 c INPROCESSING 1541.57/1551.27 c GARBAGE COLLECT 1541.57/1551.27 c rational objective 7 1596.21/1606.05 c #Conflicts: 640000 | #Constraints: 17496 1596.21/1606.05 c #Conflicts: 641000 | #Constraints: 18498 1596.21/1606.05 c #Conflicts: 642000 | #Constraints: 19504 1596.21/1606.05 c #Conflicts: 643000 | #Constraints: 20508 1596.21/1606.05 c #Conflicts: 644000 | #Constraints: 21510 1596.21/1606.05 c #Conflicts: 645000 | #Constraints: 22511 1596.21/1606.05 c #Conflicts: 646000 | #Constraints: 23512 1596.21/1606.05 c #Conflicts: 647000 | #Constraints: 24516 1596.21/1606.05 c #Conflicts: 648000 | #Constraints: 25519 1596.21/1606.05 c #Conflicts: 649000 | #Constraints: 26522 1596.21/1606.05 c #Conflicts: 650000 | #Constraints: 27523 1596.21/1606.05 c #Conflicts: 651000 | #Constraints: 28524 1596.21/1606.05 c #Conflicts: 652000 | #Constraints: 29530 1596.21/1606.05 c #Conflicts: 653000 | #Constraints: 30531 1596.21/1606.05 c #Conflicts: 654000 | #Constraints: 31533 1596.21/1606.05 c #Conflicts: 655000 | #Constraints: 32537 1596.21/1606.05 c INPROCESSING 1596.21/1606.05 c GARBAGE COLLECT 1596.21/1606.05 c rational objective 7 1631.98/1642.00 c #Conflicts: 656000 | #Constraints: 17498 1631.98/1642.00 c #Conflicts: 657000 | #Constraints: 18498 1631.98/1642.00 c #Conflicts: 658000 | #Constraints: 19498 1631.98/1642.00 c #Conflicts: 659000 | #Constraints: 20499 1631.98/1642.00 c #Conflicts: 660000 | #Constraints: 21501 1631.98/1642.00 c #Conflicts: 661000 | #Constraints: 22503 1631.98/1642.00 c #Conflicts: 662000 | #Constraints: 23504 1631.98/1642.00 c #Conflicts: 663000 | #Constraints: 24506 1631.98/1642.00 c #Conflicts: 664000 | #Constraints: 25508 1631.98/1642.00 c #Conflicts: 665000 | #Constraints: 26509 1631.98/1642.00 c #Conflicts: 666000 | #Constraints: 27512 1631.98/1642.00 c #Conflicts: 667000 | #Constraints: 28514 1631.98/1642.00 c #Conflicts: 668000 | #Constraints: 29515 1631.98/1642.00 c #Conflicts: 669000 | #Constraints: 30518 1631.98/1642.00 c #Conflicts: 670000 | #Constraints: 31522 1631.98/1642.00 c #Conflicts: 671000 | #Constraints: 32524 1631.98/1642.00 c INPROCESSING 1631.98/1642.00 c GARBAGE COLLECT 1631.98/1642.00 c rational objective 7 1682.21/1692.32 c #Conflicts: 672000 | #Constraints: 17288 1682.21/1692.32 c #Conflicts: 673000 | #Constraints: 18293 1682.21/1692.32 c #Conflicts: 674000 | #Constraints: 19298 1682.21/1692.32 c #Conflicts: 675000 | #Constraints: 20303 1682.21/1692.32 c #Conflicts: 676000 | #Constraints: 21308 1682.21/1692.32 c #Conflicts: 677000 | #Constraints: 22309 1682.21/1692.32 c #Conflicts: 678000 | #Constraints: 23310 1682.21/1692.32 c #Conflicts: 679000 | #Constraints: 24314 1682.21/1692.32 c #Conflicts: 680000 | #Constraints: 25315 1682.21/1692.32 c #Conflicts: 681000 | #Constraints: 26319 1682.21/1692.32 c #Conflicts: 682000 | #Constraints: 27321 1682.21/1692.32 c #Conflicts: 683000 | #Constraints: 28324 1682.21/1692.32 c #Conflicts: 684000 | #Constraints: 29325 1682.21/1692.32 c #Conflicts: 685000 | #Constraints: 30325 1682.21/1692.32 c #Conflicts: 686000 | #Constraints: 31328 1682.21/1692.32 c #Conflicts: 687000 | #Constraints: 32332 1682.21/1692.32 c #Conflicts: 688000 | #Constraints: 33334 1682.21/1692.32 c INPROCESSING 1682.21/1692.32 c GARBAGE COLLECT 1682.21/1692.32 c rational objective 7 1754.07/1764.47 c #Conflicts: 689000 | #Constraints: 17889 1754.07/1764.47 c #Conflicts: 690000 | #Constraints: 18893 1754.07/1764.47 c #Conflicts: 691000 | #Constraints: 19894 1754.07/1764.47 c #Conflicts: 692000 | #Constraints: 20901 1754.07/1764.47 c #Conflicts: 693000 | #Constraints: 21906 1754.07/1764.47 c #Conflicts: 694000 | #Constraints: 22910 1754.07/1764.47 c #Conflicts: 695000 | #Constraints: 23913 1754.07/1764.47 c #Conflicts: 696000 | #Constraints: 24914 1754.07/1764.47 c #Conflicts: 697000 | #Constraints: 25917 1754.07/1764.47 c #Conflicts: 698000 | #Constraints: 26918 1754.07/1764.47 c #Conflicts: 699000 | #Constraints: 27920 1754.07/1764.47 c #Conflicts: 700000 | #Constraints: 28924 1754.07/1764.47 c #Conflicts: 701000 | #Constraints: 29927 1754.07/1764.47 c #Conflicts: 702000 | #Constraints: 30928 1754.07/1764.47 c #Conflicts: 703000 | #Constraints: 31931 1754.07/1764.47 c #Conflicts: 704000 | #Constraints: 32932 1754.07/1764.47 c #Conflicts: 705000 | #Constraints: 33937 1754.07/1764.47 c INPROCESSING 1754.07/1764.47 c GARBAGE COLLECT 1754.07/1764.47 c rational objective 7 1830.72/1841.30 c #Conflicts: 706000 | #Constraints: 18300 1830.72/1841.30 c #Conflicts: 707000 | #Constraints: 19301 1830.72/1841.30 c #Conflicts: 708000 | #Constraints: 20304 1830.72/1841.30 c #Conflicts: 709000 | #Constraints: 21306 1830.72/1841.30 c #Conflicts: 710000 | #Constraints: 22308 1830.72/1841.30 c #Conflicts: 711000 | #Constraints: 23310 1830.72/1841.30 c #Conflicts: 712000 | #Constraints: 24312 1830.72/1841.30 c #Conflicts: 713000 | #Constraints: 25313 1830.72/1841.30 c #Conflicts: 714000 | #Constraints: 26315 1830.72/1841.30 c #Conflicts: 715000 | #Constraints: 27318 1830.72/1841.30 c #Conflicts: 716000 | #Constraints: 28319 1830.72/1841.30 c #Conflicts: 717000 | #Constraints: 29321 1830.72/1841.30 c #Conflicts: 718000 | #Constraints: 30323 1830.72/1841.30 c #Conflicts: 719000 | #Constraints: 31324 1830.72/1841.30 c #Conflicts: 720000 | #Constraints: 32327 1830.72/1841.30 c #Conflicts: 721000 | #Constraints: 33328 1830.72/1841.30 c #Conflicts: 722000 | #Constraints: 34329 1830.72/1841.30 c INPROCESSING 1830.72/1841.30 c GARBAGE COLLECT 1830.72/1841.30 c rational objective 7 1910.24/1921.13 c #Conflicts: 723000 | #Constraints: 18509 1910.24/1921.13 c #Conflicts: 724000 | #Constraints: 19512 1910.24/1921.13 c #Conflicts: 725000 | #Constraints: 20515 1910.24/1921.13 c #Conflicts: 726000 | #Constraints: 21516 1910.24/1921.13 c #Conflicts: 727000 | #Constraints: 22517 1910.24/1921.13 c #Conflicts: 728000 | #Constraints: 23520 1910.24/1921.13 c #Conflicts: 729000 | #Constraints: 24526 1910.24/1921.13 c #Conflicts: 730000 | #Constraints: 25532 1910.24/1921.13 c #Conflicts: 731000 | #Constraints: 26538 1910.24/1921.13 c #Conflicts: 732000 | #Constraints: 27541 1910.24/1921.13 c #Conflicts: 733000 | #Constraints: 28543 1910.24/1921.13 c #Conflicts: 734000 | #Constraints: 29546 1910.24/1921.13 c #Conflicts: 735000 | #Constraints: 30547 1910.24/1921.13 c #Conflicts: 736000 | #Constraints: 31550 1910.24/1921.13 c #Conflicts: 737000 | #Constraints: 32553 1910.24/1921.13 c #Conflicts: 738000 | #Constraints: 33559 1910.24/1921.13 c #Conflicts: 739000 | #Constraints: 34563 1910.24/1921.13 c INPROCESSING 1910.24/1921.13 c GARBAGE COLLECT 1910.24/1921.13 c rational objective 7 1969.04/1980.15 c #Conflicts: 740000 | #Constraints: 18526 1969.04/1980.15 c #Conflicts: 741000 | #Constraints: 19529 1969.04/1980.15 c #Conflicts: 742000 | #Constraints: 20533 1969.04/1980.15 c #Conflicts: 743000 | #Constraints: 21536 1969.04/1980.15 c #Conflicts: 744000 | #Constraints: 22538 1969.04/1980.15 c #Conflicts: 745000 | #Constraints: 23540 1969.04/1980.15 c #Conflicts: 746000 | #Constraints: 24547 1969.04/1980.15 c #Conflicts: 747000 | #Constraints: 25549 1969.04/1980.15 c #Conflicts: 748000 | #Constraints: 26551 1969.04/1980.15 c #Conflicts: 749000 | #Constraints: 27552 1969.04/1980.15 c #Conflicts: 750000 | #Constraints: 28553 1969.04/1980.15 c #Conflicts: 751000 | #Constraints: 29557 1969.04/1980.15 c #Conflicts: 752000 | #Constraints: 30560 1969.04/1980.15 c #Conflicts: 753000 | #Constraints: 31562 1969.04/1980.15 c #Conflicts: 754000 | #Constraints: 32568 1969.04/1980.15 c #Conflicts: 755000 | #Constraints: 33569 1969.04/1980.15 c #Conflicts: 756000 | #Constraints: 34572 1969.04/1980.15 c INPROCESSING 1969.04/1980.15 c GARBAGE COLLECT 1969.04/1980.15 c rational objective 7 2039.57/2050.97 c #Conflicts: 757000 | #Constraints: 18310 2039.57/2050.97 c #Conflicts: 758000 | #Constraints: 19312 2039.57/2050.97 c #Conflicts: 759000 | #Constraints: 20316 2039.57/2050.97 c #Conflicts: 760000 | #Constraints: 21319 2039.57/2050.97 c #Conflicts: 761000 | #Constraints: 22322 2039.57/2050.97 c #Conflicts: 762000 | #Constraints: 23324 2039.57/2050.97 c #Conflicts: 763000 | #Constraints: 24327 2039.57/2050.97 c #Conflicts: 764000 | #Constraints: 25330 2039.57/2050.97 c #Conflicts: 765000 | #Constraints: 26333 2039.57/2050.97 c #Conflicts: 766000 | #Constraints: 27335 2039.57/2050.97 c #Conflicts: 767000 | #Constraints: 28338 2039.57/2050.97 c #Conflicts: 768000 | #Constraints: 29342 2039.57/2050.97 c #Conflicts: 769000 | #Constraints: 30347 2039.57/2050.97 c #Conflicts: 770000 | #Constraints: 31348 2039.57/2050.97 c #Conflicts: 771000 | #Constraints: 32349 2039.57/2050.97 c #Conflicts: 772000 | #Constraints: 33353 2039.57/2050.97 c #Conflicts: 773000 | #Constraints: 34356 2039.57/2050.97 c #Conflicts: 774000 | #Constraints: 35359 2039.57/2050.97 c INPROCESSING 2039.57/2050.97 c GARBAGE COLLECT 2039.57/2050.97 c rational objective 7 2099.65/2111.23 c #Conflicts: 775000 | #Constraints: 18912 2099.65/2111.23 c #Conflicts: 776000 | #Constraints: 19914 2099.65/2111.23 c #Conflicts: 777000 | #Constraints: 20916 2099.65/2111.23 c #Conflicts: 778000 | #Constraints: 21919 2099.65/2111.23 c #Conflicts: 779000 | #Constraints: 22921 2099.65/2111.23 c #Conflicts: 780000 | #Constraints: 23921 2099.65/2111.23 c #Conflicts: 781000 | #Constraints: 24924 2099.65/2111.23 c #Conflicts: 782000 | #Constraints: 25928 2099.65/2111.23 c #Conflicts: 783000 | #Constraints: 26934 2099.65/2111.23 c #Conflicts: 784000 | #Constraints: 27939 2099.65/2111.23 c #Conflicts: 785000 | #Constraints: 28941 2099.65/2111.23 c #Conflicts: 786000 | #Constraints: 29941 2099.65/2111.23 c #Conflicts: 787000 | #Constraints: 30941 2099.65/2111.23 c #Conflicts: 788000 | #Constraints: 31944 2099.65/2111.23 c #Conflicts: 789000 | #Constraints: 32945 2099.65/2111.23 c #Conflicts: 790000 | #Constraints: 33947 2099.65/2111.23 c #Conflicts: 791000 | #Constraints: 34948 2099.65/2111.23 c #Conflicts: 792000 | #Constraints: 35950 2099.65/2111.23 c INPROCESSING 2099.65/2111.23 c GARBAGE COLLECT 2099.65/2111.23 c rational objective 7 2162.53/2174.33 c #Conflicts: 793000 | #Constraints: 19295 2162.53/2174.33 c #Conflicts: 794000 | #Constraints: 20297 2162.53/2174.33 c #Conflicts: 795000 | #Constraints: 21301 2162.53/2174.33 c #Conflicts: 796000 | #Constraints: 22303 2162.53/2174.33 c #Conflicts: 797000 | #Constraints: 23307 2162.53/2174.33 c #Conflicts: 798000 | #Constraints: 24308 2162.53/2174.33 c #Conflicts: 799000 | #Constraints: 25314 2162.53/2174.33 c #Conflicts: 800000 | #Constraints: 26318 2162.53/2174.33 c #Conflicts: 801000 | #Constraints: 27320 2162.53/2174.33 c #Conflicts: 802000 | #Constraints: 28322 2162.53/2174.33 c #Conflicts: 803000 | #Constraints: 29326 2162.53/2174.33 c #Conflicts: 804000 | #Constraints: 30330 2162.53/2174.33 c #Conflicts: 805000 | #Constraints: 31334 2162.53/2174.33 c #Conflicts: 806000 | #Constraints: 32342 2162.53/2174.33 c #Conflicts: 807000 | #Constraints: 33353 2162.53/2174.33 c #Conflicts: 808000 | #Constraints: 34359 2162.53/2174.33 c #Conflicts: 809000 | #Constraints: 35364 2162.53/2174.33 c #Conflicts: 810000 | #Constraints: 36366 2162.53/2174.33 c INPROCESSING 2162.53/2174.33 c GARBAGE COLLECT 2162.53/2174.33 c rational objective 7 2208.76/2220.78 c #Conflicts: 811000 | #Constraints: 19509 2208.76/2220.78 c #Conflicts: 812000 | #Constraints: 20513 2208.76/2220.78 c #Conflicts: 813000 | #Constraints: 21518 2208.76/2220.78 c #Conflicts: 814000 | #Constraints: 22524 2208.76/2220.78 c #Conflicts: 815000 | #Constraints: 23535 2208.76/2220.78 c #Conflicts: 816000 | #Constraints: 24537 2208.76/2220.78 c #Conflicts: 817000 | #Constraints: 25544 2208.76/2220.78 c #Conflicts: 818000 | #Constraints: 26546 2208.76/2220.78 c #Conflicts: 819000 | #Constraints: 27548 2208.76/2220.78 c #Conflicts: 820000 | #Constraints: 28550 2208.76/2220.78 c #Conflicts: 821000 | #Constraints: 29553 2208.76/2220.78 c #Conflicts: 822000 | #Constraints: 30555 2208.76/2220.78 c #Conflicts: 823000 | #Constraints: 31559 2208.76/2220.78 c #Conflicts: 824000 | #Constraints: 32562 2208.76/2220.78 c #Conflicts: 825000 | #Constraints: 33566 2208.76/2220.78 c #Conflicts: 826000 | #Constraints: 34570 2208.76/2220.78 c #Conflicts: 827000 | #Constraints: 35572 2208.76/2220.78 c #Conflicts: 828000 | #Constraints: 36577 2208.76/2220.78 c INPROCESSING 2208.76/2220.78 c GARBAGE COLLECT 2208.76/2220.78 c rational objective 7 2294.07/2306.39 c #Conflicts: 829000 | #Constraints: 19525 2294.07/2306.39 c #Conflicts: 830000 | #Constraints: 20527 2294.07/2306.39 c #Conflicts: 831000 | #Constraints: 21530 2294.07/2306.39 c #Conflicts: 832000 | #Constraints: 22532 2294.07/2306.39 c #Conflicts: 833000 | #Constraints: 23534 2294.07/2306.39 c #Conflicts: 834000 | #Constraints: 24538 2294.07/2306.39 c #Conflicts: 835000 | #Constraints: 25542 2294.07/2306.39 c #Conflicts: 836000 | #Constraints: 26544 2294.07/2306.39 c #Conflicts: 837000 | #Constraints: 27546 2294.07/2306.39 c #Conflicts: 838000 | #Constraints: 28547 2294.07/2306.39 c #Conflicts: 839000 | #Constraints: 29548 2294.07/2306.39 c #Conflicts: 840000 | #Constraints: 30550 2294.07/2306.39 c #Conflicts: 841000 | #Constraints: 31555 2294.07/2306.39 c #Conflicts: 842000 | #Constraints: 32557 2294.07/2306.39 c #Conflicts: 843000 | #Constraints: 33560 2294.07/2306.39 c #Conflicts: 844000 | #Constraints: 34564 2294.07/2306.39 c #Conflicts: 845000 | #Constraints: 35566 2294.07/2306.39 c #Conflicts: 846000 | #Constraints: 36567 2294.07/2306.39 c INPROCESSING 2294.07/2306.39 c GARBAGE COLLECT 2294.07/2306.39 c rational objective 7 2344.49/2356.99 c #Conflicts: 847000 | #Constraints: 19298 2344.49/2356.99 c #Conflicts: 848000 | #Constraints: 20303 2344.49/2356.99 c #Conflicts: 849000 | #Constraints: 21304 2344.49/2356.99 c #Conflicts: 850000 | #Constraints: 22307 2344.49/2356.99 c #Conflicts: 851000 | #Constraints: 23311 2344.49/2356.99 c #Conflicts: 852000 | #Constraints: 24313 2344.49/2356.99 c #Conflicts: 853000 | #Constraints: 25317 2344.49/2356.99 c #Conflicts: 854000 | #Constraints: 26322 2344.49/2356.99 c #Conflicts: 855000 | #Constraints: 27324 2344.49/2356.99 c #Conflicts: 856000 | #Constraints: 28325 2344.49/2356.99 c #Conflicts: 857000 | #Constraints: 29328 2344.49/2356.99 c #Conflicts: 858000 | #Constraints: 30330 2344.49/2356.99 c #Conflicts: 859000 | #Constraints: 31331 2344.49/2356.99 c #Conflicts: 860000 | #Constraints: 32335 2344.49/2356.99 c #Conflicts: 861000 | #Constraints: 33338 2344.49/2356.99 c #Conflicts: 862000 | #Constraints: 34342 2344.49/2356.99 c #Conflicts: 863000 | #Constraints: 35345 2344.49/2356.99 c #Conflicts: 864000 | #Constraints: 36349 2344.49/2356.99 c #Conflicts: 865000 | #Constraints: 37355 2344.49/2356.99 c INPROCESSING 2344.49/2356.99 c GARBAGE COLLECT 2344.49/2356.99 c rational objective 7 2404.18/2416.89 c #Conflicts: 866000 | #Constraints: 19899 2404.18/2416.89 c #Conflicts: 867000 | #Constraints: 20901 2404.18/2416.89 c #Conflicts: 868000 | #Constraints: 21905 2404.18/2416.89 c #Conflicts: 869000 | #Constraints: 22907 2404.18/2416.89 c #Conflicts: 870000 | #Constraints: 23909 2404.18/2416.89 c #Conflicts: 871000 | #Constraints: 24912 2404.18/2416.89 c #Conflicts: 872000 | #Constraints: 25913 2404.18/2416.89 c #Conflicts: 873000 | #Constraints: 26916 2404.18/2416.89 c #Conflicts: 874000 | #Constraints: 27918 2404.18/2416.89 c #Conflicts: 875000 | #Constraints: 28921 2404.18/2416.89 c #Conflicts: 876000 | #Constraints: 29923 2404.18/2416.89 c #Conflicts: 877000 | #Constraints: 30927 2404.18/2416.89 c #Conflicts: 878000 | #Constraints: 31930 2404.18/2416.89 c #Conflicts: 879000 | #Constraints: 32933 2404.18/2416.89 c #Conflicts: 880000 | #Constraints: 33940 2404.18/2416.89 c #Conflicts: 881000 | #Constraints: 34945 2404.18/2416.89 c #Conflicts: 882000 | #Constraints: 35948 2404.18/2416.89 c #Conflicts: 883000 | #Constraints: 36953 2404.18/2416.89 c #Conflicts: 884000 | #Constraints: 37956 2404.18/2416.89 c INPROCESSING 2404.18/2416.89 c GARBAGE COLLECT 2404.18/2416.89 c rational objective 7 2479.01/2491.96 c #Conflicts: 885000 | #Constraints: 20301 2479.01/2491.96 c #Conflicts: 886000 | #Constraints: 21308 2479.01/2491.96 c #Conflicts: 887000 | #Constraints: 22312 2479.01/2491.96 c #Conflicts: 888000 | #Constraints: 23315 2479.01/2491.96 c #Conflicts: 889000 | #Constraints: 24318 2479.01/2491.96 c #Conflicts: 890000 | #Constraints: 25322 2479.01/2491.96 c #Conflicts: 891000 | #Constraints: 26325 2479.01/2491.96 c #Conflicts: 892000 | #Constraints: 27329 2479.01/2491.96 c #Conflicts: 893000 | #Constraints: 28335 2479.01/2491.96 c #Conflicts: 894000 | #Constraints: 29341 2479.01/2491.96 c #Conflicts: 895000 | #Constraints: 30342 2479.01/2491.96 c #Conflicts: 896000 | #Constraints: 31345 2479.01/2491.96 c #Conflicts: 897000 | #Constraints: 32348 2479.01/2491.96 c #Conflicts: 898000 | #Constraints: 33353 2479.01/2491.96 c #Conflicts: 899000 | #Constraints: 34357 2479.01/2491.96 c #Conflicts: 900000 | #Constraints: 35358 2479.01/2491.96 c #Conflicts: 901000 | #Constraints: 36360 2479.01/2491.96 c #Conflicts: 902000 | #Constraints: 37362 2479.01/2491.96 c #Conflicts: 903000 | #Constraints: 38365 2479.01/2491.96 c INPROCESSING 2479.01/2491.96 c GARBAGE COLLECT 2479.01/2491.96 c rational objective 7 2545.78/2558.95 c #Conflicts: 904000 | #Constraints: 20502 2545.78/2558.95 c #Conflicts: 905000 | #Constraints: 21505 2545.78/2558.95 c #Conflicts: 906000 | #Constraints: 22510 2545.78/2558.95 c #Conflicts: 907000 | #Constraints: 23515 2545.78/2558.95 c #Conflicts: 908000 | #Constraints: 24516 2545.78/2558.95 c #Conflicts: 909000 | #Constraints: 25517 2545.78/2558.95 c #Conflicts: 910000 | #Constraints: 26520 2545.78/2558.95 c #Conflicts: 911000 | #Constraints: 27522 2545.78/2558.95 c #Conflicts: 912000 | #Constraints: 28523 2545.78/2558.95 c #Conflicts: 913000 | #Constraints: 29526 2545.78/2558.95 c #Conflicts: 914000 | #Constraints: 30532 2545.78/2558.95 c #Conflicts: 915000 | #Constraints: 31537 2545.78/2558.95 c #Conflicts: 916000 | #Constraints: 32542 2545.78/2558.95 c #Conflicts: 917000 | #Constraints: 33544 2545.78/2558.95 c #Conflicts: 918000 | #Constraints: 34545 2545.78/2558.95 c #Conflicts: 919000 | #Constraints: 35552 2545.78/2558.95 c #Conflicts: 920000 | #Constraints: 36554 2545.78/2558.95 c #Conflicts: 921000 | #Constraints: 37556 2545.78/2558.95 c #Conflicts: 922000 | #Constraints: 38558 2545.78/2558.95 c INPROCESSING 2545.78/2558.95 c GARBAGE COLLECT 2545.78/2558.95 c rational objective 7 2663.97/2677.50 c #Conflicts: 923000 | #Constraints: 20495 2663.97/2677.50 c #Conflicts: 924000 | #Constraints: 21498 2663.97/2677.50 c #Conflicts: 925000 | #Constraints: 22502 2663.97/2677.50 c #Conflicts: 926000 | #Constraints: 23507 2663.97/2677.50 c #Conflicts: 927000 | #Constraints: 24513 2663.97/2677.50 c #Conflicts: 928000 | #Constraints: 25517 2663.97/2677.50 c #Conflicts: 929000 | #Constraints: 26520 2663.97/2677.50 c #Conflicts: 930000 | #Constraints: 27523 2663.97/2677.50 c #Conflicts: 931000 | #Constraints: 28526 2663.97/2677.50 c #Conflicts: 932000 | #Constraints: 29527 2663.97/2677.50 c #Conflicts: 933000 | #Constraints: 30531 2663.97/2677.50 c #Conflicts: 934000 | #Constraints: 31534 2663.97/2677.50 c #Conflicts: 935000 | #Constraints: 32536 2663.97/2677.50 c #Conflicts: 936000 | #Constraints: 33538 2663.97/2677.50 c #Conflicts: 937000 | #Constraints: 34540 2663.97/2677.50 c #Conflicts: 938000 | #Constraints: 35543 2663.97/2677.50 c #Conflicts: 939000 | #Constraints: 36545 2663.97/2677.50 c #Conflicts: 940000 | #Constraints: 37547 2663.97/2677.50 c #Conflicts: 941000 | #Constraints: 38548 2663.97/2677.50 c INPROCESSING 2663.97/2677.50 c GARBAGE COLLECT 2663.97/2677.50 c rational objective 7 2751.56/2765.44 c #Conflicts: 942000 | #Constraints: 20290 2751.56/2765.44 c #Conflicts: 943000 | #Constraints: 21291 2751.56/2765.44 c #Conflicts: 944000 | #Constraints: 22294 2751.56/2765.44 c #Conflicts: 945000 | #Constraints: 23296 2751.56/2765.44 c #Conflicts: 946000 | #Constraints: 24298 2751.56/2765.44 c #Conflicts: 947000 | #Constraints: 25301 2751.56/2765.44 c #Conflicts: 948000 | #Constraints: 26304 2751.56/2765.44 c #Conflicts: 949000 | #Constraints: 27307 2751.56/2765.44 c #Conflicts: 950000 | #Constraints: 28310 2751.56/2765.44 c #Conflicts: 951000 | #Constraints: 29316 2751.56/2765.44 c #Conflicts: 952000 | #Constraints: 30319 2751.56/2765.44 c #Conflicts: 953000 | #Constraints: 31322 2751.56/2765.44 c #Conflicts: 954000 | #Constraints: 32323 2751.56/2765.44 c #Conflicts: 955000 | #Constraints: 33326 2751.56/2765.44 c #Conflicts: 956000 | #Constraints: 34327 2751.56/2765.44 c #Conflicts: 957000 | #Constraints: 35330 2751.56/2765.44 c #Conflicts: 958000 | #Constraints: 36333 2751.56/2765.44 c #Conflicts: 959000 | #Constraints: 37334 2751.56/2765.44 c #Conflicts: 960000 | #Constraints: 38337 2751.56/2765.44 c #Conflicts: 961000 | #Constraints: 39338 2751.56/2765.44 c INPROCESSING 2751.56/2765.44 c GARBAGE COLLECT 2751.56/2765.44 c rational objective 7 2894.86/2909.27 c #Conflicts: 962000 | #Constraints: 20932 2894.86/2909.27 c #Conflicts: 963000 | #Constraints: 21936 2894.86/2909.27 c #Conflicts: 964000 | #Constraints: 22939 2894.86/2909.27 c #Conflicts: 965000 | #Constraints: 23942 2894.86/2909.27 c #Conflicts: 966000 | #Constraints: 24946 2894.86/2909.27 c #Conflicts: 967000 | #Constraints: 25950 2894.86/2909.27 c #Conflicts: 968000 | #Constraints: 26951 2894.86/2909.27 c #Conflicts: 969000 | #Constraints: 27955 2894.86/2909.27 c #Conflicts: 970000 | #Constraints: 28956 2894.86/2909.27 c #Conflicts: 971000 | #Constraints: 29958 2894.86/2909.27 c #Conflicts: 972000 | #Constraints: 30960 2894.86/2909.27 c #Conflicts: 973000 | #Constraints: 31965 2894.86/2909.27 c #Conflicts: 974000 | #Constraints: 32972 2894.86/2909.27 c #Conflicts: 975000 | #Constraints: 33978 2894.86/2909.27 c #Conflicts: 976000 | #Constraints: 34981 2894.86/2909.27 c #Conflicts: 977000 | #Constraints: 35982 2894.86/2909.27 c #Conflicts: 978000 | #Constraints: 36984 2894.86/2909.27 c #Conflicts: 979000 | #Constraints: 37985 2894.86/2909.27 c #Conflicts: 980000 | #Constraints: 38987 2894.86/2909.27 c #Conflicts: 981000 | #Constraints: 39992 2894.86/2909.27 c INPROCESSING 2894.86/2909.27 c GARBAGE COLLECT 2894.86/2909.27 c rational objective 7 3086.77/3101.81 c #Conflicts: 982000 | #Constraints: 21353 3086.77/3101.81 c #Conflicts: 983000 | #Constraints: 22356 3086.77/3101.81 c #Conflicts: 984000 | #Constraints: 23357 3086.77/3101.81 c #Conflicts: 985000 | #Constraints: 24358 3086.77/3101.81 c #Conflicts: 986000 | #Constraints: 25358 3086.77/3101.81 c #Conflicts: 987000 | #Constraints: 26358 3086.77/3101.81 c #Conflicts: 988000 | #Constraints: 27358 3086.77/3101.81 c #Conflicts: 989000 | #Constraints: 28358 3086.77/3101.81 c #Conflicts: 990000 | #Constraints: 29358 3086.77/3101.81 c #Conflicts: 991000 | #Constraints: 30358 3086.77/3101.81 c #Conflicts: 992000 | #Constraints: 31359 3086.77/3101.81 c #Conflicts: 993000 | #Constraints: 32359 3086.77/3101.81 c #Conflicts: 994000 | #Constraints: 33359 3086.77/3101.81 c #Conflicts: 995000 | #Constraints: 34360 3086.77/3101.81 c #Conflicts: 996000 | #Constraints: 35360 3086.77/3101.81 c #Conflicts: 997000 | #Constraints: 36362 3086.77/3101.81 c #Conflicts: 998000 | #Constraints: 37369 3086.77/3101.81 c #Conflicts: 999000 | #Constraints: 38375 3086.77/3101.81 c #Conflicts: 1000000 | #Constraints: 39379 3086.77/3101.81 c #Conflicts: 1001000 | #Constraints: 40384 3086.77/3101.81 c INPROCESSING 3086.77/3101.81 c GARBAGE COLLECT 3086.77/3101.81 c rational objective 7 3152.34/3167.68 c #Conflicts: 1002000 | #Constraints: 21545 3152.34/3167.68 c #Conflicts: 1003000 | #Constraints: 22547 3152.34/3167.68 c #Conflicts: 1004000 | #Constraints: 23554 3152.34/3167.68 c #Conflicts: 1005000 | #Constraints: 24555 3152.34/3167.68 c #Conflicts: 1006000 | #Constraints: 25559 3152.34/3167.68 c #Conflicts: 1007000 | #Constraints: 26563 3152.34/3167.68 c #Conflicts: 1008000 | #Constraints: 27566 3152.34/3167.68 c #Conflicts: 1009000 | #Constraints: 28567 3152.34/3167.68 c #Conflicts: 1010000 | #Constraints: 29570 3152.34/3167.68 c #Conflicts: 1011000 | #Constraints: 30572 3152.34/3167.68 c #Conflicts: 1012000 | #Constraints: 31575 3152.34/3167.68 c #Conflicts: 1013000 | #Constraints: 32579 3152.34/3167.68 c #Conflicts: 1014000 | #Constraints: 33581 3152.34/3167.68 c #Conflicts: 1015000 | #Constraints: 34584 3152.34/3167.68 c #Conflicts: 1016000 | #Constraints: 35589 3152.34/3167.68 c #Conflicts: 1017000 | #Constraints: 36594 3152.34/3167.68 c #Conflicts: 1018000 | #Constraints: 37597 3152.34/3167.68 c #Conflicts: 1019000 | #Constraints: 38598 3152.34/3167.68 c #Conflicts: 1020000 | #Constraints: 39601 3152.34/3167.68 c #Conflicts: 1021000 | #Constraints: 40603 3152.34/3167.68 c INPROCESSING 3152.34/3167.68 c GARBAGE COLLECT 3152.34/3167.68 c rational objective 7 3189.62/3205.09 c #Conflicts: 1022000 | #Constraints: 21593 3189.62/3205.09 c #Conflicts: 1023000 | #Constraints: 22595 3189.62/3205.09 c #Conflicts: 1024000 | #Constraints: 23596 3189.62/3205.09 c #Conflicts: 1025000 | #Constraints: 24596 3189.62/3205.09 c #Conflicts: 1026000 | #Constraints: 25600 3189.62/3205.09 c #Conflicts: 1027000 | #Constraints: 26600 3189.62/3205.09 c #Conflicts: 1028000 | #Constraints: 27602 3189.62/3205.09 c #Conflicts: 1029000 | #Constraints: 28603 3189.62/3205.09 c #Conflicts: 1030000 | #Constraints: 29605 3189.62/3205.09 c #Conflicts: 1031000 | #Constraints: 30606 3189.62/3205.09 c #Conflicts: 1032000 | #Constraints: 31608 3189.62/3205.09 c #Conflicts: 1033000 | #Constraints: 32608 3189.62/3205.09 c #Conflicts: 1034000 | #Constraints: 33611 3189.62/3205.09 c #Conflicts: 1035000 | #Constraints: 34617 3189.62/3205.09 c #Conflicts: 1036000 | #Constraints: 35620 3189.62/3205.09 c #Conflicts: 1037000 | #Constraints: 36623 3189.62/3205.09 c #Conflicts: 1038000 | #Constraints: 37629 3189.62/3205.09 c #Conflicts: 1039000 | #Constraints: 38636 3189.62/3205.09 c #Conflicts: 1040000 | #Constraints: 39638 3189.62/3205.09 c #Conflicts: 1041000 | #Constraints: 40639 3189.62/3205.09 c INPROCESSING 3189.62/3205.09 c GARBAGE COLLECT 3189.62/3205.09 c rational objective 7 3397.90/3414.06 c #Conflicts: 1042000 | #Constraints: 21366 3397.90/3414.06 c #Conflicts: 1043000 | #Constraints: 22369 3397.90/3414.06 c #Conflicts: 1044000 | #Constraints: 23374 3397.90/3414.06 c #Conflicts: 1045000 | #Constraints: 24378 3397.90/3414.06 c #Conflicts: 1046000 | #Constraints: 25381 3397.90/3414.06 c #Conflicts: 1047000 | #Constraints: 26385 3397.90/3414.06 c #Conflicts: 1048000 | #Constraints: 27406 3397.90/3414.06 c #Conflicts: 1049000 | #Constraints: 28418 3397.90/3414.06 c #Conflicts: 1050000 | #Constraints: 29421 3397.90/3414.06 c #Conflicts: 1051000 | #Constraints: 30443 3397.90/3414.06 c #Conflicts: 1052000 | #Constraints: 31451 3397.90/3414.06 c #Conflicts: 1053000 | #Constraints: 32457 3397.90/3414.06 c #Conflicts: 1054000 | #Constraints: 33463 3397.90/3414.06 c #Conflicts: 1055000 | #Constraints: 34467 3397.90/3414.06 c #Conflicts: 1056000 | #Constraints: 35468 3397.90/3414.06 c #Conflicts: 1057000 | #Constraints: 36471 3397.90/3414.06 c #Conflicts: 1058000 | #Constraints: 37471 3397.90/3414.06 c #Conflicts: 1059000 | #Constraints: 38484 3397.90/3414.06 c #Conflicts: 1060000 | #Constraints: 39490 3397.90/3414.06 c #Conflicts: 1061000 | #Constraints: 40495 3397.90/3414.06 c #Conflicts: 1062000 | #Constraints: 41505 3397.90/3414.06 c INPROCESSING 3397.90/3414.06 c GARBAGE COLLECT 3397.90/3414.06 c rational objective 7 3572.67/3589.42 c #Conflicts: 1063000 | #Constraints: 22011 3572.67/3589.42 c #Conflicts: 1064000 | #Constraints: 23022 3572.67/3589.42 c #Conflicts: 1065000 | #Constraints: 24029 3572.67/3589.42 c #Conflicts: 1066000 | #Constraints: 25036 3572.67/3589.42 c #Conflicts: 1067000 | #Constraints: 26041 3572.67/3589.42 c #Conflicts: 1068000 | #Constraints: 27052 3572.67/3589.42 c #Conflicts: 1069000 | #Constraints: 28061 3572.67/3589.42 c #Conflicts: 1070000 | #Constraints: 29064 3572.67/3589.42 c #Conflicts: 1071000 | #Constraints: 30073 3572.67/3589.42 c #Conflicts: 1072000 | #Constraints: 31081 3572.67/3589.42 c #Conflicts: 1073000 | #Constraints: 32086 3572.67/3589.42 c #Conflicts: 1074000 | #Constraints: 33098 3572.67/3589.42 c #Conflicts: 1075000 | #Constraints: 34113 3572.67/3589.42 c #Conflicts: 1076000 | #Constraints: 35121 3572.67/3589.42 c #Conflicts: 1077000 | #Constraints: 36126 3572.67/3589.42 c #Conflicts: 1078000 | #Constraints: 37132 3572.67/3589.42 c #Conflicts: 1079000 | #Constraints: 38136 3572.67/3589.42 c #Conflicts: 1080000 | #Constraints: 39139 3572.67/3589.42 c #Conflicts: 1081000 | #Constraints: 40145 3572.67/3589.42 c #Conflicts: 1082000 | #Constraints: 41148 3572.67/3589.42 c #Conflicts: 1083000 | #Constraints: 42150 3572.67/3589.42 c INPROCESSING 3572.67/3589.42 c GARBAGE COLLECT 3572.67/3589.42 c rational objective 7 3600.07/3616.90 c #Conflicts: 1084000 | #Constraints: 22464 3600.07/3616.90 c #Conflicts: 1085000 | #Constraints: 23467 3600.07/3616.90 c #Conflicts: 1086000 | #Constraints: 24468 3600.07/3616.90 c #Conflicts: 1087000 | #Constraints: 25471 3600.07/3616.90 c #Conflicts: 1088000 | #Constraints: 26474 3600.07/3616.90 c #Conflicts: 1089000 | #Constraints: 27476 3600.07/3616.90 c #Conflicts: 1090000 | #Constraints: 28478 3600.07/3616.90 c Program interrupted by user. 3600.10/3617.14 c cpu time 3561.75 s 3600.10/3617.14 c deterministic time 846480128984 8.46e+11 3600.10/3617.14 c optimization time 26.8832 s 3600.10/3617.14 c total solve time 3534.79 s 3600.10/3617.14 c core-guided solve time 8e-06 s 3600.10/3617.14 c propagation time 2922.38 s 3600.10/3617.14 c conflict analysis time 531.993 s 3600.10/3617.14 c propagations 359283940 3600.10/3617.14 c resolve steps 8591256 3600.10/3617.14 c decisions 13283504 3600.10/3617.14 c conflicts 1090071 3600.10/3617.14 c restarts 2046 3600.10/3617.14 c inprocessing phases 95 3600.10/3617.14 c input clauses 5045 3600.10/3617.14 c input cardinalities 76 3600.10/3617.14 c input general constraints 448 3600.10/3617.14 c input average constraint length 9.60 3600.10/3617.14 c input average constraint degree 71.21 3600.10/3617.14 c learned clauses 104377 3600.10/3617.14 c learned cardinalities 8855 3600.10/3617.14 c learned general constraints 980313 3600.10/3617.14 c learned average constraint length 1162.46 3600.10/3617.14 c learned average constraint degree 7574117189.75 3600.10/3617.14 c watched constraints 888478 3600.10/3617.14 c counting constraints 92283 3600.10/3617.14 c gcd simplifications 54385 3600.10/3617.14 c detected cardinalities 251 3600.10/3617.14 c weakened non-implied lits 118927761 3600.10/3617.14 c weakened non-implying lits 627256 3600.10/3617.14 c original variables 4977 3600.10/3617.14 c clausal propagations 1209650 3600.10/3617.14 c cardinality propagations 25787201 3600.10/3617.14 c watched propagations 112642250 3600.10/3617.14 c counting propagations 217777981 3600.10/3617.14 c watch lookups 20818914120 3600.10/3617.14 c watch backjump lookups 16899418073 3600.10/3617.14 c watch checks 735982346028 3600.10/3617.14 c propagation checks 68527611424 3600.10/3617.14 c constraint additions 3504511070 3600.10/3617.14 c trail pops 373651325 3600.10/3617.14 c formula constraints 5569 3600.10/3617.14 c learned constraints 1086595 3600.10/3617.14 c bound constraints 0 3600.10/3617.14 c core-guided constraints 0 3600.10/3617.14 c encountered formula constraints 6180811 3600.10/3617.14 c encountered learned constraints 3264143 3600.10/3617.14 c encountered bound constraints 0 3600.10/3617.14 c encountered core-guided constraints 0 3600.10/3617.14 c LP total time 153.881 s 3600.10/3617.14 c LP solve time 136.89 s 3600.10/3617.14 c LP constraints added 6187 3600.10/3617.14 c LP constraints removed 612 3600.10/3617.14 c LP pivots internal 1090122 3600.10/3617.14 c LP pivots root 19377 3600.10/3617.14 c LP calls 19065 3600.10/3617.14 c LP optimalities 15588 3600.10/3617.14 c LP no pivot count 8792 3600.10/3617.14 c LP infeasibilities 3475 3600.10/3617.14 c LP valid Farkas constraints 3475 3600.10/3617.14 c LP learned Farkas constraints 3475 3600.10/3617.14 c LP basis resets 0 3600.10/3617.14 c LP cycling count 0 3600.10/3617.14 c LP singular count 0 3600.10/3617.14 c LP no primal count 0 3600.10/3617.14 c LP no farkas count 0 3600.10/3617.14 c LP other issue count 0 3600.10/3617.14 c LP Gomory cuts 0 3600.10/3617.14 c LP learned cuts 618 3600.10/3617.14 c LP deleted cuts 612 3600.10/3617.14 c LP encountered Gomory constraints 0 3600.10/3617.14 c LP encountered Farkas constraints 205574 3600.10/3617.14 c LP encountered learned Farkas constraints 27324 3600.10/3617.14 c CG auxiliary variables introduced 0 3600.10/3617.14 c CG solutions found 0 3600.10/3617.14 c CG cores constructed 1 3600.10/3617.14 c CG core cardinality constraints returned 0 3600.10/3617.14 c CG unit cores 1 3600.10/3617.14 c CG single cores 0 3600.10/3617.14 c CG blocks removed during cardinality reduction 0 3600.10/3617.14 c CG first core best 0 3600.10/3617.14 c CG decision core best 0 3600.10/3617.14 c CG core reduction tie 0 3600.10/3617.14 c CG core degree average 0.00 3600.10/3617.14 c CG core slack average 0.00 3600.10/3617.14 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: 64059 MiB (24605 MiB free)
memory of node 1: 64510 MiB (59127 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460317-1722068459/watcher-4460317-1722068459 -o /tmp/evaluation-result-4460317-1722068459/solver-4460317-1722068459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359137 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460317-1722068459 --lp-cut-gomory=0 HOME/instance-4460317-1722068459.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=361221, runsolver pid=361218
[startup+0.100097 s]*
/proc/loadavg: 4.11 4.10 4.03 3/250 361222
/proc/meminfo: memFree=85736700/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=37376 memory=2628 CPUtime=0 cores=0,2
/proc/361221/stat : 361221 (roundingsat) D 361218 361221 359127 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 42835479 38273024 657 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 9344 657 601 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+0.213741 s]*
/proc/loadavg: 4.11 4.10 4.03 3/250 361222
/proc/meminfo: memFree=85731036/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=37376 memory=2628 CPUtime=0 cores=0,2
/proc/361221/stat : 361221 (roundingsat) D 361218 361221 359127 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 42835479 38273024 657 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 9344 657 601 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+0.31303 s]*
/proc/loadavg: 4.11 4.10 4.03 3/250 361222
/proc/meminfo: memFree=85725860/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=37376 memory=2628 CPUtime=0 cores=0,2
/proc/361221/stat : 361221 (roundingsat) D 361218 361221 359127 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 42835479 38273024 657 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 9344 657 601 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+0.700259 s]
/proc/loadavg: 4.11 4.10 4.03 3/250 361222
/proc/meminfo: memFree=85709420/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=37376 memory=2628 CPUtime=0 cores=0,2
/proc/361221/stat : 361221 (roundingsat) D 361218 361221 359127 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 42835479 38273024 657 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 9344 657 601 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+1.50026 s]
/proc/loadavg: 4.18 4.12 4.03 3/250 361222
/proc/meminfo: memFree=85671128/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=37376 memory=2628 CPUtime=0 cores=0,2
/proc/361221/stat : 361221 (roundingsat) D 361218 361221 359127 0 -1 4194304 219 0 0 0 0 0 0 0 20 0 1 0 42835479 38273024 657 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 9344 657 601 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+3.11344 s]
/proc/loadavg: 4.18 4.12 4.03 3/250 361222
/proc/meminfo: memFree=85476560/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=37376 memory=2628 CPUtime=0 cores=0,2
/proc/361221/stat : 361221 (roundingsat) D 361218 361221 359127 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 42835479 38273024 657 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 9344 657 601 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
heavy processes:
[startup+6.30024 s]
/proc/loadavg: 4.25 4.13 4.04 3/250 361224
/proc/meminfo: memFree=85404388/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=53704 memory=27068 CPUtime=1.9 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 5026 0 0 0 180 10 0 0 20 0 1 0 42835479 54992896 6767 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 13426 6767 1889 992 0 5284 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 53704 KiB
Current children cumulated memory: 27068 KiB
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 4.23 4.13 4.04 3/245 361251
/proc/meminfo: memFree=85265708/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=80396 memory=51832 CPUtime=8.28 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 9674 0 0 0 797 31 0 0 20 0 1 0 42835479 82325504 12958 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 20099 12958 1905 992 0 11957 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 80396 KiB
Current children cumulated memory: 51832 KiB
heavy processes:
[startup+25.5003 s]
/proc/loadavg: 4.19 4.12 4.04 3/245 361254
/proc/meminfo: memFree=84954172/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=127528 memory=94600 CPUtime=21.04 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 14710 0 0 0 2038 66 0 0 20 0 1 0 42835479 130588672 23650 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 31882 23650 1905 992 0 23740 0
Current children cumulated CPU time: 21.04 s
Current children cumulated vsize: 127528 KiB
Current children cumulated memory: 94600 KiB
[startup+51.1133 s]
/proc/loadavg: 4.11 4.11 4.03 5/250 361326
/proc/meminfo: memFree=84286620/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=190696 memory=144396 CPUtime=46.56 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 23127 0 0 0 4529 127 0 0 20 0 1 0 42835479 195272704 36099 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 47674 36099 1905 992 0 39532 0
Current children cumulated CPU time: 46.56 s
Current children cumulated vsize: 190696 KiB
Current children cumulated memory: 144396 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/263 361348
/proc/meminfo: memFree=80461128/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=220344 memory=172488 CPUtime=97.57 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 30195 0 0 0 9517 240 0 0 20 0 1 0 42835479 225632256 43122 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 55086 43122 1905 992 0 46944 0
Current children cumulated CPU time: 97.57 s
Current children cumulated vsize: 220344 KiB
Current children cumulated memory: 172488 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.03 5/270 361366
/proc/meminfo: memFree=76160716/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=294968 memory=217000 CPUtime=157.37 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 36244 0 0 0 15395 342 0 0 20 0 1 0 42835479 302047232 54250 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 73742 54250 1905 992 0 65600 0
Current children cumulated CPU time: 157.37 s
Current children cumulated vsize: 294968 KiB
Current children cumulated memory: 217000 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.04 8/270 361376
/proc/meminfo: memFree=72133180/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=306264 memory=236520 CPUtime=217.15 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 39048 0 0 0 21260 455 0 0 20 0 1 0 42835479 313614336 59130 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 76566 59130 1905 992 0 68424 0
Current children cumulated CPU time: 217.15 s
Current children cumulated vsize: 306264 KiB
Current children cumulated memory: 236520 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/270 361769
/proc/meminfo: memFree=69588728/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=319324 memory=254772 CPUtime=276.94 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 42100 0 0 0 27139 555 0 0 20 0 1 0 42835479 326987776 63693 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 79831 63693 1905 992 0 71689 0
Current children cumulated CPU time: 276.94 s
Current children cumulated vsize: 319324 KiB
Current children cumulated memory: 254772 KiB
[startup+342.3 s]
/proc/loadavg: 4.52 4.23 4.09 5/267 361779
/proc/meminfo: memFree=66595180/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=330224 memory=279196 CPUtime=336.71 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 45027 0 0 0 33043 628 0 0 20 0 1 0 42835479 338149376 69799 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 82556 69799 1905 992 0 74414 0
Current children cumulated CPU time: 336.71 s
Current children cumulated vsize: 330224 KiB
Current children cumulated memory: 279196 KiB
[startup+402.3 s]
/proc/loadavg: 4.35 4.24 4.10 5/264 361789
/proc/meminfo: memFree=64320164/131655788 swapFree=131058856/131071996
[pid=361221] ppid=361218 vsize=359216 memory=327776 CPUtime=396.49 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 51758 0 0 0 38927 722 0 0 20 0 1 0 42835479 367837184 81944 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 89804 81944 1905 992 0 81662 0
Current children cumulated CPU time: 396.49 s
Current children cumulated vsize: 359216 KiB
Current children cumulated memory: 327776 KiB
[startup+462.3 s]
/proc/loadavg: 4.40 4.25 4.11 5/259 361968
/proc/meminfo: memFree=62178704/131655788 swapFree=131058856/131071996
################
# More data... #
################
Current children cumulated memory: 744104 KiB
[startup+2982.3 s]
/proc/loadavg: 4.53 4.42 4.28 5/263 363204
/proc/meminfo: memFree=562328/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=823836 memory=744120 CPUtime=2967.7 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 116773 0 0 0 293377 3393 0 0 20 0 1 0 42835479 843608064 186030 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 205959 186030 2003 992 0 197817 0
Current children cumulated CPU time: 2967.7 s
Current children cumulated vsize: 823836 KiB
Current children cumulated memory: 744120 KiB
[startup+3042.3 s]
/proc/loadavg: 4.47 4.42 4.29 5/263 363216
/proc/meminfo: memFree=564320/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=830688 memory=750592 CPUtime=3027.48 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 118567 0 0 0 299329 3419 0 0 20 0 1 0 42835479 850624512 187648 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 207672 187648 2003 992 0 199530 0
Current children cumulated CPU time: 3027.48 s
Current children cumulated vsize: 830688 KiB
Current children cumulated memory: 750592 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.37 4.28 5/264 363229
/proc/meminfo: memFree=578368/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=846008 memory=765744 CPUtime=3087.27 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 122572 0 0 0 305264 3463 0 0 20 0 1 0 42835479 866312192 191436 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 211502 191436 2003 992 0 203360 0
Current children cumulated CPU time: 3087.27 s
Current children cumulated vsize: 846008 KiB
Current children cumulated memory: 765744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.47 4.38 4.29 5/264 363239
/proc/meminfo: memFree=559232/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=846780 memory=766360 CPUtime=3147.06 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 122849 0 0 0 311187 3519 0 0 20 0 1 0 42835479 867102720 191590 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 211695 191590 2003 992 0 203553 0
Current children cumulated CPU time: 3147.06 s
Current children cumulated vsize: 846780 KiB
Current children cumulated memory: 766360 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.33 4.27 5/264 363249
/proc/meminfo: memFree=612220/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=847628 memory=767596 CPUtime=3206.84 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 123262 0 0 0 317083 3601 0 0 20 0 1 0 42835479 867971072 191899 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 211907 191899 2003 992 0 203765 0
Current children cumulated CPU time: 3206.84 s
Current children cumulated vsize: 847628 KiB
Current children cumulated memory: 767596 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.30 4.26 5/262 363262
/proc/meminfo: memFree=653956/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=854112 memory=773640 CPUtime=3266.63 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 125076 0 0 0 323015 3648 0 0 20 0 1 0 42835479 874610688 193410 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 213528 193410 2003 992 0 205386 0
Current children cumulated CPU time: 3266.63 s
Current children cumulated vsize: 854112 KiB
Current children cumulated memory: 773640 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.24 4.25 5/262 363273
/proc/meminfo: memFree=553268/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=877352 memory=789708 CPUtime=3326.43 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 129268 0 0 0 328975 3668 0 0 20 0 1 0 42835479 898408448 197427 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 219338 197427 2003 992 0 211196 0
Current children cumulated CPU time: 3326.43 s
Current children cumulated vsize: 877352 KiB
Current children cumulated memory: 789708 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.22 4.24 5/263 363284
/proc/meminfo: memFree=535292/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=894248 memory=802140 CPUtime=3386.23 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 132598 0 0 0 334934 3689 0 0 20 0 1 0 42835479 915709952 200535 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 223562 200535 2003 992 0 215420 0
Current children cumulated CPU time: 3386.23 s
Current children cumulated vsize: 894248 KiB
Current children cumulated memory: 802140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.24 4.25 5/264 363296
/proc/meminfo: memFree=601984/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=899556 memory=806928 CPUtime=3446.01 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 133918 0 0 0 340861 3740 0 0 20 0 1 0 42835479 921145344 201732 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 224889 201732 2003 992 0 216747 0
Current children cumulated CPU time: 3446.01 s
Current children cumulated vsize: 899556 KiB
Current children cumulated memory: 806928 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.22 4.24 5/264 363307
/proc/meminfo: memFree=505648/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=909220 memory=816536 CPUtime=3505.81 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 136431 0 0 0 346806 3775 0 0 20 0 1 0 42835479 931041280 204134 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 227305 204134 2003 992 0 219163 0
Current children cumulated CPU time: 3505.81 s
Current children cumulated vsize: 909220 KiB
Current children cumulated memory: 816536 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.23 4.24 5/266 363322
/proc/meminfo: memFree=591236/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=916004 memory=822988 CPUtime=3565.6 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 138146 0 0 0 352764 3796 0 0 20 0 1 0 42835479 937988096 205747 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 229001 205747 2003 992 0 220859 0
Current children cumulated CPU time: 3565.6 s
Current children cumulated vsize: 916004 KiB
Current children cumulated memory: 822988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3616.9 s]
/proc/loadavg: 4.12 4.20 4.23 4/265 363374
/proc/meminfo: memFree=13297568/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=916604 memory=824224 CPUtime=3600.07 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 138528 0 0 0 356175 3832 0 0 20 0 1 0 42835479 938602496 206056 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 229151 206056 2003 992 0 221009 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 916604 KiB
Current children cumulated memory: 824224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3617.16 s]
# the end of solver process 361221 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3561.76 s, system=38.366 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3617 s]*
/proc/loadavg: 4.19 4.22 4.23 5/265 363374
/proc/meminfo: memFree=13271764/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=916604 memory=824224 CPUtime=3600.08 cores=0,2
/proc/361221/stat : 361221 (roundingsat) D 361218 361221 359127 0 -1 4194304 138531 0 0 0 356175 3833 0 0 20 0 1 0 42835479 938602496 206056 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 13 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 229151 206056 2003 992 0 221009 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 916604 KiB
Current children cumulated memory: 824224 KiB
[startup+3617.12 s]
/proc/loadavg: 4.19 4.22 4.23 5/265 363374
/proc/meminfo: memFree=13271764/131655788 swapFree=131057576/131071996
[pid=361221] ppid=361218 vsize=916604 memory=824224 CPUtime=3600.1 cores=0,2
/proc/361221/stat : 361221 (roundingsat) R 361218 361221 359127 0 -1 4194304 138531 0 0 0 356176 3834 0 0 20 0 1 0 42835479 938602496 206056 134679101440 4194304 8254357 140723314680672 0 0 0 0 0 25182210 0 0 0 17 0 0 0 26 0 0 9037040 9046032 42184704 140723314684763 140723314685025 140723314685025 140723314692041 0
/proc/361221/statm: 229151 206056 2003 992 0 221009 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 916604 KiB
Current children cumulated memory: 824224 KiB
Child status: 0
Real time (s): 3617.16
CPU time (s): 3600.13
CPU user time (s): 3561.76
CPU system time (s): 38.366
CPU usage (%): 99.5291
Max. virtual memory (cumulated for all children) (KiB): 916604
Max. memory (cumulated for all children) (KiB): 824224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.76
system time used= 38.366
maximum resident set size= 824224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138539
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33501584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6557
involuntary context switches= 25118
# summary of solver processes directly reported to runsolver:
# pid: 361221
# total CPU time (s): 3600.13
# total CPU user time (s): 3561.76
# total CPU system time (s): 38.366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4173 second user time and 37.0452 second system time
The end
Begin job on nodeC010 at 2024-07-27 10:20:59 IDJOB=4460317 IDBENCH=148775 IDSOLVER=3086 FILE ID=nodeC010/4460317-1722068459 RUNJOBID= nodeC010-1722064838-359137 SLURM_JOB_ID= 8248112 Free space on /tmp= 723760 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-4460317-1722068459/watcher-4460317-1722068459 -o /tmp/evaluation-result-4460317-1722068459/solver-4460317-1722068459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359137 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460317-1722068459 --lp-cut-gomory=0 HOME/instance-4460317-1722068459.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593 RANDOM SEED=1479581438 nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1596.256 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.191 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.205 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.244 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.190 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.190 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.387 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.331 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 85745980 kB MemAvailable: 129785768 kB Buffers: 364464 kB Cached: 44001268 kB SwapCached: 192 kB Active: 2307308 kB Inactive: 42380956 kB Active(anon): 2032 kB Inactive(anon): 374048 kB Active(file): 2305276 kB Inactive(file): 42006908 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 36768 kB Writeback: 8 kB AnonPages: 322556 kB Mapped: 108612 kB Shmem: 53520 kB KReclaimable: 789348 kB Slab: 911756 kB SReclaimable: 789348 kB SUnreclaim: 122408 kB KernelStack: 3984 kB PageTables: 10156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 702120 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14784 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 412488 kB DirectMap2M: 54018048 kB DirectMap1G: 81788928 kB Free space on /tmp at the end= 723716 MiB End job on nodeC010 at 2024-07-27 11:21:17