| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | SAT (TO) | -270 | 3600.13 | 3610.12 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern50-06.lin.opb |
| MD5SUM | b877664571262cc35a091b0e7e24e61f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -270 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 882 |
| Total number of constraints | 1664 |
| Number of constraints which are clauses | 832 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 832 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 882 |
| Biggest coefficient in the objective function | 34 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 13140 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 34 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 13140 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.02 c #variables 882 #constraints 1664 0.00/0.05 c bounds - >= -6570 @ 0.005827 0.00/0.05 c rational objective -3285 0.51/0.57 c bounds 0 >= -6570 @ 0.037517 0.51/0.57 c bounds 0 >= -6538 @ 0.067849 0.51/0.57 c bounds 0 >= -6506 @ 0.067904 0.51/0.57 c bounds 0 >= -6474 @ 0.067904 0.51/0.57 c bounds 0 >= -6442 @ 0.067904 0.51/0.57 c bounds 0 >= -6410 @ 0.067904 0.51/0.57 c bounds 0 >= -6378 @ 0.067904 0.51/0.57 c bounds 0 >= -6346 @ 0.067907 0.51/0.57 c bounds 0 >= -6314 @ 0.068251 0.51/0.57 c bounds 0 >= -6282 @ 0.068589 0.51/0.57 c bounds 0 >= -6250 @ 0.068923 0.51/0.57 c bounds 0 >= -6218 @ 0.069263 0.51/0.57 c bounds 0 >= -6186 @ 0.069599 0.51/0.57 c bounds 0 >= -6154 @ 0.069945 0.51/0.57 c bounds 0 >= -6122 @ 0.070286 0.51/0.57 c bounds 0 >= -6090 @ 0.070621 0.51/0.57 c bounds 0 >= -6058 @ 0.070958 0.51/0.57 c bounds 0 >= -6026 @ 0.071298 0.51/0.57 c bounds 0 >= -5994 @ 0.071635 0.51/0.57 c bounds 0 >= -5962 @ 0.071975 0.51/0.57 c bounds 0 >= -5930 @ 0.072313 0.51/0.57 c bounds -54 >= -5930 @ 0.072723 0.51/0.57 c bounds -55 >= -5930 @ 0.072891 0.51/0.57 c bounds -55 >= -5901 @ 0.072891 0.51/0.57 c bounds -56 >= -5901 @ 0.073176 0.51/0.57 c bounds -58 >= -5901 @ 0.177401 0.51/0.57 c bounds -92 >= -5901 @ 0.178078 0.51/0.57 c bounds -126 >= -5901 @ 0.178709 0.51/0.57 c bounds -160 >= -5901 @ 0.179355 0.51/0.57 c bounds -194 >= -5901 @ 0.180005 0.51/0.57 c bounds -208 >= -5901 @ 0.180628 0.51/0.57 c bounds -228 >= -5901 @ 0.18131 0.51/0.57 c bounds -258 >= -5901 @ 0.200421 0.51/0.57 c bounds -259 >= -5901 @ 0.201137 0.51/0.57 c bounds -260 >= -5901 @ 0.2469 0.51/0.57 c bounds -261 >= -5901 @ 0.25116 0.51/0.57 c #Conflicts: 1000 | #Constraints: 2742 0.51/0.57 c bounds -262 >= -5901 @ 0.498354 0.51/0.57 c bounds -262 >= -5877 @ 0.50244 0.51/0.57 c bounds -262 >= -5853 @ 0.5029 0.51/0.57 c bounds -262 >= -5829 @ 0.503328 0.51/0.57 c bounds -262 >= -5805 @ 0.503751 0.51/0.57 c bounds -262 >= -5781 @ 0.503773 0.51/0.57 c bounds -262 >= -5757 @ 0.503773 0.51/0.57 c bounds -262 >= -5733 @ 0.50406 0.51/0.57 c bounds -262 >= -5709 @ 0.504478 0.51/0.57 c bounds -262 >= -5685 @ 0.504579 0.51/0.57 c bounds -262 >= -5661 @ 0.504579 0.51/0.57 c bounds -262 >= -5637 @ 0.504711 0.51/0.57 c bounds -262 >= -5613 @ 0.504771 0.51/0.57 c bounds -262 >= -5589 @ 0.504771 0.51/0.57 c bounds -262 >= -5565 @ 0.505004 0.51/0.57 c bounds -262 >= -5541 @ 0.505389 0.51/0.57 c bounds -262 >= -5517 @ 0.50581 0.51/0.57 c bounds -262 >= -5493 @ 0.506213 0.51/0.57 c bounds -262 >= -5469 @ 0.506633 0.51/0.57 c bounds -262 >= -5445 @ 0.507037 0.51/0.57 c bounds -262 >= -5421 @ 0.507462 0.51/0.57 c bounds -262 >= -5397 @ 0.507864 0.51/0.57 c bounds -262 >= -5373 @ 0.508287 0.51/0.57 c bounds -262 >= -5349 @ 0.508683 0.51/0.57 c bounds -262 >= -5325 @ 0.509104 0.51/0.57 c bounds -262 >= -5301 @ 0.509497 0.51/0.57 c bounds -262 >= -5277 @ 0.509922 0.51/0.57 c bounds -262 >= -5253 @ 0.510316 0.51/0.57 c bounds -262 >= -5229 @ 0.510738 0.51/0.57 c bounds -262 >= -5205 @ 0.510756 0.51/0.57 c bounds -262 >= -5181 @ 0.510756 0.51/0.57 c bounds -262 >= -5157 @ 0.510982 0.51/0.57 c bounds -262 >= -5133 @ 0.511375 0.51/0.57 c bounds -262 >= -5109 @ 0.511745 0.51/0.57 c bounds -262 >= -5085 @ 0.512163 0.51/0.57 c bounds -262 >= -5061 @ 0.512549 0.51/0.57 c bounds -262 >= -5037 @ 0.512964 0.51/0.57 c bounds -262 >= -5013 @ 0.513348 0.51/0.57 c bounds -262 >= -4989 @ 0.513763 0.51/0.57 c bounds -262 >= -4965 @ 0.514146 0.51/0.57 c bounds -262 >= -4941 @ 0.514554 0.51/0.57 c bounds -262 >= -4917 @ 0.514939 0.51/0.57 c bounds -262 >= -4893 @ 0.515357 0.51/0.57 c bounds -262 >= -4869 @ 0.515735 0.51/0.57 c bounds -262 >= -4845 @ 0.515745 0.51/0.57 c bounds -262 >= -4821 @ 0.515745 0.51/0.57 c bounds -262 >= -4797 @ 0.515985 0.51/0.57 c bounds -262 >= -4773 @ 0.516347 0.51/0.57 c bounds -262 >= -4749 @ 0.51675 0.51/0.57 c bounds -262 >= -4725 @ 0.517129 0.51/0.57 c bounds -262 >= -4701 @ 0.517537 0.51/0.57 c bounds -262 >= -4677 @ 0.517914 0.51/0.57 c bounds -262 >= -4653 @ 0.518316 0.51/0.57 c bounds -262 >= -4629 @ 0.518694 0.51/0.57 c bounds -262 >= -4605 @ 0.519101 0.51/0.57 c bounds -262 >= -4581 @ 0.519473 0.51/0.57 c bounds -262 >= -4557 @ 0.519875 0.51/0.57 c bounds -262 >= -4533 @ 0.520246 0.51/0.57 c bounds -262 >= -4509 @ 0.520646 0.51/0.57 c bounds -262 >= -4485 @ 0.521016 0.51/0.57 c bounds -262 >= -4461 @ 0.521416 0.51/0.57 c bounds -262 >= -4437 @ 0.521791 0.51/0.57 c bounds -262 >= -4413 @ 0.522198 0.51/0.57 c bounds -262 >= -4389 @ 0.522564 0.51/0.57 c bounds -262 >= -4365 @ 0.522965 0.51/0.57 c bounds -262 >= -4341 @ 0.52333 0.51/0.57 c bounds -262 >= -4317 @ 0.523729 0.51/0.57 c bounds -262 >= -4293 @ 0.524095 0.51/0.57 c bounds -262 >= -4269 @ 0.52449 0.51/0.57 c bounds -262 >= -4245 @ 0.524857 0.51/0.57 c bounds -262 >= -4221 @ 0.525251 0.51/0.57 c bounds -262 >= -4197 @ 0.525613 0.51/0.57 c bounds -262 >= -4173 @ 0.526007 0.51/0.57 c bounds -262 >= -4149 @ 0.526367 0.51/0.57 c bounds -262 >= -4125 @ 0.526764 0.51/0.57 c bounds -262 >= -4101 @ 0.527123 0.51/0.57 c bounds -262 >= -4077 @ 0.527517 0.51/0.57 c bounds -262 >= -4053 @ 0.527879 0.51/0.57 c bounds -262 >= -4029 @ 0.52828 0.51/0.57 c bounds -262 >= -4005 @ 0.528637 0.51/0.57 c bounds -262 >= -3981 @ 0.52871 0.51/0.57 c bounds -262 >= -3957 @ 0.52871 0.51/0.57 c bounds -262 >= -3933 @ 0.528823 0.51/0.57 c bounds -262 >= -3909 @ 0.529161 0.51/0.57 c bounds -262 >= -3885 @ 0.529528 0.51/0.57 c bounds -262 >= -3861 @ 0.529896 0.87/0.90 c bounds -262 >= -3837 @ 0.530662 0.87/0.90 c bounds -262 >= -3813 @ 0.530947 0.87/0.90 c bounds -262 >= -3789 @ 0.532439 0.87/0.90 c bounds -262 >= -3765 @ 0.538685 0.87/0.90 c bounds -262 >= -3741 @ 0.593525 0.87/0.90 c bounds -262 >= -3717 @ 0.685269 0.87/0.90 c #Conflicts: 2000 | #Constraints: 4222 0.87/0.90 c INPROCESSING 0.87/0.90 c GARBAGE COLLECT 0.87/0.90 c rational objective -3285 1.99/2.08 c #Conflicts: 3000 | #Constraints: 4085 1.99/2.08 c bounds -262 >= -3693 @ 1.68906 1.99/2.08 c bounds -264 >= -3693 @ 1.69736 1.99/2.08 c #Conflicts: 4000 | #Constraints: 5104 1.99/2.08 c INPROCESSING 1.99/2.08 c GARBAGE COLLECT 1.99/2.08 c rational objective -3021 3.17/3.26 c bounds -266 >= -3693 @ 2.01365 3.17/3.26 c #Conflicts: 5000 | #Constraints: 4504 3.17/3.26 c #Conflicts: 6000 | #Constraints: 5506 3.17/3.26 c INPROCESSING 3.17/3.26 c GARBAGE COLLECT 3.17/3.26 c rational objective -2998 5.08/5.12 c #Conflicts: 7000 | #Constraints: 4509 5.08/5.12 c #Conflicts: 8000 | #Constraints: 5510 5.08/5.12 c #Conflicts: 9000 | #Constraints: 6510 5.08/5.12 c INPROCESSING 5.08/5.12 c GARBAGE COLLECT 5.08/5.12 c rational objective -2991.33 6.56/6.68 c bounds -268 >= -3693 @ 5.09008 6.56/6.68 c #Conflicts: 10000 | #Constraints: 5254 6.56/6.68 c #Conflicts: 11000 | #Constraints: 6254 6.56/6.68 c #Conflicts: 12000 | #Constraints: 7254 6.56/6.68 c INPROCESSING 6.56/6.68 c GARBAGE COLLECT 6.56/6.68 c rational objective -2970.67 8.16/8.28 c #Conflicts: 13000 | #Constraints: 5689 8.16/8.28 c #Conflicts: 14000 | #Constraints: 6691 8.16/8.28 c #Conflicts: 15000 | #Constraints: 7695 8.16/8.28 c INPROCESSING 8.16/8.28 c GARBAGE COLLECT 8.16/8.28 c rational objective -2964.67 11.74/11.81 c bounds -268 >= -3670 @ 8.66571 11.74/11.81 c #Conflicts: 16000 | #Constraints: 5911 11.74/11.81 c #Conflicts: 17000 | #Constraints: 6915 11.74/11.81 c #Conflicts: 18000 | #Constraints: 7917 11.74/11.81 c INPROCESSING 11.74/11.81 c GARBAGE COLLECT 11.74/11.81 c rational objective -2958.17 13.74/13.84 c #Conflicts: 19000 | #Constraints: 5940 13.74/13.84 c bounds -270 >= -3670 @ 11.9317 13.74/13.84 c #Conflicts: 20000 | #Constraints: 6943 13.74/13.84 c #Conflicts: 21000 | #Constraints: 7943 13.74/13.84 c INPROCESSING 13.74/13.84 c GARBAGE COLLECT 13.74/13.84 c rational objective -2938.83 16.43/16.54 c #Conflicts: 22000 | #Constraints: 5733 16.43/16.54 c #Conflicts: 23000 | #Constraints: 6733 16.43/16.54 c #Conflicts: 24000 | #Constraints: 7733 16.43/16.54 c #Conflicts: 25000 | #Constraints: 8735 16.43/16.54 c INPROCESSING 16.43/16.54 c GARBAGE COLLECT 16.43/16.54 c rational objective -2938.61 18.62/18.78 c bounds -270 >= -3650 @ 16.121 18.62/18.78 c bounds -270 >= -3630 @ 16.1214 18.62/18.78 c bounds -270 >= -3610 @ 16.1655 18.62/18.78 c #Conflicts: 26000 | #Constraints: 6344 18.62/18.78 c #Conflicts: 27000 | #Constraints: 7347 18.62/18.78 c #Conflicts: 28000 | #Constraints: 8353 18.62/18.78 c #Conflicts: 29000 | #Constraints: 9359 18.62/18.78 c INPROCESSING 18.62/18.78 c GARBAGE COLLECT 18.62/18.78 c rational objective -2938.61 20.93/21.04 c #Conflicts: 30000 | #Constraints: 6796 20.93/21.04 c #Conflicts: 31000 | #Constraints: 7800 20.93/21.04 c #Conflicts: 32000 | #Constraints: 8803 20.93/21.04 c #Conflicts: 33000 | #Constraints: 9816 20.93/21.04 c INPROCESSING 20.93/21.04 c GARBAGE COLLECT 20.93/21.04 c rational objective -2689.38 24.71/24.89 c #Conflicts: 34000 | #Constraints: 7039 24.71/24.89 c #Conflicts: 35000 | #Constraints: 8044 24.71/24.89 c #Conflicts: 36000 | #Constraints: 9048 24.71/24.89 c #Conflicts: 37000 | #Constraints: 10057 24.71/24.89 c INPROCESSING 24.71/24.89 c GARBAGE COLLECT 24.71/24.89 c rational objective -2568.28 27.50/27.60 c #Conflicts: 38000 | #Constraints: 7008 27.50/27.60 c #Conflicts: 39000 | #Constraints: 8015 27.50/27.60 c #Conflicts: 40000 | #Constraints: 9044 27.50/27.60 c #Conflicts: 41000 | #Constraints: 10092 27.50/27.60 c INPROCESSING 27.50/27.60 c GARBAGE COLLECT 27.50/27.60 c rational objective -2515.56 32.06/32.26 c #Conflicts: 42000 | #Constraints: 6898 32.06/32.26 c #Conflicts: 43000 | #Constraints: 7898 32.06/32.26 c #Conflicts: 44000 | #Constraints: 8898 32.06/32.26 c #Conflicts: 45000 | #Constraints: 9899 32.06/32.26 c #Conflicts: 46000 | #Constraints: 10902 32.06/32.26 c INPROCESSING 32.06/32.26 c GARBAGE COLLECT 32.06/32.26 c rational objective -2480.09 34.97/35.19 c #Conflicts: 47000 | #Constraints: 7424 34.97/35.19 c #Conflicts: 48000 | #Constraints: 8429 34.97/35.19 c #Conflicts: 49000 | #Constraints: 9437 34.97/35.19 c #Conflicts: 50000 | #Constraints: 10453 34.97/35.19 c #Conflicts: 51000 | #Constraints: 11492 34.97/35.19 c INPROCESSING 34.97/35.19 c GARBAGE COLLECT 34.97/35.19 c rational objective -2467.47 38.25/38.46 c #Conflicts: 52000 | #Constraints: 7898 38.25/38.46 c #Conflicts: 53000 | #Constraints: 8923 38.25/38.46 c #Conflicts: 54000 | #Constraints: 9926 38.25/38.46 c #Conflicts: 55000 | #Constraints: 10957 38.25/38.46 c #Conflicts: 56000 | #Constraints: 11982 38.25/38.46 c INPROCESSING 38.25/38.46 c GARBAGE COLLECT 38.25/38.46 c rational objective -2450.14 43.73/44.00 c #Conflicts: 57000 | #Constraints: 8160 43.73/44.00 c #Conflicts: 58000 | #Constraints: 9162 43.73/44.00 c #Conflicts: 59000 | #Constraints: 10167 43.73/44.00 c #Conflicts: 60000 | #Constraints: 11173 43.73/44.00 c #Conflicts: 61000 | #Constraints: 12176 43.73/44.00 c INPROCESSING 43.73/44.00 c GARBAGE COLLECT 43.73/44.00 c rational objective -2425.72 48.01/48.26 c #Conflicts: 62000 | #Constraints: 8093 48.01/48.26 c #Conflicts: 63000 | #Constraints: 9117 48.01/48.26 c #Conflicts: 64000 | #Constraints: 10143 48.01/48.26 c #Conflicts: 65000 | #Constraints: 11179 48.01/48.26 c #Conflicts: 66000 | #Constraints: 12195 48.01/48.26 c INPROCESSING 48.01/48.26 c GARBAGE COLLECT 48.01/48.26 c rational objective -2413.65 54.81/55.08 c #Conflicts: 67000 | #Constraints: 7977 54.81/55.08 c #Conflicts: 68000 | #Constraints: 8982 54.81/55.08 c #Conflicts: 69000 | #Constraints: 9983 54.81/55.08 c #Conflicts: 70000 | #Constraints: 10988 54.81/55.08 c #Conflicts: 71000 | #Constraints: 11990 54.81/55.08 c #Conflicts: 72000 | #Constraints: 12994 54.81/55.08 c INPROCESSING 54.81/55.08 c GARBAGE COLLECT 54.81/55.08 c rational objective -2387.27 59.38/59.62 c #Conflicts: 73000 | #Constraints: 8500 59.38/59.62 c #Conflicts: 74000 | #Constraints: 9524 59.38/59.62 c #Conflicts: 75000 | #Constraints: 10538 59.38/59.62 c #Conflicts: 76000 | #Constraints: 11575 59.38/59.62 c #Conflicts: 77000 | #Constraints: 12606 59.38/59.62 c #Conflicts: 78000 | #Constraints: 13635 59.38/59.62 c INPROCESSING 59.38/59.62 c GARBAGE COLLECT 59.38/59.62 c rational objective -2379.58 64.64/64.92 c #Conflicts: 79000 | #Constraints: 9028 64.64/64.92 c #Conflicts: 80000 | #Constraints: 10052 64.64/64.92 c #Conflicts: 81000 | #Constraints: 11086 64.64/64.92 c #Conflicts: 82000 | #Constraints: 12122 64.64/64.92 c #Conflicts: 83000 | #Constraints: 13147 64.64/64.92 c #Conflicts: 84000 | #Constraints: 14188 64.64/64.92 c INPROCESSING 64.64/64.92 c GARBAGE COLLECT 64.64/64.92 c rational objective -2345.41 74.22/74.52 c #Conflicts: 85000 | #Constraints: 9281 74.22/74.52 c #Conflicts: 86000 | #Constraints: 10281 74.22/74.52 c #Conflicts: 87000 | #Constraints: 11285 74.22/74.52 c #Conflicts: 88000 | #Constraints: 12300 74.22/74.52 c #Conflicts: 89000 | #Constraints: 13313 74.22/74.52 c #Conflicts: 90000 | #Constraints: 14323 74.22/74.52 c INPROCESSING 74.22/74.52 c GARBAGE COLLECT 74.22/74.52 c rational objective -2324.78 79.60/79.92 c #Conflicts: 91000 | #Constraints: 9179 79.60/79.92 c #Conflicts: 92000 | #Constraints: 10198 79.60/79.92 c #Conflicts: 93000 | #Constraints: 11238 79.60/79.92 c #Conflicts: 94000 | #Constraints: 12272 79.60/79.92 c #Conflicts: 95000 | #Constraints: 13314 79.60/79.92 c #Conflicts: 96000 | #Constraints: 14335 79.60/79.92 c INPROCESSING 79.60/79.92 c GARBAGE COLLECT 79.60/79.92 c rational objective -2311.23 84.80/85.11 c #Conflicts: 97000 | #Constraints: 9060 84.80/85.11 c #Conflicts: 98000 | #Constraints: 10108 84.80/85.11 c #Conflicts: 99000 | #Constraints: 11159 84.80/85.11 c #Conflicts: 100000 | #Constraints: 12212 84.80/85.11 c #Conflicts: 101000 | #Constraints: 13262 84.80/85.11 c #Conflicts: 102000 | #Constraints: 14301 84.80/85.11 c #Conflicts: 103000 | #Constraints: 15341 84.80/85.11 c INPROCESSING 84.80/85.11 c GARBAGE COLLECT 84.80/85.11 c rational objective -2292.77 96.32/96.71 c #Conflicts: 104000 | #Constraints: 9764 96.32/96.71 c #Conflicts: 105000 | #Constraints: 10766 96.32/96.71 c #Conflicts: 106000 | #Constraints: 11766 96.32/96.71 c #Conflicts: 107000 | #Constraints: 12768 96.32/96.71 c #Conflicts: 108000 | #Constraints: 13769 96.32/96.71 c #Conflicts: 109000 | #Constraints: 14775 96.32/96.71 c #Conflicts: 110000 | #Constraints: 15796 96.32/96.71 c INPROCESSING 96.32/96.71 c GARBAGE COLLECT 96.32/96.71 c rational objective -2271.6 102.81/103.28 c #Conflicts: 111000 | #Constraints: 10022 102.81/103.28 c #Conflicts: 112000 | #Constraints: 11069 102.81/103.28 c #Conflicts: 113000 | #Constraints: 12105 102.81/103.28 c #Conflicts: 114000 | #Constraints: 13141 102.81/103.28 c #Conflicts: 115000 | #Constraints: 14142 102.81/103.28 c #Conflicts: 116000 | #Constraints: 15169 102.81/103.28 c #Conflicts: 117000 | #Constraints: 16180 102.81/103.28 c INPROCESSING 102.81/103.28 c GARBAGE COLLECT 102.81/103.28 c rational objective -2262.68 110.29/110.70 c #Conflicts: 118000 | #Constraints: 10300 110.29/110.70 c #Conflicts: 119000 | #Constraints: 11332 110.29/110.70 c #Conflicts: 120000 | #Constraints: 12384 110.29/110.70 c #Conflicts: 121000 | #Constraints: 13428 110.29/110.70 c #Conflicts: 122000 | #Constraints: 14455 110.29/110.70 c #Conflicts: 123000 | #Constraints: 15483 110.29/110.70 c #Conflicts: 124000 | #Constraints: 16519 110.29/110.70 c INPROCESSING 110.29/110.70 c GARBAGE COLLECT 110.29/110.70 c rational objective -2247.25 124.23/124.70 c #Conflicts: 125000 | #Constraints: 10353 124.23/124.70 c #Conflicts: 126000 | #Constraints: 11353 124.23/124.70 c #Conflicts: 127000 | #Constraints: 12357 124.23/124.70 c #Conflicts: 128000 | #Constraints: 13364 124.23/124.70 c #Conflicts: 129000 | #Constraints: 14366 124.23/124.70 c #Conflicts: 130000 | #Constraints: 15368 124.23/124.70 c #Conflicts: 131000 | #Constraints: 16374 124.23/124.70 c INPROCESSING 124.23/124.70 c GARBAGE COLLECT 124.23/124.70 c rational objective -2226.7 131.80/132.33 c #Conflicts: 132000 | #Constraints: 9981 131.80/132.33 c #Conflicts: 133000 | #Constraints: 11021 131.80/132.33 c #Conflicts: 134000 | #Constraints: 12065 131.80/132.33 c #Conflicts: 135000 | #Constraints: 13103 131.80/132.33 c #Conflicts: 136000 | #Constraints: 14150 131.80/132.33 c #Conflicts: 137000 | #Constraints: 15175 131.80/132.33 c #Conflicts: 138000 | #Constraints: 16219 131.80/132.33 c #Conflicts: 139000 | #Constraints: 17252 131.80/132.33 c INPROCESSING 131.80/132.33 c GARBAGE COLLECT 131.80/132.33 c rational objective -2214.44 140.48/141.10 c #Conflicts: 140000 | #Constraints: 10751 140.48/141.10 c #Conflicts: 141000 | #Constraints: 11788 140.48/141.10 c #Conflicts: 142000 | #Constraints: 12826 140.48/141.10 c #Conflicts: 143000 | #Constraints: 13862 140.48/141.10 c #Conflicts: 144000 | #Constraints: 14910 140.48/141.10 c #Conflicts: 145000 | #Constraints: 15958 140.48/141.10 c #Conflicts: 146000 | #Constraints: 16988 140.48/141.10 c #Conflicts: 147000 | #Constraints: 18034 140.48/141.10 c INPROCESSING 140.48/141.10 c GARBAGE COLLECT 140.48/141.10 c rational objective -2198.82 159.59/160.20 c #Conflicts: 148000 | #Constraints: 11209 159.59/160.20 c #Conflicts: 149000 | #Constraints: 12209 159.59/160.20 c #Conflicts: 150000 | #Constraints: 13220 159.59/160.20 c #Conflicts: 151000 | #Constraints: 14226 159.59/160.20 c #Conflicts: 152000 | #Constraints: 15228 159.59/160.20 c #Conflicts: 153000 | #Constraints: 16228 159.59/160.20 c #Conflicts: 154000 | #Constraints: 17234 159.59/160.20 c #Conflicts: 155000 | #Constraints: 18249 159.59/160.20 c INPROCESSING 159.59/160.20 c GARBAGE COLLECT 159.59/160.20 c rational objective -2189.98 168.07/168.76 c #Conflicts: 156000 | #Constraints: 11258 168.07/168.76 c #Conflicts: 157000 | #Constraints: 12303 168.07/168.76 c #Conflicts: 158000 | #Constraints: 13350 168.07/168.76 c #Conflicts: 159000 | #Constraints: 14391 168.07/168.76 c #Conflicts: 160000 | #Constraints: 15432 168.07/168.76 c #Conflicts: 161000 | #Constraints: 16459 168.07/168.76 c #Conflicts: 162000 | #Constraints: 17481 168.07/168.76 c #Conflicts: 163000 | #Constraints: 18514 168.07/168.76 c INPROCESSING 168.07/168.76 c GARBAGE COLLECT 168.07/168.76 c rational objective -2178.68 176.46/177.19 c #Conflicts: 164000 | #Constraints: 11392 176.46/177.19 c #Conflicts: 165000 | #Constraints: 12448 176.46/177.19 c #Conflicts: 166000 | #Constraints: 13483 176.46/177.19 c #Conflicts: 167000 | #Constraints: 14530 176.46/177.19 c #Conflicts: 168000 | #Constraints: 15572 176.46/177.19 c #Conflicts: 169000 | #Constraints: 16613 176.46/177.19 c #Conflicts: 170000 | #Constraints: 17670 176.46/177.19 c #Conflicts: 171000 | #Constraints: 18707 176.46/177.19 c INPROCESSING 176.46/177.19 c GARBAGE COLLECT 176.46/177.19 c rational objective -2158.2 185.91/186.63 c #Conflicts: 172000 | #Constraints: 11279 185.91/186.63 c #Conflicts: 173000 | #Constraints: 12310 185.91/186.63 c #Conflicts: 174000 | #Constraints: 13352 185.91/186.63 c #Conflicts: 175000 | #Constraints: 14396 185.91/186.63 c #Conflicts: 176000 | #Constraints: 15443 185.91/186.63 c #Conflicts: 177000 | #Constraints: 16480 185.91/186.63 c #Conflicts: 178000 | #Constraints: 17524 185.91/186.63 c #Conflicts: 179000 | #Constraints: 18567 185.91/186.63 c #Conflicts: 180000 | #Constraints: 19601 185.91/186.63 c INPROCESSING 185.91/186.63 c GARBAGE COLLECT 185.91/186.63 c rational objective -2139.45 208.55/209.31 c #Conflicts: 181000 | #Constraints: 11891 208.55/209.31 c #Conflicts: 182000 | #Constraints: 12892 208.55/209.31 c #Conflicts: 183000 | #Constraints: 13893 208.55/209.31 c #Conflicts: 184000 | #Constraints: 14894 208.55/209.31 c #Conflicts: 185000 | #Constraints: 15901 208.55/209.31 c #Conflicts: 186000 | #Constraints: 16905 208.55/209.31 c #Conflicts: 187000 | #Constraints: 17914 208.55/209.31 c #Conflicts: 188000 | #Constraints: 18919 208.55/209.31 c #Conflicts: 189000 | #Constraints: 19926 208.55/209.31 c INPROCESSING 208.55/209.31 c GARBAGE COLLECT 208.55/209.31 c rational objective -2120.21 219.11/220.00 c #Conflicts: 190000 | #Constraints: 12075 219.11/220.00 c #Conflicts: 191000 | #Constraints: 13104 219.11/220.00 c #Conflicts: 192000 | #Constraints: 14134 219.11/220.00 c #Conflicts: 193000 | #Constraints: 15165 219.11/220.00 c #Conflicts: 194000 | #Constraints: 16194 219.11/220.00 c #Conflicts: 195000 | #Constraints: 17224 219.11/220.00 c #Conflicts: 196000 | #Constraints: 18259 219.11/220.00 c #Conflicts: 197000 | #Constraints: 19297 219.11/220.00 c #Conflicts: 198000 | #Constraints: 20342 219.11/220.00 c INPROCESSING 219.11/220.00 c GARBAGE COLLECT 219.11/220.00 c rational objective -2116.56 227.58/228.42 c #Conflicts: 199000 | #Constraints: 12369 227.58/228.42 c #Conflicts: 200000 | #Constraints: 13370 227.58/228.42 c #Conflicts: 201000 | #Constraints: 14417 227.58/228.42 c #Conflicts: 202000 | #Constraints: 15482 227.58/228.42 c #Conflicts: 203000 | #Constraints: 16550 227.58/228.42 c #Conflicts: 204000 | #Constraints: 17600 227.58/228.42 c #Conflicts: 205000 | #Constraints: 18659 227.58/228.42 c #Conflicts: 206000 | #Constraints: 19693 227.58/228.42 c #Conflicts: 207000 | #Constraints: 20723 227.58/228.42 c INPROCESSING 227.58/228.42 c GARBAGE COLLECT 227.58/228.42 c rational objective -2098.19 237.86/238.79 c #Conflicts: 208000 | #Constraints: 12501 237.86/238.79 c #Conflicts: 209000 | #Constraints: 13548 237.86/238.79 c #Conflicts: 210000 | #Constraints: 14589 237.86/238.79 c #Conflicts: 211000 | #Constraints: 15621 237.86/238.79 c #Conflicts: 212000 | #Constraints: 16683 237.86/238.79 c #Conflicts: 213000 | #Constraints: 17720 237.86/238.79 c #Conflicts: 214000 | #Constraints: 18771 237.86/238.79 c #Conflicts: 215000 | #Constraints: 19824 237.86/238.79 c #Conflicts: 216000 | #Constraints: 20876 237.86/238.79 c INPROCESSING 237.86/238.79 c GARBAGE COLLECT 237.86/238.79 c rational objective -2085.68 271.15/272.18 c #Conflicts: 217000 | #Constraints: 12356 271.15/272.18 c #Conflicts: 218000 | #Constraints: 13362 271.15/272.18 c #Conflicts: 219000 | #Constraints: 14364 271.15/272.18 c #Conflicts: 220000 | #Constraints: 15364 271.15/272.18 c #Conflicts: 221000 | #Constraints: 16367 271.15/272.18 c #Conflicts: 222000 | #Constraints: 17370 271.15/272.18 c #Conflicts: 223000 | #Constraints: 18374 271.15/272.18 c #Conflicts: 224000 | #Constraints: 19377 271.15/272.18 c #Conflicts: 225000 | #Constraints: 20380 271.15/272.18 c #Conflicts: 226000 | #Constraints: 21380 271.15/272.18 c INPROCESSING 271.15/272.18 c GARBAGE COLLECT 271.15/272.18 c rational objective -2079.17 283.56/284.64 c #Conflicts: 227000 | #Constraints: 12712 283.56/284.64 c #Conflicts: 228000 | #Constraints: 13752 283.56/284.64 c #Conflicts: 229000 | #Constraints: 14787 283.56/284.64 c #Conflicts: 230000 | #Constraints: 15822 283.56/284.64 c #Conflicts: 231000 | #Constraints: 16849 283.56/284.64 c #Conflicts: 232000 | #Constraints: 17890 283.56/284.64 c #Conflicts: 233000 | #Constraints: 18942 283.56/284.64 c #Conflicts: 234000 | #Constraints: 19989 283.56/284.64 c #Conflicts: 235000 | #Constraints: 21036 283.56/284.64 c #Conflicts: 236000 | #Constraints: 22080 283.56/284.64 c INPROCESSING 283.56/284.64 c GARBAGE COLLECT 283.56/284.64 c rational objective -2074.78 296.05/297.13 c #Conflicts: 237000 | #Constraints: 13292 296.05/297.13 c #Conflicts: 238000 | #Constraints: 14333 296.05/297.13 c #Conflicts: 239000 | #Constraints: 15378 296.05/297.13 c #Conflicts: 240000 | #Constraints: 16433 296.05/297.13 c #Conflicts: 241000 | #Constraints: 17477 296.05/297.13 c #Conflicts: 242000 | #Constraints: 18532 296.05/297.13 c #Conflicts: 243000 | #Constraints: 19591 296.05/297.13 c #Conflicts: 244000 | #Constraints: 20640 296.05/297.13 c #Conflicts: 245000 | #Constraints: 21681 296.05/297.13 c #Conflicts: 246000 | #Constraints: 22716 296.05/297.13 c INPROCESSING 296.05/297.13 c GARBAGE COLLECT 296.05/297.13 c rational objective -2065.78 309.50/310.65 c #Conflicts: 247000 | #Constraints: 13600 309.50/310.65 c #Conflicts: 248000 | #Constraints: 14637 309.50/310.65 c #Conflicts: 249000 | #Constraints: 15674 309.50/310.65 c #Conflicts: 250000 | #Constraints: 16704 309.50/310.65 c #Conflicts: 251000 | #Constraints: 17737 309.50/310.65 c #Conflicts: 252000 | #Constraints: 18791 309.50/310.65 c #Conflicts: 253000 | #Constraints: 19840 309.50/310.65 c #Conflicts: 254000 | #Constraints: 20894 309.50/310.65 c #Conflicts: 255000 | #Constraints: 21941 309.50/310.65 c #Conflicts: 256000 | #Constraints: 22993 309.50/310.65 c INPROCESSING 309.50/310.65 c GARBAGE COLLECT 309.50/310.65 c rational objective -2060.95 342.85/344.15 c #Conflicts: 257000 | #Constraints: 13597 342.85/344.15 c #Conflicts: 258000 | #Constraints: 14599 342.85/344.15 c #Conflicts: 259000 | #Constraints: 15604 342.85/344.15 c #Conflicts: 260000 | #Constraints: 16611 342.85/344.15 c #Conflicts: 261000 | #Constraints: 17616 342.85/344.15 c #Conflicts: 262000 | #Constraints: 18623 342.85/344.15 c #Conflicts: 263000 | #Constraints: 19626 342.85/344.15 c #Conflicts: 264000 | #Constraints: 20632 342.85/344.15 c #Conflicts: 265000 | #Constraints: 21636 342.85/344.15 c #Conflicts: 266000 | #Constraints: 22643 342.85/344.15 c INPROCESSING 342.85/344.15 c GARBAGE COLLECT 342.85/344.15 c rational objective -2056.69 356.60/357.98 c #Conflicts: 267000 | #Constraints: 13154 356.60/357.98 c #Conflicts: 268000 | #Constraints: 14202 356.60/357.98 c #Conflicts: 269000 | #Constraints: 15245 356.60/357.98 c #Conflicts: 270000 | #Constraints: 16279 356.60/357.98 c #Conflicts: 271000 | #Constraints: 17320 356.60/357.98 c #Conflicts: 272000 | #Constraints: 18368 356.60/357.98 c #Conflicts: 273000 | #Constraints: 19423 356.60/357.98 c #Conflicts: 274000 | #Constraints: 20471 356.60/357.98 c #Conflicts: 275000 | #Constraints: 21494 356.60/357.98 c #Conflicts: 276000 | #Constraints: 22539 356.60/357.98 c #Conflicts: 277000 | #Constraints: 23591 356.60/357.98 c INPROCESSING 356.60/357.98 c GARBAGE COLLECT 356.60/357.98 c rational objective -2053.5 370.96/372.37 c #Conflicts: 278000 | #Constraints: 13920 370.96/372.37 c #Conflicts: 279000 | #Constraints: 14954 370.96/372.37 c #Conflicts: 280000 | #Constraints: 16006 370.96/372.37 c #Conflicts: 281000 | #Constraints: 17054 370.96/372.37 c #Conflicts: 282000 | #Constraints: 18091 370.96/372.37 c #Conflicts: 283000 | #Constraints: 19136 370.96/372.37 c #Conflicts: 284000 | #Constraints: 20178 370.96/372.37 c #Conflicts: 285000 | #Constraints: 21218 370.96/372.37 c #Conflicts: 286000 | #Constraints: 22263 370.96/372.37 c #Conflicts: 287000 | #Constraints: 23304 370.96/372.37 c #Conflicts: 288000 | #Constraints: 24340 370.96/372.37 c INPROCESSING 370.96/372.37 c GARBAGE COLLECT 370.96/372.37 c rational objective -2051.68 411.00/412.53 c #Conflicts: 289000 | #Constraints: 14369 411.00/412.53 c #Conflicts: 290000 | #Constraints: 15377 411.00/412.53 c #Conflicts: 291000 | #Constraints: 16386 411.00/412.53 c #Conflicts: 292000 | #Constraints: 17396 411.00/412.53 c #Conflicts: 293000 | #Constraints: 18407 411.00/412.53 c #Conflicts: 294000 | #Constraints: 19418 411.00/412.53 c #Conflicts: 295000 | #Constraints: 20426 411.00/412.53 c #Conflicts: 296000 | #Constraints: 21429 411.00/412.53 c #Conflicts: 297000 | #Constraints: 22436 411.00/412.53 c #Conflicts: 298000 | #Constraints: 23440 411.00/412.53 c #Conflicts: 299000 | #Constraints: 24443 411.00/412.53 c INPROCESSING 411.00/412.53 c GARBAGE COLLECT 411.00/412.53 c rational objective -2048.61 425.75/427.33 c #Conflicts: 300000 | #Constraints: 14344 425.75/427.33 c #Conflicts: 301000 | #Constraints: 15393 425.75/427.33 c #Conflicts: 302000 | #Constraints: 16432 425.75/427.33 c #Conflicts: 303000 | #Constraints: 17476 425.75/427.33 c #Conflicts: 304000 | #Constraints: 18520 425.75/427.33 c #Conflicts: 305000 | #Constraints: 19561 425.75/427.33 c #Conflicts: 306000 | #Constraints: 20610 425.75/427.33 c #Conflicts: 307000 | #Constraints: 21664 425.75/427.33 c #Conflicts: 308000 | #Constraints: 22713 425.75/427.33 c #Conflicts: 309000 | #Constraints: 23757 425.75/427.33 c #Conflicts: 310000 | #Constraints: 24788 425.75/427.33 c INPROCESSING 425.75/427.33 c GARBAGE COLLECT 425.75/427.33 c rational objective -2043.52 441.60/443.20 c #Conflicts: 311000 | #Constraints: 14541 441.60/443.20 c #Conflicts: 312000 | #Constraints: 15581 441.60/443.20 c #Conflicts: 313000 | #Constraints: 16615 441.60/443.20 c #Conflicts: 314000 | #Constraints: 17652 441.60/443.20 c #Conflicts: 315000 | #Constraints: 18702 441.60/443.20 c #Conflicts: 316000 | #Constraints: 19753 441.60/443.20 c #Conflicts: 317000 | #Constraints: 20815 441.60/443.20 c #Conflicts: 318000 | #Constraints: 21865 441.60/443.20 c #Conflicts: 319000 | #Constraints: 22909 441.60/443.20 c #Conflicts: 320000 | #Constraints: 23952 441.60/443.20 c #Conflicts: 321000 | #Constraints: 24999 441.60/443.20 c INPROCESSING 441.60/443.20 c GARBAGE COLLECT 441.60/443.20 c rational objective -2039.6 458.25/459.92 c #Conflicts: 322000 | #Constraints: 14438 458.25/459.92 c #Conflicts: 323000 | #Constraints: 15477 458.25/459.92 c #Conflicts: 324000 | #Constraints: 16507 458.25/459.92 c #Conflicts: 325000 | #Constraints: 17565 458.25/459.92 c #Conflicts: 326000 | #Constraints: 18605 458.25/459.92 c #Conflicts: 327000 | #Constraints: 19643 458.25/459.92 c #Conflicts: 328000 | #Constraints: 20671 458.25/459.92 c #Conflicts: 329000 | #Constraints: 21711 458.25/459.92 c #Conflicts: 330000 | #Constraints: 22746 458.25/459.92 c #Conflicts: 331000 | #Constraints: 23784 458.25/459.92 c #Conflicts: 332000 | #Constraints: 24830 458.25/459.92 c #Conflicts: 333000 | #Constraints: 25891 458.25/459.92 c INPROCESSING 458.25/459.92 c GARBAGE COLLECT 458.25/459.92 c rational objective -2037.45 507.07/508.99 c #Conflicts: 334000 | #Constraints: 15051 507.07/508.99 c #Conflicts: 335000 | #Constraints: 16058 507.07/508.99 c #Conflicts: 336000 | #Constraints: 17062 507.07/508.99 c #Conflicts: 337000 | #Constraints: 18063 507.07/508.99 c #Conflicts: 338000 | #Constraints: 19068 507.07/508.99 c #Conflicts: 339000 | #Constraints: 20078 507.07/508.99 c #Conflicts: 340000 | #Constraints: 21088 507.07/508.99 c #Conflicts: 341000 | #Constraints: 22099 507.07/508.99 c #Conflicts: 342000 | #Constraints: 23108 507.07/508.99 c #Conflicts: 343000 | #Constraints: 24116 507.07/508.99 c #Conflicts: 344000 | #Constraints: 25121 507.07/508.99 c #Conflicts: 345000 | #Constraints: 26130 507.07/508.99 c INPROCESSING 507.07/508.99 c GARBAGE COLLECT 507.07/508.99 c rational objective -2035.48 523.92/525.85 c #Conflicts: 346000 | #Constraints: 15202 523.92/525.85 c #Conflicts: 347000 | #Constraints: 16238 523.92/525.85 c #Conflicts: 348000 | #Constraints: 17295 523.92/525.85 c #Conflicts: 349000 | #Constraints: 18343 523.92/525.85 c #Conflicts: 350000 | #Constraints: 19386 523.92/525.85 c #Conflicts: 351000 | #Constraints: 20421 523.92/525.85 c #Conflicts: 352000 | #Constraints: 21446 523.92/525.85 c #Conflicts: 353000 | #Constraints: 22480 523.92/525.85 c #Conflicts: 354000 | #Constraints: 23530 523.92/525.85 c #Conflicts: 355000 | #Constraints: 24591 523.92/525.85 c #Conflicts: 356000 | #Constraints: 25630 523.92/525.85 c #Conflicts: 357000 | #Constraints: 26671 523.92/525.85 c INPROCESSING 523.92/525.85 c GARBAGE COLLECT 523.92/525.85 c rational objective -2027.19 540.55/542.54 c #Conflicts: 358000 | #Constraints: 15579 540.55/542.54 c #Conflicts: 359000 | #Constraints: 16630 540.55/542.54 c #Conflicts: 360000 | #Constraints: 17682 540.55/542.54 c #Conflicts: 361000 | #Constraints: 18731 540.55/542.54 c #Conflicts: 362000 | #Constraints: 19775 540.55/542.54 c #Conflicts: 363000 | #Constraints: 20802 540.55/542.54 c #Conflicts: 364000 | #Constraints: 21845 540.55/542.54 c #Conflicts: 365000 | #Constraints: 22906 540.55/542.54 c #Conflicts: 366000 | #Constraints: 23952 540.55/542.54 c #Conflicts: 367000 | #Constraints: 24994 540.55/542.54 c #Conflicts: 368000 | #Constraints: 26022 540.55/542.54 c #Conflicts: 369000 | #Constraints: 27052 540.55/542.54 c INPROCESSING 540.55/542.54 c GARBAGE COLLECT 540.55/542.54 c rational objective -2020.25 559.48/561.57 c #Conflicts: 370000 | #Constraints: 15663 559.48/561.57 c #Conflicts: 371000 | #Constraints: 16704 559.48/561.57 c #Conflicts: 372000 | #Constraints: 17753 559.48/561.57 c #Conflicts: 373000 | #Constraints: 18797 559.48/561.57 c #Conflicts: 374000 | #Constraints: 19853 559.48/561.57 c #Conflicts: 375000 | #Constraints: 20910 559.48/561.57 c #Conflicts: 376000 | #Constraints: 21958 559.48/561.57 c #Conflicts: 377000 | #Constraints: 23005 559.48/561.57 c #Conflicts: 378000 | #Constraints: 24053 559.48/561.57 c #Conflicts: 379000 | #Constraints: 25101 559.48/561.57 c #Conflicts: 380000 | #Constraints: 26144 559.48/561.57 c #Conflicts: 381000 | #Constraints: 27203 559.48/561.57 c INPROCESSING 559.48/561.57 c GARBAGE COLLECT 559.48/561.57 c rational objective -2014.07 618.70/620.96 c #Conflicts: 382000 | #Constraints: 15524 618.70/620.96 c #Conflicts: 383000 | #Constraints: 16530 618.70/620.96 c #Conflicts: 384000 | #Constraints: 17534 618.70/620.96 c #Conflicts: 385000 | #Constraints: 18536 618.70/620.96 c #Conflicts: 386000 | #Constraints: 19539 618.70/620.96 c #Conflicts: 387000 | #Constraints: 20543 618.70/620.96 c #Conflicts: 388000 | #Constraints: 21547 618.70/620.96 c #Conflicts: 389000 | #Constraints: 22553 618.70/620.96 c #Conflicts: 390000 | #Constraints: 23557 618.70/620.96 c #Conflicts: 391000 | #Constraints: 24559 618.70/620.96 c #Conflicts: 392000 | #Constraints: 25574 618.70/620.96 c #Conflicts: 393000 | #Constraints: 26592 618.70/620.96 c #Conflicts: 394000 | #Constraints: 27595 618.70/620.96 c INPROCESSING 618.70/620.96 c GARBAGE COLLECT 618.70/620.96 c rational objective -2012.1 638.40/640.73 c #Conflicts: 395000 | #Constraints: 15810 638.40/640.73 c #Conflicts: 396000 | #Constraints: 16827 638.40/640.73 c #Conflicts: 397000 | #Constraints: 17865 638.40/640.73 c #Conflicts: 398000 | #Constraints: 18909 638.40/640.73 c #Conflicts: 399000 | #Constraints: 19952 638.40/640.73 c #Conflicts: 400000 | #Constraints: 21002 638.40/640.73 c #Conflicts: 401000 | #Constraints: 22044 638.40/640.73 c #Conflicts: 402000 | #Constraints: 23105 638.40/640.73 c #Conflicts: 403000 | #Constraints: 24150 638.40/640.73 c #Conflicts: 404000 | #Constraints: 25200 638.40/640.73 c #Conflicts: 405000 | #Constraints: 26265 638.40/640.73 c #Conflicts: 406000 | #Constraints: 27314 638.40/640.73 c #Conflicts: 407000 | #Constraints: 28355 638.40/640.73 c INPROCESSING 638.40/640.73 c GARBAGE COLLECT 638.40/640.73 c rational objective -2005.68 657.53/659.99 c #Conflicts: 408000 | #Constraints: 16429 657.53/659.99 c #Conflicts: 409000 | #Constraints: 17472 657.53/659.99 c #Conflicts: 410000 | #Constraints: 18519 657.53/659.99 c #Conflicts: 411000 | #Constraints: 19577 657.53/659.99 c #Conflicts: 412000 | #Constraints: 20639 657.53/659.99 c #Conflicts: 413000 | #Constraints: 21685 657.53/659.99 c #Conflicts: 414000 | #Constraints: 22731 657.53/659.99 c #Conflicts: 415000 | #Constraints: 23762 657.53/659.99 c #Conflicts: 416000 | #Constraints: 24800 657.53/659.99 c #Conflicts: 417000 | #Constraints: 25838 657.53/659.99 c #Conflicts: 418000 | #Constraints: 26876 657.53/659.99 c #Conflicts: 419000 | #Constraints: 27907 657.53/659.99 c #Conflicts: 420000 | #Constraints: 28948 657.53/659.99 c INPROCESSING 657.53/659.99 c GARBAGE COLLECT 657.53/659.99 c rational objective -2004.4 679.47/681.99 c #Conflicts: 421000 | #Constraints: 16719 679.47/681.99 c #Conflicts: 422000 | #Constraints: 17752 679.47/681.99 c #Conflicts: 423000 | #Constraints: 18790 679.47/681.99 c #Conflicts: 424000 | #Constraints: 19837 679.47/681.99 c #Conflicts: 425000 | #Constraints: 20895 679.47/681.99 c #Conflicts: 426000 | #Constraints: 21949 679.47/681.99 c #Conflicts: 427000 | #Constraints: 22986 679.47/681.99 c #Conflicts: 428000 | #Constraints: 24033 679.47/681.99 c #Conflicts: 429000 | #Constraints: 25070 679.47/681.99 c #Conflicts: 430000 | #Constraints: 26104 679.47/681.99 c #Conflicts: 431000 | #Constraints: 27138 679.47/681.99 c #Conflicts: 432000 | #Constraints: 28195 679.47/681.99 c #Conflicts: 433000 | #Constraints: 29232 679.47/681.99 c INPROCESSING 679.47/681.99 c GARBAGE COLLECT 679.47/681.99 c rational objective -2001.33 751.38/754.04 c #Conflicts: 434000 | #Constraints: 16726 751.38/754.04 c #Conflicts: 435000 | #Constraints: 17730 751.38/754.04 c #Conflicts: 436000 | #Constraints: 18731 751.38/754.04 c #Conflicts: 437000 | #Constraints: 19731 751.38/754.04 c #Conflicts: 438000 | #Constraints: 20739 751.38/754.04 c #Conflicts: 439000 | #Constraints: 21744 751.38/754.04 c #Conflicts: 440000 | #Constraints: 22749 751.38/754.04 c #Conflicts: 441000 | #Constraints: 23757 751.38/754.04 c #Conflicts: 442000 | #Constraints: 24760 751.38/754.04 c #Conflicts: 443000 | #Constraints: 25764 751.38/754.04 c #Conflicts: 444000 | #Constraints: 26768 751.38/754.04 c #Conflicts: 445000 | #Constraints: 27772 751.38/754.04 c #Conflicts: 446000 | #Constraints: 28773 751.38/754.04 c INPROCESSING 751.38/754.04 c GARBAGE COLLECT 751.38/754.04 c rational objective -1998.26 768.92/771.68 c #Conflicts: 447000 | #Constraints: 16192 768.92/771.68 c #Conflicts: 448000 | #Constraints: 17231 768.92/771.68 c #Conflicts: 449000 | #Constraints: 18275 768.92/771.68 c #Conflicts: 450000 | #Constraints: 19317 768.92/771.68 c #Conflicts: 451000 | #Constraints: 20356 768.92/771.68 c #Conflicts: 452000 | #Constraints: 21407 768.92/771.68 c #Conflicts: 453000 | #Constraints: 22453 768.92/771.68 c #Conflicts: 454000 | #Constraints: 23517 768.92/771.68 c #Conflicts: 455000 | #Constraints: 24554 768.92/771.68 c #Conflicts: 456000 | #Constraints: 25613 768.92/771.68 c #Conflicts: 457000 | #Constraints: 26670 768.92/771.68 c #Conflicts: 458000 | #Constraints: 27732 768.92/771.68 c #Conflicts: 459000 | #Constraints: 28782 768.92/771.68 c #Conflicts: 460000 | #Constraints: 29841 768.92/771.68 c INPROCESSING 768.92/771.68 c GARBAGE COLLECT 768.92/771.68 c rational objective -1992.68 788.96/791.75 c #Conflicts: 461000 | #Constraints: 17063 788.96/791.75 c #Conflicts: 462000 | #Constraints: 18091 788.96/791.75 c #Conflicts: 463000 | #Constraints: 19129 788.96/791.75 c #Conflicts: 464000 | #Constraints: 20181 788.96/791.75 c #Conflicts: 465000 | #Constraints: 21226 788.96/791.75 c #Conflicts: 466000 | #Constraints: 22276 788.96/791.75 c #Conflicts: 467000 | #Constraints: 23325 788.96/791.75 c #Conflicts: 468000 | #Constraints: 24372 788.96/791.75 c #Conflicts: 469000 | #Constraints: 25432 788.96/791.75 c #Conflicts: 470000 | #Constraints: 26465 788.96/791.75 c #Conflicts: 471000 | #Constraints: 27508 788.96/791.75 c #Conflicts: 472000 | #Constraints: 28564 788.96/791.75 c #Conflicts: 473000 | #Constraints: 29611 788.96/791.75 c #Conflicts: 474000 | #Constraints: 30671 788.96/791.75 c INPROCESSING 788.96/791.75 c GARBAGE COLLECT 788.96/791.75 c rational objective -1988.93 808.70/811.51 c #Conflicts: 475000 | #Constraints: 17583 808.70/811.51 c #Conflicts: 476000 | #Constraints: 18635 808.70/811.51 c #Conflicts: 477000 | #Constraints: 19668 808.70/811.51 c #Conflicts: 478000 | #Constraints: 20728 808.70/811.51 c #Conflicts: 479000 | #Constraints: 21783 808.70/811.51 c #Conflicts: 480000 | #Constraints: 22829 808.70/811.51 c #Conflicts: 481000 | #Constraints: 23857 808.70/811.51 c #Conflicts: 482000 | #Constraints: 24895 808.70/811.51 c #Conflicts: 483000 | #Constraints: 25940 808.70/811.51 c #Conflicts: 484000 | #Constraints: 26979 808.70/811.51 c #Conflicts: 485000 | #Constraints: 28041 808.70/811.51 c #Conflicts: 486000 | #Constraints: 29086 808.70/811.51 c #Conflicts: 487000 | #Constraints: 30132 808.70/811.51 c #Conflicts: 488000 | #Constraints: 31169 808.70/811.51 c INPROCESSING 808.70/811.51 c GARBAGE COLLECT 808.70/811.51 c rational objective -1988.25 828.05/830.92 c #Conflicts: 489000 | #Constraints: 17821 828.05/830.92 c #Conflicts: 490000 | #Constraints: 18862 828.05/830.92 c #Conflicts: 491000 | #Constraints: 19890 828.05/830.92 c #Conflicts: 492000 | #Constraints: 20921 828.05/830.92 c #Conflicts: 493000 | #Constraints: 21971 828.05/830.92 c #Conflicts: 494000 | #Constraints: 23010 828.05/830.92 c #Conflicts: 495000 | #Constraints: 24055 828.05/830.92 c #Conflicts: 496000 | #Constraints: 25093 828.05/830.92 c #Conflicts: 497000 | #Constraints: 26129 828.05/830.92 c #Conflicts: 498000 | #Constraints: 27175 828.05/830.92 c #Conflicts: 499000 | #Constraints: 28217 828.05/830.92 c #Conflicts: 500000 | #Constraints: 29264 828.05/830.92 c #Conflicts: 501000 | #Constraints: 30301 828.05/830.92 c #Conflicts: 502000 | #Constraints: 31339 828.05/830.92 c INPROCESSING 828.05/830.92 c GARBAGE COLLECT 828.05/830.92 c rational objective -1986.64 885.00/888.07 c #Conflicts: 503000 | #Constraints: 17783 885.00/888.07 c #Conflicts: 504000 | #Constraints: 18794 885.00/888.07 c #Conflicts: 505000 | #Constraints: 19805 885.00/888.07 c #Conflicts: 506000 | #Constraints: 20810 885.00/888.07 c #Conflicts: 507000 | #Constraints: 21815 885.00/888.07 c #Conflicts: 508000 | #Constraints: 22820 885.00/888.07 c #Conflicts: 509000 | #Constraints: 23827 885.00/888.07 c #Conflicts: 510000 | #Constraints: 24831 885.00/888.07 c #Conflicts: 511000 | #Constraints: 25833 885.00/888.07 c #Conflicts: 512000 | #Constraints: 26839 885.00/888.07 c #Conflicts: 513000 | #Constraints: 27846 885.00/888.07 c #Conflicts: 514000 | #Constraints: 28860 885.00/888.07 c #Conflicts: 515000 | #Constraints: 29865 885.00/888.07 c #Conflicts: 516000 | #Constraints: 30874 885.00/888.07 c INPROCESSING 885.00/888.07 c GARBAGE COLLECT 885.00/888.07 c rational objective -1986.44 905.34/908.42 c #Conflicts: 517000 | #Constraints: 17254 905.34/908.42 c #Conflicts: 518000 | #Constraints: 18305 905.34/908.42 c #Conflicts: 519000 | #Constraints: 19336 905.34/908.42 c #Conflicts: 520000 | #Constraints: 20379 905.34/908.42 c #Conflicts: 521000 | #Constraints: 21434 905.34/908.42 c #Conflicts: 522000 | #Constraints: 22485 905.34/908.42 c #Conflicts: 523000 | #Constraints: 23526 905.34/908.42 c #Conflicts: 524000 | #Constraints: 24582 905.34/908.42 c #Conflicts: 525000 | #Constraints: 25620 905.34/908.42 c #Conflicts: 526000 | #Constraints: 26665 905.34/908.42 c #Conflicts: 527000 | #Constraints: 27715 905.34/908.42 c #Conflicts: 528000 | #Constraints: 28762 905.34/908.42 c #Conflicts: 529000 | #Constraints: 29807 905.34/908.42 c #Conflicts: 530000 | #Constraints: 30858 905.34/908.42 c #Conflicts: 531000 | #Constraints: 31894 905.34/908.42 c INPROCESSING 905.34/908.42 c GARBAGE COLLECT 905.34/908.42 c rational objective -1986.41 926.67/929.82 c #Conflicts: 532000 | #Constraints: 18080 926.67/929.82 c #Conflicts: 533000 | #Constraints: 19119 926.67/929.82 c #Conflicts: 534000 | #Constraints: 20167 926.67/929.82 c #Conflicts: 535000 | #Constraints: 21210 926.67/929.82 c #Conflicts: 536000 | #Constraints: 22254 926.67/929.82 c #Conflicts: 537000 | #Constraints: 23296 926.67/929.82 c #Conflicts: 538000 | #Constraints: 24342 926.67/929.82 c #Conflicts: 539000 | #Constraints: 25376 926.67/929.82 c #Conflicts: 540000 | #Constraints: 26417 926.67/929.82 c #Conflicts: 541000 | #Constraints: 27469 926.67/929.82 c #Conflicts: 542000 | #Constraints: 28504 926.67/929.82 c #Conflicts: 543000 | #Constraints: 29531 926.67/929.82 c #Conflicts: 544000 | #Constraints: 30583 926.67/929.82 c #Conflicts: 545000 | #Constraints: 31630 926.67/929.82 c #Conflicts: 546000 | #Constraints: 32691 926.67/929.82 c INPROCESSING 926.67/929.82 c GARBAGE COLLECT 926.67/929.82 c rational objective -1986.38 949.59/952.81 c #Conflicts: 547000 | #Constraints: 18597 949.59/952.81 c #Conflicts: 548000 | #Constraints: 19649 949.59/952.81 c #Conflicts: 549000 | #Constraints: 20699 949.59/952.81 c #Conflicts: 550000 | #Constraints: 21740 949.59/952.81 c #Conflicts: 551000 | #Constraints: 22790 949.59/952.81 c #Conflicts: 552000 | #Constraints: 23829 949.59/952.81 c #Conflicts: 553000 | #Constraints: 24860 949.59/952.81 c #Conflicts: 554000 | #Constraints: 25904 949.59/952.81 c #Conflicts: 555000 | #Constraints: 26933 949.59/952.81 c #Conflicts: 556000 | #Constraints: 27971 949.59/952.81 c #Conflicts: 557000 | #Constraints: 29020 949.59/952.81 c #Conflicts: 558000 | #Constraints: 30073 949.59/952.81 c #Conflicts: 559000 | #Constraints: 31128 949.59/952.81 c #Conflicts: 560000 | #Constraints: 32171 949.59/952.81 c #Conflicts: 561000 | #Constraints: 33213 949.59/952.81 c INPROCESSING 949.59/952.81 c GARBAGE COLLECT 949.59/952.81 c rational objective -1985.09 1029.58/1033.05 c #Conflicts: 562000 | #Constraints: 18816 1029.58/1033.05 c #Conflicts: 563000 | #Constraints: 19821 1029.58/1033.05 c #Conflicts: 564000 | #Constraints: 20827 1029.58/1033.05 c #Conflicts: 565000 | #Constraints: 21837 1029.58/1033.05 c #Conflicts: 566000 | #Constraints: 22845 1029.58/1033.05 c #Conflicts: 567000 | #Constraints: 23854 1029.58/1033.05 c #Conflicts: 568000 | #Constraints: 24861 1029.58/1033.05 c #Conflicts: 569000 | #Constraints: 25865 1029.58/1033.05 c #Conflicts: 570000 | #Constraints: 26865 1029.58/1033.05 c #Conflicts: 571000 | #Constraints: 27867 1029.58/1033.05 c #Conflicts: 572000 | #Constraints: 28875 1029.58/1033.05 c #Conflicts: 573000 | #Constraints: 29882 1029.58/1033.05 c #Conflicts: 574000 | #Constraints: 30885 1029.58/1033.05 c #Conflicts: 575000 | #Constraints: 31898 1029.58/1033.05 c #Conflicts: 576000 | #Constraints: 32915 1029.58/1033.05 c INPROCESSING 1029.58/1033.05 c GARBAGE COLLECT 1029.58/1033.05 c rational objective -1985.01 1050.80/1054.31 c #Conflicts: 577000 | #Constraints: 18483 1050.80/1054.31 c #Conflicts: 578000 | #Constraints: 19524 1050.80/1054.31 c #Conflicts: 579000 | #Constraints: 20568 1050.80/1054.31 c #Conflicts: 580000 | #Constraints: 21617 1050.80/1054.31 c #Conflicts: 581000 | #Constraints: 22654 1050.80/1054.31 c #Conflicts: 582000 | #Constraints: 23692 1050.80/1054.31 c #Conflicts: 583000 | #Constraints: 24727 1050.80/1054.31 c #Conflicts: 584000 | #Constraints: 25773 1050.80/1054.31 c #Conflicts: 585000 | #Constraints: 26827 1050.80/1054.31 c #Conflicts: 586000 | #Constraints: 27888 1050.80/1054.31 c #Conflicts: 587000 | #Constraints: 28930 1050.80/1054.31 c #Conflicts: 588000 | #Constraints: 29964 1050.80/1054.31 c #Conflicts: 589000 | #Constraints: 31012 1050.80/1054.31 c #Conflicts: 590000 | #Constraints: 32065 1050.80/1054.31 c #Conflicts: 591000 | #Constraints: 33115 1050.80/1054.31 c INPROCESSING 1050.80/1054.31 c GARBAGE COLLECT 1050.80/1054.31 c rational objective -1977.55 1073.46/1077.07 c #Conflicts: 592000 | #Constraints: 18496 1073.46/1077.07 c #Conflicts: 593000 | #Constraints: 19552 1073.46/1077.07 c #Conflicts: 594000 | #Constraints: 20598 1073.46/1077.07 c #Conflicts: 595000 | #Constraints: 21631 1073.46/1077.07 c #Conflicts: 596000 | #Constraints: 22673 1073.46/1077.07 c #Conflicts: 597000 | #Constraints: 23707 1073.46/1077.07 c #Conflicts: 598000 | #Constraints: 24743 1073.46/1077.07 c #Conflicts: 599000 | #Constraints: 25766 1073.46/1077.07 c #Conflicts: 600000 | #Constraints: 26802 1073.46/1077.07 c #Conflicts: 601000 | #Constraints: 27841 1073.46/1077.07 c #Conflicts: 602000 | #Constraints: 28894 1073.46/1077.07 c #Conflicts: 603000 | #Constraints: 29951 1073.46/1077.07 c #Conflicts: 604000 | #Constraints: 31015 1073.46/1077.07 c #Conflicts: 605000 | #Constraints: 32056 1073.46/1077.07 c #Conflicts: 606000 | #Constraints: 33095 1073.46/1077.07 c #Conflicts: 607000 | #Constraints: 34163 1073.46/1077.07 c INPROCESSING 1073.46/1077.07 c GARBAGE COLLECT 1073.46/1077.07 c rational objective -1971.16 1096.99/1100.69 c #Conflicts: 608000 | #Constraints: 19226 1096.99/1100.69 c #Conflicts: 609000 | #Constraints: 20260 1096.99/1100.69 c #Conflicts: 610000 | #Constraints: 21287 1096.99/1100.69 c #Conflicts: 611000 | #Constraints: 22329 1096.99/1100.69 c #Conflicts: 612000 | #Constraints: 23373 1096.99/1100.69 c #Conflicts: 613000 | #Constraints: 24418 1096.99/1100.69 c #Conflicts: 614000 | #Constraints: 25458 1096.99/1100.69 c #Conflicts: 615000 | #Constraints: 26500 1096.99/1100.69 c #Conflicts: 616000 | #Constraints: 27555 1096.99/1100.69 c #Conflicts: 617000 | #Constraints: 28603 1096.99/1100.69 c #Conflicts: 618000 | #Constraints: 29658 1096.99/1100.69 c #Conflicts: 619000 | #Constraints: 30703 1096.99/1100.69 c #Conflicts: 620000 | #Constraints: 31765 1096.99/1100.69 c #Conflicts: 621000 | #Constraints: 32803 1096.99/1100.69 c #Conflicts: 622000 | #Constraints: 33847 1096.99/1100.69 c #Conflicts: 623000 | #Constraints: 34907 1096.99/1100.69 c INPROCESSING 1096.99/1100.69 c GARBAGE COLLECT 1096.99/1100.69 c rational objective -1968.91 1121.82/1125.53 c #Conflicts: 624000 | #Constraints: 19696 1121.82/1125.53 c #Conflicts: 625000 | #Constraints: 20733 1121.82/1125.53 c #Conflicts: 626000 | #Constraints: 21781 1121.82/1125.53 c #Conflicts: 627000 | #Constraints: 22837 1121.82/1125.53 c #Conflicts: 628000 | #Constraints: 23886 1121.82/1125.53 c #Conflicts: 629000 | #Constraints: 24949 1121.82/1125.53 c #Conflicts: 630000 | #Constraints: 25995 1121.82/1125.53 c #Conflicts: 631000 | #Constraints: 27049 1121.82/1125.53 c #Conflicts: 632000 | #Constraints: 28089 1121.82/1125.53 c #Conflicts: 633000 | #Constraints: 29124 1121.82/1125.53 c #Conflicts: 634000 | #Constraints: 30181 1121.82/1125.53 c #Conflicts: 635000 | #Constraints: 31234 1121.82/1125.53 c #Conflicts: 636000 | #Constraints: 32274 1121.82/1125.53 c #Conflicts: 637000 | #Constraints: 33320 1121.82/1125.53 c #Conflicts: 638000 | #Constraints: 34367 1121.82/1125.53 c #Conflicts: 639000 | #Constraints: 35423 1121.82/1125.53 c INPROCESSING 1121.82/1125.53 c GARBAGE COLLECT 1121.82/1125.53 c rational objective -1965.88 1223.26/1227.29 c #Conflicts: 640000 | #Constraints: 19932 1223.26/1227.29 c #Conflicts: 641000 | #Constraints: 20943 1223.26/1227.29 c #Conflicts: 642000 | #Constraints: 21955 1223.26/1227.29 c #Conflicts: 643000 | #Constraints: 22962 1223.26/1227.29 c #Conflicts: 644000 | #Constraints: 23970 1223.26/1227.29 c #Conflicts: 645000 | #Constraints: 24981 1223.26/1227.29 c #Conflicts: 646000 | #Constraints: 25989 1223.26/1227.29 c #Conflicts: 647000 | #Constraints: 26994 1223.26/1227.29 c #Conflicts: 648000 | #Constraints: 28000 1223.26/1227.29 c #Conflicts: 649000 | #Constraints: 29008 1223.26/1227.29 c #Conflicts: 650000 | #Constraints: 30013 1223.26/1227.29 c #Conflicts: 651000 | #Constraints: 31019 1223.26/1227.29 c #Conflicts: 652000 | #Constraints: 32023 1223.26/1227.29 c #Conflicts: 653000 | #Constraints: 33031 1223.26/1227.29 c #Conflicts: 654000 | #Constraints: 34035 1223.26/1227.29 c #Conflicts: 655000 | #Constraints: 35035 1223.26/1227.29 c INPROCESSING 1223.26/1227.29 c GARBAGE COLLECT 1223.26/1227.29 c rational objective -1965.2 1250.60/1254.66 c #Conflicts: 656000 | #Constraints: 19554 1250.60/1254.66 c #Conflicts: 657000 | #Constraints: 20599 1250.60/1254.66 c #Conflicts: 658000 | #Constraints: 21638 1250.60/1254.66 c #Conflicts: 659000 | #Constraints: 22680 1250.60/1254.66 c #Conflicts: 660000 | #Constraints: 23716 1250.60/1254.66 c #Conflicts: 661000 | #Constraints: 24764 1250.60/1254.66 c #Conflicts: 662000 | #Constraints: 25816 1250.60/1254.66 c #Conflicts: 663000 | #Constraints: 26851 1250.60/1254.66 c #Conflicts: 664000 | #Constraints: 27897 1250.60/1254.66 c #Conflicts: 665000 | #Constraints: 28947 1250.60/1254.66 c #Conflicts: 666000 | #Constraints: 29997 1250.60/1254.66 c #Conflicts: 667000 | #Constraints: 31045 1250.60/1254.66 c #Conflicts: 668000 | #Constraints: 32087 1250.60/1254.66 c #Conflicts: 669000 | #Constraints: 33131 1250.60/1254.66 c #Conflicts: 670000 | #Constraints: 34167 1250.60/1254.66 c #Conflicts: 671000 | #Constraints: 35225 1250.60/1254.66 c INPROCESSING 1250.60/1254.66 c GARBAGE COLLECT 1250.60/1254.66 c rational objective -1959.53 1276.53/1280.67 c #Conflicts: 672000 | #Constraints: 19556 1276.53/1280.67 c #Conflicts: 673000 | #Constraints: 20615 1276.53/1280.67 c #Conflicts: 674000 | #Constraints: 21656 1276.53/1280.67 c #Conflicts: 675000 | #Constraints: 22697 1276.53/1280.67 c #Conflicts: 676000 | #Constraints: 23733 1276.53/1280.67 c #Conflicts: 677000 | #Constraints: 24772 1276.53/1280.67 c #Conflicts: 678000 | #Constraints: 25799 1276.53/1280.67 c #Conflicts: 679000 | #Constraints: 26833 1276.53/1280.67 c #Conflicts: 680000 | #Constraints: 27885 1276.53/1280.67 c #Conflicts: 681000 | #Constraints: 28939 1276.53/1280.67 c #Conflicts: 682000 | #Constraints: 29970 1276.53/1280.67 c #Conflicts: 683000 | #Constraints: 31020 1276.53/1280.67 c #Conflicts: 684000 | #Constraints: 32080 1276.53/1280.67 c #Conflicts: 685000 | #Constraints: 33133 1276.53/1280.67 c #Conflicts: 686000 | #Constraints: 34172 1276.53/1280.67 c #Conflicts: 687000 | #Constraints: 35214 1276.53/1280.67 c #Conflicts: 688000 | #Constraints: 36267 1276.53/1280.67 c INPROCESSING 1276.53/1280.67 c GARBAGE COLLECT 1276.53/1280.67 c rational objective -1955.77 1304.25/1308.43 c #Conflicts: 689000 | #Constraints: 20285 1304.25/1308.43 c #Conflicts: 690000 | #Constraints: 21327 1304.25/1308.43 c #Conflicts: 691000 | #Constraints: 22362 1304.25/1308.43 c #Conflicts: 692000 | #Constraints: 23399 1304.25/1308.43 c #Conflicts: 693000 | #Constraints: 24448 1304.25/1308.43 c #Conflicts: 694000 | #Constraints: 25498 1304.25/1308.43 c #Conflicts: 695000 | #Constraints: 26538 1304.25/1308.43 c #Conflicts: 696000 | #Constraints: 27588 1304.25/1308.43 c #Conflicts: 697000 | #Constraints: 28636 1304.25/1308.43 c #Conflicts: 698000 | #Constraints: 29689 1304.25/1308.43 c #Conflicts: 699000 | #Constraints: 30728 1304.25/1308.43 c #Conflicts: 700000 | #Constraints: 31762 1304.25/1308.43 c #Conflicts: 701000 | #Constraints: 32797 1304.25/1308.43 c #Conflicts: 702000 | #Constraints: 33831 1304.25/1308.43 c #Conflicts: 703000 | #Constraints: 34867 1304.25/1308.43 c #Conflicts: 704000 | #Constraints: 35920 1304.25/1308.43 c #Conflicts: 705000 | #Constraints: 36950 1304.25/1308.43 c INPROCESSING 1304.25/1308.43 c GARBAGE COLLECT 1304.25/1308.43 c rational objective -1954 1331.79/1336.04 c #Conflicts: 706000 | #Constraints: 20741 1331.79/1336.04 c #Conflicts: 707000 | #Constraints: 21791 1331.79/1336.04 c #Conflicts: 708000 | #Constraints: 22849 1331.79/1336.04 c #Conflicts: 709000 | #Constraints: 23880 1331.79/1336.04 c #Conflicts: 710000 | #Constraints: 24931 1331.79/1336.04 c #Conflicts: 711000 | #Constraints: 25973 1331.79/1336.04 c #Conflicts: 712000 | #Constraints: 27034 1331.79/1336.04 c #Conflicts: 713000 | #Constraints: 28095 1331.79/1336.04 c #Conflicts: 714000 | #Constraints: 29144 1331.79/1336.04 c #Conflicts: 715000 | #Constraints: 30186 1331.79/1336.04 c #Conflicts: 716000 | #Constraints: 31209 1331.79/1336.04 c #Conflicts: 717000 | #Constraints: 32231 1331.79/1336.04 c #Conflicts: 718000 | #Constraints: 33261 1331.79/1336.04 c #Conflicts: 719000 | #Constraints: 34301 1331.79/1336.04 c #Conflicts: 720000 | #Constraints: 35333 1331.79/1336.04 c #Conflicts: 721000 | #Constraints: 36384 1331.79/1336.04 c #Conflicts: 722000 | #Constraints: 37448 1331.79/1336.04 c INPROCESSING 1331.79/1336.04 c GARBAGE COLLECT 1331.79/1336.04 c rational objective -1951.71 1463.35/1467.97 c #Conflicts: 723000 | #Constraints: 20939 1463.35/1467.97 c #Conflicts: 724000 | #Constraints: 21943 1463.35/1467.97 c #Conflicts: 725000 | #Constraints: 22952 1463.35/1467.97 c #Conflicts: 726000 | #Constraints: 23955 1463.35/1467.97 c #Conflicts: 727000 | #Constraints: 24956 1463.35/1467.97 c #Conflicts: 728000 | #Constraints: 25957 1463.35/1467.97 c #Conflicts: 729000 | #Constraints: 26959 1463.35/1467.97 c #Conflicts: 730000 | #Constraints: 27961 1463.35/1467.97 c #Conflicts: 731000 | #Constraints: 28962 1463.35/1467.97 c #Conflicts: 732000 | #Constraints: 29964 1463.35/1467.97 c #Conflicts: 733000 | #Constraints: 30966 1463.35/1467.97 c #Conflicts: 734000 | #Constraints: 31968 1463.35/1467.97 c #Conflicts: 735000 | #Constraints: 32969 1463.35/1467.97 c #Conflicts: 736000 | #Constraints: 33970 1463.35/1467.97 c #Conflicts: 737000 | #Constraints: 34970 1463.35/1467.97 c #Conflicts: 738000 | #Constraints: 35973 1463.35/1467.97 c #Conflicts: 739000 | #Constraints: 36976 1463.35/1467.97 c INPROCESSING 1463.35/1467.97 c GARBAGE COLLECT 1463.35/1467.97 c rational objective -1950.85 1490.78/1495.45 c #Conflicts: 740000 | #Constraints: 20527 1490.78/1495.45 c #Conflicts: 741000 | #Constraints: 21562 1490.78/1495.45 c #Conflicts: 742000 | #Constraints: 22596 1490.78/1495.45 c #Conflicts: 743000 | #Constraints: 23629 1490.78/1495.45 c #Conflicts: 744000 | #Constraints: 24675 1490.78/1495.45 c #Conflicts: 745000 | #Constraints: 25733 1490.78/1495.45 c #Conflicts: 746000 | #Constraints: 26783 1490.78/1495.45 c #Conflicts: 747000 | #Constraints: 27819 1490.78/1495.45 c #Conflicts: 748000 | #Constraints: 28865 1490.78/1495.45 c #Conflicts: 749000 | #Constraints: 29918 1490.78/1495.45 c #Conflicts: 750000 | #Constraints: 30967 1490.78/1495.45 c #Conflicts: 751000 | #Constraints: 32005 1490.78/1495.45 c #Conflicts: 752000 | #Constraints: 33053 1490.78/1495.45 c #Conflicts: 753000 | #Constraints: 34100 1490.78/1495.45 c #Conflicts: 754000 | #Constraints: 35165 1490.78/1495.45 c #Conflicts: 755000 | #Constraints: 36206 1490.78/1495.45 c #Conflicts: 756000 | #Constraints: 37247 1490.78/1495.45 c INPROCESSING 1490.78/1495.45 c GARBAGE COLLECT 1490.78/1495.45 c rational objective -1950.85 1519.42/1524.14 c #Conflicts: 757000 | #Constraints: 20566 1519.42/1524.14 c #Conflicts: 758000 | #Constraints: 21621 1519.42/1524.14 c #Conflicts: 759000 | #Constraints: 22650 1519.42/1524.14 c #Conflicts: 760000 | #Constraints: 23704 1519.42/1524.14 c #Conflicts: 761000 | #Constraints: 24749 1519.42/1524.14 c #Conflicts: 762000 | #Constraints: 25796 1519.42/1524.14 c #Conflicts: 763000 | #Constraints: 26839 1519.42/1524.14 c #Conflicts: 764000 | #Constraints: 27893 1519.42/1524.14 c #Conflicts: 765000 | #Constraints: 28948 1519.42/1524.14 c #Conflicts: 766000 | #Constraints: 29995 1519.42/1524.14 c #Conflicts: 767000 | #Constraints: 31049 1519.42/1524.14 c #Conflicts: 768000 | #Constraints: 32095 1519.42/1524.14 c #Conflicts: 769000 | #Constraints: 33124 1519.42/1524.14 c #Conflicts: 770000 | #Constraints: 34151 1519.42/1524.14 c #Conflicts: 771000 | #Constraints: 35187 1519.42/1524.14 c #Conflicts: 772000 | #Constraints: 36242 1519.42/1524.14 c #Conflicts: 773000 | #Constraints: 37287 1519.42/1524.14 c #Conflicts: 774000 | #Constraints: 38316 1519.42/1524.14 c INPROCESSING 1519.42/1524.14 c GARBAGE COLLECT 1519.42/1524.14 c rational objective -1948.95 1547.53/1552.34 c #Conflicts: 775000 | #Constraints: 21310 1547.53/1552.34 c #Conflicts: 776000 | #Constraints: 22358 1547.53/1552.34 c #Conflicts: 777000 | #Constraints: 23396 1547.53/1552.34 c #Conflicts: 778000 | #Constraints: 24433 1547.53/1552.34 c #Conflicts: 779000 | #Constraints: 25476 1547.53/1552.34 c #Conflicts: 780000 | #Constraints: 26508 1547.53/1552.34 c #Conflicts: 781000 | #Constraints: 27542 1547.53/1552.34 c #Conflicts: 782000 | #Constraints: 28594 1547.53/1552.34 c #Conflicts: 783000 | #Constraints: 29653 1547.53/1552.34 c #Conflicts: 784000 | #Constraints: 30713 1547.53/1552.34 c #Conflicts: 785000 | #Constraints: 31771 1547.53/1552.34 c #Conflicts: 786000 | #Constraints: 32829 1547.53/1552.34 c #Conflicts: 787000 | #Constraints: 33879 1547.53/1552.34 c #Conflicts: 788000 | #Constraints: 34938 1547.53/1552.34 c #Conflicts: 789000 | #Constraints: 35992 1547.53/1552.34 c #Conflicts: 790000 | #Constraints: 37034 1547.53/1552.34 c #Conflicts: 791000 | #Constraints: 38073 1547.53/1552.34 c #Conflicts: 792000 | #Constraints: 39121 1547.53/1552.34 c INPROCESSING 1547.53/1552.34 c GARBAGE COLLECT 1547.53/1552.34 c rational objective -1947.85 1577.36/1582.24 c #Conflicts: 793000 | #Constraints: 21803 1577.36/1582.24 c #Conflicts: 794000 | #Constraints: 22840 1577.36/1582.24 c #Conflicts: 795000 | #Constraints: 23874 1577.36/1582.24 c #Conflicts: 796000 | #Constraints: 24922 1577.36/1582.24 c #Conflicts: 797000 | #Constraints: 25974 1577.36/1582.24 c #Conflicts: 798000 | #Constraints: 27031 1577.36/1582.24 c #Conflicts: 799000 | #Constraints: 28065 1577.36/1582.24 c #Conflicts: 800000 | #Constraints: 29118 1577.36/1582.24 c #Conflicts: 801000 | #Constraints: 30158 1577.36/1582.24 c #Conflicts: 802000 | #Constraints: 31199 1577.36/1582.24 c #Conflicts: 803000 | #Constraints: 32258 1577.36/1582.24 c #Conflicts: 804000 | #Constraints: 33312 1577.36/1582.24 c #Conflicts: 805000 | #Constraints: 34353 1577.36/1582.24 c #Conflicts: 806000 | #Constraints: 35387 1577.36/1582.24 c #Conflicts: 807000 | #Constraints: 36427 1577.36/1582.24 c #Conflicts: 808000 | #Constraints: 37487 1577.36/1582.24 c #Conflicts: 809000 | #Constraints: 38533 1577.36/1582.24 c #Conflicts: 810000 | #Constraints: 39578 1577.36/1582.24 c INPROCESSING 1577.36/1582.24 c GARBAGE COLLECT 1577.36/1582.24 c rational objective -1947.81 1719.91/1725.11 c #Conflicts: 811000 | #Constraints: 22000 1719.91/1725.11 c #Conflicts: 812000 | #Constraints: 23002 1719.91/1725.11 c #Conflicts: 813000 | #Constraints: 24015 1719.91/1725.11 c #Conflicts: 814000 | #Constraints: 25022 1719.91/1725.11 c #Conflicts: 815000 | #Constraints: 26031 1719.91/1725.11 c #Conflicts: 816000 | #Constraints: 27040 1719.91/1725.11 c #Conflicts: 817000 | #Constraints: 28046 1719.91/1725.11 c #Conflicts: 818000 | #Constraints: 29050 1719.91/1725.11 c #Conflicts: 819000 | #Constraints: 30057 1719.91/1725.11 c #Conflicts: 820000 | #Constraints: 31064 1719.91/1725.11 c #Conflicts: 821000 | #Constraints: 32069 1719.91/1725.11 c #Conflicts: 822000 | #Constraints: 33078 1719.91/1725.11 c #Conflicts: 823000 | #Constraints: 34090 1719.91/1725.11 c #Conflicts: 824000 | #Constraints: 35096 1719.91/1725.11 c #Conflicts: 825000 | #Constraints: 36097 1719.91/1725.11 c #Conflicts: 826000 | #Constraints: 37098 1719.91/1725.11 c #Conflicts: 827000 | #Constraints: 38102 1719.91/1725.11 c #Conflicts: 828000 | #Constraints: 39111 1719.91/1725.11 c INPROCESSING 1719.91/1725.11 c GARBAGE COLLECT 1719.91/1725.11 c #Conflicts: 829000 | #Constraints: 21571 1719.91/1725.11 c #Conflicts: 830000 | #Constraints: 22612 1719.91/1725.11 c #Conflicts: 831000 | #Constraints: 23658 1719.91/1725.11 c #Conflicts: 832000 | #Constraints: 24710 1719.91/1725.11 c #Conflicts: 833000 | #Constraints: 25762 1719.91/1725.11 c #Conflicts: 834000 | #Constraints: 26810 1719.91/1725.11 c #Conflicts: 835000 | #Constraints: 27853 1719.91/1725.11 c #Conflicts: 836000 | #Constraints: 28871 1719.91/1725.11 c #Conflicts: 837000 | #Constraints: 29905 1719.91/1725.11 c #Conflicts: 838000 | #Constraints: 30966 1719.91/1725.11 c #Conflicts: 839000 | #Constraints: 32019 1719.91/1725.11 c #Conflicts: 840000 | #Constraints: 33080 1719.91/1725.11 c #Conflicts: 841000 | #Constraints: 34128 1719.91/1725.11 c #Conflicts: 842000 | #Constraints: 35169 1719.91/1725.11 c #Conflicts: 843000 | #Constraints: 36213 1719.91/1725.11 c #Conflicts: 844000 | #Constraints: 37251 1719.91/1725.11 c #Conflicts: 845000 | #Constraints: 38286 1719.91/1725.11 c #Conflicts: 846000 | #Constraints: 39342 1719.91/1725.11 c INPROCESSING 1719.91/1725.11 c GARBAGE COLLECT 1719.91/1725.11 c rational objective -1947.78 1751.30/1756.62 c #Conflicts: 847000 | #Constraints: 21599 1751.30/1756.62 c #Conflicts: 848000 | #Constraints: 22645 1751.30/1756.62 c #Conflicts: 849000 | #Constraints: 23679 1751.30/1756.62 c #Conflicts: 850000 | #Constraints: 24723 1751.30/1756.62 c #Conflicts: 851000 | #Constraints: 25774 1751.30/1756.62 c #Conflicts: 852000 | #Constraints: 26816 1751.30/1756.62 c #Conflicts: 853000 | #Constraints: 27866 1751.30/1756.62 c #Conflicts: 854000 | #Constraints: 28898 1751.30/1756.62 c #Conflicts: 855000 | #Constraints: 29957 1751.30/1756.62 c #Conflicts: 856000 | #Constraints: 31010 1751.30/1756.62 c #Conflicts: 857000 | #Constraints: 32042 1751.30/1756.62 c #Conflicts: 858000 | #Constraints: 33086 1751.30/1756.62 c #Conflicts: 859000 | #Constraints: 34130 1751.30/1756.62 c #Conflicts: 860000 | #Constraints: 35188 1751.30/1756.62 c #Conflicts: 861000 | #Constraints: 36243 1751.30/1756.62 c #Conflicts: 862000 | #Constraints: 37281 1751.30/1756.62 c #Conflicts: 863000 | #Constraints: 38336 1751.30/1756.62 c #Conflicts: 864000 | #Constraints: 39385 1751.30/1756.62 c #Conflicts: 865000 | #Constraints: 40425 1751.30/1756.62 c INPROCESSING 1751.30/1756.62 c GARBAGE COLLECT 1751.30/1756.62 c rational objective -1945.78 1782.82/1788.20 c #Conflicts: 866000 | #Constraints: 22357 1782.82/1788.20 c #Conflicts: 867000 | #Constraints: 23416 1782.82/1788.20 c #Conflicts: 868000 | #Constraints: 24473 1782.82/1788.20 c #Conflicts: 869000 | #Constraints: 25516 1782.82/1788.20 c #Conflicts: 870000 | #Constraints: 26558 1782.82/1788.20 c #Conflicts: 871000 | #Constraints: 27604 1782.82/1788.20 c #Conflicts: 872000 | #Constraints: 28654 1782.82/1788.20 c #Conflicts: 873000 | #Constraints: 29693 1782.82/1788.20 c #Conflicts: 874000 | #Constraints: 30735 1782.82/1788.20 c #Conflicts: 875000 | #Constraints: 31788 1782.82/1788.20 c #Conflicts: 876000 | #Constraints: 32831 1782.82/1788.20 c #Conflicts: 877000 | #Constraints: 33851 1782.82/1788.20 c #Conflicts: 878000 | #Constraints: 34886 1782.82/1788.20 c #Conflicts: 879000 | #Constraints: 35932 1782.82/1788.20 c #Conflicts: 880000 | #Constraints: 36968 1782.82/1788.20 c #Conflicts: 881000 | #Constraints: 38005 1782.82/1788.20 c #Conflicts: 882000 | #Constraints: 39045 1782.82/1788.20 c #Conflicts: 883000 | #Constraints: 40095 1782.82/1788.20 c #Conflicts: 884000 | #Constraints: 41128 1782.82/1788.20 c INPROCESSING 1782.82/1788.20 c GARBAGE COLLECT 1782.82/1788.20 c rational objective -1942.99 1816.43/1822.00 c #Conflicts: 885000 | #Constraints: 22812 1816.43/1822.00 c #Conflicts: 886000 | #Constraints: 23850 1816.43/1822.00 c #Conflicts: 887000 | #Constraints: 24901 1816.43/1822.00 c #Conflicts: 888000 | #Constraints: 25944 1816.43/1822.00 c #Conflicts: 889000 | #Constraints: 26982 1816.43/1822.00 c #Conflicts: 890000 | #Constraints: 28021 1816.43/1822.00 c #Conflicts: 891000 | #Constraints: 29064 1816.43/1822.00 c #Conflicts: 892000 | #Constraints: 30120 1816.43/1822.00 c #Conflicts: 893000 | #Constraints: 31166 1816.43/1822.00 c #Conflicts: 894000 | #Constraints: 32215 1816.43/1822.00 c #Conflicts: 895000 | #Constraints: 33256 1816.43/1822.00 c #Conflicts: 896000 | #Constraints: 34308 1816.43/1822.00 c #Conflicts: 897000 | #Constraints: 35352 1816.43/1822.00 c #Conflicts: 898000 | #Constraints: 36405 1816.43/1822.00 c #Conflicts: 899000 | #Constraints: 37447 1816.43/1822.00 c #Conflicts: 900000 | #Constraints: 38493 1816.43/1822.00 c #Conflicts: 901000 | #Constraints: 39534 1816.43/1822.00 c #Conflicts: 902000 | #Constraints: 40582 1816.43/1822.00 c #Conflicts: 903000 | #Constraints: 41633 1816.43/1822.00 c INPROCESSING 1816.43/1822.00 c GARBAGE COLLECT 1816.43/1822.00 c rational objective -1941.44 1848.83/1854.41 c #Conflicts: 904000 | #Constraints: 23062 1848.83/1854.41 c #Conflicts: 905000 | #Constraints: 24116 1848.83/1854.41 c #Conflicts: 906000 | #Constraints: 25172 1848.83/1854.41 c #Conflicts: 907000 | #Constraints: 26223 1848.83/1854.41 c #Conflicts: 908000 | #Constraints: 27253 1848.83/1854.41 c #Conflicts: 909000 | #Constraints: 28289 1848.83/1854.41 c #Conflicts: 910000 | #Constraints: 29327 1848.83/1854.41 c #Conflicts: 911000 | #Constraints: 30377 1848.83/1854.41 c #Conflicts: 912000 | #Constraints: 31423 1848.83/1854.41 c #Conflicts: 913000 | #Constraints: 32464 1848.83/1854.41 c #Conflicts: 914000 | #Constraints: 33515 1848.83/1854.41 c #Conflicts: 915000 | #Constraints: 34574 1848.83/1854.41 c #Conflicts: 916000 | #Constraints: 35627 1848.83/1854.41 c #Conflicts: 917000 | #Constraints: 36672 1848.83/1854.41 c #Conflicts: 918000 | #Constraints: 37713 1848.83/1854.41 c #Conflicts: 919000 | #Constraints: 38765 1848.83/1854.41 c #Conflicts: 920000 | #Constraints: 39815 1848.83/1854.41 c #Conflicts: 921000 | #Constraints: 40859 1848.83/1854.41 c #Conflicts: 922000 | #Constraints: 41907 1848.83/1854.41 c INPROCESSING 1848.83/1854.41 c GARBAGE COLLECT 1848.83/1854.41 c rational objective -1941.29 1970.94/1976.80 c #Conflicts: 923000 | #Constraints: 23067 1970.94/1976.80 c #Conflicts: 924000 | #Constraints: 24069 1970.94/1976.80 c #Conflicts: 925000 | #Constraints: 25076 1970.94/1976.80 c #Conflicts: 926000 | #Constraints: 26082 1970.94/1976.80 c #Conflicts: 927000 | #Constraints: 27083 1970.94/1976.80 c #Conflicts: 928000 | #Constraints: 28085 1970.94/1976.80 c #Conflicts: 929000 | #Constraints: 29085 1970.94/1976.80 c #Conflicts: 930000 | #Constraints: 30105 1970.94/1976.80 c #Conflicts: 931000 | #Constraints: 31119 1970.94/1976.80 c #Conflicts: 932000 | #Constraints: 32139 1970.94/1976.80 c #Conflicts: 933000 | #Constraints: 33154 1970.94/1976.80 c #Conflicts: 934000 | #Constraints: 34159 1970.94/1976.80 c #Conflicts: 935000 | #Constraints: 35168 1970.94/1976.80 c #Conflicts: 936000 | #Constraints: 36176 1970.94/1976.80 c #Conflicts: 937000 | #Constraints: 37183 1970.94/1976.80 c #Conflicts: 938000 | #Constraints: 38195 1970.94/1976.80 c #Conflicts: 939000 | #Constraints: 39207 1970.94/1976.80 c #Conflicts: 940000 | #Constraints: 40212 1970.94/1976.80 c #Conflicts: 941000 | #Constraints: 41219 1970.94/1976.80 c INPROCESSING 1970.94/1976.80 c GARBAGE COLLECT 1970.94/1976.80 c rational objective -1941.23 2007.34/2013.33 c #Conflicts: 942000 | #Constraints: 22450 2007.34/2013.33 c #Conflicts: 943000 | #Constraints: 23494 2007.34/2013.33 c #Conflicts: 944000 | #Constraints: 24544 2007.34/2013.33 c #Conflicts: 945000 | #Constraints: 25591 2007.34/2013.33 c #Conflicts: 946000 | #Constraints: 26652 2007.34/2013.33 c #Conflicts: 947000 | #Constraints: 27699 2007.34/2013.33 c #Conflicts: 948000 | #Constraints: 28760 2007.34/2013.33 c #Conflicts: 949000 | #Constraints: 29801 2007.34/2013.33 c #Conflicts: 950000 | #Constraints: 30851 2007.34/2013.33 c #Conflicts: 951000 | #Constraints: 31881 2007.34/2013.33 c #Conflicts: 952000 | #Constraints: 32909 2007.34/2013.33 c #Conflicts: 953000 | #Constraints: 33956 2007.34/2013.33 c #Conflicts: 954000 | #Constraints: 34996 2007.34/2013.33 c #Conflicts: 955000 | #Constraints: 36032 2007.34/2013.33 c #Conflicts: 956000 | #Constraints: 37067 2007.34/2013.33 c #Conflicts: 957000 | #Constraints: 38100 2007.34/2013.33 c #Conflicts: 958000 | #Constraints: 39132 2007.34/2013.33 c #Conflicts: 959000 | #Constraints: 40154 2007.34/2013.33 c #Conflicts: 960000 | #Constraints: 41195 2007.34/2013.33 c #Conflicts: 961000 | #Constraints: 42241 2007.34/2013.33 c INPROCESSING 2007.34/2013.33 c GARBAGE COLLECT 2007.34/2013.33 c rational objective -1933.24 2046.06/2052.15 c #Conflicts: 962000 | #Constraints: 23256 2046.06/2052.15 c #Conflicts: 963000 | #Constraints: 24281 2046.06/2052.15 c #Conflicts: 964000 | #Constraints: 25324 2046.06/2052.15 c #Conflicts: 965000 | #Constraints: 26353 2046.06/2052.15 c #Conflicts: 966000 | #Constraints: 27395 2046.06/2052.15 c #Conflicts: 967000 | #Constraints: 28439 2046.06/2052.15 c #Conflicts: 968000 | #Constraints: 29468 2046.06/2052.15 c #Conflicts: 969000 | #Constraints: 30479 2046.06/2052.15 c #Conflicts: 970000 | #Constraints: 31495 2046.06/2052.15 c #Conflicts: 971000 | #Constraints: 32515 2046.06/2052.15 c #Conflicts: 972000 | #Constraints: 33551 2046.06/2052.15 c #Conflicts: 973000 | #Constraints: 34586 2046.06/2052.15 c #Conflicts: 974000 | #Constraints: 35613 2046.06/2052.15 c #Conflicts: 975000 | #Constraints: 36653 2046.06/2052.15 c #Conflicts: 976000 | #Constraints: 37699 2046.06/2052.15 c #Conflicts: 977000 | #Constraints: 38727 2046.06/2052.15 c #Conflicts: 978000 | #Constraints: 39770 2046.06/2052.15 c #Conflicts: 979000 | #Constraints: 40816 2046.06/2052.15 c #Conflicts: 980000 | #Constraints: 41873 2046.06/2052.15 c #Conflicts: 981000 | #Constraints: 42925 2046.06/2052.15 c INPROCESSING 2046.06/2052.15 c GARBAGE COLLECT 2046.06/2052.15 c rational objective -1931.87 2092.23/2098.47 c #Conflicts: 982000 | #Constraints: 23728 2092.23/2098.47 c #Conflicts: 983000 | #Constraints: 24768 2092.23/2098.47 c #Conflicts: 984000 | #Constraints: 25799 2092.23/2098.47 c #Conflicts: 985000 | #Constraints: 26843 2092.23/2098.47 c #Conflicts: 986000 | #Constraints: 27880 2092.23/2098.47 c #Conflicts: 987000 | #Constraints: 28926 2092.23/2098.47 c #Conflicts: 988000 | #Constraints: 29964 2092.23/2098.47 c #Conflicts: 989000 | #Constraints: 31010 2092.23/2098.47 c #Conflicts: 990000 | #Constraints: 32057 2092.23/2098.47 c #Conflicts: 991000 | #Constraints: 33092 2092.23/2098.47 c #Conflicts: 992000 | #Constraints: 34126 2092.23/2098.47 c #Conflicts: 993000 | #Constraints: 35164 2092.23/2098.47 c #Conflicts: 994000 | #Constraints: 36207 2092.23/2098.47 c #Conflicts: 995000 | #Constraints: 37251 2092.23/2098.47 c #Conflicts: 996000 | #Constraints: 38295 2092.23/2098.47 c #Conflicts: 997000 | #Constraints: 39325 2092.23/2098.47 c #Conflicts: 998000 | #Constraints: 40360 2092.23/2098.47 c #Conflicts: 999000 | #Constraints: 41407 2092.23/2098.47 c #Conflicts: 1000000 | #Constraints: 42438 2092.23/2098.47 c #Conflicts: 1001000 | #Constraints: 43460 2092.23/2098.47 c INPROCESSING 2092.23/2098.47 c GARBAGE COLLECT 2092.23/2098.47 c rational objective -1926.96 2164.67/2171.05 c #Conflicts: 1002000 | #Constraints: 23966 2164.67/2171.05 c #Conflicts: 1003000 | #Constraints: 24982 2164.67/2171.05 c #Conflicts: 1004000 | #Constraints: 26001 2164.67/2171.05 c #Conflicts: 1005000 | #Constraints: 27017 2164.67/2171.05 c #Conflicts: 1006000 | #Constraints: 28031 2164.67/2171.05 c #Conflicts: 1007000 | #Constraints: 29046 2164.67/2171.05 c #Conflicts: 1008000 | #Constraints: 30073 2164.67/2171.05 c #Conflicts: 1009000 | #Constraints: 31088 2164.67/2171.05 c #Conflicts: 1010000 | #Constraints: 32106 2164.67/2171.05 c #Conflicts: 1011000 | #Constraints: 33109 2164.67/2171.05 c #Conflicts: 1012000 | #Constraints: 34111 2164.67/2171.05 c #Conflicts: 1013000 | #Constraints: 35118 2164.67/2171.05 c #Conflicts: 1014000 | #Constraints: 36126 2164.67/2171.05 c #Conflicts: 1015000 | #Constraints: 37137 2164.67/2171.05 c #Conflicts: 1016000 | #Constraints: 38158 2164.67/2171.05 c #Conflicts: 1017000 | #Constraints: 39191 2164.67/2171.05 c #Conflicts: 1018000 | #Constraints: 40221 2164.67/2171.05 c #Conflicts: 1019000 | #Constraints: 41253 2164.67/2171.05 c #Conflicts: 1020000 | #Constraints: 42283 2164.67/2171.05 c #Conflicts: 1021000 | #Constraints: 43320 2164.67/2171.05 c INPROCESSING 2164.67/2171.05 c GARBAGE COLLECT 2164.67/2171.05 c rational objective -1926.56 2205.74/2212.29 c #Conflicts: 1022000 | #Constraints: 23689 2205.74/2212.29 c #Conflicts: 1023000 | #Constraints: 24730 2205.74/2212.29 c #Conflicts: 1024000 | #Constraints: 25781 2205.74/2212.29 c #Conflicts: 1025000 | #Constraints: 26821 2205.74/2212.29 c #Conflicts: 1026000 | #Constraints: 27868 2205.74/2212.29 c #Conflicts: 1027000 | #Constraints: 28916 2205.74/2212.29 c #Conflicts: 1028000 | #Constraints: 29955 2205.74/2212.29 c #Conflicts: 1029000 | #Constraints: 30998 2205.74/2212.29 c #Conflicts: 1030000 | #Constraints: 32043 2205.74/2212.29 c #Conflicts: 1031000 | #Constraints: 33078 2205.74/2212.29 c #Conflicts: 1032000 | #Constraints: 34110 2205.74/2212.29 c #Conflicts: 1033000 | #Constraints: 35129 2205.74/2212.29 c #Conflicts: 1034000 | #Constraints: 36177 2205.74/2212.29 c #Conflicts: 1035000 | #Constraints: 37224 2205.74/2212.29 c #Conflicts: 1036000 | #Constraints: 38279 2205.74/2212.29 c #Conflicts: 1037000 | #Constraints: 39323 2205.74/2212.29 c #Conflicts: 1038000 | #Constraints: 40377 2205.74/2212.29 c #Conflicts: 1039000 | #Constraints: 41430 2205.74/2212.29 c #Conflicts: 1040000 | #Constraints: 42473 2205.74/2212.29 c #Conflicts: 1041000 | #Constraints: 43516 2205.74/2212.29 c INPROCESSING 2205.74/2212.29 c GARBAGE COLLECT 2205.74/2212.29 c rational objective -1922.41 2243.14/2249.77 c #Conflicts: 1042000 | #Constraints: 23696 2243.14/2249.77 c #Conflicts: 1043000 | #Constraints: 24748 2243.14/2249.77 c #Conflicts: 1044000 | #Constraints: 25789 2243.14/2249.77 c #Conflicts: 1045000 | #Constraints: 26843 2243.14/2249.77 c #Conflicts: 1046000 | #Constraints: 27889 2243.14/2249.77 c #Conflicts: 1047000 | #Constraints: 28928 2243.14/2249.77 c #Conflicts: 1048000 | #Constraints: 29975 2243.14/2249.77 c #Conflicts: 1049000 | #Constraints: 31025 2243.14/2249.77 c #Conflicts: 1050000 | #Constraints: 32076 2243.14/2249.77 c #Conflicts: 1051000 | #Constraints: 33125 2243.14/2249.77 c #Conflicts: 1052000 | #Constraints: 34162 2243.14/2249.77 c #Conflicts: 1053000 | #Constraints: 35208 2243.14/2249.77 c #Conflicts: 1054000 | #Constraints: 36239 2243.14/2249.77 c #Conflicts: 1055000 | #Constraints: 37263 2243.14/2249.77 c #Conflicts: 1056000 | #Constraints: 38305 2243.14/2249.77 c #Conflicts: 1057000 | #Constraints: 39338 2243.14/2249.77 c #Conflicts: 1058000 | #Constraints: 40387 2243.14/2249.77 c #Conflicts: 1059000 | #Constraints: 41417 2243.14/2249.77 c #Conflicts: 1060000 | #Constraints: 42453 2243.14/2249.77 c #Conflicts: 1061000 | #Constraints: 43482 2243.14/2249.77 c #Conflicts: 1062000 | #Constraints: 44504 2243.14/2249.77 c INPROCESSING 2243.14/2249.77 c GARBAGE COLLECT 2243.14/2249.77 c rational objective -1917.8 2364.20/2371.13 c #Conflicts: 1063000 | #Constraints: 24363 2364.20/2371.13 c #Conflicts: 1064000 | #Constraints: 25368 2364.20/2371.13 c #Conflicts: 1065000 | #Constraints: 26378 2364.20/2371.13 c #Conflicts: 1066000 | #Constraints: 27388 2364.20/2371.13 c #Conflicts: 1067000 | #Constraints: 28396 2364.20/2371.13 c #Conflicts: 1068000 | #Constraints: 29403 2364.20/2371.13 c #Conflicts: 1069000 | #Constraints: 30410 2364.20/2371.13 c #Conflicts: 1070000 | #Constraints: 31416 2364.20/2371.13 c #Conflicts: 1071000 | #Constraints: 32420 2364.20/2371.13 c #Conflicts: 1072000 | #Constraints: 33430 2364.20/2371.13 c #Conflicts: 1073000 | #Constraints: 34436 2364.20/2371.13 c #Conflicts: 1074000 | #Constraints: 35436 2364.20/2371.13 c #Conflicts: 1075000 | #Constraints: 36442 2364.20/2371.13 c #Conflicts: 1076000 | #Constraints: 37444 2364.20/2371.13 c #Conflicts: 1077000 | #Constraints: 38451 2364.20/2371.13 c #Conflicts: 1078000 | #Constraints: 39459 2364.20/2371.13 c #Conflicts: 1079000 | #Constraints: 40463 2364.20/2371.13 c #Conflicts: 1080000 | #Constraints: 41466 2364.20/2371.13 c #Conflicts: 1081000 | #Constraints: 42472 2364.20/2371.13 c #Conflicts: 1082000 | #Constraints: 43475 2364.20/2371.13 c #Conflicts: 1083000 | #Constraints: 44482 2364.20/2371.13 c INPROCESSING 2364.20/2371.13 c GARBAGE COLLECT 2364.20/2371.13 c rational objective -1915.89 2418.63/2425.74 c #Conflicts: 1084000 | #Constraints: 24393 2418.63/2425.74 c #Conflicts: 1085000 | #Constraints: 25422 2418.63/2425.74 c #Conflicts: 1086000 | #Constraints: 26443 2418.63/2425.74 c #Conflicts: 1087000 | #Constraints: 27481 2418.63/2425.74 c #Conflicts: 1088000 | #Constraints: 28504 2418.63/2425.74 c #Conflicts: 1089000 | #Constraints: 29538 2418.63/2425.74 c #Conflicts: 1090000 | #Constraints: 30573 2418.63/2425.74 c #Conflicts: 1091000 | #Constraints: 31605 2418.63/2425.74 c #Conflicts: 1092000 | #Constraints: 32644 2418.63/2425.74 c #Conflicts: 1093000 | #Constraints: 33674 2418.63/2425.74 c #Conflicts: 1094000 | #Constraints: 34707 2418.63/2425.74 c #Conflicts: 1095000 | #Constraints: 35731 2418.63/2425.74 c #Conflicts: 1096000 | #Constraints: 36764 2418.63/2425.74 c #Conflicts: 1097000 | #Constraints: 37808 2418.63/2425.74 c #Conflicts: 1098000 | #Constraints: 38856 2418.63/2425.74 c #Conflicts: 1099000 | #Constraints: 39891 2418.63/2425.74 c #Conflicts: 1100000 | #Constraints: 40925 2418.63/2425.74 c #Conflicts: 1101000 | #Constraints: 41957 2418.63/2425.74 c #Conflicts: 1102000 | #Constraints: 42989 2418.63/2425.74 c #Conflicts: 1103000 | #Constraints: 44022 2418.63/2425.74 c #Conflicts: 1104000 | #Constraints: 45046 2418.63/2425.74 c INPROCESSING 2418.63/2425.74 c GARBAGE COLLECT 2418.63/2425.74 c rational objective -1908.92 2471.99/2479.27 c #Conflicts: 1105000 | #Constraints: 24765 2471.99/2479.27 c #Conflicts: 1106000 | #Constraints: 25786 2471.99/2479.27 c #Conflicts: 1107000 | #Constraints: 26804 2471.99/2479.27 c #Conflicts: 1108000 | #Constraints: 27826 2471.99/2479.27 c #Conflicts: 1109000 | #Constraints: 28838 2471.99/2479.27 c #Conflicts: 1110000 | #Constraints: 29871 2471.99/2479.27 c #Conflicts: 1111000 | #Constraints: 30907 2471.99/2479.27 c #Conflicts: 1112000 | #Constraints: 31932 2471.99/2479.27 c #Conflicts: 1113000 | #Constraints: 32965 2471.99/2479.27 c #Conflicts: 1114000 | #Constraints: 33996 2471.99/2479.27 c #Conflicts: 1115000 | #Constraints: 35028 2471.99/2479.27 c #Conflicts: 1116000 | #Constraints: 36064 2471.99/2479.27 c #Conflicts: 1117000 | #Constraints: 37086 2471.99/2479.27 c #Conflicts: 1118000 | #Constraints: 38110 2471.99/2479.27 c #Conflicts: 1119000 | #Constraints: 39153 2471.99/2479.27 c #Conflicts: 1120000 | #Constraints: 40196 2471.99/2479.27 c #Conflicts: 1121000 | #Constraints: 41239 2471.99/2479.27 c #Conflicts: 1122000 | #Constraints: 42288 2471.99/2479.27 c #Conflicts: 1123000 | #Constraints: 43323 2471.99/2479.27 c #Conflicts: 1124000 | #Constraints: 44357 2471.99/2479.27 c #Conflicts: 1125000 | #Constraints: 45387 2471.99/2479.27 c INPROCESSING 2471.99/2479.27 c GARBAGE COLLECT 2471.99/2479.27 c rational objective -1906.93 2602.11/2609.64 c #Conflicts: 1126000 | #Constraints: 24814 2602.11/2609.64 c #Conflicts: 1127000 | #Constraints: 25826 2602.11/2609.64 c #Conflicts: 1128000 | #Constraints: 26835 2602.11/2609.64 c #Conflicts: 1129000 | #Constraints: 27849 2602.11/2609.64 c #Conflicts: 1130000 | #Constraints: 28854 2602.11/2609.64 c #Conflicts: 1131000 | #Constraints: 29867 2602.11/2609.64 c #Conflicts: 1132000 | #Constraints: 30877 2602.11/2609.64 c #Conflicts: 1133000 | #Constraints: 31886 2602.11/2609.64 c #Conflicts: 1134000 | #Constraints: 32910 2602.11/2609.64 c #Conflicts: 1135000 | #Constraints: 33913 2602.11/2609.64 c #Conflicts: 1136000 | #Constraints: 34922 2602.11/2609.64 c #Conflicts: 1137000 | #Constraints: 35932 2602.11/2609.64 c #Conflicts: 1138000 | #Constraints: 36934 2602.11/2609.64 c #Conflicts: 1139000 | #Constraints: 37943 2602.11/2609.64 c #Conflicts: 1140000 | #Constraints: 38952 2602.11/2609.64 c #Conflicts: 1141000 | #Constraints: 39962 2602.11/2609.64 c #Conflicts: 1142000 | #Constraints: 40973 2602.11/2609.64 c #Conflicts: 1143000 | #Constraints: 41977 2602.11/2609.64 c #Conflicts: 1144000 | #Constraints: 42981 2602.11/2609.64 c #Conflicts: 1145000 | #Constraints: 43990 2602.11/2609.64 c #Conflicts: 1146000 | #Constraints: 44998 2602.11/2609.64 c INPROCESSING 2602.11/2609.64 c GARBAGE COLLECT 2602.11/2609.64 c rational objective -1905.95 2641.82/2649.43 c #Conflicts: 1147000 | #Constraints: 24361 2641.82/2649.43 c #Conflicts: 1148000 | #Constraints: 25413 2641.82/2649.43 c #Conflicts: 1149000 | #Constraints: 26460 2641.82/2649.43 c #Conflicts: 1150000 | #Constraints: 27513 2641.82/2649.43 c #Conflicts: 1151000 | #Constraints: 28562 2641.82/2649.43 c #Conflicts: 1152000 | #Constraints: 29605 2641.82/2649.43 c #Conflicts: 1153000 | #Constraints: 30646 2641.82/2649.43 c #Conflicts: 1154000 | #Constraints: 31692 2641.82/2649.43 c #Conflicts: 1155000 | #Constraints: 32742 2641.82/2649.43 c #Conflicts: 1156000 | #Constraints: 33777 2641.82/2649.43 c #Conflicts: 1157000 | #Constraints: 34820 2641.82/2649.43 c #Conflicts: 1158000 | #Constraints: 35850 2641.82/2649.43 c #Conflicts: 1159000 | #Constraints: 36896 2641.82/2649.43 c #Conflicts: 1160000 | #Constraints: 37946 2641.82/2649.43 c #Conflicts: 1161000 | #Constraints: 38988 2641.82/2649.43 c #Conflicts: 1162000 | #Constraints: 40029 2641.82/2649.43 c #Conflicts: 1163000 | #Constraints: 41071 2641.82/2649.43 c #Conflicts: 1164000 | #Constraints: 42101 2641.82/2649.43 c #Conflicts: 1165000 | #Constraints: 43158 2641.82/2649.43 c #Conflicts: 1166000 | #Constraints: 44187 2641.82/2649.43 c #Conflicts: 1167000 | #Constraints: 45239 2641.82/2649.43 c #Conflicts: 1168000 | #Constraints: 46292 2641.82/2649.43 c INPROCESSING 2641.82/2649.43 c GARBAGE COLLECT 2641.82/2649.43 c rational objective -1904.41 2684.13/2691.84 c #Conflicts: 1169000 | #Constraints: 25294 2684.13/2691.84 c #Conflicts: 1170000 | #Constraints: 26327 2684.13/2691.84 c #Conflicts: 1171000 | #Constraints: 27348 2684.13/2691.84 c #Conflicts: 1172000 | #Constraints: 28372 2684.13/2691.84 c #Conflicts: 1173000 | #Constraints: 29402 2684.13/2691.84 c #Conflicts: 1174000 | #Constraints: 30452 2684.13/2691.84 c #Conflicts: 1175000 | #Constraints: 31500 2684.13/2691.84 c #Conflicts: 1176000 | #Constraints: 32543 2684.13/2691.84 c #Conflicts: 1177000 | #Constraints: 33580 2684.13/2691.84 c #Conflicts: 1178000 | #Constraints: 34621 2684.13/2691.84 c #Conflicts: 1179000 | #Constraints: 35674 2684.13/2691.84 c #Conflicts: 1180000 | #Constraints: 36715 2684.13/2691.84 c #Conflicts: 1181000 | #Constraints: 37756 2684.13/2691.84 c #Conflicts: 1182000 | #Constraints: 38811 2684.13/2691.84 c #Conflicts: 1183000 | #Constraints: 39858 2684.13/2691.84 c #Conflicts: 1184000 | #Constraints: 40895 2684.13/2691.84 c #Conflicts: 1185000 | #Constraints: 41948 2684.13/2691.84 c #Conflicts: 1186000 | #Constraints: 42998 2684.13/2691.84 c #Conflicts: 1187000 | #Constraints: 44047 2684.13/2691.84 c #Conflicts: 1188000 | #Constraints: 45085 2684.13/2691.84 c #Conflicts: 1189000 | #Constraints: 46139 2684.13/2691.84 c #Conflicts: 1190000 | #Constraints: 47181 2684.13/2691.84 c INPROCESSING 2684.13/2691.84 c GARBAGE COLLECT 2684.13/2691.84 c rational objective -1900.26 2813.84/2821.88 c #Conflicts: 1191000 | #Constraints: 25825 2813.84/2821.88 c #Conflicts: 1192000 | #Constraints: 26838 2813.84/2821.88 c #Conflicts: 1193000 | #Constraints: 27848 2813.84/2821.88 c #Conflicts: 1194000 | #Constraints: 28850 2813.84/2821.88 c #Conflicts: 1195000 | #Constraints: 29872 2813.84/2821.88 c #Conflicts: 1196000 | #Constraints: 30878 2813.84/2821.88 c #Conflicts: 1197000 | #Constraints: 31889 2813.84/2821.88 c #Conflicts: 1198000 | #Constraints: 32899 2813.84/2821.88 c #Conflicts: 1199000 | #Constraints: 33904 2813.84/2821.88 c #Conflicts: 1200000 | #Constraints: 34910 2813.84/2821.88 c #Conflicts: 1201000 | #Constraints: 35915 2813.84/2821.88 c #Conflicts: 1202000 | #Constraints: 36923 2813.84/2821.88 c #Conflicts: 1203000 | #Constraints: 37927 2813.84/2821.88 c #Conflicts: 1204000 | #Constraints: 38933 2813.84/2821.88 c #Conflicts: 1205000 | #Constraints: 39940 2813.84/2821.88 c #Conflicts: 1206000 | #Constraints: 40944 2813.84/2821.88 c #Conflicts: 1207000 | #Constraints: 41962 2813.84/2821.88 c #Conflicts: 1208000 | #Constraints: 42977 2813.84/2821.88 c #Conflicts: 1209000 | #Constraints: 43994 2813.84/2821.88 c #Conflicts: 1210000 | #Constraints: 45004 2813.84/2821.88 c #Conflicts: 1211000 | #Constraints: 46012 2813.84/2821.88 c #Conflicts: 1212000 | #Constraints: 47016 2813.84/2821.88 c INPROCESSING 2813.84/2821.88 c GARBAGE COLLECT 2813.84/2821.88 c rational objective -1896.86 2863.33/2871.44 c #Conflicts: 1213000 | #Constraints: 25664 2863.33/2871.44 c #Conflicts: 1214000 | #Constraints: 26717 2863.33/2871.44 c #Conflicts: 1215000 | #Constraints: 27763 2863.33/2871.44 c #Conflicts: 1216000 | #Constraints: 28807 2863.33/2871.44 c #Conflicts: 1217000 | #Constraints: 29858 2863.33/2871.44 c #Conflicts: 1218000 | #Constraints: 30902 2863.33/2871.44 c #Conflicts: 1219000 | #Constraints: 31945 2863.33/2871.44 c #Conflicts: 1220000 | #Constraints: 32977 2863.33/2871.44 c #Conflicts: 1221000 | #Constraints: 33994 2863.33/2871.44 c #Conflicts: 1222000 | #Constraints: 35007 2863.33/2871.44 c #Conflicts: 1223000 | #Constraints: 36025 2863.33/2871.44 c #Conflicts: 1224000 | #Constraints: 37048 2863.33/2871.44 c #Conflicts: 1225000 | #Constraints: 38074 2863.33/2871.44 c #Conflicts: 1226000 | #Constraints: 39095 2863.33/2871.44 c #Conflicts: 1227000 | #Constraints: 40132 2863.33/2871.44 c #Conflicts: 1228000 | #Constraints: 41187 2863.33/2871.44 c #Conflicts: 1229000 | #Constraints: 42235 2863.33/2871.44 c #Conflicts: 1230000 | #Constraints: 43275 2863.33/2871.44 c #Conflicts: 1231000 | #Constraints: 44315 2863.33/2871.44 c #Conflicts: 1232000 | #Constraints: 45359 2863.33/2871.44 c #Conflicts: 1233000 | #Constraints: 46388 2863.33/2871.44 c #Conflicts: 1234000 | #Constraints: 47441 2863.33/2871.44 c INPROCESSING 2863.33/2871.44 c GARBAGE COLLECT 2863.33/2871.44 c rational objective -1888.84 2908.62/2916.84 c #Conflicts: 1235000 | #Constraints: 25870 2908.62/2916.84 c #Conflicts: 1236000 | #Constraints: 26923 2908.62/2916.84 c #Conflicts: 1237000 | #Constraints: 27957 2908.62/2916.84 c #Conflicts: 1238000 | #Constraints: 28999 2908.62/2916.84 c #Conflicts: 1239000 | #Constraints: 30043 2908.62/2916.84 c #Conflicts: 1240000 | #Constraints: 31090 2908.62/2916.84 c #Conflicts: 1241000 | #Constraints: 32151 2908.62/2916.84 c #Conflicts: 1242000 | #Constraints: 33189 2908.62/2916.84 c #Conflicts: 1243000 | #Constraints: 34243 2908.62/2916.84 c #Conflicts: 1244000 | #Constraints: 35287 2908.62/2916.84 c #Conflicts: 1245000 | #Constraints: 36336 2908.62/2916.84 c #Conflicts: 1246000 | #Constraints: 37376 2908.62/2916.84 c #Conflicts: 1247000 | #Constraints: 38401 2908.62/2916.84 c #Conflicts: 1248000 | #Constraints: 39430 2908.62/2916.84 c #Conflicts: 1249000 | #Constraints: 40465 2908.62/2916.84 c #Conflicts: 1250000 | #Constraints: 41517 2908.62/2916.84 c #Conflicts: 1251000 | #Constraints: 42564 2908.62/2916.84 c #Conflicts: 1252000 | #Constraints: 43616 2908.62/2916.84 c #Conflicts: 1253000 | #Constraints: 44643 2908.62/2916.84 c #Conflicts: 1254000 | #Constraints: 45675 2908.62/2916.84 c #Conflicts: 1255000 | #Constraints: 46710 2908.62/2916.84 c #Conflicts: 1256000 | #Constraints: 47743 2908.62/2916.84 c INPROCESSING 2908.62/2916.84 c GARBAGE COLLECT 2908.62/2916.84 c rational objective -1883.86 2958.38/2966.75 c #Conflicts: 1257000 | #Constraints: 25815 2958.38/2966.75 c #Conflicts: 1258000 | #Constraints: 26857 2958.38/2966.75 c #Conflicts: 1259000 | #Constraints: 27913 2958.38/2966.75 c #Conflicts: 1260000 | #Constraints: 28956 2958.38/2966.75 c #Conflicts: 1261000 | #Constraints: 29991 2958.38/2966.75 c #Conflicts: 1262000 | #Constraints: 31036 2958.38/2966.75 c #Conflicts: 1263000 | #Constraints: 32089 2958.38/2966.75 c #Conflicts: 1264000 | #Constraints: 33127 2958.38/2966.75 c #Conflicts: 1265000 | #Constraints: 34167 2958.38/2966.75 c #Conflicts: 1266000 | #Constraints: 35196 2958.38/2966.75 c #Conflicts: 1267000 | #Constraints: 36230 2958.38/2966.75 c #Conflicts: 1268000 | #Constraints: 37270 2958.38/2966.75 c #Conflicts: 1269000 | #Constraints: 38305 2958.38/2966.75 c #Conflicts: 1270000 | #Constraints: 39337 2958.38/2966.75 c #Conflicts: 1271000 | #Constraints: 40364 2958.38/2966.75 c #Conflicts: 1272000 | #Constraints: 41388 2958.38/2966.75 c #Conflicts: 1273000 | #Constraints: 42416 2958.38/2966.75 c #Conflicts: 1274000 | #Constraints: 43439 2958.38/2966.75 c #Conflicts: 1275000 | #Constraints: 44452 2958.38/2966.75 c #Conflicts: 1276000 | #Constraints: 45492 2958.38/2966.75 c #Conflicts: 1277000 | #Constraints: 46545 2958.38/2966.75 c #Conflicts: 1278000 | #Constraints: 47586 2958.38/2966.75 c #Conflicts: 1279000 | #Constraints: 48631 2958.38/2966.75 c INPROCESSING 2958.38/2966.75 c GARBAGE COLLECT 2958.38/2966.75 c rational objective -1880.6 3120.56/3129.34 c #Conflicts: 1280000 | #Constraints: 26426 3120.56/3129.34 c #Conflicts: 1281000 | #Constraints: 27434 3120.56/3129.34 c #Conflicts: 1282000 | #Constraints: 28437 3120.56/3129.34 c #Conflicts: 1283000 | #Constraints: 29445 3120.56/3129.34 c #Conflicts: 1284000 | #Constraints: 30455 3120.56/3129.34 c #Conflicts: 1285000 | #Constraints: 31467 3120.56/3129.34 c #Conflicts: 1286000 | #Constraints: 32482 3120.56/3129.34 c #Conflicts: 1287000 | #Constraints: 33490 3120.56/3129.34 c #Conflicts: 1288000 | #Constraints: 34490 3120.56/3129.34 c #Conflicts: 1289000 | #Constraints: 35493 3120.56/3129.34 c #Conflicts: 1290000 | #Constraints: 36500 3120.56/3129.34 c #Conflicts: 1291000 | #Constraints: 37504 3120.56/3129.34 c #Conflicts: 1292000 | #Constraints: 38518 3120.56/3129.34 c #Conflicts: 1293000 | #Constraints: 39531 3120.56/3129.34 c #Conflicts: 1294000 | #Constraints: 40536 3120.56/3129.34 c #Conflicts: 1295000 | #Constraints: 41548 3120.56/3129.34 c #Conflicts: 1296000 | #Constraints: 42555 3120.56/3129.34 c #Conflicts: 1297000 | #Constraints: 43571 3120.56/3129.34 c #Conflicts: 1298000 | #Constraints: 44576 3120.56/3129.34 c #Conflicts: 1299000 | #Constraints: 45594 3120.56/3129.34 c #Conflicts: 1300000 | #Constraints: 46609 3120.56/3129.34 c #Conflicts: 1301000 | #Constraints: 47620 3120.56/3129.34 c #Conflicts: 1302000 | #Constraints: 48631 3120.56/3129.34 c INPROCESSING 3120.56/3129.34 c GARBAGE COLLECT 3120.56/3129.34 c rational objective -1879.57 3166.64/3175.54 c #Conflicts: 1303000 | #Constraints: 26519 3166.64/3175.54 c #Conflicts: 1304000 | #Constraints: 27566 3166.64/3175.54 c #Conflicts: 1305000 | #Constraints: 28610 3166.64/3175.54 c #Conflicts: 1306000 | #Constraints: 29653 3166.64/3175.54 c #Conflicts: 1307000 | #Constraints: 30703 3166.64/3175.54 c #Conflicts: 1308000 | #Constraints: 31751 3166.64/3175.54 c #Conflicts: 1309000 | #Constraints: 32797 3166.64/3175.54 c #Conflicts: 1310000 | #Constraints: 33845 3166.64/3175.54 c #Conflicts: 1311000 | #Constraints: 34884 3166.64/3175.54 c #Conflicts: 1312000 | #Constraints: 35931 3166.64/3175.54 c #Conflicts: 1313000 | #Constraints: 36966 3166.64/3175.54 c #Conflicts: 1314000 | #Constraints: 38010 3166.64/3175.54 c #Conflicts: 1315000 | #Constraints: 39060 3166.64/3175.54 c #Conflicts: 1316000 | #Constraints: 40112 3166.64/3175.54 c #Conflicts: 1317000 | #Constraints: 41154 3166.64/3175.54 c #Conflicts: 1318000 | #Constraints: 42194 3166.64/3175.54 c #Conflicts: 1319000 | #Constraints: 43242 3166.64/3175.54 c #Conflicts: 1320000 | #Constraints: 44294 3166.64/3175.54 c #Conflicts: 1321000 | #Constraints: 45330 3166.64/3175.54 c #Conflicts: 1322000 | #Constraints: 46367 3166.64/3175.54 c #Conflicts: 1323000 | #Constraints: 47405 3166.64/3175.54 c #Conflicts: 1324000 | #Constraints: 48442 3166.64/3175.54 c #Conflicts: 1325000 | #Constraints: 49471 3166.64/3175.54 c INPROCESSING 3166.64/3175.54 c GARBAGE COLLECT 3166.64/3175.54 c rational objective -1872.61 3222.77/3231.82 c #Conflicts: 1326000 | #Constraints: 26989 3222.77/3231.82 c #Conflicts: 1327000 | #Constraints: 28030 3222.77/3231.82 c #Conflicts: 1328000 | #Constraints: 29074 3222.77/3231.82 c #Conflicts: 1329000 | #Constraints: 30115 3222.77/3231.82 c #Conflicts: 1330000 | #Constraints: 31145 3222.77/3231.82 c #Conflicts: 1331000 | #Constraints: 32184 3222.77/3231.82 c #Conflicts: 1332000 | #Constraints: 33222 3222.77/3231.82 c #Conflicts: 1333000 | #Constraints: 34260 3222.77/3231.82 c #Conflicts: 1334000 | #Constraints: 35300 3222.77/3231.82 c #Conflicts: 1335000 | #Constraints: 36347 3222.77/3231.82 c #Conflicts: 1336000 | #Constraints: 37375 3222.77/3231.82 c #Conflicts: 1337000 | #Constraints: 38411 3222.77/3231.82 c #Conflicts: 1338000 | #Constraints: 39455 3222.77/3231.82 c #Conflicts: 1339000 | #Constraints: 40496 3222.77/3231.82 c #Conflicts: 1340000 | #Constraints: 41543 3222.77/3231.82 c #Conflicts: 1341000 | #Constraints: 42571 3222.77/3231.82 c #Conflicts: 1342000 | #Constraints: 43617 3222.77/3231.82 c #Conflicts: 1343000 | #Constraints: 44653 3222.77/3231.82 c #Conflicts: 1344000 | #Constraints: 45686 3222.77/3231.82 c #Conflicts: 1345000 | #Constraints: 46712 3222.77/3231.82 c #Conflicts: 1346000 | #Constraints: 47723 3222.77/3231.82 c #Conflicts: 1347000 | #Constraints: 48756 3222.77/3231.82 c #Conflicts: 1348000 | #Constraints: 49785 3222.77/3231.82 c INPROCESSING 3222.77/3231.82 c GARBAGE COLLECT 3222.77/3231.82 c rational objective -1870.41 3273.35/3282.57 c #Conflicts: 1349000 | #Constraints: 27040 3273.35/3282.57 c #Conflicts: 1350000 | #Constraints: 28086 3273.35/3282.57 c #Conflicts: 1351000 | #Constraints: 29131 3273.35/3282.57 c #Conflicts: 1352000 | #Constraints: 30173 3273.35/3282.57 c #Conflicts: 1353000 | #Constraints: 31225 3273.35/3282.57 c #Conflicts: 1354000 | #Constraints: 32275 3273.35/3282.57 c #Conflicts: 1355000 | #Constraints: 33330 3273.35/3282.57 c #Conflicts: 1356000 | #Constraints: 34362 3273.35/3282.57 c #Conflicts: 1357000 | #Constraints: 35387 3273.35/3282.57 c #Conflicts: 1358000 | #Constraints: 36423 3273.35/3282.57 c #Conflicts: 1359000 | #Constraints: 37480 3273.35/3282.57 c #Conflicts: 1360000 | #Constraints: 38535 3273.35/3282.57 c #Conflicts: 1361000 | #Constraints: 39577 3273.35/3282.57 c #Conflicts: 1362000 | #Constraints: 40617 3273.35/3282.57 c #Conflicts: 1363000 | #Constraints: 41659 3273.35/3282.57 c #Conflicts: 1364000 | #Constraints: 42710 3273.35/3282.57 c #Conflicts: 1365000 | #Constraints: 43749 3273.35/3282.57 c #Conflicts: 1366000 | #Constraints: 44788 3273.35/3282.57 c #Conflicts: 1367000 | #Constraints: 45842 3273.35/3282.57 c #Conflicts: 1368000 | #Constraints: 46889 3273.35/3282.57 c #Conflicts: 1369000 | #Constraints: 47929 3273.35/3282.57 c #Conflicts: 1370000 | #Constraints: 48975 3273.35/3282.57 c #Conflicts: 1371000 | #Constraints: 50021 3273.35/3282.57 c INPROCESSING 3273.35/3282.57 c GARBAGE COLLECT 3273.35/3282.57 c rational objective -1868.41 3323.04/3332.32 c #Conflicts: 1372000 | #Constraints: 26938 3323.04/3332.32 c #Conflicts: 1373000 | #Constraints: 27980 3323.04/3332.32 c #Conflicts: 1374000 | #Constraints: 29010 3323.04/3332.32 c #Conflicts: 1375000 | #Constraints: 30053 3323.04/3332.32 c #Conflicts: 1376000 | #Constraints: 31091 3323.04/3332.32 c #Conflicts: 1377000 | #Constraints: 32130 3323.04/3332.32 c #Conflicts: 1378000 | #Constraints: 33166 3323.04/3332.32 c #Conflicts: 1379000 | #Constraints: 34191 3323.04/3332.32 c #Conflicts: 1380000 | #Constraints: 35241 3323.04/3332.32 c #Conflicts: 1381000 | #Constraints: 36287 3323.04/3332.32 c #Conflicts: 1382000 | #Constraints: 37336 3323.04/3332.32 c #Conflicts: 1383000 | #Constraints: 38371 3323.04/3332.32 c #Conflicts: 1384000 | #Constraints: 39411 3323.04/3332.32 c #Conflicts: 1385000 | #Constraints: 40471 3323.04/3332.32 c #Conflicts: 1386000 | #Constraints: 41516 3323.04/3332.32 c #Conflicts: 1387000 | #Constraints: 42561 3323.04/3332.32 c #Conflicts: 1388000 | #Constraints: 43611 3323.04/3332.32 c #Conflicts: 1389000 | #Constraints: 44660 3323.04/3332.32 c #Conflicts: 1390000 | #Constraints: 45717 3323.04/3332.32 c #Conflicts: 1391000 | #Constraints: 46769 3323.04/3332.32 c #Conflicts: 1392000 | #Constraints: 47821 3323.04/3332.32 c #Conflicts: 1393000 | #Constraints: 48869 3323.04/3332.32 c #Conflicts: 1394000 | #Constraints: 49909 3323.04/3332.32 c #Conflicts: 1395000 | #Constraints: 50953 3323.04/3332.32 c INPROCESSING 3323.04/3332.32 c GARBAGE COLLECT 3323.04/3332.32 c rational objective -1868.15 3500.25/3509.96 c #Conflicts: 1396000 | #Constraints: 27597 3500.25/3509.96 c #Conflicts: 1397000 | #Constraints: 28608 3500.25/3509.96 c #Conflicts: 1398000 | #Constraints: 29610 3500.25/3509.96 c #Conflicts: 1399000 | #Constraints: 30612 3500.25/3509.96 c #Conflicts: 1400000 | #Constraints: 31621 3500.25/3509.96 c #Conflicts: 1401000 | #Constraints: 32623 3500.25/3509.96 c #Conflicts: 1402000 | #Constraints: 33626 3500.25/3509.96 c #Conflicts: 1403000 | #Constraints: 34631 3500.25/3509.96 c #Conflicts: 1404000 | #Constraints: 35635 3500.25/3509.96 c #Conflicts: 1405000 | #Constraints: 36648 3500.25/3509.96 c #Conflicts: 1406000 | #Constraints: 37668 3500.25/3509.96 c #Conflicts: 1407000 | #Constraints: 38681 3500.25/3509.96 c #Conflicts: 1408000 | #Constraints: 39689 3500.25/3509.96 c #Conflicts: 1409000 | #Constraints: 40704 3500.25/3509.96 c #Conflicts: 1410000 | #Constraints: 41721 3500.25/3509.96 c #Conflicts: 1411000 | #Constraints: 42726 3500.25/3509.96 c #Conflicts: 1412000 | #Constraints: 43730 3500.25/3509.96 c #Conflicts: 1413000 | #Constraints: 44743 3500.25/3509.96 c #Conflicts: 1414000 | #Constraints: 45754 3500.25/3509.96 c #Conflicts: 1415000 | #Constraints: 46768 3500.25/3509.96 c #Conflicts: 1416000 | #Constraints: 47776 3500.25/3509.96 c #Conflicts: 1417000 | #Constraints: 48799 3500.25/3509.96 c #Conflicts: 1418000 | #Constraints: 49819 3500.25/3509.96 c #Conflicts: 1419000 | #Constraints: 50846 3500.25/3509.96 c INPROCESSING 3500.25/3509.96 c GARBAGE COLLECT 3500.25/3509.96 c rational objective -1867.54 3546.03/3555.87 c #Conflicts: 1420000 | #Constraints: 27647 3546.03/3555.87 c #Conflicts: 1421000 | #Constraints: 28683 3546.03/3555.87 c #Conflicts: 1422000 | #Constraints: 29724 3546.03/3555.87 c #Conflicts: 1423000 | #Constraints: 30773 3546.03/3555.87 c #Conflicts: 1424000 | #Constraints: 31824 3546.03/3555.87 c #Conflicts: 1425000 | #Constraints: 32871 3546.03/3555.87 c #Conflicts: 1426000 | #Constraints: 33917 3546.03/3555.87 c #Conflicts: 1427000 | #Constraints: 34957 3546.03/3555.87 c #Conflicts: 1428000 | #Constraints: 36010 3546.03/3555.87 c #Conflicts: 1429000 | #Constraints: 37043 3546.03/3555.87 c #Conflicts: 1430000 | #Constraints: 38074 3546.03/3555.87 c #Conflicts: 1431000 | #Constraints: 39124 3546.03/3555.87 c #Conflicts: 1432000 | #Constraints: 40159 3546.03/3555.87 c #Conflicts: 1433000 | #Constraints: 41209 3546.03/3555.87 c #Conflicts: 1434000 | #Constraints: 42246 3546.03/3555.87 c #Conflicts: 1435000 | #Constraints: 43292 3546.03/3555.87 c #Conflicts: 1436000 | #Constraints: 44344 3546.03/3555.87 c #Conflicts: 1437000 | #Constraints: 45394 3546.03/3555.87 c #Conflicts: 1438000 | #Constraints: 46443 3546.03/3555.87 c #Conflicts: 1439000 | #Constraints: 47492 3546.03/3555.87 c #Conflicts: 1440000 | #Constraints: 48537 3546.03/3555.87 c #Conflicts: 1441000 | #Constraints: 49570 3546.03/3555.87 c #Conflicts: 1442000 | #Constraints: 50608 3546.03/3555.87 c #Conflicts: 1443000 | #Constraints: 51648 3546.03/3555.87 c INPROCESSING 3546.03/3555.87 c GARBAGE COLLECT 3546.03/3555.87 c rational objective -1859.88 3599.88/3609.88 c #Conflicts: 1444000 | #Constraints: 28077 3599.88/3609.88 c #Conflicts: 1445000 | #Constraints: 29125 3599.88/3609.88 c #Conflicts: 1446000 | #Constraints: 30171 3599.88/3609.88 c #Conflicts: 1447000 | #Constraints: 31223 3599.88/3609.88 c #Conflicts: 1448000 | #Constraints: 32286 3599.88/3609.88 c #Conflicts: 1449000 | #Constraints: 33336 3599.88/3609.88 c #Conflicts: 1450000 | #Constraints: 34377 3599.88/3609.88 c #Conflicts: 1451000 | #Constraints: 35416 3599.88/3609.88 c #Conflicts: 1452000 | #Constraints: 36457 3599.88/3609.88 c #Conflicts: 1453000 | #Constraints: 37493 3599.88/3609.88 c #Conflicts: 1454000 | #Constraints: 38549 3599.88/3609.88 c #Conflicts: 1455000 | #Constraints: 39593 3599.88/3609.88 c #Conflicts: 1456000 | #Constraints: 40630 3599.88/3609.88 c #Conflicts: 1457000 | #Constraints: 41679 3599.88/3609.88 c #Conflicts: 1458000 | #Constraints: 42713 3599.88/3609.88 c #Conflicts: 1459000 | #Constraints: 43753 3599.88/3609.88 c #Conflicts: 1460000 | #Constraints: 44796 3599.88/3609.88 c #Conflicts: 1461000 | #Constraints: 45838 3599.88/3609.88 c #Conflicts: 1462000 | #Constraints: 46879 3599.88/3609.88 c #Conflicts: 1463000 | #Constraints: 47927 3599.88/3609.88 c #Conflicts: 1464000 | #Constraints: 48972 3599.88/3609.88 c #Conflicts: 1465000 | #Constraints: 50023 3599.88/3609.88 c #Conflicts: 1466000 | #Constraints: 51065 3599.88/3609.88 c #Conflicts: 1467000 | #Constraints: 52109 3599.88/3609.88 c INPROCESSING 3599.88/3609.88 c GARBAGE COLLECT 3599.88/3609.88 c rational objective -1857.63 3600.10/3610.01 c Program interrupted by user. 3600.10/3610.01 c cpu time 3572.1 s 3600.10/3610.01 c deterministic time 844322874897 8.44e+11 3600.10/3610.01 c optimization time 53.264 s 3600.10/3610.01 c total solve time 3518.83 s 3600.10/3610.01 c core-guided solve time 1731.59 s 3600.10/3610.01 c propagation time 3179.2 s 3600.10/3610.01 c conflict analysis time 310.386 s 3600.10/3610.01 c propagations 58612387 3600.10/3610.01 c resolve steps 13679340 3600.10/3610.01 c decisions 2615792 3600.10/3610.01 c conflicts 1467202 3600.10/3610.01 c restarts 2843 3600.10/3610.01 c inprocessing phases 112 3600.10/3610.01 c input clauses 979 3600.10/3610.01 c input cardinalities 117 3600.10/3610.01 c input general constraints 1116 3600.10/3610.01 c input average constraint length 58.57 3600.10/3610.01 c input average constraint degree 145.89 3600.10/3610.01 c learned clauses 988435 3600.10/3610.01 c learned cardinalities 780 3600.10/3610.01 c learned general constraints 526045 3600.10/3610.01 c learned average constraint length 520.22 3600.10/3610.01 c learned average constraint degree 4053034742.92 3600.10/3610.01 c watched constraints 525323 3600.10/3610.01 c counting constraints 1838 3600.10/3610.01 c gcd simplifications 467248 3600.10/3610.01 c detected cardinalities 17 3600.10/3610.01 c weakened non-implied lits 301294914 3600.10/3610.01 c weakened non-implying lits 651340 3600.10/3610.01 c original variables 882 3600.10/3610.01 c clausal propagations 19512610 3600.10/3610.01 c cardinality propagations 4991177 3600.10/3610.01 c watched propagations 9367088 3600.10/3610.01 c counting propagations 23541731 3600.10/3610.01 c watch lookups 19989182197 3600.10/3610.01 c watch backjump lookups 6350039780 3600.10/3610.01 c watch checks 796334872362 3600.10/3610.01 c propagation checks 18993233956 3600.10/3610.01 c constraint additions 2530045869 3600.10/3610.01 c trail pops 62647370 3600.10/3610.01 c formula constraints 1664 3600.10/3610.01 c learned constraints 1419238 3600.10/3610.01 c bound constraints 137 3600.10/3610.01 c core-guided constraints 411 3600.10/3610.01 c encountered formula constraints 9002192 3600.10/3610.01 c encountered learned constraints 4864345 3600.10/3610.01 c encountered bound constraints 21208 3600.10/3610.01 c encountered core-guided constraints 321216 3600.10/3610.01 c LP total time 108.938 s 3600.10/3610.01 c LP solve time 69.34 s 3600.10/3610.01 c LP constraints added 5030 3600.10/3610.01 c LP constraints removed 2852 3600.10/3610.01 c LP pivots internal 1467214 3600.10/3610.01 c LP pivots root 157969 3600.10/3610.01 c LP calls 90182 3600.10/3610.01 c LP optimalities 42169 3600.10/3610.01 c LP no pivot count 2861 3600.10/3610.01 c LP infeasibilities 48011 3600.10/3610.01 c LP valid Farkas constraints 48011 3600.10/3610.01 c LP learned Farkas constraints 48011 3600.10/3610.01 c LP basis resets 0 3600.10/3610.01 c LP cycling count 0 3600.10/3610.01 c LP singular count 0 3600.10/3610.01 c LP no primal count 0 3600.10/3610.01 c LP no farkas count 0 3600.10/3610.01 c LP other issue count 0 3600.10/3610.01 c LP Gomory cuts 0 3600.10/3610.01 c LP learned cuts 3366 3600.10/3610.01 c LP deleted cuts 2852 3600.10/3610.01 c LP encountered Gomory constraints 0 3600.10/3610.01 c LP encountered Farkas constraints 719961 3600.10/3610.01 c LP encountered learned Farkas constraints 169609 3600.10/3610.01 c CG auxiliary variables introduced 176 3600.10/3610.01 c CG solutions found 20 3600.10/3610.01 c CG cores constructed 117 3600.10/3610.01 c CG core cardinality constraints returned 0 3600.10/3610.01 c CG unit cores 0 3600.10/3610.01 c CG single cores 117 3600.10/3610.01 c CG blocks removed during cardinality reduction 0 3600.10/3610.01 c CG first core best 0 3600.10/3610.01 c CG decision core best 0 3600.10/3610.01 c CG core reduction tie 0 3600.10/3610.01 c CG core degree average 1.00 3600.10/3610.01 c CG core slack average 2.80 3600.10/3610.01 s SATISFIABLE 3600.10/3610.01 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 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 x244 -x245 x246 x247 x248 -x249 x250 -x251 x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 x464 x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 x478 -x479 x480 x481 x482 -x483 x484 -x485 x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 x654 x655 -x656 x657 x658 x659 -x660 x661 -x662 x663 -x664 x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 x714 -x715 x716 -x717 x718 -x719 x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 x775 x776 x777 -x778 -x779 -x780 -x781 -x782 x783 x784 x785 -x786 x787 x788 x789 -x790 x791 -x792 x793 -x794 x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 x844 -x845 x846 -x847 x848 -x849 x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
OK -270
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (34470 MiB free)
memory of node 1: 64510 MiB (47795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460460-1722071468/watcher-4460460-1722071468 -o /tmp/evaluation-result-4460460-1722071468/solver-4460460-1722071468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722064837-314284 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460460-1722071468 --lp-cut-gomory=0 HOME/instance-4460460-1722071468.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=319088, runsolver pid=319085
[startup+0.100109 s]*
/proc/loadavg: 4.18 4.22 4.27 5/267 319089
/proc/meminfo: memFree=84232800/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=40020 memory=10236 CPUtime=0.08 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 1048 0 0 0 8 0 0 0 20 0 1 0 43135905 40980480 2559 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 10005 2559 1808 992 0 1863 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 40020 KiB
Current children cumulated memory: 10236 KiB
[startup+0.214659 s]*
/proc/loadavg: 4.18 4.22 4.27 5/267 319089
/proc/meminfo: memFree=84228912/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=40020 memory=11292 CPUtime=0.2 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 1259 0 0 0 19 1 0 0 20 0 1 0 43135905 40980480 2823 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 10005 2823 1808 992 0 1863 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40020 KiB
Current children cumulated memory: 11292 KiB
[startup+0.314754 s]*
/proc/loadavg: 4.18 4.22 4.27 5/267 319089
/proc/meminfo: memFree=84223076/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=40152 memory=11820 CPUtime=0.3 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 1411 0 0 0 29 1 0 0 20 0 1 0 43135905 41115648 2955 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 10038 2955 1808 992 0 1896 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40152 KiB
Current children cumulated memory: 11820 KiB
[startup+0.700291 s]
/proc/loadavg: 4.18 4.22 4.27 5/267 319089
/proc/meminfo: memFree=84215560/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=41576 memory=15416 CPUtime=0.67 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 1746 0 0 0 64 3 0 0 20 0 1 0 43135905 42573824 3854 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 10394 3854 1870 992 0 2252 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41576 KiB
Current children cumulated memory: 15416 KiB
[startup+1.50036 s]
/proc/loadavg: 4.18 4.22 4.27 5/267 319089
/proc/meminfo: memFree=84192884/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=43252 memory=17540 CPUtime=1.47 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 2264 0 0 0 142 5 0 0 20 0 1 0 43135905 44290048 4385 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 10813 4385 1886 992 0 2671 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 43252 KiB
Current children cumulated memory: 17540 KiB
[startup+3.11473 s]
/proc/loadavg: 4.17 4.22 4.26 5/267 319089
/proc/meminfo: memFree=84109400/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=46528 memory=20788 CPUtime=3.08 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 2549 0 0 0 299 9 0 0 20 0 1 0 43135905 47644672 5197 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 11632 5197 1886 992 0 3490 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 46528 KiB
Current children cumulated memory: 20788 KiB
[startup+6.30033 s]
/proc/loadavg: 4.17 4.22 4.26 5/267 319089
/proc/meminfo: memFree=84019508/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=48016 memory=22100 CPUtime=6.26 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 2892 0 0 0 609 17 0 0 20 0 1 0 43135905 49168384 5525 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 12004 5525 1886 992 0 3862 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 48016 KiB
Current children cumulated memory: 22100 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.21 4.26 5/267 319091
/proc/meminfo: memFree=83779916/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=57744 memory=30592 CPUtime=12.64 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 4518 0 0 0 1233 31 0 0 20 0 1 0 43135905 59129856 7648 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 14436 7648 1886 992 0 6294 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 57744 KiB
Current children cumulated memory: 30592 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.20 4.26 5/267 319093
/proc/meminfo: memFree=83258024/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=65920 memory=37832 CPUtime=25.41 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 5279 0 0 0 2487 54 0 0 20 0 1 0 43135905 67502080 9458 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 16480 9458 1886 992 0 8338 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 65920 KiB
Current children cumulated memory: 37832 KiB
[startup+51.1147 s]
/proc/loadavg: 4.27 4.23 4.27 5/267 319099
/proc/meminfo: memFree=82421288/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=82784 memory=50680 CPUtime=50.92 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 6959 0 0 0 4986 106 0 0 20 0 1 0 43135905 84770816 12670 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 20696 12670 1886 992 0 12554 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 82784 KiB
Current children cumulated memory: 50680 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.22 4.27 5/267 319107
/proc/meminfo: memFree=81160424/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=87812 memory=61460 CPUtime=101.91 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 8259 0 0 0 9999 192 0 0 20 0 1 0 43135905 89919488 15365 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 21953 15365 1886 992 0 13811 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 87812 KiB
Current children cumulated memory: 61460 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.18 4.25 5/269 319122
/proc/meminfo: memFree=79928204/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=114408 memory=78392 CPUtime=161.69 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 10502 0 0 0 15895 274 0 0 20 0 1 0 43135905 117153792 19598 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 28602 19598 1886 992 0 20460 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 114408 KiB
Current children cumulated memory: 78392 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.18 4.24 5/268 319132
/proc/meminfo: memFree=79359308/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=155376 memory=96328 CPUtime=221.5 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 13189 0 0 0 21797 353 0 0 20 0 1 0 43135905 159105024 24082 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 38844 24082 1886 992 0 30702 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 155376 KiB
Current children cumulated memory: 96328 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.16 4.23 5/259 319143
/proc/meminfo: memFree=77285712/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=155888 memory=96680 CPUtime=281.28 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 13486 0 0 0 27697 431 0 0 20 0 1 0 43135905 159629312 24170 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 38972 24170 1886 992 0 30830 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 155888 KiB
Current children cumulated memory: 96680 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.14 4.22 5/247 319154
/proc/meminfo: memFree=75750160/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=156988 memory=102484 CPUtime=341.06 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 14092 0 0 0 33607 499 0 0 20 0 1 0 43135905 160755712 25621 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 39247 25621 1886 992 0 31105 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 156988 KiB
Current children cumulated memory: 102484 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.13 4.21 5/247 319164
/proc/meminfo: memFree=74588612/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=162012 memory=110404 CPUtime=400.84 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 15240 0 0 0 39522 562 0 0 20 0 1 0 43135905 165900288 27601 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 40503 27601 1886 992 0 32361 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 162012 KiB
Current children cumulated memory: 110404 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.20 5/251 319181
/proc/meminfo: memFree=73744276/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=167052 memory=121076 CPUtime=460.65 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 16633 0 0 0 45426 639 0 0 20 0 1 0 43135905 171061248 30269 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
################
# More data... #
################
Current children cumulated memory: 247864 KiB
[startup+2922.3 s]
/proc/loadavg: 2.08 2.44 3.24 3/235 321047
/proc/meminfo: memFree=110261760/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=358160 memory=250876 CPUtime=2914.1 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 37183 0 0 0 289005 2405 0 0 20 0 1 0 43135905 366755840 62719 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 89540 62719 1886 992 0 81398 0
Current children cumulated CPU time: 2914.1 s
Current children cumulated vsize: 358160 KiB
Current children cumulated memory: 250876 KiB
[startup+2982.3 s]
/proc/loadavg: 2.12 2.39 3.17 3/234 321060
/proc/meminfo: memFree=109578912/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=358664 memory=255652 CPUtime=2973.94 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 37542 0 0 0 294948 2446 0 0 20 0 1 0 43135905 367271936 63913 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 89666 63913 1886 992 0 81524 0
Current children cumulated CPU time: 2973.94 s
Current children cumulated vsize: 358664 KiB
Current children cumulated memory: 255652 KiB
[startup+3042.3 s]
/proc/loadavg: 2.15 2.34 3.11 3/234 321083
/proc/meminfo: memFree=109176720/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=358664 memory=255652 CPUtime=3033.79 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 37542 0 0 0 300909 2470 0 0 20 0 1 0 43135905 367271936 63913 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 89666 63913 1886 992 0 81524 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 358664 KiB
Current children cumulated memory: 255652 KiB
[startup+3102.3 s]
/proc/loadavg: 2.23 2.33 3.05 3/234 321093
/proc/meminfo: memFree=108665852/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=358664 memory=255652 CPUtime=3093.63 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 37595 0 0 0 306871 2492 0 0 20 0 1 0 43135905 367271936 63913 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 89666 63913 1886 992 0 81524 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 358664 KiB
Current children cumulated memory: 255652 KiB
[startup+3162.3 s]
/proc/loadavg: 2.14 2.28 2.99 3/233 321103
/proc/meminfo: memFree=108081496/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=359224 memory=256100 CPUtime=3153.47 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 37929 0 0 0 312816 2531 0 0 20 0 1 0 43135905 367845376 64025 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 89806 64025 1886 992 0 81664 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 359224 KiB
Current children cumulated memory: 256100 KiB
[startup+3222.3 s]
/proc/loadavg: 2.28 2.28 2.94 3/233 321113
/proc/meminfo: memFree=107389228/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=359228 memory=257612 CPUtime=3213.3 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 38203 0 0 0 318747 2583 0 0 20 0 1 0 43135905 367849472 64403 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 89807 64403 1886 992 0 81665 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 359228 KiB
Current children cumulated memory: 257612 KiB
[startup+3282.3 s]
/proc/loadavg: 2.65 2.39 2.94 3/231 321124
/proc/meminfo: memFree=106787296/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=360216 memory=262120 CPUtime=3273.15 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 38513 0 0 0 324684 2631 0 0 20 0 1 0 43135905 368861184 65530 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 90054 65530 1886 992 0 81912 0
Current children cumulated CPU time: 3273.15 s
Current children cumulated vsize: 360216 KiB
Current children cumulated memory: 262120 KiB
[startup+3342.3 s]
/proc/loadavg: 2.28 2.33 2.88 3/231 321134
/proc/meminfo: memFree=106305012/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=360416 memory=262640 CPUtime=3333.02 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 39011 0 0 0 330629 2673 0 0 20 0 1 0 43135905 369065984 65660 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 90104 65660 1886 992 0 81962 0
Current children cumulated CPU time: 3333.02 s
Current children cumulated vsize: 360416 KiB
Current children cumulated memory: 262640 KiB
[startup+3402.3 s]
/proc/loadavg: 2.14 2.29 2.83 3/231 321144
/proc/meminfo: memFree=105874096/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=360416 memory=262640 CPUtime=3392.89 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 39019 0 0 0 336599 2690 0 0 20 0 1 0 43135905 369065984 65660 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 90104 65660 1886 992 0 81962 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 360416 KiB
Current children cumulated memory: 262640 KiB
[startup+3462.3 s]
/proc/loadavg: 2.14 2.26 2.79 3/231 321155
/proc/meminfo: memFree=105601748/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=360416 memory=262640 CPUtime=3452.75 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 39128 0 0 0 342569 2706 0 0 20 0 1 0 43135905 369065984 65660 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 90104 65660 1886 992 0 81962 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 360416 KiB
Current children cumulated memory: 262640 KiB
[startup+3522.3 s]
/proc/loadavg: 2.25 2.26 2.75 3/231 321165
/proc/meminfo: memFree=105200420/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=361712 memory=263544 CPUtime=3512.62 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 39641 0 0 0 348529 2733 0 0 20 0 1 0 43135905 370393088 65886 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 90428 65886 1886 992 0 82286 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 361712 KiB
Current children cumulated memory: 263544 KiB
[startup+3582.3 s]
/proc/loadavg: 2.26 2.27 2.72 3/235 321181
/proc/meminfo: memFree=104547452/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=361788 memory=263640 CPUtime=3572.46 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 39927 0 0 0 354464 2782 0 0 20 0 1 0 43135905 370470912 65910 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 90447 65910 1886 992 0 82305 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 361788 KiB
Current children cumulated memory: 263640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 2.16 2.24 2.70 4/235 321187
/proc/meminfo: memFree=104422744/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=361892 memory=263748 CPUtime=3600.1 cores=1,3
/proc/319088/stat : 319088 (roundingsat) R 319085 319088 314272 0 -1 4194304 40247 0 0 0 357210 2800 0 0 20 0 1 0 43135905 370577408 65937 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 90473 65937 1886 992 0 82331 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 361892 KiB
Current children cumulated memory: 263748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 319088 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3572.11 s, system=28.0201 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 2.16 2.24 2.70 4/235 321187
/proc/meminfo: memFree=104422744/131655788 swapFree=131057252/131071996
[pid=319088] ppid=319085 vsize=361892 memory=263748 CPUtime=3600.11 cores=1,3
/proc/319088/stat : 319088 (roundingsat) D 319085 319088 314272 0 -1 4194304 40256 0 0 0 357210 2801 0 0 20 0 1 0 43135905 370577408 65937 134679101440 4194304 8254357 140722439384304 0 0 0 0 0 25182210 0 0 0 17 1 0 0 361011 0 0 9037040 9046032 12541952 140722439385947 140722439386209 140722439386209 140722439393225 0
/proc/319088/statm: 90473 65937 1886 992 0 82331 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 361892 KiB
Current children cumulated memory: 263748 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.13
CPU user time (s): 3572.11
CPU system time (s): 28.0201
CPU usage (%): 99.7231
Max. virtual memory (cumulated for all children) (KiB): 362768
Max. memory (cumulated for all children) (KiB): 264196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.11
system time used= 28.0201
maximum resident set size= 264196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30389568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3976
involuntary context switches= 5051
# summary of solver processes directly reported to runsolver:
# pid: 319088
# total CPU time (s): 3600.13
# total CPU user time (s): 3572.11
# total CPU system time (s): 28.0201
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5609 second user time and 34.8198 second system time
The end
Begin job on nodeC003 at 2024-07-27 11:11:09 IDJOB=4460460 IDBENCH=158491 IDSOLVER=3086 FILE ID=nodeC003/4460460-1722071468 RUNJOBID= nodeC003-1722064837-314284 SLURM_JOB_ID= 8248105 Free space on /tmp= 723748 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.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-4460460-1722071468/watcher-4460460-1722071468 -o /tmp/evaluation-result-4460460-1722071468/solver-4460460-1722071468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722064837-314284 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460460-1722071468 --lp-cut-gomory=0 HOME/instance-4460460-1722071468.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f RANDOM SEED=536119519 nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3594.807 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.051 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.543 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.270 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3670.061 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3598.036 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.491 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.289 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 84241180 kB MemAvailable: 125158868 kB Buffers: 375236 kB Cached: 40989724 kB SwapCached: 3196 kB Active: 2103600 kB Inactive: 44203380 kB Active(anon): 2964 kB Inactive(anon): 4992156 kB Active(file): 2100636 kB Inactive(file): 39211224 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057252 kB Dirty: 31252 kB Writeback: 0 kB AnonPages: 4938764 kB Mapped: 113252 kB Shmem: 53324 kB KReclaimable: 667572 kB Slab: 786772 kB SReclaimable: 667572 kB SUnreclaim: 119200 kB KernelStack: 4336 kB PageTables: 19060 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 5830512 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14752 kB HardwareCorrupted: 0 kB AnonHugePages: 444416 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: 394056 kB DirectMap2M: 40404992 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723760 MiB End job on nodeC003 at 2024-07-27 12:11:19