| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | SAT (TO) | -81 | 3600.05 | 3612.47 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern30-04.lin.opb |
| MD5SUM | 28e415f3c4d8dab53aac16682d7f066d |
| 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 | -81 |
| Best CPU time to get the best result obtained on this benchmark | 7.64941 |
| 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 | 223 |
| Total number of constraints | 386 |
| Number of constraints which are clauses | 193 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 193 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 223 |
| Biggest coefficient in the objective function | 16 |
| Number of bits for the biggest coefficient in the objective function | 5 |
| Sum of the numbers in the objective function | 2376 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 2376 |
| Number of bits of the biggest sum of numbers | 12 |
| 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 223 #constraints 386 0.00/0.02 c bounds - >= -1188 @ 0.002248 0.00/0.02 c rational objective -594 0.31/0.38 c bounds 0 >= -1188 @ 0.011348 0.31/0.38 c bounds 0 >= -1176 @ 0.01798 0.31/0.38 c bounds 0 >= -1164 @ 0.018442 0.31/0.38 c bounds 0 >= -1152 @ 0.018914 0.31/0.38 c bounds 0 >= -1140 @ 0.019335 0.31/0.38 c bounds 0 >= -1128 @ 0.019757 0.31/0.38 c bounds -3 >= -1128 @ 0.020091 0.31/0.38 c bounds -3 >= -1116 @ 0.020526 0.31/0.38 c bounds -3 >= -1104 @ 0.020577 0.31/0.38 c bounds -3 >= -1092 @ 0.020577 0.31/0.38 c bounds -3 >= -1080 @ 0.020655 0.31/0.38 c bounds -3 >= -1068 @ 0.020655 0.31/0.38 c bounds -3 >= -1056 @ 0.020867 0.31/0.38 c bounds -6 >= -1056 @ 0.021175 0.31/0.38 c bounds -6 >= -1044 @ 0.021501 0.31/0.38 c bounds -6 >= -1032 @ 0.021847 0.31/0.38 c bounds -6 >= -1020 @ 0.022275 0.31/0.38 c bounds -6 >= -1008 @ 0.022688 0.31/0.38 c bounds -6 >= -996 @ 0.023099 0.31/0.38 c bounds -6 >= -984 @ 0.023516 0.31/0.38 c bounds -8 >= -984 @ 0.023848 0.31/0.38 c bounds -8 >= -972 @ 0.024257 0.31/0.38 c bounds -8 >= -960 @ 0.024687 0.31/0.38 c bounds -8 >= -948 @ 0.025089 0.31/0.38 c bounds -8 >= -936 @ 0.025506 0.31/0.38 c bounds -8 >= -924 @ 0.025617 0.31/0.38 c bounds -8 >= -912 @ 0.025617 0.31/0.38 c bounds -20 >= -912 @ 0.025641 0.31/0.38 c bounds -20 >= -900 @ 0.025641 0.31/0.38 c bounds -20 >= -888 @ 0.025879 0.31/0.38 c bounds -20 >= -876 @ 0.026282 0.31/0.38 c bounds -20 >= -864 @ 0.02658 0.31/0.38 c bounds -20 >= -852 @ 0.026621 0.31/0.38 c bounds -20 >= -840 @ 0.026621 0.31/0.38 c bounds -40 >= -840 @ 0.026621 0.31/0.38 c bounds -40 >= -828 @ 0.026621 0.31/0.38 c bounds -40 >= -816 @ 0.02699 0.31/0.38 c bounds -40 >= -804 @ 0.02745 0.31/0.38 c bounds -40 >= -792 @ 0.02756 0.31/0.38 c bounds -40 >= -780 @ 0.027811 0.31/0.38 c bounds -40 >= -768 @ 0.02837 0.31/0.38 c bounds -41 >= -768 @ 0.028674 0.31/0.38 c bounds -41 >= -756 @ 0.029305 0.31/0.38 c bounds -41 >= -744 @ 0.02995 0.31/0.38 c bounds -53 >= -744 @ 0.03031 0.31/0.38 c bounds -53 >= -732 @ 0.030953 0.31/0.38 c bounds -53 >= -720 @ 0.031774 0.31/0.38 c bounds -56 >= -720 @ 0.032479 0.31/0.38 c bounds -56 >= -708 @ 0.033032 0.31/0.38 c bounds -68 >= -708 @ 0.034066 0.31/0.38 c bounds -68 >= -696 @ 0.03494 0.31/0.38 c bounds -68 >= -684 @ 0.036694 0.31/0.38 c bounds -69 >= -684 @ 0.037308 0.31/0.38 c bounds -71 >= -684 @ 0.037732 0.31/0.38 c bounds -72 >= -684 @ 0.040555 0.31/0.38 c bounds -73 >= -684 @ 0.102623 0.31/0.38 c bounds -73 >= -675 @ 0.10326 0.31/0.38 c bounds -74 >= -675 @ 0.107631 0.31/0.38 c bounds -74 >= -667 @ 0.107821 0.31/0.38 c bounds -74 >= -659 @ 0.108001 0.31/0.38 c bounds -74 >= -651 @ 0.108171 0.31/0.38 c bounds -74 >= -643 @ 0.108376 0.31/0.38 c bounds -74 >= -635 @ 0.108425 0.31/0.38 c bounds -74 >= -627 @ 0.108425 0.31/0.38 c bounds -74 >= -619 @ 0.108425 0.31/0.38 c bounds -74 >= -611 @ 0.108425 0.31/0.38 c bounds -74 >= -603 @ 0.108426 0.31/0.38 c bounds -74 >= -595 @ 0.108456 0.31/0.38 c bounds -74 >= -587 @ 0.108456 0.31/0.38 c bounds -74 >= -579 @ 0.108456 0.31/0.38 c bounds -74 >= -571 @ 0.108456 0.31/0.38 c bounds -74 >= -563 @ 0.108456 0.31/0.38 c bounds -74 >= -555 @ 0.108456 0.31/0.38 c bounds -74 >= -547 @ 0.108456 0.31/0.38 c bounds -74 >= -539 @ 0.108456 0.31/0.38 c bounds -74 >= -531 @ 0.108456 0.31/0.38 c bounds -74 >= -523 @ 0.108456 0.31/0.38 c bounds -74 >= -515 @ 0.108456 0.31/0.38 c bounds -74 >= -507 @ 0.108456 0.31/0.38 c bounds -74 >= -499 @ 0.108456 0.31/0.38 c bounds -74 >= -491 @ 0.108456 0.31/0.38 c bounds -74 >= -483 @ 0.108456 0.31/0.38 c bounds -74 >= -475 @ 0.108456 0.31/0.38 c bounds -74 >= -467 @ 0.108456 0.31/0.38 c bounds -74 >= -459 @ 0.108553 0.31/0.38 c bounds -74 >= -451 @ 0.108727 0.31/0.38 c bounds -74 >= -443 @ 0.108907 0.31/0.38 c bounds -74 >= -435 @ 0.109124 0.31/0.38 c bounds -74 >= -427 @ 0.109329 0.31/0.38 c bounds -74 >= -419 @ 0.109752 0.31/0.38 c bounds -74 >= -411 @ 0.110164 0.31/0.38 c bounds -74 >= -403 @ 0.110565 0.31/0.38 c bounds -74 >= -395 @ 0.110954 0.31/0.38 c bounds -74 >= -387 @ 0.111773 0.31/0.38 c bounds -74 >= -379 @ 0.128678 0.31/0.38 c bounds -75 >= -379 @ 0.14114 0.31/0.38 c #Conflicts: 1000 | #Constraints: 1873 0.31/0.38 c bounds -75 >= -371 @ 0.28472 0.31/0.38 c #Conflicts: 2000 | #Constraints: 2909 0.31/0.38 c INPROCESSING 0.31/0.38 c GARBAGE COLLECT 0.31/0.38 c rational objective -371 0.78/0.87 c bounds -76 >= -371 @ 0.480045 0.78/0.87 c #Conflicts: 3000 | #Constraints: 2795 0.78/0.87 c #Conflicts: 4000 | #Constraints: 3795 0.78/0.87 c INPROCESSING 0.78/0.87 c GARBAGE COLLECT 0.78/0.87 c rational objective -371 1.28/1.33 c bounds -80 >= -371 @ 0.853024 1.28/1.33 c #Conflicts: 5000 | #Constraints: 3195 1.28/1.33 c #Conflicts: 6000 | #Constraints: 4199 1.28/1.33 c INPROCESSING 1.28/1.33 c GARBAGE COLLECT 1.28/1.33 c rational objective -371 1.99/2.07 c bounds -80 >= -364 @ 1.24117 1.99/2.07 c #Conflicts: 7000 | #Constraints: 3189 1.99/2.07 c #Conflicts: 8000 | #Constraints: 4190 1.99/2.07 c #Conflicts: 9000 | #Constraints: 5190 1.99/2.07 c bounds -80 >= -357 @ 1.94808 1.99/2.07 c INPROCESSING 1.99/2.07 c GARBAGE COLLECT 1.99/2.07 c rational objective -357 2.58/2.68 c #Conflicts: 10000 | #Constraints: 3895 2.58/2.68 c #Conflicts: 11000 | #Constraints: 4902 2.58/2.68 c #Conflicts: 12000 | #Constraints: 5906 2.58/2.68 c INPROCESSING 2.58/2.68 c GARBAGE COLLECT 2.58/2.68 c rational objective -357 3.27/3.33 c #Conflicts: 13000 | #Constraints: 4346 3.27/3.33 c #Conflicts: 14000 | #Constraints: 5354 3.27/3.33 c #Conflicts: 15000 | #Constraints: 6356 3.27/3.33 c INPROCESSING 3.27/3.33 c GARBAGE COLLECT 3.27/3.33 c rational objective -357 4.17/4.23 c #Conflicts: 16000 | #Constraints: 4575 4.17/4.23 c #Conflicts: 17000 | #Constraints: 5577 4.17/4.23 c #Conflicts: 18000 | #Constraints: 6577 4.17/4.23 c INPROCESSING 4.17/4.23 c GARBAGE COLLECT 4.17/4.23 c rational objective -357 4.98/5.02 c #Conflicts: 19000 | #Constraints: 4604 4.98/5.02 c #Conflicts: 20000 | #Constraints: 5606 4.98/5.02 c #Conflicts: 21000 | #Constraints: 6613 4.98/5.02 c INPROCESSING 4.98/5.02 c GARBAGE COLLECT 4.98/5.02 c rational objective -357 6.08/6.14 c #Conflicts: 22000 | #Constraints: 4402 6.08/6.14 c #Conflicts: 23000 | #Constraints: 5402 6.08/6.14 c #Conflicts: 24000 | #Constraints: 6405 6.08/6.14 c #Conflicts: 25000 | #Constraints: 7406 6.08/6.14 c INPROCESSING 6.08/6.14 c GARBAGE COLLECT 6.08/6.14 c rational objective -357 7.07/7.12 c #Conflicts: 26000 | #Constraints: 5014 7.07/7.12 c #Conflicts: 27000 | #Constraints: 6016 7.07/7.12 c #Conflicts: 28000 | #Constraints: 7018 7.07/7.12 c #Conflicts: 29000 | #Constraints: 8021 7.07/7.12 c INPROCESSING 7.07/7.12 c GARBAGE COLLECT 7.07/7.12 c rational objective -357 8.45/8.53 c #Conflicts: 30000 | #Constraints: 5417 8.45/8.53 c #Conflicts: 31000 | #Constraints: 6417 8.45/8.53 c #Conflicts: 32000 | #Constraints: 7419 8.45/8.53 c #Conflicts: 33000 | #Constraints: 8423 8.45/8.53 c INPROCESSING 8.45/8.53 c GARBAGE COLLECT 8.45/8.53 c rational objective -357 9.55/9.61 c #Conflicts: 34000 | #Constraints: 5618 9.55/9.61 c #Conflicts: 35000 | #Constraints: 6619 9.55/9.61 c #Conflicts: 36000 | #Constraints: 7625 9.55/9.61 c #Conflicts: 37000 | #Constraints: 8637 9.55/9.61 c INPROCESSING 9.55/9.61 c GARBAGE COLLECT 9.55/9.61 c rational objective -357 10.75/10.88 c #Conflicts: 38000 | #Constraints: 5620 10.75/10.88 c #Conflicts: 39000 | #Constraints: 6627 10.75/10.88 c #Conflicts: 40000 | #Constraints: 7629 10.75/10.88 c #Conflicts: 41000 | #Constraints: 8630 10.75/10.88 c INPROCESSING 10.75/10.88 c GARBAGE COLLECT 10.75/10.88 c rational objective -357 12.44/12.54 c #Conflicts: 42000 | #Constraints: 5419 12.44/12.54 c #Conflicts: 43000 | #Constraints: 6423 12.44/12.54 c #Conflicts: 44000 | #Constraints: 7424 12.44/12.54 c #Conflicts: 45000 | #Constraints: 8424 12.44/12.54 c #Conflicts: 46000 | #Constraints: 9425 12.44/12.54 c INPROCESSING 12.44/12.54 c GARBAGE COLLECT 12.44/12.54 c rational objective -357 13.84/13.99 c #Conflicts: 47000 | #Constraints: 6028 13.84/13.99 c bounds -81 >= -357 @ 12.4781 13.84/13.99 c #Conflicts: 48000 | #Constraints: 7036 13.84/13.99 c #Conflicts: 49000 | #Constraints: 8038 13.84/13.99 c #Conflicts: 50000 | #Constraints: 9046 13.84/13.99 c #Conflicts: 51000 | #Constraints: 10047 13.84/13.99 c INPROCESSING 13.84/13.99 c GARBAGE COLLECT 13.84/13.99 c rational objective -357 16.04/16.12 c #Conflicts: 52000 | #Constraints: 6428 16.04/16.12 c #Conflicts: 53000 | #Constraints: 7429 16.04/16.12 c #Conflicts: 54000 | #Constraints: 8430 16.04/16.12 c #Conflicts: 55000 | #Constraints: 9431 16.04/16.12 c #Conflicts: 56000 | #Constraints: 10433 16.04/16.12 c INPROCESSING 16.04/16.12 c GARBAGE COLLECT 16.04/16.12 c rational objective -357 17.73/17.86 c #Conflicts: 57000 | #Constraints: 6629 17.73/17.86 c #Conflicts: 58000 | #Constraints: 7631 17.73/17.86 c #Conflicts: 59000 | #Constraints: 8633 17.73/17.86 c #Conflicts: 60000 | #Constraints: 9634 17.73/17.86 c #Conflicts: 61000 | #Constraints: 10639 17.73/17.86 c INPROCESSING 17.73/17.86 c GARBAGE COLLECT 17.73/17.86 c rational objective -357 19.93/20.06 c #Conflicts: 62000 | #Constraints: 6622 19.93/20.06 c #Conflicts: 63000 | #Constraints: 7625 19.93/20.06 c #Conflicts: 64000 | #Constraints: 8629 19.93/20.06 c #Conflicts: 65000 | #Constraints: 9631 19.93/20.06 c #Conflicts: 66000 | #Constraints: 10631 19.93/20.06 c INPROCESSING 19.93/20.06 c GARBAGE COLLECT 19.93/20.06 c rational objective -357 21.81/21.96 c #Conflicts: 67000 | #Constraints: 6438 21.81/21.96 c #Conflicts: 68000 | #Constraints: 7439 21.81/21.96 c #Conflicts: 69000 | #Constraints: 8442 21.81/21.96 c #Conflicts: 70000 | #Constraints: 9447 21.81/21.96 c #Conflicts: 71000 | #Constraints: 10452 21.81/21.96 c #Conflicts: 72000 | #Constraints: 11454 21.81/21.96 c INPROCESSING 21.81/21.96 c GARBAGE COLLECT 21.81/21.96 c rational objective -357 24.80/24.98 c #Conflicts: 73000 | #Constraints: 7029 24.80/24.98 c #Conflicts: 74000 | #Constraints: 8031 24.80/24.98 c #Conflicts: 75000 | #Constraints: 9032 24.80/24.98 c #Conflicts: 76000 | #Constraints: 10034 24.80/24.98 c #Conflicts: 77000 | #Constraints: 11034 24.80/24.98 c #Conflicts: 78000 | #Constraints: 12034 24.80/24.98 c INPROCESSING 24.80/24.98 c GARBAGE COLLECT 24.80/24.98 c rational objective -357 26.90/27.06 c #Conflicts: 79000 | #Constraints: 7438 26.90/27.06 c #Conflicts: 80000 | #Constraints: 8442 26.90/27.06 c #Conflicts: 81000 | #Constraints: 9444 26.90/27.06 c #Conflicts: 82000 | #Constraints: 10446 26.90/27.06 c #Conflicts: 83000 | #Constraints: 11448 26.90/27.06 c #Conflicts: 84000 | #Constraints: 12452 26.90/27.06 c INPROCESSING 26.90/27.06 c GARBAGE COLLECT 26.90/27.06 c rational objective -357 29.28/29.46 c #Conflicts: 85000 | #Constraints: 7631 29.28/29.46 c #Conflicts: 86000 | #Constraints: 8638 29.28/29.46 c #Conflicts: 87000 | #Constraints: 9641 29.28/29.46 c #Conflicts: 88000 | #Constraints: 10646 29.28/29.46 c #Conflicts: 89000 | #Constraints: 11657 29.28/29.46 c #Conflicts: 90000 | #Constraints: 12665 29.28/29.46 c INPROCESSING 29.28/29.46 c GARBAGE COLLECT 29.28/29.46 c rational objective -357 32.88/33.09 c #Conflicts: 91000 | #Constraints: 7643 32.88/33.09 c #Conflicts: 92000 | #Constraints: 8645 32.88/33.09 c #Conflicts: 93000 | #Constraints: 9645 32.88/33.09 c #Conflicts: 94000 | #Constraints: 10647 32.88/33.09 c #Conflicts: 95000 | #Constraints: 11647 32.88/33.09 c #Conflicts: 96000 | #Constraints: 12650 32.88/33.09 c INPROCESSING 32.88/33.09 c GARBAGE COLLECT 32.88/33.09 c rational objective -357 35.26/35.48 c #Conflicts: 97000 | #Constraints: 7440 35.26/35.48 c #Conflicts: 98000 | #Constraints: 8446 35.26/35.48 c #Conflicts: 99000 | #Constraints: 9449 35.26/35.48 c #Conflicts: 100000 | #Constraints: 10459 35.26/35.48 c #Conflicts: 101000 | #Constraints: 11465 35.26/35.48 c #Conflicts: 102000 | #Constraints: 12468 35.26/35.48 c #Conflicts: 103000 | #Constraints: 13474 35.26/35.48 c INPROCESSING 35.26/35.48 c GARBAGE COLLECT 35.26/35.48 c rational objective -357 39.44/39.60 c #Conflicts: 104000 | #Constraints: 8051 39.44/39.60 c #Conflicts: 105000 | #Constraints: 9051 39.44/39.60 c #Conflicts: 106000 | #Constraints: 10053 39.44/39.60 c #Conflicts: 107000 | #Constraints: 11055 39.44/39.60 c #Conflicts: 108000 | #Constraints: 12057 39.44/39.60 c #Conflicts: 109000 | #Constraints: 13057 39.44/39.60 c #Conflicts: 110000 | #Constraints: 14059 39.44/39.60 c INPROCESSING 39.44/39.60 c GARBAGE COLLECT 39.44/39.60 c rational objective -357 42.24/42.41 c #Conflicts: 111000 | #Constraints: 8446 42.24/42.41 c #Conflicts: 112000 | #Constraints: 9451 42.24/42.41 c #Conflicts: 113000 | #Constraints: 10455 42.24/42.41 c #Conflicts: 114000 | #Constraints: 11457 42.24/42.41 c #Conflicts: 115000 | #Constraints: 12460 42.24/42.41 c #Conflicts: 116000 | #Constraints: 13463 42.24/42.41 c #Conflicts: 117000 | #Constraints: 14466 42.24/42.41 c INPROCESSING 42.24/42.41 c GARBAGE COLLECT 42.24/42.41 c rational objective -357 45.32/45.55 c #Conflicts: 118000 | #Constraints: 8643 45.32/45.55 c #Conflicts: 119000 | #Constraints: 9646 45.32/45.55 c #Conflicts: 120000 | #Constraints: 10647 45.32/45.55 c #Conflicts: 121000 | #Constraints: 11651 45.32/45.55 c #Conflicts: 122000 | #Constraints: 12654 45.32/45.55 c #Conflicts: 123000 | #Constraints: 13657 45.32/45.55 c #Conflicts: 124000 | #Constraints: 14661 45.32/45.55 c INPROCESSING 45.32/45.55 c GARBAGE COLLECT 45.32/45.55 c rational objective -357 50.92/51.13 c #Conflicts: 125000 | #Constraints: 8639 50.92/51.13 c #Conflicts: 126000 | #Constraints: 9640 50.92/51.13 c #Conflicts: 127000 | #Constraints: 10640 50.92/51.13 c #Conflicts: 128000 | #Constraints: 11643 50.92/51.13 c #Conflicts: 129000 | #Constraints: 12646 50.92/51.13 c #Conflicts: 130000 | #Constraints: 13649 50.92/51.13 c #Conflicts: 131000 | #Constraints: 14650 50.92/51.13 c INPROCESSING 50.92/51.13 c GARBAGE COLLECT 50.92/51.13 c rational objective -357 54.19/54.44 c #Conflicts: 132000 | #Constraints: 8442 54.19/54.44 c #Conflicts: 133000 | #Constraints: 9446 54.19/54.44 c #Conflicts: 134000 | #Constraints: 10448 54.19/54.44 c #Conflicts: 135000 | #Constraints: 11449 54.19/54.44 c #Conflicts: 136000 | #Constraints: 12454 54.19/54.44 c #Conflicts: 137000 | #Constraints: 13462 54.19/54.44 c #Conflicts: 138000 | #Constraints: 14465 54.19/54.44 c #Conflicts: 139000 | #Constraints: 15474 54.19/54.44 c INPROCESSING 54.19/54.44 c GARBAGE COLLECT 54.19/54.44 c rational objective -357 60.37/60.64 c #Conflicts: 140000 | #Constraints: 9045 60.37/60.64 c #Conflicts: 141000 | #Constraints: 10046 60.37/60.64 c #Conflicts: 142000 | #Constraints: 11048 60.37/60.64 c #Conflicts: 143000 | #Constraints: 12050 60.37/60.64 c #Conflicts: 144000 | #Constraints: 13052 60.37/60.64 c #Conflicts: 145000 | #Constraints: 14052 60.37/60.64 c #Conflicts: 146000 | #Constraints: 15054 60.37/60.64 c #Conflicts: 147000 | #Constraints: 16054 60.37/60.64 c INPROCESSING 60.37/60.64 c GARBAGE COLLECT 60.37/60.64 c rational objective -357 64.06/64.33 c #Conflicts: 148000 | #Constraints: 9453 64.06/64.33 c #Conflicts: 149000 | #Constraints: 10459 64.06/64.33 c #Conflicts: 150000 | #Constraints: 11462 64.06/64.33 c #Conflicts: 151000 | #Constraints: 12466 64.06/64.33 c #Conflicts: 152000 | #Constraints: 13469 64.06/64.33 c #Conflicts: 153000 | #Constraints: 14477 64.06/64.33 c #Conflicts: 154000 | #Constraints: 15479 64.06/64.33 c #Conflicts: 155000 | #Constraints: 16489 64.06/64.33 c INPROCESSING 64.06/64.33 c GARBAGE COLLECT 64.06/64.33 c rational objective -357 68.05/68.30 c #Conflicts: 156000 | #Constraints: 9643 68.05/68.30 c #Conflicts: 157000 | #Constraints: 10643 68.05/68.30 c #Conflicts: 158000 | #Constraints: 11643 68.05/68.30 c #Conflicts: 159000 | #Constraints: 12650 68.05/68.30 c #Conflicts: 160000 | #Constraints: 13651 68.05/68.30 c #Conflicts: 161000 | #Constraints: 14652 68.05/68.30 c #Conflicts: 162000 | #Constraints: 15653 68.05/68.30 c #Conflicts: 163000 | #Constraints: 16654 68.05/68.30 c INPROCESSING 68.05/68.30 c GARBAGE COLLECT 68.05/68.30 c rational objective -357 75.52/75.87 c #Conflicts: 164000 | #Constraints: 9645 75.52/75.87 c #Conflicts: 165000 | #Constraints: 10646 75.52/75.87 c #Conflicts: 166000 | #Constraints: 11650 75.52/75.87 c #Conflicts: 167000 | #Constraints: 12650 75.52/75.87 c #Conflicts: 168000 | #Constraints: 13652 75.52/75.87 c #Conflicts: 169000 | #Constraints: 14655 75.52/75.87 c #Conflicts: 170000 | #Constraints: 15656 75.52/75.87 c #Conflicts: 171000 | #Constraints: 16657 75.52/75.87 c INPROCESSING 75.52/75.87 c GARBAGE COLLECT 75.52/75.87 c rational objective -357 80.11/80.44 c #Conflicts: 172000 | #Constraints: 9448 80.11/80.44 c #Conflicts: 173000 | #Constraints: 10450 80.11/80.44 c #Conflicts: 174000 | #Constraints: 11455 80.11/80.44 c #Conflicts: 175000 | #Constraints: 12461 80.11/80.44 c #Conflicts: 176000 | #Constraints: 13468 80.11/80.44 c #Conflicts: 177000 | #Constraints: 14473 80.11/80.44 c #Conflicts: 178000 | #Constraints: 15482 80.11/80.44 c #Conflicts: 179000 | #Constraints: 16486 80.11/80.44 c #Conflicts: 180000 | #Constraints: 17493 80.11/80.44 c INPROCESSING 80.11/80.44 c GARBAGE COLLECT 80.11/80.44 c rational objective -357 88.87/89.28 c #Conflicts: 181000 | #Constraints: 10062 88.87/89.28 c #Conflicts: 182000 | #Constraints: 11064 88.87/89.28 c #Conflicts: 183000 | #Constraints: 12065 88.87/89.28 c #Conflicts: 184000 | #Constraints: 13066 88.87/89.28 c #Conflicts: 185000 | #Constraints: 14068 88.87/89.28 c #Conflicts: 186000 | #Constraints: 15068 88.87/89.28 c #Conflicts: 187000 | #Constraints: 16070 88.87/89.28 c #Conflicts: 188000 | #Constraints: 17072 88.87/89.28 c #Conflicts: 189000 | #Constraints: 18075 88.87/89.28 c INPROCESSING 88.87/89.28 c GARBAGE COLLECT 88.87/89.28 c rational objective -357 93.46/93.82 c #Conflicts: 190000 | #Constraints: 10458 93.46/93.82 c #Conflicts: 191000 | #Constraints: 11459 93.46/93.82 c #Conflicts: 192000 | #Constraints: 12464 93.46/93.82 c #Conflicts: 193000 | #Constraints: 13467 93.46/93.82 c #Conflicts: 194000 | #Constraints: 14470 93.46/93.82 c #Conflicts: 195000 | #Constraints: 15474 93.46/93.82 c #Conflicts: 196000 | #Constraints: 16477 93.46/93.82 c #Conflicts: 197000 | #Constraints: 17481 93.46/93.82 c #Conflicts: 198000 | #Constraints: 18493 93.46/93.82 c INPROCESSING 93.46/93.82 c GARBAGE COLLECT 93.46/93.82 c rational objective -357 97.75/98.13 c #Conflicts: 199000 | #Constraints: 10678 97.75/98.13 c #Conflicts: 200000 | #Constraints: 11690 97.75/98.13 c #Conflicts: 201000 | #Constraints: 12699 97.75/98.13 c #Conflicts: 202000 | #Constraints: 13713 97.75/98.13 c #Conflicts: 203000 | #Constraints: 14714 97.75/98.13 c #Conflicts: 204000 | #Constraints: 15722 97.75/98.13 c #Conflicts: 205000 | #Constraints: 16739 97.75/98.13 c #Conflicts: 206000 | #Constraints: 17739 97.75/98.13 c #Conflicts: 207000 | #Constraints: 18744 97.75/98.13 c INPROCESSING 97.75/98.13 c GARBAGE COLLECT 97.75/98.13 c rational objective -357 109.61/110.05 c #Conflicts: 208000 | #Constraints: 10688 109.61/110.05 c #Conflicts: 209000 | #Constraints: 11694 109.61/110.05 c #Conflicts: 210000 | #Constraints: 12695 109.61/110.05 c #Conflicts: 211000 | #Constraints: 13696 109.61/110.05 c #Conflicts: 212000 | #Constraints: 14698 109.61/110.05 c #Conflicts: 213000 | #Constraints: 15699 109.61/110.05 c #Conflicts: 214000 | #Constraints: 16701 109.61/110.05 c #Conflicts: 215000 | #Constraints: 17703 109.61/110.05 c #Conflicts: 216000 | #Constraints: 18705 109.61/110.05 c INPROCESSING 109.61/110.05 c GARBAGE COLLECT 109.61/110.05 c rational objective -357 114.08/114.51 c #Conflicts: 217000 | #Constraints: 10480 114.08/114.51 c #Conflicts: 218000 | #Constraints: 11489 114.08/114.51 c #Conflicts: 219000 | #Constraints: 12495 114.08/114.51 c #Conflicts: 220000 | #Constraints: 13502 114.08/114.51 c #Conflicts: 221000 | #Constraints: 14507 114.08/114.51 c #Conflicts: 222000 | #Constraints: 15510 114.08/114.51 c #Conflicts: 223000 | #Constraints: 16522 114.08/114.51 c #Conflicts: 224000 | #Constraints: 17527 114.08/114.51 c #Conflicts: 225000 | #Constraints: 18529 114.08/114.51 c #Conflicts: 226000 | #Constraints: 19535 114.08/114.51 c INPROCESSING 114.08/114.51 c GARBAGE COLLECT 114.08/114.51 c rational objective -357 119.77/120.23 c #Conflicts: 227000 | #Constraints: 11082 119.77/120.23 c #Conflicts: 228000 | #Constraints: 12089 119.77/120.23 c #Conflicts: 229000 | #Constraints: 13093 119.77/120.23 c #Conflicts: 230000 | #Constraints: 14095 119.77/120.23 c #Conflicts: 231000 | #Constraints: 15099 119.77/120.23 c #Conflicts: 232000 | #Constraints: 16103 119.77/120.23 c #Conflicts: 233000 | #Constraints: 17104 119.77/120.23 c #Conflicts: 234000 | #Constraints: 18111 119.77/120.23 c #Conflicts: 235000 | #Constraints: 19113 119.77/120.23 c #Conflicts: 236000 | #Constraints: 20116 119.77/120.23 c INPROCESSING 119.77/120.23 c GARBAGE COLLECT 119.77/120.23 c rational objective -357 135.11/135.60 c #Conflicts: 237000 | #Constraints: 11467 135.11/135.60 c #Conflicts: 238000 | #Constraints: 12468 135.11/135.60 c #Conflicts: 239000 | #Constraints: 13471 135.11/135.60 c #Conflicts: 240000 | #Constraints: 14472 135.11/135.60 c #Conflicts: 241000 | #Constraints: 15473 135.11/135.60 c #Conflicts: 242000 | #Constraints: 16475 135.11/135.60 c #Conflicts: 243000 | #Constraints: 17476 135.11/135.60 c #Conflicts: 244000 | #Constraints: 18476 135.11/135.60 c #Conflicts: 245000 | #Constraints: 19477 135.11/135.60 c #Conflicts: 246000 | #Constraints: 20479 135.11/135.60 c INPROCESSING 135.11/135.60 c GARBAGE COLLECT 135.11/135.60 c rational objective -357 141.60/142.17 c #Conflicts: 247000 | #Constraints: 11673 141.60/142.17 c #Conflicts: 248000 | #Constraints: 12678 141.60/142.17 c #Conflicts: 249000 | #Constraints: 13690 141.60/142.17 c #Conflicts: 250000 | #Constraints: 14696 141.60/142.17 c #Conflicts: 251000 | #Constraints: 15696 141.60/142.17 c #Conflicts: 252000 | #Constraints: 16696 141.60/142.17 c #Conflicts: 253000 | #Constraints: 17697 141.60/142.17 c #Conflicts: 254000 | #Constraints: 18697 141.60/142.17 c #Conflicts: 255000 | #Constraints: 19700 141.60/142.17 c #Conflicts: 256000 | #Constraints: 20704 141.60/142.17 c INPROCESSING 141.60/142.17 c GARBAGE COLLECT 141.60/142.17 c rational objective -357 148.26/148.89 c #Conflicts: 257000 | #Constraints: 11671 148.26/148.89 c #Conflicts: 258000 | #Constraints: 12673 148.26/148.89 c #Conflicts: 259000 | #Constraints: 13677 148.26/148.89 c #Conflicts: 260000 | #Constraints: 14679 148.26/148.89 c #Conflicts: 261000 | #Constraints: 15683 148.26/148.89 c #Conflicts: 262000 | #Constraints: 16686 148.26/148.89 c #Conflicts: 263000 | #Constraints: 17687 148.26/148.89 c #Conflicts: 264000 | #Constraints: 18690 148.26/148.89 c #Conflicts: 265000 | #Constraints: 19700 148.26/148.89 c #Conflicts: 266000 | #Constraints: 20703 148.26/148.89 c INPROCESSING 148.26/148.89 c GARBAGE COLLECT 148.26/148.89 c rational objective -357 168.19/168.87 c #Conflicts: 267000 | #Constraints: 11472 168.19/168.87 c #Conflicts: 268000 | #Constraints: 12475 168.19/168.87 c #Conflicts: 269000 | #Constraints: 13475 168.19/168.87 c #Conflicts: 270000 | #Constraints: 14476 168.19/168.87 c #Conflicts: 271000 | #Constraints: 15479 168.19/168.87 c #Conflicts: 272000 | #Constraints: 16480 168.19/168.87 c #Conflicts: 273000 | #Constraints: 17480 168.19/168.87 c #Conflicts: 274000 | #Constraints: 18481 168.19/168.87 c #Conflicts: 275000 | #Constraints: 19481 168.19/168.87 c #Conflicts: 276000 | #Constraints: 20481 168.19/168.87 c #Conflicts: 277000 | #Constraints: 21481 168.19/168.87 c INPROCESSING 168.19/168.87 c GARBAGE COLLECT 168.19/168.87 c rational objective -357 175.27/175.95 c #Conflicts: 278000 | #Constraints: 12060 175.27/175.95 c #Conflicts: 279000 | #Constraints: 13062 175.27/175.95 c #Conflicts: 280000 | #Constraints: 14063 175.27/175.95 c #Conflicts: 281000 | #Constraints: 15065 175.27/175.95 c #Conflicts: 282000 | #Constraints: 16068 175.27/175.95 c #Conflicts: 283000 | #Constraints: 17071 175.27/175.95 c #Conflicts: 284000 | #Constraints: 18072 175.27/175.95 c #Conflicts: 285000 | #Constraints: 19072 175.27/175.95 c #Conflicts: 286000 | #Constraints: 20073 175.27/175.95 c #Conflicts: 287000 | #Constraints: 21083 175.27/175.95 c #Conflicts: 288000 | #Constraints: 22084 175.27/175.95 c INPROCESSING 175.27/175.95 c GARBAGE COLLECT 175.27/175.95 c rational objective -357 183.04/183.74 c #Conflicts: 289000 | #Constraints: 12467 183.04/183.74 c #Conflicts: 290000 | #Constraints: 13468 183.04/183.74 c #Conflicts: 291000 | #Constraints: 14472 183.04/183.74 c #Conflicts: 292000 | #Constraints: 15474 183.04/183.74 c #Conflicts: 293000 | #Constraints: 16484 183.04/183.74 c #Conflicts: 294000 | #Constraints: 17488 183.04/183.74 c #Conflicts: 295000 | #Constraints: 18496 183.04/183.74 c #Conflicts: 296000 | #Constraints: 19498 183.04/183.74 c #Conflicts: 297000 | #Constraints: 20498 183.04/183.74 c #Conflicts: 298000 | #Constraints: 21500 183.04/183.74 c #Conflicts: 299000 | #Constraints: 22504 183.04/183.74 c INPROCESSING 183.04/183.74 c GARBAGE COLLECT 183.04/183.74 c rational objective -357 204.86/205.66 c #Conflicts: 300000 | #Constraints: 12669 204.86/205.66 c #Conflicts: 301000 | #Constraints: 13674 204.86/205.66 c #Conflicts: 302000 | #Constraints: 14678 204.86/205.66 c #Conflicts: 303000 | #Constraints: 15681 204.86/205.66 c #Conflicts: 304000 | #Constraints: 16682 204.86/205.66 c #Conflicts: 305000 | #Constraints: 17682 204.86/205.66 c #Conflicts: 306000 | #Constraints: 18684 204.86/205.66 c #Conflicts: 307000 | #Constraints: 19685 204.86/205.66 c #Conflicts: 308000 | #Constraints: 20687 204.86/205.66 c #Conflicts: 309000 | #Constraints: 21687 204.86/205.66 c #Conflicts: 310000 | #Constraints: 22689 204.86/205.66 c INPROCESSING 204.86/205.66 c GARBAGE COLLECT 204.86/205.66 c rational objective -357 213.03/213.82 c #Conflicts: 311000 | #Constraints: 12685 213.03/213.82 c #Conflicts: 312000 | #Constraints: 13688 213.03/213.82 c #Conflicts: 313000 | #Constraints: 14690 213.03/213.82 c #Conflicts: 314000 | #Constraints: 15697 213.03/213.82 c #Conflicts: 315000 | #Constraints: 16707 213.03/213.82 c #Conflicts: 316000 | #Constraints: 17723 213.03/213.82 c #Conflicts: 317000 | #Constraints: 18733 213.03/213.82 c #Conflicts: 318000 | #Constraints: 19744 213.03/213.82 c #Conflicts: 319000 | #Constraints: 20753 213.03/213.82 c #Conflicts: 320000 | #Constraints: 21770 213.03/213.82 c #Conflicts: 321000 | #Constraints: 22774 213.03/213.82 c INPROCESSING 213.03/213.82 c GARBAGE COLLECT 213.03/213.82 c rational objective -357 220.10/220.96 c #Conflicts: 322000 | #Constraints: 12511 220.10/220.96 c #Conflicts: 323000 | #Constraints: 13524 220.10/220.96 c #Conflicts: 324000 | #Constraints: 14534 220.10/220.96 c #Conflicts: 325000 | #Constraints: 15542 220.10/220.96 c #Conflicts: 326000 | #Constraints: 16552 220.10/220.96 c #Conflicts: 327000 | #Constraints: 17560 220.10/220.96 c #Conflicts: 328000 | #Constraints: 18569 220.10/220.96 c #Conflicts: 329000 | #Constraints: 19572 220.10/220.96 c #Conflicts: 330000 | #Constraints: 20577 220.10/220.96 c #Conflicts: 331000 | #Constraints: 21581 220.10/220.96 c #Conflicts: 332000 | #Constraints: 22592 220.10/220.96 c #Conflicts: 333000 | #Constraints: 23594 220.10/220.96 c INPROCESSING 220.10/220.96 c GARBAGE COLLECT 220.10/220.96 c rational objective -357 229.08/229.90 c #Conflicts: 334000 | #Constraints: 13117 229.08/229.90 c #Conflicts: 335000 | #Constraints: 14134 229.08/229.90 c #Conflicts: 336000 | #Constraints: 15137 229.08/229.90 c #Conflicts: 337000 | #Constraints: 16137 229.08/229.90 c #Conflicts: 338000 | #Constraints: 17145 229.08/229.90 c #Conflicts: 339000 | #Constraints: 18149 229.08/229.90 c #Conflicts: 340000 | #Constraints: 19157 229.08/229.90 c #Conflicts: 341000 | #Constraints: 20160 229.08/229.90 c #Conflicts: 342000 | #Constraints: 21165 229.08/229.90 c #Conflicts: 343000 | #Constraints: 22169 229.08/229.90 c #Conflicts: 344000 | #Constraints: 23172 229.08/229.90 c #Conflicts: 345000 | #Constraints: 24174 229.08/229.90 c INPROCESSING 229.08/229.90 c GARBAGE COLLECT 229.08/229.90 c rational objective -357 256.87/257.80 c #Conflicts: 346000 | #Constraints: 13500 256.87/257.80 c #Conflicts: 347000 | #Constraints: 14500 256.87/257.80 c #Conflicts: 348000 | #Constraints: 15500 256.87/257.80 c #Conflicts: 349000 | #Constraints: 16501 256.87/257.80 c #Conflicts: 350000 | #Constraints: 17501 256.87/257.80 c #Conflicts: 351000 | #Constraints: 18501 256.87/257.80 c #Conflicts: 352000 | #Constraints: 19501 256.87/257.80 c #Conflicts: 353000 | #Constraints: 20502 256.87/257.80 c #Conflicts: 354000 | #Constraints: 21503 256.87/257.80 c #Conflicts: 355000 | #Constraints: 22506 256.87/257.80 c #Conflicts: 356000 | #Constraints: 23506 256.87/257.80 c #Conflicts: 357000 | #Constraints: 24508 256.87/257.80 c INPROCESSING 256.87/257.80 c GARBAGE COLLECT 256.87/257.80 c rational objective -357 266.34/267.35 c #Conflicts: 358000 | #Constraints: 13675 266.34/267.35 c #Conflicts: 359000 | #Constraints: 14679 266.34/267.35 c #Conflicts: 360000 | #Constraints: 15689 266.34/267.35 c #Conflicts: 361000 | #Constraints: 16693 266.34/267.35 c #Conflicts: 362000 | #Constraints: 17693 266.34/267.35 c #Conflicts: 363000 | #Constraints: 18695 266.34/267.35 c #Conflicts: 364000 | #Constraints: 19696 266.34/267.35 c #Conflicts: 365000 | #Constraints: 20697 266.34/267.35 c #Conflicts: 366000 | #Constraints: 21701 266.34/267.35 c #Conflicts: 367000 | #Constraints: 22703 266.34/267.35 c #Conflicts: 368000 | #Constraints: 23706 266.34/267.35 c #Conflicts: 369000 | #Constraints: 24708 266.34/267.35 c INPROCESSING 266.34/267.35 c GARBAGE COLLECT 266.34/267.35 c rational objective -357 276.11/277.17 c #Conflicts: 370000 | #Constraints: 13685 276.11/277.17 c #Conflicts: 371000 | #Constraints: 14688 276.11/277.17 c #Conflicts: 372000 | #Constraints: 15699 276.11/277.17 c #Conflicts: 373000 | #Constraints: 16703 276.11/277.17 c #Conflicts: 374000 | #Constraints: 17709 276.11/277.17 c #Conflicts: 375000 | #Constraints: 18715 276.11/277.17 c #Conflicts: 376000 | #Constraints: 19725 276.11/277.17 c #Conflicts: 377000 | #Constraints: 20728 276.11/277.17 c #Conflicts: 378000 | #Constraints: 21728 276.11/277.17 c #Conflicts: 379000 | #Constraints: 22730 276.11/277.17 c #Conflicts: 380000 | #Constraints: 23731 276.11/277.17 c #Conflicts: 381000 | #Constraints: 24732 276.11/277.17 c INPROCESSING 276.11/277.17 c GARBAGE COLLECT 276.11/277.17 c rational objective -357 309.59/310.76 c #Conflicts: 382000 | #Constraints: 13485 309.59/310.76 c #Conflicts: 383000 | #Constraints: 14486 309.59/310.76 c #Conflicts: 384000 | #Constraints: 15486 309.59/310.76 c #Conflicts: 385000 | #Constraints: 16488 309.59/310.76 c #Conflicts: 386000 | #Constraints: 17490 309.59/310.76 c #Conflicts: 387000 | #Constraints: 18491 309.59/310.76 c #Conflicts: 388000 | #Constraints: 19491 309.59/310.76 c #Conflicts: 389000 | #Constraints: 20492 309.59/310.76 c #Conflicts: 390000 | #Constraints: 21495 309.59/310.76 c #Conflicts: 391000 | #Constraints: 22495 309.59/310.76 c #Conflicts: 392000 | #Constraints: 23497 309.59/310.76 c #Conflicts: 393000 | #Constraints: 24497 309.59/310.76 c #Conflicts: 394000 | #Constraints: 25499 309.59/310.76 c INPROCESSING 309.59/310.76 c GARBAGE COLLECT 309.59/310.76 c rational objective -357 320.04/321.21 c #Conflicts: 395000 | #Constraints: 14092 320.04/321.21 c #Conflicts: 396000 | #Constraints: 15092 320.04/321.21 c #Conflicts: 397000 | #Constraints: 16097 320.04/321.21 c #Conflicts: 398000 | #Constraints: 17099 320.04/321.21 c #Conflicts: 399000 | #Constraints: 18105 320.04/321.21 c #Conflicts: 400000 | #Constraints: 19107 320.04/321.21 c #Conflicts: 401000 | #Constraints: 20108 320.04/321.21 c #Conflicts: 402000 | #Constraints: 21112 320.04/321.21 c #Conflicts: 403000 | #Constraints: 22123 320.04/321.21 c #Conflicts: 404000 | #Constraints: 23129 320.04/321.21 c #Conflicts: 405000 | #Constraints: 24136 320.04/321.21 c #Conflicts: 406000 | #Constraints: 25140 320.04/321.21 c #Conflicts: 407000 | #Constraints: 26147 320.04/321.21 c INPROCESSING 320.04/321.21 c GARBAGE COLLECT 320.04/321.21 c rational objective -357 330.71/331.94 c #Conflicts: 408000 | #Constraints: 14499 330.71/331.94 c #Conflicts: 409000 | #Constraints: 15502 330.71/331.94 c #Conflicts: 410000 | #Constraints: 16503 330.71/331.94 c #Conflicts: 411000 | #Constraints: 17509 330.71/331.94 c #Conflicts: 412000 | #Constraints: 18512 330.71/331.94 c #Conflicts: 413000 | #Constraints: 19517 330.71/331.94 c #Conflicts: 414000 | #Constraints: 20529 330.71/331.94 c #Conflicts: 415000 | #Constraints: 21542 330.71/331.94 c #Conflicts: 416000 | #Constraints: 22546 330.71/331.94 c #Conflicts: 417000 | #Constraints: 23555 330.71/331.94 c #Conflicts: 418000 | #Constraints: 24556 330.71/331.94 c #Conflicts: 419000 | #Constraints: 25566 330.71/331.94 c #Conflicts: 420000 | #Constraints: 26572 330.71/331.94 c INPROCESSING 330.71/331.94 c GARBAGE COLLECT 330.71/331.94 c rational objective -357 367.69/369.11 c #Conflicts: 421000 | #Constraints: 14727 367.69/369.11 c #Conflicts: 422000 | #Constraints: 15727 367.69/369.11 c #Conflicts: 423000 | #Constraints: 16729 367.69/369.11 c #Conflicts: 424000 | #Constraints: 17732 367.69/369.11 c #Conflicts: 425000 | #Constraints: 18735 367.69/369.11 c #Conflicts: 426000 | #Constraints: 19737 367.69/369.11 c #Conflicts: 427000 | #Constraints: 20740 367.69/369.11 c #Conflicts: 428000 | #Constraints: 21741 367.69/369.11 c #Conflicts: 429000 | #Constraints: 22741 367.69/369.11 c #Conflicts: 430000 | #Constraints: 23741 367.69/369.11 c #Conflicts: 431000 | #Constraints: 24744 367.69/369.11 c #Conflicts: 432000 | #Constraints: 25746 367.69/369.11 c #Conflicts: 433000 | #Constraints: 26747 367.69/369.11 c INPROCESSING 367.69/369.11 c GARBAGE COLLECT 367.69/369.11 c rational objective -357 379.43/380.81 c #Conflicts: 434000 | #Constraints: 14704 379.43/380.81 c #Conflicts: 435000 | #Constraints: 15708 379.43/380.81 c #Conflicts: 436000 | #Constraints: 16713 379.43/380.81 c #Conflicts: 437000 | #Constraints: 17721 379.43/380.81 c #Conflicts: 438000 | #Constraints: 18730 379.43/380.81 c #Conflicts: 439000 | #Constraints: 19731 379.43/380.81 c #Conflicts: 440000 | #Constraints: 20738 379.43/380.81 c #Conflicts: 441000 | #Constraints: 21742 379.43/380.81 c #Conflicts: 442000 | #Constraints: 22748 379.43/380.81 c #Conflicts: 443000 | #Constraints: 23756 379.43/380.81 c #Conflicts: 444000 | #Constraints: 24759 379.43/380.81 c #Conflicts: 445000 | #Constraints: 25763 379.43/380.81 c #Conflicts: 446000 | #Constraints: 26765 379.43/380.81 c INPROCESSING 379.43/380.81 c GARBAGE COLLECT 379.43/380.81 c rational objective -357 390.00/391.46 c #Conflicts: 447000 | #Constraints: 14493 390.00/391.46 c #Conflicts: 448000 | #Constraints: 15497 390.00/391.46 c #Conflicts: 449000 | #Constraints: 16498 390.00/391.46 c #Conflicts: 450000 | #Constraints: 17501 390.00/391.46 c #Conflicts: 451000 | #Constraints: 18507 390.00/391.46 c #Conflicts: 452000 | #Constraints: 19510 390.00/391.46 c #Conflicts: 453000 | #Constraints: 20516 390.00/391.46 c #Conflicts: 454000 | #Constraints: 21522 390.00/391.46 c #Conflicts: 455000 | #Constraints: 22526 390.00/391.46 c #Conflicts: 456000 | #Constraints: 23530 390.00/391.46 c #Conflicts: 457000 | #Constraints: 24533 390.00/391.46 c #Conflicts: 458000 | #Constraints: 25538 390.00/391.46 c #Conflicts: 459000 | #Constraints: 26543 390.00/391.46 c #Conflicts: 460000 | #Constraints: 27546 390.00/391.46 c INPROCESSING 390.00/391.46 c GARBAGE COLLECT 390.00/391.46 c rational objective -357 435.45/437.09 c #Conflicts: 461000 | #Constraints: 15096 435.45/437.09 c #Conflicts: 462000 | #Constraints: 16096 435.45/437.09 c #Conflicts: 463000 | #Constraints: 17096 435.45/437.09 c #Conflicts: 464000 | #Constraints: 18100 435.45/437.09 c #Conflicts: 465000 | #Constraints: 19105 435.45/437.09 c #Conflicts: 466000 | #Constraints: 20107 435.45/437.09 c #Conflicts: 467000 | #Constraints: 21107 435.45/437.09 c #Conflicts: 468000 | #Constraints: 22108 435.45/437.09 c #Conflicts: 469000 | #Constraints: 23111 435.45/437.09 c #Conflicts: 470000 | #Constraints: 24112 435.45/437.09 c #Conflicts: 471000 | #Constraints: 25113 435.45/437.09 c #Conflicts: 472000 | #Constraints: 26117 435.45/437.09 c #Conflicts: 473000 | #Constraints: 27121 435.45/437.09 c #Conflicts: 474000 | #Constraints: 28122 435.45/437.09 c INPROCESSING 435.45/437.09 c GARBAGE COLLECT 435.45/437.09 c rational objective -357 447.69/449.36 c #Conflicts: 475000 | #Constraints: 15494 447.69/449.36 c #Conflicts: 476000 | #Constraints: 16501 447.69/449.36 c #Conflicts: 477000 | #Constraints: 17506 447.69/449.36 c #Conflicts: 478000 | #Constraints: 18511 447.69/449.36 c #Conflicts: 479000 | #Constraints: 19518 447.69/449.36 c #Conflicts: 480000 | #Constraints: 20524 447.69/449.36 c #Conflicts: 481000 | #Constraints: 21537 447.69/449.36 c #Conflicts: 482000 | #Constraints: 22555 447.69/449.36 c #Conflicts: 483000 | #Constraints: 23567 447.69/449.36 c #Conflicts: 484000 | #Constraints: 24570 447.69/449.36 c #Conflicts: 485000 | #Constraints: 25571 447.69/449.36 c #Conflicts: 486000 | #Constraints: 26574 447.69/449.36 c #Conflicts: 487000 | #Constraints: 27577 447.69/449.36 c #Conflicts: 488000 | #Constraints: 28578 447.69/449.36 c INPROCESSING 447.69/449.36 c GARBAGE COLLECT 447.69/449.36 c rational objective -357 460.36/462.08 c #Conflicts: 489000 | #Constraints: 15713 460.36/462.08 c #Conflicts: 490000 | #Constraints: 16714 460.36/462.08 c #Conflicts: 491000 | #Constraints: 17714 460.36/462.08 c #Conflicts: 492000 | #Constraints: 18716 460.36/462.08 c #Conflicts: 493000 | #Constraints: 19717 460.36/462.08 c #Conflicts: 494000 | #Constraints: 20719 460.36/462.08 c #Conflicts: 495000 | #Constraints: 21725 460.36/462.08 c #Conflicts: 496000 | #Constraints: 22737 460.36/462.08 c #Conflicts: 497000 | #Constraints: 23743 460.36/462.08 c #Conflicts: 498000 | #Constraints: 24746 460.36/462.08 c #Conflicts: 499000 | #Constraints: 25747 460.36/462.08 c #Conflicts: 500000 | #Constraints: 26748 460.36/462.08 c #Conflicts: 501000 | #Constraints: 27751 460.36/462.08 c #Conflicts: 502000 | #Constraints: 28757 460.36/462.08 c INPROCESSING 460.36/462.08 c GARBAGE COLLECT 460.36/462.08 c rational objective -357 472.11/473.83 c #Conflicts: 503000 | #Constraints: 15705 472.11/473.83 c #Conflicts: 504000 | #Constraints: 16713 472.11/473.83 c #Conflicts: 505000 | #Constraints: 17726 472.11/473.83 c #Conflicts: 506000 | #Constraints: 18735 472.11/473.83 c #Conflicts: 507000 | #Constraints: 19742 472.11/473.83 c #Conflicts: 508000 | #Constraints: 20761 472.11/473.83 c #Conflicts: 509000 | #Constraints: 21767 472.11/473.83 c #Conflicts: 510000 | #Constraints: 22770 472.11/473.83 c #Conflicts: 511000 | #Constraints: 23775 472.11/473.83 c #Conflicts: 512000 | #Constraints: 24777 472.11/473.83 c #Conflicts: 513000 | #Constraints: 25786 472.11/473.83 c #Conflicts: 514000 | #Constraints: 26786 472.11/473.83 c #Conflicts: 515000 | #Constraints: 27794 472.11/473.83 c #Conflicts: 516000 | #Constraints: 28801 472.11/473.83 c INPROCESSING 472.11/473.83 c GARBAGE COLLECT 472.11/473.83 c rational objective -357 535.38/537.36 c #Conflicts: 517000 | #Constraints: 15533 535.38/537.36 c #Conflicts: 518000 | #Constraints: 16534 535.38/537.36 c #Conflicts: 519000 | #Constraints: 17538 535.38/537.36 c #Conflicts: 520000 | #Constraints: 18542 535.38/537.36 c #Conflicts: 521000 | #Constraints: 19542 535.38/537.36 c #Conflicts: 522000 | #Constraints: 20544 535.38/537.36 c #Conflicts: 523000 | #Constraints: 21551 535.38/537.36 c #Conflicts: 524000 | #Constraints: 22551 535.38/537.36 c #Conflicts: 525000 | #Constraints: 23552 535.38/537.36 c #Conflicts: 526000 | #Constraints: 24552 535.38/537.36 c #Conflicts: 527000 | #Constraints: 25553 535.38/537.36 c #Conflicts: 528000 | #Constraints: 26553 535.38/537.36 c #Conflicts: 529000 | #Constraints: 27554 535.38/537.36 c #Conflicts: 530000 | #Constraints: 28558 535.38/537.36 c #Conflicts: 531000 | #Constraints: 29559 535.38/537.36 c INPROCESSING 535.38/537.36 c GARBAGE COLLECT 535.38/537.36 c rational objective -357 549.53/551.59 c #Conflicts: 532000 | #Constraints: 16112 549.53/551.59 c #Conflicts: 533000 | #Constraints: 17115 549.53/551.59 c #Conflicts: 534000 | #Constraints: 18115 549.53/551.59 c #Conflicts: 535000 | #Constraints: 19115 549.53/551.59 c #Conflicts: 536000 | #Constraints: 20119 549.53/551.59 c #Conflicts: 537000 | #Constraints: 21121 549.53/551.59 c #Conflicts: 538000 | #Constraints: 22124 549.53/551.59 c #Conflicts: 539000 | #Constraints: 23127 549.53/551.59 c #Conflicts: 540000 | #Constraints: 24130 549.53/551.59 c #Conflicts: 541000 | #Constraints: 25132 549.53/551.59 c #Conflicts: 542000 | #Constraints: 26135 549.53/551.59 c #Conflicts: 543000 | #Constraints: 27140 549.53/551.59 c #Conflicts: 544000 | #Constraints: 28145 549.53/551.59 c #Conflicts: 545000 | #Constraints: 29149 549.53/551.59 c #Conflicts: 546000 | #Constraints: 30150 549.53/551.59 c INPROCESSING 549.53/551.59 c GARBAGE COLLECT 549.53/551.59 c rational objective -357 564.87/566.94 c #Conflicts: 547000 | #Constraints: 16503 564.87/566.94 c #Conflicts: 548000 | #Constraints: 17513 564.87/566.94 c #Conflicts: 549000 | #Constraints: 18518 564.87/566.94 c #Conflicts: 550000 | #Constraints: 19540 564.87/566.94 c #Conflicts: 551000 | #Constraints: 20547 564.87/566.94 c #Conflicts: 552000 | #Constraints: 21551 564.87/566.94 c #Conflicts: 553000 | #Constraints: 22555 564.87/566.94 c #Conflicts: 554000 | #Constraints: 23557 564.87/566.94 c #Conflicts: 555000 | #Constraints: 24560 564.87/566.94 c #Conflicts: 556000 | #Constraints: 25562 564.87/566.94 c #Conflicts: 557000 | #Constraints: 26568 564.87/566.94 c #Conflicts: 558000 | #Constraints: 27574 564.87/566.94 c #Conflicts: 559000 | #Constraints: 28576 564.87/566.94 c #Conflicts: 560000 | #Constraints: 29578 564.87/566.94 c #Conflicts: 561000 | #Constraints: 30582 564.87/566.94 c INPROCESSING 564.87/566.94 c GARBAGE COLLECT 564.87/566.94 c rational objective -357 633.74/636.04 c #Conflicts: 562000 | #Constraints: 16718 633.74/636.04 c #Conflicts: 563000 | #Constraints: 17720 633.74/636.04 c #Conflicts: 564000 | #Constraints: 18721 633.74/636.04 c #Conflicts: 565000 | #Constraints: 19722 633.74/636.04 c #Conflicts: 566000 | #Constraints: 20723 633.74/636.04 c #Conflicts: 567000 | #Constraints: 21723 633.74/636.04 c #Conflicts: 568000 | #Constraints: 22726 633.74/636.04 c #Conflicts: 569000 | #Constraints: 23729 633.74/636.04 c #Conflicts: 570000 | #Constraints: 24730 633.74/636.04 c #Conflicts: 571000 | #Constraints: 25731 633.74/636.04 c #Conflicts: 572000 | #Constraints: 26735 633.74/636.04 c #Conflicts: 573000 | #Constraints: 27736 633.74/636.04 c #Conflicts: 574000 | #Constraints: 28739 633.74/636.04 c #Conflicts: 575000 | #Constraints: 29740 633.74/636.04 c #Conflicts: 576000 | #Constraints: 30740 633.74/636.04 c INPROCESSING 633.74/636.04 c GARBAGE COLLECT 633.74/636.04 c rational objective -357 648.98/651.39 c #Conflicts: 577000 | #Constraints: 16701 648.98/651.39 c #Conflicts: 578000 | #Constraints: 17705 648.98/651.39 c #Conflicts: 579000 | #Constraints: 18706 648.98/651.39 c #Conflicts: 580000 | #Constraints: 19708 648.98/651.39 c #Conflicts: 581000 | #Constraints: 20711 648.98/651.39 c #Conflicts: 582000 | #Constraints: 21712 648.98/651.39 c #Conflicts: 583000 | #Constraints: 22720 648.98/651.39 c #Conflicts: 584000 | #Constraints: 23723 648.98/651.39 c #Conflicts: 585000 | #Constraints: 24725 648.98/651.39 c #Conflicts: 586000 | #Constraints: 25728 648.98/651.39 c #Conflicts: 587000 | #Constraints: 26730 648.98/651.39 c #Conflicts: 588000 | #Constraints: 27733 648.98/651.39 c #Conflicts: 589000 | #Constraints: 28736 648.98/651.39 c #Conflicts: 590000 | #Constraints: 29739 648.98/651.39 c #Conflicts: 591000 | #Constraints: 30740 648.98/651.39 c INPROCESSING 648.98/651.39 c GARBAGE COLLECT 648.98/651.39 c rational objective -357 665.21/667.63 c #Conflicts: 592000 | #Constraints: 16505 665.21/667.63 c #Conflicts: 593000 | #Constraints: 17510 665.21/667.63 c #Conflicts: 594000 | #Constraints: 18521 665.21/667.63 c #Conflicts: 595000 | #Constraints: 19529 665.21/667.63 c #Conflicts: 596000 | #Constraints: 20540 665.21/667.63 c #Conflicts: 597000 | #Constraints: 21551 665.21/667.63 c #Conflicts: 598000 | #Constraints: 22556 665.21/667.63 c #Conflicts: 599000 | #Constraints: 23563 665.21/667.63 c #Conflicts: 600000 | #Constraints: 24569 665.21/667.63 c #Conflicts: 601000 | #Constraints: 25580 665.21/667.63 c #Conflicts: 602000 | #Constraints: 26581 665.21/667.63 c #Conflicts: 603000 | #Constraints: 27593 665.21/667.63 c #Conflicts: 604000 | #Constraints: 28599 665.21/667.63 c #Conflicts: 605000 | #Constraints: 29613 665.21/667.63 c #Conflicts: 606000 | #Constraints: 30630 665.21/667.63 c #Conflicts: 607000 | #Constraints: 31640 665.21/667.63 c INPROCESSING 665.21/667.63 c GARBAGE COLLECT 665.21/667.63 c rational objective -357 682.57/685.08 c #Conflicts: 608000 | #Constraints: 17155 682.57/685.08 c #Conflicts: 609000 | #Constraints: 18162 682.57/685.08 c #Conflicts: 610000 | #Constraints: 19166 682.57/685.08 c #Conflicts: 611000 | #Constraints: 20173 682.57/685.08 c #Conflicts: 612000 | #Constraints: 21179 682.57/685.08 c #Conflicts: 613000 | #Constraints: 22185 682.57/685.08 c #Conflicts: 614000 | #Constraints: 23194 682.57/685.08 c #Conflicts: 615000 | #Constraints: 24203 682.57/685.08 c #Conflicts: 616000 | #Constraints: 25208 682.57/685.08 c #Conflicts: 617000 | #Constraints: 26212 682.57/685.08 c #Conflicts: 618000 | #Constraints: 27224 682.57/685.08 c #Conflicts: 619000 | #Constraints: 28224 682.57/685.08 c #Conflicts: 620000 | #Constraints: 29230 682.57/685.08 c #Conflicts: 621000 | #Constraints: 30232 682.57/685.08 c #Conflicts: 622000 | #Constraints: 31235 682.57/685.08 c #Conflicts: 623000 | #Constraints: 32237 682.57/685.08 c INPROCESSING 682.57/685.08 c GARBAGE COLLECT 682.57/685.08 c rational objective -357 768.94/771.72 c #Conflicts: 624000 | #Constraints: 17541 768.94/771.72 c #Conflicts: 625000 | #Constraints: 18541 768.94/771.72 c #Conflicts: 626000 | #Constraints: 19545 768.94/771.72 c #Conflicts: 627000 | #Constraints: 20547 768.94/771.72 c #Conflicts: 628000 | #Constraints: 21547 768.94/771.72 c #Conflicts: 629000 | #Constraints: 22548 768.94/771.72 c #Conflicts: 630000 | #Constraints: 23549 768.94/771.72 c #Conflicts: 631000 | #Constraints: 24550 768.94/771.72 c #Conflicts: 632000 | #Constraints: 25551 768.94/771.72 c #Conflicts: 633000 | #Constraints: 26551 768.94/771.72 c #Conflicts: 634000 | #Constraints: 27552 768.94/771.72 c #Conflicts: 635000 | #Constraints: 28555 768.94/771.72 c #Conflicts: 636000 | #Constraints: 29555 768.94/771.72 c #Conflicts: 637000 | #Constraints: 30555 768.94/771.72 c #Conflicts: 638000 | #Constraints: 31558 768.94/771.72 c #Conflicts: 639000 | #Constraints: 32558 768.94/771.72 c INPROCESSING 768.94/771.72 c GARBAGE COLLECT 768.94/771.72 c rational objective -357 784.68/787.57 c #Conflicts: 640000 | #Constraints: 17719 784.68/787.57 c #Conflicts: 641000 | #Constraints: 18725 784.68/787.57 c #Conflicts: 642000 | #Constraints: 19726 784.68/787.57 c #Conflicts: 643000 | #Constraints: 20728 784.68/787.57 c #Conflicts: 644000 | #Constraints: 21730 784.68/787.57 c #Conflicts: 645000 | #Constraints: 22733 784.68/787.57 c #Conflicts: 646000 | #Constraints: 23736 784.68/787.57 c #Conflicts: 647000 | #Constraints: 24741 784.68/787.57 c #Conflicts: 648000 | #Constraints: 25747 784.68/787.57 c #Conflicts: 649000 | #Constraints: 26750 784.68/787.57 c #Conflicts: 650000 | #Constraints: 27751 784.68/787.57 c #Conflicts: 651000 | #Constraints: 28753 784.68/787.57 c #Conflicts: 652000 | #Constraints: 29754 784.68/787.57 c #Conflicts: 653000 | #Constraints: 30756 784.68/787.57 c #Conflicts: 654000 | #Constraints: 31757 784.68/787.57 c #Conflicts: 655000 | #Constraints: 32761 784.68/787.57 c INPROCESSING 784.68/787.57 c GARBAGE COLLECT 784.68/787.57 c rational objective -357 804.01/807.01 c #Conflicts: 656000 | #Constraints: 17691 804.01/807.01 c #Conflicts: 657000 | #Constraints: 18693 804.01/807.01 c #Conflicts: 658000 | #Constraints: 19699 804.01/807.01 c #Conflicts: 659000 | #Constraints: 20702 804.01/807.01 c #Conflicts: 660000 | #Constraints: 21707 804.01/807.01 c #Conflicts: 661000 | #Constraints: 22707 804.01/807.01 c #Conflicts: 662000 | #Constraints: 23708 804.01/807.01 c #Conflicts: 663000 | #Constraints: 24708 804.01/807.01 c #Conflicts: 664000 | #Constraints: 25709 804.01/807.01 c #Conflicts: 665000 | #Constraints: 26712 804.01/807.01 c #Conflicts: 666000 | #Constraints: 27716 804.01/807.01 c #Conflicts: 667000 | #Constraints: 28722 804.01/807.01 c #Conflicts: 668000 | #Constraints: 29728 804.01/807.01 c #Conflicts: 669000 | #Constraints: 30730 804.01/807.01 c #Conflicts: 670000 | #Constraints: 31733 804.01/807.01 c #Conflicts: 671000 | #Constraints: 32740 804.01/807.01 c INPROCESSING 804.01/807.01 c GARBAGE COLLECT 804.01/807.01 c rational objective -357 822.34/825.38 c #Conflicts: 672000 | #Constraints: 17503 822.34/825.38 c #Conflicts: 673000 | #Constraints: 18503 822.34/825.38 c #Conflicts: 674000 | #Constraints: 19508 822.34/825.38 c #Conflicts: 675000 | #Constraints: 20509 822.34/825.38 c #Conflicts: 676000 | #Constraints: 21509 822.34/825.38 c #Conflicts: 677000 | #Constraints: 22513 822.34/825.38 c #Conflicts: 678000 | #Constraints: 23519 822.34/825.38 c #Conflicts: 679000 | #Constraints: 24521 822.34/825.38 c #Conflicts: 680000 | #Constraints: 25526 822.34/825.38 c #Conflicts: 681000 | #Constraints: 26533 822.34/825.38 c #Conflicts: 682000 | #Constraints: 27536 822.34/825.38 c #Conflicts: 683000 | #Constraints: 28538 822.34/825.38 c #Conflicts: 684000 | #Constraints: 29541 822.34/825.38 c #Conflicts: 685000 | #Constraints: 30544 822.34/825.38 c #Conflicts: 686000 | #Constraints: 31550 822.34/825.38 c #Conflicts: 687000 | #Constraints: 32554 822.34/825.38 c #Conflicts: 688000 | #Constraints: 33555 822.34/825.38 c INPROCESSING 822.34/825.38 c GARBAGE COLLECT 822.34/825.38 c rational objective -357 916.30/919.67 c #Conflicts: 689000 | #Constraints: 18096 916.30/919.67 c #Conflicts: 690000 | #Constraints: 19100 916.30/919.67 c #Conflicts: 691000 | #Constraints: 20102 916.30/919.67 c #Conflicts: 692000 | #Constraints: 21103 916.30/919.67 c #Conflicts: 693000 | #Constraints: 22105 916.30/919.67 c #Conflicts: 694000 | #Constraints: 23108 916.30/919.67 c #Conflicts: 695000 | #Constraints: 24110 916.30/919.67 c #Conflicts: 696000 | #Constraints: 25113 916.30/919.67 c #Conflicts: 697000 | #Constraints: 26113 916.30/919.67 c #Conflicts: 698000 | #Constraints: 27113 916.30/919.67 c #Conflicts: 699000 | #Constraints: 28115 916.30/919.67 c #Conflicts: 700000 | #Constraints: 29116 916.30/919.67 c #Conflicts: 701000 | #Constraints: 30116 916.30/919.67 c #Conflicts: 702000 | #Constraints: 31118 916.30/919.67 c #Conflicts: 703000 | #Constraints: 32126 916.30/919.67 c #Conflicts: 704000 | #Constraints: 33127 916.30/919.67 c #Conflicts: 705000 | #Constraints: 34127 916.30/919.67 c INPROCESSING 916.30/919.67 c GARBAGE COLLECT 916.30/919.67 c rational objective -357 937.52/940.94 c #Conflicts: 706000 | #Constraints: 18523 937.52/940.94 c #Conflicts: 707000 | #Constraints: 19540 937.52/940.94 c #Conflicts: 708000 | #Constraints: 20553 937.52/940.94 c #Conflicts: 709000 | #Constraints: 21557 937.52/940.94 c #Conflicts: 710000 | #Constraints: 22560 937.52/940.94 c #Conflicts: 711000 | #Constraints: 23562 937.52/940.94 c #Conflicts: 712000 | #Constraints: 24568 937.52/940.94 c #Conflicts: 713000 | #Constraints: 25580 937.52/940.94 c #Conflicts: 714000 | #Constraints: 26581 937.52/940.94 c #Conflicts: 715000 | #Constraints: 27586 937.52/940.94 c #Conflicts: 716000 | #Constraints: 28588 937.52/940.94 c #Conflicts: 717000 | #Constraints: 29589 937.52/940.94 c #Conflicts: 718000 | #Constraints: 30590 937.52/940.94 c #Conflicts: 719000 | #Constraints: 31591 937.52/940.94 c #Conflicts: 720000 | #Constraints: 32592 937.52/940.94 c #Conflicts: 721000 | #Constraints: 33594 937.52/940.94 c #Conflicts: 722000 | #Constraints: 34595 937.52/940.94 c INPROCESSING 937.52/940.94 c GARBAGE COLLECT 937.52/940.94 c rational objective -357 954.67/958.17 c #Conflicts: 723000 | #Constraints: 18725 954.67/958.17 c #Conflicts: 724000 | #Constraints: 19728 954.67/958.17 c #Conflicts: 725000 | #Constraints: 20729 954.67/958.17 c #Conflicts: 726000 | #Constraints: 21732 954.67/958.17 c #Conflicts: 727000 | #Constraints: 22734 954.67/958.17 c #Conflicts: 728000 | #Constraints: 23739 954.67/958.17 c #Conflicts: 729000 | #Constraints: 24743 954.67/958.17 c #Conflicts: 730000 | #Constraints: 25749 954.67/958.17 c #Conflicts: 731000 | #Constraints: 26752 954.67/958.17 c #Conflicts: 732000 | #Constraints: 27761 954.67/958.17 c #Conflicts: 733000 | #Constraints: 28774 954.67/958.17 c #Conflicts: 734000 | #Constraints: 29774 954.67/958.17 c #Conflicts: 735000 | #Constraints: 30778 954.67/958.17 c #Conflicts: 736000 | #Constraints: 31781 954.67/958.17 c #Conflicts: 737000 | #Constraints: 32788 954.67/958.17 c #Conflicts: 738000 | #Constraints: 33799 954.67/958.17 c #Conflicts: 739000 | #Constraints: 34805 954.67/958.17 c INPROCESSING 954.67/958.17 c GARBAGE COLLECT 954.67/958.17 c rational objective -357 1069.26/1073.18 c #Conflicts: 740000 | #Constraints: 18726 1069.26/1073.18 c #Conflicts: 741000 | #Constraints: 19727 1069.26/1073.18 c #Conflicts: 742000 | #Constraints: 20728 1069.26/1073.18 c #Conflicts: 743000 | #Constraints: 21733 1069.26/1073.18 c #Conflicts: 744000 | #Constraints: 22736 1069.26/1073.18 c #Conflicts: 745000 | #Constraints: 23736 1069.26/1073.18 c #Conflicts: 746000 | #Constraints: 24737 1069.26/1073.18 c #Conflicts: 747000 | #Constraints: 25738 1069.26/1073.18 c #Conflicts: 748000 | #Constraints: 26738 1069.26/1073.18 c #Conflicts: 749000 | #Constraints: 27739 1069.26/1073.18 c #Conflicts: 750000 | #Constraints: 28739 1069.26/1073.18 c #Conflicts: 751000 | #Constraints: 29740 1069.26/1073.18 c #Conflicts: 752000 | #Constraints: 30741 1069.26/1073.18 c #Conflicts: 753000 | #Constraints: 31742 1069.26/1073.18 c #Conflicts: 754000 | #Constraints: 32742 1069.26/1073.18 c #Conflicts: 755000 | #Constraints: 33742 1069.26/1073.18 c #Conflicts: 756000 | #Constraints: 34742 1069.26/1073.18 c INPROCESSING 1069.26/1073.18 c GARBAGE COLLECT 1069.26/1073.18 c rational objective -357 1090.87/1094.82 c #Conflicts: 757000 | #Constraints: 18520 1090.87/1094.82 c #Conflicts: 758000 | #Constraints: 19526 1090.87/1094.82 c #Conflicts: 759000 | #Constraints: 20527 1090.87/1094.82 c #Conflicts: 760000 | #Constraints: 21534 1090.87/1094.82 c #Conflicts: 761000 | #Constraints: 22538 1090.87/1094.82 c #Conflicts: 762000 | #Constraints: 23543 1090.87/1094.82 c #Conflicts: 763000 | #Constraints: 24548 1090.87/1094.82 c #Conflicts: 764000 | #Constraints: 25553 1090.87/1094.82 c #Conflicts: 765000 | #Constraints: 26560 1090.87/1094.82 c #Conflicts: 766000 | #Constraints: 27564 1090.87/1094.82 c #Conflicts: 767000 | #Constraints: 28566 1090.87/1094.82 c #Conflicts: 768000 | #Constraints: 29567 1090.87/1094.82 c #Conflicts: 769000 | #Constraints: 30572 1090.87/1094.82 c #Conflicts: 770000 | #Constraints: 31574 1090.87/1094.82 c #Conflicts: 771000 | #Constraints: 32576 1090.87/1094.82 c #Conflicts: 772000 | #Constraints: 33579 1090.87/1094.82 c #Conflicts: 773000 | #Constraints: 34584 1090.87/1094.82 c #Conflicts: 774000 | #Constraints: 35591 1090.87/1094.82 c INPROCESSING 1090.87/1094.82 c GARBAGE COLLECT 1090.87/1094.82 c rational objective -357 1115.18/1119.27 c #Conflicts: 775000 | #Constraints: 19128 1115.18/1119.27 c #Conflicts: 776000 | #Constraints: 20131 1115.18/1119.27 c #Conflicts: 777000 | #Constraints: 21148 1115.18/1119.27 c #Conflicts: 778000 | #Constraints: 22150 1115.18/1119.27 c #Conflicts: 779000 | #Constraints: 23153 1115.18/1119.27 c #Conflicts: 780000 | #Constraints: 24155 1115.18/1119.27 c #Conflicts: 781000 | #Constraints: 25156 1115.18/1119.27 c #Conflicts: 782000 | #Constraints: 26162 1115.18/1119.27 c #Conflicts: 783000 | #Constraints: 27165 1115.18/1119.27 c #Conflicts: 784000 | #Constraints: 28170 1115.18/1119.27 c #Conflicts: 785000 | #Constraints: 29172 1115.18/1119.27 c #Conflicts: 786000 | #Constraints: 30179 1115.18/1119.27 c #Conflicts: 787000 | #Constraints: 31191 1115.18/1119.27 c #Conflicts: 788000 | #Constraints: 32193 1115.18/1119.27 c #Conflicts: 789000 | #Constraints: 33198 1115.18/1119.27 c #Conflicts: 790000 | #Constraints: 34203 1115.18/1119.27 c #Conflicts: 791000 | #Constraints: 35207 1115.18/1119.27 c #Conflicts: 792000 | #Constraints: 36208 1115.18/1119.27 c INPROCESSING 1115.18/1119.27 c GARBAGE COLLECT 1115.18/1119.27 c rational objective -357 1138.01/1142.16 c #Conflicts: 793000 | #Constraints: 19553 1138.01/1142.16 c #Conflicts: 794000 | #Constraints: 20557 1138.01/1142.16 c #Conflicts: 795000 | #Constraints: 21562 1138.01/1142.16 c #Conflicts: 796000 | #Constraints: 22564 1138.01/1142.16 c #Conflicts: 797000 | #Constraints: 23566 1138.01/1142.16 c #Conflicts: 798000 | #Constraints: 24567 1138.01/1142.16 c #Conflicts: 799000 | #Constraints: 25570 1138.01/1142.16 c #Conflicts: 800000 | #Constraints: 26576 1138.01/1142.16 c #Conflicts: 801000 | #Constraints: 27578 1138.01/1142.16 c #Conflicts: 802000 | #Constraints: 28579 1138.01/1142.16 c #Conflicts: 803000 | #Constraints: 29587 1138.01/1142.16 c #Conflicts: 804000 | #Constraints: 30600 1138.01/1142.16 c #Conflicts: 805000 | #Constraints: 31607 1138.01/1142.16 c #Conflicts: 806000 | #Constraints: 32614 1138.01/1142.16 c #Conflicts: 807000 | #Constraints: 33616 1138.01/1142.16 c #Conflicts: 808000 | #Constraints: 34621 1138.01/1142.16 c #Conflicts: 809000 | #Constraints: 35627 1138.01/1142.16 c #Conflicts: 810000 | #Constraints: 36632 1138.01/1142.16 c INPROCESSING 1138.01/1142.16 c GARBAGE COLLECT 1138.01/1142.16 c rational objective -357 1274.98/1279.67 c #Conflicts: 811000 | #Constraints: 19748 1274.98/1279.67 c #Conflicts: 812000 | #Constraints: 20750 1274.98/1279.67 c #Conflicts: 813000 | #Constraints: 21751 1274.98/1279.67 c #Conflicts: 814000 | #Constraints: 22752 1274.98/1279.67 c #Conflicts: 815000 | #Constraints: 23754 1274.98/1279.67 c #Conflicts: 816000 | #Constraints: 24754 1274.98/1279.67 c #Conflicts: 817000 | #Constraints: 25755 1274.98/1279.67 c #Conflicts: 818000 | #Constraints: 26758 1274.98/1279.67 c #Conflicts: 819000 | #Constraints: 27761 1274.98/1279.67 c #Conflicts: 820000 | #Constraints: 28762 1274.98/1279.67 c #Conflicts: 821000 | #Constraints: 29765 1274.98/1279.67 c #Conflicts: 822000 | #Constraints: 30765 1274.98/1279.67 c #Conflicts: 823000 | #Constraints: 31765 1274.98/1279.67 c #Conflicts: 824000 | #Constraints: 32765 1274.98/1279.67 c #Conflicts: 825000 | #Constraints: 33766 1274.98/1279.67 c #Conflicts: 826000 | #Constraints: 34766 1274.98/1279.67 c #Conflicts: 827000 | #Constraints: 35769 1274.98/1279.67 c #Conflicts: 828000 | #Constraints: 36772 1274.98/1279.67 c INPROCESSING 1274.98/1279.67 c GARBAGE COLLECT 1274.98/1279.67 c rational objective -357 1299.50/1304.20 c #Conflicts: 829000 | #Constraints: 19747 1299.50/1304.20 c #Conflicts: 830000 | #Constraints: 20758 1299.50/1304.20 c #Conflicts: 831000 | #Constraints: 21773 1299.50/1304.20 c #Conflicts: 832000 | #Constraints: 22787 1299.50/1304.20 c #Conflicts: 833000 | #Constraints: 23799 1299.50/1304.20 c #Conflicts: 834000 | #Constraints: 24808 1299.50/1304.20 c #Conflicts: 835000 | #Constraints: 25822 1299.50/1304.20 c #Conflicts: 836000 | #Constraints: 26843 1299.50/1304.20 c #Conflicts: 837000 | #Constraints: 27864 1299.50/1304.20 c #Conflicts: 838000 | #Constraints: 28881 1299.50/1304.20 c #Conflicts: 839000 | #Constraints: 29897 1299.50/1304.20 c #Conflicts: 840000 | #Constraints: 30912 1299.50/1304.20 c #Conflicts: 841000 | #Constraints: 31918 1299.50/1304.20 c #Conflicts: 842000 | #Constraints: 32926 1299.50/1304.20 c #Conflicts: 843000 | #Constraints: 33936 1299.50/1304.20 c #Conflicts: 844000 | #Constraints: 34952 1299.50/1304.20 c #Conflicts: 845000 | #Constraints: 35962 1299.50/1304.20 c #Conflicts: 846000 | #Constraints: 36965 1299.50/1304.20 c INPROCESSING 1299.50/1304.20 c GARBAGE COLLECT 1299.50/1304.20 c rational objective -357 1319.25/1324.09 c #Conflicts: 847000 | #Constraints: 19615 1319.25/1324.09 c #Conflicts: 848000 | #Constraints: 20617 1319.25/1324.09 c #Conflicts: 849000 | #Constraints: 21623 1319.25/1324.09 c #Conflicts: 850000 | #Constraints: 22628 1319.25/1324.09 c #Conflicts: 851000 | #Constraints: 23632 1319.25/1324.09 c #Conflicts: 852000 | #Constraints: 24635 1319.25/1324.09 c #Conflicts: 853000 | #Constraints: 25665 1319.25/1324.09 c #Conflicts: 854000 | #Constraints: 26696 1319.25/1324.09 c #Conflicts: 855000 | #Constraints: 27699 1319.25/1324.09 c #Conflicts: 856000 | #Constraints: 28699 1319.25/1324.09 c #Conflicts: 857000 | #Constraints: 29701 1319.25/1324.09 c #Conflicts: 858000 | #Constraints: 30707 1319.25/1324.09 c #Conflicts: 859000 | #Constraints: 31711 1319.25/1324.09 c #Conflicts: 860000 | #Constraints: 32714 1319.25/1324.09 c #Conflicts: 861000 | #Constraints: 33714 1319.25/1324.09 c #Conflicts: 862000 | #Constraints: 34718 1319.25/1324.09 c #Conflicts: 863000 | #Constraints: 35729 1319.25/1324.09 c #Conflicts: 864000 | #Constraints: 36739 1319.25/1324.09 c #Conflicts: 865000 | #Constraints: 37744 1319.25/1324.09 c INPROCESSING 1319.25/1324.09 c GARBAGE COLLECT 1319.25/1324.09 c rational objective -357 1340.66/1345.54 c #Conflicts: 866000 | #Constraints: 20196 1340.66/1345.54 c #Conflicts: 867000 | #Constraints: 21204 1340.66/1345.54 c #Conflicts: 868000 | #Constraints: 22207 1340.66/1345.54 c #Conflicts: 869000 | #Constraints: 23210 1340.66/1345.54 c #Conflicts: 870000 | #Constraints: 24213 1340.66/1345.54 c #Conflicts: 871000 | #Constraints: 25219 1340.66/1345.54 c #Conflicts: 872000 | #Constraints: 26223 1340.66/1345.54 c #Conflicts: 873000 | #Constraints: 27229 1340.66/1345.54 c #Conflicts: 874000 | #Constraints: 28236 1340.66/1345.54 c #Conflicts: 875000 | #Constraints: 29239 1340.66/1345.54 c #Conflicts: 876000 | #Constraints: 30249 1340.66/1345.54 c #Conflicts: 877000 | #Constraints: 31251 1340.66/1345.54 c #Conflicts: 878000 | #Constraints: 32252 1340.66/1345.54 c #Conflicts: 879000 | #Constraints: 33257 1340.66/1345.54 c #Conflicts: 880000 | #Constraints: 34262 1340.66/1345.54 c #Conflicts: 881000 | #Constraints: 35267 1340.66/1345.54 c #Conflicts: 882000 | #Constraints: 36267 1340.66/1345.54 c #Conflicts: 883000 | #Constraints: 37268 1340.66/1345.54 c #Conflicts: 884000 | #Constraints: 38269 1340.66/1345.54 c INPROCESSING 1340.66/1345.54 c GARBAGE COLLECT 1340.66/1345.54 c rational objective -357 1479.59/1484.98 c #Conflicts: 885000 | #Constraints: 20572 1479.59/1484.98 c #Conflicts: 886000 | #Constraints: 21574 1479.59/1484.98 c #Conflicts: 887000 | #Constraints: 22575 1479.59/1484.98 c #Conflicts: 888000 | #Constraints: 23577 1479.59/1484.98 c #Conflicts: 889000 | #Constraints: 24578 1479.59/1484.98 c #Conflicts: 890000 | #Constraints: 25579 1479.59/1484.98 c #Conflicts: 891000 | #Constraints: 26580 1479.59/1484.98 c #Conflicts: 892000 | #Constraints: 27582 1479.59/1484.98 c #Conflicts: 893000 | #Constraints: 28582 1479.59/1484.98 c #Conflicts: 894000 | #Constraints: 29582 1479.59/1484.98 c #Conflicts: 895000 | #Constraints: 30584 1479.59/1484.98 c #Conflicts: 896000 | #Constraints: 31585 1479.59/1484.98 c #Conflicts: 897000 | #Constraints: 32585 1479.59/1484.98 c #Conflicts: 898000 | #Constraints: 33585 1479.59/1484.98 c #Conflicts: 899000 | #Constraints: 34585 1479.59/1484.98 c #Conflicts: 900000 | #Constraints: 35586 1479.59/1484.98 c #Conflicts: 901000 | #Constraints: 36586 1479.59/1484.98 c #Conflicts: 902000 | #Constraints: 37588 1479.59/1484.98 c #Conflicts: 903000 | #Constraints: 38588 1479.59/1484.98 c INPROCESSING 1479.59/1484.98 c GARBAGE COLLECT 1479.59/1484.98 c rational objective -357 1505.62/1511.05 c #Conflicts: 904000 | #Constraints: 20741 1505.62/1511.05 c #Conflicts: 905000 | #Constraints: 21744 1505.62/1511.05 c #Conflicts: 906000 | #Constraints: 22749 1505.62/1511.05 c #Conflicts: 907000 | #Constraints: 23750 1505.62/1511.05 c #Conflicts: 908000 | #Constraints: 24752 1505.62/1511.05 c #Conflicts: 909000 | #Constraints: 25760 1505.62/1511.05 c #Conflicts: 910000 | #Constraints: 26763 1505.62/1511.05 c #Conflicts: 911000 | #Constraints: 27767 1505.62/1511.05 c #Conflicts: 912000 | #Constraints: 28768 1505.62/1511.05 c #Conflicts: 913000 | #Constraints: 29772 1505.62/1511.05 c #Conflicts: 914000 | #Constraints: 30773 1505.62/1511.05 c #Conflicts: 915000 | #Constraints: 31778 1505.62/1511.05 c #Conflicts: 916000 | #Constraints: 32779 1505.62/1511.05 c #Conflicts: 917000 | #Constraints: 33782 1505.62/1511.05 c #Conflicts: 918000 | #Constraints: 34787 1505.62/1511.05 c #Conflicts: 919000 | #Constraints: 35790 1505.62/1511.05 c #Conflicts: 920000 | #Constraints: 36792 1505.62/1511.05 c #Conflicts: 921000 | #Constraints: 37793 1505.62/1511.05 c #Conflicts: 922000 | #Constraints: 38795 1505.62/1511.05 c INPROCESSING 1505.62/1511.05 c GARBAGE COLLECT 1505.62/1511.05 c rational objective -357 1528.93/1534.41 c #Conflicts: 923000 | #Constraints: 20718 1528.93/1534.41 c #Conflicts: 924000 | #Constraints: 21722 1528.93/1534.41 c #Conflicts: 925000 | #Constraints: 22726 1528.93/1534.41 c #Conflicts: 926000 | #Constraints: 23727 1528.93/1534.41 c #Conflicts: 927000 | #Constraints: 24729 1528.93/1534.41 c #Conflicts: 928000 | #Constraints: 25732 1528.93/1534.41 c #Conflicts: 929000 | #Constraints: 26735 1528.93/1534.41 c #Conflicts: 930000 | #Constraints: 27740 1528.93/1534.41 c #Conflicts: 931000 | #Constraints: 28745 1528.93/1534.41 c #Conflicts: 932000 | #Constraints: 29746 1528.93/1534.41 c #Conflicts: 933000 | #Constraints: 30752 1528.93/1534.41 c #Conflicts: 934000 | #Constraints: 31755 1528.93/1534.41 c #Conflicts: 935000 | #Constraints: 32761 1528.93/1534.41 c #Conflicts: 936000 | #Constraints: 33762 1528.93/1534.41 c #Conflicts: 937000 | #Constraints: 34766 1528.93/1534.41 c #Conflicts: 938000 | #Constraints: 35769 1528.93/1534.41 c #Conflicts: 939000 | #Constraints: 36773 1528.93/1534.41 c #Conflicts: 940000 | #Constraints: 37779 1528.93/1534.41 c #Conflicts: 941000 | #Constraints: 38780 1528.93/1534.41 c INPROCESSING 1528.93/1534.41 c GARBAGE COLLECT 1528.93/1534.41 c rational objective -357 1558.54/1564.14 c #Conflicts: 942000 | #Constraints: 20508 1558.54/1564.14 c #Conflicts: 943000 | #Constraints: 21511 1558.54/1564.14 c #Conflicts: 944000 | #Constraints: 22514 1558.54/1564.14 c #Conflicts: 945000 | #Constraints: 23517 1558.54/1564.14 c #Conflicts: 946000 | #Constraints: 24517 1558.54/1564.14 c #Conflicts: 947000 | #Constraints: 25518 1558.54/1564.14 c #Conflicts: 948000 | #Constraints: 26523 1558.54/1564.14 c #Conflicts: 949000 | #Constraints: 27540 1558.54/1564.14 c #Conflicts: 950000 | #Constraints: 28555 1558.54/1564.14 c #Conflicts: 951000 | #Constraints: 29563 1558.54/1564.14 c #Conflicts: 952000 | #Constraints: 30565 1558.54/1564.14 c #Conflicts: 953000 | #Constraints: 31568 1558.54/1564.14 c #Conflicts: 954000 | #Constraints: 32571 1558.54/1564.14 c #Conflicts: 955000 | #Constraints: 33585 1558.54/1564.14 c #Conflicts: 956000 | #Constraints: 34597 1558.54/1564.14 c #Conflicts: 957000 | #Constraints: 35610 1558.54/1564.14 c #Conflicts: 958000 | #Constraints: 36621 1558.54/1564.14 c #Conflicts: 959000 | #Constraints: 37629 1558.54/1564.14 c #Conflicts: 960000 | #Constraints: 38635 1558.54/1564.14 c #Conflicts: 961000 | #Constraints: 39643 1558.54/1564.14 c INPROCESSING 1558.54/1564.14 c GARBAGE COLLECT 1558.54/1564.14 c rational objective -357 1724.07/1730.21 c #Conflicts: 962000 | #Constraints: 21150 1724.07/1730.21 c #Conflicts: 963000 | #Constraints: 22151 1724.07/1730.21 c #Conflicts: 964000 | #Constraints: 23153 1724.07/1730.21 c #Conflicts: 965000 | #Constraints: 24153 1724.07/1730.21 c #Conflicts: 966000 | #Constraints: 25154 1724.07/1730.21 c #Conflicts: 967000 | #Constraints: 26154 1724.07/1730.21 c #Conflicts: 968000 | #Constraints: 27154 1724.07/1730.21 c #Conflicts: 969000 | #Constraints: 28155 1724.07/1730.21 c #Conflicts: 970000 | #Constraints: 29155 1724.07/1730.21 c #Conflicts: 971000 | #Constraints: 30155 1724.07/1730.21 c #Conflicts: 972000 | #Constraints: 31155 1724.07/1730.21 c #Conflicts: 973000 | #Constraints: 32155 1724.07/1730.21 c #Conflicts: 974000 | #Constraints: 33156 1724.07/1730.21 c #Conflicts: 975000 | #Constraints: 34156 1724.07/1730.21 c #Conflicts: 976000 | #Constraints: 35156 1724.07/1730.21 c #Conflicts: 977000 | #Constraints: 36157 1724.07/1730.21 c #Conflicts: 978000 | #Constraints: 37159 1724.07/1730.21 c #Conflicts: 979000 | #Constraints: 38159 1724.07/1730.21 c #Conflicts: 980000 | #Constraints: 39160 1724.07/1730.21 c #Conflicts: 981000 | #Constraints: 40160 1724.07/1730.21 c INPROCESSING 1724.07/1730.21 c GARBAGE COLLECT 1724.07/1730.21 c rational objective -357 1751.89/1758.18 c #Conflicts: 982000 | #Constraints: 21510 1751.89/1758.18 c #Conflicts: 983000 | #Constraints: 22515 1751.89/1758.18 c #Conflicts: 984000 | #Constraints: 23522 1751.89/1758.18 c #Conflicts: 985000 | #Constraints: 24529 1751.89/1758.18 c #Conflicts: 986000 | #Constraints: 25541 1751.89/1758.18 c #Conflicts: 987000 | #Constraints: 26546 1751.89/1758.18 c #Conflicts: 988000 | #Constraints: 27552 1751.89/1758.18 c #Conflicts: 989000 | #Constraints: 28558 1751.89/1758.18 c #Conflicts: 990000 | #Constraints: 29567 1751.89/1758.18 c #Conflicts: 991000 | #Constraints: 30580 1751.89/1758.18 c #Conflicts: 992000 | #Constraints: 31590 1751.89/1758.18 c #Conflicts: 993000 | #Constraints: 32591 1751.89/1758.18 c #Conflicts: 994000 | #Constraints: 33593 1751.89/1758.18 c #Conflicts: 995000 | #Constraints: 34600 1751.89/1758.18 c #Conflicts: 996000 | #Constraints: 35600 1751.89/1758.18 c #Conflicts: 997000 | #Constraints: 36601 1751.89/1758.18 c #Conflicts: 998000 | #Constraints: 37611 1751.89/1758.18 c #Conflicts: 999000 | #Constraints: 38626 1751.89/1758.18 c #Conflicts: 1000000 | #Constraints: 39634 1751.89/1758.18 c #Conflicts: 1001000 | #Constraints: 40638 1751.89/1758.18 c INPROCESSING 1751.89/1758.18 c GARBAGE COLLECT 1751.89/1758.18 c rational objective -357 1780.28/1786.68 c #Conflicts: 1002000 | #Constraints: 21743 1780.28/1786.68 c #Conflicts: 1003000 | #Constraints: 22753 1780.28/1786.68 c #Conflicts: 1004000 | #Constraints: 23760 1780.28/1786.68 c #Conflicts: 1005000 | #Constraints: 24765 1780.28/1786.68 c #Conflicts: 1006000 | #Constraints: 25768 1780.28/1786.68 c #Conflicts: 1007000 | #Constraints: 26780 1780.28/1786.68 c #Conflicts: 1008000 | #Constraints: 27780 1780.28/1786.68 c #Conflicts: 1009000 | #Constraints: 28780 1780.28/1786.68 c #Conflicts: 1010000 | #Constraints: 29792 1780.28/1786.68 c #Conflicts: 1011000 | #Constraints: 30792 1780.28/1786.68 c #Conflicts: 1012000 | #Constraints: 31795 1780.28/1786.68 c #Conflicts: 1013000 | #Constraints: 32800 1780.28/1786.68 c #Conflicts: 1014000 | #Constraints: 33801 1780.28/1786.68 c #Conflicts: 1015000 | #Constraints: 34805 1780.28/1786.68 c #Conflicts: 1016000 | #Constraints: 35808 1780.28/1786.68 c #Conflicts: 1017000 | #Constraints: 36817 1780.28/1786.68 c #Conflicts: 1018000 | #Constraints: 37821 1780.28/1786.68 c #Conflicts: 1019000 | #Constraints: 38823 1780.28/1786.68 c #Conflicts: 1020000 | #Constraints: 39826 1780.28/1786.68 c #Conflicts: 1021000 | #Constraints: 40830 1780.28/1786.68 c INPROCESSING 1780.28/1786.68 c GARBAGE COLLECT 1780.28/1786.68 c rational objective -357 1806.90/1813.35 c #Conflicts: 1022000 | #Constraints: 21741 1806.90/1813.35 c #Conflicts: 1023000 | #Constraints: 22745 1806.90/1813.35 c #Conflicts: 1024000 | #Constraints: 23755 1806.90/1813.35 c #Conflicts: 1025000 | #Constraints: 24762 1806.90/1813.35 c #Conflicts: 1026000 | #Constraints: 25768 1806.90/1813.35 c #Conflicts: 1027000 | #Constraints: 26774 1806.90/1813.35 c #Conflicts: 1028000 | #Constraints: 27778 1806.90/1813.35 c #Conflicts: 1029000 | #Constraints: 28784 1806.90/1813.35 c #Conflicts: 1030000 | #Constraints: 29786 1806.90/1813.35 c #Conflicts: 1031000 | #Constraints: 30788 1806.90/1813.35 c #Conflicts: 1032000 | #Constraints: 31795 1806.90/1813.35 c #Conflicts: 1033000 | #Constraints: 32798 1806.90/1813.35 c #Conflicts: 1034000 | #Constraints: 33801 1806.90/1813.35 c #Conflicts: 1035000 | #Constraints: 34805 1806.90/1813.35 c #Conflicts: 1036000 | #Constraints: 35805 1806.90/1813.35 c #Conflicts: 1037000 | #Constraints: 36811 1806.90/1813.35 c #Conflicts: 1038000 | #Constraints: 37814 1806.90/1813.35 c #Conflicts: 1039000 | #Constraints: 38817 1806.90/1813.35 c #Conflicts: 1040000 | #Constraints: 39828 1806.90/1813.35 c #Conflicts: 1041000 | #Constraints: 40842 1806.90/1813.35 c INPROCESSING 1806.90/1813.35 c GARBAGE COLLECT 1806.90/1813.35 c rational objective -357 1980.61/1987.61 c #Conflicts: 1042000 | #Constraints: 21556 1980.61/1987.61 c #Conflicts: 1043000 | #Constraints: 22556 1980.61/1987.61 c #Conflicts: 1044000 | #Constraints: 23556 1980.61/1987.61 c #Conflicts: 1045000 | #Constraints: 24557 1980.61/1987.61 c #Conflicts: 1046000 | #Constraints: 25558 1980.61/1987.61 c #Conflicts: 1047000 | #Constraints: 26558 1980.61/1987.61 c #Conflicts: 1048000 | #Constraints: 27561 1980.61/1987.61 c #Conflicts: 1049000 | #Constraints: 28561 1980.61/1987.61 c #Conflicts: 1050000 | #Constraints: 29562 1980.61/1987.61 c #Conflicts: 1051000 | #Constraints: 30564 1980.61/1987.61 c #Conflicts: 1052000 | #Constraints: 31564 1980.61/1987.61 c #Conflicts: 1053000 | #Constraints: 32564 1980.61/1987.61 c #Conflicts: 1054000 | #Constraints: 33564 1980.61/1987.61 c #Conflicts: 1055000 | #Constraints: 34566 1980.61/1987.61 c #Conflicts: 1056000 | #Constraints: 35567 1980.61/1987.61 c #Conflicts: 1057000 | #Constraints: 36567 1980.61/1987.61 c #Conflicts: 1058000 | #Constraints: 37569 1980.61/1987.61 c #Conflicts: 1059000 | #Constraints: 38569 1980.61/1987.61 c #Conflicts: 1060000 | #Constraints: 39569 1980.61/1987.61 c #Conflicts: 1061000 | #Constraints: 40571 1980.61/1987.61 c #Conflicts: 1062000 | #Constraints: 41571 1980.61/1987.61 c INPROCESSING 1980.61/1987.61 c GARBAGE COLLECT 1980.61/1987.61 c rational objective -357 2009.62/2016.72 c #Conflicts: 1063000 | #Constraints: 22127 2009.62/2016.72 c #Conflicts: 1064000 | #Constraints: 23129 2009.62/2016.72 c #Conflicts: 1065000 | #Constraints: 24140 2009.62/2016.72 c #Conflicts: 1066000 | #Constraints: 25151 2009.62/2016.72 c #Conflicts: 1067000 | #Constraints: 26165 2009.62/2016.72 c #Conflicts: 1068000 | #Constraints: 27177 2009.62/2016.72 c #Conflicts: 1069000 | #Constraints: 28180 2009.62/2016.72 c #Conflicts: 1070000 | #Constraints: 29182 2009.62/2016.72 c #Conflicts: 1071000 | #Constraints: 30184 2009.62/2016.72 c #Conflicts: 1072000 | #Constraints: 31186 2009.62/2016.72 c #Conflicts: 1073000 | #Constraints: 32192 2009.62/2016.72 c #Conflicts: 1074000 | #Constraints: 33196 2009.62/2016.72 c #Conflicts: 1075000 | #Constraints: 34204 2009.62/2016.72 c #Conflicts: 1076000 | #Constraints: 35209 2009.62/2016.72 c #Conflicts: 1077000 | #Constraints: 36212 2009.62/2016.72 c #Conflicts: 1078000 | #Constraints: 37212 2009.62/2016.72 c #Conflicts: 1079000 | #Constraints: 38223 2009.62/2016.72 c #Conflicts: 1080000 | #Constraints: 39233 2009.62/2016.72 c #Conflicts: 1081000 | #Constraints: 40244 2009.62/2016.72 c #Conflicts: 1082000 | #Constraints: 41254 2009.62/2016.72 c #Conflicts: 1083000 | #Constraints: 42279 2009.62/2016.72 c INPROCESSING 2009.62/2016.72 c GARBAGE COLLECT 2009.62/2016.72 c rational objective -357 2041.01/2048.28 c #Conflicts: 1084000 | #Constraints: 22550 2041.01/2048.28 c #Conflicts: 1085000 | #Constraints: 23555 2041.01/2048.28 c #Conflicts: 1086000 | #Constraints: 24556 2041.01/2048.28 c #Conflicts: 1087000 | #Constraints: 25560 2041.01/2048.28 c #Conflicts: 1088000 | #Constraints: 26562 2041.01/2048.28 c #Conflicts: 1089000 | #Constraints: 27563 2041.01/2048.28 c #Conflicts: 1090000 | #Constraints: 28566 2041.01/2048.28 c #Conflicts: 1091000 | #Constraints: 29566 2041.01/2048.28 c #Conflicts: 1092000 | #Constraints: 30566 2041.01/2048.28 c #Conflicts: 1093000 | #Constraints: 31569 2041.01/2048.28 c #Conflicts: 1094000 | #Constraints: 32574 2041.01/2048.28 c #Conflicts: 1095000 | #Constraints: 33579 2041.01/2048.28 c #Conflicts: 1096000 | #Constraints: 34581 2041.01/2048.28 c #Conflicts: 1097000 | #Constraints: 35583 2041.01/2048.28 c #Conflicts: 1098000 | #Constraints: 36585 2041.01/2048.28 c #Conflicts: 1099000 | #Constraints: 37587 2041.01/2048.28 c #Conflicts: 1100000 | #Constraints: 38591 2041.01/2048.28 c #Conflicts: 1101000 | #Constraints: 39596 2041.01/2048.28 c #Conflicts: 1102000 | #Constraints: 40598 2041.01/2048.28 c #Conflicts: 1103000 | #Constraints: 41606 2041.01/2048.28 c #Conflicts: 1104000 | #Constraints: 42606 2041.01/2048.28 c INPROCESSING 2041.01/2048.28 c GARBAGE COLLECT 2041.01/2048.28 c rational objective -357 2213.63/2221.40 c #Conflicts: 1105000 | #Constraints: 22729 2213.63/2221.40 c #Conflicts: 1106000 | #Constraints: 23731 2213.63/2221.40 c #Conflicts: 1107000 | #Constraints: 24732 2213.63/2221.40 c #Conflicts: 1108000 | #Constraints: 25733 2213.63/2221.40 c #Conflicts: 1109000 | #Constraints: 26737 2213.63/2221.40 c #Conflicts: 1110000 | #Constraints: 27739 2213.63/2221.40 c #Conflicts: 1111000 | #Constraints: 28739 2213.63/2221.40 c #Conflicts: 1112000 | #Constraints: 29739 2213.63/2221.40 c #Conflicts: 1113000 | #Constraints: 30739 2213.63/2221.40 c #Conflicts: 1114000 | #Constraints: 31742 2213.63/2221.40 c #Conflicts: 1115000 | #Constraints: 32743 2213.63/2221.40 c #Conflicts: 1116000 | #Constraints: 33744 2213.63/2221.40 c #Conflicts: 1117000 | #Constraints: 34744 2213.63/2221.40 c #Conflicts: 1118000 | #Constraints: 35746 2213.63/2221.40 c #Conflicts: 1119000 | #Constraints: 36746 2213.63/2221.40 c #Conflicts: 1120000 | #Constraints: 37748 2213.63/2221.40 c #Conflicts: 1121000 | #Constraints: 38748 2213.63/2221.40 c #Conflicts: 1122000 | #Constraints: 39748 2213.63/2221.40 c #Conflicts: 1123000 | #Constraints: 40749 2213.63/2221.40 c #Conflicts: 1124000 | #Constraints: 41749 2213.63/2221.40 c #Conflicts: 1125000 | #Constraints: 42749 2213.63/2221.40 c INPROCESSING 2213.63/2221.40 c GARBAGE COLLECT 2213.63/2221.40 c rational objective -357 2247.91/2255.85 c #Conflicts: 1126000 | #Constraints: 22732 2247.91/2255.85 c #Conflicts: 1127000 | #Constraints: 23748 2247.91/2255.85 c #Conflicts: 1128000 | #Constraints: 24756 2247.91/2255.85 c #Conflicts: 1129000 | #Constraints: 25759 2247.91/2255.85 c #Conflicts: 1130000 | #Constraints: 26764 2247.91/2255.85 c #Conflicts: 1131000 | #Constraints: 27766 2247.91/2255.85 c #Conflicts: 1132000 | #Constraints: 28775 2247.91/2255.85 c #Conflicts: 1133000 | #Constraints: 29776 2247.91/2255.85 c #Conflicts: 1134000 | #Constraints: 30777 2247.91/2255.85 c #Conflicts: 1135000 | #Constraints: 31777 2247.91/2255.85 c #Conflicts: 1136000 | #Constraints: 32779 2247.91/2255.85 c #Conflicts: 1137000 | #Constraints: 33780 2247.91/2255.85 c #Conflicts: 1138000 | #Constraints: 34781 2247.91/2255.85 c #Conflicts: 1139000 | #Constraints: 35790 2247.91/2255.85 c #Conflicts: 1140000 | #Constraints: 36795 2247.91/2255.85 c #Conflicts: 1141000 | #Constraints: 37798 2247.91/2255.85 c #Conflicts: 1142000 | #Constraints: 38799 2247.91/2255.85 c #Conflicts: 1143000 | #Constraints: 39801 2247.91/2255.85 c #Conflicts: 1144000 | #Constraints: 40804 2247.91/2255.85 c #Conflicts: 1145000 | #Constraints: 41811 2247.91/2255.85 c #Conflicts: 1146000 | #Constraints: 42813 2247.91/2255.85 c INPROCESSING 2247.91/2255.85 c GARBAGE COLLECT 2247.91/2255.85 c rational objective -357 2280.30/2288.38 c #Conflicts: 1147000 | #Constraints: 22549 2280.30/2288.38 c #Conflicts: 1148000 | #Constraints: 23551 2280.30/2288.38 c #Conflicts: 1149000 | #Constraints: 24552 2280.30/2288.38 c #Conflicts: 1150000 | #Constraints: 25557 2280.30/2288.38 c #Conflicts: 1151000 | #Constraints: 26562 2280.30/2288.38 c #Conflicts: 1152000 | #Constraints: 27564 2280.30/2288.38 c #Conflicts: 1153000 | #Constraints: 28567 2280.30/2288.38 c #Conflicts: 1154000 | #Constraints: 29574 2280.30/2288.38 c #Conflicts: 1155000 | #Constraints: 30581 2280.30/2288.38 c #Conflicts: 1156000 | #Constraints: 31586 2280.30/2288.38 c #Conflicts: 1157000 | #Constraints: 32587 2280.30/2288.38 c #Conflicts: 1158000 | #Constraints: 33589 2280.30/2288.38 c #Conflicts: 1159000 | #Constraints: 34590 2280.30/2288.38 c #Conflicts: 1160000 | #Constraints: 35593 2280.30/2288.38 c #Conflicts: 1161000 | #Constraints: 36597 2280.30/2288.38 c #Conflicts: 1162000 | #Constraints: 37599 2280.30/2288.38 c #Conflicts: 1163000 | #Constraints: 38599 2280.30/2288.38 c #Conflicts: 1164000 | #Constraints: 39602 2280.30/2288.38 c #Conflicts: 1165000 | #Constraints: 40603 2280.30/2288.38 c #Conflicts: 1166000 | #Constraints: 41606 2280.30/2288.38 c #Conflicts: 1167000 | #Constraints: 42607 2280.30/2288.38 c #Conflicts: 1168000 | #Constraints: 43608 2280.30/2288.38 c INPROCESSING 2280.30/2288.38 c GARBAGE COLLECT 2280.30/2288.38 c rational objective -357 2314.08/2322.20 c #Conflicts: 1169000 | #Constraints: 23131 2314.08/2322.20 c #Conflicts: 1170000 | #Constraints: 24135 2314.08/2322.20 c #Conflicts: 1171000 | #Constraints: 25137 2314.08/2322.20 c #Conflicts: 1172000 | #Constraints: 26141 2314.08/2322.20 c #Conflicts: 1173000 | #Constraints: 27143 2314.08/2322.20 c #Conflicts: 1174000 | #Constraints: 28144 2314.08/2322.20 c #Conflicts: 1175000 | #Constraints: 29152 2314.08/2322.20 c #Conflicts: 1176000 | #Constraints: 30155 2314.08/2322.20 c #Conflicts: 1177000 | #Constraints: 31157 2314.08/2322.20 c #Conflicts: 1178000 | #Constraints: 32158 2314.08/2322.20 c #Conflicts: 1179000 | #Constraints: 33160 2314.08/2322.20 c #Conflicts: 1180000 | #Constraints: 34163 2314.08/2322.20 c #Conflicts: 1181000 | #Constraints: 35168 2314.08/2322.20 c #Conflicts: 1182000 | #Constraints: 36177 2314.08/2322.20 c #Conflicts: 1183000 | #Constraints: 37183 2314.08/2322.20 c #Conflicts: 1184000 | #Constraints: 38188 2314.08/2322.20 c #Conflicts: 1185000 | #Constraints: 39189 2314.08/2322.20 c #Conflicts: 1186000 | #Constraints: 40189 2314.08/2322.20 c #Conflicts: 1187000 | #Constraints: 41190 2314.08/2322.20 c #Conflicts: 1188000 | #Constraints: 42194 2314.08/2322.20 c #Conflicts: 1189000 | #Constraints: 43195 2314.08/2322.20 c #Conflicts: 1190000 | #Constraints: 44197 2314.08/2322.20 c INPROCESSING 2314.08/2322.20 c GARBAGE COLLECT 2314.08/2322.20 c rational objective -357 2521.70/2530.57 c #Conflicts: 1191000 | #Constraints: 23527 2521.70/2530.57 c #Conflicts: 1192000 | #Constraints: 24528 2521.70/2530.57 c #Conflicts: 1193000 | #Constraints: 25529 2521.70/2530.57 c #Conflicts: 1194000 | #Constraints: 26531 2521.70/2530.57 c #Conflicts: 1195000 | #Constraints: 27531 2521.70/2530.57 c #Conflicts: 1196000 | #Constraints: 28531 2521.70/2530.57 c #Conflicts: 1197000 | #Constraints: 29532 2521.70/2530.57 c #Conflicts: 1198000 | #Constraints: 30532 2521.70/2530.57 c #Conflicts: 1199000 | #Constraints: 31532 2521.70/2530.57 c #Conflicts: 1200000 | #Constraints: 32535 2521.70/2530.57 c #Conflicts: 1201000 | #Constraints: 33535 2521.70/2530.57 c #Conflicts: 1202000 | #Constraints: 34536 2521.70/2530.57 c #Conflicts: 1203000 | #Constraints: 35536 2521.70/2530.57 c #Conflicts: 1204000 | #Constraints: 36538 2521.70/2530.57 c #Conflicts: 1205000 | #Constraints: 37538 2521.70/2530.57 c #Conflicts: 1206000 | #Constraints: 38539 2521.70/2530.57 c #Conflicts: 1207000 | #Constraints: 39540 2521.70/2530.57 c #Conflicts: 1208000 | #Constraints: 40541 2521.70/2530.57 c #Conflicts: 1209000 | #Constraints: 41541 2521.70/2530.57 c #Conflicts: 1210000 | #Constraints: 42542 2521.70/2530.57 c #Conflicts: 1211000 | #Constraints: 43544 2521.70/2530.57 c #Conflicts: 1212000 | #Constraints: 44545 2521.70/2530.57 c INPROCESSING 2521.70/2530.57 c GARBAGE COLLECT 2521.70/2530.57 c rational objective -357 2560.08/2569.07 c #Conflicts: 1213000 | #Constraints: 23723 2560.08/2569.07 c #Conflicts: 1214000 | #Constraints: 24724 2560.08/2569.07 c #Conflicts: 1215000 | #Constraints: 25730 2560.08/2569.07 c #Conflicts: 1216000 | #Constraints: 26741 2560.08/2569.07 c #Conflicts: 1217000 | #Constraints: 27741 2560.08/2569.07 c #Conflicts: 1218000 | #Constraints: 28746 2560.08/2569.07 c #Conflicts: 1219000 | #Constraints: 29749 2560.08/2569.07 c #Conflicts: 1220000 | #Constraints: 30752 2560.08/2569.07 c #Conflicts: 1221000 | #Constraints: 31763 2560.08/2569.07 c #Conflicts: 1222000 | #Constraints: 32768 2560.08/2569.07 c #Conflicts: 1223000 | #Constraints: 33768 2560.08/2569.07 c #Conflicts: 1224000 | #Constraints: 34774 2560.08/2569.07 c #Conflicts: 1225000 | #Constraints: 35776 2560.08/2569.07 c #Conflicts: 1226000 | #Constraints: 36782 2560.08/2569.07 c #Conflicts: 1227000 | #Constraints: 37784 2560.08/2569.07 c #Conflicts: 1228000 | #Constraints: 38793 2560.08/2569.07 c #Conflicts: 1229000 | #Constraints: 39799 2560.08/2569.07 c #Conflicts: 1230000 | #Constraints: 40802 2560.08/2569.07 c #Conflicts: 1231000 | #Constraints: 41803 2560.08/2569.07 c #Conflicts: 1232000 | #Constraints: 42804 2560.08/2569.07 c #Conflicts: 1233000 | #Constraints: 43810 2560.08/2569.07 c #Conflicts: 1234000 | #Constraints: 44813 2560.08/2569.07 c INPROCESSING 2560.08/2569.07 c GARBAGE COLLECT 2560.08/2569.07 c rational objective -357 2601.05/2610.11 c #Conflicts: 1235000 | #Constraints: 23754 2601.05/2610.11 c #Conflicts: 1236000 | #Constraints: 24764 2601.05/2610.11 c #Conflicts: 1237000 | #Constraints: 25769 2601.05/2610.11 c #Conflicts: 1238000 | #Constraints: 26774 2601.05/2610.11 c #Conflicts: 1239000 | #Constraints: 27777 2601.05/2610.11 c #Conflicts: 1240000 | #Constraints: 28777 2601.05/2610.11 c #Conflicts: 1241000 | #Constraints: 29781 2601.05/2610.11 c #Conflicts: 1242000 | #Constraints: 30782 2601.05/2610.11 c #Conflicts: 1243000 | #Constraints: 31787 2601.05/2610.11 c #Conflicts: 1244000 | #Constraints: 32791 2601.05/2610.11 c #Conflicts: 1245000 | #Constraints: 33795 2601.05/2610.11 c #Conflicts: 1246000 | #Constraints: 34801 2601.05/2610.11 c #Conflicts: 1247000 | #Constraints: 35811 2601.05/2610.11 c #Conflicts: 1248000 | #Constraints: 36824 2601.05/2610.11 c #Conflicts: 1249000 | #Constraints: 37836 2601.05/2610.11 c #Conflicts: 1250000 | #Constraints: 38842 2601.05/2610.11 c #Conflicts: 1251000 | #Constraints: 39844 2601.05/2610.11 c #Conflicts: 1252000 | #Constraints: 40850 2601.05/2610.11 c #Conflicts: 1253000 | #Constraints: 41864 2601.05/2610.11 c #Conflicts: 1254000 | #Constraints: 42864 2601.05/2610.11 c #Conflicts: 1255000 | #Constraints: 43865 2601.05/2610.11 c #Conflicts: 1256000 | #Constraints: 44867 2601.05/2610.11 c INPROCESSING 2601.05/2610.11 c GARBAGE COLLECT 2601.05/2610.11 c rational objective -357 2638.02/2647.26 c #Conflicts: 1257000 | #Constraints: 23580 2638.02/2647.26 c #Conflicts: 1258000 | #Constraints: 24583 2638.02/2647.26 c #Conflicts: 1259000 | #Constraints: 25588 2638.02/2647.26 c #Conflicts: 1260000 | #Constraints: 26592 2638.02/2647.26 c #Conflicts: 1261000 | #Constraints: 27596 2638.02/2647.26 c #Conflicts: 1262000 | #Constraints: 28602 2638.02/2647.26 c #Conflicts: 1263000 | #Constraints: 29604 2638.02/2647.26 c #Conflicts: 1264000 | #Constraints: 30607 2638.02/2647.26 c #Conflicts: 1265000 | #Constraints: 31609 2638.02/2647.26 c #Conflicts: 1266000 | #Constraints: 32620 2638.02/2647.26 c #Conflicts: 1267000 | #Constraints: 33629 2638.02/2647.26 c #Conflicts: 1268000 | #Constraints: 34639 2638.02/2647.26 c #Conflicts: 1269000 | #Constraints: 35652 2638.02/2647.26 c #Conflicts: 1270000 | #Constraints: 36655 2638.02/2647.26 c #Conflicts: 1271000 | #Constraints: 37660 2638.02/2647.26 c #Conflicts: 1272000 | #Constraints: 38665 2638.02/2647.26 c #Conflicts: 1273000 | #Constraints: 39668 2638.02/2647.26 c #Conflicts: 1274000 | #Constraints: 40678 2638.02/2647.26 c #Conflicts: 1275000 | #Constraints: 41681 2638.02/2647.26 c #Conflicts: 1276000 | #Constraints: 42686 2638.02/2647.26 c #Conflicts: 1277000 | #Constraints: 43691 2638.02/2647.26 c #Conflicts: 1278000 | #Constraints: 44697 2638.02/2647.26 c #Conflicts: 1279000 | #Constraints: 45697 2638.02/2647.26 c INPROCESSING 2638.02/2647.26 c GARBAGE COLLECT 2638.02/2647.26 c rational objective -357 2866.27/2876.28 c #Conflicts: 1280000 | #Constraints: 24192 2866.27/2876.28 c #Conflicts: 1281000 | #Constraints: 25195 2866.27/2876.28 c #Conflicts: 1282000 | #Constraints: 26203 2866.27/2876.28 c #Conflicts: 1283000 | #Constraints: 27204 2866.27/2876.28 c #Conflicts: 1284000 | #Constraints: 28206 2866.27/2876.28 c #Conflicts: 1285000 | #Constraints: 29206 2866.27/2876.28 c #Conflicts: 1286000 | #Constraints: 30207 2866.27/2876.28 c #Conflicts: 1287000 | #Constraints: 31207 2866.27/2876.28 c #Conflicts: 1288000 | #Constraints: 32208 2866.27/2876.28 c #Conflicts: 1289000 | #Constraints: 33208 2866.27/2876.28 c #Conflicts: 1290000 | #Constraints: 34210 2866.27/2876.28 c #Conflicts: 1291000 | #Constraints: 35210 2866.27/2876.28 c #Conflicts: 1292000 | #Constraints: 36214 2866.27/2876.28 c #Conflicts: 1293000 | #Constraints: 37214 2866.27/2876.28 c #Conflicts: 1294000 | #Constraints: 38215 2866.27/2876.28 c #Conflicts: 1295000 | #Constraints: 39216 2866.27/2876.28 c #Conflicts: 1296000 | #Constraints: 40217 2866.27/2876.28 c #Conflicts: 1297000 | #Constraints: 41217 2866.27/2876.28 c #Conflicts: 1298000 | #Constraints: 42219 2866.27/2876.28 c #Conflicts: 1299000 | #Constraints: 43221 2866.27/2876.28 c #Conflicts: 1300000 | #Constraints: 44221 2866.27/2876.28 c #Conflicts: 1301000 | #Constraints: 45221 2866.27/2876.28 c #Conflicts: 1302000 | #Constraints: 46223 2866.27/2876.28 c INPROCESSING 2866.27/2876.28 c GARBAGE COLLECT 2866.27/2876.28 c rational objective -357 2906.44/2916.53 c #Conflicts: 1303000 | #Constraints: 24553 2906.44/2916.53 c #Conflicts: 1304000 | #Constraints: 25557 2906.44/2916.53 c #Conflicts: 1305000 | #Constraints: 26563 2906.44/2916.53 c #Conflicts: 1306000 | #Constraints: 27567 2906.44/2916.53 c #Conflicts: 1307000 | #Constraints: 28567 2906.44/2916.53 c #Conflicts: 1308000 | #Constraints: 29570 2906.44/2916.53 c #Conflicts: 1309000 | #Constraints: 30577 2906.44/2916.53 c #Conflicts: 1310000 | #Constraints: 31583 2906.44/2916.53 c #Conflicts: 1311000 | #Constraints: 32586 2906.44/2916.53 c #Conflicts: 1312000 | #Constraints: 33586 2906.44/2916.53 c #Conflicts: 1313000 | #Constraints: 34586 2906.44/2916.53 c #Conflicts: 1314000 | #Constraints: 35587 2906.44/2916.53 c #Conflicts: 1315000 | #Constraints: 36590 2906.44/2916.53 c #Conflicts: 1316000 | #Constraints: 37593 2906.44/2916.53 c #Conflicts: 1317000 | #Constraints: 38597 2906.44/2916.53 c #Conflicts: 1318000 | #Constraints: 39600 2906.44/2916.53 c #Conflicts: 1319000 | #Constraints: 40610 2906.44/2916.53 c #Conflicts: 1320000 | #Constraints: 41613 2906.44/2916.53 c #Conflicts: 1321000 | #Constraints: 42615 2906.44/2916.53 c #Conflicts: 1322000 | #Constraints: 43615 2906.44/2916.53 c #Conflicts: 1323000 | #Constraints: 44615 2906.44/2916.53 c #Conflicts: 1324000 | #Constraints: 45616 2906.44/2916.53 c #Conflicts: 1325000 | #Constraints: 46616 2906.44/2916.53 c INPROCESSING 2906.44/2916.53 c GARBAGE COLLECT 2906.44/2916.53 c rational objective -357 2940.93/2951.15 c #Conflicts: 1326000 | #Constraints: 24745 2940.93/2951.15 c #Conflicts: 1327000 | #Constraints: 25751 2940.93/2951.15 c #Conflicts: 1328000 | #Constraints: 26759 2940.93/2951.15 c #Conflicts: 1329000 | #Constraints: 27764 2940.93/2951.15 c #Conflicts: 1330000 | #Constraints: 28766 2940.93/2951.15 c #Conflicts: 1331000 | #Constraints: 29766 2940.93/2951.15 c #Conflicts: 1332000 | #Constraints: 30774 2940.93/2951.15 c #Conflicts: 1333000 | #Constraints: 31779 2940.93/2951.15 c #Conflicts: 1334000 | #Constraints: 32790 2940.93/2951.15 c #Conflicts: 1335000 | #Constraints: 33800 2940.93/2951.15 c #Conflicts: 1336000 | #Constraints: 34812 2940.93/2951.15 c #Conflicts: 1337000 | #Constraints: 35822 2940.93/2951.15 c #Conflicts: 1338000 | #Constraints: 36844 2940.93/2951.15 c #Conflicts: 1339000 | #Constraints: 37861 2940.93/2951.15 c #Conflicts: 1340000 | #Constraints: 38870 2940.93/2951.15 c #Conflicts: 1341000 | #Constraints: 39874 2940.93/2951.15 c #Conflicts: 1342000 | #Constraints: 40883 2940.93/2951.15 c #Conflicts: 1343000 | #Constraints: 41888 2940.93/2951.15 c #Conflicts: 1344000 | #Constraints: 42905 2940.93/2951.15 c #Conflicts: 1345000 | #Constraints: 43929 2940.93/2951.15 c #Conflicts: 1346000 | #Constraints: 44932 2940.93/2951.15 c #Conflicts: 1347000 | #Constraints: 45949 2940.93/2951.15 c #Conflicts: 1348000 | #Constraints: 46973 2940.93/2951.15 c INPROCESSING 2940.93/2951.15 c GARBAGE COLLECT 2940.93/2951.15 c rational objective -357 3182.82/3193.87 c #Conflicts: 1349000 | #Constraints: 24807 3182.82/3193.87 c #Conflicts: 1350000 | #Constraints: 25809 3182.82/3193.87 c #Conflicts: 1351000 | #Constraints: 26810 3182.82/3193.87 c #Conflicts: 1352000 | #Constraints: 27810 3182.82/3193.87 c #Conflicts: 1353000 | #Constraints: 28810 3182.82/3193.87 c #Conflicts: 1354000 | #Constraints: 29811 3182.82/3193.87 c #Conflicts: 1355000 | #Constraints: 30811 3182.82/3193.87 c #Conflicts: 1356000 | #Constraints: 31812 3182.82/3193.87 c #Conflicts: 1357000 | #Constraints: 32812 3182.82/3193.87 c #Conflicts: 1358000 | #Constraints: 33815 3182.82/3193.87 c #Conflicts: 1359000 | #Constraints: 34817 3182.82/3193.87 c #Conflicts: 1360000 | #Constraints: 35817 3182.82/3193.87 c #Conflicts: 1361000 | #Constraints: 36818 3182.82/3193.87 c #Conflicts: 1362000 | #Constraints: 37818 3182.82/3193.87 c #Conflicts: 1363000 | #Constraints: 38818 3182.82/3193.87 c #Conflicts: 1364000 | #Constraints: 39818 3182.82/3193.87 c #Conflicts: 1365000 | #Constraints: 40818 3182.82/3193.87 c #Conflicts: 1366000 | #Constraints: 41818 3182.82/3193.87 c #Conflicts: 1367000 | #Constraints: 42818 3182.82/3193.87 c #Conflicts: 1368000 | #Constraints: 43819 3182.82/3193.87 c #Conflicts: 1369000 | #Constraints: 44819 3182.82/3193.87 c #Conflicts: 1370000 | #Constraints: 45822 3182.82/3193.87 c #Conflicts: 1371000 | #Constraints: 46823 3182.82/3193.87 c INPROCESSING 3182.82/3193.87 c GARBAGE COLLECT 3182.82/3193.87 c rational objective -357 3230.37/3241.57 c #Conflicts: 1372000 | #Constraints: 24549 3230.37/3241.57 c #Conflicts: 1373000 | #Constraints: 25558 3230.37/3241.57 c #Conflicts: 1374000 | #Constraints: 26561 3230.37/3241.57 c #Conflicts: 1375000 | #Constraints: 27564 3230.37/3241.57 c #Conflicts: 1376000 | #Constraints: 28573 3230.37/3241.57 c #Conflicts: 1377000 | #Constraints: 29581 3230.37/3241.57 c #Conflicts: 1378000 | #Constraints: 30583 3230.37/3241.57 c #Conflicts: 1379000 | #Constraints: 31583 3230.37/3241.57 c #Conflicts: 1380000 | #Constraints: 32586 3230.37/3241.57 c #Conflicts: 1381000 | #Constraints: 33591 3230.37/3241.57 c #Conflicts: 1382000 | #Constraints: 34593 3230.37/3241.57 c #Conflicts: 1383000 | #Constraints: 35601 3230.37/3241.57 c #Conflicts: 1384000 | #Constraints: 36605 3230.37/3241.57 c #Conflicts: 1385000 | #Constraints: 37614 3230.37/3241.57 c #Conflicts: 1386000 | #Constraints: 38616 3230.37/3241.57 c #Conflicts: 1387000 | #Constraints: 39620 3230.37/3241.57 c #Conflicts: 1388000 | #Constraints: 40622 3230.37/3241.57 c #Conflicts: 1389000 | #Constraints: 41623 3230.37/3241.57 c #Conflicts: 1390000 | #Constraints: 42624 3230.37/3241.57 c #Conflicts: 1391000 | #Constraints: 43627 3230.37/3241.57 c #Conflicts: 1392000 | #Constraints: 44627 3230.37/3241.57 c #Conflicts: 1393000 | #Constraints: 45627 3230.37/3241.57 c #Conflicts: 1394000 | #Constraints: 46628 3230.37/3241.57 c #Conflicts: 1395000 | #Constraints: 47629 3230.37/3241.57 c INPROCESSING 3230.37/3241.57 c GARBAGE COLLECT 3230.37/3241.57 c rational objective -357 3276.41/3287.72 c #Conflicts: 1396000 | #Constraints: 25152 3276.41/3287.72 c #Conflicts: 1397000 | #Constraints: 26156 3276.41/3287.72 c #Conflicts: 1398000 | #Constraints: 27161 3276.41/3287.72 c #Conflicts: 1399000 | #Constraints: 28165 3276.41/3287.72 c #Conflicts: 1400000 | #Constraints: 29166 3276.41/3287.72 c #Conflicts: 1401000 | #Constraints: 30174 3276.41/3287.72 c #Conflicts: 1402000 | #Constraints: 31181 3276.41/3287.72 c #Conflicts: 1403000 | #Constraints: 32188 3276.41/3287.72 c #Conflicts: 1404000 | #Constraints: 33191 3276.41/3287.72 c #Conflicts: 1405000 | #Constraints: 34192 3276.41/3287.72 c #Conflicts: 1406000 | #Constraints: 35198 3276.41/3287.72 c #Conflicts: 1407000 | #Constraints: 36201 3276.41/3287.72 c #Conflicts: 1408000 | #Constraints: 37202 3276.41/3287.72 c #Conflicts: 1409000 | #Constraints: 38204 3276.41/3287.72 c #Conflicts: 1410000 | #Constraints: 39207 3276.41/3287.72 c #Conflicts: 1411000 | #Constraints: 40216 3276.41/3287.72 c #Conflicts: 1412000 | #Constraints: 41219 3276.41/3287.72 c #Conflicts: 1413000 | #Constraints: 42222 3276.41/3287.72 c #Conflicts: 1414000 | #Constraints: 43226 3276.41/3287.72 c #Conflicts: 1415000 | #Constraints: 44230 3276.41/3287.73 c #Conflicts: 1416000 | #Constraints: 45234 3276.41/3287.73 c #Conflicts: 1417000 | #Constraints: 46236 3276.41/3287.73 c #Conflicts: 1418000 | #Constraints: 47237 3276.41/3287.73 c #Conflicts: 1419000 | #Constraints: 48241 3276.41/3287.73 c INPROCESSING 3276.41/3287.73 c GARBAGE COLLECT 3276.41/3287.73 c rational objective -357 3324.04/3335.59 c #Conflicts: 1420000 | #Constraints: 25558 3324.04/3335.59 c #Conflicts: 1421000 | #Constraints: 26562 3324.04/3335.59 c #Conflicts: 1422000 | #Constraints: 27562 3324.04/3335.59 c #Conflicts: 1423000 | #Constraints: 28563 3324.04/3335.59 c #Conflicts: 1424000 | #Constraints: 29567 3324.04/3335.59 c #Conflicts: 1425000 | #Constraints: 30568 3324.04/3335.59 c #Conflicts: 1426000 | #Constraints: 31572 3324.04/3335.59 c #Conflicts: 1427000 | #Constraints: 32574 3324.04/3335.59 c #Conflicts: 1428000 | #Constraints: 33577 3324.04/3335.59 c #Conflicts: 1429000 | #Constraints: 34579 3324.04/3335.59 c #Conflicts: 1430000 | #Constraints: 35582 3324.04/3335.59 c #Conflicts: 1431000 | #Constraints: 36586 3324.04/3335.59 c #Conflicts: 1432000 | #Constraints: 37592 3324.04/3335.59 c #Conflicts: 1433000 | #Constraints: 38594 3324.04/3335.59 c #Conflicts: 1434000 | #Constraints: 39599 3324.04/3335.59 c #Conflicts: 1435000 | #Constraints: 40603 3324.04/3335.59 c #Conflicts: 1436000 | #Constraints: 41605 3324.04/3335.59 c #Conflicts: 1437000 | #Constraints: 42611 3324.04/3335.59 c #Conflicts: 1438000 | #Constraints: 43621 3324.04/3335.59 c #Conflicts: 1439000 | #Constraints: 44635 3324.04/3335.60 c #Conflicts: 1440000 | #Constraints: 45638 3324.04/3335.60 c #Conflicts: 1441000 | #Constraints: 46642 3324.04/3335.60 c #Conflicts: 1442000 | #Constraints: 47645 3324.04/3335.60 c #Conflicts: 1443000 | #Constraints: 48649 3324.04/3335.60 c INPROCESSING 3324.04/3335.60 c GARBAGE COLLECT 3324.04/3335.60 c rational objective -357 3583.49/3595.88 c #Conflicts: 1444000 | #Constraints: 25752 3583.49/3595.88 c #Conflicts: 1445000 | #Constraints: 26752 3583.49/3595.88 c #Conflicts: 1446000 | #Constraints: 27754 3583.49/3595.88 c #Conflicts: 1447000 | #Constraints: 28755 3583.49/3595.88 c #Conflicts: 1448000 | #Constraints: 29756 3583.49/3595.88 c #Conflicts: 1449000 | #Constraints: 30757 3583.49/3595.88 c #Conflicts: 1450000 | #Constraints: 31757 3583.49/3595.88 c #Conflicts: 1451000 | #Constraints: 32758 3583.49/3595.88 c #Conflicts: 1452000 | #Constraints: 33760 3583.49/3595.88 c #Conflicts: 1453000 | #Constraints: 34760 3583.49/3595.88 c #Conflicts: 1454000 | #Constraints: 35760 3583.49/3595.88 c #Conflicts: 1455000 | #Constraints: 36760 3583.49/3595.88 c #Conflicts: 1456000 | #Constraints: 37762 3583.49/3595.88 c #Conflicts: 1457000 | #Constraints: 38762 3583.49/3595.88 c #Conflicts: 1458000 | #Constraints: 39762 3583.49/3595.88 c #Conflicts: 1459000 | #Constraints: 40762 3583.49/3595.88 c #Conflicts: 1460000 | #Constraints: 41763 3583.49/3595.88 c #Conflicts: 1461000 | #Constraints: 42764 3583.49/3595.88 c #Conflicts: 1462000 | #Constraints: 43764 3583.49/3595.88 c #Conflicts: 1463000 | #Constraints: 44765 3583.49/3595.89 c #Conflicts: 1464000 | #Constraints: 45769 3583.49/3595.89 c #Conflicts: 1465000 | #Constraints: 46769 3583.49/3595.89 c #Conflicts: 1466000 | #Constraints: 47770 3583.49/3595.89 c #Conflicts: 1467000 | #Constraints: 48770 3583.49/3595.89 c INPROCESSING 3583.49/3595.89 c GARBAGE COLLECT 3583.49/3595.89 c rational objective -357 3600.03/3612.40 c #Conflicts: 1468000 | #Constraints: 25734 3600.03/3612.40 c #Conflicts: 1469000 | #Constraints: 26739 3600.03/3612.40 c #Conflicts: 1470000 | #Constraints: 27740 3600.03/3612.40 c #Conflicts: 1471000 | #Constraints: 28744 3600.03/3612.40 c #Conflicts: 1472000 | #Constraints: 29746 3600.03/3612.40 c #Conflicts: 1473000 | #Constraints: 30748 3600.03/3612.40 c #Conflicts: 1474000 | #Constraints: 31749 3600.03/3612.40 c #Conflicts: 1475000 | #Constraints: 32753 3600.03/3612.40 c #Conflicts: 1476000 | #Constraints: 33753 3600.03/3612.40 c #Conflicts: 1477000 | #Constraints: 34755 3600.03/3612.40 c #Conflicts: 1478000 | #Constraints: 35762 3600.03/3612.40 c Program interrupted by user. 3600.03/3612.46 c cpu time 3581.66 s 3600.03/3612.46 c deterministic time 295908408101 2.96e+11 3600.03/3612.46 c optimization time 16.3665 s 3600.03/3612.46 c total solve time 3565.29 s 3600.03/3612.46 c core-guided solve time 2407.25 s 3600.03/3612.46 c propagation time 3095.14 s 3600.03/3612.46 c conflict analysis time 453.434 s 3600.03/3612.46 c propagations 73830723 3600.03/3612.46 c resolve steps 19687784 3600.03/3612.46 c decisions 2296183 3600.03/3612.46 c conflicts 1478909 3600.03/3612.46 c restarts 2875 3600.03/3612.46 c inprocessing phases 112 3600.03/3612.46 c input clauses 324 3600.03/3612.46 c input cardinalities 83 3600.03/3612.46 c input general constraints 445 3600.03/3612.46 c input average constraint length 30.27 3600.03/3612.46 c input average constraint degree 74.54 3600.03/3612.46 c learned clauses 1198978 3600.03/3612.46 c learned cardinalities 204 3600.03/3612.46 c learned general constraints 285380 3600.03/3612.46 c learned average constraint length 116.06 3600.03/3612.46 c learned average constraint degree 437612936.06 3600.03/3612.46 c watched constraints 252907 3600.03/3612.46 c counting constraints 32918 3600.03/3612.46 c gcd simplifications 631363 3600.03/3612.46 c detected cardinalities 37 3600.03/3612.46 c weakened non-implied lits 90912402 3600.03/3612.46 c weakened non-implying lits 816076 3600.03/3612.46 c original variables 223 3600.03/3612.46 c clausal propagations 27665597 3600.03/3612.46 c cardinality propagations 8297124 3600.03/3612.46 c watched propagations 2597328 3600.03/3612.46 c counting propagations 33881790 3600.03/3612.46 c watch lookups 64786772258 3600.03/3612.46 c watch backjump lookups 53608399889 3600.03/3612.46 c watch checks 163007775795 3600.03/3612.46 c propagation checks 13684895390 3600.03/3612.46 c constraint additions 665350123 3600.03/3612.46 c trail pops 77599896 3600.03/3612.46 c formula constraints 386 3600.03/3612.46 c learned constraints 1473380 3600.03/3612.46 c bound constraints 102 3600.03/3612.46 c core-guided constraints 364 3600.03/3612.46 c encountered formula constraints 10219253 3600.03/3612.46 c encountered learned constraints 9386690 3600.03/3612.46 c encountered bound constraints 19912 3600.03/3612.46 c encountered core-guided constraints 1070135 3600.03/3612.46 c LP total time 27.5083 s 3600.03/3612.46 c LP solve time 22.39 s 3600.03/3612.46 c LP constraints added 4616 3600.03/3612.46 c LP constraints removed 4176 3600.03/3612.46 c LP pivots internal 1478927 3600.03/3612.46 c LP pivots root 8916 3600.03/3612.46 c LP calls 67892 3600.03/3612.46 c LP optimalities 62301 3600.03/3612.46 c LP no pivot count 983 3600.03/3612.46 c LP infeasibilities 5591 3600.03/3612.46 c LP valid Farkas constraints 5591 3600.03/3612.46 c LP learned Farkas constraints 5591 3600.03/3612.46 c LP basis resets 0 3600.03/3612.46 c LP cycling count 0 3600.03/3612.46 c LP singular count 0 3600.03/3612.46 c LP no primal count 0 3600.03/3612.46 c LP no farkas count 0 3600.03/3612.46 c LP other issue count 0 3600.03/3612.46 c LP Gomory cuts 0 3600.03/3612.46 c LP learned cuts 4230 3600.03/3612.46 c LP deleted cuts 4176 3600.03/3612.46 c LP encountered Gomory constraints 0 3600.03/3612.46 c LP encountered Farkas constraints 450852 3600.03/3612.46 c LP encountered learned Farkas constraints 14260 3600.03/3612.46 c CG auxiliary variables introduced 149 3600.03/3612.46 c CG solutions found 19 3600.03/3612.46 c CG cores constructed 83 3600.03/3612.46 c CG core cardinality constraints returned 0 3600.03/3612.46 c CG unit cores 0 3600.03/3612.46 c CG single cores 76 3600.03/3612.46 c CG blocks removed during cardinality reduction 0 3600.03/3612.46 c CG first core best 0 3600.03/3612.46 c CG decision core best 0 3600.03/3612.46 c CG core reduction tie 7 3600.03/3612.46 c CG core degree average 1.00 3600.03/3612.46 c CG core slack average 2.88 3600.03/3612.46 s SATISFIABLE 3600.03/3612.46 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
OK -81
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 (61993 MiB free)
memory of node 1: 64510 MiB (57254 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460458-1722071590/watcher-4460458-1722071590 -o /tmp/evaluation-result-4460458-1722071590/solver-4460458-1722071590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722064837-362349 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460458-1722071590 --lp-cut-gomory=0 HOME/instance-4460458-1722071590.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
Current StackSize limit: 8192 KiB
solver pid=367073, runsolver pid=367070
[startup+0.100814 s]*
/proc/loadavg: 4.11 4.14 4.17 5/247 367074
/proc/meminfo: memFree=122107208/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=38308 memory=9116 CPUtime=0.1 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 574 0 0 0 8 2 0 0 20 0 1 0 43148387 39227392 2279 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 9577 2279 1899 992 0 1435 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38308 KiB
Current children cumulated memory: 9116 KiB
[startup+0.213427 s]*
/proc/loadavg: 4.11 4.14 4.17 5/247 367074
/proc/meminfo: memFree=122104248/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=38828 memory=10040 CPUtime=0.21 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 803 0 0 0 18 3 0 0 20 0 1 0 43148387 39759872 2510 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 9707 2510 1915 992 0 1565 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38828 KiB
Current children cumulated memory: 10040 KiB
[startup+0.313699 s]*
/proc/loadavg: 4.11 4.14 4.17 5/247 367074
/proc/meminfo: memFree=122101756/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=38968 memory=10300 CPUtime=0.31 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 900 0 0 0 28 3 0 0 20 0 1 0 43148387 39903232 2575 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 9742 2575 1915 992 0 1600 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38968 KiB
Current children cumulated memory: 10300 KiB
[startup+0.700322 s]
/proc/loadavg: 4.11 4.14 4.17 5/247 367074
/proc/meminfo: memFree=122096912/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=39292 memory=11012 CPUtime=0.68 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 1054 0 0 0 63 5 0 0 20 0 1 0 43148387 40235008 2753 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 9823 2753 1915 992 0 1681 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39292 KiB
Current children cumulated memory: 11012 KiB
[startup+1.50032 s]
/proc/loadavg: 4.11 4.14 4.17 5/247 367074
/proc/meminfo: memFree=122083524/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=39716 memory=13736 CPUtime=1.47 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 1199 0 0 0 139 8 0 0 20 0 1 0 43148387 40669184 3434 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 9929 3434 1915 992 0 1787 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 39716 KiB
Current children cumulated memory: 13736 KiB
[startup+3.11303 s]
/proc/loadavg: 4.10 4.14 4.17 5/247 367076
/proc/meminfo: memFree=122046720/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=40104 memory=14132 CPUtime=3.08 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 1306 0 0 0 294 14 0 0 20 0 1 0 43148387 41066496 3533 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 10026 3533 1915 992 0 1884 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 14132 KiB
[startup+6.30029 s]
/proc/loadavg: 4.10 4.14 4.17 5/247 367076
/proc/meminfo: memFree=121998364/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=40872 memory=14884 CPUtime=6.26 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 1513 0 0 0 602 24 0 0 20 0 1 0 43148387 41852928 3721 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 10218 3721 1915 992 0 2076 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 40872 KiB
Current children cumulated memory: 14884 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.14 4.17 5/247 367076
/proc/meminfo: memFree=121874504/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=41632 memory=16536 CPUtime=12.64 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 1979 0 0 0 1220 44 0 0 20 0 1 0 43148387 42631168 4134 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 10408 4134 1915 992 0 2266 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 41632 KiB
Current children cumulated memory: 16536 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.13 4.17 5/248 367080
/proc/meminfo: memFree=121632452/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=45436 memory=18928 CPUtime=25.39 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 2777 0 0 0 2469 70 0 0 20 0 1 0 43148387 46526464 4732 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 11359 4732 1915 992 0 3217 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 18928 KiB
[startup+51.1133 s]
/proc/loadavg: 4.10 4.14 4.17 5/249 367084
/proc/meminfo: memFree=121167772/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=51912 memory=24452 CPUtime=50.92 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 3970 0 0 0 4969 123 0 0 20 0 1 0 43148387 53157888 6113 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 12978 6113 1915 992 0 4836 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 51912 KiB
Current children cumulated memory: 24452 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/249 367092
/proc/meminfo: memFree=120653040/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=55536 memory=28740 CPUtime=101.92 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 5313 0 0 0 9988 204 0 0 20 0 1 0 43148387 56868864 7185 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 13884 7185 1915 992 0 5742 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 55536 KiB
Current children cumulated memory: 28740 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.15 4.17 5/244 367103
/proc/meminfo: memFree=119964356/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=63920 memory=33260 CPUtime=161.72 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 6925 0 0 0 15897 275 0 0 20 0 1 0 43148387 65454080 8315 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 15980 8315 1915 992 0 7838 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 63920 KiB
Current children cumulated memory: 33260 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/244 367113
/proc/meminfo: memFree=119334152/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=65980 memory=37160 CPUtime=221.5 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 7862 0 0 0 21802 348 0 0 20 0 1 0 43148387 67563520 9290 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 16495 9290 1915 992 0 8353 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 65980 KiB
Current children cumulated memory: 37160 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/244 367123
/proc/meminfo: memFree=118879272/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=67252 memory=38208 CPUtime=281.28 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 8499 0 0 0 27724 404 0 0 20 0 1 0 43148387 68866048 9552 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 16813 9552 1915 992 0 8671 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 67252 KiB
Current children cumulated memory: 38208 KiB
[startup+342.3 s]
/proc/loadavg: 4.74 4.31 4.22 5/243 367134
/proc/meminfo: memFree=118628660/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=68932 memory=41516 CPUtime=341.07 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 9116 0 0 0 33652 455 0 0 20 0 1 0 43148387 70586368 10379 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 17233 10379 1915 992 0 9091 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 68932 KiB
Current children cumulated memory: 41516 KiB
[startup+402.3 s]
/proc/loadavg: 4.32 4.27 4.21 5/243 367144
/proc/meminfo: memFree=118389520/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=70656 memory=42912 CPUtime=400.86 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 9715 0 0 0 39578 508 0 0 20 0 1 0 43148387 72351744 10728 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 17664 10728 1915 992 0 9522 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 70656 KiB
Current children cumulated memory: 42912 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 4.25 4.21 5/245 367158
/proc/meminfo: memFree=118128788/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=82980 memory=44564 CPUtime=460.64 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 10429 0 0 0 45507 557 0 0 20 0 1 0 43148387 84971520 11141 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 20745 11141 1915 992 0 12603 0
################
# More data... #
################
Current children cumulated memory: 77880 KiB
[startup+2862.3 s]
/proc/loadavg: 4.20 4.31 4.22 5/245 368853
/proc/meminfo: memFree=116658220/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=119684 memory=80048 CPUtime=2852.41 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 19460 0 0 0 283637 1604 0 0 20 0 1 0 43148387 122556416 20012 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 29921 20012 1915 992 0 21779 0
Current children cumulated CPU time: 2852.41 s
Current children cumulated vsize: 119684 KiB
Current children cumulated memory: 80048 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.28 4.22 5/247 368878
/proc/meminfo: memFree=116202112/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=119956 memory=80712 CPUtime=2912.22 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 19930 0 0 0 289585 1637 0 0 20 0 1 0 43148387 122834944 20178 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 29989 20178 1915 992 0 21847 0
Current children cumulated CPU time: 2912.22 s
Current children cumulated vsize: 119956 KiB
Current children cumulated memory: 80712 KiB
[startup+2982.3 s]
/proc/loadavg: 4.46 4.33 4.23 5/247 368888
/proc/meminfo: memFree=115879412/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=120060 memory=80840 CPUtime=2972.02 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 20091 0 0 0 295538 1664 0 0 20 0 1 0 43148387 122941440 20210 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 30015 20210 1915 992 0 21873 0
Current children cumulated CPU time: 2972.02 s
Current children cumulated vsize: 120060 KiB
Current children cumulated memory: 80840 KiB
[startup+3042.3 s]
/proc/loadavg: 4.84 4.48 4.29 5/247 368899
/proc/meminfo: memFree=115655360/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=120060 memory=80840 CPUtime=3031.83 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 20121 0 0 0 301508 1675 0 0 20 0 1 0 43148387 122941440 20210 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 30015 20210 1915 992 0 21873 0
Current children cumulated CPU time: 3031.83 s
Current children cumulated vsize: 120060 KiB
Current children cumulated memory: 80840 KiB
[startup+3102.3 s]
/proc/loadavg: 4.29 4.39 4.27 4/240 368940
/proc/meminfo: memFree=117301544/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=120060 memory=80840 CPUtime=3091.63 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 20154 0 0 0 307477 1686 0 0 20 0 1 0 43148387 122941440 20210 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 30015 20210 1915 992 0 21873 0
Current children cumulated CPU time: 3091.63 s
Current children cumulated vsize: 120060 KiB
Current children cumulated memory: 80840 KiB
[startup+3162.3 s]
/proc/loadavg: 3.51 4.15 4.19 4/237 368951
/proc/meminfo: memFree=117253184/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=120060 memory=80840 CPUtime=3151.43 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 20191 0 0 0 313449 1694 0 0 20 0 1 0 43148387 122941440 20210 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 30015 20210 1915 992 0 21873 0
Current children cumulated CPU time: 3151.43 s
Current children cumulated vsize: 120060 KiB
Current children cumulated memory: 80840 KiB
[startup+3222.3 s]
/proc/loadavg: 3.29 3.97 4.13 4/235 368961
/proc/meminfo: memFree=117168728/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=120188 memory=83032 CPUtime=3211.23 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 20431 0 0 0 319404 1719 0 0 20 0 1 0 43148387 123072512 20758 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 30047 20758 1915 992 0 21905 0
Current children cumulated CPU time: 3211.23 s
Current children cumulated vsize: 120188 KiB
Current children cumulated memory: 83032 KiB
[startup+3282.3 s]
/proc/loadavg: 3.16 3.80 4.06 4/235 368971
/proc/meminfo: memFree=117055424/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=120192 memory=83036 CPUtime=3271.03 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 20633 0 0 0 325348 1755 0 0 20 0 1 0 43148387 123076608 20759 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 30048 20759 1915 992 0 21906 0
Current children cumulated CPU time: 3271.03 s
Current children cumulated vsize: 120192 KiB
Current children cumulated memory: 83036 KiB
[startup+3342.3 s]
/proc/loadavg: 3.17 3.70 4.00 4/235 368983
/proc/meminfo: memFree=116950120/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=120512 memory=83344 CPUtime=3330.82 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 21053 0 0 0 331293 1789 0 0 20 0 1 0 43148387 123404288 20836 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 30128 20836 1915 992 0 21986 0
Current children cumulated CPU time: 3330.82 s
Current children cumulated vsize: 120512 KiB
Current children cumulated memory: 83344 KiB
[startup+3402.3 s]
/proc/loadavg: 3.12 3.58 3.95 4/235 368993
/proc/meminfo: memFree=116903296/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=120512 memory=83344 CPUtime=3390.62 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 21082 0 0 0 337264 1798 0 0 20 0 1 0 43148387 123404288 20836 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 30128 20836 1915 992 0 21986 0
Current children cumulated CPU time: 3390.62 s
Current children cumulated vsize: 120512 KiB
Current children cumulated memory: 83344 KiB
[startup+3462.3 s]
/proc/loadavg: 3.20 3.52 3.90 4/238 369008
/proc/meminfo: memFree=116823460/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=120512 memory=83344 CPUtime=3450.43 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 21114 0 0 0 343236 1807 0 0 20 0 1 0 43148387 123404288 20836 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 30128 20836 1915 992 0 21986 0
Current children cumulated CPU time: 3450.43 s
Current children cumulated vsize: 120512 KiB
Current children cumulated memory: 83344 KiB
[startup+3522.3 s]
/proc/loadavg: 3.03 3.42 3.84 3/231 369050
/proc/meminfo: memFree=124142088/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=120512 memory=83344 CPUtime=3510.23 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 21148 0 0 0 349206 1817 0 0 20 0 1 0 43148387 123404288 20836 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 30128 20836 1915 992 0 21986 0
Current children cumulated CPU time: 3510.23 s
Current children cumulated vsize: 120512 KiB
Current children cumulated memory: 83344 KiB
[startup+3582.3 s]
/proc/loadavg: 2.38 3.16 3.72 3/232 369061
/proc/meminfo: memFree=124106760/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=121180 memory=84328 CPUtime=3570.04 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 21258 0 0 0 355178 1826 0 0 20 0 1 0 43148387 124088320 21082 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 30295 21082 1915 992 0 22153 0
Current children cumulated CPU time: 3570.04 s
Current children cumulated vsize: 121180 KiB
Current children cumulated memory: 84328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 2.40 3.10 3.68 3/232 369066
/proc/meminfo: memFree=124060824/131655788 swapFree=131057156/131071996
[pid=367073] ppid=367070 vsize=122012 memory=86984 CPUtime=3600.03 cores=0,2
/proc/367073/stat : 367073 (roundingsat) R 367070 367073 362339 0 -1 4194304 21606 0 0 0 358165 1838 0 0 20 0 1 0 43148387 124940288 21746 134679101440 4194304 8254357 140732722580032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16564224 140732722582367 140732722582629 140732722582629 140732722589641 0
/proc/367073/statm: 30503 21746 1915 992 0 22361 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 122012 KiB
Current children cumulated memory: 86984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.47 s]
# the end of solver process 367073 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.66 s, system=18.3938 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.47
CPU time (s): 3600.05
CPU user time (s): 3581.66
CPU system time (s): 18.3938
CPU usage (%): 99.6564
Max. virtual memory (cumulated for all children) (KiB): 122012
Max. memory (cumulated for all children) (KiB): 86984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.66
system time used= 18.3938
maximum resident set size= 87428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21621
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7317944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1484
involuntary context switches= 24661
# summary of solver processes directly reported to runsolver:
# pid: 367073
# total CPU time (s): 3600.05
# total CPU user time (s): 3581.66
# total CPU system time (s): 18.3938
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1181 second user time and 35.9543 second system time
The end
Begin job on nodeC005 at 2024-07-27 11:13:10 IDJOB=4460458 IDBENCH=158535 IDSOLVER=3086 FILE ID=nodeC005/4460458-1722071590 RUNJOBID= nodeC005-1722064837-362349 SLURM_JOB_ID= 8248107 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460458-1722071590/watcher-4460458-1722071590 -o /tmp/evaluation-result-4460458-1722071590/solver-4460458-1722071590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722064837-362349 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460458-1722071590 --lp-cut-gomory=0 HOME/instance-4460458-1722071590.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 28e415f3c4d8dab53aac16682d7f066d RANDOM SEED=1882266722 nodeC005.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 : 3491.601 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 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.138 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.31 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.112 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 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.269 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.31 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 : 3599.090 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 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 : 3650.487 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.31 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.133 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 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.328 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 122110424 kB MemAvailable: 128868100 kB Buffers: 360900 kB Cached: 7223092 kB SwapCached: 192 kB Active: 1735728 kB Inactive: 7249592 kB Active(anon): 2328 kB Inactive(anon): 1451956 kB Active(file): 1733400 kB Inactive(file): 5797636 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057156 kB Dirty: 177640 kB Writeback: 0 kB AnonPages: 1399296 kB Mapped: 106148 kB Shmem: 52880 kB KReclaimable: 133344 kB Slab: 246324 kB SReclaimable: 133344 kB SUnreclaim: 112980 kB KernelStack: 3984 kB PageTables: 12484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1870004 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 12064 kB HardwareCorrupted: 0 kB AnonHugePages: 661504 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: 418632 kB DirectMap2M: 51914752 kB DirectMap1G: 83886080 kB Free space on /tmp at the end= 723772 MiB End job on nodeC005 at 2024-07-27 12:13:22