| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | -35 | 3600.05 | 3610.21 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_3pm-0334-0334.lin.opb |
| MD5SUM | c86a302e56842e7d56f33820d48ef5a5 |
| 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 | -36 |
| Best CPU time to get the best result obtained on this benchmark | 1.22323 |
| 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 | 432 |
| Total number of constraints | 684 |
| Number of constraints which are clauses | 324 |
| Number of constraints which are cardinality constraints (but not clauses) | 36 |
| Number of constraints which are nor clauses,nor cardinality constraints | 324 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 324 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 324 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 324 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.03 c #variables 432 #constraints 720 0.00/0.04 c bounds - >= -162 @ 0.00179 0.00/0.04 c rational objective -54 0.07/0.18 c bounds 2 >= -162 @ 0.011179 0.07/0.18 c bounds 2 >= -161 @ 0.019778 0.07/0.18 c bounds 2 >= -160 @ 0.01983 0.07/0.18 c bounds 2 >= -159 @ 0.019882 0.07/0.18 c bounds 2 >= -158 @ 0.01993 0.07/0.18 c bounds 2 >= -157 @ 0.019983 0.07/0.18 c bounds 2 >= -156 @ 0.020035 0.07/0.18 c bounds 2 >= -155 @ 0.020086 0.07/0.18 c bounds 2 >= -154 @ 0.020159 0.07/0.18 c bounds 2 >= -153 @ 0.020159 0.07/0.18 c bounds 2 >= -152 @ 0.020159 0.07/0.18 c bounds 2 >= -151 @ 0.020159 0.07/0.18 c bounds 2 >= -150 @ 0.020159 0.07/0.18 c bounds -2 >= -150 @ 0.020159 0.07/0.18 c bounds -2 >= -149 @ 0.020159 0.07/0.18 c bounds -2 >= -148 @ 0.020159 0.07/0.18 c bounds -2 >= -147 @ 0.020159 0.07/0.18 c bounds -2 >= -146 @ 0.020159 0.07/0.18 c bounds -2 >= -145 @ 0.020159 0.07/0.18 c bounds -2 >= -144 @ 0.020159 0.07/0.18 c bounds -2 >= -143 @ 0.020163 0.07/0.18 c bounds -2 >= -142 @ 0.020163 0.07/0.18 c bounds -2 >= -141 @ 0.020163 0.07/0.18 c bounds -5 >= -141 @ 0.020163 0.07/0.18 c bounds -5 >= -140 @ 0.020163 0.07/0.18 c bounds -5 >= -139 @ 0.020163 0.07/0.18 c bounds -5 >= -138 @ 0.020163 0.07/0.18 c bounds -5 >= -137 @ 0.020163 0.07/0.18 c bounds -5 >= -136 @ 0.020163 0.07/0.18 c bounds -5 >= -135 @ 0.020191 0.07/0.18 c bounds -5 >= -134 @ 0.020287 0.07/0.18 c bounds -5 >= -133 @ 0.020385 0.07/0.18 c bounds -6 >= -133 @ 0.020671 0.07/0.18 c bounds -6 >= -132 @ 0.020784 0.07/0.18 c bounds -6 >= -131 @ 0.020891 0.07/0.18 c bounds -6 >= -130 @ 0.020995 0.07/0.18 c bounds -6 >= -129 @ 0.021102 0.07/0.18 c bounds -6 >= -128 @ 0.021165 0.07/0.18 c bounds -6 >= -127 @ 0.021165 0.07/0.18 c bounds -6 >= -126 @ 0.021165 0.07/0.18 c bounds -6 >= -125 @ 0.021165 0.07/0.18 c bounds -6 >= -124 @ 0.021165 0.07/0.18 c bounds -8 >= -124 @ 0.021743 0.07/0.18 c bounds -8 >= -123 @ 0.021883 0.07/0.18 c bounds -8 >= -122 @ 0.022015 0.07/0.18 c bounds -8 >= -121 @ 0.022147 0.07/0.18 c bounds -8 >= -120 @ 0.022165 0.07/0.18 c bounds -8 >= -119 @ 0.022165 0.07/0.18 c bounds -8 >= -118 @ 0.022165 0.07/0.18 c bounds -8 >= -117 @ 0.022165 0.07/0.18 c bounds -8 >= -116 @ 0.022165 0.07/0.18 c bounds -8 >= -115 @ 0.022165 0.07/0.18 c bounds -8 >= -114 @ 0.02218 0.07/0.18 c bounds -8 >= -113 @ 0.022339 0.07/0.18 c bounds -8 >= -112 @ 0.022495 0.07/0.18 c bounds -8 >= -111 @ 0.022652 0.07/0.18 c bounds -8 >= -110 @ 0.022811 0.07/0.18 c bounds -8 >= -109 @ 0.022971 0.07/0.18 c bounds -8 >= -108 @ 0.023135 0.07/0.18 c bounds -8 >= -107 @ 0.023296 0.07/0.18 c bounds -11 >= -107 @ 0.023589 0.07/0.18 c bounds -11 >= -106 @ 0.023762 0.07/0.18 c bounds -11 >= -105 @ 0.023934 0.07/0.18 c bounds -11 >= -104 @ 0.024104 0.07/0.18 c bounds -11 >= -103 @ 0.024163 0.07/0.18 c bounds -11 >= -102 @ 0.024163 0.07/0.18 c bounds -11 >= -101 @ 0.024163 0.07/0.18 c bounds -14 >= -101 @ 0.024163 0.07/0.18 c bounds -14 >= -100 @ 0.024163 0.07/0.18 c bounds -14 >= -99 @ 0.024165 0.07/0.18 c bounds -14 >= -98 @ 0.024165 0.07/0.18 c bounds -14 >= -97 @ 0.024165 0.07/0.18 c bounds -14 >= -96 @ 0.024165 0.07/0.18 c bounds -15 >= -96 @ 0.024252 0.07/0.18 c bounds -15 >= -95 @ 0.024454 0.07/0.18 c bounds -15 >= -94 @ 0.024647 0.07/0.18 c bounds -15 >= -93 @ 0.024842 0.07/0.18 c bounds -15 >= -92 @ 0.025034 0.07/0.18 c bounds -15 >= -91 @ 0.025166 0.07/0.18 c bounds -15 >= -90 @ 0.025166 0.07/0.18 c bounds -17 >= -90 @ 0.025166 0.07/0.18 c bounds -17 >= -89 @ 0.025169 0.07/0.18 c bounds -17 >= -88 @ 0.025169 0.07/0.18 c bounds -17 >= -87 @ 0.025169 0.07/0.18 c bounds -17 >= -86 @ 0.025169 0.07/0.18 c bounds -17 >= -85 @ 0.025169 0.07/0.18 c bounds -17 >= -84 @ 0.025172 0.07/0.18 c bounds -17 >= -83 @ 0.025172 0.07/0.18 c bounds -17 >= -82 @ 0.025172 0.07/0.18 c bounds -17 >= -81 @ 0.025172 0.07/0.18 c bounds -17 >= -80 @ 0.025175 0.07/0.18 c bounds -17 >= -79 @ 0.025175 0.07/0.18 c bounds -19 >= -79 @ 0.025175 0.07/0.18 c bounds -19 >= -78 @ 0.025175 0.07/0.18 c bounds -19 >= -77 @ 0.02535 0.07/0.18 c bounds -19 >= -76 @ 0.025559 0.07/0.18 c bounds -19 >= -75 @ 0.02577 0.07/0.18 c bounds -19 >= -74 @ 0.025982 0.07/0.18 c bounds -19 >= -73 @ 0.0262 0.07/0.18 c bounds -22 >= -73 @ 0.026582 0.07/0.18 c bounds -22 >= -72 @ 0.026841 0.07/0.18 c bounds -22 >= -71 @ 0.027212 0.07/0.18 c bounds -22 >= -70 @ 0.027558 0.07/0.18 c bounds -22 >= -69 @ 0.027888 0.07/0.18 c bounds -23 >= -69 @ 0.028446 0.07/0.18 c bounds -23 >= -68 @ 0.028785 0.07/0.18 c bounds -23 >= -67 @ 0.029124 0.07/0.18 c bounds -23 >= -66 @ 0.029157 0.07/0.18 c bounds -23 >= -65 @ 0.029157 0.07/0.18 c bounds -25 >= -65 @ 0.029352 0.07/0.18 c bounds -25 >= -64 @ 0.029794 0.07/0.18 c bounds -27 >= -64 @ 0.030223 0.07/0.18 c bounds -27 >= -63 @ 0.030759 0.07/0.18 c bounds -27 >= -62 @ 0.031068 0.07/0.18 c bounds -28 >= -62 @ 0.036716 0.07/0.18 c bounds -28 >= -61 @ 0.037127 0.07/0.18 c bounds -28 >= -60 @ 0.037136 0.07/0.18 c bounds -28 >= -59 @ 0.037136 0.07/0.18 c bounds -28 >= -58 @ 0.037138 0.07/0.18 c bounds -28 >= -57 @ 0.037138 0.07/0.18 c bounds -28 >= -56 @ 0.037138 0.07/0.18 c bounds -28 >= -55 @ 0.03714 0.07/0.18 c bounds -28 >= -54 @ 0.03714 0.07/0.18 c bounds -28 >= -53 @ 0.037142 0.07/0.18 c bounds -28 >= -52 @ 0.037144 0.07/0.18 c bounds -28 >= -51 @ 0.038142 0.07/0.18 c bounds -29 >= -51 @ 0.046749 0.07/0.18 c bounds -29 >= -50 @ 0.053753 0.07/0.18 c bounds -30 >= -50 @ 0.056563 0.07/0.18 c bounds -31 >= -50 @ 0.05859 0.07/0.18 c bounds -32 >= -50 @ 0.066166 0.07/0.18 c bounds -32 >= -49 @ 0.096616 0.07/0.18 c #Conflicts: 1000 | #Constraints: 2203 0.27/0.35 c bounds -33 >= -49 @ 0.126296 0.27/0.35 c bounds -34 >= -49 @ 0.175753 0.27/0.35 c bounds -34 >= -48 @ 0.211545 0.27/0.35 c bounds -35 >= -48 @ 0.211893 0.27/0.35 c #Conflicts: 2000 | #Constraints: 3233 0.27/0.35 c INPROCESSING 0.27/0.35 c GARBAGE COLLECT 0.27/0.35 c rational objective -54 0.65/0.76 c bounds -35 >= -47 @ 0.31791 0.65/0.76 c #Conflicts: 3000 | #Constraints: 3209 0.65/0.76 c #Conflicts: 4000 | #Constraints: 4222 0.65/0.76 c INPROCESSING 0.65/0.76 c GARBAGE COLLECT 0.65/0.76 c rational objective -54 1.15/1.26 c #Conflicts: 5000 | #Constraints: 3602 1.15/1.26 c bounds -35 >= -46 @ 0.867614 1.15/1.26 c bounds -35 >= -45 @ 0.99784 1.15/1.26 c #Conflicts: 6000 | #Constraints: 4650 1.15/1.26 c INPROCESSING 1.15/1.26 c GARBAGE COLLECT 1.15/1.26 c rational objective -54 1.66/1.78 c #Conflicts: 7000 | #Constraints: 3628 1.66/1.78 c #Conflicts: 8000 | #Constraints: 4651 1.66/1.78 c #Conflicts: 9000 | #Constraints: 5665 1.66/1.78 c INPROCESSING 1.66/1.78 c GARBAGE COLLECT 1.66/1.78 c rational objective -54 2.35/2.45 c #Conflicts: 10000 | #Constraints: 4357 2.35/2.45 c bounds -35 >= -44 @ 2.00003 2.35/2.45 c #Conflicts: 11000 | #Constraints: 5388 2.35/2.45 c #Conflicts: 12000 | #Constraints: 6397 2.35/2.45 c INPROCESSING 2.35/2.45 c GARBAGE COLLECT 2.35/2.45 c rational objective -54 3.25/3.32 c #Conflicts: 13000 | #Constraints: 4840 3.25/3.32 c #Conflicts: 14000 | #Constraints: 5840 3.25/3.32 c bounds -35 >= -43 @ 3.09538 3.25/3.32 c #Conflicts: 15000 | #Constraints: 6871 3.25/3.32 c INPROCESSING 3.25/3.32 c GARBAGE COLLECT 3.25/3.32 c rational objective -54 3.95/4.03 c #Conflicts: 16000 | #Constraints: 5093 3.95/4.03 c #Conflicts: 17000 | #Constraints: 6104 3.95/4.03 c #Conflicts: 18000 | #Constraints: 7117 3.95/4.03 c INPROCESSING 3.95/4.03 c GARBAGE COLLECT 3.95/4.03 c rational objective -54 4.75/4.82 c #Conflicts: 19000 | #Constraints: 5129 4.75/4.82 c #Conflicts: 20000 | #Constraints: 6138 4.75/4.82 c #Conflicts: 21000 | #Constraints: 7154 4.75/4.82 c INPROCESSING 4.75/4.82 c GARBAGE COLLECT 4.75/4.82 c rational objective -54 6.24/6.30 c #Conflicts: 22000 | #Constraints: 4925 6.24/6.30 c #Conflicts: 23000 | #Constraints: 5925 6.24/6.30 c #Conflicts: 24000 | #Constraints: 6925 6.24/6.30 c #Conflicts: 25000 | #Constraints: 7925 6.24/6.30 c INPROCESSING 6.24/6.30 c GARBAGE COLLECT 6.24/6.30 c rational objective -54 7.24/7.33 c #Conflicts: 26000 | #Constraints: 5539 7.24/7.33 c #Conflicts: 27000 | #Constraints: 6568 7.24/7.33 c #Conflicts: 28000 | #Constraints: 7578 7.24/7.33 c #Conflicts: 29000 | #Constraints: 8591 7.24/7.33 c INPROCESSING 7.24/7.33 c GARBAGE COLLECT 7.24/7.33 c rational objective -54 8.34/8.43 c #Conflicts: 30000 | #Constraints: 5959 8.34/8.43 c #Conflicts: 31000 | #Constraints: 6971 8.34/8.43 c #Conflicts: 32000 | #Constraints: 7984 8.34/8.43 c #Conflicts: 33000 | #Constraints: 8993 8.34/8.43 c INPROCESSING 8.34/8.43 c GARBAGE COLLECT 8.34/8.43 c rational objective -54 10.13/10.22 c #Conflicts: 34000 | #Constraints: 6161 10.13/10.22 c #Conflicts: 35000 | #Constraints: 7161 10.13/10.22 c #Conflicts: 36000 | #Constraints: 8161 10.13/10.22 c bounds -35 >= -42 @ 9.45771 10.13/10.22 c #Conflicts: 37000 | #Constraints: 9197 10.13/10.22 c INPROCESSING 10.13/10.22 c GARBAGE COLLECT 10.13/10.22 c rational objective -54 11.32/11.49 c #Conflicts: 38000 | #Constraints: 6188 11.32/11.49 c #Conflicts: 39000 | #Constraints: 7203 11.32/11.49 c #Conflicts: 40000 | #Constraints: 8209 11.32/11.49 c #Conflicts: 41000 | #Constraints: 9223 11.32/11.49 c INPROCESSING 11.32/11.49 c GARBAGE COLLECT 11.32/11.49 c rational objective -54 13.82/13.91 c #Conflicts: 42000 | #Constraints: 5986 13.82/13.91 c #Conflicts: 43000 | #Constraints: 6986 13.82/13.91 c #Conflicts: 44000 | #Constraints: 7986 13.82/13.91 c #Conflicts: 45000 | #Constraints: 8986 13.82/13.91 c #Conflicts: 46000 | #Constraints: 9986 13.82/13.91 c INPROCESSING 13.82/13.91 c GARBAGE COLLECT 13.82/13.91 c rational objective -54 25.99/26.15 c #Conflicts: 47000 | #Constraints: 6599 25.99/26.15 c #Conflicts: 48000 | #Constraints: 7620 25.99/26.15 c #Conflicts: 49000 | #Constraints: 8629 25.99/26.15 c #Conflicts: 50000 | #Constraints: 9643 25.99/26.15 c #Conflicts: 51000 | #Constraints: 10666 25.99/26.15 c #Conflicts: 52000 | #Constraints: 11694 25.99/26.15 c #Conflicts: 53000 | #Constraints: 12719 25.99/26.15 c #Conflicts: 54000 | #Constraints: 13728 25.99/26.15 c #Conflicts: 55000 | #Constraints: 14737 25.99/26.15 c #Conflicts: 56000 | #Constraints: 15752 25.99/26.15 c #Conflicts: 57000 | #Constraints: 16762 25.99/26.15 c #Conflicts: 58000 | #Constraints: 17773 25.99/26.15 c #Conflicts: 59000 | #Constraints: 18785 25.99/26.15 c #Conflicts: 60000 | #Constraints: 19800 25.99/26.15 c #Conflicts: 61000 | #Constraints: 20820 25.99/26.15 c #Conflicts: 62000 | #Constraints: 21827 25.99/26.15 c #Conflicts: 63000 | #Constraints: 22831 25.99/26.15 c #Conflicts: 64000 | #Constraints: 23837 25.99/26.15 c INPROCESSING 25.99/26.15 c GARBAGE COLLECT 25.99/26.15 c rational objective -54 37.55/37.74 c #Conflicts: 65000 | #Constraints: 13340 37.55/37.74 c #Conflicts: 66000 | #Constraints: 14340 37.55/37.74 c #Conflicts: 67000 | #Constraints: 15340 37.55/37.74 c #Conflicts: 68000 | #Constraints: 16340 37.55/37.74 c #Conflicts: 69000 | #Constraints: 17340 37.55/37.74 c #Conflicts: 70000 | #Constraints: 18340 37.55/37.74 c bounds -35 >= -41 @ 36.5654 37.55/37.74 c INPROCESSING 37.55/37.74 c GARBAGE COLLECT 37.55/37.74 c rational objective -54 39.85/40.05 c #Conflicts: 71000 | #Constraints: 10688 39.85/40.05 c #Conflicts: 72000 | #Constraints: 11710 39.85/40.05 c #Conflicts: 73000 | #Constraints: 12721 39.85/40.05 c #Conflicts: 74000 | #Constraints: 13729 39.85/40.05 c #Conflicts: 75000 | #Constraints: 14737 39.85/40.05 c #Conflicts: 76000 | #Constraints: 15748 39.85/40.05 c INPROCESSING 39.85/40.05 c GARBAGE COLLECT 39.85/40.05 c rational objective -54 45.03/45.27 c #Conflicts: 77000 | #Constraints: 9311 45.03/45.27 c #Conflicts: 78000 | #Constraints: 10311 45.03/45.27 c #Conflicts: 79000 | #Constraints: 11311 45.03/45.27 c #Conflicts: 80000 | #Constraints: 12311 45.03/45.27 c #Conflicts: 81000 | #Constraints: 13311 45.03/45.27 c #Conflicts: 82000 | #Constraints: 14311 45.03/45.27 c INPROCESSING 45.03/45.27 c GARBAGE COLLECT 45.03/45.27 c rational objective -54 48.02/48.23 c #Conflicts: 83000 | #Constraints: 8467 48.02/48.23 c #Conflicts: 84000 | #Constraints: 9490 48.02/48.23 c #Conflicts: 85000 | #Constraints: 10514 48.02/48.23 c #Conflicts: 86000 | #Constraints: 11541 48.02/48.23 c #Conflicts: 87000 | #Constraints: 12578 48.02/48.23 c #Conflicts: 88000 | #Constraints: 13601 48.02/48.23 c #Conflicts: 89000 | #Constraints: 14626 48.02/48.23 c INPROCESSING 48.02/48.23 c GARBAGE COLLECT 48.02/48.23 c rational objective -54 50.81/51.09 c #Conflicts: 90000 | #Constraints: 8874 50.81/51.09 c #Conflicts: 91000 | #Constraints: 9887 50.81/51.09 c #Conflicts: 92000 | #Constraints: 10895 50.81/51.09 c #Conflicts: 93000 | #Constraints: 11913 50.81/51.09 c #Conflicts: 94000 | #Constraints: 12932 50.81/51.09 c #Conflicts: 95000 | #Constraints: 13954 50.81/51.09 c #Conflicts: 96000 | #Constraints: 14977 50.81/51.09 c INPROCESSING 50.81/51.09 c GARBAGE COLLECT 50.81/51.09 c rational objective -54 56.80/57.01 c #Conflicts: 97000 | #Constraints: 9187 56.80/57.01 c #Conflicts: 98000 | #Constraints: 10187 56.80/57.01 c #Conflicts: 99000 | #Constraints: 11187 56.80/57.01 c #Conflicts: 100000 | #Constraints: 12187 56.80/57.01 c #Conflicts: 101000 | #Constraints: 13187 56.80/57.01 c #Conflicts: 102000 | #Constraints: 14187 56.80/57.01 c INPROCESSING 56.80/57.01 c GARBAGE COLLECT 56.80/57.01 c rational objective -54 83.02/83.32 c #Conflicts: 103000 | #Constraints: 8360 83.02/83.32 c #Conflicts: 104000 | #Constraints: 9368 83.02/83.32 c #Conflicts: 105000 | #Constraints: 10386 83.02/83.32 c #Conflicts: 106000 | #Constraints: 11399 83.02/83.32 c #Conflicts: 107000 | #Constraints: 12408 83.02/83.32 c #Conflicts: 108000 | #Constraints: 13423 83.02/83.32 c #Conflicts: 109000 | #Constraints: 14447 83.02/83.32 c #Conflicts: 110000 | #Constraints: 15460 83.02/83.32 c #Conflicts: 111000 | #Constraints: 16467 83.02/83.32 c #Conflicts: 112000 | #Constraints: 17478 83.02/83.32 c #Conflicts: 113000 | #Constraints: 18493 83.02/83.32 c #Conflicts: 114000 | #Constraints: 19505 83.02/83.32 c #Conflicts: 115000 | #Constraints: 20519 83.02/83.32 c #Conflicts: 116000 | #Constraints: 21532 83.02/83.32 c #Conflicts: 117000 | #Constraints: 22543 83.02/83.32 c #Conflicts: 118000 | #Constraints: 23556 83.02/83.32 c #Conflicts: 119000 | #Constraints: 24580 83.02/83.32 c #Conflicts: 120000 | #Constraints: 25617 83.02/83.32 c #Conflicts: 121000 | #Constraints: 26652 83.02/83.32 c #Conflicts: 122000 | #Constraints: 27679 83.02/83.32 c #Conflicts: 123000 | #Constraints: 28691 83.02/83.32 c #Conflicts: 124000 | #Constraints: 29706 83.02/83.32 c #Conflicts: 125000 | #Constraints: 30729 83.02/83.32 c #Conflicts: 126000 | #Constraints: 31736 83.02/83.32 c #Conflicts: 127000 | #Constraints: 32748 83.02/83.32 c #Conflicts: 128000 | #Constraints: 33762 83.02/83.32 c #Conflicts: 129000 | #Constraints: 34790 83.02/83.32 c INPROCESSING 83.02/83.32 c GARBAGE COLLECT 83.02/83.32 c rational objective -54 110.84/111.29 c #Conflicts: 130000 | #Constraints: 18690 110.84/111.29 c #Conflicts: 131000 | #Constraints: 19690 110.84/111.29 c #Conflicts: 132000 | #Constraints: 20690 110.84/111.29 c #Conflicts: 133000 | #Constraints: 21690 110.84/111.29 c #Conflicts: 134000 | #Constraints: 22690 110.84/111.29 c #Conflicts: 135000 | #Constraints: 23690 110.84/111.29 c #Conflicts: 136000 | #Constraints: 24690 110.84/111.29 c #Conflicts: 137000 | #Constraints: 25690 110.84/111.29 c #Conflicts: 138000 | #Constraints: 26690 110.84/111.29 c INPROCESSING 110.84/111.29 c GARBAGE COLLECT 110.84/111.29 c rational objective -54 119.11/119.51 c #Conflicts: 139000 | #Constraints: 15069 119.11/119.51 c #Conflicts: 140000 | #Constraints: 16071 119.11/119.51 c #Conflicts: 141000 | #Constraints: 17084 119.11/119.51 c #Conflicts: 142000 | #Constraints: 18104 119.11/119.51 c #Conflicts: 143000 | #Constraints: 19121 119.11/119.51 c #Conflicts: 144000 | #Constraints: 20131 119.11/119.51 c #Conflicts: 145000 | #Constraints: 21146 119.11/119.51 c #Conflicts: 146000 | #Constraints: 22160 119.11/119.51 c INPROCESSING 119.11/119.51 c GARBAGE COLLECT 119.11/119.51 c rational objective -54 130.59/131.07 c #Conflicts: 147000 | #Constraints: 12581 130.59/131.07 c #Conflicts: 148000 | #Constraints: 13581 130.59/131.07 c #Conflicts: 149000 | #Constraints: 14581 130.59/131.07 c #Conflicts: 150000 | #Constraints: 15581 130.59/131.07 c #Conflicts: 151000 | #Constraints: 16581 130.59/131.07 c #Conflicts: 152000 | #Constraints: 17581 130.59/131.07 c #Conflicts: 153000 | #Constraints: 18581 130.59/131.07 c #Conflicts: 154000 | #Constraints: 19581 130.59/131.07 c #Conflicts: 155000 | #Constraints: 20581 130.59/131.07 c INPROCESSING 130.59/131.07 c GARBAGE COLLECT 130.59/131.07 c rational objective -54 135.47/135.90 c #Conflicts: 156000 | #Constraints: 11971 135.47/135.90 c #Conflicts: 157000 | #Constraints: 12985 135.47/135.90 c #Conflicts: 158000 | #Constraints: 13991 135.47/135.90 c #Conflicts: 159000 | #Constraints: 15009 135.47/135.90 c #Conflicts: 160000 | #Constraints: 16017 135.47/135.90 c #Conflicts: 161000 | #Constraints: 17025 135.47/135.90 c #Conflicts: 162000 | #Constraints: 18037 135.47/135.90 c #Conflicts: 163000 | #Constraints: 19057 135.47/135.90 c INPROCESSING 135.47/135.90 c GARBAGE COLLECT 135.47/135.90 c rational objective -54 140.26/140.72 c #Conflicts: 164000 | #Constraints: 10840 140.26/140.72 c #Conflicts: 165000 | #Constraints: 11851 140.26/140.72 c #Conflicts: 166000 | #Constraints: 12862 140.26/140.72 c #Conflicts: 167000 | #Constraints: 13884 140.26/140.72 c #Conflicts: 168000 | #Constraints: 14893 140.26/140.72 c #Conflicts: 169000 | #Constraints: 15910 140.26/140.72 c #Conflicts: 170000 | #Constraints: 16925 140.26/140.72 c #Conflicts: 171000 | #Constraints: 17940 140.26/140.72 c #Conflicts: 172000 | #Constraints: 18948 140.26/140.72 c INPROCESSING 140.26/140.72 c GARBAGE COLLECT 140.26/140.72 c rational objective -54 152.12/152.69 c #Conflicts: 173000 | #Constraints: 10783 152.12/152.69 c #Conflicts: 174000 | #Constraints: 11783 152.12/152.69 c #Conflicts: 175000 | #Constraints: 12783 152.12/152.69 c #Conflicts: 176000 | #Constraints: 13783 152.12/152.69 c #Conflicts: 177000 | #Constraints: 14783 152.12/152.69 c #Conflicts: 178000 | #Constraints: 15783 152.12/152.69 c #Conflicts: 179000 | #Constraints: 16783 152.12/152.69 c #Conflicts: 180000 | #Constraints: 17783 152.12/152.69 c #Conflicts: 181000 | #Constraints: 18783 152.12/152.69 c #Conflicts: 182000 | #Constraints: 19783 152.12/152.69 c INPROCESSING 152.12/152.69 c GARBAGE COLLECT 152.12/152.69 c rational objective -54 197.89/198.52 c #Conflicts: 183000 | #Constraints: 11641 197.89/198.52 c #Conflicts: 184000 | #Constraints: 12675 197.89/198.52 c #Conflicts: 185000 | #Constraints: 13704 197.89/198.52 c #Conflicts: 186000 | #Constraints: 14736 197.89/198.52 c #Conflicts: 187000 | #Constraints: 15755 197.89/198.52 c #Conflicts: 188000 | #Constraints: 16780 197.89/198.52 c #Conflicts: 189000 | #Constraints: 17799 197.89/198.52 c #Conflicts: 190000 | #Constraints: 18805 197.89/198.52 c #Conflicts: 191000 | #Constraints: 19824 197.89/198.52 c #Conflicts: 192000 | #Constraints: 20839 197.89/198.52 c #Conflicts: 193000 | #Constraints: 21853 197.89/198.52 c #Conflicts: 194000 | #Constraints: 22872 197.89/198.52 c #Conflicts: 195000 | #Constraints: 23884 197.89/198.52 c #Conflicts: 196000 | #Constraints: 24900 197.89/198.52 c #Conflicts: 197000 | #Constraints: 25932 197.89/198.52 c #Conflicts: 198000 | #Constraints: 26953 197.89/198.52 c #Conflicts: 199000 | #Constraints: 27979 197.89/198.52 c #Conflicts: 200000 | #Constraints: 29012 197.89/198.52 c #Conflicts: 201000 | #Constraints: 30038 197.89/198.52 c #Conflicts: 202000 | #Constraints: 31065 197.89/198.52 c #Conflicts: 203000 | #Constraints: 32091 197.89/198.52 c #Conflicts: 204000 | #Constraints: 33114 197.89/198.52 c #Conflicts: 205000 | #Constraints: 34146 197.89/198.52 c #Conflicts: 206000 | #Constraints: 35169 197.89/198.52 c #Conflicts: 207000 | #Constraints: 36189 197.89/198.52 c #Conflicts: 208000 | #Constraints: 37217 197.89/198.52 c #Conflicts: 209000 | #Constraints: 38237 197.89/198.52 c #Conflicts: 210000 | #Constraints: 39248 197.89/198.52 c #Conflicts: 211000 | #Constraints: 40258 197.89/198.52 c #Conflicts: 212000 | #Constraints: 41268 197.89/198.52 c #Conflicts: 213000 | #Constraints: 42280 197.89/198.52 c #Conflicts: 214000 | #Constraints: 43300 197.89/198.52 c #Conflicts: 215000 | #Constraints: 44321 197.89/198.52 c #Conflicts: 216000 | #Constraints: 45340 197.89/198.52 c #Conflicts: 217000 | #Constraints: 46352 197.89/198.52 c INPROCESSING 197.89/198.52 c GARBAGE COLLECT 197.89/198.52 c rational objective -54 244.04/244.80 c #Conflicts: 218000 | #Constraints: 24630 244.04/244.80 c #Conflicts: 219000 | #Constraints: 25630 244.04/244.80 c #Conflicts: 220000 | #Constraints: 26630 244.04/244.80 c #Conflicts: 221000 | #Constraints: 27630 244.04/244.80 c #Conflicts: 222000 | #Constraints: 28630 244.04/244.80 c #Conflicts: 223000 | #Constraints: 29630 244.04/244.80 c #Conflicts: 224000 | #Constraints: 30630 244.04/244.80 c #Conflicts: 225000 | #Constraints: 31630 244.04/244.80 c #Conflicts: 226000 | #Constraints: 32630 244.04/244.80 c #Conflicts: 227000 | #Constraints: 33630 244.04/244.80 c #Conflicts: 228000 | #Constraints: 34630 244.04/244.80 c INPROCESSING 244.04/244.80 c GARBAGE COLLECT 244.04/244.80 c rational objective -54 252.32/253.14 c #Conflicts: 229000 | #Constraints: 19046 252.32/253.14 c #Conflicts: 230000 | #Constraints: 20052 252.32/253.14 c #Conflicts: 231000 | #Constraints: 21060 252.32/253.14 c #Conflicts: 232000 | #Constraints: 22072 252.32/253.14 c #Conflicts: 233000 | #Constraints: 23093 252.32/253.14 c #Conflicts: 234000 | #Constraints: 24109 252.32/253.14 c #Conflicts: 235000 | #Constraints: 25117 252.32/253.14 c #Conflicts: 236000 | #Constraints: 26130 252.32/253.14 c #Conflicts: 237000 | #Constraints: 27152 252.32/253.14 c #Conflicts: 238000 | #Constraints: 28167 252.32/253.14 c INPROCESSING 252.32/253.14 c GARBAGE COLLECT 252.32/253.14 c rational objective -54 273.66/274.50 c #Conflicts: 239000 | #Constraints: 15445 273.66/274.50 c #Conflicts: 240000 | #Constraints: 16445 273.66/274.50 c #Conflicts: 241000 | #Constraints: 17445 273.66/274.50 c #Conflicts: 242000 | #Constraints: 18445 273.66/274.50 c #Conflicts: 243000 | #Constraints: 19445 273.66/274.50 c #Conflicts: 244000 | #Constraints: 20445 273.66/274.50 c #Conflicts: 245000 | #Constraints: 21445 273.66/274.50 c #Conflicts: 246000 | #Constraints: 22445 273.66/274.50 c #Conflicts: 247000 | #Constraints: 23445 273.66/274.50 c #Conflicts: 248000 | #Constraints: 24445 273.66/274.50 c #Conflicts: 249000 | #Constraints: 25445 273.66/274.50 c INPROCESSING 273.66/274.50 c GARBAGE COLLECT 273.66/274.50 c rational objective -54 280.94/281.89 c #Conflicts: 250000 | #Constraints: 14154 280.94/281.89 c #Conflicts: 251000 | #Constraints: 15171 280.94/281.89 c #Conflicts: 252000 | #Constraints: 16183 280.94/281.89 c #Conflicts: 253000 | #Constraints: 17210 280.94/281.89 c #Conflicts: 254000 | #Constraints: 18225 280.94/281.89 c #Conflicts: 255000 | #Constraints: 19234 280.94/281.89 c #Conflicts: 256000 | #Constraints: 20249 280.94/281.89 c #Conflicts: 257000 | #Constraints: 21263 280.94/281.89 c #Conflicts: 258000 | #Constraints: 22277 280.94/281.89 c #Conflicts: 259000 | #Constraints: 23285 280.94/281.89 c #Conflicts: 260000 | #Constraints: 24293 280.94/281.89 c INPROCESSING 280.94/281.89 c GARBAGE COLLECT 280.94/281.89 c rational objective -54 288.62/289.53 c #Conflicts: 261000 | #Constraints: 13499 288.62/289.53 c #Conflicts: 262000 | #Constraints: 14511 288.62/289.53 c #Conflicts: 263000 | #Constraints: 15521 288.62/289.53 c #Conflicts: 264000 | #Constraints: 16536 288.62/289.53 c #Conflicts: 265000 | #Constraints: 17546 288.62/289.53 c #Conflicts: 266000 | #Constraints: 18552 288.62/289.53 c #Conflicts: 267000 | #Constraints: 19567 288.62/289.53 c #Conflicts: 268000 | #Constraints: 20579 288.62/289.53 c #Conflicts: 269000 | #Constraints: 21600 288.62/289.53 c #Conflicts: 270000 | #Constraints: 22623 288.62/289.53 c #Conflicts: 271000 | #Constraints: 23651 288.62/289.53 c #Conflicts: 272000 | #Constraints: 24666 288.62/289.53 c INPROCESSING 288.62/289.53 c GARBAGE COLLECT 288.62/289.53 c rational objective -54 306.96/307.95 c #Conflicts: 273000 | #Constraints: 14035 306.96/307.95 c #Conflicts: 274000 | #Constraints: 15035 306.96/307.95 c #Conflicts: 275000 | #Constraints: 16035 306.96/307.95 c #Conflicts: 276000 | #Constraints: 17035 306.96/307.95 c #Conflicts: 277000 | #Constraints: 18035 306.96/307.95 c #Conflicts: 278000 | #Constraints: 19035 306.96/307.95 c #Conflicts: 279000 | #Constraints: 20035 306.96/307.95 c #Conflicts: 280000 | #Constraints: 21035 306.96/307.95 c #Conflicts: 281000 | #Constraints: 22035 306.96/307.95 c #Conflicts: 282000 | #Constraints: 23035 306.96/307.95 c #Conflicts: 283000 | #Constraints: 24035 306.96/307.95 c INPROCESSING 306.96/307.95 c GARBAGE COLLECT 306.96/307.95 c rational objective -54 378.04/379.21 c #Conflicts: 284000 | #Constraints: 13502 378.04/379.21 c #Conflicts: 285000 | #Constraints: 14521 378.04/379.21 c #Conflicts: 286000 | #Constraints: 15540 378.04/379.21 c #Conflicts: 287000 | #Constraints: 16562 378.04/379.21 c #Conflicts: 288000 | #Constraints: 17576 378.04/379.21 c #Conflicts: 289000 | #Constraints: 18590 378.04/379.21 c #Conflicts: 290000 | #Constraints: 19612 378.04/379.21 c #Conflicts: 291000 | #Constraints: 20625 378.04/379.21 c #Conflicts: 292000 | #Constraints: 21640 378.04/379.21 c #Conflicts: 293000 | #Constraints: 22663 378.04/379.21 c #Conflicts: 294000 | #Constraints: 23683 378.04/379.21 c #Conflicts: 295000 | #Constraints: 24695 378.04/379.21 c #Conflicts: 296000 | #Constraints: 25712 378.04/379.21 c #Conflicts: 297000 | #Constraints: 26721 378.04/379.21 c #Conflicts: 298000 | #Constraints: 27734 378.04/379.21 c #Conflicts: 299000 | #Constraints: 28749 378.04/379.21 c #Conflicts: 300000 | #Constraints: 29764 378.04/379.21 c #Conflicts: 301000 | #Constraints: 30786 378.04/379.21 c #Conflicts: 302000 | #Constraints: 31803 378.04/379.21 c #Conflicts: 303000 | #Constraints: 32825 378.04/379.21 c #Conflicts: 304000 | #Constraints: 33838 378.04/379.21 c #Conflicts: 305000 | #Constraints: 34850 378.04/379.21 c #Conflicts: 306000 | #Constraints: 35877 378.04/379.21 c #Conflicts: 307000 | #Constraints: 36892 378.04/379.21 c #Conflicts: 308000 | #Constraints: 37902 378.04/379.21 c #Conflicts: 309000 | #Constraints: 38924 378.04/379.21 c #Conflicts: 310000 | #Constraints: 39942 378.04/379.21 c #Conflicts: 311000 | #Constraints: 40960 378.04/379.21 c #Conflicts: 312000 | #Constraints: 41982 378.04/379.21 c #Conflicts: 313000 | #Constraints: 42999 378.04/379.21 c #Conflicts: 314000 | #Constraints: 44020 378.04/379.21 c #Conflicts: 315000 | #Constraints: 45038 378.04/379.21 c #Conflicts: 316000 | #Constraints: 46060 378.04/379.21 c #Conflicts: 317000 | #Constraints: 47082 378.04/379.21 c #Conflicts: 318000 | #Constraints: 48096 378.04/379.21 c #Conflicts: 319000 | #Constraints: 49107 378.04/379.21 c #Conflicts: 320000 | #Constraints: 50116 378.04/379.21 c #Conflicts: 321000 | #Constraints: 51133 378.04/379.21 c #Conflicts: 322000 | #Constraints: 52159 378.04/379.21 c #Conflicts: 323000 | #Constraints: 53184 378.04/379.21 c #Conflicts: 324000 | #Constraints: 54210 378.04/379.21 c #Conflicts: 325000 | #Constraints: 55242 378.04/379.21 c #Conflicts: 326000 | #Constraints: 56282 378.04/379.21 c #Conflicts: 327000 | #Constraints: 57315 378.04/379.21 c INPROCESSING 378.04/379.21 c GARBAGE COLLECT 378.04/379.21 c rational objective -54 440.91/442.33 c #Conflicts: 328000 | #Constraints: 30061 440.91/442.33 c #Conflicts: 329000 | #Constraints: 31061 440.91/442.33 c #Conflicts: 330000 | #Constraints: 32061 440.91/442.33 c #Conflicts: 331000 | #Constraints: 33061 440.91/442.33 c #Conflicts: 332000 | #Constraints: 34061 440.91/442.33 c #Conflicts: 333000 | #Constraints: 35061 440.91/442.33 c #Conflicts: 334000 | #Constraints: 36061 440.91/442.33 c #Conflicts: 335000 | #Constraints: 37061 440.91/442.33 c #Conflicts: 336000 | #Constraints: 38061 440.91/442.33 c #Conflicts: 337000 | #Constraints: 39061 440.91/442.33 c #Conflicts: 338000 | #Constraints: 40061 440.91/442.33 c #Conflicts: 339000 | #Constraints: 41061 440.91/442.33 c #Conflicts: 340000 | #Constraints: 42061 440.91/442.33 c INPROCESSING 440.91/442.33 c GARBAGE COLLECT 440.91/442.33 c rational objective -54 455.87/457.33 c #Conflicts: 341000 | #Constraints: 22565 455.87/457.33 c #Conflicts: 342000 | #Constraints: 23565 455.87/457.33 c #Conflicts: 343000 | #Constraints: 24565 455.87/457.33 c bounds -35 >= -40 @ 443.037 455.87/457.33 c #Conflicts: 344000 | #Constraints: 25602 455.87/457.33 c #Conflicts: 345000 | #Constraints: 26608 455.87/457.33 c #Conflicts: 346000 | #Constraints: 27622 455.87/457.33 c #Conflicts: 347000 | #Constraints: 28634 455.87/457.33 c #Conflicts: 348000 | #Constraints: 29650 455.87/457.33 c #Conflicts: 349000 | #Constraints: 30667 455.87/457.33 c #Conflicts: 350000 | #Constraints: 31679 455.87/457.33 c #Conflicts: 351000 | #Constraints: 32699 455.87/457.33 c #Conflicts: 352000 | #Constraints: 33714 455.87/457.33 c #Conflicts: 353000 | #Constraints: 34731 455.87/457.33 c INPROCESSING 455.87/457.33 c GARBAGE COLLECT 455.87/457.33 c rational objective -54 483.49/485.10 c #Conflicts: 354000 | #Constraints: 18879 483.49/485.10 c #Conflicts: 355000 | #Constraints: 19879 483.49/485.10 c #Conflicts: 356000 | #Constraints: 20879 483.49/485.10 c #Conflicts: 357000 | #Constraints: 21879 483.49/485.10 c #Conflicts: 358000 | #Constraints: 22879 483.49/485.10 c #Conflicts: 359000 | #Constraints: 23879 483.49/485.10 c #Conflicts: 360000 | #Constraints: 24879 483.49/485.10 c #Conflicts: 361000 | #Constraints: 25879 483.49/485.10 c #Conflicts: 362000 | #Constraints: 26879 483.49/485.10 c #Conflicts: 363000 | #Constraints: 27879 483.49/485.10 c #Conflicts: 364000 | #Constraints: 28879 483.49/485.10 c #Conflicts: 365000 | #Constraints: 29879 483.49/485.10 c #Conflicts: 366000 | #Constraints: 30879 483.49/485.10 c INPROCESSING 483.49/485.10 c GARBAGE COLLECT 483.49/485.10 c rational objective -54 495.05/496.65 c #Conflicts: 367000 | #Constraints: 16880 495.05/496.65 c #Conflicts: 368000 | #Constraints: 17909 495.05/496.65 c #Conflicts: 369000 | #Constraints: 18934 495.05/496.65 c #Conflicts: 370000 | #Constraints: 19957 495.05/496.65 c #Conflicts: 371000 | #Constraints: 20987 495.05/496.65 c #Conflicts: 372000 | #Constraints: 22009 495.05/496.65 c #Conflicts: 373000 | #Constraints: 23021 495.05/496.65 c #Conflicts: 374000 | #Constraints: 24039 495.05/496.65 c #Conflicts: 375000 | #Constraints: 25059 495.05/496.65 c #Conflicts: 376000 | #Constraints: 26078 495.05/496.65 c #Conflicts: 377000 | #Constraints: 27099 495.05/496.65 c #Conflicts: 378000 | #Constraints: 28121 495.05/496.65 c #Conflicts: 379000 | #Constraints: 29133 495.05/496.65 c #Conflicts: 380000 | #Constraints: 30142 495.05/496.65 c INPROCESSING 495.05/496.65 c GARBAGE COLLECT 495.05/496.65 c rational objective -54 599.54/601.46 c #Conflicts: 381000 | #Constraints: 16805 599.54/601.46 c #Conflicts: 382000 | #Constraints: 17816 599.54/601.46 c #Conflicts: 383000 | #Constraints: 18839 599.54/601.46 c #Conflicts: 384000 | #Constraints: 19847 599.54/601.46 c #Conflicts: 385000 | #Constraints: 20868 599.54/601.46 c #Conflicts: 386000 | #Constraints: 21887 599.54/601.46 c #Conflicts: 387000 | #Constraints: 22902 599.54/601.46 c #Conflicts: 388000 | #Constraints: 23910 599.54/601.46 c #Conflicts: 389000 | #Constraints: 24925 599.54/601.46 c #Conflicts: 390000 | #Constraints: 25930 599.54/601.46 c #Conflicts: 391000 | #Constraints: 26941 599.54/601.46 c #Conflicts: 392000 | #Constraints: 27956 599.54/601.46 c #Conflicts: 393000 | #Constraints: 28977 599.54/601.46 c #Conflicts: 394000 | #Constraints: 30002 599.54/601.46 c #Conflicts: 395000 | #Constraints: 31022 599.54/601.46 c #Conflicts: 396000 | #Constraints: 32045 599.54/601.46 c #Conflicts: 397000 | #Constraints: 33063 599.54/601.46 c #Conflicts: 398000 | #Constraints: 34074 599.54/601.46 c #Conflicts: 399000 | #Constraints: 35086 599.54/601.46 c #Conflicts: 400000 | #Constraints: 36097 599.54/601.46 c #Conflicts: 401000 | #Constraints: 37118 599.54/601.46 c #Conflicts: 402000 | #Constraints: 38126 599.54/601.46 c #Conflicts: 403000 | #Constraints: 39137 599.54/601.46 c #Conflicts: 404000 | #Constraints: 40148 599.54/601.46 c #Conflicts: 405000 | #Constraints: 41159 599.54/601.46 c #Conflicts: 406000 | #Constraints: 42168 599.54/601.46 c #Conflicts: 407000 | #Constraints: 43175 599.54/601.46 c #Conflicts: 408000 | #Constraints: 44184 599.54/601.46 c #Conflicts: 409000 | #Constraints: 45190 599.54/601.46 c #Conflicts: 410000 | #Constraints: 46201 599.54/601.46 c #Conflicts: 411000 | #Constraints: 47213 599.54/601.46 c #Conflicts: 412000 | #Constraints: 48232 599.54/601.46 c #Conflicts: 413000 | #Constraints: 49243 599.54/601.46 c #Conflicts: 414000 | #Constraints: 50265 599.54/601.46 c #Conflicts: 415000 | #Constraints: 51278 599.54/601.46 c #Conflicts: 416000 | #Constraints: 52299 599.54/601.46 c #Conflicts: 417000 | #Constraints: 53315 599.54/601.46 c #Conflicts: 418000 | #Constraints: 54327 599.54/601.46 c #Conflicts: 419000 | #Constraints: 55354 599.54/601.46 c #Conflicts: 420000 | #Constraints: 56378 599.54/601.46 c #Conflicts: 421000 | #Constraints: 57404 599.54/601.46 c #Conflicts: 422000 | #Constraints: 58428 599.54/601.46 c #Conflicts: 423000 | #Constraints: 59454 599.54/601.46 c #Conflicts: 424000 | #Constraints: 60467 599.54/601.46 c #Conflicts: 425000 | #Constraints: 61478 599.54/601.46 c #Conflicts: 426000 | #Constraints: 62493 599.54/601.46 c #Conflicts: 427000 | #Constraints: 63508 599.54/601.46 c #Conflicts: 428000 | #Constraints: 64515 599.54/601.46 c #Conflicts: 429000 | #Constraints: 65525 599.54/601.46 c #Conflicts: 430000 | #Constraints: 66541 599.54/601.46 c INPROCESSING 599.54/601.46 c GARBAGE COLLECT 599.54/601.46 c rational objective -54 717.77/720.05 c #Conflicts: 431000 | #Constraints: 34755 717.77/720.05 c #Conflicts: 432000 | #Constraints: 35755 717.77/720.05 c #Conflicts: 433000 | #Constraints: 36755 717.77/720.05 c #Conflicts: 434000 | #Constraints: 37755 717.77/720.05 c #Conflicts: 435000 | #Constraints: 38755 717.77/720.05 c #Conflicts: 436000 | #Constraints: 39755 717.77/720.05 c #Conflicts: 437000 | #Constraints: 40755 717.77/720.05 c #Conflicts: 438000 | #Constraints: 41755 717.77/720.05 c #Conflicts: 439000 | #Constraints: 42755 717.77/720.05 c #Conflicts: 440000 | #Constraints: 43755 717.77/720.05 c #Conflicts: 441000 | #Constraints: 44755 717.77/720.05 c #Conflicts: 442000 | #Constraints: 45755 717.77/720.05 c #Conflicts: 443000 | #Constraints: 46755 717.77/720.05 c #Conflicts: 444000 | #Constraints: 47755 717.77/720.05 c #Conflicts: 445000 | #Constraints: 48755 717.77/720.05 c INPROCESSING 717.77/720.05 c GARBAGE COLLECT 717.77/720.05 c rational objective -54 770.49/772.97 c #Conflicts: 446000 | #Constraints: 26021 770.49/772.97 c #Conflicts: 447000 | #Constraints: 27021 770.49/772.97 c #Conflicts: 448000 | #Constraints: 28021 770.49/772.97 c #Conflicts: 449000 | #Constraints: 29021 770.49/772.97 c #Conflicts: 450000 | #Constraints: 30021 770.49/772.97 c #Conflicts: 451000 | #Constraints: 31021 770.49/772.97 c #Conflicts: 452000 | #Constraints: 32021 770.49/772.97 c #Conflicts: 453000 | #Constraints: 33021 770.49/772.97 c #Conflicts: 454000 | #Constraints: 34021 770.49/772.97 c #Conflicts: 455000 | #Constraints: 35021 770.49/772.97 c #Conflicts: 456000 | #Constraints: 36021 770.49/772.97 c #Conflicts: 457000 | #Constraints: 37021 770.49/772.97 c #Conflicts: 458000 | #Constraints: 38021 770.49/772.97 c #Conflicts: 459000 | #Constraints: 39021 770.49/772.97 c #Conflicts: 460000 | #Constraints: 40021 770.49/772.97 c INPROCESSING 770.49/772.97 c GARBAGE COLLECT 770.49/772.97 c rational objective -54 785.85/788.32 c #Conflicts: 461000 | #Constraints: 21707 785.85/788.32 c #Conflicts: 462000 | #Constraints: 22723 785.85/788.32 c #Conflicts: 463000 | #Constraints: 23749 785.85/788.32 c #Conflicts: 464000 | #Constraints: 24777 785.85/788.32 c #Conflicts: 465000 | #Constraints: 25803 785.85/788.32 c #Conflicts: 466000 | #Constraints: 26823 785.85/788.32 c #Conflicts: 467000 | #Constraints: 27845 785.85/788.32 c #Conflicts: 468000 | #Constraints: 28868 785.85/788.32 c #Conflicts: 469000 | #Constraints: 29891 785.85/788.32 c #Conflicts: 470000 | #Constraints: 30916 785.85/788.32 c #Conflicts: 471000 | #Constraints: 31944 785.85/788.32 c #Conflicts: 472000 | #Constraints: 32968 785.85/788.32 c #Conflicts: 473000 | #Constraints: 33996 785.85/788.32 c #Conflicts: 474000 | #Constraints: 35025 785.85/788.32 c #Conflicts: 475000 | #Constraints: 36038 785.85/788.32 c INPROCESSING 785.85/788.32 c GARBAGE COLLECT 785.85/788.32 c rational objective -54 803.10/805.62 c #Conflicts: 476000 | #Constraints: 19663 803.10/805.62 c #Conflicts: 477000 | #Constraints: 20673 803.10/805.62 c #Conflicts: 478000 | #Constraints: 21678 803.10/805.62 c #Conflicts: 479000 | #Constraints: 22683 803.10/805.62 c #Conflicts: 480000 | #Constraints: 23689 803.10/805.62 c #Conflicts: 481000 | #Constraints: 24700 803.10/805.62 c #Conflicts: 482000 | #Constraints: 25713 803.10/805.62 c #Conflicts: 483000 | #Constraints: 26718 803.10/805.62 c #Conflicts: 484000 | #Constraints: 27725 803.10/805.62 c #Conflicts: 485000 | #Constraints: 28728 803.10/805.62 c #Conflicts: 486000 | #Constraints: 29732 803.10/805.62 c #Conflicts: 487000 | #Constraints: 30737 803.10/805.62 c #Conflicts: 488000 | #Constraints: 31748 803.10/805.62 c #Conflicts: 489000 | #Constraints: 32760 803.10/805.62 c #Conflicts: 490000 | #Constraints: 33770 803.10/805.62 c INPROCESSING 803.10/805.62 c GARBAGE COLLECT 803.10/805.62 c rational objective -54 934.39/937.36 c #Conflicts: 491000 | #Constraints: 18386 934.39/937.36 c #Conflicts: 492000 | #Constraints: 19404 934.39/937.36 c #Conflicts: 493000 | #Constraints: 20417 934.39/937.36 c #Conflicts: 494000 | #Constraints: 21426 934.39/937.36 c #Conflicts: 495000 | #Constraints: 22437 934.39/937.36 c #Conflicts: 496000 | #Constraints: 23453 934.39/937.36 c #Conflicts: 497000 | #Constraints: 24470 934.39/937.36 c #Conflicts: 498000 | #Constraints: 25490 934.39/937.36 c #Conflicts: 499000 | #Constraints: 26507 934.39/937.36 c #Conflicts: 500000 | #Constraints: 27527 934.39/937.36 c #Conflicts: 501000 | #Constraints: 28549 934.39/937.36 c #Conflicts: 502000 | #Constraints: 29572 934.39/937.36 c #Conflicts: 503000 | #Constraints: 30585 934.39/937.36 c #Conflicts: 504000 | #Constraints: 31602 934.39/937.36 c #Conflicts: 505000 | #Constraints: 32623 934.39/937.36 c #Conflicts: 506000 | #Constraints: 33641 934.39/937.36 c #Conflicts: 507000 | #Constraints: 34663 934.39/937.36 c #Conflicts: 508000 | #Constraints: 35685 934.39/937.36 c #Conflicts: 509000 | #Constraints: 36703 934.39/937.36 c #Conflicts: 510000 | #Constraints: 37724 934.39/937.36 c #Conflicts: 511000 | #Constraints: 38746 934.39/937.36 c #Conflicts: 512000 | #Constraints: 39770 934.39/937.36 c #Conflicts: 513000 | #Constraints: 40782 934.39/937.36 c #Conflicts: 514000 | #Constraints: 41798 934.39/937.36 c #Conflicts: 515000 | #Constraints: 42810 934.39/937.36 c #Conflicts: 516000 | #Constraints: 43827 934.39/937.36 c #Conflicts: 517000 | #Constraints: 44840 934.39/937.36 c #Conflicts: 518000 | #Constraints: 45851 934.39/937.36 c #Conflicts: 519000 | #Constraints: 46863 934.39/937.36 c #Conflicts: 520000 | #Constraints: 47882 934.39/937.36 c #Conflicts: 521000 | #Constraints: 48908 934.39/937.36 c #Conflicts: 522000 | #Constraints: 49913 934.39/937.36 c #Conflicts: 523000 | #Constraints: 50918 934.39/937.36 c #Conflicts: 524000 | #Constraints: 51943 934.39/937.36 c #Conflicts: 525000 | #Constraints: 52950 934.39/937.36 c #Conflicts: 526000 | #Constraints: 53957 934.39/937.36 c #Conflicts: 527000 | #Constraints: 54977 934.39/937.36 c #Conflicts: 528000 | #Constraints: 55988 934.39/937.36 c #Conflicts: 529000 | #Constraints: 57005 934.39/937.36 c #Conflicts: 530000 | #Constraints: 58023 934.39/937.36 c #Conflicts: 531000 | #Constraints: 59040 934.39/937.36 c #Conflicts: 532000 | #Constraints: 60064 934.39/937.36 c #Conflicts: 533000 | #Constraints: 61073 934.39/937.36 c #Conflicts: 534000 | #Constraints: 62080 934.39/937.36 c #Conflicts: 535000 | #Constraints: 63089 934.39/937.36 c #Conflicts: 536000 | #Constraints: 64097 934.39/937.36 c #Conflicts: 537000 | #Constraints: 65106 934.39/937.36 c #Conflicts: 538000 | #Constraints: 66120 934.39/937.36 c #Conflicts: 539000 | #Constraints: 67142 934.39/937.36 c #Conflicts: 540000 | #Constraints: 68161 934.39/937.36 c #Conflicts: 541000 | #Constraints: 69167 934.39/937.36 c #Conflicts: 542000 | #Constraints: 70178 934.39/937.36 c #Conflicts: 543000 | #Constraints: 71189 934.39/937.36 c #Conflicts: 544000 | #Constraints: 72195 934.39/937.36 c #Conflicts: 545000 | #Constraints: 73211 934.39/937.36 c #Conflicts: 546000 | #Constraints: 74223 934.39/937.36 c #Conflicts: 547000 | #Constraints: 75236 934.39/937.36 c INPROCESSING 934.39/937.36 c GARBAGE COLLECT 934.39/937.36 c rational objective -54 1092.19/1095.61 c #Conflicts: 548000 | #Constraints: 39149 1092.19/1095.61 c #Conflicts: 549000 | #Constraints: 40149 1092.19/1095.61 c #Conflicts: 550000 | #Constraints: 41149 1092.19/1095.61 c #Conflicts: 551000 | #Constraints: 42149 1092.19/1095.61 c #Conflicts: 552000 | #Constraints: 43149 1092.19/1095.61 c #Conflicts: 553000 | #Constraints: 44149 1092.19/1095.61 c #Conflicts: 554000 | #Constraints: 45149 1092.19/1095.61 c #Conflicts: 555000 | #Constraints: 46149 1092.19/1095.61 c #Conflicts: 556000 | #Constraints: 47149 1092.19/1095.61 c #Conflicts: 557000 | #Constraints: 48149 1092.19/1095.61 c #Conflicts: 558000 | #Constraints: 49149 1092.19/1095.61 c #Conflicts: 559000 | #Constraints: 50149 1092.19/1095.61 c #Conflicts: 560000 | #Constraints: 51149 1092.19/1095.61 c #Conflicts: 561000 | #Constraints: 52149 1092.19/1095.61 c #Conflicts: 562000 | #Constraints: 53149 1092.19/1095.61 c #Conflicts: 563000 | #Constraints: 54149 1092.19/1095.61 c #Conflicts: 564000 | #Constraints: 55149 1092.19/1095.61 c INPROCESSING 1092.19/1095.61 c GARBAGE COLLECT 1092.19/1095.61 c rational objective -54 1113.63/1117.17 c #Conflicts: 565000 | #Constraints: 29337 1113.63/1117.17 c #Conflicts: 566000 | #Constraints: 30345 1113.63/1117.17 c #Conflicts: 567000 | #Constraints: 31364 1113.63/1117.17 c #Conflicts: 568000 | #Constraints: 32372 1113.63/1117.17 c #Conflicts: 569000 | #Constraints: 33400 1113.63/1117.17 c #Conflicts: 570000 | #Constraints: 34411 1113.63/1117.17 c #Conflicts: 571000 | #Constraints: 35441 1113.63/1117.17 c #Conflicts: 572000 | #Constraints: 36456 1113.63/1117.17 c #Conflicts: 573000 | #Constraints: 37478 1113.63/1117.17 c #Conflicts: 574000 | #Constraints: 38499 1113.63/1117.17 c #Conflicts: 575000 | #Constraints: 39528 1113.63/1117.17 c #Conflicts: 576000 | #Constraints: 40551 1113.63/1117.17 c #Conflicts: 577000 | #Constraints: 41574 1113.63/1117.17 c #Conflicts: 578000 | #Constraints: 42589 1113.63/1117.17 c #Conflicts: 579000 | #Constraints: 43600 1113.63/1117.17 c #Conflicts: 580000 | #Constraints: 44609 1113.63/1117.17 c INPROCESSING 1113.63/1117.17 c GARBAGE COLLECT 1113.63/1117.17 c rational objective -54 1179.63/1183.33 c #Conflicts: 581000 | #Constraints: 23624 1179.63/1183.33 c #Conflicts: 582000 | #Constraints: 24624 1179.63/1183.33 c #Conflicts: 583000 | #Constraints: 25624 1179.63/1183.33 c #Conflicts: 584000 | #Constraints: 26624 1179.63/1183.33 c #Conflicts: 585000 | #Constraints: 27624 1179.63/1183.33 c #Conflicts: 586000 | #Constraints: 28624 1179.63/1183.33 c #Conflicts: 587000 | #Constraints: 29624 1179.63/1183.33 c #Conflicts: 588000 | #Constraints: 30624 1179.63/1183.33 c #Conflicts: 589000 | #Constraints: 31624 1179.63/1183.33 c #Conflicts: 590000 | #Constraints: 32624 1179.63/1183.33 c #Conflicts: 591000 | #Constraints: 33624 1179.63/1183.33 c #Conflicts: 592000 | #Constraints: 34624 1179.63/1183.33 c #Conflicts: 593000 | #Constraints: 35624 1179.63/1183.33 c #Conflicts: 594000 | #Constraints: 36624 1179.63/1183.33 c #Conflicts: 595000 | #Constraints: 37624 1179.63/1183.33 c #Conflicts: 596000 | #Constraints: 38624 1179.63/1183.33 c #Conflicts: 597000 | #Constraints: 39624 1179.63/1183.33 c INPROCESSING 1179.63/1183.33 c GARBAGE COLLECT 1179.63/1183.33 c rational objective -54 1202.96/1206.74 c #Conflicts: 598000 | #Constraints: 21172 1202.96/1206.74 c #Conflicts: 599000 | #Constraints: 22172 1202.96/1206.74 c #Conflicts: 600000 | #Constraints: 23180 1202.96/1206.74 c #Conflicts: 601000 | #Constraints: 24199 1202.96/1206.74 c #Conflicts: 602000 | #Constraints: 25220 1202.96/1206.74 c #Conflicts: 603000 | #Constraints: 26238 1202.96/1206.74 c #Conflicts: 604000 | #Constraints: 27266 1202.96/1206.74 c #Conflicts: 605000 | #Constraints: 28290 1202.96/1206.74 c #Conflicts: 606000 | #Constraints: 29319 1202.96/1206.74 c #Conflicts: 607000 | #Constraints: 30347 1202.96/1206.74 c #Conflicts: 608000 | #Constraints: 31370 1202.96/1206.74 c #Conflicts: 609000 | #Constraints: 32389 1202.96/1206.74 c #Conflicts: 610000 | #Constraints: 33410 1202.96/1206.74 c #Conflicts: 611000 | #Constraints: 34433 1202.96/1206.74 c #Conflicts: 612000 | #Constraints: 35455 1202.96/1206.74 c #Conflicts: 613000 | #Constraints: 36483 1202.96/1206.74 c #Conflicts: 614000 | #Constraints: 37506 1202.96/1206.74 c #Conflicts: 615000 | #Constraints: 38528 1202.96/1206.74 c INPROCESSING 1202.96/1206.74 c GARBAGE COLLECT 1202.96/1206.74 c rational objective -54 1382.69/1387.00 c #Conflicts: 616000 | #Constraints: 21008 1382.69/1387.00 c #Conflicts: 617000 | #Constraints: 22028 1382.69/1387.00 c #Conflicts: 618000 | #Constraints: 23045 1382.69/1387.00 c #Conflicts: 619000 | #Constraints: 24060 1382.69/1387.00 c #Conflicts: 620000 | #Constraints: 25073 1382.69/1387.00 c #Conflicts: 621000 | #Constraints: 26083 1382.69/1387.00 c #Conflicts: 622000 | #Constraints: 27100 1382.69/1387.00 c #Conflicts: 623000 | #Constraints: 28116 1382.69/1387.00 c #Conflicts: 624000 | #Constraints: 29122 1382.69/1387.00 c #Conflicts: 625000 | #Constraints: 30134 1382.69/1387.00 c #Conflicts: 626000 | #Constraints: 31156 1382.69/1387.00 c #Conflicts: 627000 | #Constraints: 32178 1382.69/1387.00 c #Conflicts: 628000 | #Constraints: 33185 1382.69/1387.00 c #Conflicts: 629000 | #Constraints: 34193 1382.69/1387.00 c #Conflicts: 630000 | #Constraints: 35213 1382.69/1387.00 c #Conflicts: 631000 | #Constraints: 36234 1382.69/1387.00 c #Conflicts: 632000 | #Constraints: 37245 1382.69/1387.00 c #Conflicts: 633000 | #Constraints: 38256 1382.69/1387.00 c #Conflicts: 634000 | #Constraints: 39271 1382.69/1387.00 c #Conflicts: 635000 | #Constraints: 40278 1382.69/1387.00 c #Conflicts: 636000 | #Constraints: 41292 1382.69/1387.00 c #Conflicts: 637000 | #Constraints: 42301 1382.69/1387.00 c #Conflicts: 638000 | #Constraints: 43313 1382.69/1387.00 c #Conflicts: 639000 | #Constraints: 44317 1382.69/1387.00 c #Conflicts: 640000 | #Constraints: 45325 1382.69/1387.00 c #Conflicts: 641000 | #Constraints: 46333 1382.69/1387.00 c #Conflicts: 642000 | #Constraints: 47351 1382.69/1387.00 c #Conflicts: 643000 | #Constraints: 48363 1382.69/1387.00 c #Conflicts: 644000 | #Constraints: 49371 1382.69/1387.00 c #Conflicts: 645000 | #Constraints: 50380 1382.69/1387.00 c #Conflicts: 646000 | #Constraints: 51389 1382.69/1387.00 c #Conflicts: 647000 | #Constraints: 52393 1382.69/1387.00 c #Conflicts: 648000 | #Constraints: 53405 1382.69/1387.00 c #Conflicts: 649000 | #Constraints: 54411 1382.69/1387.00 c #Conflicts: 650000 | #Constraints: 55418 1382.69/1387.00 c #Conflicts: 651000 | #Constraints: 56428 1382.69/1387.00 c #Conflicts: 652000 | #Constraints: 57433 1382.69/1387.00 c #Conflicts: 653000 | #Constraints: 58443 1382.69/1387.00 c #Conflicts: 654000 | #Constraints: 59446 1382.69/1387.00 c #Conflicts: 655000 | #Constraints: 60457 1382.69/1387.00 c #Conflicts: 656000 | #Constraints: 61472 1382.69/1387.00 c #Conflicts: 657000 | #Constraints: 62496 1382.69/1387.00 c #Conflicts: 658000 | #Constraints: 63519 1382.69/1387.00 c #Conflicts: 659000 | #Constraints: 64544 1382.69/1387.00 c #Conflicts: 660000 | #Constraints: 65568 1382.69/1387.00 c #Conflicts: 661000 | #Constraints: 66576 1382.69/1387.00 c #Conflicts: 662000 | #Constraints: 67584 1382.69/1387.00 c #Conflicts: 663000 | #Constraints: 68589 1382.69/1387.00 c #Conflicts: 664000 | #Constraints: 69599 1382.69/1387.00 c #Conflicts: 665000 | #Constraints: 70603 1382.69/1387.00 c #Conflicts: 666000 | #Constraints: 71609 1382.69/1387.00 c #Conflicts: 667000 | #Constraints: 72625 1382.69/1387.00 c #Conflicts: 668000 | #Constraints: 73640 1382.69/1387.00 c #Conflicts: 669000 | #Constraints: 74647 1382.69/1387.00 c #Conflicts: 670000 | #Constraints: 75657 1382.69/1387.00 c #Conflicts: 671000 | #Constraints: 76663 1382.69/1387.00 c #Conflicts: 672000 | #Constraints: 77677 1382.69/1387.00 c #Conflicts: 673000 | #Constraints: 78682 1382.69/1387.00 c #Conflicts: 674000 | #Constraints: 79689 1382.69/1387.00 c #Conflicts: 675000 | #Constraints: 80695 1382.69/1387.00 c #Conflicts: 676000 | #Constraints: 81711 1382.69/1387.00 c #Conflicts: 677000 | #Constraints: 82716 1382.69/1387.00 c #Conflicts: 678000 | #Constraints: 83724 1382.69/1387.00 c INPROCESSING 1382.69/1387.00 c GARBAGE COLLECT 1382.69/1387.00 c rational objective -54 1562.83/1567.76 c #Conflicts: 679000 | #Constraints: 43442 1562.83/1567.76 c #Conflicts: 680000 | #Constraints: 44442 1562.83/1567.76 c #Conflicts: 681000 | #Constraints: 45442 1562.83/1567.76 c #Conflicts: 682000 | #Constraints: 46442 1562.83/1567.76 c #Conflicts: 683000 | #Constraints: 47442 1562.83/1567.76 c #Conflicts: 684000 | #Constraints: 48442 1562.83/1567.76 c #Conflicts: 685000 | #Constraints: 49442 1562.83/1567.76 c #Conflicts: 686000 | #Constraints: 50442 1562.83/1567.76 c #Conflicts: 687000 | #Constraints: 51442 1562.83/1567.76 c #Conflicts: 688000 | #Constraints: 52442 1562.83/1567.76 c #Conflicts: 689000 | #Constraints: 53442 1562.83/1567.76 c #Conflicts: 690000 | #Constraints: 54442 1562.83/1567.76 c #Conflicts: 691000 | #Constraints: 55442 1562.83/1567.76 c #Conflicts: 692000 | #Constraints: 56442 1562.83/1567.76 c #Conflicts: 693000 | #Constraints: 57442 1562.83/1567.76 c #Conflicts: 694000 | #Constraints: 58442 1562.83/1567.76 c #Conflicts: 695000 | #Constraints: 59442 1562.83/1567.76 c #Conflicts: 696000 | #Constraints: 60442 1562.83/1567.76 c INPROCESSING 1562.83/1567.76 c GARBAGE COLLECT 1562.83/1567.76 c rational objective -54 1626.35/1631.40 c #Conflicts: 697000 | #Constraints: 31577 1626.35/1631.40 c #Conflicts: 698000 | #Constraints: 32577 1626.35/1631.40 c #Conflicts: 699000 | #Constraints: 33577 1626.35/1631.40 c #Conflicts: 700000 | #Constraints: 34577 1626.35/1631.40 c #Conflicts: 701000 | #Constraints: 35577 1626.35/1631.40 c #Conflicts: 702000 | #Constraints: 36577 1626.35/1631.40 c #Conflicts: 703000 | #Constraints: 37577 1626.35/1631.40 c #Conflicts: 704000 | #Constraints: 38577 1626.35/1631.40 c #Conflicts: 705000 | #Constraints: 39577 1626.35/1631.40 c #Conflicts: 706000 | #Constraints: 40577 1626.35/1631.40 c #Conflicts: 707000 | #Constraints: 41577 1626.35/1631.40 c #Conflicts: 708000 | #Constraints: 42577 1626.35/1631.40 c #Conflicts: 709000 | #Constraints: 43577 1626.35/1631.40 c #Conflicts: 710000 | #Constraints: 44577 1626.35/1631.40 c #Conflicts: 711000 | #Constraints: 45577 1626.35/1631.40 c #Conflicts: 712000 | #Constraints: 46577 1626.35/1631.40 c #Conflicts: 713000 | #Constraints: 47577 1626.35/1631.40 c #Conflicts: 714000 | #Constraints: 48577 1626.35/1631.40 c #Conflicts: 715000 | #Constraints: 49577 1626.35/1631.40 c INPROCESSING 1626.35/1631.40 c GARBAGE COLLECT 1626.35/1631.40 c rational objective -54 1649.79/1654.91 c #Conflicts: 716000 | #Constraints: 26293 1649.79/1654.91 c #Conflicts: 717000 | #Constraints: 27305 1649.79/1654.91 c #Conflicts: 718000 | #Constraints: 28320 1649.79/1654.91 c #Conflicts: 719000 | #Constraints: 29340 1649.79/1654.91 c #Conflicts: 720000 | #Constraints: 30353 1649.79/1654.91 c #Conflicts: 721000 | #Constraints: 31368 1649.79/1654.91 c #Conflicts: 722000 | #Constraints: 32384 1649.79/1654.91 c #Conflicts: 723000 | #Constraints: 33409 1649.79/1654.91 c #Conflicts: 724000 | #Constraints: 34417 1649.79/1654.91 c #Conflicts: 725000 | #Constraints: 35433 1649.79/1654.91 c #Conflicts: 726000 | #Constraints: 36443 1649.79/1654.91 c #Conflicts: 727000 | #Constraints: 37453 1649.79/1654.91 c #Conflicts: 728000 | #Constraints: 38459 1649.79/1654.91 c #Conflicts: 729000 | #Constraints: 39468 1649.79/1654.91 c #Conflicts: 730000 | #Constraints: 40475 1649.79/1654.91 c #Conflicts: 731000 | #Constraints: 41491 1649.79/1654.91 c #Conflicts: 732000 | #Constraints: 42503 1649.79/1654.91 c #Conflicts: 733000 | #Constraints: 43526 1649.79/1654.91 c #Conflicts: 734000 | #Constraints: 44552 1649.79/1654.91 c INPROCESSING 1649.79/1654.91 c GARBAGE COLLECT 1649.79/1654.91 c rational objective -54 1667.25/1672.48 c #Conflicts: 735000 | #Constraints: 23813 1667.25/1672.48 c #Conflicts: 736000 | #Constraints: 24835 1667.25/1672.48 c #Conflicts: 737000 | #Constraints: 25865 1667.25/1672.48 c #Conflicts: 738000 | #Constraints: 26883 1667.25/1672.48 c #Conflicts: 739000 | #Constraints: 27903 1667.25/1672.48 c #Conflicts: 740000 | #Constraints: 28924 1667.25/1672.48 c #Conflicts: 741000 | #Constraints: 29952 1667.25/1672.48 c #Conflicts: 742000 | #Constraints: 30985 1667.25/1672.48 c #Conflicts: 743000 | #Constraints: 32007 1667.25/1672.48 c #Conflicts: 744000 | #Constraints: 33018 1667.25/1672.48 c #Conflicts: 745000 | #Constraints: 34030 1667.25/1672.48 c #Conflicts: 746000 | #Constraints: 35038 1667.25/1672.48 c #Conflicts: 747000 | #Constraints: 36052 1667.25/1672.48 c #Conflicts: 748000 | #Constraints: 37060 1667.25/1672.48 c #Conflicts: 749000 | #Constraints: 38072 1667.25/1672.48 c #Conflicts: 750000 | #Constraints: 39083 1667.25/1672.48 c #Conflicts: 751000 | #Constraints: 40089 1667.25/1672.48 c #Conflicts: 752000 | #Constraints: 41093 1667.25/1672.48 c #Conflicts: 753000 | #Constraints: 42099 1667.25/1672.48 c INPROCESSING 1667.25/1672.48 c GARBAGE COLLECT 1667.25/1672.48 c rational objective -54 1896.12/1901.88 c #Conflicts: 754000 | #Constraints: 22526 1896.12/1901.88 c #Conflicts: 755000 | #Constraints: 23526 1896.12/1901.88 c #Conflicts: 756000 | #Constraints: 24526 1896.12/1901.88 c #Conflicts: 757000 | #Constraints: 25526 1896.12/1901.88 c #Conflicts: 758000 | #Constraints: 26526 1896.12/1901.88 c #Conflicts: 759000 | #Constraints: 27526 1896.12/1901.88 c #Conflicts: 760000 | #Constraints: 28526 1896.12/1901.88 c #Conflicts: 761000 | #Constraints: 29526 1896.12/1901.88 c #Conflicts: 762000 | #Constraints: 30526 1896.12/1901.88 c #Conflicts: 763000 | #Constraints: 31526 1896.12/1901.88 c #Conflicts: 764000 | #Constraints: 32526 1896.12/1901.88 c #Conflicts: 765000 | #Constraints: 33526 1896.12/1901.88 c #Conflicts: 766000 | #Constraints: 34526 1896.12/1901.88 c #Conflicts: 767000 | #Constraints: 35526 1896.12/1901.88 c #Conflicts: 768000 | #Constraints: 36526 1896.12/1901.88 c #Conflicts: 769000 | #Constraints: 37526 1896.12/1901.88 c #Conflicts: 770000 | #Constraints: 38526 1896.12/1901.88 c #Conflicts: 771000 | #Constraints: 39526 1896.12/1901.88 c #Conflicts: 772000 | #Constraints: 40526 1896.12/1901.88 c #Conflicts: 773000 | #Constraints: 41526 1896.12/1901.88 c #Conflicts: 774000 | #Constraints: 42526 1896.12/1901.88 c #Conflicts: 775000 | #Constraints: 43526 1896.12/1901.88 c #Conflicts: 776000 | #Constraints: 44526 1896.12/1901.88 c #Conflicts: 777000 | #Constraints: 45526 1896.12/1901.88 c #Conflicts: 778000 | #Constraints: 46526 1896.12/1901.88 c #Conflicts: 779000 | #Constraints: 47526 1896.12/1901.88 c #Conflicts: 780000 | #Constraints: 48526 1896.12/1901.88 c #Conflicts: 781000 | #Constraints: 49526 1896.12/1901.88 c #Conflicts: 782000 | #Constraints: 50526 1896.12/1901.88 c #Conflicts: 783000 | #Constraints: 51526 1896.12/1901.88 c #Conflicts: 784000 | #Constraints: 52526 1896.12/1901.88 c #Conflicts: 785000 | #Constraints: 53526 1896.12/1901.88 c #Conflicts: 786000 | #Constraints: 54526 1896.12/1901.88 c #Conflicts: 787000 | #Constraints: 55526 1896.12/1901.88 c #Conflicts: 788000 | #Constraints: 56526 1896.12/1901.88 c #Conflicts: 789000 | #Constraints: 57526 1896.12/1901.88 c #Conflicts: 790000 | #Constraints: 58526 1896.12/1901.88 c #Conflicts: 791000 | #Constraints: 59526 1896.12/1901.88 c #Conflicts: 792000 | #Constraints: 60526 1896.12/1901.88 c #Conflicts: 793000 | #Constraints: 61526 1896.12/1901.88 c #Conflicts: 794000 | #Constraints: 62526 1896.12/1901.88 c #Conflicts: 795000 | #Constraints: 63526 1896.12/1901.88 c #Conflicts: 796000 | #Constraints: 64526 1896.12/1901.88 c #Conflicts: 797000 | #Constraints: 65526 1896.12/1901.88 c #Conflicts: 798000 | #Constraints: 66526 1896.12/1901.88 c #Conflicts: 799000 | #Constraints: 67526 1896.12/1901.88 c #Conflicts: 800000 | #Constraints: 68526 1896.12/1901.88 c #Conflicts: 801000 | #Constraints: 69526 1896.12/1901.88 c #Conflicts: 802000 | #Constraints: 70526 1896.12/1901.88 c #Conflicts: 803000 | #Constraints: 71526 1896.12/1901.88 c #Conflicts: 804000 | #Constraints: 72526 1896.12/1901.88 c #Conflicts: 805000 | #Constraints: 73526 1896.12/1901.88 c bounds -35 >= -39 @ 1853.37 1896.12/1901.88 c #Conflicts: 806000 | #Constraints: 74575 1896.12/1901.88 c #Conflicts: 807000 | #Constraints: 75593 1896.12/1901.88 c #Conflicts: 808000 | #Constraints: 76607 1896.12/1901.88 c #Conflicts: 809000 | #Constraints: 77627 1896.12/1901.88 c #Conflicts: 810000 | #Constraints: 78636 1896.12/1901.88 c #Conflicts: 811000 | #Constraints: 79645 1896.12/1901.88 c #Conflicts: 812000 | #Constraints: 80655 1896.12/1901.88 c #Conflicts: 813000 | #Constraints: 81660 1896.12/1901.88 c #Conflicts: 814000 | #Constraints: 82683 1896.12/1901.88 c #Conflicts: 815000 | #Constraints: 83706 1896.12/1901.88 c #Conflicts: 816000 | #Constraints: 84729 1896.12/1901.88 c #Conflicts: 817000 | #Constraints: 85735 1896.12/1901.88 c #Conflicts: 818000 | #Constraints: 86742 1896.12/1901.88 c #Conflicts: 819000 | #Constraints: 87756 1896.12/1901.88 c #Conflicts: 820000 | #Constraints: 88766 1896.12/1901.88 c #Conflicts: 821000 | #Constraints: 89776 1896.12/1901.88 c #Conflicts: 822000 | #Constraints: 90794 1896.12/1901.88 c #Conflicts: 823000 | #Constraints: 91811 1896.12/1901.88 c INPROCESSING 1896.12/1901.88 c GARBAGE COLLECT 1896.12/1901.88 c rational objective -54 1931.33/1937.11 c #Conflicts: 824000 | #Constraints: 47558 1931.33/1937.11 c #Conflicts: 825000 | #Constraints: 48575 1931.33/1937.11 c #Conflicts: 826000 | #Constraints: 49598 1931.33/1937.11 c #Conflicts: 827000 | #Constraints: 50614 1931.33/1937.11 c #Conflicts: 828000 | #Constraints: 51628 1931.33/1937.11 c #Conflicts: 829000 | #Constraints: 52647 1931.33/1937.11 c #Conflicts: 830000 | #Constraints: 53663 1931.33/1937.11 c #Conflicts: 831000 | #Constraints: 54686 1931.33/1937.11 c #Conflicts: 832000 | #Constraints: 55701 1931.33/1937.11 c #Conflicts: 833000 | #Constraints: 56727 1931.33/1937.11 c #Conflicts: 834000 | #Constraints: 57748 1931.33/1937.11 c #Conflicts: 835000 | #Constraints: 58771 1931.33/1937.11 c #Conflicts: 836000 | #Constraints: 59794 1931.33/1937.11 c #Conflicts: 837000 | #Constraints: 60813 1931.33/1937.11 c #Conflicts: 838000 | #Constraints: 61827 1931.33/1937.11 c #Conflicts: 839000 | #Constraints: 62835 1931.33/1937.11 c #Conflicts: 840000 | #Constraints: 63848 1931.33/1937.11 c #Conflicts: 841000 | #Constraints: 64864 1931.33/1937.11 c #Conflicts: 842000 | #Constraints: 65882 1931.33/1937.11 c #Conflicts: 843000 | #Constraints: 66905 1931.33/1937.11 c INPROCESSING 1931.33/1937.11 c GARBAGE COLLECT 1931.33/1937.11 c rational objective -54 1959.65/1965.57 c #Conflicts: 844000 | #Constraints: 34901 1959.65/1965.57 c #Conflicts: 845000 | #Constraints: 35915 1959.65/1965.57 c #Conflicts: 846000 | #Constraints: 36931 1959.65/1965.57 c #Conflicts: 847000 | #Constraints: 37950 1959.65/1965.57 c #Conflicts: 848000 | #Constraints: 38969 1959.65/1965.57 c #Conflicts: 849000 | #Constraints: 39990 1959.65/1965.57 c #Conflicts: 850000 | #Constraints: 41006 1959.65/1965.57 c #Conflicts: 851000 | #Constraints: 42025 1959.65/1965.57 c #Conflicts: 852000 | #Constraints: 43044 1959.65/1965.57 c #Conflicts: 853000 | #Constraints: 44055 1959.65/1965.57 c #Conflicts: 854000 | #Constraints: 45071 1959.65/1965.57 c #Conflicts: 855000 | #Constraints: 46083 1959.65/1965.57 c #Conflicts: 856000 | #Constraints: 47100 1959.65/1965.57 c #Conflicts: 857000 | #Constraints: 48120 1959.65/1965.57 c #Conflicts: 858000 | #Constraints: 49131 1959.65/1965.57 c #Conflicts: 859000 | #Constraints: 50144 1959.65/1965.57 c #Conflicts: 860000 | #Constraints: 51158 1959.65/1965.57 c #Conflicts: 861000 | #Constraints: 52173 1959.65/1965.57 c #Conflicts: 862000 | #Constraints: 53195 1959.65/1965.57 c #Conflicts: 863000 | #Constraints: 54202 1959.65/1965.57 c #Conflicts: 864000 | #Constraints: 55210 1959.65/1965.57 c INPROCESSING 1959.65/1965.57 c GARBAGE COLLECT 1959.65/1965.57 c rational objective -54 1988.38/1994.35 c #Conflicts: 865000 | #Constraints: 29256 1988.38/1994.35 c #Conflicts: 866000 | #Constraints: 30269 1988.38/1994.35 c #Conflicts: 867000 | #Constraints: 31280 1988.38/1994.35 c #Conflicts: 868000 | #Constraints: 32291 1988.38/1994.35 c #Conflicts: 869000 | #Constraints: 33305 1988.38/1994.35 c #Conflicts: 870000 | #Constraints: 34317 1988.38/1994.35 c #Conflicts: 871000 | #Constraints: 35327 1988.38/1994.35 c #Conflicts: 872000 | #Constraints: 36346 1988.38/1994.35 c #Conflicts: 873000 | #Constraints: 37373 1988.38/1994.35 c #Conflicts: 874000 | #Constraints: 38385 1988.38/1994.35 c #Conflicts: 875000 | #Constraints: 39392 1988.38/1994.35 c #Conflicts: 876000 | #Constraints: 40406 1988.38/1994.35 c #Conflicts: 877000 | #Constraints: 41416 1988.38/1994.35 c #Conflicts: 878000 | #Constraints: 42422 1988.38/1994.35 c #Conflicts: 879000 | #Constraints: 43434 1988.38/1994.35 c #Conflicts: 880000 | #Constraints: 44445 1988.38/1994.35 c #Conflicts: 881000 | #Constraints: 45464 1988.38/1994.35 c #Conflicts: 882000 | #Constraints: 46485 1988.38/1994.35 c #Conflicts: 883000 | #Constraints: 47503 1988.38/1994.35 c #Conflicts: 884000 | #Constraints: 48524 1988.38/1994.35 c #Conflicts: 885000 | #Constraints: 49541 1988.38/1994.35 c INPROCESSING 1988.38/1994.35 c GARBAGE COLLECT 1988.38/1994.35 c rational objective -54 2012.52/2018.53 c #Conflicts: 886000 | #Constraints: 26536 2012.52/2018.53 c #Conflicts: 887000 | #Constraints: 27559 2012.52/2018.53 c #Conflicts: 888000 | #Constraints: 28584 2012.52/2018.53 c #Conflicts: 889000 | #Constraints: 29609 2012.52/2018.53 c #Conflicts: 890000 | #Constraints: 30632 2012.52/2018.53 c #Conflicts: 891000 | #Constraints: 31648 2012.52/2018.53 c #Conflicts: 892000 | #Constraints: 32664 2012.52/2018.53 c #Conflicts: 893000 | #Constraints: 33674 2012.52/2018.53 c #Conflicts: 894000 | #Constraints: 34687 2012.52/2018.53 c #Conflicts: 895000 | #Constraints: 35700 2012.52/2018.53 c #Conflicts: 896000 | #Constraints: 36709 2012.52/2018.53 c #Conflicts: 897000 | #Constraints: 37720 2012.52/2018.53 c #Conflicts: 898000 | #Constraints: 38734 2012.52/2018.53 c #Conflicts: 899000 | #Constraints: 39750 2012.52/2018.53 c #Conflicts: 900000 | #Constraints: 40759 2012.52/2018.53 c #Conflicts: 901000 | #Constraints: 41767 2012.52/2018.53 c #Conflicts: 902000 | #Constraints: 42777 2012.52/2018.53 c #Conflicts: 903000 | #Constraints: 43788 2012.52/2018.53 c #Conflicts: 904000 | #Constraints: 44797 2012.52/2018.53 c #Conflicts: 905000 | #Constraints: 45804 2012.52/2018.53 c #Conflicts: 906000 | #Constraints: 46815 2012.52/2018.53 c INPROCESSING 2012.52/2018.53 c GARBAGE COLLECT 2012.52/2018.53 c rational objective -54 2207.42/2213.92 c #Conflicts: 907000 | #Constraints: 25165 2207.42/2213.92 c #Conflicts: 908000 | #Constraints: 26182 2207.42/2213.92 c #Conflicts: 909000 | #Constraints: 27203 2207.42/2213.92 c #Conflicts: 910000 | #Constraints: 28218 2207.42/2213.92 c #Conflicts: 911000 | #Constraints: 29221 2207.42/2213.92 c #Conflicts: 912000 | #Constraints: 30232 2207.42/2213.92 c #Conflicts: 913000 | #Constraints: 31242 2207.42/2213.92 c #Conflicts: 914000 | #Constraints: 32251 2207.42/2213.92 c #Conflicts: 915000 | #Constraints: 33257 2207.42/2213.92 c #Conflicts: 916000 | #Constraints: 34270 2207.42/2213.92 c #Conflicts: 917000 | #Constraints: 35279 2207.42/2213.92 c #Conflicts: 918000 | #Constraints: 36288 2207.42/2213.92 c #Conflicts: 919000 | #Constraints: 37293 2207.42/2213.92 c #Conflicts: 920000 | #Constraints: 38302 2207.42/2213.92 c #Conflicts: 921000 | #Constraints: 39317 2207.42/2213.92 c #Conflicts: 922000 | #Constraints: 40327 2207.42/2213.92 c #Conflicts: 923000 | #Constraints: 41338 2207.42/2213.92 c #Conflicts: 924000 | #Constraints: 42346 2207.42/2213.92 c #Conflicts: 925000 | #Constraints: 43361 2207.42/2213.92 c #Conflicts: 926000 | #Constraints: 44378 2207.42/2213.92 c #Conflicts: 927000 | #Constraints: 45387 2207.42/2213.92 c #Conflicts: 928000 | #Constraints: 46398 2207.42/2213.92 c #Conflicts: 929000 | #Constraints: 47414 2207.42/2213.92 c #Conflicts: 930000 | #Constraints: 48426 2207.42/2213.92 c #Conflicts: 931000 | #Constraints: 49438 2207.42/2213.92 c #Conflicts: 932000 | #Constraints: 50459 2207.42/2213.92 c #Conflicts: 933000 | #Constraints: 51481 2207.42/2213.92 c #Conflicts: 934000 | #Constraints: 52495 2207.42/2213.92 c #Conflicts: 935000 | #Constraints: 53515 2207.42/2213.92 c #Conflicts: 936000 | #Constraints: 54532 2207.42/2213.92 c #Conflicts: 937000 | #Constraints: 55540 2207.42/2213.92 c #Conflicts: 938000 | #Constraints: 56551 2207.42/2213.92 c #Conflicts: 939000 | #Constraints: 57566 2207.42/2213.92 c #Conflicts: 940000 | #Constraints: 58586 2207.42/2213.92 c #Conflicts: 941000 | #Constraints: 59599 2207.42/2213.92 c #Conflicts: 942000 | #Constraints: 60608 2207.42/2213.92 c #Conflicts: 943000 | #Constraints: 61618 2207.42/2213.92 c #Conflicts: 944000 | #Constraints: 62629 2207.42/2213.92 c #Conflicts: 945000 | #Constraints: 63654 2207.42/2213.92 c #Conflicts: 946000 | #Constraints: 64669 2207.42/2213.92 c #Conflicts: 947000 | #Constraints: 65679 2207.42/2213.92 c #Conflicts: 948000 | #Constraints: 66691 2207.42/2213.92 c #Conflicts: 949000 | #Constraints: 67703 2207.42/2213.92 c #Conflicts: 950000 | #Constraints: 68721 2207.42/2213.92 c #Conflicts: 951000 | #Constraints: 69734 2207.42/2213.92 c #Conflicts: 952000 | #Constraints: 70752 2207.42/2213.92 c #Conflicts: 953000 | #Constraints: 71771 2207.42/2213.92 c #Conflicts: 954000 | #Constraints: 72783 2207.42/2213.92 c #Conflicts: 955000 | #Constraints: 73807 2207.42/2213.92 c #Conflicts: 956000 | #Constraints: 74826 2207.42/2213.92 c #Conflicts: 957000 | #Constraints: 75842 2207.42/2213.92 c #Conflicts: 958000 | #Constraints: 76859 2207.42/2213.92 c #Conflicts: 959000 | #Constraints: 77880 2207.42/2213.92 c #Conflicts: 960000 | #Constraints: 78898 2207.42/2213.92 c #Conflicts: 961000 | #Constraints: 79906 2207.42/2213.92 c #Conflicts: 962000 | #Constraints: 80921 2207.42/2213.92 c #Conflicts: 963000 | #Constraints: 81934 2207.42/2213.92 c #Conflicts: 964000 | #Constraints: 82951 2207.42/2213.92 c #Conflicts: 965000 | #Constraints: 83966 2207.42/2213.92 c #Conflicts: 966000 | #Constraints: 84981 2207.42/2213.92 c #Conflicts: 967000 | #Constraints: 86002 2207.42/2213.92 c #Conflicts: 968000 | #Constraints: 87009 2207.42/2213.92 c #Conflicts: 969000 | #Constraints: 88017 2207.42/2213.92 c #Conflicts: 970000 | #Constraints: 89026 2207.42/2213.92 c #Conflicts: 971000 | #Constraints: 90038 2207.42/2213.92 c #Conflicts: 972000 | #Constraints: 91055 2207.42/2213.92 c #Conflicts: 973000 | #Constraints: 92071 2207.42/2213.92 c #Conflicts: 974000 | #Constraints: 93081 2207.42/2213.92 c #Conflicts: 975000 | #Constraints: 94091 2207.42/2213.92 c #Conflicts: 976000 | #Constraints: 95108 2207.42/2213.92 c #Conflicts: 977000 | #Constraints: 96122 2207.42/2213.92 c #Conflicts: 978000 | #Constraints: 97137 2207.42/2213.92 c #Conflicts: 979000 | #Constraints: 98155 2207.42/2213.92 c #Conflicts: 980000 | #Constraints: 99172 2207.42/2213.92 c #Conflicts: 981000 | #Constraints: 100191 2207.42/2213.92 c #Conflicts: 982000 | #Constraints: 101218 2207.42/2213.92 c INPROCESSING 2207.42/2213.92 c GARBAGE COLLECT 2207.42/2213.92 c rational objective -54 2418.80/2425.85 c #Conflicts: 983000 | #Constraints: 52308 2418.80/2425.85 c #Conflicts: 984000 | #Constraints: 53308 2418.80/2425.85 c #Conflicts: 985000 | #Constraints: 54308 2418.80/2425.85 c #Conflicts: 986000 | #Constraints: 55308 2418.80/2425.85 c #Conflicts: 987000 | #Constraints: 56308 2418.80/2425.85 c #Conflicts: 988000 | #Constraints: 57308 2418.80/2425.85 c #Conflicts: 989000 | #Constraints: 58308 2418.80/2425.85 c #Conflicts: 990000 | #Constraints: 59308 2418.80/2425.85 c #Conflicts: 991000 | #Constraints: 60308 2418.80/2425.85 c #Conflicts: 992000 | #Constraints: 61308 2418.80/2425.85 c #Conflicts: 993000 | #Constraints: 62308 2418.80/2425.85 c #Conflicts: 994000 | #Constraints: 63308 2418.80/2425.85 c #Conflicts: 995000 | #Constraints: 64308 2418.80/2425.85 c #Conflicts: 996000 | #Constraints: 65308 2418.80/2425.85 c #Conflicts: 997000 | #Constraints: 66308 2418.80/2425.85 c #Conflicts: 998000 | #Constraints: 67308 2418.80/2425.85 c #Conflicts: 999000 | #Constraints: 68308 2418.80/2425.85 c #Conflicts: 1000000 | #Constraints: 69308 2418.80/2425.85 c #Conflicts: 1001000 | #Constraints: 70308 2418.80/2425.85 c #Conflicts: 1002000 | #Constraints: 71308 2418.80/2425.85 c #Conflicts: 1003000 | #Constraints: 72308 2418.80/2425.85 c #Conflicts: 1004000 | #Constraints: 73308 2418.80/2425.85 c INPROCESSING 2418.80/2425.85 c GARBAGE COLLECT 2418.80/2425.85 c rational objective -54 2501.81/2509.07 c #Conflicts: 1005000 | #Constraints: 38221 2501.81/2509.07 c #Conflicts: 1006000 | #Constraints: 39221 2501.81/2509.07 c #Conflicts: 1007000 | #Constraints: 40221 2501.81/2509.07 c #Conflicts: 1008000 | #Constraints: 41221 2501.81/2509.07 c #Conflicts: 1009000 | #Constraints: 42221 2501.81/2509.07 c #Conflicts: 1010000 | #Constraints: 43221 2501.81/2509.07 c #Conflicts: 1011000 | #Constraints: 44221 2501.81/2509.07 c #Conflicts: 1012000 | #Constraints: 45221 2501.81/2509.07 c #Conflicts: 1013000 | #Constraints: 46221 2501.81/2509.07 c #Conflicts: 1014000 | #Constraints: 47221 2501.81/2509.07 c #Conflicts: 1015000 | #Constraints: 48221 2501.81/2509.07 c #Conflicts: 1016000 | #Constraints: 49221 2501.81/2509.07 c #Conflicts: 1017000 | #Constraints: 50221 2501.81/2509.07 c #Conflicts: 1018000 | #Constraints: 51221 2501.81/2509.07 c #Conflicts: 1019000 | #Constraints: 52221 2501.81/2509.07 c #Conflicts: 1020000 | #Constraints: 53221 2501.81/2509.07 c #Conflicts: 1021000 | #Constraints: 54221 2501.81/2509.07 c #Conflicts: 1022000 | #Constraints: 55221 2501.81/2509.07 c #Conflicts: 1023000 | #Constraints: 56221 2501.81/2509.07 c #Conflicts: 1024000 | #Constraints: 57221 2501.81/2509.07 c #Conflicts: 1025000 | #Constraints: 58221 2501.81/2509.07 c #Conflicts: 1026000 | #Constraints: 59221 2501.81/2509.07 c INPROCESSING 2501.81/2509.07 c GARBAGE COLLECT 2501.81/2509.07 c rational objective -54 2540.71/2548.16 c #Conflicts: 1027000 | #Constraints: 30937 2540.71/2548.16 c #Conflicts: 1028000 | #Constraints: 31937 2540.71/2548.16 c #Conflicts: 1029000 | #Constraints: 32942 2540.71/2548.16 c #Conflicts: 1030000 | #Constraints: 33953 2540.71/2548.16 c #Conflicts: 1031000 | #Constraints: 34970 2540.71/2548.16 c #Conflicts: 1032000 | #Constraints: 35981 2540.71/2548.16 c #Conflicts: 1033000 | #Constraints: 36998 2540.71/2548.16 c #Conflicts: 1034000 | #Constraints: 38007 2540.71/2548.16 c #Conflicts: 1035000 | #Constraints: 39019 2540.71/2548.16 c #Conflicts: 1036000 | #Constraints: 40035 2540.71/2548.16 c #Conflicts: 1037000 | #Constraints: 41050 2540.71/2548.16 c #Conflicts: 1038000 | #Constraints: 42070 2540.71/2548.16 c #Conflicts: 1039000 | #Constraints: 43084 2540.71/2548.16 c #Conflicts: 1040000 | #Constraints: 44101 2540.71/2548.16 c #Conflicts: 1041000 | #Constraints: 45122 2540.71/2548.16 c #Conflicts: 1042000 | #Constraints: 46139 2540.71/2548.16 c #Conflicts: 1043000 | #Constraints: 47151 2540.71/2548.16 c #Conflicts: 1044000 | #Constraints: 48165 2540.71/2548.16 c #Conflicts: 1045000 | #Constraints: 49188 2540.71/2548.16 c #Conflicts: 1046000 | #Constraints: 50195 2540.71/2548.16 c #Conflicts: 1047000 | #Constraints: 51203 2540.71/2548.16 c #Conflicts: 1048000 | #Constraints: 52207 2540.71/2548.16 c #Conflicts: 1049000 | #Constraints: 53218 2540.71/2548.16 c INPROCESSING 2540.71/2548.16 c GARBAGE COLLECT 2540.71/2548.16 c rational objective -54 2762.27/2770.47 c #Conflicts: 1050000 | #Constraints: 28080 2762.27/2770.47 c #Conflicts: 1051000 | #Constraints: 29105 2762.27/2770.47 c #Conflicts: 1052000 | #Constraints: 30127 2762.27/2770.47 c #Conflicts: 1053000 | #Constraints: 31155 2762.27/2770.47 c #Conflicts: 1054000 | #Constraints: 32178 2762.27/2770.47 c #Conflicts: 1055000 | #Constraints: 33200 2762.27/2770.47 c #Conflicts: 1056000 | #Constraints: 34227 2762.27/2770.47 c #Conflicts: 1057000 | #Constraints: 35254 2762.27/2770.47 c #Conflicts: 1058000 | #Constraints: 36274 2762.27/2770.47 c #Conflicts: 1059000 | #Constraints: 37301 2762.27/2770.47 c #Conflicts: 1060000 | #Constraints: 38321 2762.27/2770.47 c #Conflicts: 1061000 | #Constraints: 39340 2762.27/2770.47 c #Conflicts: 1062000 | #Constraints: 40364 2762.27/2770.47 c #Conflicts: 1063000 | #Constraints: 41388 2762.27/2770.47 c #Conflicts: 1064000 | #Constraints: 42410 2762.27/2770.47 c #Conflicts: 1065000 | #Constraints: 43438 2762.27/2770.47 c #Conflicts: 1066000 | #Constraints: 44471 2762.27/2770.47 c #Conflicts: 1067000 | #Constraints: 45499 2762.27/2770.47 c #Conflicts: 1068000 | #Constraints: 46525 2762.27/2770.47 c #Conflicts: 1069000 | #Constraints: 47554 2762.27/2770.47 c #Conflicts: 1070000 | #Constraints: 48584 2762.27/2770.47 c #Conflicts: 1071000 | #Constraints: 49602 2762.27/2770.47 c #Conflicts: 1072000 | #Constraints: 50630 2762.27/2770.47 c #Conflicts: 1073000 | #Constraints: 51653 2762.27/2770.47 c #Conflicts: 1074000 | #Constraints: 52677 2762.27/2770.47 c #Conflicts: 1075000 | #Constraints: 53701 2762.27/2770.47 c #Conflicts: 1076000 | #Constraints: 54725 2762.27/2770.47 c #Conflicts: 1077000 | #Constraints: 55751 2762.27/2770.47 c #Conflicts: 1078000 | #Constraints: 56779 2762.27/2770.47 c #Conflicts: 1079000 | #Constraints: 57808 2762.27/2770.47 c #Conflicts: 1080000 | #Constraints: 58841 2762.27/2770.47 c #Conflicts: 1081000 | #Constraints: 59865 2762.27/2770.47 c #Conflicts: 1082000 | #Constraints: 60874 2762.27/2770.47 c #Conflicts: 1083000 | #Constraints: 61892 2762.27/2770.47 c #Conflicts: 1084000 | #Constraints: 62909 2762.27/2770.47 c #Conflicts: 1085000 | #Constraints: 63938 2762.27/2770.47 c #Conflicts: 1086000 | #Constraints: 64960 2762.27/2770.47 c #Conflicts: 1087000 | #Constraints: 65976 2762.27/2770.47 c #Conflicts: 1088000 | #Constraints: 66994 2762.27/2770.47 c #Conflicts: 1089000 | #Constraints: 68017 2762.27/2770.47 c #Conflicts: 1090000 | #Constraints: 69036 2762.27/2770.47 c #Conflicts: 1091000 | #Constraints: 70063 2762.27/2770.47 c #Conflicts: 1092000 | #Constraints: 71089 2762.27/2770.47 c #Conflicts: 1093000 | #Constraints: 72118 2762.27/2770.47 c #Conflicts: 1094000 | #Constraints: 73139 2762.27/2770.47 c #Conflicts: 1095000 | #Constraints: 74165 2762.27/2770.47 c #Conflicts: 1096000 | #Constraints: 75189 2762.27/2770.47 c #Conflicts: 1097000 | #Constraints: 76218 2762.27/2770.47 c #Conflicts: 1098000 | #Constraints: 77238 2762.27/2770.47 c #Conflicts: 1099000 | #Constraints: 78252 2762.27/2770.47 c #Conflicts: 1100000 | #Constraints: 79264 2762.27/2770.47 c #Conflicts: 1101000 | #Constraints: 80288 2762.27/2770.47 c #Conflicts: 1102000 | #Constraints: 81312 2762.27/2770.47 c #Conflicts: 1103000 | #Constraints: 82328 2762.27/2770.47 c #Conflicts: 1104000 | #Constraints: 83344 2762.27/2770.47 c #Conflicts: 1105000 | #Constraints: 84363 2762.27/2770.47 c #Conflicts: 1106000 | #Constraints: 85383 2762.27/2770.47 c #Conflicts: 1107000 | #Constraints: 86400 2762.27/2770.47 c #Conflicts: 1108000 | #Constraints: 87424 2762.27/2770.47 c #Conflicts: 1109000 | #Constraints: 88446 2762.27/2770.47 c #Conflicts: 1110000 | #Constraints: 89474 2762.27/2770.47 c #Conflicts: 1111000 | #Constraints: 90497 2762.27/2770.47 c #Conflicts: 1112000 | #Constraints: 91515 2762.27/2770.47 c #Conflicts: 1113000 | #Constraints: 92537 2762.27/2770.47 c #Conflicts: 1114000 | #Constraints: 93566 2762.27/2770.47 c #Conflicts: 1115000 | #Constraints: 94590 2762.27/2770.47 c #Conflicts: 1116000 | #Constraints: 95610 2762.27/2770.47 c #Conflicts: 1117000 | #Constraints: 96632 2762.27/2770.47 c #Conflicts: 1118000 | #Constraints: 97656 2762.27/2770.47 c #Conflicts: 1119000 | #Constraints: 98681 2762.27/2770.47 c #Conflicts: 1120000 | #Constraints: 99704 2762.27/2770.47 c #Conflicts: 1121000 | #Constraints: 100726 2762.27/2770.47 c #Conflicts: 1122000 | #Constraints: 101750 2762.27/2770.47 c #Conflicts: 1123000 | #Constraints: 102770 2762.27/2770.47 c #Conflicts: 1124000 | #Constraints: 103793 2762.27/2770.47 c #Conflicts: 1125000 | #Constraints: 104810 2762.27/2770.47 c #Conflicts: 1126000 | #Constraints: 105832 2762.27/2770.47 c #Conflicts: 1127000 | #Constraints: 106859 2762.27/2770.47 c #Conflicts: 1128000 | #Constraints: 107879 2775.14/2783.33 c #Conflicts: 1129000 | #Constraints: 108891 2775.14/2783.33 c #Conflicts: 1130000 | #Constraints: 109911 2775.14/2783.33 c #Conflicts: 1131000 | #Constraints: 110931 2775.14/2783.33 c INPROCESSING 2775.14/2783.33 c GARBAGE COLLECT 2775.14/2783.33 c rational objective -54 2965.78/2974.42 c #Conflicts: 1132000 | #Constraints: 57208 2965.78/2974.42 c #Conflicts: 1133000 | #Constraints: 58208 2965.78/2974.42 c #Conflicts: 1134000 | #Constraints: 59208 2965.78/2974.42 c #Conflicts: 1135000 | #Constraints: 60208 2965.78/2974.42 c #Conflicts: 1136000 | #Constraints: 61208 2965.78/2974.42 c #Conflicts: 1137000 | #Constraints: 62208 2965.78/2974.42 c #Conflicts: 1138000 | #Constraints: 63208 2965.78/2974.42 c #Conflicts: 1139000 | #Constraints: 64208 2965.78/2974.42 c #Conflicts: 1140000 | #Constraints: 65208 2965.78/2974.42 c #Conflicts: 1141000 | #Constraints: 66208 2965.78/2974.42 c #Conflicts: 1142000 | #Constraints: 67208 2965.78/2974.42 c #Conflicts: 1143000 | #Constraints: 68208 2965.78/2974.42 c #Conflicts: 1144000 | #Constraints: 69208 2965.78/2974.42 c #Conflicts: 1145000 | #Constraints: 70208 2965.78/2974.42 c #Conflicts: 1146000 | #Constraints: 71208 2965.78/2974.42 c #Conflicts: 1147000 | #Constraints: 72208 2965.78/2974.42 c #Conflicts: 1148000 | #Constraints: 73208 2965.78/2974.42 c #Conflicts: 1149000 | #Constraints: 74208 2965.78/2974.42 c #Conflicts: 1150000 | #Constraints: 75208 2965.78/2974.42 c #Conflicts: 1151000 | #Constraints: 76208 2965.78/2974.42 c #Conflicts: 1152000 | #Constraints: 77208 2965.78/2974.42 c #Conflicts: 1153000 | #Constraints: 78208 2965.78/2974.42 c #Conflicts: 1154000 | #Constraints: 79208 2965.78/2974.42 c #Conflicts: 1155000 | #Constraints: 80208 2965.78/2974.42 c INPROCESSING 2965.78/2974.42 c GARBAGE COLLECT 2965.78/2974.42 c rational objective -54 3075.32/3084.22 c #Conflicts: 1156000 | #Constraints: 41881 3075.32/3084.22 c #Conflicts: 1157000 | #Constraints: 42881 3075.32/3084.22 c #Conflicts: 1158000 | #Constraints: 43881 3075.32/3084.22 c #Conflicts: 1159000 | #Constraints: 44881 3075.32/3084.22 c #Conflicts: 1160000 | #Constraints: 45881 3075.32/3084.22 c #Conflicts: 1161000 | #Constraints: 46881 3075.32/3084.22 c #Conflicts: 1162000 | #Constraints: 47881 3075.32/3084.22 c #Conflicts: 1163000 | #Constraints: 48881 3075.32/3084.22 c #Conflicts: 1164000 | #Constraints: 49881 3075.32/3084.22 c #Conflicts: 1165000 | #Constraints: 50881 3075.32/3084.22 c #Conflicts: 1166000 | #Constraints: 51881 3075.32/3084.22 c #Conflicts: 1167000 | #Constraints: 52881 3075.32/3084.22 c #Conflicts: 1168000 | #Constraints: 53881 3075.32/3084.22 c #Conflicts: 1169000 | #Constraints: 54881 3075.32/3084.22 c #Conflicts: 1170000 | #Constraints: 55881 3075.32/3084.22 c #Conflicts: 1171000 | #Constraints: 56881 3075.32/3084.22 c #Conflicts: 1172000 | #Constraints: 57881 3075.32/3084.22 c #Conflicts: 1173000 | #Constraints: 58881 3075.32/3084.22 c #Conflicts: 1174000 | #Constraints: 59881 3075.32/3084.22 c #Conflicts: 1175000 | #Constraints: 60881 3075.32/3084.22 c #Conflicts: 1176000 | #Constraints: 61881 3075.32/3084.22 c #Conflicts: 1177000 | #Constraints: 62881 3075.32/3084.22 c #Conflicts: 1178000 | #Constraints: 63881 3075.32/3084.22 c #Conflicts: 1179000 | #Constraints: 64881 3075.32/3084.22 c INPROCESSING 3075.32/3084.22 c GARBAGE COLLECT 3075.32/3084.22 c rational objective -54 3112.74/3121.74 c #Conflicts: 1180000 | #Constraints: 34132 3112.74/3121.74 c #Conflicts: 1181000 | #Constraints: 35156 3112.74/3121.74 c #Conflicts: 1182000 | #Constraints: 36167 3112.74/3121.74 c #Conflicts: 1183000 | #Constraints: 37180 3112.74/3121.74 c #Conflicts: 1184000 | #Constraints: 38195 3112.74/3121.74 c #Conflicts: 1185000 | #Constraints: 39207 3112.74/3121.74 c #Conflicts: 1186000 | #Constraints: 40215 3112.74/3121.74 c #Conflicts: 1187000 | #Constraints: 41232 3112.74/3121.74 c #Conflicts: 1188000 | #Constraints: 42256 3112.74/3121.74 c #Conflicts: 1189000 | #Constraints: 43269 3112.74/3121.74 c #Conflicts: 1190000 | #Constraints: 44277 3112.74/3121.74 c #Conflicts: 1191000 | #Constraints: 45290 3112.74/3121.74 c #Conflicts: 1192000 | #Constraints: 46304 3112.74/3121.74 c #Conflicts: 1193000 | #Constraints: 47313 3112.74/3121.74 c #Conflicts: 1194000 | #Constraints: 48322 3112.74/3121.74 c #Conflicts: 1195000 | #Constraints: 49334 3112.74/3121.74 c #Conflicts: 1196000 | #Constraints: 50348 3112.74/3121.74 c #Conflicts: 1197000 | #Constraints: 51361 3112.74/3121.74 c #Conflicts: 1198000 | #Constraints: 52371 3112.74/3121.74 c #Conflicts: 1199000 | #Constraints: 53385 3112.74/3121.74 c #Conflicts: 1200000 | #Constraints: 54398 3112.74/3121.74 c #Conflicts: 1201000 | #Constraints: 55405 3112.74/3121.74 c #Conflicts: 1202000 | #Constraints: 56409 3112.74/3121.74 c #Conflicts: 1203000 | #Constraints: 57430 3112.74/3121.74 c INPROCESSING 3112.74/3121.74 c GARBAGE COLLECT 3112.74/3121.74 c rational objective -54 3593.85/3604.04 c #Conflicts: 1204000 | #Constraints: 30159 3593.85/3604.04 c #Conflicts: 1205000 | #Constraints: 31159 3593.85/3604.04 c #Conflicts: 1206000 | #Constraints: 32159 3593.85/3604.04 c #Conflicts: 1207000 | #Constraints: 33159 3593.85/3604.04 c #Conflicts: 1208000 | #Constraints: 34159 3593.85/3604.04 c #Conflicts: 1209000 | #Constraints: 35159 3593.85/3604.04 c #Conflicts: 1210000 | #Constraints: 36159 3593.85/3604.04 c #Conflicts: 1211000 | #Constraints: 37159 3593.85/3604.04 c #Conflicts: 1212000 | #Constraints: 38159 3593.85/3604.04 c #Conflicts: 1213000 | #Constraints: 39159 3593.85/3604.04 c #Conflicts: 1214000 | #Constraints: 40159 3593.85/3604.04 c #Conflicts: 1215000 | #Constraints: 41159 3593.85/3604.04 c #Conflicts: 1216000 | #Constraints: 42159 3593.85/3604.04 c #Conflicts: 1217000 | #Constraints: 43159 3593.85/3604.04 c #Conflicts: 1218000 | #Constraints: 44159 3593.85/3604.04 c #Conflicts: 1219000 | #Constraints: 45159 3593.85/3604.04 c #Conflicts: 1220000 | #Constraints: 46159 3593.85/3604.04 c #Conflicts: 1221000 | #Constraints: 47159 3593.85/3604.04 c #Conflicts: 1222000 | #Constraints: 48159 3593.85/3604.04 c #Conflicts: 1223000 | #Constraints: 49159 3593.85/3604.04 c #Conflicts: 1224000 | #Constraints: 50159 3593.85/3604.04 c #Conflicts: 1225000 | #Constraints: 51159 3593.85/3604.04 c #Conflicts: 1226000 | #Constraints: 52159 3593.85/3604.04 c #Conflicts: 1227000 | #Constraints: 53159 3593.85/3604.04 c #Conflicts: 1228000 | #Constraints: 54159 3593.85/3604.04 c #Conflicts: 1229000 | #Constraints: 55159 3593.85/3604.04 c #Conflicts: 1230000 | #Constraints: 56159 3593.85/3604.04 c #Conflicts: 1231000 | #Constraints: 57159 3593.85/3604.04 c #Conflicts: 1232000 | #Constraints: 58159 3593.85/3604.04 c #Conflicts: 1233000 | #Constraints: 59159 3593.85/3604.04 c #Conflicts: 1234000 | #Constraints: 60159 3593.85/3604.04 c #Conflicts: 1235000 | #Constraints: 61159 3593.85/3604.04 c #Conflicts: 1236000 | #Constraints: 62159 3593.85/3604.04 c #Conflicts: 1237000 | #Constraints: 63159 3593.85/3604.04 c #Conflicts: 1238000 | #Constraints: 64159 3593.85/3604.04 c #Conflicts: 1239000 | #Constraints: 65159 3593.85/3604.04 c #Conflicts: 1240000 | #Constraints: 66159 3593.85/3604.04 c #Conflicts: 1241000 | #Constraints: 67159 3593.85/3604.04 c #Conflicts: 1242000 | #Constraints: 68159 3593.85/3604.04 c #Conflicts: 1243000 | #Constraints: 69159 3593.85/3604.04 c #Conflicts: 1244000 | #Constraints: 70159 3593.85/3604.04 c #Conflicts: 1245000 | #Constraints: 71159 3593.85/3604.04 c #Conflicts: 1246000 | #Constraints: 72159 3593.85/3604.04 c #Conflicts: 1247000 | #Constraints: 73159 3593.85/3604.04 c #Conflicts: 1248000 | #Constraints: 74159 3593.85/3604.04 c #Conflicts: 1249000 | #Constraints: 75159 3593.85/3604.04 c #Conflicts: 1250000 | #Constraints: 76159 3593.85/3604.04 c #Conflicts: 1251000 | #Constraints: 77159 3593.85/3604.04 c #Conflicts: 1252000 | #Constraints: 78159 3593.85/3604.04 c #Conflicts: 1253000 | #Constraints: 79159 3593.85/3604.04 c #Conflicts: 1254000 | #Constraints: 80159 3593.85/3604.04 c #Conflicts: 1255000 | #Constraints: 81159 3593.85/3604.04 c #Conflicts: 1256000 | #Constraints: 82159 3593.85/3604.04 c #Conflicts: 1257000 | #Constraints: 83159 3593.85/3604.04 c #Conflicts: 1258000 | #Constraints: 84159 3593.85/3604.04 c #Conflicts: 1259000 | #Constraints: 85159 3593.85/3604.04 c #Conflicts: 1260000 | #Constraints: 86159 3593.85/3604.04 c #Conflicts: 1261000 | #Constraints: 87159 3593.85/3604.04 c #Conflicts: 1262000 | #Constraints: 88159 3593.85/3604.04 c #Conflicts: 1263000 | #Constraints: 89159 3593.85/3604.04 c #Conflicts: 1264000 | #Constraints: 90159 3593.85/3604.04 c #Conflicts: 1265000 | #Constraints: 91159 3593.85/3604.04 c #Conflicts: 1266000 | #Constraints: 92159 3593.85/3604.04 c #Conflicts: 1267000 | #Constraints: 93159 3593.85/3604.04 c #Conflicts: 1268000 | #Constraints: 94159 3593.85/3604.04 c #Conflicts: 1269000 | #Constraints: 95159 3593.85/3604.04 c #Conflicts: 1270000 | #Constraints: 96159 3593.85/3604.04 c #Conflicts: 1271000 | #Constraints: 97159 3593.85/3604.04 c #Conflicts: 1272000 | #Constraints: 98159 3593.85/3604.04 c #Conflicts: 1273000 | #Constraints: 99159 3593.85/3604.04 c #Conflicts: 1274000 | #Constraints: 100159 3593.85/3604.04 c #Conflicts: 1275000 | #Constraints: 101159 3593.85/3604.04 c #Conflicts: 1276000 | #Constraints: 102159 3593.85/3604.04 c #Conflicts: 1277000 | #Constraints: 103159 3593.85/3604.04 c #Conflicts: 1278000 | #Constraints: 104159 3593.85/3604.04 c #Conflicts: 1279000 | #Constraints: 105159 3593.85/3604.04 c #Conflicts: 1280000 | #Constraints: 106159 3593.85/3604.04 c #Conflicts: 1281000 | #Constraints: 107159 3593.85/3604.04 c #Conflicts: 1282000 | #Constraints: 108159 3600.03/3610.20 c Program interrupted by user. 3600.03/3610.20 c cpu time 3580.56 s 3600.03/3610.20 c deterministic time 301034640818 3.01e+11 3600.03/3610.20 c optimization time 485.966 s 3600.03/3610.20 c total solve time 3094.59 s 3600.03/3610.20 c core-guided solve time 1688.92 s 3600.03/3610.20 c propagation time 2932.16 s 3600.03/3610.20 c conflict analysis time 617.2 s 3600.03/3610.20 c propagations 170031336 3600.03/3610.20 c resolve steps 18360194 3600.03/3610.20 c decisions 3612928 3600.03/3610.20 c conflicts 1282614 3600.03/3610.20 c restarts 2459 3600.03/3610.20 c inprocessing phases 68 3600.03/3610.20 c input clauses 591 3600.03/3610.20 c input cardinalities 181 3600.03/3610.20 c input general constraints 612 3600.03/3610.20 c input average constraint length 10.52 3600.03/3610.20 c input average constraint degree 5.60 3600.03/3610.20 c learned clauses 813779 3600.03/3610.20 c learned cardinalities 3730 3600.03/3610.20 c learned general constraints 478512 3600.03/3610.20 c learned average constraint length 131.85 3600.03/3610.20 c learned average constraint degree 604134393.70 3600.03/3610.20 c watched constraints 269407 3600.03/3610.20 c counting constraints 209717 3600.03/3610.20 c gcd simplifications 111799 3600.03/3610.20 c detected cardinalities 1224 3600.03/3610.20 c weakened non-implied lits 94963435 3600.03/3610.20 c weakened non-implying lits 162057 3600.03/3610.20 c original variables 432 3600.03/3610.20 c clausal propagations 32532914 3600.03/3610.20 c cardinality propagations 10369898 3600.03/3610.20 c watched propagations 10285113 3600.03/3610.20 c counting propagations 112450200 3600.03/3610.20 c watch lookups 71102529771 3600.03/3610.20 c watch backjump lookups 61671555147 3600.03/3610.20 c watch checks 158682296640 3600.03/3610.20 c propagation checks 8597304716 3600.03/3610.20 c constraint additions 631104240 3600.03/3610.20 c trail pops 174913325 3600.03/3610.20 c formula constraints 720 3600.03/3610.20 c learned constraints 1269389 3600.03/3610.20 c bound constraints 22 3600.03/3610.20 c core-guided constraints 642 3600.03/3610.20 c encountered formula constraints 8651484 3600.03/3610.20 c encountered learned constraints 8738039 3600.03/3610.20 c encountered bound constraints 2720 3600.03/3610.20 c encountered core-guided constraints 2002487 3600.03/3610.20 c LP total time 29.9534 s 3600.03/3610.20 c LP solve time 25.57 s 3600.03/3610.20 c LP constraints added 879 3600.03/3610.20 c LP constraints removed 155 3600.03/3610.20 c LP pivots internal 1282670 3600.03/3610.20 c LP pivots root 10044 3600.03/3610.20 c LP calls 32904 3600.03/3610.20 c LP optimalities 19588 3600.03/3610.20 c LP no pivot count 861 3600.03/3610.20 c LP infeasibilities 13316 3600.03/3610.20 c LP valid Farkas constraints 13316 3600.03/3610.20 c LP learned Farkas constraints 13316 3600.03/3610.20 c LP basis resets 0 3600.03/3610.20 c LP cycling count 0 3600.03/3610.20 c LP singular count 0 3600.03/3610.20 c LP no primal count 0 3600.03/3610.20 c LP no farkas count 0 3600.03/3610.20 c LP other issue count 0 3600.03/3610.20 c LP Gomory cuts 0 3600.03/3610.20 c LP learned cuts 159 3600.03/3610.20 c LP deleted cuts 155 3600.03/3610.20 c LP encountered Gomory constraints 0 3600.03/3610.20 c LP encountered Farkas constraints 203452 3600.03/3610.20 c LP encountered learned Farkas constraints 31310 3600.03/3610.20 c CG auxiliary variables introduced 255 3600.03/3610.20 c CG solutions found 22 3600.03/3610.20 c CG cores constructed 123 3600.03/3610.20 c CG core cardinality constraints returned 0 3600.03/3610.20 c CG unit cores 0 3600.03/3610.20 c CG single cores 123 3600.03/3610.20 c CG blocks removed during cardinality reduction 0 3600.03/3610.20 c CG first core best 0 3600.03/3610.20 c CG decision core best 0 3600.03/3610.20 c CG core reduction tie 0 3600.03/3610.20 c CG core degree average 1.00 3600.03/3610.20 c CG core slack average 3.48 3600.03/3610.20 s SATISFIABLE 3600.03/3610.20 v x1 -x2 -x3 -x4 -x5 x6 -x7 x8 -x9 x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 x18 -x19 x20 -x21 -x22 x23 -x24 -x25 x26 -x27 -x28 -x29 x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 x39 x40 -x41 -x42 -x43 -x44 x45 x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 x54 -x55 -x56 x57 -x58 x59 -x60 -x61 -x62 x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 x78 -x79 -x80 x81 -x82 x83 -x84 -x85 x86 -x87 -x88 -x89 x90 x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 x102 x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 x189 -x190 -x191 -x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 x368 x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432
OK -35
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: 63968 MiB (56848 MiB free)
memory of node 1: 64473 MiB (62471 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462854-1722346470/watcher-4462854-1722346470 -o /tmp/evaluation-result-4462854-1722346470/solver-4462854-1722346470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722340763-7096 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462854-1722346470 --lp-cut-gomory=0 HOME/instance-4462854-1722346470.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=10634, runsolver pid=10631
[startup+0.100082 s]*
/proc/loadavg: 4.05 4.10 4.09 5/262 10635
/proc/meminfo: memFree=122179008/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=38756 memory=8848 CPUtime=0.07 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 679 0 0 0 5 2 0 0 20 0 1 0 1251565 39686144 2212 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 9689 2212 1770 992 0 1547 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38756 KiB
Current children cumulated memory: 8848 KiB
[startup+0.205697 s]*
/proc/loadavg: 4.05 4.10 4.09 5/262 10635
/proc/meminfo: memFree=122175812/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=39648 memory=10764 CPUtime=0.17 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 1070 0 0 0 15 2 0 0 20 0 1 0 1251565 40599552 2691 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 9912 2691 1847 992 0 1770 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 39648 KiB
Current children cumulated memory: 10764 KiB
[startup+0.305657 s]*
/proc/loadavg: 4.05 4.10 4.09 5/262 10635
/proc/meminfo: memFree=122170916/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=40448 memory=14036 CPUtime=0.27 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 1340 0 0 0 24 3 0 0 20 0 1 0 1251565 41418752 3509 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 10112 3509 1847 992 0 1970 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 40448 KiB
Current children cumulated memory: 14036 KiB
[startup+0.700196 s]
/proc/loadavg: 4.05 4.10 4.09 5/262 10635
/proc/meminfo: memFree=122166744/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=41916 memory=15460 CPUtime=0.65 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 1711 0 0 0 61 4 0 0 20 0 1 0 1251565 42921984 3865 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 10479 3865 1847 992 0 2337 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 15460 KiB
[startup+1.50018 s]
/proc/loadavg: 4.05 4.10 4.09 5/262 10635
/proc/meminfo: memFree=122159652/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=42416 memory=15964 CPUtime=1.45 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 1840 0 0 0 137 8 0 0 20 0 1 0 1251565 43433984 3991 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 10604 3991 1847 992 0 2462 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 42416 KiB
Current children cumulated memory: 15964 KiB
[startup+3.10557 s]
/proc/loadavg: 4.04 4.09 4.08 5/262 10635
/proc/meminfo: memFree=122129484/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=42964 memory=16560 CPUtime=3.06 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 1991 0 0 0 291 15 0 0 20 0 1 0 1251565 43995136 4140 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 10741 4140 1847 992 0 2599 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 42964 KiB
Current children cumulated memory: 16560 KiB
[startup+6.30018 s]
/proc/loadavg: 4.04 4.09 4.08 5/262 10635
/proc/meminfo: memFree=122086884/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=47024 memory=19024 CPUtime=6.24 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 2618 0 0 0 600 24 0 0 20 0 1 0 1251565 48152576 4756 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 11756 4756 1847 992 0 3614 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 47024 KiB
Current children cumulated memory: 19024 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/261 10636
/proc/meminfo: memFree=122043156/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=49992 memory=23312 CPUtime=12.63 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 3742 0 0 0 1217 46 0 0 20 0 1 0 1251565 51191808 5828 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 12498 5828 1847 992 0 4356 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 49992 KiB
Current children cumulated memory: 23312 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/261 10638
/proc/meminfo: memFree=121977624/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=84576 memory=48392 CPUtime=25.39 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 7549 0 0 0 2466 73 0 0 20 0 1 0 1251565 86605824 12098 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 21144 12098 1847 992 0 13002 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 84576 KiB
Current children cumulated memory: 48392 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.09 4.09 5/258 10642
/proc/meminfo: memFree=121888620/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=86816 memory=50216 CPUtime=50.92 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 8136 0 0 0 4976 116 0 0 20 0 1 0 1251565 88899584 12554 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 21704 12554 1847 992 0 13562 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 86816 KiB
Current children cumulated memory: 50216 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/259 10652
/proc/meminfo: memFree=121765924/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=96860 memory=67156 CPUtime=101.96 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 10384 0 0 0 10025 171 0 0 20 0 1 0 1251565 99184640 16789 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 24215 16789 1847 992 0 16073 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 96860 KiB
Current children cumulated memory: 67156 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 10663
/proc/meminfo: memFree=121599168/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=96860 memory=67156 CPUtime=161.8 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 10408 0 0 0 15923 257 0 0 20 0 1 0 1251565 99184640 16789 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 24215 16789 1847 992 0 16073 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 96860 KiB
Current children cumulated memory: 67156 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 10676
/proc/meminfo: memFree=121456072/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=123452 memory=81440 CPUtime=221.61 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 12601 0 0 0 21861 300 0 0 20 0 1 0 1251565 126414848 20360 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 30863 20360 1847 992 0 22721 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 123452 KiB
Current children cumulated memory: 81440 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 10686
/proc/meminfo: memFree=121286908/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=123600 memory=81440 CPUtime=281.43 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 12615 0 0 0 27783 360 0 0 20 0 1 0 1251565 126566400 20360 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 30900 20360 1847 992 0 22758 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 123600 KiB
Current children cumulated memory: 81440 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/260 10700
/proc/meminfo: memFree=121129600/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=126904 memory=83788 CPUtime=341.27 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 13241 0 0 0 33689 438 0 0 20 0 1 0 1251565 129949696 20947 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 31726 20947 1847 992 0 23584 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 126904 KiB
Current children cumulated memory: 83788 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 10758
/proc/meminfo: memFree=121796476/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=140540 memory=111048 CPUtime=401.05 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 16245 0 0 0 39628 477 0 0 20 0 1 0 1251565 143912960 27762 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 35135 27762 1847 992 0 26993 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 140540 KiB
Current children cumulated memory: 111048 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 10769
/proc/meminfo: memFree=120942044/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=140312 memory=113860 CPUtime=460.86 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 16463 0 0 0 45571 515 0 0 20 0 1 0 1251565 143679488 28465 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 35078 28465 1847 992 0 26936 0
################
# More data... #
################
Current children cumulated memory: 195860 KiB
[startup+2862.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/263 12246
/proc/meminfo: memFree=107215704/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=277508 memory=195860 CPUtime=2853.95 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 30969 0 0 0 283670 1725 0 0 20 0 1 0 1251565 284168192 48965 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 69377 48965 1847 992 0 61235 0
Current children cumulated CPU time: 2853.95 s
Current children cumulated vsize: 277508 KiB
Current children cumulated memory: 195860 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/262 12256
/proc/meminfo: memFree=107005276/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=277508 memory=195860 CPUtime=2913.81 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 31036 0 0 0 289641 1740 0 0 20 0 1 0 1251565 284168192 48965 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 69377 48965 1847 992 0 61235 0
Current children cumulated CPU time: 2913.81 s
Current children cumulated vsize: 277508 KiB
Current children cumulated memory: 195860 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/260 12267
/proc/meminfo: memFree=106883104/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=277072 memory=195504 CPUtime=2973.67 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 31265 0 0 0 295614 1753 0 0 20 0 1 0 1251565 283721728 48876 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 69268 48876 1847 992 0 61126 0
Current children cumulated CPU time: 2973.67 s
Current children cumulated vsize: 277072 KiB
Current children cumulated memory: 195504 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/261 12660
/proc/meminfo: memFree=106273024/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=277072 memory=195504 CPUtime=3033.52 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 31322 0 0 0 301575 1777 0 0 20 0 1 0 1251565 283721728 48876 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 69268 48876 1847 992 0 61126 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 277072 KiB
Current children cumulated memory: 195504 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/260 12671
/proc/meminfo: memFree=105692528/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=278168 memory=196264 CPUtime=3093.38 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 31570 0 0 0 307532 1806 0 0 20 0 1 0 1251565 284844032 49066 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 69542 49066 1847 992 0 61400 0
Current children cumulated CPU time: 3093.38 s
Current children cumulated vsize: 278168 KiB
Current children cumulated memory: 196264 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/261 12683
/proc/meminfo: memFree=105236352/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=278168 memory=196320 CPUtime=3153.24 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 31640 0 0 0 313483 1841 0 0 20 0 1 0 1251565 284844032 49080 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 69542 49080 1847 992 0 61400 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 278168 KiB
Current children cumulated memory: 196320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 12862
/proc/meminfo: memFree=104987648/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=278168 memory=196320 CPUtime=3213.1 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 31699 0 0 0 319449 1861 0 0 20 0 1 0 1251565 284844032 49080 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 69542 49080 1847 992 0 61400 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 278168 KiB
Current children cumulated memory: 196320 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 12873
/proc/meminfo: memFree=104789028/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=278168 memory=196328 CPUtime=3272.97 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 31762 0 0 0 325417 1880 0 0 20 0 1 0 1251565 284844032 49082 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 69542 49082 1847 992 0 61400 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 278168 KiB
Current children cumulated memory: 196328 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 12942
/proc/meminfo: memFree=104474232/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=278168 memory=196356 CPUtime=3332.82 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 31831 0 0 0 331386 1896 0 0 20 0 1 0 1251565 284844032 49089 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 69542 49089 1847 992 0 61400 0
Current children cumulated CPU time: 3332.82 s
Current children cumulated vsize: 278168 KiB
Current children cumulated memory: 196356 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 12953
/proc/meminfo: memFree=104103484/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=278168 memory=196420 CPUtime=3392.66 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 31914 0 0 0 337357 1909 0 0 20 0 1 0 1251565 284844032 49105 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 69542 49105 1847 992 0 61400 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 278168 KiB
Current children cumulated memory: 196420 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 12964
/proc/meminfo: memFree=103293780/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=278864 memory=196868 CPUtime=3452.5 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 32092 0 0 0 343328 1922 0 0 20 0 1 0 1251565 285556736 49217 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 69716 49217 1847 992 0 61574 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 278864 KiB
Current children cumulated memory: 196868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/261 12974
/proc/meminfo: memFree=102556448/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=279376 memory=197216 CPUtime=3512.35 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 32248 0 0 0 349303 1932 0 0 20 0 1 0 1251565 286081024 49304 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 69844 49304 1847 992 0 61702 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 279376 KiB
Current children cumulated memory: 197216 KiB
[startup+3582.3 s]
/proc/loadavg: 4.41 4.17 4.11 5/261 12985
/proc/meminfo: memFree=101950752/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=281040 memory=198344 CPUtime=3572.2 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 32601 0 0 0 355277 1943 0 0 20 0 1 0 1251565 287784960 49586 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 70260 49586 1847 992 0 62118 0
Current children cumulated CPU time: 3572.2 s
Current children cumulated vsize: 281040 KiB
Current children cumulated memory: 198344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.35 4.18 4.12 5/261 12991
/proc/meminfo: memFree=101756356/131524600 swapFree=131071996/131071996
[pid=10634] ppid=10631 vsize=281296 memory=198344 CPUtime=3600.03 cores=4,6
/proc/10634/stat : 10634 (roundingsat) R 10631 10634 7085 0 -1 4194304 32646 0 0 0 358055 1948 0 0 20 0 1 0 1251565 288047104 49586 134679101440 4194304 8255733 140721433079920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34996224 140721433084766 140721433085028 140721433085028 140721433092041 0
/proc/10634/statm: 70324 49586 1847 992 0 62182 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 281296 KiB
Current children cumulated memory: 198344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 10634 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.56 s, system=19.4908 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.21
CPU time (s): 3600.05
CPU user time (s): 3580.56
CPU system time (s): 19.4908
CPU usage (%): 99.7185
Max. virtual memory (cumulated for all children) (KiB): 281296
Max. memory (cumulated for all children) (KiB): 198344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.56
system time used= 19.4908
maximum resident set size= 198344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32664
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5427928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113
involuntary context switches= 4824
# summary of solver processes directly reported to runsolver:
# pid: 10634
# total CPU time (s): 3600.05
# total CPU user time (s): 3580.56
# total CPU system time (s): 19.4908
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5385 second user time and 16.8761 second system time
The end
Begin job on nodeC035 at 2024-07-30 15:34:30 IDJOB=4462854 IDBENCH=158488 IDSOLVER=3089 FILE ID=nodeC035/4462854-1722346470 RUNJOBID= nodeC035-1722340763-7096 SLURM_JOB_ID= 8249008 Free space on /tmp= 890044 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0334-0334.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-4462854-1722346470/watcher-4462854-1722346470 -o /tmp/evaluation-result-4462854-1722346470/solver-4462854-1722346470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722340763-7096 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462854-1722346470 --lp-cut-gomory=0 HOME/instance-4462854-1722346470.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c86a302e56842e7d56f33820d48ef5a5 RANDOM SEED=1131521960 nodeC035.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 : 3669.776 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.79 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.528 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 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 : 3609.457 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.79 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.855 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 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.296 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.79 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.538 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 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.440 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.79 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.715 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122183504 kB MemAvailable: 129107812 kB Buffers: 45800 kB Cached: 7708132 kB SwapCached: 0 kB Active: 172628 kB Inactive: 8681180 kB Active(anon): 1568 kB Inactive(anon): 1119372 kB Active(file): 171060 kB Inactive(file): 7561808 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 220816 kB Writeback: 288 kB AnonPages: 1091460 kB Mapped: 97544 kB Shmem: 21336 kB KReclaimable: 62524 kB Slab: 149292 kB SReclaimable: 62524 kB SUnreclaim: 86768 kB KernelStack: 4236 kB PageTables: 11028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1444176 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 9024 kB HardwareCorrupted: 0 kB AnonHugePages: 870400 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: 242388 kB DirectMap2M: 7919616 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890044 MiB End job on nodeC035 at 2024-07-30 16:34:40