| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | -36 | 3600.07 | 3609.21 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_3pm-0334-0334.lin.opb |
| MD5SUM | c86a302e56842e7d56f33820d48ef5a5 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -36 |
| Best CPU time to get the best result obtained on this benchmark | 1.22323 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 432 |
| Total number of constraints | 684 |
| Number of constraints which are clauses | 324 |
| Number of constraints which are cardinality constraints (but not clauses) | 36 |
| Number of constraints which are nor clauses,nor cardinality constraints | 324 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 324 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 324 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 324 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 432 #constraints 720 0.00/0.04 c bounds - >= -162 @ 0.004598 0.00/0.04 c rational objective -54 0.21/0.27 c bounds 2 >= -162 @ 0.047512 0.21/0.27 c bounds 2 >= -161 @ 0.04777 0.21/0.27 c bounds 2 >= -160 @ 0.047925 0.21/0.27 c bounds 2 >= -159 @ 0.048109 0.21/0.27 c bounds 2 >= -158 @ 0.048285 0.21/0.27 c bounds 2 >= -157 @ 0.048474 0.21/0.27 c bounds 2 >= -156 @ 0.04866 0.21/0.27 c bounds 2 >= -155 @ 0.048841 0.21/0.27 c bounds 2 >= -154 @ 0.049101 0.21/0.27 c bounds 2 >= -153 @ 0.049304 0.21/0.27 c bounds 2 >= -152 @ 0.049498 0.21/0.27 c bounds 2 >= -151 @ 0.049691 0.21/0.27 c bounds 2 >= -150 @ 0.049881 0.21/0.27 c bounds 2 >= -149 @ 0.05009 0.21/0.27 c bounds 2 >= -148 @ 0.050329 0.21/0.27 c bounds -3 >= -148 @ 0.051169 0.21/0.27 c bounds -3 >= -147 @ 0.051426 0.21/0.27 c bounds -3 >= -146 @ 0.05168 0.21/0.27 c bounds -3 >= -145 @ 0.051953 0.21/0.27 c bounds -3 >= -144 @ 0.052057 0.21/0.27 c bounds -3 >= -143 @ 0.052057 0.21/0.27 c bounds -3 >= -142 @ 0.052057 0.21/0.27 c bounds -3 >= -141 @ 0.052181 0.21/0.27 c bounds -3 >= -140 @ 0.052181 0.21/0.27 c bounds -3 >= -139 @ 0.052181 0.21/0.27 c bounds -3 >= -138 @ 0.052272 0.21/0.27 c bounds -3 >= -137 @ 0.052602 0.21/0.27 c bounds -3 >= -136 @ 0.052936 0.21/0.27 c bounds -3 >= -135 @ 0.053254 0.21/0.27 c bounds -3 >= -134 @ 0.053584 0.21/0.27 c bounds -4 >= -134 @ 0.054416 0.21/0.27 c bounds -4 >= -133 @ 0.054772 0.21/0.27 c bounds -4 >= -132 @ 0.055114 0.21/0.27 c bounds -4 >= -131 @ 0.055481 0.21/0.27 c bounds -4 >= -130 @ 0.055842 0.21/0.27 c bounds -4 >= -129 @ 0.056206 0.21/0.27 c bounds -4 >= -128 @ 0.056573 0.21/0.27 c bounds -4 >= -127 @ 0.056949 0.21/0.27 c bounds -4 >= -126 @ 0.057152 0.21/0.27 c bounds -4 >= -125 @ 0.057152 0.21/0.27 c bounds -4 >= -124 @ 0.057152 0.21/0.27 c bounds -4 >= -123 @ 0.057152 0.21/0.27 c bounds -5 >= -123 @ 0.058252 0.21/0.27 c bounds -5 >= -122 @ 0.058669 0.21/0.27 c bounds -5 >= -121 @ 0.059101 0.21/0.27 c bounds -5 >= -120 @ 0.059136 0.21/0.27 c bounds -5 >= -119 @ 0.059136 0.21/0.27 c bounds -5 >= -118 @ 0.059136 0.21/0.27 c bounds -5 >= -117 @ 0.059136 0.21/0.27 c bounds -5 >= -116 @ 0.059136 0.21/0.27 c bounds -5 >= -115 @ 0.059136 0.21/0.27 c bounds -5 >= -114 @ 0.059136 0.21/0.27 c bounds -5 >= -113 @ 0.059136 0.21/0.27 c bounds -5 >= -112 @ 0.059136 0.21/0.27 c bounds -5 >= -111 @ 0.059136 0.21/0.27 c bounds -7 >= -111 @ 0.059836 0.21/0.27 c bounds -7 >= -110 @ 0.060349 0.21/0.27 c bounds -7 >= -109 @ 0.060871 0.21/0.27 c bounds -7 >= -108 @ 0.061094 0.21/0.27 c bounds -7 >= -107 @ 0.061094 0.21/0.27 c bounds -7 >= -106 @ 0.061094 0.21/0.27 c bounds -7 >= -105 @ 0.061094 0.21/0.27 c bounds -8 >= -105 @ 0.06196 0.21/0.27 c bounds -8 >= -104 @ 0.06208 0.21/0.27 c bounds -8 >= -103 @ 0.062108 0.21/0.27 c bounds -8 >= -102 @ 0.062684 0.21/0.27 c bounds -8 >= -101 @ 0.063072 0.21/0.27 c bounds -8 >= -100 @ 0.063072 0.21/0.27 c bounds -8 >= -99 @ 0.063072 0.21/0.27 c bounds -8 >= -98 @ 0.063072 0.21/0.27 c bounds -9 >= -98 @ 0.063761 0.21/0.27 c bounds -9 >= -97 @ 0.064058 0.21/0.27 c bounds -9 >= -96 @ 0.064058 0.21/0.27 c bounds -9 >= -95 @ 0.064058 0.21/0.27 c bounds -9 >= -94 @ 0.064058 0.21/0.27 c bounds -9 >= -93 @ 0.064058 0.21/0.27 c bounds -10 >= -93 @ 0.064909 0.21/0.27 c bounds -10 >= -92 @ 0.065024 0.21/0.27 c bounds -10 >= -91 @ 0.065215 0.21/0.27 c bounds -10 >= -90 @ 0.065848 0.21/0.27 c bounds -10 >= -89 @ 0.066022 0.21/0.27 c bounds -10 >= -88 @ 0.066124 0.21/0.27 c bounds -10 >= -87 @ 0.066761 0.21/0.27 c bounds -13 >= -87 @ 0.067016 0.21/0.27 c bounds -13 >= -86 @ 0.067204 0.21/0.27 c bounds -13 >= -85 @ 0.067838 0.21/0.27 c bounds -13 >= -84 @ 0.068009 0.21/0.27 c bounds -13 >= -83 @ 0.068222 0.21/0.27 c bounds -13 >= -82 @ 0.06903 0.21/0.27 c bounds -13 >= -81 @ 0.069698 0.21/0.27 c bounds -14 >= -81 @ 0.070898 0.21/0.27 c bounds -14 >= -80 @ 0.071584 0.21/0.27 c bounds -14 >= -79 @ 0.07199 0.21/0.27 c bounds -14 >= -78 @ 0.07199 0.21/0.27 c bounds -14 >= -77 @ 0.072668 0.21/0.27 c bounds -14 >= -76 @ 0.072989 0.21/0.27 c bounds -14 >= -75 @ 0.073053 0.21/0.27 c bounds -14 >= -74 @ 0.073732 0.21/0.27 c bounds -19 >= -74 @ 0.07398 0.21/0.27 c bounds -19 >= -73 @ 0.07398 0.21/0.27 c bounds -19 >= -72 @ 0.074148 0.21/0.27 c bounds -19 >= -71 @ 0.074841 0.21/0.27 c bounds -19 >= -70 @ 0.075546 0.21/0.27 c bounds -19 >= -69 @ 0.075966 0.21/0.27 c bounds -21 >= -69 @ 0.076272 0.21/0.27 c bounds -21 >= -68 @ 0.087557 0.21/0.27 c bounds -21 >= -67 @ 0.087897 0.21/0.27 c bounds -21 >= -66 @ 0.089054 0.21/0.27 c bounds -22 >= -66 @ 0.0939 0.21/0.27 c bounds -22 >= -65 @ 0.095053 0.21/0.27 c bounds -22 >= -64 @ 0.096303 0.21/0.27 c bounds -22 >= -63 @ 0.096867 0.21/0.27 c bounds -22 >= -62 @ 0.096867 0.21/0.27 c bounds -22 >= -61 @ 0.096867 0.21/0.27 c bounds -22 >= -60 @ 0.097634 0.21/0.27 c bounds -22 >= -59 @ 0.097856 0.21/0.27 c bounds -22 >= -58 @ 0.097952 0.21/0.27 c bounds -22 >= -57 @ 0.098847 0.21/0.27 c bounds -22 >= -56 @ 0.098847 0.21/0.27 c bounds -22 >= -55 @ 0.098847 0.21/0.27 c bounds -24 >= -55 @ 0.099499 0.21/0.27 c bounds -24 >= -54 @ 0.099865 0.21/0.27 c bounds -24 >= -53 @ 0.100879 0.21/0.27 c bounds -26 >= -53 @ 0.10176 0.21/0.27 c bounds -26 >= -52 @ 0.10206 0.21/0.27 c bounds -27 >= -52 @ 0.105511 0.21/0.27 c bounds -27 >= -51 @ 0.106533 0.21/0.27 c bounds -27 >= -50 @ 0.10812 0.21/0.27 c bounds -28 >= -50 @ 0.113238 0.21/0.27 c bounds -28 >= -49 @ 0.11486 0.21/0.27 c bounds -28 >= -48 @ 0.124737 0.21/0.27 c bounds -29 >= -48 @ 0.152544 0.21/0.27 c bounds -29 >= -47 @ 0.182441 0.21/0.27 c bounds -30 >= -47 @ 0.206749 0.89/0.96 c bounds -30 >= -46 @ 0.258158 0.89/0.96 c bounds -31 >= -46 @ 0.258737 0.89/0.96 c #Conflicts: 1000 | #Constraints: 2329 0.89/0.96 c #Conflicts: 2000 | #Constraints: 3333 0.89/0.96 c INPROCESSING 0.89/0.96 c GARBAGE COLLECT 0.89/0.96 c rational objective -46 1.69/1.70 c bounds -31 >= -45 @ 1.12593 1.69/1.70 c #Conflicts: 3000 | #Constraints: 3212 1.69/1.70 c bounds -31 >= -44 @ 1.30413 1.69/1.70 c #Conflicts: 4000 | #Constraints: 4233 1.69/1.70 c INPROCESSING 1.69/1.70 c GARBAGE COLLECT 1.69/1.70 c rational objective -44 2.18/2.22 c bounds -32 >= -44 @ 1.61936 2.18/2.22 c #Conflicts: 5000 | #Constraints: 3648 2.18/2.22 c #Conflicts: 6000 | #Constraints: 4667 2.18/2.22 c INPROCESSING 2.18/2.22 c GARBAGE COLLECT 2.18/2.22 c rational objective -44 2.99/3.06 c #Conflicts: 7000 | #Constraints: 3649 2.99/3.06 c bounds -32 >= -43 @ 2.18531 2.99/3.06 c #Conflicts: 8000 | #Constraints: 4688 2.99/3.06 c #Conflicts: 9000 | #Constraints: 5688 2.99/3.06 c INPROCESSING 2.99/3.06 c GARBAGE COLLECT 2.99/3.06 c rational objective -43 3.48/3.58 c #Conflicts: 10000 | #Constraints: 4408 3.48/3.58 c #Conflicts: 11000 | #Constraints: 5420 3.48/3.58 c #Conflicts: 12000 | #Constraints: 6428 3.48/3.58 c INPROCESSING 3.48/3.58 c GARBAGE COLLECT 3.48/3.58 c rational objective -43 4.18/4.24 c #Conflicts: 13000 | #Constraints: 4862 4.18/4.24 c #Conflicts: 14000 | #Constraints: 5889 4.18/4.24 c #Conflicts: 15000 | #Constraints: 6916 4.18/4.24 c INPROCESSING 4.18/4.24 c GARBAGE COLLECT 4.18/4.24 c rational objective -43 4.99/5.09 c #Conflicts: 16000 | #Constraints: 5092 4.99/5.09 c bounds -32 >= -42 @ 4.50387 4.99/5.09 c #Conflicts: 17000 | #Constraints: 6125 4.99/5.09 c #Conflicts: 18000 | #Constraints: 7139 4.99/5.09 c INPROCESSING 4.99/5.09 c GARBAGE COLLECT 4.99/5.09 c rational objective -42 6.27/6.33 c #Conflicts: 19000 | #Constraints: 5135 6.27/6.33 c bounds -33 >= -42 @ 5.04861 6.27/6.33 c #Conflicts: 20000 | #Constraints: 6141 6.27/6.33 c #Conflicts: 21000 | #Constraints: 7141 6.27/6.33 c INPROCESSING 6.27/6.33 c GARBAGE COLLECT 6.27/6.33 c rational objective -42 10.97/11.09 c #Conflicts: 22000 | #Constraints: 4945 10.97/11.09 c bounds -34 >= -42 @ 6.17181 10.97/11.09 c #Conflicts: 23000 | #Constraints: 5956 10.97/11.09 c bounds -35 >= -42 @ 6.41 10.97/11.09 c #Conflicts: 24000 | #Constraints: 6969 10.97/11.09 c #Conflicts: 25000 | #Constraints: 7983 10.97/11.09 c #Conflicts: 26000 | #Constraints: 9002 10.97/11.09 c #Conflicts: 27000 | #Constraints: 10032 10.97/11.09 c #Conflicts: 28000 | #Constraints: 11050 10.97/11.09 c #Conflicts: 29000 | #Constraints: 12063 10.97/11.09 c #Conflicts: 30000 | #Constraints: 13078 10.97/11.09 c #Conflicts: 31000 | #Constraints: 14091 10.97/11.09 c #Conflicts: 32000 | #Constraints: 15103 10.97/11.09 c #Conflicts: 33000 | #Constraints: 16117 10.97/11.09 c INPROCESSING 10.97/11.09 c GARBAGE COLLECT 10.97/11.09 c rational objective -42 14.85/14.95 c #Conflicts: 34000 | #Constraints: 9571 14.85/14.95 c #Conflicts: 35000 | #Constraints: 10571 14.85/14.95 c #Conflicts: 36000 | #Constraints: 11571 14.85/14.95 c #Conflicts: 37000 | #Constraints: 12571 14.85/14.95 c bounds -35 >= -41 @ 14.1929 14.85/14.95 c #Conflicts: 38000 | #Constraints: 13609 14.85/14.95 c INPROCESSING 14.85/14.95 c GARBAGE COLLECT 14.85/14.95 c rational objective -41 16.15/16.22 c #Conflicts: 39000 | #Constraints: 8473 16.15/16.22 c #Conflicts: 40000 | #Constraints: 9481 16.15/16.22 c #Conflicts: 41000 | #Constraints: 10494 16.15/16.22 c #Conflicts: 42000 | #Constraints: 11512 16.15/16.22 c INPROCESSING 16.15/16.22 c GARBAGE COLLECT 16.15/16.22 c rational objective -41 18.95/19.05 c #Conflicts: 43000 | #Constraints: 6983 18.95/19.05 c #Conflicts: 44000 | #Constraints: 7983 18.95/19.05 c #Conflicts: 45000 | #Constraints: 8983 18.95/19.05 c #Conflicts: 46000 | #Constraints: 9983 18.95/19.05 c #Conflicts: 47000 | #Constraints: 10983 18.95/19.05 c #Conflicts: 48000 | #Constraints: 11983 18.95/19.05 c INPROCESSING 18.95/19.05 c GARBAGE COLLECT 18.95/19.05 c rational objective -41 20.44/20.55 c #Conflicts: 49000 | #Constraints: 7713 20.44/20.55 c #Conflicts: 50000 | #Constraints: 8736 20.44/20.55 c #Conflicts: 51000 | #Constraints: 9753 20.44/20.55 c #Conflicts: 52000 | #Constraints: 10781 20.44/20.55 c #Conflicts: 53000 | #Constraints: 11802 20.44/20.55 c INPROCESSING 20.44/20.55 c GARBAGE COLLECT 20.44/20.55 c rational objective -41 22.13/22.24 c #Conflicts: 54000 | #Constraints: 7430 22.13/22.24 c #Conflicts: 55000 | #Constraints: 8444 22.13/22.24 c #Conflicts: 56000 | #Constraints: 9461 22.13/22.24 c #Conflicts: 57000 | #Constraints: 10478 22.13/22.24 c #Conflicts: 58000 | #Constraints: 11488 22.13/22.24 c INPROCESSING 22.13/22.24 c GARBAGE COLLECT 22.13/22.24 c rational objective -41 25.22/25.35 c #Conflicts: 59000 | #Constraints: 7017 25.22/25.35 c #Conflicts: 60000 | #Constraints: 8017 25.22/25.35 c #Conflicts: 61000 | #Constraints: 9017 25.22/25.35 c #Conflicts: 62000 | #Constraints: 10017 25.22/25.35 c #Conflicts: 63000 | #Constraints: 11017 25.22/25.35 c #Conflicts: 64000 | #Constraints: 12017 25.22/25.35 c INPROCESSING 25.22/25.35 c GARBAGE COLLECT 25.22/25.35 c rational objective -41 36.59/36.79 c #Conflicts: 65000 | #Constraints: 7455 36.59/36.79 c #Conflicts: 66000 | #Constraints: 8467 36.59/36.79 c #Conflicts: 67000 | #Constraints: 9483 36.59/36.79 c #Conflicts: 68000 | #Constraints: 10497 36.59/36.79 c #Conflicts: 69000 | #Constraints: 11506 36.59/36.79 c #Conflicts: 70000 | #Constraints: 12510 36.59/36.79 c #Conflicts: 71000 | #Constraints: 13518 36.59/36.79 c #Conflicts: 72000 | #Constraints: 14522 36.59/36.79 c #Conflicts: 73000 | #Constraints: 15528 36.59/36.79 c #Conflicts: 74000 | #Constraints: 16534 36.59/36.79 c #Conflicts: 75000 | #Constraints: 17542 36.59/36.79 c #Conflicts: 76000 | #Constraints: 18545 36.59/36.79 c #Conflicts: 77000 | #Constraints: 19551 36.59/36.79 c #Conflicts: 78000 | #Constraints: 20563 36.59/36.79 c #Conflicts: 79000 | #Constraints: 21573 36.59/36.79 c #Conflicts: 80000 | #Constraints: 22599 36.59/36.79 c #Conflicts: 81000 | #Constraints: 23609 36.59/36.79 c #Conflicts: 82000 | #Constraints: 24617 36.59/36.79 c #Conflicts: 83000 | #Constraints: 25619 36.59/36.79 c #Conflicts: 84000 | #Constraints: 26621 36.59/36.79 c INPROCESSING 36.59/36.79 c GARBAGE COLLECT 36.59/36.79 c rational objective -41 47.96/48.17 c #Conflicts: 85000 | #Constraints: 14598 47.96/48.17 c #Conflicts: 86000 | #Constraints: 15598 47.96/48.17 c #Conflicts: 87000 | #Constraints: 16598 47.96/48.17 c #Conflicts: 88000 | #Constraints: 17598 47.96/48.17 c #Conflicts: 89000 | #Constraints: 18598 47.96/48.17 c #Conflicts: 90000 | #Constraints: 19598 47.96/48.17 c #Conflicts: 91000 | #Constraints: 20598 47.96/48.17 c bounds -35 >= -40 @ 46.8307 47.96/48.17 c INPROCESSING 47.96/48.17 c GARBAGE COLLECT 47.96/48.17 c rational objective -40 50.44/50.69 c #Conflicts: 92000 | #Constraints: 11606 50.44/50.69 c #Conflicts: 93000 | #Constraints: 12612 50.44/50.69 c #Conflicts: 94000 | #Constraints: 13622 50.44/50.69 c #Conflicts: 95000 | #Constraints: 14626 50.44/50.69 c #Conflicts: 96000 | #Constraints: 15635 50.44/50.69 c #Conflicts: 97000 | #Constraints: 16658 50.44/50.69 c #Conflicts: 98000 | #Constraints: 17670 50.44/50.69 c #Conflicts: 99000 | #Constraints: 18680 50.44/50.69 c INPROCESSING 50.44/50.69 c GARBAGE COLLECT 50.44/50.69 c rational objective -40 56.43/56.67 c #Conflicts: 100000 | #Constraints: 11030 56.43/56.67 c #Conflicts: 101000 | #Constraints: 12030 56.43/56.67 c #Conflicts: 102000 | #Constraints: 13030 56.43/56.67 c #Conflicts: 103000 | #Constraints: 14030 56.43/56.67 c #Conflicts: 104000 | #Constraints: 15030 56.43/56.67 c #Conflicts: 105000 | #Constraints: 16030 56.43/56.67 c #Conflicts: 106000 | #Constraints: 17030 56.43/56.67 c INPROCESSING 56.43/56.67 c GARBAGE COLLECT 56.43/56.67 c rational objective -40 59.72/60.00 c #Conflicts: 107000 | #Constraints: 10038 59.72/60.00 c #Conflicts: 108000 | #Constraints: 11045 59.72/60.00 c #Conflicts: 109000 | #Constraints: 12055 59.72/60.00 c #Conflicts: 110000 | #Constraints: 13068 59.72/60.00 c #Conflicts: 111000 | #Constraints: 14076 59.72/60.00 c #Conflicts: 112000 | #Constraints: 15081 59.72/60.00 c #Conflicts: 113000 | #Constraints: 16086 59.72/60.00 c #Conflicts: 114000 | #Constraints: 17093 59.72/60.00 c INPROCESSING 59.72/60.00 c GARBAGE COLLECT 59.72/60.00 c rational objective -40 63.11/63.34 c #Conflicts: 115000 | #Constraints: 10245 63.11/63.34 c #Conflicts: 116000 | #Constraints: 11252 63.11/63.34 c #Conflicts: 117000 | #Constraints: 12257 63.11/63.34 c #Conflicts: 118000 | #Constraints: 13263 63.11/63.34 c #Conflicts: 119000 | #Constraints: 14269 63.11/63.34 c #Conflicts: 120000 | #Constraints: 15276 63.11/63.34 c #Conflicts: 121000 | #Constraints: 16283 63.11/63.34 c INPROCESSING 63.11/63.34 c GARBAGE COLLECT 63.11/63.34 c rational objective -40 69.09/69.35 c #Conflicts: 122000 | #Constraints: 9434 69.09/69.35 c #Conflicts: 123000 | #Constraints: 10434 69.09/69.35 c #Conflicts: 124000 | #Constraints: 11434 69.09/69.35 c #Conflicts: 125000 | #Constraints: 12434 69.09/69.35 c #Conflicts: 126000 | #Constraints: 13434 69.09/69.35 c #Conflicts: 127000 | #Constraints: 14434 69.09/69.35 c #Conflicts: 128000 | #Constraints: 15434 69.09/69.35 c #Conflicts: 129000 | #Constraints: 16434 69.09/69.35 c INPROCESSING 69.09/69.35 c GARBAGE COLLECT 69.09/69.35 c rational objective -40 96.91/97.29 c #Conflicts: 130000 | #Constraints: 9538 96.91/97.29 c #Conflicts: 131000 | #Constraints: 10552 96.91/97.29 c #Conflicts: 132000 | #Constraints: 11565 96.91/97.29 c #Conflicts: 133000 | #Constraints: 12574 96.91/97.29 c #Conflicts: 134000 | #Constraints: 13585 96.91/97.29 c #Conflicts: 135000 | #Constraints: 14592 96.91/97.29 c #Conflicts: 136000 | #Constraints: 15609 96.91/97.29 c #Conflicts: 137000 | #Constraints: 16634 96.91/97.29 c #Conflicts: 138000 | #Constraints: 17654 96.91/97.29 c #Conflicts: 139000 | #Constraints: 18661 96.91/97.29 c #Conflicts: 140000 | #Constraints: 19674 96.91/97.29 c #Conflicts: 141000 | #Constraints: 20680 96.91/97.29 c #Conflicts: 142000 | #Constraints: 21699 96.91/97.29 c #Conflicts: 143000 | #Constraints: 22708 96.91/97.29 c #Conflicts: 144000 | #Constraints: 23720 96.91/97.29 c #Conflicts: 145000 | #Constraints: 24732 96.91/97.29 c #Conflicts: 146000 | #Constraints: 25744 96.91/97.29 c #Conflicts: 147000 | #Constraints: 26763 96.91/97.29 c #Conflicts: 148000 | #Constraints: 27775 96.91/97.29 c #Conflicts: 149000 | #Constraints: 28781 96.91/97.29 c #Conflicts: 150000 | #Constraints: 29785 96.91/97.29 c #Conflicts: 151000 | #Constraints: 30793 96.91/97.29 c #Conflicts: 152000 | #Constraints: 31800 96.91/97.29 c #Conflicts: 153000 | #Constraints: 32807 96.91/97.29 c #Conflicts: 154000 | #Constraints: 33823 96.91/97.29 c #Conflicts: 155000 | #Constraints: 34842 96.91/97.29 c #Conflicts: 156000 | #Constraints: 35848 96.91/97.29 c #Conflicts: 157000 | #Constraints: 36856 96.91/97.29 c #Conflicts: 158000 | #Constraints: 37864 96.91/97.29 c INPROCESSING 96.91/97.29 c GARBAGE COLLECT 96.91/97.29 c rational objective -40 133.99/134.40 c #Conflicts: 159000 | #Constraints: 20269 133.99/134.40 c #Conflicts: 160000 | #Constraints: 21269 133.99/134.40 c #Conflicts: 161000 | #Constraints: 22269 133.99/134.40 c #Conflicts: 162000 | #Constraints: 23269 133.99/134.40 c #Conflicts: 163000 | #Constraints: 24269 133.99/134.40 c #Conflicts: 164000 | #Constraints: 25269 133.99/134.40 c #Conflicts: 165000 | #Constraints: 26269 133.99/134.40 c #Conflicts: 166000 | #Constraints: 27269 133.99/134.40 c #Conflicts: 167000 | #Constraints: 28269 133.99/134.40 c #Conflicts: 168000 | #Constraints: 29269 133.99/134.40 c INPROCESSING 133.99/134.40 c GARBAGE COLLECT 133.99/134.40 c rational objective -40 139.69/140.14 c #Conflicts: 169000 | #Constraints: 16373 139.69/140.14 c #Conflicts: 170000 | #Constraints: 17392 139.69/140.14 c #Conflicts: 171000 | #Constraints: 18407 139.69/140.14 c #Conflicts: 172000 | #Constraints: 19417 139.69/140.14 c #Conflicts: 173000 | #Constraints: 20431 139.69/140.14 c #Conflicts: 174000 | #Constraints: 21442 139.69/140.14 c #Conflicts: 175000 | #Constraints: 22453 139.69/140.14 c #Conflicts: 176000 | #Constraints: 23465 139.69/140.14 c #Conflicts: 177000 | #Constraints: 24472 139.69/140.14 c INPROCESSING 139.69/140.14 c GARBAGE COLLECT 139.69/140.14 c rational objective -40 143.67/144.16 c #Conflicts: 178000 | #Constraints: 13685 143.67/144.16 c #Conflicts: 179000 | #Constraints: 14713 143.67/144.16 c #Conflicts: 180000 | #Constraints: 15729 143.67/144.16 c #Conflicts: 181000 | #Constraints: 16755 143.67/144.16 c #Conflicts: 182000 | #Constraints: 17773 143.67/144.16 c #Conflicts: 183000 | #Constraints: 18789 143.67/144.16 c #Conflicts: 184000 | #Constraints: 19816 143.67/144.16 c #Conflicts: 185000 | #Constraints: 20849 143.67/144.16 c #Conflicts: 186000 | #Constraints: 21869 143.67/144.16 c #Conflicts: 187000 | #Constraints: 22897 143.67/144.16 c INPROCESSING 143.67/144.16 c GARBAGE COLLECT 143.67/144.16 c rational objective -40 154.73/155.24 c #Conflicts: 188000 | #Constraints: 13041 154.73/155.24 c #Conflicts: 189000 | #Constraints: 14041 154.73/155.24 c #Conflicts: 190000 | #Constraints: 15041 154.73/155.24 c #Conflicts: 191000 | #Constraints: 16041 154.73/155.24 c #Conflicts: 192000 | #Constraints: 17041 154.73/155.24 c #Conflicts: 193000 | #Constraints: 18041 154.73/155.24 c #Conflicts: 194000 | #Constraints: 19041 154.73/155.24 c #Conflicts: 195000 | #Constraints: 20041 154.73/155.24 c #Conflicts: 196000 | #Constraints: 21041 154.73/155.24 c #Conflicts: 197000 | #Constraints: 22041 154.73/155.24 c INPROCESSING 154.73/155.24 c GARBAGE COLLECT 154.73/155.24 c rational objective -40 159.82/160.33 c #Conflicts: 198000 | #Constraints: 12715 159.82/160.33 c #Conflicts: 199000 | #Constraints: 13750 159.82/160.33 c #Conflicts: 200000 | #Constraints: 14781 159.82/160.33 c #Conflicts: 201000 | #Constraints: 15801 159.82/160.33 c #Conflicts: 202000 | #Constraints: 16813 159.82/160.33 c #Conflicts: 203000 | #Constraints: 17829 159.82/160.33 c #Conflicts: 204000 | #Constraints: 18852 159.82/160.33 c #Conflicts: 205000 | #Constraints: 19868 159.82/160.33 c #Conflicts: 206000 | #Constraints: 20883 159.82/160.33 c #Conflicts: 207000 | #Constraints: 21887 159.82/160.33 c INPROCESSING 159.82/160.33 c GARBAGE COLLECT 159.82/160.33 c rational objective -40 164.70/165.23 c #Conflicts: 208000 | #Constraints: 12557 164.70/165.23 c #Conflicts: 209000 | #Constraints: 13589 164.70/165.23 c #Conflicts: 210000 | #Constraints: 14617 164.70/165.23 c #Conflicts: 211000 | #Constraints: 15639 164.70/165.23 c #Conflicts: 212000 | #Constraints: 16666 164.70/165.23 c #Conflicts: 213000 | #Constraints: 17673 164.70/165.23 c #Conflicts: 214000 | #Constraints: 18680 164.70/165.23 c #Conflicts: 215000 | #Constraints: 19686 164.70/165.23 c #Conflicts: 216000 | #Constraints: 20694 164.70/165.23 c #Conflicts: 217000 | #Constraints: 21701 164.70/165.23 c INPROCESSING 164.70/165.23 c GARBAGE COLLECT 164.70/165.23 c rational objective -40 176.17/176.70 c #Conflicts: 218000 | #Constraints: 12296 176.17/176.70 c #Conflicts: 219000 | #Constraints: 13296 176.17/176.70 c #Conflicts: 220000 | #Constraints: 14296 176.17/176.70 c #Conflicts: 221000 | #Constraints: 15296 176.17/176.70 c #Conflicts: 222000 | #Constraints: 16296 176.17/176.70 c #Conflicts: 223000 | #Constraints: 17296 176.17/176.70 c #Conflicts: 224000 | #Constraints: 18296 176.17/176.70 c #Conflicts: 225000 | #Constraints: 19296 176.17/176.70 c #Conflicts: 226000 | #Constraints: 20296 176.17/176.70 c #Conflicts: 227000 | #Constraints: 21296 176.17/176.70 c #Conflicts: 228000 | #Constraints: 22296 176.17/176.70 c INPROCESSING 176.17/176.70 c GARBAGE COLLECT 176.17/176.70 c rational objective -40 183.24/183.86 c #Conflicts: 229000 | #Constraints: 12882 183.24/183.86 c #Conflicts: 230000 | #Constraints: 13884 183.24/183.86 c #Conflicts: 231000 | #Constraints: 14895 183.24/183.86 c #Conflicts: 232000 | #Constraints: 15912 183.24/183.86 c #Conflicts: 233000 | #Constraints: 16927 183.24/183.86 c #Conflicts: 234000 | #Constraints: 17949 183.24/183.86 c #Conflicts: 235000 | #Constraints: 18966 183.24/183.86 c #Conflicts: 236000 | #Constraints: 19977 183.24/183.86 c #Conflicts: 237000 | #Constraints: 20995 183.24/183.86 c #Conflicts: 238000 | #Constraints: 22013 183.24/183.86 c INPROCESSING 183.24/183.86 c GARBAGE COLLECT 183.24/183.86 c rational objective -40 189.92/190.50 c #Conflicts: 239000 | #Constraints: 12351 189.92/190.50 c #Conflicts: 240000 | #Constraints: 13369 189.92/190.50 c #Conflicts: 241000 | #Constraints: 14380 189.92/190.50 c #Conflicts: 242000 | #Constraints: 15392 189.92/190.50 c #Conflicts: 243000 | #Constraints: 16398 189.92/190.50 c #Conflicts: 244000 | #Constraints: 17406 189.92/190.50 c #Conflicts: 245000 | #Constraints: 18423 189.92/190.50 c #Conflicts: 246000 | #Constraints: 19435 189.92/190.50 c #Conflicts: 247000 | #Constraints: 20447 189.92/190.50 c #Conflicts: 248000 | #Constraints: 21456 189.92/190.50 c #Conflicts: 249000 | #Constraints: 22474 189.92/190.50 c INPROCESSING 189.92/190.50 c GARBAGE COLLECT 189.92/190.50 c rational objective -40 203.29/203.90 c #Conflicts: 250000 | #Constraints: 12639 203.29/203.90 c #Conflicts: 251000 | #Constraints: 13639 203.29/203.90 c #Conflicts: 252000 | #Constraints: 14639 203.29/203.90 c #Conflicts: 253000 | #Constraints: 15639 203.29/203.90 c #Conflicts: 254000 | #Constraints: 16639 203.29/203.90 c #Conflicts: 255000 | #Constraints: 17639 203.29/203.90 c #Conflicts: 256000 | #Constraints: 18639 203.29/203.90 c #Conflicts: 257000 | #Constraints: 19639 203.29/203.90 c #Conflicts: 258000 | #Constraints: 20639 203.29/203.90 c #Conflicts: 259000 | #Constraints: 21639 203.29/203.90 c #Conflicts: 260000 | #Constraints: 22639 203.29/203.90 c INPROCESSING 203.29/203.90 c GARBAGE COLLECT 203.29/203.90 c rational objective -40 271.96/272.80 c #Conflicts: 261000 | #Constraints: 12695 271.96/272.80 c #Conflicts: 262000 | #Constraints: 13713 271.96/272.80 c #Conflicts: 263000 | #Constraints: 14735 271.96/272.80 c #Conflicts: 264000 | #Constraints: 15749 271.96/272.80 c #Conflicts: 265000 | #Constraints: 16758 271.96/272.80 c #Conflicts: 266000 | #Constraints: 17773 271.96/272.80 c #Conflicts: 267000 | #Constraints: 18786 271.96/272.80 c #Conflicts: 268000 | #Constraints: 19802 271.96/272.80 c #Conflicts: 269000 | #Constraints: 20824 271.96/272.80 c #Conflicts: 270000 | #Constraints: 21842 271.96/272.80 c #Conflicts: 271000 | #Constraints: 22856 271.96/272.80 c #Conflicts: 272000 | #Constraints: 23873 271.96/272.80 c #Conflicts: 273000 | #Constraints: 24895 271.96/272.80 c #Conflicts: 274000 | #Constraints: 25908 271.96/272.80 c #Conflicts: 275000 | #Constraints: 26915 271.96/272.80 c #Conflicts: 276000 | #Constraints: 27927 271.96/272.80 c #Conflicts: 277000 | #Constraints: 28937 271.96/272.80 c #Conflicts: 278000 | #Constraints: 29946 271.96/272.80 c #Conflicts: 279000 | #Constraints: 30964 271.96/272.80 c #Conflicts: 280000 | #Constraints: 31972 271.96/272.80 c #Conflicts: 281000 | #Constraints: 32985 271.96/272.80 c #Conflicts: 282000 | #Constraints: 34009 271.96/272.80 c #Conflicts: 283000 | #Constraints: 35031 271.96/272.80 c #Conflicts: 284000 | #Constraints: 36050 271.96/272.80 c #Conflicts: 285000 | #Constraints: 37056 271.96/272.80 c #Conflicts: 286000 | #Constraints: 38069 271.96/272.80 c #Conflicts: 287000 | #Constraints: 39088 271.96/272.80 c #Conflicts: 288000 | #Constraints: 40103 271.96/272.80 c #Conflicts: 289000 | #Constraints: 41117 271.96/272.80 c #Conflicts: 290000 | #Constraints: 42133 271.96/272.80 c #Conflicts: 291000 | #Constraints: 43152 271.96/272.80 c #Conflicts: 292000 | #Constraints: 44165 271.96/272.80 c #Conflicts: 293000 | #Constraints: 45182 271.96/272.80 c #Conflicts: 294000 | #Constraints: 46190 271.96/272.80 c #Conflicts: 295000 | #Constraints: 47197 271.96/272.80 c #Conflicts: 296000 | #Constraints: 48200 271.96/272.80 c #Conflicts: 297000 | #Constraints: 49206 271.96/272.80 c #Conflicts: 298000 | #Constraints: 50209 271.96/272.80 c #Conflicts: 299000 | #Constraints: 51218 271.96/272.80 c #Conflicts: 300000 | #Constraints: 52229 271.96/272.80 c #Conflicts: 301000 | #Constraints: 53248 271.96/272.80 c #Conflicts: 302000 | #Constraints: 54266 271.96/272.80 c INPROCESSING 271.96/272.80 c GARBAGE COLLECT 271.96/272.80 c rational objective -40 327.30/328.30 c #Conflicts: 303000 | #Constraints: 28538 327.30/328.30 c #Conflicts: 304000 | #Constraints: 29538 327.30/328.30 c #Conflicts: 305000 | #Constraints: 30538 327.30/328.30 c #Conflicts: 306000 | #Constraints: 31538 327.30/328.30 c #Conflicts: 307000 | #Constraints: 32538 327.30/328.30 c #Conflicts: 308000 | #Constraints: 33538 327.30/328.30 c #Conflicts: 309000 | #Constraints: 34538 327.30/328.30 c #Conflicts: 310000 | #Constraints: 35538 327.30/328.30 c #Conflicts: 311000 | #Constraints: 36538 327.30/328.30 c #Conflicts: 312000 | #Constraints: 37538 327.30/328.30 c #Conflicts: 313000 | #Constraints: 38538 327.30/328.30 c #Conflicts: 314000 | #Constraints: 39538 327.30/328.30 c #Conflicts: 315000 | #Constraints: 40538 327.30/328.30 c INPROCESSING 327.30/328.30 c GARBAGE COLLECT 327.30/328.30 c rational objective -40 355.02/356.17 c bounds -35 >= -39 @ 323.866 355.02/356.17 c #Conflicts: 316000 | #Constraints: 22034 355.02/356.17 c #Conflicts: 317000 | #Constraints: 23034 355.02/356.17 c #Conflicts: 318000 | #Constraints: 24034 355.02/356.17 c #Conflicts: 319000 | #Constraints: 25034 355.02/356.17 c #Conflicts: 320000 | #Constraints: 26034 355.02/356.17 c #Conflicts: 321000 | #Constraints: 27034 355.02/356.17 c #Conflicts: 322000 | #Constraints: 28034 355.02/356.17 c #Conflicts: 323000 | #Constraints: 29034 355.02/356.17 c #Conflicts: 324000 | #Constraints: 30034 355.02/356.17 c #Conflicts: 325000 | #Constraints: 31034 355.02/356.17 c #Conflicts: 326000 | #Constraints: 32034 355.02/356.17 c #Conflicts: 327000 | #Constraints: 33034 355.02/356.17 c INPROCESSING 355.02/356.17 c GARBAGE COLLECT 355.02/356.17 c rational objective -39 365.38/366.59 c #Conflicts: 328000 | #Constraints: 17966 365.38/366.59 c #Conflicts: 329000 | #Constraints: 18978 365.38/366.59 c #Conflicts: 330000 | #Constraints: 19991 365.38/366.59 c #Conflicts: 331000 | #Constraints: 21004 365.38/366.59 c #Conflicts: 332000 | #Constraints: 22012 365.38/366.59 c #Conflicts: 333000 | #Constraints: 23028 365.38/366.59 c #Conflicts: 334000 | #Constraints: 24039 365.38/366.59 c #Conflicts: 335000 | #Constraints: 25059 365.38/366.59 c #Conflicts: 336000 | #Constraints: 26078 365.38/366.59 c #Conflicts: 337000 | #Constraints: 27091 365.38/366.59 c #Conflicts: 338000 | #Constraints: 28093 365.38/366.59 c #Conflicts: 339000 | #Constraints: 29106 365.38/366.59 c #Conflicts: 340000 | #Constraints: 30120 365.38/366.59 c INPROCESSING 365.38/366.59 c GARBAGE COLLECT 365.38/366.59 c rational objective -39 375.05/376.25 c #Conflicts: 341000 | #Constraints: 16585 375.05/376.25 c #Conflicts: 342000 | #Constraints: 17595 375.05/376.25 c #Conflicts: 343000 | #Constraints: 18600 375.05/376.25 c #Conflicts: 344000 | #Constraints: 19607 375.05/376.25 c #Conflicts: 345000 | #Constraints: 20617 375.05/376.25 c #Conflicts: 346000 | #Constraints: 21629 375.05/376.25 c #Conflicts: 347000 | #Constraints: 22649 375.05/376.25 c #Conflicts: 348000 | #Constraints: 23677 375.05/376.25 c #Conflicts: 349000 | #Constraints: 24693 375.05/376.25 c #Conflicts: 350000 | #Constraints: 25716 375.05/376.25 c #Conflicts: 351000 | #Constraints: 26742 375.05/376.25 c #Conflicts: 352000 | #Constraints: 27757 375.05/376.25 c #Conflicts: 353000 | #Constraints: 28762 375.05/376.25 c INPROCESSING 375.05/376.25 c GARBAGE COLLECT 375.05/376.25 c rational objective -39 394.39/395.62 c #Conflicts: 354000 | #Constraints: 15899 394.39/395.62 c #Conflicts: 355000 | #Constraints: 16899 394.39/395.62 c #Conflicts: 356000 | #Constraints: 17899 394.39/395.62 c #Conflicts: 357000 | #Constraints: 18899 394.39/395.62 c #Conflicts: 358000 | #Constraints: 19899 394.39/395.62 c #Conflicts: 359000 | #Constraints: 20899 394.39/395.62 c #Conflicts: 360000 | #Constraints: 21899 394.39/395.62 c #Conflicts: 361000 | #Constraints: 22899 394.39/395.62 c #Conflicts: 362000 | #Constraints: 23899 394.39/395.62 c #Conflicts: 363000 | #Constraints: 24899 394.39/395.62 c #Conflicts: 364000 | #Constraints: 25899 394.39/395.62 c #Conflicts: 365000 | #Constraints: 26899 394.39/395.62 c #Conflicts: 366000 | #Constraints: 27899 394.39/395.62 c INPROCESSING 394.39/395.62 c GARBAGE COLLECT 394.39/395.62 c rational objective -39 484.12/485.65 c #Conflicts: 367000 | #Constraints: 15399 484.12/485.65 c #Conflicts: 368000 | #Constraints: 16414 484.12/485.65 c #Conflicts: 369000 | #Constraints: 17434 484.12/485.65 c #Conflicts: 370000 | #Constraints: 18459 484.12/485.65 c #Conflicts: 371000 | #Constraints: 19491 484.12/485.65 c #Conflicts: 372000 | #Constraints: 20530 484.12/485.65 c #Conflicts: 373000 | #Constraints: 21567 484.12/485.65 c #Conflicts: 374000 | #Constraints: 22598 484.12/485.65 c #Conflicts: 375000 | #Constraints: 23627 484.12/485.65 c #Conflicts: 376000 | #Constraints: 24654 484.12/485.65 c #Conflicts: 377000 | #Constraints: 25681 484.12/485.65 c #Conflicts: 378000 | #Constraints: 26709 484.12/485.65 c #Conflicts: 379000 | #Constraints: 27729 484.12/485.65 c #Conflicts: 380000 | #Constraints: 28746 484.12/485.65 c #Conflicts: 381000 | #Constraints: 29761 484.12/485.65 c #Conflicts: 382000 | #Constraints: 30769 484.12/485.65 c #Conflicts: 383000 | #Constraints: 31790 484.12/485.65 c #Conflicts: 384000 | #Constraints: 32809 484.12/485.65 c #Conflicts: 385000 | #Constraints: 33831 484.12/485.65 c #Conflicts: 386000 | #Constraints: 34860 484.12/485.65 c #Conflicts: 387000 | #Constraints: 35874 484.12/485.65 c #Conflicts: 388000 | #Constraints: 36888 484.12/485.65 c #Conflicts: 389000 | #Constraints: 37903 484.12/485.65 c #Conflicts: 390000 | #Constraints: 38915 484.12/485.65 c #Conflicts: 391000 | #Constraints: 39927 484.12/485.65 c #Conflicts: 392000 | #Constraints: 40938 484.12/485.65 c #Conflicts: 393000 | #Constraints: 41951 484.12/485.65 c #Conflicts: 394000 | #Constraints: 42961 484.12/485.65 c #Conflicts: 395000 | #Constraints: 43976 484.12/485.65 c #Conflicts: 396000 | #Constraints: 44994 484.12/485.65 c #Conflicts: 397000 | #Constraints: 46011 484.12/485.65 c #Conflicts: 398000 | #Constraints: 47015 484.12/485.65 c #Conflicts: 399000 | #Constraints: 48027 484.12/485.65 c #Conflicts: 400000 | #Constraints: 49038 484.12/485.65 c #Conflicts: 401000 | #Constraints: 50053 484.12/485.65 c #Conflicts: 402000 | #Constraints: 51060 484.12/485.65 c #Conflicts: 403000 | #Constraints: 52072 484.12/485.65 c #Conflicts: 404000 | #Constraints: 53086 484.12/485.65 c #Conflicts: 405000 | #Constraints: 54111 484.12/485.65 c #Conflicts: 406000 | #Constraints: 55120 484.12/485.65 c #Conflicts: 407000 | #Constraints: 56132 484.12/485.65 c #Conflicts: 408000 | #Constraints: 57141 484.12/485.65 c #Conflicts: 409000 | #Constraints: 58155 484.12/485.65 c #Conflicts: 410000 | #Constraints: 59162 484.12/485.65 c #Conflicts: 411000 | #Constraints: 60172 484.12/485.65 c #Conflicts: 412000 | #Constraints: 61188 484.12/485.65 c #Conflicts: 413000 | #Constraints: 62215 484.12/485.65 c #Conflicts: 414000 | #Constraints: 63230 484.12/485.65 c #Conflicts: 415000 | #Constraints: 64248 484.12/485.65 c #Conflicts: 416000 | #Constraints: 65274 484.12/485.65 c INPROCESSING 484.12/485.65 c GARBAGE COLLECT 484.12/485.65 c rational objective -39 557.21/558.92 c #Conflicts: 417000 | #Constraints: 34351 557.21/558.92 c #Conflicts: 418000 | #Constraints: 35351 557.21/558.92 c #Conflicts: 419000 | #Constraints: 36351 557.21/558.92 c #Conflicts: 420000 | #Constraints: 37351 557.21/558.92 c #Conflicts: 421000 | #Constraints: 38351 557.21/558.92 c #Conflicts: 422000 | #Constraints: 39351 557.21/558.92 c #Conflicts: 423000 | #Constraints: 40351 557.21/558.92 c #Conflicts: 424000 | #Constraints: 41351 557.21/558.92 c #Conflicts: 425000 | #Constraints: 42351 557.21/558.92 c #Conflicts: 426000 | #Constraints: 43351 557.21/558.92 c #Conflicts: 427000 | #Constraints: 44351 557.21/558.92 c #Conflicts: 428000 | #Constraints: 45351 557.21/558.92 c #Conflicts: 429000 | #Constraints: 46351 557.21/558.92 c #Conflicts: 430000 | #Constraints: 47351 557.21/558.92 c INPROCESSING 557.21/558.92 c GARBAGE COLLECT 557.21/558.92 c rational objective -39 584.54/586.31 c #Conflicts: 431000 | #Constraints: 25189 584.54/586.31 c #Conflicts: 432000 | #Constraints: 26189 584.54/586.31 c #Conflicts: 433000 | #Constraints: 27189 584.54/586.31 c #Conflicts: 434000 | #Constraints: 28189 584.54/586.31 c #Conflicts: 435000 | #Constraints: 29189 584.54/586.31 c #Conflicts: 436000 | #Constraints: 30189 584.54/586.31 c #Conflicts: 437000 | #Constraints: 31189 584.54/586.31 c #Conflicts: 438000 | #Constraints: 32189 584.54/586.31 c #Conflicts: 439000 | #Constraints: 33189 584.54/586.31 c #Conflicts: 440000 | #Constraints: 34189 584.54/586.31 c #Conflicts: 441000 | #Constraints: 35189 584.54/586.31 c #Conflicts: 442000 | #Constraints: 36189 584.54/586.31 c #Conflicts: 443000 | #Constraints: 37189 584.54/586.31 c #Conflicts: 444000 | #Constraints: 38189 584.54/586.31 c #Conflicts: 445000 | #Constraints: 39189 584.54/586.31 c INPROCESSING 584.54/586.31 c GARBAGE COLLECT 584.54/586.31 c rational objective -39 594.23/596.03 c #Conflicts: 446000 | #Constraints: 21233 594.23/596.03 c #Conflicts: 447000 | #Constraints: 22265 594.23/596.03 c #Conflicts: 448000 | #Constraints: 23281 594.23/596.03 c #Conflicts: 449000 | #Constraints: 24298 594.23/596.03 c #Conflicts: 450000 | #Constraints: 25318 594.23/596.03 c #Conflicts: 451000 | #Constraints: 26340 594.23/596.03 c #Conflicts: 452000 | #Constraints: 27355 594.23/596.03 c #Conflicts: 453000 | #Constraints: 28373 594.23/596.03 c #Conflicts: 454000 | #Constraints: 29391 594.23/596.03 c #Conflicts: 455000 | #Constraints: 30409 594.23/596.03 c #Conflicts: 456000 | #Constraints: 31434 594.23/596.03 c #Conflicts: 457000 | #Constraints: 32464 594.23/596.03 c #Conflicts: 458000 | #Constraints: 33493 594.23/596.03 c #Conflicts: 459000 | #Constraints: 34521 594.23/596.03 c #Conflicts: 460000 | #Constraints: 35544 594.23/596.03 c INPROCESSING 594.23/596.03 c GARBAGE COLLECT 594.23/596.03 c rational objective -39 604.39/606.25 c #Conflicts: 461000 | #Constraints: 19463 604.39/606.25 c #Conflicts: 462000 | #Constraints: 20485 604.39/606.25 c #Conflicts: 463000 | #Constraints: 21510 604.39/606.25 c #Conflicts: 464000 | #Constraints: 22534 604.39/606.25 c #Conflicts: 465000 | #Constraints: 23554 604.39/606.25 c #Conflicts: 466000 | #Constraints: 24575 604.39/606.25 c #Conflicts: 467000 | #Constraints: 25589 604.39/606.25 c #Conflicts: 468000 | #Constraints: 26608 604.39/606.25 c #Conflicts: 469000 | #Constraints: 27628 604.39/606.25 c #Conflicts: 470000 | #Constraints: 28654 604.39/606.25 c #Conflicts: 471000 | #Constraints: 29685 604.39/606.25 c #Conflicts: 472000 | #Constraints: 30709 604.39/606.25 c #Conflicts: 473000 | #Constraints: 31738 604.39/606.25 c #Conflicts: 474000 | #Constraints: 32758 604.39/606.25 c #Conflicts: 475000 | #Constraints: 33773 604.39/606.25 c INPROCESSING 604.39/606.25 c GARBAGE COLLECT 604.39/606.25 c rational objective -39 626.73/628.60 c #Conflicts: 476000 | #Constraints: 18497 626.73/628.60 c #Conflicts: 477000 | #Constraints: 19497 626.73/628.60 c #Conflicts: 478000 | #Constraints: 20497 626.73/628.60 c #Conflicts: 479000 | #Constraints: 21497 626.73/628.60 c #Conflicts: 480000 | #Constraints: 22497 626.73/628.60 c #Conflicts: 481000 | #Constraints: 23497 626.73/628.60 c #Conflicts: 482000 | #Constraints: 24497 626.73/628.60 c #Conflicts: 483000 | #Constraints: 25497 626.73/628.60 c #Conflicts: 484000 | #Constraints: 26497 626.73/628.60 c #Conflicts: 485000 | #Constraints: 27497 626.73/628.60 c #Conflicts: 486000 | #Constraints: 28497 626.73/628.60 c #Conflicts: 487000 | #Constraints: 29497 626.73/628.60 c #Conflicts: 488000 | #Constraints: 30497 626.73/628.60 c #Conflicts: 489000 | #Constraints: 31497 626.73/628.60 c #Conflicts: 490000 | #Constraints: 32497 626.73/628.60 c INPROCESSING 626.73/628.60 c GARBAGE COLLECT 626.73/628.60 c rational objective -39 737.95/740.13 c #Conflicts: 491000 | #Constraints: 17746 737.95/740.13 c #Conflicts: 492000 | #Constraints: 18757 737.95/740.13 c #Conflicts: 493000 | #Constraints: 19773 737.95/740.13 c #Conflicts: 494000 | #Constraints: 20789 737.95/740.13 c #Conflicts: 495000 | #Constraints: 21793 737.95/740.13 c #Conflicts: 496000 | #Constraints: 22803 737.95/740.13 c #Conflicts: 497000 | #Constraints: 23819 737.95/740.13 c #Conflicts: 498000 | #Constraints: 24822 737.95/740.13 c #Conflicts: 499000 | #Constraints: 25828 737.95/740.13 c #Conflicts: 500000 | #Constraints: 26844 737.95/740.13 c #Conflicts: 501000 | #Constraints: 27849 737.95/740.13 c #Conflicts: 502000 | #Constraints: 28878 737.95/740.13 c #Conflicts: 503000 | #Constraints: 29891 737.95/740.13 c #Conflicts: 504000 | #Constraints: 30903 737.95/740.13 c #Conflicts: 505000 | #Constraints: 31910 737.95/740.13 c #Conflicts: 506000 | #Constraints: 32917 737.95/740.13 c #Conflicts: 507000 | #Constraints: 33932 737.95/740.13 c #Conflicts: 508000 | #Constraints: 34939 737.95/740.13 c #Conflicts: 509000 | #Constraints: 35942 737.95/740.13 c #Conflicts: 510000 | #Constraints: 36949 737.95/740.13 c #Conflicts: 511000 | #Constraints: 37956 737.95/740.13 c #Conflicts: 512000 | #Constraints: 38963 737.95/740.13 c #Conflicts: 513000 | #Constraints: 39966 737.95/740.13 c #Conflicts: 514000 | #Constraints: 40968 737.95/740.13 c #Conflicts: 515000 | #Constraints: 41975 737.95/740.13 c #Conflicts: 516000 | #Constraints: 42981 737.95/740.13 c #Conflicts: 517000 | #Constraints: 43985 737.95/740.13 c #Conflicts: 518000 | #Constraints: 44989 737.95/740.13 c #Conflicts: 519000 | #Constraints: 45992 737.95/740.13 c #Conflicts: 520000 | #Constraints: 47007 737.95/740.13 c #Conflicts: 521000 | #Constraints: 48016 737.95/740.13 c #Conflicts: 522000 | #Constraints: 49023 737.95/740.13 c #Conflicts: 523000 | #Constraints: 50031 737.95/740.13 c #Conflicts: 524000 | #Constraints: 51036 737.95/740.13 c #Conflicts: 525000 | #Constraints: 52040 737.95/740.13 c #Conflicts: 526000 | #Constraints: 53045 737.95/740.13 c #Conflicts: 527000 | #Constraints: 54051 737.95/740.13 c #Conflicts: 528000 | #Constraints: 55058 737.95/740.13 c #Conflicts: 529000 | #Constraints: 56063 737.95/740.13 c #Conflicts: 530000 | #Constraints: 57071 737.95/740.13 c #Conflicts: 531000 | #Constraints: 58094 737.95/740.13 c #Conflicts: 532000 | #Constraints: 59109 737.95/740.13 c #Conflicts: 533000 | #Constraints: 60114 737.95/740.13 c #Conflicts: 534000 | #Constraints: 61115 737.95/740.13 c #Conflicts: 535000 | #Constraints: 62128 737.95/740.13 c #Conflicts: 536000 | #Constraints: 63131 737.95/740.13 c #Conflicts: 537000 | #Constraints: 64134 737.95/740.13 c #Conflicts: 538000 | #Constraints: 65142 737.95/740.13 c #Conflicts: 539000 | #Constraints: 66155 737.95/740.13 c #Conflicts: 540000 | #Constraints: 67169 737.95/740.13 c #Conflicts: 541000 | #Constraints: 68175 737.95/740.13 c #Conflicts: 542000 | #Constraints: 69182 737.95/740.13 c #Conflicts: 543000 | #Constraints: 70198 737.95/740.13 c #Conflicts: 544000 | #Constraints: 71199 737.95/740.13 c #Conflicts: 545000 | #Constraints: 72205 737.95/740.13 c #Conflicts: 546000 | #Constraints: 73220 737.95/740.13 c #Conflicts: 547000 | #Constraints: 74233 737.95/740.13 c INPROCESSING 737.95/740.13 c GARBAGE COLLECT 737.95/740.13 c rational objective -39 841.03/843.50 c #Conflicts: 548000 | #Constraints: 38626 841.03/843.50 c #Conflicts: 549000 | #Constraints: 39626 841.03/843.50 c #Conflicts: 550000 | #Constraints: 40626 841.03/843.50 c #Conflicts: 551000 | #Constraints: 41626 841.03/843.50 c #Conflicts: 552000 | #Constraints: 42626 841.03/843.50 c #Conflicts: 553000 | #Constraints: 43626 841.03/843.50 c #Conflicts: 554000 | #Constraints: 44626 841.03/843.50 c #Conflicts: 555000 | #Constraints: 45626 841.03/843.50 c #Conflicts: 556000 | #Constraints: 46626 841.03/843.50 c #Conflicts: 557000 | #Constraints: 47626 841.03/843.50 c #Conflicts: 558000 | #Constraints: 48626 841.03/843.50 c #Conflicts: 559000 | #Constraints: 49626 841.03/843.50 c #Conflicts: 560000 | #Constraints: 50626 841.03/843.50 c #Conflicts: 561000 | #Constraints: 51626 841.03/843.50 c #Conflicts: 562000 | #Constraints: 52626 841.03/843.50 c #Conflicts: 563000 | #Constraints: 53626 841.03/843.50 c #Conflicts: 564000 | #Constraints: 54626 841.03/843.50 c INPROCESSING 841.03/843.50 c GARBAGE COLLECT 841.03/843.50 c rational objective -39 880.63/883.24 c #Conflicts: 565000 | #Constraints: 29060 880.63/883.24 c #Conflicts: 566000 | #Constraints: 30060 880.63/883.24 c #Conflicts: 567000 | #Constraints: 31060 880.63/883.24 c #Conflicts: 568000 | #Constraints: 32060 880.63/883.24 c #Conflicts: 569000 | #Constraints: 33060 880.63/883.24 c #Conflicts: 570000 | #Constraints: 34060 880.63/883.24 c #Conflicts: 571000 | #Constraints: 35060 880.63/883.24 c #Conflicts: 572000 | #Constraints: 36060 880.63/883.24 c #Conflicts: 573000 | #Constraints: 37060 880.63/883.24 c #Conflicts: 574000 | #Constraints: 38060 880.63/883.24 c #Conflicts: 575000 | #Constraints: 39060 880.63/883.24 c #Conflicts: 576000 | #Constraints: 40060 880.63/883.24 c #Conflicts: 577000 | #Constraints: 41060 880.63/883.24 c #Conflicts: 578000 | #Constraints: 42060 880.63/883.24 c #Conflicts: 579000 | #Constraints: 43060 880.63/883.24 c #Conflicts: 580000 | #Constraints: 44060 880.63/883.24 c INPROCESSING 880.63/883.24 c GARBAGE COLLECT 880.63/883.24 c rational objective -39 893.52/896.17 c #Conflicts: 581000 | #Constraints: 23384 893.52/896.17 c #Conflicts: 582000 | #Constraints: 24389 893.52/896.17 c #Conflicts: 583000 | #Constraints: 25407 893.52/896.17 c #Conflicts: 584000 | #Constraints: 26426 893.52/896.17 c #Conflicts: 585000 | #Constraints: 27446 893.52/896.17 c #Conflicts: 586000 | #Constraints: 28456 893.52/896.17 c #Conflicts: 587000 | #Constraints: 29473 893.52/896.17 c #Conflicts: 588000 | #Constraints: 30484 893.52/896.17 c #Conflicts: 589000 | #Constraints: 31492 893.52/896.17 c #Conflicts: 590000 | #Constraints: 32498 893.52/896.17 c #Conflicts: 591000 | #Constraints: 33505 893.52/896.17 c #Conflicts: 592000 | #Constraints: 34522 893.52/896.17 c #Conflicts: 593000 | #Constraints: 35539 893.52/896.17 c #Conflicts: 594000 | #Constraints: 36553 893.52/896.17 c #Conflicts: 595000 | #Constraints: 37571 893.52/896.17 c #Conflicts: 596000 | #Constraints: 38591 893.52/896.17 c #Conflicts: 597000 | #Constraints: 39610 893.52/896.17 c INPROCESSING 893.52/896.17 c GARBAGE COLLECT 893.52/896.17 c rational objective -39 906.08/908.77 c #Conflicts: 598000 | #Constraints: 21118 906.08/908.77 c #Conflicts: 599000 | #Constraints: 22137 906.08/908.77 c #Conflicts: 600000 | #Constraints: 23157 906.08/908.77 c #Conflicts: 601000 | #Constraints: 24179 906.08/908.77 c #Conflicts: 602000 | #Constraints: 25201 906.08/908.77 c #Conflicts: 603000 | #Constraints: 26214 906.08/908.77 c #Conflicts: 604000 | #Constraints: 27237 906.08/908.77 c #Conflicts: 605000 | #Constraints: 28254 906.08/908.77 c #Conflicts: 606000 | #Constraints: 29277 906.08/908.77 c #Conflicts: 607000 | #Constraints: 30305 906.08/908.77 c #Conflicts: 608000 | #Constraints: 31335 906.08/908.77 c #Conflicts: 609000 | #Constraints: 32355 906.08/908.77 c #Conflicts: 610000 | #Constraints: 33379 906.08/908.77 c #Conflicts: 611000 | #Constraints: 34402 906.08/908.77 c #Conflicts: 612000 | #Constraints: 35425 906.08/908.77 c #Conflicts: 613000 | #Constraints: 36451 906.08/908.77 c #Conflicts: 614000 | #Constraints: 37475 906.08/908.77 c #Conflicts: 615000 | #Constraints: 38497 906.08/908.77 c INPROCESSING 906.08/908.77 c GARBAGE COLLECT 906.08/908.77 c rational objective -39 920.45/923.16 c #Conflicts: 616000 | #Constraints: 20971 920.45/923.16 c #Conflicts: 617000 | #Constraints: 21988 920.45/923.16 c #Conflicts: 618000 | #Constraints: 23009 920.45/923.16 c #Conflicts: 619000 | #Constraints: 24021 920.45/923.16 c #Conflicts: 620000 | #Constraints: 25037 920.45/923.16 c #Conflicts: 621000 | #Constraints: 26048 920.45/923.16 c #Conflicts: 622000 | #Constraints: 27061 920.45/923.16 c #Conflicts: 623000 | #Constraints: 28470 920.45/923.16 c #Conflicts: 624000 | #Constraints: 29662 920.45/923.16 c #Conflicts: 625000 | #Constraints: 30799 920.45/923.16 c #Conflicts: 626000 | #Constraints: 31890 920.45/923.16 c #Conflicts: 627000 | #Constraints: 33005 920.45/923.16 c #Conflicts: 628000 | #Constraints: 34087 920.45/923.16 c #Conflicts: 629000 | #Constraints: 35230 920.45/923.16 c #Conflicts: 630000 | #Constraints: 36395 920.45/923.16 c #Conflicts: 631000 | #Constraints: 37810 920.45/923.16 c #Conflicts: 632000 | #Constraints: 39065 920.45/923.16 c INPROCESSING 920.45/923.16 c GARBAGE COLLECT 920.45/923.16 c rational objective -39 950.38/953.12 c #Conflicts: 633000 | #Constraints: 21142 950.38/953.12 c #Conflicts: 634000 | #Constraints: 22157 950.38/953.12 c #Conflicts: 635000 | #Constraints: 23160 950.38/953.12 c #Conflicts: 636000 | #Constraints: 24170 950.38/953.12 c #Conflicts: 637000 | #Constraints: 25180 950.38/953.12 c #Conflicts: 638000 | #Constraints: 26191 950.38/953.12 c #Conflicts: 639000 | #Constraints: 27210 950.38/953.12 c #Conflicts: 640000 | #Constraints: 28235 950.38/953.12 c #Conflicts: 641000 | #Constraints: 29247 950.38/953.12 c #Conflicts: 642000 | #Constraints: 30276 950.38/953.12 c #Conflicts: 643000 | #Constraints: 31299 950.38/953.12 c #Conflicts: 644000 | #Constraints: 32314 950.38/953.12 c #Conflicts: 645000 | #Constraints: 33333 950.38/953.12 c #Conflicts: 646000 | #Constraints: 34391 950.38/953.12 c #Conflicts: 647000 | #Constraints: 35412 950.38/953.12 c #Conflicts: 648000 | #Constraints: 36420 950.38/953.12 c #Conflicts: 649000 | #Constraints: 37433 950.38/953.12 c #Conflicts: 650000 | #Constraints: 38442 950.38/953.12 c INPROCESSING 950.38/953.12 c GARBAGE COLLECT 950.38/953.12 c rational objective -39 1082.08/1085.17 c #Conflicts: 651000 | #Constraints: 20988 1082.08/1085.17 c #Conflicts: 652000 | #Constraints: 22014 1082.08/1085.17 c #Conflicts: 653000 | #Constraints: 23030 1082.08/1085.17 c #Conflicts: 654000 | #Constraints: 24052 1082.08/1085.17 c #Conflicts: 655000 | #Constraints: 25073 1082.08/1085.17 c #Conflicts: 656000 | #Constraints: 26089 1082.08/1085.17 c #Conflicts: 657000 | #Constraints: 27109 1082.08/1085.17 c #Conflicts: 658000 | #Constraints: 28134 1082.08/1085.17 c #Conflicts: 659000 | #Constraints: 29151 1082.08/1085.17 c #Conflicts: 660000 | #Constraints: 30164 1082.08/1085.17 c #Conflicts: 661000 | #Constraints: 31183 1082.08/1085.17 c #Conflicts: 662000 | #Constraints: 32195 1082.08/1085.17 c #Conflicts: 663000 | #Constraints: 33222 1082.08/1085.17 c #Conflicts: 664000 | #Constraints: 34242 1082.08/1085.17 c #Conflicts: 665000 | #Constraints: 35262 1082.08/1085.17 c #Conflicts: 666000 | #Constraints: 36275 1082.08/1085.17 c #Conflicts: 667000 | #Constraints: 37302 1082.08/1085.17 c #Conflicts: 668000 | #Constraints: 38327 1082.08/1085.17 c #Conflicts: 669000 | #Constraints: 39342 1082.08/1085.17 c #Conflicts: 670000 | #Constraints: 40351 1082.08/1085.17 c #Conflicts: 671000 | #Constraints: 41369 1082.08/1085.17 c #Conflicts: 672000 | #Constraints: 42385 1082.08/1085.17 c #Conflicts: 673000 | #Constraints: 43401 1082.08/1085.17 c #Conflicts: 674000 | #Constraints: 44418 1082.08/1085.17 c #Conflicts: 675000 | #Constraints: 45436 1082.08/1085.17 c #Conflicts: 676000 | #Constraints: 46465 1082.08/1085.17 c #Conflicts: 677000 | #Constraints: 47491 1082.08/1085.17 c #Conflicts: 678000 | #Constraints: 48518 1082.08/1085.17 c #Conflicts: 679000 | #Constraints: 49547 1082.08/1085.17 c #Conflicts: 680000 | #Constraints: 50563 1082.08/1085.17 c #Conflicts: 681000 | #Constraints: 51580 1082.08/1085.17 c #Conflicts: 682000 | #Constraints: 52604 1082.08/1085.17 c #Conflicts: 683000 | #Constraints: 53630 1082.08/1085.17 c #Conflicts: 684000 | #Constraints: 54649 1082.08/1085.17 c #Conflicts: 685000 | #Constraints: 55663 1082.08/1085.17 c #Conflicts: 686000 | #Constraints: 56689 1082.08/1085.17 c #Conflicts: 687000 | #Constraints: 57724 1082.08/1085.17 c #Conflicts: 688000 | #Constraints: 58741 1082.08/1085.17 c #Conflicts: 689000 | #Constraints: 59756 1082.08/1085.17 c #Conflicts: 690000 | #Constraints: 60780 1082.08/1085.17 c #Conflicts: 691000 | #Constraints: 61797 1082.08/1085.17 c #Conflicts: 692000 | #Constraints: 62814 1082.08/1085.17 c #Conflicts: 693000 | #Constraints: 63830 1082.08/1085.17 c #Conflicts: 694000 | #Constraints: 64856 1082.08/1085.17 c #Conflicts: 695000 | #Constraints: 65890 1082.08/1085.17 c #Conflicts: 696000 | #Constraints: 66912 1082.08/1085.17 c #Conflicts: 697000 | #Constraints: 67937 1082.08/1085.17 c #Conflicts: 698000 | #Constraints: 68967 1082.08/1085.17 c #Conflicts: 699000 | #Constraints: 69984 1082.08/1085.17 c #Conflicts: 700000 | #Constraints: 70996 1082.08/1085.17 c #Conflicts: 701000 | #Constraints: 72008 1082.08/1085.17 c #Conflicts: 702000 | #Constraints: 73018 1082.08/1085.17 c #Conflicts: 703000 | #Constraints: 74027 1082.08/1085.17 c #Conflicts: 704000 | #Constraints: 75037 1082.08/1085.17 c #Conflicts: 705000 | #Constraints: 76059 1082.08/1085.17 c #Conflicts: 706000 | #Constraints: 77091 1082.08/1085.17 c #Conflicts: 707000 | #Constraints: 78115 1082.08/1085.17 c #Conflicts: 708000 | #Constraints: 79142 1082.08/1085.17 c #Conflicts: 709000 | #Constraints: 80165 1082.08/1085.17 c #Conflicts: 710000 | #Constraints: 81178 1082.08/1085.17 c #Conflicts: 711000 | #Constraints: 82215 1082.08/1085.17 c #Conflicts: 712000 | #Constraints: 83248 1082.08/1085.17 c #Conflicts: 713000 | #Constraints: 84282 1082.08/1085.17 c #Conflicts: 714000 | #Constraints: 85316 1082.08/1085.17 c #Conflicts: 715000 | #Constraints: 86340 1082.08/1085.17 c INPROCESSING 1082.08/1085.17 c GARBAGE COLLECT 1082.08/1085.17 c rational objective -39 1194.01/1197.31 c #Conflicts: 716000 | #Constraints: 44646 1194.01/1197.31 c #Conflicts: 717000 | #Constraints: 45646 1194.01/1197.31 c #Conflicts: 718000 | #Constraints: 46646 1194.01/1197.31 c #Conflicts: 719000 | #Constraints: 47646 1194.01/1197.31 c #Conflicts: 720000 | #Constraints: 48646 1194.01/1197.31 c #Conflicts: 721000 | #Constraints: 49646 1194.01/1197.31 c #Conflicts: 722000 | #Constraints: 50646 1194.01/1197.31 c #Conflicts: 723000 | #Constraints: 51646 1194.01/1197.31 c #Conflicts: 724000 | #Constraints: 52646 1194.01/1197.31 c #Conflicts: 725000 | #Constraints: 53646 1194.01/1197.31 c #Conflicts: 726000 | #Constraints: 54646 1194.01/1197.31 c #Conflicts: 727000 | #Constraints: 55646 1194.01/1197.31 c #Conflicts: 728000 | #Constraints: 56646 1194.01/1197.31 c #Conflicts: 729000 | #Constraints: 57646 1194.01/1197.31 c #Conflicts: 730000 | #Constraints: 58646 1194.01/1197.31 c #Conflicts: 731000 | #Constraints: 59646 1194.01/1197.31 c #Conflicts: 732000 | #Constraints: 60646 1194.01/1197.31 c #Conflicts: 733000 | #Constraints: 61646 1194.01/1197.31 c #Conflicts: 734000 | #Constraints: 62646 1194.01/1197.31 c INPROCESSING 1194.01/1197.31 c GARBAGE COLLECT 1194.01/1197.31 c rational objective -39 1242.30/1245.75 c #Conflicts: 735000 | #Constraints: 32879 1242.30/1245.75 c #Conflicts: 736000 | #Constraints: 33879 1242.30/1245.75 c #Conflicts: 737000 | #Constraints: 34879 1242.30/1245.75 c #Conflicts: 738000 | #Constraints: 35879 1242.30/1245.75 c #Conflicts: 739000 | #Constraints: 36879 1242.30/1245.75 c #Conflicts: 740000 | #Constraints: 37879 1242.30/1245.75 c #Conflicts: 741000 | #Constraints: 38879 1242.30/1245.75 c #Conflicts: 742000 | #Constraints: 39879 1242.30/1245.75 c #Conflicts: 743000 | #Constraints: 40879 1242.30/1245.75 c #Conflicts: 744000 | #Constraints: 41879 1242.30/1245.75 c #Conflicts: 745000 | #Constraints: 42879 1242.30/1245.75 c #Conflicts: 746000 | #Constraints: 43879 1242.30/1245.75 c #Conflicts: 747000 | #Constraints: 44879 1242.30/1245.75 c #Conflicts: 748000 | #Constraints: 45879 1242.30/1245.75 c #Conflicts: 749000 | #Constraints: 46879 1242.30/1245.75 c #Conflicts: 750000 | #Constraints: 47879 1242.30/1245.75 c #Conflicts: 751000 | #Constraints: 48879 1242.30/1245.75 c #Conflicts: 752000 | #Constraints: 49879 1242.30/1245.75 c #Conflicts: 753000 | #Constraints: 50879 1242.30/1245.75 c INPROCESSING 1242.30/1245.75 c GARBAGE COLLECT 1242.30/1245.75 c rational objective -39 1260.06/1263.53 c #Conflicts: 754000 | #Constraints: 26946 1260.06/1263.53 c #Conflicts: 755000 | #Constraints: 27965 1260.06/1263.53 c #Conflicts: 756000 | #Constraints: 28975 1260.06/1263.53 c #Conflicts: 757000 | #Constraints: 29988 1260.06/1263.53 c #Conflicts: 758000 | #Constraints: 31002 1260.06/1263.53 c #Conflicts: 759000 | #Constraints: 32031 1260.06/1263.53 c #Conflicts: 760000 | #Constraints: 33052 1260.06/1263.53 c #Conflicts: 761000 | #Constraints: 34063 1260.06/1263.53 c #Conflicts: 762000 | #Constraints: 35074 1260.06/1263.53 c #Conflicts: 763000 | #Constraints: 36088 1260.06/1263.53 c #Conflicts: 764000 | #Constraints: 37102 1260.06/1263.53 c #Conflicts: 765000 | #Constraints: 38113 1260.06/1263.53 c #Conflicts: 766000 | #Constraints: 39135 1260.06/1263.53 c #Conflicts: 767000 | #Constraints: 40151 1260.06/1263.53 c #Conflicts: 768000 | #Constraints: 41163 1260.06/1263.53 c #Conflicts: 769000 | #Constraints: 42180 1260.06/1263.53 c #Conflicts: 770000 | #Constraints: 43211 1260.06/1263.53 c #Conflicts: 771000 | #Constraints: 44237 1260.06/1263.53 c #Conflicts: 772000 | #Constraints: 45249 1260.06/1263.53 c INPROCESSING 1260.06/1263.53 c GARBAGE COLLECT 1260.06/1263.53 c rational objective -39 1275.33/1278.89 c #Conflicts: 773000 | #Constraints: 23937 1275.33/1278.89 c #Conflicts: 774000 | #Constraints: 24951 1275.33/1278.89 c #Conflicts: 775000 | #Constraints: 25962 1275.33/1278.89 c #Conflicts: 776000 | #Constraints: 26971 1275.33/1278.89 c #Conflicts: 777000 | #Constraints: 27988 1275.33/1278.89 c #Conflicts: 778000 | #Constraints: 29005 1275.33/1278.89 c #Conflicts: 779000 | #Constraints: 30018 1275.33/1278.89 c #Conflicts: 780000 | #Constraints: 31030 1275.33/1278.89 c #Conflicts: 781000 | #Constraints: 32049 1275.33/1278.89 c #Conflicts: 782000 | #Constraints: 33061 1275.33/1278.89 c #Conflicts: 783000 | #Constraints: 34067 1275.33/1278.89 c #Conflicts: 784000 | #Constraints: 35070 1275.33/1278.89 c #Conflicts: 785000 | #Constraints: 36080 1275.33/1278.89 c #Conflicts: 786000 | #Constraints: 37084 1275.33/1278.89 c #Conflicts: 787000 | #Constraints: 38101 1275.33/1278.89 c #Conflicts: 788000 | #Constraints: 39118 1275.33/1278.89 c #Conflicts: 789000 | #Constraints: 40132 1275.33/1278.89 c #Conflicts: 790000 | #Constraints: 41140 1275.33/1278.89 c #Conflicts: 791000 | #Constraints: 42153 1275.33/1278.89 c #Conflicts: 792000 | #Constraints: 43167 1275.33/1278.89 c INPROCESSING 1275.33/1278.89 c GARBAGE COLLECT 1275.33/1278.89 c rational objective -39 1310.84/1314.46 c #Conflicts: 793000 | #Constraints: 23147 1310.84/1314.46 c #Conflicts: 794000 | #Constraints: 24147 1310.84/1314.46 c #Conflicts: 795000 | #Constraints: 25147 1310.84/1314.46 c #Conflicts: 796000 | #Constraints: 26147 1310.84/1314.46 c #Conflicts: 797000 | #Constraints: 27147 1310.84/1314.46 c #Conflicts: 798000 | #Constraints: 28147 1310.84/1314.46 c #Conflicts: 799000 | #Constraints: 29147 1310.84/1314.46 c #Conflicts: 800000 | #Constraints: 30147 1310.84/1314.46 c #Conflicts: 801000 | #Constraints: 31147 1310.84/1314.46 c #Conflicts: 802000 | #Constraints: 32147 1310.84/1314.46 c #Conflicts: 803000 | #Constraints: 33147 1310.84/1314.46 c #Conflicts: 804000 | #Constraints: 34147 1310.84/1314.46 c #Conflicts: 805000 | #Constraints: 35147 1310.84/1314.46 c #Conflicts: 806000 | #Constraints: 36147 1310.84/1314.46 c #Conflicts: 807000 | #Constraints: 37147 1310.84/1314.46 c #Conflicts: 808000 | #Constraints: 38147 1310.84/1314.46 c #Conflicts: 809000 | #Constraints: 39147 1310.84/1314.46 c #Conflicts: 810000 | #Constraints: 40147 1310.84/1314.46 c #Conflicts: 811000 | #Constraints: 41147 1310.84/1314.46 c #Conflicts: 812000 | #Constraints: 42147 1310.84/1314.46 c INPROCESSING 1310.84/1314.46 c GARBAGE COLLECT 1310.84/1314.46 c rational objective -39 1465.28/1469.22 c #Conflicts: 813000 | #Constraints: 22850 1465.28/1469.22 c #Conflicts: 814000 | #Constraints: 23868 1465.28/1469.22 c #Conflicts: 815000 | #Constraints: 24891 1465.28/1469.22 c #Conflicts: 816000 | #Constraints: 25910 1465.28/1469.22 c #Conflicts: 817000 | #Constraints: 26920 1465.28/1469.22 c #Conflicts: 818000 | #Constraints: 27931 1465.28/1469.22 c #Conflicts: 819000 | #Constraints: 28946 1465.28/1469.22 c #Conflicts: 820000 | #Constraints: 29968 1465.28/1469.22 c #Conflicts: 821000 | #Constraints: 30978 1465.28/1469.22 c #Conflicts: 822000 | #Constraints: 31995 1465.28/1469.22 c #Conflicts: 823000 | #Constraints: 33012 1465.28/1469.22 c #Conflicts: 824000 | #Constraints: 34029 1465.28/1469.22 c #Conflicts: 825000 | #Constraints: 35057 1465.28/1469.22 c #Conflicts: 826000 | #Constraints: 36083 1465.28/1469.22 c #Conflicts: 827000 | #Constraints: 37102 1465.28/1469.22 c #Conflicts: 828000 | #Constraints: 38110 1465.28/1469.22 c #Conflicts: 829000 | #Constraints: 39117 1465.28/1469.22 c #Conflicts: 830000 | #Constraints: 40130 1465.28/1469.22 c #Conflicts: 831000 | #Constraints: 41149 1465.28/1469.22 c #Conflicts: 832000 | #Constraints: 42162 1465.28/1469.22 c #Conflicts: 833000 | #Constraints: 43172 1465.28/1469.22 c #Conflicts: 834000 | #Constraints: 44184 1465.28/1469.22 c #Conflicts: 835000 | #Constraints: 45209 1465.28/1469.22 c #Conflicts: 836000 | #Constraints: 46228 1465.28/1469.22 c #Conflicts: 837000 | #Constraints: 47257 1465.28/1469.22 c #Conflicts: 838000 | #Constraints: 48273 1465.28/1469.22 c #Conflicts: 839000 | #Constraints: 49288 1465.28/1469.22 c #Conflicts: 840000 | #Constraints: 50299 1465.28/1469.22 c #Conflicts: 841000 | #Constraints: 51302 1465.28/1469.22 c #Conflicts: 842000 | #Constraints: 52314 1465.28/1469.22 c #Conflicts: 843000 | #Constraints: 53343 1465.28/1469.22 c #Conflicts: 844000 | #Constraints: 54365 1465.28/1469.22 c #Conflicts: 845000 | #Constraints: 55386 1465.28/1469.22 c #Conflicts: 846000 | #Constraints: 56408 1465.28/1469.22 c #Conflicts: 847000 | #Constraints: 57417 1465.28/1469.22 c #Conflicts: 848000 | #Constraints: 58423 1465.28/1469.22 c #Conflicts: 849000 | #Constraints: 59447 1465.28/1469.22 c #Conflicts: 850000 | #Constraints: 60457 1465.28/1469.22 c #Conflicts: 851000 | #Constraints: 61464 1465.28/1469.22 c #Conflicts: 852000 | #Constraints: 62474 1465.28/1469.22 c #Conflicts: 853000 | #Constraints: 63484 1465.28/1469.22 c #Conflicts: 854000 | #Constraints: 64498 1465.28/1469.22 c #Conflicts: 855000 | #Constraints: 65503 1465.28/1469.22 c #Conflicts: 856000 | #Constraints: 66516 1465.28/1469.22 c #Conflicts: 857000 | #Constraints: 67535 1465.28/1469.22 c #Conflicts: 858000 | #Constraints: 68545 1465.28/1469.22 c #Conflicts: 859000 | #Constraints: 69551 1465.28/1469.22 c #Conflicts: 860000 | #Constraints: 70566 1465.28/1469.22 c #Conflicts: 861000 | #Constraints: 71582 1465.28/1469.22 c #Conflicts: 862000 | #Constraints: 72605 1465.28/1469.22 c #Conflicts: 863000 | #Constraints: 73615 1465.28/1469.22 c #Conflicts: 864000 | #Constraints: 74631 1465.28/1469.22 c #Conflicts: 865000 | #Constraints: 75650 1465.28/1469.22 c #Conflicts: 866000 | #Constraints: 76655 1465.28/1469.22 c #Conflicts: 867000 | #Constraints: 77668 1465.28/1469.22 c #Conflicts: 868000 | #Constraints: 78672 1465.28/1469.22 c #Conflicts: 869000 | #Constraints: 79680 1465.28/1469.22 c #Conflicts: 870000 | #Constraints: 80689 1465.28/1469.22 c #Conflicts: 871000 | #Constraints: 81701 1465.28/1469.22 c #Conflicts: 872000 | #Constraints: 82723 1465.28/1469.22 c #Conflicts: 873000 | #Constraints: 83746 1465.28/1469.22 c #Conflicts: 874000 | #Constraints: 84750 1465.28/1469.22 c #Conflicts: 875000 | #Constraints: 85754 1465.28/1469.22 c #Conflicts: 876000 | #Constraints: 86758 1465.28/1469.22 c #Conflicts: 877000 | #Constraints: 87763 1465.28/1469.22 c #Conflicts: 878000 | #Constraints: 88769 1465.28/1469.22 c #Conflicts: 879000 | #Constraints: 89782 1465.28/1469.22 c #Conflicts: 880000 | #Constraints: 90802 1465.28/1469.22 c #Conflicts: 881000 | #Constraints: 91834 1465.28/1469.22 c #Conflicts: 882000 | #Constraints: 92844 1465.28/1469.22 c #Conflicts: 883000 | #Constraints: 93854 1465.28/1469.22 c #Conflicts: 884000 | #Constraints: 94866 1465.28/1469.22 c #Conflicts: 885000 | #Constraints: 95881 1465.28/1469.22 c INPROCESSING 1465.28/1469.22 c GARBAGE COLLECT 1465.28/1469.22 c rational objective -39 1620.83/1625.16 c #Conflicts: 886000 | #Constraints: 49643 1620.83/1625.16 c #Conflicts: 887000 | #Constraints: 50643 1620.83/1625.16 c #Conflicts: 888000 | #Constraints: 51643 1620.83/1625.16 c #Conflicts: 889000 | #Constraints: 52643 1620.83/1625.16 c #Conflicts: 890000 | #Constraints: 53643 1620.83/1625.16 c #Conflicts: 891000 | #Constraints: 54643 1620.83/1625.16 c #Conflicts: 892000 | #Constraints: 55643 1620.83/1625.16 c #Conflicts: 893000 | #Constraints: 56643 1620.83/1625.16 c #Conflicts: 894000 | #Constraints: 57643 1620.83/1625.16 c #Conflicts: 895000 | #Constraints: 58643 1620.83/1625.16 c #Conflicts: 896000 | #Constraints: 59643 1620.83/1625.16 c #Conflicts: 897000 | #Constraints: 60643 1620.83/1625.16 c #Conflicts: 898000 | #Constraints: 61643 1620.83/1625.16 c #Conflicts: 899000 | #Constraints: 62643 1620.83/1625.16 c #Conflicts: 900000 | #Constraints: 63643 1620.83/1625.16 c #Conflicts: 901000 | #Constraints: 64643 1620.83/1625.16 c #Conflicts: 902000 | #Constraints: 65643 1620.83/1625.16 c #Conflicts: 903000 | #Constraints: 66643 1620.83/1625.16 c #Conflicts: 904000 | #Constraints: 67643 1620.83/1625.16 c #Conflicts: 905000 | #Constraints: 68643 1620.83/1625.16 c #Conflicts: 906000 | #Constraints: 69643 1620.83/1625.16 c INPROCESSING 1620.83/1625.16 c GARBAGE COLLECT 1620.83/1625.16 c rational objective -39 1843.77/1848.69 c #Conflicts: 907000 | #Constraints: 37020 1843.77/1848.69 c #Conflicts: 908000 | #Constraints: 38281 1843.77/1848.69 c #Conflicts: 909000 | #Constraints: 39441 1843.77/1848.69 c #Conflicts: 910000 | #Constraints: 40541 1843.77/1848.69 c #Conflicts: 911000 | #Constraints: 41638 1843.77/1848.69 c #Conflicts: 912000 | #Constraints: 42750 1843.77/1848.69 c #Conflicts: 913000 | #Constraints: 44046 1843.77/1848.69 c #Conflicts: 914000 | #Constraints: 45157 1843.77/1848.69 c #Conflicts: 915000 | #Constraints: 46329 1843.77/1848.69 c #Conflicts: 916000 | #Constraints: 47464 1843.77/1848.69 c #Conflicts: 917000 | #Constraints: 48722 1843.77/1848.69 c #Conflicts: 918000 | #Constraints: 49767 1843.77/1848.69 c #Conflicts: 919000 | #Constraints: 50976 1843.77/1848.69 c #Conflicts: 920000 | #Constraints: 52070 1843.77/1848.69 c #Conflicts: 921000 | #Constraints: 53272 1843.77/1848.69 c #Conflicts: 922000 | #Constraints: 54463 1843.77/1848.69 c #Conflicts: 923000 | #Constraints: 55845 1843.77/1848.69 c #Conflicts: 924000 | #Constraints: 57066 1843.77/1848.69 c #Conflicts: 925000 | #Constraints: 58252 1843.77/1848.69 c #Conflicts: 926000 | #Constraints: 59371 1843.77/1848.69 c #Conflicts: 927000 | #Constraints: 60638 1843.77/1848.69 c INPROCESSING 1843.77/1848.69 c GARBAGE COLLECT 1843.77/1848.69 c #Conflicts: 928000 | #Constraints: 32278 1843.77/1848.69 c #Conflicts: 929000 | #Constraints: 33832 1843.77/1848.69 c #Conflicts: 930000 | #Constraints: 35315 1843.77/1848.69 c #Conflicts: 931000 | #Constraints: 36815 1843.77/1848.69 c #Conflicts: 932000 | #Constraints: 38350 1843.77/1848.69 c #Conflicts: 933000 | #Constraints: 39857 1843.77/1848.69 c #Conflicts: 934000 | #Constraints: 41403 1843.77/1848.69 c #Conflicts: 935000 | #Constraints: 42975 1843.77/1848.69 c #Conflicts: 936000 | #Constraints: 44560 1843.77/1848.69 c #Conflicts: 937000 | #Constraints: 46124 1843.77/1848.69 c #Conflicts: 938000 | #Constraints: 47678 1843.77/1848.69 c #Conflicts: 939000 | #Constraints: 49226 1843.77/1848.69 c #Conflicts: 940000 | #Constraints: 50760 1843.77/1848.69 c #Conflicts: 941000 | #Constraints: 52297 1843.77/1848.69 c #Conflicts: 942000 | #Constraints: 53816 1843.77/1848.69 c #Conflicts: 943000 | #Constraints: 55358 1843.77/1848.69 c #Conflicts: 944000 | #Constraints: 56907 1843.77/1848.69 c #Conflicts: 945000 | #Constraints: 58425 1843.77/1848.69 c #Conflicts: 946000 | #Constraints: 59964 1843.77/1848.69 c #Conflicts: 947000 | #Constraints: 61523 1843.77/1848.69 c #Conflicts: 948000 | #Constraints: 63061 1843.77/1848.69 c INPROCESSING 1843.77/1848.69 c GARBAGE COLLECT 1843.77/1848.69 c #Conflicts: 949000 | #Constraints: 33321 1843.77/1848.69 c #Conflicts: 950000 | #Constraints: 34843 1843.77/1848.69 c #Conflicts: 951000 | #Constraints: 36392 1843.77/1848.69 c #Conflicts: 952000 | #Constraints: 37980 1843.77/1848.69 c #Conflicts: 953000 | #Constraints: 39608 1843.77/1848.69 c #Conflicts: 954000 | #Constraints: 41185 1843.77/1848.69 c #Conflicts: 955000 | #Constraints: 42764 1843.77/1848.69 c #Conflicts: 956000 | #Constraints: 44372 1843.77/1848.69 c #Conflicts: 957000 | #Constraints: 45923 1843.77/1848.69 c #Conflicts: 958000 | #Constraints: 47508 1843.77/1848.69 c #Conflicts: 959000 | #Constraints: 49084 1843.77/1848.69 c #Conflicts: 960000 | #Constraints: 50667 1843.77/1848.69 c #Conflicts: 961000 | #Constraints: 52260 1843.77/1848.69 c #Conflicts: 962000 | #Constraints: 53860 1843.77/1848.69 c #Conflicts: 963000 | #Constraints: 55489 1843.77/1848.69 c #Conflicts: 964000 | #Constraints: 57044 1843.77/1848.69 c #Conflicts: 965000 | #Constraints: 58662 1843.77/1848.69 c #Conflicts: 966000 | #Constraints: 60271 1843.77/1848.69 c #Conflicts: 967000 | #Constraints: 61914 1843.77/1848.69 c #Conflicts: 968000 | #Constraints: 63541 1843.77/1848.69 c #Conflicts: 969000 | #Constraints: 65199 1843.77/1848.69 c #Conflicts: 970000 | #Constraints: 66829 1843.77/1848.69 c INPROCESSING 1843.77/1848.69 c GARBAGE COLLECT 1843.77/1848.69 c #Conflicts: 971000 | #Constraints: 35651 1843.77/1848.69 c #Conflicts: 972000 | #Constraints: 37342 1843.77/1848.69 c #Conflicts: 973000 | #Constraints: 39015 1843.77/1848.69 c #Conflicts: 974000 | #Constraints: 40664 1843.77/1848.69 c #Conflicts: 975000 | #Constraints: 41841 1843.77/1848.69 c #Conflicts: 976000 | #Constraints: 43051 1843.77/1848.69 c #Conflicts: 977000 | #Constraints: 44232 1843.77/1848.69 c #Conflicts: 978000 | #Constraints: 45381 1843.77/1848.69 c #Conflicts: 979000 | #Constraints: 46528 1843.77/1848.69 c #Conflicts: 980000 | #Constraints: 47637 1843.77/1848.69 c #Conflicts: 981000 | #Constraints: 48820 1843.77/1848.69 c #Conflicts: 982000 | #Constraints: 49916 1843.77/1848.69 c #Conflicts: 983000 | #Constraints: 51113 2072.71/2078.19 c #Conflicts: 984000 | #Constraints: 52320 2072.71/2078.19 c #Conflicts: 985000 | #Constraints: 53429 2072.71/2078.19 c #Conflicts: 986000 | #Constraints: 54585 2072.71/2078.19 c #Conflicts: 987000 | #Constraints: 55757 2072.71/2078.19 c #Conflicts: 988000 | #Constraints: 57153 2072.71/2078.19 c #Conflicts: 989000 | #Constraints: 58487 2072.71/2078.19 c bounds -35 >= -38 @ 1861.41 2072.71/2078.19 c #Conflicts: 990000 | #Constraints: 59665 2072.71/2078.19 c #Conflicts: 991000 | #Constraints: 61158 2072.71/2078.19 c #Conflicts: 992000 | #Constraints: 62680 2072.71/2078.19 c INPROCESSING 2072.71/2078.19 c GARBAGE COLLECT 2072.71/2078.19 c #Conflicts: 993000 | #Constraints: 33539 2072.71/2078.19 c #Conflicts: 994000 | #Constraints: 35099 2072.71/2078.19 c #Conflicts: 995000 | #Constraints: 36696 2072.71/2078.19 c #Conflicts: 996000 | #Constraints: 38318 2072.71/2078.19 c #Conflicts: 997000 | #Constraints: 39924 2072.71/2078.19 c #Conflicts: 998000 | #Constraints: 41489 2072.71/2078.19 c #Conflicts: 999000 | #Constraints: 43070 2072.71/2078.19 c #Conflicts: 1000000 | #Constraints: 44634 2072.71/2078.19 c #Conflicts: 1001000 | #Constraints: 46219 2072.71/2078.19 c #Conflicts: 1002000 | #Constraints: 47758 2072.71/2078.19 c #Conflicts: 1003000 | #Constraints: 49345 2072.71/2078.19 c #Conflicts: 1004000 | #Constraints: 50959 2072.71/2078.19 c #Conflicts: 1005000 | #Constraints: 52567 2072.71/2078.19 c #Conflicts: 1006000 | #Constraints: 54202 2072.71/2078.19 c #Conflicts: 1007000 | #Constraints: 55822 2072.71/2078.19 c #Conflicts: 1008000 | #Constraints: 57452 2072.71/2078.19 c #Conflicts: 1009000 | #Constraints: 59056 2072.71/2078.19 c #Conflicts: 1010000 | #Constraints: 60650 2072.71/2078.19 c #Conflicts: 1011000 | #Constraints: 62314 2072.71/2078.19 c #Conflicts: 1012000 | #Constraints: 63961 2072.71/2078.19 c #Conflicts: 1013000 | #Constraints: 65599 2072.71/2078.19 c #Conflicts: 1014000 | #Constraints: 67272 2072.71/2078.19 c INPROCESSING 2072.71/2078.19 c GARBAGE COLLECT 2072.71/2078.19 c #Conflicts: 1015000 | #Constraints: 36122 2072.71/2078.19 c #Conflicts: 1016000 | #Constraints: 37828 2072.71/2078.19 c #Conflicts: 1017000 | #Constraints: 39538 2072.71/2078.19 c #Conflicts: 1018000 | #Constraints: 40995 2072.71/2078.19 c #Conflicts: 1019000 | #Constraints: 42087 2072.71/2078.19 c #Conflicts: 1020000 | #Constraints: 43219 2072.71/2078.19 c #Conflicts: 1021000 | #Constraints: 44319 2072.71/2078.19 c #Conflicts: 1022000 | #Constraints: 45530 2072.71/2078.19 c #Conflicts: 1023000 | #Constraints: 46775 2072.71/2078.19 c #Conflicts: 1024000 | #Constraints: 48003 2072.71/2078.19 c #Conflicts: 1025000 | #Constraints: 49164 2072.71/2078.19 c #Conflicts: 1026000 | #Constraints: 50377 2072.71/2078.19 c #Conflicts: 1027000 | #Constraints: 51513 2072.71/2078.19 c #Conflicts: 1028000 | #Constraints: 52603 2072.71/2078.19 c #Conflicts: 1029000 | #Constraints: 53683 2072.71/2078.19 c #Conflicts: 1030000 | #Constraints: 54847 2072.71/2078.19 c #Conflicts: 1031000 | #Constraints: 55967 2072.71/2078.19 c #Conflicts: 1032000 | #Constraints: 57087 2072.71/2078.19 c #Conflicts: 1033000 | #Constraints: 58273 2072.71/2078.19 c #Conflicts: 1034000 | #Constraints: 59540 2072.71/2078.19 c #Conflicts: 1035000 | #Constraints: 60654 2072.71/2078.19 c #Conflicts: 1036000 | #Constraints: 61915 2072.71/2078.19 c INPROCESSING 2072.71/2078.19 c GARBAGE COLLECT 2072.71/2078.19 c #Conflicts: 1037000 | #Constraints: 32753 2072.71/2078.19 c #Conflicts: 1038000 | #Constraints: 34209 2072.71/2078.19 c #Conflicts: 1039000 | #Constraints: 35734 2072.71/2078.19 c #Conflicts: 1040000 | #Constraints: 37297 2072.71/2078.19 c #Conflicts: 1041000 | #Constraints: 38843 2072.71/2078.19 c #Conflicts: 1042000 | #Constraints: 40406 2072.71/2078.19 c #Conflicts: 1043000 | #Constraints: 41943 2072.71/2078.19 c #Conflicts: 1044000 | #Constraints: 43535 2072.71/2078.19 c #Conflicts: 1045000 | #Constraints: 45072 2072.71/2078.19 c #Conflicts: 1046000 | #Constraints: 46612 2072.71/2078.19 c #Conflicts: 1047000 | #Constraints: 48123 2072.71/2078.19 c #Conflicts: 1048000 | #Constraints: 49699 2072.71/2078.19 c #Conflicts: 1049000 | #Constraints: 51243 2072.71/2078.19 c #Conflicts: 1050000 | #Constraints: 52784 2072.71/2078.19 c #Conflicts: 1051000 | #Constraints: 54323 2072.71/2078.19 c #Conflicts: 1052000 | #Constraints: 55868 2072.71/2078.19 c #Conflicts: 1053000 | #Constraints: 57450 2072.71/2078.19 c #Conflicts: 1054000 | #Constraints: 59045 2072.71/2078.19 c #Conflicts: 1055000 | #Constraints: 60564 2072.71/2078.19 c #Conflicts: 1056000 | #Constraints: 62090 2072.71/2078.19 c #Conflicts: 1057000 | #Constraints: 63643 2072.71/2078.19 c #Conflicts: 1058000 | #Constraints: 65139 2072.71/2078.19 c INPROCESSING 2072.71/2078.19 c GARBAGE COLLECT 2072.71/2078.19 c #Conflicts: 1059000 | #Constraints: 34374 2333.47/2339.52 c #Conflicts: 1060000 | #Constraints: 35955 2333.47/2339.52 c #Conflicts: 1061000 | #Constraints: 37490 2333.47/2339.52 c #Conflicts: 1062000 | #Constraints: 39015 2333.47/2339.52 c #Conflicts: 1063000 | #Constraints: 40562 2333.47/2339.52 c #Conflicts: 1064000 | #Constraints: 42070 2333.47/2339.52 c #Conflicts: 1065000 | #Constraints: 43591 2333.47/2339.52 c #Conflicts: 1066000 | #Constraints: 45123 2333.47/2339.52 c #Conflicts: 1067000 | #Constraints: 46689 2333.47/2339.52 c #Conflicts: 1068000 | #Constraints: 48220 2333.47/2339.52 c #Conflicts: 1069000 | #Constraints: 49759 2333.47/2339.52 c #Conflicts: 1070000 | #Constraints: 51262 2333.47/2339.52 c #Conflicts: 1071000 | #Constraints: 52799 2333.47/2339.52 c #Conflicts: 1072000 | #Constraints: 54302 2333.47/2339.52 c #Conflicts: 1073000 | #Constraints: 55847 2333.47/2339.52 c #Conflicts: 1074000 | #Constraints: 57373 2333.47/2339.52 c #Conflicts: 1075000 | #Constraints: 58923 2333.47/2339.52 c #Conflicts: 1076000 | #Constraints: 60451 2333.47/2339.52 c #Conflicts: 1077000 | #Constraints: 62018 2333.47/2339.52 c #Conflicts: 1078000 | #Constraints: 63588 2333.47/2339.52 c #Conflicts: 1079000 | #Constraints: 65186 2333.47/2339.52 c #Conflicts: 1080000 | #Constraints: 66752 2333.47/2339.52 c #Conflicts: 1081000 | #Constraints: 68286 2333.47/2339.52 c INPROCESSING 2333.47/2339.52 c GARBAGE COLLECT 2333.47/2339.52 c #Conflicts: 1082000 | #Constraints: 36426 2333.47/2339.52 c #Conflicts: 1083000 | #Constraints: 38185 2333.47/2339.52 c #Conflicts: 1084000 | #Constraints: 39872 2333.47/2339.52 c #Conflicts: 1085000 | #Constraints: 41600 2333.47/2339.52 c #Conflicts: 1086000 | #Constraints: 43318 2333.47/2339.52 c #Conflicts: 1087000 | #Constraints: 45053 2333.47/2339.52 c #Conflicts: 1088000 | #Constraints: 46620 2333.47/2339.52 c #Conflicts: 1089000 | #Constraints: 47852 2333.47/2339.52 c #Conflicts: 1090000 | #Constraints: 48948 2333.47/2339.52 c #Conflicts: 1091000 | #Constraints: 50421 2333.47/2339.52 c #Conflicts: 1092000 | #Constraints: 51559 2333.47/2339.52 c #Conflicts: 1093000 | #Constraints: 52793 2333.47/2339.52 c #Conflicts: 1094000 | #Constraints: 53893 2333.47/2339.52 c #Conflicts: 1095000 | #Constraints: 55116 2333.47/2339.52 c #Conflicts: 1096000 | #Constraints: 56215 2333.47/2339.52 c #Conflicts: 1097000 | #Constraints: 57368 2333.47/2339.52 c #Conflicts: 1098000 | #Constraints: 58479 2333.47/2339.52 c #Conflicts: 1099000 | #Constraints: 59604 2333.47/2339.52 c #Conflicts: 1100000 | #Constraints: 60820 2333.47/2339.52 c #Conflicts: 1101000 | #Constraints: 61972 2333.47/2339.52 c #Conflicts: 1102000 | #Constraints: 63194 2333.47/2339.52 c #Conflicts: 1103000 | #Constraints: 64264 2333.47/2339.52 c #Conflicts: 1104000 | #Constraints: 65315 2333.47/2339.52 c INPROCESSING 2333.47/2339.52 c GARBAGE COLLECT 2333.47/2339.52 c #Conflicts: 1105000 | #Constraints: 34920 2333.47/2339.52 c #Conflicts: 1106000 | #Constraints: 36388 2333.47/2339.52 c #Conflicts: 1107000 | #Constraints: 37819 2333.47/2339.52 c #Conflicts: 1108000 | #Constraints: 39290 2333.47/2339.52 c #Conflicts: 1109000 | #Constraints: 40757 2333.47/2339.52 c #Conflicts: 1110000 | #Constraints: 42336 2333.47/2339.52 c #Conflicts: 1111000 | #Constraints: 43964 2333.47/2339.52 c #Conflicts: 1112000 | #Constraints: 45310 2333.47/2339.52 c #Conflicts: 1113000 | #Constraints: 46953 2333.47/2339.52 c #Conflicts: 1114000 | #Constraints: 48605 2333.47/2339.52 c #Conflicts: 1115000 | #Constraints: 50072 2333.47/2339.52 c #Conflicts: 1116000 | #Constraints: 51506 2333.47/2339.52 c bounds -36 >= -38 @ 2256.18 2333.47/2339.52 c #Conflicts: 1117000 | #Constraints: 52900 2333.47/2339.52 c #Conflicts: 1118000 | #Constraints: 54448 2333.47/2339.52 c #Conflicts: 1119000 | #Constraints: 55993 2333.47/2339.52 c #Conflicts: 1120000 | #Constraints: 57538 2333.47/2339.52 c #Conflicts: 1121000 | #Constraints: 59105 2333.47/2339.52 c #Conflicts: 1122000 | #Constraints: 60679 2333.47/2339.52 c #Conflicts: 1123000 | #Constraints: 62235 2333.47/2339.52 c #Conflicts: 1124000 | #Constraints: 63812 2333.47/2339.52 c #Conflicts: 1125000 | #Constraints: 65408 2333.47/2339.52 c #Conflicts: 1126000 | #Constraints: 67013 2333.47/2339.52 c #Conflicts: 1127000 | #Constraints: 68584 2333.47/2339.52 c INPROCESSING 2333.47/2339.52 c GARBAGE COLLECT 2333.47/2339.52 c #Conflicts: 1128000 | #Constraints: 36723 2333.47/2339.52 c #Conflicts: 1129000 | #Constraints: 37781 2333.47/2339.52 c #Conflicts: 1130000 | #Constraints: 38834 2333.47/2339.52 c #Conflicts: 1131000 | #Constraints: 40005 2333.47/2339.52 c #Conflicts: 1132000 | #Constraints: 41046 2333.47/2339.52 c #Conflicts: 1133000 | #Constraints: 42174 2333.47/2339.52 c #Conflicts: 1134000 | #Constraints: 43262 2333.47/2339.52 c #Conflicts: 1135000 | #Constraints: 44391 2576.82/2583.51 c #Conflicts: 1136000 | #Constraints: 45497 2576.82/2583.51 c #Conflicts: 1137000 | #Constraints: 46665 2576.82/2583.51 c #Conflicts: 1138000 | #Constraints: 47767 2576.82/2583.51 c #Conflicts: 1139000 | #Constraints: 48968 2576.82/2583.51 c #Conflicts: 1140000 | #Constraints: 50125 2576.82/2583.51 c #Conflicts: 1141000 | #Constraints: 51254 2576.82/2583.51 c #Conflicts: 1142000 | #Constraints: 52381 2576.82/2583.51 c #Conflicts: 1143000 | #Constraints: 53572 2576.82/2583.51 c #Conflicts: 1144000 | #Constraints: 54756 2576.82/2583.51 c #Conflicts: 1145000 | #Constraints: 55936 2576.82/2583.51 c #Conflicts: 1146000 | #Constraints: 57092 2576.82/2583.51 c #Conflicts: 1147000 | #Constraints: 58266 2576.82/2583.51 c #Conflicts: 1148000 | #Constraints: 59311 2576.82/2583.51 c #Conflicts: 1149000 | #Constraints: 60418 2576.82/2583.51 c #Conflicts: 1150000 | #Constraints: 61503 2576.82/2583.51 c INPROCESSING 2576.82/2583.51 c GARBAGE COLLECT 2576.82/2583.51 c #Conflicts: 1151000 | #Constraints: 32731 2576.82/2583.51 c #Conflicts: 1152000 | #Constraints: 34217 2576.82/2583.51 c #Conflicts: 1153000 | #Constraints: 35753 2576.82/2583.51 c #Conflicts: 1154000 | #Constraints: 37330 2576.82/2583.51 c #Conflicts: 1155000 | #Constraints: 38906 2576.82/2583.51 c #Conflicts: 1156000 | #Constraints: 40482 2576.82/2583.51 c #Conflicts: 1157000 | #Constraints: 42000 2576.82/2583.51 c #Conflicts: 1158000 | #Constraints: 43518 2576.82/2583.51 c #Conflicts: 1159000 | #Constraints: 45018 2576.82/2583.51 c #Conflicts: 1160000 | #Constraints: 46552 2576.82/2583.51 c #Conflicts: 1161000 | #Constraints: 48056 2576.82/2583.51 c #Conflicts: 1162000 | #Constraints: 49644 2576.82/2583.51 c #Conflicts: 1163000 | #Constraints: 51205 2576.82/2583.51 c #Conflicts: 1164000 | #Constraints: 52745 2576.82/2583.51 c #Conflicts: 1165000 | #Constraints: 54276 2576.82/2583.51 c #Conflicts: 1166000 | #Constraints: 55818 2576.82/2583.51 c #Conflicts: 1167000 | #Constraints: 57327 2576.82/2583.51 c #Conflicts: 1168000 | #Constraints: 58819 2576.82/2583.51 c #Conflicts: 1169000 | #Constraints: 60364 2576.82/2583.51 c #Conflicts: 1170000 | #Constraints: 61899 2576.82/2583.51 c #Conflicts: 1171000 | #Constraints: 63432 2576.82/2583.51 c #Conflicts: 1172000 | #Constraints: 64975 2576.82/2583.51 c #Conflicts: 1173000 | #Constraints: 66498 2576.82/2583.51 c INPROCESSING 2576.82/2583.51 c GARBAGE COLLECT 2576.82/2583.51 c #Conflicts: 1174000 | #Constraints: 35024 2576.82/2583.51 c #Conflicts: 1175000 | #Constraints: 36535 2576.82/2583.51 c #Conflicts: 1176000 | #Constraints: 38072 2576.82/2583.51 c #Conflicts: 1177000 | #Constraints: 39566 2576.82/2583.51 c #Conflicts: 1178000 | #Constraints: 41067 2576.82/2583.51 c #Conflicts: 1179000 | #Constraints: 42597 2576.82/2583.51 c #Conflicts: 1180000 | #Constraints: 44090 2576.82/2583.51 c #Conflicts: 1181000 | #Constraints: 45623 2576.82/2583.51 c #Conflicts: 1182000 | #Constraints: 47140 2576.82/2583.51 c #Conflicts: 1183000 | #Constraints: 48645 2576.82/2583.51 c #Conflicts: 1184000 | #Constraints: 50137 2576.82/2583.51 c #Conflicts: 1185000 | #Constraints: 51665 2576.82/2583.51 c #Conflicts: 1186000 | #Constraints: 53169 2576.82/2583.51 c #Conflicts: 1187000 | #Constraints: 54696 2576.82/2583.51 c #Conflicts: 1188000 | #Constraints: 56258 2576.82/2583.51 c #Conflicts: 1189000 | #Constraints: 57806 2576.82/2583.51 c #Conflicts: 1190000 | #Constraints: 59326 2576.82/2583.51 c #Conflicts: 1191000 | #Constraints: 60846 2576.82/2583.51 c #Conflicts: 1192000 | #Constraints: 62407 2576.82/2583.51 c #Conflicts: 1193000 | #Constraints: 63963 2576.82/2583.51 c #Conflicts: 1194000 | #Constraints: 65450 2576.82/2583.51 c #Conflicts: 1195000 | #Constraints: 67018 2576.82/2583.51 c #Conflicts: 1196000 | #Constraints: 68511 2576.82/2583.51 c #Conflicts: 1197000 | #Constraints: 70052 2576.82/2583.51 c INPROCESSING 2576.82/2583.51 c GARBAGE COLLECT 2576.82/2583.51 c #Conflicts: 1198000 | #Constraints: 37198 2576.82/2583.51 c #Conflicts: 1199000 | #Constraints: 38285 2576.82/2583.51 c #Conflicts: 1200000 | #Constraints: 39426 2576.82/2583.51 c #Conflicts: 1201000 | #Constraints: 40603 2576.82/2583.51 c #Conflicts: 1202000 | #Constraints: 41681 2576.82/2583.51 c #Conflicts: 1203000 | #Constraints: 42819 2576.82/2583.51 c #Conflicts: 1204000 | #Constraints: 43946 2576.82/2583.51 c #Conflicts: 1205000 | #Constraints: 45034 2576.82/2583.51 c #Conflicts: 1206000 | #Constraints: 46174 2576.82/2583.51 c #Conflicts: 1207000 | #Constraints: 47432 2576.82/2583.51 c #Conflicts: 1208000 | #Constraints: 48560 2576.82/2583.51 c #Conflicts: 1209000 | #Constraints: 49664 2576.82/2583.51 c #Conflicts: 1210000 | #Constraints: 50932 2576.82/2583.51 c #Conflicts: 1211000 | #Constraints: 52283 2576.82/2583.51 c #Conflicts: 1212000 | #Constraints: 53405 2851.61/2859.06 c #Conflicts: 1213000 | #Constraints: 54748 2851.61/2859.06 c #Conflicts: 1214000 | #Constraints: 55780 2851.61/2859.06 c #Conflicts: 1215000 | #Constraints: 56905 2851.61/2859.06 c #Conflicts: 1216000 | #Constraints: 57921 2851.61/2859.06 c #Conflicts: 1217000 | #Constraints: 59025 2851.61/2859.06 c #Conflicts: 1218000 | #Constraints: 60095 2851.61/2859.06 c #Conflicts: 1219000 | #Constraints: 61201 2851.61/2859.06 c #Conflicts: 1220000 | #Constraints: 62344 2851.61/2859.06 c #Conflicts: 1221000 | #Constraints: 63405 2851.61/2859.06 c INPROCESSING 2851.61/2859.06 c GARBAGE COLLECT 2851.61/2859.06 c #Conflicts: 1222000 | #Constraints: 33970 2851.61/2859.06 c #Conflicts: 1223000 | #Constraints: 35542 2851.61/2859.06 c #Conflicts: 1224000 | #Constraints: 37115 2851.61/2859.06 c #Conflicts: 1225000 | #Constraints: 38683 2851.61/2859.06 c #Conflicts: 1226000 | #Constraints: 40285 2851.61/2859.06 c #Conflicts: 1227000 | #Constraints: 41836 2851.61/2859.06 c #Conflicts: 1228000 | #Constraints: 43470 2851.61/2859.06 c #Conflicts: 1229000 | #Constraints: 45083 2851.61/2859.06 c #Conflicts: 1230000 | #Constraints: 46670 2851.61/2859.06 c #Conflicts: 1231000 | #Constraints: 48209 2851.61/2859.06 c #Conflicts: 1232000 | #Constraints: 49750 2851.61/2859.06 c #Conflicts: 1233000 | #Constraints: 51289 2851.61/2859.06 c #Conflicts: 1234000 | #Constraints: 52820 2851.61/2859.06 c #Conflicts: 1235000 | #Constraints: 54335 2851.61/2859.06 c #Conflicts: 1236000 | #Constraints: 55853 2851.61/2859.06 c #Conflicts: 1237000 | #Constraints: 57396 2851.61/2859.06 c #Conflicts: 1238000 | #Constraints: 58944 2851.61/2859.06 c #Conflicts: 1239000 | #Constraints: 60488 2851.61/2859.06 c #Conflicts: 1240000 | #Constraints: 61995 2851.61/2859.06 c #Conflicts: 1241000 | #Constraints: 63488 2851.61/2859.06 c #Conflicts: 1242000 | #Constraints: 65030 2851.61/2859.06 c #Conflicts: 1243000 | #Constraints: 66556 2851.61/2859.06 c #Conflicts: 1244000 | #Constraints: 68093 2851.61/2859.06 c #Conflicts: 1245000 | #Constraints: 69652 2851.61/2859.06 c INPROCESSING 2851.61/2859.06 c GARBAGE COLLECT 2851.61/2859.06 c #Conflicts: 1246000 | #Constraints: 37096 2851.61/2859.06 c #Conflicts: 1247000 | #Constraints: 38647 2851.61/2859.06 c #Conflicts: 1248000 | #Constraints: 40259 2851.61/2859.06 c #Conflicts: 1249000 | #Constraints: 41902 2851.61/2859.06 c #Conflicts: 1250000 | #Constraints: 43477 2851.61/2859.06 c #Conflicts: 1251000 | #Constraints: 45018 2851.61/2859.06 c #Conflicts: 1252000 | #Constraints: 46550 2851.61/2859.06 c #Conflicts: 1253000 | #Constraints: 48117 2851.61/2859.06 c #Conflicts: 1254000 | #Constraints: 49672 2851.61/2859.06 c #Conflicts: 1255000 | #Constraints: 51193 2851.61/2859.06 c #Conflicts: 1256000 | #Constraints: 52722 2851.61/2859.06 c #Conflicts: 1257000 | #Constraints: 54263 2851.61/2859.06 c #Conflicts: 1258000 | #Constraints: 55786 2851.61/2859.06 c #Conflicts: 1259000 | #Constraints: 57333 2851.61/2859.06 c #Conflicts: 1260000 | #Constraints: 58842 2851.61/2859.06 c #Conflicts: 1261000 | #Constraints: 60399 2851.61/2859.06 c #Conflicts: 1262000 | #Constraints: 61974 2851.61/2859.06 c #Conflicts: 1263000 | #Constraints: 63511 2851.61/2859.06 c #Conflicts: 1264000 | #Constraints: 65035 2851.61/2859.06 c #Conflicts: 1265000 | #Constraints: 66569 2851.61/2859.06 c #Conflicts: 1266000 | #Constraints: 68140 2851.61/2859.06 c #Conflicts: 1267000 | #Constraints: 69646 2851.61/2859.06 c #Conflicts: 1268000 | #Constraints: 71186 2851.61/2859.06 c #Conflicts: 1269000 | #Constraints: 72743 2851.61/2859.06 c INPROCESSING 2851.61/2859.06 c GARBAGE COLLECT 2851.61/2859.06 c #Conflicts: 1270000 | #Constraints: 38628 2851.61/2859.06 c #Conflicts: 1271000 | #Constraints: 40348 2851.61/2859.06 c #Conflicts: 1272000 | #Constraints: 41882 2851.61/2859.06 c #Conflicts: 1273000 | #Constraints: 43057 2851.61/2859.06 c #Conflicts: 1274000 | #Constraints: 44319 2851.61/2859.06 c #Conflicts: 1275000 | #Constraints: 45404 2851.61/2859.06 c #Conflicts: 1276000 | #Constraints: 46521 2851.61/2859.06 c #Conflicts: 1277000 | #Constraints: 47661 2851.61/2859.06 c #Conflicts: 1278000 | #Constraints: 48810 2851.61/2859.06 c #Conflicts: 1279000 | #Constraints: 49935 2851.61/2859.06 c #Conflicts: 1280000 | #Constraints: 51028 2851.61/2859.06 c #Conflicts: 1281000 | #Constraints: 52131 2851.61/2859.06 c #Conflicts: 1282000 | #Constraints: 53215 2851.61/2859.06 c #Conflicts: 1283000 | #Constraints: 54362 2851.61/2859.06 c #Conflicts: 1284000 | #Constraints: 55533 2851.61/2859.06 c #Conflicts: 1285000 | #Constraints: 56661 2851.61/2859.06 c #Conflicts: 1286000 | #Constraints: 57715 2851.61/2859.06 c #Conflicts: 1287000 | #Constraints: 58880 2851.61/2859.06 c #Conflicts: 1288000 | #Constraints: 59996 2851.61/2859.06 c #Conflicts: 1289000 | #Constraints: 61103 2880.83/2888.39 c #Conflicts: 1290000 | #Constraints: 62196 2880.83/2888.39 c #Conflicts: 1291000 | #Constraints: 63308 2880.83/2888.39 c #Conflicts: 1292000 | #Constraints: 64314 2880.83/2888.39 c #Conflicts: 1293000 | #Constraints: 65315 2880.83/2888.39 c INPROCESSING 2880.83/2888.39 c GARBAGE COLLECT 2880.83/2888.39 c rational objective -38 3158.69/3166.83 c #Conflicts: 1294000 | #Constraints: 34135 3158.69/3166.83 c #Conflicts: 1295000 | #Constraints: 35338 3158.69/3166.83 c #Conflicts: 1296000 | #Constraints: 36833 3158.69/3166.83 c #Conflicts: 1297000 | #Constraints: 38370 3158.69/3166.83 c #Conflicts: 1298000 | #Constraints: 39883 3158.69/3166.83 c #Conflicts: 1299000 | #Constraints: 41448 3158.69/3166.83 c #Conflicts: 1300000 | #Constraints: 42968 3158.69/3166.83 c #Conflicts: 1301000 | #Constraints: 44506 3158.69/3166.83 c #Conflicts: 1302000 | #Constraints: 46034 3158.69/3166.83 c #Conflicts: 1303000 | #Constraints: 47534 3158.69/3166.83 c #Conflicts: 1304000 | #Constraints: 49064 3158.69/3166.83 c #Conflicts: 1305000 | #Constraints: 50578 3158.69/3166.83 c #Conflicts: 1306000 | #Constraints: 52088 3158.69/3166.83 c #Conflicts: 1307000 | #Constraints: 53595 3158.69/3166.83 c #Conflicts: 1308000 | #Constraints: 55097 3158.69/3166.83 c #Conflicts: 1309000 | #Constraints: 56652 3158.69/3166.83 c #Conflicts: 1310000 | #Constraints: 58186 3158.69/3166.83 c #Conflicts: 1311000 | #Constraints: 59730 3158.69/3166.83 c #Conflicts: 1312000 | #Constraints: 61271 3158.69/3166.83 c #Conflicts: 1313000 | #Constraints: 62821 3158.69/3166.83 c #Conflicts: 1314000 | #Constraints: 64372 3158.69/3166.83 c #Conflicts: 1315000 | #Constraints: 65894 3158.69/3166.83 c #Conflicts: 1316000 | #Constraints: 67398 3158.69/3166.83 c #Conflicts: 1317000 | #Constraints: 68952 3158.69/3166.83 c #Conflicts: 1318000 | #Constraints: 70462 3158.69/3166.83 c INPROCESSING 3158.69/3166.83 c GARBAGE COLLECT 3158.69/3166.83 c #Conflicts: 1319000 | #Constraints: 37472 3158.69/3166.83 c #Conflicts: 1320000 | #Constraints: 38951 3158.69/3166.83 c #Conflicts: 1321000 | #Constraints: 40123 3158.69/3166.83 c #Conflicts: 1322000 | #Constraints: 41564 3158.69/3166.83 c #Conflicts: 1323000 | #Constraints: 42943 3158.69/3166.83 c #Conflicts: 1324000 | #Constraints: 44216 3158.69/3166.83 c #Conflicts: 1325000 | #Constraints: 45382 3158.69/3166.83 c #Conflicts: 1326000 | #Constraints: 46562 3158.69/3166.83 c #Conflicts: 1327000 | #Constraints: 47755 3158.69/3166.83 c #Conflicts: 1328000 | #Constraints: 49053 3158.69/3166.83 c #Conflicts: 1329000 | #Constraints: 50167 3158.69/3166.83 c #Conflicts: 1330000 | #Constraints: 51381 3158.69/3166.83 c #Conflicts: 1331000 | #Constraints: 52453 3158.69/3166.83 c #Conflicts: 1332000 | #Constraints: 53655 3158.69/3166.83 c #Conflicts: 1333000 | #Constraints: 54749 3158.69/3166.83 c #Conflicts: 1334000 | #Constraints: 55810 3158.69/3166.83 c #Conflicts: 1335000 | #Constraints: 56959 3158.69/3166.83 c #Conflicts: 1336000 | #Constraints: 58124 3158.69/3166.83 c #Conflicts: 1337000 | #Constraints: 59419 3158.69/3166.83 c #Conflicts: 1338000 | #Constraints: 60582 3158.69/3166.83 c #Conflicts: 1339000 | #Constraints: 61740 3158.69/3166.83 c #Conflicts: 1340000 | #Constraints: 62931 3158.69/3166.83 c #Conflicts: 1341000 | #Constraints: 64140 3158.69/3166.83 c #Conflicts: 1342000 | #Constraints: 65348 3158.69/3166.83 c #Conflicts: 1343000 | #Constraints: 66639 3158.69/3166.83 c INPROCESSING 3158.69/3166.83 c GARBAGE COLLECT 3158.69/3166.83 c #Conflicts: 1344000 | #Constraints: 35531 3158.69/3166.83 c #Conflicts: 1345000 | #Constraints: 37016 3158.69/3166.83 c #Conflicts: 1346000 | #Constraints: 38345 3158.69/3166.83 c #Conflicts: 1347000 | #Constraints: 39796 3158.69/3166.83 c #Conflicts: 1348000 | #Constraints: 41413 3158.69/3166.83 c #Conflicts: 1349000 | #Constraints: 42973 3158.69/3166.83 c #Conflicts: 1350000 | #Constraints: 44429 3158.69/3166.83 c #Conflicts: 1351000 | #Constraints: 46000 3158.69/3166.83 c #Conflicts: 1352000 | #Constraints: 47701 3158.69/3166.83 c #Conflicts: 1353000 | #Constraints: 49380 3158.69/3166.83 c #Conflicts: 1354000 | #Constraints: 51010 3158.69/3166.83 c #Conflicts: 1355000 | #Constraints: 52528 3158.69/3166.83 c #Conflicts: 1356000 | #Constraints: 54051 3158.69/3166.83 c #Conflicts: 1357000 | #Constraints: 55566 3158.69/3166.83 c #Conflicts: 1358000 | #Constraints: 57112 3158.69/3166.83 c #Conflicts: 1359000 | #Constraints: 58621 3158.69/3166.83 c #Conflicts: 1360000 | #Constraints: 60161 3158.69/3166.83 c #Conflicts: 1361000 | #Constraints: 61643 3158.69/3166.83 c #Conflicts: 1362000 | #Constraints: 63157 3158.69/3166.83 c #Conflicts: 1363000 | #Constraints: 64631 3158.69/3166.83 c #Conflicts: 1364000 | #Constraints: 66141 3158.69/3166.83 c #Conflicts: 1365000 | #Constraints: 67648 3158.69/3166.83 c #Conflicts: 1366000 | #Constraints: 69161 3158.69/3166.83 c #Conflicts: 1367000 | #Constraints: 70652 3158.69/3166.83 c #Conflicts: 1368000 | #Constraints: 72154 3158.69/3166.83 c INPROCESSING 3158.69/3166.83 c GARBAGE COLLECT 3158.69/3166.83 c #Conflicts: 1369000 | #Constraints: 38284 3158.69/3166.83 c #Conflicts: 1370000 | #Constraints: 39798 3496.38/3505.30 c #Conflicts: 1371000 | #Constraints: 41322 3496.38/3505.30 c #Conflicts: 1372000 | #Constraints: 42808 3496.38/3505.30 c #Conflicts: 1373000 | #Constraints: 44316 3496.38/3505.30 c #Conflicts: 1374000 | #Constraints: 45826 3496.38/3505.30 c #Conflicts: 1375000 | #Constraints: 47374 3496.38/3505.30 c #Conflicts: 1376000 | #Constraints: 48903 3496.38/3505.30 c #Conflicts: 1377000 | #Constraints: 50438 3496.38/3505.30 c #Conflicts: 1378000 | #Constraints: 51955 3496.38/3505.30 c #Conflicts: 1379000 | #Constraints: 53484 3496.38/3505.30 c #Conflicts: 1380000 | #Constraints: 55022 3496.38/3505.30 c #Conflicts: 1381000 | #Constraints: 56542 3496.38/3505.30 c #Conflicts: 1382000 | #Constraints: 58059 3496.38/3505.30 c #Conflicts: 1383000 | #Constraints: 59567 3496.38/3505.30 c #Conflicts: 1384000 | #Constraints: 61091 3496.38/3505.30 c #Conflicts: 1385000 | #Constraints: 62650 3496.38/3505.30 c #Conflicts: 1386000 | #Constraints: 64178 3496.38/3505.30 c #Conflicts: 1387000 | #Constraints: 65731 3496.38/3505.30 c #Conflicts: 1388000 | #Constraints: 67270 3496.38/3505.30 c #Conflicts: 1389000 | #Constraints: 68787 3496.38/3505.30 c #Conflicts: 1390000 | #Constraints: 70363 3496.38/3505.30 c #Conflicts: 1391000 | #Constraints: 71892 3496.38/3505.30 c #Conflicts: 1392000 | #Constraints: 73492 3496.38/3505.30 c #Conflicts: 1393000 | #Constraints: 75067 3496.38/3505.30 c INPROCESSING 3496.38/3505.30 c GARBAGE COLLECT 3496.38/3505.30 c #Conflicts: 1394000 | #Constraints: 39807 3496.38/3505.30 c #Conflicts: 1395000 | #Constraints: 41538 3496.38/3505.30 c #Conflicts: 1396000 | #Constraints: 43176 3496.38/3505.30 c #Conflicts: 1397000 | #Constraints: 44694 3496.38/3505.30 c #Conflicts: 1398000 | #Constraints: 45898 3496.38/3505.30 c #Conflicts: 1399000 | #Constraints: 47074 3496.38/3505.30 c #Conflicts: 1400000 | #Constraints: 48337 3496.38/3505.30 c #Conflicts: 1401000 | #Constraints: 49552 3496.38/3505.30 c #Conflicts: 1402000 | #Constraints: 50722 3496.38/3505.30 c #Conflicts: 1403000 | #Constraints: 51773 3496.38/3505.30 c #Conflicts: 1404000 | #Constraints: 52946 3496.38/3505.30 c #Conflicts: 1405000 | #Constraints: 54108 3496.38/3505.30 c #Conflicts: 1406000 | #Constraints: 55348 3496.38/3505.30 c #Conflicts: 1407000 | #Constraints: 56558 3496.38/3505.30 c #Conflicts: 1408000 | #Constraints: 57683 3496.38/3505.30 c #Conflicts: 1409000 | #Constraints: 58876 3496.38/3505.30 c #Conflicts: 1410000 | #Constraints: 60088 3496.38/3505.30 c #Conflicts: 1411000 | #Constraints: 61487 3496.38/3505.30 c #Conflicts: 1412000 | #Constraints: 62690 3496.38/3505.30 c #Conflicts: 1413000 | #Constraints: 63912 3496.38/3505.30 c #Conflicts: 1414000 | #Constraints: 65146 3496.38/3505.30 c #Conflicts: 1415000 | #Constraints: 66286 3496.38/3505.30 c #Conflicts: 1416000 | #Constraints: 67535 3496.38/3505.30 c #Conflicts: 1417000 | #Constraints: 68896 3496.38/3505.30 c #Conflicts: 1418000 | #Constraints: 70070 3496.38/3505.30 c INPROCESSING 3496.38/3505.30 c GARBAGE COLLECT 3496.38/3505.30 c #Conflicts: 1419000 | #Constraints: 36618 3496.38/3505.30 c #Conflicts: 1420000 | #Constraints: 38027 3496.38/3505.30 c #Conflicts: 1421000 | #Constraints: 39588 3496.38/3505.30 c #Conflicts: 1422000 | #Constraints: 41172 3496.38/3505.30 c #Conflicts: 1423000 | #Constraints: 42750 3496.38/3505.30 c #Conflicts: 1424000 | #Constraints: 44287 3496.38/3505.30 c #Conflicts: 1425000 | #Constraints: 45847 3496.38/3505.30 c #Conflicts: 1426000 | #Constraints: 47406 3496.38/3505.30 c #Conflicts: 1427000 | #Constraints: 48955 3496.38/3505.30 c #Conflicts: 1428000 | #Constraints: 50515 3496.38/3505.30 c #Conflicts: 1429000 | #Constraints: 52054 3496.38/3505.30 c #Conflicts: 1430000 | #Constraints: 53583 3496.38/3505.30 c #Conflicts: 1431000 | #Constraints: 55118 3496.38/3505.30 c #Conflicts: 1432000 | #Constraints: 56700 3496.38/3505.30 c #Conflicts: 1433000 | #Constraints: 58249 3496.38/3505.30 c #Conflicts: 1434000 | #Constraints: 59786 3496.38/3505.30 c #Conflicts: 1435000 | #Constraints: 61332 3496.38/3505.30 c #Conflicts: 1436000 | #Constraints: 62843 3496.38/3505.30 c #Conflicts: 1437000 | #Constraints: 64390 3496.38/3505.30 c #Conflicts: 1438000 | #Constraints: 66005 3496.38/3505.30 c #Conflicts: 1439000 | #Constraints: 67588 3496.38/3505.30 c #Conflicts: 1440000 | #Constraints: 69177 3496.38/3505.30 c #Conflicts: 1441000 | #Constraints: 70740 3496.38/3505.30 c #Conflicts: 1442000 | #Constraints: 72249 3496.38/3505.30 c #Conflicts: 1443000 | #Constraints: 73784 3496.38/3505.30 c #Conflicts: 1444000 | #Constraints: 75338 3496.38/3505.30 c INPROCESSING 3496.38/3505.30 c GARBAGE COLLECT 3496.38/3505.30 c #Conflicts: 1445000 | #Constraints: 39896 3496.38/3505.30 c #Conflicts: 1446000 | #Constraints: 41591 3496.38/3505.30 c #Conflicts: 1447000 | #Constraints: 43087 3600.04/3609.20 c #Conflicts: 1448000 | #Constraints: 44317 3600.04/3609.20 c #Conflicts: 1449000 | #Constraints: 45444 3600.04/3609.20 c #Conflicts: 1450000 | #Constraints: 46628 3600.04/3609.20 c #Conflicts: 1451000 | #Constraints: 47904 3600.04/3609.20 c #Conflicts: 1452000 | #Constraints: 49182 3600.04/3609.20 c #Conflicts: 1453000 | #Constraints: 50436 3600.04/3609.20 c #Conflicts: 1454000 | #Constraints: 51785 3600.04/3609.20 c #Conflicts: 1455000 | #Constraints: 52916 3600.04/3609.20 c #Conflicts: 1456000 | #Constraints: 54008 3600.04/3609.20 c #Conflicts: 1457000 | #Constraints: 55195 3600.04/3609.20 c #Conflicts: 1458000 | #Constraints: 56455 3600.04/3609.20 c #Conflicts: 1459000 | #Constraints: 57673 3600.04/3609.20 c #Conflicts: 1460000 | #Constraints: 58890 3600.04/3609.20 c #Conflicts: 1461000 | #Constraints: 60206 3600.04/3609.20 c #Conflicts: 1462000 | #Constraints: 61274 3600.04/3609.20 c #Conflicts: 1463000 | #Constraints: 62459 3600.04/3609.20 c #Conflicts: 1464000 | #Constraints: 63685 3600.04/3609.20 c Program interrupted by user. 3600.04/3609.20 c cpu time 3583.75 s 3600.04/3609.20 c deterministic time 354278229721 3.54e+11 3600.04/3609.20 c optimization time 115.856 s 3600.04/3609.20 c total solve time 3467.88 s 3600.04/3609.20 c core-guided solve time 1861.98 s 3600.04/3609.20 c propagation time 3016.17 s 3600.04/3609.20 c conflict analysis time 534.112 s 3600.04/3609.20 c propagations 191264451 3600.04/3609.20 c resolve steps 19843139 3600.04/3609.20 c decisions 4127356 3600.04/3609.20 c conflicts 1464716 3600.04/3609.20 c restarts 2832 3600.04/3609.20 c inprocessing phases 83 3600.04/3609.20 c input clauses 586 3600.04/3609.20 c input cardinalities 308 3600.04/3609.20 c input general constraints 589 3600.04/3609.20 c input average constraint length 37.43 3600.04/3609.20 c input average constraint degree 10.75 3600.04/3609.20 c learned clauses 905644 3600.04/3609.20 c learned cardinalities 5601 3600.04/3609.20 c learned general constraints 796319 3600.04/3609.20 c learned average constraint length 162.02 3600.04/3609.20 c learned average constraint degree 1995152702.46 3600.04/3609.20 c watched constraints 531868 3600.04/3609.20 c counting constraints 265040 3600.04/3609.20 c gcd simplifications 95780 3600.04/3609.20 c detected cardinalities 1552 3600.04/3609.20 c weakened non-implied lits 107961915 3600.04/3609.20 c weakened non-implying lits 146698 3600.04/3609.20 c original variables 432 3600.04/3609.20 c clausal propagations 38426410 3600.04/3609.20 c cardinality propagations 12179154 3600.04/3609.20 c watched propagations 11031231 3600.04/3609.20 c counting propagations 124338491 3600.04/3609.20 c watch lookups 77089867257 3600.04/3609.20 c watch backjump lookups 65000247609 3600.04/3609.20 c watch checks 201744519652 3600.04/3609.20 c propagation checks 9345534978 3600.04/3609.20 c constraint additions 704350002 3600.04/3609.20 c trail pops 196847093 3600.04/3609.20 c formula constraints 720 3600.04/3609.20 c learned constraints 1455830 3600.04/3609.20 c bound constraints 149 3600.04/3609.20 c core-guided constraints 614 3600.04/3609.20 c encountered formula constraints 8700303 3600.04/3609.20 c encountered learned constraints 10083516 3600.04/3609.20 c encountered bound constraints 2658 3600.04/3609.20 c encountered core-guided constraints 2040260 3600.04/3609.20 c LP total time 110.769 s 3600.04/3609.20 c LP solve time 74.12 s 3600.04/3609.20 c LP constraints added 1655 3600.04/3609.20 c LP constraints removed 916 3600.04/3609.20 c LP pivots internal 1464714 3600.04/3609.20 c LP pivots root 6608 3600.04/3609.20 c LP calls 267756 3600.04/3609.20 c LP optimalities 25363 3600.04/3609.20 c LP no pivot count 9609 3600.04/3609.20 c LP infeasibilities 242392 3600.04/3609.20 c LP valid Farkas constraints 242391 3600.04/3609.20 c LP learned Farkas constraints 8978 3600.04/3609.20 c LP basis resets 2 3600.04/3609.20 c LP cycling count 1 3600.04/3609.20 c LP singular count 0 3600.04/3609.20 c LP no primal count 0 3600.04/3609.20 c LP no farkas count 1 3600.04/3609.20 c LP other issue count 0 3600.04/3609.20 c LP Gomory cuts 365 3600.04/3609.20 c LP learned cuts 570 3600.04/3609.20 c LP deleted cuts 916 3600.04/3609.20 c LP encountered Gomory constraints 319726 3600.04/3609.20 c LP encountered Farkas constraints 131955 3600.04/3609.20 c LP encountered learned Farkas constraints 20459 3600.04/3609.20 c CG auxiliary variables introduced 246 3600.04/3609.20 c CG solutions found 25 3600.04/3609.20 c CG cores constructed 124 3600.04/3609.20 c CG core cardinality constraints returned 0 3600.04/3609.20 c CG unit cores 0 3600.04/3609.20 c CG single cores 124 3600.04/3609.20 c CG blocks removed during cardinality reduction 0 3600.04/3609.20 c CG first core best 0 3600.04/3609.20 c CG decision core best 0 3600.04/3609.20 c CG core reduction tie 0 3600.04/3609.20 c CG core degree average 1.00 3600.04/3609.20 c CG core slack average 3.38 3600.04/3609.20 s SATISFIABLE 3600.04/3609.20 v -x1 -x2 x3 x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 x12 -x13 x14 -x15 -x16 x17 -x18 x19 -x20 -x21 x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 -x31 x32 -x33 -x34 x35 -x36 -x37 x38 -x39 -x40 -x41 x42 -x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 x57 -x58 x59 -x60 -x61 -x62 x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 x78 -x79 -x80 x81 -x82 x83 -x84 -x85 x86 -x87 -x88 -x89 x90 -x91 -x92 x93 -x94 -x95 x96 -x97 x98 -x99 -x100 -x101 x102 -x103 -x104 x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 x368 x369 -x370 -x371 -x372 -x373 x374 x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 x429 -x430 -x431 x432
OK -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: 64059 MiB (62019 MiB free)
memory of node 1: 64510 MiB (61391 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455420-1721465447/watcher-4455420-1721465447 -o /tmp/evaluation-result-4455420-1721465447/solver-4455420-1721465447 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721458232-1043546 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455420-1721465447.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1048091, runsolver pid=1048088
Current StackSize limit: 8192 KiB
[startup+0.100111 s]*
/proc/loadavg: 4.32 4.26 4.20 5/243 1048092
/proc/meminfo: memFree=126370552/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=38280 memory=9076 CPUtime=0.1 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 635 0 0 0 7 3 0 0 20 0 1 0 198701596 39198720 2269 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 9570 2269 1852 922 0 1522 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38280 KiB
Current children cumulated memory: 9076 KiB
[startup+0.213347 s]*
/proc/loadavg: 4.32 4.26 4.20 5/243 1048092
/proc/meminfo: memFree=126370020/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=38540 memory=9604 CPUtime=0.21 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 758 0 0 0 16 5 0 0 20 0 1 0 198701596 39464960 2401 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 9635 2401 1852 922 0 1587 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38540 KiB
Current children cumulated memory: 9604 KiB
[startup+0.313495 s]*
/proc/loadavg: 4.32 4.26 4.20 5/243 1048092
/proc/meminfo: memFree=126369208/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=38932 memory=10160 CPUtime=0.31 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 886 0 0 0 25 6 0 0 20 0 1 0 198701596 39866368 2540 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 9733 2540 1852 922 0 1685 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38932 KiB
Current children cumulated memory: 10160 KiB
[startup+0.700347 s]
/proc/loadavg: 4.32 4.26 4.20 5/243 1048092
/proc/meminfo: memFree=126365880/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=40124 memory=13924 CPUtime=0.68 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 1308 0 0 0 60 8 0 0 20 0 1 0 198701596 41086976 3481 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 10031 3481 1852 922 0 1983 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40124 KiB
Current children cumulated memory: 13924 KiB
[startup+1.50035 s]
/proc/loadavg: 4.32 4.26 4.20 5/243 1048092
/proc/meminfo: memFree=126364088/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=41276 memory=15076 CPUtime=1.48 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 1602 0 0 0 136 12 0 0 20 0 1 0 198701596 42266624 3769 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 10319 3769 1852 922 0 2271 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41276 KiB
Current children cumulated memory: 15076 KiB
[startup+3.11304 s]
/proc/loadavg: 4.29 4.26 4.19 5/243 1048093
/proc/meminfo: memFree=126362524/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=42572 memory=16328 CPUtime=3.09 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 1934 0 0 0 290 19 0 0 20 0 1 0 198701596 43593728 4082 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 10643 4082 1852 922 0 2595 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42572 KiB
Current children cumulated memory: 16328 KiB
[startup+6.30032 s]
/proc/loadavg: 4.29 4.26 4.19 5/243 1048139
/proc/meminfo: memFree=126634476/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=44148 memory=18740 CPUtime=6.27 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 2547 0 0 0 597 30 0 0 20 0 1 0 198701596 45207552 4685 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 11037 4685 1852 922 0 2989 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44148 KiB
Current children cumulated memory: 18740 KiB
[startup+12.7003 s]
/proc/loadavg: 4.25 4.25 4.19 5/243 1048141
/proc/meminfo: memFree=126608384/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=67128 memory=36300 CPUtime=12.65 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 5885 0 0 0 1220 45 0 0 20 0 1 0 198701596 68739072 9075 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 16782 9075 1852 922 0 8734 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 67128 KiB
Current children cumulated memory: 36300 KiB
[startup+25.5004 s]
/proc/loadavg: 4.21 4.24 4.19 5/243 1048142
/proc/meminfo: memFree=126601924/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=67400 memory=36568 CPUtime=25.41 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 5997 0 0 0 2470 71 0 0 20 0 1 0 198701596 69017600 9142 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 16850 9142 1852 922 0 8802 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 67400 KiB
Current children cumulated memory: 36568 KiB
[startup+51.113 s]
/proc/loadavg: 4.27 4.25 4.19 5/243 1048145
/proc/meminfo: memFree=126567144/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=91096 memory=53592 CPUtime=50.95 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 8796 0 0 0 4987 108 0 0 20 0 1 0 198701596 93282304 13398 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 22774 13398 1852 922 0 14726 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 91096 KiB
Current children cumulated memory: 53592 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.22 4.18 5/243 1048155
/proc/meminfo: memFree=126253928/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=122040 memory=76216 CPUtime=101.99 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 11973 0 0 0 10026 173 0 0 20 0 1 0 198701596 124968960 19054 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 30510 19054 1852 922 0 22462 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 122040 KiB
Current children cumulated memory: 76216 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.20 4.18 5/243 1048165
/proc/meminfo: memFree=126474888/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=122200 memory=76216 CPUtime=161.81 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 11983 0 0 0 15953 228 0 0 20 0 1 0 198701596 125132800 19054 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 30550 19054 1852 922 0 22502 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 122200 KiB
Current children cumulated memory: 76216 KiB
[startup+222.3 s]
/proc/loadavg: 4.72 4.35 4.23 5/243 1048176
/proc/meminfo: memFree=126430972/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=122200 memory=76216 CPUtime=221.63 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 12013 0 0 0 21858 305 0 0 20 0 1 0 198701596 125132800 19054 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 30550 19054 1852 922 0 22502 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 122200 KiB
Current children cumulated memory: 76216 KiB
[startup+282.3 s]
/proc/loadavg: 4.34 4.31 4.22 5/243 1048187
/proc/meminfo: memFree=126401856/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=138144 memory=103740 CPUtime=281.44 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 15425 0 0 0 27806 338 0 0 20 0 1 0 198701596 141459456 25935 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 34536 25935 1852 922 0 26488 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 138144 KiB
Current children cumulated memory: 103740 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.27 4.21 5/243 1048581
/proc/meminfo: memFree=126391936/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=137980 memory=103704 CPUtime=341.25 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 15550 0 0 0 33760 365 0 0 20 0 1 0 198701596 141291520 25926 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 34495 25926 1852 922 0 26447 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 137980 KiB
Current children cumulated memory: 103704 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.23 4.20 5/243 1048592
/proc/meminfo: memFree=126385928/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=138272 memory=103704 CPUtime=401.07 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 15595 0 0 0 39681 426 0 0 20 0 1 0 198701596 141590528 25926 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 34568 25926 1852 922 0 26520 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 138272 KiB
Current children cumulated memory: 103704 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.20 4.19 5/243 1048602
/proc/meminfo: memFree=126380592/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=140012 memory=105184 CPUtime=460.89 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 15964 0 0 0 45626 463 0 0 20 0 1 0 198701596 143372288 26296 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
################
# More data... #
################
Current children cumulated memory: 231088 KiB
[startup+2862.3 s]
/proc/loadavg: 4.66 4.45 4.27 5/241 1050009
/proc/meminfo: memFree=127021380/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=256824 memory=231088 CPUtime=2854.89 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 36382 0 0 0 284074 1415 0 0 20 0 1 0 198701596 262987776 57772 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 64206 57772 1980 922 0 56158 0
Current children cumulated CPU time: 2854.89 s
Current children cumulated vsize: 256824 KiB
Current children cumulated memory: 231088 KiB
[startup+2922.3 s]
/proc/loadavg: 4.43 4.41 4.27 5/241 1050019
/proc/meminfo: memFree=126953508/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=257040 memory=231376 CPUtime=2914.75 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 36556 0 0 0 290039 1436 0 0 20 0 1 0 198701596 263208960 57844 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 64260 57844 1980 922 0 56212 0
Current children cumulated CPU time: 2914.75 s
Current children cumulated vsize: 257040 KiB
Current children cumulated memory: 231376 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.33 4.25 5/241 1050029
/proc/meminfo: memFree=126866056/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=259272 memory=233036 CPUtime=2974.61 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 37063 0 0 0 296009 1452 0 0 20 0 1 0 198701596 265494528 58259 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 64818 58259 1980 922 0 56770 0
Current children cumulated CPU time: 2974.61 s
Current children cumulated vsize: 259272 KiB
Current children cumulated memory: 233036 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.29 4.24 5/243 1050044
/proc/meminfo: memFree=126835716/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=259272 memory=233036 CPUtime=3034.48 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 37156 0 0 0 301981 1467 0 0 20 0 1 0 198701596 265494528 58259 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 64818 58259 1980 922 0 56770 0
Current children cumulated CPU time: 3034.48 s
Current children cumulated vsize: 259272 KiB
Current children cumulated memory: 233036 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.26 4.24 5/243 1050054
/proc/meminfo: memFree=126796272/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=259632 memory=233428 CPUtime=3094.33 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 37340 0 0 0 307951 1482 0 0 20 0 1 0 198701596 265863168 58357 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 64908 58357 1980 922 0 56860 0
Current children cumulated CPU time: 3094.33 s
Current children cumulated vsize: 259632 KiB
Current children cumulated memory: 233428 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.23 4.22 5/243 1050064
/proc/meminfo: memFree=126717860/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=311296 memory=237968 CPUtime=3154.2 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 38114 0 0 0 313916 1504 0 0 20 0 1 0 198701596 318767104 59492 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 77824 59492 1980 922 0 69776 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 311296 KiB
Current children cumulated memory: 237968 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.22 4.22 5/243 1050075
/proc/meminfo: memFree=126680432/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=312464 memory=238988 CPUtime=3214.05 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 38352 0 0 0 319877 1528 0 0 20 0 1 0 198701596 319963136 59747 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 78116 59747 1980 922 0 70068 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 312464 KiB
Current children cumulated memory: 238988 KiB
[startup+3282.3 s]
/proc/loadavg: 4.65 4.34 4.26 5/243 1050086
/proc/meminfo: memFree=126621304/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=313868 memory=242088 CPUtime=3273.92 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 38644 0 0 0 325846 1546 0 0 20 0 1 0 198701596 321400832 60522 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 78467 60522 1980 922 0 70419 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 313868 KiB
Current children cumulated memory: 242088 KiB
[startup+3342.3 s]
/proc/loadavg: 4.47 4.36 4.27 5/241 1050096
/proc/meminfo: memFree=126585448/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=313868 memory=242208 CPUtime=3333.78 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 38735 0 0 0 331819 1559 0 0 20 0 1 0 198701596 321400832 60552 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 78467 60552 1980 922 0 70419 0
Current children cumulated CPU time: 3333.78 s
Current children cumulated vsize: 313868 KiB
Current children cumulated memory: 242208 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.32 4.26 5/241 1050107
/proc/meminfo: memFree=126485312/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=313868 memory=242208 CPUtime=3393.63 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 38739 0 0 0 337793 1570 0 0 20 0 1 0 198701596 321400832 60552 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 78467 60552 1980 922 0 70419 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 313868 KiB
Current children cumulated memory: 242208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.27 4.25 5/242 1050118
/proc/meminfo: memFree=126457708/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=313868 memory=242208 CPUtime=3453.48 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 38846 0 0 0 343755 1593 0 0 20 0 1 0 198701596 321400832 60552 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 78467 60552 1980 922 0 70419 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 313868 KiB
Current children cumulated memory: 242208 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.24 4.24 5/242 1050128
/proc/meminfo: memFree=126413340/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=314364 memory=242600 CPUtime=3513.35 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 38997 0 0 0 349724 1611 0 0 20 0 1 0 198701596 321908736 60650 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 78591 60650 1980 922 0 70543 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 314364 KiB
Current children cumulated memory: 242600 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.24 4.24 5/245 1050144
/proc/meminfo: memFree=126398744/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=314364 memory=242812 CPUtime=3573.21 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 39086 0 0 0 355695 1626 0 0 20 0 1 0 198701596 321908736 60703 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 78591 60703 1980 922 0 70543 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 314364 KiB
Current children cumulated memory: 242812 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.10 4.21 4.23 5/245 1050150
/proc/meminfo: memFree=126390908/131655788 swapFree=131071996/131071996
[pid=1048091] ppid=1048088 vsize=314364 memory=242812 CPUtime=3600.04 cores=5,7
/proc/1048091/stat : 1048091 (roundingsat) R 1048088 1048091 1043533 0 -1 4194304 39088 0 0 0 358373 1631 0 0 20 0 1 0 198701596 321908736 60703 134679101440 4194304 7968373 140725222333776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21463040 140725222335420 140725222335584 140725222335584 140725222342601 0
/proc/1048091/statm: 78591 60703 1980 922 0 70543 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 314364 KiB
Current children cumulated memory: 242812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 1048091 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.75 s, system=16.3215 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.07
CPU user time (s): 3583.75
CPU system time (s): 16.3215
CPU usage (%): 99.7467
Max. virtual memory (cumulated for all children) (KiB): 314364
Max. memory (cumulated for all children) (KiB): 242812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.75
system time used= 16.3215
maximum resident set size= 242812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 1879
# summary of solver processes directly reported to runsolver:
# pid: 1048091
# total CPU time (s): 3600.07
# total CPU user time (s): 3583.75
# total CPU system time (s): 16.3215
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.818 second user time and 35.6714 second system time
The end
Begin job on nodeC012 at 2024-07-20 10:50:59 IDJOB=4455420 IDBENCH=158488 IDSOLVER=3084 FILE ID=nodeC012/4455420-1721465447 RUNJOBID= nodeC012-1721458232-1043546 SLURM_JOB_ID= 7545700 Free space on /tmp= 723696 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455420-1721465447/watcher-4455420-1721465447 -o /tmp/evaluation-result-4455420-1721465447/solver-4455420-1721465447 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721458232-1043546 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455420-1721465447.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c86a302e56842e7d56f33820d48ef5a5 RANDOM SEED=611388338 nodeC012.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 : 3657.236 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 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 : 3532.759 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.32 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.529 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 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.497 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.32 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 : 3546.804 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.336 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.32 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.488 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 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.324 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.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126372980 kB MemAvailable: 127955780 kB Buffers: 555572 kB Cached: 1870476 kB SwapCached: 0 kB Active: 1193000 kB Inactive: 3528476 kB Active(anon): 1456 kB Inactive(anon): 2339536 kB Active(file): 1191544 kB Inactive(file): 1188940 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5528 kB Writeback: 0 kB AnonPages: 2292924 kB Mapped: 116444 kB Shmem: 45896 kB KReclaimable: 84692 kB Slab: 187904 kB SReclaimable: 84692 kB SUnreclaim: 103212 kB KernelStack: 3868 kB PageTables: 14020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2946080 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62240 kB HardwareCorrupted: 0 kB AnonHugePages: 1558528 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: 312136 kB DirectMap2M: 33146880 kB DirectMap1G: 102760448 kB Free space on /tmp at the end= 723752 MiB End job on nodeC012 at 2024-07-20 11:51:08