| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | -81 | 3600.11 | 3612.6 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern30-04.lin.opb |
| MD5SUM | 28e415f3c4d8dab53aac16682d7f066d |
| 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 | -81 |
| Best CPU time to get the best result obtained on this benchmark | 7.64941 |
| 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 | 223 |
| Total number of constraints | 386 |
| Number of constraints which are clauses | 193 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 193 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 223 |
| Biggest coefficient in the objective function | 16 |
| Number of bits for the biggest coefficient in the objective function | 5 |
| Sum of the numbers in the objective function | 2376 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 2376 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/1.08 c #variables 223 #constraints 386 0.00/1.08 c bounds - >= -1188 @ 0.001854 0.00/1.08 c rational objective -594 0.21/1.38 c bounds 0 >= -1188 @ 0.004245 0.21/1.38 c bounds 0 >= -1176 @ 0.007221 0.21/1.38 c bounds 0 >= -1164 @ 0.007264 0.21/1.38 c bounds 0 >= -1152 @ 0.007264 0.21/1.38 c bounds 0 >= -1140 @ 0.007264 0.21/1.38 c bounds 0 >= -1128 @ 0.007264 0.21/1.38 c bounds -3 >= -1128 @ 0.007264 0.21/1.38 c bounds -3 >= -1116 @ 0.007264 0.21/1.38 c bounds -3 >= -1104 @ 0.007264 0.21/1.38 c bounds -3 >= -1092 @ 0.007379 0.21/1.38 c bounds -3 >= -1080 @ 0.007515 0.21/1.38 c bounds -3 >= -1068 @ 0.007659 0.21/1.38 c bounds -3 >= -1056 @ 0.007792 0.21/1.38 c bounds -6 >= -1056 @ 0.007895 0.21/1.38 c bounds -6 >= -1044 @ 0.008039 0.21/1.38 c bounds -6 >= -1032 @ 0.008176 0.21/1.38 c bounds -6 >= -1020 @ 0.00832 0.21/1.38 c bounds -6 >= -1008 @ 0.008847 0.21/1.38 c bounds -6 >= -996 @ 0.008999 0.21/1.38 c bounds -6 >= -984 @ 0.00915 0.21/1.38 c bounds -8 >= -984 @ 0.009262 0.21/1.38 c bounds -8 >= -972 @ 0.009279 0.21/1.38 c bounds -8 >= -960 @ 0.009279 0.21/1.38 c bounds -8 >= -948 @ 0.009279 0.21/1.38 c bounds -8 >= -936 @ 0.009279 0.21/1.38 c bounds -8 >= -924 @ 0.009279 0.21/1.38 c bounds -8 >= -912 @ 0.009279 0.21/1.38 c bounds -20 >= -912 @ 0.009279 0.21/1.38 c bounds -20 >= -900 @ 0.009279 0.21/1.38 c bounds -20 >= -888 @ 0.009279 0.21/1.38 c bounds -20 >= -876 @ 0.009279 0.21/1.38 c bounds -20 >= -864 @ 0.009279 0.21/1.38 c bounds -20 >= -852 @ 0.009279 0.21/1.38 c bounds -20 >= -840 @ 0.009279 0.21/1.38 c bounds -40 >= -840 @ 0.009471 0.21/1.38 c bounds -40 >= -828 @ 0.009627 0.21/1.38 c bounds -40 >= -816 @ 0.009769 0.21/1.38 c bounds -40 >= -804 @ 0.009937 0.21/1.38 c bounds -40 >= -792 @ 0.010123 0.21/1.38 c bounds -40 >= -780 @ 0.010353 0.21/1.38 c bounds -40 >= -768 @ 0.01056 0.21/1.38 c bounds -41 >= -768 @ 0.010693 0.21/1.38 c bounds -41 >= -756 @ 0.010902 0.21/1.38 c bounds -41 >= -744 @ 0.011114 0.21/1.38 c bounds -53 >= -744 @ 0.011234 0.21/1.38 c bounds -53 >= -732 @ 0.011273 0.21/1.38 c bounds -53 >= -720 @ 0.011273 0.21/1.38 c bounds -56 >= -720 @ 0.011273 0.21/1.38 c bounds -56 >= -708 @ 0.011273 0.21/1.38 c bounds -68 >= -708 @ 0.011273 0.21/1.38 c bounds -68 >= -696 @ 0.011273 0.21/1.38 c bounds -68 >= -684 @ 0.011655 0.21/1.38 c bounds -69 >= -684 @ 0.011857 0.21/1.38 c bounds -71 >= -684 @ 0.011998 0.21/1.38 c bounds -72 >= -684 @ 0.012267 0.21/1.38 c bounds -73 >= -684 @ 0.050652 0.21/1.38 c bounds -73 >= -675 @ 0.051129 0.21/1.38 c bounds -74 >= -675 @ 0.054445 0.21/1.38 c bounds -74 >= -667 @ 0.054634 0.21/1.38 c bounds -74 >= -659 @ 0.054803 0.21/1.38 c bounds -74 >= -651 @ 0.054962 0.21/1.38 c bounds -74 >= -643 @ 0.05515 0.21/1.38 c bounds -74 >= -635 @ 0.055179 0.21/1.38 c bounds -74 >= -627 @ 0.055179 0.21/1.38 c bounds -74 >= -619 @ 0.055179 0.21/1.38 c bounds -74 >= -611 @ 0.055179 0.21/1.38 c bounds -74 >= -603 @ 0.055179 0.21/1.38 c bounds -74 >= -595 @ 0.055179 0.21/1.38 c bounds -74 >= -587 @ 0.055179 0.21/1.38 c bounds -74 >= -579 @ 0.055179 0.21/1.38 c bounds -74 >= -571 @ 0.055179 0.21/1.38 c bounds -74 >= -563 @ 0.055179 0.21/1.38 c bounds -74 >= -555 @ 0.055179 0.21/1.38 c bounds -74 >= -547 @ 0.055291 0.21/1.38 c bounds -74 >= -539 @ 0.055449 0.21/1.38 c bounds -74 >= -531 @ 0.055624 0.21/1.38 c bounds -74 >= -523 @ 0.055772 0.21/1.38 c bounds -74 >= -515 @ 0.055924 0.21/1.38 c bounds -74 >= -507 @ 0.056102 0.21/1.38 c bounds -74 >= -499 @ 0.056279 0.21/1.38 c bounds -74 >= -491 @ 0.056452 0.21/1.38 c bounds -74 >= -483 @ 0.056628 0.21/1.38 c bounds -74 >= -475 @ 0.056797 0.21/1.38 c bounds -74 >= -467 @ 0.056958 0.21/1.38 c bounds -74 >= -459 @ 0.057126 0.21/1.38 c bounds -74 >= -451 @ 0.057307 0.21/1.38 c bounds -74 >= -443 @ 0.057488 0.21/1.38 c bounds -74 >= -435 @ 0.057691 0.21/1.38 c bounds -74 >= -427 @ 0.057919 0.21/1.38 c bounds -74 >= -419 @ 0.058347 0.21/1.38 c bounds -74 >= -411 @ 0.058751 0.21/1.38 c bounds -74 >= -403 @ 0.059117 0.21/1.38 c bounds -74 >= -395 @ 0.059169 0.21/1.38 c bounds -74 >= -387 @ 0.059287 0.21/1.38 c bounds -74 >= -379 @ 0.074685 0.21/1.38 c bounds -75 >= -379 @ 0.086668 0.21/1.38 c #Conflicts: 1000 | #Constraints: 1873 0.21/1.38 c bounds -75 >= -371 @ 0.224587 0.21/1.38 c #Conflicts: 2000 | #Constraints: 2909 0.21/1.38 c INPROCESSING 0.21/1.38 c GARBAGE COLLECT 0.21/1.38 c rational objective -371 0.70/1.84 c bounds -76 >= -371 @ 0.405464 0.70/1.84 c #Conflicts: 3000 | #Constraints: 2795 0.70/1.84 c #Conflicts: 4000 | #Constraints: 3795 0.70/1.84 c INPROCESSING 0.70/1.84 c GARBAGE COLLECT 0.70/1.84 c rational objective -371 1.11/2.28 c bounds -80 >= -371 @ 0.755481 1.11/2.28 c #Conflicts: 5000 | #Constraints: 3195 1.11/2.28 c #Conflicts: 6000 | #Constraints: 4199 1.11/2.28 c INPROCESSING 1.11/2.28 c GARBAGE COLLECT 1.11/2.28 c rational objective -371 1.91/3.00 c bounds -80 >= -364 @ 1.13873 1.91/3.00 c #Conflicts: 7000 | #Constraints: 3189 1.91/3.00 c #Conflicts: 8000 | #Constraints: 4190 1.91/3.00 c #Conflicts: 9000 | #Constraints: 5190 1.91/3.00 c bounds -80 >= -357 @ 1.8235 1.91/3.00 c INPROCESSING 1.91/3.00 c GARBAGE COLLECT 1.91/3.00 c rational objective -357 2.40/3.59 c #Conflicts: 10000 | #Constraints: 3895 2.40/3.59 c #Conflicts: 11000 | #Constraints: 4902 2.40/3.59 c #Conflicts: 12000 | #Constraints: 5906 2.40/3.59 c INPROCESSING 2.40/3.59 c GARBAGE COLLECT 2.40/3.59 c rational objective -357 3.10/4.21 c #Conflicts: 13000 | #Constraints: 4346 3.10/4.21 c #Conflicts: 14000 | #Constraints: 5354 3.10/4.21 c #Conflicts: 15000 | #Constraints: 6356 3.10/4.21 c INPROCESSING 3.10/4.21 c GARBAGE COLLECT 3.10/4.21 c rational objective -357 3.90/5.09 c #Conflicts: 16000 | #Constraints: 4575 3.90/5.09 c #Conflicts: 17000 | #Constraints: 5577 3.90/5.09 c #Conflicts: 18000 | #Constraints: 6577 3.90/5.09 c INPROCESSING 3.90/5.09 c GARBAGE COLLECT 3.90/5.09 c rational objective -357 4.69/5.85 c #Conflicts: 19000 | #Constraints: 4604 4.69/5.85 c #Conflicts: 20000 | #Constraints: 5606 4.69/5.85 c #Conflicts: 21000 | #Constraints: 6613 4.69/5.85 c INPROCESSING 4.69/5.85 c GARBAGE COLLECT 4.69/5.85 c rational objective -357 5.80/6.93 c #Conflicts: 22000 | #Constraints: 4402 5.80/6.93 c #Conflicts: 23000 | #Constraints: 5402 5.80/6.93 c #Conflicts: 24000 | #Constraints: 6405 5.80/6.93 c #Conflicts: 25000 | #Constraints: 7406 5.80/6.93 c INPROCESSING 5.80/6.93 c GARBAGE COLLECT 5.80/6.93 c rational objective -357 6.69/7.88 c #Conflicts: 26000 | #Constraints: 5014 6.69/7.88 c #Conflicts: 27000 | #Constraints: 6016 6.69/7.88 c #Conflicts: 28000 | #Constraints: 7018 6.69/7.88 c #Conflicts: 29000 | #Constraints: 8021 6.69/7.88 c INPROCESSING 6.69/7.88 c GARBAGE COLLECT 6.69/7.88 c rational objective -357 8.08/9.24 c #Conflicts: 30000 | #Constraints: 5417 8.08/9.24 c #Conflicts: 31000 | #Constraints: 6417 8.08/9.24 c #Conflicts: 32000 | #Constraints: 7419 8.08/9.24 c #Conflicts: 33000 | #Constraints: 8423 8.08/9.24 c INPROCESSING 8.08/9.24 c GARBAGE COLLECT 8.08/9.24 c rational objective -357 9.09/10.28 c #Conflicts: 34000 | #Constraints: 5618 9.09/10.28 c #Conflicts: 35000 | #Constraints: 6619 9.09/10.28 c #Conflicts: 36000 | #Constraints: 7625 9.09/10.28 c #Conflicts: 37000 | #Constraints: 8637 9.09/10.28 c INPROCESSING 9.09/10.28 c GARBAGE COLLECT 9.09/10.28 c rational objective -357 10.38/11.52 c #Conflicts: 38000 | #Constraints: 5620 10.38/11.52 c #Conflicts: 39000 | #Constraints: 6627 10.38/11.52 c #Conflicts: 40000 | #Constraints: 7629 10.38/11.52 c #Conflicts: 41000 | #Constraints: 8630 10.38/11.52 c INPROCESSING 10.38/11.52 c GARBAGE COLLECT 10.38/11.52 c rational objective -357 11.98/13.10 c #Conflicts: 42000 | #Constraints: 5419 11.98/13.10 c #Conflicts: 43000 | #Constraints: 6423 11.98/13.10 c #Conflicts: 44000 | #Constraints: 7424 11.98/13.10 c #Conflicts: 45000 | #Constraints: 8424 11.98/13.10 c #Conflicts: 46000 | #Constraints: 9425 11.98/13.10 c INPROCESSING 11.98/13.10 c GARBAGE COLLECT 11.98/13.10 c rational objective -357 13.37/14.50 c #Conflicts: 47000 | #Constraints: 6028 13.37/14.50 c bounds -81 >= -357 @ 12.0073 13.37/14.50 c #Conflicts: 48000 | #Constraints: 7036 13.37/14.50 c #Conflicts: 49000 | #Constraints: 8038 13.37/14.50 c #Conflicts: 50000 | #Constraints: 9046 13.37/14.50 c #Conflicts: 51000 | #Constraints: 10047 13.37/14.50 c INPROCESSING 13.37/14.50 c GARBAGE COLLECT 13.37/14.50 c rational objective -357 15.37/16.56 c #Conflicts: 52000 | #Constraints: 6428 15.37/16.56 c #Conflicts: 53000 | #Constraints: 7429 15.37/16.56 c #Conflicts: 54000 | #Constraints: 8430 15.37/16.56 c #Conflicts: 55000 | #Constraints: 9431 15.37/16.56 c #Conflicts: 56000 | #Constraints: 10433 15.37/16.56 c INPROCESSING 15.37/16.56 c GARBAGE COLLECT 15.37/16.56 c rational objective -357 17.06/18.25 c #Conflicts: 57000 | #Constraints: 6629 17.06/18.25 c #Conflicts: 58000 | #Constraints: 7631 17.06/18.25 c #Conflicts: 59000 | #Constraints: 8633 17.06/18.25 c #Conflicts: 60000 | #Constraints: 9634 17.06/18.25 c #Conflicts: 61000 | #Constraints: 10639 17.06/18.25 c INPROCESSING 17.06/18.25 c GARBAGE COLLECT 17.06/18.25 c rational objective -357 19.16/20.37 c #Conflicts: 62000 | #Constraints: 6622 19.16/20.37 c #Conflicts: 63000 | #Constraints: 7625 19.16/20.37 c #Conflicts: 64000 | #Constraints: 8629 19.16/20.37 c #Conflicts: 65000 | #Constraints: 9631 19.16/20.37 c #Conflicts: 66000 | #Constraints: 10631 19.16/20.37 c INPROCESSING 19.16/20.37 c GARBAGE COLLECT 19.16/20.37 c rational objective -357 21.05/22.24 c #Conflicts: 67000 | #Constraints: 6438 21.05/22.24 c #Conflicts: 68000 | #Constraints: 7439 21.05/22.24 c #Conflicts: 69000 | #Constraints: 8442 21.05/22.24 c #Conflicts: 70000 | #Constraints: 9447 21.05/22.24 c #Conflicts: 71000 | #Constraints: 10452 21.05/22.24 c #Conflicts: 72000 | #Constraints: 11454 21.05/22.24 c INPROCESSING 21.05/22.24 c GARBAGE COLLECT 21.05/22.24 c rational objective -357 23.95/25.15 c #Conflicts: 73000 | #Constraints: 7029 23.95/25.15 c #Conflicts: 74000 | #Constraints: 8031 23.95/25.15 c #Conflicts: 75000 | #Constraints: 9032 23.95/25.15 c #Conflicts: 76000 | #Constraints: 10034 23.95/25.15 c #Conflicts: 77000 | #Constraints: 11034 23.95/25.15 c #Conflicts: 78000 | #Constraints: 12034 23.95/25.15 c INPROCESSING 23.95/25.15 c GARBAGE COLLECT 23.95/25.15 c rational objective -357 25.94/27.18 c #Conflicts: 79000 | #Constraints: 7438 25.94/27.18 c #Conflicts: 80000 | #Constraints: 8442 25.94/27.18 c #Conflicts: 81000 | #Constraints: 9444 25.94/27.18 c #Conflicts: 82000 | #Constraints: 10446 25.94/27.18 c #Conflicts: 83000 | #Constraints: 11448 25.94/27.18 c #Conflicts: 84000 | #Constraints: 12452 25.94/27.18 c INPROCESSING 25.94/27.18 c GARBAGE COLLECT 25.94/27.18 c rational objective -357 28.33/29.51 c #Conflicts: 85000 | #Constraints: 7631 28.33/29.51 c #Conflicts: 86000 | #Constraints: 8638 28.33/29.51 c #Conflicts: 87000 | #Constraints: 9641 28.33/29.51 c #Conflicts: 88000 | #Constraints: 10646 28.33/29.51 c #Conflicts: 89000 | #Constraints: 11657 28.33/29.51 c #Conflicts: 90000 | #Constraints: 12665 28.33/29.51 c INPROCESSING 28.33/29.51 c GARBAGE COLLECT 28.33/29.51 c rational objective -357 31.83/33.05 c #Conflicts: 91000 | #Constraints: 7643 31.83/33.05 c #Conflicts: 92000 | #Constraints: 8645 31.83/33.05 c #Conflicts: 93000 | #Constraints: 9645 31.83/33.05 c #Conflicts: 94000 | #Constraints: 10647 31.83/33.05 c #Conflicts: 95000 | #Constraints: 11647 31.83/33.05 c #Conflicts: 96000 | #Constraints: 12650 31.83/33.05 c INPROCESSING 31.83/33.05 c GARBAGE COLLECT 31.83/33.05 c rational objective -357 34.11/35.38 c #Conflicts: 97000 | #Constraints: 7440 34.11/35.38 c #Conflicts: 98000 | #Constraints: 8446 34.11/35.38 c #Conflicts: 99000 | #Constraints: 9449 34.11/35.38 c #Conflicts: 100000 | #Constraints: 10459 34.11/35.38 c #Conflicts: 101000 | #Constraints: 11465 34.11/35.38 c #Conflicts: 102000 | #Constraints: 12468 34.11/35.38 c #Conflicts: 103000 | #Constraints: 13474 34.11/35.38 c INPROCESSING 34.11/35.38 c GARBAGE COLLECT 34.11/35.38 c rational objective -357 38.10/39.39 c #Conflicts: 104000 | #Constraints: 8051 38.10/39.39 c #Conflicts: 105000 | #Constraints: 9051 38.10/39.39 c #Conflicts: 106000 | #Constraints: 10053 38.10/39.39 c #Conflicts: 107000 | #Constraints: 11055 38.10/39.39 c #Conflicts: 108000 | #Constraints: 12057 38.10/39.39 c #Conflicts: 109000 | #Constraints: 13057 38.10/39.39 c #Conflicts: 110000 | #Constraints: 14059 38.10/39.39 c INPROCESSING 38.10/39.39 c GARBAGE COLLECT 38.10/39.39 c rational objective -357 40.90/42.13 c #Conflicts: 111000 | #Constraints: 8446 40.90/42.13 c #Conflicts: 112000 | #Constraints: 9451 40.90/42.13 c #Conflicts: 113000 | #Constraints: 10455 40.90/42.13 c #Conflicts: 114000 | #Constraints: 11457 40.90/42.13 c #Conflicts: 115000 | #Constraints: 12460 40.90/42.13 c #Conflicts: 116000 | #Constraints: 13463 40.90/42.13 c #Conflicts: 117000 | #Constraints: 14466 40.90/42.13 c INPROCESSING 40.90/42.13 c GARBAGE COLLECT 40.90/42.13 c rational objective -357 43.89/45.17 c #Conflicts: 118000 | #Constraints: 8643 43.89/45.17 c #Conflicts: 119000 | #Constraints: 9646 43.89/45.17 c #Conflicts: 120000 | #Constraints: 10647 43.89/45.17 c #Conflicts: 121000 | #Constraints: 11651 43.89/45.17 c #Conflicts: 122000 | #Constraints: 12654 43.89/45.17 c #Conflicts: 123000 | #Constraints: 13657 43.89/45.17 c #Conflicts: 124000 | #Constraints: 14661 43.89/45.17 c INPROCESSING 43.89/45.17 c GARBAGE COLLECT 43.89/45.17 c rational objective -357 49.17/50.49 c #Conflicts: 125000 | #Constraints: 8639 49.17/50.49 c #Conflicts: 126000 | #Constraints: 9640 49.17/50.49 c #Conflicts: 127000 | #Constraints: 10640 49.17/50.49 c #Conflicts: 128000 | #Constraints: 11643 49.17/50.49 c #Conflicts: 129000 | #Constraints: 12646 49.17/50.49 c #Conflicts: 130000 | #Constraints: 13649 49.17/50.49 c #Conflicts: 131000 | #Constraints: 14650 49.17/50.49 c INPROCESSING 49.17/50.49 c GARBAGE COLLECT 49.17/50.49 c rational objective -357 52.46/53.70 c #Conflicts: 132000 | #Constraints: 8442 52.46/53.70 c #Conflicts: 133000 | #Constraints: 9446 52.46/53.70 c #Conflicts: 134000 | #Constraints: 10448 52.46/53.70 c #Conflicts: 135000 | #Constraints: 11449 52.46/53.70 c #Conflicts: 136000 | #Constraints: 12454 52.46/53.70 c #Conflicts: 137000 | #Constraints: 13462 52.46/53.70 c #Conflicts: 138000 | #Constraints: 14465 52.46/53.70 c #Conflicts: 139000 | #Constraints: 15474 52.46/53.70 c INPROCESSING 52.46/53.70 c GARBAGE COLLECT 52.46/53.70 c rational objective -357 58.34/59.65 c #Conflicts: 140000 | #Constraints: 9045 58.34/59.65 c #Conflicts: 141000 | #Constraints: 10046 58.34/59.65 c #Conflicts: 142000 | #Constraints: 11048 58.34/59.65 c #Conflicts: 143000 | #Constraints: 12050 58.34/59.65 c #Conflicts: 144000 | #Constraints: 13052 58.34/59.65 c #Conflicts: 145000 | #Constraints: 14052 58.34/59.65 c #Conflicts: 146000 | #Constraints: 15054 58.34/59.65 c #Conflicts: 147000 | #Constraints: 16054 58.34/59.65 c INPROCESSING 58.34/59.65 c GARBAGE COLLECT 58.34/59.65 c rational objective -357 62.03/63.30 c #Conflicts: 148000 | #Constraints: 9453 62.03/63.30 c #Conflicts: 149000 | #Constraints: 10459 62.03/63.30 c #Conflicts: 150000 | #Constraints: 11462 62.03/63.30 c #Conflicts: 151000 | #Constraints: 12466 62.03/63.30 c #Conflicts: 152000 | #Constraints: 13469 62.03/63.30 c #Conflicts: 153000 | #Constraints: 14477 62.03/63.30 c #Conflicts: 154000 | #Constraints: 15479 62.03/63.30 c #Conflicts: 155000 | #Constraints: 16489 62.03/63.30 c INPROCESSING 62.03/63.30 c GARBAGE COLLECT 62.03/63.30 c rational objective -357 65.92/67.24 c #Conflicts: 156000 | #Constraints: 9643 65.92/67.24 c #Conflicts: 157000 | #Constraints: 10643 65.92/67.24 c #Conflicts: 158000 | #Constraints: 11643 65.92/67.24 c #Conflicts: 159000 | #Constraints: 12650 65.92/67.24 c #Conflicts: 160000 | #Constraints: 13651 65.92/67.24 c #Conflicts: 161000 | #Constraints: 14652 65.92/67.24 c #Conflicts: 162000 | #Constraints: 15653 65.92/67.24 c #Conflicts: 163000 | #Constraints: 16654 65.92/67.24 c INPROCESSING 65.92/67.24 c GARBAGE COLLECT 65.92/67.24 c rational objective -357 73.30/74.62 c #Conflicts: 164000 | #Constraints: 9645 73.30/74.62 c #Conflicts: 165000 | #Constraints: 10646 73.30/74.62 c #Conflicts: 166000 | #Constraints: 11650 73.30/74.62 c #Conflicts: 167000 | #Constraints: 12650 73.30/74.62 c #Conflicts: 168000 | #Constraints: 13652 73.30/74.62 c #Conflicts: 169000 | #Constraints: 14655 73.30/74.62 c #Conflicts: 170000 | #Constraints: 15656 73.30/74.62 c #Conflicts: 171000 | #Constraints: 16657 73.30/74.62 c INPROCESSING 73.30/74.62 c GARBAGE COLLECT 73.30/74.62 c rational objective -357 77.88/79.27 c #Conflicts: 172000 | #Constraints: 9448 77.88/79.27 c #Conflicts: 173000 | #Constraints: 10450 77.88/79.27 c #Conflicts: 174000 | #Constraints: 11455 77.88/79.27 c #Conflicts: 175000 | #Constraints: 12461 77.88/79.27 c #Conflicts: 176000 | #Constraints: 13468 77.88/79.27 c #Conflicts: 177000 | #Constraints: 14473 77.88/79.27 c #Conflicts: 178000 | #Constraints: 15482 77.88/79.27 c #Conflicts: 179000 | #Constraints: 16486 77.88/79.27 c #Conflicts: 180000 | #Constraints: 17493 77.88/79.27 c INPROCESSING 77.88/79.27 c GARBAGE COLLECT 77.88/79.27 c rational objective -357 87.15/88.51 c #Conflicts: 181000 | #Constraints: 10062 87.15/88.51 c #Conflicts: 182000 | #Constraints: 11064 87.15/88.51 c #Conflicts: 183000 | #Constraints: 12065 87.15/88.51 c #Conflicts: 184000 | #Constraints: 13066 87.15/88.51 c #Conflicts: 185000 | #Constraints: 14068 87.15/88.51 c #Conflicts: 186000 | #Constraints: 15068 87.15/88.51 c #Conflicts: 187000 | #Constraints: 16070 87.15/88.51 c #Conflicts: 188000 | #Constraints: 17072 87.15/88.51 c #Conflicts: 189000 | #Constraints: 18075 87.15/88.51 c INPROCESSING 87.15/88.51 c GARBAGE COLLECT 87.15/88.51 c rational objective -357 91.64/93.04 c #Conflicts: 190000 | #Constraints: 10458 91.64/93.04 c #Conflicts: 191000 | #Constraints: 11459 91.64/93.04 c #Conflicts: 192000 | #Constraints: 12464 91.64/93.04 c #Conflicts: 193000 | #Constraints: 13467 91.64/93.04 c #Conflicts: 194000 | #Constraints: 14470 91.64/93.04 c #Conflicts: 195000 | #Constraints: 15474 91.64/93.04 c #Conflicts: 196000 | #Constraints: 16477 91.64/93.04 c #Conflicts: 197000 | #Constraints: 17481 91.64/93.04 c #Conflicts: 198000 | #Constraints: 18493 91.64/93.04 c INPROCESSING 91.64/93.04 c GARBAGE COLLECT 91.64/93.04 c rational objective -357 95.83/97.21 c #Conflicts: 199000 | #Constraints: 10678 95.83/97.21 c #Conflicts: 200000 | #Constraints: 11690 95.83/97.21 c #Conflicts: 201000 | #Constraints: 12699 95.83/97.21 c #Conflicts: 202000 | #Constraints: 13713 95.83/97.21 c #Conflicts: 203000 | #Constraints: 14714 95.83/97.21 c #Conflicts: 204000 | #Constraints: 15722 95.83/97.21 c #Conflicts: 205000 | #Constraints: 16739 95.83/97.21 c #Conflicts: 206000 | #Constraints: 17739 95.83/97.21 c #Conflicts: 207000 | #Constraints: 18744 95.83/97.21 c INPROCESSING 95.83/97.21 c GARBAGE COLLECT 95.83/97.21 c rational objective -357 107.39/108.83 c #Conflicts: 208000 | #Constraints: 10688 107.39/108.83 c #Conflicts: 209000 | #Constraints: 11694 107.39/108.83 c #Conflicts: 210000 | #Constraints: 12695 107.39/108.83 c #Conflicts: 211000 | #Constraints: 13696 107.39/108.83 c #Conflicts: 212000 | #Constraints: 14698 107.39/108.83 c #Conflicts: 213000 | #Constraints: 15699 107.39/108.83 c #Conflicts: 214000 | #Constraints: 16701 107.39/108.83 c #Conflicts: 215000 | #Constraints: 17703 107.39/108.83 c #Conflicts: 216000 | #Constraints: 18705 107.39/108.83 c INPROCESSING 107.39/108.83 c GARBAGE COLLECT 107.39/108.83 c rational objective -357 111.77/113.22 c #Conflicts: 217000 | #Constraints: 10480 111.77/113.22 c #Conflicts: 218000 | #Constraints: 11489 111.77/113.22 c #Conflicts: 219000 | #Constraints: 12495 111.77/113.22 c #Conflicts: 220000 | #Constraints: 13502 111.77/113.22 c #Conflicts: 221000 | #Constraints: 14507 111.77/113.22 c #Conflicts: 222000 | #Constraints: 15510 111.77/113.22 c #Conflicts: 223000 | #Constraints: 16522 111.77/113.22 c #Conflicts: 224000 | #Constraints: 17527 111.77/113.22 c #Conflicts: 225000 | #Constraints: 18529 111.77/113.22 c #Conflicts: 226000 | #Constraints: 19535 111.77/113.22 c INPROCESSING 111.77/113.22 c GARBAGE COLLECT 111.77/113.22 c rational objective -357 117.45/118.90 c #Conflicts: 227000 | #Constraints: 11082 117.45/118.90 c #Conflicts: 228000 | #Constraints: 12089 117.45/118.90 c #Conflicts: 229000 | #Constraints: 13093 117.45/118.90 c #Conflicts: 230000 | #Constraints: 14095 117.45/118.90 c #Conflicts: 231000 | #Constraints: 15099 117.45/118.90 c #Conflicts: 232000 | #Constraints: 16103 117.45/118.90 c #Conflicts: 233000 | #Constraints: 17104 117.45/118.90 c #Conflicts: 234000 | #Constraints: 18111 117.45/118.90 c #Conflicts: 235000 | #Constraints: 19113 117.45/118.90 c #Conflicts: 236000 | #Constraints: 20116 117.45/118.90 c INPROCESSING 117.45/118.90 c GARBAGE COLLECT 117.45/118.90 c rational objective -357 131.82/133.35 c #Conflicts: 237000 | #Constraints: 11467 131.82/133.35 c #Conflicts: 238000 | #Constraints: 12468 131.82/133.35 c #Conflicts: 239000 | #Constraints: 13471 131.82/133.35 c #Conflicts: 240000 | #Constraints: 14472 131.82/133.35 c #Conflicts: 241000 | #Constraints: 15473 131.82/133.35 c #Conflicts: 242000 | #Constraints: 16475 131.82/133.35 c #Conflicts: 243000 | #Constraints: 17476 131.82/133.35 c #Conflicts: 244000 | #Constraints: 18476 131.82/133.35 c #Conflicts: 245000 | #Constraints: 19477 131.82/133.35 c #Conflicts: 246000 | #Constraints: 20479 131.82/133.35 c INPROCESSING 131.82/133.35 c GARBAGE COLLECT 131.82/133.35 c rational objective -357 138.20/139.70 c #Conflicts: 247000 | #Constraints: 11673 138.20/139.70 c #Conflicts: 248000 | #Constraints: 12678 138.20/139.70 c #Conflicts: 249000 | #Constraints: 13690 138.20/139.70 c #Conflicts: 250000 | #Constraints: 14696 138.20/139.70 c #Conflicts: 251000 | #Constraints: 15696 138.20/139.70 c #Conflicts: 252000 | #Constraints: 16696 138.20/139.70 c #Conflicts: 253000 | #Constraints: 17697 138.20/139.70 c #Conflicts: 254000 | #Constraints: 18697 138.20/139.70 c #Conflicts: 255000 | #Constraints: 19700 138.20/139.70 c #Conflicts: 256000 | #Constraints: 20704 138.20/139.70 c INPROCESSING 138.20/139.70 c GARBAGE COLLECT 138.20/139.70 c rational objective -357 144.68/146.24 c #Conflicts: 257000 | #Constraints: 11671 144.68/146.24 c #Conflicts: 258000 | #Constraints: 12673 144.68/146.24 c #Conflicts: 259000 | #Constraints: 13677 144.68/146.24 c #Conflicts: 260000 | #Constraints: 14679 144.68/146.24 c #Conflicts: 261000 | #Constraints: 15683 144.68/146.24 c #Conflicts: 262000 | #Constraints: 16686 144.68/146.24 c #Conflicts: 263000 | #Constraints: 17687 144.68/146.24 c #Conflicts: 264000 | #Constraints: 18690 144.68/146.24 c #Conflicts: 265000 | #Constraints: 19700 144.68/146.24 c #Conflicts: 266000 | #Constraints: 20703 144.68/146.24 c INPROCESSING 144.68/146.24 c GARBAGE COLLECT 144.68/146.24 c rational objective -357 162.62/164.20 c #Conflicts: 267000 | #Constraints: 11472 162.62/164.20 c #Conflicts: 268000 | #Constraints: 12475 162.62/164.20 c #Conflicts: 269000 | #Constraints: 13475 162.62/164.20 c #Conflicts: 270000 | #Constraints: 14476 162.62/164.20 c #Conflicts: 271000 | #Constraints: 15479 162.62/164.20 c #Conflicts: 272000 | #Constraints: 16480 162.62/164.20 c #Conflicts: 273000 | #Constraints: 17480 162.62/164.20 c #Conflicts: 274000 | #Constraints: 18481 162.62/164.20 c #Conflicts: 275000 | #Constraints: 19481 162.62/164.20 c #Conflicts: 276000 | #Constraints: 20481 162.62/164.20 c #Conflicts: 277000 | #Constraints: 21481 162.62/164.20 c INPROCESSING 162.62/164.20 c GARBAGE COLLECT 162.62/164.20 c rational objective -357 169.30/170.99 c #Conflicts: 278000 | #Constraints: 12060 169.30/170.99 c #Conflicts: 279000 | #Constraints: 13062 169.30/170.99 c #Conflicts: 280000 | #Constraints: 14063 169.30/170.99 c #Conflicts: 281000 | #Constraints: 15065 169.30/170.99 c #Conflicts: 282000 | #Constraints: 16068 169.30/170.99 c #Conflicts: 283000 | #Constraints: 17071 169.30/170.99 c #Conflicts: 284000 | #Constraints: 18072 169.30/170.99 c #Conflicts: 285000 | #Constraints: 19072 169.30/170.99 c #Conflicts: 286000 | #Constraints: 20073 169.30/170.99 c #Conflicts: 287000 | #Constraints: 21083 169.30/170.99 c #Conflicts: 288000 | #Constraints: 22084 169.30/170.99 c INPROCESSING 169.30/170.99 c GARBAGE COLLECT 169.30/170.99 c rational objective -357 176.77/178.48 c #Conflicts: 289000 | #Constraints: 12467 176.77/178.48 c #Conflicts: 290000 | #Constraints: 13468 176.77/178.48 c #Conflicts: 291000 | #Constraints: 14472 176.77/178.48 c #Conflicts: 292000 | #Constraints: 15474 176.77/178.48 c #Conflicts: 293000 | #Constraints: 16484 176.77/178.48 c #Conflicts: 294000 | #Constraints: 17488 176.77/178.48 c #Conflicts: 295000 | #Constraints: 18496 176.77/178.48 c #Conflicts: 296000 | #Constraints: 19498 176.77/178.48 c #Conflicts: 297000 | #Constraints: 20498 176.77/178.48 c #Conflicts: 298000 | #Constraints: 21500 176.77/178.48 c #Conflicts: 299000 | #Constraints: 22504 176.77/178.48 c INPROCESSING 176.77/178.48 c GARBAGE COLLECT 176.77/178.48 c rational objective -357 196.51/198.26 c #Conflicts: 300000 | #Constraints: 12669 196.51/198.26 c #Conflicts: 301000 | #Constraints: 13674 196.51/198.26 c #Conflicts: 302000 | #Constraints: 14678 196.51/198.26 c #Conflicts: 303000 | #Constraints: 15681 196.51/198.26 c #Conflicts: 304000 | #Constraints: 16682 196.51/198.26 c #Conflicts: 305000 | #Constraints: 17682 196.51/198.26 c #Conflicts: 306000 | #Constraints: 18684 196.51/198.26 c #Conflicts: 307000 | #Constraints: 19685 196.51/198.26 c #Conflicts: 308000 | #Constraints: 20687 196.51/198.26 c #Conflicts: 309000 | #Constraints: 21687 196.51/198.26 c #Conflicts: 310000 | #Constraints: 22689 196.51/198.26 c INPROCESSING 196.51/198.26 c GARBAGE COLLECT 196.51/198.26 c rational objective -357 204.30/206.05 c #Conflicts: 311000 | #Constraints: 12685 204.30/206.05 c #Conflicts: 312000 | #Constraints: 13688 204.30/206.05 c #Conflicts: 313000 | #Constraints: 14690 204.30/206.05 c #Conflicts: 314000 | #Constraints: 15697 204.30/206.05 c #Conflicts: 315000 | #Constraints: 16707 204.30/206.05 c #Conflicts: 316000 | #Constraints: 17723 204.30/206.05 c #Conflicts: 317000 | #Constraints: 18733 204.30/206.05 c #Conflicts: 318000 | #Constraints: 19744 204.30/206.05 c #Conflicts: 319000 | #Constraints: 20753 204.30/206.05 c #Conflicts: 320000 | #Constraints: 21770 204.30/206.05 c #Conflicts: 321000 | #Constraints: 22774 204.30/206.05 c INPROCESSING 204.30/206.05 c GARBAGE COLLECT 204.30/206.05 c rational objective -357 211.07/212.82 c #Conflicts: 322000 | #Constraints: 12511 211.07/212.82 c #Conflicts: 323000 | #Constraints: 13524 211.07/212.82 c #Conflicts: 324000 | #Constraints: 14534 211.07/212.82 c #Conflicts: 325000 | #Constraints: 15542 211.07/212.82 c #Conflicts: 326000 | #Constraints: 16552 211.07/212.82 c #Conflicts: 327000 | #Constraints: 17560 211.07/212.82 c #Conflicts: 328000 | #Constraints: 18569 211.07/212.82 c #Conflicts: 329000 | #Constraints: 19572 211.07/212.82 c #Conflicts: 330000 | #Constraints: 20577 211.07/212.82 c #Conflicts: 331000 | #Constraints: 21581 211.07/212.82 c #Conflicts: 332000 | #Constraints: 22592 211.07/212.82 c #Conflicts: 333000 | #Constraints: 23594 211.07/212.82 c INPROCESSING 211.07/212.82 c GARBAGE COLLECT 211.07/212.82 c rational objective -357 219.44/221.29 c #Conflicts: 334000 | #Constraints: 13117 219.44/221.29 c #Conflicts: 335000 | #Constraints: 14134 219.44/221.29 c #Conflicts: 336000 | #Constraints: 15137 219.44/221.29 c #Conflicts: 337000 | #Constraints: 16137 219.44/221.29 c #Conflicts: 338000 | #Constraints: 17145 219.44/221.29 c #Conflicts: 339000 | #Constraints: 18149 219.44/221.29 c #Conflicts: 340000 | #Constraints: 19157 219.44/221.29 c #Conflicts: 341000 | #Constraints: 20160 219.44/221.29 c #Conflicts: 342000 | #Constraints: 21165 219.44/221.29 c #Conflicts: 343000 | #Constraints: 22169 219.44/221.29 c #Conflicts: 344000 | #Constraints: 23172 219.44/221.29 c #Conflicts: 345000 | #Constraints: 24174 219.44/221.29 c INPROCESSING 219.44/221.29 c GARBAGE COLLECT 219.44/221.29 c rational objective -357 244.07/245.97 c #Conflicts: 346000 | #Constraints: 13500 244.07/245.97 c #Conflicts: 347000 | #Constraints: 14500 244.07/245.97 c #Conflicts: 348000 | #Constraints: 15500 244.07/245.97 c #Conflicts: 349000 | #Constraints: 16501 244.07/245.97 c #Conflicts: 350000 | #Constraints: 17501 244.07/245.97 c #Conflicts: 351000 | #Constraints: 18501 244.07/245.97 c #Conflicts: 352000 | #Constraints: 19501 244.07/245.97 c #Conflicts: 353000 | #Constraints: 20502 244.07/245.97 c #Conflicts: 354000 | #Constraints: 21503 244.07/245.97 c #Conflicts: 355000 | #Constraints: 22506 244.07/245.97 c #Conflicts: 356000 | #Constraints: 23506 244.07/245.97 c #Conflicts: 357000 | #Constraints: 24508 244.07/245.97 c INPROCESSING 244.07/245.97 c GARBAGE COLLECT 244.07/245.97 c rational objective -357 253.05/254.90 c #Conflicts: 358000 | #Constraints: 13675 253.05/254.90 c #Conflicts: 359000 | #Constraints: 14679 253.05/254.90 c #Conflicts: 360000 | #Constraints: 15689 253.05/254.90 c #Conflicts: 361000 | #Constraints: 16693 253.05/254.90 c #Conflicts: 362000 | #Constraints: 17693 253.05/254.90 c #Conflicts: 363000 | #Constraints: 18695 253.05/254.90 c #Conflicts: 364000 | #Constraints: 19696 253.05/254.90 c #Conflicts: 365000 | #Constraints: 20697 253.05/254.90 c #Conflicts: 366000 | #Constraints: 21701 253.05/254.90 c #Conflicts: 367000 | #Constraints: 22703 253.05/254.90 c #Conflicts: 368000 | #Constraints: 23706 253.05/254.90 c #Conflicts: 369000 | #Constraints: 24708 253.05/254.90 c INPROCESSING 253.05/254.90 c GARBAGE COLLECT 253.05/254.90 c rational objective -357 262.02/263.92 c #Conflicts: 370000 | #Constraints: 13685 262.02/263.92 c #Conflicts: 371000 | #Constraints: 14688 262.02/263.92 c #Conflicts: 372000 | #Constraints: 15699 262.02/263.92 c #Conflicts: 373000 | #Constraints: 16703 262.02/263.92 c #Conflicts: 374000 | #Constraints: 17709 262.02/263.92 c #Conflicts: 375000 | #Constraints: 18715 262.02/263.92 c #Conflicts: 376000 | #Constraints: 19725 262.02/263.92 c #Conflicts: 377000 | #Constraints: 20728 262.02/263.92 c #Conflicts: 378000 | #Constraints: 21728 262.02/263.92 c #Conflicts: 379000 | #Constraints: 22730 262.02/263.92 c #Conflicts: 380000 | #Constraints: 23731 262.02/263.92 c #Conflicts: 381000 | #Constraints: 24732 262.02/263.92 c INPROCESSING 262.02/263.92 c GARBAGE COLLECT 262.02/263.92 c rational objective -357 291.04/293.03 c #Conflicts: 382000 | #Constraints: 13485 291.04/293.03 c #Conflicts: 383000 | #Constraints: 14486 291.04/293.03 c #Conflicts: 384000 | #Constraints: 15486 291.04/293.03 c #Conflicts: 385000 | #Constraints: 16488 291.04/293.03 c #Conflicts: 386000 | #Constraints: 17490 291.04/293.03 c #Conflicts: 387000 | #Constraints: 18491 291.04/293.03 c #Conflicts: 388000 | #Constraints: 19491 291.04/293.03 c #Conflicts: 389000 | #Constraints: 20492 291.04/293.03 c #Conflicts: 390000 | #Constraints: 21495 291.04/293.03 c #Conflicts: 391000 | #Constraints: 22495 291.04/293.03 c #Conflicts: 392000 | #Constraints: 23497 291.04/293.03 c #Conflicts: 393000 | #Constraints: 24497 291.04/293.03 c #Conflicts: 394000 | #Constraints: 25499 291.04/293.03 c INPROCESSING 291.04/293.03 c GARBAGE COLLECT 291.04/293.03 c rational objective -357 300.81/302.88 c #Conflicts: 395000 | #Constraints: 14092 300.81/302.88 c #Conflicts: 396000 | #Constraints: 15092 300.81/302.88 c #Conflicts: 397000 | #Constraints: 16097 300.81/302.88 c #Conflicts: 398000 | #Constraints: 17099 300.81/302.88 c #Conflicts: 399000 | #Constraints: 18105 300.81/302.88 c #Conflicts: 400000 | #Constraints: 19107 300.81/302.88 c #Conflicts: 401000 | #Constraints: 20108 300.81/302.88 c #Conflicts: 402000 | #Constraints: 21112 300.81/302.88 c #Conflicts: 403000 | #Constraints: 22123 300.81/302.88 c #Conflicts: 404000 | #Constraints: 23129 300.81/302.88 c #Conflicts: 405000 | #Constraints: 24136 300.81/302.88 c #Conflicts: 406000 | #Constraints: 25140 300.81/302.88 c #Conflicts: 407000 | #Constraints: 26147 300.81/302.88 c INPROCESSING 300.81/302.88 c GARBAGE COLLECT 300.81/302.88 c rational objective -357 311.08/313.15 c #Conflicts: 408000 | #Constraints: 14499 311.08/313.15 c #Conflicts: 409000 | #Constraints: 15502 311.08/313.15 c #Conflicts: 410000 | #Constraints: 16503 311.08/313.15 c #Conflicts: 411000 | #Constraints: 17509 311.08/313.15 c #Conflicts: 412000 | #Constraints: 18512 311.08/313.15 c #Conflicts: 413000 | #Constraints: 19517 311.08/313.15 c #Conflicts: 414000 | #Constraints: 20529 311.08/313.15 c #Conflicts: 415000 | #Constraints: 21542 311.08/313.15 c #Conflicts: 416000 | #Constraints: 22546 311.08/313.15 c #Conflicts: 417000 | #Constraints: 23555 311.08/313.15 c #Conflicts: 418000 | #Constraints: 24556 311.08/313.15 c #Conflicts: 419000 | #Constraints: 25566 311.08/313.15 c #Conflicts: 420000 | #Constraints: 26572 311.08/313.15 c INPROCESSING 311.08/313.15 c GARBAGE COLLECT 311.08/313.15 c rational objective -357 340.20/342.36 c #Conflicts: 421000 | #Constraints: 14727 340.20/342.36 c #Conflicts: 422000 | #Constraints: 15727 340.20/342.36 c #Conflicts: 423000 | #Constraints: 16729 340.20/342.36 c #Conflicts: 424000 | #Constraints: 17732 340.20/342.36 c #Conflicts: 425000 | #Constraints: 18735 340.20/342.36 c #Conflicts: 426000 | #Constraints: 19737 340.20/342.36 c #Conflicts: 427000 | #Constraints: 20740 340.20/342.36 c #Conflicts: 428000 | #Constraints: 21741 340.20/342.36 c #Conflicts: 429000 | #Constraints: 22741 340.20/342.36 c #Conflicts: 430000 | #Constraints: 23741 340.20/342.36 c #Conflicts: 431000 | #Constraints: 24744 340.20/342.36 c #Conflicts: 432000 | #Constraints: 25746 340.20/342.36 c #Conflicts: 433000 | #Constraints: 26747 340.20/342.36 c INPROCESSING 340.20/342.36 c GARBAGE COLLECT 340.20/342.36 c rational objective -357 350.87/353.00 c #Conflicts: 434000 | #Constraints: 14704 350.87/353.00 c #Conflicts: 435000 | #Constraints: 15708 350.87/353.00 c #Conflicts: 436000 | #Constraints: 16713 350.87/353.00 c #Conflicts: 437000 | #Constraints: 17721 350.87/353.00 c #Conflicts: 438000 | #Constraints: 18730 350.87/353.00 c #Conflicts: 439000 | #Constraints: 19731 350.87/353.00 c #Conflicts: 440000 | #Constraints: 20738 350.87/353.00 c #Conflicts: 441000 | #Constraints: 21742 350.87/353.00 c #Conflicts: 442000 | #Constraints: 22748 350.87/353.00 c #Conflicts: 443000 | #Constraints: 23756 350.87/353.00 c #Conflicts: 444000 | #Constraints: 24759 350.87/353.00 c #Conflicts: 445000 | #Constraints: 25763 350.87/353.00 c #Conflicts: 446000 | #Constraints: 26765 350.87/353.00 c INPROCESSING 350.87/353.00 c GARBAGE COLLECT 350.87/353.00 c rational objective -357 360.74/362.96 c #Conflicts: 447000 | #Constraints: 14493 360.74/362.96 c #Conflicts: 448000 | #Constraints: 15497 360.74/362.96 c #Conflicts: 449000 | #Constraints: 16498 360.74/362.96 c #Conflicts: 450000 | #Constraints: 17501 360.74/362.96 c #Conflicts: 451000 | #Constraints: 18507 360.74/362.96 c #Conflicts: 452000 | #Constraints: 19510 360.74/362.96 c #Conflicts: 453000 | #Constraints: 20516 360.74/362.96 c #Conflicts: 454000 | #Constraints: 21522 360.74/362.96 c #Conflicts: 455000 | #Constraints: 22526 360.74/362.96 c #Conflicts: 456000 | #Constraints: 23530 360.74/362.96 c #Conflicts: 457000 | #Constraints: 24533 360.74/362.96 c #Conflicts: 458000 | #Constraints: 25538 360.74/362.96 c #Conflicts: 459000 | #Constraints: 26543 360.74/362.96 c #Conflicts: 460000 | #Constraints: 27546 360.74/362.96 c INPROCESSING 360.74/362.96 c GARBAGE COLLECT 360.74/362.96 c rational objective -357 397.63/399.97 c #Conflicts: 461000 | #Constraints: 15096 397.63/399.97 c #Conflicts: 462000 | #Constraints: 16096 397.63/399.97 c #Conflicts: 463000 | #Constraints: 17096 397.63/399.97 c #Conflicts: 464000 | #Constraints: 18100 397.63/399.97 c #Conflicts: 465000 | #Constraints: 19105 397.63/399.97 c #Conflicts: 466000 | #Constraints: 20107 397.63/399.97 c #Conflicts: 467000 | #Constraints: 21107 397.63/399.97 c #Conflicts: 468000 | #Constraints: 22108 397.63/399.97 c #Conflicts: 469000 | #Constraints: 23111 397.63/399.97 c #Conflicts: 470000 | #Constraints: 24112 397.63/399.97 c #Conflicts: 471000 | #Constraints: 25113 397.63/399.97 c #Conflicts: 472000 | #Constraints: 26117 397.63/399.97 c #Conflicts: 473000 | #Constraints: 27121 397.63/399.97 c #Conflicts: 474000 | #Constraints: 28122 397.63/399.97 c INPROCESSING 397.63/399.97 c GARBAGE COLLECT 397.63/399.97 c rational objective -357 409.20/411.59 c #Conflicts: 475000 | #Constraints: 15494 409.20/411.59 c #Conflicts: 476000 | #Constraints: 16501 409.20/411.59 c #Conflicts: 477000 | #Constraints: 17506 409.20/411.59 c #Conflicts: 478000 | #Constraints: 18511 409.20/411.59 c #Conflicts: 479000 | #Constraints: 19518 409.20/411.59 c #Conflicts: 480000 | #Constraints: 20524 409.20/411.59 c #Conflicts: 481000 | #Constraints: 21537 409.20/411.59 c #Conflicts: 482000 | #Constraints: 22555 409.20/411.59 c #Conflicts: 483000 | #Constraints: 23567 409.20/411.59 c #Conflicts: 484000 | #Constraints: 24570 409.20/411.59 c #Conflicts: 485000 | #Constraints: 25571 409.20/411.59 c #Conflicts: 486000 | #Constraints: 26574 409.20/411.59 c #Conflicts: 487000 | #Constraints: 27577 409.20/411.59 c #Conflicts: 488000 | #Constraints: 28578 409.20/411.59 c INPROCESSING 409.20/411.59 c GARBAGE COLLECT 409.20/411.59 c rational objective -357 421.85/424.22 c #Conflicts: 489000 | #Constraints: 15713 421.85/424.22 c #Conflicts: 490000 | #Constraints: 16714 421.85/424.22 c #Conflicts: 491000 | #Constraints: 17714 421.85/424.22 c #Conflicts: 492000 | #Constraints: 18716 421.85/424.22 c #Conflicts: 493000 | #Constraints: 19717 421.85/424.22 c #Conflicts: 494000 | #Constraints: 20719 421.85/424.22 c #Conflicts: 495000 | #Constraints: 21725 421.85/424.22 c #Conflicts: 496000 | #Constraints: 22737 421.85/424.22 c #Conflicts: 497000 | #Constraints: 23743 421.85/424.22 c #Conflicts: 498000 | #Constraints: 24746 421.85/424.22 c #Conflicts: 499000 | #Constraints: 25747 421.85/424.22 c #Conflicts: 500000 | #Constraints: 26748 421.85/424.22 c #Conflicts: 501000 | #Constraints: 27751 421.85/424.22 c #Conflicts: 502000 | #Constraints: 28757 421.85/424.22 c INPROCESSING 421.85/424.22 c GARBAGE COLLECT 421.85/424.22 c rational objective -357 433.12/435.56 c #Conflicts: 503000 | #Constraints: 15705 433.12/435.56 c #Conflicts: 504000 | #Constraints: 16713 433.12/435.56 c #Conflicts: 505000 | #Constraints: 17726 433.12/435.56 c #Conflicts: 506000 | #Constraints: 18735 433.12/435.56 c #Conflicts: 507000 | #Constraints: 19742 433.12/435.56 c #Conflicts: 508000 | #Constraints: 20761 433.12/435.56 c #Conflicts: 509000 | #Constraints: 21767 433.12/435.56 c #Conflicts: 510000 | #Constraints: 22770 433.12/435.56 c #Conflicts: 511000 | #Constraints: 23775 433.12/435.56 c #Conflicts: 512000 | #Constraints: 24777 433.12/435.56 c #Conflicts: 513000 | #Constraints: 25786 433.12/435.56 c #Conflicts: 514000 | #Constraints: 26786 433.12/435.56 c #Conflicts: 515000 | #Constraints: 27794 433.12/435.56 c #Conflicts: 516000 | #Constraints: 28801 433.12/435.56 c INPROCESSING 433.12/435.56 c GARBAGE COLLECT 433.12/435.56 c rational objective -357 487.35/489.92 c #Conflicts: 517000 | #Constraints: 15533 487.35/489.92 c #Conflicts: 518000 | #Constraints: 16534 487.35/489.92 c #Conflicts: 519000 | #Constraints: 17538 487.35/489.92 c #Conflicts: 520000 | #Constraints: 18542 487.35/489.92 c #Conflicts: 521000 | #Constraints: 19542 487.35/489.92 c #Conflicts: 522000 | #Constraints: 20544 487.35/489.92 c #Conflicts: 523000 | #Constraints: 21551 487.35/489.92 c #Conflicts: 524000 | #Constraints: 22551 487.35/489.92 c #Conflicts: 525000 | #Constraints: 23552 487.35/489.92 c #Conflicts: 526000 | #Constraints: 24552 487.35/489.92 c #Conflicts: 527000 | #Constraints: 25553 487.35/489.92 c #Conflicts: 528000 | #Constraints: 26553 487.35/489.92 c #Conflicts: 529000 | #Constraints: 27554 487.35/489.92 c #Conflicts: 530000 | #Constraints: 28558 487.35/489.92 c #Conflicts: 531000 | #Constraints: 29559 487.35/489.92 c INPROCESSING 487.35/489.92 c GARBAGE COLLECT 487.35/489.92 c rational objective -357 501.00/503.64 c #Conflicts: 532000 | #Constraints: 16112 501.00/503.64 c #Conflicts: 533000 | #Constraints: 17115 501.00/503.64 c #Conflicts: 534000 | #Constraints: 18115 501.00/503.64 c #Conflicts: 535000 | #Constraints: 19115 501.00/503.64 c #Conflicts: 536000 | #Constraints: 20119 501.00/503.64 c #Conflicts: 537000 | #Constraints: 21121 501.00/503.64 c #Conflicts: 538000 | #Constraints: 22124 501.00/503.64 c #Conflicts: 539000 | #Constraints: 23127 501.00/503.64 c #Conflicts: 540000 | #Constraints: 24130 501.00/503.64 c #Conflicts: 541000 | #Constraints: 25132 501.00/503.64 c #Conflicts: 542000 | #Constraints: 26135 501.00/503.64 c #Conflicts: 543000 | #Constraints: 27140 501.00/503.64 c #Conflicts: 544000 | #Constraints: 28145 501.00/503.64 c #Conflicts: 545000 | #Constraints: 29149 501.00/503.64 c #Conflicts: 546000 | #Constraints: 30150 501.00/503.64 c INPROCESSING 501.00/503.64 c GARBAGE COLLECT 501.00/503.64 c rational objective -357 515.37/518.03 c #Conflicts: 547000 | #Constraints: 16503 515.37/518.03 c #Conflicts: 548000 | #Constraints: 17513 515.37/518.03 c #Conflicts: 549000 | #Constraints: 18518 515.37/518.03 c #Conflicts: 550000 | #Constraints: 19540 515.37/518.03 c #Conflicts: 551000 | #Constraints: 20547 515.37/518.03 c #Conflicts: 552000 | #Constraints: 21551 515.37/518.03 c #Conflicts: 553000 | #Constraints: 22555 515.37/518.03 c #Conflicts: 554000 | #Constraints: 23557 515.37/518.03 c #Conflicts: 555000 | #Constraints: 24560 515.37/518.03 c #Conflicts: 556000 | #Constraints: 25562 515.37/518.03 c #Conflicts: 557000 | #Constraints: 26568 515.37/518.03 c #Conflicts: 558000 | #Constraints: 27574 515.37/518.03 c #Conflicts: 559000 | #Constraints: 28576 515.37/518.03 c #Conflicts: 560000 | #Constraints: 29578 515.37/518.03 c #Conflicts: 561000 | #Constraints: 30582 515.37/518.03 c INPROCESSING 515.37/518.03 c GARBAGE COLLECT 515.37/518.03 c rational objective -357 572.58/575.42 c #Conflicts: 562000 | #Constraints: 16718 572.58/575.42 c #Conflicts: 563000 | #Constraints: 17720 572.58/575.42 c #Conflicts: 564000 | #Constraints: 18721 572.58/575.42 c #Conflicts: 565000 | #Constraints: 19722 572.58/575.42 c #Conflicts: 566000 | #Constraints: 20723 572.58/575.42 c #Conflicts: 567000 | #Constraints: 21723 572.58/575.42 c #Conflicts: 568000 | #Constraints: 22726 572.58/575.42 c #Conflicts: 569000 | #Constraints: 23729 572.58/575.42 c #Conflicts: 570000 | #Constraints: 24730 572.58/575.42 c #Conflicts: 571000 | #Constraints: 25731 572.58/575.42 c #Conflicts: 572000 | #Constraints: 26735 572.58/575.42 c #Conflicts: 573000 | #Constraints: 27736 572.58/575.42 c #Conflicts: 574000 | #Constraints: 28739 572.58/575.42 c #Conflicts: 575000 | #Constraints: 29740 572.58/575.42 c #Conflicts: 576000 | #Constraints: 30740 572.58/575.42 c INPROCESSING 572.58/575.42 c GARBAGE COLLECT 572.58/575.42 c rational objective -357 586.84/589.77 c #Conflicts: 577000 | #Constraints: 16701 586.84/589.77 c #Conflicts: 578000 | #Constraints: 17705 586.84/589.77 c #Conflicts: 579000 | #Constraints: 18706 586.84/589.77 c #Conflicts: 580000 | #Constraints: 19708 586.84/589.77 c #Conflicts: 581000 | #Constraints: 20711 586.84/589.77 c #Conflicts: 582000 | #Constraints: 21712 586.84/589.77 c #Conflicts: 583000 | #Constraints: 22720 586.84/589.77 c #Conflicts: 584000 | #Constraints: 23723 586.84/589.77 c #Conflicts: 585000 | #Constraints: 24725 586.84/589.77 c #Conflicts: 586000 | #Constraints: 25728 586.84/589.77 c #Conflicts: 587000 | #Constraints: 26730 586.84/589.77 c #Conflicts: 588000 | #Constraints: 27733 586.84/589.77 c #Conflicts: 589000 | #Constraints: 28736 586.84/589.77 c #Conflicts: 590000 | #Constraints: 29739 586.84/589.77 c #Conflicts: 591000 | #Constraints: 30740 586.84/589.77 c INPROCESSING 586.84/589.77 c GARBAGE COLLECT 586.84/589.77 c rational objective -357 601.99/604.90 c #Conflicts: 592000 | #Constraints: 16505 601.99/604.90 c #Conflicts: 593000 | #Constraints: 17510 601.99/604.90 c #Conflicts: 594000 | #Constraints: 18521 601.99/604.90 c #Conflicts: 595000 | #Constraints: 19529 601.99/604.90 c #Conflicts: 596000 | #Constraints: 20540 601.99/604.90 c #Conflicts: 597000 | #Constraints: 21551 601.99/604.90 c #Conflicts: 598000 | #Constraints: 22556 601.99/604.90 c #Conflicts: 599000 | #Constraints: 23563 601.99/604.90 c #Conflicts: 600000 | #Constraints: 24569 601.99/604.90 c #Conflicts: 601000 | #Constraints: 25580 601.99/604.90 c #Conflicts: 602000 | #Constraints: 26581 601.99/604.90 c #Conflicts: 603000 | #Constraints: 27593 601.99/604.90 c #Conflicts: 604000 | #Constraints: 28599 601.99/604.90 c #Conflicts: 605000 | #Constraints: 29613 601.99/604.90 c #Conflicts: 606000 | #Constraints: 30630 601.99/604.90 c #Conflicts: 607000 | #Constraints: 31640 601.99/604.90 c INPROCESSING 601.99/604.90 c GARBAGE COLLECT 601.99/604.90 c rational objective -357 617.95/620.97 c #Conflicts: 608000 | #Constraints: 17155 617.95/620.97 c #Conflicts: 609000 | #Constraints: 18162 617.95/620.97 c #Conflicts: 610000 | #Constraints: 19166 617.95/620.97 c #Conflicts: 611000 | #Constraints: 20173 617.95/620.97 c #Conflicts: 612000 | #Constraints: 21179 617.95/620.97 c #Conflicts: 613000 | #Constraints: 22185 617.95/620.97 c #Conflicts: 614000 | #Constraints: 23194 617.95/620.97 c #Conflicts: 615000 | #Constraints: 24203 617.95/620.97 c #Conflicts: 616000 | #Constraints: 25208 617.95/620.97 c #Conflicts: 617000 | #Constraints: 26212 617.95/620.97 c #Conflicts: 618000 | #Constraints: 27224 617.95/620.97 c #Conflicts: 619000 | #Constraints: 28224 617.95/620.97 c #Conflicts: 620000 | #Constraints: 29230 617.95/620.97 c #Conflicts: 621000 | #Constraints: 30232 617.95/620.97 c #Conflicts: 622000 | #Constraints: 31235 617.95/620.97 c #Conflicts: 623000 | #Constraints: 32237 617.95/620.97 c INPROCESSING 617.95/620.97 c GARBAGE COLLECT 617.95/620.97 c rational objective -357 693.41/696.65 c #Conflicts: 624000 | #Constraints: 17541 693.41/696.65 c #Conflicts: 625000 | #Constraints: 18541 693.41/696.65 c #Conflicts: 626000 | #Constraints: 19545 693.41/696.65 c #Conflicts: 627000 | #Constraints: 20547 693.41/696.65 c #Conflicts: 628000 | #Constraints: 21547 693.41/696.65 c #Conflicts: 629000 | #Constraints: 22548 693.41/696.65 c #Conflicts: 630000 | #Constraints: 23549 693.41/696.65 c #Conflicts: 631000 | #Constraints: 24550 693.41/696.65 c #Conflicts: 632000 | #Constraints: 25551 693.41/696.65 c #Conflicts: 633000 | #Constraints: 26551 693.41/696.65 c #Conflicts: 634000 | #Constraints: 27552 693.41/696.65 c #Conflicts: 635000 | #Constraints: 28555 693.41/696.65 c #Conflicts: 636000 | #Constraints: 29555 693.41/696.65 c #Conflicts: 637000 | #Constraints: 30555 693.41/696.65 c #Conflicts: 638000 | #Constraints: 31558 693.41/696.65 c #Conflicts: 639000 | #Constraints: 32558 693.41/696.65 c INPROCESSING 693.41/696.65 c GARBAGE COLLECT 693.41/696.65 c rational objective -357 708.56/711.80 c #Conflicts: 640000 | #Constraints: 17719 708.56/711.80 c #Conflicts: 641000 | #Constraints: 18725 708.56/711.80 c #Conflicts: 642000 | #Constraints: 19726 708.56/711.80 c #Conflicts: 643000 | #Constraints: 20728 708.56/711.80 c #Conflicts: 644000 | #Constraints: 21730 708.56/711.80 c #Conflicts: 645000 | #Constraints: 22733 708.56/711.80 c #Conflicts: 646000 | #Constraints: 23736 708.56/711.80 c #Conflicts: 647000 | #Constraints: 24741 708.56/711.80 c #Conflicts: 648000 | #Constraints: 25747 708.56/711.80 c #Conflicts: 649000 | #Constraints: 26750 708.56/711.80 c #Conflicts: 650000 | #Constraints: 27751 708.56/711.80 c #Conflicts: 651000 | #Constraints: 28753 708.56/711.80 c #Conflicts: 652000 | #Constraints: 29754 708.56/711.80 c #Conflicts: 653000 | #Constraints: 30756 708.56/711.80 c #Conflicts: 654000 | #Constraints: 31757 708.56/711.80 c #Conflicts: 655000 | #Constraints: 32761 708.56/711.80 c INPROCESSING 708.56/711.80 c GARBAGE COLLECT 708.56/711.80 c rational objective -357 726.40/729.74 c #Conflicts: 656000 | #Constraints: 17691 726.40/729.74 c #Conflicts: 657000 | #Constraints: 18693 726.40/729.74 c #Conflicts: 658000 | #Constraints: 19699 726.40/729.74 c #Conflicts: 659000 | #Constraints: 20702 726.40/729.74 c #Conflicts: 660000 | #Constraints: 21707 726.40/729.74 c #Conflicts: 661000 | #Constraints: 22707 726.40/729.74 c #Conflicts: 662000 | #Constraints: 23708 726.40/729.74 c #Conflicts: 663000 | #Constraints: 24708 726.40/729.74 c #Conflicts: 664000 | #Constraints: 25709 726.40/729.74 c #Conflicts: 665000 | #Constraints: 26712 726.40/729.74 c #Conflicts: 666000 | #Constraints: 27716 726.40/729.74 c #Conflicts: 667000 | #Constraints: 28722 726.40/729.74 c #Conflicts: 668000 | #Constraints: 29728 726.40/729.74 c #Conflicts: 669000 | #Constraints: 30730 726.40/729.74 c #Conflicts: 670000 | #Constraints: 31733 726.40/729.74 c #Conflicts: 671000 | #Constraints: 32740 726.40/729.74 c INPROCESSING 726.40/729.74 c GARBAGE COLLECT 726.40/729.74 c rational objective -357 743.55/746.90 c #Conflicts: 672000 | #Constraints: 17503 743.55/746.90 c #Conflicts: 673000 | #Constraints: 18503 743.55/746.90 c #Conflicts: 674000 | #Constraints: 19508 743.55/746.90 c #Conflicts: 675000 | #Constraints: 20509 743.55/746.90 c #Conflicts: 676000 | #Constraints: 21509 743.55/746.90 c #Conflicts: 677000 | #Constraints: 22513 743.55/746.90 c #Conflicts: 678000 | #Constraints: 23519 743.55/746.90 c #Conflicts: 679000 | #Constraints: 24521 743.55/746.90 c #Conflicts: 680000 | #Constraints: 25526 743.55/746.90 c #Conflicts: 681000 | #Constraints: 26533 743.55/746.90 c #Conflicts: 682000 | #Constraints: 27536 743.55/746.90 c #Conflicts: 683000 | #Constraints: 28538 743.55/746.90 c #Conflicts: 684000 | #Constraints: 29541 743.55/746.90 c #Conflicts: 685000 | #Constraints: 30544 743.55/746.90 c #Conflicts: 686000 | #Constraints: 31550 743.55/746.90 c #Conflicts: 687000 | #Constraints: 32554 743.55/746.90 c #Conflicts: 688000 | #Constraints: 33555 743.55/746.90 c INPROCESSING 743.55/746.90 c GARBAGE COLLECT 743.55/746.90 c rational objective -357 824.09/827.72 c #Conflicts: 689000 | #Constraints: 18096 824.09/827.72 c #Conflicts: 690000 | #Constraints: 19100 824.09/827.72 c #Conflicts: 691000 | #Constraints: 20102 824.09/827.72 c #Conflicts: 692000 | #Constraints: 21103 824.09/827.72 c #Conflicts: 693000 | #Constraints: 22105 824.09/827.72 c #Conflicts: 694000 | #Constraints: 23108 824.09/827.72 c #Conflicts: 695000 | #Constraints: 24110 824.09/827.72 c #Conflicts: 696000 | #Constraints: 25113 824.09/827.72 c #Conflicts: 697000 | #Constraints: 26113 824.09/827.72 c #Conflicts: 698000 | #Constraints: 27113 824.09/827.72 c #Conflicts: 699000 | #Constraints: 28115 824.09/827.72 c #Conflicts: 700000 | #Constraints: 29116 824.09/827.72 c #Conflicts: 701000 | #Constraints: 30116 824.09/827.72 c #Conflicts: 702000 | #Constraints: 31118 824.09/827.72 c #Conflicts: 703000 | #Constraints: 32126 824.09/827.72 c #Conflicts: 704000 | #Constraints: 33127 824.09/827.72 c #Conflicts: 705000 | #Constraints: 34127 824.09/827.72 c INPROCESSING 824.09/827.72 c GARBAGE COLLECT 824.09/827.72 c rational objective -357 843.24/846.92 c #Conflicts: 706000 | #Constraints: 18523 843.24/846.92 c #Conflicts: 707000 | #Constraints: 19540 843.24/846.92 c #Conflicts: 708000 | #Constraints: 20553 843.24/846.92 c #Conflicts: 709000 | #Constraints: 21557 843.24/846.92 c #Conflicts: 710000 | #Constraints: 22560 843.24/846.92 c #Conflicts: 711000 | #Constraints: 23562 843.24/846.92 c #Conflicts: 712000 | #Constraints: 24568 843.24/846.92 c #Conflicts: 713000 | #Constraints: 25580 843.24/846.92 c #Conflicts: 714000 | #Constraints: 26581 843.24/846.92 c #Conflicts: 715000 | #Constraints: 27586 843.24/846.92 c #Conflicts: 716000 | #Constraints: 28588 843.24/846.92 c #Conflicts: 717000 | #Constraints: 29589 843.24/846.92 c #Conflicts: 718000 | #Constraints: 30590 843.24/846.92 c #Conflicts: 719000 | #Constraints: 31591 843.24/846.92 c #Conflicts: 720000 | #Constraints: 32592 843.24/846.92 c #Conflicts: 721000 | #Constraints: 33594 843.24/846.92 c #Conflicts: 722000 | #Constraints: 34595 843.24/846.92 c INPROCESSING 843.24/846.92 c GARBAGE COLLECT 843.24/846.92 c rational objective -357 859.18/862.90 c #Conflicts: 723000 | #Constraints: 18725 859.18/862.90 c #Conflicts: 724000 | #Constraints: 19728 859.18/862.90 c #Conflicts: 725000 | #Constraints: 20729 859.18/862.90 c #Conflicts: 726000 | #Constraints: 21732 859.18/862.90 c #Conflicts: 727000 | #Constraints: 22734 859.18/862.90 c #Conflicts: 728000 | #Constraints: 23739 859.18/862.90 c #Conflicts: 729000 | #Constraints: 24743 859.18/862.90 c #Conflicts: 730000 | #Constraints: 25749 859.18/862.90 c #Conflicts: 731000 | #Constraints: 26752 859.18/862.90 c #Conflicts: 732000 | #Constraints: 27761 859.18/862.90 c #Conflicts: 733000 | #Constraints: 28774 859.18/862.90 c #Conflicts: 734000 | #Constraints: 29774 859.18/862.90 c #Conflicts: 735000 | #Constraints: 30778 859.18/862.90 c #Conflicts: 736000 | #Constraints: 31781 859.18/862.90 c #Conflicts: 737000 | #Constraints: 32788 859.18/862.90 c #Conflicts: 738000 | #Constraints: 33799 859.18/862.90 c #Conflicts: 739000 | #Constraints: 34805 859.18/862.90 c INPROCESSING 859.18/862.90 c GARBAGE COLLECT 859.18/862.90 c rational objective -357 959.57/963.69 c #Conflicts: 740000 | #Constraints: 18726 959.57/963.69 c #Conflicts: 741000 | #Constraints: 19727 959.57/963.69 c #Conflicts: 742000 | #Constraints: 20728 959.57/963.69 c #Conflicts: 743000 | #Constraints: 21733 959.57/963.69 c #Conflicts: 744000 | #Constraints: 22736 959.57/963.69 c #Conflicts: 745000 | #Constraints: 23736 959.57/963.69 c #Conflicts: 746000 | #Constraints: 24737 959.57/963.69 c #Conflicts: 747000 | #Constraints: 25738 959.57/963.69 c #Conflicts: 748000 | #Constraints: 26738 959.57/963.69 c #Conflicts: 749000 | #Constraints: 27739 959.57/963.69 c #Conflicts: 750000 | #Constraints: 28739 959.57/963.69 c #Conflicts: 751000 | #Constraints: 29740 959.57/963.69 c #Conflicts: 752000 | #Constraints: 30741 959.57/963.69 c #Conflicts: 753000 | #Constraints: 31742 959.57/963.69 c #Conflicts: 754000 | #Constraints: 32742 959.57/963.69 c #Conflicts: 755000 | #Constraints: 33742 959.57/963.69 c #Conflicts: 756000 | #Constraints: 34742 959.57/963.69 c INPROCESSING 959.57/963.69 c GARBAGE COLLECT 959.57/963.69 c rational objective -357 979.61/983.77 c #Conflicts: 757000 | #Constraints: 18520 979.61/983.77 c #Conflicts: 758000 | #Constraints: 19526 979.61/983.77 c #Conflicts: 759000 | #Constraints: 20527 979.61/983.77 c #Conflicts: 760000 | #Constraints: 21534 979.61/983.77 c #Conflicts: 761000 | #Constraints: 22538 979.61/983.77 c #Conflicts: 762000 | #Constraints: 23543 979.61/983.77 c #Conflicts: 763000 | #Constraints: 24548 979.61/983.77 c #Conflicts: 764000 | #Constraints: 25553 979.61/983.77 c #Conflicts: 765000 | #Constraints: 26560 979.61/983.77 c #Conflicts: 766000 | #Constraints: 27564 979.61/983.77 c #Conflicts: 767000 | #Constraints: 28566 979.61/983.77 c #Conflicts: 768000 | #Constraints: 29567 979.61/983.77 c #Conflicts: 769000 | #Constraints: 30572 979.61/983.77 c #Conflicts: 770000 | #Constraints: 31574 979.61/983.77 c #Conflicts: 771000 | #Constraints: 32576 979.61/983.77 c #Conflicts: 772000 | #Constraints: 33579 979.61/983.77 c #Conflicts: 773000 | #Constraints: 34584 979.61/983.77 c #Conflicts: 774000 | #Constraints: 35591 979.61/983.77 c INPROCESSING 979.61/983.77 c GARBAGE COLLECT 979.61/983.77 c rational objective -357 1001.74/1005.90 c #Conflicts: 775000 | #Constraints: 19128 1001.74/1005.90 c #Conflicts: 776000 | #Constraints: 20131 1001.74/1005.90 c #Conflicts: 777000 | #Constraints: 21148 1001.74/1005.90 c #Conflicts: 778000 | #Constraints: 22150 1001.74/1005.90 c #Conflicts: 779000 | #Constraints: 23153 1001.74/1005.90 c #Conflicts: 780000 | #Constraints: 24155 1001.74/1005.90 c #Conflicts: 781000 | #Constraints: 25156 1001.74/1005.90 c #Conflicts: 782000 | #Constraints: 26162 1001.74/1005.90 c #Conflicts: 783000 | #Constraints: 27165 1001.74/1005.90 c #Conflicts: 784000 | #Constraints: 28170 1001.74/1005.90 c #Conflicts: 785000 | #Constraints: 29172 1001.74/1005.90 c #Conflicts: 786000 | #Constraints: 30179 1001.74/1005.90 c #Conflicts: 787000 | #Constraints: 31191 1001.74/1005.90 c #Conflicts: 788000 | #Constraints: 32193 1001.74/1005.90 c #Conflicts: 789000 | #Constraints: 33198 1001.74/1005.90 c #Conflicts: 790000 | #Constraints: 34203 1001.74/1005.90 c #Conflicts: 791000 | #Constraints: 35207 1001.74/1005.90 c #Conflicts: 792000 | #Constraints: 36208 1001.74/1005.90 c INPROCESSING 1001.74/1005.90 c GARBAGE COLLECT 1001.74/1005.90 c rational objective -357 1022.37/1026.62 c #Conflicts: 793000 | #Constraints: 19553 1022.37/1026.62 c #Conflicts: 794000 | #Constraints: 20557 1022.37/1026.62 c #Conflicts: 795000 | #Constraints: 21562 1022.37/1026.62 c #Conflicts: 796000 | #Constraints: 22564 1022.37/1026.62 c #Conflicts: 797000 | #Constraints: 23566 1022.37/1026.62 c #Conflicts: 798000 | #Constraints: 24567 1022.37/1026.62 c #Conflicts: 799000 | #Constraints: 25570 1022.37/1026.62 c #Conflicts: 800000 | #Constraints: 26576 1022.37/1026.62 c #Conflicts: 801000 | #Constraints: 27578 1022.37/1026.62 c #Conflicts: 802000 | #Constraints: 28579 1022.37/1026.62 c #Conflicts: 803000 | #Constraints: 29587 1022.37/1026.62 c #Conflicts: 804000 | #Constraints: 30600 1022.37/1026.62 c #Conflicts: 805000 | #Constraints: 31607 1022.37/1026.62 c #Conflicts: 806000 | #Constraints: 32614 1022.37/1026.62 c #Conflicts: 807000 | #Constraints: 33616 1022.37/1026.62 c #Conflicts: 808000 | #Constraints: 34621 1022.37/1026.62 c #Conflicts: 809000 | #Constraints: 35627 1022.37/1026.62 c #Conflicts: 810000 | #Constraints: 36632 1022.37/1026.62 c INPROCESSING 1022.37/1026.62 c GARBAGE COLLECT 1022.37/1026.62 c rational objective -357 1138.01/1142.61 c #Conflicts: 811000 | #Constraints: 19748 1138.01/1142.61 c #Conflicts: 812000 | #Constraints: 20750 1138.01/1142.61 c #Conflicts: 813000 | #Constraints: 21751 1138.01/1142.61 c #Conflicts: 814000 | #Constraints: 22752 1138.01/1142.61 c #Conflicts: 815000 | #Constraints: 23754 1138.01/1142.61 c #Conflicts: 816000 | #Constraints: 24754 1138.01/1142.61 c #Conflicts: 817000 | #Constraints: 25755 1138.01/1142.61 c #Conflicts: 818000 | #Constraints: 26758 1138.01/1142.61 c #Conflicts: 819000 | #Constraints: 27761 1138.01/1142.61 c #Conflicts: 820000 | #Constraints: 28762 1138.01/1142.61 c #Conflicts: 821000 | #Constraints: 29765 1138.01/1142.61 c #Conflicts: 822000 | #Constraints: 30765 1138.01/1142.61 c #Conflicts: 823000 | #Constraints: 31765 1138.01/1142.61 c #Conflicts: 824000 | #Constraints: 32765 1138.01/1142.61 c #Conflicts: 825000 | #Constraints: 33766 1138.01/1142.61 c #Conflicts: 826000 | #Constraints: 34766 1138.01/1142.61 c #Conflicts: 827000 | #Constraints: 35769 1138.01/1142.61 c #Conflicts: 828000 | #Constraints: 36772 1138.01/1142.61 c INPROCESSING 1138.01/1142.61 c GARBAGE COLLECT 1138.01/1142.61 c rational objective -357 1162.34/1167.02 c #Conflicts: 829000 | #Constraints: 19747 1162.34/1167.02 c #Conflicts: 830000 | #Constraints: 20758 1162.34/1167.02 c #Conflicts: 831000 | #Constraints: 21773 1162.34/1167.02 c #Conflicts: 832000 | #Constraints: 22787 1162.34/1167.02 c #Conflicts: 833000 | #Constraints: 23799 1162.34/1167.02 c #Conflicts: 834000 | #Constraints: 24808 1162.34/1167.02 c #Conflicts: 835000 | #Constraints: 25822 1162.34/1167.02 c #Conflicts: 836000 | #Constraints: 26843 1162.34/1167.02 c #Conflicts: 837000 | #Constraints: 27864 1162.34/1167.02 c #Conflicts: 838000 | #Constraints: 28881 1162.34/1167.02 c #Conflicts: 839000 | #Constraints: 29897 1162.34/1167.02 c #Conflicts: 840000 | #Constraints: 30912 1162.34/1167.02 c #Conflicts: 841000 | #Constraints: 31918 1162.34/1167.02 c #Conflicts: 842000 | #Constraints: 32926 1162.34/1167.02 c #Conflicts: 843000 | #Constraints: 33936 1162.34/1167.02 c #Conflicts: 844000 | #Constraints: 34952 1162.34/1167.02 c #Conflicts: 845000 | #Constraints: 35962 1162.34/1167.02 c #Conflicts: 846000 | #Constraints: 36965 1162.34/1167.02 c INPROCESSING 1162.34/1167.02 c GARBAGE COLLECT 1162.34/1167.02 c rational objective -357 1182.97/1187.71 c #Conflicts: 847000 | #Constraints: 19615 1182.97/1187.71 c #Conflicts: 848000 | #Constraints: 20617 1182.97/1187.71 c #Conflicts: 849000 | #Constraints: 21623 1182.97/1187.71 c #Conflicts: 850000 | #Constraints: 22628 1182.97/1187.71 c #Conflicts: 851000 | #Constraints: 23632 1182.97/1187.71 c #Conflicts: 852000 | #Constraints: 24635 1182.97/1187.71 c #Conflicts: 853000 | #Constraints: 25665 1182.97/1187.71 c #Conflicts: 854000 | #Constraints: 26696 1182.97/1187.71 c #Conflicts: 855000 | #Constraints: 27699 1182.97/1187.71 c #Conflicts: 856000 | #Constraints: 28699 1182.97/1187.71 c #Conflicts: 857000 | #Constraints: 29701 1182.97/1187.71 c #Conflicts: 858000 | #Constraints: 30707 1182.97/1187.71 c #Conflicts: 859000 | #Constraints: 31711 1182.97/1187.71 c #Conflicts: 860000 | #Constraints: 32714 1182.97/1187.71 c #Conflicts: 861000 | #Constraints: 33714 1182.97/1187.71 c #Conflicts: 862000 | #Constraints: 34718 1182.97/1187.71 c #Conflicts: 863000 | #Constraints: 35729 1182.97/1187.71 c #Conflicts: 864000 | #Constraints: 36739 1182.97/1187.71 c #Conflicts: 865000 | #Constraints: 37744 1182.97/1187.71 c INPROCESSING 1182.97/1187.71 c GARBAGE COLLECT 1182.97/1187.71 c rational objective -357 1204.70/1209.52 c #Conflicts: 866000 | #Constraints: 20196 1204.70/1209.52 c #Conflicts: 867000 | #Constraints: 21204 1204.70/1209.52 c #Conflicts: 868000 | #Constraints: 22207 1204.70/1209.52 c #Conflicts: 869000 | #Constraints: 23210 1204.70/1209.52 c #Conflicts: 870000 | #Constraints: 24213 1204.70/1209.52 c #Conflicts: 871000 | #Constraints: 25219 1204.70/1209.52 c #Conflicts: 872000 | #Constraints: 26223 1204.70/1209.52 c #Conflicts: 873000 | #Constraints: 27229 1204.70/1209.52 c #Conflicts: 874000 | #Constraints: 28236 1204.70/1209.52 c #Conflicts: 875000 | #Constraints: 29239 1204.70/1209.52 c #Conflicts: 876000 | #Constraints: 30249 1204.70/1209.52 c #Conflicts: 877000 | #Constraints: 31251 1204.70/1209.52 c #Conflicts: 878000 | #Constraints: 32252 1204.70/1209.52 c #Conflicts: 879000 | #Constraints: 33257 1204.70/1209.52 c #Conflicts: 880000 | #Constraints: 34262 1204.70/1209.52 c #Conflicts: 881000 | #Constraints: 35267 1204.70/1209.52 c #Conflicts: 882000 | #Constraints: 36267 1204.70/1209.52 c #Conflicts: 883000 | #Constraints: 37268 1204.70/1209.52 c #Conflicts: 884000 | #Constraints: 38269 1204.70/1209.52 c INPROCESSING 1204.70/1209.52 c GARBAGE COLLECT 1204.70/1209.52 c rational objective -357 1341.27/1346.56 c #Conflicts: 885000 | #Constraints: 20572 1341.27/1346.56 c #Conflicts: 886000 | #Constraints: 21574 1341.27/1346.56 c #Conflicts: 887000 | #Constraints: 22575 1341.27/1346.56 c #Conflicts: 888000 | #Constraints: 23577 1341.27/1346.56 c #Conflicts: 889000 | #Constraints: 24578 1341.27/1346.56 c #Conflicts: 890000 | #Constraints: 25579 1341.27/1346.56 c #Conflicts: 891000 | #Constraints: 26580 1341.27/1346.56 c #Conflicts: 892000 | #Constraints: 27582 1341.27/1346.56 c #Conflicts: 893000 | #Constraints: 28582 1341.27/1346.56 c #Conflicts: 894000 | #Constraints: 29582 1341.27/1346.56 c #Conflicts: 895000 | #Constraints: 30584 1341.27/1346.56 c #Conflicts: 896000 | #Constraints: 31585 1341.27/1346.56 c #Conflicts: 897000 | #Constraints: 32585 1341.27/1346.56 c #Conflicts: 898000 | #Constraints: 33585 1341.27/1346.56 c #Conflicts: 899000 | #Constraints: 34585 1341.27/1346.56 c #Conflicts: 900000 | #Constraints: 35586 1341.27/1346.56 c #Conflicts: 901000 | #Constraints: 36586 1341.27/1346.56 c #Conflicts: 902000 | #Constraints: 37588 1341.27/1346.56 c #Conflicts: 903000 | #Constraints: 38588 1341.27/1346.56 c INPROCESSING 1341.27/1346.56 c GARBAGE COLLECT 1341.27/1346.56 c rational objective -357 1368.39/1373.78 c #Conflicts: 904000 | #Constraints: 20741 1368.39/1373.78 c #Conflicts: 905000 | #Constraints: 21744 1368.39/1373.78 c #Conflicts: 906000 | #Constraints: 22749 1368.39/1373.78 c #Conflicts: 907000 | #Constraints: 23750 1368.39/1373.78 c #Conflicts: 908000 | #Constraints: 24752 1368.39/1373.78 c #Conflicts: 909000 | #Constraints: 25760 1368.39/1373.78 c #Conflicts: 910000 | #Constraints: 26763 1368.39/1373.78 c #Conflicts: 911000 | #Constraints: 27767 1368.39/1373.78 c #Conflicts: 912000 | #Constraints: 28768 1368.39/1373.78 c #Conflicts: 913000 | #Constraints: 29772 1368.39/1373.78 c #Conflicts: 914000 | #Constraints: 30773 1368.39/1373.78 c #Conflicts: 915000 | #Constraints: 31778 1368.39/1373.78 c #Conflicts: 916000 | #Constraints: 32779 1368.39/1373.78 c #Conflicts: 917000 | #Constraints: 33782 1368.39/1373.78 c #Conflicts: 918000 | #Constraints: 34787 1368.39/1373.78 c #Conflicts: 919000 | #Constraints: 35790 1368.39/1373.78 c #Conflicts: 920000 | #Constraints: 36792 1368.39/1373.78 c #Conflicts: 921000 | #Constraints: 37793 1368.39/1373.78 c #Conflicts: 922000 | #Constraints: 38795 1368.39/1373.78 c INPROCESSING 1368.39/1373.78 c GARBAGE COLLECT 1368.39/1373.78 c rational objective -357 1392.50/1397.98 c #Conflicts: 923000 | #Constraints: 20718 1392.50/1397.98 c #Conflicts: 924000 | #Constraints: 21722 1392.50/1397.98 c #Conflicts: 925000 | #Constraints: 22726 1392.50/1397.98 c #Conflicts: 926000 | #Constraints: 23727 1392.50/1397.98 c #Conflicts: 927000 | #Constraints: 24729 1392.50/1397.98 c #Conflicts: 928000 | #Constraints: 25732 1392.50/1397.98 c #Conflicts: 929000 | #Constraints: 26735 1392.50/1397.98 c #Conflicts: 930000 | #Constraints: 27740 1392.50/1397.98 c #Conflicts: 931000 | #Constraints: 28745 1392.50/1397.98 c #Conflicts: 932000 | #Constraints: 29746 1392.50/1397.98 c #Conflicts: 933000 | #Constraints: 30752 1392.50/1397.98 c #Conflicts: 934000 | #Constraints: 31755 1392.50/1397.98 c #Conflicts: 935000 | #Constraints: 32761 1392.50/1397.98 c #Conflicts: 936000 | #Constraints: 33762 1392.50/1397.98 c #Conflicts: 937000 | #Constraints: 34766 1392.50/1397.98 c #Conflicts: 938000 | #Constraints: 35769 1392.50/1397.98 c #Conflicts: 939000 | #Constraints: 36773 1392.50/1397.98 c #Conflicts: 940000 | #Constraints: 37779 1392.50/1397.98 c #Conflicts: 941000 | #Constraints: 38780 1392.50/1397.98 c INPROCESSING 1392.50/1397.98 c GARBAGE COLLECT 1392.50/1397.98 c rational objective -357 1423.21/1428.75 c #Conflicts: 942000 | #Constraints: 20508 1423.21/1428.75 c #Conflicts: 943000 | #Constraints: 21511 1423.21/1428.75 c #Conflicts: 944000 | #Constraints: 22514 1423.21/1428.75 c #Conflicts: 945000 | #Constraints: 23517 1423.21/1428.75 c #Conflicts: 946000 | #Constraints: 24517 1423.21/1428.75 c #Conflicts: 947000 | #Constraints: 25518 1423.21/1428.75 c #Conflicts: 948000 | #Constraints: 26523 1423.21/1428.75 c #Conflicts: 949000 | #Constraints: 27540 1423.21/1428.75 c #Conflicts: 950000 | #Constraints: 28555 1423.21/1428.75 c #Conflicts: 951000 | #Constraints: 29563 1423.21/1428.75 c #Conflicts: 952000 | #Constraints: 30565 1423.21/1428.75 c #Conflicts: 953000 | #Constraints: 31568 1423.21/1428.75 c #Conflicts: 954000 | #Constraints: 32571 1423.21/1428.75 c #Conflicts: 955000 | #Constraints: 33585 1423.21/1428.75 c #Conflicts: 956000 | #Constraints: 34597 1423.21/1428.75 c #Conflicts: 957000 | #Constraints: 35610 1423.21/1428.75 c #Conflicts: 958000 | #Constraints: 36621 1423.21/1428.75 c #Conflicts: 959000 | #Constraints: 37629 1423.21/1428.75 c #Conflicts: 960000 | #Constraints: 38635 1423.21/1428.75 c #Conflicts: 961000 | #Constraints: 39643 1423.21/1428.75 c INPROCESSING 1423.21/1428.75 c GARBAGE COLLECT 1423.21/1428.75 c rational objective -357 1592.56/1598.61 c #Conflicts: 962000 | #Constraints: 21150 1592.56/1598.61 c #Conflicts: 963000 | #Constraints: 22151 1592.56/1598.61 c #Conflicts: 964000 | #Constraints: 23153 1592.56/1598.61 c #Conflicts: 965000 | #Constraints: 24153 1592.56/1598.61 c #Conflicts: 966000 | #Constraints: 25154 1592.56/1598.61 c #Conflicts: 967000 | #Constraints: 26154 1592.56/1598.61 c #Conflicts: 968000 | #Constraints: 27154 1592.56/1598.61 c #Conflicts: 969000 | #Constraints: 28155 1592.56/1598.61 c #Conflicts: 970000 | #Constraints: 29155 1592.56/1598.61 c #Conflicts: 971000 | #Constraints: 30155 1592.56/1598.61 c #Conflicts: 972000 | #Constraints: 31155 1592.56/1598.61 c #Conflicts: 973000 | #Constraints: 32155 1592.56/1598.61 c #Conflicts: 974000 | #Constraints: 33156 1592.56/1598.61 c #Conflicts: 975000 | #Constraints: 34156 1592.56/1598.61 c #Conflicts: 976000 | #Constraints: 35156 1592.56/1598.61 c #Conflicts: 977000 | #Constraints: 36157 1592.56/1598.61 c #Conflicts: 978000 | #Constraints: 37159 1592.56/1598.61 c #Conflicts: 979000 | #Constraints: 38159 1592.56/1598.61 c #Conflicts: 980000 | #Constraints: 39160 1592.56/1598.61 c #Conflicts: 981000 | #Constraints: 40160 1592.56/1598.61 c INPROCESSING 1592.56/1598.61 c GARBAGE COLLECT 1592.56/1598.61 c rational objective -357 1620.38/1626.52 c #Conflicts: 982000 | #Constraints: 21510 1620.38/1626.52 c #Conflicts: 983000 | #Constraints: 22515 1620.38/1626.52 c #Conflicts: 984000 | #Constraints: 23522 1620.38/1626.52 c #Conflicts: 985000 | #Constraints: 24529 1620.38/1626.52 c #Conflicts: 986000 | #Constraints: 25541 1620.38/1626.52 c #Conflicts: 987000 | #Constraints: 26546 1620.38/1626.52 c #Conflicts: 988000 | #Constraints: 27552 1620.38/1626.52 c #Conflicts: 989000 | #Constraints: 28558 1620.38/1626.52 c #Conflicts: 990000 | #Constraints: 29567 1620.38/1626.52 c #Conflicts: 991000 | #Constraints: 30580 1620.38/1626.52 c #Conflicts: 992000 | #Constraints: 31590 1620.38/1626.52 c #Conflicts: 993000 | #Constraints: 32591 1620.38/1626.52 c #Conflicts: 994000 | #Constraints: 33593 1620.38/1626.52 c #Conflicts: 995000 | #Constraints: 34600 1620.38/1626.52 c #Conflicts: 996000 | #Constraints: 35600 1620.38/1626.52 c #Conflicts: 997000 | #Constraints: 36601 1620.38/1626.52 c #Conflicts: 998000 | #Constraints: 37611 1620.38/1626.52 c #Conflicts: 999000 | #Constraints: 38626 1620.38/1626.52 c #Conflicts: 1000000 | #Constraints: 39634 1620.38/1626.52 c #Conflicts: 1001000 | #Constraints: 40638 1620.38/1626.52 c INPROCESSING 1620.38/1626.52 c GARBAGE COLLECT 1620.38/1626.52 c rational objective -357 1648.89/1655.15 c #Conflicts: 1002000 | #Constraints: 21743 1648.89/1655.15 c #Conflicts: 1003000 | #Constraints: 22753 1648.89/1655.15 c #Conflicts: 1004000 | #Constraints: 23760 1648.89/1655.15 c #Conflicts: 1005000 | #Constraints: 24765 1648.89/1655.15 c #Conflicts: 1006000 | #Constraints: 25768 1648.89/1655.15 c #Conflicts: 1007000 | #Constraints: 26780 1648.89/1655.15 c #Conflicts: 1008000 | #Constraints: 27780 1648.89/1655.15 c #Conflicts: 1009000 | #Constraints: 28780 1648.89/1655.15 c #Conflicts: 1010000 | #Constraints: 29792 1648.89/1655.15 c #Conflicts: 1011000 | #Constraints: 30792 1648.89/1655.15 c #Conflicts: 1012000 | #Constraints: 31795 1648.89/1655.15 c #Conflicts: 1013000 | #Constraints: 32800 1648.89/1655.15 c #Conflicts: 1014000 | #Constraints: 33801 1648.89/1655.15 c #Conflicts: 1015000 | #Constraints: 34805 1648.89/1655.15 c #Conflicts: 1016000 | #Constraints: 35808 1648.89/1655.15 c #Conflicts: 1017000 | #Constraints: 36817 1648.89/1655.15 c #Conflicts: 1018000 | #Constraints: 37821 1648.89/1655.15 c #Conflicts: 1019000 | #Constraints: 38823 1648.89/1655.15 c #Conflicts: 1020000 | #Constraints: 39826 1648.89/1655.15 c #Conflicts: 1021000 | #Constraints: 40830 1648.89/1655.15 c INPROCESSING 1648.89/1655.15 c GARBAGE COLLECT 1648.89/1655.15 c rational objective -357 1676.19/1682.53 c #Conflicts: 1022000 | #Constraints: 21741 1676.19/1682.53 c #Conflicts: 1023000 | #Constraints: 22745 1676.19/1682.53 c #Conflicts: 1024000 | #Constraints: 23755 1676.19/1682.53 c #Conflicts: 1025000 | #Constraints: 24762 1676.19/1682.53 c #Conflicts: 1026000 | #Constraints: 25768 1676.19/1682.53 c #Conflicts: 1027000 | #Constraints: 26774 1676.19/1682.53 c #Conflicts: 1028000 | #Constraints: 27778 1676.19/1682.53 c #Conflicts: 1029000 | #Constraints: 28784 1676.19/1682.53 c #Conflicts: 1030000 | #Constraints: 29786 1676.19/1682.53 c #Conflicts: 1031000 | #Constraints: 30788 1676.19/1682.53 c #Conflicts: 1032000 | #Constraints: 31795 1676.19/1682.53 c #Conflicts: 1033000 | #Constraints: 32798 1676.19/1682.53 c #Conflicts: 1034000 | #Constraints: 33801 1676.19/1682.53 c #Conflicts: 1035000 | #Constraints: 34805 1676.19/1682.53 c #Conflicts: 1036000 | #Constraints: 35805 1676.19/1682.53 c #Conflicts: 1037000 | #Constraints: 36811 1676.19/1682.53 c #Conflicts: 1038000 | #Constraints: 37814 1676.19/1682.53 c #Conflicts: 1039000 | #Constraints: 38817 1676.19/1682.53 c #Conflicts: 1040000 | #Constraints: 39828 1676.19/1682.53 c #Conflicts: 1041000 | #Constraints: 40842 1676.19/1682.53 c INPROCESSING 1676.19/1682.53 c GARBAGE COLLECT 1676.19/1682.53 c rational objective -357 1850.53/1857.43 c #Conflicts: 1042000 | #Constraints: 21556 1850.53/1857.43 c #Conflicts: 1043000 | #Constraints: 22556 1850.53/1857.43 c #Conflicts: 1044000 | #Constraints: 23556 1850.53/1857.43 c #Conflicts: 1045000 | #Constraints: 24557 1850.53/1857.43 c #Conflicts: 1046000 | #Constraints: 25558 1850.53/1857.43 c #Conflicts: 1047000 | #Constraints: 26558 1850.53/1857.43 c #Conflicts: 1048000 | #Constraints: 27561 1850.53/1857.43 c #Conflicts: 1049000 | #Constraints: 28561 1850.53/1857.43 c #Conflicts: 1050000 | #Constraints: 29562 1850.53/1857.43 c #Conflicts: 1051000 | #Constraints: 30564 1850.53/1857.43 c #Conflicts: 1052000 | #Constraints: 31564 1850.53/1857.43 c #Conflicts: 1053000 | #Constraints: 32564 1850.53/1857.43 c #Conflicts: 1054000 | #Constraints: 33564 1850.53/1857.43 c #Conflicts: 1055000 | #Constraints: 34566 1850.53/1857.43 c #Conflicts: 1056000 | #Constraints: 35567 1850.53/1857.43 c #Conflicts: 1057000 | #Constraints: 36567 1850.53/1857.43 c #Conflicts: 1058000 | #Constraints: 37569 1850.53/1857.43 c #Conflicts: 1059000 | #Constraints: 38569 1850.53/1857.43 c #Conflicts: 1060000 | #Constraints: 39569 1850.53/1857.43 c #Conflicts: 1061000 | #Constraints: 40571 1850.53/1857.43 c #Conflicts: 1062000 | #Constraints: 41571 1850.53/1857.43 c INPROCESSING 1850.53/1857.43 c GARBAGE COLLECT 1850.53/1857.43 c rational objective -357 1880.84/1887.81 c #Conflicts: 1063000 | #Constraints: 22127 1880.84/1887.81 c #Conflicts: 1064000 | #Constraints: 23129 1880.84/1887.81 c #Conflicts: 1065000 | #Constraints: 24140 1880.84/1887.81 c #Conflicts: 1066000 | #Constraints: 25151 1880.84/1887.81 c #Conflicts: 1067000 | #Constraints: 26165 1880.84/1887.81 c #Conflicts: 1068000 | #Constraints: 27177 1880.84/1887.81 c #Conflicts: 1069000 | #Constraints: 28180 1880.84/1887.81 c #Conflicts: 1070000 | #Constraints: 29182 1880.84/1887.81 c #Conflicts: 1071000 | #Constraints: 30184 1880.84/1887.81 c #Conflicts: 1072000 | #Constraints: 31186 1880.84/1887.81 c #Conflicts: 1073000 | #Constraints: 32192 1880.84/1887.81 c #Conflicts: 1074000 | #Constraints: 33196 1880.84/1887.81 c #Conflicts: 1075000 | #Constraints: 34204 1880.84/1887.81 c #Conflicts: 1076000 | #Constraints: 35209 1880.84/1887.81 c #Conflicts: 1077000 | #Constraints: 36212 1880.84/1887.81 c #Conflicts: 1078000 | #Constraints: 37212 1880.84/1887.81 c #Conflicts: 1079000 | #Constraints: 38223 1880.84/1887.81 c #Conflicts: 1080000 | #Constraints: 39233 1880.84/1887.81 c #Conflicts: 1081000 | #Constraints: 40244 1880.84/1887.81 c #Conflicts: 1082000 | #Constraints: 41254 1880.84/1887.81 c #Conflicts: 1083000 | #Constraints: 42279 1880.84/1887.81 c INPROCESSING 1880.84/1887.81 c GARBAGE COLLECT 1880.84/1887.81 c rational objective -357 1913.34/1920.44 c #Conflicts: 1084000 | #Constraints: 22550 1913.34/1920.44 c #Conflicts: 1085000 | #Constraints: 23555 1913.34/1920.44 c #Conflicts: 1086000 | #Constraints: 24556 1913.34/1920.44 c #Conflicts: 1087000 | #Constraints: 25560 1913.34/1920.44 c #Conflicts: 1088000 | #Constraints: 26562 1913.34/1920.44 c #Conflicts: 1089000 | #Constraints: 27563 1913.34/1920.44 c #Conflicts: 1090000 | #Constraints: 28566 1913.34/1920.44 c #Conflicts: 1091000 | #Constraints: 29566 1913.34/1920.44 c #Conflicts: 1092000 | #Constraints: 30566 1913.34/1920.44 c #Conflicts: 1093000 | #Constraints: 31569 1913.34/1920.44 c #Conflicts: 1094000 | #Constraints: 32574 1913.34/1920.44 c #Conflicts: 1095000 | #Constraints: 33579 1913.34/1920.44 c #Conflicts: 1096000 | #Constraints: 34581 1913.34/1920.44 c #Conflicts: 1097000 | #Constraints: 35583 1913.34/1920.44 c #Conflicts: 1098000 | #Constraints: 36585 1913.34/1920.44 c #Conflicts: 1099000 | #Constraints: 37587 1913.34/1920.44 c #Conflicts: 1100000 | #Constraints: 38591 1913.34/1920.44 c #Conflicts: 1101000 | #Constraints: 39596 1913.34/1920.44 c #Conflicts: 1102000 | #Constraints: 40598 1913.34/1920.44 c #Conflicts: 1103000 | #Constraints: 41606 1913.34/1920.44 c #Conflicts: 1104000 | #Constraints: 42606 1913.34/1920.44 c INPROCESSING 1913.34/1920.44 c GARBAGE COLLECT 1913.34/1920.44 c rational objective -357 2091.65/2099.33 c #Conflicts: 1105000 | #Constraints: 22729 2091.65/2099.33 c #Conflicts: 1106000 | #Constraints: 23731 2091.65/2099.33 c #Conflicts: 1107000 | #Constraints: 24732 2091.65/2099.33 c #Conflicts: 1108000 | #Constraints: 25733 2091.65/2099.33 c #Conflicts: 1109000 | #Constraints: 26737 2091.65/2099.33 c #Conflicts: 1110000 | #Constraints: 27739 2091.65/2099.33 c #Conflicts: 1111000 | #Constraints: 28739 2091.65/2099.33 c #Conflicts: 1112000 | #Constraints: 29739 2091.65/2099.33 c #Conflicts: 1113000 | #Constraints: 30739 2091.65/2099.33 c #Conflicts: 1114000 | #Constraints: 31742 2091.65/2099.33 c #Conflicts: 1115000 | #Constraints: 32743 2091.65/2099.33 c #Conflicts: 1116000 | #Constraints: 33744 2091.65/2099.33 c #Conflicts: 1117000 | #Constraints: 34744 2091.65/2099.33 c #Conflicts: 1118000 | #Constraints: 35746 2091.65/2099.33 c #Conflicts: 1119000 | #Constraints: 36746 2091.65/2099.33 c #Conflicts: 1120000 | #Constraints: 37748 2091.65/2099.33 c #Conflicts: 1121000 | #Constraints: 38748 2091.65/2099.33 c #Conflicts: 1122000 | #Constraints: 39748 2091.65/2099.33 c #Conflicts: 1123000 | #Constraints: 40749 2091.65/2099.33 c #Conflicts: 1124000 | #Constraints: 41749 2091.65/2099.33 c #Conflicts: 1125000 | #Constraints: 42749 2091.65/2099.33 c INPROCESSING 2091.65/2099.33 c GARBAGE COLLECT 2091.65/2099.33 c rational objective -357 2128.23/2136.10 c #Conflicts: 1126000 | #Constraints: 22732 2128.23/2136.10 c #Conflicts: 1127000 | #Constraints: 23748 2128.23/2136.10 c #Conflicts: 1128000 | #Constraints: 24756 2128.23/2136.10 c #Conflicts: 1129000 | #Constraints: 25759 2128.23/2136.10 c #Conflicts: 1130000 | #Constraints: 26764 2128.23/2136.10 c #Conflicts: 1131000 | #Constraints: 27766 2128.23/2136.10 c #Conflicts: 1132000 | #Constraints: 28775 2128.23/2136.10 c #Conflicts: 1133000 | #Constraints: 29776 2128.23/2136.10 c #Conflicts: 1134000 | #Constraints: 30777 2128.23/2136.10 c #Conflicts: 1135000 | #Constraints: 31777 2128.23/2136.10 c #Conflicts: 1136000 | #Constraints: 32779 2128.23/2136.10 c #Conflicts: 1137000 | #Constraints: 33780 2128.23/2136.10 c #Conflicts: 1138000 | #Constraints: 34781 2128.23/2136.10 c #Conflicts: 1139000 | #Constraints: 35790 2128.23/2136.10 c #Conflicts: 1140000 | #Constraints: 36795 2128.23/2136.10 c #Conflicts: 1141000 | #Constraints: 37798 2128.23/2136.10 c #Conflicts: 1142000 | #Constraints: 38799 2128.23/2136.10 c #Conflicts: 1143000 | #Constraints: 39801 2128.23/2136.10 c #Conflicts: 1144000 | #Constraints: 40804 2128.23/2136.10 c #Conflicts: 1145000 | #Constraints: 41811 2128.23/2136.10 c #Conflicts: 1146000 | #Constraints: 42813 2128.23/2136.10 c INPROCESSING 2128.23/2136.10 c GARBAGE COLLECT 2128.23/2136.10 c rational objective -357 2160.43/2168.31 c #Conflicts: 1147000 | #Constraints: 22549 2160.43/2168.31 c #Conflicts: 1148000 | #Constraints: 23551 2160.43/2168.31 c #Conflicts: 1149000 | #Constraints: 24552 2160.43/2168.31 c #Conflicts: 1150000 | #Constraints: 25557 2160.43/2168.31 c #Conflicts: 1151000 | #Constraints: 26562 2160.43/2168.31 c #Conflicts: 1152000 | #Constraints: 27564 2160.43/2168.31 c #Conflicts: 1153000 | #Constraints: 28567 2160.43/2168.31 c #Conflicts: 1154000 | #Constraints: 29574 2160.43/2168.31 c #Conflicts: 1155000 | #Constraints: 30581 2160.43/2168.31 c #Conflicts: 1156000 | #Constraints: 31586 2160.43/2168.31 c #Conflicts: 1157000 | #Constraints: 32587 2160.43/2168.31 c #Conflicts: 1158000 | #Constraints: 33589 2160.43/2168.31 c #Conflicts: 1159000 | #Constraints: 34590 2160.43/2168.31 c #Conflicts: 1160000 | #Constraints: 35593 2160.43/2168.31 c #Conflicts: 1161000 | #Constraints: 36597 2160.43/2168.31 c #Conflicts: 1162000 | #Constraints: 37599 2160.43/2168.31 c #Conflicts: 1163000 | #Constraints: 38599 2160.43/2168.31 c #Conflicts: 1164000 | #Constraints: 39602 2160.43/2168.31 c #Conflicts: 1165000 | #Constraints: 40603 2160.43/2168.31 c #Conflicts: 1166000 | #Constraints: 41606 2160.43/2168.31 c #Conflicts: 1167000 | #Constraints: 42607 2160.43/2168.31 c #Conflicts: 1168000 | #Constraints: 43608 2160.43/2168.31 c INPROCESSING 2160.43/2168.31 c GARBAGE COLLECT 2160.43/2168.31 c rational objective -357 2193.53/2201.55 c #Conflicts: 1169000 | #Constraints: 23131 2193.53/2201.55 c #Conflicts: 1170000 | #Constraints: 24135 2193.53/2201.55 c #Conflicts: 1171000 | #Constraints: 25137 2193.53/2201.55 c #Conflicts: 1172000 | #Constraints: 26141 2193.53/2201.55 c #Conflicts: 1173000 | #Constraints: 27143 2193.53/2201.55 c #Conflicts: 1174000 | #Constraints: 28144 2193.53/2201.55 c #Conflicts: 1175000 | #Constraints: 29152 2193.53/2201.55 c #Conflicts: 1176000 | #Constraints: 30155 2193.53/2201.55 c #Conflicts: 1177000 | #Constraints: 31157 2193.53/2201.55 c #Conflicts: 1178000 | #Constraints: 32158 2193.53/2201.55 c #Conflicts: 1179000 | #Constraints: 33160 2193.53/2201.55 c #Conflicts: 1180000 | #Constraints: 34163 2193.53/2201.55 c #Conflicts: 1181000 | #Constraints: 35168 2193.53/2201.55 c #Conflicts: 1182000 | #Constraints: 36177 2193.53/2201.55 c #Conflicts: 1183000 | #Constraints: 37183 2193.53/2201.55 c #Conflicts: 1184000 | #Constraints: 38188 2193.53/2201.55 c #Conflicts: 1185000 | #Constraints: 39189 2193.53/2201.55 c #Conflicts: 1186000 | #Constraints: 40189 2193.53/2201.55 c #Conflicts: 1187000 | #Constraints: 41190 2193.53/2201.55 c #Conflicts: 1188000 | #Constraints: 42194 2193.53/2201.55 c #Conflicts: 1189000 | #Constraints: 43195 2193.53/2201.55 c #Conflicts: 1190000 | #Constraints: 44197 2193.53/2201.55 c INPROCESSING 2193.53/2201.55 c GARBAGE COLLECT 2193.53/2201.55 c rational objective -357 2391.60/2400.23 c #Conflicts: 1191000 | #Constraints: 23527 2391.60/2400.23 c #Conflicts: 1192000 | #Constraints: 24528 2391.60/2400.23 c #Conflicts: 1193000 | #Constraints: 25529 2391.60/2400.23 c #Conflicts: 1194000 | #Constraints: 26531 2391.60/2400.23 c #Conflicts: 1195000 | #Constraints: 27531 2391.60/2400.23 c #Conflicts: 1196000 | #Constraints: 28531 2391.60/2400.23 c #Conflicts: 1197000 | #Constraints: 29532 2391.60/2400.23 c #Conflicts: 1198000 | #Constraints: 30532 2391.60/2400.23 c #Conflicts: 1199000 | #Constraints: 31532 2391.60/2400.23 c #Conflicts: 1200000 | #Constraints: 32535 2391.60/2400.23 c #Conflicts: 1201000 | #Constraints: 33535 2391.60/2400.23 c #Conflicts: 1202000 | #Constraints: 34536 2391.60/2400.23 c #Conflicts: 1203000 | #Constraints: 35536 2391.60/2400.23 c #Conflicts: 1204000 | #Constraints: 36538 2391.60/2400.23 c #Conflicts: 1205000 | #Constraints: 37538 2391.60/2400.23 c #Conflicts: 1206000 | #Constraints: 38539 2391.60/2400.23 c #Conflicts: 1207000 | #Constraints: 39540 2391.60/2400.23 c #Conflicts: 1208000 | #Constraints: 40541 2391.60/2400.23 c #Conflicts: 1209000 | #Constraints: 41541 2391.60/2400.23 c #Conflicts: 1210000 | #Constraints: 42542 2391.60/2400.23 c #Conflicts: 1211000 | #Constraints: 43544 2391.60/2400.23 c #Conflicts: 1212000 | #Constraints: 44545 2391.60/2400.23 c INPROCESSING 2391.60/2400.23 c GARBAGE COLLECT 2391.60/2400.23 c rational objective -357 2428.58/2437.33 c #Conflicts: 1213000 | #Constraints: 23723 2428.58/2437.33 c #Conflicts: 1214000 | #Constraints: 24724 2428.58/2437.33 c #Conflicts: 1215000 | #Constraints: 25730 2428.58/2437.33 c #Conflicts: 1216000 | #Constraints: 26741 2428.58/2437.33 c #Conflicts: 1217000 | #Constraints: 27741 2428.58/2437.33 c #Conflicts: 1218000 | #Constraints: 28746 2428.58/2437.33 c #Conflicts: 1219000 | #Constraints: 29749 2428.58/2437.33 c #Conflicts: 1220000 | #Constraints: 30752 2428.58/2437.33 c #Conflicts: 1221000 | #Constraints: 31763 2428.58/2437.33 c #Conflicts: 1222000 | #Constraints: 32768 2428.58/2437.33 c #Conflicts: 1223000 | #Constraints: 33768 2428.58/2437.33 c #Conflicts: 1224000 | #Constraints: 34774 2428.58/2437.33 c #Conflicts: 1225000 | #Constraints: 35776 2428.58/2437.33 c #Conflicts: 1226000 | #Constraints: 36782 2428.58/2437.33 c #Conflicts: 1227000 | #Constraints: 37784 2428.58/2437.33 c #Conflicts: 1228000 | #Constraints: 38793 2428.58/2437.33 c #Conflicts: 1229000 | #Constraints: 39799 2428.58/2437.33 c #Conflicts: 1230000 | #Constraints: 40802 2428.58/2437.33 c #Conflicts: 1231000 | #Constraints: 41803 2428.58/2437.33 c #Conflicts: 1232000 | #Constraints: 42804 2428.58/2437.33 c #Conflicts: 1233000 | #Constraints: 43810 2428.58/2437.33 c #Conflicts: 1234000 | #Constraints: 44813 2428.58/2437.33 c INPROCESSING 2428.58/2437.33 c GARBAGE COLLECT 2428.58/2437.33 c rational objective -357 2468.56/2477.42 c #Conflicts: 1235000 | #Constraints: 23754 2468.56/2477.42 c #Conflicts: 1236000 | #Constraints: 24764 2468.56/2477.42 c #Conflicts: 1237000 | #Constraints: 25769 2468.56/2477.42 c #Conflicts: 1238000 | #Constraints: 26774 2468.56/2477.42 c #Conflicts: 1239000 | #Constraints: 27777 2468.56/2477.42 c #Conflicts: 1240000 | #Constraints: 28777 2468.56/2477.42 c #Conflicts: 1241000 | #Constraints: 29781 2468.56/2477.42 c #Conflicts: 1242000 | #Constraints: 30782 2468.56/2477.42 c #Conflicts: 1243000 | #Constraints: 31787 2468.56/2477.42 c #Conflicts: 1244000 | #Constraints: 32791 2468.56/2477.42 c #Conflicts: 1245000 | #Constraints: 33795 2468.56/2477.42 c #Conflicts: 1246000 | #Constraints: 34801 2468.56/2477.42 c #Conflicts: 1247000 | #Constraints: 35811 2468.56/2477.42 c #Conflicts: 1248000 | #Constraints: 36824 2468.56/2477.42 c #Conflicts: 1249000 | #Constraints: 37836 2468.56/2477.42 c #Conflicts: 1250000 | #Constraints: 38842 2468.56/2477.42 c #Conflicts: 1251000 | #Constraints: 39844 2468.56/2477.42 c #Conflicts: 1252000 | #Constraints: 40850 2468.56/2477.42 c #Conflicts: 1253000 | #Constraints: 41864 2468.56/2477.42 c #Conflicts: 1254000 | #Constraints: 42864 2468.56/2477.42 c #Conflicts: 1255000 | #Constraints: 43865 2468.56/2477.42 c #Conflicts: 1256000 | #Constraints: 44867 2468.56/2477.42 c INPROCESSING 2468.56/2477.42 c GARBAGE COLLECT 2468.56/2477.42 c rational objective -357 2504.85/2513.83 c #Conflicts: 1257000 | #Constraints: 23580 2504.85/2513.83 c #Conflicts: 1258000 | #Constraints: 24583 2504.85/2513.83 c #Conflicts: 1259000 | #Constraints: 25588 2504.85/2513.83 c #Conflicts: 1260000 | #Constraints: 26592 2504.85/2513.83 c #Conflicts: 1261000 | #Constraints: 27596 2504.85/2513.83 c #Conflicts: 1262000 | #Constraints: 28602 2504.85/2513.83 c #Conflicts: 1263000 | #Constraints: 29604 2504.85/2513.83 c #Conflicts: 1264000 | #Constraints: 30607 2504.85/2513.83 c #Conflicts: 1265000 | #Constraints: 31609 2504.85/2513.83 c #Conflicts: 1266000 | #Constraints: 32620 2504.85/2513.83 c #Conflicts: 1267000 | #Constraints: 33629 2504.85/2513.83 c #Conflicts: 1268000 | #Constraints: 34639 2504.85/2513.83 c #Conflicts: 1269000 | #Constraints: 35652 2504.85/2513.83 c #Conflicts: 1270000 | #Constraints: 36655 2504.85/2513.83 c #Conflicts: 1271000 | #Constraints: 37660 2504.85/2513.83 c #Conflicts: 1272000 | #Constraints: 38665 2504.85/2513.83 c #Conflicts: 1273000 | #Constraints: 39668 2504.85/2513.83 c #Conflicts: 1274000 | #Constraints: 40678 2504.85/2513.83 c #Conflicts: 1275000 | #Constraints: 41681 2504.85/2513.83 c #Conflicts: 1276000 | #Constraints: 42686 2504.85/2513.83 c #Conflicts: 1277000 | #Constraints: 43691 2504.85/2513.83 c #Conflicts: 1278000 | #Constraints: 44697 2504.85/2513.83 c #Conflicts: 1279000 | #Constraints: 45697 2504.85/2513.83 c INPROCESSING 2504.85/2513.83 c GARBAGE COLLECT 2504.85/2513.83 c rational objective -357 2724.84/2734.50 c #Conflicts: 1280000 | #Constraints: 24192 2724.84/2734.50 c #Conflicts: 1281000 | #Constraints: 25195 2724.84/2734.50 c #Conflicts: 1282000 | #Constraints: 26203 2724.84/2734.50 c #Conflicts: 1283000 | #Constraints: 27204 2724.84/2734.50 c #Conflicts: 1284000 | #Constraints: 28206 2724.84/2734.50 c #Conflicts: 1285000 | #Constraints: 29206 2724.84/2734.50 c #Conflicts: 1286000 | #Constraints: 30207 2724.84/2734.50 c #Conflicts: 1287000 | #Constraints: 31207 2724.84/2734.50 c #Conflicts: 1288000 | #Constraints: 32208 2724.84/2734.50 c #Conflicts: 1289000 | #Constraints: 33208 2724.84/2734.50 c #Conflicts: 1290000 | #Constraints: 34210 2724.84/2734.50 c #Conflicts: 1291000 | #Constraints: 35210 2724.84/2734.50 c #Conflicts: 1292000 | #Constraints: 36214 2724.84/2734.50 c #Conflicts: 1293000 | #Constraints: 37214 2724.84/2734.50 c #Conflicts: 1294000 | #Constraints: 38215 2724.84/2734.50 c #Conflicts: 1295000 | #Constraints: 39216 2724.84/2734.50 c #Conflicts: 1296000 | #Constraints: 40217 2724.84/2734.50 c #Conflicts: 1297000 | #Constraints: 41217 2724.84/2734.50 c #Conflicts: 1298000 | #Constraints: 42219 2724.84/2734.50 c #Conflicts: 1299000 | #Constraints: 43221 2724.84/2734.50 c #Conflicts: 1300000 | #Constraints: 44221 2724.84/2734.50 c #Conflicts: 1301000 | #Constraints: 45221 2724.84/2734.50 c #Conflicts: 1302000 | #Constraints: 46223 2724.84/2734.50 c INPROCESSING 2724.84/2734.50 c GARBAGE COLLECT 2724.84/2734.50 c rational objective -357 2764.23/2774.06 c #Conflicts: 1303000 | #Constraints: 24553 2764.23/2774.06 c #Conflicts: 1304000 | #Constraints: 25557 2764.23/2774.06 c #Conflicts: 1305000 | #Constraints: 26563 2764.23/2774.06 c #Conflicts: 1306000 | #Constraints: 27567 2764.23/2774.06 c #Conflicts: 1307000 | #Constraints: 28567 2764.23/2774.06 c #Conflicts: 1308000 | #Constraints: 29570 2764.23/2774.06 c #Conflicts: 1309000 | #Constraints: 30577 2764.23/2774.06 c #Conflicts: 1310000 | #Constraints: 31583 2764.23/2774.06 c #Conflicts: 1311000 | #Constraints: 32586 2764.23/2774.06 c #Conflicts: 1312000 | #Constraints: 33586 2764.23/2774.06 c #Conflicts: 1313000 | #Constraints: 34586 2764.23/2774.06 c #Conflicts: 1314000 | #Constraints: 35587 2764.23/2774.06 c #Conflicts: 1315000 | #Constraints: 36590 2764.23/2774.06 c #Conflicts: 1316000 | #Constraints: 37593 2764.23/2774.06 c #Conflicts: 1317000 | #Constraints: 38597 2764.23/2774.06 c #Conflicts: 1318000 | #Constraints: 39600 2764.23/2774.06 c #Conflicts: 1319000 | #Constraints: 40610 2764.23/2774.06 c #Conflicts: 1320000 | #Constraints: 41613 2764.23/2774.06 c #Conflicts: 1321000 | #Constraints: 42615 2764.23/2774.06 c #Conflicts: 1322000 | #Constraints: 43615 2764.23/2774.06 c #Conflicts: 1323000 | #Constraints: 44615 2764.23/2774.06 c #Conflicts: 1324000 | #Constraints: 45616 2764.23/2774.06 c #Conflicts: 1325000 | #Constraints: 46616 2764.23/2774.06 c INPROCESSING 2764.23/2774.06 c GARBAGE COLLECT 2764.23/2774.06 c rational objective -357 2797.33/2807.27 c #Conflicts: 1326000 | #Constraints: 24745 2797.33/2807.27 c #Conflicts: 1327000 | #Constraints: 25751 2797.33/2807.27 c #Conflicts: 1328000 | #Constraints: 26759 2797.33/2807.27 c #Conflicts: 1329000 | #Constraints: 27764 2797.33/2807.27 c #Conflicts: 1330000 | #Constraints: 28766 2797.33/2807.27 c #Conflicts: 1331000 | #Constraints: 29766 2797.33/2807.27 c #Conflicts: 1332000 | #Constraints: 30774 2797.33/2807.27 c #Conflicts: 1333000 | #Constraints: 31779 2797.33/2807.27 c #Conflicts: 1334000 | #Constraints: 32790 2797.33/2807.27 c #Conflicts: 1335000 | #Constraints: 33800 2797.33/2807.27 c #Conflicts: 1336000 | #Constraints: 34812 2797.33/2807.27 c #Conflicts: 1337000 | #Constraints: 35822 2797.33/2807.27 c #Conflicts: 1338000 | #Constraints: 36844 2797.33/2807.27 c #Conflicts: 1339000 | #Constraints: 37861 2797.33/2807.27 c #Conflicts: 1340000 | #Constraints: 38870 2797.33/2807.27 c #Conflicts: 1341000 | #Constraints: 39874 2797.33/2807.27 c #Conflicts: 1342000 | #Constraints: 40883 2797.33/2807.27 c #Conflicts: 1343000 | #Constraints: 41888 2797.33/2807.27 c #Conflicts: 1344000 | #Constraints: 42905 2797.33/2807.27 c #Conflicts: 1345000 | #Constraints: 43929 2797.33/2807.27 c #Conflicts: 1346000 | #Constraints: 44932 2797.33/2807.27 c #Conflicts: 1347000 | #Constraints: 45949 2797.33/2807.27 c #Conflicts: 1348000 | #Constraints: 46973 2797.33/2807.27 c INPROCESSING 2797.33/2807.27 c GARBAGE COLLECT 2797.33/2807.27 c rational objective -357 3029.19/3039.81 c #Conflicts: 1349000 | #Constraints: 24807 3029.19/3039.81 c #Conflicts: 1350000 | #Constraints: 25809 3029.19/3039.81 c #Conflicts: 1351000 | #Constraints: 26810 3029.19/3039.81 c #Conflicts: 1352000 | #Constraints: 27810 3029.19/3039.81 c #Conflicts: 1353000 | #Constraints: 28810 3029.19/3039.81 c #Conflicts: 1354000 | #Constraints: 29811 3029.19/3039.81 c #Conflicts: 1355000 | #Constraints: 30811 3029.19/3039.81 c #Conflicts: 1356000 | #Constraints: 31812 3029.19/3039.81 c #Conflicts: 1357000 | #Constraints: 32812 3029.19/3039.81 c #Conflicts: 1358000 | #Constraints: 33815 3029.19/3039.81 c #Conflicts: 1359000 | #Constraints: 34817 3029.19/3039.81 c #Conflicts: 1360000 | #Constraints: 35817 3029.19/3039.81 c #Conflicts: 1361000 | #Constraints: 36818 3029.19/3039.81 c #Conflicts: 1362000 | #Constraints: 37818 3029.19/3039.81 c #Conflicts: 1363000 | #Constraints: 38818 3029.19/3039.81 c #Conflicts: 1364000 | #Constraints: 39818 3029.19/3039.81 c #Conflicts: 1365000 | #Constraints: 40818 3029.19/3039.81 c #Conflicts: 1366000 | #Constraints: 41818 3029.19/3039.81 c #Conflicts: 1367000 | #Constraints: 42818 3029.19/3039.81 c #Conflicts: 1368000 | #Constraints: 43819 3029.19/3039.81 c #Conflicts: 1369000 | #Constraints: 44819 3029.19/3039.81 c #Conflicts: 1370000 | #Constraints: 45822 3029.19/3039.81 c #Conflicts: 1371000 | #Constraints: 46823 3029.19/3039.81 c INPROCESSING 3029.19/3039.81 c GARBAGE COLLECT 3029.19/3039.81 c rational objective -357 3075.55/3086.32 c #Conflicts: 1372000 | #Constraints: 24549 3075.55/3086.32 c #Conflicts: 1373000 | #Constraints: 25558 3075.55/3086.32 c #Conflicts: 1374000 | #Constraints: 26561 3075.55/3086.32 c #Conflicts: 1375000 | #Constraints: 27564 3075.55/3086.32 c #Conflicts: 1376000 | #Constraints: 28573 3075.55/3086.32 c #Conflicts: 1377000 | #Constraints: 29581 3075.55/3086.32 c #Conflicts: 1378000 | #Constraints: 30583 3075.55/3086.32 c #Conflicts: 1379000 | #Constraints: 31583 3075.55/3086.32 c #Conflicts: 1380000 | #Constraints: 32586 3075.55/3086.32 c #Conflicts: 1381000 | #Constraints: 33591 3075.55/3086.32 c #Conflicts: 1382000 | #Constraints: 34593 3075.55/3086.32 c #Conflicts: 1383000 | #Constraints: 35601 3075.55/3086.32 c #Conflicts: 1384000 | #Constraints: 36605 3075.55/3086.32 c #Conflicts: 1385000 | #Constraints: 37614 3075.55/3086.32 c #Conflicts: 1386000 | #Constraints: 38616 3075.55/3086.32 c #Conflicts: 1387000 | #Constraints: 39620 3075.55/3086.32 c #Conflicts: 1388000 | #Constraints: 40622 3075.55/3086.32 c #Conflicts: 1389000 | #Constraints: 41623 3075.55/3086.32 c #Conflicts: 1390000 | #Constraints: 42624 3075.55/3086.32 c #Conflicts: 1391000 | #Constraints: 43627 3075.55/3086.32 c #Conflicts: 1392000 | #Constraints: 44627 3075.55/3086.32 c #Conflicts: 1393000 | #Constraints: 45627 3075.55/3086.32 c #Conflicts: 1394000 | #Constraints: 46628 3075.55/3086.32 c #Conflicts: 1395000 | #Constraints: 47629 3075.55/3086.32 c INPROCESSING 3075.55/3086.32 c GARBAGE COLLECT 3075.55/3086.32 c rational objective -357 3121.30/3132.22 c #Conflicts: 1396000 | #Constraints: 25152 3121.30/3132.22 c #Conflicts: 1397000 | #Constraints: 26156 3121.30/3132.22 c #Conflicts: 1398000 | #Constraints: 27161 3121.30/3132.22 c #Conflicts: 1399000 | #Constraints: 28165 3121.30/3132.22 c #Conflicts: 1400000 | #Constraints: 29166 3121.30/3132.22 c #Conflicts: 1401000 | #Constraints: 30174 3121.30/3132.22 c #Conflicts: 1402000 | #Constraints: 31181 3121.30/3132.22 c #Conflicts: 1403000 | #Constraints: 32188 3121.30/3132.22 c #Conflicts: 1404000 | #Constraints: 33191 3121.30/3132.22 c #Conflicts: 1405000 | #Constraints: 34192 3121.30/3132.22 c #Conflicts: 1406000 | #Constraints: 35198 3121.30/3132.22 c #Conflicts: 1407000 | #Constraints: 36201 3121.30/3132.22 c #Conflicts: 1408000 | #Constraints: 37202 3121.30/3132.22 c #Conflicts: 1409000 | #Constraints: 38204 3121.30/3132.22 c #Conflicts: 1410000 | #Constraints: 39207 3121.30/3132.22 c #Conflicts: 1411000 | #Constraints: 40216 3121.30/3132.22 c #Conflicts: 1412000 | #Constraints: 41219 3121.30/3132.22 c #Conflicts: 1413000 | #Constraints: 42222 3121.30/3132.22 c #Conflicts: 1414000 | #Constraints: 43226 3121.30/3132.22 c #Conflicts: 1415000 | #Constraints: 44230 3121.30/3132.22 c #Conflicts: 1416000 | #Constraints: 45234 3121.30/3132.22 c #Conflicts: 1417000 | #Constraints: 46236 3121.30/3132.22 c #Conflicts: 1418000 | #Constraints: 47237 3121.30/3132.22 c #Conflicts: 1419000 | #Constraints: 48241 3121.30/3132.22 c INPROCESSING 3121.30/3132.22 c GARBAGE COLLECT 3121.30/3132.22 c rational objective -357 3166.46/3177.50 c #Conflicts: 1420000 | #Constraints: 25558 3166.46/3177.50 c #Conflicts: 1421000 | #Constraints: 26562 3166.46/3177.50 c #Conflicts: 1422000 | #Constraints: 27562 3166.46/3177.50 c #Conflicts: 1423000 | #Constraints: 28563 3166.46/3177.50 c #Conflicts: 1424000 | #Constraints: 29567 3166.46/3177.50 c #Conflicts: 1425000 | #Constraints: 30568 3166.46/3177.50 c #Conflicts: 1426000 | #Constraints: 31572 3166.46/3177.50 c #Conflicts: 1427000 | #Constraints: 32574 3166.46/3177.50 c #Conflicts: 1428000 | #Constraints: 33577 3166.46/3177.50 c #Conflicts: 1429000 | #Constraints: 34579 3166.46/3177.50 c #Conflicts: 1430000 | #Constraints: 35582 3166.46/3177.50 c #Conflicts: 1431000 | #Constraints: 36586 3166.46/3177.50 c #Conflicts: 1432000 | #Constraints: 37592 3166.46/3177.50 c #Conflicts: 1433000 | #Constraints: 38594 3166.46/3177.50 c #Conflicts: 1434000 | #Constraints: 39599 3166.46/3177.50 c #Conflicts: 1435000 | #Constraints: 40603 3166.46/3177.50 c #Conflicts: 1436000 | #Constraints: 41605 3166.46/3177.50 c #Conflicts: 1437000 | #Constraints: 42611 3166.46/3177.50 c #Conflicts: 1438000 | #Constraints: 43621 3166.46/3177.50 c #Conflicts: 1439000 | #Constraints: 44635 3166.46/3177.50 c #Conflicts: 1440000 | #Constraints: 45638 3166.46/3177.50 c #Conflicts: 1441000 | #Constraints: 46642 3166.46/3177.50 c #Conflicts: 1442000 | #Constraints: 47645 3166.46/3177.50 c #Conflicts: 1443000 | #Constraints: 48649 3166.46/3177.50 c INPROCESSING 3166.46/3177.50 c GARBAGE COLLECT 3166.46/3177.50 c rational objective -357 3445.58/3457.50 c #Conflicts: 1444000 | #Constraints: 25752 3445.58/3457.50 c #Conflicts: 1445000 | #Constraints: 26752 3445.58/3457.50 c #Conflicts: 1446000 | #Constraints: 27754 3445.58/3457.50 c #Conflicts: 1447000 | #Constraints: 28755 3445.58/3457.50 c #Conflicts: 1448000 | #Constraints: 29756 3445.58/3457.50 c #Conflicts: 1449000 | #Constraints: 30757 3445.58/3457.50 c #Conflicts: 1450000 | #Constraints: 31757 3445.58/3457.50 c #Conflicts: 1451000 | #Constraints: 32758 3445.58/3457.50 c #Conflicts: 1452000 | #Constraints: 33760 3445.58/3457.50 c #Conflicts: 1453000 | #Constraints: 34760 3445.58/3457.50 c #Conflicts: 1454000 | #Constraints: 35760 3445.58/3457.50 c #Conflicts: 1455000 | #Constraints: 36760 3445.58/3457.50 c #Conflicts: 1456000 | #Constraints: 37762 3445.58/3457.50 c #Conflicts: 1457000 | #Constraints: 38762 3445.58/3457.50 c #Conflicts: 1458000 | #Constraints: 39762 3445.58/3457.50 c #Conflicts: 1459000 | #Constraints: 40762 3445.58/3457.50 c #Conflicts: 1460000 | #Constraints: 41763 3445.58/3457.50 c #Conflicts: 1461000 | #Constraints: 42764 3445.58/3457.50 c #Conflicts: 1462000 | #Constraints: 43764 3445.58/3457.50 c #Conflicts: 1463000 | #Constraints: 44765 3445.58/3457.50 c #Conflicts: 1464000 | #Constraints: 45769 3445.58/3457.50 c #Conflicts: 1465000 | #Constraints: 46769 3445.58/3457.50 c #Conflicts: 1466000 | #Constraints: 47770 3445.58/3457.50 c #Conflicts: 1467000 | #Constraints: 48770 3445.58/3457.50 c INPROCESSING 3445.58/3457.50 c GARBAGE COLLECT 3445.58/3457.50 c rational objective -357 3492.04/3504.11 c #Conflicts: 1468000 | #Constraints: 25734 3492.04/3504.11 c #Conflicts: 1469000 | #Constraints: 26739 3492.04/3504.11 c #Conflicts: 1470000 | #Constraints: 27740 3492.04/3504.11 c #Conflicts: 1471000 | #Constraints: 28744 3492.04/3504.11 c #Conflicts: 1472000 | #Constraints: 29746 3492.04/3504.11 c #Conflicts: 1473000 | #Constraints: 30748 3492.04/3504.11 c #Conflicts: 1474000 | #Constraints: 31749 3492.04/3504.11 c #Conflicts: 1475000 | #Constraints: 32753 3492.04/3504.11 c #Conflicts: 1476000 | #Constraints: 33753 3492.04/3504.11 c #Conflicts: 1477000 | #Constraints: 34755 3492.04/3504.11 c #Conflicts: 1478000 | #Constraints: 35762 3492.04/3504.11 c #Conflicts: 1479000 | #Constraints: 36764 3492.04/3504.11 c #Conflicts: 1480000 | #Constraints: 37773 3492.04/3504.11 c #Conflicts: 1481000 | #Constraints: 38776 3492.04/3504.11 c #Conflicts: 1482000 | #Constraints: 39777 3492.04/3504.11 c #Conflicts: 1483000 | #Constraints: 40781 3492.04/3504.11 c #Conflicts: 1484000 | #Constraints: 41783 3492.04/3504.11 c #Conflicts: 1485000 | #Constraints: 42785 3492.04/3504.11 c #Conflicts: 1486000 | #Constraints: 43788 3492.04/3504.11 c #Conflicts: 1487000 | #Constraints: 44797 3492.04/3504.11 c #Conflicts: 1488000 | #Constraints: 45804 3492.04/3504.11 c #Conflicts: 1489000 | #Constraints: 46806 3492.04/3504.11 c #Conflicts: 1490000 | #Constraints: 47812 3492.04/3504.11 c #Conflicts: 1491000 | #Constraints: 48818 3492.04/3504.11 c INPROCESSING 3492.04/3504.11 c GARBAGE COLLECT 3492.04/3504.11 c rational objective -357 3545.26/3557.58 c #Conflicts: 1492000 | #Constraints: 25559 3545.26/3557.58 c #Conflicts: 1493000 | #Constraints: 26564 3545.26/3557.58 c #Conflicts: 1494000 | #Constraints: 27569 3545.26/3557.58 c #Conflicts: 1495000 | #Constraints: 28573 3545.26/3557.58 c #Conflicts: 1496000 | #Constraints: 29575 3545.26/3557.58 c #Conflicts: 1497000 | #Constraints: 30579 3545.26/3557.58 c #Conflicts: 1498000 | #Constraints: 31588 3545.26/3557.58 c #Conflicts: 1499000 | #Constraints: 32605 3545.26/3557.58 c #Conflicts: 1500000 | #Constraints: 33610 3545.26/3557.58 c #Conflicts: 1501000 | #Constraints: 34618 3545.26/3557.58 c #Conflicts: 1502000 | #Constraints: 35630 3545.26/3557.58 c #Conflicts: 1503000 | #Constraints: 36643 3545.26/3557.58 c #Conflicts: 1504000 | #Constraints: 37650 3545.26/3557.58 c #Conflicts: 1505000 | #Constraints: 38654 3545.26/3557.58 c #Conflicts: 1506000 | #Constraints: 39660 3545.26/3557.58 c #Conflicts: 1507000 | #Constraints: 40664 3545.26/3557.58 c #Conflicts: 1508000 | #Constraints: 41670 3545.26/3557.58 c #Conflicts: 1509000 | #Constraints: 42671 3545.26/3557.58 c #Conflicts: 1510000 | #Constraints: 43675 3545.26/3557.58 c #Conflicts: 1511000 | #Constraints: 44682 3545.26/3557.58 c #Conflicts: 1512000 | #Constraints: 45695 3545.26/3557.58 c #Conflicts: 1513000 | #Constraints: 46708 3545.26/3557.58 c #Conflicts: 1514000 | #Constraints: 47716 3545.26/3557.58 c #Conflicts: 1515000 | #Constraints: 48728 3545.26/3557.58 c #Conflicts: 1516000 | #Constraints: 49737 3545.26/3557.58 c INPROCESSING 3545.26/3557.58 c GARBAGE COLLECT 3545.26/3557.58 c rational objective -357 3597.89/3610.38 c #Conflicts: 1517000 | #Constraints: 26208 3597.89/3610.38 c #Conflicts: 1518000 | #Constraints: 27210 3597.89/3610.38 c #Conflicts: 1519000 | #Constraints: 28211 3597.89/3610.38 c #Conflicts: 1520000 | #Constraints: 29216 3597.89/3610.38 c #Conflicts: 1521000 | #Constraints: 30225 3597.89/3610.38 c #Conflicts: 1522000 | #Constraints: 31232 3597.89/3610.38 c #Conflicts: 1523000 | #Constraints: 32241 3597.89/3610.38 c #Conflicts: 1524000 | #Constraints: 33246 3597.89/3610.38 c #Conflicts: 1525000 | #Constraints: 34254 3597.89/3610.38 c #Conflicts: 1526000 | #Constraints: 35257 3597.89/3610.38 c #Conflicts: 1527000 | #Constraints: 36258 3597.89/3610.38 c #Conflicts: 1528000 | #Constraints: 37258 3597.89/3610.38 c #Conflicts: 1529000 | #Constraints: 38264 3597.89/3610.38 c #Conflicts: 1530000 | #Constraints: 39267 3597.89/3610.38 c #Conflicts: 1531000 | #Constraints: 40273 3597.89/3610.38 c #Conflicts: 1532000 | #Constraints: 41278 3597.89/3610.38 c #Conflicts: 1533000 | #Constraints: 42289 3597.89/3610.38 c #Conflicts: 1534000 | #Constraints: 43294 3597.89/3610.38 c #Conflicts: 1535000 | #Constraints: 44298 3597.89/3610.38 c #Conflicts: 1536000 | #Constraints: 45303 3597.89/3610.38 c #Conflicts: 1537000 | #Constraints: 46304 3597.89/3610.38 c #Conflicts: 1538000 | #Constraints: 47305 3597.89/3610.38 c #Conflicts: 1539000 | #Constraints: 48309 3597.89/3610.38 c #Conflicts: 1540000 | #Constraints: 49310 3597.89/3610.38 c #Conflicts: 1541000 | #Constraints: 50316 3597.89/3610.38 c INPROCESSING 3597.89/3610.38 c GARBAGE COLLECT 3597.89/3610.38 c rational objective -357 3600.09/3612.50 c Program interrupted by user. 3600.09/3612.59 c cpu time 3579.39 s 3600.09/3612.59 c deterministic time 311541732011 3.12e+11 3600.09/3612.59 c optimization time 2.10383 s 3600.09/3612.59 c total solve time 3577.28 s 3600.09/3612.59 c core-guided solve time 2295.15 s 3600.09/3612.59 c propagation time 3084.87 s 3600.09/3612.59 c conflict analysis time 460.527 s 3600.09/3612.59 c propagations 76408808 3600.09/3612.59 c resolve steps 20401345 3600.09/3612.59 c decisions 2367830 3600.09/3612.59 c conflicts 1541149 3600.09/3612.59 c restarts 3065 3600.09/3612.59 c inprocessing phases 115 3600.09/3612.59 c input clauses 324 3600.09/3612.59 c input cardinalities 83 3600.09/3612.59 c input general constraints 445 3600.09/3612.59 c input average constraint length 30.27 3600.09/3612.59 c input average constraint degree 74.54 3600.09/3612.59 c learned clauses 1250747 3600.09/3612.59 c learned cardinalities 205 3600.09/3612.59 c learned general constraints 296198 3600.09/3612.59 c learned average constraint length 116.05 3600.09/3612.59 c learned average constraint degree 444775120.50 3600.09/3612.59 c watched constraints 262086 3600.09/3612.59 c counting constraints 34557 3600.09/3612.59 c gcd simplifications 659819 3600.09/3612.59 c detected cardinalities 38 3600.09/3612.59 c weakened non-implied lits 94778837 3600.09/3612.59 c weakened non-implying lits 857519 3600.09/3612.59 c original variables 223 3600.09/3612.59 c clausal propagations 28618548 3600.09/3612.59 c cardinality propagations 8565711 3600.09/3612.59 c watched propagations 2682513 3600.09/3612.59 c counting propagations 35092475 3600.09/3612.59 c watch lookups 66583707437 3600.09/3612.59 c watch backjump lookups 54524398280 3600.09/3612.59 c watch checks 175513867440 3600.09/3612.59 c propagation checks 14066027472 3600.09/3612.59 c constraint additions 693092716 3600.09/3612.59 c trail pops 80311589 3600.09/3612.59 c formula constraints 386 3600.09/3612.59 c learned constraints 1535272 3600.09/3612.59 c bound constraints 102 3600.09/3612.59 c core-guided constraints 364 3600.09/3612.59 c encountered formula constraints 10563316 3600.09/3612.59 c encountered learned constraints 9765110 3600.09/3612.59 c encountered bound constraints 20426 3600.09/3612.59 c encountered core-guided constraints 1105135 3600.09/3612.59 c LP total time 27.7738 s 3600.09/3612.59 c LP solve time 23.67 s 3600.09/3612.59 c LP constraints added 4769 3600.09/3612.59 c LP constraints removed 4322 3600.09/3612.59 c LP pivots internal 1541213 3600.09/3612.59 c LP pivots root 9225 3600.09/3612.59 c LP calls 71166 3600.09/3612.59 c LP optimalities 65227 3600.09/3612.59 c LP no pivot count 1028 3600.09/3612.59 c LP infeasibilities 5939 3600.09/3612.59 c LP valid Farkas constraints 5939 3600.09/3612.59 c LP learned Farkas constraints 5939 3600.09/3612.59 c LP basis resets 0 3600.09/3612.59 c LP cycling count 0 3600.09/3612.59 c LP singular count 0 3600.09/3612.59 c LP no primal count 0 3600.09/3612.59 c LP no farkas count 0 3600.09/3612.59 c LP other issue count 0 3600.09/3612.59 c LP Gomory cuts 0 3600.09/3612.59 c LP learned cuts 4383 3600.09/3612.59 c LP deleted cuts 4322 3600.09/3612.59 c LP encountered Gomory constraints 0 3600.09/3612.59 c LP encountered Farkas constraints 467744 3600.09/3612.59 c LP encountered learned Farkas constraints 14824 3600.09/3612.59 c CG auxiliary variables introduced 149 3600.09/3612.59 c CG solutions found 19 3600.09/3612.59 c CG cores constructed 83 3600.09/3612.59 c CG core cardinality constraints returned 0 3600.09/3612.59 c CG unit cores 0 3600.09/3612.59 c CG single cores 76 3600.09/3612.59 c CG blocks removed during cardinality reduction 0 3600.09/3612.59 c CG first core best 0 3600.09/3612.59 c CG decision core best 0 3600.09/3612.59 c CG core reduction tie 7 3600.09/3612.59 c CG core degree average 1.00 3600.09/3612.59 c CG core slack average 2.88 3600.09/3612.59 s SATISFIABLE 3600.09/3612.59 v x1 -x2 x3 x4 x5 -x6 x7 x8 x9 -x10 x11 x12 x13 -x14 x15 x16 x17 -x18 x19 x20 x21 -x22 x23 x24 x25 -x26 x27 x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 x141 x142 -x143 -x144 -x145 x146 x147 -x148 x149 -x150 x151 -x152 x153 x154 -x155 -x156 -x157 x158 x159 -x160 x161 -x162 x163 -x164 x165 x166 -x167 -x168 -x169 x170 x171 -x172 x173 -x174 x175 -x176 x177 x178 -x179 -x180 -x181 x182 x183 -x184 x185 -x186 x187 -x188 x189 x190 -x191 -x192 -x193 x194 x195 -x196 x197 -x198 x199 -x200 x201 x202 -x203 -x204 -x205 x206 x207 -x208 x209 -x210 x211 -x212 x213 x214 -x215 -x216 -x217 x218 x219 -x220 x221 -x222 -x223
OK -81
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (39695 MiB free)
memory of node 1: 64510 MiB (58521 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457218-1721833232/watcher-4457218-1721833232 -o /tmp/evaluation-result-4457218-1721833232/solver-4457218-1721833232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721829622-184634 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457218-1721833232 --lp-cut-gomory=0 HOME/instance-4457218-1721833232.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=186663, runsolver pid=186660
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 4.14 4.10 4.04 3/255 186664
/proc/meminfo: memFree=100571668/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=37376 memory=2548 CPUtime=0 cores=1,3
/proc/186663/stat : 186663 (roundingsat) D 186660 186663 184622 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 19847424 38273024 637 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.204253 s]*
/proc/loadavg: 4.14 4.10 4.04 3/255 186664
/proc/meminfo: memFree=100570044/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=37376 memory=2548 CPUtime=0 cores=1,3
/proc/186663/stat : 186663 (roundingsat) D 186660 186663 184622 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 19847424 38273024 637 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.304244 s]*
/proc/loadavg: 4.14 4.10 4.04 3/255 186664
/proc/meminfo: memFree=100568224/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=37376 memory=2548 CPUtime=0 cores=1,3
/proc/186663/stat : 186663 (roundingsat) D 186660 186663 184622 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 19847424 38273024 637 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.700139 s]
/proc/loadavg: 4.13 4.10 4.04 3/255 186664
/proc/meminfo: memFree=100562192/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=37376 memory=2548 CPUtime=0 cores=1,3
/proc/186663/stat : 186663 (roundingsat) D 186660 186663 184622 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 19847424 38273024 637 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+1.50016 s]
/proc/loadavg: 4.13 4.10 4.04 3/255 186664
/proc/meminfo: memFree=100556480/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=39188 memory=11760 CPUtime=0.41 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 718 0 0 0 38 3 0 0 20 0 1 0 19847424 40128512 2940 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 9797 2940 1904 992 0 1655 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 11760 KiB
[startup+3.10518 s]
/proc/loadavg: 4.13 4.10 4.04 5/255 186710
/proc/meminfo: memFree=107987340/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=40012 memory=14740 CPUtime=2.01 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 948 0 0 0 192 9 0 0 20 0 1 0 19847424 40972288 3685 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 10003 3685 1904 992 0 1861 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 40012 KiB
Current children cumulated memory: 14740 KiB
heavy processes:
[startup+6.30014 s]
/proc/loadavg: 4.12 4.10 4.04 5/256 186757
/proc/meminfo: memFree=110551960/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=40560 memory=15284 CPUtime=5.2 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 1103 0 0 0 501 19 0 0 20 0 1 0 19847424 41533440 3821 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 10140 3821 1904 992 0 1998 0
Current children cumulated CPU time: 5.2 s
Current children cumulated vsize: 40560 KiB
Current children cumulated memory: 15284 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.04 5/260 186778
/proc/meminfo: memFree=110106576/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=41384 memory=16100 CPUtime=11.58 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 1337 0 0 0 1120 38 0 0 20 0 1 0 19847424 42377216 4025 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 10346 4025 1904 992 0 2204 0
Current children cumulated CPU time: 11.58 s
Current children cumulated vsize: 41384 KiB
Current children cumulated memory: 16100 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.03 5/260 186780
/proc/meminfo: memFree=109490036/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=45436 memory=18884 CPUtime=24.34 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 2263 0 0 0 2369 65 0 0 20 0 1 0 19847424 46526464 4721 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 11359 4721 1904 992 0 3217 0
Current children cumulated CPU time: 24.34 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 18884 KiB
[startup+51.1059 s]
/proc/loadavg: 4.31 4.15 4.05 5/260 186795
/proc/meminfo: memFree=107550568/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=51996 memory=22988 CPUtime=49.87 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 3601 0 0 0 4871 116 0 0 20 0 1 0 19847424 53243904 5747 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 12999 5747 1904 992 0 4857 0
Current children cumulated CPU time: 49.87 s
Current children cumulated vsize: 51996 KiB
Current children cumulated memory: 22988 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.19 4.07 5/262 186809
/proc/meminfo: memFree=105128368/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=55536 memory=28696 CPUtime=100.91 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 4799 0 0 0 9894 197 0 0 20 0 1 0 19847424 56868864 7174 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 13884 7174 1904 992 0 5742 0
Current children cumulated CPU time: 100.91 s
Current children cumulated vsize: 55536 KiB
Current children cumulated memory: 28696 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.07 5/264 186821
/proc/meminfo: memFree=102407272/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=64724 memory=34332 CPUtime=160.72 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 6216 0 0 0 15805 267 0 0 20 0 1 0 19847424 66277376 8583 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 16181 8583 1904 992 0 8039 0
Current children cumulated CPU time: 160.72 s
Current children cumulated vsize: 64724 KiB
Current children cumulated memory: 34332 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.16 4.08 5/264 186832
/proc/meminfo: memFree=99629044/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=66108 memory=35940 CPUtime=220.54 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 7143 0 0 0 21708 346 0 0 20 0 1 0 19847424 67694592 8985 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 16527 8985 1904 992 0 8385 0
Current children cumulated CPU time: 220.54 s
Current children cumulated vsize: 66108 KiB
Current children cumulated memory: 35940 KiB
[startup+282.3 s]
/proc/loadavg: 4.46 4.24 4.11 5/264 186842
/proc/meminfo: memFree=97082556/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=67252 memory=39872 CPUtime=280.36 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 7670 0 0 0 27639 397 0 0 20 0 1 0 19847424 68866048 9968 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 16813 9968 1904 992 0 8671 0
Current children cumulated CPU time: 280.36 s
Current children cumulated vsize: 67252 KiB
Current children cumulated memory: 39872 KiB
[startup+342.3 s]
/proc/loadavg: 4.28 4.23 4.11 5/263 186855
/proc/meminfo: memFree=94380440/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=70576 memory=43796 CPUtime=340.2 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 8506 0 0 0 33575 445 0 0 20 0 1 0 19847424 72269824 10949 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 17644 10949 1904 992 0 9502 0
Current children cumulated CPU time: 340.2 s
Current children cumulated vsize: 70576 KiB
Current children cumulated memory: 43796 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.20 4.10 5/264 186866
/proc/meminfo: memFree=92805224/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=82796 memory=44824 CPUtime=400.02 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 9073 0 0 0 39510 492 0 0 20 0 1 0 19847424 84783104 11206 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 20699 11206 1904 992 0 12557 0
Current children cumulated CPU time: 400.02 s
Current children cumulated vsize: 82796 KiB
Current children cumulated memory: 44824 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.21 4.11 5/263 186876
/proc/meminfo: memFree=91296284/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=82980 memory=45024 CPUtime=459.84 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 9440 0 0 0 45432 552 0 0 20 0 1 0 19847424 84971520 11256 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
################
# More data... #
################
Current children cumulated memory: 78528 KiB
[startup+2922.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/262 187971
/proc/meminfo: memFree=40176124/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=120060 memory=78528 CPUtime=2912.06 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 19060 0 0 0 289423 1783 0 0 20 0 1 0 19847424 122941440 19632 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30015 19632 1904 992 0 21873 0
Current children cumulated CPU time: 2912.06 s
Current children cumulated vsize: 120060 KiB
Current children cumulated memory: 78528 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/264 187987
/proc/meminfo: memFree=38760824/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=120060 memory=78528 CPUtime=2971.88 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 19074 0 0 0 295391 1797 0 0 20 0 1 0 19847424 122941440 19632 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30015 19632 1904 992 0 21873 0
Current children cumulated CPU time: 2971.88 s
Current children cumulated vsize: 120060 KiB
Current children cumulated memory: 78528 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.15 4.10 6/263 187998
/proc/meminfo: memFree=37106824/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=120188 memory=78840 CPUtime=3031.68 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 19335 0 0 0 301356 1812 0 0 20 0 1 0 19847424 123072512 19710 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30047 19710 1904 992 0 21905 0
Current children cumulated CPU time: 3031.68 s
Current children cumulated vsize: 120188 KiB
Current children cumulated memory: 78840 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/264 188011
/proc/meminfo: memFree=35434528/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=120192 memory=78844 CPUtime=3091.49 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 19517 0 0 0 307291 1858 0 0 20 0 1 0 19847424 123076608 19711 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30048 19711 1904 992 0 21906 0
Current children cumulated CPU time: 3091.49 s
Current children cumulated vsize: 120192 KiB
Current children cumulated memory: 78844 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 188021
/proc/meminfo: memFree=34199044/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=120324 memory=78852 CPUtime=3151.31 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 19701 0 0 0 313230 1901 0 0 20 0 1 0 19847424 123211776 19713 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30081 19713 1904 992 0 21939 0
Current children cumulated CPU time: 3151.31 s
Current children cumulated vsize: 120324 KiB
Current children cumulated memory: 78852 KiB
[startup+3222.3 s]
/proc/loadavg: 4.28 4.17 4.11 5/264 188032
/proc/meminfo: memFree=33300020/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=120512 memory=79156 CPUtime=3211.12 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 19926 0 0 0 319192 1920 0 0 20 0 1 0 19847424 123404288 19789 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30128 19789 1904 992 0 21986 0
Current children cumulated CPU time: 3211.12 s
Current children cumulated vsize: 120512 KiB
Current children cumulated memory: 79156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/263 188429
/proc/meminfo: memFree=32346936/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=120512 memory=79156 CPUtime=3270.93 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 19938 0 0 0 325161 1932 0 0 20 0 1 0 19847424 123404288 19789 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30128 19789 1904 992 0 21986 0
Current children cumulated CPU time: 3270.93 s
Current children cumulated vsize: 120512 KiB
Current children cumulated memory: 79156 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/266 188443
/proc/meminfo: memFree=31360704/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=120512 memory=79156 CPUtime=3330.74 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 19950 0 0 0 331129 1945 0 0 20 0 1 0 19847424 123404288 19789 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30128 19789 1904 992 0 21986 0
Current children cumulated CPU time: 3330.74 s
Current children cumulated vsize: 120512 KiB
Current children cumulated memory: 79156 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/263 188455
/proc/meminfo: memFree=30201708/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=120708 memory=79228 CPUtime=3390.55 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 20043 0 0 0 337099 1956 0 0 20 0 1 0 19847424 123604992 19807 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30177 19807 1904 992 0 22035 0
Current children cumulated CPU time: 3390.55 s
Current children cumulated vsize: 120708 KiB
Current children cumulated memory: 79228 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 188466
/proc/meminfo: memFree=29507492/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=122012 memory=82716 CPUtime=3450.36 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 20531 0 0 0 343068 1968 0 0 20 0 1 0 19847424 124940288 20679 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30503 20679 1904 992 0 22361 0
Current children cumulated CPU time: 3450.36 s
Current children cumulated vsize: 122012 KiB
Current children cumulated memory: 82716 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/266 188646
/proc/meminfo: memFree=28620260/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=122204 memory=82924 CPUtime=3510.18 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 20694 0 0 0 349005 2013 0 0 20 0 1 0 19847424 125136896 20731 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30551 20731 1904 992 0 22409 0
Current children cumulated CPU time: 3510.18 s
Current children cumulated vsize: 122204 KiB
Current children cumulated memory: 82924 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/266 188659
/proc/meminfo: memFree=27792556/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=122208 memory=82932 CPUtime=3569.99 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 20808 0 0 0 354947 2052 0 0 20 0 1 0 19847424 125140992 20733 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30552 20733 1904 992 0 22410 0
Current children cumulated CPU time: 3569.99 s
Current children cumulated vsize: 122208 KiB
Current children cumulated memory: 82932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 4.20 4.15 4.10 4/258 188691
/proc/meminfo: memFree=28016680/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=122268 memory=83004 CPUtime=3600.09 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 20966 0 0 0 357938 2071 0 0 20 0 1 0 19847424 125202432 20751 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30567 20751 1904 992 0 22425 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 122268 KiB
Current children cumulated memory: 83004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.6 s]
# the end of solver process 186663 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.39 s, system=20.7187 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.5 s]
/proc/loadavg: 4.20 4.15 4.10 4/258 188691
/proc/meminfo: memFree=28016680/131524600 swapFree=131054736/131071996
[pid=186663] ppid=186660 vsize=122268 memory=83004 CPUtime=3600.09 cores=1,3
/proc/186663/stat : 186663 (roundingsat) R 186660 186663 184622 0 -1 4194304 20966 0 0 0 357938 2071 0 0 20 0 1 0 19847424 125202432 20751 134679101440 4194304 8254037 140720670427072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 24436736 140720670434140 140720670434402 140720670434402 140720670441417 0
/proc/186663/statm: 30567 20751 1904 992 0 22425 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 122268 KiB
Current children cumulated memory: 83004 KiB
Child status: 0
Real time (s): 3612.6
CPU time (s): 3600.11
CPU user time (s): 3579.39
CPU system time (s): 20.7187
CPU usage (%): 99.6543
Max. virtual memory (cumulated for all children) (KiB): 122788
Max. memory (cumulated for all children) (KiB): 83184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.39
system time used= 20.7187
maximum resident set size= 83456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20980
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7639744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195
involuntary context switches= 4840
# summary of solver processes directly reported to runsolver:
# pid: 186663
# total CPU time (s): 3600.11
# total CPU user time (s): 3579.39
# total CPU system time (s): 20.7187
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45146 second user time and 16.5376 second system time
The end
Begin job on nodeC034 at 2024-07-24 17:00:32 IDJOB=4457218 IDBENCH=158535 IDSOLVER=3085 FILE ID=nodeC034/4457218-1721833232 RUNJOBID= nodeC034-1721829622-184634 SLURM_JOB_ID= 7891500 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.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-4457218-1721833232/watcher-4457218-1721833232 -o /tmp/evaluation-result-4457218-1721833232/solver-4457218-1721833232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721829622-184634 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457218-1721833232 --lp-cut-gomory=0 HOME/instance-4457218-1721833232.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 28e415f3c4d8dab53aac16682d7f066d RANDOM SEED=1449249419 nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3666.829 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.072 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3604.412 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.124 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3647.706 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3650.140 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.429 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3673.950 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 100574648 kB MemAvailable: 128964580 kB Buffers: 256032 kB Cached: 28893340 kB SwapCached: 96 kB Active: 1640816 kB Inactive: 28593436 kB Active(anon): 1904 kB Inactive(anon): 1125956 kB Active(file): 1638912 kB Inactive(file): 27467480 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054736 kB Dirty: 27428 kB Writeback: 24 kB AnonPages: 1083028 kB Mapped: 99664 kB Shmem: 42580 kB KReclaimable: 246376 kB Slab: 361816 kB SReclaimable: 246376 kB SUnreclaim: 115440 kB KernelStack: 4164 kB PageTables: 11656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1654120 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14048 kB HardwareCorrupted: 0 kB AnonHugePages: 937984 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: 357076 kB DirectMap2M: 48699392 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890052 MiB End job on nodeC034 at 2024-07-24 18:00:45