| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | -270 | 3600.08 | 3609.08 |
| 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.10/0.12 c bounds - >= -6570 @ 0.014853 0.10/0.12 c rational objective -3285 1.18/1.24 c bounds 0 >= -6570 @ 0.104566 1.18/1.24 c bounds 0 >= -6538 @ 0.190849 1.18/1.24 c bounds 0 >= -6506 @ 0.191828 1.18/1.24 c bounds 0 >= -6474 @ 0.192797 1.18/1.24 c bounds 0 >= -6442 @ 0.193763 1.18/1.24 c bounds 0 >= -6410 @ 0.194723 1.18/1.24 c bounds 0 >= -6378 @ 0.195684 1.18/1.24 c bounds 0 >= -6346 @ 0.196644 1.18/1.24 c bounds 0 >= -6314 @ 0.197607 1.18/1.24 c bounds 0 >= -6282 @ 0.198576 1.18/1.24 c bounds 0 >= -6250 @ 0.199534 1.18/1.24 c bounds 0 >= -6218 @ 0.200499 1.18/1.24 c bounds 0 >= -6186 @ 0.201461 1.18/1.24 c bounds 0 >= -6154 @ 0.202428 1.18/1.24 c bounds 0 >= -6122 @ 0.203401 1.18/1.24 c bounds 0 >= -6090 @ 0.204365 1.18/1.24 c bounds 0 >= -6058 @ 0.205326 1.18/1.24 c bounds 0 >= -6026 @ 0.205433 1.18/1.24 c bounds 0 >= -5994 @ 0.206319 1.18/1.24 c bounds 0 >= -5962 @ 0.207283 1.18/1.24 c bounds 0 >= -5930 @ 0.208247 1.18/1.24 c bounds -54 >= -5930 @ 0.209219 1.18/1.24 c bounds -55 >= -5930 @ 0.210559 1.18/1.24 c bounds -55 >= -5901 @ 0.212171 1.18/1.24 c bounds -56 >= -5901 @ 0.213273 1.18/1.24 c bounds -58 >= -5901 @ 0.517536 1.18/1.24 c bounds -92 >= -5901 @ 0.519458 1.18/1.24 c bounds -126 >= -5901 @ 0.521239 1.18/1.24 c bounds -160 >= -5901 @ 0.522107 1.18/1.24 c bounds -194 >= -5901 @ 0.523927 1.18/1.24 c bounds -208 >= -5901 @ 0.525707 1.18/1.24 c bounds -228 >= -5901 @ 0.527647 1.18/1.24 c bounds -258 >= -5901 @ 0.576528 1.18/1.24 c bounds -259 >= -5901 @ 0.577836 1.18/1.24 c bounds -260 >= -5901 @ 0.66857 1.18/1.24 c bounds -261 >= -5901 @ 0.676579 1.18/1.24 c #Conflicts: 1000 | #Constraints: 2742 1.18/1.24 c bounds -262 >= -5901 @ 1.11783 1.18/1.24 c bounds -262 >= -5877 @ 1.12308 1.18/1.24 c bounds -262 >= -5853 @ 1.12375 1.18/1.24 c bounds -262 >= -5829 @ 1.1244 1.18/1.24 c bounds -262 >= -5805 @ 1.12505 1.18/1.24 c bounds -262 >= -5781 @ 1.12569 1.18/1.24 c bounds -262 >= -5757 @ 1.12636 1.18/1.24 c bounds -262 >= -5733 @ 1.12699 1.18/1.24 c bounds -262 >= -5709 @ 1.12765 1.18/1.24 c bounds -262 >= -5685 @ 1.12828 1.18/1.24 c bounds -262 >= -5661 @ 1.12895 1.18/1.24 c bounds -262 >= -5637 @ 1.12957 1.18/1.24 c bounds -262 >= -5613 @ 1.13022 1.18/1.24 c bounds -262 >= -5589 @ 1.13084 1.18/1.24 c bounds -262 >= -5565 @ 1.13086 1.18/1.24 c bounds -262 >= -5541 @ 1.13114 1.18/1.24 c bounds -262 >= -5517 @ 1.13176 1.18/1.24 c bounds -262 >= -5493 @ 1.13237 1.18/1.24 c bounds -262 >= -5469 @ 1.13303 1.18/1.24 c bounds -262 >= -5445 @ 1.13364 1.18/1.24 c bounds -262 >= -5421 @ 1.13429 1.18/1.24 c bounds -262 >= -5397 @ 1.13491 1.18/1.24 c bounds -262 >= -5373 @ 1.13556 1.18/1.24 c bounds -262 >= -5349 @ 1.13617 1.18/1.24 c bounds -262 >= -5325 @ 1.13682 1.18/1.24 c bounds -262 >= -5301 @ 1.13684 1.18/1.24 c bounds -262 >= -5277 @ 1.13712 1.18/1.24 c bounds -262 >= -5253 @ 1.13769 1.18/1.24 c bounds -262 >= -5229 @ 1.13833 1.18/1.24 c bounds -262 >= -5205 @ 1.13894 1.18/1.24 c bounds -262 >= -5181 @ 1.13958 1.18/1.24 c bounds -262 >= -5157 @ 1.14018 1.18/1.24 c bounds -262 >= -5133 @ 1.14082 1.18/1.24 c bounds -262 >= -5109 @ 1.14142 1.18/1.24 c bounds -262 >= -5085 @ 1.14207 1.18/1.24 c bounds -262 >= -5061 @ 1.14267 1.18/1.24 c bounds -262 >= -5037 @ 1.14331 1.18/1.24 c bounds -262 >= -5013 @ 1.1439 1.18/1.24 c bounds -262 >= -4989 @ 1.14454 1.18/1.24 c bounds -262 >= -4965 @ 1.14514 1.18/1.24 c bounds -262 >= -4941 @ 1.14577 1.18/1.24 c bounds -262 >= -4917 @ 1.14637 1.18/1.24 c bounds -262 >= -4893 @ 1.14702 1.18/1.24 c bounds -262 >= -4869 @ 1.14761 1.18/1.24 c bounds -262 >= -4845 @ 1.14825 1.18/1.24 c bounds -262 >= -4821 @ 1.14884 1.18/1.24 c bounds -262 >= -4797 @ 1.14948 1.18/1.24 c bounds -262 >= -4773 @ 1.15007 1.18/1.24 c bounds -262 >= -4749 @ 1.15074 1.18/1.24 c bounds -262 >= -4725 @ 1.15133 1.18/1.24 c bounds -262 >= -4701 @ 1.15198 1.18/1.24 c bounds -262 >= -4677 @ 1.15257 1.18/1.24 c bounds -262 >= -4653 @ 1.15321 1.18/1.24 c bounds -262 >= -4629 @ 1.15379 1.18/1.24 c bounds -262 >= -4605 @ 1.15443 1.18/1.24 c bounds -262 >= -4581 @ 1.15502 1.18/1.24 c bounds -262 >= -4557 @ 1.15565 1.18/1.24 c bounds -262 >= -4533 @ 1.15623 1.18/1.24 c bounds -262 >= -4509 @ 1.15687 1.18/1.24 c bounds -262 >= -4485 @ 1.15746 1.18/1.24 c bounds -262 >= -4461 @ 1.15809 1.18/1.24 c bounds -262 >= -4437 @ 1.15866 1.18/1.24 c bounds -262 >= -4413 @ 1.15932 1.18/1.24 c bounds -262 >= -4389 @ 1.15989 1.18/1.24 c bounds -262 >= -4365 @ 1.16052 1.18/1.24 c bounds -262 >= -4341 @ 1.16109 1.18/1.24 c bounds -262 >= -4317 @ 1.16172 1.18/1.24 c bounds -262 >= -4293 @ 1.1623 1.18/1.24 c bounds -262 >= -4269 @ 1.16292 1.18/1.24 c bounds -262 >= -4245 @ 1.16349 1.18/1.24 c bounds -262 >= -4221 @ 1.16411 1.18/1.24 c bounds -262 >= -4197 @ 1.16468 1.18/1.24 c bounds -262 >= -4173 @ 1.1653 1.18/1.24 c bounds -262 >= -4149 @ 1.16586 1.18/1.24 c bounds -262 >= -4125 @ 1.16649 1.18/1.24 c bounds -262 >= -4101 @ 1.16706 1.18/1.24 c bounds -262 >= -4077 @ 1.16768 1.18/1.24 c bounds -262 >= -4053 @ 1.16825 1.18/1.24 c bounds -262 >= -4029 @ 1.16888 1.18/1.24 c bounds -262 >= -4005 @ 1.16944 1.18/1.24 c bounds -262 >= -3981 @ 1.17008 1.18/1.24 c bounds -262 >= -3957 @ 1.17064 1.18/1.24 c bounds -262 >= -3933 @ 1.17123 1.18/1.24 c bounds -262 >= -3909 @ 1.17179 1.18/1.24 c bounds -262 >= -3885 @ 1.1724 1.18/1.24 c bounds -262 >= -3861 @ 1.17296 1.18/1.24 c bounds -262 >= -3837 @ 1.17417 1.18/1.24 c bounds -262 >= -3813 @ 1.17602 1.58/1.69 c bounds -262 >= -3789 @ 1.17825 1.58/1.69 c bounds -262 >= -3765 @ 1.18865 1.58/1.69 c bounds -262 >= -3741 @ 1.27079 1.58/1.69 c bounds -262 >= -3717 @ 1.40713 1.58/1.69 c #Conflicts: 2000 | #Constraints: 4222 1.58/1.69 c INPROCESSING 1.58/1.69 c GARBAGE COLLECT 1.58/1.69 c rational objective -3285 2.87/2.98 c #Conflicts: 3000 | #Constraints: 4085 2.87/2.98 c bounds -262 >= -3693 @ 2.56013 2.87/2.98 c bounds -264 >= -3693 @ 2.56761 2.87/2.98 c #Conflicts: 4000 | #Constraints: 5104 2.87/2.98 c INPROCESSING 2.87/2.98 c GARBAGE COLLECT 2.87/2.98 c rational objective -3021 4.08/4.15 c bounds -266 >= -3693 @ 2.88962 4.08/4.15 c #Conflicts: 5000 | #Constraints: 4504 4.08/4.15 c #Conflicts: 6000 | #Constraints: 5506 4.08/4.15 c INPROCESSING 4.08/4.15 c GARBAGE COLLECT 4.08/4.15 c rational objective -2998 5.86/5.95 c #Conflicts: 7000 | #Constraints: 4509 5.86/5.95 c #Conflicts: 8000 | #Constraints: 5510 5.86/5.95 c #Conflicts: 9000 | #Constraints: 6510 5.86/5.95 c INPROCESSING 5.86/5.95 c GARBAGE COLLECT 5.86/5.95 c rational objective -2991.33 7.36/7.47 c bounds -268 >= -3693 @ 5.89731 7.36/7.47 c #Conflicts: 10000 | #Constraints: 5254 7.36/7.47 c #Conflicts: 11000 | #Constraints: 6254 7.36/7.47 c #Conflicts: 12000 | #Constraints: 7254 7.36/7.47 c INPROCESSING 7.36/7.47 c GARBAGE COLLECT 7.36/7.47 c rational objective -2970.67 8.97/9.03 c #Conflicts: 13000 | #Constraints: 5689 8.97/9.03 c #Conflicts: 14000 | #Constraints: 6691 8.97/9.03 c #Conflicts: 15000 | #Constraints: 7695 8.97/9.03 c INPROCESSING 8.97/9.03 c GARBAGE COLLECT 8.97/9.03 c rational objective -2964.67 12.35/12.41 c bounds -268 >= -3670 @ 9.39635 12.35/12.41 c #Conflicts: 16000 | #Constraints: 5911 12.35/12.41 c #Conflicts: 17000 | #Constraints: 6915 12.35/12.41 c #Conflicts: 18000 | #Constraints: 7917 12.35/12.41 c INPROCESSING 12.35/12.41 c GARBAGE COLLECT 12.35/12.41 c rational objective -2958.17 14.25/14.38 c #Conflicts: 19000 | #Constraints: 5940 14.25/14.38 c bounds -270 >= -3670 @ 12.5273 14.25/14.38 c #Conflicts: 20000 | #Constraints: 6943 14.25/14.38 c #Conflicts: 21000 | #Constraints: 7943 14.25/14.38 c INPROCESSING 14.25/14.38 c GARBAGE COLLECT 14.25/14.38 c rational objective -2938.83 16.84/16.99 c #Conflicts: 22000 | #Constraints: 5733 16.84/16.99 c #Conflicts: 23000 | #Constraints: 6733 16.84/16.99 c #Conflicts: 24000 | #Constraints: 7733 16.84/16.99 c #Conflicts: 25000 | #Constraints: 8735 16.84/16.99 c INPROCESSING 16.84/16.99 c GARBAGE COLLECT 16.84/16.99 c rational objective -2938.61 19.05/19.17 c bounds -270 >= -3650 @ 16.5801 19.05/19.17 c bounds -270 >= -3630 @ 16.5803 19.05/19.17 c bounds -270 >= -3610 @ 16.6237 19.05/19.17 c #Conflicts: 26000 | #Constraints: 6344 19.05/19.17 c #Conflicts: 27000 | #Constraints: 7347 19.05/19.17 c #Conflicts: 28000 | #Constraints: 8353 19.05/19.17 c #Conflicts: 29000 | #Constraints: 9359 19.05/19.17 c INPROCESSING 19.05/19.17 c GARBAGE COLLECT 19.05/19.17 c rational objective -2938.61 21.23/21.37 c #Conflicts: 30000 | #Constraints: 6796 21.23/21.37 c #Conflicts: 31000 | #Constraints: 7800 21.23/21.37 c #Conflicts: 32000 | #Constraints: 8803 21.23/21.37 c #Conflicts: 33000 | #Constraints: 9816 21.23/21.37 c INPROCESSING 21.23/21.37 c GARBAGE COLLECT 21.23/21.37 c rational objective -2689.38 25.03/25.11 c #Conflicts: 34000 | #Constraints: 7039 25.03/25.11 c #Conflicts: 35000 | #Constraints: 8044 25.03/25.11 c #Conflicts: 36000 | #Constraints: 9048 25.03/25.11 c #Conflicts: 37000 | #Constraints: 10057 25.03/25.11 c INPROCESSING 25.03/25.11 c GARBAGE COLLECT 25.03/25.11 c rational objective -2568.28 27.61/27.73 c #Conflicts: 38000 | #Constraints: 7008 27.61/27.73 c #Conflicts: 39000 | #Constraints: 8015 27.61/27.73 c #Conflicts: 40000 | #Constraints: 9044 27.61/27.73 c #Conflicts: 41000 | #Constraints: 10092 27.61/27.73 c INPROCESSING 27.61/27.73 c GARBAGE COLLECT 27.61/27.73 c rational objective -2515.56 32.02/32.14 c #Conflicts: 42000 | #Constraints: 6898 32.02/32.14 c #Conflicts: 43000 | #Constraints: 7898 32.02/32.14 c #Conflicts: 44000 | #Constraints: 8898 32.02/32.14 c #Conflicts: 45000 | #Constraints: 9899 32.02/32.14 c #Conflicts: 46000 | #Constraints: 10902 32.02/32.14 c INPROCESSING 32.02/32.14 c GARBAGE COLLECT 32.02/32.14 c rational objective -2480.09 34.80/34.97 c #Conflicts: 47000 | #Constraints: 7424 34.80/34.97 c #Conflicts: 48000 | #Constraints: 8429 34.80/34.97 c #Conflicts: 49000 | #Constraints: 9437 34.80/34.97 c #Conflicts: 50000 | #Constraints: 10453 34.80/34.97 c #Conflicts: 51000 | #Constraints: 11492 34.80/34.97 c INPROCESSING 34.80/34.97 c GARBAGE COLLECT 34.80/34.97 c rational objective -2467.47 38.00/38.15 c #Conflicts: 52000 | #Constraints: 7898 38.00/38.15 c #Conflicts: 53000 | #Constraints: 8923 38.00/38.15 c #Conflicts: 54000 | #Constraints: 9926 38.00/38.15 c #Conflicts: 55000 | #Constraints: 10957 38.00/38.15 c #Conflicts: 56000 | #Constraints: 11982 38.00/38.15 c INPROCESSING 38.00/38.15 c GARBAGE COLLECT 38.00/38.15 c rational objective -2450.14 43.38/43.52 c #Conflicts: 57000 | #Constraints: 8160 43.38/43.52 c #Conflicts: 58000 | #Constraints: 9162 43.38/43.52 c #Conflicts: 59000 | #Constraints: 10167 43.38/43.52 c #Conflicts: 60000 | #Constraints: 11173 43.38/43.52 c #Conflicts: 61000 | #Constraints: 12176 43.38/43.52 c INPROCESSING 43.38/43.52 c GARBAGE COLLECT 43.38/43.52 c rational objective -2425.72 47.47/47.61 c #Conflicts: 62000 | #Constraints: 8093 47.47/47.61 c #Conflicts: 63000 | #Constraints: 9117 47.47/47.61 c #Conflicts: 64000 | #Constraints: 10143 47.47/47.61 c #Conflicts: 65000 | #Constraints: 11179 47.47/47.61 c #Conflicts: 66000 | #Constraints: 12195 47.47/47.61 c INPROCESSING 47.47/47.61 c GARBAGE COLLECT 47.47/47.61 c rational objective -2413.65 53.96/54.13 c #Conflicts: 67000 | #Constraints: 7977 53.96/54.13 c #Conflicts: 68000 | #Constraints: 8982 53.96/54.13 c #Conflicts: 69000 | #Constraints: 9983 53.96/54.13 c #Conflicts: 70000 | #Constraints: 10988 53.96/54.13 c #Conflicts: 71000 | #Constraints: 11990 53.96/54.13 c #Conflicts: 72000 | #Constraints: 12994 53.96/54.13 c INPROCESSING 53.96/54.13 c GARBAGE COLLECT 53.96/54.13 c rational objective -2387.27 58.34/58.50 c #Conflicts: 73000 | #Constraints: 8500 58.34/58.50 c #Conflicts: 74000 | #Constraints: 9524 58.34/58.50 c #Conflicts: 75000 | #Constraints: 10538 58.34/58.50 c #Conflicts: 76000 | #Constraints: 11575 58.34/58.50 c #Conflicts: 77000 | #Constraints: 12606 58.34/58.50 c #Conflicts: 78000 | #Constraints: 13635 58.34/58.50 c INPROCESSING 58.34/58.50 c GARBAGE COLLECT 58.34/58.50 c rational objective -2379.58 63.22/63.47 c #Conflicts: 79000 | #Constraints: 9028 63.22/63.47 c #Conflicts: 80000 | #Constraints: 10052 63.22/63.47 c #Conflicts: 81000 | #Constraints: 11086 63.22/63.47 c #Conflicts: 82000 | #Constraints: 12122 63.22/63.47 c #Conflicts: 83000 | #Constraints: 13147 63.22/63.47 c #Conflicts: 84000 | #Constraints: 14188 63.22/63.47 c INPROCESSING 63.22/63.47 c GARBAGE COLLECT 63.22/63.47 c rational objective -2345.41 72.30/72.58 c #Conflicts: 85000 | #Constraints: 9281 72.30/72.58 c #Conflicts: 86000 | #Constraints: 10281 72.30/72.58 c #Conflicts: 87000 | #Constraints: 11285 72.30/72.58 c #Conflicts: 88000 | #Constraints: 12300 72.30/72.58 c #Conflicts: 89000 | #Constraints: 13313 72.30/72.58 c #Conflicts: 90000 | #Constraints: 14323 72.30/72.58 c INPROCESSING 72.30/72.58 c GARBAGE COLLECT 72.30/72.58 c rational objective -2324.78 77.49/77.74 c #Conflicts: 91000 | #Constraints: 9179 77.49/77.74 c #Conflicts: 92000 | #Constraints: 10198 77.49/77.74 c #Conflicts: 93000 | #Constraints: 11238 77.49/77.74 c #Conflicts: 94000 | #Constraints: 12272 77.49/77.74 c #Conflicts: 95000 | #Constraints: 13314 77.49/77.74 c #Conflicts: 96000 | #Constraints: 14335 77.49/77.74 c INPROCESSING 77.49/77.74 c GARBAGE COLLECT 77.49/77.74 c rational objective -2311.23 82.47/82.71 c #Conflicts: 97000 | #Constraints: 9060 82.47/82.71 c #Conflicts: 98000 | #Constraints: 10108 82.47/82.71 c #Conflicts: 99000 | #Constraints: 11159 82.47/82.71 c #Conflicts: 100000 | #Constraints: 12212 82.47/82.71 c #Conflicts: 101000 | #Constraints: 13262 82.47/82.71 c #Conflicts: 102000 | #Constraints: 14301 82.47/82.71 c #Conflicts: 103000 | #Constraints: 15341 82.47/82.71 c INPROCESSING 82.47/82.71 c GARBAGE COLLECT 82.47/82.71 c rational objective -2292.77 93.25/93.52 c #Conflicts: 104000 | #Constraints: 9764 93.25/93.52 c #Conflicts: 105000 | #Constraints: 10766 93.25/93.52 c #Conflicts: 106000 | #Constraints: 11766 93.25/93.52 c #Conflicts: 107000 | #Constraints: 12768 93.25/93.52 c #Conflicts: 108000 | #Constraints: 13769 93.25/93.52 c #Conflicts: 109000 | #Constraints: 14775 93.25/93.52 c #Conflicts: 110000 | #Constraints: 15796 93.25/93.52 c INPROCESSING 93.25/93.52 c GARBAGE COLLECT 93.25/93.52 c rational objective -2271.6 99.54/99.82 c #Conflicts: 111000 | #Constraints: 10022 99.54/99.82 c #Conflicts: 112000 | #Constraints: 11069 99.54/99.82 c #Conflicts: 113000 | #Constraints: 12105 99.54/99.82 c #Conflicts: 114000 | #Constraints: 13141 99.54/99.82 c #Conflicts: 115000 | #Constraints: 14142 99.54/99.82 c #Conflicts: 116000 | #Constraints: 15169 99.54/99.82 c #Conflicts: 117000 | #Constraints: 16180 99.54/99.82 c INPROCESSING 99.54/99.82 c GARBAGE COLLECT 99.54/99.82 c rational objective -2262.68 106.73/107.03 c #Conflicts: 118000 | #Constraints: 10300 106.73/107.03 c #Conflicts: 119000 | #Constraints: 11332 106.73/107.03 c #Conflicts: 120000 | #Constraints: 12384 106.73/107.03 c #Conflicts: 121000 | #Constraints: 13428 106.73/107.03 c #Conflicts: 122000 | #Constraints: 14455 106.73/107.03 c #Conflicts: 123000 | #Constraints: 15483 106.73/107.03 c #Conflicts: 124000 | #Constraints: 16519 106.73/107.03 c INPROCESSING 106.73/107.03 c GARBAGE COLLECT 106.73/107.03 c rational objective -2247.25 120.09/120.46 c #Conflicts: 125000 | #Constraints: 10353 120.09/120.46 c #Conflicts: 126000 | #Constraints: 11353 120.09/120.46 c #Conflicts: 127000 | #Constraints: 12357 120.09/120.46 c #Conflicts: 128000 | #Constraints: 13364 120.09/120.46 c #Conflicts: 129000 | #Constraints: 14366 120.09/120.46 c #Conflicts: 130000 | #Constraints: 15368 120.09/120.46 c #Conflicts: 131000 | #Constraints: 16374 120.09/120.46 c INPROCESSING 120.09/120.46 c GARBAGE COLLECT 120.09/120.46 c rational objective -2226.7 127.26/127.64 c #Conflicts: 132000 | #Constraints: 9981 127.26/127.64 c #Conflicts: 133000 | #Constraints: 11021 127.26/127.64 c #Conflicts: 134000 | #Constraints: 12065 127.26/127.64 c #Conflicts: 135000 | #Constraints: 13103 127.26/127.64 c #Conflicts: 136000 | #Constraints: 14150 127.26/127.64 c #Conflicts: 137000 | #Constraints: 15175 127.26/127.64 c #Conflicts: 138000 | #Constraints: 16219 127.26/127.64 c #Conflicts: 139000 | #Constraints: 17252 127.26/127.64 c INPROCESSING 127.26/127.64 c GARBAGE COLLECT 127.26/127.64 c rational objective -2214.44 135.54/135.98 c #Conflicts: 140000 | #Constraints: 10751 135.54/135.98 c #Conflicts: 141000 | #Constraints: 11788 135.54/135.98 c #Conflicts: 142000 | #Constraints: 12826 135.54/135.98 c #Conflicts: 143000 | #Constraints: 13862 135.54/135.98 c #Conflicts: 144000 | #Constraints: 14910 135.54/135.98 c #Conflicts: 145000 | #Constraints: 15958 135.54/135.98 c #Conflicts: 146000 | #Constraints: 16988 135.54/135.98 c #Conflicts: 147000 | #Constraints: 18034 135.54/135.98 c INPROCESSING 135.54/135.98 c GARBAGE COLLECT 135.54/135.98 c rational objective -2198.82 153.10/153.58 c #Conflicts: 148000 | #Constraints: 11209 153.10/153.58 c #Conflicts: 149000 | #Constraints: 12209 153.10/153.58 c #Conflicts: 150000 | #Constraints: 13220 153.10/153.58 c #Conflicts: 151000 | #Constraints: 14226 153.10/153.58 c #Conflicts: 152000 | #Constraints: 15228 153.10/153.58 c #Conflicts: 153000 | #Constraints: 16228 153.10/153.58 c #Conflicts: 154000 | #Constraints: 17234 153.10/153.58 c #Conflicts: 155000 | #Constraints: 18249 153.10/153.58 c INPROCESSING 153.10/153.58 c GARBAGE COLLECT 153.10/153.58 c rational objective -2189.98 161.28/161.76 c #Conflicts: 156000 | #Constraints: 11258 161.28/161.76 c #Conflicts: 157000 | #Constraints: 12303 161.28/161.76 c #Conflicts: 158000 | #Constraints: 13350 161.28/161.76 c #Conflicts: 159000 | #Constraints: 14391 161.28/161.76 c #Conflicts: 160000 | #Constraints: 15432 161.28/161.76 c #Conflicts: 161000 | #Constraints: 16459 161.28/161.76 c #Conflicts: 162000 | #Constraints: 17481 161.28/161.76 c #Conflicts: 163000 | #Constraints: 18514 161.28/161.76 c INPROCESSING 161.28/161.76 c GARBAGE COLLECT 161.28/161.76 c rational objective -2178.68 169.36/169.84 c #Conflicts: 164000 | #Constraints: 11392 169.36/169.84 c #Conflicts: 165000 | #Constraints: 12448 169.36/169.84 c #Conflicts: 166000 | #Constraints: 13483 169.36/169.84 c #Conflicts: 167000 | #Constraints: 14530 169.36/169.84 c #Conflicts: 168000 | #Constraints: 15572 169.36/169.84 c #Conflicts: 169000 | #Constraints: 16613 169.36/169.84 c #Conflicts: 170000 | #Constraints: 17670 169.36/169.84 c #Conflicts: 171000 | #Constraints: 18707 169.36/169.84 c INPROCESSING 169.36/169.84 c GARBAGE COLLECT 169.36/169.84 c rational objective -2158.2 178.34/178.85 c #Conflicts: 172000 | #Constraints: 11279 178.34/178.85 c #Conflicts: 173000 | #Constraints: 12310 178.34/178.85 c #Conflicts: 174000 | #Constraints: 13352 178.34/178.85 c #Conflicts: 175000 | #Constraints: 14396 178.34/178.85 c #Conflicts: 176000 | #Constraints: 15443 178.34/178.85 c #Conflicts: 177000 | #Constraints: 16480 178.34/178.85 c #Conflicts: 178000 | #Constraints: 17524 178.34/178.85 c #Conflicts: 179000 | #Constraints: 18567 178.34/178.85 c #Conflicts: 180000 | #Constraints: 19601 178.34/178.85 c INPROCESSING 178.34/178.85 c GARBAGE COLLECT 178.34/178.85 c rational objective -2139.45 199.59/200.14 c #Conflicts: 181000 | #Constraints: 11891 199.59/200.14 c #Conflicts: 182000 | #Constraints: 12892 199.59/200.14 c #Conflicts: 183000 | #Constraints: 13893 199.59/200.14 c #Conflicts: 184000 | #Constraints: 14894 199.59/200.14 c #Conflicts: 185000 | #Constraints: 15901 199.59/200.14 c #Conflicts: 186000 | #Constraints: 16905 199.59/200.14 c #Conflicts: 187000 | #Constraints: 17914 199.59/200.14 c #Conflicts: 188000 | #Constraints: 18919 199.59/200.14 c #Conflicts: 189000 | #Constraints: 19926 199.59/200.14 c INPROCESSING 199.59/200.14 c GARBAGE COLLECT 199.59/200.14 c rational objective -2120.21 209.75/210.31 c #Conflicts: 190000 | #Constraints: 12075 209.75/210.31 c #Conflicts: 191000 | #Constraints: 13104 209.75/210.31 c #Conflicts: 192000 | #Constraints: 14134 209.75/210.31 c #Conflicts: 193000 | #Constraints: 15165 209.75/210.31 c #Conflicts: 194000 | #Constraints: 16194 209.75/210.31 c #Conflicts: 195000 | #Constraints: 17224 209.75/210.31 c #Conflicts: 196000 | #Constraints: 18259 209.75/210.31 c #Conflicts: 197000 | #Constraints: 19297 209.75/210.31 c #Conflicts: 198000 | #Constraints: 20342 209.75/210.31 c INPROCESSING 209.75/210.31 c GARBAGE COLLECT 209.75/210.31 c rational objective -2116.56 218.04/218.61 c #Conflicts: 199000 | #Constraints: 12369 218.04/218.61 c #Conflicts: 200000 | #Constraints: 13370 218.04/218.61 c #Conflicts: 201000 | #Constraints: 14417 218.04/218.61 c #Conflicts: 202000 | #Constraints: 15482 218.04/218.61 c #Conflicts: 203000 | #Constraints: 16550 218.04/218.61 c #Conflicts: 204000 | #Constraints: 17600 218.04/218.61 c #Conflicts: 205000 | #Constraints: 18659 218.04/218.61 c #Conflicts: 206000 | #Constraints: 19693 218.04/218.61 c #Conflicts: 207000 | #Constraints: 20723 218.04/218.61 c INPROCESSING 218.04/218.61 c GARBAGE COLLECT 218.04/218.61 c rational objective -2098.19 228.10/228.78 c #Conflicts: 208000 | #Constraints: 12501 228.10/228.78 c #Conflicts: 209000 | #Constraints: 13548 228.10/228.78 c #Conflicts: 210000 | #Constraints: 14589 228.10/228.78 c #Conflicts: 211000 | #Constraints: 15621 228.10/228.78 c #Conflicts: 212000 | #Constraints: 16683 228.10/228.78 c #Conflicts: 213000 | #Constraints: 17720 228.10/228.78 c #Conflicts: 214000 | #Constraints: 18771 228.10/228.78 c #Conflicts: 215000 | #Constraints: 19824 228.10/228.78 c #Conflicts: 216000 | #Constraints: 20876 228.10/228.78 c INPROCESSING 228.10/228.78 c GARBAGE COLLECT 228.10/228.78 c rational objective -2085.68 259.45/260.15 c #Conflicts: 217000 | #Constraints: 12356 259.45/260.15 c #Conflicts: 218000 | #Constraints: 13362 259.45/260.15 c #Conflicts: 219000 | #Constraints: 14364 259.45/260.15 c #Conflicts: 220000 | #Constraints: 15364 259.45/260.15 c #Conflicts: 221000 | #Constraints: 16367 259.45/260.15 c #Conflicts: 222000 | #Constraints: 17370 259.45/260.15 c #Conflicts: 223000 | #Constraints: 18374 259.45/260.15 c #Conflicts: 224000 | #Constraints: 19377 259.45/260.15 c #Conflicts: 225000 | #Constraints: 20380 259.45/260.15 c #Conflicts: 226000 | #Constraints: 21380 259.45/260.15 c INPROCESSING 259.45/260.15 c GARBAGE COLLECT 259.45/260.15 c rational objective -2079.17 271.10/271.84 c #Conflicts: 227000 | #Constraints: 12712 271.10/271.84 c #Conflicts: 228000 | #Constraints: 13752 271.10/271.84 c #Conflicts: 229000 | #Constraints: 14787 271.10/271.84 c #Conflicts: 230000 | #Constraints: 15822 271.10/271.84 c #Conflicts: 231000 | #Constraints: 16849 271.10/271.84 c #Conflicts: 232000 | #Constraints: 17890 271.10/271.84 c #Conflicts: 233000 | #Constraints: 18942 271.10/271.84 c #Conflicts: 234000 | #Constraints: 19989 271.10/271.84 c #Conflicts: 235000 | #Constraints: 21036 271.10/271.84 c #Conflicts: 236000 | #Constraints: 22080 271.10/271.84 c INPROCESSING 271.10/271.84 c GARBAGE COLLECT 271.10/271.84 c rational objective -2074.78 283.06/283.86 c #Conflicts: 237000 | #Constraints: 13292 283.06/283.86 c #Conflicts: 238000 | #Constraints: 14333 283.06/283.86 c #Conflicts: 239000 | #Constraints: 15378 283.06/283.86 c #Conflicts: 240000 | #Constraints: 16433 283.06/283.86 c #Conflicts: 241000 | #Constraints: 17477 283.06/283.86 c #Conflicts: 242000 | #Constraints: 18532 283.06/283.86 c #Conflicts: 243000 | #Constraints: 19591 283.06/283.86 c #Conflicts: 244000 | #Constraints: 20640 283.06/283.86 c #Conflicts: 245000 | #Constraints: 21681 283.06/283.86 c #Conflicts: 246000 | #Constraints: 22716 283.06/283.86 c INPROCESSING 283.06/283.86 c GARBAGE COLLECT 283.06/283.86 c rational objective -2065.78 296.13/296.98 c #Conflicts: 247000 | #Constraints: 13600 296.13/296.98 c #Conflicts: 248000 | #Constraints: 14637 296.13/296.98 c #Conflicts: 249000 | #Constraints: 15674 296.13/296.98 c #Conflicts: 250000 | #Constraints: 16704 296.13/296.98 c #Conflicts: 251000 | #Constraints: 17737 296.13/296.98 c #Conflicts: 252000 | #Constraints: 18791 296.13/296.98 c #Conflicts: 253000 | #Constraints: 19840 296.13/296.98 c #Conflicts: 254000 | #Constraints: 20894 296.13/296.98 c #Conflicts: 255000 | #Constraints: 21941 296.13/296.98 c #Conflicts: 256000 | #Constraints: 22993 296.13/296.98 c INPROCESSING 296.13/296.98 c GARBAGE COLLECT 296.13/296.98 c rational objective -2060.95 328.06/329.00 c #Conflicts: 257000 | #Constraints: 13597 328.06/329.00 c #Conflicts: 258000 | #Constraints: 14599 328.06/329.00 c #Conflicts: 259000 | #Constraints: 15604 328.06/329.00 c #Conflicts: 260000 | #Constraints: 16611 328.06/329.00 c #Conflicts: 261000 | #Constraints: 17616 328.06/329.00 c #Conflicts: 262000 | #Constraints: 18623 328.06/329.00 c #Conflicts: 263000 | #Constraints: 19626 328.06/329.00 c #Conflicts: 264000 | #Constraints: 20632 328.06/329.00 c #Conflicts: 265000 | #Constraints: 21636 328.06/329.00 c #Conflicts: 266000 | #Constraints: 22643 328.06/329.00 c INPROCESSING 328.06/329.00 c GARBAGE COLLECT 328.06/329.00 c rational objective -2056.69 341.52/342.40 c #Conflicts: 267000 | #Constraints: 13154 341.52/342.40 c #Conflicts: 268000 | #Constraints: 14202 341.52/342.40 c #Conflicts: 269000 | #Constraints: 15245 341.52/342.40 c #Conflicts: 270000 | #Constraints: 16279 341.52/342.40 c #Conflicts: 271000 | #Constraints: 17320 341.52/342.40 c #Conflicts: 272000 | #Constraints: 18368 341.52/342.40 c #Conflicts: 273000 | #Constraints: 19423 341.52/342.40 c #Conflicts: 274000 | #Constraints: 20471 341.52/342.40 c #Conflicts: 275000 | #Constraints: 21494 341.52/342.40 c #Conflicts: 276000 | #Constraints: 22539 341.52/342.40 c #Conflicts: 277000 | #Constraints: 23591 341.52/342.40 c INPROCESSING 341.52/342.40 c GARBAGE COLLECT 341.52/342.40 c rational objective -2053.5 355.39/356.33 c #Conflicts: 278000 | #Constraints: 13920 355.39/356.33 c #Conflicts: 279000 | #Constraints: 14954 355.39/356.33 c #Conflicts: 280000 | #Constraints: 16006 355.39/356.33 c #Conflicts: 281000 | #Constraints: 17054 355.39/356.33 c #Conflicts: 282000 | #Constraints: 18091 355.39/356.33 c #Conflicts: 283000 | #Constraints: 19136 355.39/356.33 c #Conflicts: 284000 | #Constraints: 20178 355.39/356.33 c #Conflicts: 285000 | #Constraints: 21218 355.39/356.33 c #Conflicts: 286000 | #Constraints: 22263 355.39/356.33 c #Conflicts: 287000 | #Constraints: 23304 355.39/356.33 c #Conflicts: 288000 | #Constraints: 24340 355.39/356.33 c INPROCESSING 355.39/356.33 c GARBAGE COLLECT 355.39/356.33 c rational objective -2051.68 393.30/394.33 c #Conflicts: 289000 | #Constraints: 14369 393.30/394.33 c #Conflicts: 290000 | #Constraints: 15377 393.30/394.33 c #Conflicts: 291000 | #Constraints: 16386 393.30/394.33 c #Conflicts: 292000 | #Constraints: 17396 393.30/394.33 c #Conflicts: 293000 | #Constraints: 18407 393.30/394.33 c #Conflicts: 294000 | #Constraints: 19418 393.30/394.33 c #Conflicts: 295000 | #Constraints: 20426 393.30/394.33 c #Conflicts: 296000 | #Constraints: 21429 393.30/394.33 c #Conflicts: 297000 | #Constraints: 22436 393.30/394.33 c #Conflicts: 298000 | #Constraints: 23440 393.30/394.33 c #Conflicts: 299000 | #Constraints: 24443 393.30/394.33 c INPROCESSING 393.30/394.33 c GARBAGE COLLECT 393.30/394.33 c rational objective -2048.61 407.56/408.68 c #Conflicts: 300000 | #Constraints: 14344 407.56/408.68 c #Conflicts: 301000 | #Constraints: 15393 407.56/408.68 c #Conflicts: 302000 | #Constraints: 16432 407.56/408.68 c #Conflicts: 303000 | #Constraints: 17476 407.56/408.68 c #Conflicts: 304000 | #Constraints: 18520 407.56/408.68 c #Conflicts: 305000 | #Constraints: 19561 407.56/408.68 c #Conflicts: 306000 | #Constraints: 20610 407.56/408.68 c #Conflicts: 307000 | #Constraints: 21664 407.56/408.68 c #Conflicts: 308000 | #Constraints: 22713 407.56/408.68 c #Conflicts: 309000 | #Constraints: 23757 407.56/408.68 c #Conflicts: 310000 | #Constraints: 24788 407.56/408.68 c INPROCESSING 407.56/408.68 c GARBAGE COLLECT 407.56/408.68 c rational objective -2043.52 422.93/424.03 c #Conflicts: 311000 | #Constraints: 14541 422.93/424.03 c #Conflicts: 312000 | #Constraints: 15581 422.93/424.03 c #Conflicts: 313000 | #Constraints: 16615 422.93/424.03 c #Conflicts: 314000 | #Constraints: 17652 422.93/424.03 c #Conflicts: 315000 | #Constraints: 18702 422.93/424.03 c #Conflicts: 316000 | #Constraints: 19753 422.93/424.03 c #Conflicts: 317000 | #Constraints: 20815 422.93/424.03 c #Conflicts: 318000 | #Constraints: 21865 422.93/424.03 c #Conflicts: 319000 | #Constraints: 22909 422.93/424.03 c #Conflicts: 320000 | #Constraints: 23952 422.93/424.03 c #Conflicts: 321000 | #Constraints: 24999 422.93/424.03 c INPROCESSING 422.93/424.03 c GARBAGE COLLECT 422.93/424.03 c rational objective -2039.6 439.18/440.39 c #Conflicts: 322000 | #Constraints: 14438 439.18/440.39 c #Conflicts: 323000 | #Constraints: 15477 439.18/440.39 c #Conflicts: 324000 | #Constraints: 16507 439.18/440.39 c #Conflicts: 325000 | #Constraints: 17565 439.18/440.39 c #Conflicts: 326000 | #Constraints: 18605 439.18/440.39 c #Conflicts: 327000 | #Constraints: 19643 439.18/440.39 c #Conflicts: 328000 | #Constraints: 20671 439.18/440.39 c #Conflicts: 329000 | #Constraints: 21711 439.18/440.39 c #Conflicts: 330000 | #Constraints: 22746 439.18/440.39 c #Conflicts: 331000 | #Constraints: 23784 439.18/440.39 c #Conflicts: 332000 | #Constraints: 24830 439.18/440.39 c #Conflicts: 333000 | #Constraints: 25891 439.18/440.39 c INPROCESSING 439.18/440.39 c GARBAGE COLLECT 439.18/440.39 c rational objective -2037.45 484.97/486.27 c #Conflicts: 334000 | #Constraints: 15051 484.97/486.27 c #Conflicts: 335000 | #Constraints: 16058 484.97/486.27 c #Conflicts: 336000 | #Constraints: 17062 484.97/486.27 c #Conflicts: 337000 | #Constraints: 18063 484.97/486.27 c #Conflicts: 338000 | #Constraints: 19068 484.97/486.27 c #Conflicts: 339000 | #Constraints: 20078 484.97/486.27 c #Conflicts: 340000 | #Constraints: 21088 484.97/486.27 c #Conflicts: 341000 | #Constraints: 22099 484.97/486.27 c #Conflicts: 342000 | #Constraints: 23108 484.97/486.27 c #Conflicts: 343000 | #Constraints: 24116 484.97/486.27 c #Conflicts: 344000 | #Constraints: 25121 484.97/486.27 c #Conflicts: 345000 | #Constraints: 26130 484.97/486.27 c INPROCESSING 484.97/486.27 c GARBAGE COLLECT 484.97/486.27 c rational objective -2035.48 500.62/501.96 c #Conflicts: 346000 | #Constraints: 15202 500.62/501.96 c #Conflicts: 347000 | #Constraints: 16238 500.62/501.96 c #Conflicts: 348000 | #Constraints: 17295 500.62/501.96 c #Conflicts: 349000 | #Constraints: 18343 500.62/501.96 c #Conflicts: 350000 | #Constraints: 19386 500.62/501.96 c #Conflicts: 351000 | #Constraints: 20421 500.62/501.96 c #Conflicts: 352000 | #Constraints: 21446 500.62/501.96 c #Conflicts: 353000 | #Constraints: 22480 500.62/501.96 c #Conflicts: 354000 | #Constraints: 23530 500.62/501.96 c #Conflicts: 355000 | #Constraints: 24591 500.62/501.96 c #Conflicts: 356000 | #Constraints: 25630 500.62/501.96 c #Conflicts: 357000 | #Constraints: 26671 500.62/501.96 c INPROCESSING 500.62/501.96 c GARBAGE COLLECT 500.62/501.96 c rational objective -2027.19 516.28/517.63 c #Conflicts: 358000 | #Constraints: 15579 516.28/517.63 c #Conflicts: 359000 | #Constraints: 16630 516.28/517.63 c #Conflicts: 360000 | #Constraints: 17682 516.28/517.63 c #Conflicts: 361000 | #Constraints: 18731 516.28/517.63 c #Conflicts: 362000 | #Constraints: 19775 516.28/517.63 c #Conflicts: 363000 | #Constraints: 20802 516.28/517.63 c #Conflicts: 364000 | #Constraints: 21845 516.28/517.63 c #Conflicts: 365000 | #Constraints: 22906 516.28/517.63 c #Conflicts: 366000 | #Constraints: 23952 516.28/517.63 c #Conflicts: 367000 | #Constraints: 24994 516.28/517.63 c #Conflicts: 368000 | #Constraints: 26022 516.28/517.63 c #Conflicts: 369000 | #Constraints: 27052 516.28/517.63 c INPROCESSING 516.28/517.63 c GARBAGE COLLECT 516.28/517.63 c rational objective -2020.25 534.24/535.69 c #Conflicts: 370000 | #Constraints: 15663 534.24/535.69 c #Conflicts: 371000 | #Constraints: 16704 534.24/535.69 c #Conflicts: 372000 | #Constraints: 17753 534.24/535.69 c #Conflicts: 373000 | #Constraints: 18797 534.24/535.69 c #Conflicts: 374000 | #Constraints: 19853 534.24/535.69 c #Conflicts: 375000 | #Constraints: 20910 534.24/535.69 c #Conflicts: 376000 | #Constraints: 21958 534.24/535.69 c #Conflicts: 377000 | #Constraints: 23005 534.24/535.69 c #Conflicts: 378000 | #Constraints: 24053 534.24/535.69 c #Conflicts: 379000 | #Constraints: 25101 534.24/535.69 c #Conflicts: 380000 | #Constraints: 26144 534.24/535.69 c #Conflicts: 381000 | #Constraints: 27203 534.24/535.69 c INPROCESSING 534.24/535.69 c GARBAGE COLLECT 534.24/535.69 c rational objective -2014.07 590.00/591.59 c #Conflicts: 382000 | #Constraints: 15524 590.00/591.59 c #Conflicts: 383000 | #Constraints: 16530 590.00/591.59 c #Conflicts: 384000 | #Constraints: 17534 590.00/591.59 c #Conflicts: 385000 | #Constraints: 18536 590.00/591.59 c #Conflicts: 386000 | #Constraints: 19539 590.00/591.59 c #Conflicts: 387000 | #Constraints: 20543 590.00/591.59 c #Conflicts: 388000 | #Constraints: 21547 590.00/591.59 c #Conflicts: 389000 | #Constraints: 22553 590.00/591.59 c #Conflicts: 390000 | #Constraints: 23557 590.00/591.59 c #Conflicts: 391000 | #Constraints: 24559 590.00/591.59 c #Conflicts: 392000 | #Constraints: 25574 590.00/591.59 c #Conflicts: 393000 | #Constraints: 26592 590.00/591.59 c #Conflicts: 394000 | #Constraints: 27595 590.00/591.59 c INPROCESSING 590.00/591.59 c GARBAGE COLLECT 590.00/591.59 c rational objective -2012.1 608.35/609.91 c #Conflicts: 395000 | #Constraints: 15810 608.35/609.91 c #Conflicts: 396000 | #Constraints: 16827 608.35/609.91 c #Conflicts: 397000 | #Constraints: 17865 608.35/609.91 c #Conflicts: 398000 | #Constraints: 18909 608.35/609.91 c #Conflicts: 399000 | #Constraints: 19952 608.35/609.91 c #Conflicts: 400000 | #Constraints: 21002 608.35/609.91 c #Conflicts: 401000 | #Constraints: 22044 608.35/609.91 c #Conflicts: 402000 | #Constraints: 23105 608.35/609.91 c #Conflicts: 403000 | #Constraints: 24150 608.35/609.91 c #Conflicts: 404000 | #Constraints: 25200 608.35/609.91 c #Conflicts: 405000 | #Constraints: 26265 608.35/609.91 c #Conflicts: 406000 | #Constraints: 27314 608.35/609.91 c #Conflicts: 407000 | #Constraints: 28355 608.35/609.91 c INPROCESSING 608.35/609.91 c GARBAGE COLLECT 608.35/609.91 c rational objective -2005.68 626.53/628.18 c #Conflicts: 408000 | #Constraints: 16429 626.53/628.18 c #Conflicts: 409000 | #Constraints: 17472 626.53/628.18 c #Conflicts: 410000 | #Constraints: 18519 626.53/628.18 c #Conflicts: 411000 | #Constraints: 19577 626.53/628.18 c #Conflicts: 412000 | #Constraints: 20639 626.53/628.18 c #Conflicts: 413000 | #Constraints: 21685 626.53/628.18 c #Conflicts: 414000 | #Constraints: 22731 626.53/628.18 c #Conflicts: 415000 | #Constraints: 23762 626.53/628.18 c #Conflicts: 416000 | #Constraints: 24800 626.53/628.18 c #Conflicts: 417000 | #Constraints: 25838 626.53/628.18 c #Conflicts: 418000 | #Constraints: 26876 626.53/628.18 c #Conflicts: 419000 | #Constraints: 27907 626.53/628.18 c #Conflicts: 420000 | #Constraints: 28948 626.53/628.18 c INPROCESSING 626.53/628.18 c GARBAGE COLLECT 626.53/628.18 c rational objective -2004.4 647.96/649.69 c #Conflicts: 421000 | #Constraints: 16719 647.96/649.69 c #Conflicts: 422000 | #Constraints: 17752 647.96/649.69 c #Conflicts: 423000 | #Constraints: 18790 647.96/649.69 c #Conflicts: 424000 | #Constraints: 19837 647.96/649.69 c #Conflicts: 425000 | #Constraints: 20895 647.96/649.69 c #Conflicts: 426000 | #Constraints: 21949 647.96/649.69 c #Conflicts: 427000 | #Constraints: 22986 647.96/649.69 c #Conflicts: 428000 | #Constraints: 24033 647.96/649.69 c #Conflicts: 429000 | #Constraints: 25070 647.96/649.69 c #Conflicts: 430000 | #Constraints: 26104 647.96/649.69 c #Conflicts: 431000 | #Constraints: 27138 647.96/649.69 c #Conflicts: 432000 | #Constraints: 28195 647.96/649.69 c #Conflicts: 433000 | #Constraints: 29232 647.96/649.69 c INPROCESSING 647.96/649.69 c GARBAGE COLLECT 647.96/649.69 c rational objective -2001.33 722.48/724.39 c #Conflicts: 434000 | #Constraints: 16726 722.48/724.39 c #Conflicts: 435000 | #Constraints: 17730 722.48/724.39 c #Conflicts: 436000 | #Constraints: 18731 722.48/724.39 c #Conflicts: 437000 | #Constraints: 19731 722.48/724.39 c #Conflicts: 438000 | #Constraints: 20739 722.48/724.39 c #Conflicts: 439000 | #Constraints: 21744 722.48/724.39 c #Conflicts: 440000 | #Constraints: 22749 722.48/724.39 c #Conflicts: 441000 | #Constraints: 23757 722.48/724.39 c #Conflicts: 442000 | #Constraints: 24760 722.48/724.39 c #Conflicts: 443000 | #Constraints: 25764 722.48/724.39 c #Conflicts: 444000 | #Constraints: 26768 722.48/724.39 c #Conflicts: 445000 | #Constraints: 27772 722.48/724.39 c #Conflicts: 446000 | #Constraints: 28773 722.48/724.39 c INPROCESSING 722.48/724.39 c GARBAGE COLLECT 722.48/724.39 c rational objective -1998.26 740.43/742.38 c #Conflicts: 447000 | #Constraints: 16192 740.43/742.38 c #Conflicts: 448000 | #Constraints: 17231 740.43/742.38 c #Conflicts: 449000 | #Constraints: 18275 740.43/742.38 c #Conflicts: 450000 | #Constraints: 19317 740.43/742.38 c #Conflicts: 451000 | #Constraints: 20356 740.43/742.38 c #Conflicts: 452000 | #Constraints: 21407 740.43/742.38 c #Conflicts: 453000 | #Constraints: 22453 740.43/742.38 c #Conflicts: 454000 | #Constraints: 23517 740.43/742.38 c #Conflicts: 455000 | #Constraints: 24554 740.43/742.38 c #Conflicts: 456000 | #Constraints: 25613 740.43/742.38 c #Conflicts: 457000 | #Constraints: 26670 740.43/742.38 c #Conflicts: 458000 | #Constraints: 27732 740.43/742.38 c #Conflicts: 459000 | #Constraints: 28782 740.43/742.38 c #Conflicts: 460000 | #Constraints: 29841 740.43/742.38 c INPROCESSING 740.43/742.38 c GARBAGE COLLECT 740.43/742.38 c rational objective -1992.68 760.98/762.95 c #Conflicts: 461000 | #Constraints: 17063 760.98/762.95 c #Conflicts: 462000 | #Constraints: 18091 760.98/762.95 c #Conflicts: 463000 | #Constraints: 19129 760.98/762.95 c #Conflicts: 464000 | #Constraints: 20181 760.98/762.95 c #Conflicts: 465000 | #Constraints: 21226 760.98/762.95 c #Conflicts: 466000 | #Constraints: 22276 760.98/762.95 c #Conflicts: 467000 | #Constraints: 23325 760.98/762.95 c #Conflicts: 468000 | #Constraints: 24372 760.98/762.95 c #Conflicts: 469000 | #Constraints: 25432 760.98/762.95 c #Conflicts: 470000 | #Constraints: 26465 760.98/762.95 c #Conflicts: 471000 | #Constraints: 27508 760.98/762.95 c #Conflicts: 472000 | #Constraints: 28564 760.98/762.95 c #Conflicts: 473000 | #Constraints: 29611 760.98/762.95 c #Conflicts: 474000 | #Constraints: 30671 760.98/762.95 c INPROCESSING 760.98/762.95 c GARBAGE COLLECT 760.98/762.95 c rational objective -1988.93 781.23/783.27 c #Conflicts: 475000 | #Constraints: 17583 781.23/783.27 c #Conflicts: 476000 | #Constraints: 18635 781.23/783.27 c #Conflicts: 477000 | #Constraints: 19668 781.23/783.27 c #Conflicts: 478000 | #Constraints: 20728 781.23/783.27 c #Conflicts: 479000 | #Constraints: 21783 781.23/783.27 c #Conflicts: 480000 | #Constraints: 22829 781.23/783.27 c #Conflicts: 481000 | #Constraints: 23857 781.23/783.27 c #Conflicts: 482000 | #Constraints: 24895 781.23/783.27 c #Conflicts: 483000 | #Constraints: 25940 781.23/783.27 c #Conflicts: 484000 | #Constraints: 26979 781.23/783.27 c #Conflicts: 485000 | #Constraints: 28041 781.23/783.27 c #Conflicts: 486000 | #Constraints: 29086 781.23/783.27 c #Conflicts: 487000 | #Constraints: 30132 781.23/783.27 c #Conflicts: 488000 | #Constraints: 31169 781.23/783.27 c INPROCESSING 781.23/783.27 c GARBAGE COLLECT 781.23/783.27 c rational objective -1988.25 801.28/803.30 c #Conflicts: 489000 | #Constraints: 17821 801.28/803.30 c #Conflicts: 490000 | #Constraints: 18862 801.28/803.30 c #Conflicts: 491000 | #Constraints: 19890 801.28/803.30 c #Conflicts: 492000 | #Constraints: 20921 801.28/803.30 c #Conflicts: 493000 | #Constraints: 21971 801.28/803.30 c #Conflicts: 494000 | #Constraints: 23010 801.28/803.30 c #Conflicts: 495000 | #Constraints: 24055 801.28/803.30 c #Conflicts: 496000 | #Constraints: 25093 801.28/803.30 c #Conflicts: 497000 | #Constraints: 26129 801.28/803.30 c #Conflicts: 498000 | #Constraints: 27175 801.28/803.30 c #Conflicts: 499000 | #Constraints: 28217 801.28/803.30 c #Conflicts: 500000 | #Constraints: 29264 801.28/803.30 c #Conflicts: 501000 | #Constraints: 30301 801.28/803.30 c #Conflicts: 502000 | #Constraints: 31339 801.28/803.30 c INPROCESSING 801.28/803.30 c GARBAGE COLLECT 801.28/803.30 c rational objective -1986.64 860.53/862.70 c #Conflicts: 503000 | #Constraints: 17783 860.53/862.70 c #Conflicts: 504000 | #Constraints: 18794 860.53/862.70 c #Conflicts: 505000 | #Constraints: 19805 860.53/862.70 c #Conflicts: 506000 | #Constraints: 20810 860.53/862.70 c #Conflicts: 507000 | #Constraints: 21815 860.53/862.70 c #Conflicts: 508000 | #Constraints: 22820 860.53/862.70 c #Conflicts: 509000 | #Constraints: 23827 860.53/862.70 c #Conflicts: 510000 | #Constraints: 24831 860.53/862.70 c #Conflicts: 511000 | #Constraints: 25833 860.53/862.70 c #Conflicts: 512000 | #Constraints: 26839 860.53/862.70 c #Conflicts: 513000 | #Constraints: 27846 860.53/862.70 c #Conflicts: 514000 | #Constraints: 28860 860.53/862.70 c #Conflicts: 515000 | #Constraints: 29865 860.53/862.70 c #Conflicts: 516000 | #Constraints: 30874 860.53/862.70 c INPROCESSING 860.53/862.70 c GARBAGE COLLECT 860.53/862.70 c rational objective -1986.44 881.27/883.55 c #Conflicts: 517000 | #Constraints: 17254 881.27/883.55 c #Conflicts: 518000 | #Constraints: 18305 881.27/883.55 c #Conflicts: 519000 | #Constraints: 19336 881.27/883.55 c #Conflicts: 520000 | #Constraints: 20379 881.27/883.55 c #Conflicts: 521000 | #Constraints: 21434 881.27/883.55 c #Conflicts: 522000 | #Constraints: 22485 881.27/883.55 c #Conflicts: 523000 | #Constraints: 23526 881.27/883.55 c #Conflicts: 524000 | #Constraints: 24582 881.27/883.55 c #Conflicts: 525000 | #Constraints: 25620 881.27/883.55 c #Conflicts: 526000 | #Constraints: 26665 881.27/883.55 c #Conflicts: 527000 | #Constraints: 27715 881.27/883.55 c #Conflicts: 528000 | #Constraints: 28762 881.27/883.55 c #Conflicts: 529000 | #Constraints: 29807 881.27/883.55 c #Conflicts: 530000 | #Constraints: 30858 881.27/883.55 c #Conflicts: 531000 | #Constraints: 31894 881.27/883.55 c INPROCESSING 881.27/883.55 c GARBAGE COLLECT 881.27/883.55 c rational objective -1986.41 903.42/905.73 c #Conflicts: 532000 | #Constraints: 18080 903.42/905.73 c #Conflicts: 533000 | #Constraints: 19119 903.42/905.73 c #Conflicts: 534000 | #Constraints: 20167 903.42/905.73 c #Conflicts: 535000 | #Constraints: 21210 903.42/905.73 c #Conflicts: 536000 | #Constraints: 22254 903.42/905.73 c #Conflicts: 537000 | #Constraints: 23296 903.42/905.73 c #Conflicts: 538000 | #Constraints: 24342 903.42/905.73 c #Conflicts: 539000 | #Constraints: 25376 903.42/905.73 c #Conflicts: 540000 | #Constraints: 26417 903.42/905.73 c #Conflicts: 541000 | #Constraints: 27469 903.42/905.73 c #Conflicts: 542000 | #Constraints: 28504 903.42/905.73 c #Conflicts: 543000 | #Constraints: 29531 903.42/905.73 c #Conflicts: 544000 | #Constraints: 30583 903.42/905.73 c #Conflicts: 545000 | #Constraints: 31630 903.42/905.73 c #Conflicts: 546000 | #Constraints: 32691 903.42/905.73 c INPROCESSING 903.42/905.73 c GARBAGE COLLECT 903.42/905.73 c rational objective -1986.38 927.36/929.74 c #Conflicts: 547000 | #Constraints: 18597 927.36/929.74 c #Conflicts: 548000 | #Constraints: 19649 927.36/929.74 c #Conflicts: 549000 | #Constraints: 20699 927.36/929.74 c #Conflicts: 550000 | #Constraints: 21740 927.36/929.74 c #Conflicts: 551000 | #Constraints: 22790 927.36/929.74 c #Conflicts: 552000 | #Constraints: 23829 927.36/929.74 c #Conflicts: 553000 | #Constraints: 24860 927.36/929.74 c #Conflicts: 554000 | #Constraints: 25904 927.36/929.74 c #Conflicts: 555000 | #Constraints: 26933 927.36/929.74 c #Conflicts: 556000 | #Constraints: 27971 927.36/929.74 c #Conflicts: 557000 | #Constraints: 29020 927.36/929.74 c #Conflicts: 558000 | #Constraints: 30073 927.36/929.74 c #Conflicts: 559000 | #Constraints: 31128 927.36/929.74 c #Conflicts: 560000 | #Constraints: 32171 927.36/929.74 c #Conflicts: 561000 | #Constraints: 33213 927.36/929.74 c INPROCESSING 927.36/929.74 c GARBAGE COLLECT 927.36/929.74 c rational objective -1985.09 1016.24/1018.87 c #Conflicts: 562000 | #Constraints: 18816 1016.24/1018.87 c #Conflicts: 563000 | #Constraints: 19821 1016.24/1018.87 c #Conflicts: 564000 | #Constraints: 20827 1016.24/1018.87 c #Conflicts: 565000 | #Constraints: 21837 1016.24/1018.87 c #Conflicts: 566000 | #Constraints: 22845 1016.24/1018.87 c #Conflicts: 567000 | #Constraints: 23854 1016.24/1018.87 c #Conflicts: 568000 | #Constraints: 24861 1016.24/1018.87 c #Conflicts: 569000 | #Constraints: 25865 1016.24/1018.87 c #Conflicts: 570000 | #Constraints: 26865 1016.24/1018.87 c #Conflicts: 571000 | #Constraints: 27867 1016.24/1018.87 c #Conflicts: 572000 | #Constraints: 28875 1016.24/1018.87 c #Conflicts: 573000 | #Constraints: 29882 1016.24/1018.87 c #Conflicts: 574000 | #Constraints: 30885 1016.24/1018.87 c #Conflicts: 575000 | #Constraints: 31898 1016.24/1018.87 c #Conflicts: 576000 | #Constraints: 32915 1016.24/1018.87 c INPROCESSING 1016.24/1018.87 c GARBAGE COLLECT 1016.24/1018.87 c rational objective -1985.01 1039.78/1042.41 c #Conflicts: 577000 | #Constraints: 18483 1039.78/1042.41 c #Conflicts: 578000 | #Constraints: 19524 1039.78/1042.41 c #Conflicts: 579000 | #Constraints: 20568 1039.78/1042.41 c #Conflicts: 580000 | #Constraints: 21617 1039.78/1042.41 c #Conflicts: 581000 | #Constraints: 22654 1039.78/1042.41 c #Conflicts: 582000 | #Constraints: 23692 1039.78/1042.41 c #Conflicts: 583000 | #Constraints: 24727 1039.78/1042.41 c #Conflicts: 584000 | #Constraints: 25773 1039.78/1042.41 c #Conflicts: 585000 | #Constraints: 26827 1039.78/1042.41 c #Conflicts: 586000 | #Constraints: 27888 1039.78/1042.41 c #Conflicts: 587000 | #Constraints: 28930 1039.78/1042.41 c #Conflicts: 588000 | #Constraints: 29964 1039.78/1042.41 c #Conflicts: 589000 | #Constraints: 31012 1039.78/1042.41 c #Conflicts: 590000 | #Constraints: 32065 1039.78/1042.41 c #Conflicts: 591000 | #Constraints: 33115 1039.78/1042.41 c INPROCESSING 1039.78/1042.41 c GARBAGE COLLECT 1039.78/1042.41 c rational objective -1977.55 1064.33/1067.08 c #Conflicts: 592000 | #Constraints: 18496 1064.33/1067.08 c #Conflicts: 593000 | #Constraints: 19552 1064.33/1067.08 c #Conflicts: 594000 | #Constraints: 20598 1064.33/1067.08 c #Conflicts: 595000 | #Constraints: 21631 1064.33/1067.08 c #Conflicts: 596000 | #Constraints: 22673 1064.33/1067.08 c #Conflicts: 597000 | #Constraints: 23707 1064.33/1067.08 c #Conflicts: 598000 | #Constraints: 24743 1064.33/1067.08 c #Conflicts: 599000 | #Constraints: 25766 1064.33/1067.08 c #Conflicts: 600000 | #Constraints: 26802 1064.33/1067.08 c #Conflicts: 601000 | #Constraints: 27841 1064.33/1067.08 c #Conflicts: 602000 | #Constraints: 28894 1064.33/1067.08 c #Conflicts: 603000 | #Constraints: 29951 1064.33/1067.08 c #Conflicts: 604000 | #Constraints: 31015 1064.33/1067.08 c #Conflicts: 605000 | #Constraints: 32056 1064.33/1067.08 c #Conflicts: 606000 | #Constraints: 33095 1064.33/1067.08 c #Conflicts: 607000 | #Constraints: 34163 1064.33/1067.08 c INPROCESSING 1064.33/1067.08 c GARBAGE COLLECT 1064.33/1067.08 c rational objective -1971.16 1090.15/1092.94 c #Conflicts: 608000 | #Constraints: 19226 1090.15/1092.94 c #Conflicts: 609000 | #Constraints: 20260 1090.15/1092.94 c #Conflicts: 610000 | #Constraints: 21287 1090.15/1092.94 c #Conflicts: 611000 | #Constraints: 22329 1090.15/1092.94 c #Conflicts: 612000 | #Constraints: 23373 1090.15/1092.94 c #Conflicts: 613000 | #Constraints: 24418 1090.15/1092.94 c #Conflicts: 614000 | #Constraints: 25458 1090.15/1092.94 c #Conflicts: 615000 | #Constraints: 26500 1090.15/1092.94 c #Conflicts: 616000 | #Constraints: 27555 1090.15/1092.94 c #Conflicts: 617000 | #Constraints: 28603 1090.15/1092.94 c #Conflicts: 618000 | #Constraints: 29658 1090.15/1092.94 c #Conflicts: 619000 | #Constraints: 30703 1090.15/1092.94 c #Conflicts: 620000 | #Constraints: 31765 1090.15/1092.94 c #Conflicts: 621000 | #Constraints: 32803 1090.15/1092.94 c #Conflicts: 622000 | #Constraints: 33847 1090.15/1092.94 c #Conflicts: 623000 | #Constraints: 34907 1090.15/1092.94 c INPROCESSING 1090.15/1092.94 c GARBAGE COLLECT 1090.15/1092.94 c rational objective -1968.91 1117.48/1120.37 c #Conflicts: 624000 | #Constraints: 19696 1117.48/1120.37 c #Conflicts: 625000 | #Constraints: 20733 1117.48/1120.37 c #Conflicts: 626000 | #Constraints: 21781 1117.48/1120.37 c #Conflicts: 627000 | #Constraints: 22837 1117.48/1120.37 c #Conflicts: 628000 | #Constraints: 23886 1117.48/1120.37 c #Conflicts: 629000 | #Constraints: 24949 1117.48/1120.37 c #Conflicts: 630000 | #Constraints: 25995 1117.48/1120.37 c #Conflicts: 631000 | #Constraints: 27049 1117.48/1120.37 c #Conflicts: 632000 | #Constraints: 28089 1117.48/1120.37 c #Conflicts: 633000 | #Constraints: 29124 1117.48/1120.37 c #Conflicts: 634000 | #Constraints: 30181 1117.48/1120.37 c #Conflicts: 635000 | #Constraints: 31234 1117.48/1120.37 c #Conflicts: 636000 | #Constraints: 32274 1117.48/1120.37 c #Conflicts: 637000 | #Constraints: 33320 1117.48/1120.37 c #Conflicts: 638000 | #Constraints: 34367 1117.48/1120.37 c #Conflicts: 639000 | #Constraints: 35423 1117.48/1120.37 c INPROCESSING 1117.48/1120.37 c GARBAGE COLLECT 1117.48/1120.37 c rational objective -1965.88 1230.81/1233.95 c #Conflicts: 640000 | #Constraints: 19932 1230.81/1233.95 c #Conflicts: 641000 | #Constraints: 20943 1230.81/1233.95 c #Conflicts: 642000 | #Constraints: 21955 1230.81/1233.95 c #Conflicts: 643000 | #Constraints: 22962 1230.81/1233.95 c #Conflicts: 644000 | #Constraints: 23970 1230.81/1233.95 c #Conflicts: 645000 | #Constraints: 24981 1230.81/1233.95 c #Conflicts: 646000 | #Constraints: 25989 1230.81/1233.95 c #Conflicts: 647000 | #Constraints: 26994 1230.81/1233.95 c #Conflicts: 648000 | #Constraints: 28000 1230.81/1233.95 c #Conflicts: 649000 | #Constraints: 29008 1230.81/1233.95 c #Conflicts: 650000 | #Constraints: 30013 1230.81/1233.95 c #Conflicts: 651000 | #Constraints: 31019 1230.81/1233.95 c #Conflicts: 652000 | #Constraints: 32023 1230.81/1233.95 c #Conflicts: 653000 | #Constraints: 33031 1230.81/1233.95 c #Conflicts: 654000 | #Constraints: 34035 1230.81/1233.95 c #Conflicts: 655000 | #Constraints: 35035 1230.81/1233.95 c INPROCESSING 1230.81/1233.95 c GARBAGE COLLECT 1230.81/1233.95 c rational objective -1965.2 1260.33/1263.56 c #Conflicts: 656000 | #Constraints: 19554 1260.33/1263.56 c #Conflicts: 657000 | #Constraints: 20599 1260.33/1263.56 c #Conflicts: 658000 | #Constraints: 21638 1260.33/1263.56 c #Conflicts: 659000 | #Constraints: 22680 1260.33/1263.56 c #Conflicts: 660000 | #Constraints: 23716 1260.33/1263.56 c #Conflicts: 661000 | #Constraints: 24764 1260.33/1263.56 c #Conflicts: 662000 | #Constraints: 25816 1260.33/1263.56 c #Conflicts: 663000 | #Constraints: 26851 1260.33/1263.56 c #Conflicts: 664000 | #Constraints: 27897 1260.33/1263.56 c #Conflicts: 665000 | #Constraints: 28947 1260.33/1263.56 c #Conflicts: 666000 | #Constraints: 29997 1260.33/1263.56 c #Conflicts: 667000 | #Constraints: 31045 1260.33/1263.56 c #Conflicts: 668000 | #Constraints: 32087 1260.33/1263.56 c #Conflicts: 669000 | #Constraints: 33131 1260.33/1263.56 c #Conflicts: 670000 | #Constraints: 34167 1260.33/1263.56 c #Conflicts: 671000 | #Constraints: 35225 1260.33/1263.56 c INPROCESSING 1260.33/1263.56 c GARBAGE COLLECT 1260.33/1263.56 c rational objective -1959.53 1288.17/1291.42 c #Conflicts: 672000 | #Constraints: 19556 1288.17/1291.42 c #Conflicts: 673000 | #Constraints: 20615 1288.17/1291.42 c #Conflicts: 674000 | #Constraints: 21656 1288.17/1291.42 c #Conflicts: 675000 | #Constraints: 22697 1288.17/1291.42 c #Conflicts: 676000 | #Constraints: 23733 1288.17/1291.42 c #Conflicts: 677000 | #Constraints: 24772 1288.17/1291.42 c #Conflicts: 678000 | #Constraints: 25799 1288.17/1291.42 c #Conflicts: 679000 | #Constraints: 26833 1288.17/1291.42 c #Conflicts: 680000 | #Constraints: 27885 1288.17/1291.42 c #Conflicts: 681000 | #Constraints: 28939 1288.17/1291.42 c #Conflicts: 682000 | #Constraints: 29970 1288.17/1291.42 c #Conflicts: 683000 | #Constraints: 31020 1288.17/1291.42 c #Conflicts: 684000 | #Constraints: 32080 1288.17/1291.42 c #Conflicts: 685000 | #Constraints: 33133 1288.17/1291.42 c #Conflicts: 686000 | #Constraints: 34172 1288.17/1291.42 c #Conflicts: 687000 | #Constraints: 35214 1288.17/1291.42 c #Conflicts: 688000 | #Constraints: 36267 1288.17/1291.42 c INPROCESSING 1288.17/1291.42 c GARBAGE COLLECT 1288.17/1291.42 c rational objective -1955.77 1317.71/1321.04 c #Conflicts: 689000 | #Constraints: 20285 1317.71/1321.04 c #Conflicts: 690000 | #Constraints: 21327 1317.71/1321.04 c #Conflicts: 691000 | #Constraints: 22362 1317.71/1321.04 c #Conflicts: 692000 | #Constraints: 23399 1317.71/1321.04 c #Conflicts: 693000 | #Constraints: 24448 1317.71/1321.04 c #Conflicts: 694000 | #Constraints: 25498 1317.71/1321.04 c #Conflicts: 695000 | #Constraints: 26538 1317.71/1321.04 c #Conflicts: 696000 | #Constraints: 27588 1317.71/1321.04 c #Conflicts: 697000 | #Constraints: 28636 1317.71/1321.04 c #Conflicts: 698000 | #Constraints: 29689 1317.71/1321.04 c #Conflicts: 699000 | #Constraints: 30728 1317.71/1321.04 c #Conflicts: 700000 | #Constraints: 31762 1317.71/1321.04 c #Conflicts: 701000 | #Constraints: 32797 1317.71/1321.04 c #Conflicts: 702000 | #Constraints: 33831 1317.71/1321.04 c #Conflicts: 703000 | #Constraints: 34867 1317.71/1321.04 c #Conflicts: 704000 | #Constraints: 35920 1317.71/1321.04 c #Conflicts: 705000 | #Constraints: 36950 1317.71/1321.04 c INPROCESSING 1317.71/1321.04 c GARBAGE COLLECT 1317.71/1321.04 c rational objective -1954 1347.22/1350.65 c #Conflicts: 706000 | #Constraints: 20741 1347.22/1350.65 c #Conflicts: 707000 | #Constraints: 21791 1347.22/1350.65 c #Conflicts: 708000 | #Constraints: 22849 1347.22/1350.65 c #Conflicts: 709000 | #Constraints: 23880 1347.22/1350.65 c #Conflicts: 710000 | #Constraints: 24931 1347.22/1350.65 c #Conflicts: 711000 | #Constraints: 25973 1347.22/1350.65 c #Conflicts: 712000 | #Constraints: 27034 1347.22/1350.65 c #Conflicts: 713000 | #Constraints: 28095 1347.22/1350.65 c #Conflicts: 714000 | #Constraints: 29144 1347.22/1350.65 c #Conflicts: 715000 | #Constraints: 30186 1347.22/1350.65 c #Conflicts: 716000 | #Constraints: 31209 1347.22/1350.65 c #Conflicts: 717000 | #Constraints: 32231 1347.22/1350.65 c #Conflicts: 718000 | #Constraints: 33261 1347.22/1350.65 c #Conflicts: 719000 | #Constraints: 34301 1347.22/1350.65 c #Conflicts: 720000 | #Constraints: 35333 1347.22/1350.65 c #Conflicts: 721000 | #Constraints: 36384 1347.22/1350.65 c #Conflicts: 722000 | #Constraints: 37448 1347.22/1350.65 c INPROCESSING 1347.22/1350.65 c GARBAGE COLLECT 1347.22/1350.65 c rational objective -1951.71 1492.29/1496.04 c #Conflicts: 723000 | #Constraints: 20939 1492.29/1496.04 c #Conflicts: 724000 | #Constraints: 21943 1492.29/1496.04 c #Conflicts: 725000 | #Constraints: 22952 1492.29/1496.04 c #Conflicts: 726000 | #Constraints: 23955 1492.29/1496.04 c #Conflicts: 727000 | #Constraints: 24956 1492.29/1496.04 c #Conflicts: 728000 | #Constraints: 25957 1492.29/1496.04 c #Conflicts: 729000 | #Constraints: 26959 1492.29/1496.04 c #Conflicts: 730000 | #Constraints: 27961 1492.29/1496.04 c #Conflicts: 731000 | #Constraints: 28962 1492.29/1496.04 c #Conflicts: 732000 | #Constraints: 29964 1492.29/1496.04 c #Conflicts: 733000 | #Constraints: 30966 1492.29/1496.04 c #Conflicts: 734000 | #Constraints: 31968 1492.29/1496.04 c #Conflicts: 735000 | #Constraints: 32969 1492.29/1496.04 c #Conflicts: 736000 | #Constraints: 33970 1492.29/1496.04 c #Conflicts: 737000 | #Constraints: 34970 1492.29/1496.04 c #Conflicts: 738000 | #Constraints: 35973 1492.29/1496.04 c #Conflicts: 739000 | #Constraints: 36976 1492.29/1496.04 c INPROCESSING 1492.29/1496.04 c GARBAGE COLLECT 1492.29/1496.04 c rational objective -1950.85 1521.80/1525.61 c #Conflicts: 740000 | #Constraints: 20527 1521.80/1525.61 c #Conflicts: 741000 | #Constraints: 21562 1521.80/1525.61 c #Conflicts: 742000 | #Constraints: 22596 1521.80/1525.61 c #Conflicts: 743000 | #Constraints: 23629 1521.80/1525.61 c #Conflicts: 744000 | #Constraints: 24675 1521.80/1525.61 c #Conflicts: 745000 | #Constraints: 25733 1521.80/1525.61 c #Conflicts: 746000 | #Constraints: 26783 1521.80/1525.61 c #Conflicts: 747000 | #Constraints: 27819 1521.80/1525.61 c #Conflicts: 748000 | #Constraints: 28865 1521.80/1525.61 c #Conflicts: 749000 | #Constraints: 29918 1521.80/1525.61 c #Conflicts: 750000 | #Constraints: 30967 1521.80/1525.61 c #Conflicts: 751000 | #Constraints: 32005 1521.80/1525.61 c #Conflicts: 752000 | #Constraints: 33053 1521.80/1525.61 c #Conflicts: 753000 | #Constraints: 34100 1521.80/1525.61 c #Conflicts: 754000 | #Constraints: 35165 1521.80/1525.61 c #Conflicts: 755000 | #Constraints: 36206 1521.80/1525.61 c #Conflicts: 756000 | #Constraints: 37247 1521.80/1525.61 c INPROCESSING 1521.80/1525.61 c GARBAGE COLLECT 1521.80/1525.61 c rational objective -1950.85 1552.62/1556.53 c #Conflicts: 757000 | #Constraints: 20566 1552.62/1556.53 c #Conflicts: 758000 | #Constraints: 21621 1552.62/1556.53 c #Conflicts: 759000 | #Constraints: 22650 1552.62/1556.53 c #Conflicts: 760000 | #Constraints: 23704 1552.62/1556.53 c #Conflicts: 761000 | #Constraints: 24749 1552.62/1556.53 c #Conflicts: 762000 | #Constraints: 25796 1552.62/1556.53 c #Conflicts: 763000 | #Constraints: 26839 1552.62/1556.53 c #Conflicts: 764000 | #Constraints: 27893 1552.62/1556.53 c #Conflicts: 765000 | #Constraints: 28948 1552.62/1556.53 c #Conflicts: 766000 | #Constraints: 29995 1552.62/1556.53 c #Conflicts: 767000 | #Constraints: 31049 1552.62/1556.53 c #Conflicts: 768000 | #Constraints: 32095 1552.62/1556.53 c #Conflicts: 769000 | #Constraints: 33124 1552.62/1556.53 c #Conflicts: 770000 | #Constraints: 34151 1552.62/1556.53 c #Conflicts: 771000 | #Constraints: 35187 1552.62/1556.53 c #Conflicts: 772000 | #Constraints: 36242 1552.62/1556.53 c #Conflicts: 773000 | #Constraints: 37287 1552.62/1556.53 c #Conflicts: 774000 | #Constraints: 38316 1552.62/1556.53 c INPROCESSING 1552.62/1556.53 c GARBAGE COLLECT 1552.62/1556.53 c rational objective -1948.95 1582.55/1586.57 c #Conflicts: 775000 | #Constraints: 21310 1582.55/1586.57 c #Conflicts: 776000 | #Constraints: 22358 1582.55/1586.57 c #Conflicts: 777000 | #Constraints: 23396 1582.55/1586.57 c #Conflicts: 778000 | #Constraints: 24433 1582.55/1586.57 c #Conflicts: 779000 | #Constraints: 25476 1582.55/1586.57 c #Conflicts: 780000 | #Constraints: 26508 1582.55/1586.57 c #Conflicts: 781000 | #Constraints: 27542 1582.55/1586.57 c #Conflicts: 782000 | #Constraints: 28594 1582.55/1586.57 c #Conflicts: 783000 | #Constraints: 29653 1582.55/1586.57 c #Conflicts: 784000 | #Constraints: 30713 1582.55/1586.57 c #Conflicts: 785000 | #Constraints: 31771 1582.55/1586.57 c #Conflicts: 786000 | #Constraints: 32829 1582.55/1586.57 c #Conflicts: 787000 | #Constraints: 33879 1582.55/1586.57 c #Conflicts: 788000 | #Constraints: 34938 1582.55/1586.57 c #Conflicts: 789000 | #Constraints: 35992 1582.55/1586.57 c #Conflicts: 790000 | #Constraints: 37034 1582.55/1586.57 c #Conflicts: 791000 | #Constraints: 38073 1582.55/1586.57 c #Conflicts: 792000 | #Constraints: 39121 1582.55/1586.57 c INPROCESSING 1582.55/1586.57 c GARBAGE COLLECT 1582.55/1586.57 c rational objective -1947.85 1614.47/1618.57 c #Conflicts: 793000 | #Constraints: 21803 1614.47/1618.57 c #Conflicts: 794000 | #Constraints: 22840 1614.47/1618.57 c #Conflicts: 795000 | #Constraints: 23874 1614.47/1618.57 c #Conflicts: 796000 | #Constraints: 24922 1614.47/1618.57 c #Conflicts: 797000 | #Constraints: 25974 1614.47/1618.57 c #Conflicts: 798000 | #Constraints: 27031 1614.47/1618.57 c #Conflicts: 799000 | #Constraints: 28065 1614.47/1618.57 c #Conflicts: 800000 | #Constraints: 29118 1614.47/1618.57 c #Conflicts: 801000 | #Constraints: 30158 1614.47/1618.57 c #Conflicts: 802000 | #Constraints: 31199 1614.47/1618.57 c #Conflicts: 803000 | #Constraints: 32258 1614.47/1618.57 c #Conflicts: 804000 | #Constraints: 33312 1614.47/1618.57 c #Conflicts: 805000 | #Constraints: 34353 1614.47/1618.57 c #Conflicts: 806000 | #Constraints: 35387 1614.47/1618.57 c #Conflicts: 807000 | #Constraints: 36427 1614.47/1618.57 c #Conflicts: 808000 | #Constraints: 37487 1614.47/1618.57 c #Conflicts: 809000 | #Constraints: 38533 1614.47/1618.57 c #Conflicts: 810000 | #Constraints: 39578 1614.47/1618.57 c INPROCESSING 1614.47/1618.57 c GARBAGE COLLECT 1614.47/1618.57 c rational objective -1947.81 1769.89/1774.33 c #Conflicts: 811000 | #Constraints: 22000 1769.89/1774.33 c #Conflicts: 812000 | #Constraints: 23002 1769.89/1774.33 c #Conflicts: 813000 | #Constraints: 24015 1769.89/1774.33 c #Conflicts: 814000 | #Constraints: 25022 1769.89/1774.33 c #Conflicts: 815000 | #Constraints: 26031 1769.89/1774.33 c #Conflicts: 816000 | #Constraints: 27040 1769.89/1774.33 c #Conflicts: 817000 | #Constraints: 28046 1769.89/1774.33 c #Conflicts: 818000 | #Constraints: 29050 1769.89/1774.33 c #Conflicts: 819000 | #Constraints: 30057 1769.89/1774.33 c #Conflicts: 820000 | #Constraints: 31064 1769.89/1774.33 c #Conflicts: 821000 | #Constraints: 32069 1769.89/1774.33 c #Conflicts: 822000 | #Constraints: 33078 1769.89/1774.33 c #Conflicts: 823000 | #Constraints: 34090 1769.89/1774.33 c #Conflicts: 824000 | #Constraints: 35096 1769.89/1774.33 c #Conflicts: 825000 | #Constraints: 36097 1769.89/1774.33 c #Conflicts: 826000 | #Constraints: 37098 1769.89/1774.33 c #Conflicts: 827000 | #Constraints: 38102 1769.89/1774.33 c #Conflicts: 828000 | #Constraints: 39111 1769.89/1774.33 c INPROCESSING 1769.89/1774.33 c GARBAGE COLLECT 1769.89/1774.33 c #Conflicts: 829000 | #Constraints: 21571 1769.89/1774.33 c #Conflicts: 830000 | #Constraints: 22612 1769.89/1774.33 c #Conflicts: 831000 | #Constraints: 23658 1769.89/1774.33 c #Conflicts: 832000 | #Constraints: 24710 1769.89/1774.33 c #Conflicts: 833000 | #Constraints: 25762 1769.89/1774.33 c #Conflicts: 834000 | #Constraints: 26810 1769.89/1774.33 c #Conflicts: 835000 | #Constraints: 27853 1769.89/1774.33 c #Conflicts: 836000 | #Constraints: 28871 1769.89/1774.33 c #Conflicts: 837000 | #Constraints: 29905 1769.89/1774.33 c #Conflicts: 838000 | #Constraints: 30966 1769.89/1774.33 c #Conflicts: 839000 | #Constraints: 32019 1769.89/1774.33 c #Conflicts: 840000 | #Constraints: 33080 1769.89/1774.33 c #Conflicts: 841000 | #Constraints: 34128 1769.89/1774.33 c #Conflicts: 842000 | #Constraints: 35169 1769.89/1774.33 c #Conflicts: 843000 | #Constraints: 36213 1769.89/1774.33 c #Conflicts: 844000 | #Constraints: 37251 1769.89/1774.33 c #Conflicts: 845000 | #Constraints: 38286 1769.89/1774.33 c #Conflicts: 846000 | #Constraints: 39342 1769.89/1774.33 c INPROCESSING 1769.89/1774.33 c GARBAGE COLLECT 1769.89/1774.33 c rational objective -1947.78 1803.31/1807.85 c #Conflicts: 847000 | #Constraints: 21599 1803.31/1807.85 c #Conflicts: 848000 | #Constraints: 22645 1803.31/1807.85 c #Conflicts: 849000 | #Constraints: 23679 1803.31/1807.85 c #Conflicts: 850000 | #Constraints: 24723 1803.31/1807.85 c #Conflicts: 851000 | #Constraints: 25774 1803.31/1807.85 c #Conflicts: 852000 | #Constraints: 26816 1803.31/1807.85 c #Conflicts: 853000 | #Constraints: 27866 1803.31/1807.85 c #Conflicts: 854000 | #Constraints: 28898 1803.31/1807.85 c #Conflicts: 855000 | #Constraints: 29957 1803.31/1807.85 c #Conflicts: 856000 | #Constraints: 31010 1803.31/1807.85 c #Conflicts: 857000 | #Constraints: 32042 1803.31/1807.85 c #Conflicts: 858000 | #Constraints: 33086 1803.31/1807.85 c #Conflicts: 859000 | #Constraints: 34130 1803.31/1807.85 c #Conflicts: 860000 | #Constraints: 35188 1803.31/1807.85 c #Conflicts: 861000 | #Constraints: 36243 1803.31/1807.85 c #Conflicts: 862000 | #Constraints: 37281 1803.31/1807.85 c #Conflicts: 863000 | #Constraints: 38336 1803.31/1807.85 c #Conflicts: 864000 | #Constraints: 39385 1803.31/1807.85 c #Conflicts: 865000 | #Constraints: 40425 1803.31/1807.85 c INPROCESSING 1803.31/1807.85 c GARBAGE COLLECT 1803.31/1807.85 c rational objective -1945.78 1837.23/1841.87 c #Conflicts: 866000 | #Constraints: 22357 1837.23/1841.87 c #Conflicts: 867000 | #Constraints: 23416 1837.23/1841.87 c #Conflicts: 868000 | #Constraints: 24473 1837.23/1841.87 c #Conflicts: 869000 | #Constraints: 25516 1837.23/1841.87 c #Conflicts: 870000 | #Constraints: 26558 1837.23/1841.87 c #Conflicts: 871000 | #Constraints: 27604 1837.23/1841.87 c #Conflicts: 872000 | #Constraints: 28654 1837.23/1841.87 c #Conflicts: 873000 | #Constraints: 29693 1837.23/1841.87 c #Conflicts: 874000 | #Constraints: 30735 1837.23/1841.87 c #Conflicts: 875000 | #Constraints: 31788 1837.23/1841.87 c #Conflicts: 876000 | #Constraints: 32831 1837.23/1841.87 c #Conflicts: 877000 | #Constraints: 33851 1837.23/1841.87 c #Conflicts: 878000 | #Constraints: 34886 1837.23/1841.87 c #Conflicts: 879000 | #Constraints: 35932 1837.23/1841.87 c #Conflicts: 880000 | #Constraints: 36968 1837.23/1841.87 c #Conflicts: 881000 | #Constraints: 38005 1837.23/1841.87 c #Conflicts: 882000 | #Constraints: 39045 1837.23/1841.87 c #Conflicts: 883000 | #Constraints: 40095 1837.23/1841.87 c #Conflicts: 884000 | #Constraints: 41128 1837.23/1841.87 c INPROCESSING 1837.23/1841.87 c GARBAGE COLLECT 1837.23/1841.87 c rational objective -1942.99 1873.74/1878.44 c #Conflicts: 885000 | #Constraints: 22812 1873.74/1878.44 c #Conflicts: 886000 | #Constraints: 23850 1873.74/1878.44 c #Conflicts: 887000 | #Constraints: 24901 1873.74/1878.44 c #Conflicts: 888000 | #Constraints: 25944 1873.74/1878.44 c #Conflicts: 889000 | #Constraints: 26982 1873.74/1878.44 c #Conflicts: 890000 | #Constraints: 28021 1873.74/1878.44 c #Conflicts: 891000 | #Constraints: 29064 1873.74/1878.44 c #Conflicts: 892000 | #Constraints: 30120 1873.74/1878.44 c #Conflicts: 893000 | #Constraints: 31166 1873.74/1878.44 c #Conflicts: 894000 | #Constraints: 32215 1873.74/1878.44 c #Conflicts: 895000 | #Constraints: 33256 1873.74/1878.44 c #Conflicts: 896000 | #Constraints: 34308 1873.74/1878.44 c #Conflicts: 897000 | #Constraints: 35352 1873.74/1878.44 c #Conflicts: 898000 | #Constraints: 36405 1873.74/1878.44 c #Conflicts: 899000 | #Constraints: 37447 1873.74/1878.44 c #Conflicts: 900000 | #Constraints: 38493 1873.74/1878.44 c #Conflicts: 901000 | #Constraints: 39534 1873.74/1878.44 c #Conflicts: 902000 | #Constraints: 40582 1873.74/1878.44 c #Conflicts: 903000 | #Constraints: 41633 1873.74/1878.44 c INPROCESSING 1873.74/1878.44 c GARBAGE COLLECT 1873.74/1878.44 c rational objective -1941.44 1908.85/1913.60 c #Conflicts: 904000 | #Constraints: 23062 1908.85/1913.60 c #Conflicts: 905000 | #Constraints: 24116 1908.85/1913.60 c #Conflicts: 906000 | #Constraints: 25172 1908.85/1913.60 c #Conflicts: 907000 | #Constraints: 26223 1908.85/1913.60 c #Conflicts: 908000 | #Constraints: 27253 1908.85/1913.60 c #Conflicts: 909000 | #Constraints: 28289 1908.85/1913.60 c #Conflicts: 910000 | #Constraints: 29327 1908.85/1913.60 c #Conflicts: 911000 | #Constraints: 30377 1908.85/1913.60 c #Conflicts: 912000 | #Constraints: 31423 1908.85/1913.60 c #Conflicts: 913000 | #Constraints: 32464 1908.85/1913.60 c #Conflicts: 914000 | #Constraints: 33515 1908.85/1913.60 c #Conflicts: 915000 | #Constraints: 34574 1908.85/1913.60 c #Conflicts: 916000 | #Constraints: 35627 1908.85/1913.60 c #Conflicts: 917000 | #Constraints: 36672 1908.85/1913.60 c #Conflicts: 918000 | #Constraints: 37713 1908.85/1913.60 c #Conflicts: 919000 | #Constraints: 38765 1908.85/1913.60 c #Conflicts: 920000 | #Constraints: 39815 1908.85/1913.60 c #Conflicts: 921000 | #Constraints: 40859 1908.85/1913.60 c #Conflicts: 922000 | #Constraints: 41907 1908.85/1913.60 c INPROCESSING 1908.85/1913.60 c GARBAGE COLLECT 1908.85/1913.60 c rational objective -1941.29 2048.71/2053.88 c #Conflicts: 923000 | #Constraints: 23067 2048.71/2053.88 c #Conflicts: 924000 | #Constraints: 24069 2048.71/2053.88 c #Conflicts: 925000 | #Constraints: 25076 2048.71/2053.88 c #Conflicts: 926000 | #Constraints: 26082 2048.71/2053.88 c #Conflicts: 927000 | #Constraints: 27083 2048.71/2053.88 c #Conflicts: 928000 | #Constraints: 28085 2048.71/2053.88 c #Conflicts: 929000 | #Constraints: 29085 2048.71/2053.88 c #Conflicts: 930000 | #Constraints: 30105 2048.71/2053.88 c #Conflicts: 931000 | #Constraints: 31119 2048.71/2053.88 c #Conflicts: 932000 | #Constraints: 32139 2048.71/2053.88 c #Conflicts: 933000 | #Constraints: 33154 2048.71/2053.88 c #Conflicts: 934000 | #Constraints: 34159 2048.71/2053.88 c #Conflicts: 935000 | #Constraints: 35168 2048.71/2053.88 c #Conflicts: 936000 | #Constraints: 36176 2048.71/2053.88 c #Conflicts: 937000 | #Constraints: 37183 2048.71/2053.88 c #Conflicts: 938000 | #Constraints: 38195 2048.71/2053.88 c #Conflicts: 939000 | #Constraints: 39207 2048.71/2053.88 c #Conflicts: 940000 | #Constraints: 40212 2048.71/2053.88 c #Conflicts: 941000 | #Constraints: 41219 2048.71/2053.88 c INPROCESSING 2048.71/2053.88 c GARBAGE COLLECT 2048.71/2053.88 c rational objective -1941.23 2088.31/2093.52 c #Conflicts: 942000 | #Constraints: 22450 2088.31/2093.52 c #Conflicts: 943000 | #Constraints: 23494 2088.31/2093.52 c #Conflicts: 944000 | #Constraints: 24544 2088.31/2093.52 c #Conflicts: 945000 | #Constraints: 25591 2088.31/2093.52 c #Conflicts: 946000 | #Constraints: 26652 2088.31/2093.52 c #Conflicts: 947000 | #Constraints: 27699 2088.31/2093.52 c #Conflicts: 948000 | #Constraints: 28760 2088.31/2093.52 c #Conflicts: 949000 | #Constraints: 29801 2088.31/2093.52 c #Conflicts: 950000 | #Constraints: 30851 2088.31/2093.52 c #Conflicts: 951000 | #Constraints: 31881 2088.31/2093.52 c #Conflicts: 952000 | #Constraints: 32909 2088.31/2093.52 c #Conflicts: 953000 | #Constraints: 33956 2088.31/2093.52 c #Conflicts: 954000 | #Constraints: 34996 2088.31/2093.52 c #Conflicts: 955000 | #Constraints: 36032 2088.31/2093.52 c #Conflicts: 956000 | #Constraints: 37067 2088.31/2093.52 c #Conflicts: 957000 | #Constraints: 38100 2088.31/2093.52 c #Conflicts: 958000 | #Constraints: 39132 2088.31/2093.52 c #Conflicts: 959000 | #Constraints: 40154 2088.31/2093.52 c #Conflicts: 960000 | #Constraints: 41195 2088.31/2093.52 c #Conflicts: 961000 | #Constraints: 42241 2088.31/2093.52 c INPROCESSING 2088.31/2093.52 c GARBAGE COLLECT 2088.31/2093.52 c rational objective -1933.24 2130.00/2135.31 c #Conflicts: 962000 | #Constraints: 23256 2130.00/2135.31 c #Conflicts: 963000 | #Constraints: 24281 2130.00/2135.31 c #Conflicts: 964000 | #Constraints: 25324 2130.00/2135.31 c #Conflicts: 965000 | #Constraints: 26353 2130.00/2135.31 c #Conflicts: 966000 | #Constraints: 27395 2130.00/2135.31 c #Conflicts: 967000 | #Constraints: 28439 2130.00/2135.31 c #Conflicts: 968000 | #Constraints: 29468 2130.00/2135.31 c #Conflicts: 969000 | #Constraints: 30479 2130.00/2135.31 c #Conflicts: 970000 | #Constraints: 31495 2130.00/2135.31 c #Conflicts: 971000 | #Constraints: 32515 2130.00/2135.31 c #Conflicts: 972000 | #Constraints: 33551 2130.00/2135.31 c #Conflicts: 973000 | #Constraints: 34586 2130.00/2135.31 c #Conflicts: 974000 | #Constraints: 35613 2130.00/2135.31 c #Conflicts: 975000 | #Constraints: 36653 2130.00/2135.31 c #Conflicts: 976000 | #Constraints: 37699 2130.00/2135.31 c #Conflicts: 977000 | #Constraints: 38727 2130.00/2135.31 c #Conflicts: 978000 | #Constraints: 39770 2130.00/2135.31 c #Conflicts: 979000 | #Constraints: 40816 2130.00/2135.31 c #Conflicts: 980000 | #Constraints: 41873 2130.00/2135.31 c #Conflicts: 981000 | #Constraints: 42925 2130.00/2135.31 c INPROCESSING 2130.00/2135.31 c GARBAGE COLLECT 2130.00/2135.31 c rational objective -1931.87 2180.18/2185.66 c #Conflicts: 982000 | #Constraints: 23728 2180.18/2185.66 c #Conflicts: 983000 | #Constraints: 24768 2180.18/2185.66 c #Conflicts: 984000 | #Constraints: 25799 2180.18/2185.66 c #Conflicts: 985000 | #Constraints: 26843 2180.18/2185.66 c #Conflicts: 986000 | #Constraints: 27880 2180.18/2185.66 c #Conflicts: 987000 | #Constraints: 28926 2180.18/2185.66 c #Conflicts: 988000 | #Constraints: 29964 2180.18/2185.66 c #Conflicts: 989000 | #Constraints: 31010 2180.18/2185.66 c #Conflicts: 990000 | #Constraints: 32057 2180.18/2185.66 c #Conflicts: 991000 | #Constraints: 33092 2180.18/2185.66 c #Conflicts: 992000 | #Constraints: 34126 2180.18/2185.66 c #Conflicts: 993000 | #Constraints: 35164 2180.18/2185.66 c #Conflicts: 994000 | #Constraints: 36207 2180.18/2185.66 c #Conflicts: 995000 | #Constraints: 37251 2180.18/2185.66 c #Conflicts: 996000 | #Constraints: 38295 2180.18/2185.66 c #Conflicts: 997000 | #Constraints: 39325 2180.18/2185.66 c #Conflicts: 998000 | #Constraints: 40360 2180.18/2185.66 c #Conflicts: 999000 | #Constraints: 41407 2180.18/2185.66 c #Conflicts: 1000000 | #Constraints: 42438 2180.18/2185.66 c #Conflicts: 1001000 | #Constraints: 43460 2180.18/2185.66 c INPROCESSING 2180.18/2185.66 c GARBAGE COLLECT 2180.18/2185.66 c rational objective -1926.96 2260.98/2266.62 c #Conflicts: 1002000 | #Constraints: 23966 2260.98/2266.62 c #Conflicts: 1003000 | #Constraints: 24982 2260.98/2266.62 c #Conflicts: 1004000 | #Constraints: 26001 2260.98/2266.62 c #Conflicts: 1005000 | #Constraints: 27017 2260.98/2266.62 c #Conflicts: 1006000 | #Constraints: 28031 2260.98/2266.62 c #Conflicts: 1007000 | #Constraints: 29046 2260.98/2266.62 c #Conflicts: 1008000 | #Constraints: 30073 2260.98/2266.62 c #Conflicts: 1009000 | #Constraints: 31088 2260.98/2266.62 c #Conflicts: 1010000 | #Constraints: 32106 2260.98/2266.62 c #Conflicts: 1011000 | #Constraints: 33109 2260.98/2266.62 c #Conflicts: 1012000 | #Constraints: 34111 2260.98/2266.62 c #Conflicts: 1013000 | #Constraints: 35118 2260.98/2266.62 c #Conflicts: 1014000 | #Constraints: 36126 2260.98/2266.62 c #Conflicts: 1015000 | #Constraints: 37137 2260.98/2266.62 c #Conflicts: 1016000 | #Constraints: 38158 2260.98/2266.62 c #Conflicts: 1017000 | #Constraints: 39191 2260.98/2266.62 c #Conflicts: 1018000 | #Constraints: 40221 2260.98/2266.62 c #Conflicts: 1019000 | #Constraints: 41253 2260.98/2266.62 c #Conflicts: 1020000 | #Constraints: 42283 2260.98/2266.62 c #Conflicts: 1021000 | #Constraints: 43320 2260.98/2266.62 c INPROCESSING 2260.98/2266.62 c GARBAGE COLLECT 2260.98/2266.62 c rational objective -1926.56 2304.98/2310.74 c #Conflicts: 1022000 | #Constraints: 23689 2304.98/2310.74 c #Conflicts: 1023000 | #Constraints: 24730 2304.98/2310.74 c #Conflicts: 1024000 | #Constraints: 25781 2304.98/2310.74 c #Conflicts: 1025000 | #Constraints: 26821 2304.98/2310.74 c #Conflicts: 1026000 | #Constraints: 27868 2304.98/2310.74 c #Conflicts: 1027000 | #Constraints: 28916 2304.98/2310.74 c #Conflicts: 1028000 | #Constraints: 29955 2304.98/2310.74 c #Conflicts: 1029000 | #Constraints: 30998 2304.98/2310.74 c #Conflicts: 1030000 | #Constraints: 32043 2304.98/2310.74 c #Conflicts: 1031000 | #Constraints: 33078 2304.98/2310.74 c #Conflicts: 1032000 | #Constraints: 34110 2304.98/2310.74 c #Conflicts: 1033000 | #Constraints: 35129 2304.98/2310.74 c #Conflicts: 1034000 | #Constraints: 36177 2304.98/2310.74 c #Conflicts: 1035000 | #Constraints: 37224 2304.98/2310.74 c #Conflicts: 1036000 | #Constraints: 38279 2304.98/2310.74 c #Conflicts: 1037000 | #Constraints: 39323 2304.98/2310.74 c #Conflicts: 1038000 | #Constraints: 40377 2304.98/2310.74 c #Conflicts: 1039000 | #Constraints: 41430 2304.98/2310.74 c #Conflicts: 1040000 | #Constraints: 42473 2304.98/2310.74 c #Conflicts: 1041000 | #Constraints: 43516 2304.98/2310.74 c INPROCESSING 2304.98/2310.74 c GARBAGE COLLECT 2304.98/2310.74 c rational objective -1922.41 2344.57/2350.45 c #Conflicts: 1042000 | #Constraints: 23696 2344.57/2350.45 c #Conflicts: 1043000 | #Constraints: 24748 2344.57/2350.45 c #Conflicts: 1044000 | #Constraints: 25789 2344.57/2350.45 c #Conflicts: 1045000 | #Constraints: 26843 2344.57/2350.45 c #Conflicts: 1046000 | #Constraints: 27889 2344.57/2350.45 c #Conflicts: 1047000 | #Constraints: 28928 2344.57/2350.45 c #Conflicts: 1048000 | #Constraints: 29975 2344.57/2350.45 c #Conflicts: 1049000 | #Constraints: 31025 2344.57/2350.45 c #Conflicts: 1050000 | #Constraints: 32076 2344.57/2350.45 c #Conflicts: 1051000 | #Constraints: 33125 2344.57/2350.45 c #Conflicts: 1052000 | #Constraints: 34162 2344.57/2350.45 c #Conflicts: 1053000 | #Constraints: 35208 2344.57/2350.45 c #Conflicts: 1054000 | #Constraints: 36239 2344.57/2350.45 c #Conflicts: 1055000 | #Constraints: 37263 2344.57/2350.45 c #Conflicts: 1056000 | #Constraints: 38305 2344.57/2350.45 c #Conflicts: 1057000 | #Constraints: 39338 2344.57/2350.45 c #Conflicts: 1058000 | #Constraints: 40387 2344.57/2350.45 c #Conflicts: 1059000 | #Constraints: 41417 2344.57/2350.45 c #Conflicts: 1060000 | #Constraints: 42453 2344.57/2350.45 c #Conflicts: 1061000 | #Constraints: 43482 2344.57/2350.45 c #Conflicts: 1062000 | #Constraints: 44504 2344.57/2350.45 c INPROCESSING 2344.57/2350.45 c GARBAGE COLLECT 2344.57/2350.45 c rational objective -1917.8 2474.76/2480.98 c #Conflicts: 1063000 | #Constraints: 24363 2474.76/2480.98 c #Conflicts: 1064000 | #Constraints: 25368 2474.76/2480.98 c #Conflicts: 1065000 | #Constraints: 26378 2474.76/2480.98 c #Conflicts: 1066000 | #Constraints: 27388 2474.76/2480.98 c #Conflicts: 1067000 | #Constraints: 28396 2474.76/2480.98 c #Conflicts: 1068000 | #Constraints: 29403 2474.76/2480.98 c #Conflicts: 1069000 | #Constraints: 30410 2474.76/2480.98 c #Conflicts: 1070000 | #Constraints: 31416 2474.76/2480.98 c #Conflicts: 1071000 | #Constraints: 32420 2474.76/2480.98 c #Conflicts: 1072000 | #Constraints: 33430 2474.76/2480.98 c #Conflicts: 1073000 | #Constraints: 34436 2474.76/2480.98 c #Conflicts: 1074000 | #Constraints: 35436 2474.76/2480.98 c #Conflicts: 1075000 | #Constraints: 36442 2474.76/2480.98 c #Conflicts: 1076000 | #Constraints: 37444 2474.76/2480.98 c #Conflicts: 1077000 | #Constraints: 38451 2474.76/2480.98 c #Conflicts: 1078000 | #Constraints: 39459 2474.76/2480.98 c #Conflicts: 1079000 | #Constraints: 40463 2474.76/2480.98 c #Conflicts: 1080000 | #Constraints: 41466 2474.76/2480.98 c #Conflicts: 1081000 | #Constraints: 42472 2474.76/2480.98 c #Conflicts: 1082000 | #Constraints: 43475 2474.76/2480.98 c #Conflicts: 1083000 | #Constraints: 44482 2474.76/2480.98 c INPROCESSING 2474.76/2480.98 c GARBAGE COLLECT 2474.76/2480.98 c rational objective -1915.89 2535.21/2541.58 c #Conflicts: 1084000 | #Constraints: 24393 2535.21/2541.58 c #Conflicts: 1085000 | #Constraints: 25422 2535.21/2541.58 c #Conflicts: 1086000 | #Constraints: 26443 2535.21/2541.58 c #Conflicts: 1087000 | #Constraints: 27481 2535.21/2541.58 c #Conflicts: 1088000 | #Constraints: 28504 2535.21/2541.58 c #Conflicts: 1089000 | #Constraints: 29538 2535.21/2541.58 c #Conflicts: 1090000 | #Constraints: 30573 2535.21/2541.58 c #Conflicts: 1091000 | #Constraints: 31605 2535.21/2541.58 c #Conflicts: 1092000 | #Constraints: 32644 2535.21/2541.58 c #Conflicts: 1093000 | #Constraints: 33674 2535.21/2541.58 c #Conflicts: 1094000 | #Constraints: 34707 2535.21/2541.58 c #Conflicts: 1095000 | #Constraints: 35731 2535.21/2541.58 c #Conflicts: 1096000 | #Constraints: 36764 2535.21/2541.58 c #Conflicts: 1097000 | #Constraints: 37808 2535.21/2541.58 c #Conflicts: 1098000 | #Constraints: 38856 2535.21/2541.58 c #Conflicts: 1099000 | #Constraints: 39891 2535.21/2541.58 c #Conflicts: 1100000 | #Constraints: 40925 2535.21/2541.58 c #Conflicts: 1101000 | #Constraints: 41957 2535.21/2541.58 c #Conflicts: 1102000 | #Constraints: 42989 2535.21/2541.58 c #Conflicts: 1103000 | #Constraints: 44022 2535.21/2541.58 c #Conflicts: 1104000 | #Constraints: 45046 2535.21/2541.58 c INPROCESSING 2535.21/2541.58 c GARBAGE COLLECT 2535.21/2541.58 c rational objective -1908.92 2595.36/2601.86 c #Conflicts: 1105000 | #Constraints: 24765 2595.36/2601.86 c #Conflicts: 1106000 | #Constraints: 25786 2595.36/2601.86 c #Conflicts: 1107000 | #Constraints: 26804 2595.36/2601.86 c #Conflicts: 1108000 | #Constraints: 27826 2595.36/2601.86 c #Conflicts: 1109000 | #Constraints: 28838 2595.36/2601.86 c #Conflicts: 1110000 | #Constraints: 29871 2595.36/2601.86 c #Conflicts: 1111000 | #Constraints: 30907 2595.36/2601.86 c #Conflicts: 1112000 | #Constraints: 31932 2595.36/2601.86 c #Conflicts: 1113000 | #Constraints: 32965 2595.36/2601.86 c #Conflicts: 1114000 | #Constraints: 33996 2595.36/2601.86 c #Conflicts: 1115000 | #Constraints: 35028 2595.36/2601.86 c #Conflicts: 1116000 | #Constraints: 36064 2595.36/2601.86 c #Conflicts: 1117000 | #Constraints: 37086 2595.36/2601.86 c #Conflicts: 1118000 | #Constraints: 38110 2595.36/2601.86 c #Conflicts: 1119000 | #Constraints: 39153 2595.36/2601.86 c #Conflicts: 1120000 | #Constraints: 40196 2595.36/2601.86 c #Conflicts: 1121000 | #Constraints: 41239 2595.36/2601.86 c #Conflicts: 1122000 | #Constraints: 42288 2595.36/2601.86 c #Conflicts: 1123000 | #Constraints: 43323 2595.36/2601.86 c #Conflicts: 1124000 | #Constraints: 44357 2595.36/2601.86 c #Conflicts: 1125000 | #Constraints: 45387 2595.36/2601.86 c INPROCESSING 2595.36/2601.86 c GARBAGE COLLECT 2595.36/2601.86 c rational objective -1906.93 2745.40/2752.26 c #Conflicts: 1126000 | #Constraints: 24814 2745.40/2752.26 c #Conflicts: 1127000 | #Constraints: 25826 2745.40/2752.26 c #Conflicts: 1128000 | #Constraints: 26835 2745.40/2752.26 c #Conflicts: 1129000 | #Constraints: 27849 2745.40/2752.26 c #Conflicts: 1130000 | #Constraints: 28854 2745.40/2752.26 c #Conflicts: 1131000 | #Constraints: 29867 2745.40/2752.26 c #Conflicts: 1132000 | #Constraints: 30877 2745.40/2752.26 c #Conflicts: 1133000 | #Constraints: 31886 2745.40/2752.26 c #Conflicts: 1134000 | #Constraints: 32910 2745.40/2752.26 c #Conflicts: 1135000 | #Constraints: 33913 2745.40/2752.26 c #Conflicts: 1136000 | #Constraints: 34922 2745.40/2752.26 c #Conflicts: 1137000 | #Constraints: 35932 2745.40/2752.26 c #Conflicts: 1138000 | #Constraints: 36934 2745.40/2752.26 c #Conflicts: 1139000 | #Constraints: 37943 2745.40/2752.26 c #Conflicts: 1140000 | #Constraints: 38952 2745.40/2752.26 c #Conflicts: 1141000 | #Constraints: 39962 2745.40/2752.26 c #Conflicts: 1142000 | #Constraints: 40973 2745.40/2752.26 c #Conflicts: 1143000 | #Constraints: 41977 2745.40/2752.26 c #Conflicts: 1144000 | #Constraints: 42981 2745.40/2752.26 c #Conflicts: 1145000 | #Constraints: 43990 2745.40/2752.26 c #Conflicts: 1146000 | #Constraints: 44998 2745.40/2752.26 c INPROCESSING 2745.40/2752.26 c GARBAGE COLLECT 2745.40/2752.26 c rational objective -1905.95 2790.49/2797.48 c #Conflicts: 1147000 | #Constraints: 24361 2790.49/2797.48 c #Conflicts: 1148000 | #Constraints: 25413 2790.49/2797.48 c #Conflicts: 1149000 | #Constraints: 26460 2790.49/2797.48 c #Conflicts: 1150000 | #Constraints: 27513 2790.49/2797.48 c #Conflicts: 1151000 | #Constraints: 28562 2790.49/2797.48 c #Conflicts: 1152000 | #Constraints: 29605 2790.49/2797.48 c #Conflicts: 1153000 | #Constraints: 30646 2790.49/2797.48 c #Conflicts: 1154000 | #Constraints: 31692 2790.49/2797.48 c #Conflicts: 1155000 | #Constraints: 32742 2790.49/2797.48 c #Conflicts: 1156000 | #Constraints: 33777 2790.49/2797.48 c #Conflicts: 1157000 | #Constraints: 34820 2790.49/2797.48 c #Conflicts: 1158000 | #Constraints: 35850 2790.49/2797.48 c #Conflicts: 1159000 | #Constraints: 36896 2790.49/2797.48 c #Conflicts: 1160000 | #Constraints: 37946 2790.49/2797.48 c #Conflicts: 1161000 | #Constraints: 38988 2790.49/2797.48 c #Conflicts: 1162000 | #Constraints: 40029 2790.49/2797.48 c #Conflicts: 1163000 | #Constraints: 41071 2790.49/2797.48 c #Conflicts: 1164000 | #Constraints: 42101 2790.49/2797.48 c #Conflicts: 1165000 | #Constraints: 43158 2790.49/2797.48 c #Conflicts: 1166000 | #Constraints: 44187 2790.49/2797.48 c #Conflicts: 1167000 | #Constraints: 45239 2790.49/2797.48 c #Conflicts: 1168000 | #Constraints: 46292 2790.49/2797.48 c INPROCESSING 2790.49/2797.48 c GARBAGE COLLECT 2790.49/2797.48 c rational objective -1904.41 2838.57/2845.66 c #Conflicts: 1169000 | #Constraints: 25294 2838.57/2845.66 c #Conflicts: 1170000 | #Constraints: 26327 2838.57/2845.66 c #Conflicts: 1171000 | #Constraints: 27348 2838.57/2845.66 c #Conflicts: 1172000 | #Constraints: 28372 2838.57/2845.66 c #Conflicts: 1173000 | #Constraints: 29402 2838.57/2845.66 c #Conflicts: 1174000 | #Constraints: 30452 2838.57/2845.66 c #Conflicts: 1175000 | #Constraints: 31500 2838.57/2845.66 c #Conflicts: 1176000 | #Constraints: 32543 2838.57/2845.66 c #Conflicts: 1177000 | #Constraints: 33580 2838.57/2845.66 c #Conflicts: 1178000 | #Constraints: 34621 2838.57/2845.66 c #Conflicts: 1179000 | #Constraints: 35674 2838.57/2845.66 c #Conflicts: 1180000 | #Constraints: 36715 2838.57/2845.66 c #Conflicts: 1181000 | #Constraints: 37756 2838.57/2845.66 c #Conflicts: 1182000 | #Constraints: 38811 2838.57/2845.66 c #Conflicts: 1183000 | #Constraints: 39858 2838.57/2845.66 c #Conflicts: 1184000 | #Constraints: 40895 2838.57/2845.66 c #Conflicts: 1185000 | #Constraints: 41948 2838.57/2845.66 c #Conflicts: 1186000 | #Constraints: 42998 2838.57/2845.66 c #Conflicts: 1187000 | #Constraints: 44047 2838.57/2845.66 c #Conflicts: 1188000 | #Constraints: 45085 2838.57/2845.66 c #Conflicts: 1189000 | #Constraints: 46139 2838.57/2845.66 c #Conflicts: 1190000 | #Constraints: 47181 2838.57/2845.66 c INPROCESSING 2838.57/2845.66 c GARBAGE COLLECT 2838.57/2845.66 c rational objective -1900.26 2989.31/2996.75 c #Conflicts: 1191000 | #Constraints: 25825 2989.31/2996.75 c #Conflicts: 1192000 | #Constraints: 26838 2989.31/2996.75 c #Conflicts: 1193000 | #Constraints: 27848 2989.31/2996.75 c #Conflicts: 1194000 | #Constraints: 28850 2989.31/2996.75 c #Conflicts: 1195000 | #Constraints: 29872 2989.31/2996.75 c #Conflicts: 1196000 | #Constraints: 30878 2989.31/2996.75 c #Conflicts: 1197000 | #Constraints: 31889 2989.31/2996.75 c #Conflicts: 1198000 | #Constraints: 32899 2989.31/2996.75 c #Conflicts: 1199000 | #Constraints: 33904 2989.31/2996.75 c #Conflicts: 1200000 | #Constraints: 34910 2989.31/2996.75 c #Conflicts: 1201000 | #Constraints: 35915 2989.31/2996.75 c #Conflicts: 1202000 | #Constraints: 36923 2989.31/2996.75 c #Conflicts: 1203000 | #Constraints: 37927 2989.31/2996.75 c #Conflicts: 1204000 | #Constraints: 38933 2989.31/2996.75 c #Conflicts: 1205000 | #Constraints: 39940 2989.31/2996.75 c #Conflicts: 1206000 | #Constraints: 40944 2989.31/2996.75 c #Conflicts: 1207000 | #Constraints: 41962 2989.31/2996.75 c #Conflicts: 1208000 | #Constraints: 42977 2989.31/2996.75 c #Conflicts: 1209000 | #Constraints: 43994 2989.31/2996.75 c #Conflicts: 1210000 | #Constraints: 45004 2989.31/2996.75 c #Conflicts: 1211000 | #Constraints: 46012 2989.31/2996.75 c #Conflicts: 1212000 | #Constraints: 47016 2989.31/2996.75 c INPROCESSING 2989.31/2996.75 c GARBAGE COLLECT 2989.31/2996.75 c rational objective -1896.86 3046.57/3054.19 c #Conflicts: 1213000 | #Constraints: 25664 3046.57/3054.19 c #Conflicts: 1214000 | #Constraints: 26717 3046.57/3054.19 c #Conflicts: 1215000 | #Constraints: 27763 3046.57/3054.19 c #Conflicts: 1216000 | #Constraints: 28807 3046.57/3054.19 c #Conflicts: 1217000 | #Constraints: 29858 3046.57/3054.19 c #Conflicts: 1218000 | #Constraints: 30902 3046.57/3054.19 c #Conflicts: 1219000 | #Constraints: 31945 3046.57/3054.19 c #Conflicts: 1220000 | #Constraints: 32977 3046.57/3054.19 c #Conflicts: 1221000 | #Constraints: 33994 3046.57/3054.19 c #Conflicts: 1222000 | #Constraints: 35007 3046.57/3054.19 c #Conflicts: 1223000 | #Constraints: 36025 3046.57/3054.19 c #Conflicts: 1224000 | #Constraints: 37048 3046.57/3054.19 c #Conflicts: 1225000 | #Constraints: 38074 3046.57/3054.19 c #Conflicts: 1226000 | #Constraints: 39095 3046.57/3054.19 c #Conflicts: 1227000 | #Constraints: 40132 3046.57/3054.19 c #Conflicts: 1228000 | #Constraints: 41187 3046.57/3054.19 c #Conflicts: 1229000 | #Constraints: 42235 3046.57/3054.19 c #Conflicts: 1230000 | #Constraints: 43275 3046.57/3054.19 c #Conflicts: 1231000 | #Constraints: 44315 3046.57/3054.19 c #Conflicts: 1232000 | #Constraints: 45359 3046.57/3054.19 c #Conflicts: 1233000 | #Constraints: 46388 3046.57/3054.19 c #Conflicts: 1234000 | #Constraints: 47441 3046.57/3054.19 c INPROCESSING 3046.57/3054.19 c GARBAGE COLLECT 3046.57/3054.19 c rational objective -1888.84 3097.23/3105.00 c #Conflicts: 1235000 | #Constraints: 25870 3097.23/3105.00 c #Conflicts: 1236000 | #Constraints: 26923 3097.23/3105.00 c #Conflicts: 1237000 | #Constraints: 27957 3097.23/3105.00 c #Conflicts: 1238000 | #Constraints: 28999 3097.23/3105.00 c #Conflicts: 1239000 | #Constraints: 30043 3097.23/3105.00 c #Conflicts: 1240000 | #Constraints: 31090 3097.23/3105.00 c #Conflicts: 1241000 | #Constraints: 32151 3097.23/3105.00 c #Conflicts: 1242000 | #Constraints: 33189 3097.23/3105.00 c #Conflicts: 1243000 | #Constraints: 34243 3097.23/3105.00 c #Conflicts: 1244000 | #Constraints: 35287 3097.23/3105.00 c #Conflicts: 1245000 | #Constraints: 36336 3097.23/3105.00 c #Conflicts: 1246000 | #Constraints: 37376 3097.23/3105.00 c #Conflicts: 1247000 | #Constraints: 38401 3097.23/3105.00 c #Conflicts: 1248000 | #Constraints: 39430 3097.23/3105.00 c #Conflicts: 1249000 | #Constraints: 40465 3097.23/3105.00 c #Conflicts: 1250000 | #Constraints: 41517 3097.23/3105.00 c #Conflicts: 1251000 | #Constraints: 42564 3097.23/3105.00 c #Conflicts: 1252000 | #Constraints: 43616 3097.23/3105.00 c #Conflicts: 1253000 | #Constraints: 44643 3097.23/3105.00 c #Conflicts: 1254000 | #Constraints: 45675 3097.23/3105.00 c #Conflicts: 1255000 | #Constraints: 46710 3097.23/3105.00 c #Conflicts: 1256000 | #Constraints: 47743 3097.23/3105.00 c INPROCESSING 3097.23/3105.00 c GARBAGE COLLECT 3097.23/3105.00 c rational objective -1883.86 3152.10/3159.99 c #Conflicts: 1257000 | #Constraints: 25815 3152.10/3159.99 c #Conflicts: 1258000 | #Constraints: 26857 3152.10/3159.99 c #Conflicts: 1259000 | #Constraints: 27913 3152.10/3159.99 c #Conflicts: 1260000 | #Constraints: 28956 3152.10/3159.99 c #Conflicts: 1261000 | #Constraints: 29991 3152.10/3159.99 c #Conflicts: 1262000 | #Constraints: 31036 3152.10/3159.99 c #Conflicts: 1263000 | #Constraints: 32089 3152.10/3159.99 c #Conflicts: 1264000 | #Constraints: 33127 3152.10/3159.99 c #Conflicts: 1265000 | #Constraints: 34167 3152.10/3159.99 c #Conflicts: 1266000 | #Constraints: 35196 3152.10/3159.99 c #Conflicts: 1267000 | #Constraints: 36230 3152.10/3159.99 c #Conflicts: 1268000 | #Constraints: 37270 3152.10/3159.99 c #Conflicts: 1269000 | #Constraints: 38305 3152.10/3159.99 c #Conflicts: 1270000 | #Constraints: 39337 3152.10/3159.99 c #Conflicts: 1271000 | #Constraints: 40364 3152.10/3159.99 c #Conflicts: 1272000 | #Constraints: 41388 3152.10/3159.99 c #Conflicts: 1273000 | #Constraints: 42416 3152.10/3159.99 c #Conflicts: 1274000 | #Constraints: 43439 3152.10/3159.99 c #Conflicts: 1275000 | #Constraints: 44452 3152.10/3159.99 c #Conflicts: 1276000 | #Constraints: 45492 3152.10/3159.99 c #Conflicts: 1277000 | #Constraints: 46545 3152.10/3159.99 c #Conflicts: 1278000 | #Constraints: 47586 3152.10/3159.99 c #Conflicts: 1279000 | #Constraints: 48631 3152.10/3159.99 c INPROCESSING 3152.10/3159.99 c GARBAGE COLLECT 3152.10/3159.99 c rational objective -1880.6 3320.61/3328.99 c #Conflicts: 1280000 | #Constraints: 26426 3320.61/3328.99 c #Conflicts: 1281000 | #Constraints: 27434 3320.61/3328.99 c #Conflicts: 1282000 | #Constraints: 28437 3320.61/3328.99 c #Conflicts: 1283000 | #Constraints: 29445 3320.61/3328.99 c #Conflicts: 1284000 | #Constraints: 30455 3320.61/3328.99 c #Conflicts: 1285000 | #Constraints: 31467 3320.61/3328.99 c #Conflicts: 1286000 | #Constraints: 32482 3320.61/3328.99 c #Conflicts: 1287000 | #Constraints: 33490 3320.61/3328.99 c #Conflicts: 1288000 | #Constraints: 34490 3320.61/3328.99 c #Conflicts: 1289000 | #Constraints: 35493 3320.61/3328.99 c #Conflicts: 1290000 | #Constraints: 36500 3320.61/3328.99 c #Conflicts: 1291000 | #Constraints: 37504 3320.61/3328.99 c #Conflicts: 1292000 | #Constraints: 38518 3320.61/3328.99 c #Conflicts: 1293000 | #Constraints: 39531 3320.61/3328.99 c #Conflicts: 1294000 | #Constraints: 40536 3320.61/3328.99 c #Conflicts: 1295000 | #Constraints: 41548 3320.61/3328.99 c #Conflicts: 1296000 | #Constraints: 42555 3320.61/3328.99 c #Conflicts: 1297000 | #Constraints: 43571 3320.61/3328.99 c #Conflicts: 1298000 | #Constraints: 44576 3320.61/3328.99 c #Conflicts: 1299000 | #Constraints: 45594 3320.61/3328.99 c #Conflicts: 1300000 | #Constraints: 46609 3320.61/3328.99 c #Conflicts: 1301000 | #Constraints: 47620 3320.61/3328.99 c #Conflicts: 1302000 | #Constraints: 48631 3320.61/3328.99 c INPROCESSING 3320.61/3328.99 c GARBAGE COLLECT 3320.61/3328.99 c rational objective -1879.57 3367.10/3375.59 c #Conflicts: 1303000 | #Constraints: 26519 3367.10/3375.59 c #Conflicts: 1304000 | #Constraints: 27566 3367.10/3375.59 c #Conflicts: 1305000 | #Constraints: 28610 3367.10/3375.59 c #Conflicts: 1306000 | #Constraints: 29653 3367.10/3375.59 c #Conflicts: 1307000 | #Constraints: 30703 3367.10/3375.59 c #Conflicts: 1308000 | #Constraints: 31751 3367.10/3375.59 c #Conflicts: 1309000 | #Constraints: 32797 3367.10/3375.59 c #Conflicts: 1310000 | #Constraints: 33845 3367.10/3375.59 c #Conflicts: 1311000 | #Constraints: 34884 3367.10/3375.59 c #Conflicts: 1312000 | #Constraints: 35931 3367.10/3375.59 c #Conflicts: 1313000 | #Constraints: 36966 3367.10/3375.59 c #Conflicts: 1314000 | #Constraints: 38010 3367.10/3375.59 c #Conflicts: 1315000 | #Constraints: 39060 3367.10/3375.59 c #Conflicts: 1316000 | #Constraints: 40112 3367.10/3375.59 c #Conflicts: 1317000 | #Constraints: 41154 3367.10/3375.59 c #Conflicts: 1318000 | #Constraints: 42194 3367.10/3375.59 c #Conflicts: 1319000 | #Constraints: 43242 3367.10/3375.59 c #Conflicts: 1320000 | #Constraints: 44294 3367.10/3375.59 c #Conflicts: 1321000 | #Constraints: 45330 3367.10/3375.59 c #Conflicts: 1322000 | #Constraints: 46367 3367.10/3375.59 c #Conflicts: 1323000 | #Constraints: 47405 3367.10/3375.59 c #Conflicts: 1324000 | #Constraints: 48442 3367.10/3375.59 c #Conflicts: 1325000 | #Constraints: 49471 3367.10/3375.59 c INPROCESSING 3367.10/3375.59 c GARBAGE COLLECT 3367.10/3375.59 c rational objective -1872.61 3424.58/3433.15 c #Conflicts: 1326000 | #Constraints: 26989 3424.58/3433.15 c #Conflicts: 1327000 | #Constraints: 28030 3424.58/3433.15 c #Conflicts: 1328000 | #Constraints: 29074 3424.58/3433.15 c #Conflicts: 1329000 | #Constraints: 30115 3424.58/3433.15 c #Conflicts: 1330000 | #Constraints: 31145 3424.58/3433.15 c #Conflicts: 1331000 | #Constraints: 32184 3424.58/3433.15 c #Conflicts: 1332000 | #Constraints: 33222 3424.58/3433.15 c #Conflicts: 1333000 | #Constraints: 34260 3424.58/3433.15 c #Conflicts: 1334000 | #Constraints: 35300 3424.58/3433.15 c #Conflicts: 1335000 | #Constraints: 36347 3424.58/3433.15 c #Conflicts: 1336000 | #Constraints: 37375 3424.58/3433.15 c #Conflicts: 1337000 | #Constraints: 38411 3424.58/3433.15 c #Conflicts: 1338000 | #Constraints: 39455 3424.58/3433.15 c #Conflicts: 1339000 | #Constraints: 40496 3424.58/3433.15 c #Conflicts: 1340000 | #Constraints: 41543 3424.58/3433.15 c #Conflicts: 1341000 | #Constraints: 42571 3424.58/3433.15 c #Conflicts: 1342000 | #Constraints: 43617 3424.58/3433.15 c #Conflicts: 1343000 | #Constraints: 44653 3424.58/3433.15 c #Conflicts: 1344000 | #Constraints: 45686 3424.58/3433.15 c #Conflicts: 1345000 | #Constraints: 46712 3424.58/3433.15 c #Conflicts: 1346000 | #Constraints: 47723 3424.58/3433.15 c #Conflicts: 1347000 | #Constraints: 48756 3424.58/3433.15 c #Conflicts: 1348000 | #Constraints: 49785 3424.58/3433.15 c INPROCESSING 3424.58/3433.15 c GARBAGE COLLECT 3424.58/3433.15 c rational objective -1870.41 3479.54/3488.20 c #Conflicts: 1349000 | #Constraints: 27040 3479.54/3488.20 c #Conflicts: 1350000 | #Constraints: 28086 3479.54/3488.20 c #Conflicts: 1351000 | #Constraints: 29131 3479.54/3488.20 c #Conflicts: 1352000 | #Constraints: 30173 3479.54/3488.20 c #Conflicts: 1353000 | #Constraints: 31225 3479.54/3488.20 c #Conflicts: 1354000 | #Constraints: 32275 3479.54/3488.20 c #Conflicts: 1355000 | #Constraints: 33330 3479.54/3488.20 c #Conflicts: 1356000 | #Constraints: 34362 3479.54/3488.20 c #Conflicts: 1357000 | #Constraints: 35387 3479.54/3488.20 c #Conflicts: 1358000 | #Constraints: 36423 3479.54/3488.20 c #Conflicts: 1359000 | #Constraints: 37480 3479.54/3488.20 c #Conflicts: 1360000 | #Constraints: 38535 3479.54/3488.20 c #Conflicts: 1361000 | #Constraints: 39577 3479.54/3488.20 c #Conflicts: 1362000 | #Constraints: 40617 3479.54/3488.20 c #Conflicts: 1363000 | #Constraints: 41659 3479.54/3488.20 c #Conflicts: 1364000 | #Constraints: 42710 3479.54/3488.20 c #Conflicts: 1365000 | #Constraints: 43749 3479.54/3488.20 c #Conflicts: 1366000 | #Constraints: 44788 3479.54/3488.20 c #Conflicts: 1367000 | #Constraints: 45842 3479.54/3488.20 c #Conflicts: 1368000 | #Constraints: 46889 3479.54/3488.20 c #Conflicts: 1369000 | #Constraints: 47929 3479.54/3488.20 c #Conflicts: 1370000 | #Constraints: 48975 3479.54/3488.20 c #Conflicts: 1371000 | #Constraints: 50021 3479.54/3488.20 c INPROCESSING 3479.54/3488.20 c GARBAGE COLLECT 3479.54/3488.20 c rational objective -1868.41 3532.61/3541.48 c #Conflicts: 1372000 | #Constraints: 26938 3532.61/3541.48 c #Conflicts: 1373000 | #Constraints: 27980 3532.61/3541.48 c #Conflicts: 1374000 | #Constraints: 29010 3532.61/3541.48 c #Conflicts: 1375000 | #Constraints: 30053 3532.61/3541.48 c #Conflicts: 1376000 | #Constraints: 31091 3532.61/3541.48 c #Conflicts: 1377000 | #Constraints: 32130 3532.61/3541.48 c #Conflicts: 1378000 | #Constraints: 33166 3532.61/3541.48 c #Conflicts: 1379000 | #Constraints: 34191 3532.61/3541.48 c #Conflicts: 1380000 | #Constraints: 35241 3532.61/3541.48 c #Conflicts: 1381000 | #Constraints: 36287 3532.61/3541.48 c #Conflicts: 1382000 | #Constraints: 37336 3532.61/3541.48 c #Conflicts: 1383000 | #Constraints: 38371 3532.61/3541.48 c #Conflicts: 1384000 | #Constraints: 39411 3532.61/3541.48 c #Conflicts: 1385000 | #Constraints: 40471 3532.61/3541.48 c #Conflicts: 1386000 | #Constraints: 41516 3532.61/3541.48 c #Conflicts: 1387000 | #Constraints: 42561 3532.61/3541.48 c #Conflicts: 1388000 | #Constraints: 43611 3532.61/3541.48 c #Conflicts: 1389000 | #Constraints: 44660 3532.61/3541.48 c #Conflicts: 1390000 | #Constraints: 45717 3532.61/3541.48 c #Conflicts: 1391000 | #Constraints: 46769 3532.61/3541.48 c #Conflicts: 1392000 | #Constraints: 47821 3532.61/3541.48 c #Conflicts: 1393000 | #Constraints: 48869 3532.61/3541.48 c #Conflicts: 1394000 | #Constraints: 49909 3532.61/3541.48 c #Conflicts: 1395000 | #Constraints: 50953 3532.61/3541.48 c INPROCESSING 3532.61/3541.48 c GARBAGE COLLECT 3532.61/3541.48 c rational objective -1868.15 3600.05/3609.01 c #Conflicts: 1396000 | #Constraints: 27597 3600.05/3609.01 c #Conflicts: 1397000 | #Constraints: 28608 3600.05/3609.01 c #Conflicts: 1398000 | #Constraints: 29610 3600.05/3609.01 c #Conflicts: 1399000 | #Constraints: 30612 3600.05/3609.01 c #Conflicts: 1400000 | #Constraints: 31621 3600.05/3609.01 c #Conflicts: 1401000 | #Constraints: 32623 3600.05/3609.01 c #Conflicts: 1402000 | #Constraints: 33626 3600.05/3609.01 c #Conflicts: 1403000 | #Constraints: 34631 3600.05/3609.01 c Program interrupted by user. 3600.05/3609.01 c cpu time 3570.56 s 3600.05/3609.01 c deterministic time 789394342780 7.89e+11 3600.05/3609.01 c optimization time 66.8248 s 3600.05/3609.01 c total solve time 3503.72 s 3600.05/3609.01 c core-guided solve time 1778.81 s 3600.05/3609.01 c propagation time 3185.71 s 3600.05/3609.01 c conflict analysis time 302.884 s 3600.05/3609.01 c propagations 56224814 3600.05/3609.01 c resolve steps 13106324 3600.05/3609.01 c decisions 2503356 3600.05/3609.01 c conflicts 1403433 3600.05/3609.01 c restarts 2688 3600.05/3609.01 c inprocessing phases 109 3600.05/3609.01 c input clauses 979 3600.05/3609.01 c input cardinalities 117 3600.05/3609.01 c input general constraints 1116 3600.05/3609.01 c input average constraint length 58.57 3600.05/3609.01 c input average constraint degree 145.89 3600.05/3609.01 c learned clauses 946341 3600.05/3609.01 c learned cardinalities 738 3600.05/3609.01 c learned general constraints 502076 3600.05/3609.01 c learned average constraint length 519.86 3600.05/3609.01 c learned average constraint degree 4034838245.61 3600.05/3609.01 c watched constraints 501354 3600.05/3609.01 c counting constraints 1838 3600.05/3609.01 c gcd simplifications 448221 3600.05/3609.01 c detected cardinalities 16 3600.05/3609.01 c weakened non-implied lits 288829244 3600.05/3609.01 c weakened non-implying lits 624391 3600.05/3609.01 c original variables 882 3600.05/3609.01 c clausal propagations 18672959 3600.05/3609.01 c cardinality propagations 4790778 3600.05/3609.01 c watched propagations 8977641 3600.05/3609.01 c counting propagations 22635295 3600.05/3609.01 c watch lookups 18820971124 3600.05/3609.01 c watch backjump lookups 6074925687 3600.05/3609.01 c watch checks 743838883003 3600.05/3609.01 c propagation checks 18120661023 3600.05/3609.01 c constraint additions 2418532434 3600.05/3609.01 c trail pops 60084910 3600.05/3609.01 c formula constraints 1664 3600.05/3609.01 c learned constraints 1357805 3600.05/3609.01 c bound constraints 137 3600.05/3609.01 c core-guided constraints 411 3600.05/3609.01 c encountered formula constraints 8667228 3600.05/3609.01 c encountered learned constraints 4623437 3600.05/3609.01 c encountered bound constraints 20722 3600.05/3609.01 c encountered core-guided constraints 307513 3600.05/3609.01 c LP total time 105.728 s 3600.05/3609.01 c LP solve time 68.43 s 3600.05/3609.01 c LP constraints added 4931 3600.05/3609.01 c LP constraints removed 2788 3600.05/3609.01 c LP pivots internal 1403458 3600.05/3609.01 c LP pivots root 152970 3600.05/3609.01 c LP calls 86223 3600.05/3609.01 c LP optimalities 40546 3600.05/3609.01 c LP no pivot count 2738 3600.05/3609.01 c LP infeasibilities 45675 3600.05/3609.01 c LP valid Farkas constraints 45675 3600.05/3609.01 c LP learned Farkas constraints 45675 3600.05/3609.01 c LP basis resets 0 3600.05/3609.01 c LP cycling count 0 3600.05/3609.01 c LP singular count 0 3600.05/3609.01 c LP no primal count 0 3600.05/3609.01 c LP no farkas count 0 3600.05/3609.01 c LP other issue count 0 3600.05/3609.01 c LP Gomory cuts 0 3600.05/3609.01 c LP learned cuts 3267 3600.05/3609.01 c LP deleted cuts 2788 3600.05/3609.01 c LP encountered Gomory constraints 0 3600.05/3609.01 c LP encountered Farkas constraints 683922 3600.05/3609.01 c LP encountered learned Farkas constraints 161260 3600.05/3609.01 c CG auxiliary variables introduced 176 3600.05/3609.01 c CG solutions found 20 3600.05/3609.01 c CG cores constructed 117 3600.05/3609.01 c CG core cardinality constraints returned 0 3600.05/3609.01 c CG unit cores 0 3600.05/3609.01 c CG single cores 117 3600.05/3609.01 c CG blocks removed during cardinality reduction 0 3600.05/3609.01 c CG first core best 0 3600.05/3609.01 c CG decision core best 0 3600.05/3609.01 c CG core reduction tie 0 3600.05/3609.01 c CG core degree average 1.00 3600.05/3609.01 c CG core slack average 2.80 3600.05/3609.01 s SATISFIABLE 3600.05/3609.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: 64096 MiB (60819 MiB free)
memory of node 1: 64473 MiB (59695 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457215-1721832168/watcher-4457215-1721832168 -o /tmp/evaluation-result-4457215-1721832168/solver-4457215-1721832168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186541 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457215-1721832168 --lp-cut-gomory=0 HOME/instance-4457215-1721832168.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=187169, runsolver pid=187166
[startup+0.100345 s]*
/proc/loadavg: 0.43 1.86 3.00 5/247 187170
/proc/meminfo: memFree=123402864/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=39396 memory=9336 CPUtime=0.1 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 835 0 0 0 9 1 0 0 20 0 1 0 19205726 40341504 2334 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 9849 2334 1778 992 0 1707 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39396 KiB
Current children cumulated memory: 9336 KiB
[startup+0.214384 s]*
/proc/loadavg: 0.43 1.86 3.00 5/247 187170
/proc/meminfo: memFree=123398640/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=40020 memory=9976 CPUtime=0.21 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 985 0 0 0 20 1 0 0 20 0 1 0 19205726 40980480 2494 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 10005 2494 1808 992 0 1863 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40020 KiB
Current children cumulated memory: 9976 KiB
[startup+0.313343 s]*
/proc/loadavg: 0.43 1.86 3.00 5/247 187170
/proc/meminfo: memFree=123392840/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=40020 memory=10564 CPUtime=0.31 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 1076 0 0 0 29 2 0 0 20 0 1 0 19205726 40980480 2641 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 10005 2641 1824 992 0 1863 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40020 KiB
Current children cumulated memory: 10564 KiB
[startup+0.700271 s]
/proc/loadavg: 0.43 1.86 3.00 5/247 187170
/proc/meminfo: memFree=123388472/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=40020 memory=11620 CPUtime=0.68 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 1330 0 0 0 65 3 0 0 20 0 1 0 19205726 40980480 2905 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 10005 2905 1824 992 0 1863 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40020 KiB
Current children cumulated memory: 11620 KiB
[startup+1.50036 s]
/proc/loadavg: 0.43 1.86 3.00 5/247 187170
/proc/meminfo: memFree=123342996/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=41576 memory=15716 CPUtime=1.48 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 1786 0 0 0 142 6 0 0 20 0 1 0 19205726 42573824 3929 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 10394 3929 1879 992 0 2252 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41576 KiB
Current children cumulated memory: 15716 KiB
[startup+3.11324 s]
/proc/loadavg: 0.72 1.90 3.01 5/247 187170
/proc/meminfo: memFree=123090144/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=46528 memory=18512 CPUtime=3.08 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 2486 0 0 0 298 10 0 0 20 0 1 0 19205726 47644672 4628 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 11632 4628 1895 992 0 3490 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 46528 KiB
Current children cumulated memory: 18512 KiB
[startup+6.3003 s]
/proc/loadavg: 0.72 1.90 3.01 5/247 187170
/proc/meminfo: memFree=122791024/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=48016 memory=22136 CPUtime=6.27 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 2914 0 0 0 610 17 0 0 20 0 1 0 19205726 49168384 5534 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 12004 5534 1895 992 0 3862 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48016 KiB
Current children cumulated memory: 22136 KiB
[startup+12.7003 s]
/proc/loadavg: 1.30 1.98 3.02 5/247 187171
/proc/meminfo: memFree=122301716/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=57744 memory=30628 CPUtime=12.65 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 4536 0 0 0 1236 29 0 0 20 0 1 0 19205726 59129856 7657 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 14436 7657 1895 992 0 6294 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57744 KiB
Current children cumulated memory: 30628 KiB
[startup+25.5004 s]
/proc/loadavg: 1.71 2.05 3.03 5/247 187173
/proc/meminfo: memFree=121315304/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=65920 memory=37876 CPUtime=25.42 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 5304 0 0 0 2487 55 0 0 20 0 1 0 19205726 67502080 9469 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 16480 9469 1895 992 0 8338 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 65920 KiB
Current children cumulated memory: 37876 KiB
[startup+51.1136 s]
/proc/loadavg: 2.50 2.21 3.06 5/250 187182
/proc/meminfo: memFree=120341424/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=82784 memory=50716 CPUtime=50.97 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 6988 0 0 0 4999 98 0 0 20 0 1 0 19205726 84770816 12679 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 20696 12679 1895 992 0 12554 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 82784 KiB
Current children cumulated memory: 50716 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 2.56 3.13 7/253 187193
/proc/meminfo: memFree=116907256/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=106960 memory=63420 CPUtime=102.02 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 8743 0 0 0 10023 179 0 0 20 0 1 0 19205726 109527040 15855 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 26740 15855 1895 992 0 18598 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 106960 KiB
Current children cumulated memory: 63420 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.84 3.20 5/256 187206
/proc/meminfo: memFree=112980160/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=115128 memory=81512 CPUtime=161.88 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 10773 0 0 0 15930 258 0 0 20 0 1 0 19205726 117891072 20378 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 28782 20378 1895 992 0 20640 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 115128 KiB
Current children cumulated memory: 81512 KiB
[startup+222.3 s]
/proc/loadavg: 4.33 3.16 3.29 5/258 187218
/proc/meminfo: memFree=110548524/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=155376 memory=96372 CPUtime=221.73 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 13255 0 0 0 21831 342 0 0 20 0 1 0 19205726 159105024 24093 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 38844 24093 1895 992 0 30702 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 155376 KiB
Current children cumulated memory: 96372 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 3.33 3.34 5/258 187229
/proc/meminfo: memFree=109022708/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=156216 memory=97064 CPUtime=281.57 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 13640 0 0 0 27752 405 0 0 20 0 1 0 19205726 159965184 24266 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 39054 24266 1895 992 0 30912 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 156216 KiB
Current children cumulated memory: 97064 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 3.49 3.39 5/258 187239
/proc/meminfo: memFree=107768088/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=160244 memory=106540 CPUtime=341.42 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 14683 0 0 0 33673 469 0 0 20 0 1 0 19205726 164089856 26635 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 40061 26635 1895 992 0 31919 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 160244 KiB
Current children cumulated memory: 106540 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.61 3.44 5/256 187249
/proc/meminfo: memFree=106867136/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=163280 memory=111392 CPUtime=401.27 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 15537 0 0 0 39600 527 0 0 20 0 1 0 19205726 167198720 27848 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 40820 27848 1895 992 0 32678 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 163280 KiB
Current children cumulated memory: 111392 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 3.69 3.48 5/251 187261
/proc/meminfo: memFree=105664752/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=167052 memory=121204 CPUtime=461.12 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 16660 0 0 0 45518 594 0 0 20 0 1 0 19205726 171061248 30301 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 41763 30301 1895 992 0 33621 0
################
# More data... #
################
Current children cumulated memory: 234372 KiB
[startup+2862.3 s]
/proc/loadavg: 4.21 4.26 4.18 5/250 188827
/proc/meminfo: memFree=79277500/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=273688 memory=234404 CPUtime=2855.23 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 36497 0 0 0 283053 2470 0 0 20 0 1 0 19205726 280256512 58601 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 68422 58601 1895 992 0 60280 0
Current children cumulated CPU time: 2855.23 s
Current children cumulated vsize: 273688 KiB
Current children cumulated memory: 234404 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.24 4.18 5/250 188897
/proc/meminfo: memFree=78814660/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=273688 memory=234404 CPUtime=2915.08 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 36512 0 0 0 289013 2495 0 0 20 0 1 0 19205726 280256512 58601 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 68422 58601 1895 992 0 60280 0
Current children cumulated CPU time: 2915.08 s
Current children cumulated vsize: 273688 KiB
Current children cumulated memory: 234404 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/250 188908
/proc/meminfo: memFree=78201884/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=273848 memory=234404 CPUtime=2974.94 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 36556 0 0 0 294971 2523 0 0 20 0 1 0 19205726 280420352 58601 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 68462 58601 1895 992 0 60320 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 273848 KiB
Current children cumulated memory: 234404 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/250 188919
/proc/meminfo: memFree=77356276/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=274820 memory=235140 CPUtime=3034.79 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 36953 0 0 0 300905 2574 0 0 20 0 1 0 19205726 281415680 58785 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 68705 58785 1895 992 0 60563 0
Current children cumulated CPU time: 3034.79 s
Current children cumulated vsize: 274820 KiB
Current children cumulated memory: 235140 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/248 188930
/proc/meminfo: memFree=76511036/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=358156 memory=238692 CPUtime=3094.64 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 37954 0 0 0 306836 2628 0 0 20 0 1 0 19205726 366751744 59673 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 89539 59673 1895 992 0 81397 0
Current children cumulated CPU time: 3094.64 s
Current children cumulated vsize: 358156 KiB
Current children cumulated memory: 238692 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/248 188940
/proc/meminfo: memFree=75696212/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=358664 memory=243728 CPUtime=3154.49 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 38450 0 0 0 312767 2682 0 0 20 0 1 0 19205726 367271936 60932 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 89666 60932 1895 992 0 81524 0
Current children cumulated CPU time: 3154.49 s
Current children cumulated vsize: 358664 KiB
Current children cumulated memory: 243728 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/245 188950
/proc/meminfo: memFree=75337076/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=358664 memory=248764 CPUtime=3214.31 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 38513 0 0 0 318723 2708 0 0 20 0 1 0 19205726 367271936 62191 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 89666 62191 1895 992 0 81524 0
Current children cumulated CPU time: 3214.31 s
Current children cumulated vsize: 358664 KiB
Current children cumulated memory: 248764 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/245 188961
/proc/meminfo: memFree=74794536/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=358664 memory=257208 CPUtime=3274.13 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 38551 0 0 0 324682 2731 0 0 20 0 1 0 19205726 367271936 64302 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 89666 64302 1895 992 0 81524 0
Current children cumulated CPU time: 3274.13 s
Current children cumulated vsize: 358664 KiB
Current children cumulated memory: 257208 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.17 4.17 5/245 188971
/proc/meminfo: memFree=74236160/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=359224 memory=257648 CPUtime=3333.98 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 38952 0 0 0 330635 2763 0 0 20 0 1 0 19205726 367845376 64412 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 89806 64412 1895 992 0 81664 0
Current children cumulated CPU time: 3333.98 s
Current children cumulated vsize: 359224 KiB
Current children cumulated memory: 257648 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/245 188982
/proc/meminfo: memFree=73609948/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=359228 memory=257660 CPUtime=3393.84 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 39130 0 0 0 336568 2816 0 0 20 0 1 0 19205726 367849472 64415 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 89807 64415 1895 992 0 81665 0
Current children cumulated CPU time: 3393.84 s
Current children cumulated vsize: 359228 KiB
Current children cumulated memory: 257660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/244 188992
/proc/meminfo: memFree=73037720/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=359736 memory=258072 CPUtime=3453.7 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 39475 0 0 0 342507 2863 0 0 20 0 1 0 19205726 368369664 64518 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 89934 64518 1895 992 0 81792 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 359736 KiB
Current children cumulated memory: 258072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.15 6/246 189006
/proc/meminfo: memFree=72447888/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=360416 memory=262684 CPUtime=3513.56 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 39786 0 0 0 348445 2911 0 0 20 0 1 0 19205726 369065984 65671 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 90104 65671 1895 992 0 81962 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 360416 KiB
Current children cumulated memory: 262684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/246 189019
/proc/meminfo: memFree=71875032/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=360416 memory=262688 CPUtime=3573.41 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 40043 0 0 0 354401 2940 0 0 20 0 1 0 19205726 369065984 65672 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 90104 65672 1895 992 0 81962 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 360416 KiB
Current children cumulated memory: 262688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.10 4.13 4.15 5/246 189023
/proc/meminfo: memFree=71716044/131655788 swapFree=131071472/131071996
[pid=187169] ppid=187166 vsize=360416 memory=262688 CPUtime=3600.05 cores=4,6
/proc/187169/stat : 187169 (roundingsat) R 187166 187169 186530 0 -1 4194304 40047 0 0 0 357055 2950 0 0 20 0 1 0 19205726 369065984 65672 134679101440 4194304 8254037 140724111306224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 21016576 140724111307612 140724111307874 140724111307874 140724111314889 0
/proc/187169/statm: 90104 65672 1895 992 0 81962 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 360416 KiB
Current children cumulated memory: 262688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.08 s]
# the end of solver process 187169 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.56 s, system=29.5197 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.08
CPU time (s): 3600.08
CPU user time (s): 3570.56
CPU system time (s): 29.5197
CPU usage (%): 99.7507
Max. virtual memory (cumulated for all children) (KiB): 361292
Max. memory (cumulated for all children) (KiB): 263260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.56
system time used= 29.5197
maximum resident set size= 263260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40060
page faults= 1
swaps= 0
block input operations= 224
block output operations= 29034080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1453
involuntary context switches= 4826
# summary of solver processes directly reported to runsolver:
# pid: 187169
# total CPU time (s): 3600.08
# total CPU user time (s): 3570.56
# total CPU system time (s): 29.5197
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4668 second user time and 41.4422 second system time
The end
Begin job on nodeC004 at 2024-07-24 16:42:48 IDJOB=4457215 IDBENCH=158491 IDSOLVER=3085 FILE ID=nodeC004/4457215-1721832168 RUNJOBID= nodeC004-1721832165-186541 SLURM_JOB_ID= 7891533 Free space on /tmp= 723756 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-4457215-1721832168/watcher-4457215-1721832168 -o /tmp/evaluation-result-4457215-1721832168/solver-4457215-1721832168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186541 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457215-1721832168 --lp-cut-gomory=0 HOME/instance-4457215-1721832168.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f RANDOM SEED=1492920979 nodeC004.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 : 1197.279 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.13 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 : 2095.239 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.36 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.296 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.13 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.419 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.285 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.13 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 : 1496.599 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.36 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.299 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.13 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.511 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123410880 kB MemAvailable: 129849636 kB Buffers: 261720 kB Cached: 6971780 kB SwapCached: 60 kB Active: 2569228 kB Inactive: 5042936 kB Active(anon): 1444 kB Inactive(anon): 431132 kB Active(file): 2567784 kB Inactive(file): 4611804 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 39156 kB Writeback: 0 kB AnonPages: 376384 kB Mapped: 122556 kB Shmem: 53860 kB KReclaimable: 198736 kB Slab: 311456 kB SReclaimable: 198736 kB SUnreclaim: 112720 kB KernelStack: 3932 kB PageTables: 10072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 766628 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20128 kB HardwareCorrupted: 0 kB AnonHugePages: 210944 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: 392008 kB DirectMap2M: 50892800 kB DirectMap1G: 84934656 kB Free space on /tmp at the end= 723752 MiB End job on nodeC004 at 2024-07-24 17:42:57