| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | -36 | 3600.08 | 3610.96 |
| 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.01 c #variables 432 #constraints 720 0.00/0.04 c bounds - >= -162 @ 0.007063 0.00/0.04 c rational objective -54 0.21/0.28 c bounds 2 >= -162 @ 0.034833 0.21/0.28 c bounds 2 >= -161 @ 0.056666 0.21/0.28 c bounds 2 >= -160 @ 0.057095 0.21/0.28 c bounds 2 >= -159 @ 0.057565 0.21/0.28 c bounds 2 >= -158 @ 0.058023 0.21/0.28 c bounds 2 >= -157 @ 0.058467 0.21/0.28 c bounds 2 >= -156 @ 0.058467 0.21/0.28 c bounds 2 >= -155 @ 0.058467 0.21/0.28 c bounds 2 >= -154 @ 0.05847 0.21/0.28 c bounds 2 >= -153 @ 0.05847 0.21/0.28 c bounds 2 >= -152 @ 0.058896 0.21/0.28 c bounds 2 >= -151 @ 0.05936 0.21/0.28 c bounds 2 >= -150 @ 0.059839 0.21/0.28 c bounds -2 >= -150 @ 0.060531 0.21/0.28 c bounds -2 >= -149 @ 0.061047 0.21/0.28 c bounds -2 >= -148 @ 0.061569 0.21/0.28 c bounds -2 >= -147 @ 0.062102 0.21/0.28 c bounds -2 >= -146 @ 0.062626 0.21/0.28 c bounds -2 >= -145 @ 0.063185 0.21/0.28 c bounds -2 >= -144 @ 0.06375 0.21/0.28 c bounds -2 >= -143 @ 0.064286 0.21/0.28 c bounds -2 >= -142 @ 0.06443 0.21/0.28 c bounds -2 >= -141 @ 0.064639 0.21/0.28 c bounds -5 >= -141 @ 0.065171 0.21/0.28 c bounds -5 >= -140 @ 0.065749 0.21/0.28 c bounds -5 >= -139 @ 0.066345 0.21/0.28 c bounds -5 >= -138 @ 0.066418 0.21/0.28 c bounds -5 >= -137 @ 0.066418 0.21/0.28 c bounds -5 >= -136 @ 0.066418 0.21/0.28 c bounds -5 >= -135 @ 0.066792 0.21/0.28 c bounds -5 >= -134 @ 0.067391 0.21/0.28 c bounds -5 >= -133 @ 0.067995 0.21/0.28 c bounds -6 >= -133 @ 0.068876 0.21/0.28 c bounds -6 >= -132 @ 0.069551 0.21/0.28 c bounds -6 >= -131 @ 0.070185 0.21/0.28 c bounds -6 >= -130 @ 0.070391 0.21/0.28 c bounds -6 >= -129 @ 0.070633 0.21/0.28 c bounds -6 >= -128 @ 0.071171 0.21/0.28 c bounds -6 >= -127 @ 0.071385 0.21/0.28 c bounds -6 >= -126 @ 0.07161 0.21/0.28 c bounds -6 >= -125 @ 0.072159 0.21/0.28 c bounds -6 >= -124 @ 0.072379 0.21/0.28 c bounds -8 >= -124 @ 0.074822 0.21/0.28 c bounds -8 >= -123 @ 0.075574 0.21/0.28 c bounds -8 >= -122 @ 0.076312 0.21/0.28 c bounds -8 >= -121 @ 0.077038 0.21/0.28 c bounds -8 >= -120 @ 0.077348 0.21/0.28 c bounds -8 >= -119 @ 0.077678 0.21/0.28 c bounds -8 >= -118 @ 0.078306 0.21/0.28 c bounds -8 >= -117 @ 0.079066 0.21/0.28 c bounds -8 >= -116 @ 0.079843 0.21/0.28 c bounds -8 >= -115 @ 0.080644 0.21/0.28 c bounds -8 >= -114 @ 0.081457 0.21/0.28 c bounds -8 >= -113 @ 0.082276 0.21/0.28 c bounds -8 >= -112 @ 0.083066 0.21/0.28 c bounds -8 >= -111 @ 0.08331 0.21/0.28 c bounds -8 >= -110 @ 0.083311 0.21/0.28 c bounds -8 >= -109 @ 0.08361 0.21/0.28 c bounds -8 >= -108 @ 0.084429 0.21/0.28 c bounds -8 >= -107 @ 0.085242 0.21/0.28 c bounds -11 >= -107 @ 0.086101 0.21/0.28 c bounds -11 >= -106 @ 0.086292 0.21/0.28 c bounds -11 >= -105 @ 0.086819 0.21/0.28 c bounds -11 >= -104 @ 0.087679 0.21/0.28 c bounds -11 >= -103 @ 0.088537 0.21/0.28 c bounds -11 >= -102 @ 0.089387 0.21/0.28 c bounds -11 >= -101 @ 0.090264 0.21/0.28 c bounds -14 >= -101 @ 0.091167 0.21/0.28 c bounds -14 >= -100 @ 0.09212 0.21/0.28 c bounds -14 >= -99 @ 0.092256 0.21/0.28 c bounds -14 >= -98 @ 0.092256 0.21/0.28 c bounds -14 >= -97 @ 0.092256 0.21/0.28 c bounds -14 >= -96 @ 0.092917 0.21/0.28 c bounds -15 >= -96 @ 0.09325 0.21/0.28 c bounds -15 >= -95 @ 0.093251 0.21/0.28 c bounds -15 >= -94 @ 0.093251 0.21/0.28 c bounds -15 >= -93 @ 0.093251 0.21/0.28 c bounds -15 >= -92 @ 0.093622 0.21/0.28 c bounds -15 >= -91 @ 0.094573 0.21/0.28 c bounds -17 >= -91 @ 0.096609 0.21/0.28 c bounds -17 >= -90 @ 0.0976 0.21/0.28 c bounds -17 >= -89 @ 0.098527 0.21/0.28 c bounds -17 >= -88 @ 0.099474 0.21/0.28 c bounds -17 >= -87 @ 0.100425 0.21/0.28 c bounds -17 >= -86 @ 0.101359 0.21/0.28 c bounds -17 >= -85 @ 0.102298 0.21/0.28 c bounds -17 >= -84 @ 0.103275 0.21/0.28 c bounds -17 >= -83 @ 0.104328 0.21/0.28 c bounds -17 >= -82 @ 0.105509 0.21/0.28 c bounds -17 >= -81 @ 0.106546 0.21/0.28 c bounds -19 >= -81 @ 0.107778 0.21/0.28 c bounds -19 >= -80 @ 0.108147 0.21/0.28 c bounds -19 >= -79 @ 0.108771 0.21/0.28 c bounds -19 >= -78 @ 0.109142 0.21/0.28 c bounds -19 >= -77 @ 0.109738 0.21/0.28 c bounds -19 >= -76 @ 0.110136 0.21/0.28 c bounds -19 >= -75 @ 0.110137 0.21/0.28 c bounds -22 >= -75 @ 0.110904 0.21/0.28 c bounds -22 >= -74 @ 0.111131 0.21/0.28 c bounds -22 >= -73 @ 0.111941 0.21/0.28 c bounds -22 >= -72 @ 0.112126 0.21/0.28 c bounds -22 >= -71 @ 0.112473 0.21/0.28 c bounds -22 >= -70 @ 0.113827 0.21/0.28 c bounds -23 >= -70 @ 0.114891 0.21/0.28 c bounds -23 >= -69 @ 0.116326 0.21/0.28 c bounds -23 >= -68 @ 0.117091 0.21/0.28 c bounds -23 >= -67 @ 0.117385 0.21/0.28 c bounds -23 >= -66 @ 0.11862 0.21/0.28 c bounds -23 >= -65 @ 0.120243 0.21/0.28 c bounds -24 >= -65 @ 0.1212 0.21/0.28 c bounds -24 >= -64 @ 0.122571 0.21/0.28 c bounds -24 >= -63 @ 0.123053 0.21/0.28 c bounds -25 >= -63 @ 0.124139 0.21/0.28 c bounds -25 >= -62 @ 0.125032 0.21/0.28 c bounds -25 >= -61 @ 0.126012 0.21/0.28 c bounds -25 >= -60 @ 0.12702 0.21/0.28 c bounds -25 >= -59 @ 0.127323 0.21/0.28 c bounds -26 >= -59 @ 0.128958 0.21/0.28 c bounds -26 >= -58 @ 0.129318 0.21/0.28 c bounds -26 >= -57 @ 0.130002 0.21/0.28 c bounds -26 >= -56 @ 0.130383 0.21/0.28 c bounds -27 >= -56 @ 0.131616 0.21/0.28 c bounds -27 >= -55 @ 0.132309 0.21/0.28 c bounds -27 >= -54 @ 0.133475 0.21/0.28 c bounds -27 >= -53 @ 0.133975 0.21/0.28 c bounds -28 >= -53 @ 0.181192 0.21/0.28 c bounds -28 >= -52 @ 0.181671 0.21/0.28 c bounds -28 >= -51 @ 0.183805 0.21/0.28 c bounds -28 >= -50 @ 0.185743 0.21/0.28 c bounds -28 >= -49 @ 0.187628 0.21/0.28 c bounds -28 >= -48 @ 0.190318 0.21/0.28 c bounds -28 >= -47 @ 0.196412 0.21/0.28 c bounds -28 >= -46 @ 0.215452 0.78/0.82 c bounds -29 >= -46 @ 0.320713 0.78/0.82 c bounds -29 >= -45 @ 0.366113 0.78/0.82 c bounds -30 >= -45 @ 0.367616 0.78/0.82 c bounds -31 >= -45 @ 0.374541 0.78/0.82 c bounds -32 >= -45 @ 0.375621 0.78/0.82 c #Conflicts: 1000 | #Constraints: 2338 0.78/0.82 c bounds -32 >= -44 @ 0.48101 0.78/0.82 c #Conflicts: 2000 | #Constraints: 3360 0.78/0.82 c INPROCESSING 0.78/0.82 c GARBAGE COLLECT 0.78/0.82 c rational objective -44 1.38/1.47 c bounds -32 >= -43 @ 0.836036 1.38/1.47 c #Conflicts: 3000 | #Constraints: 3225 1.38/1.47 c #Conflicts: 4000 | #Constraints: 4229 1.38/1.47 c INPROCESSING 1.38/1.47 c GARBAGE COLLECT 1.38/1.47 c rational objective -43 2.09/2.18 c #Conflicts: 5000 | #Constraints: 3617 2.09/2.18 c bounds -32 >= -42 @ 1.53157 2.09/2.18 c #Conflicts: 6000 | #Constraints: 4635 2.09/2.18 c INPROCESSING 2.09/2.18 c GARBAGE COLLECT 2.09/2.18 c rational objective -42 2.68/2.74 c #Conflicts: 7000 | #Constraints: 3612 2.68/2.74 c bounds -33 >= -42 @ 2.25533 2.68/2.74 c #Conflicts: 8000 | #Constraints: 4620 2.68/2.74 c #Conflicts: 9000 | #Constraints: 5626 2.68/2.74 c INPROCESSING 2.68/2.74 c GARBAGE COLLECT 2.68/2.74 c rational objective -42 3.28/3.39 c bounds -33 >= -41 @ 2.69135 3.28/3.39 c #Conflicts: 10000 | #Constraints: 4356 3.28/3.39 c bounds -34 >= -41 @ 2.87291 3.28/3.39 c #Conflicts: 11000 | #Constraints: 5367 3.28/3.39 c #Conflicts: 12000 | #Constraints: 6379 3.28/3.39 c INPROCESSING 3.28/3.39 c GARBAGE COLLECT 3.28/3.39 c rational objective -41 4.27/4.33 c #Conflicts: 13000 | #Constraints: 4811 4.27/4.33 c #Conflicts: 14000 | #Constraints: 5811 4.27/4.33 c #Conflicts: 15000 | #Constraints: 6811 4.27/4.33 c INPROCESSING 4.27/4.33 c GARBAGE COLLECT 4.27/4.33 c rational objective -41 4.88/5.01 c #Conflicts: 16000 | #Constraints: 5057 4.88/5.01 c #Conflicts: 17000 | #Constraints: 6074 4.88/5.01 c bounds -35 >= -41 @ 4.45159 4.88/5.01 c #Conflicts: 18000 | #Constraints: 7096 4.88/5.01 c INPROCESSING 4.88/5.01 c GARBAGE COLLECT 4.88/5.01 c rational objective -41 5.67/5.76 c #Conflicts: 19000 | #Constraints: 5104 5.67/5.76 c #Conflicts: 20000 | #Constraints: 6125 5.67/5.76 c #Conflicts: 21000 | #Constraints: 7140 5.67/5.76 c INPROCESSING 5.67/5.76 c GARBAGE COLLECT 5.67/5.76 c rational objective -41 7.08/7.15 c #Conflicts: 22000 | #Constraints: 4911 7.08/7.15 c #Conflicts: 23000 | #Constraints: 5911 7.08/7.15 c #Conflicts: 24000 | #Constraints: 6911 7.08/7.15 c bounds -35 >= -40 @ 6.66508 7.08/7.15 c #Conflicts: 25000 | #Constraints: 7944 7.08/7.15 c INPROCESSING 7.08/7.15 c GARBAGE COLLECT 7.08/7.15 c rational objective -40 7.98/8.02 c #Conflicts: 26000 | #Constraints: 5531 7.98/8.02 c #Conflicts: 27000 | #Constraints: 6547 7.98/8.02 c #Conflicts: 28000 | #Constraints: 7558 7.98/8.02 c #Conflicts: 29000 | #Constraints: 8570 7.98/8.02 c INPROCESSING 7.98/8.02 c GARBAGE COLLECT 7.98/8.02 c rational objective -40 8.97/9.05 c #Conflicts: 30000 | #Constraints: 5937 8.97/9.05 c #Conflicts: 31000 | #Constraints: 6946 8.97/9.05 c #Conflicts: 32000 | #Constraints: 7955 8.97/9.05 c #Conflicts: 33000 | #Constraints: 8960 8.97/9.05 c INPROCESSING 8.97/9.05 c GARBAGE COLLECT 8.97/9.05 c rational objective -40 10.97/11.05 c #Conflicts: 34000 | #Constraints: 6135 10.97/11.05 c #Conflicts: 35000 | #Constraints: 7135 10.97/11.05 c #Conflicts: 36000 | #Constraints: 8135 10.97/11.05 c #Conflicts: 37000 | #Constraints: 9135 10.97/11.05 c INPROCESSING 10.97/11.05 c GARBAGE COLLECT 10.97/11.05 c rational objective -40 17.34/17.45 c #Conflicts: 38000 | #Constraints: 6161 17.34/17.45 c #Conflicts: 39000 | #Constraints: 7186 17.34/17.45 c #Conflicts: 40000 | #Constraints: 8211 17.34/17.45 c #Conflicts: 41000 | #Constraints: 9239 17.34/17.45 c #Conflicts: 42000 | #Constraints: 10270 17.34/17.45 c #Conflicts: 43000 | #Constraints: 11307 17.34/17.45 c #Conflicts: 44000 | #Constraints: 12340 17.34/17.45 c #Conflicts: 45000 | #Constraints: 13376 17.34/17.45 c #Conflicts: 46000 | #Constraints: 14394 17.34/17.45 c #Conflicts: 47000 | #Constraints: 15417 17.34/17.45 c #Conflicts: 48000 | #Constraints: 16427 17.34/17.45 c #Conflicts: 49000 | #Constraints: 17436 17.34/17.45 c #Conflicts: 50000 | #Constraints: 18446 17.34/17.45 c #Conflicts: 51000 | #Constraints: 19461 17.34/17.45 c #Conflicts: 52000 | #Constraints: 20475 17.34/17.45 c #Conflicts: 53000 | #Constraints: 21492 17.34/17.45 c INPROCESSING 17.34/17.45 c GARBAGE COLLECT 17.34/17.45 c rational objective -40 23.12/23.21 c #Conflicts: 54000 | #Constraints: 12244 23.12/23.21 c #Conflicts: 55000 | #Constraints: 13244 23.12/23.21 c #Conflicts: 56000 | #Constraints: 14244 23.12/23.21 c #Conflicts: 57000 | #Constraints: 15244 23.12/23.21 c #Conflicts: 58000 | #Constraints: 16244 23.12/23.21 c INPROCESSING 23.12/23.21 c GARBAGE COLLECT 23.12/23.21 c rational objective -40 24.81/24.93 c #Conflicts: 59000 | #Constraints: 9410 24.81/24.93 c #Conflicts: 60000 | #Constraints: 10432 24.81/24.93 c #Conflicts: 61000 | #Constraints: 11456 24.81/24.93 c #Conflicts: 62000 | #Constraints: 12482 24.81/24.93 c #Conflicts: 63000 | #Constraints: 13506 24.81/24.93 c #Conflicts: 64000 | #Constraints: 14531 24.81/24.93 c INPROCESSING 24.81/24.93 c GARBAGE COLLECT 24.81/24.93 c rational objective -40 28.81/28.94 c #Conflicts: 65000 | #Constraints: 8678 28.81/28.94 c #Conflicts: 66000 | #Constraints: 9678 28.81/28.94 c #Conflicts: 67000 | #Constraints: 10678 28.81/28.94 c #Conflicts: 68000 | #Constraints: 11678 28.81/28.94 c #Conflicts: 69000 | #Constraints: 12678 28.81/28.94 c #Conflicts: 70000 | #Constraints: 13678 28.81/28.94 c INPROCESSING 28.81/28.94 c GARBAGE COLLECT 28.81/28.94 c rational objective -40 30.61/30.77 c #Conflicts: 71000 | #Constraints: 8321 30.61/30.77 c bounds -36 >= -40 @ 28.2428 30.61/30.77 c #Conflicts: 72000 | #Constraints: 9337 30.61/30.77 c #Conflicts: 73000 | #Constraints: 10364 30.61/30.77 c #Conflicts: 74000 | #Constraints: 11388 30.61/30.77 c #Conflicts: 75000 | #Constraints: 12418 30.61/30.77 c #Conflicts: 76000 | #Constraints: 13446 30.61/30.77 c INPROCESSING 30.61/30.77 c GARBAGE COLLECT 30.61/30.77 c rational objective -40 32.59/32.79 c #Conflicts: 77000 | #Constraints: 8143 32.59/32.79 c #Conflicts: 78000 | #Constraints: 9164 32.59/32.79 c #Conflicts: 79000 | #Constraints: 10184 32.59/32.79 c #Conflicts: 80000 | #Constraints: 11206 32.59/32.79 c #Conflicts: 81000 | #Constraints: 12225 32.59/32.79 c #Conflicts: 82000 | #Constraints: 13237 32.59/32.79 c INPROCESSING 32.59/32.79 c GARBAGE COLLECT 32.59/32.79 c rational objective -40 34.69/34.88 c #Conflicts: 83000 | #Constraints: 7886 34.69/34.88 c #Conflicts: 84000 | #Constraints: 8899 34.69/34.88 c #Conflicts: 85000 | #Constraints: 9919 34.69/34.88 c #Conflicts: 86000 | #Constraints: 10941 34.69/34.88 c #Conflicts: 87000 | #Constraints: 11966 34.69/34.88 c #Conflicts: 88000 | #Constraints: 12990 34.69/34.88 c #Conflicts: 89000 | #Constraints: 14018 34.69/34.88 c INPROCESSING 34.69/34.88 c GARBAGE COLLECT 34.69/34.88 c rational objective -40 38.78/38.92 c #Conflicts: 90000 | #Constraints: 8529 38.78/38.92 c #Conflicts: 91000 | #Constraints: 9529 38.78/38.92 c #Conflicts: 92000 | #Constraints: 10529 38.78/38.92 c #Conflicts: 93000 | #Constraints: 11529 38.78/38.92 c #Conflicts: 94000 | #Constraints: 12529 38.78/38.92 c #Conflicts: 95000 | #Constraints: 13529 38.78/38.92 c bounds -36 >= -39 @ 37.4417 38.78/38.92 c #Conflicts: 96000 | #Constraints: 14554 38.78/38.92 c INPROCESSING 38.78/38.92 c GARBAGE COLLECT 38.78/38.92 c rational objective -39 41.24/41.45 c #Conflicts: 97000 | #Constraints: 8925 41.24/41.45 c #Conflicts: 98000 | #Constraints: 9940 41.24/41.45 c #Conflicts: 99000 | #Constraints: 10970 41.24/41.45 c #Conflicts: 100000 | #Constraints: 11977 41.24/41.45 c #Conflicts: 101000 | #Constraints: 12985 41.24/41.45 c #Conflicts: 102000 | #Constraints: 14007 41.24/41.45 c INPROCESSING 41.24/41.45 c GARBAGE COLLECT 41.24/41.45 c rational objective -39 43.62/43.86 c #Conflicts: 103000 | #Constraints: 8231 43.62/43.86 c #Conflicts: 104000 | #Constraints: 9237 43.62/43.86 c #Conflicts: 105000 | #Constraints: 10248 43.62/43.86 c #Conflicts: 106000 | #Constraints: 11260 43.62/43.86 c #Conflicts: 107000 | #Constraints: 12269 43.62/43.86 c #Conflicts: 108000 | #Constraints: 13273 43.62/43.86 c #Conflicts: 109000 | #Constraints: 14283 43.62/43.86 c #Conflicts: 110000 | #Constraints: 15291 43.62/43.86 c INPROCESSING 43.62/43.86 c GARBAGE COLLECT 43.62/43.86 c rational objective -39 48.92/49.19 c #Conflicts: 111000 | #Constraints: 9315 48.92/49.19 c #Conflicts: 112000 | #Constraints: 10315 48.92/49.19 c #Conflicts: 113000 | #Constraints: 11315 48.92/49.19 c #Conflicts: 114000 | #Constraints: 12315 48.92/49.19 c #Conflicts: 115000 | #Constraints: 13315 48.92/49.19 c #Conflicts: 116000 | #Constraints: 14315 48.92/49.19 c #Conflicts: 117000 | #Constraints: 15315 48.92/49.19 c INPROCESSING 48.92/49.19 c GARBAGE COLLECT 48.92/49.19 c rational objective -39 70.44/70.79 c #Conflicts: 118000 | #Constraints: 9211 70.44/70.79 c #Conflicts: 119000 | #Constraints: 10239 70.44/70.79 c #Conflicts: 120000 | #Constraints: 11268 70.44/70.79 c #Conflicts: 121000 | #Constraints: 12301 70.44/70.79 c #Conflicts: 122000 | #Constraints: 13330 70.44/70.79 c #Conflicts: 123000 | #Constraints: 14361 70.44/70.79 c #Conflicts: 124000 | #Constraints: 15380 70.44/70.79 c #Conflicts: 125000 | #Constraints: 16412 70.44/70.79 c #Conflicts: 126000 | #Constraints: 17440 70.44/70.79 c #Conflicts: 127000 | #Constraints: 18466 70.44/70.79 c #Conflicts: 128000 | #Constraints: 19497 70.44/70.79 c #Conflicts: 129000 | #Constraints: 20518 70.44/70.79 c #Conflicts: 130000 | #Constraints: 21538 70.44/70.79 c #Conflicts: 131000 | #Constraints: 22554 70.44/70.79 c #Conflicts: 132000 | #Constraints: 23567 70.44/70.79 c #Conflicts: 133000 | #Constraints: 24588 70.44/70.79 c #Conflicts: 134000 | #Constraints: 25598 70.44/70.79 c #Conflicts: 135000 | #Constraints: 26608 70.44/70.79 c #Conflicts: 136000 | #Constraints: 27629 70.44/70.79 c #Conflicts: 137000 | #Constraints: 28661 70.44/70.79 c #Conflicts: 138000 | #Constraints: 29675 70.44/70.79 c #Conflicts: 139000 | #Constraints: 30697 70.44/70.79 c #Conflicts: 140000 | #Constraints: 31725 70.44/70.79 c #Conflicts: 141000 | #Constraints: 32753 70.44/70.79 c #Conflicts: 142000 | #Constraints: 33777 70.44/70.79 c #Conflicts: 143000 | #Constraints: 34805 70.44/70.79 c #Conflicts: 144000 | #Constraints: 35834 70.44/70.79 c #Conflicts: 145000 | #Constraints: 36863 70.44/70.79 c #Conflicts: 146000 | #Constraints: 37889 70.44/70.79 c INPROCESSING 70.44/70.79 c GARBAGE COLLECT 70.44/70.79 c rational objective -39 91.06/91.42 c #Conflicts: 147000 | #Constraints: 20432 91.06/91.42 c #Conflicts: 148000 | #Constraints: 21432 91.06/91.42 c #Conflicts: 149000 | #Constraints: 22432 91.06/91.42 c #Conflicts: 150000 | #Constraints: 23432 91.06/91.42 c #Conflicts: 151000 | #Constraints: 24432 91.06/91.42 c #Conflicts: 152000 | #Constraints: 25432 91.06/91.42 c #Conflicts: 153000 | #Constraints: 26432 91.06/91.42 c #Conflicts: 154000 | #Constraints: 27432 91.06/91.42 c #Conflicts: 155000 | #Constraints: 28432 91.06/91.42 c INPROCESSING 91.06/91.42 c GARBAGE COLLECT 91.06/91.42 c rational objective -39 102.12/102.53 c #Conflicts: 156000 | #Constraints: 15924 102.12/102.53 c #Conflicts: 157000 | #Constraints: 16924 102.12/102.53 c #Conflicts: 158000 | #Constraints: 17924 102.12/102.53 c #Conflicts: 159000 | #Constraints: 18924 102.12/102.53 c #Conflicts: 160000 | #Constraints: 19924 102.12/102.53 c #Conflicts: 161000 | #Constraints: 20924 102.12/102.53 c #Conflicts: 162000 | #Constraints: 21924 102.12/102.53 c #Conflicts: 163000 | #Constraints: 22924 102.12/102.53 c INPROCESSING 102.12/102.53 c GARBAGE COLLECT 102.12/102.53 c rational objective -39 106.37/106.89 c #Conflicts: 164000 | #Constraints: 12753 106.37/106.89 c #Conflicts: 165000 | #Constraints: 13766 106.37/106.89 c #Conflicts: 166000 | #Constraints: 14773 106.37/106.89 c #Conflicts: 167000 | #Constraints: 15788 106.37/106.89 c #Conflicts: 168000 | #Constraints: 16796 106.37/106.89 c #Conflicts: 169000 | #Constraints: 17806 106.37/106.89 c #Conflicts: 170000 | #Constraints: 18818 106.37/106.89 c #Conflicts: 171000 | #Constraints: 19824 106.37/106.89 c #Conflicts: 172000 | #Constraints: 20833 106.37/106.89 c INPROCESSING 106.37/106.89 c GARBAGE COLLECT 106.37/106.89 c rational objective -39 110.26/110.79 c #Conflicts: 173000 | #Constraints: 11695 110.26/110.79 c #Conflicts: 174000 | #Constraints: 12706 110.26/110.79 c #Conflicts: 175000 | #Constraints: 13721 110.26/110.79 c #Conflicts: 176000 | #Constraints: 14739 110.26/110.79 c #Conflicts: 177000 | #Constraints: 15753 110.26/110.79 c #Conflicts: 178000 | #Constraints: 16764 110.26/110.79 c #Conflicts: 179000 | #Constraints: 17778 110.26/110.79 c #Conflicts: 180000 | #Constraints: 18791 110.26/110.79 c #Conflicts: 181000 | #Constraints: 19810 110.26/110.79 c #Conflicts: 182000 | #Constraints: 20831 110.26/110.79 c INPROCESSING 110.26/110.79 c GARBAGE COLLECT 110.26/110.79 c rational objective -39 114.45/114.91 c #Conflicts: 183000 | #Constraints: 12112 114.45/114.91 c #Conflicts: 184000 | #Constraints: 13125 114.45/114.91 c #Conflicts: 185000 | #Constraints: 14136 114.45/114.91 c #Conflicts: 186000 | #Constraints: 15164 114.45/114.91 c #Conflicts: 187000 | #Constraints: 16192 114.45/114.91 c #Conflicts: 188000 | #Constraints: 17223 114.45/114.91 c #Conflicts: 189000 | #Constraints: 18243 114.45/114.91 c #Conflicts: 190000 | #Constraints: 19256 114.45/114.91 c #Conflicts: 191000 | #Constraints: 20279 114.45/114.91 c INPROCESSING 114.45/114.91 c GARBAGE COLLECT 114.45/114.91 c rational objective -39 118.66/119.18 c #Conflicts: 192000 | #Constraints: 11637 118.66/119.18 c #Conflicts: 193000 | #Constraints: 12669 118.66/119.18 c #Conflicts: 194000 | #Constraints: 13696 118.66/119.18 c #Conflicts: 195000 | #Constraints: 14720 118.66/119.18 c #Conflicts: 196000 | #Constraints: 15731 118.66/119.18 c #Conflicts: 197000 | #Constraints: 16744 118.66/119.18 c #Conflicts: 198000 | #Constraints: 17765 118.66/119.18 c #Conflicts: 199000 | #Constraints: 18787 118.66/119.18 c #Conflicts: 200000 | #Constraints: 19808 118.66/119.18 c #Conflicts: 201000 | #Constraints: 20821 118.66/119.18 c INPROCESSING 118.66/119.18 c GARBAGE COLLECT 118.66/119.18 c rational objective -39 128.42/128.98 c #Conflicts: 202000 | #Constraints: 12098 128.42/128.98 c #Conflicts: 203000 | #Constraints: 13098 128.42/128.98 c #Conflicts: 204000 | #Constraints: 14098 128.42/128.98 c #Conflicts: 205000 | #Constraints: 15098 128.42/128.98 c #Conflicts: 206000 | #Constraints: 16098 128.42/128.98 c #Conflicts: 207000 | #Constraints: 17098 128.42/128.98 c #Conflicts: 208000 | #Constraints: 18098 128.42/128.98 c #Conflicts: 209000 | #Constraints: 19098 128.42/128.98 c #Conflicts: 210000 | #Constraints: 20098 128.42/128.98 c INPROCESSING 128.42/128.98 c GARBAGE COLLECT 128.42/128.98 c rational objective -39 168.60/169.31 c #Conflicts: 211000 | #Constraints: 11356 168.60/169.31 c #Conflicts: 212000 | #Constraints: 12361 168.60/169.31 c #Conflicts: 213000 | #Constraints: 13377 168.60/169.31 c #Conflicts: 214000 | #Constraints: 14394 168.60/169.31 c #Conflicts: 215000 | #Constraints: 15416 168.60/169.31 c #Conflicts: 216000 | #Constraints: 16436 168.60/169.31 c #Conflicts: 217000 | #Constraints: 17446 168.60/169.31 c #Conflicts: 218000 | #Constraints: 18456 168.60/169.31 c #Conflicts: 219000 | #Constraints: 19460 168.60/169.31 c #Conflicts: 220000 | #Constraints: 20467 168.60/169.31 c #Conflicts: 221000 | #Constraints: 21479 168.60/169.31 c #Conflicts: 222000 | #Constraints: 22486 168.60/169.31 c #Conflicts: 223000 | #Constraints: 23491 168.60/169.31 c #Conflicts: 224000 | #Constraints: 24500 168.60/169.31 c #Conflicts: 225000 | #Constraints: 25502 168.60/169.31 c #Conflicts: 226000 | #Constraints: 26509 168.60/169.31 c #Conflicts: 227000 | #Constraints: 27514 168.60/169.31 c #Conflicts: 228000 | #Constraints: 28518 168.60/169.31 c #Conflicts: 229000 | #Constraints: 29523 168.60/169.31 c #Conflicts: 230000 | #Constraints: 30536 168.60/169.31 c #Conflicts: 231000 | #Constraints: 31548 168.60/169.31 c #Conflicts: 232000 | #Constraints: 32551 168.60/169.31 c #Conflicts: 233000 | #Constraints: 33554 168.60/169.31 c #Conflicts: 234000 | #Constraints: 34557 168.60/169.31 c #Conflicts: 235000 | #Constraints: 35558 168.60/169.31 c #Conflicts: 236000 | #Constraints: 36562 168.60/169.31 c #Conflicts: 237000 | #Constraints: 37566 168.60/169.31 c #Conflicts: 238000 | #Constraints: 38571 168.60/169.31 c #Conflicts: 239000 | #Constraints: 39579 168.60/169.31 c #Conflicts: 240000 | #Constraints: 40579 168.60/169.31 c #Conflicts: 241000 | #Constraints: 41581 168.60/169.31 c #Conflicts: 242000 | #Constraints: 42587 168.60/169.31 c #Conflicts: 243000 | #Constraints: 43588 168.60/169.31 c #Conflicts: 244000 | #Constraints: 44588 168.60/169.31 c #Conflicts: 245000 | #Constraints: 45593 168.60/169.31 c #Conflicts: 246000 | #Constraints: 46596 168.60/169.31 c #Conflicts: 247000 | #Constraints: 47603 168.60/169.31 c #Conflicts: 248000 | #Constraints: 48615 168.60/169.31 c #Conflicts: 249000 | #Constraints: 49630 168.60/169.31 c INPROCESSING 168.60/169.31 c GARBAGE COLLECT 168.60/169.31 c rational objective -39 214.02/214.91 c #Conflicts: 250000 | #Constraints: 26201 214.02/214.91 c #Conflicts: 251000 | #Constraints: 27201 214.02/214.91 c #Conflicts: 252000 | #Constraints: 28201 214.02/214.91 c #Conflicts: 253000 | #Constraints: 29201 214.02/214.91 c #Conflicts: 254000 | #Constraints: 30201 214.02/214.91 c #Conflicts: 255000 | #Constraints: 31201 214.02/214.91 c #Conflicts: 256000 | #Constraints: 32201 214.02/214.91 c #Conflicts: 257000 | #Constraints: 33201 214.02/214.91 c #Conflicts: 258000 | #Constraints: 34201 214.02/214.91 c #Conflicts: 259000 | #Constraints: 35201 214.02/214.91 c #Conflicts: 260000 | #Constraints: 36201 214.02/214.91 c INPROCESSING 214.02/214.91 c GARBAGE COLLECT 214.02/214.91 c rational objective -39 221.11/222.04 c #Conflicts: 261000 | #Constraints: 19461 221.11/222.04 c #Conflicts: 262000 | #Constraints: 20465 221.11/222.04 c #Conflicts: 263000 | #Constraints: 21469 221.11/222.04 c #Conflicts: 264000 | #Constraints: 22473 221.11/222.04 c #Conflicts: 265000 | #Constraints: 23482 221.11/222.04 c #Conflicts: 266000 | #Constraints: 24489 221.11/222.04 c #Conflicts: 267000 | #Constraints: 25498 221.11/222.04 c #Conflicts: 268000 | #Constraints: 26503 221.11/222.04 c #Conflicts: 269000 | #Constraints: 27512 221.11/222.04 c #Conflicts: 270000 | #Constraints: 28519 221.11/222.04 c #Conflicts: 271000 | #Constraints: 29529 221.11/222.04 c #Conflicts: 272000 | #Constraints: 30536 221.11/222.04 c INPROCESSING 221.11/222.04 c GARBAGE COLLECT 221.11/222.04 c rational objective -39 238.71/239.80 c #Conflicts: 273000 | #Constraints: 16951 238.71/239.80 c #Conflicts: 274000 | #Constraints: 17951 238.71/239.80 c #Conflicts: 275000 | #Constraints: 18951 238.71/239.80 c #Conflicts: 276000 | #Constraints: 19951 238.71/239.80 c #Conflicts: 277000 | #Constraints: 20951 238.71/239.80 c #Conflicts: 278000 | #Constraints: 21951 238.71/239.80 c #Conflicts: 279000 | #Constraints: 22951 238.71/239.80 c #Conflicts: 280000 | #Constraints: 23951 238.71/239.80 c #Conflicts: 281000 | #Constraints: 24951 238.71/239.80 c #Conflicts: 282000 | #Constraints: 25951 238.71/239.80 c #Conflicts: 283000 | #Constraints: 26951 238.71/239.80 c INPROCESSING 238.71/239.80 c GARBAGE COLLECT 238.71/239.80 c rational objective -39 246.58/247.62 c #Conflicts: 284000 | #Constraints: 14940 246.58/247.62 c #Conflicts: 285000 | #Constraints: 15967 246.58/247.62 c #Conflicts: 286000 | #Constraints: 16980 246.58/247.62 c #Conflicts: 287000 | #Constraints: 17990 246.58/247.62 c #Conflicts: 288000 | #Constraints: 18996 246.58/247.62 c #Conflicts: 289000 | #Constraints: 20002 246.58/247.62 c #Conflicts: 290000 | #Constraints: 21008 246.58/247.62 c #Conflicts: 291000 | #Constraints: 22015 246.58/247.62 c #Conflicts: 292000 | #Constraints: 23024 246.58/247.62 c #Conflicts: 293000 | #Constraints: 24041 246.58/247.62 c #Conflicts: 294000 | #Constraints: 25056 246.58/247.62 c #Conflicts: 295000 | #Constraints: 26070 246.58/247.62 c INPROCESSING 246.58/247.62 c GARBAGE COLLECT 246.58/247.62 c rational objective -39 253.17/254.23 c #Conflicts: 296000 | #Constraints: 14625 253.17/254.23 c #Conflicts: 297000 | #Constraints: 15642 253.17/254.23 c #Conflicts: 298000 | #Constraints: 16647 253.17/254.23 c #Conflicts: 299000 | #Constraints: 17661 253.17/254.23 c #Conflicts: 300000 | #Constraints: 18668 253.17/254.23 c #Conflicts: 301000 | #Constraints: 19686 253.17/254.23 c #Conflicts: 302000 | #Constraints: 20698 253.17/254.23 c #Conflicts: 303000 | #Constraints: 21711 253.17/254.23 c #Conflicts: 304000 | #Constraints: 22721 253.17/254.23 c #Conflicts: 305000 | #Constraints: 23728 253.17/254.23 c #Conflicts: 306000 | #Constraints: 24741 253.17/254.23 c #Conflicts: 307000 | #Constraints: 25749 253.17/254.23 c INPROCESSING 253.17/254.23 c GARBAGE COLLECT 253.17/254.23 c rational objective -39 269.81/270.91 c #Conflicts: 308000 | #Constraints: 14507 269.81/270.91 c #Conflicts: 309000 | #Constraints: 15507 269.81/270.91 c #Conflicts: 310000 | #Constraints: 16507 269.81/270.91 c #Conflicts: 311000 | #Constraints: 17507 269.81/270.91 c #Conflicts: 312000 | #Constraints: 18507 269.81/270.91 c #Conflicts: 313000 | #Constraints: 19507 269.81/270.91 c #Conflicts: 314000 | #Constraints: 20507 269.81/270.91 c #Conflicts: 315000 | #Constraints: 21507 269.81/270.91 c #Conflicts: 316000 | #Constraints: 22507 269.81/270.91 c #Conflicts: 317000 | #Constraints: 23507 269.81/270.91 c #Conflicts: 318000 | #Constraints: 24507 269.81/270.91 c #Conflicts: 319000 | #Constraints: 25507 269.81/270.91 c INPROCESSING 269.81/270.91 c GARBAGE COLLECT 269.81/270.91 c rational objective -39 327.31/328.61 c #Conflicts: 320000 | #Constraints: 14390 327.31/328.61 c #Conflicts: 321000 | #Constraints: 15406 327.31/328.61 c #Conflicts: 322000 | #Constraints: 16426 327.31/328.61 c #Conflicts: 323000 | #Constraints: 17445 327.31/328.61 c #Conflicts: 324000 | #Constraints: 18463 327.31/328.61 c #Conflicts: 325000 | #Constraints: 19482 327.31/328.61 c #Conflicts: 326000 | #Constraints: 20499 327.31/328.61 c #Conflicts: 327000 | #Constraints: 21519 327.31/328.61 c #Conflicts: 328000 | #Constraints: 22544 327.31/328.61 c #Conflicts: 329000 | #Constraints: 23564 327.31/328.61 c #Conflicts: 330000 | #Constraints: 24584 327.31/328.61 c #Conflicts: 331000 | #Constraints: 25603 327.31/328.61 c #Conflicts: 332000 | #Constraints: 26621 327.31/328.61 c #Conflicts: 333000 | #Constraints: 27644 327.31/328.61 c #Conflicts: 334000 | #Constraints: 28653 327.31/328.61 c #Conflicts: 335000 | #Constraints: 29671 327.31/328.61 c #Conflicts: 336000 | #Constraints: 30687 327.31/328.61 c #Conflicts: 337000 | #Constraints: 31700 327.31/328.61 c #Conflicts: 338000 | #Constraints: 32714 327.31/328.61 c #Conflicts: 339000 | #Constraints: 33727 327.31/328.61 c #Conflicts: 340000 | #Constraints: 34742 327.31/328.61 c #Conflicts: 341000 | #Constraints: 35755 327.31/328.61 c #Conflicts: 342000 | #Constraints: 36768 327.31/328.61 c #Conflicts: 343000 | #Constraints: 37780 327.31/328.61 c #Conflicts: 344000 | #Constraints: 38794 327.31/328.61 c #Conflicts: 345000 | #Constraints: 39811 327.31/328.61 c #Conflicts: 346000 | #Constraints: 40825 327.31/328.61 c #Conflicts: 347000 | #Constraints: 41845 327.31/328.61 c #Conflicts: 348000 | #Constraints: 42863 327.31/328.61 c #Conflicts: 349000 | #Constraints: 43887 327.31/328.61 c #Conflicts: 350000 | #Constraints: 44900 327.31/328.61 c #Conflicts: 351000 | #Constraints: 45910 327.31/328.61 c #Conflicts: 352000 | #Constraints: 46920 327.31/328.61 c #Conflicts: 353000 | #Constraints: 47923 327.31/328.61 c #Conflicts: 354000 | #Constraints: 48933 327.31/328.61 c #Conflicts: 355000 | #Constraints: 49939 327.31/328.61 c #Conflicts: 356000 | #Constraints: 50947 327.31/328.61 c #Conflicts: 357000 | #Constraints: 51956 327.31/328.61 c #Conflicts: 358000 | #Constraints: 52968 327.31/328.61 c #Conflicts: 359000 | #Constraints: 53983 327.31/328.61 c #Conflicts: 360000 | #Constraints: 55008 327.31/328.61 c #Conflicts: 361000 | #Constraints: 56024 327.31/328.61 c #Conflicts: 362000 | #Constraints: 57034 327.31/328.61 c #Conflicts: 363000 | #Constraints: 58045 327.31/328.61 c #Conflicts: 364000 | #Constraints: 59068 327.31/328.61 c #Conflicts: 365000 | #Constraints: 60078 327.31/328.61 c #Conflicts: 366000 | #Constraints: 61087 327.31/328.61 c INPROCESSING 327.31/328.61 c GARBAGE COLLECT 327.31/328.61 c rational objective -39 386.91/388.42 c #Conflicts: 367000 | #Constraints: 31927 386.91/388.42 c #Conflicts: 368000 | #Constraints: 32927 386.91/388.42 c #Conflicts: 369000 | #Constraints: 33927 386.91/388.42 c #Conflicts: 370000 | #Constraints: 34927 386.91/388.42 c #Conflicts: 371000 | #Constraints: 35927 386.91/388.42 c #Conflicts: 372000 | #Constraints: 36927 386.91/388.42 c #Conflicts: 373000 | #Constraints: 37927 386.91/388.42 c #Conflicts: 374000 | #Constraints: 38927 386.91/388.42 c #Conflicts: 375000 | #Constraints: 39927 386.91/388.42 c #Conflicts: 376000 | #Constraints: 40927 386.91/388.42 c #Conflicts: 377000 | #Constraints: 41927 386.91/388.42 c #Conflicts: 378000 | #Constraints: 42927 386.91/388.42 c #Conflicts: 379000 | #Constraints: 43927 386.91/388.42 c #Conflicts: 380000 | #Constraints: 44927 386.91/388.42 c INPROCESSING 386.91/388.42 c GARBAGE COLLECT 386.91/388.42 c rational objective -39 396.88/398.47 c #Conflicts: 381000 | #Constraints: 24176 396.88/398.47 c #Conflicts: 382000 | #Constraints: 25188 396.88/398.47 c #Conflicts: 383000 | #Constraints: 26192 396.88/398.47 c #Conflicts: 384000 | #Constraints: 27204 396.88/398.47 c #Conflicts: 385000 | #Constraints: 28222 396.88/398.47 c #Conflicts: 386000 | #Constraints: 29239 396.88/398.47 c #Conflicts: 387000 | #Constraints: 30248 396.88/398.47 c #Conflicts: 388000 | #Constraints: 31255 396.88/398.47 c #Conflicts: 389000 | #Constraints: 32263 396.88/398.47 c #Conflicts: 390000 | #Constraints: 33275 396.88/398.47 c #Conflicts: 391000 | #Constraints: 34280 396.88/398.47 c #Conflicts: 392000 | #Constraints: 35288 396.88/398.47 c #Conflicts: 393000 | #Constraints: 36301 396.88/398.47 c INPROCESSING 396.88/398.47 c GARBAGE COLLECT 396.88/398.47 c rational objective -39 424.41/426.05 c #Conflicts: 394000 | #Constraints: 19536 424.41/426.05 c #Conflicts: 395000 | #Constraints: 20536 424.41/426.05 c #Conflicts: 396000 | #Constraints: 21536 424.41/426.05 c #Conflicts: 397000 | #Constraints: 22536 424.41/426.05 c #Conflicts: 398000 | #Constraints: 23536 424.41/426.05 c #Conflicts: 399000 | #Constraints: 24536 424.41/426.05 c #Conflicts: 400000 | #Constraints: 25536 424.41/426.05 c #Conflicts: 401000 | #Constraints: 26536 424.41/426.05 c #Conflicts: 402000 | #Constraints: 27536 424.41/426.05 c #Conflicts: 403000 | #Constraints: 28536 424.41/426.05 c #Conflicts: 404000 | #Constraints: 29536 424.41/426.05 c #Conflicts: 405000 | #Constraints: 30536 424.41/426.05 c #Conflicts: 406000 | #Constraints: 31536 424.41/426.05 c #Conflicts: 407000 | #Constraints: 32536 424.41/426.05 c INPROCESSING 424.41/426.05 c GARBAGE COLLECT 424.41/426.05 c rational objective -39 434.66/436.39 c #Conflicts: 408000 | #Constraints: 17785 434.66/436.39 c #Conflicts: 409000 | #Constraints: 18797 434.66/436.39 c #Conflicts: 410000 | #Constraints: 19813 434.66/436.39 c #Conflicts: 411000 | #Constraints: 20827 434.66/436.39 c #Conflicts: 412000 | #Constraints: 21838 434.66/436.39 c #Conflicts: 413000 | #Constraints: 22847 434.66/436.39 c #Conflicts: 414000 | #Constraints: 23859 434.66/436.39 c #Conflicts: 415000 | #Constraints: 24883 434.66/436.39 c #Conflicts: 416000 | #Constraints: 25909 434.66/436.39 c #Conflicts: 417000 | #Constraints: 26931 434.66/436.39 c #Conflicts: 418000 | #Constraints: 27956 434.66/436.39 c #Conflicts: 419000 | #Constraints: 28978 434.66/436.39 c #Conflicts: 420000 | #Constraints: 30000 434.66/436.39 c #Conflicts: 421000 | #Constraints: 31027 434.66/436.39 c INPROCESSING 434.66/436.39 c GARBAGE COLLECT 434.66/436.39 c rational objective -39 443.45/445.15 c #Conflicts: 422000 | #Constraints: 17019 443.45/445.15 c #Conflicts: 423000 | #Constraints: 18054 443.45/445.15 c #Conflicts: 424000 | #Constraints: 19071 443.45/445.15 c #Conflicts: 425000 | #Constraints: 20089 443.45/445.15 c #Conflicts: 426000 | #Constraints: 21106 443.45/445.15 c #Conflicts: 427000 | #Constraints: 22126 443.45/445.15 c #Conflicts: 428000 | #Constraints: 23149 443.45/445.15 c #Conflicts: 429000 | #Constraints: 24168 443.45/445.15 c #Conflicts: 430000 | #Constraints: 25191 443.45/445.15 c #Conflicts: 431000 | #Constraints: 26214 443.45/445.15 c #Conflicts: 432000 | #Constraints: 27236 443.45/445.15 c #Conflicts: 433000 | #Constraints: 28263 443.45/445.15 c #Conflicts: 434000 | #Constraints: 29285 443.45/445.15 c #Conflicts: 435000 | #Constraints: 30309 443.45/445.15 c INPROCESSING 443.45/445.15 c GARBAGE COLLECT 443.45/445.15 c rational objective -39 451.79/453.57 c #Conflicts: 436000 | #Constraints: 16553 451.79/453.57 c #Conflicts: 437000 | #Constraints: 17581 451.79/453.57 c #Conflicts: 438000 | #Constraints: 18617 451.79/453.57 c #Conflicts: 439000 | #Constraints: 19645 451.79/453.57 c #Conflicts: 440000 | #Constraints: 20676 451.79/453.57 c #Conflicts: 441000 | #Constraints: 21705 451.79/453.57 c #Conflicts: 442000 | #Constraints: 22728 451.79/453.57 c #Conflicts: 443000 | #Constraints: 23758 451.79/453.57 c #Conflicts: 444000 | #Constraints: 24777 451.79/453.57 c #Conflicts: 445000 | #Constraints: 25794 451.79/453.57 c #Conflicts: 446000 | #Constraints: 26810 451.79/453.57 c #Conflicts: 447000 | #Constraints: 27820 451.79/453.57 c #Conflicts: 448000 | #Constraints: 28837 451.79/453.57 c #Conflicts: 449000 | #Constraints: 29865 451.79/453.57 c #Conflicts: 450000 | #Constraints: 30883 451.79/453.57 c INPROCESSING 451.79/453.57 c GARBAGE COLLECT 451.79/453.57 c rational objective -39 477.33/479.14 c #Conflicts: 451000 | #Constraints: 17117 477.33/479.14 c #Conflicts: 452000 | #Constraints: 18117 477.33/479.14 c #Conflicts: 453000 | #Constraints: 19117 477.33/479.14 c #Conflicts: 454000 | #Constraints: 20117 477.33/479.14 c #Conflicts: 455000 | #Constraints: 21117 477.33/479.14 c #Conflicts: 456000 | #Constraints: 22117 477.33/479.14 c #Conflicts: 457000 | #Constraints: 23117 477.33/479.14 c #Conflicts: 458000 | #Constraints: 24117 477.33/479.14 c #Conflicts: 459000 | #Constraints: 25117 477.33/479.14 c #Conflicts: 460000 | #Constraints: 26117 477.33/479.14 c #Conflicts: 461000 | #Constraints: 27117 477.33/479.14 c #Conflicts: 462000 | #Constraints: 28117 477.33/479.14 c #Conflicts: 463000 | #Constraints: 29117 477.33/479.14 c #Conflicts: 464000 | #Constraints: 30117 477.33/479.14 c INPROCESSING 477.33/479.14 c GARBAGE COLLECT 477.33/479.14 c rational objective -39 618.05/620.39 c #Conflicts: 465000 | #Constraints: 16476 618.05/620.39 c #Conflicts: 466000 | #Constraints: 17480 618.05/620.39 c #Conflicts: 467000 | #Constraints: 18486 618.05/620.39 c #Conflicts: 468000 | #Constraints: 19490 618.05/620.39 c #Conflicts: 469000 | #Constraints: 20494 618.05/620.39 c #Conflicts: 470000 | #Constraints: 21504 618.05/620.39 c #Conflicts: 471000 | #Constraints: 22522 618.05/620.39 c #Conflicts: 472000 | #Constraints: 23535 618.05/620.39 c #Conflicts: 473000 | #Constraints: 24552 618.05/620.39 c #Conflicts: 474000 | #Constraints: 25572 618.05/620.39 c #Conflicts: 475000 | #Constraints: 26587 618.05/620.39 c #Conflicts: 476000 | #Constraints: 27605 618.05/620.39 c #Conflicts: 477000 | #Constraints: 28620 618.05/620.39 c #Conflicts: 478000 | #Constraints: 29637 618.05/620.39 c #Conflicts: 479000 | #Constraints: 30652 618.05/620.39 c #Conflicts: 480000 | #Constraints: 31667 618.05/620.39 c #Conflicts: 481000 | #Constraints: 32683 618.05/620.39 c #Conflicts: 482000 | #Constraints: 33700 618.05/620.39 c #Conflicts: 483000 | #Constraints: 34710 618.05/620.39 c #Conflicts: 484000 | #Constraints: 35728 618.05/620.40 c #Conflicts: 485000 | #Constraints: 36753 618.05/620.40 c #Conflicts: 486000 | #Constraints: 37770 618.05/620.40 c #Conflicts: 487000 | #Constraints: 38783 618.05/620.40 c #Conflicts: 488000 | #Constraints: 39790 618.05/620.40 c #Conflicts: 489000 | #Constraints: 40801 618.05/620.40 c #Conflicts: 490000 | #Constraints: 41807 618.05/620.40 c #Conflicts: 491000 | #Constraints: 42822 618.05/620.40 c #Conflicts: 492000 | #Constraints: 43832 618.05/620.40 c #Conflicts: 493000 | #Constraints: 44838 618.05/620.40 c #Conflicts: 494000 | #Constraints: 45853 618.05/620.40 c #Conflicts: 495000 | #Constraints: 46870 618.05/620.40 c #Conflicts: 496000 | #Constraints: 47886 618.05/620.40 c #Conflicts: 497000 | #Constraints: 48905 618.05/620.40 c #Conflicts: 498000 | #Constraints: 49918 618.05/620.40 c #Conflicts: 499000 | #Constraints: 50936 618.05/620.40 c #Conflicts: 500000 | #Constraints: 51947 618.05/620.40 c #Conflicts: 501000 | #Constraints: 52956 618.05/620.40 c #Conflicts: 502000 | #Constraints: 53974 618.05/620.40 c #Conflicts: 503000 | #Constraints: 54987 618.05/620.40 c #Conflicts: 504000 | #Constraints: 56000 618.05/620.40 c #Conflicts: 505000 | #Constraints: 57013 618.05/620.40 c #Conflicts: 506000 | #Constraints: 58030 618.05/620.40 c #Conflicts: 507000 | #Constraints: 59038 618.05/620.40 c #Conflicts: 508000 | #Constraints: 60047 618.05/620.40 c #Conflicts: 509000 | #Constraints: 61062 618.05/620.40 c #Conflicts: 510000 | #Constraints: 62067 618.05/620.40 c #Conflicts: 511000 | #Constraints: 63079 618.05/620.40 c #Conflicts: 512000 | #Constraints: 64093 618.05/620.40 c #Conflicts: 513000 | #Constraints: 65100 618.05/620.40 c #Conflicts: 514000 | #Constraints: 66113 618.05/620.40 c #Conflicts: 515000 | #Constraints: 67125 618.05/620.40 c #Conflicts: 516000 | #Constraints: 68131 618.05/620.40 c #Conflicts: 517000 | #Constraints: 69141 618.05/620.40 c #Conflicts: 518000 | #Constraints: 70149 618.05/620.40 c #Conflicts: 519000 | #Constraints: 71165 618.05/620.40 c #Conflicts: 520000 | #Constraints: 72186 618.05/620.40 c #Conflicts: 521000 | #Constraints: 73198 618.05/620.40 c INPROCESSING 618.05/620.40 c GARBAGE COLLECT 618.05/620.40 c rational objective -39 736.97/739.60 c #Conflicts: 522000 | #Constraints: 37923 736.97/739.60 c #Conflicts: 523000 | #Constraints: 38923 736.97/739.60 c #Conflicts: 524000 | #Constraints: 39923 736.97/739.60 c #Conflicts: 525000 | #Constraints: 40923 736.97/739.60 c #Conflicts: 526000 | #Constraints: 41923 736.97/739.60 c #Conflicts: 527000 | #Constraints: 42923 736.97/739.60 c #Conflicts: 528000 | #Constraints: 43923 736.97/739.60 c #Conflicts: 529000 | #Constraints: 44923 736.97/739.60 c #Conflicts: 530000 | #Constraints: 45923 736.97/739.60 c #Conflicts: 531000 | #Constraints: 46923 736.97/739.60 c #Conflicts: 532000 | #Constraints: 47923 736.97/739.60 c #Conflicts: 533000 | #Constraints: 48923 736.97/739.60 c bounds -36 >= -38 @ 693.557 736.97/739.60 c #Conflicts: 534000 | #Constraints: 49959 736.97/739.60 c #Conflicts: 535000 | #Constraints: 50959 736.97/739.60 c #Conflicts: 536000 | #Constraints: 51959 736.97/739.60 c #Conflicts: 537000 | #Constraints: 52959 736.97/739.60 c INPROCESSING 736.97/739.60 c GARBAGE COLLECT 736.97/739.60 c rational objective -38 798.05/800.97 c #Conflicts: 538000 | #Constraints: 27898 798.05/800.97 c #Conflicts: 539000 | #Constraints: 28898 798.05/800.97 c #Conflicts: 540000 | #Constraints: 29898 798.05/800.97 c #Conflicts: 541000 | #Constraints: 30898 798.05/800.97 c #Conflicts: 542000 | #Constraints: 31898 798.05/800.97 c #Conflicts: 543000 | #Constraints: 32898 798.05/800.97 c #Conflicts: 544000 | #Constraints: 33898 798.05/800.97 c #Conflicts: 545000 | #Constraints: 34898 798.05/800.97 c #Conflicts: 546000 | #Constraints: 35898 798.05/800.97 c #Conflicts: 547000 | #Constraints: 36898 798.05/800.97 c #Conflicts: 548000 | #Constraints: 37898 798.05/800.97 c #Conflicts: 549000 | #Constraints: 38898 798.05/800.97 c #Conflicts: 550000 | #Constraints: 39898 798.05/800.97 c #Conflicts: 551000 | #Constraints: 40898 798.05/800.97 c #Conflicts: 552000 | #Constraints: 41898 798.05/800.97 c #Conflicts: 553000 | #Constraints: 42898 798.05/800.97 c INPROCESSING 798.05/800.97 c GARBAGE COLLECT 798.05/800.97 c rational objective -38 813.31/816.26 c #Conflicts: 554000 | #Constraints: 22834 813.31/816.26 c #Conflicts: 555000 | #Constraints: 23850 813.31/816.26 c #Conflicts: 556000 | #Constraints: 24870 813.31/816.26 c #Conflicts: 557000 | #Constraints: 25889 813.31/816.26 c #Conflicts: 558000 | #Constraints: 26899 813.31/816.26 c #Conflicts: 559000 | #Constraints: 27915 813.31/816.26 c #Conflicts: 560000 | #Constraints: 28930 813.31/816.26 c #Conflicts: 561000 | #Constraints: 29953 813.31/816.26 c #Conflicts: 562000 | #Constraints: 30964 813.31/816.26 c #Conflicts: 563000 | #Constraints: 31977 813.31/816.26 c #Conflicts: 564000 | #Constraints: 32990 813.31/816.26 c #Conflicts: 565000 | #Constraints: 34007 813.31/816.26 c #Conflicts: 566000 | #Constraints: 35022 813.31/816.26 c #Conflicts: 567000 | #Constraints: 36034 813.31/816.26 c #Conflicts: 568000 | #Constraints: 37047 813.31/816.26 c #Conflicts: 569000 | #Constraints: 38065 813.31/816.26 c #Conflicts: 570000 | #Constraints: 39081 813.31/816.26 c INPROCESSING 813.31/816.26 c GARBAGE COLLECT 813.31/816.26 c rational objective -38 827.96/830.99 c #Conflicts: 571000 | #Constraints: 21246 827.96/830.99 c #Conflicts: 572000 | #Constraints: 22256 827.96/830.99 c #Conflicts: 573000 | #Constraints: 23269 827.96/830.99 c #Conflicts: 574000 | #Constraints: 24278 827.96/830.99 c #Conflicts: 575000 | #Constraints: 25302 827.96/830.99 c #Conflicts: 576000 | #Constraints: 26317 827.96/830.99 c #Conflicts: 577000 | #Constraints: 27327 827.96/830.99 c #Conflicts: 578000 | #Constraints: 28331 827.96/830.99 c #Conflicts: 579000 | #Constraints: 29341 827.96/830.99 c #Conflicts: 580000 | #Constraints: 30352 827.96/830.99 c #Conflicts: 581000 | #Constraints: 31356 827.96/830.99 c #Conflicts: 582000 | #Constraints: 32361 827.96/830.99 c #Conflicts: 583000 | #Constraints: 33377 827.96/830.99 c #Conflicts: 584000 | #Constraints: 34380 827.96/830.99 c #Conflicts: 585000 | #Constraints: 35383 827.96/830.99 c #Conflicts: 586000 | #Constraints: 36387 827.96/830.99 c INPROCESSING 827.96/830.99 c GARBAGE COLLECT 827.96/830.99 c rational objective -38 843.91/846.91 c #Conflicts: 587000 | #Constraints: 19651 843.91/846.91 c #Conflicts: 588000 | #Constraints: 20663 843.91/846.91 c #Conflicts: 589000 | #Constraints: 21669 843.91/846.91 c #Conflicts: 590000 | #Constraints: 22678 843.91/846.91 c #Conflicts: 591000 | #Constraints: 23696 843.91/846.91 c #Conflicts: 592000 | #Constraints: 24704 843.91/846.91 c #Conflicts: 593000 | #Constraints: 25717 843.91/846.91 c #Conflicts: 594000 | #Constraints: 26737 843.91/846.91 c #Conflicts: 595000 | #Constraints: 27755 843.91/846.91 c #Conflicts: 596000 | #Constraints: 28774 843.91/846.91 c #Conflicts: 597000 | #Constraints: 29794 843.91/846.91 c #Conflicts: 598000 | #Constraints: 30819 843.91/846.91 c #Conflicts: 599000 | #Constraints: 31849 843.91/846.91 c #Conflicts: 600000 | #Constraints: 32869 843.91/846.91 c #Conflicts: 601000 | #Constraints: 33887 843.91/846.91 c #Conflicts: 602000 | #Constraints: 34912 843.91/846.91 c #Conflicts: 603000 | #Constraints: 35930 843.91/846.91 c INPROCESSING 843.91/846.91 c GARBAGE COLLECT 843.91/846.91 c rational objective -38 1062.87/1066.68 c #Conflicts: 604000 | #Constraints: 19569 1062.87/1066.68 c #Conflicts: 605000 | #Constraints: 20569 1062.87/1066.68 c #Conflicts: 606000 | #Constraints: 21569 1062.87/1066.68 c #Conflicts: 607000 | #Constraints: 22569 1062.87/1066.68 c #Conflicts: 608000 | #Constraints: 23569 1062.87/1066.68 c #Conflicts: 609000 | #Constraints: 24569 1062.87/1066.68 c #Conflicts: 610000 | #Constraints: 25569 1062.87/1066.68 c #Conflicts: 611000 | #Constraints: 26569 1062.87/1066.68 c #Conflicts: 612000 | #Constraints: 27569 1062.87/1066.68 c #Conflicts: 613000 | #Constraints: 28569 1062.87/1066.68 c #Conflicts: 614000 | #Constraints: 29569 1062.87/1066.68 c #Conflicts: 615000 | #Constraints: 30569 1062.87/1066.68 c #Conflicts: 616000 | #Constraints: 31569 1062.87/1066.68 c #Conflicts: 617000 | #Constraints: 32569 1062.87/1066.68 c #Conflicts: 618000 | #Constraints: 33569 1062.87/1066.68 c #Conflicts: 619000 | #Constraints: 34569 1062.87/1066.68 c #Conflicts: 620000 | #Constraints: 35569 1062.87/1066.68 c #Conflicts: 621000 | #Constraints: 36569 1062.87/1066.68 c #Conflicts: 622000 | #Constraints: 37569 1062.87/1066.68 c #Conflicts: 623000 | #Constraints: 38569 1062.87/1066.68 c #Conflicts: 624000 | #Constraints: 39569 1062.87/1066.68 c #Conflicts: 625000 | #Constraints: 40569 1062.87/1066.68 c #Conflicts: 626000 | #Constraints: 41569 1062.87/1066.68 c #Conflicts: 627000 | #Constraints: 42569 1062.87/1066.68 c #Conflicts: 628000 | #Constraints: 43569 1062.87/1066.68 c #Conflicts: 629000 | #Constraints: 44569 1062.87/1066.68 c #Conflicts: 630000 | #Constraints: 45569 1062.87/1066.68 c #Conflicts: 631000 | #Constraints: 46569 1062.87/1066.68 c #Conflicts: 632000 | #Constraints: 47569 1062.87/1066.68 c #Conflicts: 633000 | #Constraints: 48569 1062.87/1066.68 c #Conflicts: 634000 | #Constraints: 49569 1062.87/1066.68 c #Conflicts: 635000 | #Constraints: 50569 1062.87/1066.68 c #Conflicts: 636000 | #Constraints: 51569 1062.87/1066.68 c #Conflicts: 637000 | #Constraints: 52569 1062.87/1066.68 c #Conflicts: 638000 | #Constraints: 53569 1062.87/1066.68 c #Conflicts: 639000 | #Constraints: 54569 1062.87/1066.68 c #Conflicts: 640000 | #Constraints: 55569 1062.87/1066.68 c #Conflicts: 641000 | #Constraints: 56569 1062.87/1066.68 c #Conflicts: 642000 | #Constraints: 57569 1062.87/1066.68 c #Conflicts: 643000 | #Constraints: 58569 1062.87/1066.68 c #Conflicts: 644000 | #Constraints: 59569 1062.87/1066.68 c #Conflicts: 645000 | #Constraints: 60569 1062.87/1066.68 c #Conflicts: 646000 | #Constraints: 61569 1062.87/1066.68 c #Conflicts: 647000 | #Constraints: 62569 1062.87/1066.68 c #Conflicts: 648000 | #Constraints: 63569 1062.87/1066.68 c #Conflicts: 649000 | #Constraints: 64569 1062.87/1066.68 c #Conflicts: 650000 | #Constraints: 65569 1062.87/1066.68 c #Conflicts: 651000 | #Constraints: 66569 1062.87/1066.68 c #Conflicts: 652000 | #Constraints: 67569 1062.87/1066.68 c #Conflicts: 653000 | #Constraints: 68569 1062.87/1066.68 c #Conflicts: 654000 | #Constraints: 69569 1062.87/1066.68 c #Conflicts: 655000 | #Constraints: 70569 1062.87/1066.68 c #Conflicts: 656000 | #Constraints: 71569 1062.87/1066.68 c #Conflicts: 657000 | #Constraints: 72569 1062.87/1066.68 c #Conflicts: 658000 | #Constraints: 73569 1062.87/1066.68 c #Conflicts: 659000 | #Constraints: 74569 1062.87/1066.68 c bounds -36 >= -37 @ 1042.72 1062.87/1066.68 c #Conflicts: 660000 | #Constraints: 75599 1062.87/1066.68 c #Conflicts: 661000 | #Constraints: 76606 1062.87/1066.68 c #Conflicts: 662000 | #Constraints: 77613 1062.87/1066.69 c #Conflicts: 663000 | #Constraints: 78623 1062.87/1066.69 c #Conflicts: 664000 | #Constraints: 79634 1062.87/1066.69 c #Conflicts: 665000 | #Constraints: 80640 1062.87/1066.69 c #Conflicts: 666000 | #Constraints: 81650 1062.87/1066.69 c #Conflicts: 667000 | #Constraints: 82660 1062.87/1066.69 c INPROCESSING 1062.87/1066.69 c GARBAGE COLLECT 1062.87/1066.69 c rational objective -37 1085.70/1089.57 c #Conflicts: 668000 | #Constraints: 42645 1085.70/1089.57 c #Conflicts: 669000 | #Constraints: 43650 1085.70/1089.57 c #Conflicts: 670000 | #Constraints: 44657 1085.70/1089.57 c #Conflicts: 671000 | #Constraints: 45687 1085.70/1089.57 c #Conflicts: 672000 | #Constraints: 46700 1085.70/1089.57 c #Conflicts: 673000 | #Constraints: 47718 1085.70/1089.57 c #Conflicts: 674000 | #Constraints: 48732 1085.70/1089.57 c #Conflicts: 675000 | #Constraints: 49751 1085.70/1089.57 c #Conflicts: 676000 | #Constraints: 50773 1085.70/1089.57 c #Conflicts: 677000 | #Constraints: 51786 1085.70/1089.57 c #Conflicts: 678000 | #Constraints: 52806 1085.70/1089.57 c #Conflicts: 679000 | #Constraints: 53821 1085.70/1089.57 c #Conflicts: 680000 | #Constraints: 54829 1085.70/1089.57 c #Conflicts: 681000 | #Constraints: 55838 1085.70/1089.57 c #Conflicts: 682000 | #Constraints: 56848 1085.70/1089.57 c #Conflicts: 683000 | #Constraints: 57860 1085.70/1089.57 c #Conflicts: 684000 | #Constraints: 58868 1085.70/1089.57 c #Conflicts: 685000 | #Constraints: 59880 1085.70/1089.57 c INPROCESSING 1085.70/1089.57 c GARBAGE COLLECT 1085.70/1089.57 c rational objective -37 1105.43/1109.39 c #Conflicts: 686000 | #Constraints: 31281 1105.43/1109.39 c #Conflicts: 687000 | #Constraints: 32296 1105.43/1109.39 c #Conflicts: 688000 | #Constraints: 33307 1105.43/1109.39 c #Conflicts: 689000 | #Constraints: 34315 1105.43/1109.39 c #Conflicts: 690000 | #Constraints: 35325 1105.43/1109.39 c #Conflicts: 691000 | #Constraints: 36333 1105.43/1109.39 c #Conflicts: 692000 | #Constraints: 37344 1105.43/1109.39 c #Conflicts: 693000 | #Constraints: 38353 1105.43/1109.39 c #Conflicts: 694000 | #Constraints: 39363 1105.43/1109.39 c #Conflicts: 695000 | #Constraints: 40385 1105.43/1109.39 c #Conflicts: 696000 | #Constraints: 41399 1105.43/1109.39 c #Conflicts: 697000 | #Constraints: 42415 1105.43/1109.39 c #Conflicts: 698000 | #Constraints: 43435 1105.43/1109.39 c #Conflicts: 699000 | #Constraints: 44447 1105.43/1109.39 c #Conflicts: 700000 | #Constraints: 45461 1105.43/1109.39 c #Conflicts: 701000 | #Constraints: 46473 1105.43/1109.39 c #Conflicts: 702000 | #Constraints: 47488 1105.43/1109.39 c #Conflicts: 703000 | #Constraints: 48504 1105.43/1109.39 c #Conflicts: 704000 | #Constraints: 49529 1105.43/1109.39 c INPROCESSING 1105.43/1109.39 c GARBAGE COLLECT 1105.43/1109.39 c rational objective -37 1123.47/1127.40 c #Conflicts: 705000 | #Constraints: 26507 1123.47/1127.40 c #Conflicts: 706000 | #Constraints: 27525 1123.47/1127.40 c #Conflicts: 707000 | #Constraints: 28548 1123.47/1127.40 c #Conflicts: 708000 | #Constraints: 29563 1123.47/1127.40 c #Conflicts: 709000 | #Constraints: 30586 1123.47/1127.40 c #Conflicts: 710000 | #Constraints: 31619 1123.47/1127.40 c #Conflicts: 711000 | #Constraints: 32645 1123.47/1127.40 c #Conflicts: 712000 | #Constraints: 33666 1123.47/1127.40 c #Conflicts: 713000 | #Constraints: 34695 1123.47/1127.40 c #Conflicts: 714000 | #Constraints: 35719 1123.47/1127.40 c #Conflicts: 715000 | #Constraints: 36739 1123.47/1127.40 c #Conflicts: 716000 | #Constraints: 37764 1123.47/1127.40 c #Conflicts: 717000 | #Constraints: 38774 1123.47/1127.40 c #Conflicts: 718000 | #Constraints: 39789 1123.47/1127.40 c #Conflicts: 719000 | #Constraints: 40825 1123.47/1127.40 c #Conflicts: 720000 | #Constraints: 41859 1123.47/1127.40 c #Conflicts: 721000 | #Constraints: 42891 1123.47/1127.40 c #Conflicts: 722000 | #Constraints: 43927 1123.47/1127.40 c INPROCESSING 1123.47/1127.40 c GARBAGE COLLECT 1123.47/1127.40 c rational objective -37 1141.13/1145.16 c #Conflicts: 723000 | #Constraints: 23501 1141.13/1145.16 c #Conflicts: 724000 | #Constraints: 24520 1141.13/1145.16 c #Conflicts: 725000 | #Constraints: 25543 1141.13/1145.16 c #Conflicts: 726000 | #Constraints: 26567 1141.13/1145.16 c #Conflicts: 727000 | #Constraints: 27584 1141.13/1145.16 c #Conflicts: 728000 | #Constraints: 28609 1141.13/1145.16 c #Conflicts: 729000 | #Constraints: 29627 1141.13/1145.16 c #Conflicts: 730000 | #Constraints: 30650 1141.13/1145.16 c #Conflicts: 731000 | #Constraints: 31684 1141.13/1145.16 c #Conflicts: 732000 | #Constraints: 32707 1141.13/1145.16 c #Conflicts: 733000 | #Constraints: 33727 1141.13/1145.16 c #Conflicts: 734000 | #Constraints: 34746 1141.13/1145.16 c #Conflicts: 735000 | #Constraints: 35771 1141.13/1145.16 c #Conflicts: 736000 | #Constraints: 36788 1141.13/1145.16 c #Conflicts: 737000 | #Constraints: 37813 1141.13/1145.16 c #Conflicts: 738000 | #Constraints: 38834 1141.13/1145.16 c #Conflicts: 739000 | #Constraints: 39852 1141.13/1145.16 c #Conflicts: 740000 | #Constraints: 40869 1141.13/1145.16 c #Conflicts: 741000 | #Constraints: 41895 1141.13/1145.16 c INPROCESSING 1141.13/1145.16 c GARBAGE COLLECT 1141.13/1145.16 c rational objective -37 1336.15/1340.75 c #Conflicts: 742000 | #Constraints: 22694 1336.15/1340.75 c #Conflicts: 743000 | #Constraints: 23722 1336.15/1340.75 c #Conflicts: 744000 | #Constraints: 24743 1336.15/1340.75 c #Conflicts: 745000 | #Constraints: 25768 1336.15/1340.75 c #Conflicts: 746000 | #Constraints: 26782 1336.15/1340.75 c #Conflicts: 747000 | #Constraints: 27791 1336.15/1340.75 c #Conflicts: 748000 | #Constraints: 28799 1336.15/1340.75 c #Conflicts: 749000 | #Constraints: 29811 1336.15/1340.75 c #Conflicts: 750000 | #Constraints: 30835 1336.15/1340.75 c #Conflicts: 751000 | #Constraints: 31858 1336.15/1340.75 c #Conflicts: 752000 | #Constraints: 32872 1336.15/1340.75 c #Conflicts: 753000 | #Constraints: 33879 1336.15/1340.75 c #Conflicts: 754000 | #Constraints: 34887 1336.15/1340.75 c #Conflicts: 755000 | #Constraints: 35900 1336.15/1340.75 c #Conflicts: 756000 | #Constraints: 36916 1336.15/1340.75 c #Conflicts: 757000 | #Constraints: 37927 1336.15/1340.75 c #Conflicts: 758000 | #Constraints: 38950 1336.15/1340.75 c #Conflicts: 759000 | #Constraints: 39968 1336.15/1340.75 c #Conflicts: 760000 | #Constraints: 40984 1336.15/1340.75 c #Conflicts: 761000 | #Constraints: 42003 1336.15/1340.75 c #Conflicts: 762000 | #Constraints: 43027 1336.15/1340.75 c #Conflicts: 763000 | #Constraints: 44040 1336.15/1340.75 c #Conflicts: 764000 | #Constraints: 45051 1336.15/1340.75 c #Conflicts: 765000 | #Constraints: 46063 1336.15/1340.75 c #Conflicts: 766000 | #Constraints: 47077 1336.15/1340.75 c #Conflicts: 767000 | #Constraints: 48086 1336.15/1340.75 c #Conflicts: 768000 | #Constraints: 49097 1336.15/1340.75 c #Conflicts: 769000 | #Constraints: 50110 1336.15/1340.75 c #Conflicts: 770000 | #Constraints: 51123 1336.15/1340.75 c #Conflicts: 771000 | #Constraints: 52135 1336.15/1340.75 c #Conflicts: 772000 | #Constraints: 53145 1336.15/1340.75 c #Conflicts: 773000 | #Constraints: 54157 1336.15/1340.75 c #Conflicts: 774000 | #Constraints: 55175 1336.15/1340.75 c #Conflicts: 775000 | #Constraints: 56189 1336.15/1340.75 c #Conflicts: 776000 | #Constraints: 57198 1336.15/1340.75 c #Conflicts: 777000 | #Constraints: 58210 1336.15/1340.75 c #Conflicts: 778000 | #Constraints: 59218 1336.15/1340.75 c #Conflicts: 779000 | #Constraints: 60229 1336.15/1340.75 c #Conflicts: 780000 | #Constraints: 61243 1336.15/1340.75 c #Conflicts: 781000 | #Constraints: 62254 1336.15/1340.75 c #Conflicts: 782000 | #Constraints: 63263 1336.15/1340.75 c #Conflicts: 783000 | #Constraints: 64279 1336.15/1340.75 c #Conflicts: 784000 | #Constraints: 65301 1336.15/1340.75 c #Conflicts: 785000 | #Constraints: 66318 1336.15/1340.75 c #Conflicts: 786000 | #Constraints: 67332 1336.15/1340.75 c #Conflicts: 787000 | #Constraints: 68358 1336.15/1340.75 c #Conflicts: 788000 | #Constraints: 69374 1336.15/1340.75 c #Conflicts: 789000 | #Constraints: 70383 1336.15/1340.75 c #Conflicts: 790000 | #Constraints: 71389 1336.15/1340.75 c #Conflicts: 791000 | #Constraints: 72399 1336.15/1340.75 c #Conflicts: 792000 | #Constraints: 73408 1336.15/1340.75 c #Conflicts: 793000 | #Constraints: 74417 1336.15/1340.75 c #Conflicts: 794000 | #Constraints: 75425 1336.15/1340.75 c #Conflicts: 795000 | #Constraints: 76439 1336.15/1340.75 c #Conflicts: 796000 | #Constraints: 77468 1336.15/1340.75 c #Conflicts: 797000 | #Constraints: 78474 1336.15/1340.75 c #Conflicts: 798000 | #Constraints: 79481 1336.15/1340.75 c #Conflicts: 799000 | #Constraints: 80488 1336.15/1340.75 c #Conflicts: 800000 | #Constraints: 81496 1336.15/1340.75 c #Conflicts: 801000 | #Constraints: 82503 1336.15/1340.75 c #Conflicts: 802000 | #Constraints: 83506 1336.15/1340.75 c #Conflicts: 803000 | #Constraints: 84523 1336.15/1340.75 c #Conflicts: 804000 | #Constraints: 85535 1336.15/1340.75 c #Conflicts: 805000 | #Constraints: 86547 1336.15/1340.75 c #Conflicts: 806000 | #Constraints: 87555 1336.15/1340.75 c #Conflicts: 807000 | #Constraints: 88566 1336.15/1340.75 c #Conflicts: 808000 | #Constraints: 89570 1336.15/1340.75 c #Conflicts: 809000 | #Constraints: 90578 1336.15/1340.75 c #Conflicts: 810000 | #Constraints: 91583 1336.15/1340.75 c #Conflicts: 811000 | #Constraints: 92593 1336.15/1340.75 c #Conflicts: 812000 | #Constraints: 93598 1336.15/1340.75 c INPROCESSING 1336.15/1340.75 c GARBAGE COLLECT 1336.15/1340.75 c rational objective -37 1524.04/1529.16 c #Conflicts: 813000 | #Constraints: 48519 1524.04/1529.16 c #Conflicts: 814000 | #Constraints: 49519 1524.04/1529.16 c #Conflicts: 815000 | #Constraints: 50519 1524.04/1529.16 c #Conflicts: 816000 | #Constraints: 51519 1524.04/1529.16 c #Conflicts: 817000 | #Constraints: 52519 1524.04/1529.16 c #Conflicts: 818000 | #Constraints: 53519 1524.04/1529.16 c #Conflicts: 819000 | #Constraints: 54519 1524.04/1529.16 c #Conflicts: 820000 | #Constraints: 55519 1524.04/1529.16 c #Conflicts: 821000 | #Constraints: 56519 1524.04/1529.16 c #Conflicts: 822000 | #Constraints: 57519 1524.04/1529.16 c #Conflicts: 823000 | #Constraints: 58519 1524.04/1529.16 c #Conflicts: 824000 | #Constraints: 59519 1524.04/1529.16 c #Conflicts: 825000 | #Constraints: 60519 1524.04/1529.16 c #Conflicts: 826000 | #Constraints: 61519 1524.04/1529.16 c #Conflicts: 827000 | #Constraints: 62519 1524.04/1529.16 c #Conflicts: 828000 | #Constraints: 63519 1524.04/1529.16 c #Conflicts: 829000 | #Constraints: 64519 1524.04/1529.16 c #Conflicts: 830000 | #Constraints: 65519 1524.04/1529.16 c #Conflicts: 831000 | #Constraints: 66519 1524.04/1529.16 c INPROCESSING 1524.04/1529.16 c GARBAGE COLLECT 1524.04/1529.16 c rational objective -37 1549.45/1554.60 c #Conflicts: 832000 | #Constraints: 34554 1549.45/1554.60 c #Conflicts: 833000 | #Constraints: 35567 1549.45/1554.60 c #Conflicts: 834000 | #Constraints: 36594 1549.45/1554.60 c #Conflicts: 835000 | #Constraints: 37627 1549.45/1554.60 c #Conflicts: 836000 | #Constraints: 38661 1549.45/1554.60 c #Conflicts: 837000 | #Constraints: 39691 1549.45/1554.60 c #Conflicts: 838000 | #Constraints: 40724 1549.45/1554.60 c #Conflicts: 839000 | #Constraints: 41758 1549.45/1554.60 c #Conflicts: 840000 | #Constraints: 42779 1549.45/1554.60 c #Conflicts: 841000 | #Constraints: 43798 1549.45/1554.60 c #Conflicts: 842000 | #Constraints: 44821 1549.45/1554.60 c #Conflicts: 843000 | #Constraints: 45841 1549.45/1554.60 c #Conflicts: 844000 | #Constraints: 46859 1549.45/1554.60 c #Conflicts: 845000 | #Constraints: 47871 1549.45/1554.60 c #Conflicts: 846000 | #Constraints: 48878 1549.45/1554.60 c #Conflicts: 847000 | #Constraints: 49894 1549.45/1554.60 c #Conflicts: 848000 | #Constraints: 50906 1549.45/1554.60 c #Conflicts: 849000 | #Constraints: 51917 1549.45/1554.60 c #Conflicts: 850000 | #Constraints: 52922 1549.45/1554.60 c #Conflicts: 851000 | #Constraints: 53930 1549.45/1554.60 c #Conflicts: 852000 | #Constraints: 54948 1549.45/1554.60 c INPROCESSING 1549.45/1554.60 c GARBAGE COLLECT 1549.45/1554.60 c rational objective -37 1572.19/1577.43 c #Conflicts: 853000 | #Constraints: 29210 1572.19/1577.43 c #Conflicts: 854000 | #Constraints: 30224 1572.19/1577.43 c #Conflicts: 855000 | #Constraints: 31238 1572.19/1577.43 c #Conflicts: 856000 | #Constraints: 32246 1572.19/1577.43 c #Conflicts: 857000 | #Constraints: 33252 1572.19/1577.43 c #Conflicts: 858000 | #Constraints: 34260 1572.19/1577.43 c #Conflicts: 859000 | #Constraints: 35272 1572.19/1577.43 c #Conflicts: 860000 | #Constraints: 36279 1572.19/1577.43 c #Conflicts: 861000 | #Constraints: 37297 1572.19/1577.43 c #Conflicts: 862000 | #Constraints: 38309 1572.19/1577.43 c #Conflicts: 863000 | #Constraints: 39333 1572.19/1577.43 c #Conflicts: 864000 | #Constraints: 40360 1572.19/1577.43 c #Conflicts: 865000 | #Constraints: 41388 1572.19/1577.43 c #Conflicts: 866000 | #Constraints: 42398 1572.19/1577.43 c #Conflicts: 867000 | #Constraints: 43404 1572.19/1577.43 c #Conflicts: 868000 | #Constraints: 44412 1572.19/1577.43 c #Conflicts: 869000 | #Constraints: 45417 1572.19/1577.43 c #Conflicts: 870000 | #Constraints: 46423 1572.19/1577.43 c #Conflicts: 871000 | #Constraints: 47433 1572.19/1577.43 c #Conflicts: 872000 | #Constraints: 48445 1572.19/1577.43 c INPROCESSING 1572.19/1577.43 c GARBAGE COLLECT 1572.19/1577.43 c rational objective -37 1626.65/1632.01 c #Conflicts: 873000 | #Constraints: 25795 1626.65/1632.01 c #Conflicts: 874000 | #Constraints: 26795 1626.65/1632.01 c #Conflicts: 875000 | #Constraints: 27795 1626.65/1632.01 c #Conflicts: 876000 | #Constraints: 28795 1626.65/1632.01 c #Conflicts: 877000 | #Constraints: 29795 1626.65/1632.01 c #Conflicts: 878000 | #Constraints: 30795 1626.65/1632.01 c #Conflicts: 879000 | #Constraints: 31795 1626.65/1632.01 c #Conflicts: 880000 | #Constraints: 32795 1626.65/1632.01 c #Conflicts: 881000 | #Constraints: 33795 1626.65/1632.01 c #Conflicts: 882000 | #Constraints: 34795 1626.65/1632.01 c #Conflicts: 883000 | #Constraints: 35795 1626.65/1632.01 c #Conflicts: 884000 | #Constraints: 36795 1626.65/1632.01 c #Conflicts: 885000 | #Constraints: 37795 1626.65/1632.01 c #Conflicts: 886000 | #Constraints: 38795 1626.65/1632.01 c #Conflicts: 887000 | #Constraints: 39795 1626.65/1632.01 c #Conflicts: 888000 | #Constraints: 40795 1626.65/1632.01 c #Conflicts: 889000 | #Constraints: 41795 1626.65/1632.01 c #Conflicts: 890000 | #Constraints: 42795 1626.65/1632.01 c #Conflicts: 891000 | #Constraints: 43795 1626.65/1632.01 c #Conflicts: 892000 | #Constraints: 44795 1626.65/1632.01 c INPROCESSING 1626.65/1632.01 c GARBAGE COLLECT 1626.65/1632.01 c rational objective -37 1856.19/1862.22 c #Conflicts: 893000 | #Constraints: 23745 1856.19/1862.22 c #Conflicts: 894000 | #Constraints: 24763 1856.19/1862.22 c #Conflicts: 895000 | #Constraints: 25780 1856.19/1862.22 c #Conflicts: 896000 | #Constraints: 26794 1856.19/1862.22 c #Conflicts: 897000 | #Constraints: 27810 1856.19/1862.22 c #Conflicts: 898000 | #Constraints: 28837 1856.19/1862.22 c #Conflicts: 899000 | #Constraints: 29855 1856.19/1862.22 c #Conflicts: 900000 | #Constraints: 30868 1856.19/1862.22 c #Conflicts: 901000 | #Constraints: 31878 1856.19/1862.22 c #Conflicts: 902000 | #Constraints: 32894 1856.19/1862.22 c #Conflicts: 903000 | #Constraints: 33902 1856.19/1862.22 c #Conflicts: 904000 | #Constraints: 34916 1856.19/1862.22 c #Conflicts: 905000 | #Constraints: 35931 1856.19/1862.22 c #Conflicts: 906000 | #Constraints: 36946 1856.19/1862.22 c #Conflicts: 907000 | #Constraints: 37960 1856.19/1862.22 c #Conflicts: 908000 | #Constraints: 38977 1856.19/1862.22 c #Conflicts: 909000 | #Constraints: 39997 1856.19/1862.22 c #Conflicts: 910000 | #Constraints: 41010 1856.19/1862.22 c #Conflicts: 911000 | #Constraints: 42018 1856.19/1862.22 c #Conflicts: 912000 | #Constraints: 43026 1856.19/1862.22 c #Conflicts: 913000 | #Constraints: 44043 1856.19/1862.22 c #Conflicts: 914000 | #Constraints: 45052 1856.19/1862.22 c #Conflicts: 915000 | #Constraints: 46062 1856.19/1862.22 c #Conflicts: 916000 | #Constraints: 47070 1856.19/1862.22 c #Conflicts: 917000 | #Constraints: 48090 1856.19/1862.22 c #Conflicts: 918000 | #Constraints: 49118 1856.19/1862.22 c #Conflicts: 919000 | #Constraints: 50125 1856.19/1862.22 c #Conflicts: 920000 | #Constraints: 51132 1856.19/1862.22 c #Conflicts: 921000 | #Constraints: 52144 1856.19/1862.22 c #Conflicts: 922000 | #Constraints: 53152 1856.19/1862.22 c #Conflicts: 923000 | #Constraints: 54162 1856.19/1862.22 c #Conflicts: 924000 | #Constraints: 55172 1856.19/1862.22 c #Conflicts: 925000 | #Constraints: 56186 1856.19/1862.22 c #Conflicts: 926000 | #Constraints: 57202 1856.19/1862.22 c #Conflicts: 927000 | #Constraints: 58218 1856.19/1862.22 c #Conflicts: 928000 | #Constraints: 59231 1856.19/1862.22 c #Conflicts: 929000 | #Constraints: 60238 1856.19/1862.22 c #Conflicts: 930000 | #Constraints: 61251 1856.19/1862.22 c #Conflicts: 931000 | #Constraints: 62268 1856.19/1862.22 c #Conflicts: 932000 | #Constraints: 63282 1856.19/1862.22 c #Conflicts: 933000 | #Constraints: 64295 1856.19/1862.22 c #Conflicts: 934000 | #Constraints: 65308 1856.19/1862.22 c #Conflicts: 935000 | #Constraints: 66330 1856.19/1862.22 c #Conflicts: 936000 | #Constraints: 67354 1856.19/1862.22 c #Conflicts: 937000 | #Constraints: 68371 1856.19/1862.22 c #Conflicts: 938000 | #Constraints: 69393 1856.19/1862.22 c #Conflicts: 939000 | #Constraints: 70419 1856.19/1862.22 c #Conflicts: 940000 | #Constraints: 71439 1856.19/1862.22 c #Conflicts: 941000 | #Constraints: 72468 1856.19/1862.22 c #Conflicts: 942000 | #Constraints: 73495 1856.19/1862.22 c #Conflicts: 943000 | #Constraints: 74519 1856.19/1862.22 c #Conflicts: 944000 | #Constraints: 75537 1856.19/1862.22 c #Conflicts: 945000 | #Constraints: 76560 1856.19/1862.22 c #Conflicts: 946000 | #Constraints: 77577 1856.19/1862.22 c #Conflicts: 947000 | #Constraints: 78600 1856.19/1862.22 c #Conflicts: 948000 | #Constraints: 79627 1856.19/1862.22 c #Conflicts: 949000 | #Constraints: 80657 1856.19/1862.22 c #Conflicts: 950000 | #Constraints: 81687 1856.19/1862.22 c #Conflicts: 951000 | #Constraints: 82722 1856.19/1862.22 c #Conflicts: 952000 | #Constraints: 83754 1856.19/1862.22 c #Conflicts: 953000 | #Constraints: 84784 1856.19/1862.22 c #Conflicts: 954000 | #Constraints: 85813 1856.19/1862.22 c #Conflicts: 955000 | #Constraints: 86837 1856.19/1862.22 c #Conflicts: 956000 | #Constraints: 87869 1856.19/1862.22 c #Conflicts: 957000 | #Constraints: 88905 1856.19/1862.22 c #Conflicts: 958000 | #Constraints: 89936 1856.19/1862.22 c #Conflicts: 959000 | #Constraints: 90960 1856.19/1862.22 c #Conflicts: 960000 | #Constraints: 91991 1856.19/1862.22 c #Conflicts: 961000 | #Constraints: 93018 1856.19/1862.22 c #Conflicts: 962000 | #Constraints: 94046 1856.19/1862.22 c #Conflicts: 963000 | #Constraints: 95075 1856.19/1862.22 c #Conflicts: 964000 | #Constraints: 96099 1856.19/1862.22 c #Conflicts: 965000 | #Constraints: 97127 1856.19/1862.22 c #Conflicts: 966000 | #Constraints: 98151 1856.19/1862.22 c #Conflicts: 967000 | #Constraints: 99176 1856.19/1862.22 c #Conflicts: 968000 | #Constraints: 100198 1856.19/1862.22 c #Conflicts: 969000 | #Constraints: 101220 1856.19/1862.22 c #Conflicts: 970000 | #Constraints: 102245 1856.19/1862.22 c INPROCESSING 1856.19/1862.22 c GARBAGE COLLECT 1856.19/1862.22 c rational objective -37 2086.06/2092.72 c #Conflicts: 971000 | #Constraints: 52738 2086.06/2092.72 c #Conflicts: 972000 | #Constraints: 53738 2086.06/2092.72 c #Conflicts: 973000 | #Constraints: 54738 2086.06/2092.72 c #Conflicts: 974000 | #Constraints: 55738 2086.06/2092.72 c #Conflicts: 975000 | #Constraints: 56738 2086.06/2092.72 c #Conflicts: 976000 | #Constraints: 57738 2086.06/2092.72 c #Conflicts: 977000 | #Constraints: 58738 2086.06/2092.72 c #Conflicts: 978000 | #Constraints: 59738 2086.06/2092.72 c #Conflicts: 979000 | #Constraints: 60738 2086.06/2092.72 c #Conflicts: 980000 | #Constraints: 61738 2086.06/2092.72 c #Conflicts: 981000 | #Constraints: 62738 2086.06/2092.72 c #Conflicts: 982000 | #Constraints: 63738 2086.06/2092.72 c #Conflicts: 983000 | #Constraints: 64738 2086.06/2092.72 c #Conflicts: 984000 | #Constraints: 65738 2086.06/2092.72 c #Conflicts: 985000 | #Constraints: 66738 2086.06/2092.72 c #Conflicts: 986000 | #Constraints: 67738 2086.06/2092.72 c #Conflicts: 987000 | #Constraints: 68738 2086.06/2092.72 c #Conflicts: 988000 | #Constraints: 69738 2086.06/2092.72 c #Conflicts: 989000 | #Constraints: 70738 2086.06/2092.72 c #Conflicts: 990000 | #Constraints: 71738 2086.06/2092.72 c #Conflicts: 991000 | #Constraints: 72738 2086.06/2092.72 c #Conflicts: 992000 | #Constraints: 73738 2086.06/2092.72 c INPROCESSING 2086.06/2092.72 c GARBAGE COLLECT 2086.06/2092.72 c rational objective -37 2140.60/2147.44 c #Conflicts: 993000 | #Constraints: 38642 2140.60/2147.44 c #Conflicts: 994000 | #Constraints: 39659 2140.60/2147.44 c #Conflicts: 995000 | #Constraints: 40663 2140.60/2147.44 c #Conflicts: 996000 | #Constraints: 41676 2140.60/2147.44 c #Conflicts: 997000 | #Constraints: 42689 2140.60/2147.44 c #Conflicts: 998000 | #Constraints: 43703 2140.60/2147.44 c #Conflicts: 999000 | #Constraints: 44724 2140.60/2147.44 c #Conflicts: 1000000 | #Constraints: 45735 2140.60/2147.44 c #Conflicts: 1001000 | #Constraints: 46760 2140.60/2147.44 c #Conflicts: 1002000 | #Constraints: 47786 2140.60/2147.44 c #Conflicts: 1003000 | #Constraints: 48801 2140.60/2147.44 c #Conflicts: 1004000 | #Constraints: 49821 2140.60/2147.44 c #Conflicts: 1005000 | #Constraints: 50837 2140.60/2147.44 c #Conflicts: 1006000 | #Constraints: 51861 2140.60/2147.44 c #Conflicts: 1007000 | #Constraints: 52889 2140.60/2147.44 c #Conflicts: 1008000 | #Constraints: 53917 2140.60/2147.44 c #Conflicts: 1009000 | #Constraints: 54936 2140.60/2147.44 c #Conflicts: 1010000 | #Constraints: 55949 2140.60/2147.44 c #Conflicts: 1011000 | #Constraints: 56958 2140.60/2147.44 c #Conflicts: 1012000 | #Constraints: 57975 2140.60/2147.44 c #Conflicts: 1013000 | #Constraints: 59002 2140.60/2147.44 c #Conflicts: 1014000 | #Constraints: 60024 2140.60/2147.44 c INPROCESSING 2140.60/2147.44 c GARBAGE COLLECT 2140.60/2147.44 c rational objective -37 2214.59/2221.60 c #Conflicts: 1015000 | #Constraints: 31745 2214.59/2221.60 c #Conflicts: 1016000 | #Constraints: 32745 2214.59/2221.60 c #Conflicts: 1017000 | #Constraints: 33745 2214.59/2221.60 c #Conflicts: 1018000 | #Constraints: 34745 2214.59/2221.60 c #Conflicts: 1019000 | #Constraints: 35745 2214.59/2221.60 c #Conflicts: 1020000 | #Constraints: 36745 2214.59/2221.60 c #Conflicts: 1021000 | #Constraints: 37745 2214.59/2221.60 c #Conflicts: 1022000 | #Constraints: 38745 2214.59/2221.60 c #Conflicts: 1023000 | #Constraints: 39745 2214.59/2221.60 c #Conflicts: 1024000 | #Constraints: 40745 2214.59/2221.60 c #Conflicts: 1025000 | #Constraints: 41745 2214.59/2221.60 c #Conflicts: 1026000 | #Constraints: 42745 2214.59/2221.60 c #Conflicts: 1027000 | #Constraints: 43745 2214.59/2221.60 c #Conflicts: 1028000 | #Constraints: 44745 2214.59/2221.60 c #Conflicts: 1029000 | #Constraints: 45745 2214.59/2221.60 c #Conflicts: 1030000 | #Constraints: 46745 2214.59/2221.60 c #Conflicts: 1031000 | #Constraints: 47745 2214.59/2221.60 c #Conflicts: 1032000 | #Constraints: 48745 2214.59/2221.60 c #Conflicts: 1033000 | #Constraints: 49745 2214.59/2221.60 c #Conflicts: 1034000 | #Constraints: 50745 2214.59/2221.61 c #Conflicts: 1035000 | #Constraints: 51745 2214.59/2221.61 c #Conflicts: 1036000 | #Constraints: 52745 2214.59/2221.61 c INPROCESSING 2214.59/2221.61 c GARBAGE COLLECT 2214.59/2221.61 c rational objective -37 2337.35/2344.74 c #Conflicts: 1037000 | #Constraints: 28032 2337.35/2344.74 c #Conflicts: 1038000 | #Constraints: 29044 2337.35/2344.74 c #Conflicts: 1039000 | #Constraints: 30053 2337.35/2344.74 c #Conflicts: 1040000 | #Constraints: 31057 2337.35/2344.74 c #Conflicts: 1041000 | #Constraints: 32064 2337.35/2344.74 c #Conflicts: 1042000 | #Constraints: 33077 2337.35/2344.74 c #Conflicts: 1043000 | #Constraints: 34086 2337.35/2344.74 c #Conflicts: 1044000 | #Constraints: 35094 2337.35/2344.74 c #Conflicts: 1045000 | #Constraints: 36102 2337.35/2344.74 c #Conflicts: 1046000 | #Constraints: 37106 2337.35/2344.74 c #Conflicts: 1047000 | #Constraints: 38113 2337.35/2344.74 c #Conflicts: 1048000 | #Constraints: 39121 2337.35/2344.74 c #Conflicts: 1049000 | #Constraints: 40131 2337.35/2344.74 c #Conflicts: 1050000 | #Constraints: 41137 2337.35/2344.74 c #Conflicts: 1051000 | #Constraints: 42143 2337.35/2344.74 c #Conflicts: 1052000 | #Constraints: 43148 2337.35/2344.74 c #Conflicts: 1053000 | #Constraints: 44153 2337.35/2344.74 c #Conflicts: 1054000 | #Constraints: 45159 2337.35/2344.74 c #Conflicts: 1055000 | #Constraints: 46163 2337.35/2344.74 c #Conflicts: 1056000 | #Constraints: 47166 2337.35/2344.74 c #Conflicts: 1057000 | #Constraints: 48173 2337.35/2344.74 c #Conflicts: 1058000 | #Constraints: 49176 2337.35/2344.74 c INPROCESSING 2337.35/2344.74 c GARBAGE COLLECT 2337.35/2344.74 c rational objective -37 2862.49/2871.35 c #Conflicts: 1059000 | #Constraints: 26028 2862.49/2871.35 c #Conflicts: 1060000 | #Constraints: 27028 2862.49/2871.35 c #Conflicts: 1061000 | #Constraints: 28028 2862.49/2871.35 c #Conflicts: 1062000 | #Constraints: 29028 2862.49/2871.35 c #Conflicts: 1063000 | #Constraints: 30028 2862.49/2871.35 c #Conflicts: 1064000 | #Constraints: 31028 2862.49/2871.35 c #Conflicts: 1065000 | #Constraints: 32028 2862.49/2871.35 c #Conflicts: 1066000 | #Constraints: 33028 2862.49/2871.35 c #Conflicts: 1067000 | #Constraints: 34028 2862.49/2871.35 c #Conflicts: 1068000 | #Constraints: 35028 2862.49/2871.35 c #Conflicts: 1069000 | #Constraints: 36028 2862.49/2871.35 c #Conflicts: 1070000 | #Constraints: 37028 2862.49/2871.35 c #Conflicts: 1071000 | #Constraints: 38028 2862.49/2871.35 c #Conflicts: 1072000 | #Constraints: 39028 2862.49/2871.35 c #Conflicts: 1073000 | #Constraints: 40028 2862.49/2871.35 c #Conflicts: 1074000 | #Constraints: 41028 2862.49/2871.35 c #Conflicts: 1075000 | #Constraints: 42028 2862.49/2871.35 c #Conflicts: 1076000 | #Constraints: 43028 2862.49/2871.35 c #Conflicts: 1077000 | #Constraints: 44028 2862.49/2871.35 c #Conflicts: 1078000 | #Constraints: 45028 2862.49/2871.35 c #Conflicts: 1079000 | #Constraints: 46028 2862.49/2871.35 c #Conflicts: 1080000 | #Constraints: 47028 2862.49/2871.35 c #Conflicts: 1081000 | #Constraints: 48028 2862.49/2871.35 c #Conflicts: 1082000 | #Constraints: 49028 2862.49/2871.35 c #Conflicts: 1083000 | #Constraints: 50028 2862.49/2871.35 c #Conflicts: 1084000 | #Constraints: 51028 2862.49/2871.35 c #Conflicts: 1085000 | #Constraints: 52028 2862.49/2871.35 c #Conflicts: 1086000 | #Constraints: 53028 2862.49/2871.35 c #Conflicts: 1087000 | #Constraints: 54028 2862.49/2871.35 c #Conflicts: 1088000 | #Constraints: 55028 2862.49/2871.35 c #Conflicts: 1089000 | #Constraints: 56028 2862.49/2871.35 c #Conflicts: 1090000 | #Constraints: 57028 2862.49/2871.35 c #Conflicts: 1091000 | #Constraints: 58028 2862.49/2871.35 c #Conflicts: 1092000 | #Constraints: 59028 2862.49/2871.35 c #Conflicts: 1093000 | #Constraints: 60028 2862.49/2871.35 c #Conflicts: 1094000 | #Constraints: 61028 2862.49/2871.35 c #Conflicts: 1095000 | #Constraints: 62028 2862.49/2871.35 c #Conflicts: 1096000 | #Constraints: 63028 2862.49/2871.35 c #Conflicts: 1097000 | #Constraints: 64028 2862.49/2871.35 c #Conflicts: 1098000 | #Constraints: 65028 2862.49/2871.35 c #Conflicts: 1099000 | #Constraints: 66028 2862.49/2871.35 c #Conflicts: 1100000 | #Constraints: 67028 2862.49/2871.35 c #Conflicts: 1101000 | #Constraints: 68028 2862.49/2871.35 c #Conflicts: 1102000 | #Constraints: 69028 2862.49/2871.35 c #Conflicts: 1103000 | #Constraints: 70028 2862.49/2871.35 c #Conflicts: 1104000 | #Constraints: 71028 2862.49/2871.35 c #Conflicts: 1105000 | #Constraints: 72028 2862.49/2871.35 c #Conflicts: 1106000 | #Constraints: 73028 2862.49/2871.35 c #Conflicts: 1107000 | #Constraints: 74028 2862.49/2871.35 c #Conflicts: 1108000 | #Constraints: 75028 2862.49/2871.35 c #Conflicts: 1109000 | #Constraints: 76028 2862.49/2871.35 c #Conflicts: 1110000 | #Constraints: 77028 2862.49/2871.35 c #Conflicts: 1111000 | #Constraints: 78028 2862.49/2871.35 c #Conflicts: 1112000 | #Constraints: 79028 2862.49/2871.35 c #Conflicts: 1113000 | #Constraints: 80028 2862.49/2871.35 c #Conflicts: 1114000 | #Constraints: 81028 2862.49/2871.35 c #Conflicts: 1115000 | #Constraints: 82028 2862.49/2871.35 c #Conflicts: 1116000 | #Constraints: 83028 2862.49/2871.35 c #Conflicts: 1117000 | #Constraints: 84028 2862.49/2871.35 c #Conflicts: 1118000 | #Constraints: 85028 2862.49/2871.35 c #Conflicts: 1119000 | #Constraints: 86028 2862.49/2871.35 c #Conflicts: 1120000 | #Constraints: 87028 2862.49/2871.35 c #Conflicts: 1121000 | #Constraints: 88028 2862.49/2871.35 c #Conflicts: 1122000 | #Constraints: 89028 2862.49/2871.35 c #Conflicts: 1123000 | #Constraints: 90028 2862.49/2871.35 c #Conflicts: 1124000 | #Constraints: 91028 2862.49/2871.35 c #Conflicts: 1125000 | #Constraints: 92028 2862.49/2871.35 c #Conflicts: 1126000 | #Constraints: 93028 2862.49/2871.35 c #Conflicts: 1127000 | #Constraints: 94028 2862.49/2871.35 c #Conflicts: 1128000 | #Constraints: 95028 2862.49/2871.35 c #Conflicts: 1129000 | #Constraints: 96028 2862.49/2871.35 c #Conflicts: 1130000 | #Constraints: 97028 2862.49/2871.35 c #Conflicts: 1131000 | #Constraints: 98028 2862.49/2871.35 c #Conflicts: 1132000 | #Constraints: 99028 2862.49/2871.35 c #Conflicts: 1133000 | #Constraints: 100028 2862.49/2871.35 c #Conflicts: 1134000 | #Constraints: 101028 2862.49/2871.35 c #Conflicts: 1135000 | #Constraints: 102028 2862.49/2871.35 c #Conflicts: 1136000 | #Constraints: 103028 2862.49/2871.35 c #Conflicts: 1137000 | #Constraints: 104028 2923.82/2932.81 c #Conflicts: 1138000 | #Constraints: 105028 2923.82/2932.81 c #Conflicts: 1139000 | #Constraints: 106028 2923.82/2932.81 c #Conflicts: 1140000 | #Constraints: 107028 2923.82/2932.81 c #Conflicts: 1141000 | #Constraints: 108028 2923.82/2932.81 c #Conflicts: 1142000 | #Constraints: 109028 2923.82/2932.81 c INPROCESSING 2923.82/2932.81 c GARBAGE COLLECT 2923.82/2932.81 c rational objective -37 2971.39/2980.57 c #Conflicts: 1143000 | #Constraints: 56064 2971.39/2980.57 c #Conflicts: 1144000 | #Constraints: 57082 2971.39/2980.57 c #Conflicts: 1145000 | #Constraints: 58116 2971.39/2980.57 c #Conflicts: 1146000 | #Constraints: 59144 2971.39/2980.57 c #Conflicts: 1147000 | #Constraints: 60172 2971.39/2980.57 c #Conflicts: 1148000 | #Constraints: 61189 2971.39/2980.57 c #Conflicts: 1149000 | #Constraints: 62205 2971.39/2980.57 c #Conflicts: 1150000 | #Constraints: 63222 2971.39/2980.57 c #Conflicts: 1151000 | #Constraints: 64238 2971.39/2980.57 c #Conflicts: 1152000 | #Constraints: 65254 2971.39/2980.57 c #Conflicts: 1153000 | #Constraints: 66277 2971.39/2980.57 c #Conflicts: 1154000 | #Constraints: 67296 2971.39/2980.57 c #Conflicts: 1155000 | #Constraints: 68307 2971.39/2980.57 c #Conflicts: 1156000 | #Constraints: 69324 2971.39/2980.57 c #Conflicts: 1157000 | #Constraints: 70344 2971.39/2980.57 c #Conflicts: 1158000 | #Constraints: 71376 2971.39/2980.57 c #Conflicts: 1159000 | #Constraints: 72386 2971.39/2980.57 c #Conflicts: 1160000 | #Constraints: 73400 2971.39/2980.57 c #Conflicts: 1161000 | #Constraints: 74422 2971.39/2980.57 c #Conflicts: 1162000 | #Constraints: 75441 2971.39/2980.57 c #Conflicts: 1163000 | #Constraints: 76461 2971.39/2980.57 c #Conflicts: 1164000 | #Constraints: 77486 2971.39/2980.57 c #Conflicts: 1165000 | #Constraints: 78514 2971.39/2980.57 c #Conflicts: 1166000 | #Constraints: 79551 2971.39/2980.57 c INPROCESSING 2971.39/2980.57 c GARBAGE COLLECT 2971.39/2980.57 c rational objective -37 3014.35/3023.62 c #Conflicts: 1167000 | #Constraints: 41457 3014.35/3023.62 c #Conflicts: 1168000 | #Constraints: 42478 3014.35/3023.62 c #Conflicts: 1169000 | #Constraints: 43501 3014.35/3023.62 c #Conflicts: 1170000 | #Constraints: 44518 3014.35/3023.62 c #Conflicts: 1171000 | #Constraints: 45542 3014.35/3023.62 c #Conflicts: 1172000 | #Constraints: 46567 3014.35/3023.62 c #Conflicts: 1173000 | #Constraints: 47586 3014.35/3023.62 c #Conflicts: 1174000 | #Constraints: 48600 3014.35/3023.62 c #Conflicts: 1175000 | #Constraints: 49614 3014.35/3023.62 c #Conflicts: 1176000 | #Constraints: 50633 3014.35/3023.62 c #Conflicts: 1177000 | #Constraints: 51651 3014.35/3023.62 c #Conflicts: 1178000 | #Constraints: 52664 3014.35/3023.62 c #Conflicts: 1179000 | #Constraints: 53680 3014.35/3023.62 c #Conflicts: 1180000 | #Constraints: 54687 3014.35/3023.62 c #Conflicts: 1181000 | #Constraints: 55700 3014.35/3023.62 c #Conflicts: 1182000 | #Constraints: 56714 3014.35/3023.62 c #Conflicts: 1183000 | #Constraints: 57723 3014.35/3023.62 c #Conflicts: 1184000 | #Constraints: 58734 3014.35/3023.62 c #Conflicts: 1185000 | #Constraints: 59749 3014.35/3023.62 c #Conflicts: 1186000 | #Constraints: 60757 3014.35/3023.62 c #Conflicts: 1187000 | #Constraints: 61775 3014.35/3023.62 c #Conflicts: 1188000 | #Constraints: 62797 3014.35/3023.62 c #Conflicts: 1189000 | #Constraints: 63812 3014.35/3023.62 c #Conflicts: 1190000 | #Constraints: 64838 3014.35/3023.62 c INPROCESSING 3014.35/3023.62 c GARBAGE COLLECT 3014.35/3023.62 c rational objective -37 3049.13/3058.53 c #Conflicts: 1191000 | #Constraints: 34155 3049.13/3058.53 c #Conflicts: 1192000 | #Constraints: 35177 3049.13/3058.53 c #Conflicts: 1193000 | #Constraints: 36194 3049.13/3058.53 c #Conflicts: 1194000 | #Constraints: 37211 3049.13/3058.53 c #Conflicts: 1195000 | #Constraints: 38238 3049.13/3058.53 c #Conflicts: 1196000 | #Constraints: 39251 3049.13/3058.53 c #Conflicts: 1197000 | #Constraints: 40264 3049.13/3058.53 c #Conflicts: 1198000 | #Constraints: 41275 3049.13/3058.53 c #Conflicts: 1199000 | #Constraints: 42292 3049.13/3058.53 c #Conflicts: 1200000 | #Constraints: 43310 3049.13/3058.53 c #Conflicts: 1201000 | #Constraints: 44321 3049.13/3058.53 c #Conflicts: 1202000 | #Constraints: 45333 3049.13/3058.53 c #Conflicts: 1203000 | #Constraints: 46351 3049.13/3058.53 c #Conflicts: 1204000 | #Constraints: 47363 3049.13/3058.53 c #Conflicts: 1205000 | #Constraints: 48376 3049.13/3058.53 c #Conflicts: 1206000 | #Constraints: 49396 3049.13/3058.53 c #Conflicts: 1207000 | #Constraints: 50411 3049.13/3058.53 c #Conflicts: 1208000 | #Constraints: 51431 3049.13/3058.53 c #Conflicts: 1209000 | #Constraints: 52458 3049.13/3058.53 c #Conflicts: 1210000 | #Constraints: 53493 3049.13/3058.53 c #Conflicts: 1211000 | #Constraints: 54525 3049.13/3058.53 c #Conflicts: 1212000 | #Constraints: 55549 3049.13/3058.53 c #Conflicts: 1213000 | #Constraints: 56576 3049.13/3058.53 c #Conflicts: 1214000 | #Constraints: 57607 3049.13/3058.53 c INPROCESSING 3049.13/3058.53 c GARBAGE COLLECT 3049.13/3058.53 c rational objective -37 3270.42/3280.43 c #Conflicts: 1215000 | #Constraints: 30488 3270.42/3280.43 c #Conflicts: 1216000 | #Constraints: 31504 3270.42/3280.43 c #Conflicts: 1217000 | #Constraints: 32524 3270.42/3280.43 c #Conflicts: 1218000 | #Constraints: 33544 3270.42/3280.43 c #Conflicts: 1219000 | #Constraints: 34558 3270.42/3280.43 c #Conflicts: 1220000 | #Constraints: 35575 3270.42/3280.43 c #Conflicts: 1221000 | #Constraints: 36593 3270.42/3280.43 c #Conflicts: 1222000 | #Constraints: 37617 3270.42/3280.43 c #Conflicts: 1223000 | #Constraints: 38640 3270.42/3280.43 c #Conflicts: 1224000 | #Constraints: 39663 3270.42/3280.43 c #Conflicts: 1225000 | #Constraints: 40689 3270.42/3280.43 c #Conflicts: 1226000 | #Constraints: 41711 3270.42/3280.43 c #Conflicts: 1227000 | #Constraints: 42735 3270.42/3280.43 c #Conflicts: 1228000 | #Constraints: 43756 3270.42/3280.43 c #Conflicts: 1229000 | #Constraints: 44778 3270.42/3280.43 c #Conflicts: 1230000 | #Constraints: 45799 3270.42/3280.43 c #Conflicts: 1231000 | #Constraints: 46814 3270.42/3280.43 c #Conflicts: 1232000 | #Constraints: 47826 3270.42/3280.43 c #Conflicts: 1233000 | #Constraints: 48839 3270.42/3280.43 c #Conflicts: 1234000 | #Constraints: 49853 3270.42/3280.43 c #Conflicts: 1235000 | #Constraints: 50868 3270.42/3280.43 c #Conflicts: 1236000 | #Constraints: 51879 3270.42/3280.43 c #Conflicts: 1237000 | #Constraints: 52899 3270.42/3280.43 c #Conflicts: 1238000 | #Constraints: 53927 3270.42/3280.43 c #Conflicts: 1239000 | #Constraints: 54936 3270.42/3280.43 c #Conflicts: 1240000 | #Constraints: 55946 3270.42/3280.43 c #Conflicts: 1241000 | #Constraints: 56961 3270.42/3280.43 c #Conflicts: 1242000 | #Constraints: 57975 3270.42/3280.43 c #Conflicts: 1243000 | #Constraints: 58989 3270.42/3280.43 c #Conflicts: 1244000 | #Constraints: 59998 3270.42/3280.43 c #Conflicts: 1245000 | #Constraints: 61016 3270.42/3280.43 c #Conflicts: 1246000 | #Constraints: 62045 3270.42/3280.43 c #Conflicts: 1247000 | #Constraints: 63066 3270.42/3280.43 c #Conflicts: 1248000 | #Constraints: 64094 3270.42/3280.43 c #Conflicts: 1249000 | #Constraints: 65123 3270.42/3280.43 c #Conflicts: 1250000 | #Constraints: 66137 3270.42/3280.43 c #Conflicts: 1251000 | #Constraints: 67145 3270.42/3280.43 c #Conflicts: 1252000 | #Constraints: 68159 3270.42/3280.43 c #Conflicts: 1253000 | #Constraints: 69167 3270.42/3280.43 c #Conflicts: 1254000 | #Constraints: 70182 3270.42/3280.43 c #Conflicts: 1255000 | #Constraints: 71192 3270.42/3280.43 c #Conflicts: 1256000 | #Constraints: 72208 3270.42/3280.43 c #Conflicts: 1257000 | #Constraints: 73231 3270.42/3280.43 c #Conflicts: 1258000 | #Constraints: 74248 3270.42/3280.43 c #Conflicts: 1259000 | #Constraints: 75257 3270.42/3280.43 c #Conflicts: 1260000 | #Constraints: 76265 3270.42/3280.43 c #Conflicts: 1261000 | #Constraints: 77279 3270.42/3280.43 c #Conflicts: 1262000 | #Constraints: 78287 3270.42/3280.43 c #Conflicts: 1263000 | #Constraints: 79305 3270.42/3280.43 c #Conflicts: 1264000 | #Constraints: 80314 3270.42/3280.43 c #Conflicts: 1265000 | #Constraints: 81333 3270.42/3280.43 c #Conflicts: 1266000 | #Constraints: 82347 3270.42/3280.43 c #Conflicts: 1267000 | #Constraints: 83368 3270.42/3280.43 c #Conflicts: 1268000 | #Constraints: 84389 3270.42/3280.43 c #Conflicts: 1269000 | #Constraints: 85406 3270.42/3280.43 c #Conflicts: 1270000 | #Constraints: 86433 3270.42/3280.43 c #Conflicts: 1271000 | #Constraints: 87458 3270.42/3280.43 c #Conflicts: 1272000 | #Constraints: 88477 3270.42/3280.43 c #Conflicts: 1273000 | #Constraints: 89505 3270.42/3280.43 c #Conflicts: 1274000 | #Constraints: 90527 3270.42/3280.43 c #Conflicts: 1275000 | #Constraints: 91551 3270.42/3280.43 c #Conflicts: 1276000 | #Constraints: 92560 3270.42/3280.43 c #Conflicts: 1277000 | #Constraints: 93573 3270.42/3280.43 c #Conflicts: 1278000 | #Constraints: 94584 3270.42/3280.43 c #Conflicts: 1279000 | #Constraints: 95599 3270.42/3280.43 c #Conflicts: 1280000 | #Constraints: 96609 3270.42/3280.43 c #Conflicts: 1281000 | #Constraints: 97618 3270.42/3280.43 c #Conflicts: 1282000 | #Constraints: 98629 3270.42/3280.43 c #Conflicts: 1283000 | #Constraints: 99639 3270.42/3280.43 c #Conflicts: 1284000 | #Constraints: 100647 3270.42/3280.43 c #Conflicts: 1285000 | #Constraints: 101657 3270.42/3280.43 c #Conflicts: 1286000 | #Constraints: 102679 3270.42/3280.43 c #Conflicts: 1287000 | #Constraints: 103690 3270.42/3280.43 c #Conflicts: 1288000 | #Constraints: 104698 3270.42/3280.43 c #Conflicts: 1289000 | #Constraints: 105708 3270.42/3280.43 c #Conflicts: 1290000 | #Constraints: 106721 3270.42/3280.43 c #Conflicts: 1291000 | #Constraints: 107736 3270.42/3280.43 c #Conflicts: 1292000 | #Constraints: 108748 3270.42/3280.43 c #Conflicts: 1293000 | #Constraints: 109767 3323.88/3334.05 c #Conflicts: 1294000 | #Constraints: 110786 3323.88/3334.05 c #Conflicts: 1295000 | #Constraints: 111792 3323.88/3334.05 c #Conflicts: 1296000 | #Constraints: 112799 3323.88/3334.05 c #Conflicts: 1297000 | #Constraints: 113811 3323.88/3334.05 c #Conflicts: 1298000 | #Constraints: 114826 3323.88/3334.05 c #Conflicts: 1299000 | #Constraints: 115835 3323.88/3334.05 c #Conflicts: 1300000 | #Constraints: 116846 3323.88/3334.05 c #Conflicts: 1301000 | #Constraints: 117862 3323.88/3334.05 c #Conflicts: 1302000 | #Constraints: 118866 3323.88/3334.05 c #Conflicts: 1303000 | #Constraints: 119876 3323.88/3334.05 c INPROCESSING 3323.88/3334.05 c GARBAGE COLLECT 3323.88/3334.05 c rational objective -37 3600.06/3610.90 c #Conflicts: 1304000 | #Constraints: 61559 3600.06/3610.90 c #Conflicts: 1305000 | #Constraints: 62559 3600.06/3610.90 c #Conflicts: 1306000 | #Constraints: 63559 3600.06/3610.90 c #Conflicts: 1307000 | #Constraints: 64559 3600.06/3610.90 c #Conflicts: 1308000 | #Constraints: 65559 3600.06/3610.90 c #Conflicts: 1309000 | #Constraints: 66559 3600.06/3610.90 c #Conflicts: 1310000 | #Constraints: 67559 3600.06/3610.90 c #Conflicts: 1311000 | #Constraints: 68559 3600.06/3610.90 c #Conflicts: 1312000 | #Constraints: 69559 3600.06/3610.90 c #Conflicts: 1313000 | #Constraints: 70559 3600.06/3610.90 c #Conflicts: 1314000 | #Constraints: 71559 3600.06/3610.90 c #Conflicts: 1315000 | #Constraints: 72559 3600.06/3610.90 c #Conflicts: 1316000 | #Constraints: 73559 3600.06/3610.90 c #Conflicts: 1317000 | #Constraints: 74559 3600.06/3610.90 c #Conflicts: 1318000 | #Constraints: 75559 3600.06/3610.90 c #Conflicts: 1319000 | #Constraints: 76559 3600.06/3610.90 c #Conflicts: 1320000 | #Constraints: 77559 3600.06/3610.90 c #Conflicts: 1321000 | #Constraints: 78559 3600.06/3610.90 c #Conflicts: 1322000 | #Constraints: 79559 3600.06/3610.90 c #Conflicts: 1323000 | #Constraints: 80559 3600.06/3610.90 c #Conflicts: 1324000 | #Constraints: 81559 3600.06/3610.90 c #Conflicts: 1325000 | #Constraints: 82559 3600.06/3610.90 c #Conflicts: 1326000 | #Constraints: 83559 3600.06/3610.90 c #Conflicts: 1327000 | #Constraints: 84559 3600.06/3610.90 c #Conflicts: 1328000 | #Constraints: 85559 3600.06/3610.90 c Program interrupted by user. 3600.06/3610.90 c cpu time 3579.68 s 3600.06/3610.90 c deterministic time 306766399870 3.07e+11 3600.06/3610.90 c optimization time 275.713 s 3600.06/3610.90 c total solve time 3303.96 s 3600.06/3610.90 c core-guided solve time 1771.37 s 3600.06/3610.90 c propagation time 2953.61 s 3600.06/3610.90 c conflict analysis time 592.118 s 3600.06/3610.90 c propagations 171045580 3600.06/3610.90 c resolve steps 18265182 3600.06/3610.90 c decisions 3827868 3600.06/3610.90 c conflicts 1328139 3600.06/3610.90 c restarts 2556 3600.06/3610.90 c inprocessing phases 72 3600.06/3610.90 c input clauses 577 3600.06/3610.90 c input cardinalities 310 3600.06/3610.90 c input general constraints 575 3600.06/3610.90 c input average constraint length 37.93 3600.06/3610.90 c input average constraint degree 10.88 3600.06/3610.90 c learned clauses 836367 3600.06/3610.90 c learned cardinalities 4041 3600.06/3610.90 c learned general constraints 502135 3600.06/3610.90 c learned average constraint length 134.63 3600.06/3610.90 c learned average constraint degree 612231966.70 3600.06/3610.90 c watched constraints 290109 3600.06/3610.90 c counting constraints 212601 3600.06/3610.90 c gcd simplifications 115283 3600.06/3610.90 c detected cardinalities 1385 3600.06/3610.90 c weakened non-implied lits 98923191 3600.06/3610.90 c weakened non-implying lits 151164 3600.06/3610.90 c original variables 432 3600.06/3610.90 c clausal propagations 34112360 3600.06/3610.90 c cardinality propagations 10839877 3600.06/3610.90 c watched propagations 10237714 3600.06/3610.90 c counting propagations 111590273 3600.06/3610.90 c watch lookups 71970621850 3600.06/3610.90 c watch backjump lookups 62301212289 3600.06/3610.90 c watch checks 162602401171 3600.06/3610.90 c propagation checks 8875927256 3600.06/3610.90 c constraint additions 663846887 3600.06/3610.90 c trail pops 176186879 3600.06/3610.90 c formula constraints 720 3600.06/3610.90 c learned constraints 1313915 3600.06/3610.90 c bound constraints 150 3600.06/3610.90 c core-guided constraints 592 3600.06/3610.90 c encountered formula constraints 8802543 3600.06/3610.90 c encountered learned constraints 8588584 3600.06/3610.90 c encountered bound constraints 2684 3600.06/3610.90 c encountered core-guided constraints 1941926 3600.06/3610.90 c LP total time 40.9204 s 3600.06/3610.90 c LP solve time 35.89 s 3600.06/3610.90 c LP constraints added 848 3600.06/3610.90 c LP constraints removed 124 3600.06/3610.90 c LP pivots internal 1328158 3600.06/3610.90 c LP pivots root 1931 3600.06/3610.90 c LP calls 52727 3600.06/3610.90 c LP optimalities 38413 3600.06/3610.90 c LP no pivot count 13344 3600.06/3610.90 c LP infeasibilities 14314 3600.06/3610.90 c LP valid Farkas constraints 14314 3600.06/3610.90 c LP learned Farkas constraints 14314 3600.06/3610.90 c LP basis resets 0 3600.06/3610.90 c LP cycling count 0 3600.06/3610.90 c LP singular count 0 3600.06/3610.90 c LP no primal count 0 3600.06/3610.90 c LP no farkas count 0 3600.06/3610.90 c LP other issue count 0 3600.06/3610.90 c LP Gomory cuts 0 3600.06/3610.90 c LP learned cuts 128 3600.06/3610.90 c LP deleted cuts 124 3600.06/3610.90 c LP encountered Gomory constraints 0 3600.06/3610.90 c LP encountered Farkas constraints 211617 3600.06/3610.90 c LP encountered learned Farkas constraints 31653 3600.06/3610.90 c CG auxiliary variables introduced 239 3600.06/3610.90 c CG solutions found 25 3600.06/3610.90 c CG cores constructed 125 3600.06/3610.90 c CG core cardinality constraints returned 0 3600.06/3610.90 c CG unit cores 0 3600.06/3610.90 c CG single cores 125 3600.06/3610.90 c CG blocks removed during cardinality reduction 0 3600.06/3610.90 c CG first core best 0 3600.06/3610.90 c CG decision core best 0 3600.06/3610.90 c CG core reduction tie 0 3600.06/3610.90 c CG core degree average 1.00 3600.06/3610.90 c CG core slack average 3.30 3600.06/3610.90 s SATISFIABLE 3600.06/3610.90 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 -36
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (60848 MiB free)
memory of node 1: 64473 MiB (59709 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457214-1721832167/watcher-4457214-1721832167 -o /tmp/evaluation-result-4457214-1721832167/solver-4457214-1721832167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186543 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457214-1721832167 --lp-cut-gomory=0 HOME/instance-4457214-1721832167.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=187109, runsolver pid=187106
[startup+0.100096 s]*
/proc/loadavg: 0.43 1.86 3.00 4/239 187111
/proc/meminfo: memFree=123450672/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=38480 memory=8764 CPUtime=0.1 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 570 0 0 0 9 1 0 0 20 0 1 0 19205653 39403520 2191 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 9620 2191 1824 992 0 1478 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38480 KiB
Current children cumulated memory: 8764 KiB
[startup+0.213488 s]*
/proc/loadavg: 0.43 1.86 3.00 5/244 187125
/proc/meminfo: memFree=123436784/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=38864 memory=9312 CPUtime=0.21 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 716 0 0 0 17 4 0 0 20 0 1 0 19205653 39796736 2328 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 9716 2328 1824 992 0 1574 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38864 KiB
Current children cumulated memory: 9312 KiB
[startup+0.313348 s]*
/proc/loadavg: 0.43 1.86 3.00 4/244 187135
/proc/meminfo: memFree=123411884/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=39124 memory=11836 CPUtime=0.31 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 846 0 0 0 25 6 0 0 20 0 1 0 19205653 40062976 2959 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 9781 2959 1824 992 0 1639 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39124 KiB
Current children cumulated memory: 11836 KiB
[startup+0.700269 s]
/proc/loadavg: 0.43 1.86 3.00 5/242 187150
/proc/meminfo: memFree=123413804/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=40312 memory=13176 CPUtime=0.68 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 1118 0 0 0 60 8 0 0 20 0 1 0 19205653 41279488 3294 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 10078 3294 1895 992 0 1936 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40312 KiB
Current children cumulated memory: 13176 KiB
[startup+1.50027 s]
/proc/loadavg: 0.43 1.86 3.00 5/247 187170
/proc/meminfo: memFree=123396512/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=42188 memory=15084 CPUtime=1.49 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 1604 0 0 0 136 13 0 0 20 0 1 0 19205653 43200512 3771 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 10547 3771 1895 992 0 2405 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42188 KiB
Current children cumulated memory: 15084 KiB
[startup+3.11303 s]
/proc/loadavg: 0.72 1.90 3.01 5/247 187170
/proc/meminfo: memFree=123159928/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=43360 memory=17248 CPUtime=3.09 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 2098 0 0 0 289 20 0 0 20 0 1 0 19205653 44400640 4312 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 10840 4312 1895 992 0 2698 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 17248 KiB
[startup+6.30024 s]
/proc/loadavg: 0.72 1.90 3.01 5/247 187170
/proc/meminfo: memFree=122857580/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=48016 memory=20380 CPUtime=6.27 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 2891 0 0 0 595 32 0 0 20 0 1 0 19205653 49168384 5095 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 12004 5095 1895 992 0 3862 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48016 KiB
Current children cumulated memory: 20380 KiB
[startup+12.7003 s]
/proc/loadavg: 1.30 1.98 3.02 5/247 187171
/proc/meminfo: memFree=122319252/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=50236 memory=24140 CPUtime=12.65 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 3925 0 0 0 1213 52 0 0 20 0 1 0 19205653 51441664 6035 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 12559 6035 1895 992 0 4417 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50236 KiB
Current children cumulated memory: 24140 KiB
[startup+25.5003 s]
/proc/loadavg: 1.71 2.05 3.03 5/247 187173
/proc/meminfo: memFree=121382172/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=70272 memory=42032 CPUtime=25.41 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 6902 0 0 0 2463 78 0 0 20 0 1 0 19205653 71958528 10508 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 17568 10508 1895 992 0 9426 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 70272 KiB
Current children cumulated memory: 42032 KiB
[startup+51.1135 s]
/proc/loadavg: 2.50 2.21 3.06 5/250 187182
/proc/meminfo: memFree=120361980/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=71040 memory=42796 CPUtime=50.91 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 7203 0 0 0 4944 147 0 0 20 0 1 0 19205653 72744960 10699 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 17760 10699 1895 992 0 9618 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 71040 KiB
Current children cumulated memory: 42796 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 2.56 3.13 5/253 187193
/proc/meminfo: memFree=116953164/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=115868 memory=70616 CPUtime=101.93 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 11236 0 0 0 9983 210 0 0 20 0 1 0 19205653 118648832 17654 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 28967 17654 1895 992 0 20825 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 115868 KiB
Current children cumulated memory: 70616 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.84 3.20 5/256 187206
/proc/meminfo: memFree=113039096/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=130080 memory=88180 CPUtime=161.67 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 14304 0 0 0 15852 315 0 0 20 0 1 0 19205653 133201920 22045 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 32520 22045 1895 992 0 24378 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 130080 KiB
Current children cumulated memory: 88180 KiB
[startup+222.3 s]
/proc/loadavg: 4.33 3.16 3.29 5/258 187218
/proc/meminfo: memFree=110574560/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=135956 memory=94636 CPUtime=221.4 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 15609 0 0 0 21778 362 0 0 20 0 1 0 19205653 139218944 23659 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 33989 23659 1895 992 0 25847 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 135956 KiB
Current children cumulated memory: 94636 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 3.33 3.34 5/258 187229
/proc/meminfo: memFree=109037028/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=135956 memory=94636 CPUtime=281.17 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 15614 0 0 0 27665 452 0 0 20 0 1 0 19205653 139218944 23659 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 33989 23659 1895 992 0 25847 0
Current children cumulated CPU time: 281.17 s
Current children cumulated vsize: 135956 KiB
Current children cumulated memory: 94636 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 3.49 3.39 5/258 187239
/proc/meminfo: memFree=107784112/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=143104 memory=108640 CPUtime=340.97 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 17704 0 0 0 33601 496 0 0 20 0 1 0 19205653 146538496 27160 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 35776 27160 1895 992 0 27634 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 143104 KiB
Current children cumulated memory: 108640 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.61 3.44 5/256 187249
/proc/meminfo: memFree=106880624/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=142864 memory=108440 CPUtime=400.77 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 17919 0 0 0 39536 541 0 0 20 0 1 0 19205653 146292736 27110 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 35716 27110 1895 992 0 27574 0
Current children cumulated CPU time: 400.77 s
Current children cumulated vsize: 142864 KiB
Current children cumulated memory: 108440 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 3.69 3.48 5/251 187261
/proc/meminfo: memFree=105673108/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=142864 memory=108440 CPUtime=460.57 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 17920 0 0 0 45435 622 0 0 20 0 1 0 19205653 146292736 27110 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 35716 27110 1895 992 0 27574 0
################
# More data... #
################
Current children cumulated memory: 193480 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.24 4.18 5/250 188897
/proc/meminfo: memFree=78822640/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=285664 memory=194252 CPUtime=2913.35 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 33450 0 0 0 289561 1774 0 0 20 0 1 0 19205653 292519936 48563 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 71416 48563 1895 992 0 63274 0
Current children cumulated CPU time: 2913.35 s
Current children cumulated vsize: 285664 KiB
Current children cumulated memory: 194252 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.21 4.17 5/250 188908
/proc/meminfo: memFree=78211520/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=285920 memory=194656 CPUtime=2973.18 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 34226 0 0 0 295503 1815 0 0 20 0 1 0 19205653 292782080 48664 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 71480 48664 1895 992 0 63338 0
Current children cumulated CPU time: 2973.18 s
Current children cumulated vsize: 285920 KiB
Current children cumulated memory: 194656 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.20 4.17 5/250 188919
/proc/meminfo: memFree=77366100/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=286920 memory=196532 CPUtime=3032.99 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 34455 0 0 0 301432 1867 0 0 20 0 1 0 19205653 293806080 49133 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 71730 49133 1895 992 0 63588 0
Current children cumulated CPU time: 3032.99 s
Current children cumulated vsize: 286920 KiB
Current children cumulated memory: 196532 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/248 188930
/proc/meminfo: memFree=76517140/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=286920 memory=215564 CPUtime=3092.78 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 34566 0 0 0 307359 1919 0 0 20 0 1 0 19205653 293806080 53891 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 71730 53891 1895 992 0 63588 0
Current children cumulated CPU time: 3092.78 s
Current children cumulated vsize: 286920 KiB
Current children cumulated memory: 215564 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/248 188940
/proc/meminfo: memFree=75705440/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=286920 memory=215564 CPUtime=3152.62 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 34669 0 0 0 313315 1947 0 0 20 0 1 0 19205653 293806080 53891 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 71730 53891 1895 992 0 63588 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 286920 KiB
Current children cumulated memory: 215564 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/245 188950
/proc/meminfo: memFree=75342256/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=290224 memory=217344 CPUtime=3212.46 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 35216 0 0 0 319280 1966 0 0 20 0 1 0 19205653 297189376 54336 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 72556 54336 1895 992 0 64414 0
Current children cumulated CPU time: 3212.46 s
Current children cumulated vsize: 290224 KiB
Current children cumulated memory: 217344 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/245 188961
/proc/meminfo: memFree=74794140/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=294480 memory=225968 CPUtime=3272.3 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 35994 0 0 0 325248 1982 0 0 20 0 1 0 19205653 301547520 56492 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 73620 56492 1895 992 0 65478 0
Current children cumulated CPU time: 3272.3 s
Current children cumulated vsize: 294480 KiB
Current children cumulated memory: 225968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.17 4.17 5/245 188971
/proc/meminfo: memFree=74242300/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=298832 memory=237704 CPUtime=3332.15 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 37334 0 0 0 331219 1996 0 0 20 0 1 0 19205653 306003968 59426 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 74708 59426 1895 992 0 66566 0
Current children cumulated CPU time: 3332.15 s
Current children cumulated vsize: 298832 KiB
Current children cumulated memory: 237704 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/245 188982
/proc/meminfo: memFree=73617512/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=298832 memory=237704 CPUtime=3392 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 37334 0 0 0 337193 2007 0 0 20 0 1 0 19205653 306003968 59426 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 74708 59426 1895 992 0 66566 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 298832 KiB
Current children cumulated memory: 237704 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/244 188992
/proc/meminfo: memFree=73041460/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=298832 memory=237704 CPUtime=3451.84 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 37419 0 0 0 343166 2018 0 0 20 0 1 0 19205653 306003968 59426 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 74708 59426 1895 992 0 66566 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 298832 KiB
Current children cumulated memory: 237704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/246 189006
/proc/meminfo: memFree=72453300/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=298832 memory=237704 CPUtime=3511.68 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 37420 0 0 0 349143 2025 0 0 20 0 1 0 19205653 306003968 59426 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 74708 59426 1895 992 0 66566 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 298832 KiB
Current children cumulated memory: 237704 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/246 189019
/proc/meminfo: memFree=71881404/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=298832 memory=237704 CPUtime=3571.54 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 37508 0 0 0 355119 2035 0 0 20 0 1 0 19205653 306003968 59426 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 74708 59426 1895 992 0 66566 0
Current children cumulated CPU time: 3571.54 s
Current children cumulated vsize: 298832 KiB
Current children cumulated memory: 237704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.10 4.13 4.15 5/241 189031
/proc/meminfo: memFree=71971968/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=298832 memory=237704 CPUtime=3600.06 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 37509 0 0 0 357967 2039 0 0 20 0 1 0 19205653 306003968 59426 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 74708 59426 1895 992 0 66566 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 298832 KiB
Current children cumulated memory: 237704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.96 s]
# the end of solver process 187109 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.68 s, system=20.3951 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.10 4.13 4.15 5/241 189031
/proc/meminfo: memFree=71971968/131655788 swapFree=131071472/131071996
[pid=187109] ppid=187106 vsize=298832 memory=237704 CPUtime=3600.06 cores=5,7
/proc/187109/stat : 187109 (roundingsat) R 187106 187109 186530 0 -1 4194304 37509 0 0 0 357967 2039 0 0 20 0 1 0 19205653 306003968 59426 134679101440 4194304 8254037 140724578175408 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24440832 140724578177884 140724578178146 140724578178146 140724578185161 0
/proc/187109/statm: 74708 59426 1895 992 0 66566 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 298832 KiB
Current children cumulated memory: 237704 KiB
Child status: 0
Real time (s): 3610.96
CPU time (s): 3600.08
CPU user time (s): 3579.68
CPU system time (s): 20.3951
CPU usage (%): 99.6987
Max. virtual memory (cumulated for all children) (KiB): 300596
Max. memory (cumulated for all children) (KiB): 239256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.68
system time used= 20.3951
maximum resident set size= 239256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5723200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88
involuntary context switches= 4966
# summary of solver processes directly reported to runsolver:
# pid: 187109
# total CPU time (s): 3600.08
# total CPU user time (s): 3579.68
# total CPU system time (s): 20.3951
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0165 second user time and 36.7562 second system time
The end
Begin job on nodeC004 at 2024-07-24 16:42:47 IDJOB=4457214 IDBENCH=158488 IDSOLVER=3085 FILE ID=nodeC004/4457214-1721832167 RUNJOBID= nodeC004-1721832165-186543 SLURM_JOB_ID= 7891533 Free space on /tmp= 723768 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-4457214-1721832167/watcher-4457214-1721832167 -o /tmp/evaluation-result-4457214-1721832167/solver-4457214-1721832167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186543 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457214-1721832167 --lp-cut-gomory=0 HOME/instance-4457214-1721832167.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c86a302e56842e7d56f33820d48ef5a5 RANDOM SEED=370984886 nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.443 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1496.599 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.279 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.296 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.281 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.281 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.301 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.292 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123456732 kB MemAvailable: 129880396 kB Buffers: 261688 kB Cached: 6956668 kB SwapCached: 60 kB Active: 2566480 kB Inactive: 5001008 kB Active(anon): 1388 kB Inactive(anon): 401636 kB Active(file): 2565092 kB Inactive(file): 4599372 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 24132 kB Writeback: 4 kB AnonPages: 347092 kB Mapped: 120744 kB Shmem: 53860 kB KReclaimable: 198800 kB Slab: 311468 kB SReclaimable: 198800 kB SUnreclaim: 112668 kB KernelStack: 3904 kB PageTables: 10304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 766628 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20128 kB HardwareCorrupted: 0 kB AnonHugePages: 208896 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 392008 kB DirectMap2M: 50892800 kB DirectMap1G: 84934656 kB Free space on /tmp at the end= 723748 MiB End job on nodeC004 at 2024-07-24 17:42:58