| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | -36 | 3600.1 | 3612.7 |
| 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.03 c bounds 325 >= -162 @ 0.004644 0.00/0.03 c rational objective -54 0.21/0.27 c bounds 2 >= -162 @ 0.045739 0.21/0.27 c bounds 2 >= -161 @ 0.045987 0.21/0.27 c bounds 2 >= -160 @ 0.046141 0.21/0.27 c bounds 2 >= -159 @ 0.04632 0.21/0.27 c bounds 2 >= -158 @ 0.046494 0.21/0.27 c bounds 2 >= -157 @ 0.04668 0.21/0.27 c bounds 2 >= -156 @ 0.046869 0.21/0.27 c bounds 2 >= -155 @ 0.04705 0.21/0.27 c bounds 2 >= -154 @ 0.047297 0.21/0.27 c bounds 2 >= -153 @ 0.047497 0.21/0.27 c bounds 2 >= -152 @ 0.047693 0.21/0.27 c bounds 2 >= -151 @ 0.047887 0.21/0.27 c bounds 2 >= -150 @ 0.048077 0.21/0.27 c bounds 2 >= -149 @ 0.048283 0.21/0.27 c bounds 2 >= -148 @ 0.048519 0.21/0.27 c bounds -3 >= -148 @ 0.048673 0.21/0.27 c bounds -3 >= -147 @ 0.048673 0.21/0.27 c bounds -3 >= -146 @ 0.048675 0.21/0.27 c bounds -3 >= -145 @ 0.048675 0.21/0.27 c bounds -3 >= -144 @ 0.048675 0.21/0.27 c bounds -3 >= -143 @ 0.048701 0.21/0.27 c bounds -3 >= -142 @ 0.049015 0.21/0.27 c bounds -3 >= -141 @ 0.049345 0.21/0.27 c bounds -3 >= -140 @ 0.049658 0.21/0.27 c bounds -3 >= -139 @ 0.049979 0.21/0.27 c bounds -3 >= -138 @ 0.050299 0.21/0.27 c bounds -3 >= -137 @ 0.050625 0.21/0.27 c bounds -3 >= -136 @ 0.050664 0.21/0.27 c bounds -3 >= -135 @ 0.050664 0.21/0.27 c bounds -3 >= -134 @ 0.050664 0.21/0.27 c bounds -4 >= -134 @ 0.050664 0.21/0.27 c bounds -4 >= -133 @ 0.050665 0.21/0.27 c bounds -4 >= -132 @ 0.050665 0.21/0.27 c bounds -4 >= -131 @ 0.050665 0.21/0.27 c bounds -4 >= -130 @ 0.050666 0.21/0.27 c bounds -4 >= -129 @ 0.050666 0.21/0.27 c bounds -4 >= -128 @ 0.050666 0.21/0.27 c bounds -4 >= -127 @ 0.050666 0.21/0.27 c bounds -4 >= -126 @ 0.050666 0.21/0.27 c bounds -4 >= -125 @ 0.050728 0.21/0.27 c bounds -4 >= -124 @ 0.051112 0.21/0.27 c bounds -4 >= -123 @ 0.051487 0.21/0.27 c bounds -5 >= -123 @ 0.053217 0.21/0.27 c bounds -5 >= -122 @ 0.05363 0.21/0.27 c bounds -5 >= -121 @ 0.054075 0.21/0.27 c bounds -5 >= -120 @ 0.054517 0.21/0.27 c bounds -5 >= -119 @ 0.054649 0.21/0.27 c bounds -5 >= -118 @ 0.054649 0.21/0.27 c bounds -5 >= -117 @ 0.054649 0.21/0.27 c bounds -5 >= -116 @ 0.054649 0.21/0.27 c bounds -5 >= -115 @ 0.054649 0.21/0.27 c bounds -5 >= -114 @ 0.054649 0.21/0.27 c bounds -5 >= -113 @ 0.054901 0.21/0.27 c bounds -5 >= -112 @ 0.055433 0.21/0.27 c bounds -5 >= -111 @ 0.055967 0.21/0.27 c bounds -7 >= -111 @ 0.056758 0.21/0.27 c bounds -7 >= -110 @ 0.057302 0.21/0.27 c bounds -7 >= -109 @ 0.057635 0.21/0.27 c bounds -7 >= -108 @ 0.057635 0.21/0.27 c bounds -7 >= -107 @ 0.057897 0.21/0.27 c bounds -7 >= -106 @ 0.058431 0.21/0.27 c bounds -7 >= -105 @ 0.058633 0.21/0.27 c bounds -8 >= -105 @ 0.058903 0.21/0.27 c bounds -8 >= -104 @ 0.059471 0.21/0.27 c bounds -8 >= -103 @ 0.05963 0.21/0.27 c bounds -8 >= -102 @ 0.05963 0.21/0.27 c bounds -8 >= -101 @ 0.05963 0.21/0.27 c bounds -8 >= -100 @ 0.059742 0.21/0.27 c bounds -8 >= -99 @ 0.06031 0.21/0.27 c bounds -8 >= -98 @ 0.060628 0.21/0.27 c bounds -9 >= -98 @ 0.060656 0.21/0.27 c bounds -9 >= -97 @ 0.061255 0.21/0.27 c bounds -9 >= -96 @ 0.061624 0.21/0.27 c bounds -9 >= -95 @ 0.061624 0.21/0.27 c bounds -9 >= -94 @ 0.061624 0.21/0.27 c bounds -9 >= -93 @ 0.061624 0.21/0.27 c bounds -10 >= -93 @ 0.062798 0.21/0.27 c bounds -10 >= -92 @ 0.063458 0.21/0.27 c bounds -10 >= -91 @ 0.063614 0.21/0.27 c bounds -10 >= -90 @ 0.063615 0.21/0.27 c bounds -10 >= -89 @ 0.063615 0.21/0.27 c bounds -10 >= -88 @ 0.063989 0.21/0.27 c bounds -10 >= -87 @ 0.064621 0.21/0.27 c bounds -13 >= -87 @ 0.065357 0.21/0.27 c bounds -13 >= -86 @ 0.065609 0.21/0.27 c bounds -13 >= -85 @ 0.065673 0.21/0.27 c bounds -13 >= -84 @ 0.066311 0.21/0.27 c bounds -13 >= -83 @ 0.067018 0.21/0.27 c bounds -13 >= -82 @ 0.067814 0.21/0.27 c bounds -13 >= -81 @ 0.068477 0.21/0.27 c bounds -14 >= -81 @ 0.068694 0.21/0.27 c bounds -14 >= -80 @ 0.069377 0.21/0.27 c bounds -14 >= -79 @ 0.070044 0.21/0.27 c bounds -14 >= -78 @ 0.070732 0.21/0.27 c bounds -14 >= -77 @ 0.071406 0.21/0.27 c bounds -14 >= -76 @ 0.071584 0.21/0.27 c bounds -14 >= -75 @ 0.071584 0.21/0.27 c bounds -14 >= -74 @ 0.071584 0.21/0.27 c bounds -19 >= -74 @ 0.072434 0.21/0.27 c bounds -19 >= -73 @ 0.072578 0.21/0.27 c bounds -19 >= -72 @ 0.072846 0.21/0.27 c bounds -19 >= -71 @ 0.073536 0.21/0.27 c bounds -19 >= -70 @ 0.073576 0.21/0.27 c bounds -19 >= -69 @ 0.073577 0.21/0.27 c bounds -21 >= -69 @ 0.073943 0.21/0.27 c bounds -21 >= -68 @ 0.083131 0.21/0.27 c bounds -21 >= -67 @ 0.084268 0.21/0.27 c bounds -21 >= -66 @ 0.085427 0.21/0.27 c bounds -22 >= -66 @ 0.090177 0.21/0.27 c bounds -22 >= -65 @ 0.090474 0.21/0.27 c bounds -22 >= -64 @ 0.090543 0.21/0.27 c bounds -22 >= -63 @ 0.091652 0.21/0.27 c bounds -22 >= -62 @ 0.092458 0.21/0.27 c bounds -22 >= -61 @ 0.092465 0.21/0.27 c bounds -22 >= -60 @ 0.092858 0.21/0.27 c bounds -22 >= -59 @ 0.093461 0.21/0.27 c bounds -22 >= -58 @ 0.093461 0.21/0.27 c bounds -22 >= -57 @ 0.093533 0.21/0.27 c bounds -22 >= -56 @ 0.094778 0.21/0.27 c bounds -22 >= -55 @ 0.095767 0.21/0.27 c bounds -24 >= -55 @ 0.096653 0.21/0.27 c bounds -24 >= -54 @ 0.097997 0.21/0.27 c bounds -24 >= -53 @ 0.099025 0.21/0.27 c bounds -26 >= -53 @ 0.099895 0.21/0.27 c bounds -26 >= -52 @ 0.100432 0.21/0.27 c bounds -27 >= -52 @ 0.103558 0.21/0.27 c bounds -27 >= -51 @ 0.104415 0.21/0.27 c bounds -27 >= -50 @ 0.105131 0.21/0.27 c bounds -28 >= -50 @ 0.10815 0.21/0.27 c bounds -28 >= -49 @ 0.109699 0.21/0.27 c bounds -28 >= -48 @ 0.118605 0.21/0.27 c bounds -29 >= -48 @ 0.144827 0.21/0.27 c bounds -29 >= -47 @ 0.176903 0.21/0.27 c bounds -30 >= -47 @ 0.200226 0.88/0.93 c bounds -30 >= -46 @ 0.246935 0.88/0.93 c bounds -31 >= -46 @ 0.248313 0.88/0.93 c #Conflicts: 1000 | #Constraints: 2329 0.88/0.93 c #Conflicts: 2000 | #Constraints: 3333 0.88/0.93 c INPROCESSING 0.88/0.93 c GARBAGE COLLECT 0.88/0.93 c rational objective -46 1.58/1.64 c bounds -31 >= -45 @ 1.07333 1.58/1.64 c #Conflicts: 3000 | #Constraints: 3212 1.58/1.64 c bounds -31 >= -44 @ 1.25236 1.58/1.64 c #Conflicts: 4000 | #Constraints: 4233 1.58/1.64 c INPROCESSING 1.58/1.64 c GARBAGE COLLECT 1.58/1.64 c rational objective -44 2.10/2.14 c bounds -32 >= -44 @ 1.55629 2.10/2.14 c #Conflicts: 5000 | #Constraints: 3648 2.10/2.14 c #Conflicts: 6000 | #Constraints: 4667 2.10/2.14 c INPROCESSING 2.10/2.14 c GARBAGE COLLECT 2.10/2.14 c rational objective -44 2.87/2.95 c #Conflicts: 7000 | #Constraints: 3649 2.87/2.95 c bounds -32 >= -43 @ 2.09981 2.87/2.95 c #Conflicts: 8000 | #Constraints: 4688 2.87/2.95 c #Conflicts: 9000 | #Constraints: 5688 2.87/2.95 c INPROCESSING 2.87/2.95 c GARBAGE COLLECT 2.87/2.95 c rational objective -43 3.37/3.45 c #Conflicts: 10000 | #Constraints: 4408 3.37/3.45 c #Conflicts: 11000 | #Constraints: 5420 3.37/3.45 c #Conflicts: 12000 | #Constraints: 6428 3.37/3.45 c INPROCESSING 3.37/3.45 c GARBAGE COLLECT 3.37/3.45 c rational objective -43 3.99/4.08 c #Conflicts: 13000 | #Constraints: 4862 3.99/4.08 c #Conflicts: 14000 | #Constraints: 5889 3.99/4.08 c #Conflicts: 15000 | #Constraints: 6916 3.99/4.08 c INPROCESSING 3.99/4.08 c GARBAGE COLLECT 3.99/4.08 c rational objective -43 4.77/4.89 c #Conflicts: 16000 | #Constraints: 5092 4.77/4.89 c bounds -32 >= -42 @ 4.30652 4.77/4.89 c #Conflicts: 17000 | #Constraints: 6125 4.77/4.89 c #Conflicts: 18000 | #Constraints: 7139 4.77/4.89 c INPROCESSING 4.77/4.89 c GARBAGE COLLECT 4.77/4.89 c rational objective -42 5.98/6.05 c #Conflicts: 19000 | #Constraints: 5135 5.98/6.05 c bounds -33 >= -42 @ 4.82305 5.98/6.05 c #Conflicts: 20000 | #Constraints: 6141 5.98/6.05 c #Conflicts: 21000 | #Constraints: 7141 5.98/6.05 c INPROCESSING 5.98/6.05 c GARBAGE COLLECT 5.98/6.05 c rational objective -42 9.96/10.08 c #Conflicts: 22000 | #Constraints: 4945 9.96/10.08 c bounds -34 >= -42 @ 5.87221 9.96/10.08 c #Conflicts: 23000 | #Constraints: 5956 9.96/10.08 c bounds -35 >= -42 @ 6.09738 9.96/10.08 c #Conflicts: 24000 | #Constraints: 6969 9.96/10.08 c #Conflicts: 25000 | #Constraints: 7983 9.96/10.08 c #Conflicts: 26000 | #Constraints: 9002 9.96/10.08 c #Conflicts: 27000 | #Constraints: 10032 9.96/10.08 c #Conflicts: 28000 | #Constraints: 11050 9.96/10.08 c #Conflicts: 29000 | #Constraints: 12063 9.96/10.08 c #Conflicts: 30000 | #Constraints: 13078 9.96/10.08 c #Conflicts: 31000 | #Constraints: 14091 9.96/10.08 c #Conflicts: 32000 | #Constraints: 15103 9.96/10.08 c #Conflicts: 33000 | #Constraints: 16117 9.96/10.08 c INPROCESSING 9.96/10.08 c GARBAGE COLLECT 9.96/10.08 c rational objective -42 13.24/13.37 c #Conflicts: 34000 | #Constraints: 9571 13.24/13.37 c #Conflicts: 35000 | #Constraints: 10571 13.24/13.37 c #Conflicts: 36000 | #Constraints: 11571 13.24/13.37 c #Conflicts: 37000 | #Constraints: 12571 13.24/13.37 c bounds -35 >= -41 @ 12.6402 13.24/13.37 c #Conflicts: 38000 | #Constraints: 13609 13.24/13.37 c INPROCESSING 13.24/13.37 c GARBAGE COLLECT 13.24/13.37 c rational objective -41 14.44/14.53 c #Conflicts: 39000 | #Constraints: 8473 14.44/14.53 c #Conflicts: 40000 | #Constraints: 9481 14.44/14.53 c #Conflicts: 41000 | #Constraints: 10494 14.44/14.53 c #Conflicts: 42000 | #Constraints: 11512 14.44/14.53 c INPROCESSING 14.44/14.53 c GARBAGE COLLECT 14.44/14.53 c rational objective -41 17.04/17.18 c #Conflicts: 43000 | #Constraints: 6983 17.04/17.18 c #Conflicts: 44000 | #Constraints: 7983 17.04/17.18 c #Conflicts: 45000 | #Constraints: 8983 17.04/17.18 c #Conflicts: 46000 | #Constraints: 9983 17.04/17.18 c #Conflicts: 47000 | #Constraints: 10983 17.04/17.18 c #Conflicts: 48000 | #Constraints: 11983 17.04/17.18 c INPROCESSING 17.04/17.18 c GARBAGE COLLECT 17.04/17.18 c rational objective -41 18.43/18.53 c #Conflicts: 49000 | #Constraints: 7713 18.43/18.53 c #Conflicts: 50000 | #Constraints: 8736 18.43/18.53 c #Conflicts: 51000 | #Constraints: 9753 18.43/18.53 c #Conflicts: 52000 | #Constraints: 10781 18.43/18.53 c #Conflicts: 53000 | #Constraints: 11802 18.43/18.53 c INPROCESSING 18.43/18.53 c GARBAGE COLLECT 18.43/18.53 c rational objective -41 19.94/20.08 c #Conflicts: 54000 | #Constraints: 7430 19.94/20.08 c #Conflicts: 55000 | #Constraints: 8444 19.94/20.08 c #Conflicts: 56000 | #Constraints: 9461 19.94/20.08 c #Conflicts: 57000 | #Constraints: 10478 19.94/20.08 c #Conflicts: 58000 | #Constraints: 11488 19.94/20.08 c INPROCESSING 19.94/20.08 c GARBAGE COLLECT 19.94/20.08 c rational objective -41 22.93/23.02 c #Conflicts: 59000 | #Constraints: 7017 22.93/23.02 c #Conflicts: 60000 | #Constraints: 8017 22.93/23.02 c #Conflicts: 61000 | #Constraints: 9017 22.93/23.02 c #Conflicts: 62000 | #Constraints: 10017 22.93/23.02 c #Conflicts: 63000 | #Constraints: 11017 22.93/23.02 c #Conflicts: 64000 | #Constraints: 12017 22.93/23.02 c INPROCESSING 22.93/23.02 c GARBAGE COLLECT 22.93/23.02 c rational objective -41 32.28/32.41 c #Conflicts: 65000 | #Constraints: 7455 32.28/32.41 c #Conflicts: 66000 | #Constraints: 8467 32.28/32.41 c #Conflicts: 67000 | #Constraints: 9483 32.28/32.41 c #Conflicts: 68000 | #Constraints: 10497 32.28/32.41 c #Conflicts: 69000 | #Constraints: 11506 32.28/32.41 c #Conflicts: 70000 | #Constraints: 12510 32.28/32.41 c #Conflicts: 71000 | #Constraints: 13518 32.28/32.41 c #Conflicts: 72000 | #Constraints: 14522 32.28/32.41 c #Conflicts: 73000 | #Constraints: 15528 32.28/32.41 c #Conflicts: 74000 | #Constraints: 16534 32.28/32.41 c #Conflicts: 75000 | #Constraints: 17542 32.28/32.41 c #Conflicts: 76000 | #Constraints: 18545 32.28/32.41 c #Conflicts: 77000 | #Constraints: 19551 32.28/32.41 c #Conflicts: 78000 | #Constraints: 20563 32.28/32.41 c #Conflicts: 79000 | #Constraints: 21573 32.28/32.41 c #Conflicts: 80000 | #Constraints: 22599 32.28/32.41 c #Conflicts: 81000 | #Constraints: 23609 32.28/32.41 c #Conflicts: 82000 | #Constraints: 24617 32.28/32.41 c #Conflicts: 83000 | #Constraints: 25619 32.28/32.41 c #Conflicts: 84000 | #Constraints: 26621 32.28/32.42 c INPROCESSING 32.28/32.42 c GARBAGE COLLECT 32.28/32.42 c rational objective -41 41.65/41.88 c #Conflicts: 85000 | #Constraints: 14598 41.65/41.88 c #Conflicts: 86000 | #Constraints: 15598 41.65/41.88 c #Conflicts: 87000 | #Constraints: 16598 41.65/41.88 c #Conflicts: 88000 | #Constraints: 17598 41.65/41.88 c #Conflicts: 89000 | #Constraints: 18598 41.65/41.88 c #Conflicts: 90000 | #Constraints: 19598 41.65/41.88 c #Conflicts: 91000 | #Constraints: 20598 41.65/41.88 c bounds -35 >= -40 @ 40.5732 41.65/41.88 c INPROCESSING 41.65/41.88 c GARBAGE COLLECT 41.65/41.88 c rational objective -40 43.96/44.14 c #Conflicts: 92000 | #Constraints: 11606 43.96/44.14 c #Conflicts: 93000 | #Constraints: 12612 43.96/44.14 c #Conflicts: 94000 | #Constraints: 13622 43.96/44.14 c #Conflicts: 95000 | #Constraints: 14626 43.96/44.14 c #Conflicts: 96000 | #Constraints: 15635 43.96/44.14 c #Conflicts: 97000 | #Constraints: 16658 43.96/44.14 c #Conflicts: 98000 | #Constraints: 17670 43.96/44.14 c #Conflicts: 99000 | #Constraints: 18680 43.96/44.14 c INPROCESSING 43.96/44.14 c GARBAGE COLLECT 43.96/44.14 c rational objective -40 49.42/49.61 c #Conflicts: 100000 | #Constraints: 11030 49.42/49.61 c #Conflicts: 101000 | #Constraints: 12030 49.42/49.61 c #Conflicts: 102000 | #Constraints: 13030 49.42/49.61 c #Conflicts: 103000 | #Constraints: 14030 49.42/49.61 c #Conflicts: 104000 | #Constraints: 15030 49.42/49.61 c #Conflicts: 105000 | #Constraints: 16030 49.42/49.61 c #Conflicts: 106000 | #Constraints: 17030 49.42/49.61 c INPROCESSING 49.42/49.61 c GARBAGE COLLECT 49.42/49.61 c rational objective -40 52.32/52.53 c #Conflicts: 107000 | #Constraints: 10038 52.32/52.53 c #Conflicts: 108000 | #Constraints: 11045 52.32/52.53 c #Conflicts: 109000 | #Constraints: 12055 52.32/52.53 c #Conflicts: 110000 | #Constraints: 13068 52.32/52.53 c #Conflicts: 111000 | #Constraints: 14076 52.32/52.53 c #Conflicts: 112000 | #Constraints: 15081 52.32/52.53 c #Conflicts: 113000 | #Constraints: 16086 52.32/52.53 c #Conflicts: 114000 | #Constraints: 17093 52.32/52.53 c INPROCESSING 52.32/52.53 c GARBAGE COLLECT 52.32/52.53 c rational objective -40 55.20/55.41 c #Conflicts: 115000 | #Constraints: 10245 55.20/55.41 c #Conflicts: 116000 | #Constraints: 11252 55.20/55.41 c #Conflicts: 117000 | #Constraints: 12257 55.20/55.41 c #Conflicts: 118000 | #Constraints: 13263 55.20/55.41 c #Conflicts: 119000 | #Constraints: 14269 55.20/55.41 c #Conflicts: 120000 | #Constraints: 15276 55.20/55.41 c #Conflicts: 121000 | #Constraints: 16283 55.20/55.41 c INPROCESSING 55.20/55.41 c GARBAGE COLLECT 55.20/55.41 c rational objective -40 60.80/61.02 c #Conflicts: 122000 | #Constraints: 9434 60.80/61.02 c #Conflicts: 123000 | #Constraints: 10434 60.80/61.02 c #Conflicts: 124000 | #Constraints: 11434 60.80/61.02 c #Conflicts: 125000 | #Constraints: 12434 60.80/61.02 c #Conflicts: 126000 | #Constraints: 13434 60.80/61.02 c #Conflicts: 127000 | #Constraints: 14434 60.80/61.02 c #Conflicts: 128000 | #Constraints: 15434 60.80/61.02 c #Conflicts: 129000 | #Constraints: 16434 60.80/61.02 c INPROCESSING 60.80/61.02 c GARBAGE COLLECT 60.80/61.02 c rational objective -40 83.51/83.80 c #Conflicts: 130000 | #Constraints: 9538 83.51/83.80 c #Conflicts: 131000 | #Constraints: 10552 83.51/83.80 c #Conflicts: 132000 | #Constraints: 11565 83.51/83.80 c #Conflicts: 133000 | #Constraints: 12574 83.51/83.80 c #Conflicts: 134000 | #Constraints: 13585 83.51/83.80 c #Conflicts: 135000 | #Constraints: 14592 83.51/83.80 c #Conflicts: 136000 | #Constraints: 15609 83.51/83.80 c #Conflicts: 137000 | #Constraints: 16634 83.51/83.80 c #Conflicts: 138000 | #Constraints: 17654 83.51/83.80 c #Conflicts: 139000 | #Constraints: 18661 83.51/83.80 c #Conflicts: 140000 | #Constraints: 19674 83.51/83.80 c #Conflicts: 141000 | #Constraints: 20680 83.51/83.80 c #Conflicts: 142000 | #Constraints: 21699 83.51/83.80 c #Conflicts: 143000 | #Constraints: 22708 83.51/83.80 c #Conflicts: 144000 | #Constraints: 23720 83.51/83.80 c #Conflicts: 145000 | #Constraints: 24732 83.51/83.80 c #Conflicts: 146000 | #Constraints: 25744 83.51/83.80 c #Conflicts: 147000 | #Constraints: 26763 83.51/83.80 c #Conflicts: 148000 | #Constraints: 27775 83.51/83.80 c #Conflicts: 149000 | #Constraints: 28781 83.51/83.80 c #Conflicts: 150000 | #Constraints: 29785 83.51/83.80 c #Conflicts: 151000 | #Constraints: 30793 83.51/83.80 c #Conflicts: 152000 | #Constraints: 31800 83.51/83.80 c #Conflicts: 153000 | #Constraints: 32807 83.51/83.80 c #Conflicts: 154000 | #Constraints: 33823 83.51/83.80 c #Conflicts: 155000 | #Constraints: 34842 83.51/83.80 c #Conflicts: 156000 | #Constraints: 35848 83.51/83.80 c #Conflicts: 157000 | #Constraints: 36856 83.51/83.80 c #Conflicts: 158000 | #Constraints: 37864 83.51/83.80 c INPROCESSING 83.51/83.80 c GARBAGE COLLECT 83.51/83.80 c rational objective -40 107.83/108.27 c #Conflicts: 159000 | #Constraints: 20269 107.83/108.27 c #Conflicts: 160000 | #Constraints: 21269 107.83/108.27 c #Conflicts: 161000 | #Constraints: 22269 107.83/108.27 c #Conflicts: 162000 | #Constraints: 23269 107.83/108.27 c #Conflicts: 163000 | #Constraints: 24269 107.83/108.27 c #Conflicts: 164000 | #Constraints: 25269 107.83/108.27 c #Conflicts: 165000 | #Constraints: 26269 107.83/108.27 c #Conflicts: 166000 | #Constraints: 27269 107.83/108.27 c #Conflicts: 167000 | #Constraints: 28269 107.83/108.27 c #Conflicts: 168000 | #Constraints: 29269 107.83/108.27 c INPROCESSING 107.83/108.27 c GARBAGE COLLECT 107.83/108.27 c rational objective -40 112.01/112.49 c #Conflicts: 169000 | #Constraints: 16373 112.01/112.49 c #Conflicts: 170000 | #Constraints: 17392 112.01/112.49 c #Conflicts: 171000 | #Constraints: 18407 112.01/112.49 c #Conflicts: 172000 | #Constraints: 19417 112.01/112.49 c #Conflicts: 173000 | #Constraints: 20431 112.01/112.49 c #Conflicts: 174000 | #Constraints: 21442 112.01/112.49 c #Conflicts: 175000 | #Constraints: 22453 112.01/112.49 c #Conflicts: 176000 | #Constraints: 23465 112.01/112.49 c #Conflicts: 177000 | #Constraints: 24472 112.01/112.49 c INPROCESSING 112.01/112.49 c GARBAGE COLLECT 112.01/112.49 c rational objective -40 116.00/116.44 c #Conflicts: 178000 | #Constraints: 13685 116.00/116.44 c #Conflicts: 179000 | #Constraints: 14713 116.00/116.44 c #Conflicts: 180000 | #Constraints: 15729 116.00/116.44 c #Conflicts: 181000 | #Constraints: 16755 116.00/116.44 c #Conflicts: 182000 | #Constraints: 17773 116.00/116.44 c #Conflicts: 183000 | #Constraints: 18789 116.00/116.44 c #Conflicts: 184000 | #Constraints: 19816 116.00/116.44 c #Conflicts: 185000 | #Constraints: 20849 116.00/116.44 c #Conflicts: 186000 | #Constraints: 21869 116.00/116.44 c #Conflicts: 187000 | #Constraints: 22897 116.00/116.44 c INPROCESSING 116.00/116.44 c GARBAGE COLLECT 116.00/116.44 c rational objective -40 125.47/125.96 c #Conflicts: 188000 | #Constraints: 13041 125.47/125.96 c #Conflicts: 189000 | #Constraints: 14041 125.47/125.96 c #Conflicts: 190000 | #Constraints: 15041 125.47/125.96 c #Conflicts: 191000 | #Constraints: 16041 125.47/125.96 c #Conflicts: 192000 | #Constraints: 17041 125.47/125.96 c #Conflicts: 193000 | #Constraints: 18041 125.47/125.96 c #Conflicts: 194000 | #Constraints: 19041 125.47/125.96 c #Conflicts: 195000 | #Constraints: 20041 125.47/125.96 c #Conflicts: 196000 | #Constraints: 21041 125.47/125.96 c #Conflicts: 197000 | #Constraints: 22041 125.47/125.96 c INPROCESSING 125.47/125.96 c GARBAGE COLLECT 125.47/125.96 c rational objective -40 129.66/130.13 c #Conflicts: 198000 | #Constraints: 12715 129.66/130.13 c #Conflicts: 199000 | #Constraints: 13750 129.66/130.13 c #Conflicts: 200000 | #Constraints: 14781 129.66/130.13 c #Conflicts: 201000 | #Constraints: 15801 129.66/130.13 c #Conflicts: 202000 | #Constraints: 16813 129.66/130.13 c #Conflicts: 203000 | #Constraints: 17829 129.66/130.13 c #Conflicts: 204000 | #Constraints: 18852 129.66/130.13 c #Conflicts: 205000 | #Constraints: 19868 129.66/130.13 c #Conflicts: 206000 | #Constraints: 20883 129.66/130.13 c #Conflicts: 207000 | #Constraints: 21887 129.66/130.13 c INPROCESSING 129.66/130.13 c GARBAGE COLLECT 129.66/130.13 c rational objective -40 133.56/134.11 c #Conflicts: 208000 | #Constraints: 12557 133.56/134.11 c #Conflicts: 209000 | #Constraints: 13589 133.56/134.11 c #Conflicts: 210000 | #Constraints: 14617 133.56/134.11 c #Conflicts: 211000 | #Constraints: 15639 133.56/134.11 c #Conflicts: 212000 | #Constraints: 16666 133.56/134.11 c #Conflicts: 213000 | #Constraints: 17673 133.56/134.11 c #Conflicts: 214000 | #Constraints: 18680 133.56/134.11 c #Conflicts: 215000 | #Constraints: 19686 133.56/134.11 c #Conflicts: 216000 | #Constraints: 20694 133.56/134.11 c #Conflicts: 217000 | #Constraints: 21701 133.56/134.11 c INPROCESSING 133.56/134.11 c GARBAGE COLLECT 133.56/134.11 c rational objective -40 143.41/143.93 c #Conflicts: 218000 | #Constraints: 12296 143.41/143.93 c #Conflicts: 219000 | #Constraints: 13296 143.41/143.93 c #Conflicts: 220000 | #Constraints: 14296 143.41/143.93 c #Conflicts: 221000 | #Constraints: 15296 143.41/143.93 c #Conflicts: 222000 | #Constraints: 16296 143.41/143.93 c #Conflicts: 223000 | #Constraints: 17296 143.41/143.93 c #Conflicts: 224000 | #Constraints: 18296 143.41/143.93 c #Conflicts: 225000 | #Constraints: 19296 143.41/143.93 c #Conflicts: 226000 | #Constraints: 20296 143.41/143.93 c #Conflicts: 227000 | #Constraints: 21296 143.41/143.93 c #Conflicts: 228000 | #Constraints: 22296 143.41/143.93 c INPROCESSING 143.41/143.93 c GARBAGE COLLECT 143.41/143.93 c rational objective -40 149.28/149.87 c #Conflicts: 229000 | #Constraints: 12882 149.28/149.87 c #Conflicts: 230000 | #Constraints: 13884 149.28/149.87 c #Conflicts: 231000 | #Constraints: 14895 149.28/149.87 c #Conflicts: 232000 | #Constraints: 15912 149.28/149.87 c #Conflicts: 233000 | #Constraints: 16927 149.28/149.87 c #Conflicts: 234000 | #Constraints: 17949 149.28/149.87 c #Conflicts: 235000 | #Constraints: 18966 149.28/149.87 c #Conflicts: 236000 | #Constraints: 19977 149.28/149.87 c #Conflicts: 237000 | #Constraints: 20995 149.28/149.87 c #Conflicts: 238000 | #Constraints: 22013 149.28/149.87 c INPROCESSING 149.28/149.87 c GARBAGE COLLECT 149.28/149.87 c rational objective -40 154.96/155.57 c #Conflicts: 239000 | #Constraints: 12351 154.96/155.57 c #Conflicts: 240000 | #Constraints: 13369 154.96/155.57 c #Conflicts: 241000 | #Constraints: 14380 154.96/155.57 c #Conflicts: 242000 | #Constraints: 15392 154.96/155.57 c #Conflicts: 243000 | #Constraints: 16398 154.96/155.57 c #Conflicts: 244000 | #Constraints: 17406 154.96/155.57 c #Conflicts: 245000 | #Constraints: 18423 154.96/155.57 c #Conflicts: 246000 | #Constraints: 19435 154.96/155.57 c #Conflicts: 247000 | #Constraints: 20447 154.96/155.57 c #Conflicts: 248000 | #Constraints: 21456 154.96/155.57 c #Conflicts: 249000 | #Constraints: 22474 154.96/155.57 c INPROCESSING 154.96/155.57 c GARBAGE COLLECT 154.96/155.57 c rational objective -40 166.33/166.99 c #Conflicts: 250000 | #Constraints: 12639 166.33/166.99 c #Conflicts: 251000 | #Constraints: 13639 166.33/166.99 c #Conflicts: 252000 | #Constraints: 14639 166.33/166.99 c #Conflicts: 253000 | #Constraints: 15639 166.33/166.99 c #Conflicts: 254000 | #Constraints: 16639 166.33/166.99 c #Conflicts: 255000 | #Constraints: 17639 166.33/166.99 c #Conflicts: 256000 | #Constraints: 18639 166.33/166.99 c #Conflicts: 257000 | #Constraints: 19639 166.33/166.99 c #Conflicts: 258000 | #Constraints: 20639 166.33/166.99 c #Conflicts: 259000 | #Constraints: 21639 166.33/166.99 c #Conflicts: 260000 | #Constraints: 22639 166.33/166.99 c INPROCESSING 166.33/166.99 c GARBAGE COLLECT 166.33/166.99 c rational objective -40 222.94/223.74 c #Conflicts: 261000 | #Constraints: 12695 222.94/223.74 c #Conflicts: 262000 | #Constraints: 13713 222.94/223.74 c #Conflicts: 263000 | #Constraints: 14735 222.94/223.74 c #Conflicts: 264000 | #Constraints: 15749 222.94/223.74 c #Conflicts: 265000 | #Constraints: 16758 222.94/223.74 c #Conflicts: 266000 | #Constraints: 17773 222.94/223.74 c #Conflicts: 267000 | #Constraints: 18786 222.94/223.74 c #Conflicts: 268000 | #Constraints: 19802 222.94/223.74 c #Conflicts: 269000 | #Constraints: 20824 222.94/223.74 c #Conflicts: 270000 | #Constraints: 21842 222.94/223.74 c #Conflicts: 271000 | #Constraints: 22856 222.94/223.74 c #Conflicts: 272000 | #Constraints: 23873 222.94/223.74 c #Conflicts: 273000 | #Constraints: 24895 222.94/223.74 c #Conflicts: 274000 | #Constraints: 25908 222.94/223.74 c #Conflicts: 275000 | #Constraints: 26915 222.94/223.74 c #Conflicts: 276000 | #Constraints: 27927 222.94/223.74 c #Conflicts: 277000 | #Constraints: 28937 222.94/223.74 c #Conflicts: 278000 | #Constraints: 29946 222.94/223.74 c #Conflicts: 279000 | #Constraints: 30964 222.94/223.74 c #Conflicts: 280000 | #Constraints: 31972 222.94/223.74 c #Conflicts: 281000 | #Constraints: 32985 222.94/223.74 c #Conflicts: 282000 | #Constraints: 34009 222.94/223.74 c #Conflicts: 283000 | #Constraints: 35031 222.94/223.74 c #Conflicts: 284000 | #Constraints: 36050 222.94/223.74 c #Conflicts: 285000 | #Constraints: 37056 222.94/223.74 c #Conflicts: 286000 | #Constraints: 38069 222.94/223.74 c #Conflicts: 287000 | #Constraints: 39088 222.94/223.74 c #Conflicts: 288000 | #Constraints: 40103 222.94/223.74 c #Conflicts: 289000 | #Constraints: 41117 222.94/223.74 c #Conflicts: 290000 | #Constraints: 42133 222.94/223.74 c #Conflicts: 291000 | #Constraints: 43152 222.94/223.74 c #Conflicts: 292000 | #Constraints: 44165 222.94/223.74 c #Conflicts: 293000 | #Constraints: 45182 222.94/223.74 c #Conflicts: 294000 | #Constraints: 46190 222.94/223.74 c #Conflicts: 295000 | #Constraints: 47197 222.94/223.74 c #Conflicts: 296000 | #Constraints: 48200 222.94/223.74 c #Conflicts: 297000 | #Constraints: 49206 222.94/223.74 c #Conflicts: 298000 | #Constraints: 50209 222.94/223.74 c #Conflicts: 299000 | #Constraints: 51218 222.94/223.74 c #Conflicts: 300000 | #Constraints: 52229 222.94/223.74 c #Conflicts: 301000 | #Constraints: 53248 222.94/223.74 c #Conflicts: 302000 | #Constraints: 54266 222.94/223.74 c INPROCESSING 222.94/223.74 c GARBAGE COLLECT 222.94/223.74 c rational objective -40 268.68/269.66 c #Conflicts: 303000 | #Constraints: 28538 268.68/269.66 c #Conflicts: 304000 | #Constraints: 29538 268.68/269.66 c #Conflicts: 305000 | #Constraints: 30538 268.68/269.66 c #Conflicts: 306000 | #Constraints: 31538 268.68/269.66 c #Conflicts: 307000 | #Constraints: 32538 268.68/269.66 c #Conflicts: 308000 | #Constraints: 33538 268.68/269.66 c #Conflicts: 309000 | #Constraints: 34538 268.68/269.66 c #Conflicts: 310000 | #Constraints: 35538 268.68/269.66 c #Conflicts: 311000 | #Constraints: 36538 268.68/269.66 c #Conflicts: 312000 | #Constraints: 37538 268.68/269.66 c #Conflicts: 313000 | #Constraints: 38538 268.68/269.66 c #Conflicts: 314000 | #Constraints: 39538 268.68/269.66 c #Conflicts: 315000 | #Constraints: 40538 268.68/269.66 c INPROCESSING 268.68/269.66 c GARBAGE COLLECT 268.68/269.66 c rational objective -40 292.40/293.48 c bounds -35 >= -39 @ 265.487 292.40/293.48 c #Conflicts: 316000 | #Constraints: 22034 292.40/293.48 c #Conflicts: 317000 | #Constraints: 23034 292.40/293.48 c #Conflicts: 318000 | #Constraints: 24034 292.40/293.48 c #Conflicts: 319000 | #Constraints: 25034 292.40/293.48 c #Conflicts: 320000 | #Constraints: 26034 292.40/293.48 c #Conflicts: 321000 | #Constraints: 27034 292.40/293.48 c #Conflicts: 322000 | #Constraints: 28034 292.40/293.48 c #Conflicts: 323000 | #Constraints: 29034 292.40/293.48 c #Conflicts: 324000 | #Constraints: 30034 292.40/293.48 c #Conflicts: 325000 | #Constraints: 31034 292.40/293.48 c #Conflicts: 326000 | #Constraints: 32034 292.40/293.48 c #Conflicts: 327000 | #Constraints: 33034 292.40/293.48 c INPROCESSING 292.40/293.48 c GARBAGE COLLECT 292.40/293.48 c rational objective -39 301.57/302.65 c #Conflicts: 328000 | #Constraints: 17966 301.57/302.65 c #Conflicts: 329000 | #Constraints: 18978 301.57/302.65 c #Conflicts: 330000 | #Constraints: 19991 301.57/302.65 c #Conflicts: 331000 | #Constraints: 21004 301.57/302.65 c #Conflicts: 332000 | #Constraints: 22012 301.57/302.65 c #Conflicts: 333000 | #Constraints: 23028 301.57/302.65 c #Conflicts: 334000 | #Constraints: 24039 301.57/302.65 c #Conflicts: 335000 | #Constraints: 25059 301.57/302.65 c #Conflicts: 336000 | #Constraints: 26078 301.57/302.65 c #Conflicts: 337000 | #Constraints: 27091 301.57/302.65 c #Conflicts: 338000 | #Constraints: 28093 301.57/302.65 c #Conflicts: 339000 | #Constraints: 29106 301.57/302.65 c #Conflicts: 340000 | #Constraints: 30120 301.57/302.65 c INPROCESSING 301.57/302.65 c GARBAGE COLLECT 301.57/302.65 c rational objective -39 310.14/311.27 c #Conflicts: 341000 | #Constraints: 16585 310.14/311.27 c #Conflicts: 342000 | #Constraints: 17595 310.14/311.27 c #Conflicts: 343000 | #Constraints: 18600 310.14/311.27 c #Conflicts: 344000 | #Constraints: 19607 310.14/311.27 c #Conflicts: 345000 | #Constraints: 20617 310.14/311.27 c #Conflicts: 346000 | #Constraints: 21629 310.14/311.27 c #Conflicts: 347000 | #Constraints: 22649 310.14/311.27 c #Conflicts: 348000 | #Constraints: 23677 310.14/311.27 c #Conflicts: 349000 | #Constraints: 24693 310.14/311.27 c #Conflicts: 350000 | #Constraints: 25716 310.14/311.27 c #Conflicts: 351000 | #Constraints: 26742 310.14/311.27 c #Conflicts: 352000 | #Constraints: 27757 310.14/311.27 c #Conflicts: 353000 | #Constraints: 28762 310.14/311.27 c INPROCESSING 310.14/311.27 c GARBAGE COLLECT 310.14/311.27 c rational objective -39 327.28/328.49 c #Conflicts: 354000 | #Constraints: 15899 327.28/328.49 c #Conflicts: 355000 | #Constraints: 16899 327.28/328.49 c #Conflicts: 356000 | #Constraints: 17899 327.28/328.49 c #Conflicts: 357000 | #Constraints: 18899 327.28/328.49 c #Conflicts: 358000 | #Constraints: 19899 327.28/328.49 c #Conflicts: 359000 | #Constraints: 20899 327.28/328.49 c #Conflicts: 360000 | #Constraints: 21899 327.28/328.49 c #Conflicts: 361000 | #Constraints: 22899 327.28/328.49 c #Conflicts: 362000 | #Constraints: 23899 327.28/328.49 c #Conflicts: 363000 | #Constraints: 24899 327.28/328.49 c #Conflicts: 364000 | #Constraints: 25899 327.28/328.49 c #Conflicts: 365000 | #Constraints: 26899 327.28/328.49 c #Conflicts: 366000 | #Constraints: 27899 327.28/328.49 c INPROCESSING 327.28/328.49 c GARBAGE COLLECT 327.28/328.49 c rational objective -39 410.61/412.01 c #Conflicts: 367000 | #Constraints: 15399 410.61/412.01 c #Conflicts: 368000 | #Constraints: 16414 410.61/412.01 c #Conflicts: 369000 | #Constraints: 17434 410.61/412.01 c #Conflicts: 370000 | #Constraints: 18459 410.61/412.01 c #Conflicts: 371000 | #Constraints: 19491 410.61/412.01 c #Conflicts: 372000 | #Constraints: 20530 410.61/412.01 c #Conflicts: 373000 | #Constraints: 21567 410.61/412.01 c #Conflicts: 374000 | #Constraints: 22598 410.61/412.01 c #Conflicts: 375000 | #Constraints: 23627 410.61/412.01 c #Conflicts: 376000 | #Constraints: 24654 410.61/412.01 c #Conflicts: 377000 | #Constraints: 25681 410.61/412.01 c #Conflicts: 378000 | #Constraints: 26709 410.61/412.01 c #Conflicts: 379000 | #Constraints: 27729 410.61/412.01 c #Conflicts: 380000 | #Constraints: 28746 410.61/412.01 c #Conflicts: 381000 | #Constraints: 29761 410.61/412.01 c #Conflicts: 382000 | #Constraints: 30769 410.61/412.01 c #Conflicts: 383000 | #Constraints: 31790 410.61/412.01 c #Conflicts: 384000 | #Constraints: 32809 410.61/412.01 c #Conflicts: 385000 | #Constraints: 33831 410.61/412.01 c #Conflicts: 386000 | #Constraints: 34860 410.61/412.01 c #Conflicts: 387000 | #Constraints: 35874 410.61/412.01 c #Conflicts: 388000 | #Constraints: 36888 410.61/412.01 c #Conflicts: 389000 | #Constraints: 37903 410.61/412.01 c #Conflicts: 390000 | #Constraints: 38915 410.61/412.01 c #Conflicts: 391000 | #Constraints: 39927 410.61/412.01 c #Conflicts: 392000 | #Constraints: 40938 410.61/412.01 c #Conflicts: 393000 | #Constraints: 41951 410.61/412.01 c #Conflicts: 394000 | #Constraints: 42961 410.61/412.01 c #Conflicts: 395000 | #Constraints: 43976 410.61/412.01 c #Conflicts: 396000 | #Constraints: 44994 410.61/412.01 c #Conflicts: 397000 | #Constraints: 46011 410.61/412.01 c #Conflicts: 398000 | #Constraints: 47015 410.61/412.01 c #Conflicts: 399000 | #Constraints: 48027 410.61/412.01 c #Conflicts: 400000 | #Constraints: 49038 410.61/412.01 c #Conflicts: 401000 | #Constraints: 50053 410.61/412.01 c #Conflicts: 402000 | #Constraints: 51060 410.61/412.01 c #Conflicts: 403000 | #Constraints: 52072 410.61/412.01 c #Conflicts: 404000 | #Constraints: 53086 410.61/412.01 c #Conflicts: 405000 | #Constraints: 54111 410.61/412.01 c #Conflicts: 406000 | #Constraints: 55120 410.61/412.01 c #Conflicts: 407000 | #Constraints: 56132 410.61/412.01 c #Conflicts: 408000 | #Constraints: 57141 410.61/412.01 c #Conflicts: 409000 | #Constraints: 58155 410.61/412.01 c #Conflicts: 410000 | #Constraints: 59162 410.61/412.01 c #Conflicts: 411000 | #Constraints: 60172 410.61/412.01 c #Conflicts: 412000 | #Constraints: 61188 410.61/412.01 c #Conflicts: 413000 | #Constraints: 62215 410.61/412.01 c #Conflicts: 414000 | #Constraints: 63230 410.61/412.01 c #Conflicts: 415000 | #Constraints: 64248 410.61/412.01 c #Conflicts: 416000 | #Constraints: 65274 410.61/412.01 c INPROCESSING 410.61/412.01 c GARBAGE COLLECT 410.61/412.01 c rational objective -39 489.02/490.78 c #Conflicts: 417000 | #Constraints: 34351 489.02/490.78 c #Conflicts: 418000 | #Constraints: 35351 489.02/490.78 c #Conflicts: 419000 | #Constraints: 36351 489.02/490.78 c #Conflicts: 420000 | #Constraints: 37351 489.02/490.78 c #Conflicts: 421000 | #Constraints: 38351 489.02/490.78 c #Conflicts: 422000 | #Constraints: 39351 489.02/490.78 c #Conflicts: 423000 | #Constraints: 40351 489.02/490.78 c #Conflicts: 424000 | #Constraints: 41351 489.02/490.78 c #Conflicts: 425000 | #Constraints: 42351 489.02/490.78 c #Conflicts: 426000 | #Constraints: 43351 489.02/490.78 c #Conflicts: 427000 | #Constraints: 44351 489.02/490.78 c #Conflicts: 428000 | #Constraints: 45351 489.02/490.78 c #Conflicts: 429000 | #Constraints: 46351 489.02/490.78 c #Conflicts: 430000 | #Constraints: 47351 489.02/490.78 c INPROCESSING 489.02/490.78 c GARBAGE COLLECT 489.02/490.78 c rational objective -39 521.82/523.60 c #Conflicts: 431000 | #Constraints: 25189 521.82/523.60 c #Conflicts: 432000 | #Constraints: 26189 521.82/523.60 c #Conflicts: 433000 | #Constraints: 27189 521.82/523.60 c #Conflicts: 434000 | #Constraints: 28189 521.82/523.60 c #Conflicts: 435000 | #Constraints: 29189 521.82/523.60 c #Conflicts: 436000 | #Constraints: 30189 521.82/523.60 c #Conflicts: 437000 | #Constraints: 31189 521.82/523.60 c #Conflicts: 438000 | #Constraints: 32189 521.82/523.60 c #Conflicts: 439000 | #Constraints: 33189 521.82/523.60 c #Conflicts: 440000 | #Constraints: 34189 521.82/523.60 c #Conflicts: 441000 | #Constraints: 35189 521.82/523.60 c #Conflicts: 442000 | #Constraints: 36189 521.82/523.60 c #Conflicts: 443000 | #Constraints: 37189 521.82/523.60 c #Conflicts: 444000 | #Constraints: 38189 521.82/523.60 c #Conflicts: 445000 | #Constraints: 39189 521.82/523.60 c INPROCESSING 521.82/523.60 c GARBAGE COLLECT 521.82/523.60 c rational objective -39 533.08/534.99 c #Conflicts: 446000 | #Constraints: 21233 533.08/534.99 c #Conflicts: 447000 | #Constraints: 22265 533.08/534.99 c #Conflicts: 448000 | #Constraints: 23281 533.08/534.99 c #Conflicts: 449000 | #Constraints: 24298 533.08/534.99 c #Conflicts: 450000 | #Constraints: 25318 533.08/534.99 c #Conflicts: 451000 | #Constraints: 26340 533.08/534.99 c #Conflicts: 452000 | #Constraints: 27355 533.08/534.99 c #Conflicts: 453000 | #Constraints: 28373 533.08/534.99 c #Conflicts: 454000 | #Constraints: 29391 533.08/534.99 c #Conflicts: 455000 | #Constraints: 30409 533.08/534.99 c #Conflicts: 456000 | #Constraints: 31434 533.08/534.99 c #Conflicts: 457000 | #Constraints: 32464 533.08/534.99 c #Conflicts: 458000 | #Constraints: 33493 533.08/534.99 c #Conflicts: 459000 | #Constraints: 34521 533.08/534.99 c #Conflicts: 460000 | #Constraints: 35544 533.08/534.99 c INPROCESSING 533.08/534.99 c GARBAGE COLLECT 533.08/534.99 c rational objective -39 545.15/547.10 c #Conflicts: 461000 | #Constraints: 19463 545.15/547.10 c #Conflicts: 462000 | #Constraints: 20485 545.15/547.10 c #Conflicts: 463000 | #Constraints: 21510 545.15/547.10 c #Conflicts: 464000 | #Constraints: 22534 545.15/547.10 c #Conflicts: 465000 | #Constraints: 23554 545.15/547.10 c #Conflicts: 466000 | #Constraints: 24575 545.15/547.10 c #Conflicts: 467000 | #Constraints: 25589 545.15/547.10 c #Conflicts: 468000 | #Constraints: 26608 545.15/547.10 c #Conflicts: 469000 | #Constraints: 27628 545.15/547.10 c #Conflicts: 470000 | #Constraints: 28654 545.15/547.10 c #Conflicts: 471000 | #Constraints: 29685 545.15/547.10 c #Conflicts: 472000 | #Constraints: 30709 545.15/547.10 c #Conflicts: 473000 | #Constraints: 31738 545.15/547.10 c #Conflicts: 474000 | #Constraints: 32758 545.15/547.10 c #Conflicts: 475000 | #Constraints: 33773 545.15/547.10 c INPROCESSING 545.15/547.10 c GARBAGE COLLECT 545.15/547.10 c rational objective -39 571.35/573.33 c #Conflicts: 476000 | #Constraints: 18497 571.35/573.33 c #Conflicts: 477000 | #Constraints: 19497 571.35/573.33 c #Conflicts: 478000 | #Constraints: 20497 571.35/573.33 c #Conflicts: 479000 | #Constraints: 21497 571.35/573.33 c #Conflicts: 480000 | #Constraints: 22497 571.35/573.33 c #Conflicts: 481000 | #Constraints: 23497 571.35/573.33 c #Conflicts: 482000 | #Constraints: 24497 571.35/573.33 c #Conflicts: 483000 | #Constraints: 25497 571.35/573.33 c #Conflicts: 484000 | #Constraints: 26497 571.35/573.33 c #Conflicts: 485000 | #Constraints: 27497 571.35/573.33 c #Conflicts: 486000 | #Constraints: 28497 571.35/573.33 c #Conflicts: 487000 | #Constraints: 29497 571.35/573.33 c #Conflicts: 488000 | #Constraints: 30497 571.35/573.33 c #Conflicts: 489000 | #Constraints: 31497 571.35/573.33 c #Conflicts: 490000 | #Constraints: 32497 571.35/573.33 c INPROCESSING 571.35/573.33 c GARBAGE COLLECT 571.35/573.33 c rational objective -39 695.92/698.34 c #Conflicts: 491000 | #Constraints: 17746 695.92/698.34 c #Conflicts: 492000 | #Constraints: 18757 695.92/698.34 c #Conflicts: 493000 | #Constraints: 19773 695.92/698.34 c #Conflicts: 494000 | #Constraints: 20789 695.92/698.34 c #Conflicts: 495000 | #Constraints: 21793 695.92/698.34 c #Conflicts: 496000 | #Constraints: 22803 695.92/698.34 c #Conflicts: 497000 | #Constraints: 23819 695.92/698.34 c #Conflicts: 498000 | #Constraints: 24822 695.92/698.34 c #Conflicts: 499000 | #Constraints: 25828 695.92/698.34 c #Conflicts: 500000 | #Constraints: 26844 695.92/698.34 c #Conflicts: 501000 | #Constraints: 27849 695.92/698.34 c #Conflicts: 502000 | #Constraints: 28878 695.92/698.34 c #Conflicts: 503000 | #Constraints: 29891 695.92/698.34 c #Conflicts: 504000 | #Constraints: 30903 695.92/698.34 c #Conflicts: 505000 | #Constraints: 31910 695.92/698.34 c #Conflicts: 506000 | #Constraints: 32917 695.92/698.34 c #Conflicts: 507000 | #Constraints: 33932 695.92/698.34 c #Conflicts: 508000 | #Constraints: 34939 695.92/698.34 c #Conflicts: 509000 | #Constraints: 35942 695.92/698.34 c #Conflicts: 510000 | #Constraints: 36949 695.92/698.34 c #Conflicts: 511000 | #Constraints: 37956 695.92/698.34 c #Conflicts: 512000 | #Constraints: 38963 695.92/698.34 c #Conflicts: 513000 | #Constraints: 39966 695.92/698.34 c #Conflicts: 514000 | #Constraints: 40968 695.92/698.34 c #Conflicts: 515000 | #Constraints: 41975 695.92/698.34 c #Conflicts: 516000 | #Constraints: 42981 695.92/698.34 c #Conflicts: 517000 | #Constraints: 43985 695.92/698.34 c #Conflicts: 518000 | #Constraints: 44989 695.92/698.34 c #Conflicts: 519000 | #Constraints: 45992 695.92/698.34 c #Conflicts: 520000 | #Constraints: 47007 695.92/698.34 c #Conflicts: 521000 | #Constraints: 48016 695.92/698.34 c #Conflicts: 522000 | #Constraints: 49023 695.92/698.34 c #Conflicts: 523000 | #Constraints: 50031 695.92/698.34 c #Conflicts: 524000 | #Constraints: 51036 695.92/698.34 c #Conflicts: 525000 | #Constraints: 52040 695.92/698.34 c #Conflicts: 526000 | #Constraints: 53045 695.92/698.34 c #Conflicts: 527000 | #Constraints: 54051 695.92/698.34 c #Conflicts: 528000 | #Constraints: 55058 695.92/698.34 c #Conflicts: 529000 | #Constraints: 56063 695.92/698.34 c #Conflicts: 530000 | #Constraints: 57071 695.92/698.34 c #Conflicts: 531000 | #Constraints: 58094 695.92/698.34 c #Conflicts: 532000 | #Constraints: 59109 695.92/698.34 c #Conflicts: 533000 | #Constraints: 60114 695.92/698.34 c #Conflicts: 534000 | #Constraints: 61115 695.92/698.34 c #Conflicts: 535000 | #Constraints: 62128 695.92/698.34 c #Conflicts: 536000 | #Constraints: 63131 695.92/698.34 c #Conflicts: 537000 | #Constraints: 64134 695.92/698.34 c #Conflicts: 538000 | #Constraints: 65142 695.92/698.34 c #Conflicts: 539000 | #Constraints: 66155 695.92/698.34 c #Conflicts: 540000 | #Constraints: 67169 695.92/698.34 c #Conflicts: 541000 | #Constraints: 68175 695.92/698.34 c #Conflicts: 542000 | #Constraints: 69182 695.92/698.34 c #Conflicts: 543000 | #Constraints: 70198 695.92/698.34 c #Conflicts: 544000 | #Constraints: 71199 695.92/698.34 c #Conflicts: 545000 | #Constraints: 72205 695.92/698.34 c #Conflicts: 546000 | #Constraints: 73220 695.92/698.34 c #Conflicts: 547000 | #Constraints: 74233 695.92/698.34 c INPROCESSING 695.92/698.34 c GARBAGE COLLECT 695.92/698.34 c rational objective -39 806.16/808.97 c #Conflicts: 548000 | #Constraints: 38626 806.16/808.97 c #Conflicts: 549000 | #Constraints: 39626 806.16/808.97 c #Conflicts: 550000 | #Constraints: 40626 806.16/808.97 c #Conflicts: 551000 | #Constraints: 41626 806.16/808.97 c #Conflicts: 552000 | #Constraints: 42626 806.16/808.97 c #Conflicts: 553000 | #Constraints: 43626 806.16/808.97 c #Conflicts: 554000 | #Constraints: 44626 806.16/808.97 c #Conflicts: 555000 | #Constraints: 45626 806.16/808.97 c #Conflicts: 556000 | #Constraints: 46626 806.16/808.97 c #Conflicts: 557000 | #Constraints: 47626 806.16/808.97 c #Conflicts: 558000 | #Constraints: 48626 806.16/808.97 c #Conflicts: 559000 | #Constraints: 49626 806.16/808.97 c #Conflicts: 560000 | #Constraints: 50626 806.16/808.97 c #Conflicts: 561000 | #Constraints: 51626 806.16/808.97 c #Conflicts: 562000 | #Constraints: 52626 806.16/808.97 c #Conflicts: 563000 | #Constraints: 53626 806.16/808.97 c #Conflicts: 564000 | #Constraints: 54626 806.16/808.97 c INPROCESSING 806.16/808.97 c GARBAGE COLLECT 806.16/808.97 c rational objective -39 855.99/858.97 c #Conflicts: 565000 | #Constraints: 29060 855.99/858.97 c #Conflicts: 566000 | #Constraints: 30060 855.99/858.97 c #Conflicts: 567000 | #Constraints: 31060 855.99/858.97 c #Conflicts: 568000 | #Constraints: 32060 855.99/858.97 c #Conflicts: 569000 | #Constraints: 33060 855.99/858.97 c #Conflicts: 570000 | #Constraints: 34060 855.99/858.97 c #Conflicts: 571000 | #Constraints: 35060 855.99/858.97 c #Conflicts: 572000 | #Constraints: 36060 855.99/858.97 c #Conflicts: 573000 | #Constraints: 37060 855.99/858.97 c #Conflicts: 574000 | #Constraints: 38060 855.99/858.97 c #Conflicts: 575000 | #Constraints: 39060 855.99/858.97 c #Conflicts: 576000 | #Constraints: 40060 855.99/858.97 c #Conflicts: 577000 | #Constraints: 41060 855.99/858.97 c #Conflicts: 578000 | #Constraints: 42060 855.99/858.97 c #Conflicts: 579000 | #Constraints: 43060 855.99/858.97 c #Conflicts: 580000 | #Constraints: 44060 855.99/858.97 c INPROCESSING 855.99/858.97 c GARBAGE COLLECT 855.99/858.97 c rational objective -39 870.15/873.15 c #Conflicts: 581000 | #Constraints: 23384 870.15/873.15 c #Conflicts: 582000 | #Constraints: 24389 870.15/873.15 c #Conflicts: 583000 | #Constraints: 25407 870.15/873.15 c #Conflicts: 584000 | #Constraints: 26426 870.15/873.15 c #Conflicts: 585000 | #Constraints: 27446 870.15/873.15 c #Conflicts: 586000 | #Constraints: 28456 870.15/873.15 c #Conflicts: 587000 | #Constraints: 29473 870.15/873.15 c #Conflicts: 588000 | #Constraints: 30484 870.15/873.15 c #Conflicts: 589000 | #Constraints: 31492 870.15/873.15 c #Conflicts: 590000 | #Constraints: 32498 870.15/873.15 c #Conflicts: 591000 | #Constraints: 33505 870.15/873.15 c #Conflicts: 592000 | #Constraints: 34522 870.15/873.15 c #Conflicts: 593000 | #Constraints: 35539 870.15/873.15 c #Conflicts: 594000 | #Constraints: 36553 870.15/873.15 c #Conflicts: 595000 | #Constraints: 37571 870.15/873.15 c #Conflicts: 596000 | #Constraints: 38591 870.15/873.15 c #Conflicts: 597000 | #Constraints: 39610 870.15/873.15 c INPROCESSING 870.15/873.15 c GARBAGE COLLECT 870.15/873.15 c rational objective -39 884.00/887.07 c #Conflicts: 598000 | #Constraints: 21118 884.00/887.07 c #Conflicts: 599000 | #Constraints: 22137 884.00/887.07 c #Conflicts: 600000 | #Constraints: 23157 884.00/887.07 c #Conflicts: 601000 | #Constraints: 24179 884.00/887.07 c #Conflicts: 602000 | #Constraints: 25201 884.00/887.07 c #Conflicts: 603000 | #Constraints: 26214 884.00/887.07 c #Conflicts: 604000 | #Constraints: 27237 884.00/887.07 c #Conflicts: 605000 | #Constraints: 28254 884.00/887.07 c #Conflicts: 606000 | #Constraints: 29277 884.00/887.07 c #Conflicts: 607000 | #Constraints: 30305 884.00/887.07 c #Conflicts: 608000 | #Constraints: 31335 884.00/887.07 c #Conflicts: 609000 | #Constraints: 32355 884.00/887.07 c #Conflicts: 610000 | #Constraints: 33379 884.00/887.07 c #Conflicts: 611000 | #Constraints: 34402 884.00/887.07 c #Conflicts: 612000 | #Constraints: 35425 884.00/887.07 c #Conflicts: 613000 | #Constraints: 36451 884.00/887.07 c #Conflicts: 614000 | #Constraints: 37475 884.00/887.07 c #Conflicts: 615000 | #Constraints: 38497 884.00/887.07 c INPROCESSING 884.00/887.07 c GARBAGE COLLECT 884.00/887.07 c rational objective -39 899.84/902.95 c #Conflicts: 616000 | #Constraints: 20971 899.84/902.95 c #Conflicts: 617000 | #Constraints: 21988 899.84/902.95 c #Conflicts: 618000 | #Constraints: 23009 899.84/902.95 c #Conflicts: 619000 | #Constraints: 24021 899.84/902.95 c #Conflicts: 620000 | #Constraints: 25037 899.84/902.95 c #Conflicts: 621000 | #Constraints: 26048 899.84/902.95 c #Conflicts: 622000 | #Constraints: 27061 899.84/902.95 c #Conflicts: 623000 | #Constraints: 28470 899.84/902.95 c #Conflicts: 624000 | #Constraints: 29662 899.84/902.95 c #Conflicts: 625000 | #Constraints: 30799 899.84/902.95 c #Conflicts: 626000 | #Constraints: 31890 899.84/902.95 c #Conflicts: 627000 | #Constraints: 33005 899.84/902.95 c #Conflicts: 628000 | #Constraints: 34087 899.84/902.95 c #Conflicts: 629000 | #Constraints: 35230 899.84/902.95 c #Conflicts: 630000 | #Constraints: 36395 899.84/902.95 c #Conflicts: 631000 | #Constraints: 37810 899.84/902.95 c #Conflicts: 632000 | #Constraints: 39065 899.84/902.95 c INPROCESSING 899.84/902.95 c GARBAGE COLLECT 899.84/902.95 c rational objective -39 932.42/935.63 c #Conflicts: 633000 | #Constraints: 21142 932.42/935.63 c #Conflicts: 634000 | #Constraints: 22157 932.42/935.63 c #Conflicts: 635000 | #Constraints: 23160 932.42/935.63 c #Conflicts: 636000 | #Constraints: 24170 932.42/935.63 c #Conflicts: 637000 | #Constraints: 25180 932.42/935.63 c #Conflicts: 638000 | #Constraints: 26191 932.42/935.63 c #Conflicts: 639000 | #Constraints: 27210 932.42/935.63 c #Conflicts: 640000 | #Constraints: 28235 932.42/935.63 c #Conflicts: 641000 | #Constraints: 29247 932.42/935.63 c #Conflicts: 642000 | #Constraints: 30276 932.42/935.63 c #Conflicts: 643000 | #Constraints: 31299 932.42/935.63 c #Conflicts: 644000 | #Constraints: 32314 932.42/935.63 c #Conflicts: 645000 | #Constraints: 33333 932.42/935.63 c #Conflicts: 646000 | #Constraints: 34391 932.42/935.63 c #Conflicts: 647000 | #Constraints: 35412 932.42/935.63 c #Conflicts: 648000 | #Constraints: 36420 932.42/935.63 c #Conflicts: 649000 | #Constraints: 37433 932.42/935.63 c #Conflicts: 650000 | #Constraints: 38442 932.42/935.63 c INPROCESSING 932.42/935.63 c GARBAGE COLLECT 932.42/935.63 c rational objective -39 1082.78/1086.59 c #Conflicts: 651000 | #Constraints: 20988 1082.78/1086.59 c #Conflicts: 652000 | #Constraints: 22014 1082.78/1086.59 c #Conflicts: 653000 | #Constraints: 23030 1082.78/1086.59 c #Conflicts: 654000 | #Constraints: 24052 1082.78/1086.59 c #Conflicts: 655000 | #Constraints: 25073 1082.78/1086.59 c #Conflicts: 656000 | #Constraints: 26089 1082.78/1086.59 c #Conflicts: 657000 | #Constraints: 27109 1082.78/1086.59 c #Conflicts: 658000 | #Constraints: 28134 1082.78/1086.59 c #Conflicts: 659000 | #Constraints: 29151 1082.78/1086.59 c #Conflicts: 660000 | #Constraints: 30164 1082.78/1086.59 c #Conflicts: 661000 | #Constraints: 31183 1082.78/1086.59 c #Conflicts: 662000 | #Constraints: 32195 1082.78/1086.59 c #Conflicts: 663000 | #Constraints: 33222 1082.78/1086.59 c #Conflicts: 664000 | #Constraints: 34242 1082.78/1086.59 c #Conflicts: 665000 | #Constraints: 35262 1082.78/1086.59 c #Conflicts: 666000 | #Constraints: 36275 1082.78/1086.59 c #Conflicts: 667000 | #Constraints: 37302 1082.78/1086.59 c #Conflicts: 668000 | #Constraints: 38327 1082.78/1086.59 c #Conflicts: 669000 | #Constraints: 39342 1082.78/1086.59 c #Conflicts: 670000 | #Constraints: 40351 1082.78/1086.59 c #Conflicts: 671000 | #Constraints: 41369 1082.78/1086.59 c #Conflicts: 672000 | #Constraints: 42385 1082.78/1086.59 c #Conflicts: 673000 | #Constraints: 43401 1082.78/1086.59 c #Conflicts: 674000 | #Constraints: 44418 1082.78/1086.59 c #Conflicts: 675000 | #Constraints: 45436 1082.78/1086.59 c #Conflicts: 676000 | #Constraints: 46465 1082.78/1086.59 c #Conflicts: 677000 | #Constraints: 47491 1082.78/1086.59 c #Conflicts: 678000 | #Constraints: 48518 1082.78/1086.59 c #Conflicts: 679000 | #Constraints: 49547 1082.78/1086.59 c #Conflicts: 680000 | #Constraints: 50563 1082.78/1086.59 c #Conflicts: 681000 | #Constraints: 51580 1082.78/1086.59 c #Conflicts: 682000 | #Constraints: 52604 1082.78/1086.59 c #Conflicts: 683000 | #Constraints: 53630 1082.78/1086.59 c #Conflicts: 684000 | #Constraints: 54649 1082.78/1086.59 c #Conflicts: 685000 | #Constraints: 55663 1082.78/1086.59 c #Conflicts: 686000 | #Constraints: 56689 1082.78/1086.59 c #Conflicts: 687000 | #Constraints: 57724 1082.78/1086.59 c #Conflicts: 688000 | #Constraints: 58741 1082.78/1086.59 c #Conflicts: 689000 | #Constraints: 59756 1082.78/1086.59 c #Conflicts: 690000 | #Constraints: 60780 1082.78/1086.59 c #Conflicts: 691000 | #Constraints: 61797 1082.78/1086.59 c #Conflicts: 692000 | #Constraints: 62814 1082.78/1086.59 c #Conflicts: 693000 | #Constraints: 63830 1082.78/1086.59 c #Conflicts: 694000 | #Constraints: 64856 1082.78/1086.59 c #Conflicts: 695000 | #Constraints: 65890 1082.78/1086.59 c #Conflicts: 696000 | #Constraints: 66912 1082.78/1086.59 c #Conflicts: 697000 | #Constraints: 67937 1082.78/1086.59 c #Conflicts: 698000 | #Constraints: 68967 1082.78/1086.59 c #Conflicts: 699000 | #Constraints: 69984 1082.78/1086.59 c #Conflicts: 700000 | #Constraints: 70996 1082.78/1086.59 c #Conflicts: 701000 | #Constraints: 72008 1082.78/1086.59 c #Conflicts: 702000 | #Constraints: 73018 1082.78/1086.59 c #Conflicts: 703000 | #Constraints: 74027 1082.78/1086.59 c #Conflicts: 704000 | #Constraints: 75037 1082.78/1086.59 c #Conflicts: 705000 | #Constraints: 76059 1082.78/1086.59 c #Conflicts: 706000 | #Constraints: 77091 1082.78/1086.59 c #Conflicts: 707000 | #Constraints: 78115 1082.78/1086.59 c #Conflicts: 708000 | #Constraints: 79142 1082.78/1086.59 c #Conflicts: 709000 | #Constraints: 80165 1082.78/1086.59 c #Conflicts: 710000 | #Constraints: 81178 1082.78/1086.59 c #Conflicts: 711000 | #Constraints: 82215 1082.78/1086.59 c #Conflicts: 712000 | #Constraints: 83248 1082.78/1086.59 c #Conflicts: 713000 | #Constraints: 84282 1082.78/1086.59 c #Conflicts: 714000 | #Constraints: 85316 1082.78/1086.59 c #Conflicts: 715000 | #Constraints: 86340 1082.78/1086.59 c INPROCESSING 1082.78/1086.59 c GARBAGE COLLECT 1082.78/1086.59 c rational objective -39 1214.32/1218.51 c #Conflicts: 716000 | #Constraints: 44646 1214.32/1218.51 c #Conflicts: 717000 | #Constraints: 45646 1214.32/1218.51 c #Conflicts: 718000 | #Constraints: 46646 1214.32/1218.51 c #Conflicts: 719000 | #Constraints: 47646 1214.32/1218.51 c #Conflicts: 720000 | #Constraints: 48646 1214.32/1218.51 c #Conflicts: 721000 | #Constraints: 49646 1214.32/1218.51 c #Conflicts: 722000 | #Constraints: 50646 1214.32/1218.51 c #Conflicts: 723000 | #Constraints: 51646 1214.32/1218.51 c #Conflicts: 724000 | #Constraints: 52646 1214.32/1218.51 c #Conflicts: 725000 | #Constraints: 53646 1214.32/1218.51 c #Conflicts: 726000 | #Constraints: 54646 1214.32/1218.51 c #Conflicts: 727000 | #Constraints: 55646 1214.32/1218.51 c #Conflicts: 728000 | #Constraints: 56646 1214.32/1218.51 c #Conflicts: 729000 | #Constraints: 57646 1214.32/1218.51 c #Conflicts: 730000 | #Constraints: 58646 1214.32/1218.51 c #Conflicts: 731000 | #Constraints: 59646 1214.32/1218.51 c #Conflicts: 732000 | #Constraints: 60646 1214.32/1218.51 c #Conflicts: 733000 | #Constraints: 61646 1214.32/1218.51 c #Conflicts: 734000 | #Constraints: 62646 1214.32/1218.51 c INPROCESSING 1214.32/1218.51 c GARBAGE COLLECT 1214.32/1218.51 c rational objective -39 1267.74/1272.12 c #Conflicts: 735000 | #Constraints: 32879 1267.74/1272.12 c #Conflicts: 736000 | #Constraints: 33879 1267.74/1272.12 c #Conflicts: 737000 | #Constraints: 34879 1267.74/1272.12 c #Conflicts: 738000 | #Constraints: 35879 1267.74/1272.12 c #Conflicts: 739000 | #Constraints: 36879 1267.74/1272.12 c #Conflicts: 740000 | #Constraints: 37879 1267.74/1272.12 c #Conflicts: 741000 | #Constraints: 38879 1267.74/1272.12 c #Conflicts: 742000 | #Constraints: 39879 1267.74/1272.12 c #Conflicts: 743000 | #Constraints: 40879 1267.74/1272.12 c #Conflicts: 744000 | #Constraints: 41879 1267.74/1272.12 c #Conflicts: 745000 | #Constraints: 42879 1267.74/1272.12 c #Conflicts: 746000 | #Constraints: 43879 1267.74/1272.12 c #Conflicts: 747000 | #Constraints: 44879 1267.74/1272.12 c #Conflicts: 748000 | #Constraints: 45879 1267.74/1272.12 c #Conflicts: 749000 | #Constraints: 46879 1267.74/1272.12 c #Conflicts: 750000 | #Constraints: 47879 1267.74/1272.12 c #Conflicts: 751000 | #Constraints: 48879 1267.74/1272.12 c #Conflicts: 752000 | #Constraints: 49879 1267.74/1272.12 c #Conflicts: 753000 | #Constraints: 50879 1267.74/1272.12 c INPROCESSING 1267.74/1272.12 c GARBAGE COLLECT 1267.74/1272.12 c rational objective -39 1287.67/1292.16 c #Conflicts: 754000 | #Constraints: 26946 1287.67/1292.16 c #Conflicts: 755000 | #Constraints: 27965 1287.67/1292.16 c #Conflicts: 756000 | #Constraints: 28975 1287.67/1292.16 c #Conflicts: 757000 | #Constraints: 29988 1287.67/1292.16 c #Conflicts: 758000 | #Constraints: 31002 1287.67/1292.16 c #Conflicts: 759000 | #Constraints: 32031 1287.67/1292.16 c #Conflicts: 760000 | #Constraints: 33052 1287.67/1292.16 c #Conflicts: 761000 | #Constraints: 34063 1287.67/1292.16 c #Conflicts: 762000 | #Constraints: 35074 1287.67/1292.16 c #Conflicts: 763000 | #Constraints: 36088 1287.67/1292.16 c #Conflicts: 764000 | #Constraints: 37102 1287.67/1292.16 c #Conflicts: 765000 | #Constraints: 38113 1287.67/1292.16 c #Conflicts: 766000 | #Constraints: 39135 1287.67/1292.16 c #Conflicts: 767000 | #Constraints: 40151 1287.67/1292.16 c #Conflicts: 768000 | #Constraints: 41163 1287.67/1292.16 c #Conflicts: 769000 | #Constraints: 42180 1287.67/1292.16 c #Conflicts: 770000 | #Constraints: 43211 1287.67/1292.16 c #Conflicts: 771000 | #Constraints: 44237 1287.67/1292.16 c #Conflicts: 772000 | #Constraints: 45249 1287.67/1292.16 c INPROCESSING 1287.67/1292.16 c GARBAGE COLLECT 1287.67/1292.16 c rational objective -39 1306.29/1310.82 c #Conflicts: 773000 | #Constraints: 23937 1306.29/1310.82 c #Conflicts: 774000 | #Constraints: 24951 1306.29/1310.82 c #Conflicts: 775000 | #Constraints: 25962 1306.29/1310.82 c #Conflicts: 776000 | #Constraints: 26971 1306.29/1310.82 c #Conflicts: 777000 | #Constraints: 27988 1306.29/1310.82 c #Conflicts: 778000 | #Constraints: 29005 1306.29/1310.82 c #Conflicts: 779000 | #Constraints: 30018 1306.29/1310.82 c #Conflicts: 780000 | #Constraints: 31030 1306.29/1310.82 c #Conflicts: 781000 | #Constraints: 32049 1306.29/1310.82 c #Conflicts: 782000 | #Constraints: 33061 1306.29/1310.82 c #Conflicts: 783000 | #Constraints: 34067 1306.29/1310.82 c #Conflicts: 784000 | #Constraints: 35070 1306.29/1310.82 c #Conflicts: 785000 | #Constraints: 36080 1306.29/1310.82 c #Conflicts: 786000 | #Constraints: 37084 1306.29/1310.82 c #Conflicts: 787000 | #Constraints: 38101 1306.29/1310.82 c #Conflicts: 788000 | #Constraints: 39118 1306.29/1310.82 c #Conflicts: 789000 | #Constraints: 40132 1306.29/1310.82 c #Conflicts: 790000 | #Constraints: 41140 1306.29/1310.82 c #Conflicts: 791000 | #Constraints: 42153 1306.29/1310.82 c #Conflicts: 792000 | #Constraints: 43167 1306.29/1310.82 c INPROCESSING 1306.29/1310.82 c GARBAGE COLLECT 1306.29/1310.82 c rational objective -39 1345.37/1350.07 c #Conflicts: 793000 | #Constraints: 23147 1345.37/1350.07 c #Conflicts: 794000 | #Constraints: 24147 1345.37/1350.07 c #Conflicts: 795000 | #Constraints: 25147 1345.37/1350.07 c #Conflicts: 796000 | #Constraints: 26147 1345.37/1350.07 c #Conflicts: 797000 | #Constraints: 27147 1345.37/1350.07 c #Conflicts: 798000 | #Constraints: 28147 1345.37/1350.07 c #Conflicts: 799000 | #Constraints: 29147 1345.37/1350.07 c #Conflicts: 800000 | #Constraints: 30147 1345.37/1350.07 c #Conflicts: 801000 | #Constraints: 31147 1345.37/1350.07 c #Conflicts: 802000 | #Constraints: 32147 1345.37/1350.07 c #Conflicts: 803000 | #Constraints: 33147 1345.37/1350.07 c #Conflicts: 804000 | #Constraints: 34147 1345.37/1350.07 c #Conflicts: 805000 | #Constraints: 35147 1345.37/1350.07 c #Conflicts: 806000 | #Constraints: 36147 1345.37/1350.07 c #Conflicts: 807000 | #Constraints: 37147 1345.37/1350.07 c #Conflicts: 808000 | #Constraints: 38147 1345.37/1350.07 c #Conflicts: 809000 | #Constraints: 39147 1345.37/1350.07 c #Conflicts: 810000 | #Constraints: 40147 1345.37/1350.07 c #Conflicts: 811000 | #Constraints: 41147 1345.37/1350.07 c #Conflicts: 812000 | #Constraints: 42147 1345.37/1350.07 c INPROCESSING 1345.37/1350.07 c GARBAGE COLLECT 1345.37/1350.07 c rational objective -39 1518.93/1524.24 c #Conflicts: 813000 | #Constraints: 22850 1518.93/1524.24 c #Conflicts: 814000 | #Constraints: 23868 1518.93/1524.24 c #Conflicts: 815000 | #Constraints: 24891 1518.93/1524.24 c #Conflicts: 816000 | #Constraints: 25910 1518.93/1524.24 c #Conflicts: 817000 | #Constraints: 26920 1518.93/1524.24 c #Conflicts: 818000 | #Constraints: 27931 1518.93/1524.24 c #Conflicts: 819000 | #Constraints: 28946 1518.93/1524.24 c #Conflicts: 820000 | #Constraints: 29968 1518.93/1524.24 c #Conflicts: 821000 | #Constraints: 30978 1518.93/1524.24 c #Conflicts: 822000 | #Constraints: 31995 1518.93/1524.24 c #Conflicts: 823000 | #Constraints: 33012 1518.93/1524.24 c #Conflicts: 824000 | #Constraints: 34029 1518.93/1524.24 c #Conflicts: 825000 | #Constraints: 35057 1518.93/1524.24 c #Conflicts: 826000 | #Constraints: 36083 1518.93/1524.24 c #Conflicts: 827000 | #Constraints: 37102 1518.93/1524.24 c #Conflicts: 828000 | #Constraints: 38110 1518.93/1524.24 c #Conflicts: 829000 | #Constraints: 39117 1518.93/1524.24 c #Conflicts: 830000 | #Constraints: 40130 1518.93/1524.24 c #Conflicts: 831000 | #Constraints: 41149 1518.93/1524.24 c #Conflicts: 832000 | #Constraints: 42162 1518.93/1524.24 c #Conflicts: 833000 | #Constraints: 43172 1518.93/1524.24 c #Conflicts: 834000 | #Constraints: 44184 1518.93/1524.24 c #Conflicts: 835000 | #Constraints: 45209 1518.93/1524.24 c #Conflicts: 836000 | #Constraints: 46228 1518.93/1524.24 c #Conflicts: 837000 | #Constraints: 47257 1518.93/1524.24 c #Conflicts: 838000 | #Constraints: 48273 1518.93/1524.24 c #Conflicts: 839000 | #Constraints: 49288 1518.93/1524.24 c #Conflicts: 840000 | #Constraints: 50299 1518.93/1524.24 c #Conflicts: 841000 | #Constraints: 51302 1518.93/1524.24 c #Conflicts: 842000 | #Constraints: 52314 1518.93/1524.24 c #Conflicts: 843000 | #Constraints: 53343 1518.93/1524.24 c #Conflicts: 844000 | #Constraints: 54365 1518.93/1524.24 c #Conflicts: 845000 | #Constraints: 55386 1518.93/1524.24 c #Conflicts: 846000 | #Constraints: 56408 1518.93/1524.24 c #Conflicts: 847000 | #Constraints: 57417 1518.93/1524.24 c #Conflicts: 848000 | #Constraints: 58423 1518.93/1524.24 c #Conflicts: 849000 | #Constraints: 59447 1518.93/1524.24 c #Conflicts: 850000 | #Constraints: 60457 1518.93/1524.24 c #Conflicts: 851000 | #Constraints: 61464 1518.93/1524.24 c #Conflicts: 852000 | #Constraints: 62474 1518.93/1524.24 c #Conflicts: 853000 | #Constraints: 63484 1518.93/1524.24 c #Conflicts: 854000 | #Constraints: 64498 1518.93/1524.24 c #Conflicts: 855000 | #Constraints: 65503 1518.93/1524.24 c #Conflicts: 856000 | #Constraints: 66516 1518.93/1524.24 c #Conflicts: 857000 | #Constraints: 67535 1518.93/1524.24 c #Conflicts: 858000 | #Constraints: 68545 1518.93/1524.24 c #Conflicts: 859000 | #Constraints: 69551 1518.93/1524.24 c #Conflicts: 860000 | #Constraints: 70566 1518.93/1524.24 c #Conflicts: 861000 | #Constraints: 71582 1518.93/1524.24 c #Conflicts: 862000 | #Constraints: 72605 1518.93/1524.24 c #Conflicts: 863000 | #Constraints: 73615 1518.93/1524.24 c #Conflicts: 864000 | #Constraints: 74631 1518.93/1524.24 c #Conflicts: 865000 | #Constraints: 75650 1518.93/1524.24 c #Conflicts: 866000 | #Constraints: 76655 1518.93/1524.24 c #Conflicts: 867000 | #Constraints: 77668 1518.93/1524.24 c #Conflicts: 868000 | #Constraints: 78672 1518.93/1524.24 c #Conflicts: 869000 | #Constraints: 79680 1518.93/1524.24 c #Conflicts: 870000 | #Constraints: 80689 1518.93/1524.24 c #Conflicts: 871000 | #Constraints: 81701 1518.93/1524.24 c #Conflicts: 872000 | #Constraints: 82723 1518.93/1524.24 c #Conflicts: 873000 | #Constraints: 83746 1518.93/1524.24 c #Conflicts: 874000 | #Constraints: 84750 1518.93/1524.24 c #Conflicts: 875000 | #Constraints: 85754 1518.93/1524.24 c #Conflicts: 876000 | #Constraints: 86758 1518.93/1524.24 c #Conflicts: 877000 | #Constraints: 87763 1518.93/1524.24 c #Conflicts: 878000 | #Constraints: 88769 1518.93/1524.24 c #Conflicts: 879000 | #Constraints: 89782 1518.93/1524.24 c #Conflicts: 880000 | #Constraints: 90802 1518.93/1524.24 c #Conflicts: 881000 | #Constraints: 91834 1518.93/1524.24 c #Conflicts: 882000 | #Constraints: 92844 1518.93/1524.24 c #Conflicts: 883000 | #Constraints: 93854 1518.93/1524.24 c #Conflicts: 884000 | #Constraints: 94866 1518.93/1524.24 c #Conflicts: 885000 | #Constraints: 95881 1518.93/1524.24 c INPROCESSING 1518.93/1524.24 c GARBAGE COLLECT 1518.93/1524.24 c rational objective -39 1686.54/1692.41 c #Conflicts: 886000 | #Constraints: 49643 1686.54/1692.41 c #Conflicts: 887000 | #Constraints: 50643 1686.54/1692.41 c #Conflicts: 888000 | #Constraints: 51643 1686.54/1692.41 c #Conflicts: 889000 | #Constraints: 52643 1686.54/1692.41 c #Conflicts: 890000 | #Constraints: 53643 1686.54/1692.41 c #Conflicts: 891000 | #Constraints: 54643 1686.54/1692.41 c #Conflicts: 892000 | #Constraints: 55643 1686.54/1692.41 c #Conflicts: 893000 | #Constraints: 56643 1686.54/1692.41 c #Conflicts: 894000 | #Constraints: 57643 1686.54/1692.41 c #Conflicts: 895000 | #Constraints: 58643 1686.54/1692.41 c #Conflicts: 896000 | #Constraints: 59643 1686.54/1692.41 c #Conflicts: 897000 | #Constraints: 60643 1686.54/1692.41 c #Conflicts: 898000 | #Constraints: 61643 1686.54/1692.41 c #Conflicts: 899000 | #Constraints: 62643 1686.54/1692.41 c #Conflicts: 900000 | #Constraints: 63643 1686.54/1692.41 c #Conflicts: 901000 | #Constraints: 64643 1686.54/1692.41 c #Conflicts: 902000 | #Constraints: 65643 1686.54/1692.41 c #Conflicts: 903000 | #Constraints: 66643 1686.54/1692.41 c #Conflicts: 904000 | #Constraints: 67643 1686.54/1692.41 c #Conflicts: 905000 | #Constraints: 68643 1686.54/1692.41 c #Conflicts: 906000 | #Constraints: 69643 1686.54/1692.41 c INPROCESSING 1686.54/1692.41 c GARBAGE COLLECT 1686.54/1692.41 c rational objective -39 1933.84/1940.65 c #Conflicts: 907000 | #Constraints: 37020 1933.84/1940.65 c #Conflicts: 908000 | #Constraints: 38281 1933.84/1940.65 c #Conflicts: 909000 | #Constraints: 39441 1933.84/1940.65 c #Conflicts: 910000 | #Constraints: 40541 1933.84/1940.65 c #Conflicts: 911000 | #Constraints: 41638 1933.84/1940.65 c #Conflicts: 912000 | #Constraints: 42750 1933.84/1940.65 c #Conflicts: 913000 | #Constraints: 44046 1933.84/1940.65 c #Conflicts: 914000 | #Constraints: 45157 1933.84/1940.65 c #Conflicts: 915000 | #Constraints: 46329 1933.84/1940.65 c #Conflicts: 916000 | #Constraints: 47464 1933.84/1940.65 c #Conflicts: 917000 | #Constraints: 48722 1933.84/1940.65 c #Conflicts: 918000 | #Constraints: 49767 1933.84/1940.65 c #Conflicts: 919000 | #Constraints: 50976 1933.84/1940.65 c #Conflicts: 920000 | #Constraints: 52070 1933.84/1940.65 c #Conflicts: 921000 | #Constraints: 53272 1933.84/1940.65 c #Conflicts: 922000 | #Constraints: 54463 1933.84/1940.65 c #Conflicts: 923000 | #Constraints: 55845 1933.84/1940.65 c #Conflicts: 924000 | #Constraints: 57066 1933.84/1940.65 c #Conflicts: 925000 | #Constraints: 58252 1933.84/1940.65 c #Conflicts: 926000 | #Constraints: 59371 1933.84/1940.66 c #Conflicts: 927000 | #Constraints: 60638 1933.84/1940.66 c INPROCESSING 1933.84/1940.66 c GARBAGE COLLECT 1933.84/1940.66 c #Conflicts: 928000 | #Constraints: 32278 1933.84/1940.66 c #Conflicts: 929000 | #Constraints: 33832 1933.84/1940.66 c #Conflicts: 930000 | #Constraints: 35315 1933.84/1940.66 c #Conflicts: 931000 | #Constraints: 36815 1933.84/1940.66 c #Conflicts: 932000 | #Constraints: 38350 1933.84/1940.66 c #Conflicts: 933000 | #Constraints: 39857 1933.84/1940.66 c #Conflicts: 934000 | #Constraints: 41403 1933.84/1940.66 c #Conflicts: 935000 | #Constraints: 42975 1933.84/1940.66 c #Conflicts: 936000 | #Constraints: 44560 1933.84/1940.66 c #Conflicts: 937000 | #Constraints: 46124 1933.84/1940.66 c #Conflicts: 938000 | #Constraints: 47678 1933.84/1940.66 c #Conflicts: 939000 | #Constraints: 49226 1933.84/1940.66 c #Conflicts: 940000 | #Constraints: 50760 1933.84/1940.66 c #Conflicts: 941000 | #Constraints: 52297 1933.84/1940.66 c #Conflicts: 942000 | #Constraints: 53816 1933.84/1940.66 c #Conflicts: 943000 | #Constraints: 55358 1933.84/1940.66 c #Conflicts: 944000 | #Constraints: 56907 1933.84/1940.66 c #Conflicts: 945000 | #Constraints: 58425 1933.84/1940.66 c #Conflicts: 946000 | #Constraints: 59964 1933.84/1940.66 c #Conflicts: 947000 | #Constraints: 61523 1933.84/1940.66 c #Conflicts: 948000 | #Constraints: 63061 1933.84/1940.66 c INPROCESSING 1933.84/1940.66 c GARBAGE COLLECT 1933.84/1940.66 c #Conflicts: 949000 | #Constraints: 33321 1933.84/1940.66 c #Conflicts: 950000 | #Constraints: 34843 1933.84/1940.66 c #Conflicts: 951000 | #Constraints: 36392 1933.84/1940.66 c #Conflicts: 952000 | #Constraints: 37980 1933.84/1940.66 c #Conflicts: 953000 | #Constraints: 39608 1933.84/1940.66 c #Conflicts: 954000 | #Constraints: 41185 1933.84/1940.66 c #Conflicts: 955000 | #Constraints: 42764 1933.84/1940.66 c #Conflicts: 956000 | #Constraints: 44372 1933.84/1940.66 c #Conflicts: 957000 | #Constraints: 45923 1933.84/1940.66 c #Conflicts: 958000 | #Constraints: 47508 1933.84/1940.66 c #Conflicts: 959000 | #Constraints: 49084 1933.84/1940.66 c #Conflicts: 960000 | #Constraints: 50667 1933.84/1940.66 c #Conflicts: 961000 | #Constraints: 52260 1933.84/1940.66 c #Conflicts: 962000 | #Constraints: 53860 1933.84/1940.66 c #Conflicts: 963000 | #Constraints: 55489 1933.84/1940.66 c #Conflicts: 964000 | #Constraints: 57044 1933.84/1940.66 c #Conflicts: 965000 | #Constraints: 58662 1933.84/1940.66 c #Conflicts: 966000 | #Constraints: 60271 1933.84/1940.66 c #Conflicts: 967000 | #Constraints: 61914 1933.84/1940.66 c #Conflicts: 968000 | #Constraints: 63541 1933.84/1940.66 c #Conflicts: 969000 | #Constraints: 65199 1933.84/1940.66 c #Conflicts: 970000 | #Constraints: 66829 1933.84/1940.66 c INPROCESSING 1933.84/1940.66 c GARBAGE COLLECT 1933.84/1940.66 c #Conflicts: 971000 | #Constraints: 35651 1933.84/1940.66 c #Conflicts: 972000 | #Constraints: 37342 1933.84/1940.66 c #Conflicts: 973000 | #Constraints: 39015 1933.84/1940.66 c #Conflicts: 974000 | #Constraints: 40664 1933.84/1940.66 c #Conflicts: 975000 | #Constraints: 41841 1933.84/1940.66 c #Conflicts: 976000 | #Constraints: 43051 1933.84/1940.66 c #Conflicts: 977000 | #Constraints: 44232 1933.84/1940.66 c #Conflicts: 978000 | #Constraints: 45381 1933.84/1940.66 c #Conflicts: 979000 | #Constraints: 46528 1933.84/1940.66 c #Conflicts: 980000 | #Constraints: 47637 1933.84/1940.66 c #Conflicts: 981000 | #Constraints: 48820 1933.84/1940.66 c #Conflicts: 982000 | #Constraints: 49916 1933.84/1940.66 c #Conflicts: 983000 | #Constraints: 51113 2180.92/2188.64 c #Conflicts: 984000 | #Constraints: 52320 2180.92/2188.64 c #Conflicts: 985000 | #Constraints: 53429 2180.92/2188.64 c #Conflicts: 986000 | #Constraints: 54585 2180.92/2188.64 c #Conflicts: 987000 | #Constraints: 55757 2180.92/2188.64 c #Conflicts: 988000 | #Constraints: 57153 2180.92/2188.64 c #Conflicts: 989000 | #Constraints: 58487 2180.92/2188.64 c bounds -35 >= -38 @ 1952.84 2180.92/2188.64 c #Conflicts: 990000 | #Constraints: 59665 2180.92/2188.64 c #Conflicts: 991000 | #Constraints: 61158 2180.92/2188.64 c #Conflicts: 992000 | #Constraints: 62680 2180.92/2188.64 c INPROCESSING 2180.92/2188.64 c GARBAGE COLLECT 2180.92/2188.64 c #Conflicts: 993000 | #Constraints: 33539 2180.92/2188.64 c #Conflicts: 994000 | #Constraints: 35099 2180.92/2188.64 c #Conflicts: 995000 | #Constraints: 36696 2180.92/2188.64 c #Conflicts: 996000 | #Constraints: 38318 2180.92/2188.64 c #Conflicts: 997000 | #Constraints: 39924 2180.92/2188.64 c #Conflicts: 998000 | #Constraints: 41489 2180.92/2188.64 c #Conflicts: 999000 | #Constraints: 43070 2180.92/2188.64 c #Conflicts: 1000000 | #Constraints: 44634 2180.92/2188.64 c #Conflicts: 1001000 | #Constraints: 46219 2180.92/2188.64 c #Conflicts: 1002000 | #Constraints: 47758 2180.92/2188.64 c #Conflicts: 1003000 | #Constraints: 49345 2180.92/2188.64 c #Conflicts: 1004000 | #Constraints: 50959 2180.92/2188.64 c #Conflicts: 1005000 | #Constraints: 52567 2180.92/2188.64 c #Conflicts: 1006000 | #Constraints: 54202 2180.92/2188.64 c #Conflicts: 1007000 | #Constraints: 55822 2180.92/2188.64 c #Conflicts: 1008000 | #Constraints: 57452 2180.92/2188.64 c #Conflicts: 1009000 | #Constraints: 59056 2180.92/2188.64 c #Conflicts: 1010000 | #Constraints: 60650 2180.92/2188.64 c #Conflicts: 1011000 | #Constraints: 62314 2180.92/2188.64 c #Conflicts: 1012000 | #Constraints: 63961 2180.92/2188.64 c #Conflicts: 1013000 | #Constraints: 65599 2180.92/2188.64 c #Conflicts: 1014000 | #Constraints: 67272 2180.92/2188.64 c INPROCESSING 2180.92/2188.64 c GARBAGE COLLECT 2180.92/2188.64 c #Conflicts: 1015000 | #Constraints: 36122 2180.92/2188.64 c #Conflicts: 1016000 | #Constraints: 37828 2180.92/2188.64 c #Conflicts: 1017000 | #Constraints: 39538 2180.92/2188.64 c #Conflicts: 1018000 | #Constraints: 40995 2180.92/2188.64 c #Conflicts: 1019000 | #Constraints: 42087 2180.92/2188.64 c #Conflicts: 1020000 | #Constraints: 43219 2180.92/2188.64 c #Conflicts: 1021000 | #Constraints: 44319 2180.92/2188.64 c #Conflicts: 1022000 | #Constraints: 45530 2180.92/2188.64 c #Conflicts: 1023000 | #Constraints: 46775 2180.92/2188.64 c #Conflicts: 1024000 | #Constraints: 48003 2180.92/2188.64 c #Conflicts: 1025000 | #Constraints: 49164 2180.92/2188.64 c #Conflicts: 1026000 | #Constraints: 50377 2180.92/2188.64 c #Conflicts: 1027000 | #Constraints: 51513 2180.92/2188.64 c #Conflicts: 1028000 | #Constraints: 52603 2180.92/2188.64 c #Conflicts: 1029000 | #Constraints: 53683 2180.92/2188.64 c #Conflicts: 1030000 | #Constraints: 54847 2180.92/2188.64 c #Conflicts: 1031000 | #Constraints: 55967 2180.92/2188.64 c #Conflicts: 1032000 | #Constraints: 57087 2180.92/2188.64 c #Conflicts: 1033000 | #Constraints: 58273 2180.92/2188.64 c #Conflicts: 1034000 | #Constraints: 59540 2180.92/2188.64 c #Conflicts: 1035000 | #Constraints: 60654 2180.92/2188.64 c #Conflicts: 1036000 | #Constraints: 61915 2180.92/2188.64 c INPROCESSING 2180.92/2188.64 c GARBAGE COLLECT 2180.92/2188.64 c #Conflicts: 1037000 | #Constraints: 32753 2180.92/2188.64 c #Conflicts: 1038000 | #Constraints: 34209 2180.92/2188.64 c #Conflicts: 1039000 | #Constraints: 35734 2180.92/2188.64 c #Conflicts: 1040000 | #Constraints: 37297 2180.92/2188.64 c #Conflicts: 1041000 | #Constraints: 38843 2180.92/2188.64 c #Conflicts: 1042000 | #Constraints: 40406 2180.92/2188.64 c #Conflicts: 1043000 | #Constraints: 41943 2180.92/2188.64 c #Conflicts: 1044000 | #Constraints: 43535 2180.92/2188.64 c #Conflicts: 1045000 | #Constraints: 45072 2180.92/2188.64 c #Conflicts: 1046000 | #Constraints: 46612 2180.92/2188.64 c #Conflicts: 1047000 | #Constraints: 48123 2180.92/2188.64 c #Conflicts: 1048000 | #Constraints: 49699 2180.92/2188.64 c #Conflicts: 1049000 | #Constraints: 51243 2180.92/2188.64 c #Conflicts: 1050000 | #Constraints: 52784 2180.92/2188.64 c #Conflicts: 1051000 | #Constraints: 54323 2180.92/2188.64 c #Conflicts: 1052000 | #Constraints: 55868 2180.92/2188.64 c #Conflicts: 1053000 | #Constraints: 57450 2180.92/2188.64 c #Conflicts: 1054000 | #Constraints: 59045 2180.92/2188.64 c #Conflicts: 1055000 | #Constraints: 60564 2180.92/2188.64 c #Conflicts: 1056000 | #Constraints: 62090 2180.92/2188.64 c #Conflicts: 1057000 | #Constraints: 63643 2180.92/2188.64 c #Conflicts: 1058000 | #Constraints: 65139 2180.92/2188.64 c INPROCESSING 2180.92/2188.64 c GARBAGE COLLECT 2180.92/2188.64 c #Conflicts: 1059000 | #Constraints: 34374 2452.46/2461.23 c #Conflicts: 1060000 | #Constraints: 35955 2452.46/2461.23 c #Conflicts: 1061000 | #Constraints: 37490 2452.46/2461.23 c #Conflicts: 1062000 | #Constraints: 39015 2452.46/2461.23 c #Conflicts: 1063000 | #Constraints: 40562 2452.46/2461.23 c #Conflicts: 1064000 | #Constraints: 42070 2452.46/2461.23 c #Conflicts: 1065000 | #Constraints: 43591 2452.46/2461.23 c #Conflicts: 1066000 | #Constraints: 45123 2452.46/2461.23 c #Conflicts: 1067000 | #Constraints: 46689 2452.46/2461.23 c #Conflicts: 1068000 | #Constraints: 48220 2452.46/2461.23 c #Conflicts: 1069000 | #Constraints: 49759 2452.46/2461.23 c #Conflicts: 1070000 | #Constraints: 51262 2452.46/2461.23 c #Conflicts: 1071000 | #Constraints: 52799 2452.46/2461.23 c #Conflicts: 1072000 | #Constraints: 54302 2452.46/2461.23 c #Conflicts: 1073000 | #Constraints: 55847 2452.46/2461.23 c #Conflicts: 1074000 | #Constraints: 57373 2452.46/2461.23 c #Conflicts: 1075000 | #Constraints: 58923 2452.46/2461.23 c #Conflicts: 1076000 | #Constraints: 60451 2452.46/2461.23 c #Conflicts: 1077000 | #Constraints: 62018 2452.46/2461.23 c #Conflicts: 1078000 | #Constraints: 63588 2452.46/2461.23 c #Conflicts: 1079000 | #Constraints: 65186 2452.46/2461.23 c #Conflicts: 1080000 | #Constraints: 66752 2452.46/2461.23 c #Conflicts: 1081000 | #Constraints: 68286 2452.46/2461.23 c INPROCESSING 2452.46/2461.23 c GARBAGE COLLECT 2452.46/2461.23 c #Conflicts: 1082000 | #Constraints: 36426 2452.46/2461.23 c #Conflicts: 1083000 | #Constraints: 38185 2452.46/2461.23 c #Conflicts: 1084000 | #Constraints: 39872 2452.46/2461.23 c #Conflicts: 1085000 | #Constraints: 41600 2452.46/2461.23 c #Conflicts: 1086000 | #Constraints: 43318 2452.46/2461.23 c #Conflicts: 1087000 | #Constraints: 45053 2452.46/2461.23 c #Conflicts: 1088000 | #Constraints: 46620 2452.46/2461.23 c #Conflicts: 1089000 | #Constraints: 47852 2452.46/2461.23 c #Conflicts: 1090000 | #Constraints: 48948 2452.46/2461.23 c #Conflicts: 1091000 | #Constraints: 50421 2452.46/2461.23 c #Conflicts: 1092000 | #Constraints: 51559 2452.46/2461.23 c #Conflicts: 1093000 | #Constraints: 52793 2452.46/2461.23 c #Conflicts: 1094000 | #Constraints: 53893 2452.46/2461.23 c #Conflicts: 1095000 | #Constraints: 55116 2452.46/2461.23 c #Conflicts: 1096000 | #Constraints: 56215 2452.46/2461.23 c #Conflicts: 1097000 | #Constraints: 57368 2452.46/2461.23 c #Conflicts: 1098000 | #Constraints: 58479 2452.46/2461.23 c #Conflicts: 1099000 | #Constraints: 59604 2452.46/2461.23 c #Conflicts: 1100000 | #Constraints: 60820 2452.46/2461.23 c #Conflicts: 1101000 | #Constraints: 61972 2452.46/2461.23 c #Conflicts: 1102000 | #Constraints: 63194 2452.46/2461.23 c #Conflicts: 1103000 | #Constraints: 64264 2452.46/2461.23 c #Conflicts: 1104000 | #Constraints: 65315 2452.46/2461.23 c INPROCESSING 2452.46/2461.23 c GARBAGE COLLECT 2452.46/2461.23 c #Conflicts: 1105000 | #Constraints: 34920 2452.46/2461.23 c #Conflicts: 1106000 | #Constraints: 36388 2452.46/2461.23 c #Conflicts: 1107000 | #Constraints: 37819 2452.46/2461.23 c #Conflicts: 1108000 | #Constraints: 39290 2452.46/2461.23 c #Conflicts: 1109000 | #Constraints: 40757 2452.46/2461.23 c #Conflicts: 1110000 | #Constraints: 42336 2452.46/2461.23 c #Conflicts: 1111000 | #Constraints: 43964 2452.46/2461.23 c #Conflicts: 1112000 | #Constraints: 45310 2452.46/2461.23 c #Conflicts: 1113000 | #Constraints: 46953 2452.46/2461.23 c #Conflicts: 1114000 | #Constraints: 48605 2452.46/2461.23 c #Conflicts: 1115000 | #Constraints: 50072 2452.46/2461.23 c #Conflicts: 1116000 | #Constraints: 51506 2452.46/2461.23 c bounds -36 >= -38 @ 2371.34 2452.46/2461.23 c #Conflicts: 1117000 | #Constraints: 52900 2452.46/2461.23 c #Conflicts: 1118000 | #Constraints: 54448 2452.46/2461.23 c #Conflicts: 1119000 | #Constraints: 55993 2452.46/2461.23 c #Conflicts: 1120000 | #Constraints: 57538 2452.46/2461.23 c #Conflicts: 1121000 | #Constraints: 59105 2452.46/2461.23 c #Conflicts: 1122000 | #Constraints: 60679 2452.46/2461.23 c #Conflicts: 1123000 | #Constraints: 62235 2452.46/2461.23 c #Conflicts: 1124000 | #Constraints: 63812 2452.46/2461.23 c #Conflicts: 1125000 | #Constraints: 65408 2452.46/2461.23 c #Conflicts: 1126000 | #Constraints: 67013 2452.46/2461.23 c #Conflicts: 1127000 | #Constraints: 68584 2452.46/2461.23 c INPROCESSING 2452.46/2461.23 c GARBAGE COLLECT 2452.46/2461.23 c #Conflicts: 1128000 | #Constraints: 36723 2452.46/2461.23 c #Conflicts: 1129000 | #Constraints: 37781 2452.46/2461.23 c #Conflicts: 1130000 | #Constraints: 38834 2452.46/2461.23 c #Conflicts: 1131000 | #Constraints: 40005 2452.46/2461.23 c #Conflicts: 1132000 | #Constraints: 41046 2452.46/2461.23 c #Conflicts: 1133000 | #Constraints: 42174 2452.46/2461.23 c #Conflicts: 1134000 | #Constraints: 43262 2452.46/2461.23 c #Conflicts: 1135000 | #Constraints: 44391 2703.12/2712.88 c #Conflicts: 1136000 | #Constraints: 45497 2703.12/2712.88 c #Conflicts: 1137000 | #Constraints: 46665 2703.12/2712.88 c #Conflicts: 1138000 | #Constraints: 47767 2703.12/2712.88 c #Conflicts: 1139000 | #Constraints: 48968 2703.12/2712.88 c #Conflicts: 1140000 | #Constraints: 50125 2703.12/2712.88 c #Conflicts: 1141000 | #Constraints: 51254 2703.12/2712.88 c #Conflicts: 1142000 | #Constraints: 52381 2703.12/2712.88 c #Conflicts: 1143000 | #Constraints: 53572 2703.12/2712.88 c #Conflicts: 1144000 | #Constraints: 54756 2703.12/2712.88 c #Conflicts: 1145000 | #Constraints: 55936 2703.12/2712.88 c #Conflicts: 1146000 | #Constraints: 57092 2703.12/2712.88 c #Conflicts: 1147000 | #Constraints: 58266 2703.12/2712.88 c #Conflicts: 1148000 | #Constraints: 59311 2703.12/2712.88 c #Conflicts: 1149000 | #Constraints: 60418 2703.12/2712.88 c #Conflicts: 1150000 | #Constraints: 61503 2703.12/2712.88 c INPROCESSING 2703.12/2712.88 c GARBAGE COLLECT 2703.12/2712.88 c #Conflicts: 1151000 | #Constraints: 32731 2703.12/2712.88 c #Conflicts: 1152000 | #Constraints: 34217 2703.12/2712.88 c #Conflicts: 1153000 | #Constraints: 35753 2703.12/2712.88 c #Conflicts: 1154000 | #Constraints: 37330 2703.12/2712.88 c #Conflicts: 1155000 | #Constraints: 38906 2703.12/2712.88 c #Conflicts: 1156000 | #Constraints: 40482 2703.12/2712.88 c #Conflicts: 1157000 | #Constraints: 42000 2703.12/2712.88 c #Conflicts: 1158000 | #Constraints: 43518 2703.12/2712.88 c #Conflicts: 1159000 | #Constraints: 45018 2703.12/2712.88 c #Conflicts: 1160000 | #Constraints: 46552 2703.12/2712.88 c #Conflicts: 1161000 | #Constraints: 48056 2703.12/2712.88 c #Conflicts: 1162000 | #Constraints: 49644 2703.12/2712.88 c #Conflicts: 1163000 | #Constraints: 51205 2703.12/2712.88 c #Conflicts: 1164000 | #Constraints: 52745 2703.12/2712.88 c #Conflicts: 1165000 | #Constraints: 54276 2703.12/2712.88 c #Conflicts: 1166000 | #Constraints: 55818 2703.12/2712.88 c #Conflicts: 1167000 | #Constraints: 57327 2703.12/2712.88 c #Conflicts: 1168000 | #Constraints: 58819 2703.12/2712.88 c #Conflicts: 1169000 | #Constraints: 60364 2703.12/2712.88 c #Conflicts: 1170000 | #Constraints: 61899 2703.12/2712.88 c #Conflicts: 1171000 | #Constraints: 63432 2703.12/2712.88 c #Conflicts: 1172000 | #Constraints: 64975 2703.12/2712.88 c #Conflicts: 1173000 | #Constraints: 66498 2703.12/2712.88 c INPROCESSING 2703.12/2712.88 c GARBAGE COLLECT 2703.12/2712.88 c #Conflicts: 1174000 | #Constraints: 35024 2703.12/2712.88 c #Conflicts: 1175000 | #Constraints: 36535 2703.12/2712.88 c #Conflicts: 1176000 | #Constraints: 38072 2703.12/2712.88 c #Conflicts: 1177000 | #Constraints: 39566 2703.12/2712.88 c #Conflicts: 1178000 | #Constraints: 41067 2703.12/2712.88 c #Conflicts: 1179000 | #Constraints: 42597 2703.12/2712.88 c #Conflicts: 1180000 | #Constraints: 44090 2703.12/2712.88 c #Conflicts: 1181000 | #Constraints: 45623 2703.12/2712.88 c #Conflicts: 1182000 | #Constraints: 47140 2703.12/2712.88 c #Conflicts: 1183000 | #Constraints: 48645 2703.12/2712.88 c #Conflicts: 1184000 | #Constraints: 50137 2703.12/2712.88 c #Conflicts: 1185000 | #Constraints: 51665 2703.12/2712.88 c #Conflicts: 1186000 | #Constraints: 53169 2703.12/2712.88 c #Conflicts: 1187000 | #Constraints: 54696 2703.12/2712.88 c #Conflicts: 1188000 | #Constraints: 56258 2703.12/2712.88 c #Conflicts: 1189000 | #Constraints: 57806 2703.12/2712.88 c #Conflicts: 1190000 | #Constraints: 59326 2703.12/2712.88 c #Conflicts: 1191000 | #Constraints: 60846 2703.12/2712.88 c #Conflicts: 1192000 | #Constraints: 62407 2703.12/2712.88 c #Conflicts: 1193000 | #Constraints: 63963 2703.12/2712.88 c #Conflicts: 1194000 | #Constraints: 65450 2703.12/2712.88 c #Conflicts: 1195000 | #Constraints: 67018 2703.12/2712.88 c #Conflicts: 1196000 | #Constraints: 68511 2703.12/2712.88 c #Conflicts: 1197000 | #Constraints: 70052 2703.12/2712.88 c INPROCESSING 2703.12/2712.88 c GARBAGE COLLECT 2703.12/2712.88 c #Conflicts: 1198000 | #Constraints: 37198 2703.12/2712.88 c #Conflicts: 1199000 | #Constraints: 38285 2703.12/2712.88 c #Conflicts: 1200000 | #Constraints: 39426 2703.12/2712.88 c #Conflicts: 1201000 | #Constraints: 40603 2703.12/2712.88 c #Conflicts: 1202000 | #Constraints: 41681 2703.12/2712.88 c #Conflicts: 1203000 | #Constraints: 42819 2703.12/2712.88 c #Conflicts: 1204000 | #Constraints: 43946 2703.12/2712.88 c #Conflicts: 1205000 | #Constraints: 45034 2703.12/2712.88 c #Conflicts: 1206000 | #Constraints: 46174 2703.12/2712.88 c #Conflicts: 1207000 | #Constraints: 47432 2703.12/2712.88 c #Conflicts: 1208000 | #Constraints: 48560 2703.12/2712.88 c #Conflicts: 1209000 | #Constraints: 49664 2703.12/2712.88 c #Conflicts: 1210000 | #Constraints: 50932 2703.12/2712.88 c #Conflicts: 1211000 | #Constraints: 52283 2703.12/2712.88 c #Conflicts: 1212000 | #Constraints: 53405 2977.88/2988.68 c #Conflicts: 1213000 | #Constraints: 54748 2977.88/2988.68 c #Conflicts: 1214000 | #Constraints: 55780 2977.88/2988.68 c #Conflicts: 1215000 | #Constraints: 56905 2977.88/2988.68 c #Conflicts: 1216000 | #Constraints: 57921 2977.88/2988.68 c #Conflicts: 1217000 | #Constraints: 59025 2977.88/2988.68 c #Conflicts: 1218000 | #Constraints: 60095 2977.88/2988.68 c #Conflicts: 1219000 | #Constraints: 61201 2977.88/2988.68 c #Conflicts: 1220000 | #Constraints: 62344 2977.88/2988.68 c #Conflicts: 1221000 | #Constraints: 63405 2977.88/2988.68 c INPROCESSING 2977.88/2988.68 c GARBAGE COLLECT 2977.88/2988.68 c #Conflicts: 1222000 | #Constraints: 33970 2977.88/2988.68 c #Conflicts: 1223000 | #Constraints: 35542 2977.88/2988.68 c #Conflicts: 1224000 | #Constraints: 37115 2977.88/2988.68 c #Conflicts: 1225000 | #Constraints: 38683 2977.88/2988.68 c #Conflicts: 1226000 | #Constraints: 40285 2977.88/2988.68 c #Conflicts: 1227000 | #Constraints: 41836 2977.88/2988.68 c #Conflicts: 1228000 | #Constraints: 43470 2977.88/2988.68 c #Conflicts: 1229000 | #Constraints: 45083 2977.88/2988.68 c #Conflicts: 1230000 | #Constraints: 46670 2977.88/2988.68 c #Conflicts: 1231000 | #Constraints: 48209 2977.88/2988.68 c #Conflicts: 1232000 | #Constraints: 49750 2977.88/2988.68 c #Conflicts: 1233000 | #Constraints: 51289 2977.88/2988.68 c #Conflicts: 1234000 | #Constraints: 52820 2977.88/2988.68 c #Conflicts: 1235000 | #Constraints: 54335 2977.88/2988.68 c #Conflicts: 1236000 | #Constraints: 55853 2977.88/2988.68 c #Conflicts: 1237000 | #Constraints: 57396 2977.88/2988.68 c #Conflicts: 1238000 | #Constraints: 58944 2977.88/2988.68 c #Conflicts: 1239000 | #Constraints: 60488 2977.88/2988.68 c #Conflicts: 1240000 | #Constraints: 61995 2977.88/2988.68 c #Conflicts: 1241000 | #Constraints: 63488 2977.88/2988.68 c #Conflicts: 1242000 | #Constraints: 65030 2977.88/2988.68 c #Conflicts: 1243000 | #Constraints: 66556 2977.88/2988.68 c #Conflicts: 1244000 | #Constraints: 68093 2977.88/2988.68 c #Conflicts: 1245000 | #Constraints: 69652 2977.88/2988.68 c INPROCESSING 2977.88/2988.68 c GARBAGE COLLECT 2977.88/2988.68 c #Conflicts: 1246000 | #Constraints: 37096 2977.88/2988.68 c #Conflicts: 1247000 | #Constraints: 38647 2977.88/2988.68 c #Conflicts: 1248000 | #Constraints: 40259 2977.88/2988.68 c #Conflicts: 1249000 | #Constraints: 41902 2977.88/2988.68 c #Conflicts: 1250000 | #Constraints: 43477 2977.88/2988.68 c #Conflicts: 1251000 | #Constraints: 45018 2977.88/2988.68 c #Conflicts: 1252000 | #Constraints: 46550 2977.88/2988.68 c #Conflicts: 1253000 | #Constraints: 48117 2977.88/2988.68 c #Conflicts: 1254000 | #Constraints: 49672 2977.88/2988.68 c #Conflicts: 1255000 | #Constraints: 51193 2977.88/2988.68 c #Conflicts: 1256000 | #Constraints: 52722 2977.88/2988.68 c #Conflicts: 1257000 | #Constraints: 54263 2977.88/2988.68 c #Conflicts: 1258000 | #Constraints: 55786 2977.88/2988.68 c #Conflicts: 1259000 | #Constraints: 57333 2977.88/2988.68 c #Conflicts: 1260000 | #Constraints: 58842 2977.88/2988.68 c #Conflicts: 1261000 | #Constraints: 60399 2977.88/2988.68 c #Conflicts: 1262000 | #Constraints: 61974 2977.88/2988.68 c #Conflicts: 1263000 | #Constraints: 63511 2977.88/2988.68 c #Conflicts: 1264000 | #Constraints: 65035 2977.88/2988.68 c #Conflicts: 1265000 | #Constraints: 66569 2977.88/2988.68 c #Conflicts: 1266000 | #Constraints: 68140 2977.88/2988.68 c #Conflicts: 1267000 | #Constraints: 69646 2977.88/2988.68 c #Conflicts: 1268000 | #Constraints: 71186 2977.88/2988.68 c #Conflicts: 1269000 | #Constraints: 72743 2977.88/2988.68 c INPROCESSING 2977.88/2988.68 c GARBAGE COLLECT 2977.88/2988.68 c #Conflicts: 1270000 | #Constraints: 38628 2977.88/2988.68 c #Conflicts: 1271000 | #Constraints: 40348 2977.88/2988.68 c #Conflicts: 1272000 | #Constraints: 41882 2977.88/2988.68 c #Conflicts: 1273000 | #Constraints: 43057 2977.88/2988.68 c #Conflicts: 1274000 | #Constraints: 44319 2977.88/2988.68 c #Conflicts: 1275000 | #Constraints: 45404 2977.88/2988.68 c #Conflicts: 1276000 | #Constraints: 46521 2977.88/2988.68 c #Conflicts: 1277000 | #Constraints: 47661 2977.88/2988.68 c #Conflicts: 1278000 | #Constraints: 48810 2977.88/2988.68 c #Conflicts: 1279000 | #Constraints: 49935 2977.88/2988.68 c #Conflicts: 1280000 | #Constraints: 51028 2977.88/2988.68 c #Conflicts: 1281000 | #Constraints: 52131 2977.88/2988.68 c #Conflicts: 1282000 | #Constraints: 53215 2977.88/2988.68 c #Conflicts: 1283000 | #Constraints: 54362 2977.88/2988.68 c #Conflicts: 1284000 | #Constraints: 55533 2977.88/2988.68 c #Conflicts: 1285000 | #Constraints: 56661 2977.88/2988.68 c #Conflicts: 1286000 | #Constraints: 57715 2977.88/2988.68 c #Conflicts: 1287000 | #Constraints: 58880 2977.88/2988.68 c #Conflicts: 1288000 | #Constraints: 59996 2977.88/2988.68 c #Conflicts: 1289000 | #Constraints: 61103 3007.56/3018.46 c #Conflicts: 1290000 | #Constraints: 62196 3007.56/3018.46 c #Conflicts: 1291000 | #Constraints: 63308 3007.56/3018.46 c #Conflicts: 1292000 | #Constraints: 64314 3007.56/3018.46 c #Conflicts: 1293000 | #Constraints: 65315 3007.56/3018.46 c INPROCESSING 3007.56/3018.46 c GARBAGE COLLECT 3007.56/3018.46 c rational objective -38 3257.04/3268.71 c #Conflicts: 1294000 | #Constraints: 34135 3257.04/3268.71 c #Conflicts: 1295000 | #Constraints: 35338 3257.04/3268.71 c #Conflicts: 1296000 | #Constraints: 36833 3257.04/3268.71 c #Conflicts: 1297000 | #Constraints: 38370 3257.04/3268.71 c #Conflicts: 1298000 | #Constraints: 39883 3257.04/3268.71 c #Conflicts: 1299000 | #Constraints: 41448 3257.04/3268.71 c #Conflicts: 1300000 | #Constraints: 42968 3257.04/3268.71 c #Conflicts: 1301000 | #Constraints: 44506 3257.04/3268.71 c #Conflicts: 1302000 | #Constraints: 46034 3257.04/3268.71 c #Conflicts: 1303000 | #Constraints: 47534 3257.04/3268.71 c #Conflicts: 1304000 | #Constraints: 49064 3257.04/3268.71 c #Conflicts: 1305000 | #Constraints: 50578 3257.04/3268.71 c #Conflicts: 1306000 | #Constraints: 52088 3257.04/3268.71 c #Conflicts: 1307000 | #Constraints: 53595 3257.04/3268.71 c #Conflicts: 1308000 | #Constraints: 55097 3257.04/3268.71 c #Conflicts: 1309000 | #Constraints: 56652 3257.04/3268.71 c #Conflicts: 1310000 | #Constraints: 58186 3257.04/3268.71 c #Conflicts: 1311000 | #Constraints: 59730 3257.04/3268.71 c #Conflicts: 1312000 | #Constraints: 61271 3257.04/3268.71 c #Conflicts: 1313000 | #Constraints: 62821 3257.04/3268.71 c #Conflicts: 1314000 | #Constraints: 64372 3257.04/3268.71 c #Conflicts: 1315000 | #Constraints: 65894 3257.04/3268.71 c #Conflicts: 1316000 | #Constraints: 67398 3257.04/3268.71 c #Conflicts: 1317000 | #Constraints: 68952 3257.04/3268.71 c #Conflicts: 1318000 | #Constraints: 70462 3257.04/3268.71 c INPROCESSING 3257.04/3268.71 c GARBAGE COLLECT 3257.04/3268.71 c #Conflicts: 1319000 | #Constraints: 37472 3257.04/3268.71 c #Conflicts: 1320000 | #Constraints: 38951 3257.04/3268.71 c #Conflicts: 1321000 | #Constraints: 40123 3257.04/3268.71 c #Conflicts: 1322000 | #Constraints: 41564 3257.04/3268.71 c #Conflicts: 1323000 | #Constraints: 42943 3257.04/3268.71 c #Conflicts: 1324000 | #Constraints: 44216 3257.04/3268.71 c #Conflicts: 1325000 | #Constraints: 45382 3257.04/3268.71 c #Conflicts: 1326000 | #Constraints: 46562 3257.04/3268.71 c #Conflicts: 1327000 | #Constraints: 47755 3257.04/3268.71 c #Conflicts: 1328000 | #Constraints: 49053 3257.04/3268.71 c #Conflicts: 1329000 | #Constraints: 50167 3257.04/3268.71 c #Conflicts: 1330000 | #Constraints: 51381 3257.04/3268.71 c #Conflicts: 1331000 | #Constraints: 52453 3257.04/3268.71 c #Conflicts: 1332000 | #Constraints: 53655 3257.04/3268.71 c #Conflicts: 1333000 | #Constraints: 54749 3257.04/3268.71 c #Conflicts: 1334000 | #Constraints: 55810 3257.04/3268.71 c #Conflicts: 1335000 | #Constraints: 56959 3257.04/3268.71 c #Conflicts: 1336000 | #Constraints: 58124 3257.04/3268.71 c #Conflicts: 1337000 | #Constraints: 59419 3257.04/3268.71 c #Conflicts: 1338000 | #Constraints: 60582 3257.04/3268.71 c #Conflicts: 1339000 | #Constraints: 61740 3257.04/3268.71 c #Conflicts: 1340000 | #Constraints: 62931 3257.04/3268.71 c #Conflicts: 1341000 | #Constraints: 64140 3257.04/3268.71 c #Conflicts: 1342000 | #Constraints: 65348 3257.04/3268.71 c #Conflicts: 1343000 | #Constraints: 66639 3257.04/3268.71 c INPROCESSING 3257.04/3268.71 c GARBAGE COLLECT 3257.04/3268.71 c #Conflicts: 1344000 | #Constraints: 35531 3257.04/3268.71 c #Conflicts: 1345000 | #Constraints: 37016 3257.04/3268.71 c #Conflicts: 1346000 | #Constraints: 38345 3257.04/3268.71 c #Conflicts: 1347000 | #Constraints: 39796 3257.04/3268.71 c #Conflicts: 1348000 | #Constraints: 41413 3257.04/3268.71 c #Conflicts: 1349000 | #Constraints: 42973 3257.04/3268.71 c #Conflicts: 1350000 | #Constraints: 44429 3257.04/3268.71 c #Conflicts: 1351000 | #Constraints: 46000 3257.04/3268.71 c #Conflicts: 1352000 | #Constraints: 47701 3257.04/3268.71 c #Conflicts: 1353000 | #Constraints: 49380 3257.04/3268.71 c #Conflicts: 1354000 | #Constraints: 51010 3257.04/3268.71 c #Conflicts: 1355000 | #Constraints: 52528 3257.04/3268.71 c #Conflicts: 1356000 | #Constraints: 54051 3257.04/3268.71 c #Conflicts: 1357000 | #Constraints: 55566 3257.04/3268.71 c #Conflicts: 1358000 | #Constraints: 57112 3257.04/3268.71 c #Conflicts: 1359000 | #Constraints: 58621 3257.04/3268.71 c #Conflicts: 1360000 | #Constraints: 60161 3257.04/3268.71 c #Conflicts: 1361000 | #Constraints: 61643 3257.04/3268.71 c #Conflicts: 1362000 | #Constraints: 63157 3257.04/3268.71 c #Conflicts: 1363000 | #Constraints: 64631 3257.04/3268.71 c #Conflicts: 1364000 | #Constraints: 66141 3257.04/3268.71 c #Conflicts: 1365000 | #Constraints: 67648 3257.04/3268.71 c #Conflicts: 1366000 | #Constraints: 69161 3257.04/3268.71 c #Conflicts: 1367000 | #Constraints: 70652 3257.04/3268.71 c #Conflicts: 1368000 | #Constraints: 72154 3257.04/3268.71 c INPROCESSING 3257.04/3268.71 c GARBAGE COLLECT 3257.04/3268.71 c #Conflicts: 1369000 | #Constraints: 38284 3257.04/3268.71 c #Conflicts: 1370000 | #Constraints: 39798 3534.27/3546.73 c #Conflicts: 1371000 | #Constraints: 41322 3534.27/3546.73 c #Conflicts: 1372000 | #Constraints: 42808 3534.27/3546.73 c #Conflicts: 1373000 | #Constraints: 44316 3534.27/3546.73 c #Conflicts: 1374000 | #Constraints: 45826 3534.27/3546.73 c #Conflicts: 1375000 | #Constraints: 47374 3534.27/3546.73 c #Conflicts: 1376000 | #Constraints: 48903 3534.27/3546.73 c #Conflicts: 1377000 | #Constraints: 50438 3534.27/3546.73 c #Conflicts: 1378000 | #Constraints: 51955 3534.27/3546.73 c #Conflicts: 1379000 | #Constraints: 53484 3534.27/3546.73 c #Conflicts: 1380000 | #Constraints: 55022 3534.27/3546.73 c #Conflicts: 1381000 | #Constraints: 56542 3534.27/3546.73 c #Conflicts: 1382000 | #Constraints: 58059 3534.27/3546.73 c #Conflicts: 1383000 | #Constraints: 59567 3534.27/3546.73 c #Conflicts: 1384000 | #Constraints: 61091 3534.27/3546.73 c #Conflicts: 1385000 | #Constraints: 62650 3534.27/3546.73 c #Conflicts: 1386000 | #Constraints: 64178 3534.27/3546.73 c #Conflicts: 1387000 | #Constraints: 65731 3534.27/3546.73 c #Conflicts: 1388000 | #Constraints: 67270 3534.27/3546.73 c #Conflicts: 1389000 | #Constraints: 68787 3534.27/3546.73 c #Conflicts: 1390000 | #Constraints: 70363 3534.27/3546.73 c #Conflicts: 1391000 | #Constraints: 71892 3534.27/3546.73 c #Conflicts: 1392000 | #Constraints: 73492 3534.27/3546.73 c #Conflicts: 1393000 | #Constraints: 75067 3534.27/3546.73 c INPROCESSING 3534.27/3546.73 c GARBAGE COLLECT 3534.27/3546.73 c #Conflicts: 1394000 | #Constraints: 39807 3534.27/3546.73 c #Conflicts: 1395000 | #Constraints: 41538 3534.27/3546.73 c #Conflicts: 1396000 | #Constraints: 43176 3534.27/3546.73 c #Conflicts: 1397000 | #Constraints: 44694 3534.27/3546.73 c #Conflicts: 1398000 | #Constraints: 45898 3534.27/3546.73 c #Conflicts: 1399000 | #Constraints: 47074 3534.27/3546.73 c #Conflicts: 1400000 | #Constraints: 48337 3534.27/3546.73 c #Conflicts: 1401000 | #Constraints: 49552 3534.27/3546.73 c #Conflicts: 1402000 | #Constraints: 50722 3534.27/3546.73 c #Conflicts: 1403000 | #Constraints: 51773 3534.27/3546.73 c #Conflicts: 1404000 | #Constraints: 52946 3534.27/3546.73 c #Conflicts: 1405000 | #Constraints: 54108 3534.27/3546.73 c #Conflicts: 1406000 | #Constraints: 55348 3534.27/3546.73 c #Conflicts: 1407000 | #Constraints: 56558 3534.27/3546.73 c #Conflicts: 1408000 | #Constraints: 57683 3534.27/3546.73 c #Conflicts: 1409000 | #Constraints: 58876 3534.27/3546.73 c #Conflicts: 1410000 | #Constraints: 60088 3534.27/3546.73 c #Conflicts: 1411000 | #Constraints: 61487 3534.27/3546.73 c #Conflicts: 1412000 | #Constraints: 62690 3534.27/3546.73 c #Conflicts: 1413000 | #Constraints: 63912 3534.27/3546.73 c #Conflicts: 1414000 | #Constraints: 65146 3534.27/3546.73 c #Conflicts: 1415000 | #Constraints: 66286 3534.27/3546.73 c #Conflicts: 1416000 | #Constraints: 67535 3534.27/3546.73 c #Conflicts: 1417000 | #Constraints: 68896 3534.27/3546.73 c #Conflicts: 1418000 | #Constraints: 70070 3534.27/3546.73 c INPROCESSING 3534.27/3546.73 c GARBAGE COLLECT 3534.27/3546.73 c #Conflicts: 1419000 | #Constraints: 36618 3534.27/3546.73 c #Conflicts: 1420000 | #Constraints: 38027 3534.27/3546.73 c #Conflicts: 1421000 | #Constraints: 39588 3534.27/3546.73 c #Conflicts: 1422000 | #Constraints: 41172 3534.27/3546.73 c #Conflicts: 1423000 | #Constraints: 42750 3534.27/3546.73 c #Conflicts: 1424000 | #Constraints: 44287 3534.27/3546.73 c #Conflicts: 1425000 | #Constraints: 45847 3534.27/3546.73 c #Conflicts: 1426000 | #Constraints: 47406 3534.27/3546.73 c #Conflicts: 1427000 | #Constraints: 48955 3534.27/3546.73 c #Conflicts: 1428000 | #Constraints: 50515 3534.27/3546.73 c #Conflicts: 1429000 | #Constraints: 52054 3534.27/3546.73 c #Conflicts: 1430000 | #Constraints: 53583 3534.27/3546.73 c #Conflicts: 1431000 | #Constraints: 55118 3534.27/3546.73 c #Conflicts: 1432000 | #Constraints: 56700 3534.27/3546.73 c #Conflicts: 1433000 | #Constraints: 58249 3534.27/3546.73 c #Conflicts: 1434000 | #Constraints: 59786 3534.27/3546.73 c #Conflicts: 1435000 | #Constraints: 61332 3534.27/3546.73 c #Conflicts: 1436000 | #Constraints: 62843 3534.27/3546.73 c #Conflicts: 1437000 | #Constraints: 64390 3534.27/3546.73 c #Conflicts: 1438000 | #Constraints: 66005 3534.27/3546.73 c #Conflicts: 1439000 | #Constraints: 67588 3534.27/3546.73 c #Conflicts: 1440000 | #Constraints: 69177 3534.27/3546.73 c #Conflicts: 1441000 | #Constraints: 70740 3534.27/3546.73 c #Conflicts: 1442000 | #Constraints: 72249 3534.27/3546.73 c #Conflicts: 1443000 | #Constraints: 73784 3534.27/3546.73 c #Conflicts: 1444000 | #Constraints: 75338 3534.27/3546.73 c INPROCESSING 3534.27/3546.73 c GARBAGE COLLECT 3534.27/3546.73 c #Conflicts: 1445000 | #Constraints: 39896 3534.27/3546.73 c #Conflicts: 1446000 | #Constraints: 41591 3534.27/3546.73 c #Conflicts: 1447000 | #Constraintc 3600.09/3612.70 s SATISFIABLE 3600.09/3612.70 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 3600.09/3612.70 s: 43087 3600.09/3612.70 c #Conflicts: 1448000 | #Constraints: 44317 3600.09/3612.70 c #Conflicts: 1449000 | #Constraints: 45444 3600.09/3612.70 c #Conflicts: 1450000 | #Constraints: 46628 3600.09/3612.70 c #Conflicts: 1451000 | #Constraints: 47904 3600.09/3612.70 c #Conflicts: 1452000 | #Constraints: 49182 3600.09/3612.70 c #Conflicts: 1453000 | #Constraints: 50436 3600.09/3612.70 c #Conflicts: 1454000 | #Constraints: 51785 3600.09/3612.70 c #Conflicts: 1455000 | #Constraints: 52916 3600.09/3612.70 c #Conflicts: 1456000 | #Constraints: 54008 3600.09/3612.70 c #Conflicts: 1457000 | #Constraints: 55195 3600.09/3612.70 c #Conflicts: 1458000 | #Constraints: 56455 3600.09/3612.70 c #Conflicts: 1459000 | #Constraints: 57673 3600.09/3612.70 c #Conflicts: 1460000 | #Constraints: 58890 3600.09/3612.70 c #Conflicts: 1461000 | #Constraints: 60206
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 (61227 MiB free)
memory of node 1: 64510 MiB (61277 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429704-1721052366/watcher-4429704-1721052366 -o /tmp/evaluation-result-4429704-1721052366/solver-4429704-1721052366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721048419-793282 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429704-1721052366.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=795998, runsolver pid=795995
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.17 4.13 4.10 5/241 795999
/proc/meminfo: memFree=125443016/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=38284 memory=9124 CPUtime=0.1 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 636 0 0 0 7 3 0 0 20 0 1 0 157396193 39202816 2281 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 9571 2281 1862 922 0 1523 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38284 KiB
Current children cumulated memory: 9124 KiB
[startup+0.21278 s]*
/proc/loadavg: 4.17 4.13 4.10 5/241 795999
/proc/meminfo: memFree=125439988/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=38548 memory=9652 CPUtime=0.21 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 759 0 0 0 15 6 0 0 20 0 1 0 157396193 39473152 2413 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 9637 2413 1862 922 0 1589 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38548 KiB
Current children cumulated memory: 9652 KiB
[startup+0.312655 s]*
/proc/loadavg: 4.17 4.13 4.10 5/241 795999
/proc/meminfo: memFree=125439512/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=38952 memory=10180 CPUtime=0.31 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 892 0 0 0 24 7 0 0 20 0 1 0 157396193 39886848 2545 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 9738 2545 1862 922 0 1690 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38952 KiB
Current children cumulated memory: 10180 KiB
[startup+0.700314 s]
/proc/loadavg: 4.17 4.13 4.10 5/241 795999
/proc/meminfo: memFree=125437356/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=40132 memory=14268 CPUtime=0.69 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 1433 0 0 0 60 9 0 0 20 0 1 0 157396193 41095168 3567 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 10033 3567 1862 922 0 1985 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40132 KiB
Current children cumulated memory: 14268 KiB
[startup+1.5003 s]
/proc/loadavg: 4.17 4.13 4.10 5/241 795999
/proc/meminfo: memFree=125433204/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=41284 memory=15640 CPUtime=1.49 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 1731 0 0 0 136 13 0 0 20 0 1 0 157396193 42274816 3910 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 10321 3910 1862 922 0 2273 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41284 KiB
Current children cumulated memory: 15640 KiB
[startup+3.11232 s]
/proc/loadavg: 4.16 4.13 4.10 5/241 795999
/proc/meminfo: memFree=125426256/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=42508 memory=16860 CPUtime=3.09 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 2047 0 0 0 289 20 0 0 20 0 1 0 157396193 43528192 4215 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 10627 4215 1862 922 0 2579 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 16860 KiB
[startup+6.30025 s]
/proc/loadavg: 4.16 4.13 4.10 5/241 795999
/proc/meminfo: memFree=125421828/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=44076 memory=18760 CPUtime=6.27 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 2558 0 0 0 594 33 0 0 20 0 1 0 157396193 45133824 4690 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 11019 4690 1862 922 0 2971 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44076 KiB
Current children cumulated memory: 18760 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.13 4.10 5/241 796001
/proc/meminfo: memFree=125403652/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=67132 memory=36792 CPUtime=12.64 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 5486 0 0 0 1217 47 0 0 20 0 1 0 157396193 68743168 9198 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 16783 9198 1862 922 0 8735 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 67132 KiB
Current children cumulated memory: 36792 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.12 4.09 5/241 796002
/proc/meminfo: memFree=125383068/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=68036 memory=37332 CPUtime=25.41 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 5726 0 0 0 2461 80 0 0 20 0 1 0 157396193 69668864 9333 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 17009 9333 1862 922 0 8961 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 68036 KiB
Current children cumulated memory: 37332 KiB
[startup+51.1134 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 796007
/proc/meminfo: memFree=125313980/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=91100 memory=54176 CPUtime=50.93 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 8426 0 0 0 4974 119 0 0 20 0 1 0 157396193 93286400 13544 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 22775 13544 1862 922 0 14727 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 91100 KiB
Current children cumulated memory: 54176 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/241 796015
/proc/meminfo: memFree=125275828/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=122324 memory=77120 CPUtime=101.94 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 11649 0 0 0 10017 177 0 0 20 0 1 0 157396193 125259776 19280 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 30581 19280 1862 922 0 22533 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 122324 KiB
Current children cumulated memory: 77120 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/241 796025
/proc/meminfo: memFree=125247728/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=122488 memory=77120 CPUtime=161.74 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 11661 0 0 0 15903 271 0 0 20 0 1 0 157396193 125427712 19280 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 30622 19280 1862 922 0 22574 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 122488 KiB
Current children cumulated memory: 77120 KiB
[startup+222.3 s]
/proc/loadavg: 4.40 4.18 4.11 5/241 796036
/proc/meminfo: memFree=124055164/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=137768 memory=104028 CPUtime=221.54 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 14830 0 0 0 21837 317 0 0 20 0 1 0 157396193 141074432 26007 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 34442 26007 1862 922 0 26394 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 137768 KiB
Current children cumulated memory: 104028 KiB
[startup+282.3 s]
/proc/loadavg: 4.84 4.36 4.18 5/243 796050
/proc/meminfo: memFree=123638472/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=138772 memory=104896 CPUtime=281.34 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 15192 0 0 0 27788 346 0 0 20 0 1 0 157396193 142102528 26224 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 34693 26224 1862 922 0 26645 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 138772 KiB
Current children cumulated memory: 104896 KiB
[startup+342.3 s]
/proc/loadavg: 4.42 4.32 4.18 5/243 796060
/proc/meminfo: memFree=123344412/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=138772 memory=104896 CPUtime=341.13 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 15198 0 0 0 33707 406 0 0 20 0 1 0 157396193 142102528 26224 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 34693 26224 1862 922 0 26645 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 138772 KiB
Current children cumulated memory: 104896 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.28 4.17 5/243 796071
/proc/meminfo: memFree=123082996/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=171792 memory=111420 CPUtime=400.92 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 16316 0 0 0 39653 439 0 0 20 0 1 0 157396193 175915008 27855 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 42948 27855 1862 922 0 34900 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 171792 KiB
Current children cumulated memory: 111420 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.26 4.17 5/243 796081
/proc/meminfo: memFree=122652092/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=172976 memory=114864 CPUtime=460.73 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 16835 0 0 0 45619 454 0 0 20 0 1 0 157396193 177127424 28716 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 43244 28716 1862 922 0 35196 0
################
# More data... #
################
Current children cumulated memory: 204844 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/244 797139
/proc/meminfo: memFree=118078680/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=256432 memory=205320 CPUtime=2911.86 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 34280 0 0 0 289680 1506 0 0 20 0 1 0 157396193 262586368 51330 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 64108 51330 1989 922 0 56060 0
Current children cumulated CPU time: 2911.86 s
Current children cumulated vsize: 256432 KiB
Current children cumulated memory: 205320 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.11 4.10 5/244 797536
/proc/meminfo: memFree=118041532/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=256432 memory=216660 CPUtime=2971.6 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 34340 0 0 0 295637 1523 0 0 20 0 1 0 157396193 262586368 54165 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 64108 54165 1989 922 0 56060 0
Current children cumulated CPU time: 2971.6 s
Current children cumulated vsize: 256432 KiB
Current children cumulated memory: 216660 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.10 5/244 797546
/proc/meminfo: memFree=118000188/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=256648 memory=231152 CPUtime=3031.37 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 34524 0 0 0 301591 1546 0 0 20 0 1 0 157396193 262807552 57788 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 64162 57788 1989 922 0 56114 0
Current children cumulated CPU time: 3031.37 s
Current children cumulated vsize: 256648 KiB
Current children cumulated memory: 231152 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/244 797556
/proc/meminfo: memFree=117974164/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=259028 memory=232604 CPUtime=3091.17 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 35069 0 0 0 307550 1567 0 0 20 0 1 0 157396193 265244672 58151 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 64757 58151 1989 922 0 56709 0
Current children cumulated CPU time: 3091.17 s
Current children cumulated vsize: 259028 KiB
Current children cumulated memory: 232604 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/247 797737
/proc/meminfo: memFree=117900196/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=259028 memory=232856 CPUtime=3150.98 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 35156 0 0 0 313514 1584 0 0 20 0 1 0 157396193 265244672 58214 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 64757 58214 1989 922 0 56709 0
Current children cumulated CPU time: 3150.98 s
Current children cumulated vsize: 259028 KiB
Current children cumulated memory: 232856 KiB
[startup+3222.3 s]
/proc/loadavg: 4.46 4.19 4.12 5/247 797748
/proc/meminfo: memFree=117888888/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=259388 memory=233248 CPUtime=3210.79 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 35348 0 0 0 319473 1606 0 0 20 0 1 0 157396193 265613312 58312 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 64847 58312 1989 922 0 56799 0
Current children cumulated CPU time: 3210.79 s
Current children cumulated vsize: 259388 KiB
Current children cumulated memory: 233248 KiB
[startup+3282.3 s]
/proc/loadavg: 3.66 4.08 4.09 2/223 797853
/proc/meminfo: memFree=128323844/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=312332 memory=239244 CPUtime=3270.61 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 36489 0 0 0 325427 1634 0 0 20 0 1 0 157396193 319827968 59811 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 78083 59811 1989 922 0 70035 0
Current children cumulated CPU time: 3270.61 s
Current children cumulated vsize: 312332 KiB
Current children cumulated memory: 239244 KiB
[startup+3342.3 s]
/proc/loadavg: 2.02 3.53 3.90 2/223 797874
/proc/meminfo: memFree=128320676/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=313240 memory=242180 CPUtime=3330.43 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 36849 0 0 0 331384 1659 0 0 20 0 1 0 157396193 320757760 60545 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 78310 60545 1989 922 0 70262 0
Current children cumulated CPU time: 3330.43 s
Current children cumulated vsize: 313240 KiB
Current children cumulated memory: 242180 KiB
[startup+3402.3 s]
/proc/loadavg: 1.47 3.10 3.73 2/223 797885
/proc/meminfo: memFree=128319112/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=313240 memory=243464 CPUtime=3390.27 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 36852 0 0 0 337351 1676 0 0 20 0 1 0 157396193 320757760 60866 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 78310 60866 1989 922 0 70262 0
Current children cumulated CPU time: 3390.27 s
Current children cumulated vsize: 313240 KiB
Current children cumulated memory: 243464 KiB
[startup+3462.3 s]
/proc/loadavg: 1.17 2.71 3.55 2/222 797895
/proc/meminfo: memFree=128318844/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=313240 memory=243708 CPUtime=3450.11 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 36950 0 0 0 343321 1690 0 0 20 0 1 0 157396193 320757760 60927 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 78310 60927 1989 922 0 70262 0
Current children cumulated CPU time: 3450.11 s
Current children cumulated vsize: 313240 KiB
Current children cumulated memory: 243708 KiB
[startup+3522.3 s]
/proc/loadavg: 1.25 2.44 3.41 2/221 797906
/proc/meminfo: memFree=128318492/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=313240 memory=243708 CPUtime=3509.93 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 36965 0 0 0 349279 1714 0 0 20 0 1 0 157396193 320757760 60927 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 78310 60927 1989 922 0 70262 0
Current children cumulated CPU time: 3509.93 s
Current children cumulated vsize: 313240 KiB
Current children cumulated memory: 243708 KiB
[startup+3582.3 s]
/proc/loadavg: 1.21 2.21 3.26 2/220 797917
/proc/meminfo: memFree=128317684/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=313736 memory=244240 CPUtime=3569.77 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 37184 0 0 0 355246 1731 0 0 20 0 1 0 157396193 321265664 61060 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 78434 61060 1989 922 0 70386 0
Current children cumulated CPU time: 3569.77 s
Current children cumulated vsize: 313736 KiB
Current children cumulated memory: 244240 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.7 s]
/proc/loadavg: 1.20 2.11 3.19 2/220 797922
/proc/meminfo: memFree=128317552/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=313736 memory=244240 CPUtime=3600.09 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 37188 0 0 0 358271 1738 0 0 20 0 1 0 157396193 321265664 61060 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 78434 61060 1989 922 0 70386 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 313736 KiB
Current children cumulated memory: 244240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.7 s]
# the end of solver process 795998 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3582.71 s, system=17.3865 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.7 s]
/proc/loadavg: 1.20 2.11 3.19 2/220 797922
/proc/meminfo: memFree=128317552/131655788 swapFree=131071996/131071996
[pid=795998] ppid=795995 vsize=313736 memory=244240 CPUtime=3600.09 cores=0,2
/proc/795998/stat : 795998 (roundingsat) R 795995 795998 793272 0 -1 4194304 37188 0 0 0 358271 1738 0 0 20 0 1 0 157396193 321265664 61060 134679101440 4194304 7968869 140735649874608 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 40169472 140735649883070 140735649883234 140735649883234 140735649890249 0
/proc/795998/statm: 78434 61060 1989 922 0 70386 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 313736 KiB
Current children cumulated memory: 244240 KiB
Child status: 1
Real time (s): 3612.7
CPU time (s): 3600.1
CPU user time (s): 3582.71
CPU system time (s): 17.3865
CPU usage (%): 99.6512
Max. virtual memory (cumulated for all children) (KiB): 313736
Max. memory (cumulated for all children) (KiB): 244240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.71
system time used= 17.3865
maximum resident set size= 244240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37197
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= 80
involuntary context switches= 24654
# summary of solver processes directly reported to runsolver:
# pid: 795998
# total CPU time (s): 3600.1
# total CPU user time (s): 3582.71
# total CPU system time (s): 17.3865
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1499 second user time and 35.2217 second system time
The end
Begin job on nodeC009 at 2024-07-15 16:06:18 IDJOB=4429704 IDBENCH=158488 IDSOLVER=3051 FILE ID=nodeC009/4429704-1721052366 RUNJOBID= nodeC009-1721048419-793282 SLURM_JOB_ID= 7505463 Free space on /tmp= 723748 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-4429704-1721052366/watcher-4429704-1721052366 -o /tmp/evaluation-result-4429704-1721052366/solver-4429704-1721052366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721048419-793282 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429704-1721052366.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c86a302e56842e7d56f33820d48ef5a5 RANDOM SEED=1958741770 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.321 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.34 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 : 3659.645 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.27 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.328 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.34 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.487 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.27 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 : 3658.048 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.34 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 : 3507.377 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.27 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.492 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.34 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.495 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.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125445164 kB MemAvailable: 126816916 kB Buffers: 366816 kB Cached: 1833628 kB SwapCached: 0 kB Active: 595248 kB Inactive: 5058144 kB Active(anon): 1460 kB Inactive(anon): 3489196 kB Active(file): 593788 kB Inactive(file): 1568948 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5592 kB Writeback: 0 kB AnonPages: 3451024 kB Mapped: 112848 kB Shmem: 37700 kB KReclaimable: 98092 kB Slab: 195180 kB SReclaimable: 98092 kB SUnreclaim: 97088 kB KernelStack: 3904 kB PageTables: 15996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 4160768 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51456 kB HardwareCorrupted: 0 kB AnonHugePages: 1116160 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: 187208 kB DirectMap2M: 19640320 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 723764 MiB End job on nodeC009 at 2024-07-15 17:06:31