| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | -81 | 3600.1 | 3610.61 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern30-04.lin.opb |
| MD5SUM | 28e415f3c4d8dab53aac16682d7f066d |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -81 |
| Best CPU time to get the best result obtained on this benchmark | 7.64941 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 223 |
| Total number of constraints | 386 |
| Number of constraints which are clauses | 193 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 193 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 223 |
| Biggest coefficient in the objective function | 16 |
| Number of bits for the biggest coefficient in the objective function | 5 |
| Sum of the numbers in the objective function | 2376 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 2376 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 223 #constraints 386 0.00/0.00 c bounds - >= -1188 @ 0.001371 0.00/0.00 c rational objective -594 0.20/0.26 c bounds 0 >= -1188 @ 0.004918 0.20/0.26 c bounds 0 >= -1176 @ 0.008011 0.20/0.26 c bounds 0 >= -1164 @ 0.008086 0.20/0.26 c bounds 0 >= -1152 @ 0.008163 0.20/0.26 c bounds 0 >= -1140 @ 0.008243 0.20/0.26 c bounds 0 >= -1128 @ 0.008311 0.20/0.26 c bounds -3 >= -1128 @ 0.008425 0.20/0.26 c bounds -3 >= -1116 @ 0.008492 0.20/0.26 c bounds -3 >= -1104 @ 0.008559 0.20/0.26 c bounds -3 >= -1092 @ 0.008628 0.20/0.26 c bounds -3 >= -1080 @ 0.008692 0.20/0.26 c bounds -3 >= -1068 @ 0.008764 0.20/0.26 c bounds -3 >= -1056 @ 0.008827 0.20/0.26 c bounds -6 >= -1056 @ 0.008948 0.20/0.26 c bounds -6 >= -1044 @ 0.009017 0.20/0.26 c bounds -6 >= -1032 @ 0.009082 0.20/0.26 c bounds -6 >= -1020 @ 0.00915 0.20/0.26 c bounds -6 >= -1008 @ 0.009215 0.20/0.26 c bounds -6 >= -996 @ 0.00929 0.20/0.26 c bounds -6 >= -984 @ 0.009351 0.20/0.26 c bounds -8 >= -984 @ 0.00946 0.20/0.26 c bounds -8 >= -972 @ 0.009547 0.20/0.26 c bounds -8 >= -960 @ 0.009614 0.20/0.26 c bounds -8 >= -948 @ 0.009678 0.20/0.26 c bounds -8 >= -936 @ 0.009737 0.20/0.26 c bounds -8 >= -924 @ 0.009796 0.20/0.26 c bounds -8 >= -912 @ 0.009855 0.20/0.26 c bounds -20 >= -912 @ 0.010055 0.20/0.26 c bounds -20 >= -900 @ 0.010123 0.20/0.26 c bounds -20 >= -888 @ 0.0102 0.20/0.26 c bounds -20 >= -876 @ 0.010258 0.20/0.26 c bounds -20 >= -864 @ 0.010316 0.20/0.26 c bounds -20 >= -852 @ 0.010374 0.20/0.26 c bounds -20 >= -840 @ 0.010434 0.20/0.26 c bounds -20 >= -828 @ 0.010493 0.20/0.26 c bounds -40 >= -828 @ 0.010727 0.20/0.26 c bounds -40 >= -816 @ 0.010787 0.20/0.26 c bounds -40 >= -804 @ 0.010862 0.20/0.26 c bounds -40 >= -792 @ 0.010978 0.20/0.26 c bounds -40 >= -780 @ 0.011127 0.20/0.26 c bounds -40 >= -768 @ 0.011274 0.20/0.26 c bounds -41 >= -768 @ 0.01141 0.20/0.26 c bounds -41 >= -756 @ 0.011543 0.20/0.26 c bounds -41 >= -744 @ 0.011671 0.20/0.26 c bounds -41 >= -732 @ 0.011795 0.20/0.26 c bounds -53 >= -732 @ 0.011936 0.20/0.26 c bounds -53 >= -720 @ 0.01216 0.20/0.26 c bounds -53 >= -708 @ 0.012476 0.20/0.26 c bounds -56 >= -708 @ 0.012712 0.20/0.26 c bounds -56 >= -696 @ 0.013349 0.20/0.26 c bounds -59 >= -696 @ 0.013567 0.20/0.26 c bounds -62 >= -696 @ 0.0137 0.20/0.26 c bounds -66 >= -696 @ 0.013877 0.20/0.26 c bounds -67 >= -696 @ 0.013877 0.20/0.26 c bounds -67 >= -684 @ 0.014154 0.20/0.26 c bounds -68 >= -684 @ 0.015794 0.20/0.26 c bounds -72 >= -684 @ 0.016228 0.20/0.26 c bounds -73 >= -684 @ 0.016893 0.20/0.26 c bounds -74 >= -684 @ 0.047391 0.20/0.26 c bounds -74 >= -675 @ 0.047652 0.20/0.26 c #Conflicts: 1000 | #Constraints: 1604 0.20/0.26 c #Conflicts: 2000 | #Constraints: 2611 0.20/0.26 c INPROCESSING 0.20/0.26 c GARBAGE COLLECT 0.20/0.26 c rational objective -594 0.59/0.64 c bounds -75 >= -675 @ 0.245055 0.59/0.64 c #Conflicts: 3000 | #Constraints: 2596 0.59/0.64 c #Conflicts: 4000 | #Constraints: 3610 0.59/0.64 c INPROCESSING 0.59/0.64 c GARBAGE COLLECT 0.59/0.64 c rational objective -497 1.09/1.15 c bounds -75 >= -667 @ 0.599679 1.09/1.15 c bounds -75 >= -659 @ 0.599802 1.09/1.15 c bounds -75 >= -651 @ 0.599939 1.09/1.15 c bounds -75 >= -643 @ 0.600268 1.09/1.15 c bounds -75 >= -635 @ 0.600375 1.09/1.15 c bounds -75 >= -627 @ 0.600467 1.09/1.15 c bounds -75 >= -619 @ 0.600615 1.09/1.15 c bounds -75 >= -611 @ 0.600732 1.09/1.15 c bounds -75 >= -603 @ 0.600875 1.09/1.15 c bounds -75 >= -595 @ 0.600993 1.09/1.15 c bounds -75 >= -587 @ 0.601168 1.09/1.15 c bounds -75 >= -579 @ 0.601338 1.09/1.15 c bounds -75 >= -571 @ 0.601426 1.09/1.15 c bounds -75 >= -563 @ 0.601543 1.09/1.15 c bounds -75 >= -555 @ 0.601715 1.09/1.15 c bounds -75 >= -547 @ 0.601873 1.09/1.15 c bounds -75 >= -539 @ 0.602008 1.09/1.15 c bounds -75 >= -531 @ 0.60216 1.09/1.15 c bounds -75 >= -523 @ 0.602269 1.09/1.15 c bounds -75 >= -515 @ 0.602392 1.09/1.15 c bounds -75 >= -507 @ 0.602524 1.09/1.15 c bounds -75 >= -499 @ 0.602719 1.09/1.15 c bounds -75 >= -491 @ 0.602805 1.09/1.15 c bounds -75 >= -483 @ 0.602916 1.09/1.15 c bounds -75 >= -475 @ 0.603038 1.09/1.15 c bounds -75 >= -467 @ 0.603189 1.09/1.15 c bounds -75 >= -459 @ 0.60327 1.09/1.15 c bounds -75 >= -451 @ 0.603375 1.09/1.15 c bounds -75 >= -443 @ 0.603474 1.09/1.15 c bounds -75 >= -435 @ 0.603551 1.09/1.15 c bounds -75 >= -427 @ 0.603993 1.09/1.15 c bounds -75 >= -419 @ 0.60462 1.09/1.15 c bounds -75 >= -411 @ 0.605902 1.09/1.15 c bounds -75 >= -403 @ 0.60748 1.09/1.15 c bounds -75 >= -395 @ 0.607965 1.09/1.15 c bounds -75 >= -387 @ 0.608511 1.09/1.15 c bounds -75 >= -379 @ 0.613358 1.09/1.15 c bounds -75 >= -371 @ 0.656025 1.09/1.15 c #Conflicts: 5000 | #Constraints: 3214 1.09/1.15 c bounds -75 >= -363 @ 0.897795 1.09/1.15 c #Conflicts: 6000 | #Constraints: 4246 1.09/1.15 c INPROCESSING 1.09/1.15 c GARBAGE COLLECT 1.09/1.15 c rational objective -477.667 1.78/1.82 c #Conflicts: 7000 | #Constraints: 3232 1.78/1.82 c #Conflicts: 8000 | #Constraints: 4232 1.78/1.82 c #Conflicts: 9000 | #Constraints: 5232 1.78/1.82 c INPROCESSING 1.78/1.82 c GARBAGE COLLECT 1.78/1.82 c rational objective -462.074 2.28/2.35 c #Conflicts: 10000 | #Constraints: 3942 2.28/2.35 c bounds -79 >= -363 @ 1.91561 2.28/2.35 c #Conflicts: 11000 | #Constraints: 4967 2.28/2.35 c #Conflicts: 12000 | #Constraints: 5987 2.28/2.35 c INPROCESSING 2.28/2.35 c GARBAGE COLLECT 2.28/2.35 c rational objective -455.589 2.88/2.99 c bounds -79 >= -357 @ 2.31173 2.88/2.99 c bounds -80 >= -357 @ 2.32941 2.88/2.99 c #Conflicts: 13000 | #Constraints: 4426 2.88/2.99 c #Conflicts: 14000 | #Constraints: 5449 2.88/2.99 c #Conflicts: 15000 | #Constraints: 6466 2.88/2.99 c INPROCESSING 2.88/2.99 c GARBAGE COLLECT 2.88/2.99 c rational objective -437.685 3.99/4.09 c #Conflicts: 16000 | #Constraints: 4639 3.99/4.09 c #Conflicts: 17000 | #Constraints: 5640 3.99/4.09 c #Conflicts: 18000 | #Constraints: 6640 3.99/4.09 c INPROCESSING 3.99/4.09 c GARBAGE COLLECT 3.99/4.09 c rational objective -423.84 4.88/4.95 c #Conflicts: 19000 | #Constraints: 4659 4.88/4.95 c #Conflicts: 20000 | #Constraints: 5691 4.88/4.95 c #Conflicts: 21000 | #Constraints: 6720 4.88/4.95 c INPROCESSING 4.88/4.95 c GARBAGE COLLECT 4.88/4.95 c rational objective -416.048 6.58/6.69 c #Conflicts: 22000 | #Constraints: 4470 6.58/6.69 c #Conflicts: 23000 | #Constraints: 5470 6.58/6.69 c #Conflicts: 24000 | #Constraints: 6470 6.58/6.69 c #Conflicts: 25000 | #Constraints: 7470 6.58/6.69 c bounds -80 >= -351 @ 6.40869 6.58/6.69 c INPROCESSING 6.58/6.69 c GARBAGE COLLECT 6.58/6.69 c rational objective -393.433 7.67/7.76 c #Conflicts: 26000 | #Constraints: 5076 7.67/7.76 c #Conflicts: 27000 | #Constraints: 6110 7.67/7.76 c #Conflicts: 28000 | #Constraints: 7139 7.67/7.76 c #Conflicts: 29000 | #Constraints: 8175 7.67/7.76 c INPROCESSING 7.67/7.76 c GARBAGE COLLECT 7.67/7.76 c rational objective -376.37 9.07/9.11 c #Conflicts: 30000 | #Constraints: 5514 9.07/9.11 c #Conflicts: 31000 | #Constraints: 6514 9.07/9.11 c #Conflicts: 32000 | #Constraints: 7518 9.07/9.11 c #Conflicts: 33000 | #Constraints: 8521 9.07/9.11 c INPROCESSING 9.07/9.11 c GARBAGE COLLECT 9.07/9.11 c rational objective -363.8 10.26/10.34 c #Conflicts: 34000 | #Constraints: 5723 10.26/10.34 c #Conflicts: 35000 | #Constraints: 6758 10.26/10.34 c #Conflicts: 36000 | #Constraints: 7777 10.26/10.34 c #Conflicts: 37000 | #Constraints: 8790 10.26/10.34 c INPROCESSING 10.26/10.34 c GARBAGE COLLECT 10.26/10.34 c rational objective -357.545 11.86/11.94 c #Conflicts: 38000 | #Constraints: 5725 11.86/11.94 c #Conflicts: 39000 | #Constraints: 6734 11.86/11.94 c #Conflicts: 40000 | #Constraints: 7735 11.86/11.94 c #Conflicts: 41000 | #Constraints: 8742 11.86/11.94 c INPROCESSING 11.86/11.94 c GARBAGE COLLECT 11.86/11.94 c rational objective -353.768 13.26/13.32 c #Conflicts: 42000 | #Constraints: 5518 13.26/13.32 c #Conflicts: 43000 | #Constraints: 6551 13.26/13.32 c #Conflicts: 44000 | #Constraints: 7578 13.26/13.32 c #Conflicts: 45000 | #Constraints: 8613 13.26/13.32 c bounds -81 >= -351 @ 12.7096 13.26/13.32 c bounds -81 >= -347 @ 12.7101 13.26/13.32 c bounds -81 >= -343 @ 12.7104 13.26/13.32 c bounds -81 >= -339 @ 12.7107 13.26/13.32 c bounds -81 >= -335 @ 12.711 13.26/13.32 c bounds -81 >= -331 @ 12.7113 13.26/13.32 c bounds -81 >= -327 @ 12.7116 13.26/13.32 c bounds -81 >= -323 @ 12.712 13.26/13.32 c bounds -81 >= -319 @ 12.7122 13.26/13.32 c bounds -81 >= -315 @ 12.7124 13.26/13.32 c bounds -81 >= -311 @ 12.7127 13.26/13.32 c bounds -81 >= -307 @ 12.7131 13.26/13.32 c bounds -81 >= -303 @ 12.7135 13.26/13.32 c bounds -81 >= -299 @ 12.7139 13.26/13.32 c bounds -81 >= -295 @ 12.7139 13.26/13.32 c bounds -81 >= -291 @ 12.7145 13.26/13.32 c bounds -81 >= -287 @ 12.7156 13.26/13.32 c bounds -81 >= -283 @ 12.718 13.26/13.32 c bounds -81 >= -279 @ 12.719 13.26/13.32 c bounds -81 >= -275 @ 12.7205 13.26/13.32 c bounds -81 >= -271 @ 12.7254 13.26/13.32 c #Conflicts: 46000 | #Constraints: 9759 13.26/13.32 c bounds -81 >= -267 @ 12.7349 13.26/13.32 c bounds -81 >= -263 @ 12.7477 13.26/13.32 c bounds -81 >= -259 @ 12.8189 13.26/13.32 c INPROCESSING 13.26/13.32 c GARBAGE COLLECT 13.26/13.32 c rational objective -352.181 14.65/14.77 c bounds -81 >= -255 @ 12.9836 14.65/14.77 c #Conflicts: 47000 | #Constraints: 6313 14.65/14.77 c #Conflicts: 48000 | #Constraints: 7352 14.65/14.77 c #Conflicts: 49000 | #Constraints: 8399 14.65/14.77 c #Conflicts: 50000 | #Constraints: 9454 14.65/14.77 c #Conflicts: 51000 | #Constraints: 10473 14.65/14.77 c INPROCESSING 14.65/14.77 c GARBAGE COLLECT 14.65/14.77 c rational objective -344.333 16.84/16.97 c #Conflicts: 52000 | #Constraints: 6744 16.84/16.97 c #Conflicts: 53000 | #Constraints: 7744 16.84/16.97 c #Conflicts: 54000 | #Constraints: 8746 16.84/16.97 c #Conflicts: 55000 | #Constraints: 9748 16.84/16.97 c #Conflicts: 56000 | #Constraints: 10750 16.84/16.97 c INPROCESSING 16.84/16.97 c GARBAGE COLLECT 16.84/16.97 c rational objective -331.778 18.84/18.93 c #Conflicts: 57000 | #Constraints: 6942 18.84/18.93 c #Conflicts: 58000 | #Constraints: 7965 18.84/18.93 c #Conflicts: 59000 | #Constraints: 8999 18.84/18.93 c #Conflicts: 60000 | #Constraints: 10018 18.84/18.93 c #Conflicts: 61000 | #Constraints: 11041 18.84/18.93 c INPROCESSING 18.84/18.93 c GARBAGE COLLECT 18.84/18.93 c rational objective -324.289 21.73/21.87 c #Conflicts: 62000 | #Constraints: 6937 21.73/21.87 c #Conflicts: 63000 | #Constraints: 7939 21.73/21.87 c #Conflicts: 64000 | #Constraints: 8942 21.73/21.87 c bounds -81 >= -251 @ 19.8905 21.73/21.87 c #Conflicts: 65000 | #Constraints: 9967 21.73/21.87 c #Conflicts: 66000 | #Constraints: 10970 21.73/21.87 c INPROCESSING 21.73/21.87 c GARBAGE COLLECT 21.73/21.87 c rational objective -317.278 23.83/23.94 c #Conflicts: 67000 | #Constraints: 6737 23.83/23.94 c #Conflicts: 68000 | #Constraints: 7786 23.83/23.94 c #Conflicts: 69000 | #Constraints: 8846 23.83/23.94 c #Conflicts: 70000 | #Constraints: 9883 23.83/23.94 c #Conflicts: 71000 | #Constraints: 10926 23.83/23.94 c #Conflicts: 72000 | #Constraints: 11938 23.83/23.94 c INPROCESSING 23.83/23.94 c GARBAGE COLLECT 23.83/23.94 c rational objective -314.167 27.32/27.49 c #Conflicts: 73000 | #Constraints: 7401 27.32/27.49 c #Conflicts: 74000 | #Constraints: 8403 27.32/27.49 c #Conflicts: 75000 | #Constraints: 9405 27.32/27.49 c #Conflicts: 76000 | #Constraints: 10405 27.32/27.49 c #Conflicts: 77000 | #Constraints: 11406 27.32/27.49 c #Conflicts: 78000 | #Constraints: 12408 27.32/27.49 c INPROCESSING 27.32/27.49 c GARBAGE COLLECT 27.32/27.49 c rational objective -307.694 29.31/29.41 c #Conflicts: 79000 | #Constraints: 7780 29.31/29.41 c #Conflicts: 80000 | #Constraints: 8791 29.31/29.41 c #Conflicts: 81000 | #Constraints: 9823 29.31/29.41 c #Conflicts: 82000 | #Constraints: 10863 29.31/29.41 c #Conflicts: 83000 | #Constraints: 11906 29.31/29.41 c #Conflicts: 84000 | #Constraints: 12934 29.31/29.41 c INPROCESSING 29.31/29.41 c GARBAGE COLLECT 29.31/29.41 c rational objective -304.056 31.40/31.59 c #Conflicts: 85000 | #Constraints: 8019 31.40/31.59 c #Conflicts: 86000 | #Constraints: 9062 31.40/31.59 c #Conflicts: 87000 | #Constraints: 10102 31.40/31.59 c #Conflicts: 88000 | #Constraints: 11146 31.40/31.59 c #Conflicts: 89000 | #Constraints: 12174 31.40/31.59 c #Conflicts: 90000 | #Constraints: 13199 31.40/31.59 c INPROCESSING 31.40/31.59 c GARBAGE COLLECT 31.40/31.59 c rational objective -300.465 35.60/35.79 c #Conflicts: 91000 | #Constraints: 8033 35.60/35.79 c #Conflicts: 92000 | #Constraints: 9034 35.60/35.79 c #Conflicts: 93000 | #Constraints: 10037 35.60/35.79 c #Conflicts: 94000 | #Constraints: 11039 35.60/35.79 c #Conflicts: 95000 | #Constraints: 12042 35.60/35.79 c #Conflicts: 96000 | #Constraints: 13045 35.60/35.79 c INPROCESSING 35.60/35.79 c GARBAGE COLLECT 35.60/35.79 c rational objective -298.673 37.80/37.95 c #Conflicts: 97000 | #Constraints: 7785 37.80/37.95 c #Conflicts: 98000 | #Constraints: 8802 37.80/37.95 c #Conflicts: 99000 | #Constraints: 9818 37.80/37.95 c #Conflicts: 100000 | #Constraints: 10835 37.80/37.95 c #Conflicts: 101000 | #Constraints: 11871 37.80/37.95 c #Conflicts: 102000 | #Constraints: 12894 37.80/37.95 c #Conflicts: 103000 | #Constraints: 13937 37.80/37.95 c INPROCESSING 37.80/37.95 c GARBAGE COLLECT 37.80/37.95 c rational objective -291.759 40.69/40.83 c #Conflicts: 104000 | #Constraints: 8428 40.69/40.83 c #Conflicts: 105000 | #Constraints: 9474 40.69/40.83 c #Conflicts: 106000 | #Constraints: 10515 40.69/40.83 c #Conflicts: 107000 | #Constraints: 11557 40.69/40.83 c #Conflicts: 108000 | #Constraints: 12601 40.69/40.83 c #Conflicts: 109000 | #Constraints: 13640 40.69/40.83 c #Conflicts: 110000 | #Constraints: 14675 40.69/40.83 c INPROCESSING 40.69/40.83 c GARBAGE COLLECT 40.69/40.83 c rational objective -288.15 46.57/46.70 c #Conflicts: 111000 | #Constraints: 8880 46.57/46.70 c #Conflicts: 112000 | #Constraints: 9885 46.57/46.70 c #Conflicts: 113000 | #Constraints: 10886 46.57/46.70 c #Conflicts: 114000 | #Constraints: 11887 46.57/46.70 c #Conflicts: 115000 | #Constraints: 12889 46.57/46.70 c #Conflicts: 116000 | #Constraints: 13891 46.57/46.70 c #Conflicts: 117000 | #Constraints: 14894 46.57/46.70 c INPROCESSING 46.57/46.70 c GARBAGE COLLECT 46.57/46.70 c rational objective -286.184 49.46/49.69 c #Conflicts: 118000 | #Constraints: 9055 49.46/49.69 c #Conflicts: 119000 | #Constraints: 10113 49.46/49.69 c #Conflicts: 120000 | #Constraints: 11156 49.46/49.69 c #Conflicts: 121000 | #Constraints: 12205 49.46/49.69 c #Conflicts: 122000 | #Constraints: 13257 49.46/49.69 c #Conflicts: 123000 | #Constraints: 14300 49.46/49.69 c #Conflicts: 124000 | #Constraints: 15345 49.46/49.69 c INPROCESSING 49.46/49.69 c GARBAGE COLLECT 49.46/49.69 c rational objective -283.532 56.75/57.00 c #Conflicts: 125000 | #Constraints: 9111 56.75/57.00 c #Conflicts: 126000 | #Constraints: 10122 56.75/57.00 c #Conflicts: 127000 | #Constraints: 11127 56.75/57.00 c #Conflicts: 128000 | #Constraints: 12129 56.75/57.00 c #Conflicts: 129000 | #Constraints: 13132 56.75/57.00 c #Conflicts: 130000 | #Constraints: 14133 56.75/57.00 c #Conflicts: 131000 | #Constraints: 15137 56.75/57.00 c INPROCESSING 56.75/57.00 c GARBAGE COLLECT 56.75/57.00 c rational objective -277.457 60.54/60.72 c #Conflicts: 132000 | #Constraints: 8828 60.54/60.72 c #Conflicts: 133000 | #Constraints: 9871 60.54/60.72 c #Conflicts: 134000 | #Constraints: 10910 60.54/60.72 c #Conflicts: 135000 | #Constraints: 11942 60.54/60.72 c #Conflicts: 136000 | #Constraints: 12991 60.54/60.72 c #Conflicts: 137000 | #Constraints: 14025 60.54/60.72 c #Conflicts: 138000 | #Constraints: 15055 60.54/60.72 c #Conflicts: 139000 | #Constraints: 16103 60.54/60.72 c INPROCESSING 60.54/60.72 c GARBAGE COLLECT 60.54/60.72 c rational objective -275.952 64.22/64.45 c #Conflicts: 140000 | #Constraints: 9512 64.22/64.45 c #Conflicts: 141000 | #Constraints: 10536 64.22/64.45 c #Conflicts: 142000 | #Constraints: 11585 64.22/64.45 c #Conflicts: 143000 | #Constraints: 12617 64.22/64.45 c #Conflicts: 144000 | #Constraints: 13646 64.22/64.45 c #Conflicts: 145000 | #Constraints: 14667 64.22/64.45 c #Conflicts: 146000 | #Constraints: 15704 64.22/64.45 c #Conflicts: 147000 | #Constraints: 16729 64.22/64.45 c INPROCESSING 64.22/64.45 c GARBAGE COLLECT 64.22/64.45 c rational objective -269.233 73.20/73.48 c #Conflicts: 148000 | #Constraints: 9912 73.20/73.48 c #Conflicts: 149000 | #Constraints: 10914 73.20/73.48 c #Conflicts: 150000 | #Constraints: 11919 73.20/73.48 c #Conflicts: 151000 | #Constraints: 12922 73.20/73.48 c #Conflicts: 152000 | #Constraints: 13924 73.20/73.48 c #Conflicts: 153000 | #Constraints: 14926 73.20/73.48 c #Conflicts: 154000 | #Constraints: 15931 73.20/73.48 c #Conflicts: 155000 | #Constraints: 16936 73.20/73.48 c INPROCESSING 73.20/73.48 c GARBAGE COLLECT 73.20/73.48 c rational objective -267.268 77.69/77.97 c #Conflicts: 156000 | #Constraints: 10066 77.69/77.97 c #Conflicts: 157000 | #Constraints: 11115 77.69/77.97 c #Conflicts: 158000 | #Constraints: 12153 77.69/77.97 c #Conflicts: 159000 | #Constraints: 13191 77.69/77.97 c #Conflicts: 160000 | #Constraints: 14242 77.69/77.97 c #Conflicts: 161000 | #Constraints: 15280 77.69/77.97 c #Conflicts: 162000 | #Constraints: 16329 77.69/77.97 c #Conflicts: 163000 | #Constraints: 17344 77.69/77.97 c INPROCESSING 77.69/77.97 c GARBAGE COLLECT 77.69/77.97 c rational objective -266.026 82.28/82.56 c #Conflicts: 164000 | #Constraints: 10147 82.28/82.56 c #Conflicts: 165000 | #Constraints: 11208 82.28/82.56 c #Conflicts: 166000 | #Constraints: 12235 82.28/82.56 c #Conflicts: 167000 | #Constraints: 13277 82.28/82.56 c #Conflicts: 168000 | #Constraints: 14320 82.28/82.56 c #Conflicts: 169000 | #Constraints: 15366 82.28/82.56 c #Conflicts: 170000 | #Constraints: 16401 82.28/82.56 c #Conflicts: 171000 | #Constraints: 17437 82.28/82.56 c INPROCESSING 82.28/82.56 c GARBAGE COLLECT 82.28/82.56 c rational objective -265.69 92.46/92.77 c #Conflicts: 172000 | #Constraints: 9963 92.46/92.77 c #Conflicts: 173000 | #Constraints: 10969 92.46/92.77 c #Conflicts: 174000 | #Constraints: 11975 92.46/92.77 c #Conflicts: 175000 | #Constraints: 12977 92.46/92.77 c #Conflicts: 176000 | #Constraints: 13980 92.46/92.77 c #Conflicts: 177000 | #Constraints: 14981 92.46/92.77 c #Conflicts: 178000 | #Constraints: 15983 92.46/92.77 c #Conflicts: 179000 | #Constraints: 16987 92.46/92.77 c #Conflicts: 180000 | #Constraints: 17989 92.46/92.77 c INPROCESSING 92.46/92.77 c GARBAGE COLLECT 92.46/92.77 c rational objective -264.764 97.54/97.82 c #Conflicts: 181000 | #Constraints: 10451 97.54/97.82 c #Conflicts: 182000 | #Constraints: 11501 97.54/97.82 c #Conflicts: 183000 | #Constraints: 12551 97.54/97.82 c #Conflicts: 184000 | #Constraints: 13589 97.54/97.82 c #Conflicts: 185000 | #Constraints: 14639 97.54/97.82 c #Conflicts: 186000 | #Constraints: 15678 97.54/97.82 c #Conflicts: 187000 | #Constraints: 16714 97.54/97.82 c #Conflicts: 188000 | #Constraints: 17761 97.54/97.82 c #Conflicts: 189000 | #Constraints: 18789 97.54/97.82 c INPROCESSING 97.54/97.82 c GARBAGE COLLECT 97.54/97.82 c rational objective -261.911 110.21/110.58 c #Conflicts: 190000 | #Constraints: 10942 110.21/110.58 c #Conflicts: 191000 | #Constraints: 11947 110.21/110.58 c #Conflicts: 192000 | #Constraints: 12952 110.21/110.58 c #Conflicts: 193000 | #Constraints: 13958 110.21/110.58 c #Conflicts: 194000 | #Constraints: 14963 110.21/110.58 c #Conflicts: 195000 | #Constraints: 15966 110.21/110.58 c #Conflicts: 196000 | #Constraints: 16966 110.21/110.58 c #Conflicts: 197000 | #Constraints: 17969 110.21/110.58 c #Conflicts: 198000 | #Constraints: 18977 110.21/110.58 c INPROCESSING 110.21/110.58 c GARBAGE COLLECT 110.21/110.58 c rational objective -260.157 115.30/115.69 c #Conflicts: 199000 | #Constraints: 11080 115.30/115.69 c #Conflicts: 200000 | #Constraints: 12118 115.30/115.69 c #Conflicts: 201000 | #Constraints: 13145 115.30/115.69 c #Conflicts: 202000 | #Constraints: 14172 115.30/115.69 c #Conflicts: 203000 | #Constraints: 15200 115.30/115.69 c #Conflicts: 204000 | #Constraints: 16226 115.30/115.69 c #Conflicts: 205000 | #Constraints: 17248 115.30/115.69 c #Conflicts: 206000 | #Constraints: 18292 115.30/115.69 c #Conflicts: 207000 | #Constraints: 19327 115.30/115.69 c INPROCESSING 115.30/115.69 c GARBAGE COLLECT 115.30/115.69 c rational objective -260.056 121.28/121.65 c #Conflicts: 208000 | #Constraints: 11134 121.28/121.65 c #Conflicts: 209000 | #Constraints: 12162 121.28/121.65 c #Conflicts: 210000 | #Constraints: 13185 121.28/121.65 c #Conflicts: 211000 | #Constraints: 14213 121.28/121.65 c #Conflicts: 212000 | #Constraints: 15256 121.28/121.65 c #Conflicts: 213000 | #Constraints: 16294 121.28/121.65 c #Conflicts: 214000 | #Constraints: 17318 121.28/121.65 c #Conflicts: 215000 | #Constraints: 18345 121.28/121.65 c #Conflicts: 216000 | #Constraints: 19361 121.28/121.65 c INPROCESSING 121.28/121.65 c GARBAGE COLLECT 121.28/121.65 c rational objective -260.056 136.62/137.01 c #Conflicts: 217000 | #Constraints: 10926 136.62/137.01 c #Conflicts: 218000 | #Constraints: 11933 136.62/137.01 c #Conflicts: 219000 | #Constraints: 12936 136.62/137.01 c #Conflicts: 220000 | #Constraints: 13939 136.62/137.01 c #Conflicts: 221000 | #Constraints: 14945 136.62/137.01 c #Conflicts: 222000 | #Constraints: 15947 136.62/137.01 c #Conflicts: 223000 | #Constraints: 16953 136.62/137.01 c #Conflicts: 224000 | #Constraints: 17958 136.62/137.01 c #Conflicts: 225000 | #Constraints: 18960 136.62/137.01 c #Conflicts: 226000 | #Constraints: 19965 136.62/137.01 c INPROCESSING 136.62/137.01 c GARBAGE COLLECT 136.62/137.01 c rational objective -259.092 143.00/143.43 c #Conflicts: 227000 | #Constraints: 11479 143.00/143.43 c #Conflicts: 228000 | #Constraints: 12518 143.00/143.43 c #Conflicts: 229000 | #Constraints: 13554 143.00/143.43 c #Conflicts: 230000 | #Constraints: 14591 143.00/143.43 c #Conflicts: 231000 | #Constraints: 15632 143.00/143.43 c #Conflicts: 232000 | #Constraints: 16685 143.00/143.43 c #Conflicts: 233000 | #Constraints: 17733 143.00/143.43 c #Conflicts: 234000 | #Constraints: 18763 143.00/143.43 c #Conflicts: 235000 | #Constraints: 19804 143.00/143.43 c #Conflicts: 236000 | #Constraints: 20850 143.00/143.43 c INPROCESSING 143.00/143.43 c GARBAGE COLLECT 143.00/143.43 c rational objective -258.811 149.99/150.40 c #Conflicts: 237000 | #Constraints: 12014 149.99/150.40 c #Conflicts: 238000 | #Constraints: 13053 149.99/150.40 c #Conflicts: 239000 | #Constraints: 14090 149.99/150.40 c #Conflicts: 240000 | #Constraints: 15143 149.99/150.40 c #Conflicts: 241000 | #Constraints: 16182 149.99/150.40 c #Conflicts: 242000 | #Constraints: 17219 149.99/150.40 c #Conflicts: 243000 | #Constraints: 18259 149.99/150.40 c #Conflicts: 244000 | #Constraints: 19294 149.99/150.40 c #Conflicts: 245000 | #Constraints: 20330 149.99/150.40 c #Conflicts: 246000 | #Constraints: 21358 149.99/150.40 c INPROCESSING 149.99/150.40 c GARBAGE COLLECT 149.99/150.40 c rational objective -257.144 170.43/170.92 c #Conflicts: 247000 | #Constraints: 12218 170.43/170.92 c #Conflicts: 248000 | #Constraints: 13222 170.43/170.92 c #Conflicts: 249000 | #Constraints: 14230 170.43/170.92 c #Conflicts: 250000 | #Constraints: 15237 170.43/170.92 c #Conflicts: 251000 | #Constraints: 16239 170.43/170.92 c #Conflicts: 252000 | #Constraints: 17239 170.43/170.92 c #Conflicts: 253000 | #Constraints: 18243 170.43/170.92 c #Conflicts: 254000 | #Constraints: 19249 170.43/170.92 c #Conflicts: 255000 | #Constraints: 20251 170.43/170.92 c #Conflicts: 256000 | #Constraints: 21254 170.43/170.92 c INPROCESSING 170.43/170.92 c GARBAGE COLLECT 170.43/170.92 c rational objective -257.01 178.90/179.40 c #Conflicts: 257000 | #Constraints: 12115 178.90/179.40 c #Conflicts: 258000 | #Constraints: 13138 178.90/179.40 c #Conflicts: 259000 | #Constraints: 14189 178.90/179.40 c #Conflicts: 260000 | #Constraints: 15224 178.90/179.40 c #Conflicts: 261000 | #Constraints: 16264 178.90/179.40 c #Conflicts: 262000 | #Constraints: 17306 178.90/179.40 c #Conflicts: 263000 | #Constraints: 18343 178.90/179.40 c #Conflicts: 264000 | #Constraints: 19381 178.90/179.40 c #Conflicts: 265000 | #Constraints: 20415 178.90/179.40 c #Conflicts: 266000 | #Constraints: 21443 178.90/179.40 c INPROCESSING 178.90/179.40 c GARBAGE COLLECT 178.90/179.40 c rational objective -256.798 200.46/201.05 c #Conflicts: 267000 | #Constraints: 11971 200.46/201.05 c #Conflicts: 268000 | #Constraints: 12977 200.46/201.05 c #Conflicts: 269000 | #Constraints: 13981 200.46/201.05 c #Conflicts: 270000 | #Constraints: 14984 200.46/201.05 c #Conflicts: 271000 | #Constraints: 15990 200.46/201.05 c #Conflicts: 272000 | #Constraints: 16992 200.46/201.05 c #Conflicts: 273000 | #Constraints: 17996 200.46/201.05 c #Conflicts: 274000 | #Constraints: 18999 200.46/201.05 c #Conflicts: 275000 | #Constraints: 20000 200.46/201.05 c #Conflicts: 276000 | #Constraints: 21002 200.46/201.05 c #Conflicts: 277000 | #Constraints: 22003 200.46/201.05 c INPROCESSING 200.46/201.05 c GARBAGE COLLECT 200.46/201.05 c rational objective -255.85 312.17/313.09 c #Conflicts: 278000 | #Constraints: 12484 312.17/313.09 c #Conflicts: 279000 | #Constraints: 13536 312.17/313.09 c #Conflicts: 280000 | #Constraints: 14582 312.17/313.09 c #Conflicts: 281000 | #Constraints: 15633 312.17/313.09 c #Conflicts: 282000 | #Constraints: 16650 312.17/313.09 c #Conflicts: 283000 | #Constraints: 17701 312.17/313.09 c #Conflicts: 284000 | #Constraints: 18743 312.17/313.09 c #Conflicts: 285000 | #Constraints: 19776 312.17/313.09 c #Conflicts: 286000 | #Constraints: 20810 312.17/313.09 c #Conflicts: 287000 | #Constraints: 21854 312.17/313.09 c #Conflicts: 288000 | #Constraints: 22891 312.17/313.09 c #Conflicts: 289000 | #Constraints: 23932 312.17/313.09 c #Conflicts: 290000 | #Constraints: 24964 312.17/313.09 c #Conflicts: 291000 | #Constraints: 26017 312.17/313.09 c #Conflicts: 292000 | #Constraints: 27059 312.17/313.09 c #Conflicts: 293000 | #Constraints: 28104 312.17/313.09 c #Conflicts: 294000 | #Constraints: 29131 312.17/313.09 c #Conflicts: 295000 | #Constraints: 30150 312.17/313.09 c #Conflicts: 296000 | #Constraints: 31177 312.17/313.09 c #Conflicts: 297000 | #Constraints: 32212 312.17/313.09 c #Conflicts: 298000 | #Constraints: 33246 312.17/313.09 c #Conflicts: 299000 | #Constraints: 34270 312.17/313.09 c #Conflicts: 300000 | #Constraints: 35308 312.17/313.09 c #Conflicts: 301000 | #Constraints: 36346 312.17/313.09 c #Conflicts: 302000 | #Constraints: 37392 312.17/313.09 c #Conflicts: 303000 | #Constraints: 38435 312.17/313.09 c #Conflicts: 304000 | #Constraints: 39473 312.17/313.09 c #Conflicts: 305000 | #Constraints: 40513 312.17/313.09 c #Conflicts: 306000 | #Constraints: 41546 312.17/313.09 c #Conflicts: 307000 | #Constraints: 42577 312.17/313.09 c #Conflicts: 308000 | #Constraints: 43610 312.17/313.09 c #Conflicts: 309000 | #Constraints: 44650 312.17/313.09 c #Conflicts: 310000 | #Constraints: 45678 312.17/313.09 c #Conflicts: 311000 | #Constraints: 46708 312.17/313.09 c #Conflicts: 312000 | #Constraints: 47737 312.17/313.09 c #Conflicts: 313000 | #Constraints: 48770 312.17/313.09 c #Conflicts: 314000 | #Constraints: 49799 312.17/313.09 c #Conflicts: 315000 | #Constraints: 50843 312.17/313.09 c #Conflicts: 316000 | #Constraints: 51876 312.17/313.09 c #Conflicts: 317000 | #Constraints: 52920 312.17/313.09 c #Conflicts: 318000 | #Constraints: 53949 312.17/313.09 c #Conflicts: 319000 | #Constraints: 54975 312.17/313.09 c #Conflicts: 320000 | #Constraints: 56013 312.17/313.09 c #Conflicts: 321000 | #Constraints: 57043 312.17/313.09 c #Conflicts: 322000 | #Constraints: 58078 312.17/313.09 c #Conflicts: 323000 | #Constraints: 59109 312.17/313.09 c #Conflicts: 324000 | #Constraints: 60136 312.17/313.09 c #Conflicts: 325000 | #Constraints: 61150 312.17/313.09 c #Conflicts: 326000 | #Constraints: 62177 312.17/313.09 c #Conflicts: 327000 | #Constraints: 63214 312.17/313.09 c #Conflicts: 328000 | #Constraints: 64245 312.17/313.09 c INPROCESSING 312.17/313.09 c GARBAGE COLLECT 312.17/313.09 c rational objective -255.729 379.00/380.08 c #Conflicts: 329000 | #Constraints: 33440 379.00/380.08 c #Conflicts: 330000 | #Constraints: 34453 379.00/380.08 c #Conflicts: 331000 | #Constraints: 35455 379.00/380.08 c #Conflicts: 332000 | #Constraints: 36462 379.00/380.08 c #Conflicts: 333000 | #Constraints: 37467 379.00/380.08 c #Conflicts: 334000 | #Constraints: 38469 379.00/380.08 c #Conflicts: 335000 | #Constraints: 39470 379.00/380.08 c #Conflicts: 336000 | #Constraints: 40472 379.00/380.08 c #Conflicts: 337000 | #Constraints: 41475 379.00/380.08 c #Conflicts: 338000 | #Constraints: 42477 379.00/380.08 c #Conflicts: 339000 | #Constraints: 43478 379.00/380.08 c #Conflicts: 340000 | #Constraints: 44481 379.00/380.08 c INPROCESSING 379.00/380.08 c GARBAGE COLLECT 379.00/380.08 c rational objective -255.25 447.32/448.52 c #Conflicts: 341000 | #Constraints: 23610 447.32/448.52 c #Conflicts: 342000 | #Constraints: 24613 447.32/448.52 c #Conflicts: 343000 | #Constraints: 25615 447.32/448.52 c #Conflicts: 344000 | #Constraints: 26616 447.32/448.52 c #Conflicts: 345000 | #Constraints: 27616 447.32/448.52 c #Conflicts: 346000 | #Constraints: 28621 447.32/448.52 c #Conflicts: 347000 | #Constraints: 29624 447.32/448.52 c #Conflicts: 348000 | #Constraints: 30629 447.32/448.52 c #Conflicts: 349000 | #Constraints: 31631 447.32/448.52 c #Conflicts: 350000 | #Constraints: 32633 447.32/448.52 c #Conflicts: 351000 | #Constraints: 33634 447.32/448.52 c #Conflicts: 352000 | #Constraints: 34636 447.32/448.52 c INPROCESSING 447.32/448.52 c GARBAGE COLLECT 447.32/448.52 c rational objective -253 509.25/510.62 c #Conflicts: 353000 | #Constraints: 18631 509.25/510.62 c #Conflicts: 354000 | #Constraints: 19633 509.25/510.62 c #Conflicts: 355000 | #Constraints: 20639 509.25/510.62 c #Conflicts: 356000 | #Constraints: 21644 509.25/510.62 c #Conflicts: 357000 | #Constraints: 22646 509.25/510.62 c #Conflicts: 358000 | #Constraints: 23649 509.25/510.62 c #Conflicts: 359000 | #Constraints: 24650 509.25/510.62 c #Conflicts: 360000 | #Constraints: 25656 509.25/510.62 c #Conflicts: 361000 | #Constraints: 26657 509.25/510.62 c #Conflicts: 362000 | #Constraints: 27659 509.25/510.62 c #Conflicts: 363000 | #Constraints: 28660 509.25/510.62 c #Conflicts: 364000 | #Constraints: 29664 509.25/510.62 c INPROCESSING 509.25/510.62 c GARBAGE COLLECT 509.25/510.62 c rational objective -252.833 524.62/526.02 c #Conflicts: 365000 | #Constraints: 16007 524.62/526.02 c #Conflicts: 366000 | #Constraints: 17063 524.62/526.02 c #Conflicts: 367000 | #Constraints: 18103 524.62/526.02 c #Conflicts: 368000 | #Constraints: 19151 524.62/526.02 c #Conflicts: 369000 | #Constraints: 20179 524.62/526.02 c #Conflicts: 370000 | #Constraints: 21204 524.62/526.02 c #Conflicts: 371000 | #Constraints: 22249 524.62/526.02 c #Conflicts: 372000 | #Constraints: 23284 524.62/526.02 c #Conflicts: 373000 | #Constraints: 24310 524.62/526.02 c #Conflicts: 374000 | #Constraints: 25330 524.62/526.02 c #Conflicts: 375000 | #Constraints: 26357 524.62/526.02 c #Conflicts: 376000 | #Constraints: 27391 524.62/526.02 c #Conflicts: 377000 | #Constraints: 28427 524.62/526.02 c INPROCESSING 524.62/526.02 c GARBAGE COLLECT 524.62/526.02 c rational objective -252.5 587.06/588.61 c #Conflicts: 378000 | #Constraints: 15620 587.06/588.61 c #Conflicts: 379000 | #Constraints: 16624 587.06/588.61 c #Conflicts: 380000 | #Constraints: 17629 587.06/588.61 c #Conflicts: 381000 | #Constraints: 18629 587.06/588.61 c #Conflicts: 382000 | #Constraints: 19630 587.06/588.61 c #Conflicts: 383000 | #Constraints: 20633 587.06/588.61 c #Conflicts: 384000 | #Constraints: 21637 587.06/588.61 c #Conflicts: 385000 | #Constraints: 22641 587.06/588.61 c #Conflicts: 386000 | #Constraints: 23643 587.06/588.61 c #Conflicts: 387000 | #Constraints: 24644 587.06/588.61 c #Conflicts: 388000 | #Constraints: 25646 587.06/588.61 c #Conflicts: 389000 | #Constraints: 26647 587.06/588.61 c #Conflicts: 390000 | #Constraints: 27650 587.06/588.61 c INPROCESSING 587.06/588.61 c GARBAGE COLLECT 587.06/588.61 c rational objective -252.4 761.50/763.56 c #Conflicts: 391000 | #Constraints: 15441 761.50/763.56 c #Conflicts: 392000 | #Constraints: 16488 761.50/763.56 c #Conflicts: 393000 | #Constraints: 17527 761.50/763.56 c #Conflicts: 394000 | #Constraints: 18562 761.50/763.56 c #Conflicts: 395000 | #Constraints: 19600 761.50/763.56 c #Conflicts: 396000 | #Constraints: 20643 761.50/763.56 c #Conflicts: 397000 | #Constraints: 21679 761.50/763.56 c #Conflicts: 398000 | #Constraints: 22723 761.50/763.56 c #Conflicts: 399000 | #Constraints: 23766 761.50/763.56 c #Conflicts: 400000 | #Constraints: 24796 761.50/763.56 c #Conflicts: 401000 | #Constraints: 25827 761.50/763.56 c #Conflicts: 402000 | #Constraints: 26858 761.50/763.56 c #Conflicts: 403000 | #Constraints: 27904 761.50/763.56 c #Conflicts: 404000 | #Constraints: 28944 761.50/763.56 c #Conflicts: 405000 | #Constraints: 29961 761.50/763.56 c #Conflicts: 406000 | #Constraints: 30987 761.50/763.56 c #Conflicts: 407000 | #Constraints: 32026 761.50/763.56 c #Conflicts: 408000 | #Constraints: 33063 761.50/763.56 c #Conflicts: 409000 | #Constraints: 34088 761.50/763.56 c #Conflicts: 410000 | #Constraints: 35120 761.50/763.56 c #Conflicts: 411000 | #Constraints: 36166 761.50/763.56 c #Conflicts: 412000 | #Constraints: 37199 761.50/763.56 c #Conflicts: 413000 | #Constraints: 38233 761.50/763.56 c #Conflicts: 414000 | #Constraints: 39267 761.50/763.56 c #Conflicts: 415000 | #Constraints: 40301 761.50/763.56 c #Conflicts: 416000 | #Constraints: 41331 761.50/763.56 c #Conflicts: 417000 | #Constraints: 42378 761.50/763.56 c #Conflicts: 418000 | #Constraints: 43434 761.50/763.56 c #Conflicts: 419000 | #Constraints: 44476 761.50/763.56 c #Conflicts: 420000 | #Constraints: 45530 761.50/763.56 c #Conflicts: 421000 | #Constraints: 46572 761.50/763.56 c #Conflicts: 422000 | #Constraints: 47609 761.50/763.56 c #Conflicts: 423000 | #Constraints: 48649 761.50/763.56 c #Conflicts: 424000 | #Constraints: 49677 761.50/763.56 c #Conflicts: 425000 | #Constraints: 50701 761.50/763.56 c #Conflicts: 426000 | #Constraints: 51741 761.50/763.56 c #Conflicts: 427000 | #Constraints: 52774 761.50/763.56 c #Conflicts: 428000 | #Constraints: 53805 761.50/763.56 c #Conflicts: 429000 | #Constraints: 54832 761.50/763.56 c #Conflicts: 430000 | #Constraints: 55859 761.50/763.56 c #Conflicts: 431000 | #Constraints: 56868 761.50/763.56 c #Conflicts: 432000 | #Constraints: 57891 761.50/763.56 c #Conflicts: 433000 | #Constraints: 58917 761.50/763.56 c #Conflicts: 434000 | #Constraints: 59932 761.50/763.56 c #Conflicts: 435000 | #Constraints: 60981 761.50/763.56 c #Conflicts: 436000 | #Constraints: 62009 761.50/763.56 c #Conflicts: 437000 | #Constraints: 63053 761.50/763.56 c #Conflicts: 438000 | #Constraints: 64086 761.50/763.56 c #Conflicts: 439000 | #Constraints: 65121 761.50/763.56 c #Conflicts: 440000 | #Constraints: 66163 761.50/763.56 c #Conflicts: 441000 | #Constraints: 67203 761.50/763.56 c #Conflicts: 442000 | #Constraints: 68232 761.50/763.56 c #Conflicts: 443000 | #Constraints: 69267 761.50/763.56 c #Conflicts: 444000 | #Constraints: 70299 761.50/763.56 c #Conflicts: 445000 | #Constraints: 71333 761.50/763.56 c #Conflicts: 446000 | #Constraints: 72372 761.50/763.56 c #Conflicts: 447000 | #Constraints: 73394 761.50/763.56 c #Conflicts: 448000 | #Constraints: 74428 761.50/763.56 c INPROCESSING 761.50/763.56 c GARBAGE COLLECT 761.50/763.56 c rational objective -252.4 861.04/863.68 c #Conflicts: 449000 | #Constraints: 38377 861.04/863.68 c #Conflicts: 450000 | #Constraints: 39377 861.04/863.68 c #Conflicts: 451000 | #Constraints: 40382 861.04/863.68 c #Conflicts: 452000 | #Constraints: 41389 861.04/863.68 c #Conflicts: 453000 | #Constraints: 42392 861.04/863.68 c #Conflicts: 454000 | #Constraints: 43395 861.04/863.68 c #Conflicts: 455000 | #Constraints: 44399 861.04/863.68 c #Conflicts: 456000 | #Constraints: 45413 861.04/863.68 c #Conflicts: 457000 | #Constraints: 46416 861.04/863.68 c #Conflicts: 458000 | #Constraints: 47417 861.04/863.68 c #Conflicts: 459000 | #Constraints: 48419 861.04/863.68 c #Conflicts: 460000 | #Constraints: 49420 861.04/863.68 c #Conflicts: 461000 | #Constraints: 50425 861.04/863.68 c #Conflicts: 462000 | #Constraints: 51429 861.04/863.68 c INPROCESSING 861.04/863.68 c GARBAGE COLLECT 861.04/863.68 c rational objective -252.333 958.94/961.92 c #Conflicts: 463000 | #Constraints: 26881 958.94/961.92 c #Conflicts: 464000 | #Constraints: 27883 958.94/961.92 c #Conflicts: 465000 | #Constraints: 28884 958.94/961.92 c #Conflicts: 466000 | #Constraints: 29885 958.94/961.92 c #Conflicts: 467000 | #Constraints: 30893 958.94/961.92 c #Conflicts: 468000 | #Constraints: 31896 958.94/961.92 c #Conflicts: 469000 | #Constraints: 32898 958.94/961.92 c #Conflicts: 470000 | #Constraints: 33901 958.94/961.92 c #Conflicts: 471000 | #Constraints: 34905 958.94/961.92 c #Conflicts: 472000 | #Constraints: 35908 958.94/961.92 c #Conflicts: 473000 | #Constraints: 36913 958.94/961.92 c #Conflicts: 474000 | #Constraints: 37916 958.94/961.92 c #Conflicts: 475000 | #Constraints: 38918 958.94/961.92 c #Conflicts: 476000 | #Constraints: 39920 958.94/961.92 c #Conflicts: 477000 | #Constraints: 40920 958.94/961.92 c INPROCESSING 958.94/961.92 c GARBAGE COLLECT 958.94/961.92 c rational objective -252.333 1051.00/1054.56 c #Conflicts: 478000 | #Constraints: 22033 1051.00/1054.56 c #Conflicts: 479000 | #Constraints: 23037 1051.00/1054.56 c #Conflicts: 480000 | #Constraints: 24038 1051.00/1054.56 c #Conflicts: 481000 | #Constraints: 25043 1051.00/1054.56 c #Conflicts: 482000 | #Constraints: 26044 1051.00/1054.56 c #Conflicts: 483000 | #Constraints: 27045 1051.00/1054.56 c #Conflicts: 484000 | #Constraints: 28048 1051.00/1054.56 c #Conflicts: 485000 | #Constraints: 29051 1051.00/1054.56 c #Conflicts: 486000 | #Constraints: 30055 1051.00/1054.56 c #Conflicts: 487000 | #Constraints: 31058 1051.00/1054.56 c #Conflicts: 488000 | #Constraints: 32062 1051.00/1054.56 c #Conflicts: 489000 | #Constraints: 33066 1051.00/1054.56 c #Conflicts: 490000 | #Constraints: 34068 1051.00/1054.56 c #Conflicts: 491000 | #Constraints: 35073 1051.00/1054.56 c INPROCESSING 1051.00/1054.56 c GARBAGE COLLECT 1051.00/1054.56 c rational objective -252.333 1066.94/1070.51 c #Conflicts: 492000 | #Constraints: 18937 1066.94/1070.51 c #Conflicts: 493000 | #Constraints: 19996 1066.94/1070.51 c #Conflicts: 494000 | #Constraints: 21044 1066.94/1070.51 c #Conflicts: 495000 | #Constraints: 22096 1066.94/1070.51 c #Conflicts: 496000 | #Constraints: 23130 1066.94/1070.51 c #Conflicts: 497000 | #Constraints: 24160 1066.94/1070.51 c #Conflicts: 498000 | #Constraints: 25206 1066.94/1070.51 c #Conflicts: 499000 | #Constraints: 26238 1066.94/1070.51 c #Conflicts: 500000 | #Constraints: 27272 1066.94/1070.51 c #Conflicts: 501000 | #Constraints: 28297 1066.94/1070.51 c #Conflicts: 502000 | #Constraints: 29352 1066.94/1070.51 c #Conflicts: 503000 | #Constraints: 30397 1066.94/1070.51 c #Conflicts: 504000 | #Constraints: 31445 1066.94/1070.51 c #Conflicts: 505000 | #Constraints: 32475 1066.94/1070.51 c #Conflicts: 506000 | #Constraints: 33511 1066.94/1070.51 c INPROCESSING 1066.94/1070.51 c GARBAGE COLLECT 1066.94/1070.51 c rational objective -252.333 1087.88/1091.53 c #Conflicts: 507000 | #Constraints: 18345 1087.88/1091.53 c #Conflicts: 508000 | #Constraints: 19390 1087.88/1091.53 c #Conflicts: 509000 | #Constraints: 20422 1087.88/1091.53 c #Conflicts: 510000 | #Constraints: 21460 1087.88/1091.53 c #Conflicts: 511000 | #Constraints: 22516 1087.88/1091.53 c #Conflicts: 512000 | #Constraints: 23560 1087.88/1091.53 c #Conflicts: 513000 | #Constraints: 24607 1087.88/1091.53 c #Conflicts: 514000 | #Constraints: 25663 1087.88/1091.53 c #Conflicts: 515000 | #Constraints: 26701 1087.88/1091.53 c #Conflicts: 516000 | #Constraints: 27742 1087.88/1091.53 c #Conflicts: 517000 | #Constraints: 28776 1087.88/1091.53 c #Conflicts: 518000 | #Constraints: 29807 1087.88/1091.53 c #Conflicts: 519000 | #Constraints: 30833 1087.88/1091.53 c #Conflicts: 520000 | #Constraints: 31868 1087.88/1091.53 c INPROCESSING 1087.88/1091.53 c GARBAGE COLLECT 1087.88/1091.53 c rational objective -252.333 1565.41/1570.44 c #Conflicts: 521000 | #Constraints: 17101 1565.41/1570.44 c #Conflicts: 522000 | #Constraints: 18102 1565.41/1570.44 c #Conflicts: 523000 | #Constraints: 19105 1565.41/1570.44 c #Conflicts: 524000 | #Constraints: 20107 1565.41/1570.44 c #Conflicts: 525000 | #Constraints: 21110 1565.41/1570.44 c #Conflicts: 526000 | #Constraints: 22110 1565.41/1570.44 c #Conflicts: 527000 | #Constraints: 23115 1565.41/1570.44 c #Conflicts: 528000 | #Constraints: 24119 1565.41/1570.44 c #Conflicts: 529000 | #Constraints: 25120 1565.41/1570.44 c #Conflicts: 530000 | #Constraints: 26124 1565.41/1570.44 c #Conflicts: 531000 | #Constraints: 27126 1565.41/1570.44 c #Conflicts: 532000 | #Constraints: 28129 1565.41/1570.44 c #Conflicts: 533000 | #Constraints: 29131 1565.41/1570.44 c #Conflicts: 534000 | #Constraints: 30135 1565.41/1570.44 c #Conflicts: 535000 | #Constraints: 31141 1565.41/1570.44 c #Conflicts: 536000 | #Constraints: 32144 1565.41/1570.44 c #Conflicts: 537000 | #Constraints: 33144 1565.41/1570.44 c #Conflicts: 538000 | #Constraints: 34148 1565.41/1570.44 c #Conflicts: 539000 | #Constraints: 35150 1565.41/1570.44 c #Conflicts: 540000 | #Constraints: 36152 1565.41/1570.44 c #Conflicts: 541000 | #Constraints: 37154 1565.41/1570.44 c #Conflicts: 542000 | #Constraints: 38155 1565.41/1570.44 c #Conflicts: 543000 | #Constraints: 39157 1565.41/1570.44 c #Conflicts: 544000 | #Constraints: 40157 1565.41/1570.44 c #Conflicts: 545000 | #Constraints: 41161 1565.41/1570.44 c #Conflicts: 546000 | #Constraints: 42162 1565.41/1570.44 c #Conflicts: 547000 | #Constraints: 43164 1565.41/1570.44 c #Conflicts: 548000 | #Constraints: 44169 1565.41/1570.44 c #Conflicts: 549000 | #Constraints: 45172 1565.41/1570.44 c #Conflicts: 550000 | #Constraints: 46175 1565.41/1570.44 c #Conflicts: 551000 | #Constraints: 47180 1565.41/1570.44 c #Conflicts: 552000 | #Constraints: 48181 1565.41/1570.44 c #Conflicts: 553000 | #Constraints: 49185 1565.41/1570.44 c #Conflicts: 554000 | #Constraints: 50186 1565.41/1570.44 c #Conflicts: 555000 | #Constraints: 51189 1565.41/1570.44 c #Conflicts: 556000 | #Constraints: 52190 1565.41/1570.44 c #Conflicts: 557000 | #Constraints: 53195 1565.41/1570.44 c #Conflicts: 558000 | #Constraints: 54199 1565.41/1570.44 c #Conflicts: 559000 | #Constraints: 55201 1565.41/1570.44 c #Conflicts: 560000 | #Constraints: 56201 1565.41/1570.44 c #Conflicts: 561000 | #Constraints: 57201 1565.41/1570.44 c #Conflicts: 562000 | #Constraints: 58201 1565.41/1570.44 c #Conflicts: 563000 | #Constraints: 59203 1565.41/1570.44 c #Conflicts: 564000 | #Constraints: 60204 1565.41/1570.44 c #Conflicts: 565000 | #Constraints: 61204 1565.41/1570.44 c #Conflicts: 566000 | #Constraints: 62206 1565.41/1570.44 c bounds -81 >= -247 @ 1499.91 1565.41/1570.44 c #Conflicts: 567000 | #Constraints: 63239 1565.41/1570.44 c #Conflicts: 568000 | #Constraints: 64295 1565.41/1570.44 c #Conflicts: 569000 | #Constraints: 65330 1565.41/1570.44 c #Conflicts: 570000 | #Constraints: 66369 1565.41/1570.44 c #Conflicts: 571000 | #Constraints: 67419 1565.41/1570.44 c #Conflicts: 572000 | #Constraints: 68461 1565.41/1570.44 c #Conflicts: 573000 | #Constraints: 69490 1565.41/1570.44 c #Conflicts: 574000 | #Constraints: 70522 1565.41/1570.44 c #Conflicts: 575000 | #Constraints: 71559 1565.41/1570.44 c #Conflicts: 576000 | #Constraints: 72584 1565.41/1570.44 c #Conflicts: 577000 | #Constraints: 73624 1565.41/1570.44 c #Conflicts: 578000 | #Constraints: 74664 1565.41/1570.44 c #Conflicts: 579000 | #Constraints: 75706 1565.41/1570.44 c #Conflicts: 580000 | #Constraints: 76742 1565.41/1570.44 c #Conflicts: 581000 | #Constraints: 77774 1565.41/1570.44 c #Conflicts: 582000 | #Constraints: 78812 1565.41/1570.44 c #Conflicts: 583000 | #Constraints: 79847 1565.41/1570.44 c #Conflicts: 584000 | #Constraints: 80885 1565.41/1570.44 c #Conflicts: 585000 | #Constraints: 81929 1565.41/1570.44 c #Conflicts: 586000 | #Constraints: 82960 1565.41/1570.44 c #Conflicts: 587000 | #Constraints: 84000 1565.41/1570.44 c INPROCESSING 1565.41/1570.44 c GARBAGE COLLECT 1565.41/1570.44 c rational objective -252.333 1609.77/1614.96 c #Conflicts: 588000 | #Constraints: 43545 1609.77/1614.96 c #Conflicts: 589000 | #Constraints: 44568 1609.77/1614.96 c #Conflicts: 590000 | #Constraints: 45613 1609.77/1614.96 c #Conflicts: 591000 | #Constraints: 46640 1609.77/1614.96 c #Conflicts: 592000 | #Constraints: 47666 1609.77/1614.96 c #Conflicts: 593000 | #Constraints: 48695 1609.77/1614.96 c #Conflicts: 594000 | #Constraints: 49725 1609.77/1614.96 c #Conflicts: 595000 | #Constraints: 50743 1609.77/1614.96 c #Conflicts: 596000 | #Constraints: 51769 1609.77/1614.96 c #Conflicts: 597000 | #Constraints: 52804 1609.77/1614.96 c #Conflicts: 598000 | #Constraints: 53847 1609.77/1614.96 c #Conflicts: 599000 | #Constraints: 54880 1609.77/1614.96 c #Conflicts: 600000 | #Constraints: 55909 1609.77/1614.96 c #Conflicts: 601000 | #Constraints: 56938 1609.77/1614.96 c #Conflicts: 602000 | #Constraints: 57967 1609.77/1614.96 c #Conflicts: 603000 | #Constraints: 59004 1609.77/1614.96 c INPROCESSING 1609.77/1614.96 c GARBAGE COLLECT 1609.77/1614.96 c rational objective -252.333 1650.54/1655.85 c #Conflicts: 604000 | #Constraints: 31007 1650.54/1655.85 c #Conflicts: 605000 | #Constraints: 32036 1650.54/1655.85 c #Conflicts: 606000 | #Constraints: 33061 1650.54/1655.85 c #Conflicts: 607000 | #Constraints: 34088 1650.54/1655.85 c #Conflicts: 608000 | #Constraints: 35118 1650.54/1655.85 c #Conflicts: 609000 | #Constraints: 36145 1650.54/1655.85 c #Conflicts: 610000 | #Constraints: 37170 1650.54/1655.85 c #Conflicts: 611000 | #Constraints: 38190 1650.54/1655.85 c #Conflicts: 612000 | #Constraints: 39207 1650.54/1655.85 c #Conflicts: 613000 | #Constraints: 40236 1650.54/1655.85 c #Conflicts: 614000 | #Constraints: 41274 1650.54/1655.85 c #Conflicts: 615000 | #Constraints: 42312 1650.54/1655.85 c #Conflicts: 616000 | #Constraints: 43352 1650.54/1655.85 c #Conflicts: 617000 | #Constraints: 44381 1650.54/1655.85 c #Conflicts: 618000 | #Constraints: 45425 1650.54/1655.85 c #Conflicts: 619000 | #Constraints: 46454 1650.54/1655.85 c INPROCESSING 1650.54/1655.85 c GARBAGE COLLECT 1650.54/1655.85 c rational objective -252.333 1690.01/1695.42 c #Conflicts: 620000 | #Constraints: 24576 1690.01/1695.42 c #Conflicts: 621000 | #Constraints: 25626 1690.01/1695.42 c #Conflicts: 622000 | #Constraints: 26656 1690.01/1695.42 c #Conflicts: 623000 | #Constraints: 27681 1690.01/1695.42 c #Conflicts: 624000 | #Constraints: 28720 1690.01/1695.42 c #Conflicts: 625000 | #Constraints: 29763 1690.01/1695.42 c #Conflicts: 626000 | #Constraints: 30788 1690.01/1695.42 c #Conflicts: 627000 | #Constraints: 31818 1690.01/1695.42 c #Conflicts: 628000 | #Constraints: 32854 1690.01/1695.42 c #Conflicts: 629000 | #Constraints: 33896 1690.01/1695.42 c #Conflicts: 630000 | #Constraints: 34927 1690.01/1695.42 c #Conflicts: 631000 | #Constraints: 35968 1690.01/1695.42 c #Conflicts: 632000 | #Constraints: 37005 1690.01/1695.42 c #Conflicts: 633000 | #Constraints: 38033 1690.01/1695.42 c #Conflicts: 634000 | #Constraints: 39065 1690.01/1695.42 c #Conflicts: 635000 | #Constraints: 40104 1690.01/1695.42 c #Conflicts: 636000 | #Constraints: 41127 1690.01/1695.42 c INPROCESSING 1690.01/1695.42 c GARBAGE COLLECT 1690.01/1695.42 c rational objective -252.333 1722.01/1727.53 c #Conflicts: 637000 | #Constraints: 22158 1722.01/1727.53 c #Conflicts: 638000 | #Constraints: 23197 1722.01/1727.53 c #Conflicts: 639000 | #Constraints: 24238 1722.01/1727.53 c #Conflicts: 640000 | #Constraints: 25270 1722.01/1727.53 c #Conflicts: 641000 | #Constraints: 26309 1722.01/1727.53 c #Conflicts: 642000 | #Constraints: 27339 1722.01/1727.53 c #Conflicts: 643000 | #Constraints: 28394 1722.01/1727.53 c #Conflicts: 644000 | #Constraints: 29428 1722.01/1727.53 c #Conflicts: 645000 | #Constraints: 30472 1722.01/1727.53 c #Conflicts: 646000 | #Constraints: 31506 1722.01/1727.53 c #Conflicts: 647000 | #Constraints: 32535 1722.01/1727.53 c #Conflicts: 648000 | #Constraints: 33571 1722.01/1727.53 c #Conflicts: 649000 | #Constraints: 34598 1722.01/1727.53 c #Conflicts: 650000 | #Constraints: 35628 1722.01/1727.53 c #Conflicts: 651000 | #Constraints: 36657 1722.01/1727.53 c #Conflicts: 652000 | #Constraints: 37694 1722.01/1727.53 c INPROCESSING 1722.01/1727.53 c GARBAGE COLLECT 1722.01/1727.53 c rational objective -252.333 1802.85/1808.69 c #Conflicts: 653000 | #Constraints: 20074 1802.85/1808.69 c #Conflicts: 654000 | #Constraints: 21076 1802.85/1808.69 c #Conflicts: 655000 | #Constraints: 22083 1802.85/1808.69 c #Conflicts: 656000 | #Constraints: 23083 1802.85/1808.69 c #Conflicts: 657000 | #Constraints: 24087 1802.85/1808.69 c #Conflicts: 658000 | #Constraints: 25091 1802.85/1808.69 c #Conflicts: 659000 | #Constraints: 26091 1802.85/1808.69 c #Conflicts: 660000 | #Constraints: 27092 1802.85/1808.69 c #Conflicts: 661000 | #Constraints: 28093 1802.85/1808.69 c #Conflicts: 662000 | #Constraints: 29097 1802.85/1808.69 c #Conflicts: 663000 | #Constraints: 30100 1802.85/1808.69 c #Conflicts: 664000 | #Constraints: 31105 1802.85/1808.69 c #Conflicts: 665000 | #Constraints: 32112 1802.85/1808.69 c #Conflicts: 666000 | #Constraints: 33123 1802.85/1808.69 c #Conflicts: 667000 | #Constraints: 34130 1802.85/1808.69 c #Conflicts: 668000 | #Constraints: 35131 1802.85/1808.69 c #Conflicts: 669000 | #Constraints: 36134 1802.85/1808.69 c INPROCESSING 1802.85/1808.69 c GARBAGE COLLECT 1802.85/1808.69 c rational objective -252.333 2031.81/2038.17 c #Conflicts: 670000 | #Constraints: 19346 2031.81/2038.17 c #Conflicts: 671000 | #Constraints: 20394 2031.81/2038.17 c #Conflicts: 672000 | #Constraints: 21430 2031.81/2038.17 c #Conflicts: 673000 | #Constraints: 22468 2031.81/2038.17 c #Conflicts: 674000 | #Constraints: 23506 2031.81/2038.17 c #Conflicts: 675000 | #Constraints: 24534 2031.81/2038.17 c #Conflicts: 676000 | #Constraints: 25574 2031.81/2038.17 c #Conflicts: 677000 | #Constraints: 26604 2031.81/2038.17 c #Conflicts: 678000 | #Constraints: 27627 2031.81/2038.17 c #Conflicts: 679000 | #Constraints: 28659 2031.81/2038.17 c #Conflicts: 680000 | #Constraints: 29696 2031.81/2038.17 c #Conflicts: 681000 | #Constraints: 30731 2031.81/2038.17 c #Conflicts: 682000 | #Constraints: 31764 2031.81/2038.17 c #Conflicts: 683000 | #Constraints: 32789 2031.81/2038.17 c #Conflicts: 684000 | #Constraints: 33820 2031.81/2038.17 c #Conflicts: 685000 | #Constraints: 34853 2031.81/2038.17 c #Conflicts: 686000 | #Constraints: 35879 2031.81/2038.17 c #Conflicts: 687000 | #Constraints: 36911 2031.81/2038.17 c #Conflicts: 688000 | #Constraints: 37939 2031.81/2038.17 c #Conflicts: 689000 | #Constraints: 38969 2031.81/2038.17 c #Conflicts: 690000 | #Constraints: 40003 2031.81/2038.17 c #Conflicts: 691000 | #Constraints: 41034 2031.81/2038.17 c #Conflicts: 692000 | #Constraints: 42074 2031.81/2038.17 c #Conflicts: 693000 | #Constraints: 43112 2031.81/2038.17 c #Conflicts: 694000 | #Constraints: 44143 2031.81/2038.17 c #Conflicts: 695000 | #Constraints: 45187 2031.81/2038.17 c #Conflicts: 696000 | #Constraints: 46210 2031.81/2038.17 c #Conflicts: 697000 | #Constraints: 47236 2031.81/2038.17 c #Conflicts: 698000 | #Constraints: 48276 2031.81/2038.17 c #Conflicts: 699000 | #Constraints: 49303 2031.81/2038.17 c #Conflicts: 700000 | #Constraints: 50342 2031.81/2038.17 c #Conflicts: 701000 | #Constraints: 51371 2031.81/2038.17 c #Conflicts: 702000 | #Constraints: 52406 2031.81/2038.17 c #Conflicts: 703000 | #Constraints: 53457 2031.81/2038.17 c #Conflicts: 704000 | #Constraints: 54499 2031.81/2038.17 c #Conflicts: 705000 | #Constraints: 55540 2031.81/2038.17 c #Conflicts: 706000 | #Constraints: 56572 2031.81/2038.17 c #Conflicts: 707000 | #Constraints: 57605 2031.81/2038.17 c #Conflicts: 708000 | #Constraints: 58645 2031.81/2038.17 c #Conflicts: 709000 | #Constraints: 59686 2031.81/2038.17 c #Conflicts: 710000 | #Constraints: 60717 2031.81/2038.17 c #Conflicts: 711000 | #Constraints: 61737 2031.81/2038.17 c #Conflicts: 712000 | #Constraints: 62773 2031.81/2038.17 c #Conflicts: 713000 | #Constraints: 63795 2031.81/2038.17 c #Conflicts: 714000 | #Constraints: 64830 2031.81/2038.17 c #Conflicts: 715000 | #Constraints: 65851 2031.81/2038.17 c #Conflicts: 716000 | #Constraints: 66886 2031.81/2038.17 c #Conflicts: 717000 | #Constraints: 67922 2031.81/2038.17 c #Conflicts: 718000 | #Constraints: 68958 2031.81/2038.17 c #Conflicts: 719000 | #Constraints: 69990 2031.81/2038.17 c #Conflicts: 720000 | #Constraints: 71017 2031.81/2038.17 c #Conflicts: 721000 | #Constraints: 72046 2031.81/2038.17 c #Conflicts: 722000 | #Constraints: 73077 2031.81/2038.17 c #Conflicts: 723000 | #Constraints: 74109 2031.81/2038.17 c #Conflicts: 724000 | #Constraints: 75131 2031.81/2038.17 c #Conflicts: 725000 | #Constraints: 76149 2031.81/2038.17 c #Conflicts: 726000 | #Constraints: 77173 2031.81/2038.17 c #Conflicts: 727000 | #Constraints: 78195 2031.81/2038.17 c #Conflicts: 728000 | #Constraints: 79209 2031.81/2038.17 c #Conflicts: 729000 | #Constraints: 80231 2031.81/2038.17 c #Conflicts: 730000 | #Constraints: 81252 2031.81/2038.17 c #Conflicts: 731000 | #Constraints: 82274 2031.81/2038.17 c #Conflicts: 732000 | #Constraints: 83298 2031.81/2038.17 c #Conflicts: 733000 | #Constraints: 84314 2031.81/2038.17 c #Conflicts: 734000 | #Constraints: 85327 2031.81/2038.17 c #Conflicts: 735000 | #Constraints: 86345 2031.81/2038.17 c #Conflicts: 736000 | #Constraints: 87365 2031.81/2038.17 c #Conflicts: 737000 | #Constraints: 88398 2031.81/2038.17 c #Conflicts: 738000 | #Constraints: 89434 2031.81/2038.17 c #Conflicts: 739000 | #Constraints: 90455 2031.81/2038.17 c #Conflicts: 740000 | #Constraints: 91476 2031.81/2038.17 c #Conflicts: 741000 | #Constraints: 92504 2031.81/2038.17 c #Conflicts: 742000 | #Constraints: 93525 2031.81/2038.17 c #Conflicts: 743000 | #Constraints: 94549 2031.81/2038.17 c INPROCESSING 2031.81/2038.17 c GARBAGE COLLECT 2031.81/2038.17 c rational objective -252.333 2122.79/2129.36 c #Conflicts: 744000 | #Constraints: 48651 2122.79/2129.36 c #Conflicts: 745000 | #Constraints: 49656 2122.79/2129.36 c #Conflicts: 746000 | #Constraints: 50661 2122.79/2129.36 c #Conflicts: 747000 | #Constraints: 51664 2122.79/2129.36 c #Conflicts: 748000 | #Constraints: 52669 2122.79/2129.36 c #Conflicts: 749000 | #Constraints: 53678 2122.79/2129.36 c #Conflicts: 750000 | #Constraints: 54681 2122.79/2129.36 c #Conflicts: 751000 | #Constraints: 55683 2122.79/2129.36 c #Conflicts: 752000 | #Constraints: 56688 2122.79/2129.36 c #Conflicts: 753000 | #Constraints: 57691 2122.79/2129.36 c #Conflicts: 754000 | #Constraints: 58693 2122.79/2129.36 c #Conflicts: 755000 | #Constraints: 59697 2122.79/2129.36 c #Conflicts: 756000 | #Constraints: 60700 2122.79/2129.36 c #Conflicts: 757000 | #Constraints: 61716 2122.79/2129.36 c #Conflicts: 758000 | #Constraints: 62723 2122.79/2129.36 c #Conflicts: 759000 | #Constraints: 63726 2122.79/2129.36 c #Conflicts: 760000 | #Constraints: 64735 2122.79/2129.36 c #Conflicts: 761000 | #Constraints: 65738 2122.79/2129.36 c INPROCESSING 2122.79/2129.36 c GARBAGE COLLECT 2122.79/2129.36 c rational objective -252.333 2210.19/2216.90 c #Conflicts: 762000 | #Constraints: 34148 2210.19/2216.90 c #Conflicts: 763000 | #Constraints: 35154 2210.19/2216.90 c #Conflicts: 764000 | #Constraints: 36159 2210.19/2216.90 c #Conflicts: 765000 | #Constraints: 37163 2210.19/2216.90 c #Conflicts: 766000 | #Constraints: 38166 2210.19/2216.90 c #Conflicts: 767000 | #Constraints: 39169 2210.19/2216.90 c #Conflicts: 768000 | #Constraints: 40173 2210.19/2216.90 c #Conflicts: 769000 | #Constraints: 41180 2210.19/2216.90 c #Conflicts: 770000 | #Constraints: 42184 2210.19/2216.90 c #Conflicts: 771000 | #Constraints: 43190 2210.19/2216.90 c #Conflicts: 772000 | #Constraints: 44195 2210.19/2216.90 c #Conflicts: 773000 | #Constraints: 45202 2210.19/2216.90 c #Conflicts: 774000 | #Constraints: 46210 2210.19/2216.90 c #Conflicts: 775000 | #Constraints: 47213 2210.19/2216.90 c #Conflicts: 776000 | #Constraints: 48214 2210.19/2216.90 c #Conflicts: 777000 | #Constraints: 49222 2210.19/2216.90 c #Conflicts: 778000 | #Constraints: 50228 2210.19/2216.90 c #Conflicts: 779000 | #Constraints: 51230 2210.19/2216.90 c #Conflicts: 780000 | #Constraints: 52235 2210.19/2216.90 c INPROCESSING 2210.19/2216.90 c GARBAGE COLLECT 2210.19/2216.90 c rational objective -252.333 2289.00/2295.98 c #Conflicts: 781000 | #Constraints: 27733 2289.00/2295.98 c #Conflicts: 782000 | #Constraints: 28737 2289.00/2295.98 c #Conflicts: 783000 | #Constraints: 29738 2289.00/2295.98 c #Conflicts: 784000 | #Constraints: 30742 2289.00/2295.98 c #Conflicts: 785000 | #Constraints: 31748 2289.00/2295.98 c #Conflicts: 786000 | #Constraints: 32749 2289.00/2295.98 c #Conflicts: 787000 | #Constraints: 33756 2289.00/2295.98 c #Conflicts: 788000 | #Constraints: 34760 2289.00/2295.98 c #Conflicts: 789000 | #Constraints: 35765 2289.00/2295.98 c #Conflicts: 790000 | #Constraints: 36769 2289.00/2295.98 c #Conflicts: 791000 | #Constraints: 37775 2289.00/2295.98 c #Conflicts: 792000 | #Constraints: 38776 2289.00/2295.98 c #Conflicts: 793000 | #Constraints: 39778 2289.00/2295.98 c #Conflicts: 794000 | #Constraints: 40784 2289.00/2295.98 c #Conflicts: 795000 | #Constraints: 41786 2289.00/2295.98 c #Conflicts: 796000 | #Constraints: 42788 2289.00/2295.98 c #Conflicts: 797000 | #Constraints: 43795 2289.00/2295.98 c #Conflicts: 798000 | #Constraints: 44799 2289.00/2295.98 c INPROCESSING 2289.00/2295.98 c GARBAGE COLLECT 2289.00/2295.98 c rational objective -252.333 2364.50/2371.63 c #Conflicts: 799000 | #Constraints: 23683 2364.50/2371.63 c #Conflicts: 800000 | #Constraints: 24688 2364.50/2371.63 c #Conflicts: 801000 | #Constraints: 25692 2364.50/2371.63 c #Conflicts: 802000 | #Constraints: 26693 2364.50/2371.63 c #Conflicts: 803000 | #Constraints: 27695 2364.50/2371.63 c #Conflicts: 804000 | #Constraints: 28701 2364.50/2371.63 c #Conflicts: 805000 | #Constraints: 29705 2364.50/2371.63 c #Conflicts: 806000 | #Constraints: 30717 2364.50/2371.63 c #Conflicts: 807000 | #Constraints: 31719 2364.50/2371.63 c #Conflicts: 808000 | #Constraints: 32721 2364.50/2371.63 c #Conflicts: 809000 | #Constraints: 33723 2364.50/2371.63 c #Conflicts: 810000 | #Constraints: 34728 2364.50/2371.63 c #Conflicts: 811000 | #Constraints: 35734 2364.50/2371.63 c #Conflicts: 812000 | #Constraints: 36736 2364.50/2371.63 c #Conflicts: 813000 | #Constraints: 37746 2364.50/2371.63 c #Conflicts: 814000 | #Constraints: 38748 2364.50/2371.63 c #Conflicts: 815000 | #Constraints: 39752 2364.50/2371.63 c #Conflicts: 816000 | #Constraints: 40755 2364.50/2371.63 c #Conflicts: 817000 | #Constraints: 41758 2364.50/2371.63 c INPROCESSING 2364.50/2371.63 c GARBAGE COLLECT 2364.50/2371.63 c rational objective -252.333 2625.70/2633.78 c #Conflicts: 818000 | #Constraints: 22291 2625.70/2633.78 c #Conflicts: 819000 | #Constraints: 23334 2625.70/2633.78 c #Conflicts: 820000 | #Constraints: 24384 2625.70/2633.78 c #Conflicts: 821000 | #Constraints: 25430 2625.70/2633.78 c #Conflicts: 822000 | #Constraints: 26468 2625.70/2633.78 c #Conflicts: 823000 | #Constraints: 27494 2625.70/2633.78 c #Conflicts: 824000 | #Constraints: 28540 2625.70/2633.78 c #Conflicts: 825000 | #Constraints: 29585 2625.70/2633.78 c #Conflicts: 826000 | #Constraints: 30621 2625.70/2633.78 c #Conflicts: 827000 | #Constraints: 31674 2625.70/2633.78 c #Conflicts: 828000 | #Constraints: 32719 2625.70/2633.78 c #Conflicts: 829000 | #Constraints: 33750 2625.70/2633.78 c #Conflicts: 830000 | #Constraints: 34787 2625.70/2633.78 c #Conflicts: 831000 | #Constraints: 35812 2625.70/2633.78 c #Conflicts: 832000 | #Constraints: 36837 2625.70/2633.78 c #Conflicts: 833000 | #Constraints: 37863 2625.70/2633.78 c #Conflicts: 834000 | #Constraints: 38904 2625.70/2633.78 c #Conflicts: 835000 | #Constraints: 39955 2625.70/2633.78 c #Conflicts: 836000 | #Constraints: 41025 2625.70/2633.78 c #Conflicts: 837000 | #Constraints: 42055 2625.70/2633.78 c #Conflicts: 838000 | #Constraints: 43075 2625.70/2633.78 c #Conflicts: 839000 | #Constraints: 44086 2625.70/2633.78 c #Conflicts: 840000 | #Constraints: 45119 2625.70/2633.78 c #Conflicts: 841000 | #Constraints: 46152 2625.70/2633.78 c #Conflicts: 842000 | #Constraints: 47191 2625.70/2633.78 c #Conflicts: 843000 | #Constraints: 48233 2625.70/2633.78 c #Conflicts: 844000 | #Constraints: 49262 2625.70/2633.78 c #Conflicts: 845000 | #Constraints: 50281 2625.70/2633.78 c #Conflicts: 846000 | #Constraints: 51298 2625.70/2633.78 c #Conflicts: 847000 | #Constraints: 52335 2625.70/2633.78 c #Conflicts: 848000 | #Constraints: 53359 2625.70/2633.78 c #Conflicts: 849000 | #Constraints: 54410 2625.70/2633.78 c #Conflicts: 850000 | #Constraints: 55456 2625.70/2633.78 c #Conflicts: 851000 | #Constraints: 56494 2625.70/2633.78 c #Conflicts: 852000 | #Constraints: 57524 2625.70/2633.78 c #Conflicts: 853000 | #Constraints: 58557 2625.70/2633.78 c #Conflicts: 854000 | #Constraints: 59591 2625.70/2633.78 c #Conflicts: 855000 | #Constraints: 60632 2625.70/2633.78 c #Conflicts: 856000 | #Constraints: 61670 2625.70/2633.78 c #Conflicts: 857000 | #Constraints: 62711 2625.70/2633.78 c #Conflicts: 858000 | #Constraints: 63740 2625.70/2633.78 c #Conflicts: 859000 | #Constraints: 64772 2625.70/2633.78 c #Conflicts: 860000 | #Constraints: 65810 2625.70/2633.78 c #Conflicts: 861000 | #Constraints: 66852 2625.70/2633.78 c #Conflicts: 862000 | #Constraints: 67886 2625.70/2633.78 c #Conflicts: 863000 | #Constraints: 68907 2625.70/2633.78 c #Conflicts: 864000 | #Constraints: 69931 2625.70/2633.78 c #Conflicts: 865000 | #Constraints: 70951 2625.70/2633.78 c #Conflicts: 866000 | #Constraints: 71991 2625.70/2633.78 c #Conflicts: 867000 | #Constraints: 73011 2625.70/2633.78 c #Conflicts: 868000 | #Constraints: 74053 2625.70/2633.78 c #Conflicts: 869000 | #Constraints: 75087 2625.70/2633.78 c #Conflicts: 870000 | #Constraints: 76118 2625.70/2633.78 c #Conflicts: 871000 | #Constraints: 77147 2625.70/2633.78 c #Conflicts: 872000 | #Constraints: 78174 2625.70/2633.78 c #Conflicts: 873000 | #Constraints: 79224 2625.70/2633.78 c #Conflicts: 874000 | #Constraints: 80260 2625.70/2633.78 c #Conflicts: 875000 | #Constraints: 81287 2625.70/2633.78 c #Conflicts: 876000 | #Constraints: 82321 2625.70/2633.78 c #Conflicts: 877000 | #Constraints: 83348 2625.70/2633.78 c #Conflicts: 878000 | #Constraints: 84378 2625.70/2633.78 c #Conflicts: 879000 | #Constraints: 85413 2625.70/2633.78 c #Conflicts: 880000 | #Constraints: 86454 2625.70/2633.78 c #Conflicts: 881000 | #Constraints: 87483 2625.70/2633.78 c #Conflicts: 882000 | #Constraints: 88520 2625.70/2633.78 c #Conflicts: 883000 | #Constraints: 89555 2625.70/2633.78 c #Conflicts: 884000 | #Constraints: 90594 2625.70/2633.78 c #Conflicts: 885000 | #Constraints: 91619 2625.70/2633.78 c #Conflicts: 886000 | #Constraints: 92647 2625.70/2633.78 c #Conflicts: 887000 | #Constraints: 93670 2625.70/2633.78 c #Conflicts: 888000 | #Constraints: 94703 2625.70/2633.78 c #Conflicts: 889000 | #Constraints: 95728 2625.70/2633.78 c #Conflicts: 890000 | #Constraints: 96762 2625.70/2633.78 c #Conflicts: 891000 | #Constraints: 97803 2625.70/2633.78 c #Conflicts: 892000 | #Constraints: 98832 2625.70/2633.78 c #Conflicts: 893000 | #Constraints: 99867 2625.70/2633.78 c #Conflicts: 894000 | #Constraints: 100909 2625.70/2633.78 c #Conflicts: 895000 | #Constraints: 101927 2625.70/2633.78 c #Conflicts: 896000 | #Constraints: 102956 2632.49/2640.51 c #Conflicts: 897000 | #Constraints: 104001 2632.49/2640.51 c INPROCESSING 2632.49/2640.51 c GARBAGE COLLECT 2632.49/2640.51 c rational objective -252.333 2784.71/2793.24 c #Conflicts: 898000 | #Constraints: 53284 2784.71/2793.24 c #Conflicts: 899000 | #Constraints: 54287 2784.71/2793.24 c #Conflicts: 900000 | #Constraints: 55292 2784.71/2793.24 c #Conflicts: 901000 | #Constraints: 56294 2784.71/2793.24 c #Conflicts: 902000 | #Constraints: 57295 2784.71/2793.24 c #Conflicts: 903000 | #Constraints: 58302 2784.71/2793.24 c #Conflicts: 904000 | #Constraints: 59306 2784.71/2793.24 c #Conflicts: 905000 | #Constraints: 60312 2784.71/2793.24 c #Conflicts: 906000 | #Constraints: 61316 2784.71/2793.24 c #Conflicts: 907000 | #Constraints: 62320 2784.71/2793.24 c #Conflicts: 908000 | #Constraints: 63322 2784.71/2793.24 c #Conflicts: 909000 | #Constraints: 64328 2784.71/2793.24 c #Conflicts: 910000 | #Constraints: 65336 2784.71/2793.24 c #Conflicts: 911000 | #Constraints: 66338 2784.71/2793.24 c #Conflicts: 912000 | #Constraints: 67343 2784.71/2793.24 c #Conflicts: 913000 | #Constraints: 68349 2784.71/2793.24 c #Conflicts: 914000 | #Constraints: 69354 2784.71/2793.24 c #Conflicts: 915000 | #Constraints: 70355 2784.71/2793.24 c #Conflicts: 916000 | #Constraints: 71360 2784.71/2793.24 c #Conflicts: 917000 | #Constraints: 72365 2784.71/2793.24 c INPROCESSING 2784.71/2793.24 c GARBAGE COLLECT 2784.71/2793.24 c rational objective -252.333 2911.84/2920.71 c #Conflicts: 918000 | #Constraints: 37418 2911.84/2920.71 c #Conflicts: 919000 | #Constraints: 38423 2911.84/2920.71 c #Conflicts: 920000 | #Constraints: 39428 2911.84/2920.71 c #Conflicts: 921000 | #Constraints: 40433 2911.84/2920.71 c #Conflicts: 922000 | #Constraints: 41435 2911.84/2920.71 c #Conflicts: 923000 | #Constraints: 42440 2911.84/2920.71 c #Conflicts: 924000 | #Constraints: 43448 2911.84/2920.71 c #Conflicts: 925000 | #Constraints: 44450 2911.84/2920.71 c #Conflicts: 926000 | #Constraints: 45452 2911.84/2920.71 c #Conflicts: 927000 | #Constraints: 46454 2911.84/2920.71 c #Conflicts: 928000 | #Constraints: 47467 2911.84/2920.71 c #Conflicts: 929000 | #Constraints: 48470 2911.84/2920.71 c #Conflicts: 930000 | #Constraints: 49475 2911.84/2920.71 c #Conflicts: 931000 | #Constraints: 50482 2911.84/2920.71 c #Conflicts: 932000 | #Constraints: 51486 2911.84/2920.71 c #Conflicts: 933000 | #Constraints: 52494 2911.84/2920.71 c #Conflicts: 934000 | #Constraints: 53501 2911.84/2920.71 c #Conflicts: 935000 | #Constraints: 54507 2911.84/2920.71 c #Conflicts: 936000 | #Constraints: 55513 2911.84/2920.71 c #Conflicts: 937000 | #Constraints: 56516 2911.84/2920.71 c #Conflicts: 938000 | #Constraints: 57523 2911.84/2920.71 c INPROCESSING 2911.84/2920.71 c GARBAGE COLLECT 2911.84/2920.71 c rational objective -252.333 3023.87/3033.01 c #Conflicts: 939000 | #Constraints: 30346 3023.87/3033.01 c #Conflicts: 940000 | #Constraints: 31351 3023.87/3033.01 c #Conflicts: 941000 | #Constraints: 32357 3023.87/3033.01 c #Conflicts: 942000 | #Constraints: 33363 3023.87/3033.01 c #Conflicts: 943000 | #Constraints: 34370 3023.87/3033.01 c #Conflicts: 944000 | #Constraints: 35374 3023.87/3033.01 c #Conflicts: 945000 | #Constraints: 36378 3023.87/3033.01 c #Conflicts: 946000 | #Constraints: 37381 3023.87/3033.01 c #Conflicts: 947000 | #Constraints: 38387 3023.87/3033.01 c #Conflicts: 948000 | #Constraints: 39392 3023.87/3033.01 c #Conflicts: 949000 | #Constraints: 40392 3023.87/3033.01 c #Conflicts: 950000 | #Constraints: 41397 3023.87/3033.01 c #Conflicts: 951000 | #Constraints: 42402 3023.87/3033.01 c #Conflicts: 952000 | #Constraints: 43404 3023.87/3033.01 c #Conflicts: 953000 | #Constraints: 44420 3023.87/3033.01 c #Conflicts: 954000 | #Constraints: 45425 3023.87/3033.01 c #Conflicts: 955000 | #Constraints: 46427 3023.87/3033.01 c #Conflicts: 956000 | #Constraints: 47431 3023.87/3033.01 c #Conflicts: 957000 | #Constraints: 48433 3023.87/3033.01 c #Conflicts: 958000 | #Constraints: 49440 3023.87/3033.01 c INPROCESSING 3023.87/3033.01 c GARBAGE COLLECT 3023.87/3033.01 c rational objective -252.333 3063.58/3072.89 c #Conflicts: 959000 | #Constraints: 26077 3063.58/3072.89 c #Conflicts: 960000 | #Constraints: 27112 3063.58/3072.89 c #Conflicts: 961000 | #Constraints: 28148 3063.58/3072.89 c #Conflicts: 962000 | #Constraints: 29201 3063.58/3072.89 c #Conflicts: 963000 | #Constraints: 30252 3063.58/3072.89 c #Conflicts: 964000 | #Constraints: 31294 3063.58/3072.89 c #Conflicts: 965000 | #Constraints: 32341 3063.58/3072.89 c #Conflicts: 966000 | #Constraints: 33374 3063.58/3072.89 c #Conflicts: 967000 | #Constraints: 34408 3063.58/3072.89 c #Conflicts: 968000 | #Constraints: 35444 3063.58/3072.89 c #Conflicts: 969000 | #Constraints: 36475 3063.58/3072.89 c #Conflicts: 970000 | #Constraints: 37506 3063.58/3072.89 c #Conflicts: 971000 | #Constraints: 38529 3063.58/3072.89 c #Conflicts: 972000 | #Constraints: 39554 3063.58/3072.89 c #Conflicts: 973000 | #Constraints: 40572 3063.58/3072.89 c #Conflicts: 974000 | #Constraints: 41595 3063.58/3072.89 c #Conflicts: 975000 | #Constraints: 42654 3063.58/3072.89 c #Conflicts: 976000 | #Constraints: 43694 3063.58/3072.89 c #Conflicts: 977000 | #Constraints: 44730 3063.58/3072.89 c #Conflicts: 978000 | #Constraints: 45770 3063.58/3072.89 c #Conflicts: 979000 | #Constraints: 46811 3063.58/3072.89 c INPROCESSING 3063.58/3072.89 c GARBAGE COLLECT 3063.58/3072.89 c rational objective -252.333 3600.09/3610.60 c #Conflicts: 980000 | #Constraints: 24876 3600.09/3610.60 c #Conflicts: 981000 | #Constraints: 25880 3600.09/3610.60 c #Conflicts: 982000 | #Constraints: 26886 3600.09/3610.60 c #Conflicts: 983000 | #Constraints: 27890 3600.09/3610.60 c #Conflicts: 984000 | #Constraints: 28892 3600.09/3610.60 c #Conflicts: 985000 | #Constraints: 29898 3600.09/3610.60 c #Conflicts: 986000 | #Constraints: 30902 3600.09/3610.60 c #Conflicts: 987000 | #Constraints: 31905 3600.09/3610.60 c #Conflicts: 988000 | #Constraints: 32907 3600.09/3610.60 c #Conflicts: 989000 | #Constraints: 33912 3600.09/3610.60 c #Conflicts: 990000 | #Constraints: 34916 3600.09/3610.60 c #Conflicts: 991000 | #Constraints: 35921 3600.09/3610.60 c #Conflicts: 992000 | #Constraints: 36926 3600.09/3610.60 c #Conflicts: 993000 | #Constraints: 37935 3600.09/3610.60 c #Conflicts: 994000 | #Constraints: 38941 3600.09/3610.60 c #Conflicts: 995000 | #Constraints: 39945 3600.09/3610.60 c #Conflicts: 996000 | #Constraints: 40948 3600.09/3610.60 c #Conflicts: 997000 | #Constraints: 41950 3600.09/3610.60 c #Conflicts: 998000 | #Constraints: 42960 3600.09/3610.60 c #Conflicts: 999000 | #Constraints: 43963 3600.09/3610.60 c #Conflicts: 1000000 | #Constraints: 44967 3600.09/3610.60 c #Conflicts: 1001000 | #Constraints: 45972 3600.09/3610.60 c #Conflicts: 1002000 | #Constraints: 46976 3600.09/3610.60 c #Conflicts: 1003000 | #Constraints: 47980 3600.09/3610.60 c #Conflicts: 1004000 | #Constraints: 48981 3600.09/3610.60 c #Conflicts: 1005000 | #Constraints: 49987 3600.09/3610.60 c #Conflicts: 1006000 | #Constraints: 50990 3600.09/3610.60 c #Conflicts: 1007000 | #Constraints: 52001 3600.09/3610.60 c #Conflicts: 1008000 | #Constraints: 53008 3600.09/3610.60 c #Conflicts: 1009000 | #Constraints: 54016 3600.09/3610.60 c #Conflicts: 1010000 | #Constraints: 55023 3600.09/3610.60 c #Conflicts: 1011000 | #Constraints: 56030 3600.09/3610.60 c #Conflicts: 1012000 | #Constraints: 57033 3600.09/3610.60 c #Conflicts: 1013000 | #Constraints: 58034 3600.09/3610.60 c #Conflicts: 1014000 | #Constraints: 59035 3600.09/3610.60 c #Conflicts: 1015000 | #Constraints: 60038 3600.09/3610.60 c #Conflicts: 1016000 | #Constraints: 61040 3600.09/3610.60 c #Conflicts: 1017000 | #Constraints: 62053 3600.09/3610.60 c #Conflicts: 1018000 | #Constraints: 63067 3600.09/3610.60 c #Conflicts: 1019000 | #Constraints: 64072 3600.09/3610.60 c #Conflicts: 1020000 | #Constraints: 65076 3600.09/3610.60 c #Conflicts: 1021000 | #Constraints: 66080 3600.09/3610.60 c #Conflicts: 1022000 | #Constraints: 67084 3600.09/3610.60 c #Conflicts: 1023000 | #Constraints: 68094 3600.09/3610.60 c #Conflicts: 1024000 | #Constraints: 69098 3600.09/3610.60 c #Conflicts: 1025000 | #Constraints: 70106 3600.09/3610.60 c #Conflicts: 1026000 | #Constraints: 71108 3600.09/3610.60 c #Conflicts: 1027000 | #Constraints: 72111 3600.09/3610.60 c #Conflicts: 1028000 | #Constraints: 73115 3600.09/3610.60 c #Conflicts: 1029000 | #Constraints: 74118 3600.09/3610.60 c #Conflicts: 1030000 | #Constraints: 75123 3600.09/3610.60 c #Conflicts: 1031000 | #Constraints: 76129 3600.09/3610.60 c #Conflicts: 1032000 | #Constraints: 77133 3600.09/3610.60 c #Conflicts: 1033000 | #Constraints: 78133 3600.09/3610.60 c #Conflicts: 1034000 | #Constraints: 79143 3600.09/3610.60 c #Conflicts: 1035000 | #Constraints: 80145 3600.09/3610.60 c #Conflicts: 1036000 | #Constraints: 81149 3600.09/3610.60 c #Conflicts: 1037000 | #Constraints: 82152 3600.09/3610.60 c #Conflicts: 1038000 | #Constraints: 83160 3600.09/3610.60 c #Conflicts: 1039000 | #Constraints: 84164 3600.09/3610.60 c #Conflicts: 1040000 | #Constraints: 85170 3600.09/3610.60 c #Conflicts: 1041000 | #Constraints: 86175 3600.09/3610.60 c #Conflicts: 1042000 | #Constraints: 87178 3600.09/3610.60 c #Conflicts: 1043000 | #Constraints: 88179 3600.09/3610.60 c #Conflicts: 1044000 | #Constraints: 89184 3600.09/3610.60 c #Conflicts: 1045000 | #Constraints: 90189 3600.09/3610.60 c #Conflicts: 1046000 | #Constraints: 91195 3600.09/3610.60 c #Conflicts: 1047000 | #Constraints: 92198 3600.09/3610.60 c #Conflicts: 1048000 | #Constraints: 93203 3600.09/3610.60 c #Conflicts: 1049000 | #Constraints: 94207 3600.09/3610.60 c #Conflicts: 1050000 | #Constraints: 95211 3600.09/3610.60 c #Conflicts: 1051000 | #Constraints: 96216 3600.09/3610.60 c #Conflicts: 1052000 | #Constraints: 97222 3600.09/3610.60 c Program interrupted by user. 3600.09/3610.60 c cpu time 3585 s 3600.09/3610.60 c deterministic time 358002064954 3.58e+11 3600.09/3610.60 c optimization time 535.374 s 3600.09/3610.60 c total solve time 3049.63 s 3600.09/3610.60 c core-guided solve time 1889.54 s 3600.09/3610.60 c propagation time 3156.49 s 3600.09/3610.60 c conflict analysis time 403.438 s 3600.09/3610.60 c propagations 68093649 3600.09/3610.60 c resolve steps 13730131 3600.09/3610.60 c decisions 2537253 3600.09/3610.60 c conflicts 1052447 3600.09/3610.60 c restarts 2046 3600.09/3610.60 c inprocessing phases 72 3600.09/3610.60 c input clauses 405 3600.09/3610.60 c input cardinalities 110 3600.09/3610.60 c input general constraints 505 3600.09/3610.60 c input average constraint length 9.15 3600.09/3610.60 c input average constraint degree 27.82 3600.09/3610.60 c learned clauses 732203 3600.09/3610.60 c learned cardinalities 124 3600.09/3610.60 c learned general constraints 341741 3600.09/3610.60 c learned average constraint length 120.79 3600.09/3610.60 c learned average constraint degree 807176808.43 3600.09/3610.60 c watched constraints 285072 3600.09/3610.60 c counting constraints 57174 3600.09/3610.60 c gcd simplifications 305391 3600.09/3610.60 c detected cardinalities 18 3600.09/3610.60 c weakened non-implied lits 43608120 3600.09/3610.60 c weakened non-implying lits 271906 3600.09/3610.60 c original variables 223 3600.09/3610.60 c clausal propagations 23089841 3600.09/3610.60 c cardinality propagations 5608943 3600.09/3610.60 c watched propagations 3186583 3600.09/3610.60 c counting propagations 35366032 3600.09/3610.60 c watch lookups 73638033816 3600.09/3610.60 c watch backjump lookups 60281770443 3600.09/3610.60 c watch checks 212426988571 3600.09/3610.60 c propagation checks 11048957420 3600.09/3610.60 c constraint additions 462954716 3600.09/3610.60 c trail pops 71661462 3600.09/3610.60 c formula constraints 386 3600.09/3610.60 c learned constraints 1030976 3600.09/3610.60 c bound constraints 21 3600.09/3610.60 c core-guided constraints 613 3600.09/3610.60 c encountered formula constraints 4688104 3600.09/3610.60 c encountered learned constraints 8002100 3600.09/3610.60 c encountered bound constraints 27558 3600.09/3610.60 c encountered core-guided constraints 1305492 3600.09/3610.60 c LP total time 23.0585 s 3600.09/3610.60 c LP solve time 19.25 s 3600.09/3610.60 c LP constraints added 1230 3600.09/3610.60 c LP constraints removed 690 3600.09/3610.60 c LP pivots internal 1052470 3600.09/3610.60 c LP pivots root 15153 3600.09/3610.60 c LP calls 44956 3600.09/3610.60 c LP optimalities 23410 3600.09/3610.60 c LP no pivot count 972 3600.09/3610.60 c LP infeasibilities 21546 3600.09/3610.60 c LP valid Farkas constraints 21546 3600.09/3610.60 c LP learned Farkas constraints 21546 3600.09/3610.60 c LP basis resets 0 3600.09/3610.60 c LP cycling count 0 3600.09/3610.60 c LP singular count 0 3600.09/3610.60 c LP no primal count 0 3600.09/3610.60 c LP no farkas count 0 3600.09/3610.60 c LP other issue count 0 3600.09/3610.60 c LP Gomory cuts 0 3600.09/3610.60 c LP learned cuts 844 3600.09/3610.60 c LP deleted cuts 690 3600.09/3610.60 c LP encountered Gomory constraints 0 3600.09/3610.60 c LP encountered Farkas constraints 616212 3600.09/3610.60 c LP encountered learned Farkas constraints 121566 3600.09/3610.60 c CG auxiliary variables introduced 241 3600.09/3610.60 c CG solutions found 21 3600.09/3610.60 c CG cores constructed 110 3600.09/3610.60 c CG core cardinality constraints returned 0 3600.09/3610.60 c CG unit cores 0 3600.09/3610.60 c CG single cores 103 3600.09/3610.60 c CG blocks removed during cardinality reduction 0 3600.09/3610.60 c CG first core best 0 3600.09/3610.60 c CG decision core best 0 3600.09/3610.60 c CG core reduction tie 7 3600.09/3610.60 c CG core degree average 1.00 3600.09/3610.60 c CG core slack average 3.52 3600.09/3610.60 s SATISFIABLE 3600.09/3610.60 v -x1 -x2 x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223
OK -81
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (55143 MiB free)
memory of node 1: 64510 MiB (42753 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462848-1722346787/watcher-4462848-1722346787 -o /tmp/evaluation-result-4462848-1722346787/solver-4462848-1722346787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722340763-6636 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462848-1722346787 --lp-cut-gomory=0 HOME/instance-4462848-1722346787.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=10223, runsolver pid=10220
[startup+0.10009 s]*
/proc/loadavg: 4.19 4.16 4.17 5/259 10224
/proc/meminfo: memFree=100241700/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=38672 memory=9684 CPUtime=0.1 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 738 0 0 0 9 1 0 0 20 0 1 0 1276637 39600128 2421 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 9668 2421 1914 992 0 1526 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38672 KiB
Current children cumulated memory: 9684 KiB
[startup+0.205733 s]*
/proc/loadavg: 4.19 4.16 4.17 5/259 10224
/proc/meminfo: memFree=100238844/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=39040 memory=10684 CPUtime=0.2 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 963 0 0 0 18 2 0 0 20 0 1 0 1276637 39976960 2671 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 9760 2671 1914 992 0 1618 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39040 KiB
Current children cumulated memory: 10684 KiB
[startup+0.305651 s]*
/proc/loadavg: 4.19 4.16 4.17 5/259 10224
/proc/meminfo: memFree=100235008/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=39384 memory=11216 CPUtime=0.3 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 1083 0 0 0 28 2 0 0 20 0 1 0 1276637 40329216 2804 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 9846 2804 1914 992 0 1704 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39384 KiB
Current children cumulated memory: 11216 KiB
[startup+0.700215 s]
/proc/loadavg: 4.19 4.16 4.17 5/259 10224
/proc/meminfo: memFree=100226096/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=39956 memory=13856 CPUtime=0.69 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 1244 0 0 0 64 5 0 0 20 0 1 0 1276637 40914944 3464 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 9989 3464 1914 992 0 1847 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39956 KiB
Current children cumulated memory: 13856 KiB
[startup+1.50022 s]
/proc/loadavg: 4.19 4.16 4.17 5/259 10225
/proc/meminfo: memFree=100216608/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=40104 memory=13856 CPUtime=1.49 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 1280 0 0 0 142 7 0 0 20 0 1 0 1276637 41066496 3464 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 10026 3464 1914 992 0 1884 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 13856 KiB
[startup+3.10564 s]
/proc/loadavg: 4.17 4.16 4.17 5/259 10225
/proc/meminfo: memFree=100151384/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=41072 memory=15040 CPUtime=3.09 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 1538 0 0 0 296 13 0 0 20 0 1 0 1276637 42057728 3760 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 10268 3760 1914 992 0 2126 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41072 KiB
Current children cumulated memory: 15040 KiB
[startup+6.30021 s]
/proc/loadavg: 4.17 4.16 4.17 5/259 10225
/proc/meminfo: memFree=100072932/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=42000 memory=15924 CPUtime=6.27 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 1769 0 0 0 605 22 0 0 20 0 1 0 1276637 43008000 3981 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 10500 3981 1914 992 0 2358 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42000 KiB
Current children cumulated memory: 15924 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.15 4.17 5/259 10227
/proc/meminfo: memFree=99966728/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=43192 memory=17484 CPUtime=12.65 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 2198 0 0 0 1223 42 0 0 20 0 1 0 1276637 44228608 4371 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 10798 4371 1914 992 0 2656 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 43192 KiB
Current children cumulated memory: 17484 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.15 4.17 5/259 10228
/proc/meminfo: memFree=99716832/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=48352 memory=21812 CPUtime=25.43 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 3475 0 0 0 2471 72 0 0 20 0 1 0 1276637 49512448 5453 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 12088 5453 1914 992 0 3946 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 48352 KiB
Current children cumulated memory: 21812 KiB
[startup+51.1057 s]
/proc/loadavg: 4.15 4.15 4.17 5/259 10233
/proc/meminfo: memFree=99354592/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=55176 memory=27564 CPUtime=50.96 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 4693 0 0 0 4966 130 0 0 20 0 1 0 1276637 56500224 6891 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 13794 6891 1914 992 0 5652 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 55176 KiB
Current children cumulated memory: 27564 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/260 10247
/proc/meminfo: memFree=98766812/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=59092 memory=31380 CPUtime=102.03 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 5883 0 0 0 9994 209 0 0 20 0 1 0 1276637 60510208 7845 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 14773 7845 1914 992 0 6631 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 59092 KiB
Current children cumulated memory: 31380 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/260 10257
/proc/meminfo: memFree=97975656/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=68084 memory=36716 CPUtime=161.85 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 7184 0 0 0 15907 278 0 0 20 0 1 0 1276637 69718016 9179 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 17021 9179 1914 992 0 8879 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 68084 KiB
Current children cumulated memory: 36716 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/260 10269
/proc/meminfo: memFree=97526564/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=87692 memory=51112 CPUtime=221.7 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 9518 0 0 0 21838 332 0 0 20 0 1 0 1276637 89796608 12778 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 21923 12778 1914 992 0 13781 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 87692 KiB
Current children cumulated memory: 51112 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/260 10280
/proc/meminfo: memFree=97136496/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=121252 memory=78892 CPUtime=281.54 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 12950 0 0 0 27787 367 0 0 20 0 1 0 1276637 124162048 19723 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 30313 19723 1914 992 0 22171 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 121252 KiB
Current children cumulated memory: 78892 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/260 10290
/proc/meminfo: memFree=96722604/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=124804 memory=88820 CPUtime=341.38 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 14053 0 0 0 33748 390 0 0 20 0 1 0 1276637 127799296 22205 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 31201 22205 1914 992 0 23059 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 124804 KiB
Current children cumulated memory: 88820 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/258 10300
/proc/meminfo: memFree=96280508/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=124804 memory=89036 CPUtime=401.24 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 14251 0 0 0 39715 409 0 0 20 0 1 0 1276637 127799296 22259 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 31201 22259 1914 992 0 23059 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 124804 KiB
Current children cumulated memory: 89036 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/258 10311
/proc/meminfo: memFree=95786492/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=125312 memory=89552 CPUtime=461.08 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 14378 0 0 0 45680 428 0 0 20 0 1 0 1276637 128319488 22388 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 31328 22388 1914 992 0 23186 0
################
# More data... #
################
Current children cumulated memory: 149108 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/261 11900
/proc/meminfo: memFree=102168720/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=185052 memory=149108 CPUtime=2853.61 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 23342 0 0 0 284023 1338 0 0 20 0 1 0 1276637 189493248 37277 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 46263 37277 1914 992 0 38121 0
Current children cumulated CPU time: 2853.61 s
Current children cumulated vsize: 185052 KiB
Current children cumulated memory: 149108 KiB
[startup+2922.3 s]
/proc/loadavg: 4.25 4.19 4.15 4/259 11927
/proc/meminfo: memFree=100947332/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=185640 memory=149520 CPUtime=2913.43 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 23530 0 0 0 289992 1351 0 0 20 0 1 0 1276637 190095360 37380 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 46410 37380 1914 992 0 38268 0
Current children cumulated CPU time: 2913.43 s
Current children cumulated vsize: 185640 KiB
Current children cumulated memory: 149520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.18 4.15 5/253 12147
/proc/meminfo: memFree=100397400/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=185640 memory=152824 CPUtime=2973.27 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 23575 0 0 0 295960 1367 0 0 20 0 1 0 1276637 190095360 38206 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 46410 38206 1914 992 0 38268 0
Current children cumulated CPU time: 2973.27 s
Current children cumulated vsize: 185640 KiB
Current children cumulated memory: 152824 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.18 4.15 5/251 12158
/proc/meminfo: memFree=99635024/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=185640 memory=152824 CPUtime=3033.15 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 23627 0 0 0 301928 1387 0 0 20 0 1 0 1276637 190095360 38206 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 46410 38206 1914 992 0 38268 0
Current children cumulated CPU time: 3033.15 s
Current children cumulated vsize: 185640 KiB
Current children cumulated memory: 152824 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/252 12226
/proc/meminfo: memFree=98904356/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=185640 memory=152824 CPUtime=3093.02 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 23675 0 0 0 307886 1416 0 0 20 0 1 0 1276637 190095360 38206 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 46410 38206 1914 992 0 38268 0
Current children cumulated CPU time: 3093.02 s
Current children cumulated vsize: 185640 KiB
Current children cumulated memory: 152824 KiB
[startup+3162.3 s]
/proc/loadavg: 4.28 4.22 4.17 5/252 12236
/proc/meminfo: memFree=98131180/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=185640 memory=152828 CPUtime=3152.89 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 23723 0 0 0 313856 1433 0 0 20 0 1 0 1276637 190095360 38207 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 46410 38207 1914 992 0 38268 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 185640 KiB
Current children cumulated memory: 152828 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.21 4.17 5/252 12246
/proc/meminfo: memFree=97375636/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=185640 memory=152828 CPUtime=3212.77 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 23776 0 0 0 319832 1445 0 0 20 0 1 0 1276637 190095360 38207 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 46410 38207 1914 992 0 38268 0
Current children cumulated CPU time: 3212.77 s
Current children cumulated vsize: 185640 KiB
Current children cumulated memory: 152828 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.17 4.16 4/249 12263
/proc/meminfo: memFree=106737336/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=187036 memory=153324 CPUtime=3272.64 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 24014 0 0 0 325806 1458 0 0 20 0 1 0 1276637 191524864 38331 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 46759 38331 1914 992 0 38617 0
Current children cumulated CPU time: 3272.64 s
Current children cumulated vsize: 187036 KiB
Current children cumulated memory: 153324 KiB
[startup+3342.3 s]
/proc/loadavg: 3.44 3.97 4.09 4/248 12275
/proc/meminfo: memFree=106335540/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=187804 memory=154584 CPUtime=3332.52 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 24179 0 0 0 331781 1471 0 0 20 0 1 0 1276637 192311296 38646 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 46951 38646 1914 992 0 38809 0
Current children cumulated CPU time: 3332.52 s
Current children cumulated vsize: 187804 KiB
Current children cumulated memory: 154584 KiB
[startup+3402.3 s]
/proc/loadavg: 3.28 3.82 4.03 4/246 12285
/proc/meminfo: memFree=105967752/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=188576 memory=155104 CPUtime=3392.39 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 24350 0 0 0 337760 1479 0 0 20 0 1 0 1276637 193101824 38776 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 47144 38776 1914 992 0 39002 0
Current children cumulated CPU time: 3392.39 s
Current children cumulated vsize: 188576 KiB
Current children cumulated memory: 155104 KiB
[startup+3462.3 s]
/proc/loadavg: 2.62 3.55 3.92 3/244 12299
/proc/meminfo: memFree=118047772/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=188832 memory=155144 CPUtime=3452.22 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 24459 0 0 0 343734 1488 0 0 20 0 1 0 1276637 193363968 38786 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 47208 38786 1914 992 0 39066 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 188832 KiB
Current children cumulated memory: 155144 KiB
[startup+3522.3 s]
/proc/loadavg: 2.27 3.28 3.80 3/244 12312
/proc/meminfo: memFree=118017644/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=190048 memory=155928 CPUtime=3512.05 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 24696 0 0 0 349707 1498 0 0 20 0 1 0 1276637 194609152 38982 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 47512 38982 1914 992 0 39370 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 190048 KiB
Current children cumulated memory: 155928 KiB
[startup+3582.3 s]
/proc/loadavg: 2.20 3.07 3.70 3/244 12323
/proc/meminfo: memFree=117986988/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=191520 memory=156712 CPUtime=3571.87 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 24968 0 0 0 355682 1505 0 0 20 0 1 0 1276637 196116480 39178 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 47880 39178 1914 992 0 39738 0
Current children cumulated CPU time: 3571.87 s
Current children cumulated vsize: 191520 KiB
Current children cumulated memory: 156712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 2.13 2.98 3.65 3/244 12327
/proc/meminfo: memFree=117974084/131524600 swapFree=131071996/131071996
[pid=10223] ppid=10220 vsize=191776 memory=156964 CPUtime=3600.09 cores=4,6
/proc/10223/stat : 10223 (roundingsat) R 10220 10223 6624 0 -1 4194304 25079 0 0 0 358500 1509 0 0 20 0 1 0 1276637 196378624 39241 134679101440 4194304 8255733 140728253976000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 17620992 140728253977438 140728253977700 140728253977700 140728253984713 0
/proc/10223/statm: 47944 39241 1914 992 0 39802 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 191776 KiB
Current children cumulated memory: 156964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 10223 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585 s, system=15.1003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.1
CPU user time (s): 3585
CPU system time (s): 15.1003
CPU usage (%): 99.709
Max. virtual memory (cumulated for all children) (KiB): 191776
Max. memory (cumulated for all children) (KiB): 156964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585
system time used= 15.1003
maximum resident set size= 157164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5089360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95
involuntary context switches= 4840
# summary of solver processes directly reported to runsolver:
# pid: 10223
# total CPU time (s): 3600.1
# total CPU user time (s): 3585
# total CPU system time (s): 15.1003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60073 second user time and 16.6714 second system time
The end
Begin job on nodeC020 at 2024-07-30 15:39:47 IDJOB=4462848 IDBENCH=158535 IDSOLVER=3089 FILE ID=nodeC020/4462848-1722346787 RUNJOBID= nodeC020-1722340763-6636 SLURM_JOB_ID= 8248993 Free space on /tmp= 889968 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462848-1722346787/watcher-4462848-1722346787 -o /tmp/evaluation-result-4462848-1722346787/solver-4462848-1722346787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722340763-6636 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462848-1722346787 --lp-cut-gomory=0 HOME/instance-4462848-1722346787.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 28e415f3c4d8dab53aac16682d7f066d RANDOM SEED=660769194 nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3666.593 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.802 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.00 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.060 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.542 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.00 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.618 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.871 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.00 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3646.607 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.484 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.00 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 100246048 kB MemAvailable: 123996040 kB Buffers: 55220 kB Cached: 24504212 kB SwapCached: 0 kB Active: 264620 kB Inactive: 30474264 kB Active(anon): 1576 kB Inactive(anon): 6199300 kB Active(file): 263044 kB Inactive(file): 24274964 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 215672 kB Writeback: 0 kB AnonPages: 6177524 kB Mapped: 97608 kB Shmem: 21336 kB KReclaimable: 103264 kB Slab: 191052 kB SReclaimable: 103264 kB SUnreclaim: 87788 kB KernelStack: 4160 kB PageTables: 21416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7049020 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8992 kB HardwareCorrupted: 0 kB AnonHugePages: 4325376 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: 193236 kB DirectMap2M: 10065920 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890072 MiB End job on nodeC020 at 2024-07-30 16:39:58