| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | SAT (TO) | -36 | 3600.02 | 3610.03 |
| 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.006505 0.00/0.04 c rational objective -54 0.22/0.28 c bounds 2 >= -162 @ 0.03364 0.22/0.28 c bounds 2 >= -161 @ 0.056731 0.22/0.28 c bounds 2 >= -160 @ 0.057161 0.22/0.28 c bounds 2 >= -159 @ 0.057621 0.22/0.28 c bounds 2 >= -158 @ 0.058068 0.22/0.28 c bounds 2 >= -157 @ 0.058511 0.22/0.28 c bounds 2 >= -156 @ 0.058972 0.22/0.28 c bounds 2 >= -155 @ 0.059426 0.22/0.28 c bounds 2 >= -154 @ 0.05994 0.22/0.28 c bounds 2 >= -153 @ 0.060414 0.22/0.28 c bounds 2 >= -152 @ 0.060897 0.22/0.28 c bounds 2 >= -151 @ 0.061353 0.22/0.28 c bounds 2 >= -150 @ 0.061478 0.22/0.28 c bounds -2 >= -150 @ 0.061534 0.22/0.28 c bounds -2 >= -149 @ 0.062046 0.22/0.28 c bounds -2 >= -148 @ 0.062558 0.22/0.28 c bounds -2 >= -147 @ 0.063081 0.22/0.28 c bounds -2 >= -146 @ 0.063595 0.22/0.28 c bounds -2 >= -145 @ 0.064143 0.22/0.28 c bounds -2 >= -144 @ 0.064693 0.22/0.28 c bounds -2 >= -143 @ 0.065215 0.22/0.28 c bounds -2 >= -142 @ 0.065795 0.22/0.28 c bounds -2 >= -141 @ 0.066399 0.22/0.28 c bounds -5 >= -141 @ 0.066492 0.22/0.28 c bounds -5 >= -140 @ 0.066758 0.22/0.28 c bounds -5 >= -139 @ 0.067268 0.22/0.28 c bounds -5 >= -138 @ 0.067833 0.22/0.28 c bounds -5 >= -137 @ 0.068442 0.22/0.28 c bounds -5 >= -136 @ 0.069037 0.22/0.28 c bounds -5 >= -135 @ 0.069633 0.22/0.28 c bounds -5 >= -134 @ 0.070237 0.22/0.28 c bounds -5 >= -133 @ 0.070833 0.22/0.28 c bounds -6 >= -133 @ 0.07134 0.22/0.28 c bounds -6 >= -132 @ 0.0714 0.22/0.28 c bounds -6 >= -131 @ 0.071463 0.22/0.28 c bounds -6 >= -130 @ 0.07177 0.22/0.28 c bounds -6 >= -129 @ 0.072316 0.22/0.28 c bounds -6 >= -128 @ 0.072928 0.22/0.28 c bounds -6 >= -127 @ 0.073567 0.22/0.28 c bounds -6 >= -126 @ 0.074215 0.22/0.28 c bounds -6 >= -125 @ 0.074445 0.22/0.28 c bounds -6 >= -124 @ 0.074664 0.22/0.28 c bounds -8 >= -124 @ 0.077595 0.22/0.28 c bounds -8 >= -123 @ 0.078364 0.22/0.28 c bounds -8 >= -122 @ 0.078426 0.22/0.28 c bounds -8 >= -121 @ 0.078835 0.22/0.28 c bounds -8 >= -120 @ 0.079561 0.22/0.28 c bounds -8 >= -119 @ 0.080324 0.22/0.28 c bounds -8 >= -118 @ 0.080415 0.22/0.28 c bounds -8 >= -117 @ 0.080415 0.22/0.28 c bounds -8 >= -116 @ 0.080722 0.22/0.28 c bounds -8 >= -115 @ 0.081386 0.22/0.28 c bounds -8 >= -114 @ 0.082188 0.22/0.28 c bounds -8 >= -113 @ 0.082399 0.22/0.28 c bounds -8 >= -112 @ 0.082399 0.22/0.28 c bounds -8 >= -111 @ 0.082717 0.22/0.28 c bounds -8 >= -110 @ 0.08339 0.22/0.28 c bounds -8 >= -109 @ 0.084184 0.22/0.28 c bounds -8 >= -108 @ 0.084387 0.22/0.28 c bounds -8 >= -107 @ 0.084387 0.22/0.28 c bounds -11 >= -107 @ 0.084771 0.22/0.28 c bounds -11 >= -106 @ 0.085618 0.22/0.28 c bounds -11 >= -105 @ 0.086449 0.22/0.28 c bounds -11 >= -104 @ 0.087287 0.22/0.28 c bounds -11 >= -103 @ 0.08811 0.22/0.28 c bounds -11 >= -102 @ 0.088362 0.22/0.28 c bounds -11 >= -101 @ 0.088362 0.22/0.28 c bounds -14 >= -101 @ 0.088785 0.22/0.28 c bounds -14 >= -100 @ 0.089741 0.22/0.28 c bounds -14 >= -99 @ 0.090352 0.22/0.28 c bounds -14 >= -98 @ 0.090685 0.22/0.28 c bounds -14 >= -97 @ 0.091548 0.22/0.28 c bounds -14 >= -96 @ 0.092482 0.22/0.28 c bounds -15 >= -96 @ 0.09342 0.22/0.28 c bounds -15 >= -95 @ 0.094042 0.22/0.28 c bounds -15 >= -94 @ 0.094307 0.22/0.28 c bounds -15 >= -93 @ 0.09522 0.22/0.28 c bounds -15 >= -92 @ 0.095325 0.22/0.28 c bounds -15 >= -91 @ 0.095325 0.22/0.28 c bounds -17 >= -91 @ 0.096192 0.22/0.28 c bounds -17 >= -90 @ 0.096315 0.22/0.28 c bounds -17 >= -89 @ 0.096315 0.22/0.28 c bounds -17 >= -88 @ 0.096315 0.22/0.28 c bounds -17 >= -87 @ 0.096315 0.22/0.28 c bounds -17 >= -86 @ 0.096315 0.22/0.28 c bounds -17 >= -85 @ 0.096315 0.22/0.28 c bounds -17 >= -84 @ 0.096829 0.22/0.28 c bounds -17 >= -83 @ 0.09729 0.22/0.28 c bounds -17 >= -82 @ 0.097299 0.22/0.28 c bounds -17 >= -81 @ 0.098068 0.22/0.28 c bounds -19 >= -81 @ 0.099325 0.22/0.28 c bounds -19 >= -80 @ 0.100327 0.22/0.28 c bounds -19 >= -79 @ 0.101314 0.22/0.28 c bounds -19 >= -78 @ 0.102292 0.22/0.28 c bounds -19 >= -77 @ 0.103263 0.22/0.28 c bounds -19 >= -76 @ 0.104234 0.22/0.28 c bounds -19 >= -75 @ 0.105218 0.22/0.28 c bounds -22 >= -75 @ 0.105524 0.22/0.28 c bounds -22 >= -74 @ 0.106169 0.22/0.28 c bounds -22 >= -73 @ 0.10652 0.22/0.28 c bounds -22 >= -72 @ 0.107575 0.22/0.28 c bounds -22 >= -71 @ 0.108236 0.22/0.28 c bounds -22 >= -70 @ 0.108561 0.22/0.28 c bounds -23 >= -70 @ 0.110459 0.22/0.28 c bounds -23 >= -69 @ 0.111219 0.22/0.28 c bounds -23 >= -68 @ 0.11153 0.22/0.28 c bounds -23 >= -67 @ 0.112212 0.22/0.28 c bounds -23 >= -66 @ 0.112242 0.22/0.28 c bounds -23 >= -65 @ 0.113835 0.22/0.28 c bounds -24 >= -65 @ 0.114813 0.22/0.28 c bounds -24 >= -64 @ 0.115195 0.22/0.28 c bounds -24 >= -63 @ 0.116634 0.22/0.28 c bounds -25 >= -63 @ 0.11818 0.22/0.28 c bounds -25 >= -62 @ 0.119327 0.22/0.28 c bounds -25 >= -61 @ 0.120684 0.22/0.28 c bounds -25 >= -60 @ 0.121482 0.22/0.28 c bounds -25 >= -59 @ 0.122162 0.22/0.28 c bounds -26 >= -59 @ 0.12365 0.22/0.28 c bounds -26 >= -58 @ 0.124154 0.22/0.28 c bounds -26 >= -57 @ 0.124499 0.22/0.28 c bounds -26 >= -56 @ 0.125147 0.22/0.28 c bounds -27 >= -56 @ 0.125462 0.22/0.28 c bounds -27 >= -55 @ 0.127048 0.22/0.28 c bounds -27 >= -54 @ 0.127915 0.22/0.28 c bounds -27 >= -53 @ 0.128579 0.22/0.28 c bounds -28 >= -53 @ 0.181494 0.22/0.28 c bounds -28 >= -52 @ 0.18217 0.22/0.28 c bounds -28 >= -51 @ 0.185161 0.22/0.28 c bounds -28 >= -50 @ 0.18817 0.22/0.28 c bounds -28 >= -49 @ 0.189149 0.22/0.28 c bounds -28 >= -48 @ 0.190823 0.22/0.28 c bounds -28 >= -47 @ 0.194955 0.22/0.28 c bounds -28 >= -46 @ 0.212899 0.68/0.76 c bounds -29 >= -46 @ 0.335364 0.68/0.76 c bounds -29 >= -45 @ 0.379071 0.68/0.76 c bounds -30 >= -45 @ 0.381061 0.68/0.76 c bounds -31 >= -45 @ 0.386711 0.68/0.76 c bounds -32 >= -45 @ 0.388372 0.68/0.76 c #Conflicts: 1000 | #Constraints: 2338 0.68/0.76 c bounds -32 >= -44 @ 0.47052 0.68/0.76 c #Conflicts: 2000 | #Constraints: 3360 0.68/0.76 c INPROCESSING 0.68/0.76 c GARBAGE COLLECT 0.68/0.76 c rational objective -44 1.28/1.38 c bounds -32 >= -43 @ 0.787775 1.28/1.38 c #Conflicts: 3000 | #Constraints: 3225 1.28/1.38 c #Conflicts: 4000 | #Constraints: 4229 1.28/1.38 c INPROCESSING 1.28/1.38 c GARBAGE COLLECT 1.28/1.38 c rational objective -43 2.00/2.06 c #Conflicts: 5000 | #Constraints: 3617 2.00/2.06 c bounds -32 >= -42 @ 1.43203 2.00/2.06 c #Conflicts: 6000 | #Constraints: 4635 2.00/2.06 c INPROCESSING 2.00/2.06 c GARBAGE COLLECT 2.00/2.06 c rational objective -42 2.58/2.65 c #Conflicts: 7000 | #Constraints: 3612 2.58/2.65 c bounds -33 >= -42 @ 2.16142 2.58/2.65 c #Conflicts: 8000 | #Constraints: 4620 2.58/2.65 c #Conflicts: 9000 | #Constraints: 5626 2.58/2.65 c INPROCESSING 2.58/2.65 c GARBAGE COLLECT 2.58/2.65 c rational objective -42 3.28/3.33 c bounds -33 >= -41 @ 2.63295 3.28/3.33 c #Conflicts: 10000 | #Constraints: 4356 3.28/3.33 c bounds -34 >= -41 @ 2.82803 3.28/3.33 c #Conflicts: 11000 | #Constraints: 5367 3.28/3.33 c #Conflicts: 12000 | #Constraints: 6379 3.28/3.33 c INPROCESSING 3.28/3.33 c GARBAGE COLLECT 3.28/3.33 c rational objective -41 4.28/4.36 c #Conflicts: 13000 | #Constraints: 4811 4.28/4.36 c #Conflicts: 14000 | #Constraints: 5811 4.28/4.36 c #Conflicts: 15000 | #Constraints: 6811 4.28/4.36 c INPROCESSING 4.28/4.36 c GARBAGE COLLECT 4.28/4.36 c rational objective -41 4.98/5.11 c #Conflicts: 16000 | #Constraints: 5057 4.98/5.11 c #Conflicts: 17000 | #Constraints: 6074 4.98/5.11 c bounds -35 >= -41 @ 4.53615 4.98/5.11 c #Conflicts: 18000 | #Constraints: 7096 4.98/5.11 c INPROCESSING 4.98/5.11 c GARBAGE COLLECT 4.98/5.11 c rational objective -41 5.87/5.96 c #Conflicts: 19000 | #Constraints: 5104 5.87/5.96 c #Conflicts: 20000 | #Constraints: 6125 5.87/5.96 c #Conflicts: 21000 | #Constraints: 7140 5.87/5.96 c INPROCESSING 5.87/5.96 c GARBAGE COLLECT 5.87/5.96 c rational objective -41 7.37/7.45 c #Conflicts: 22000 | #Constraints: 4911 7.37/7.45 c #Conflicts: 23000 | #Constraints: 5911 7.37/7.45 c #Conflicts: 24000 | #Constraints: 6911 7.37/7.45 c bounds -35 >= -40 @ 6.93478 7.37/7.45 c #Conflicts: 25000 | #Constraints: 7944 7.37/7.45 c INPROCESSING 7.37/7.45 c GARBAGE COLLECT 7.37/7.45 c rational objective -40 8.36/8.41 c #Conflicts: 26000 | #Constraints: 5531 8.36/8.41 c #Conflicts: 27000 | #Constraints: 6547 8.36/8.41 c #Conflicts: 28000 | #Constraints: 7558 8.36/8.41 c #Conflicts: 29000 | #Constraints: 8570 8.36/8.41 c INPROCESSING 8.36/8.41 c GARBAGE COLLECT 8.36/8.41 c rational objective -40 9.46/9.55 c #Conflicts: 30000 | #Constraints: 5937 9.46/9.55 c #Conflicts: 31000 | #Constraints: 6946 9.46/9.55 c #Conflicts: 32000 | #Constraints: 7955 9.46/9.55 c #Conflicts: 33000 | #Constraints: 8960 9.46/9.55 c INPROCESSING 9.46/9.55 c GARBAGE COLLECT 9.46/9.55 c rational objective -40 11.65/11.71 c #Conflicts: 34000 | #Constraints: 6135 11.65/11.71 c #Conflicts: 35000 | #Constraints: 7135 11.65/11.71 c #Conflicts: 36000 | #Constraints: 8135 11.65/11.71 c #Conflicts: 37000 | #Constraints: 9135 11.65/11.71 c INPROCESSING 11.65/11.71 c GARBAGE COLLECT 11.65/11.71 c rational objective -40 19.53/19.68 c #Conflicts: 38000 | #Constraints: 6161 19.53/19.68 c #Conflicts: 39000 | #Constraints: 7186 19.53/19.68 c #Conflicts: 40000 | #Constraints: 8211 19.53/19.68 c #Conflicts: 41000 | #Constraints: 9239 19.53/19.68 c #Conflicts: 42000 | #Constraints: 10270 19.53/19.68 c #Conflicts: 43000 | #Constraints: 11307 19.53/19.68 c #Conflicts: 44000 | #Constraints: 12340 19.53/19.68 c #Conflicts: 45000 | #Constraints: 13376 19.53/19.68 c #Conflicts: 46000 | #Constraints: 14394 19.53/19.68 c #Conflicts: 47000 | #Constraints: 15417 19.53/19.68 c #Conflicts: 48000 | #Constraints: 16427 19.53/19.68 c #Conflicts: 49000 | #Constraints: 17436 19.53/19.68 c #Conflicts: 50000 | #Constraints: 18446 19.53/19.68 c #Conflicts: 51000 | #Constraints: 19461 19.53/19.68 c #Conflicts: 52000 | #Constraints: 20475 19.53/19.68 c #Conflicts: 53000 | #Constraints: 21492 19.53/19.68 c INPROCESSING 19.53/19.68 c GARBAGE COLLECT 19.53/19.68 c rational objective -40 27.41/27.58 c #Conflicts: 54000 | #Constraints: 12244 27.41/27.58 c #Conflicts: 55000 | #Constraints: 13244 27.41/27.58 c #Conflicts: 56000 | #Constraints: 14244 27.41/27.58 c #Conflicts: 57000 | #Constraints: 15244 27.41/27.58 c #Conflicts: 58000 | #Constraints: 16244 27.41/27.58 c INPROCESSING 27.41/27.58 c GARBAGE COLLECT 27.41/27.58 c rational objective -40 29.40/29.54 c #Conflicts: 59000 | #Constraints: 9410 29.40/29.54 c #Conflicts: 60000 | #Constraints: 10432 29.40/29.54 c #Conflicts: 61000 | #Constraints: 11456 29.40/29.54 c #Conflicts: 62000 | #Constraints: 12482 29.40/29.54 c #Conflicts: 63000 | #Constraints: 13506 29.40/29.54 c #Conflicts: 64000 | #Constraints: 14531 29.40/29.54 c INPROCESSING 29.40/29.54 c GARBAGE COLLECT 29.40/29.54 c rational objective -40 33.39/33.57 c #Conflicts: 65000 | #Constraints: 8678 33.39/33.57 c #Conflicts: 66000 | #Constraints: 9678 33.39/33.57 c #Conflicts: 67000 | #Constraints: 10678 33.39/33.57 c #Conflicts: 68000 | #Constraints: 11678 33.39/33.57 c #Conflicts: 69000 | #Constraints: 12678 33.39/33.57 c #Conflicts: 70000 | #Constraints: 13678 33.39/33.57 c INPROCESSING 33.39/33.57 c GARBAGE COLLECT 33.39/33.57 c rational objective -40 35.48/35.68 c #Conflicts: 71000 | #Constraints: 8321 35.48/35.68 c bounds -36 >= -40 @ 32.7281 35.48/35.68 c #Conflicts: 72000 | #Constraints: 9337 35.48/35.68 c #Conflicts: 73000 | #Constraints: 10364 35.48/35.68 c #Conflicts: 74000 | #Constraints: 11388 35.48/35.68 c #Conflicts: 75000 | #Constraints: 12418 35.48/35.68 c #Conflicts: 76000 | #Constraints: 13446 35.48/35.68 c INPROCESSING 35.48/35.68 c GARBAGE COLLECT 35.48/35.68 c rational objective -40 37.88/38.01 c #Conflicts: 77000 | #Constraints: 8143 37.88/38.01 c #Conflicts: 78000 | #Constraints: 9164 37.88/38.01 c #Conflicts: 79000 | #Constraints: 10184 37.88/38.01 c #Conflicts: 80000 | #Constraints: 11206 37.88/38.01 c #Conflicts: 81000 | #Constraints: 12225 37.88/38.01 c #Conflicts: 82000 | #Constraints: 13237 37.88/38.01 c INPROCESSING 37.88/38.01 c GARBAGE COLLECT 37.88/38.01 c rational objective -40 40.27/40.43 c #Conflicts: 83000 | #Constraints: 7886 40.27/40.43 c #Conflicts: 84000 | #Constraints: 8899 40.27/40.43 c #Conflicts: 85000 | #Constraints: 9919 40.27/40.43 c #Conflicts: 86000 | #Constraints: 10941 40.27/40.43 c #Conflicts: 87000 | #Constraints: 11966 40.27/40.43 c #Conflicts: 88000 | #Constraints: 12990 40.27/40.43 c #Conflicts: 89000 | #Constraints: 14018 40.27/40.43 c INPROCESSING 40.27/40.43 c GARBAGE COLLECT 40.27/40.43 c rational objective -40 44.86/45.04 c #Conflicts: 90000 | #Constraints: 8529 44.86/45.04 c #Conflicts: 91000 | #Constraints: 9529 44.86/45.04 c #Conflicts: 92000 | #Constraints: 10529 44.86/45.04 c #Conflicts: 93000 | #Constraints: 11529 44.86/45.04 c #Conflicts: 94000 | #Constraints: 12529 44.86/45.04 c #Conflicts: 95000 | #Constraints: 13529 44.86/45.04 c bounds -36 >= -39 @ 43.3392 44.86/45.04 c #Conflicts: 96000 | #Constraints: 14554 44.86/45.04 c INPROCESSING 44.86/45.04 c GARBAGE COLLECT 44.86/45.04 c rational objective -39 47.55/47.76 c #Conflicts: 97000 | #Constraints: 8925 47.55/47.76 c #Conflicts: 98000 | #Constraints: 9940 47.55/47.76 c #Conflicts: 99000 | #Constraints: 10970 47.55/47.76 c #Conflicts: 100000 | #Constraints: 11977 47.55/47.76 c #Conflicts: 101000 | #Constraints: 12985 47.55/47.76 c #Conflicts: 102000 | #Constraints: 14007 47.55/47.76 c INPROCESSING 47.55/47.76 c GARBAGE COLLECT 47.55/47.76 c rational objective -39 50.34/50.55 c #Conflicts: 103000 | #Constraints: 8231 50.34/50.55 c #Conflicts: 104000 | #Constraints: 9237 50.34/50.55 c #Conflicts: 105000 | #Constraints: 10248 50.34/50.55 c #Conflicts: 106000 | #Constraints: 11260 50.34/50.55 c #Conflicts: 107000 | #Constraints: 12269 50.34/50.55 c #Conflicts: 108000 | #Constraints: 13273 50.34/50.55 c #Conflicts: 109000 | #Constraints: 14283 50.34/50.55 c #Conflicts: 110000 | #Constraints: 15291 50.34/50.55 c INPROCESSING 50.34/50.55 c GARBAGE COLLECT 50.34/50.55 c rational objective -39 56.63/56.83 c #Conflicts: 111000 | #Constraints: 9315 56.63/56.83 c #Conflicts: 112000 | #Constraints: 10315 56.63/56.83 c #Conflicts: 113000 | #Constraints: 11315 56.63/56.83 c #Conflicts: 114000 | #Constraints: 12315 56.63/56.83 c #Conflicts: 115000 | #Constraints: 13315 56.63/56.83 c #Conflicts: 116000 | #Constraints: 14315 56.63/56.83 c #Conflicts: 117000 | #Constraints: 15315 56.63/56.83 c INPROCESSING 56.63/56.83 c GARBAGE COLLECT 56.63/56.83 c rational objective -39 85.14/85.47 c #Conflicts: 118000 | #Constraints: 9211 85.14/85.47 c #Conflicts: 119000 | #Constraints: 10239 85.14/85.47 c #Conflicts: 120000 | #Constraints: 11268 85.14/85.47 c #Conflicts: 121000 | #Constraints: 12301 85.14/85.47 c #Conflicts: 122000 | #Constraints: 13330 85.14/85.47 c #Conflicts: 123000 | #Constraints: 14361 85.14/85.47 c #Conflicts: 124000 | #Constraints: 15380 85.14/85.47 c #Conflicts: 125000 | #Constraints: 16412 85.14/85.47 c #Conflicts: 126000 | #Constraints: 17440 85.14/85.47 c #Conflicts: 127000 | #Constraints: 18466 85.14/85.47 c #Conflicts: 128000 | #Constraints: 19497 85.14/85.47 c #Conflicts: 129000 | #Constraints: 20518 85.14/85.47 c #Conflicts: 130000 | #Constraints: 21538 85.14/85.47 c #Conflicts: 131000 | #Constraints: 22554 85.14/85.47 c #Conflicts: 132000 | #Constraints: 23567 85.14/85.47 c #Conflicts: 133000 | #Constraints: 24588 85.14/85.47 c #Conflicts: 134000 | #Constraints: 25598 85.14/85.47 c #Conflicts: 135000 | #Constraints: 26608 85.14/85.47 c #Conflicts: 136000 | #Constraints: 27629 85.14/85.47 c #Conflicts: 137000 | #Constraints: 28661 85.14/85.47 c #Conflicts: 138000 | #Constraints: 29675 85.14/85.47 c #Conflicts: 139000 | #Constraints: 30697 85.14/85.47 c #Conflicts: 140000 | #Constraints: 31725 85.14/85.47 c #Conflicts: 141000 | #Constraints: 32753 85.14/85.47 c #Conflicts: 142000 | #Constraints: 33777 85.14/85.47 c #Conflicts: 143000 | #Constraints: 34805 85.14/85.47 c #Conflicts: 144000 | #Constraints: 35834 85.14/85.47 c #Conflicts: 145000 | #Constraints: 36863 85.14/85.47 c #Conflicts: 146000 | #Constraints: 37889 85.14/85.47 c INPROCESSING 85.14/85.47 c GARBAGE COLLECT 85.14/85.47 c rational objective -39 109.06/109.48 c #Conflicts: 147000 | #Constraints: 20432 109.06/109.48 c #Conflicts: 148000 | #Constraints: 21432 109.06/109.48 c #Conflicts: 149000 | #Constraints: 22432 109.06/109.48 c #Conflicts: 150000 | #Constraints: 23432 109.06/109.48 c #Conflicts: 151000 | #Constraints: 24432 109.06/109.48 c #Conflicts: 152000 | #Constraints: 25432 109.06/109.48 c #Conflicts: 153000 | #Constraints: 26432 109.06/109.48 c #Conflicts: 154000 | #Constraints: 27432 109.06/109.48 c #Conflicts: 155000 | #Constraints: 28432 109.06/109.48 c INPROCESSING 109.06/109.48 c GARBAGE COLLECT 109.06/109.48 c rational objective -39 121.33/121.79 c #Conflicts: 156000 | #Constraints: 15924 121.33/121.79 c #Conflicts: 157000 | #Constraints: 16924 121.33/121.79 c #Conflicts: 158000 | #Constraints: 17924 121.33/121.79 c #Conflicts: 159000 | #Constraints: 18924 121.33/121.79 c #Conflicts: 160000 | #Constraints: 19924 121.33/121.79 c #Conflicts: 161000 | #Constraints: 20924 121.33/121.79 c #Conflicts: 162000 | #Constraints: 21924 121.33/121.79 c #Conflicts: 163000 | #Constraints: 22924 121.33/121.79 c INPROCESSING 121.33/121.79 c GARBAGE COLLECT 121.33/121.79 c rational objective -39 126.11/126.53 c #Conflicts: 164000 | #Constraints: 12753 126.11/126.53 c #Conflicts: 165000 | #Constraints: 13766 126.11/126.53 c #Conflicts: 166000 | #Constraints: 14773 126.11/126.53 c #Conflicts: 167000 | #Constraints: 15788 126.11/126.53 c #Conflicts: 168000 | #Constraints: 16796 126.11/126.53 c #Conflicts: 169000 | #Constraints: 17806 126.11/126.53 c #Conflicts: 170000 | #Constraints: 18818 126.11/126.53 c #Conflicts: 171000 | #Constraints: 19824 126.11/126.53 c #Conflicts: 172000 | #Constraints: 20833 126.11/126.53 c INPROCESSING 126.11/126.53 c GARBAGE COLLECT 126.11/126.53 c rational objective -39 130.30/130.77 c #Conflicts: 173000 | #Constraints: 11695 130.30/130.77 c #Conflicts: 174000 | #Constraints: 12706 130.30/130.77 c #Conflicts: 175000 | #Constraints: 13721 130.30/130.77 c #Conflicts: 176000 | #Constraints: 14739 130.30/130.77 c #Conflicts: 177000 | #Constraints: 15753 130.30/130.77 c #Conflicts: 178000 | #Constraints: 16764 130.30/130.77 c #Conflicts: 179000 | #Constraints: 17778 130.30/130.77 c #Conflicts: 180000 | #Constraints: 18791 130.30/130.77 c #Conflicts: 181000 | #Constraints: 19810 130.30/130.77 c #Conflicts: 182000 | #Constraints: 20831 130.30/130.77 c INPROCESSING 130.30/130.77 c GARBAGE COLLECT 130.30/130.77 c rational objective -39 135.19/135.63 c #Conflicts: 183000 | #Constraints: 12112 135.19/135.63 c #Conflicts: 184000 | #Constraints: 13125 135.19/135.63 c #Conflicts: 185000 | #Constraints: 14136 135.19/135.63 c #Conflicts: 186000 | #Constraints: 15164 135.19/135.63 c #Conflicts: 187000 | #Constraints: 16192 135.19/135.63 c #Conflicts: 188000 | #Constraints: 17223 135.19/135.63 c #Conflicts: 189000 | #Constraints: 18243 135.19/135.63 c #Conflicts: 190000 | #Constraints: 19256 135.19/135.63 c #Conflicts: 191000 | #Constraints: 20279 135.19/135.63 c INPROCESSING 135.19/135.63 c GARBAGE COLLECT 135.19/135.63 c rational objective -39 140.37/140.81 c #Conflicts: 192000 | #Constraints: 11637 140.37/140.81 c #Conflicts: 193000 | #Constraints: 12669 140.37/140.81 c #Conflicts: 194000 | #Constraints: 13696 140.37/140.81 c #Conflicts: 195000 | #Constraints: 14720 140.37/140.81 c #Conflicts: 196000 | #Constraints: 15731 140.37/140.81 c #Conflicts: 197000 | #Constraints: 16744 140.37/140.81 c #Conflicts: 198000 | #Constraints: 17765 140.37/140.81 c #Conflicts: 199000 | #Constraints: 18787 140.37/140.81 c #Conflicts: 200000 | #Constraints: 19808 140.37/140.81 c #Conflicts: 201000 | #Constraints: 20821 140.37/140.81 c INPROCESSING 140.37/140.81 c GARBAGE COLLECT 140.37/140.81 c rational objective -39 151.23/151.73 c #Conflicts: 202000 | #Constraints: 12098 151.23/151.73 c #Conflicts: 203000 | #Constraints: 13098 151.23/151.73 c #Conflicts: 204000 | #Constraints: 14098 151.23/151.73 c #Conflicts: 205000 | #Constraints: 15098 151.23/151.73 c #Conflicts: 206000 | #Constraints: 16098 151.23/151.73 c #Conflicts: 207000 | #Constraints: 17098 151.23/151.73 c #Conflicts: 208000 | #Constraints: 18098 151.23/151.73 c #Conflicts: 209000 | #Constraints: 19098 151.23/151.73 c #Conflicts: 210000 | #Constraints: 20098 151.23/151.73 c INPROCESSING 151.23/151.73 c GARBAGE COLLECT 151.23/151.73 c rational objective -39 201.48/202.14 c #Conflicts: 211000 | #Constraints: 11356 201.48/202.14 c #Conflicts: 212000 | #Constraints: 12361 201.48/202.14 c #Conflicts: 213000 | #Constraints: 13377 201.48/202.14 c #Conflicts: 214000 | #Constraints: 14394 201.48/202.14 c #Conflicts: 215000 | #Constraints: 15416 201.48/202.14 c #Conflicts: 216000 | #Constraints: 16436 201.48/202.14 c #Conflicts: 217000 | #Constraints: 17446 201.48/202.14 c #Conflicts: 218000 | #Constraints: 18456 201.48/202.14 c #Conflicts: 219000 | #Constraints: 19460 201.48/202.14 c #Conflicts: 220000 | #Constraints: 20467 201.48/202.14 c #Conflicts: 221000 | #Constraints: 21479 201.48/202.14 c #Conflicts: 222000 | #Constraints: 22486 201.48/202.14 c #Conflicts: 223000 | #Constraints: 23491 201.48/202.14 c #Conflicts: 224000 | #Constraints: 24500 201.48/202.14 c #Conflicts: 225000 | #Constraints: 25502 201.48/202.14 c #Conflicts: 226000 | #Constraints: 26509 201.48/202.14 c #Conflicts: 227000 | #Constraints: 27514 201.48/202.14 c #Conflicts: 228000 | #Constraints: 28518 201.48/202.14 c #Conflicts: 229000 | #Constraints: 29523 201.48/202.14 c #Conflicts: 230000 | #Constraints: 30536 201.48/202.14 c #Conflicts: 231000 | #Constraints: 31548 201.48/202.14 c #Conflicts: 232000 | #Constraints: 32551 201.48/202.14 c #Conflicts: 233000 | #Constraints: 33554 201.48/202.14 c #Conflicts: 234000 | #Constraints: 34557 201.48/202.14 c #Conflicts: 235000 | #Constraints: 35558 201.48/202.14 c #Conflicts: 236000 | #Constraints: 36562 201.48/202.14 c #Conflicts: 237000 | #Constraints: 37566 201.48/202.14 c #Conflicts: 238000 | #Constraints: 38571 201.48/202.14 c #Conflicts: 239000 | #Constraints: 39579 201.48/202.14 c #Conflicts: 240000 | #Constraints: 40579 201.48/202.14 c #Conflicts: 241000 | #Constraints: 41581 201.48/202.14 c #Conflicts: 242000 | #Constraints: 42587 201.48/202.14 c #Conflicts: 243000 | #Constraints: 43588 201.48/202.14 c #Conflicts: 244000 | #Constraints: 44588 201.48/202.14 c #Conflicts: 245000 | #Constraints: 45593 201.48/202.14 c #Conflicts: 246000 | #Constraints: 46596 201.48/202.14 c #Conflicts: 247000 | #Constraints: 47603 201.48/202.14 c #Conflicts: 248000 | #Constraints: 48615 201.48/202.14 c #Conflicts: 249000 | #Constraints: 49630 201.48/202.14 c INPROCESSING 201.48/202.14 c GARBAGE COLLECT 201.48/202.14 c rational objective -39 257.21/258.07 c #Conflicts: 250000 | #Constraints: 26201 257.21/258.07 c #Conflicts: 251000 | #Constraints: 27201 257.21/258.07 c #Conflicts: 252000 | #Constraints: 28201 257.21/258.07 c #Conflicts: 253000 | #Constraints: 29201 257.21/258.07 c #Conflicts: 254000 | #Constraints: 30201 257.21/258.07 c #Conflicts: 255000 | #Constraints: 31201 257.21/258.07 c #Conflicts: 256000 | #Constraints: 32201 257.21/258.07 c #Conflicts: 257000 | #Constraints: 33201 257.21/258.07 c #Conflicts: 258000 | #Constraints: 34201 257.21/258.07 c #Conflicts: 259000 | #Constraints: 35201 257.21/258.07 c #Conflicts: 260000 | #Constraints: 36201 257.21/258.07 c INPROCESSING 257.21/258.07 c GARBAGE COLLECT 257.21/258.07 c rational objective -39 264.87/265.78 c #Conflicts: 261000 | #Constraints: 19461 264.87/265.78 c #Conflicts: 262000 | #Constraints: 20465 264.87/265.78 c #Conflicts: 263000 | #Constraints: 21469 264.87/265.78 c #Conflicts: 264000 | #Constraints: 22473 264.87/265.78 c #Conflicts: 265000 | #Constraints: 23482 264.87/265.78 c #Conflicts: 266000 | #Constraints: 24489 264.87/265.78 c #Conflicts: 267000 | #Constraints: 25498 264.87/265.78 c #Conflicts: 268000 | #Constraints: 26503 264.87/265.78 c #Conflicts: 269000 | #Constraints: 27512 264.87/265.78 c #Conflicts: 270000 | #Constraints: 28519 264.87/265.78 c #Conflicts: 271000 | #Constraints: 29529 264.87/265.78 c #Conflicts: 272000 | #Constraints: 30536 264.87/265.78 c INPROCESSING 264.87/265.78 c GARBAGE COLLECT 264.87/265.78 c rational objective -39 287.11/288.06 c #Conflicts: 273000 | #Constraints: 16951 287.11/288.06 c #Conflicts: 274000 | #Constraints: 17951 287.11/288.06 c #Conflicts: 275000 | #Constraints: 18951 287.11/288.06 c #Conflicts: 276000 | #Constraints: 19951 287.11/288.06 c #Conflicts: 277000 | #Constraints: 20951 287.11/288.06 c #Conflicts: 278000 | #Constraints: 21951 287.11/288.06 c #Conflicts: 279000 | #Constraints: 22951 287.11/288.06 c #Conflicts: 280000 | #Constraints: 23951 287.11/288.06 c #Conflicts: 281000 | #Constraints: 24951 287.11/288.06 c #Conflicts: 282000 | #Constraints: 25951 287.11/288.06 c #Conflicts: 283000 | #Constraints: 26951 287.11/288.06 c INPROCESSING 287.11/288.06 c GARBAGE COLLECT 287.11/288.06 c rational objective -39 295.88/296.88 c #Conflicts: 284000 | #Constraints: 14940 295.88/296.88 c #Conflicts: 285000 | #Constraints: 15967 295.88/296.88 c #Conflicts: 286000 | #Constraints: 16980 295.88/296.88 c #Conflicts: 287000 | #Constraints: 17990 295.88/296.88 c #Conflicts: 288000 | #Constraints: 18996 295.88/296.88 c #Conflicts: 289000 | #Constraints: 20002 295.88/296.88 c #Conflicts: 290000 | #Constraints: 21008 295.88/296.88 c #Conflicts: 291000 | #Constraints: 22015 295.88/296.88 c #Conflicts: 292000 | #Constraints: 23024 295.88/296.88 c #Conflicts: 293000 | #Constraints: 24041 295.88/296.88 c #Conflicts: 294000 | #Constraints: 25056 295.88/296.88 c #Conflicts: 295000 | #Constraints: 26070 295.88/296.88 c INPROCESSING 295.88/296.88 c GARBAGE COLLECT 295.88/296.88 c rational objective -39 303.65/304.66 c #Conflicts: 296000 | #Constraints: 14625 303.65/304.66 c #Conflicts: 297000 | #Constraints: 15642 303.65/304.66 c #Conflicts: 298000 | #Constraints: 16647 303.65/304.66 c #Conflicts: 299000 | #Constraints: 17661 303.65/304.66 c #Conflicts: 300000 | #Constraints: 18668 303.65/304.66 c #Conflicts: 301000 | #Constraints: 19686 303.65/304.66 c #Conflicts: 302000 | #Constraints: 20698 303.65/304.66 c #Conflicts: 303000 | #Constraints: 21711 303.65/304.66 c #Conflicts: 304000 | #Constraints: 22721 303.65/304.66 c #Conflicts: 305000 | #Constraints: 23728 303.65/304.66 c #Conflicts: 306000 | #Constraints: 24741 303.65/304.66 c #Conflicts: 307000 | #Constraints: 25749 303.65/304.66 c INPROCESSING 303.65/304.66 c GARBAGE COLLECT 303.65/304.66 c rational objective -39 323.01/324.08 c #Conflicts: 308000 | #Constraints: 14507 323.01/324.08 c #Conflicts: 309000 | #Constraints: 15507 323.01/324.08 c #Conflicts: 310000 | #Constraints: 16507 323.01/324.08 c #Conflicts: 311000 | #Constraints: 17507 323.01/324.08 c #Conflicts: 312000 | #Constraints: 18507 323.01/324.08 c #Conflicts: 313000 | #Constraints: 19507 323.01/324.08 c #Conflicts: 314000 | #Constraints: 20507 323.01/324.08 c #Conflicts: 315000 | #Constraints: 21507 323.01/324.08 c #Conflicts: 316000 | #Constraints: 22507 323.01/324.08 c #Conflicts: 317000 | #Constraints: 23507 323.01/324.08 c #Conflicts: 318000 | #Constraints: 24507 323.01/324.08 c #Conflicts: 319000 | #Constraints: 25507 323.01/324.08 c INPROCESSING 323.01/324.08 c GARBAGE COLLECT 323.01/324.08 c rational objective -39 390.69/391.98 c #Conflicts: 320000 | #Constraints: 14390 390.69/391.98 c #Conflicts: 321000 | #Constraints: 15406 390.69/391.98 c #Conflicts: 322000 | #Constraints: 16426 390.69/391.98 c #Conflicts: 323000 | #Constraints: 17445 390.69/391.98 c #Conflicts: 324000 | #Constraints: 18463 390.69/391.98 c #Conflicts: 325000 | #Constraints: 19482 390.69/391.98 c #Conflicts: 326000 | #Constraints: 20499 390.69/391.98 c #Conflicts: 327000 | #Constraints: 21519 390.69/391.98 c #Conflicts: 328000 | #Constraints: 22544 390.69/391.98 c #Conflicts: 329000 | #Constraints: 23564 390.69/391.98 c #Conflicts: 330000 | #Constraints: 24584 390.69/391.98 c #Conflicts: 331000 | #Constraints: 25603 390.69/391.98 c #Conflicts: 332000 | #Constraints: 26621 390.69/391.98 c #Conflicts: 333000 | #Constraints: 27644 390.69/391.98 c #Conflicts: 334000 | #Constraints: 28653 390.69/391.98 c #Conflicts: 335000 | #Constraints: 29671 390.69/391.98 c #Conflicts: 336000 | #Constraints: 30687 390.69/391.98 c #Conflicts: 337000 | #Constraints: 31700 390.69/391.98 c #Conflicts: 338000 | #Constraints: 32714 390.69/391.98 c #Conflicts: 339000 | #Constraints: 33727 390.69/391.98 c #Conflicts: 340000 | #Constraints: 34742 390.69/391.98 c #Conflicts: 341000 | #Constraints: 35755 390.69/391.98 c #Conflicts: 342000 | #Constraints: 36768 390.69/391.98 c #Conflicts: 343000 | #Constraints: 37780 390.69/391.98 c #Conflicts: 344000 | #Constraints: 38794 390.69/391.98 c #Conflicts: 345000 | #Constraints: 39811 390.69/391.98 c #Conflicts: 346000 | #Constraints: 40825 390.69/391.98 c #Conflicts: 347000 | #Constraints: 41845 390.69/391.98 c #Conflicts: 348000 | #Constraints: 42863 390.69/391.98 c #Conflicts: 349000 | #Constraints: 43887 390.69/391.98 c #Conflicts: 350000 | #Constraints: 44900 390.69/391.98 c #Conflicts: 351000 | #Constraints: 45910 390.69/391.98 c #Conflicts: 352000 | #Constraints: 46920 390.69/391.98 c #Conflicts: 353000 | #Constraints: 47923 390.69/391.98 c #Conflicts: 354000 | #Constraints: 48933 390.69/391.98 c #Conflicts: 355000 | #Constraints: 49939 390.69/391.98 c #Conflicts: 356000 | #Constraints: 50947 390.69/391.98 c #Conflicts: 357000 | #Constraints: 51956 390.69/391.98 c #Conflicts: 358000 | #Constraints: 52968 390.69/391.98 c #Conflicts: 359000 | #Constraints: 53983 390.69/391.98 c #Conflicts: 360000 | #Constraints: 55008 390.69/391.98 c #Conflicts: 361000 | #Constraints: 56024 390.69/391.98 c #Conflicts: 362000 | #Constraints: 57034 390.69/391.98 c #Conflicts: 363000 | #Constraints: 58045 390.69/391.98 c #Conflicts: 364000 | #Constraints: 59068 390.69/391.98 c #Conflicts: 365000 | #Constraints: 60078 390.69/391.98 c #Conflicts: 366000 | #Constraints: 61087 390.69/391.98 c INPROCESSING 390.69/391.98 c GARBAGE COLLECT 390.69/391.98 c rational objective -39 463.66/465.14 c #Conflicts: 367000 | #Constraints: 31927 463.66/465.14 c #Conflicts: 368000 | #Constraints: 32927 463.66/465.14 c #Conflicts: 369000 | #Constraints: 33927 463.66/465.14 c #Conflicts: 370000 | #Constraints: 34927 463.66/465.14 c #Conflicts: 371000 | #Constraints: 35927 463.66/465.14 c #Conflicts: 372000 | #Constraints: 36927 463.66/465.14 c #Conflicts: 373000 | #Constraints: 37927 463.66/465.14 c #Conflicts: 374000 | #Constraints: 38927 463.66/465.14 c #Conflicts: 375000 | #Constraints: 39927 463.66/465.14 c #Conflicts: 376000 | #Constraints: 40927 463.66/465.14 c #Conflicts: 377000 | #Constraints: 41927 463.66/465.14 c #Conflicts: 378000 | #Constraints: 42927 463.66/465.14 c #Conflicts: 379000 | #Constraints: 43927 463.66/465.14 c #Conflicts: 380000 | #Constraints: 44927 463.66/465.14 c INPROCESSING 463.66/465.14 c GARBAGE COLLECT 463.66/465.14 c rational objective -39 474.72/476.22 c #Conflicts: 381000 | #Constraints: 24176 474.72/476.22 c #Conflicts: 382000 | #Constraints: 25188 474.72/476.22 c #Conflicts: 383000 | #Constraints: 26192 474.72/476.22 c #Conflicts: 384000 | #Constraints: 27204 474.72/476.22 c #Conflicts: 385000 | #Constraints: 28222 474.72/476.22 c #Conflicts: 386000 | #Constraints: 29239 474.72/476.22 c #Conflicts: 387000 | #Constraints: 30248 474.72/476.22 c #Conflicts: 388000 | #Constraints: 31255 474.72/476.22 c #Conflicts: 389000 | #Constraints: 32263 474.72/476.22 c #Conflicts: 390000 | #Constraints: 33275 474.72/476.22 c #Conflicts: 391000 | #Constraints: 34280 474.72/476.22 c #Conflicts: 392000 | #Constraints: 35288 474.72/476.22 c #Conflicts: 393000 | #Constraints: 36301 474.72/476.22 c INPROCESSING 474.72/476.22 c GARBAGE COLLECT 474.72/476.22 c rational objective -39 509.42/511.03 c #Conflicts: 394000 | #Constraints: 19536 509.42/511.03 c #Conflicts: 395000 | #Constraints: 20536 509.42/511.03 c #Conflicts: 396000 | #Constraints: 21536 509.42/511.03 c #Conflicts: 397000 | #Constraints: 22536 509.42/511.03 c #Conflicts: 398000 | #Constraints: 23536 509.42/511.03 c #Conflicts: 399000 | #Constraints: 24536 509.42/511.03 c #Conflicts: 400000 | #Constraints: 25536 509.42/511.03 c #Conflicts: 401000 | #Constraints: 26536 509.42/511.03 c #Conflicts: 402000 | #Constraints: 27536 509.42/511.03 c #Conflicts: 403000 | #Constraints: 28536 509.42/511.03 c #Conflicts: 404000 | #Constraints: 29536 509.42/511.03 c #Conflicts: 405000 | #Constraints: 30536 509.42/511.03 c #Conflicts: 406000 | #Constraints: 31536 509.42/511.03 c #Conflicts: 407000 | #Constraints: 32536 509.42/511.03 c INPROCESSING 509.42/511.03 c GARBAGE COLLECT 509.42/511.03 c rational objective -39 522.07/523.71 c #Conflicts: 408000 | #Constraints: 17785 522.07/523.71 c #Conflicts: 409000 | #Constraints: 18797 522.07/523.71 c #Conflicts: 410000 | #Constraints: 19813 522.07/523.71 c #Conflicts: 411000 | #Constraints: 20827 522.07/523.71 c #Conflicts: 412000 | #Constraints: 21838 522.07/523.71 c #Conflicts: 413000 | #Constraints: 22847 522.07/523.71 c #Conflicts: 414000 | #Constraints: 23859 522.07/523.71 c #Conflicts: 415000 | #Constraints: 24883 522.07/523.71 c #Conflicts: 416000 | #Constraints: 25909 522.07/523.71 c #Conflicts: 417000 | #Constraints: 26931 522.07/523.71 c #Conflicts: 418000 | #Constraints: 27956 522.07/523.71 c #Conflicts: 419000 | #Constraints: 28978 522.07/523.71 c #Conflicts: 420000 | #Constraints: 30000 522.07/523.71 c #Conflicts: 421000 | #Constraints: 31027 522.07/523.71 c INPROCESSING 522.07/523.71 c GARBAGE COLLECT 522.07/523.71 c rational objective -39 532.93/534.65 c #Conflicts: 422000 | #Constraints: 17019 532.93/534.65 c #Conflicts: 423000 | #Constraints: 18054 532.93/534.65 c #Conflicts: 424000 | #Constraints: 19071 532.93/534.65 c #Conflicts: 425000 | #Constraints: 20089 532.93/534.65 c #Conflicts: 426000 | #Constraints: 21106 532.93/534.65 c #Conflicts: 427000 | #Constraints: 22126 532.93/534.65 c #Conflicts: 428000 | #Constraints: 23149 532.93/534.65 c #Conflicts: 429000 | #Constraints: 24168 532.93/534.65 c #Conflicts: 430000 | #Constraints: 25191 532.93/534.65 c #Conflicts: 431000 | #Constraints: 26214 532.93/534.65 c #Conflicts: 432000 | #Constraints: 27236 532.93/534.65 c #Conflicts: 433000 | #Constraints: 28263 532.93/534.65 c #Conflicts: 434000 | #Constraints: 29285 532.93/534.65 c #Conflicts: 435000 | #Constraints: 30309 532.93/534.65 c INPROCESSING 532.93/534.65 c GARBAGE COLLECT 532.93/534.65 c rational objective -39 541.61/543.38 c #Conflicts: 436000 | #Constraints: 16553 541.61/543.38 c #Conflicts: 437000 | #Constraints: 17581 541.61/543.38 c #Conflicts: 438000 | #Constraints: 18617 541.61/543.38 c #Conflicts: 439000 | #Constraints: 19645 541.61/543.38 c #Conflicts: 440000 | #Constraints: 20676 541.61/543.38 c #Conflicts: 441000 | #Constraints: 21705 541.61/543.38 c #Conflicts: 442000 | #Constraints: 22728 541.61/543.38 c #Conflicts: 443000 | #Constraints: 23758 541.61/543.38 c #Conflicts: 444000 | #Constraints: 24777 541.61/543.38 c #Conflicts: 445000 | #Constraints: 25794 541.61/543.38 c #Conflicts: 446000 | #Constraints: 26810 541.61/543.38 c #Conflicts: 447000 | #Constraints: 27820 541.61/543.38 c #Conflicts: 448000 | #Constraints: 28837 541.61/543.38 c #Conflicts: 449000 | #Constraints: 29865 541.61/543.38 c #Conflicts: 450000 | #Constraints: 30883 541.61/543.38 c INPROCESSING 541.61/543.38 c GARBAGE COLLECT 541.61/543.38 c rational objective -39 573.60/575.48 c #Conflicts: 451000 | #Constraints: 17117 573.60/575.48 c #Conflicts: 452000 | #Constraints: 18117 573.60/575.48 c #Conflicts: 453000 | #Constraints: 19117 573.60/575.48 c #Conflicts: 454000 | #Constraints: 20117 573.60/575.48 c #Conflicts: 455000 | #Constraints: 21117 573.60/575.48 c #Conflicts: 456000 | #Constraints: 22117 573.60/575.48 c #Conflicts: 457000 | #Constraints: 23117 573.60/575.48 c #Conflicts: 458000 | #Constraints: 24117 573.60/575.48 c #Conflicts: 459000 | #Constraints: 25117 573.60/575.48 c #Conflicts: 460000 | #Constraints: 26117 573.60/575.48 c #Conflicts: 461000 | #Constraints: 27117 573.60/575.48 c #Conflicts: 462000 | #Constraints: 28117 573.60/575.48 c #Conflicts: 463000 | #Constraints: 29117 573.60/575.48 c #Conflicts: 464000 | #Constraints: 30117 573.60/575.48 c INPROCESSING 573.60/575.48 c GARBAGE COLLECT 573.60/575.48 c rational objective -39 722.26/724.52 c #Conflicts: 465000 | #Constraints: 16476 722.26/724.52 c #Conflicts: 466000 | #Constraints: 17480 722.26/724.52 c #Conflicts: 467000 | #Constraints: 18486 722.26/724.52 c #Conflicts: 468000 | #Constraints: 19490 722.26/724.52 c #Conflicts: 469000 | #Constraints: 20494 722.26/724.52 c #Conflicts: 470000 | #Constraints: 21504 722.26/724.52 c #Conflicts: 471000 | #Constraints: 22522 722.26/724.52 c #Conflicts: 472000 | #Constraints: 23535 722.26/724.52 c #Conflicts: 473000 | #Constraints: 24552 722.26/724.52 c #Conflicts: 474000 | #Constraints: 25572 722.26/724.52 c #Conflicts: 475000 | #Constraints: 26587 722.26/724.52 c #Conflicts: 476000 | #Constraints: 27605 722.26/724.52 c #Conflicts: 477000 | #Constraints: 28620 722.26/724.52 c #Conflicts: 478000 | #Constraints: 29637 722.26/724.52 c #Conflicts: 479000 | #Constraints: 30652 722.26/724.52 c #Conflicts: 480000 | #Constraints: 31667 722.26/724.52 c #Conflicts: 481000 | #Constraints: 32683 722.26/724.52 c #Conflicts: 482000 | #Constraints: 33700 722.26/724.52 c #Conflicts: 483000 | #Constraints: 34710 722.26/724.52 c #Conflicts: 484000 | #Constraints: 35728 722.26/724.52 c #Conflicts: 485000 | #Constraints: 36753 722.26/724.52 c #Conflicts: 486000 | #Constraints: 37770 722.26/724.52 c #Conflicts: 487000 | #Constraints: 38783 722.26/724.52 c #Conflicts: 488000 | #Constraints: 39790 722.26/724.52 c #Conflicts: 489000 | #Constraints: 40801 722.26/724.52 c #Conflicts: 490000 | #Constraints: 41807 722.26/724.52 c #Conflicts: 491000 | #Constraints: 42822 722.26/724.52 c #Conflicts: 492000 | #Constraints: 43832 722.26/724.52 c #Conflicts: 493000 | #Constraints: 44838 722.26/724.52 c #Conflicts: 494000 | #Constraints: 45853 722.26/724.52 c #Conflicts: 495000 | #Constraints: 46870 722.26/724.52 c #Conflicts: 496000 | #Constraints: 47886 722.26/724.52 c #Conflicts: 497000 | #Constraints: 48905 722.26/724.52 c #Conflicts: 498000 | #Constraints: 49918 722.26/724.52 c #Conflicts: 499000 | #Constraints: 50936 722.26/724.52 c #Conflicts: 500000 | #Constraints: 51947 722.26/724.52 c #Conflicts: 501000 | #Constraints: 52956 722.26/724.52 c #Conflicts: 502000 | #Constraints: 53974 722.26/724.52 c #Conflicts: 503000 | #Constraints: 54987 722.26/724.52 c #Conflicts: 504000 | #Constraints: 56000 722.26/724.52 c #Conflicts: 505000 | #Constraints: 57013 722.26/724.52 c #Conflicts: 506000 | #Constraints: 58030 722.26/724.52 c #Conflicts: 507000 | #Constraints: 59038 722.26/724.52 c #Conflicts: 508000 | #Constraints: 60047 722.26/724.52 c #Conflicts: 509000 | #Constraints: 61062 722.26/724.52 c #Conflicts: 510000 | #Constraints: 62067 722.26/724.52 c #Conflicts: 511000 | #Constraints: 63079 722.26/724.52 c #Conflicts: 512000 | #Constraints: 64093 722.26/724.52 c #Conflicts: 513000 | #Constraints: 65100 722.26/724.52 c #Conflicts: 514000 | #Constraints: 66113 722.26/724.52 c #Conflicts: 515000 | #Constraints: 67125 722.26/724.52 c #Conflicts: 516000 | #Constraints: 68131 722.26/724.52 c #Conflicts: 517000 | #Constraints: 69141 722.26/724.52 c #Conflicts: 518000 | #Constraints: 70149 722.26/724.52 c #Conflicts: 519000 | #Constraints: 71165 722.26/724.52 c #Conflicts: 520000 | #Constraints: 72186 722.26/724.52 c #Conflicts: 521000 | #Constraints: 73198 722.26/724.52 c INPROCESSING 722.26/724.52 c GARBAGE COLLECT 722.26/724.52 c rational objective -39 832.57/835.14 c #Conflicts: 522000 | #Constraints: 37923 832.57/835.14 c #Conflicts: 523000 | #Constraints: 38923 832.57/835.14 c #Conflicts: 524000 | #Constraints: 39923 832.57/835.14 c #Conflicts: 525000 | #Constraints: 40923 832.57/835.14 c #Conflicts: 526000 | #Constraints: 41923 832.57/835.14 c #Conflicts: 527000 | #Constraints: 42923 832.57/835.14 c #Conflicts: 528000 | #Constraints: 43923 832.57/835.14 c #Conflicts: 529000 | #Constraints: 44923 832.57/835.14 c #Conflicts: 530000 | #Constraints: 45923 832.57/835.14 c #Conflicts: 531000 | #Constraints: 46923 832.57/835.14 c #Conflicts: 532000 | #Constraints: 47923 832.57/835.14 c #Conflicts: 533000 | #Constraints: 48923 832.57/835.14 c bounds -36 >= -38 @ 791.246 832.57/835.14 c #Conflicts: 534000 | #Constraints: 49959 832.57/835.14 c #Conflicts: 535000 | #Constraints: 50959 832.57/835.14 c #Conflicts: 536000 | #Constraints: 51959 832.57/835.14 c #Conflicts: 537000 | #Constraints: 52959 832.57/835.14 c INPROCESSING 832.57/835.14 c GARBAGE COLLECT 832.57/835.14 c rational objective -38 890.08/892.86 c #Conflicts: 538000 | #Constraints: 27898 890.08/892.86 c #Conflicts: 539000 | #Constraints: 28898 890.08/892.86 c #Conflicts: 540000 | #Constraints: 29898 890.08/892.86 c #Conflicts: 541000 | #Constraints: 30898 890.08/892.86 c #Conflicts: 542000 | #Constraints: 31898 890.08/892.86 c #Conflicts: 543000 | #Constraints: 32898 890.08/892.86 c #Conflicts: 544000 | #Constraints: 33898 890.08/892.86 c #Conflicts: 545000 | #Constraints: 34898 890.08/892.86 c #Conflicts: 546000 | #Constraints: 35898 890.08/892.86 c #Conflicts: 547000 | #Constraints: 36898 890.08/892.86 c #Conflicts: 548000 | #Constraints: 37898 890.08/892.86 c #Conflicts: 549000 | #Constraints: 38898 890.08/892.86 c #Conflicts: 550000 | #Constraints: 39898 890.08/892.86 c #Conflicts: 551000 | #Constraints: 40898 890.08/892.86 c #Conflicts: 552000 | #Constraints: 41898 890.08/892.86 c #Conflicts: 553000 | #Constraints: 42898 890.08/892.86 c INPROCESSING 890.08/892.86 c GARBAGE COLLECT 890.08/892.86 c rational objective -38 905.02/907.89 c #Conflicts: 554000 | #Constraints: 22834 905.02/907.89 c #Conflicts: 555000 | #Constraints: 23850 905.02/907.89 c #Conflicts: 556000 | #Constraints: 24870 905.02/907.89 c #Conflicts: 557000 | #Constraints: 25889 905.02/907.89 c #Conflicts: 558000 | #Constraints: 26899 905.02/907.89 c #Conflicts: 559000 | #Constraints: 27915 905.02/907.89 c #Conflicts: 560000 | #Constraints: 28930 905.02/907.89 c #Conflicts: 561000 | #Constraints: 29953 905.02/907.89 c #Conflicts: 562000 | #Constraints: 30964 905.02/907.89 c #Conflicts: 563000 | #Constraints: 31977 905.02/907.89 c #Conflicts: 564000 | #Constraints: 32990 905.02/907.89 c #Conflicts: 565000 | #Constraints: 34007 905.02/907.89 c #Conflicts: 566000 | #Constraints: 35022 905.02/907.89 c #Conflicts: 567000 | #Constraints: 36034 905.02/907.89 c #Conflicts: 568000 | #Constraints: 37047 905.02/907.89 c #Conflicts: 569000 | #Constraints: 38065 905.02/907.89 c #Conflicts: 570000 | #Constraints: 39081 905.02/907.89 c INPROCESSING 905.02/907.89 c GARBAGE COLLECT 905.02/907.89 c rational objective -38 917.49/920.33 c #Conflicts: 571000 | #Constraints: 21246 917.49/920.33 c #Conflicts: 572000 | #Constraints: 22256 917.49/920.33 c #Conflicts: 573000 | #Constraints: 23269 917.49/920.33 c #Conflicts: 574000 | #Constraints: 24278 917.49/920.33 c #Conflicts: 575000 | #Constraints: 25302 917.49/920.33 c #Conflicts: 576000 | #Constraints: 26317 917.49/920.33 c #Conflicts: 577000 | #Constraints: 27327 917.49/920.33 c #Conflicts: 578000 | #Constraints: 28331 917.49/920.33 c #Conflicts: 579000 | #Constraints: 29341 917.49/920.33 c #Conflicts: 580000 | #Constraints: 30352 917.49/920.33 c #Conflicts: 581000 | #Constraints: 31356 917.49/920.33 c #Conflicts: 582000 | #Constraints: 32361 917.49/920.33 c #Conflicts: 583000 | #Constraints: 33377 917.49/920.33 c #Conflicts: 584000 | #Constraints: 34380 917.49/920.33 c #Conflicts: 585000 | #Constraints: 35383 917.49/920.33 c #Conflicts: 586000 | #Constraints: 36387 917.49/920.33 c INPROCESSING 917.49/920.33 c GARBAGE COLLECT 917.49/920.33 c rational objective -38 930.96/933.89 c #Conflicts: 587000 | #Constraints: 19651 930.96/933.89 c #Conflicts: 588000 | #Constraints: 20663 930.96/933.89 c #Conflicts: 589000 | #Constraints: 21669 930.96/933.89 c #Conflicts: 590000 | #Constraints: 22678 930.96/933.89 c #Conflicts: 591000 | #Constraints: 23696 930.96/933.89 c #Conflicts: 592000 | #Constraints: 24704 930.96/933.89 c #Conflicts: 593000 | #Constraints: 25717 930.96/933.89 c #Conflicts: 594000 | #Constraints: 26737 930.96/933.89 c #Conflicts: 595000 | #Constraints: 27755 930.96/933.89 c #Conflicts: 596000 | #Constraints: 28774 930.96/933.89 c #Conflicts: 597000 | #Constraints: 29794 930.96/933.89 c #Conflicts: 598000 | #Constraints: 30819 930.96/933.89 c #Conflicts: 599000 | #Constraints: 31849 930.96/933.89 c #Conflicts: 600000 | #Constraints: 32869 930.96/933.89 c #Conflicts: 601000 | #Constraints: 33887 930.96/933.89 c #Conflicts: 602000 | #Constraints: 34912 930.96/933.89 c #Conflicts: 603000 | #Constraints: 35930 930.96/933.89 c INPROCESSING 930.96/933.89 c GARBAGE COLLECT 930.96/933.89 c rational objective -38 1116.81/1120.28 c #Conflicts: 604000 | #Constraints: 19569 1116.81/1120.28 c #Conflicts: 605000 | #Constraints: 20569 1116.81/1120.28 c #Conflicts: 606000 | #Constraints: 21569 1116.81/1120.28 c #Conflicts: 607000 | #Constraints: 22569 1116.81/1120.28 c #Conflicts: 608000 | #Constraints: 23569 1116.81/1120.28 c #Conflicts: 609000 | #Constraints: 24569 1116.81/1120.28 c #Conflicts: 610000 | #Constraints: 25569 1116.81/1120.28 c #Conflicts: 611000 | #Constraints: 26569 1116.81/1120.28 c #Conflicts: 612000 | #Constraints: 27569 1116.81/1120.28 c #Conflicts: 613000 | #Constraints: 28569 1116.81/1120.28 c #Conflicts: 614000 | #Constraints: 29569 1116.81/1120.28 c #Conflicts: 615000 | #Constraints: 30569 1116.81/1120.28 c #Conflicts: 616000 | #Constraints: 31569 1116.81/1120.28 c #Conflicts: 617000 | #Constraints: 32569 1116.81/1120.28 c #Conflicts: 618000 | #Constraints: 33569 1116.81/1120.28 c #Conflicts: 619000 | #Constraints: 34569 1116.81/1120.28 c #Conflicts: 620000 | #Constraints: 35569 1116.81/1120.28 c #Conflicts: 621000 | #Constraints: 36569 1116.81/1120.28 c #Conflicts: 622000 | #Constraints: 37569 1116.81/1120.28 c #Conflicts: 623000 | #Constraints: 38569 1116.81/1120.28 c #Conflicts: 624000 | #Constraints: 39569 1116.81/1120.28 c #Conflicts: 625000 | #Constraints: 40569 1116.81/1120.28 c #Conflicts: 626000 | #Constraints: 41569 1116.81/1120.28 c #Conflicts: 627000 | #Constraints: 42569 1116.81/1120.28 c #Conflicts: 628000 | #Constraints: 43569 1116.81/1120.28 c #Conflicts: 629000 | #Constraints: 44569 1116.81/1120.28 c #Conflicts: 630000 | #Constraints: 45569 1116.81/1120.28 c #Conflicts: 631000 | #Constraints: 46569 1116.81/1120.28 c #Conflicts: 632000 | #Constraints: 47569 1116.81/1120.28 c #Conflicts: 633000 | #Constraints: 48569 1116.81/1120.28 c #Conflicts: 634000 | #Constraints: 49569 1116.81/1120.28 c #Conflicts: 635000 | #Constraints: 50569 1116.81/1120.28 c #Conflicts: 636000 | #Constraints: 51569 1116.81/1120.28 c #Conflicts: 637000 | #Constraints: 52569 1116.81/1120.28 c #Conflicts: 638000 | #Constraints: 53569 1116.81/1120.28 c #Conflicts: 639000 | #Constraints: 54569 1116.81/1120.28 c #Conflicts: 640000 | #Constraints: 55569 1116.81/1120.28 c #Conflicts: 641000 | #Constraints: 56569 1116.81/1120.28 c #Conflicts: 642000 | #Constraints: 57569 1116.81/1120.28 c #Conflicts: 643000 | #Constraints: 58569 1116.81/1120.28 c #Conflicts: 644000 | #Constraints: 59569 1116.81/1120.28 c #Conflicts: 645000 | #Constraints: 60569 1116.81/1120.28 c #Conflicts: 646000 | #Constraints: 61569 1116.81/1120.28 c #Conflicts: 647000 | #Constraints: 62569 1116.81/1120.28 c #Conflicts: 648000 | #Constraints: 63569 1116.81/1120.28 c #Conflicts: 649000 | #Constraints: 64569 1116.81/1120.28 c #Conflicts: 650000 | #Constraints: 65569 1116.81/1120.28 c #Conflicts: 651000 | #Constraints: 66569 1116.81/1120.28 c #Conflicts: 652000 | #Constraints: 67569 1116.81/1120.28 c #Conflicts: 653000 | #Constraints: 68569 1116.81/1120.28 c #Conflicts: 654000 | #Constraints: 69569 1116.81/1120.28 c #Conflicts: 655000 | #Constraints: 70569 1116.81/1120.28 c #Conflicts: 656000 | #Constraints: 71569 1116.81/1120.28 c #Conflicts: 657000 | #Constraints: 72569 1116.81/1120.28 c #Conflicts: 658000 | #Constraints: 73569 1116.81/1120.28 c #Conflicts: 659000 | #Constraints: 74569 1116.81/1120.28 c bounds -36 >= -37 @ 1097.69 1116.81/1120.28 c #Conflicts: 660000 | #Constraints: 75599 1116.81/1120.28 c #Conflicts: 661000 | #Constraints: 76606 1116.81/1120.28 c #Conflicts: 662000 | #Constraints: 77613 1116.81/1120.28 c #Conflicts: 663000 | #Constraints: 78623 1116.81/1120.28 c #Conflicts: 664000 | #Constraints: 79634 1116.81/1120.28 c #Conflicts: 665000 | #Constraints: 80640 1116.81/1120.28 c #Conflicts: 666000 | #Constraints: 81650 1116.81/1120.28 c #Conflicts: 667000 | #Constraints: 82660 1116.81/1120.28 c INPROCESSING 1116.81/1120.28 c GARBAGE COLLECT 1116.81/1120.28 c rational objective -37 1136.05/1139.54 c #Conflicts: 668000 | #Constraints: 42645 1136.05/1139.54 c #Conflicts: 669000 | #Constraints: 43650 1136.05/1139.54 c #Conflicts: 670000 | #Constraints: 44657 1136.05/1139.54 c #Conflicts: 671000 | #Constraints: 45687 1136.05/1139.54 c #Conflicts: 672000 | #Constraints: 46700 1136.05/1139.54 c #Conflicts: 673000 | #Constraints: 47718 1136.05/1139.54 c #Conflicts: 674000 | #Constraints: 48732 1136.05/1139.54 c #Conflicts: 675000 | #Constraints: 49751 1136.05/1139.54 c #Conflicts: 676000 | #Constraints: 50773 1136.05/1139.54 c #Conflicts: 677000 | #Constraints: 51786 1136.05/1139.54 c #Conflicts: 678000 | #Constraints: 52806 1136.05/1139.54 c #Conflicts: 679000 | #Constraints: 53821 1136.05/1139.54 c #Conflicts: 680000 | #Constraints: 54829 1136.05/1139.54 c #Conflicts: 681000 | #Constraints: 55838 1136.05/1139.54 c #Conflicts: 682000 | #Constraints: 56848 1136.05/1139.54 c #Conflicts: 683000 | #Constraints: 57860 1136.05/1139.54 c #Conflicts: 684000 | #Constraints: 58868 1136.05/1139.54 c #Conflicts: 685000 | #Constraints: 59880 1136.05/1139.54 c INPROCESSING 1136.05/1139.54 c GARBAGE COLLECT 1136.05/1139.54 c rational objective -37 1153.00/1156.52 c #Conflicts: 686000 | #Constraints: 31281 1153.00/1156.52 c #Conflicts: 687000 | #Constraints: 32296 1153.00/1156.52 c #Conflicts: 688000 | #Constraints: 33307 1153.00/1156.52 c #Conflicts: 689000 | #Constraints: 34315 1153.00/1156.52 c #Conflicts: 690000 | #Constraints: 35325 1153.00/1156.52 c #Conflicts: 691000 | #Constraints: 36333 1153.00/1156.52 c #Conflicts: 692000 | #Constraints: 37344 1153.00/1156.52 c #Conflicts: 693000 | #Constraints: 38353 1153.00/1156.52 c #Conflicts: 694000 | #Constraints: 39363 1153.00/1156.52 c #Conflicts: 695000 | #Constraints: 40385 1153.00/1156.52 c #Conflicts: 696000 | #Constraints: 41399 1153.00/1156.52 c #Conflicts: 697000 | #Constraints: 42415 1153.00/1156.52 c #Conflicts: 698000 | #Constraints: 43435 1153.00/1156.52 c #Conflicts: 699000 | #Constraints: 44447 1153.00/1156.52 c #Conflicts: 700000 | #Constraints: 45461 1153.00/1156.52 c #Conflicts: 701000 | #Constraints: 46473 1153.00/1156.52 c #Conflicts: 702000 | #Constraints: 47488 1153.00/1156.52 c #Conflicts: 703000 | #Constraints: 48504 1153.00/1156.52 c #Conflicts: 704000 | #Constraints: 49529 1153.00/1156.52 c INPROCESSING 1153.00/1156.52 c GARBAGE COLLECT 1153.00/1156.52 c rational objective -37 1168.25/1171.83 c #Conflicts: 705000 | #Constraints: 26507 1168.25/1171.83 c #Conflicts: 706000 | #Constraints: 27525 1168.25/1171.83 c #Conflicts: 707000 | #Constraints: 28548 1168.25/1171.83 c #Conflicts: 708000 | #Constraints: 29563 1168.25/1171.83 c #Conflicts: 709000 | #Constraints: 30586 1168.25/1171.83 c #Conflicts: 710000 | #Constraints: 31619 1168.25/1171.83 c #Conflicts: 711000 | #Constraints: 32645 1168.25/1171.83 c #Conflicts: 712000 | #Constraints: 33666 1168.25/1171.83 c #Conflicts: 713000 | #Constraints: 34695 1168.25/1171.83 c #Conflicts: 714000 | #Constraints: 35719 1168.25/1171.83 c #Conflicts: 715000 | #Constraints: 36739 1168.25/1171.83 c #Conflicts: 716000 | #Constraints: 37764 1168.25/1171.83 c #Conflicts: 717000 | #Constraints: 38774 1168.25/1171.83 c #Conflicts: 718000 | #Constraints: 39789 1168.25/1171.83 c #Conflicts: 719000 | #Constraints: 40825 1168.25/1171.83 c #Conflicts: 720000 | #Constraints: 41859 1168.25/1171.83 c #Conflicts: 721000 | #Constraints: 42891 1168.25/1171.83 c #Conflicts: 722000 | #Constraints: 43927 1168.25/1171.83 c INPROCESSING 1168.25/1171.83 c GARBAGE COLLECT 1168.25/1171.83 c rational objective -37 1183.80/1187.47 c #Conflicts: 723000 | #Constraints: 23501 1183.80/1187.47 c #Conflicts: 724000 | #Constraints: 24520 1183.80/1187.47 c #Conflicts: 725000 | #Constraints: 25543 1183.80/1187.47 c #Conflicts: 726000 | #Constraints: 26567 1183.80/1187.47 c #Conflicts: 727000 | #Constraints: 27584 1183.80/1187.47 c #Conflicts: 728000 | #Constraints: 28609 1183.80/1187.47 c #Conflicts: 729000 | #Constraints: 29627 1183.80/1187.47 c #Conflicts: 730000 | #Constraints: 30650 1183.80/1187.47 c #Conflicts: 731000 | #Constraints: 31684 1183.80/1187.47 c #Conflicts: 732000 | #Constraints: 32707 1183.80/1187.47 c #Conflicts: 733000 | #Constraints: 33727 1183.80/1187.47 c #Conflicts: 734000 | #Constraints: 34746 1183.80/1187.47 c #Conflicts: 735000 | #Constraints: 35771 1183.80/1187.47 c #Conflicts: 736000 | #Constraints: 36788 1183.80/1187.47 c #Conflicts: 737000 | #Constraints: 37813 1183.80/1187.47 c #Conflicts: 738000 | #Constraints: 38834 1183.80/1187.47 c #Conflicts: 739000 | #Constraints: 39852 1183.80/1187.47 c #Conflicts: 740000 | #Constraints: 40869 1183.80/1187.47 c #Conflicts: 741000 | #Constraints: 41895 1183.80/1187.47 c INPROCESSING 1183.80/1187.47 c GARBAGE COLLECT 1183.80/1187.47 c rational objective -37 1350.60/1354.79 c #Conflicts: 742000 | #Constraints: 22694 1350.60/1354.79 c #Conflicts: 743000 | #Constraints: 23722 1350.60/1354.79 c #Conflicts: 744000 | #Constraints: 24743 1350.60/1354.79 c #Conflicts: 745000 | #Constraints: 25768 1350.60/1354.79 c #Conflicts: 746000 | #Constraints: 26782 1350.60/1354.79 c #Conflicts: 747000 | #Constraints: 27791 1350.60/1354.79 c #Conflicts: 748000 | #Constraints: 28799 1350.60/1354.79 c #Conflicts: 749000 | #Constraints: 29811 1350.60/1354.79 c #Conflicts: 750000 | #Constraints: 30835 1350.60/1354.79 c #Conflicts: 751000 | #Constraints: 31858 1350.60/1354.79 c #Conflicts: 752000 | #Constraints: 32872 1350.60/1354.79 c #Conflicts: 753000 | #Constraints: 33879 1350.60/1354.79 c #Conflicts: 754000 | #Constraints: 34887 1350.60/1354.79 c #Conflicts: 755000 | #Constraints: 35900 1350.60/1354.79 c #Conflicts: 756000 | #Constraints: 36916 1350.60/1354.79 c #Conflicts: 757000 | #Constraints: 37927 1350.60/1354.79 c #Conflicts: 758000 | #Constraints: 38950 1350.60/1354.79 c #Conflicts: 759000 | #Constraints: 39968 1350.60/1354.79 c #Conflicts: 760000 | #Constraints: 40984 1350.60/1354.79 c #Conflicts: 761000 | #Constraints: 42003 1350.60/1354.79 c #Conflicts: 762000 | #Constraints: 43027 1350.60/1354.79 c #Conflicts: 763000 | #Constraints: 44040 1350.60/1354.79 c #Conflicts: 764000 | #Constraints: 45051 1350.60/1354.79 c #Conflicts: 765000 | #Constraints: 46063 1350.60/1354.79 c #Conflicts: 766000 | #Constraints: 47077 1350.60/1354.79 c #Conflicts: 767000 | #Constraints: 48086 1350.60/1354.79 c #Conflicts: 768000 | #Constraints: 49097 1350.60/1354.79 c #Conflicts: 769000 | #Constraints: 50110 1350.60/1354.79 c #Conflicts: 770000 | #Constraints: 51123 1350.60/1354.79 c #Conflicts: 771000 | #Constraints: 52135 1350.60/1354.79 c #Conflicts: 772000 | #Constraints: 53145 1350.60/1354.79 c #Conflicts: 773000 | #Constraints: 54157 1350.60/1354.79 c #Conflicts: 774000 | #Constraints: 55175 1350.60/1354.79 c #Conflicts: 775000 | #Constraints: 56189 1350.60/1354.79 c #Conflicts: 776000 | #Constraints: 57198 1350.60/1354.79 c #Conflicts: 777000 | #Constraints: 58210 1350.60/1354.79 c #Conflicts: 778000 | #Constraints: 59218 1350.60/1354.79 c #Conflicts: 779000 | #Constraints: 60229 1350.60/1354.79 c #Conflicts: 780000 | #Constraints: 61243 1350.60/1354.79 c #Conflicts: 781000 | #Constraints: 62254 1350.60/1354.79 c #Conflicts: 782000 | #Constraints: 63263 1350.60/1354.79 c #Conflicts: 783000 | #Constraints: 64279 1350.60/1354.79 c #Conflicts: 784000 | #Constraints: 65301 1350.60/1354.79 c #Conflicts: 785000 | #Constraints: 66318 1350.60/1354.79 c #Conflicts: 786000 | #Constraints: 67332 1350.60/1354.79 c #Conflicts: 787000 | #Constraints: 68358 1350.60/1354.79 c #Conflicts: 788000 | #Constraints: 69374 1350.60/1354.79 c #Conflicts: 789000 | #Constraints: 70383 1350.60/1354.79 c #Conflicts: 790000 | #Constraints: 71389 1350.60/1354.79 c #Conflicts: 791000 | #Constraints: 72399 1350.60/1354.79 c #Conflicts: 792000 | #Constraints: 73408 1350.60/1354.79 c #Conflicts: 793000 | #Constraints: 74417 1350.60/1354.79 c #Conflicts: 794000 | #Constraints: 75425 1350.60/1354.79 c #Conflicts: 795000 | #Constraints: 76439 1350.60/1354.79 c #Conflicts: 796000 | #Constraints: 77468 1350.60/1354.79 c #Conflicts: 797000 | #Constraints: 78474 1350.60/1354.79 c #Conflicts: 798000 | #Constraints: 79481 1350.60/1354.79 c #Conflicts: 799000 | #Constraints: 80488 1350.60/1354.79 c #Conflicts: 800000 | #Constraints: 81496 1350.60/1354.79 c #Conflicts: 801000 | #Constraints: 82503 1350.60/1354.79 c #Conflicts: 802000 | #Constraints: 83506 1350.60/1354.79 c #Conflicts: 803000 | #Constraints: 84523 1350.60/1354.79 c #Conflicts: 804000 | #Constraints: 85535 1350.60/1354.79 c #Conflicts: 805000 | #Constraints: 86547 1350.60/1354.79 c #Conflicts: 806000 | #Constraints: 87555 1350.60/1354.79 c #Conflicts: 807000 | #Constraints: 88566 1350.60/1354.79 c #Conflicts: 808000 | #Constraints: 89570 1350.60/1354.79 c #Conflicts: 809000 | #Constraints: 90578 1350.60/1354.79 c #Conflicts: 810000 | #Constraints: 91583 1350.60/1354.79 c #Conflicts: 811000 | #Constraints: 92593 1350.60/1354.79 c #Conflicts: 812000 | #Constraints: 93598 1350.60/1354.79 c INPROCESSING 1350.60/1354.79 c GARBAGE COLLECT 1350.60/1354.79 c rational objective -37 1509.93/1514.57 c #Conflicts: 813000 | #Constraints: 48519 1509.93/1514.57 c #Conflicts: 814000 | #Constraints: 49519 1509.93/1514.57 c #Conflicts: 815000 | #Constraints: 50519 1509.93/1514.57 c #Conflicts: 816000 | #Constraints: 51519 1509.93/1514.57 c #Conflicts: 817000 | #Constraints: 52519 1509.93/1514.57 c #Conflicts: 818000 | #Constraints: 53519 1509.93/1514.57 c #Conflicts: 819000 | #Constraints: 54519 1509.93/1514.57 c #Conflicts: 820000 | #Constraints: 55519 1509.93/1514.57 c #Conflicts: 821000 | #Constraints: 56519 1509.93/1514.57 c #Conflicts: 822000 | #Constraints: 57519 1509.93/1514.57 c #Conflicts: 823000 | #Constraints: 58519 1509.93/1514.57 c #Conflicts: 824000 | #Constraints: 59519 1509.93/1514.57 c #Conflicts: 825000 | #Constraints: 60519 1509.93/1514.57 c #Conflicts: 826000 | #Constraints: 61519 1509.93/1514.57 c #Conflicts: 827000 | #Constraints: 62519 1509.93/1514.57 c #Conflicts: 828000 | #Constraints: 63519 1509.93/1514.57 c #Conflicts: 829000 | #Constraints: 64519 1509.93/1514.57 c #Conflicts: 830000 | #Constraints: 65519 1509.93/1514.57 c #Conflicts: 831000 | #Constraints: 66519 1509.93/1514.57 c INPROCESSING 1509.93/1514.57 c GARBAGE COLLECT 1509.93/1514.57 c rational objective -37 1532.06/1536.79 c #Conflicts: 832000 | #Constraints: 34554 1532.06/1536.79 c #Conflicts: 833000 | #Constraints: 35567 1532.06/1536.79 c #Conflicts: 834000 | #Constraints: 36594 1532.06/1536.79 c #Conflicts: 835000 | #Constraints: 37627 1532.06/1536.79 c #Conflicts: 836000 | #Constraints: 38661 1532.06/1536.79 c #Conflicts: 837000 | #Constraints: 39691 1532.06/1536.79 c #Conflicts: 838000 | #Constraints: 40724 1532.06/1536.79 c #Conflicts: 839000 | #Constraints: 41758 1532.06/1536.79 c #Conflicts: 840000 | #Constraints: 42779 1532.06/1536.79 c #Conflicts: 841000 | #Constraints: 43798 1532.06/1536.79 c #Conflicts: 842000 | #Constraints: 44821 1532.06/1536.79 c #Conflicts: 843000 | #Constraints: 45841 1532.06/1536.79 c #Conflicts: 844000 | #Constraints: 46859 1532.06/1536.79 c #Conflicts: 845000 | #Constraints: 47871 1532.06/1536.79 c #Conflicts: 846000 | #Constraints: 48878 1532.06/1536.79 c #Conflicts: 847000 | #Constraints: 49894 1532.06/1536.79 c #Conflicts: 848000 | #Constraints: 50906 1532.06/1536.79 c #Conflicts: 849000 | #Constraints: 51917 1532.06/1536.79 c #Conflicts: 850000 | #Constraints: 52922 1532.06/1536.79 c #Conflicts: 851000 | #Constraints: 53930 1532.06/1536.79 c #Conflicts: 852000 | #Constraints: 54948 1532.06/1536.79 c INPROCESSING 1532.06/1536.79 c GARBAGE COLLECT 1532.06/1536.79 c rational objective -37 1551.90/1556.65 c #Conflicts: 853000 | #Constraints: 29210 1551.90/1556.65 c #Conflicts: 854000 | #Constraints: 30224 1551.90/1556.65 c #Conflicts: 855000 | #Constraints: 31238 1551.90/1556.65 c #Conflicts: 856000 | #Constraints: 32246 1551.90/1556.65 c #Conflicts: 857000 | #Constraints: 33252 1551.90/1556.65 c #Conflicts: 858000 | #Constraints: 34260 1551.90/1556.65 c #Conflicts: 859000 | #Constraints: 35272 1551.90/1556.65 c #Conflicts: 860000 | #Constraints: 36279 1551.90/1556.65 c #Conflicts: 861000 | #Constraints: 37297 1551.90/1556.65 c #Conflicts: 862000 | #Constraints: 38309 1551.90/1556.65 c #Conflicts: 863000 | #Constraints: 39333 1551.90/1556.65 c #Conflicts: 864000 | #Constraints: 40360 1551.90/1556.65 c #Conflicts: 865000 | #Constraints: 41388 1551.90/1556.65 c #Conflicts: 866000 | #Constraints: 42398 1551.90/1556.65 c #Conflicts: 867000 | #Constraints: 43404 1551.90/1556.65 c #Conflicts: 868000 | #Constraints: 44412 1551.90/1556.65 c #Conflicts: 869000 | #Constraints: 45417 1551.90/1556.65 c #Conflicts: 870000 | #Constraints: 46423 1551.90/1556.65 c #Conflicts: 871000 | #Constraints: 47433 1551.90/1556.65 c #Conflicts: 872000 | #Constraints: 48445 1551.90/1556.65 c INPROCESSING 1551.90/1556.65 c GARBAGE COLLECT 1551.90/1556.65 c rational objective -37 1599.36/1604.26 c #Conflicts: 873000 | #Constraints: 25795 1599.36/1604.26 c #Conflicts: 874000 | #Constraints: 26795 1599.36/1604.26 c #Conflicts: 875000 | #Constraints: 27795 1599.36/1604.26 c #Conflicts: 876000 | #Constraints: 28795 1599.36/1604.26 c #Conflicts: 877000 | #Constraints: 29795 1599.36/1604.26 c #Conflicts: 878000 | #Constraints: 30795 1599.36/1604.26 c #Conflicts: 879000 | #Constraints: 31795 1599.36/1604.26 c #Conflicts: 880000 | #Constraints: 32795 1599.36/1604.26 c #Conflicts: 881000 | #Constraints: 33795 1599.36/1604.26 c #Conflicts: 882000 | #Constraints: 34795 1599.36/1604.26 c #Conflicts: 883000 | #Constraints: 35795 1599.36/1604.26 c #Conflicts: 884000 | #Constraints: 36795 1599.36/1604.26 c #Conflicts: 885000 | #Constraints: 37795 1599.36/1604.26 c #Conflicts: 886000 | #Constraints: 38795 1599.36/1604.26 c #Conflicts: 887000 | #Constraints: 39795 1599.36/1604.26 c #Conflicts: 888000 | #Constraints: 40795 1599.36/1604.26 c #Conflicts: 889000 | #Constraints: 41795 1599.36/1604.26 c #Conflicts: 890000 | #Constraints: 42795 1599.36/1604.26 c #Conflicts: 891000 | #Constraints: 43795 1599.36/1604.26 c #Conflicts: 892000 | #Constraints: 44795 1599.36/1604.26 c INPROCESSING 1599.36/1604.26 c GARBAGE COLLECT 1599.36/1604.26 c rational objective -37 1803.45/1809.00 c #Conflicts: 893000 | #Constraints: 23745 1803.45/1809.00 c #Conflicts: 894000 | #Constraints: 24763 1803.45/1809.00 c #Conflicts: 895000 | #Constraints: 25780 1803.45/1809.00 c #Conflicts: 896000 | #Constraints: 26794 1803.45/1809.00 c #Conflicts: 897000 | #Constraints: 27810 1803.45/1809.00 c #Conflicts: 898000 | #Constraints: 28837 1803.45/1809.00 c #Conflicts: 899000 | #Constraints: 29855 1803.45/1809.00 c #Conflicts: 900000 | #Constraints: 30868 1803.45/1809.00 c #Conflicts: 901000 | #Constraints: 31878 1803.45/1809.00 c #Conflicts: 902000 | #Constraints: 32894 1803.45/1809.00 c #Conflicts: 903000 | #Constraints: 33902 1803.45/1809.00 c #Conflicts: 904000 | #Constraints: 34916 1803.45/1809.00 c #Conflicts: 905000 | #Constraints: 35931 1803.45/1809.00 c #Conflicts: 906000 | #Constraints: 36946 1803.45/1809.00 c #Conflicts: 907000 | #Constraints: 37960 1803.45/1809.00 c #Conflicts: 908000 | #Constraints: 38977 1803.45/1809.00 c #Conflicts: 909000 | #Constraints: 39997 1803.45/1809.00 c #Conflicts: 910000 | #Constraints: 41010 1803.45/1809.00 c #Conflicts: 911000 | #Constraints: 42018 1803.45/1809.00 c #Conflicts: 912000 | #Constraints: 43026 1803.45/1809.00 c #Conflicts: 913000 | #Constraints: 44043 1803.45/1809.00 c #Conflicts: 914000 | #Constraints: 45052 1803.45/1809.00 c #Conflicts: 915000 | #Constraints: 46062 1803.45/1809.00 c #Conflicts: 916000 | #Constraints: 47070 1803.45/1809.00 c #Conflicts: 917000 | #Constraints: 48090 1803.45/1809.00 c #Conflicts: 918000 | #Constraints: 49118 1803.45/1809.00 c #Conflicts: 919000 | #Constraints: 50125 1803.45/1809.00 c #Conflicts: 920000 | #Constraints: 51132 1803.45/1809.00 c #Conflicts: 921000 | #Constraints: 52144 1803.45/1809.00 c #Conflicts: 922000 | #Constraints: 53152 1803.45/1809.00 c #Conflicts: 923000 | #Constraints: 54162 1803.45/1809.00 c #Conflicts: 924000 | #Constraints: 55172 1803.45/1809.00 c #Conflicts: 925000 | #Constraints: 56186 1803.45/1809.00 c #Conflicts: 926000 | #Constraints: 57202 1803.45/1809.00 c #Conflicts: 927000 | #Constraints: 58218 1803.45/1809.00 c #Conflicts: 928000 | #Constraints: 59231 1803.45/1809.00 c #Conflicts: 929000 | #Constraints: 60238 1803.45/1809.00 c #Conflicts: 930000 | #Constraints: 61251 1803.45/1809.00 c #Conflicts: 931000 | #Constraints: 62268 1803.45/1809.00 c #Conflicts: 932000 | #Constraints: 63282 1803.45/1809.00 c #Conflicts: 933000 | #Constraints: 64295 1803.45/1809.00 c #Conflicts: 934000 | #Constraints: 65308 1803.45/1809.00 c #Conflicts: 935000 | #Constraints: 66330 1803.45/1809.00 c #Conflicts: 936000 | #Constraints: 67354 1803.45/1809.00 c #Conflicts: 937000 | #Constraints: 68371 1803.45/1809.00 c #Conflicts: 938000 | #Constraints: 69393 1803.45/1809.00 c #Conflicts: 939000 | #Constraints: 70419 1803.45/1809.00 c #Conflicts: 940000 | #Constraints: 71439 1803.45/1809.00 c #Conflicts: 941000 | #Constraints: 72468 1803.45/1809.00 c #Conflicts: 942000 | #Constraints: 73495 1803.45/1809.00 c #Conflicts: 943000 | #Constraints: 74519 1803.45/1809.00 c #Conflicts: 944000 | #Constraints: 75537 1803.45/1809.00 c #Conflicts: 945000 | #Constraints: 76560 1803.45/1809.00 c #Conflicts: 946000 | #Constraints: 77577 1803.45/1809.00 c #Conflicts: 947000 | #Constraints: 78600 1803.45/1809.00 c #Conflicts: 948000 | #Constraints: 79627 1803.45/1809.00 c #Conflicts: 949000 | #Constraints: 80657 1803.45/1809.00 c #Conflicts: 950000 | #Constraints: 81687 1803.45/1809.00 c #Conflicts: 951000 | #Constraints: 82722 1803.45/1809.00 c #Conflicts: 952000 | #Constraints: 83754 1803.45/1809.00 c #Conflicts: 953000 | #Constraints: 84784 1803.45/1809.00 c #Conflicts: 954000 | #Constraints: 85813 1803.45/1809.00 c #Conflicts: 955000 | #Constraints: 86837 1803.45/1809.00 c #Conflicts: 956000 | #Constraints: 87869 1803.45/1809.00 c #Conflicts: 957000 | #Constraints: 88905 1803.45/1809.00 c #Conflicts: 958000 | #Constraints: 89936 1803.45/1809.00 c #Conflicts: 959000 | #Constraints: 90960 1803.45/1809.00 c #Conflicts: 960000 | #Constraints: 91991 1803.45/1809.00 c #Conflicts: 961000 | #Constraints: 93018 1803.45/1809.00 c #Conflicts: 962000 | #Constraints: 94046 1803.45/1809.00 c #Conflicts: 963000 | #Constraints: 95075 1803.45/1809.00 c #Conflicts: 964000 | #Constraints: 96099 1803.45/1809.00 c #Conflicts: 965000 | #Constraints: 97127 1803.45/1809.00 c #Conflicts: 966000 | #Constraints: 98151 1803.45/1809.00 c #Conflicts: 967000 | #Constraints: 99176 1803.45/1809.00 c #Conflicts: 968000 | #Constraints: 100198 1803.45/1809.00 c #Conflicts: 969000 | #Constraints: 101220 1803.45/1809.00 c #Conflicts: 970000 | #Constraints: 102245 1803.45/1809.00 c INPROCESSING 1803.45/1809.00 c GARBAGE COLLECT 1803.45/1809.00 c rational objective -37 2002.86/2008.98 c #Conflicts: 971000 | #Constraints: 52738 2002.86/2008.98 c #Conflicts: 972000 | #Constraints: 53738 2002.86/2008.98 c #Conflicts: 973000 | #Constraints: 54738 2002.86/2008.98 c #Conflicts: 974000 | #Constraints: 55738 2002.86/2008.98 c #Conflicts: 975000 | #Constraints: 56738 2002.86/2008.98 c #Conflicts: 976000 | #Constraints: 57738 2002.86/2008.98 c #Conflicts: 977000 | #Constraints: 58738 2002.86/2008.98 c #Conflicts: 978000 | #Constraints: 59738 2002.86/2008.98 c #Conflicts: 979000 | #Constraints: 60738 2002.86/2008.98 c #Conflicts: 980000 | #Constraints: 61738 2002.86/2008.98 c #Conflicts: 981000 | #Constraints: 62738 2002.86/2008.98 c #Conflicts: 982000 | #Constraints: 63738 2002.86/2008.98 c #Conflicts: 983000 | #Constraints: 64738 2002.86/2008.98 c #Conflicts: 984000 | #Constraints: 65738 2002.86/2008.98 c #Conflicts: 985000 | #Constraints: 66738 2002.86/2008.98 c #Conflicts: 986000 | #Constraints: 67738 2002.86/2008.98 c #Conflicts: 987000 | #Constraints: 68738 2002.86/2008.98 c #Conflicts: 988000 | #Constraints: 69738 2002.86/2008.98 c #Conflicts: 989000 | #Constraints: 70738 2002.86/2008.98 c #Conflicts: 990000 | #Constraints: 71738 2002.86/2008.98 c #Conflicts: 991000 | #Constraints: 72738 2002.86/2008.98 c #Conflicts: 992000 | #Constraints: 73738 2002.86/2008.98 c INPROCESSING 2002.86/2008.98 c GARBAGE COLLECT 2002.86/2008.98 c rational objective -37 2050.93/2057.11 c #Conflicts: 993000 | #Constraints: 38642 2050.93/2057.11 c #Conflicts: 994000 | #Constraints: 39659 2050.93/2057.11 c #Conflicts: 995000 | #Constraints: 40663 2050.93/2057.11 c #Conflicts: 996000 | #Constraints: 41676 2050.93/2057.11 c #Conflicts: 997000 | #Constraints: 42689 2050.93/2057.11 c #Conflicts: 998000 | #Constraints: 43703 2050.93/2057.11 c #Conflicts: 999000 | #Constraints: 44724 2050.93/2057.11 c #Conflicts: 1000000 | #Constraints: 45735 2050.93/2057.11 c #Conflicts: 1001000 | #Constraints: 46760 2050.93/2057.11 c #Conflicts: 1002000 | #Constraints: 47786 2050.93/2057.11 c #Conflicts: 1003000 | #Constraints: 48801 2050.93/2057.11 c #Conflicts: 1004000 | #Constraints: 49821 2050.93/2057.11 c #Conflicts: 1005000 | #Constraints: 50837 2050.93/2057.11 c #Conflicts: 1006000 | #Constraints: 51861 2050.93/2057.11 c #Conflicts: 1007000 | #Constraints: 52889 2050.93/2057.11 c #Conflicts: 1008000 | #Constraints: 53917 2050.93/2057.11 c #Conflicts: 1009000 | #Constraints: 54936 2050.93/2057.11 c #Conflicts: 1010000 | #Constraints: 55949 2050.93/2057.11 c #Conflicts: 1011000 | #Constraints: 56958 2050.93/2057.11 c #Conflicts: 1012000 | #Constraints: 57975 2050.93/2057.11 c #Conflicts: 1013000 | #Constraints: 59002 2050.93/2057.11 c #Conflicts: 1014000 | #Constraints: 60024 2050.93/2057.11 c INPROCESSING 2050.93/2057.11 c GARBAGE COLLECT 2050.93/2057.11 c rational objective -37 2116.43/2122.86 c #Conflicts: 1015000 | #Constraints: 31745 2116.43/2122.86 c #Conflicts: 1016000 | #Constraints: 32745 2116.43/2122.86 c #Conflicts: 1017000 | #Constraints: 33745 2116.43/2122.86 c #Conflicts: 1018000 | #Constraints: 34745 2116.43/2122.86 c #Conflicts: 1019000 | #Constraints: 35745 2116.43/2122.86 c #Conflicts: 1020000 | #Constraints: 36745 2116.43/2122.86 c #Conflicts: 1021000 | #Constraints: 37745 2116.43/2122.86 c #Conflicts: 1022000 | #Constraints: 38745 2116.43/2122.86 c #Conflicts: 1023000 | #Constraints: 39745 2116.43/2122.86 c #Conflicts: 1024000 | #Constraints: 40745 2116.43/2122.86 c #Conflicts: 1025000 | #Constraints: 41745 2116.43/2122.86 c #Conflicts: 1026000 | #Constraints: 42745 2116.43/2122.86 c #Conflicts: 1027000 | #Constraints: 43745 2116.43/2122.86 c #Conflicts: 1028000 | #Constraints: 44745 2116.43/2122.86 c #Conflicts: 1029000 | #Constraints: 45745 2116.43/2122.86 c #Conflicts: 1030000 | #Constraints: 46745 2116.43/2122.86 c #Conflicts: 1031000 | #Constraints: 47745 2116.43/2122.86 c #Conflicts: 1032000 | #Constraints: 48745 2116.43/2122.86 c #Conflicts: 1033000 | #Constraints: 49745 2116.43/2122.86 c #Conflicts: 1034000 | #Constraints: 50745 2116.43/2122.86 c #Conflicts: 1035000 | #Constraints: 51745 2116.43/2122.86 c #Conflicts: 1036000 | #Constraints: 52745 2116.43/2122.86 c INPROCESSING 2116.43/2122.86 c GARBAGE COLLECT 2116.43/2122.86 c rational objective -37 2222.87/2229.57 c #Conflicts: 1037000 | #Constraints: 28032 2222.87/2229.57 c #Conflicts: 1038000 | #Constraints: 29044 2222.87/2229.57 c #Conflicts: 1039000 | #Constraints: 30053 2222.87/2229.57 c #Conflicts: 1040000 | #Constraints: 31057 2222.87/2229.57 c #Conflicts: 1041000 | #Constraints: 32064 2222.87/2229.57 c #Conflicts: 1042000 | #Constraints: 33077 2222.87/2229.57 c #Conflicts: 1043000 | #Constraints: 34086 2222.87/2229.57 c #Conflicts: 1044000 | #Constraints: 35094 2222.87/2229.57 c #Conflicts: 1045000 | #Constraints: 36102 2222.87/2229.57 c #Conflicts: 1046000 | #Constraints: 37106 2222.87/2229.57 c #Conflicts: 1047000 | #Constraints: 38113 2222.87/2229.57 c #Conflicts: 1048000 | #Constraints: 39121 2222.87/2229.57 c #Conflicts: 1049000 | #Constraints: 40131 2222.87/2229.57 c #Conflicts: 1050000 | #Constraints: 41137 2222.87/2229.57 c #Conflicts: 1051000 | #Constraints: 42143 2222.87/2229.57 c #Conflicts: 1052000 | #Constraints: 43148 2222.87/2229.57 c #Conflicts: 1053000 | #Constraints: 44153 2222.87/2229.57 c #Conflicts: 1054000 | #Constraints: 45159 2222.87/2229.57 c #Conflicts: 1055000 | #Constraints: 46163 2222.87/2229.57 c #Conflicts: 1056000 | #Constraints: 47166 2222.87/2229.57 c #Conflicts: 1057000 | #Constraints: 48173 2222.87/2229.57 c #Conflicts: 1058000 | #Constraints: 49176 2222.87/2229.57 c INPROCESSING 2222.87/2229.57 c GARBAGE COLLECT 2222.87/2229.57 c rational objective -37 2682.69/2690.49 c #Conflicts: 1059000 | #Constraints: 26028 2682.69/2690.49 c #Conflicts: 1060000 | #Constraints: 27028 2682.69/2690.49 c #Conflicts: 1061000 | #Constraints: 28028 2682.69/2690.49 c #Conflicts: 1062000 | #Constraints: 29028 2682.69/2690.49 c #Conflicts: 1063000 | #Constraints: 30028 2682.69/2690.49 c #Conflicts: 1064000 | #Constraints: 31028 2682.69/2690.49 c #Conflicts: 1065000 | #Constraints: 32028 2682.69/2690.49 c #Conflicts: 1066000 | #Constraints: 33028 2682.69/2690.49 c #Conflicts: 1067000 | #Constraints: 34028 2682.69/2690.49 c #Conflicts: 1068000 | #Constraints: 35028 2682.69/2690.49 c #Conflicts: 1069000 | #Constraints: 36028 2682.69/2690.49 c #Conflicts: 1070000 | #Constraints: 37028 2682.69/2690.49 c #Conflicts: 1071000 | #Constraints: 38028 2682.69/2690.49 c #Conflicts: 1072000 | #Constraints: 39028 2682.69/2690.49 c #Conflicts: 1073000 | #Constraints: 40028 2682.69/2690.49 c #Conflicts: 1074000 | #Constraints: 41028 2682.69/2690.49 c #Conflicts: 1075000 | #Constraints: 42028 2682.69/2690.49 c #Conflicts: 1076000 | #Constraints: 43028 2682.69/2690.49 c #Conflicts: 1077000 | #Constraints: 44028 2682.69/2690.49 c #Conflicts: 1078000 | #Constraints: 45028 2682.69/2690.49 c #Conflicts: 1079000 | #Constraints: 46028 2682.69/2690.49 c #Conflicts: 1080000 | #Constraints: 47028 2682.69/2690.49 c #Conflicts: 1081000 | #Constraints: 48028 2682.69/2690.49 c #Conflicts: 1082000 | #Constraints: 49028 2682.69/2690.49 c #Conflicts: 1083000 | #Constraints: 50028 2682.69/2690.49 c #Conflicts: 1084000 | #Constraints: 51028 2682.69/2690.49 c #Conflicts: 1085000 | #Constraints: 52028 2682.69/2690.49 c #Conflicts: 1086000 | #Constraints: 53028 2682.69/2690.49 c #Conflicts: 1087000 | #Constraints: 54028 2682.69/2690.49 c #Conflicts: 1088000 | #Constraints: 55028 2682.69/2690.49 c #Conflicts: 1089000 | #Constraints: 56028 2682.69/2690.49 c #Conflicts: 1090000 | #Constraints: 57028 2682.69/2690.49 c #Conflicts: 1091000 | #Constraints: 58028 2682.69/2690.49 c #Conflicts: 1092000 | #Constraints: 59028 2682.69/2690.49 c #Conflicts: 1093000 | #Constraints: 60028 2682.69/2690.49 c #Conflicts: 1094000 | #Constraints: 61028 2682.69/2690.49 c #Conflicts: 1095000 | #Constraints: 62028 2682.69/2690.49 c #Conflicts: 1096000 | #Constraints: 63028 2682.69/2690.49 c #Conflicts: 1097000 | #Constraints: 64028 2682.69/2690.49 c #Conflicts: 1098000 | #Constraints: 65028 2682.69/2690.49 c #Conflicts: 1099000 | #Constraints: 66028 2682.69/2690.49 c #Conflicts: 1100000 | #Constraints: 67028 2682.69/2690.49 c #Conflicts: 1101000 | #Constraints: 68028 2682.69/2690.49 c #Conflicts: 1102000 | #Constraints: 69028 2682.69/2690.49 c #Conflicts: 1103000 | #Constraints: 70028 2682.69/2690.49 c #Conflicts: 1104000 | #Constraints: 71028 2682.69/2690.49 c #Conflicts: 1105000 | #Constraints: 72028 2682.69/2690.49 c #Conflicts: 1106000 | #Constraints: 73028 2682.69/2690.49 c #Conflicts: 1107000 | #Constraints: 74028 2682.69/2690.49 c #Conflicts: 1108000 | #Constraints: 75028 2682.69/2690.49 c #Conflicts: 1109000 | #Constraints: 76028 2682.69/2690.49 c #Conflicts: 1110000 | #Constraints: 77028 2682.69/2690.49 c #Conflicts: 1111000 | #Constraints: 78028 2682.69/2690.49 c #Conflicts: 1112000 | #Constraints: 79028 2682.69/2690.49 c #Conflicts: 1113000 | #Constraints: 80028 2682.69/2690.49 c #Conflicts: 1114000 | #Constraints: 81028 2682.69/2690.49 c #Conflicts: 1115000 | #Constraints: 82028 2682.69/2690.49 c #Conflicts: 1116000 | #Constraints: 83028 2682.69/2690.49 c #Conflicts: 1117000 | #Constraints: 84028 2682.69/2690.49 c #Conflicts: 1118000 | #Constraints: 85028 2682.69/2690.49 c #Conflicts: 1119000 | #Constraints: 86028 2682.69/2690.49 c #Conflicts: 1120000 | #Constraints: 87028 2682.69/2690.49 c #Conflicts: 1121000 | #Constraints: 88028 2682.69/2690.49 c #Conflicts: 1122000 | #Constraints: 89028 2682.69/2690.49 c #Conflicts: 1123000 | #Constraints: 90028 2682.69/2690.49 c #Conflicts: 1124000 | #Constraints: 91028 2682.69/2690.49 c #Conflicts: 1125000 | #Constraints: 92028 2682.69/2690.49 c #Conflicts: 1126000 | #Constraints: 93028 2682.69/2690.49 c #Conflicts: 1127000 | #Constraints: 94028 2682.69/2690.49 c #Conflicts: 1128000 | #Constraints: 95028 2682.69/2690.49 c #Conflicts: 1129000 | #Constraints: 96028 2682.69/2690.49 c #Conflicts: 1130000 | #Constraints: 97028 2682.69/2690.49 c #Conflicts: 1131000 | #Constraints: 98028 2682.69/2690.49 c #Conflicts: 1132000 | #Constraints: 99028 2682.69/2690.49 c #Conflicts: 1133000 | #Constraints: 100028 2682.69/2690.49 c #Conflicts: 1134000 | #Constraints: 101028 2682.69/2690.49 c #Conflicts: 1135000 | #Constraints: 102028 2682.69/2690.49 c #Conflicts: 1136000 | #Constraints: 103028 2682.69/2690.49 c #Conflicts: 1137000 | #Constraints: 104028 2736.67/2744.50 c #Conflicts: 1138000 | #Constraints: 105028 2736.67/2744.50 c #Conflicts: 1139000 | #Constraints: 106028 2736.67/2744.50 c #Conflicts: 1140000 | #Constraints: 107028 2736.67/2744.50 c #Conflicts: 1141000 | #Constraints: 108028 2736.67/2744.50 c #Conflicts: 1142000 | #Constraints: 109028 2736.67/2744.50 c INPROCESSING 2736.67/2744.50 c GARBAGE COLLECT 2736.67/2744.50 c rational objective -37 2778.86/2786.80 c #Conflicts: 1143000 | #Constraints: 56064 2778.86/2786.80 c #Conflicts: 1144000 | #Constraints: 57082 2778.86/2786.80 c #Conflicts: 1145000 | #Constraints: 58116 2778.86/2786.80 c #Conflicts: 1146000 | #Constraints: 59144 2778.86/2786.80 c #Conflicts: 1147000 | #Constraints: 60172 2778.86/2786.80 c #Conflicts: 1148000 | #Constraints: 61189 2778.86/2786.80 c #Conflicts: 1149000 | #Constraints: 62205 2778.86/2786.80 c #Conflicts: 1150000 | #Constraints: 63222 2778.86/2786.80 c #Conflicts: 1151000 | #Constraints: 64238 2778.86/2786.80 c #Conflicts: 1152000 | #Constraints: 65254 2778.86/2786.80 c #Conflicts: 1153000 | #Constraints: 66277 2778.86/2786.80 c #Conflicts: 1154000 | #Constraints: 67296 2778.86/2786.80 c #Conflicts: 1155000 | #Constraints: 68307 2778.86/2786.80 c #Conflicts: 1156000 | #Constraints: 69324 2778.86/2786.80 c #Conflicts: 1157000 | #Constraints: 70344 2778.86/2786.80 c #Conflicts: 1158000 | #Constraints: 71376 2778.86/2786.80 c #Conflicts: 1159000 | #Constraints: 72386 2778.86/2786.80 c #Conflicts: 1160000 | #Constraints: 73400 2778.86/2786.80 c #Conflicts: 1161000 | #Constraints: 74422 2778.86/2786.80 c #Conflicts: 1162000 | #Constraints: 75441 2778.86/2786.80 c #Conflicts: 1163000 | #Constraints: 76461 2778.86/2786.80 c #Conflicts: 1164000 | #Constraints: 77486 2778.86/2786.80 c #Conflicts: 1165000 | #Constraints: 78514 2778.86/2786.80 c #Conflicts: 1166000 | #Constraints: 79551 2778.86/2786.80 c INPROCESSING 2778.86/2786.80 c GARBAGE COLLECT 2778.86/2786.80 c rational objective -37 2817.08/2825.18 c #Conflicts: 1167000 | #Constraints: 41457 2817.08/2825.18 c #Conflicts: 1168000 | #Constraints: 42478 2817.08/2825.18 c #Conflicts: 1169000 | #Constraints: 43501 2817.08/2825.18 c #Conflicts: 1170000 | #Constraints: 44518 2817.08/2825.18 c #Conflicts: 1171000 | #Constraints: 45542 2817.08/2825.18 c #Conflicts: 1172000 | #Constraints: 46567 2817.08/2825.18 c #Conflicts: 1173000 | #Constraints: 47586 2817.08/2825.18 c #Conflicts: 1174000 | #Constraints: 48600 2817.08/2825.18 c #Conflicts: 1175000 | #Constraints: 49614 2817.08/2825.18 c #Conflicts: 1176000 | #Constraints: 50633 2817.08/2825.18 c #Conflicts: 1177000 | #Constraints: 51651 2817.08/2825.18 c #Conflicts: 1178000 | #Constraints: 52664 2817.08/2825.18 c #Conflicts: 1179000 | #Constraints: 53680 2817.08/2825.18 c #Conflicts: 1180000 | #Constraints: 54687 2817.08/2825.18 c #Conflicts: 1181000 | #Constraints: 55700 2817.08/2825.18 c #Conflicts: 1182000 | #Constraints: 56714 2817.08/2825.18 c #Conflicts: 1183000 | #Constraints: 57723 2817.08/2825.18 c #Conflicts: 1184000 | #Constraints: 58734 2817.08/2825.18 c #Conflicts: 1185000 | #Constraints: 59749 2817.08/2825.18 c #Conflicts: 1186000 | #Constraints: 60757 2817.08/2825.18 c #Conflicts: 1187000 | #Constraints: 61775 2817.08/2825.18 c #Conflicts: 1188000 | #Constraints: 62797 2817.08/2825.18 c #Conflicts: 1189000 | #Constraints: 63812 2817.08/2825.18 c #Conflicts: 1190000 | #Constraints: 64838 2817.08/2825.18 c INPROCESSING 2817.08/2825.18 c GARBAGE COLLECT 2817.08/2825.18 c rational objective -37 2846.59/2854.73 c #Conflicts: 1191000 | #Constraints: 34155 2846.59/2854.73 c #Conflicts: 1192000 | #Constraints: 35177 2846.59/2854.73 c #Conflicts: 1193000 | #Constraints: 36194 2846.59/2854.73 c #Conflicts: 1194000 | #Constraints: 37211 2846.59/2854.73 c #Conflicts: 1195000 | #Constraints: 38238 2846.59/2854.73 c #Conflicts: 1196000 | #Constraints: 39251 2846.59/2854.73 c #Conflicts: 1197000 | #Constraints: 40264 2846.59/2854.73 c #Conflicts: 1198000 | #Constraints: 41275 2846.59/2854.73 c #Conflicts: 1199000 | #Constraints: 42292 2846.59/2854.73 c #Conflicts: 1200000 | #Constraints: 43310 2846.59/2854.73 c #Conflicts: 1201000 | #Constraints: 44321 2846.59/2854.73 c #Conflicts: 1202000 | #Constraints: 45333 2846.59/2854.73 c #Conflicts: 1203000 | #Constraints: 46351 2846.59/2854.73 c #Conflicts: 1204000 | #Constraints: 47363 2846.59/2854.73 c #Conflicts: 1205000 | #Constraints: 48376 2846.59/2854.73 c #Conflicts: 1206000 | #Constraints: 49396 2846.59/2854.73 c #Conflicts: 1207000 | #Constraints: 50411 2846.59/2854.73 c #Conflicts: 1208000 | #Constraints: 51431 2846.59/2854.73 c #Conflicts: 1209000 | #Constraints: 52458 2846.59/2854.73 c #Conflicts: 1210000 | #Constraints: 53493 2846.59/2854.73 c #Conflicts: 1211000 | #Constraints: 54525 2846.59/2854.73 c #Conflicts: 1212000 | #Constraints: 55549 2846.59/2854.73 c #Conflicts: 1213000 | #Constraints: 56576 2846.59/2854.73 c #Conflicts: 1214000 | #Constraints: 57607 2846.59/2854.73 c INPROCESSING 2846.59/2854.73 c GARBAGE COLLECT 2846.59/2854.73 c rational objective -37 3065.47/3074.11 c #Conflicts: 1215000 | #Constraints: 30488 3065.47/3074.11 c #Conflicts: 1216000 | #Constraints: 31504 3065.47/3074.11 c #Conflicts: 1217000 | #Constraints: 32524 3065.47/3074.11 c #Conflicts: 1218000 | #Constraints: 33544 3065.47/3074.11 c #Conflicts: 1219000 | #Constraints: 34558 3065.47/3074.11 c #Conflicts: 1220000 | #Constraints: 35575 3065.47/3074.11 c #Conflicts: 1221000 | #Constraints: 36593 3065.47/3074.11 c #Conflicts: 1222000 | #Constraints: 37617 3065.47/3074.11 c #Conflicts: 1223000 | #Constraints: 38640 3065.47/3074.11 c #Conflicts: 1224000 | #Constraints: 39663 3065.47/3074.11 c #Conflicts: 1225000 | #Constraints: 40689 3065.47/3074.11 c #Conflicts: 1226000 | #Constraints: 41711 3065.47/3074.11 c #Conflicts: 1227000 | #Constraints: 42735 3065.47/3074.11 c #Conflicts: 1228000 | #Constraints: 43756 3065.47/3074.11 c #Conflicts: 1229000 | #Constraints: 44778 3065.47/3074.11 c #Conflicts: 1230000 | #Constraints: 45799 3065.47/3074.11 c #Conflicts: 1231000 | #Constraints: 46814 3065.47/3074.11 c #Conflicts: 1232000 | #Constraints: 47826 3065.47/3074.11 c #Conflicts: 1233000 | #Constraints: 48839 3065.47/3074.11 c #Conflicts: 1234000 | #Constraints: 49853 3065.47/3074.11 c #Conflicts: 1235000 | #Constraints: 50868 3065.47/3074.11 c #Conflicts: 1236000 | #Constraints: 51879 3065.47/3074.11 c #Conflicts: 1237000 | #Constraints: 52899 3065.47/3074.11 c #Conflicts: 1238000 | #Constraints: 53927 3065.47/3074.11 c #Conflicts: 1239000 | #Constraints: 54936 3065.47/3074.11 c #Conflicts: 1240000 | #Constraints: 55946 3065.47/3074.11 c #Conflicts: 1241000 | #Constraints: 56961 3065.47/3074.11 c #Conflicts: 1242000 | #Constraints: 57975 3065.47/3074.11 c #Conflicts: 1243000 | #Constraints: 58989 3065.47/3074.11 c #Conflicts: 1244000 | #Constraints: 59998 3065.47/3074.11 c #Conflicts: 1245000 | #Constraints: 61016 3065.47/3074.11 c #Conflicts: 1246000 | #Constraints: 62045 3065.47/3074.11 c #Conflicts: 1247000 | #Constraints: 63066 3065.47/3074.11 c #Conflicts: 1248000 | #Constraints: 64094 3065.47/3074.11 c #Conflicts: 1249000 | #Constraints: 65123 3065.47/3074.11 c #Conflicts: 1250000 | #Constraints: 66137 3065.47/3074.11 c #Conflicts: 1251000 | #Constraints: 67145 3065.47/3074.11 c #Conflicts: 1252000 | #Constraints: 68159 3065.47/3074.11 c #Conflicts: 1253000 | #Constraints: 69167 3065.47/3074.11 c #Conflicts: 1254000 | #Constraints: 70182 3065.47/3074.11 c #Conflicts: 1255000 | #Constraints: 71192 3065.47/3074.11 c #Conflicts: 1256000 | #Constraints: 72208 3065.47/3074.11 c #Conflicts: 1257000 | #Constraints: 73231 3065.47/3074.11 c #Conflicts: 1258000 | #Constraints: 74248 3065.47/3074.11 c #Conflicts: 1259000 | #Constraints: 75257 3065.47/3074.11 c #Conflicts: 1260000 | #Constraints: 76265 3065.47/3074.11 c #Conflicts: 1261000 | #Constraints: 77279 3065.47/3074.11 c #Conflicts: 1262000 | #Constraints: 78287 3065.47/3074.11 c #Conflicts: 1263000 | #Constraints: 79305 3065.47/3074.11 c #Conflicts: 1264000 | #Constraints: 80314 3065.47/3074.11 c #Conflicts: 1265000 | #Constraints: 81333 3065.47/3074.11 c #Conflicts: 1266000 | #Constraints: 82347 3065.47/3074.11 c #Conflicts: 1267000 | #Constraints: 83368 3065.47/3074.11 c #Conflicts: 1268000 | #Constraints: 84389 3065.47/3074.11 c #Conflicts: 1269000 | #Constraints: 85406 3065.47/3074.11 c #Conflicts: 1270000 | #Constraints: 86433 3065.47/3074.11 c #Conflicts: 1271000 | #Constraints: 87458 3065.47/3074.11 c #Conflicts: 1272000 | #Constraints: 88477 3065.47/3074.11 c #Conflicts: 1273000 | #Constraints: 89505 3065.47/3074.11 c #Conflicts: 1274000 | #Constraints: 90527 3065.47/3074.11 c #Conflicts: 1275000 | #Constraints: 91551 3065.47/3074.11 c #Conflicts: 1276000 | #Constraints: 92560 3065.47/3074.11 c #Conflicts: 1277000 | #Constraints: 93573 3065.47/3074.11 c #Conflicts: 1278000 | #Constraints: 94584 3065.47/3074.11 c #Conflicts: 1279000 | #Constraints: 95599 3065.47/3074.11 c #Conflicts: 1280000 | #Constraints: 96609 3065.47/3074.11 c #Conflicts: 1281000 | #Constraints: 97618 3065.47/3074.11 c #Conflicts: 1282000 | #Constraints: 98629 3065.47/3074.11 c #Conflicts: 1283000 | #Constraints: 99639 3065.47/3074.11 c #Conflicts: 1284000 | #Constraints: 100647 3065.47/3074.11 c #Conflicts: 1285000 | #Constraints: 101657 3065.47/3074.11 c #Conflicts: 1286000 | #Constraints: 102679 3065.47/3074.11 c #Conflicts: 1287000 | #Constraints: 103690 3065.47/3074.11 c #Conflicts: 1288000 | #Constraints: 104698 3065.47/3074.11 c #Conflicts: 1289000 | #Constraints: 105708 3065.47/3074.11 c #Conflicts: 1290000 | #Constraints: 106721 3065.47/3074.11 c #Conflicts: 1291000 | #Constraints: 107736 3065.47/3074.11 c #Conflicts: 1292000 | #Constraints: 108748 3065.47/3074.11 c #Conflicts: 1293000 | #Constraints: 109767 3119.24/3128.02 c #Conflicts: 1294000 | #Constraints: 110786 3119.24/3128.02 c #Conflicts: 1295000 | #Constraints: 111792 3119.24/3128.02 c #Conflicts: 1296000 | #Constraints: 112799 3119.24/3128.02 c #Conflicts: 1297000 | #Constraints: 113811 3119.24/3128.02 c #Conflicts: 1298000 | #Constraints: 114826 3119.24/3128.02 c #Conflicts: 1299000 | #Constraints: 115835 3119.24/3128.02 c #Conflicts: 1300000 | #Constraints: 116846 3119.24/3128.02 c #Conflicts: 1301000 | #Constraints: 117862 3119.24/3128.02 c #Conflicts: 1302000 | #Constraints: 118866 3119.24/3128.02 c #Conflicts: 1303000 | #Constraints: 119876 3119.24/3128.02 c INPROCESSING 3119.24/3128.02 c GARBAGE COLLECT 3119.24/3128.02 c rational objective -37 3400.67/3410.19 c #Conflicts: 1304000 | #Constraints: 61559 3400.67/3410.19 c #Conflicts: 1305000 | #Constraints: 62559 3400.67/3410.19 c #Conflicts: 1306000 | #Constraints: 63559 3400.67/3410.19 c #Conflicts: 1307000 | #Constraints: 64559 3400.67/3410.19 c #Conflicts: 1308000 | #Constraints: 65559 3400.67/3410.19 c #Conflicts: 1309000 | #Constraints: 66559 3400.67/3410.19 c #Conflicts: 1310000 | #Constraints: 67559 3400.67/3410.19 c #Conflicts: 1311000 | #Constraints: 68559 3400.67/3410.19 c #Conflicts: 1312000 | #Constraints: 69559 3400.67/3410.19 c #Conflicts: 1313000 | #Constraints: 70559 3400.67/3410.19 c #Conflicts: 1314000 | #Constraints: 71559 3400.67/3410.19 c #Conflicts: 1315000 | #Constraints: 72559 3400.67/3410.19 c #Conflicts: 1316000 | #Constraints: 73559 3400.67/3410.19 c #Conflicts: 1317000 | #Constraints: 74559 3400.67/3410.19 c #Conflicts: 1318000 | #Constraints: 75559 3400.67/3410.19 c #Conflicts: 1319000 | #Constraints: 76559 3400.67/3410.19 c #Conflicts: 1320000 | #Constraints: 77559 3400.67/3410.19 c #Conflicts: 1321000 | #Constraints: 78559 3400.67/3410.19 c #Conflicts: 1322000 | #Constraints: 79559 3400.67/3410.19 c #Conflicts: 1323000 | #Constraints: 80559 3400.67/3410.19 c #Conflicts: 1324000 | #Constraints: 81559 3400.67/3410.19 c #Conflicts: 1325000 | #Constraints: 82559 3400.67/3410.19 c #Conflicts: 1326000 | #Constraints: 83559 3400.67/3410.19 c #Conflicts: 1327000 | #Constraints: 84559 3400.67/3410.19 c #Conflicts: 1328000 | #Constraints: 85559 3400.67/3410.19 c INPROCESSING 3400.67/3410.19 c GARBAGE COLLECT 3400.67/3410.19 c rational objective -37 3441.65/3451.27 c #Conflicts: 1329000 | #Constraints: 44239 3441.65/3451.27 c #Conflicts: 1330000 | #Constraints: 45246 3441.65/3451.27 c #Conflicts: 1331000 | #Constraints: 46254 3441.65/3451.27 c #Conflicts: 1332000 | #Constraints: 47272 3441.65/3451.27 c #Conflicts: 1333000 | #Constraints: 48291 3441.65/3451.27 c #Conflicts: 1334000 | #Constraints: 49298 3441.65/3451.27 c #Conflicts: 1335000 | #Constraints: 50326 3441.65/3451.27 c #Conflicts: 1336000 | #Constraints: 51342 3441.65/3451.27 c #Conflicts: 1337000 | #Constraints: 52357 3441.65/3451.27 c #Conflicts: 1338000 | #Constraints: 53382 3441.65/3451.27 c #Conflicts: 1339000 | #Constraints: 54393 3441.65/3451.27 c #Conflicts: 1340000 | #Constraints: 55410 3441.65/3451.27 c #Conflicts: 1341000 | #Constraints: 56429 3441.65/3451.27 c #Conflicts: 1342000 | #Constraints: 57447 3441.65/3451.27 c #Conflicts: 1343000 | #Constraints: 58458 3441.65/3451.27 c #Conflicts: 1344000 | #Constraints: 59476 3441.65/3451.27 c #Conflicts: 1345000 | #Constraints: 60488 3441.65/3451.27 c #Conflicts: 1346000 | #Constraints: 61494 3441.65/3451.27 c #Conflicts: 1347000 | #Constraints: 62511 3441.65/3451.27 c #Conflicts: 1348000 | #Constraints: 63535 3441.65/3451.27 c #Conflicts: 1349000 | #Constraints: 64564 3441.65/3451.27 c #Conflicts: 1350000 | #Constraints: 65583 3441.65/3451.27 c #Conflicts: 1351000 | #Constraints: 66609 3441.65/3451.27 c #Conflicts: 1352000 | #Constraints: 67637 3441.65/3451.27 c #Conflicts: 1353000 | #Constraints: 68655 3441.65/3451.27 c #Conflicts: 1354000 | #Constraints: 69674 3441.65/3451.27 c INPROCESSING 3441.65/3451.27 c GARBAGE COLLECT 3441.65/3451.27 c rational objective -37 3481.84/3491.53 c #Conflicts: 1355000 | #Constraints: 36486 3481.84/3491.53 c #Conflicts: 1356000 | #Constraints: 37508 3481.84/3491.53 c #Conflicts: 1357000 | #Constraints: 38531 3481.84/3491.53 c #Conflicts: 1358000 | #Constraints: 39550 3481.84/3491.53 c #Conflicts: 1359000 | #Constraints: 40569 3481.84/3491.53 c #Conflicts: 1360000 | #Constraints: 41581 3481.84/3491.53 c #Conflicts: 1361000 | #Constraints: 42589 3481.84/3491.53 c #Conflicts: 1362000 | #Constraints: 43602 3481.84/3491.53 c #Conflicts: 1363000 | #Constraints: 44613 3481.84/3491.53 c #Conflicts: 1364000 | #Constraints: 45625 3481.84/3491.53 c #Conflicts: 1365000 | #Constraints: 46639 3481.84/3491.53 c #Conflicts: 1366000 | #Constraints: 47652 3481.84/3491.53 c #Conflicts: 1367000 | #Constraints: 48664 3481.84/3491.53 c #Conflicts: 1368000 | #Constraints: 49678 3481.84/3491.53 c #Conflicts: 1369000 | #Constraints: 50690 3481.84/3491.53 c #Conflicts: 1370000 | #Constraints: 51706 3481.84/3491.53 c #Conflicts: 1371000 | #Constraints: 52718 3481.84/3491.53 c #Conflicts: 1372000 | #Constraints: 53729 3481.84/3491.53 c #Conflicts: 1373000 | #Constraints: 54742 3481.84/3491.53 c #Conflicts: 1374000 | #Constraints: 55760 3481.84/3491.53 c #Conflicts: 1375000 | #Constraints: 56778 3481.84/3491.53 c #Conflicts: 1376000 | #Constraints: 57803 3481.84/3491.53 c #Conflicts: 1377000 | #Constraints: 58816 3481.84/3491.53 c #Conflicts: 1378000 | #Constraints: 59825 3481.84/3491.53 c #Conflicts: 1379000 | #Constraints: 60832 3481.84/3491.53 c #Conflicts: 1380000 | #Constraints: 61839 3481.84/3491.53 c INPROCESSING 3481.84/3491.53 c GARBAGE COLLECT 3481.84/3491.53 c rational objective -37 3519.93/3529.73 c #Conflicts: 1381000 | #Constraints: 32659 3519.93/3529.73 c #Conflicts: 1382000 | #Constraints: 33671 3519.93/3529.73 c #Conflicts: 1383000 | #Constraints: 34681 3519.93/3529.73 c #Conflicts: 1384000 | #Constraints: 35702 3519.93/3529.73 c #Conflicts: 1385000 | #Constraints: 36720 3519.93/3529.73 c #Conflicts: 1386000 | #Constraints: 37733 3519.93/3529.73 c #Conflicts: 1387000 | #Constraints: 38748 3519.93/3529.73 c #Conflicts: 1388000 | #Constraints: 39760 3519.93/3529.73 c #Conflicts: 1389000 | #Constraints: 40774 3519.93/3529.73 c #Conflicts: 1390000 | #Constraints: 41786 3519.93/3529.73 c #Conflicts: 1391000 | #Constraints: 42795 3519.93/3529.73 c #Conflicts: 1392000 | #Constraints: 43812 3519.93/3529.73 c #Conflicts: 1393000 | #Constraints: 44829 3519.93/3529.73 c #Conflicts: 1394000 | #Constraints: 45853 3519.93/3529.73 c #Conflicts: 1395000 | #Constraints: 46880 3519.93/3529.73 c #Conflicts: 1396000 | #Constraints: 47915 3519.93/3529.73 c #Conflicts: 1397000 | #Constraints: 48945 3519.93/3529.73 c #Conflicts: 1398000 | #Constraints: 49959 3519.93/3529.73 c #Conflicts: 1399000 | #Constraints: 50979 3519.93/3529.73 c #Conflicts: 1400000 | #Constraints: 52000 3519.93/3529.73 c #Conflicts: 1401000 | #Constraints: 53025 3519.93/3529.73 c #Conflicts: 1402000 | #Constraints: 54048 3519.93/3529.73 c #Conflicts: 1403000 | #Constraints: 55072 3519.93/3529.73 c #Conflicts: 1404000 | #Constraints: 56080 3519.93/3529.73 c #Conflicts: 1405000 | #Constraints: 57087 3519.93/3529.73 c #Conflicts: 1406000 | #Constraints: 58104 3519.93/3529.73 c INPROCESSING 3519.93/3529.73 c GARBAGE COLLECT 3519.93/3529.73 c rational objective -37 3600.00/3610.01 c #Conflicts: 1407000 | #Constraints: 30784 3600.00/3610.01 c #Conflicts: 1408000 | #Constraints: 31797 3600.00/3610.01 c #Conflicts: 1409000 | #Constraints: 32824 3600.00/3610.01 c #Conflicts: 1410000 | #Constraints: 33850 3600.00/3610.01 c #Conflicts: 1411000 | #Constraints: 34875 3600.00/3610.01 c #Conflicts: 1412000 | #Constraints: 35894 3600.00/3610.01 c #Conflicts: 1413000 | #Constraints: 36908 3600.00/3610.01 c #Conflicts: 1414000 | #Constraints: 37920 3600.00/3610.01 c #Conflicts: 1415000 | #Constraints: 38933 3600.00/3610.01 c #Conflicts: 1416000 | #Constraints: 39946 3600.00/3610.01 c #Conflicts: 1417000 | #Constraints: 40960 3600.00/3610.01 c #Conflicts: 1418000 | #Constraints: 41976 3600.00/3610.01 c #Conflicts: 1419000 | #Constraints: 43004 3600.00/3610.01 c #Conflicts: 1420000 | #Constraints: 44034 3600.00/3610.01 c #Conflicts: 1421000 | #Constraints: 45069 3600.00/3610.01 c #Conflicts: 1422000 | #Constraints: 46096 3600.00/3610.01 c #Conflicts: 1423000 | #Constraints: 47116 3600.00/3610.01 c #Conflicts: 1424000 | #Constraints: 48128 3600.00/3610.01 c #Conflicts: 1425000 | #Constraints: 49141 3600.00/3610.01 c #Conflicts: 1426000 | #Constraints: 50156 3600.00/3610.01 c #Conflicts: 1427000 | #Constraints: 51166 3600.00/3610.01 c #Conflicts: 1428000 | #Constraints: 52181 3600.00/3610.01 c #Conflicts: 1429000 | #Constraints: 53196 3600.00/3610.01 c #Conflicts: 1430000 | #Constraints: 54211 3600.00/3610.01 c #Conflicts: 1431000 | #Constraints: 55224 3600.00/3610.01 c #Conflicts: 1432000 | #Constraints: 56235 3600.00/3610.01 c #Conflicts: 1433000 | #Constraints: 57252 3600.00/3610.01 c #Conflicts: 1434000 | #Constraints: 58282 3600.00/3610.01 c #Conflicts: 1435000 | #Constraints: 59291 3600.00/3610.01 c #Conflicts: 1436000 | #Constraints: 60298 3600.00/3610.01 c #Conflicts: 1437000 | #Constraints: 61310 3600.00/3610.01 c #Conflicts: 1438000 | #Constraints: 62327 3600.00/3610.01 c #Conflicts: 1439000 | #Constraints: 63343 3600.00/3610.01 c #Conflicts: 1440000 | #Constraints: 64368 3600.00/3610.01 c #Conflicts: 1441000 | #Constraints: 65406 3600.00/3610.01 c #Conflicts: 1442000 | #Constraints: 66430 3600.00/3610.01 c #Conflicts: 1443000 | #Constraints: 67456 3600.00/3610.01 c #Conflicts: 1444000 | #Constraints: 68482 3600.00/3610.01 c #Conflicts: 1445000 | #Constraints: 69503 3600.00/3610.01 c #Conflicts: 1446000 | #Constraints: 70523 3600.00/3610.01 c #Conflicts: 1447000 | #Constraints: 71542 3600.00/3610.01 c #Conflicts: 1448000 | #Constraints: 72568 3600.00/3610.01 c #Conflicts: 1449000 | #Constraints: 73586 3600.00/3610.01 c #Conflicts: 1450000 | #Constraints: 74607 3600.00/3610.01 c Program interrupted by user. 3600.00/3610.01 c cpu time 3578.57 s 3600.00/3610.01 c deterministic time 328979330120 3.29e+11 3600.00/3610.01 c optimization time 79.5349 s 3600.00/3610.01 c total solve time 3499.02 s 3600.00/3610.01 c core-guided solve time 1916.36 s 3600.00/3610.01 c propagation time 2945.36 s 3600.00/3610.01 c conflict analysis time 597.106 s 3600.00/3610.01 c propagations 184649132 3600.00/3610.01 c resolve steps 19482739 3600.00/3610.01 c decisions 4116738 3600.00/3610.01 c conflicts 1450149 3600.00/3610.01 c restarts 2812 3600.00/3610.01 c inprocessing phases 76 3600.00/3610.01 c input clauses 577 3600.00/3610.01 c input cardinalities 310 3600.00/3610.01 c input general constraints 575 3600.00/3610.01 c input average constraint length 37.93 3600.00/3610.01 c input average constraint degree 10.88 3600.00/3610.01 c learned clauses 917622 3600.00/3610.01 c learned cardinalities 4165 3600.00/3610.01 c learned general constraints 544891 3600.00/3610.01 c learned average constraint length 136.80 3600.00/3610.01 c learned average constraint degree 639746474.74 3600.00/3610.01 c watched constraints 305644 3600.00/3610.01 c counting constraints 239822 3600.00/3610.01 c gcd simplifications 129147 3600.00/3610.01 c detected cardinalities 1428 3600.00/3610.01 c weakened non-implied lits 110876680 3600.00/3610.01 c weakened non-implying lits 165641 3600.00/3610.01 c original variables 432 3600.00/3610.01 c clausal propagations 36495381 3600.00/3610.01 c cardinality propagations 11804186 3600.00/3610.01 c watched propagations 10635274 3600.00/3610.01 c counting propagations 120880903 3600.00/3610.01 c watch lookups 76185240642 3600.00/3610.01 c watch backjump lookups 65799044025 3600.00/3610.01 c watch checks 176534348103 3600.00/3610.01 c propagation checks 9351275206 3600.00/3610.01 c constraint additions 729005069 3600.00/3610.01 c trail pops 190199061 3600.00/3610.01 c formula constraints 720 3600.00/3610.01 c learned constraints 1433800 3600.00/3610.01 c bound constraints 150 3600.00/3610.01 c core-guided constraints 592 3600.00/3610.01 c encountered formula constraints 9596091 3600.00/3610.01 c encountered learned constraints 9028778 3600.00/3610.01 c encountered bound constraints 3023 3600.00/3610.01 c encountered core-guided constraints 2013216 3600.00/3610.01 c LP total time 44.9951 s 3600.00/3610.01 c LP solve time 38.76 s 3600.00/3610.01 c LP constraints added 855 3600.00/3610.01 c LP constraints removed 132 3600.00/3610.01 c LP pivots internal 1450162 3600.00/3610.01 c LP pivots root 1981 3600.00/3610.01 c LP calls 56673 3600.00/3610.01 c LP optimalities 40234 3600.00/3610.01 c LP no pivot count 13438 3600.00/3610.01 c LP infeasibilities 16439 3600.00/3610.01 c LP valid Farkas constraints 16439 3600.00/3610.01 c LP learned Farkas constraints 16439 3600.00/3610.01 c LP basis resets 0 3600.00/3610.01 c LP cycling count 0 3600.00/3610.01 c LP singular count 0 3600.00/3610.01 c LP no primal count 0 3600.00/3610.01 c LP no farkas count 0 3600.00/3610.01 c LP other issue count 0 3600.00/3610.01 c LP Gomory cuts 0 3600.00/3610.01 c LP learned cuts 135 3600.00/3610.01 c LP deleted cuts 132 3600.00/3610.01 c LP encountered Gomory constraints 0 3600.00/3610.01 c LP encountered Farkas constraints 239439 3600.00/3610.01 c LP encountered learned Farkas constraints 35902 3600.00/3610.01 c CG auxiliary variables introduced 239 3600.00/3610.01 c CG solutions found 25 3600.00/3610.01 c CG cores constructed 125 3600.00/3610.01 c CG core cardinality constraints returned 0 3600.00/3610.01 c CG unit cores 0 3600.00/3610.01 c CG single cores 125 3600.00/3610.01 c CG blocks removed during cardinality reduction 0 3600.00/3610.01 c CG first core best 0 3600.00/3610.01 c CG decision core best 0 3600.00/3610.01 c CG core reduction tie 0 3600.00/3610.01 c CG core degree average 1.00 3600.00/3610.01 c CG core slack average 3.30 3600.00/3610.01 s SATISFIABLE 3600.00/3610.01 v -x1 -x2 x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 x12 x13 -x14 -x15 x16 -x17 -x18 -x19 x20 -x21 -x22 x23 -x24 -x25 x26 -x27 x28 -x29 -x30 x31 -x32 -x33 x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 x45 x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 x54 -x55 -x56 x57 x58 -x59 -x60 -x61 -x62 x63 -x64 x65 -x66 x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 x78 -x79 -x80 x81 x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 x93 -x94 -x95 x96 x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 x218 x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 x311 -x312 -x313 x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 x368 x369 -x370 -x371 -x372 -x373 x374 x375 -x376 -x377 x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 x429 -x430 -x431 x432
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 (60853 MiB free)
memory of node 1: 64473 MiB (27125 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460464-1722071444/watcher-4460464-1722071444 -o /tmp/evaluation-result-4460464-1722071444/solver-4460464-1722071444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301307 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460464-1722071444 --lp-cut-gomory=0 HOME/instance-4460464-1722071444.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=305481, runsolver pid=305478
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.13 4.15 4.17 5/252 305482
/proc/meminfo: memFree=90088580/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=38480 memory=8572 CPUtime=0.11 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 563 0 0 0 9 2 0 0 20 0 1 0 43134256 39403520 2143 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 9620 2143 1776 992 0 1478 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 38480 KiB
Current children cumulated memory: 8572 KiB
[startup+0.213645 s]*
/proc/loadavg: 4.13 4.15 4.17 5/252 305482
/proc/meminfo: memFree=90086808/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=38864 memory=9120 CPUtime=0.22 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 709 0 0 0 17 5 0 0 20 0 1 0 43134256 39796736 2280 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 9716 2280 1776 992 0 1574 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38864 KiB
Current children cumulated memory: 9120 KiB
[startup+0.313655 s]*
/proc/loadavg: 4.13 4.15 4.17 6/252 305482
/proc/meminfo: memFree=90084996/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=39124 memory=9596 CPUtime=0.31 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 845 0 0 0 25 6 0 0 20 0 1 0 43134256 40062976 2399 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 9781 2399 1776 992 0 1639 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39124 KiB
Current children cumulated memory: 9596 KiB
[startup+0.70035 s]
/proc/loadavg: 4.13 4.15 4.17 5/252 305482
/proc/meminfo: memFree=90063900/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=40448 memory=13440 CPUtime=0.68 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 1212 0 0 0 60 8 0 0 20 0 1 0 43134256 41418752 3360 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 10112 3360 1855 992 0 1970 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40448 KiB
Current children cumulated memory: 13440 KiB
[startup+1.50031 s]
/proc/loadavg: 4.13 4.15 4.17 5/252 305482
/proc/meminfo: memFree=90058268/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=42188 memory=15084 CPUtime=1.49 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 1632 0 0 0 136 13 0 0 20 0 1 0 43134256 43200512 3771 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 10547 3771 1855 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.11363 s]
/proc/loadavg: 4.13 4.15 4.17 5/252 305482
/proc/meminfo: memFree=90022560/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=43360 memory=17088 CPUtime=3.09 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 2094 0 0 0 291 18 0 0 20 0 1 0 43134256 44400640 4272 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 10840 4272 1855 992 0 2698 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 17088 KiB
[startup+6.30031 s]
/proc/loadavg: 4.12 4.15 4.17 5/252 305484
/proc/meminfo: memFree=89969048/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=48016 memory=20220 CPUtime=6.27 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 2885 0 0 0 596 31 0 0 20 0 1 0 43134256 49168384 5055 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 12004 5055 1855 992 0 3862 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48016 KiB
Current children cumulated memory: 20220 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.15 4.17 5/252 305484
/proc/meminfo: memFree=89858216/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=50084 memory=22928 CPUtime=12.65 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 3611 0 0 0 1211 54 0 0 20 0 1 0 43134256 51286016 5732 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 12521 5732 1855 992 0 4379 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50084 KiB
Current children cumulated memory: 22928 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.16 4.17 5/252 305485
/proc/meminfo: memFree=89673284/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=70128 memory=42032 CPUtime=25.42 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 6926 0 0 0 2462 80 0 0 20 0 1 0 43134256 71811072 10508 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 17532 10508 1855 992 0 9390 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 70128 KiB
Current children cumulated memory: 42032 KiB
[startup+51.1136 s]
/proc/loadavg: 4.17 4.16 4.17 5/251 305491
/proc/meminfo: memFree=89315592/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=70904 memory=42796 CPUtime=50.96 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 7194 0 0 0 4948 148 0 0 20 0 1 0 43134256 72605696 10699 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 17726 10699 1855 992 0 9584 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 70904 KiB
Current children cumulated memory: 42796 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/247 305501
/proc/meminfo: memFree=88733560/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=116092 memory=70816 CPUtime=101.99 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 11237 0 0 0 9980 219 0 0 20 0 1 0 43134256 118878208 17704 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 29023 17704 1855 992 0 20881 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 116092 KiB
Current children cumulated memory: 70816 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.17 8/247 305511
/proc/meminfo: memFree=87313408/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=117396 memory=71536 CPUtime=161.8 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 11682 0 0 0 15862 318 0 0 20 0 1 0 43134256 120213504 17884 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 29349 17884 1855 992 0 21207 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 117396 KiB
Current children cumulated memory: 71536 KiB
[startup+222.3 s]
/proc/loadavg: 4.70 4.29 4.22 5/253 305529
/proc/meminfo: memFree=86096692/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=135860 memory=94660 CPUtime=221.61 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 15568 0 0 0 21796 365 0 0 20 0 1 0 43134256 139120640 23665 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 33965 23665 1855 992 0 25823 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 135860 KiB
Current children cumulated memory: 94660 KiB
[startup+282.3 s]
/proc/loadavg: 4.45 4.31 4.23 5/253 305540
/proc/meminfo: memFree=85037428/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=135956 memory=94636 CPUtime=281.42 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 15647 0 0 0 27726 416 0 0 20 0 1 0 43134256 139218944 23659 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 33989 23659 1855 992 0 25847 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 135956 KiB
Current children cumulated memory: 94636 KiB
[startup+342.3 s]
/proc/loadavg: 4.33 4.30 4.23 5/252 305550
/proc/meminfo: memFree=83860300/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=135956 memory=94636 CPUtime=341.24 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 15660 0 0 0 33614 510 0 0 20 0 1 0 43134256 139218944 23659 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 33989 23659 1855 992 0 25847 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 135956 KiB
Current children cumulated memory: 94636 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.26 4.22 5/252 305560
/proc/meminfo: memFree=83096164/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=143104 memory=108480 CPUtime=401.05 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 17696 0 0 0 39549 556 0 0 20 0 1 0 43134256 146538496 27120 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 35776 27120 1855 992 0 27634 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 143104 KiB
Current children cumulated memory: 108480 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.22 4.21 5/252 305570
/proc/meminfo: memFree=82529960/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=143104 memory=108480 CPUtime=460.86 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 17701 0 0 0 45502 584 0 0 20 0 1 0 43134256 146538496 27120 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 35776 27120 1855 992 0 27634 0
################
# More data... #
################
Current children cumulated memory: 212128 KiB
[startup+2862.3 s]
/proc/loadavg: 4.16 4.29 4.27 5/261 307375
/proc/meminfo: memFree=98858164/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=286920 memory=212876 CPUtime=2854.17 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 34893 0 0 0 283579 1838 0 0 20 0 1 0 43134256 293806080 53219 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 71730 53219 1855 992 0 63588 0
Current children cumulated CPU time: 2854.17 s
Current children cumulated vsize: 286920 KiB
Current children cumulated memory: 212876 KiB
[startup+2922.3 s]
/proc/loadavg: 4.22 4.30 4.27 5/261 307554
/proc/meminfo: memFree=98295704/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=286920 memory=212940 CPUtime=2914.02 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 34974 0 0 0 289522 1880 0 0 20 0 1 0 43134256 293806080 53235 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 71730 53235 1855 992 0 63588 0
Current children cumulated CPU time: 2914.02 s
Current children cumulated vsize: 286920 KiB
Current children cumulated memory: 212940 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.25 4.26 5/247 307564
/proc/meminfo: memFree=97833788/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=286920 memory=212940 CPUtime=2973.88 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 35066 0 0 0 295487 1901 0 0 20 0 1 0 43134256 293806080 53235 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 71730 53235 1855 992 0 63588 0
Current children cumulated CPU time: 2973.88 s
Current children cumulated vsize: 286920 KiB
Current children cumulated memory: 212940 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.22 4.25 5/246 307589
/proc/meminfo: memFree=97068420/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=291536 memory=215496 CPUtime=3033.74 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 35806 0 0 0 301451 1923 0 0 20 0 1 0 43134256 298532864 53874 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 72884 53874 1855 992 0 64742 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 291536 KiB
Current children cumulated memory: 215496 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.21 4.24 5/256 307610
/proc/meminfo: memFree=96335472/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=297044 memory=229284 CPUtime=3093.59 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 36798 0 0 0 307418 1941 0 0 20 0 1 0 43134256 304173056 57321 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 74261 57321 1855 992 0 66119 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 297044 KiB
Current children cumulated memory: 229284 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.18 4.23 5/256 307620
/proc/meminfo: memFree=95981412/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=298832 memory=235080 CPUtime=3153.44 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 37716 0 0 0 313390 1954 0 0 20 0 1 0 43134256 306003968 58770 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 74708 58770 1855 992 0 66566 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 298832 KiB
Current children cumulated memory: 235080 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.22 5/256 307630
/proc/meminfo: memFree=95517084/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=298832 memory=235080 CPUtime=3213.3 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 37716 0 0 0 319367 1963 0 0 20 0 1 0 43134256 306003968 58770 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 74708 58770 1855 992 0 66566 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 298832 KiB
Current children cumulated memory: 235080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.21 5/256 307641
/proc/meminfo: memFree=95057384/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=298832 memory=235080 CPUtime=3273.15 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 37797 0 0 0 325341 1974 0 0 20 0 1 0 43134256 306003968 58770 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 74708 58770 1855 992 0 66566 0
Current children cumulated CPU time: 3273.15 s
Current children cumulated vsize: 298832 KiB
Current children cumulated memory: 235080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.16 4.21 5/255 307651
/proc/meminfo: memFree=94669264/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=298832 memory=235080 CPUtime=3333.02 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 37798 0 0 0 331317 1985 0 0 20 0 1 0 43134256 306003968 58770 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 74708 58770 1855 992 0 66566 0
Current children cumulated CPU time: 3333.02 s
Current children cumulated vsize: 298832 KiB
Current children cumulated memory: 235080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.20 5/245 307661
/proc/meminfo: memFree=94207144/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=298832 memory=235080 CPUtime=3392.87 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 37883 0 0 0 337292 1995 0 0 20 0 1 0 43134256 306003968 58770 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 74708 58770 1855 992 0 66566 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 298832 KiB
Current children cumulated memory: 235080 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.18 5/245 307671
/proc/meminfo: memFree=93737068/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=298132 memory=234468 CPUtime=3452.73 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 38339 0 0 0 343236 2037 0 0 20 0 1 0 43134256 305287168 58617 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 74533 58617 1855 992 0 66391 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 298132 KiB
Current children cumulated memory: 234468 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.18 5/245 307682
/proc/meminfo: memFree=93138608/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=298956 memory=234956 CPUtime=3512.54 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 38559 0 0 0 349170 2084 0 0 20 0 1 0 43134256 306130944 58739 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 74739 58739 1855 992 0 66597 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 298956 KiB
Current children cumulated memory: 234956 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.17 5/245 307692
/proc/meminfo: memFree=92432320/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=298956 memory=234956 CPUtime=3572.36 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 38571 0 0 0 355106 2130 0 0 20 0 1 0 43134256 306130944 58739 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 74739 58739 1855 992 0 66597 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 298956 KiB
Current children cumulated memory: 234956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.18 4.13 4.18 5/247 307700
/proc/meminfo: memFree=92198816/131655788 swapFree=131058856/131071996
[pid=305481] ppid=305478 vsize=298956 memory=235080 CPUtime=3600 cores=4,6
/proc/305481/stat : 305481 (roundingsat) R 305478 305481 301296 0 -1 4194304 38659 0 0 0 357856 2144 0 0 20 0 1 0 43134256 306130944 58770 134679101440 4194304 8254357 140728988566864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14028800 140728988570459 140728988570721 140728988570721 140728988577737 0
/proc/305481/statm: 74739 58770 1855 992 0 66597 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 298956 KiB
Current children cumulated memory: 235080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.03 s]
# the end of solver process 305481 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.57 s, system=21.448 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.03
CPU time (s): 3600.02
CPU user time (s): 3578.57
CPU system time (s): 21.448
CPU usage (%): 99.7226
Max. virtual memory (cumulated for all children) (KiB): 300596
Max. memory (cumulated for all children) (KiB): 236656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.57
system time used= 21.448
maximum resident set size= 236656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38676
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6232744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 285
involuntary context switches= 4823
# summary of solver processes directly reported to runsolver:
# pid: 305481
# total CPU time (s): 3600.02
# total CPU user time (s): 3578.57
# total CPU system time (s): 21.448
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9709 second user time and 37.3668 second system time
The end
Begin job on nodeC009 at 2024-07-27 11:10:44 IDJOB=4460464 IDBENCH=158488 IDSOLVER=3086 FILE ID=nodeC009/4460464-1722071444 RUNJOBID= nodeC009-1722064837-301307 SLURM_JOB_ID= 8248111 Free space on /tmp= 723620 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-4460464-1722071444/watcher-4460464-1722071444 -o /tmp/evaluation-result-4460464-1722071444/solver-4460464-1722071444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301307 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460464-1722071444 --lp-cut-gomory=0 HOME/instance-4460464-1722071444.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c86a302e56842e7d56f33820d48ef5a5 RANDOM SEED=2116092576 nodeC009.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 : 3637.345 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 : 6983.96 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 : 3494.081 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.390 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 : 6983.96 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.422 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.263 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 : 6983.96 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 : 3659.834 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.257 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 : 6983.96 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.257 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: 90091340 kB MemAvailable: 123694232 kB Buffers: 386504 kB Cached: 33934556 kB SwapCached: 4924 kB Active: 2071092 kB Inactive: 38696300 kB Active(anon): 1616 kB Inactive(anon): 6497896 kB Active(file): 2069476 kB Inactive(file): 32198404 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 53292 kB Writeback: 0 kB AnonPages: 6437592 kB Mapped: 102220 kB Shmem: 53492 kB KReclaimable: 350424 kB Slab: 465932 kB SReclaimable: 350424 kB SUnreclaim: 115508 kB KernelStack: 4044 kB PageTables: 22376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 7450892 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 4734976 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: 367432 kB DirectMap2M: 44625920 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 723756 MiB End job on nodeC009 at 2024-07-27 12:10:54