| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 188 | 3600.02 | 3610.75 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb |
| MD5SUM | b5aa25dccc2460ad32c358f07bd5c94a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 180 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 473 |
| Total number of constraints | 472 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 472 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 473 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 473 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.15 c #variables 473 #constraints 472 0.55/0.75 c bounds - >= 0 @ 0.00737 0.55/0.75 c bounds 224 >= 0 @ 0.408925 0.55/0.75 c bounds 224 >= 1 @ 0.409155 0.55/0.75 c bounds 224 >= 2 @ 0.409288 0.55/0.75 c bounds 224 >= 3 @ 0.409452 0.55/0.75 c bounds 224 >= 4 @ 0.409494 0.55/0.75 c bounds 224 >= 5 @ 0.409494 0.55/0.75 c bounds 224 >= 6 @ 0.409494 0.55/0.75 c bounds 224 >= 7 @ 0.409494 0.55/0.75 c bounds 224 >= 8 @ 0.409494 0.55/0.75 c bounds 224 >= 9 @ 0.409643 0.55/0.75 c bounds 224 >= 10 @ 0.409854 0.55/0.75 c bounds 224 >= 11 @ 0.410111 0.55/0.75 c bounds 224 >= 12 @ 0.410356 0.55/0.75 c bounds 224 >= 13 @ 0.410614 0.55/0.75 c bounds 224 >= 14 @ 0.410864 0.55/0.75 c bounds 224 >= 15 @ 0.411133 0.55/0.75 c bounds 224 >= 16 @ 0.411405 0.55/0.75 c bounds 224 >= 17 @ 0.411478 0.55/0.75 c bounds 224 >= 18 @ 0.411478 0.55/0.75 c bounds 224 >= 19 @ 0.411478 0.55/0.75 c bounds 224 >= 20 @ 0.41153 0.55/0.75 c bounds 224 >= 21 @ 0.41181 0.55/0.75 c bounds 224 >= 22 @ 0.412093 0.55/0.75 c bounds 224 >= 23 @ 0.412349 0.55/0.75 c bounds 224 >= 24 @ 0.41247 0.55/0.75 c bounds 224 >= 25 @ 0.41247 0.55/0.75 c bounds 223 >= 25 @ 0.509198 0.55/0.75 c bounds 223 >= 26 @ 0.509576 0.55/0.75 c bounds 223 >= 27 @ 0.509907 0.55/0.75 c bounds 223 >= 28 @ 0.510222 0.55/0.75 c bounds 223 >= 29 @ 0.510531 0.55/0.75 c bounds 223 >= 30 @ 0.510855 0.55/0.75 c bounds 223 >= 31 @ 0.51117 0.55/0.75 c bounds 223 >= 32 @ 0.511502 0.55/0.75 c bounds 223 >= 33 @ 0.512141 0.55/0.75 c bounds 223 >= 34 @ 0.512403 0.55/0.75 c bounds 223 >= 35 @ 0.512615 0.55/0.75 c bounds 223 >= 36 @ 0.512724 0.55/0.75 c bounds 223 >= 37 @ 0.512724 0.55/0.75 c bounds 223 >= 38 @ 0.512724 0.55/0.75 c bounds 223 >= 39 @ 0.513442 0.55/0.75 c bounds 223 >= 40 @ 0.513674 0.55/0.75 c bounds 223 >= 41 @ 0.513931 0.55/0.75 c bounds 223 >= 42 @ 0.51422 0.55/0.75 c bounds 223 >= 43 @ 0.514478 0.55/0.75 c bounds 223 >= 44 @ 0.514738 0.55/0.75 c bounds 223 >= 45 @ 0.515013 0.55/0.75 c bounds 223 >= 46 @ 0.515281 0.55/0.75 c bounds 223 >= 47 @ 0.515539 0.55/0.75 c bounds 223 >= 48 @ 0.515818 0.55/0.75 c bounds 223 >= 49 @ 0.516114 0.55/0.75 c bounds 223 >= 50 @ 0.516397 0.55/0.75 c bounds 223 >= 51 @ 0.516658 0.55/0.75 c bounds 223 >= 52 @ 0.516932 0.55/0.75 c bounds 223 >= 53 @ 0.517232 0.55/0.75 c bounds 223 >= 54 @ 0.517524 0.55/0.75 c bounds 223 >= 55 @ 0.517735 0.55/0.75 c bounds 223 >= 56 @ 0.517735 0.55/0.75 c bounds 223 >= 57 @ 0.517735 0.55/0.75 c bounds 223 >= 58 @ 0.517735 0.55/0.75 c bounds 223 >= 59 @ 0.517735 0.55/0.75 c bounds 223 >= 60 @ 0.517735 0.55/0.75 c bounds 223 >= 61 @ 0.517735 0.55/0.75 c bounds 223 >= 62 @ 0.517735 0.55/0.75 c bounds 223 >= 63 @ 0.517735 0.55/0.75 c bounds 223 >= 64 @ 0.517735 0.55/0.75 c bounds 223 >= 65 @ 0.517735 0.55/0.75 c bounds 223 >= 66 @ 0.517735 0.55/0.75 c bounds 223 >= 67 @ 0.517735 0.55/0.75 c bounds 223 >= 68 @ 0.517735 0.55/0.75 c bounds 223 >= 69 @ 0.517735 0.55/0.75 c bounds 223 >= 70 @ 0.517735 0.55/0.75 c bounds 223 >= 71 @ 0.518041 0.55/0.75 c bounds 223 >= 72 @ 0.518368 0.55/0.75 c bounds 223 >= 73 @ 0.518686 0.55/0.75 c bounds 223 >= 74 @ 0.518715 0.55/0.75 c bounds 223 >= 75 @ 0.518715 0.55/0.75 c bounds 223 >= 76 @ 0.518715 0.55/0.75 c bounds 223 >= 77 @ 0.519061 0.55/0.75 c bounds 223 >= 78 @ 0.5194 0.55/0.75 c bounds 223 >= 79 @ 0.519702 0.55/0.75 c bounds 223 >= 80 @ 0.519702 0.55/0.75 c bounds 223 >= 81 @ 0.519702 0.55/0.75 c bounds 223 >= 82 @ 0.519774 0.55/0.75 c bounds 223 >= 83 @ 0.520122 0.55/0.75 c bounds 223 >= 84 @ 0.52048 0.55/0.75 c bounds 223 >= 85 @ 0.520823 0.55/0.75 c bounds 223 >= 86 @ 0.521192 0.55/0.75 c bounds 223 >= 87 @ 0.521506 0.55/0.75 c bounds 223 >= 88 @ 0.521697 0.55/0.75 c bounds 223 >= 89 @ 0.521697 0.55/0.75 c bounds 223 >= 90 @ 0.521697 0.55/0.75 c bounds 223 >= 91 @ 0.521836 0.55/0.75 c bounds 223 >= 92 @ 0.522193 0.55/0.75 c bounds 223 >= 93 @ 0.522563 0.55/0.75 c bounds 223 >= 94 @ 0.522929 0.55/0.75 c bounds 223 >= 95 @ 0.523291 0.55/0.75 c bounds 223 >= 96 @ 0.523687 0.55/0.75 c bounds 223 >= 97 @ 0.524122 0.55/0.75 c bounds 223 >= 98 @ 0.524482 0.55/0.75 c bounds 223 >= 99 @ 0.524861 0.55/0.75 c bounds 223 >= 100 @ 0.525202 0.55/0.75 c bounds 223 >= 101 @ 0.525581 0.55/0.75 c bounds 223 >= 102 @ 0.525922 0.55/0.75 c bounds 223 >= 103 @ 0.52628 0.55/0.75 c bounds 223 >= 104 @ 0.526623 0.55/0.75 c bounds 223 >= 105 @ 0.526971 0.55/0.75 c bounds 223 >= 106 @ 0.527315 0.55/0.75 c bounds 223 >= 107 @ 0.527765 0.55/0.75 c bounds 223 >= 108 @ 0.528149 0.55/0.75 c bounds 223 >= 109 @ 0.528616 0.55/0.75 c bounds 223 >= 110 @ 0.529097 0.55/0.75 c bounds 223 >= 111 @ 0.529492 0.55/0.75 c bounds 223 >= 112 @ 0.529633 0.55/0.75 c bounds 223 >= 113 @ 0.529633 0.55/0.75 c bounds 223 >= 114 @ 0.529767 0.55/0.75 c bounds 223 >= 115 @ 0.530119 0.55/0.75 c bounds 223 >= 116 @ 0.530532 0.55/0.75 c bounds 223 >= 117 @ 0.530628 0.55/0.75 c bounds 223 >= 118 @ 0.530628 0.55/0.75 c bounds 223 >= 119 @ 0.530628 0.55/0.75 c bounds 223 >= 120 @ 0.530628 0.55/0.75 c bounds 223 >= 121 @ 0.530628 0.55/0.75 c bounds 223 >= 122 @ 0.530713 0.55/0.75 c bounds 223 >= 123 @ 0.531164 0.55/0.75 c bounds 223 >= 124 @ 0.531643 0.55/0.75 c bounds 223 >= 125 @ 0.532117 0.55/0.75 c bounds 223 >= 126 @ 0.532644 0.55/0.75 c bounds 223 >= 127 @ 0.533389 0.55/0.75 c bounds 223 >= 128 @ 0.533592 0.55/0.75 c bounds 223 >= 129 @ 0.534168 0.55/0.75 c bounds 223 >= 130 @ 0.535435 0.55/0.75 c bounds 223 >= 131 @ 0.536125 0.55/0.75 c bounds 223 >= 132 @ 0.539304 0.55/0.75 c bounds 223 >= 133 @ 0.539553 0.55/0.75 c bounds 223 >= 134 @ 0.548497 1.24/1.49 c bounds 223 >= 135 @ 0.559031 1.24/1.49 c bounds 222 >= 135 @ 0.589714 1.24/1.49 c bounds 222 >= 136 @ 0.644077 1.24/1.49 c bounds 221 >= 136 @ 0.64652 1.24/1.49 c bounds 220 >= 136 @ 0.693728 1.24/1.49 c #Conflicts: 1000 | #Constraints: 2059 1.24/1.49 c bounds 219 >= 136 @ 0.737989 1.24/1.49 c bounds 219 >= 137 @ 1.04827 1.24/1.49 c bounds 218 >= 137 @ 1.05383 1.24/1.49 c bounds 217 >= 137 @ 1.05726 1.24/1.49 c bounds 216 >= 137 @ 1.06041 1.24/1.49 c #Conflicts: 2000 | #Constraints: 3125 1.24/1.49 c INPROCESSING 1.24/1.49 c GARBAGE COLLECT 1.24/1.49 c rational objective 139.945 2.14/2.34 c bounds 215 >= 137 @ 1.46824 2.14/2.34 c #Conflicts: 3000 | #Constraints: 3126 2.14/2.34 c bounds 214 >= 137 @ 1.82133 2.14/2.34 c #Conflicts: 4000 | #Constraints: 4127 2.14/2.34 c INPROCESSING 2.14/2.34 c GARBAGE COLLECT 2.14/2.34 c rational objective 139.945 3.13/3.33 c #Conflicts: 5000 | #Constraints: 3565 3.13/3.33 c #Conflicts: 6000 | #Constraints: 4565 3.13/3.33 c INPROCESSING 3.13/3.33 c GARBAGE COLLECT 3.13/3.33 c rational objective 139.945 3.94/4.16 c bounds 213 >= 137 @ 2.97776 3.94/4.16 c #Conflicts: 7000 | #Constraints: 3605 3.94/4.16 c bounds 212 >= 137 @ 3.1598 3.94/4.16 c #Conflicts: 8000 | #Constraints: 4606 3.94/4.16 c bounds 211 >= 137 @ 3.31101 3.94/4.16 c bounds 210 >= 137 @ 3.32985 3.94/4.16 c #Conflicts: 9000 | #Constraints: 5608 3.94/4.16 c INPROCESSING 3.94/4.16 c GARBAGE COLLECT 3.94/4.16 c rational objective 139.945 5.03/5.29 c #Conflicts: 10000 | #Constraints: 4280 5.03/5.29 c bounds 209 >= 137 @ 4.09348 5.03/5.29 c #Conflicts: 11000 | #Constraints: 5281 5.03/5.29 c #Conflicts: 12000 | #Constraints: 6281 5.03/5.29 c INPROCESSING 5.03/5.29 c GARBAGE COLLECT 5.03/5.29 c rational objective 139.945 6.62/6.89 c bounds 209 >= 138 @ 5.27965 6.62/6.89 c #Conflicts: 13000 | #Constraints: 4785 6.62/6.89 c #Conflicts: 14000 | #Constraints: 5785 6.62/6.89 c #Conflicts: 15000 | #Constraints: 6785 6.62/6.89 c INPROCESSING 6.62/6.89 c GARBAGE COLLECT 6.62/6.89 c rational objective 139.945 7.83/8.06 c bounds 208 >= 138 @ 6.41931 7.83/8.06 c #Conflicts: 16000 | #Constraints: 5050 7.83/8.06 c #Conflicts: 17000 | #Constraints: 6050 7.83/8.06 c #Conflicts: 18000 | #Constraints: 7050 7.83/8.06 c INPROCESSING 7.83/8.06 c GARBAGE COLLECT 7.83/8.06 c rational objective 139.945 9.82/10.06 c #Conflicts: 19000 | #Constraints: 5039 9.82/10.06 c #Conflicts: 20000 | #Constraints: 6039 9.82/10.06 c #Conflicts: 21000 | #Constraints: 7039 9.82/10.06 c INPROCESSING 9.82/10.06 c GARBAGE COLLECT 9.82/10.06 c rational objective 139.945 11.01/11.29 c bounds 207 >= 138 @ 9.58269 11.01/11.29 c #Conflicts: 22000 | #Constraints: 4873 11.01/11.29 c bounds 206 >= 138 @ 9.63249 11.01/11.29 c bounds 205 >= 138 @ 9.75813 11.01/11.29 c #Conflicts: 23000 | #Constraints: 5875 11.01/11.29 c #Conflicts: 24000 | #Constraints: 6875 11.01/11.29 c bounds 204 >= 138 @ 10.4081 11.01/11.29 c #Conflicts: 25000 | #Constraints: 7876 11.01/11.29 c INPROCESSING 11.01/11.29 c GARBAGE COLLECT 11.01/11.29 c rational objective 139.945 12.82/13.10 c #Conflicts: 26000 | #Constraints: 5446 12.82/13.10 c #Conflicts: 27000 | #Constraints: 6446 12.82/13.10 c #Conflicts: 28000 | #Constraints: 7446 12.82/13.10 c #Conflicts: 29000 | #Constraints: 8446 12.82/13.10 c INPROCESSING 12.82/13.10 c GARBAGE COLLECT 12.82/13.10 c rational objective 139.945 15.40/15.66 c #Conflicts: 30000 | #Constraints: 5829 15.40/15.66 c #Conflicts: 31000 | #Constraints: 6829 15.40/15.66 c #Conflicts: 32000 | #Constraints: 7829 15.40/15.66 c #Conflicts: 33000 | #Constraints: 8829 15.40/15.66 c INPROCESSING 15.40/15.66 c GARBAGE COLLECT 15.40/15.66 c rational objective 139.945 17.09/17.31 c #Conflicts: 34000 | #Constraints: 6079 17.09/17.31 c #Conflicts: 35000 | #Constraints: 7079 17.09/17.31 c #Conflicts: 36000 | #Constraints: 8079 17.09/17.31 c #Conflicts: 37000 | #Constraints: 9079 17.09/17.31 c INPROCESSING 17.09/17.31 c GARBAGE COLLECT 17.09/17.31 c rational objective 139.945 19.09/19.33 c #Conflicts: 38000 | #Constraints: 6060 19.09/19.33 c #Conflicts: 39000 | #Constraints: 7060 19.09/19.33 c #Conflicts: 40000 | #Constraints: 8060 19.09/19.33 c #Conflicts: 41000 | #Constraints: 9060 19.09/19.33 c INPROCESSING 19.09/19.33 c GARBAGE COLLECT 19.09/19.33 c rational objective 139.945 22.38/22.69 c #Conflicts: 42000 | #Constraints: 5843 22.38/22.69 c #Conflicts: 43000 | #Constraints: 6843 22.38/22.69 c bounds 204 >= 139 @ 19.5765 22.38/22.69 c #Conflicts: 44000 | #Constraints: 7899 22.38/22.69 c #Conflicts: 45000 | #Constraints: 8899 22.38/22.69 c #Conflicts: 46000 | #Constraints: 9899 22.38/22.69 c INPROCESSING 22.38/22.69 c GARBAGE COLLECT 22.38/22.69 c rational objective 139.945 24.57/24.87 c bounds 203 >= 139 @ 21.7455 24.57/24.87 c #Conflicts: 47000 | #Constraints: 6537 24.57/24.87 c #Conflicts: 48000 | #Constraints: 7538 24.57/24.87 c #Conflicts: 49000 | #Constraints: 8538 24.57/24.87 c #Conflicts: 50000 | #Constraints: 9538 24.57/24.87 c #Conflicts: 51000 | #Constraints: 10538 24.57/24.87 c INPROCESSING 24.57/24.87 c GARBAGE COLLECT 24.57/24.87 c rational objective 139.945 27.07/27.31 c #Conflicts: 52000 | #Constraints: 6906 27.07/27.31 c #Conflicts: 53000 | #Constraints: 7906 27.07/27.31 c #Conflicts: 54000 | #Constraints: 8906 27.07/27.31 c #Conflicts: 55000 | #Constraints: 9906 27.07/27.31 c #Conflicts: 56000 | #Constraints: 10906 27.07/27.31 c INPROCESSING 27.07/27.31 c GARBAGE COLLECT 27.07/27.31 c rational objective 139.945 31.45/31.71 c #Conflicts: 57000 | #Constraints: 7093 31.45/31.71 c #Conflicts: 58000 | #Constraints: 8093 31.45/31.71 c #Conflicts: 59000 | #Constraints: 9093 31.45/31.71 c #Conflicts: 60000 | #Constraints: 10093 31.45/31.71 c #Conflicts: 61000 | #Constraints: 11093 31.45/31.71 c INPROCESSING 31.45/31.71 c GARBAGE COLLECT 31.45/31.71 c rational objective 139.945 75.91/76.35 c #Conflicts: 62000 | #Constraints: 7146 75.91/76.35 c #Conflicts: 63000 | #Constraints: 8146 75.91/76.35 c #Conflicts: 64000 | #Constraints: 9146 75.91/76.35 c bounds 202 >= 139 @ 31.601 75.91/76.35 c #Conflicts: 65000 | #Constraints: 10147 75.91/76.35 c bounds 201 >= 139 @ 32.0267 75.91/76.35 c bounds 200 >= 139 @ 32.3487 75.91/76.35 c #Conflicts: 66000 | #Constraints: 11149 75.91/76.35 c #Conflicts: 67000 | #Constraints: 12149 75.91/76.35 c #Conflicts: 68000 | #Constraints: 13149 75.91/76.35 c bounds 199 >= 139 @ 35.2594 75.91/76.35 c #Conflicts: 69000 | #Constraints: 14150 75.91/76.35 c #Conflicts: 70000 | #Constraints: 15150 75.91/76.35 c #Conflicts: 71000 | #Constraints: 16150 75.91/76.35 c #Conflicts: 72000 | #Constraints: 17150 75.91/76.35 c #Conflicts: 73000 | #Constraints: 18150 75.91/76.35 c #Conflicts: 74000 | #Constraints: 19150 75.91/76.35 c #Conflicts: 75000 | #Constraints: 20150 75.91/76.35 c #Conflicts: 76000 | #Constraints: 21150 75.91/76.35 c #Conflicts: 77000 | #Constraints: 22150 75.91/76.35 c #Conflicts: 78000 | #Constraints: 23150 75.91/76.35 c #Conflicts: 79000 | #Constraints: 24150 75.91/76.35 c #Conflicts: 80000 | #Constraints: 25150 75.91/76.35 c #Conflicts: 81000 | #Constraints: 26150 75.91/76.35 c #Conflicts: 82000 | #Constraints: 27150 75.91/76.35 c INPROCESSING 75.91/76.35 c GARBAGE COLLECT 75.91/76.35 c rational objective 139.945 82.79/83.25 c bounds 198 >= 139 @ 74.482 82.79/83.25 c #Conflicts: 83000 | #Constraints: 14876 82.79/83.25 c #Conflicts: 84000 | #Constraints: 15876 82.79/83.25 c #Conflicts: 85000 | #Constraints: 16876 82.79/83.25 c #Conflicts: 86000 | #Constraints: 17876 82.79/83.25 c #Conflicts: 87000 | #Constraints: 18876 82.79/83.25 c #Conflicts: 88000 | #Constraints: 19876 82.79/83.25 c #Conflicts: 89000 | #Constraints: 20876 82.79/83.25 c INPROCESSING 82.79/83.25 c GARBAGE COLLECT 82.79/83.25 c rational objective 139.945 89.87/90.39 c #Conflicts: 90000 | #Constraints: 11936 89.87/90.39 c #Conflicts: 91000 | #Constraints: 12936 89.87/90.39 c #Conflicts: 92000 | #Constraints: 13936 89.87/90.39 c #Conflicts: 93000 | #Constraints: 14936 89.87/90.39 c #Conflicts: 94000 | #Constraints: 15936 89.87/90.39 c #Conflicts: 95000 | #Constraints: 16936 89.87/90.39 c #Conflicts: 96000 | #Constraints: 17936 89.87/90.39 c INPROCESSING 89.87/90.39 c GARBAGE COLLECT 89.87/90.39 c rational objective 139.945 99.85/100.32 c #Conflicts: 97000 | #Constraints: 10618 99.85/100.32 c #Conflicts: 98000 | #Constraints: 11618 99.85/100.32 c #Conflicts: 99000 | #Constraints: 12618 99.85/100.32 c #Conflicts: 100000 | #Constraints: 13618 99.85/100.32 c #Conflicts: 101000 | #Constraints: 14618 99.85/100.32 c #Conflicts: 102000 | #Constraints: 15618 99.85/100.32 c INPROCESSING 99.85/100.32 c GARBAGE COLLECT 99.85/100.32 c rational objective 139.945 109.12/109.67 c #Conflicts: 103000 | #Constraints: 9003 109.12/109.67 c #Conflicts: 104000 | #Constraints: 10003 109.12/109.67 c #Conflicts: 105000 | #Constraints: 11003 109.12/109.67 c #Conflicts: 106000 | #Constraints: 12003 109.12/109.67 c #Conflicts: 107000 | #Constraints: 13003 109.12/109.67 c #Conflicts: 108000 | #Constraints: 14003 109.12/109.67 c #Conflicts: 109000 | #Constraints: 15003 109.12/109.67 c #Conflicts: 110000 | #Constraints: 16003 109.12/109.67 c INPROCESSING 109.12/109.67 c GARBAGE COLLECT 109.12/109.67 c rational objective 139.945 155.57/156.28 c #Conflicts: 111000 | #Constraints: 9710 155.57/156.28 c #Conflicts: 112000 | #Constraints: 10710 155.57/156.28 c #Conflicts: 113000 | #Constraints: 11710 155.57/156.28 c #Conflicts: 114000 | #Constraints: 12710 155.57/156.28 c bounds 197 >= 139 @ 110.146 155.57/156.28 c #Conflicts: 115000 | #Constraints: 13711 155.57/156.28 c #Conflicts: 116000 | #Constraints: 14711 155.57/156.28 c #Conflicts: 117000 | #Constraints: 15711 155.57/156.28 c bounds 196 >= 139 @ 112.093 155.57/156.28 c #Conflicts: 118000 | #Constraints: 16712 155.57/156.28 c #Conflicts: 119000 | #Constraints: 17712 155.57/156.28 c #Conflicts: 120000 | #Constraints: 18712 155.57/156.28 c #Conflicts: 121000 | #Constraints: 19712 155.57/156.28 c #Conflicts: 122000 | #Constraints: 20712 155.57/156.28 c #Conflicts: 123000 | #Constraints: 21712 155.57/156.28 c #Conflicts: 124000 | #Constraints: 22712 155.57/156.28 c #Conflicts: 125000 | #Constraints: 23712 155.57/156.28 c bounds 196 >= 140 @ 130.869 155.57/156.28 c #Conflicts: 126000 | #Constraints: 24768 155.57/156.28 c #Conflicts: 127000 | #Constraints: 25768 155.57/156.28 c bounds 195 >= 140 @ 133.793 155.57/156.28 c #Conflicts: 128000 | #Constraints: 26769 155.57/156.28 c #Conflicts: 129000 | #Constraints: 27769 155.57/156.28 c #Conflicts: 130000 | #Constraints: 28769 155.57/156.28 c #Conflicts: 131000 | #Constraints: 29769 155.57/156.28 c #Conflicts: 132000 | #Constraints: 30769 155.57/156.28 c #Conflicts: 133000 | #Constraints: 31769 155.57/156.28 c #Conflicts: 134000 | #Constraints: 32769 155.57/156.28 c #Conflicts: 135000 | #Constraints: 33769 155.57/156.28 c #Conflicts: 136000 | #Constraints: 34769 155.57/156.28 c #Conflicts: 137000 | #Constraints: 35769 155.57/156.28 c #Conflicts: 138000 | #Constraints: 36769 155.57/156.28 c INPROCESSING 155.57/156.28 c GARBAGE COLLECT 155.57/156.28 c rational objective 139.945 176.42/177.13 c #Conflicts: 139000 | #Constraints: 20055 176.42/177.13 c #Conflicts: 140000 | #Constraints: 21055 176.42/177.13 c #Conflicts: 141000 | #Constraints: 22055 176.42/177.13 c #Conflicts: 142000 | #Constraints: 23055 176.42/177.13 c #Conflicts: 143000 | #Constraints: 24055 176.42/177.13 c #Conflicts: 144000 | #Constraints: 25055 176.42/177.13 c #Conflicts: 145000 | #Constraints: 26055 176.42/177.13 c #Conflicts: 146000 | #Constraints: 27055 176.42/177.13 c INPROCESSING 176.42/177.13 c GARBAGE COLLECT 176.42/177.13 c rational objective 139.945 185.18/185.96 c #Conflicts: 147000 | #Constraints: 15075 185.18/185.96 c bounds 194 >= 140 @ 174.42 185.18/185.96 c #Conflicts: 148000 | #Constraints: 16076 185.18/185.96 c #Conflicts: 149000 | #Constraints: 17076 185.18/185.96 c #Conflicts: 150000 | #Constraints: 18076 185.18/185.96 c bounds 193 >= 140 @ 176.524 185.18/185.96 c #Conflicts: 151000 | #Constraints: 19077 185.18/185.96 c #Conflicts: 152000 | #Constraints: 20077 185.18/185.96 c #Conflicts: 153000 | #Constraints: 21077 185.18/185.96 c #Conflicts: 154000 | #Constraints: 22077 185.18/185.96 c #Conflicts: 155000 | #Constraints: 23077 185.18/185.96 c INPROCESSING 185.18/185.96 c GARBAGE COLLECT 185.18/185.96 c rational objective 139.945 194.05/194.89 c #Conflicts: 156000 | #Constraints: 13213 194.05/194.89 c #Conflicts: 157000 | #Constraints: 14213 194.05/194.89 c #Conflicts: 158000 | #Constraints: 15213 194.05/194.89 c bounds 192 >= 140 @ 184.39 194.05/194.89 c #Conflicts: 159000 | #Constraints: 16214 194.05/194.89 c #Conflicts: 160000 | #Constraints: 17214 194.05/194.89 c #Conflicts: 161000 | #Constraints: 18214 194.05/194.89 c #Conflicts: 162000 | #Constraints: 19214 194.05/194.89 c #Conflicts: 163000 | #Constraints: 20214 194.05/194.89 c INPROCESSING 194.05/194.89 c GARBAGE COLLECT 194.05/194.89 c rational objective 139.945 296.24/297.34 c #Conflicts: 164000 | #Constraints: 11382 296.24/297.34 c #Conflicts: 165000 | #Constraints: 12382 296.24/297.34 c #Conflicts: 166000 | #Constraints: 13382 296.24/297.34 c #Conflicts: 167000 | #Constraints: 14382 296.24/297.34 c #Conflicts: 168000 | #Constraints: 15382 296.24/297.34 c #Conflicts: 169000 | #Constraints: 16382 296.24/297.34 c #Conflicts: 170000 | #Constraints: 17382 296.24/297.34 c #Conflicts: 171000 | #Constraints: 18382 296.24/297.34 c #Conflicts: 172000 | #Constraints: 19382 296.24/297.34 c #Conflicts: 173000 | #Constraints: 20382 296.24/297.34 c #Conflicts: 174000 | #Constraints: 21382 296.24/297.34 c #Conflicts: 175000 | #Constraints: 22382 296.24/297.34 c #Conflicts: 176000 | #Constraints: 23382 296.24/297.34 c #Conflicts: 177000 | #Constraints: 24382 296.24/297.34 c #Conflicts: 178000 | #Constraints: 25382 296.24/297.34 c #Conflicts: 179000 | #Constraints: 26382 296.24/297.34 c #Conflicts: 180000 | #Constraints: 27382 296.24/297.34 c #Conflicts: 181000 | #Constraints: 28382 296.24/297.34 c #Conflicts: 182000 | #Constraints: 29382 296.24/297.34 c #Conflicts: 183000 | #Constraints: 30382 296.24/297.34 c #Conflicts: 184000 | #Constraints: 31382 296.24/297.34 c #Conflicts: 185000 | #Constraints: 32382 296.24/297.34 c #Conflicts: 186000 | #Constraints: 33382 296.24/297.34 c #Conflicts: 187000 | #Constraints: 34382 296.24/297.34 c #Conflicts: 188000 | #Constraints: 35382 296.24/297.34 c #Conflicts: 189000 | #Constraints: 36382 296.24/297.34 c #Conflicts: 190000 | #Constraints: 37382 296.24/297.34 c #Conflicts: 191000 | #Constraints: 38382 296.24/297.34 c #Conflicts: 192000 | #Constraints: 39382 296.24/297.34 c #Conflicts: 193000 | #Constraints: 40382 296.24/297.34 c #Conflicts: 194000 | #Constraints: 41382 296.24/297.34 c #Conflicts: 195000 | #Constraints: 42382 296.24/297.34 c #Conflicts: 196000 | #Constraints: 43382 296.24/297.34 c bounds 192 >= 141 @ 291.02 296.24/297.34 c bounds 191 >= 141 @ 291.069 296.24/297.34 c #Conflicts: 197000 | #Constraints: 44424 296.24/297.34 c INPROCESSING 296.24/297.34 c GARBAGE COLLECT 296.24/297.34 c rational objective 139.945 311.59/312.70 c #Conflicts: 198000 | #Constraints: 23853 311.59/312.70 c #Conflicts: 199000 | #Constraints: 24853 311.59/312.70 c #Conflicts: 200000 | #Constraints: 25853 311.59/312.70 c #Conflicts: 201000 | #Constraints: 26853 311.59/312.70 c #Conflicts: 202000 | #Constraints: 27853 311.59/312.70 c #Conflicts: 203000 | #Constraints: 28853 311.59/312.70 c #Conflicts: 204000 | #Constraints: 29853 311.59/312.70 c #Conflicts: 205000 | #Constraints: 30853 311.59/312.70 c #Conflicts: 206000 | #Constraints: 31853 311.59/312.70 c #Conflicts: 207000 | #Constraints: 32853 311.59/312.70 c INPROCESSING 311.59/312.70 c GARBAGE COLLECT 311.59/312.70 c rational objective 139.945 328.53/329.72 c #Conflicts: 208000 | #Constraints: 18025 328.53/329.72 c #Conflicts: 209000 | #Constraints: 19025 328.53/329.72 c #Conflicts: 210000 | #Constraints: 20025 328.53/329.72 c #Conflicts: 211000 | #Constraints: 21025 328.53/329.72 c #Conflicts: 212000 | #Constraints: 22025 328.53/329.72 c #Conflicts: 213000 | #Constraints: 23025 328.53/329.72 c #Conflicts: 214000 | #Constraints: 24025 328.53/329.72 c #Conflicts: 215000 | #Constraints: 25025 328.53/329.72 c #Conflicts: 216000 | #Constraints: 26025 328.53/329.72 c #Conflicts: 217000 | #Constraints: 27025 328.53/329.72 c INPROCESSING 328.53/329.72 c GARBAGE COLLECT 328.53/329.72 c rational objective 139.945 469.86/471.48 c #Conflicts: 218000 | #Constraints: 14972 469.86/471.48 c #Conflicts: 219000 | #Constraints: 15972 469.86/471.48 c #Conflicts: 220000 | #Constraints: 16972 469.86/471.48 c #Conflicts: 221000 | #Constraints: 17972 469.86/471.48 c #Conflicts: 222000 | #Constraints: 18972 469.86/471.48 c #Conflicts: 223000 | #Constraints: 19972 469.86/471.48 c #Conflicts: 224000 | #Constraints: 20972 469.86/471.48 c #Conflicts: 225000 | #Constraints: 21972 469.86/471.48 c #Conflicts: 226000 | #Constraints: 22972 469.86/471.48 c #Conflicts: 227000 | #Constraints: 23972 469.86/471.48 c #Conflicts: 228000 | #Constraints: 24972 469.86/471.48 c #Conflicts: 229000 | #Constraints: 25972 469.86/471.48 c #Conflicts: 230000 | #Constraints: 26972 469.86/471.48 c #Conflicts: 231000 | #Constraints: 27972 469.86/471.48 c #Conflicts: 232000 | #Constraints: 28972 469.86/471.48 c #Conflicts: 233000 | #Constraints: 29972 469.86/471.48 c #Conflicts: 234000 | #Constraints: 30972 469.86/471.48 c #Conflicts: 235000 | #Constraints: 31972 469.86/471.48 c #Conflicts: 236000 | #Constraints: 32972 469.86/471.48 c #Conflicts: 237000 | #Constraints: 33972 469.86/471.48 c #Conflicts: 238000 | #Constraints: 34972 469.86/471.48 c #Conflicts: 239000 | #Constraints: 35972 469.86/471.48 c #Conflicts: 240000 | #Constraints: 36972 469.86/471.48 c #Conflicts: 241000 | #Constraints: 37972 469.86/471.48 c #Conflicts: 242000 | #Constraints: 38972 469.86/471.48 c #Conflicts: 243000 | #Constraints: 39972 469.86/471.48 c #Conflicts: 244000 | #Constraints: 40972 469.86/471.48 c #Conflicts: 245000 | #Constraints: 41972 469.86/471.48 c #Conflicts: 246000 | #Constraints: 42972 469.86/471.48 c #Conflicts: 247000 | #Constraints: 43972 469.86/471.48 c bounds 190 >= 141 @ 388.698 469.86/471.48 c #Conflicts: 248000 | #Constraints: 44973 469.86/471.48 c #Conflicts: 249000 | #Constraints: 45973 469.86/471.48 c #Conflicts: 250000 | #Constraints: 46973 469.86/471.48 c #Conflicts: 251000 | #Constraints: 47973 469.86/471.48 c #Conflicts: 252000 | #Constraints: 48973 469.86/471.48 c #Conflicts: 253000 | #Constraints: 49973 469.86/471.48 c #Conflicts: 254000 | #Constraints: 50973 469.86/471.48 c #Conflicts: 255000 | #Constraints: 51973 469.86/471.48 c INPROCESSING 469.86/471.48 c GARBAGE COLLECT 469.86/471.48 c rational objective 139.945 494.00/495.68 c #Conflicts: 256000 | #Constraints: 27758 494.00/495.68 c #Conflicts: 257000 | #Constraints: 28758 494.00/495.68 c #Conflicts: 258000 | #Constraints: 29758 494.00/495.68 c #Conflicts: 259000 | #Constraints: 30758 494.00/495.68 c #Conflicts: 260000 | #Constraints: 31758 494.00/495.68 c #Conflicts: 261000 | #Constraints: 32758 494.00/495.68 c #Conflicts: 262000 | #Constraints: 33758 494.00/495.68 c #Conflicts: 263000 | #Constraints: 34758 494.00/495.68 c #Conflicts: 264000 | #Constraints: 35758 494.00/495.68 c #Conflicts: 265000 | #Constraints: 36758 494.00/495.68 c #Conflicts: 266000 | #Constraints: 37758 494.00/495.68 c INPROCESSING 494.00/495.68 c GARBAGE COLLECT 494.00/495.68 c rational objective 139.945 511.95/513.69 c #Conflicts: 267000 | #Constraints: 20288 511.95/513.69 c #Conflicts: 268000 | #Constraints: 21288 511.95/513.69 c #Conflicts: 269000 | #Constraints: 22288 511.95/513.69 c #Conflicts: 270000 | #Constraints: 23288 511.95/513.69 c #Conflicts: 271000 | #Constraints: 24288 511.95/513.69 c #Conflicts: 272000 | #Constraints: 25288 511.95/513.69 c #Conflicts: 273000 | #Constraints: 26288 511.95/513.69 c #Conflicts: 274000 | #Constraints: 27288 511.95/513.69 c #Conflicts: 275000 | #Constraints: 28288 511.95/513.69 c #Conflicts: 276000 | #Constraints: 29288 511.95/513.69 c #Conflicts: 277000 | #Constraints: 30288 511.95/513.69 c #Conflicts: 278000 | #Constraints: 31288 511.95/513.69 c INPROCESSING 511.95/513.69 c GARBAGE COLLECT 511.95/513.69 c rational objective 139.945 536.68/538.48 c #Conflicts: 279000 | #Constraints: 17154 536.68/538.48 c #Conflicts: 280000 | #Constraints: 18154 536.68/538.48 c #Conflicts: 281000 | #Constraints: 19154 536.68/538.48 c #Conflicts: 282000 | #Constraints: 20154 536.68/538.48 c #Conflicts: 283000 | #Constraints: 21154 536.68/538.48 c #Conflicts: 284000 | #Constraints: 22154 536.68/538.48 c #Conflicts: 285000 | #Constraints: 23154 536.68/538.48 c #Conflicts: 286000 | #Constraints: 24154 536.68/538.48 c #Conflicts: 287000 | #Constraints: 25154 536.68/538.48 c #Conflicts: 288000 | #Constraints: 26154 536.68/538.48 c #Conflicts: 289000 | #Constraints: 27154 536.68/538.48 c #Conflicts: 290000 | #Constraints: 28154 536.68/538.48 c INPROCESSING 536.68/538.48 c GARBAGE COLLECT 536.68/538.48 c rational objective 139.945 700.96/703.18 c #Conflicts: 291000 | #Constraints: 15575 700.96/703.18 c #Conflicts: 292000 | #Constraints: 16575 700.96/703.18 c #Conflicts: 293000 | #Constraints: 17575 700.96/703.18 c #Conflicts: 294000 | #Constraints: 18575 700.96/703.18 c #Conflicts: 295000 | #Constraints: 19575 700.96/703.18 c #Conflicts: 296000 | #Constraints: 20575 700.96/703.18 c #Conflicts: 297000 | #Constraints: 21575 700.96/703.18 c #Conflicts: 298000 | #Constraints: 22575 700.96/703.18 c #Conflicts: 299000 | #Constraints: 23575 700.96/703.18 c #Conflicts: 300000 | #Constraints: 24575 700.96/703.18 c #Conflicts: 301000 | #Constraints: 25575 700.96/703.18 c #Conflicts: 302000 | #Constraints: 26575 700.96/703.18 c #Conflicts: 303000 | #Constraints: 27575 700.96/703.18 c #Conflicts: 304000 | #Constraints: 28575 700.96/703.18 c #Conflicts: 305000 | #Constraints: 29575 700.96/703.18 c #Conflicts: 306000 | #Constraints: 30575 700.96/703.18 c #Conflicts: 307000 | #Constraints: 31575 700.96/703.18 c #Conflicts: 308000 | #Constraints: 32575 700.96/703.18 c #Conflicts: 309000 | #Constraints: 33575 700.96/703.18 c #Conflicts: 310000 | #Constraints: 34575 700.96/703.18 c #Conflicts: 311000 | #Constraints: 35575 700.96/703.18 c #Conflicts: 312000 | #Constraints: 36575 700.96/703.18 c #Conflicts: 313000 | #Constraints: 37575 700.96/703.18 c #Conflicts: 314000 | #Constraints: 38575 700.96/703.18 c #Conflicts: 315000 | #Constraints: 39575 700.96/703.18 c #Conflicts: 316000 | #Constraints: 40575 700.96/703.18 c #Conflicts: 317000 | #Constraints: 41575 700.96/703.18 c #Conflicts: 318000 | #Constraints: 42575 700.96/703.18 c #Conflicts: 319000 | #Constraints: 43575 700.96/703.18 c #Conflicts: 320000 | #Constraints: 44575 700.96/703.18 c #Conflicts: 321000 | #Constraints: 45575 700.96/703.18 c #Conflicts: 322000 | #Constraints: 46575 700.96/703.18 c #Conflicts: 323000 | #Constraints: 47575 700.96/703.18 c #Conflicts: 324000 | #Constraints: 48575 700.96/703.18 c #Conflicts: 325000 | #Constraints: 49575 700.96/703.18 c #Conflicts: 326000 | #Constraints: 50575 700.96/703.18 c #Conflicts: 327000 | #Constraints: 51575 700.96/703.18 c #Conflicts: 328000 | #Constraints: 52575 700.96/703.18 c #Conflicts: 329000 | #Constraints: 53575 700.96/703.18 c #Conflicts: 330000 | #Constraints: 54575 700.96/703.18 c #Conflicts: 331000 | #Constraints: 55575 700.96/703.18 c #Conflicts: 332000 | #Constraints: 56575 700.96/703.18 c #Conflicts: 333000 | #Constraints: 57575 700.96/703.18 c INPROCESSING 700.96/703.18 c GARBAGE COLLECT 700.96/703.18 c rational objective 139.945 729.46/731.77 c #Conflicts: 334000 | #Constraints: 30480 729.46/731.77 c #Conflicts: 335000 | #Constraints: 31480 729.46/731.77 c #Conflicts: 336000 | #Constraints: 32480 729.46/731.77 c #Conflicts: 337000 | #Constraints: 33480 729.46/731.77 c #Conflicts: 338000 | #Constraints: 34480 729.46/731.77 c #Conflicts: 339000 | #Constraints: 35480 729.46/731.77 c #Conflicts: 340000 | #Constraints: 36480 729.46/731.77 c #Conflicts: 341000 | #Constraints: 37480 729.46/731.77 c #Conflicts: 342000 | #Constraints: 38480 729.46/731.77 c #Conflicts: 343000 | #Constraints: 39480 729.46/731.77 c #Conflicts: 344000 | #Constraints: 40480 729.46/731.77 c #Conflicts: 345000 | #Constraints: 41480 729.46/731.77 c #Conflicts: 346000 | #Constraints: 42480 729.46/731.77 c INPROCESSING 729.46/731.77 c GARBAGE COLLECT 729.46/731.77 c rational objective 139.945 757.19/759.57 c #Conflicts: 347000 | #Constraints: 22693 757.19/759.57 c #Conflicts: 348000 | #Constraints: 23693 757.19/759.57 c #Conflicts: 349000 | #Constraints: 24693 757.19/759.57 c #Conflicts: 350000 | #Constraints: 25693 757.19/759.57 c #Conflicts: 351000 | #Constraints: 26693 757.19/759.57 c #Conflicts: 352000 | #Constraints: 27693 757.19/759.57 c #Conflicts: 353000 | #Constraints: 28693 757.19/759.57 c #Conflicts: 354000 | #Constraints: 29693 757.19/759.57 c #Conflicts: 355000 | #Constraints: 30693 757.19/759.57 c #Conflicts: 356000 | #Constraints: 31693 757.19/759.57 c #Conflicts: 357000 | #Constraints: 32693 757.19/759.57 c #Conflicts: 358000 | #Constraints: 33693 757.19/759.57 c #Conflicts: 359000 | #Constraints: 34693 757.19/759.57 c #Conflicts: 360000 | #Constraints: 35693 757.19/759.57 c INPROCESSING 757.19/759.57 c GARBAGE COLLECT 757.19/759.57 c rational objective 139.945 952.07/954.93 c #Conflicts: 361000 | #Constraints: 19556 952.07/954.93 c #Conflicts: 362000 | #Constraints: 20556 952.07/954.93 c bounds 189 >= 141 @ 752.474 952.07/954.93 c #Conflicts: 363000 | #Constraints: 21557 952.07/954.93 c #Conflicts: 364000 | #Constraints: 22557 952.07/954.93 c #Conflicts: 365000 | #Constraints: 23557 952.07/954.93 c #Conflicts: 366000 | #Constraints: 24557 952.07/954.93 c #Conflicts: 367000 | #Constraints: 25557 952.07/954.93 c #Conflicts: 368000 | #Constraints: 26557 952.07/954.93 c #Conflicts: 369000 | #Constraints: 27557 952.07/954.93 c #Conflicts: 370000 | #Constraints: 28557 952.07/954.93 c #Conflicts: 371000 | #Constraints: 29557 952.07/954.93 c #Conflicts: 372000 | #Constraints: 30557 952.07/954.93 c #Conflicts: 373000 | #Constraints: 31557 952.07/954.93 c #Conflicts: 374000 | #Constraints: 32557 952.07/954.93 c #Conflicts: 375000 | #Constraints: 33557 952.07/954.93 c #Conflicts: 376000 | #Constraints: 34557 952.07/954.93 c #Conflicts: 377000 | #Constraints: 35557 952.07/954.93 c #Conflicts: 378000 | #Constraints: 36557 952.07/954.93 c #Conflicts: 379000 | #Constraints: 37557 952.07/954.93 c #Conflicts: 380000 | #Constraints: 38557 952.07/954.93 c #Conflicts: 381000 | #Constraints: 39557 952.07/954.93 c #Conflicts: 382000 | #Constraints: 40557 952.07/954.93 c #Conflicts: 383000 | #Constraints: 41557 952.07/954.93 c #Conflicts: 384000 | #Constraints: 42557 952.07/954.93 c #Conflicts: 385000 | #Constraints: 43557 952.07/954.93 c #Conflicts: 386000 | #Constraints: 44557 952.07/954.93 c #Conflicts: 387000 | #Constraints: 45557 952.07/954.93 c #Conflicts: 388000 | #Constraints: 46557 952.07/954.93 c #Conflicts: 389000 | #Constraints: 47557 952.07/954.93 c #Conflicts: 390000 | #Constraints: 48557 952.07/954.93 c #Conflicts: 391000 | #Constraints: 49557 952.07/954.93 c #Conflicts: 392000 | #Constraints: 50557 952.07/954.93 c #Conflicts: 393000 | #Constraints: 51557 952.07/954.93 c #Conflicts: 394000 | #Constraints: 52557 952.07/954.93 c #Conflicts: 395000 | #Constraints: 53557 952.07/954.93 c #Conflicts: 396000 | #Constraints: 54557 952.07/954.93 c #Conflicts: 397000 | #Constraints: 55557 952.07/954.93 c #Conflicts: 398000 | #Constraints: 56557 952.07/954.93 c #Conflicts: 399000 | #Constraints: 57557 952.07/954.93 c #Conflicts: 400000 | #Constraints: 58557 952.07/954.93 c #Conflicts: 401000 | #Constraints: 59557 952.07/954.93 c #Conflicts: 402000 | #Constraints: 60557 952.07/954.93 c #Conflicts: 403000 | #Constraints: 61557 952.07/954.93 c #Conflicts: 404000 | #Constraints: 62557 952.07/954.93 c #Conflicts: 405000 | #Constraints: 63557 952.07/954.93 c #Conflicts: 406000 | #Constraints: 64557 952.07/954.93 c #Conflicts: 407000 | #Constraints: 65557 952.07/954.93 c INPROCESSING 952.07/954.93 c GARBAGE COLLECT 952.07/954.93 c rational objective 139.945 1075.44/1078.66 c #Conflicts: 408000 | #Constraints: 34497 1075.44/1078.66 c #Conflicts: 409000 | #Constraints: 35497 1075.44/1078.66 c #Conflicts: 410000 | #Constraints: 36497 1075.44/1078.66 c #Conflicts: 411000 | #Constraints: 37497 1075.44/1078.66 c #Conflicts: 412000 | #Constraints: 38497 1075.44/1078.66 c #Conflicts: 413000 | #Constraints: 39497 1075.44/1078.66 c #Conflicts: 414000 | #Constraints: 40497 1075.44/1078.66 c #Conflicts: 415000 | #Constraints: 41497 1075.44/1078.66 c #Conflicts: 416000 | #Constraints: 42497 1075.44/1078.66 c #Conflicts: 417000 | #Constraints: 43497 1075.44/1078.66 c #Conflicts: 418000 | #Constraints: 44497 1075.44/1078.66 c #Conflicts: 419000 | #Constraints: 45497 1075.44/1078.66 c #Conflicts: 420000 | #Constraints: 46497 1075.44/1078.66 c #Conflicts: 421000 | #Constraints: 47497 1075.44/1078.66 c INPROCESSING 1075.44/1078.66 c GARBAGE COLLECT 1075.44/1078.66 c rational objective 139.945 1134.39/1137.76 c #Conflicts: 422000 | #Constraints: 25145 1134.39/1137.76 c #Conflicts: 423000 | #Constraints: 26145 1134.39/1137.76 c #Conflicts: 424000 | #Constraints: 27145 1134.39/1137.76 c #Conflicts: 425000 | #Constraints: 28145 1134.39/1137.76 c #Conflicts: 426000 | #Constraints: 29145 1134.39/1137.76 c #Conflicts: 427000 | #Constraints: 30145 1134.39/1137.76 c #Conflicts: 428000 | #Constraints: 31145 1134.39/1137.76 c #Conflicts: 429000 | #Constraints: 32145 1134.39/1137.76 c #Conflicts: 430000 | #Constraints: 33145 1134.39/1137.76 c #Conflicts: 431000 | #Constraints: 34145 1134.39/1137.76 c #Conflicts: 432000 | #Constraints: 35145 1134.39/1137.76 c #Conflicts: 433000 | #Constraints: 36145 1134.39/1137.76 c #Conflicts: 434000 | #Constraints: 37145 1134.39/1137.76 c #Conflicts: 435000 | #Constraints: 38145 1134.39/1137.76 c #Conflicts: 436000 | #Constraints: 39145 1134.39/1137.76 c INPROCESSING 1134.39/1137.76 c GARBAGE COLLECT 1134.39/1137.76 c rational objective 139.945 1344.55/1348.48 c #Conflicts: 437000 | #Constraints: 20957 1344.55/1348.48 c #Conflicts: 438000 | #Constraints: 21957 1344.55/1348.48 c #Conflicts: 439000 | #Constraints: 22957 1344.55/1348.48 c #Conflicts: 440000 | #Constraints: 23957 1344.55/1348.48 c #Conflicts: 441000 | #Constraints: 24957 1344.55/1348.48 c #Conflicts: 442000 | #Constraints: 25957 1344.55/1348.48 c #Conflicts: 443000 | #Constraints: 26957 1344.55/1348.48 c #Conflicts: 444000 | #Constraints: 27957 1344.55/1348.48 c #Conflicts: 445000 | #Constraints: 28957 1344.55/1348.48 c #Conflicts: 446000 | #Constraints: 29957 1344.55/1348.48 c #Conflicts: 447000 | #Constraints: 30957 1344.55/1348.48 c #Conflicts: 448000 | #Constraints: 31957 1344.55/1348.48 c #Conflicts: 449000 | #Constraints: 32957 1344.55/1348.48 c #Conflicts: 450000 | #Constraints: 33957 1344.55/1348.48 c #Conflicts: 451000 | #Constraints: 34957 1344.55/1348.48 c #Conflicts: 452000 | #Constraints: 35957 1344.55/1348.48 c #Conflicts: 453000 | #Constraints: 36957 1344.55/1348.48 c #Conflicts: 454000 | #Constraints: 37957 1344.55/1348.48 c #Conflicts: 455000 | #Constraints: 38957 1344.55/1348.48 c #Conflicts: 456000 | #Constraints: 39957 1344.55/1348.48 c #Conflicts: 457000 | #Constraints: 40957 1344.55/1348.48 c #Conflicts: 458000 | #Constraints: 41957 1344.55/1348.48 c #Conflicts: 459000 | #Constraints: 42957 1344.55/1348.48 c #Conflicts: 460000 | #Constraints: 43957 1344.55/1348.48 c #Conflicts: 461000 | #Constraints: 44957 1344.55/1348.48 c #Conflicts: 462000 | #Constraints: 45957 1344.55/1348.48 c #Conflicts: 463000 | #Constraints: 46957 1344.55/1348.48 c #Conflicts: 464000 | #Constraints: 47957 1344.55/1348.48 c #Conflicts: 465000 | #Constraints: 48957 1344.55/1348.48 c #Conflicts: 466000 | #Constraints: 49957 1344.55/1348.48 c #Conflicts: 467000 | #Constraints: 50957 1344.55/1348.48 c #Conflicts: 468000 | #Constraints: 51957 1344.55/1348.48 c #Conflicts: 469000 | #Constraints: 52957 1344.55/1348.48 c #Conflicts: 470000 | #Constraints: 53957 1344.55/1348.48 c #Conflicts: 471000 | #Constraints: 54957 1344.55/1348.48 c #Conflicts: 472000 | #Constraints: 55957 1344.55/1348.48 c bounds 189 >= 142 @ 1291.45 1344.55/1348.48 c #Conflicts: 473000 | #Constraints: 57004 1344.55/1348.48 c #Conflicts: 474000 | #Constraints: 58004 1344.55/1348.48 c #Conflicts: 475000 | #Constraints: 59004 1344.55/1348.48 c #Conflicts: 476000 | #Constraints: 60004 1344.55/1348.48 c #Conflicts: 477000 | #Constraints: 61004 1344.55/1348.48 c #Conflicts: 478000 | #Constraints: 62004 1344.55/1348.48 c #Conflicts: 479000 | #Constraints: 63004 1344.55/1348.48 c #Conflicts: 480000 | #Constraints: 64004 1344.55/1348.48 c #Conflicts: 481000 | #Constraints: 65004 1344.55/1348.48 c #Conflicts: 482000 | #Constraints: 66004 1344.55/1348.48 c #Conflicts: 483000 | #Constraints: 67004 1344.55/1348.48 c #Conflicts: 484000 | #Constraints: 68004 1344.55/1348.48 c #Conflicts: 485000 | #Constraints: 69004 1344.55/1348.48 c #Conflicts: 486000 | #Constraints: 70004 1344.55/1348.48 c #Conflicts: 487000 | #Constraints: 71004 1344.55/1348.48 c #Conflicts: 488000 | #Constraints: 72004 1344.55/1348.48 c INPROCESSING 1344.55/1348.48 c GARBAGE COLLECT 1344.55/1348.48 c rational objective 139.945 1396.22/1400.29 c #Conflicts: 489000 | #Constraints: 37718 1396.22/1400.29 c #Conflicts: 490000 | #Constraints: 38718 1396.22/1400.29 c #Conflicts: 491000 | #Constraints: 39718 1396.22/1400.29 c #Conflicts: 492000 | #Constraints: 40719 1396.22/1400.29 c #Conflicts: 493000 | #Constraints: 41720 1396.22/1400.29 c #Conflicts: 494000 | #Constraints: 42720 1396.22/1400.29 c #Conflicts: 495000 | #Constraints: 43720 1396.22/1400.29 c #Conflicts: 496000 | #Constraints: 44720 1396.22/1400.29 c #Conflicts: 497000 | #Constraints: 45720 1396.22/1400.29 c #Conflicts: 498000 | #Constraints: 46720 1396.22/1400.29 c #Conflicts: 499000 | #Constraints: 47720 1396.22/1400.29 c #Conflicts: 500000 | #Constraints: 48720 1396.22/1400.29 c #Conflicts: 501000 | #Constraints: 49720 1396.22/1400.29 c #Conflicts: 502000 | #Constraints: 50720 1396.22/1400.29 c #Conflicts: 503000 | #Constraints: 51720 1396.22/1400.29 c #Conflicts: 504000 | #Constraints: 52720 1396.22/1400.29 c INPROCESSING 1396.22/1400.29 c GARBAGE COLLECT 1396.22/1400.29 c rational objective 139.945 1436.52/1440.61 c #Conflicts: 505000 | #Constraints: 27941 1436.52/1440.61 c #Conflicts: 506000 | #Constraints: 28941 1436.52/1440.61 c #Conflicts: 507000 | #Constraints: 29941 1436.52/1440.61 c #Conflicts: 508000 | #Constraints: 30941 1436.52/1440.61 c #Conflicts: 509000 | #Constraints: 31941 1436.52/1440.61 c #Conflicts: 510000 | #Constraints: 32941 1436.52/1440.61 c #Conflicts: 511000 | #Constraints: 33941 1436.52/1440.61 c #Conflicts: 512000 | #Constraints: 34941 1436.52/1440.61 c #Conflicts: 513000 | #Constraints: 35941 1436.52/1440.61 c #Conflicts: 514000 | #Constraints: 36941 1436.52/1440.61 c #Conflicts: 515000 | #Constraints: 37941 1436.52/1440.61 c #Conflicts: 516000 | #Constraints: 38941 1436.52/1440.61 c #Conflicts: 517000 | #Constraints: 39941 1436.52/1440.61 c #Conflicts: 518000 | #Constraints: 40941 1436.52/1440.61 c #Conflicts: 519000 | #Constraints: 41941 1436.52/1440.61 c #Conflicts: 520000 | #Constraints: 42941 1436.52/1440.61 c INPROCESSING 1436.52/1440.61 c GARBAGE COLLECT 1436.52/1440.61 c rational objective 139.945 1855.41/1860.67 c #Conflicts: 521000 | #Constraints: 22873 1855.41/1860.67 c #Conflicts: 522000 | #Constraints: 23873 1855.41/1860.67 c #Conflicts: 523000 | #Constraints: 24873 1855.41/1860.67 c #Conflicts: 524000 | #Constraints: 25873 1855.41/1860.67 c #Conflicts: 525000 | #Constraints: 26873 1855.41/1860.67 c #Conflicts: 526000 | #Constraints: 27873 1855.41/1860.67 c #Conflicts: 527000 | #Constraints: 28873 1855.41/1860.67 c #Conflicts: 528000 | #Constraints: 29873 1855.41/1860.67 c #Conflicts: 529000 | #Constraints: 30873 1855.41/1860.67 c #Conflicts: 530000 | #Constraints: 31873 1855.41/1860.67 c #Conflicts: 531000 | #Constraints: 32873 1855.41/1860.67 c #Conflicts: 532000 | #Constraints: 33873 1855.41/1860.67 c #Conflicts: 533000 | #Constraints: 34873 1855.41/1860.67 c #Conflicts: 534000 | #Constraints: 35873 1855.41/1860.67 c #Conflicts: 535000 | #Constraints: 36873 1855.41/1860.67 c #Conflicts: 536000 | #Constraints: 37873 1855.41/1860.67 c bounds 188 >= 142 @ 1460.81 1855.41/1860.67 c #Conflicts: 537000 | #Constraints: 38874 1855.41/1860.67 c #Conflicts: 538000 | #Constraints: 39874 1855.41/1860.67 c #Conflicts: 539000 | #Constraints: 40874 1855.41/1860.67 c #Conflicts: 540000 | #Constraints: 41874 1855.41/1860.67 c #Conflicts: 541000 | #Constraints: 42874 1855.41/1860.67 c #Conflicts: 542000 | #Constraints: 43874 1855.41/1860.67 c #Conflicts: 543000 | #Constraints: 44874 1855.41/1860.67 c #Conflicts: 544000 | #Constraints: 45874 1855.41/1860.67 c #Conflicts: 545000 | #Constraints: 46874 1855.41/1860.67 c #Conflicts: 546000 | #Constraints: 47874 1855.41/1860.67 c #Conflicts: 547000 | #Constraints: 48874 1855.41/1860.67 c #Conflicts: 548000 | #Constraints: 49874 1855.41/1860.67 c #Conflicts: 549000 | #Constraints: 50874 1855.41/1860.67 c #Conflicts: 550000 | #Constraints: 51874 1855.41/1860.67 c #Conflicts: 551000 | #Constraints: 52874 1855.41/1860.67 c #Conflicts: 552000 | #Constraints: 53874 1855.41/1860.67 c #Conflicts: 553000 | #Constraints: 54874 1855.41/1860.67 c #Conflicts: 554000 | #Constraints: 55874 1855.41/1860.67 c #Conflicts: 555000 | #Constraints: 56874 1855.41/1860.67 c #Conflicts: 556000 | #Constraints: 57874 1855.41/1860.67 c #Conflicts: 557000 | #Constraints: 58874 1855.41/1860.67 c #Conflicts: 558000 | #Constraints: 59874 1855.41/1860.67 c #Conflicts: 559000 | #Constraints: 60874 1855.41/1860.68 c #Conflicts: 560000 | #Constraints: 61874 1855.41/1860.68 c #Conflicts: 561000 | #Constraints: 62874 1855.41/1860.68 c #Conflicts: 562000 | #Constraints: 63874 1855.41/1860.68 c #Conflicts: 563000 | #Constraints: 64874 1855.41/1860.68 c #Conflicts: 564000 | #Constraints: 65874 1855.41/1860.68 c #Conflicts: 565000 | #Constraints: 66874 1855.41/1860.68 c #Conflicts: 566000 | #Constraints: 67874 1855.41/1860.68 c #Conflicts: 567000 | #Constraints: 68874 1855.41/1860.68 c #Conflicts: 568000 | #Constraints: 69874 1855.41/1860.68 c #Conflicts: 569000 | #Constraints: 70874 1855.41/1860.68 c #Conflicts: 570000 | #Constraints: 71874 1855.41/1860.68 c #Conflicts: 571000 | #Constraints: 72874 1855.41/1860.68 c #Conflicts: 572000 | #Constraints: 73874 1855.41/1860.68 c #Conflicts: 573000 | #Constraints: 74874 1855.41/1860.68 c #Conflicts: 574000 | #Constraints: 75874 1855.41/1860.68 c #Conflicts: 575000 | #Constraints: 76874 1855.41/1860.68 c #Conflicts: 576000 | #Constraints: 77874 1855.41/1860.68 c INPROCESSING 1855.41/1860.68 c GARBAGE COLLECT 1855.41/1860.68 c rational objective 139.945 1954.26/1959.75 c #Conflicts: 577000 | #Constraints: 40646 1954.26/1959.75 c #Conflicts: 578000 | #Constraints: 41646 1954.26/1959.75 c #Conflicts: 579000 | #Constraints: 42646 1954.26/1959.75 c #Conflicts: 580000 | #Constraints: 43646 1954.26/1959.75 c #Conflicts: 581000 | #Constraints: 44646 1954.26/1959.75 c #Conflicts: 582000 | #Constraints: 45646 1954.26/1959.75 c #Conflicts: 583000 | #Constraints: 46646 1954.26/1959.75 c #Conflicts: 584000 | #Constraints: 47646 1954.26/1959.75 c #Conflicts: 585000 | #Constraints: 48646 1954.26/1959.75 c #Conflicts: 586000 | #Constraints: 49646 1954.26/1959.75 c #Conflicts: 587000 | #Constraints: 50646 1954.26/1959.75 c #Conflicts: 588000 | #Constraints: 51646 1954.26/1959.75 c #Conflicts: 589000 | #Constraints: 52646 1954.26/1959.75 c #Conflicts: 590000 | #Constraints: 53646 1954.26/1959.75 c #Conflicts: 591000 | #Constraints: 54646 1954.26/1959.75 c #Conflicts: 592000 | #Constraints: 55646 1954.26/1959.75 c #Conflicts: 593000 | #Constraints: 56646 1954.26/1959.75 c #Conflicts: 594000 | #Constraints: 57646 1954.26/1959.75 c INPROCESSING 1954.26/1959.75 c GARBAGE COLLECT 1954.26/1959.75 c rational objective 139.945 2029.97/2035.65 c #Conflicts: 595000 | #Constraints: 30567 2029.97/2035.65 c #Conflicts: 596000 | #Constraints: 31567 2029.97/2035.65 c #Conflicts: 597000 | #Constraints: 32567 2029.97/2035.65 c #Conflicts: 598000 | #Constraints: 33567 2029.97/2035.65 c #Conflicts: 599000 | #Constraints: 34567 2029.97/2035.65 c #Conflicts: 600000 | #Constraints: 35567 2029.97/2035.65 c #Conflicts: 601000 | #Constraints: 36567 2029.97/2035.65 c #Conflicts: 602000 | #Constraints: 37567 2029.97/2035.65 c #Conflicts: 603000 | #Constraints: 38567 2029.97/2035.65 c #Conflicts: 604000 | #Constraints: 39567 2029.97/2035.65 c #Conflicts: 605000 | #Constraints: 40567 2029.97/2035.65 c #Conflicts: 606000 | #Constraints: 41567 2029.97/2035.65 c #Conflicts: 607000 | #Constraints: 42567 2029.97/2035.65 c #Conflicts: 608000 | #Constraints: 43567 2029.97/2035.65 c #Conflicts: 609000 | #Constraints: 44567 2029.97/2035.65 c #Conflicts: 610000 | #Constraints: 45567 2029.97/2035.65 c #Conflicts: 611000 | #Constraints: 46567 2029.97/2035.65 c #Conflicts: 612000 | #Constraints: 47567 2029.97/2035.65 c INPROCESSING 2029.97/2035.65 c GARBAGE COLLECT 2029.97/2035.65 c rational objective 139.945 2508.57/2515.53 c #Conflicts: 613000 | #Constraints: 28282 2508.57/2515.53 c #Conflicts: 614000 | #Constraints: 29282 2508.57/2515.53 c #Conflicts: 615000 | #Constraints: 30282 2508.57/2515.53 c #Conflicts: 616000 | #Constraints: 31282 2508.57/2515.53 c #Conflicts: 617000 | #Constraints: 32282 2508.57/2515.53 c #Conflicts: 618000 | #Constraints: 33282 2508.57/2515.53 c #Conflicts: 619000 | #Constraints: 34282 2508.57/2515.53 c #Conflicts: 620000 | #Constraints: 35282 2508.57/2515.53 c #Conflicts: 621000 | #Constraints: 36282 2508.57/2515.53 c #Conflicts: 622000 | #Constraints: 37282 2508.57/2515.53 c #Conflicts: 623000 | #Constraints: 38282 2508.57/2515.53 c #Conflicts: 624000 | #Constraints: 39282 2508.57/2515.53 c #Conflicts: 625000 | #Constraints: 40282 2508.57/2515.53 c #Conflicts: 626000 | #Constraints: 41282 2508.57/2515.53 c #Conflicts: 627000 | #Constraints: 42282 2508.57/2515.53 c #Conflicts: 628000 | #Constraints: 43282 2508.57/2515.53 c #Conflicts: 629000 | #Constraints: 44282 2508.57/2515.53 c #Conflicts: 630000 | #Constraints: 45282 2508.57/2515.53 c #Conflicts: 631000 | #Constraints: 46282 2508.57/2515.53 c #Conflicts: 632000 | #Constraints: 47282 2508.57/2515.53 c #Conflicts: 633000 | #Constraints: 48282 2508.57/2515.53 c #Conflicts: 634000 | #Constraints: 49282 2508.57/2515.53 c #Conflicts: 635000 | #Constraints: 50282 2508.57/2515.53 c #Conflicts: 636000 | #Constraints: 51282 2508.57/2515.53 c #Conflicts: 637000 | #Constraints: 52282 2508.57/2515.53 c #Conflicts: 638000 | #Constraints: 53282 2508.57/2515.53 c #Conflicts: 639000 | #Constraints: 54282 2508.57/2515.53 c #Conflicts: 640000 | #Constraints: 55282 2508.57/2515.53 c #Conflicts: 641000 | #Constraints: 56282 2508.57/2515.53 c #Conflicts: 642000 | #Constraints: 57282 2508.57/2515.53 c #Conflicts: 643000 | #Constraints: 58282 2508.57/2515.53 c #Conflicts: 644000 | #Constraints: 59282 2508.57/2515.53 c #Conflicts: 645000 | #Constraints: 60282 2508.57/2515.53 c #Conflicts: 646000 | #Constraints: 61282 2508.57/2515.53 c #Conflicts: 647000 | #Constraints: 62282 2508.57/2515.53 c #Conflicts: 648000 | #Constraints: 63282 2508.57/2515.53 c #Conflicts: 649000 | #Constraints: 64282 2508.57/2515.53 c #Conflicts: 650000 | #Constraints: 65282 2508.57/2515.53 c #Conflicts: 651000 | #Constraints: 66282 2508.57/2515.53 c #Conflicts: 652000 | #Constraints: 67282 2508.57/2515.53 c #Conflicts: 653000 | #Constraints: 68282 2508.57/2515.53 c #Conflicts: 654000 | #Constraints: 69282 2508.57/2515.53 c #Conflicts: 655000 | #Constraints: 70282 2508.57/2515.53 c #Conflicts: 656000 | #Constraints: 71282 2508.57/2515.53 c #Conflicts: 657000 | #Constraints: 72282 2508.57/2515.53 c #Conflicts: 658000 | #Constraints: 73282 2508.57/2515.53 c #Conflicts: 659000 | #Constraints: 74282 2508.57/2515.53 c #Conflicts: 660000 | #Constraints: 75282 2508.57/2515.53 c #Conflicts: 661000 | #Constraints: 76282 2508.57/2515.53 c #Conflicts: 662000 | #Constraints: 77282 2508.57/2515.53 c #Conflicts: 663000 | #Constraints: 78283 2508.57/2515.53 c #Conflicts: 664000 | #Constraints: 79283 2508.57/2515.53 c #Conflicts: 665000 | #Constraints: 80283 2508.57/2515.53 c #Conflicts: 666000 | #Constraints: 81283 2508.57/2515.53 c #Conflicts: 667000 | #Constraints: 82283 2508.57/2515.53 c #Conflicts: 668000 | #Constraints: 83283 2508.57/2515.53 c #Conflicts: 669000 | #Constraints: 84283 2508.57/2515.53 c #Conflicts: 670000 | #Constraints: 85283 2508.57/2515.53 c #Conflicts: 671000 | #Constraints: 86283 2508.57/2515.53 c INPROCESSING 2508.57/2515.53 c GARBAGE COLLECT 2508.57/2515.53 c rational objective 139.945 2723.20/2730.85 c #Conflicts: 672000 | #Constraints: 44577 2723.20/2730.85 c #Conflicts: 673000 | #Constraints: 45577 2723.20/2730.85 c #Conflicts: 674000 | #Constraints: 46577 2723.20/2730.85 c #Conflicts: 675000 | #Constraints: 47577 2723.20/2730.85 c #Conflicts: 676000 | #Constraints: 48577 2723.20/2730.85 c #Conflicts: 677000 | #Constraints: 49577 2723.20/2730.85 c #Conflicts: 678000 | #Constraints: 50577 2723.20/2730.85 c #Conflicts: 679000 | #Constraints: 51577 2723.20/2730.85 c #Conflicts: 680000 | #Constraints: 52577 2723.20/2730.85 c #Conflicts: 681000 | #Constraints: 53577 2723.20/2730.85 c #Conflicts: 682000 | #Constraints: 54577 2723.20/2730.85 c #Conflicts: 683000 | #Constraints: 55577 2723.20/2730.85 c #Conflicts: 684000 | #Constraints: 56577 2723.20/2730.85 c #Conflicts: 685000 | #Constraints: 57577 2723.20/2730.85 c #Conflicts: 686000 | #Constraints: 58577 2723.20/2730.85 c #Conflicts: 687000 | #Constraints: 59577 2723.20/2730.85 c #Conflicts: 688000 | #Constraints: 60577 2723.20/2730.85 c #Conflicts: 689000 | #Constraints: 61577 2723.20/2730.85 c #Conflicts: 690000 | #Constraints: 62577 2723.20/2730.85 c INPROCESSING 2723.20/2730.85 c GARBAGE COLLECT 2723.20/2730.85 c rational objective 139.945 2818.92/2826.83 c #Conflicts: 691000 | #Constraints: 32655 2818.92/2826.83 c #Conflicts: 692000 | #Constraints: 33655 2818.92/2826.83 c #Conflicts: 693000 | #Constraints: 34655 2818.92/2826.83 c #Conflicts: 694000 | #Constraints: 35655 2818.92/2826.83 c #Conflicts: 695000 | #Constraints: 36655 2818.92/2826.83 c #Conflicts: 696000 | #Constraints: 37655 2818.92/2826.83 c #Conflicts: 697000 | #Constraints: 38655 2818.92/2826.83 c #Conflicts: 698000 | #Constraints: 39655 2818.92/2826.83 c #Conflicts: 699000 | #Constraints: 40655 2818.92/2826.83 c #Conflicts: 700000 | #Constraints: 41655 2818.92/2826.83 c #Conflicts: 701000 | #Constraints: 42655 2818.92/2826.83 c #Conflicts: 702000 | #Constraints: 43655 2818.92/2826.83 c #Conflicts: 703000 | #Constraints: 44655 2818.92/2826.83 c #Conflicts: 704000 | #Constraints: 45655 2818.92/2826.83 c #Conflicts: 705000 | #Constraints: 46655 2818.92/2826.83 c #Conflicts: 706000 | #Constraints: 47655 2818.92/2826.83 c #Conflicts: 707000 | #Constraints: 48655 2818.92/2826.83 c #Conflicts: 708000 | #Constraints: 49655 2818.92/2826.83 c #Conflicts: 709000 | #Constraints: 50655 2818.92/2826.83 c #Conflicts: 710000 | #Constraints: 51655 2818.92/2826.84 c INPROCESSING 2818.92/2826.84 c GARBAGE COLLECT 2818.92/2826.84 c rational objective 139.945 3306.82/3316.20 c #Conflicts: 711000 | #Constraints: 31473 3306.82/3316.20 c #Conflicts: 712000 | #Constraints: 32473 3306.82/3316.20 c #Conflicts: 713000 | #Constraints: 33473 3306.82/3316.20 c #Conflicts: 714000 | #Constraints: 34473 3306.82/3316.20 c #Conflicts: 715000 | #Constraints: 35473 3306.82/3316.20 c #Conflicts: 716000 | #Constraints: 36473 3306.82/3316.20 c #Conflicts: 717000 | #Constraints: 37473 3306.82/3316.20 c #Conflicts: 718000 | #Constraints: 38473 3306.82/3316.20 c #Conflicts: 719000 | #Constraints: 39473 3306.82/3316.20 c #Conflicts: 720000 | #Constraints: 40473 3306.82/3316.20 c #Conflicts: 721000 | #Constraints: 41473 3306.82/3316.20 c #Conflicts: 722000 | #Constraints: 42473 3306.82/3316.20 c #Conflicts: 723000 | #Constraints: 43473 3306.82/3316.20 c #Conflicts: 724000 | #Constraints: 44473 3306.82/3316.20 c #Conflicts: 725000 | #Constraints: 45473 3306.82/3316.20 c #Conflicts: 726000 | #Constraints: 46473 3306.82/3316.20 c #Conflicts: 727000 | #Constraints: 47473 3306.82/3316.20 c #Conflicts: 728000 | #Constraints: 48473 3306.82/3316.20 c #Conflicts: 729000 | #Constraints: 49473 3306.82/3316.20 c #Conflicts: 730000 | #Constraints: 50473 3306.82/3316.20 c #Conflicts: 731000 | #Constraints: 51473 3306.82/3316.20 c #Conflicts: 732000 | #Constraints: 52473 3306.82/3316.20 c #Conflicts: 733000 | #Constraints: 53473 3306.82/3316.20 c #Conflicts: 734000 | #Constraints: 54473 3306.82/3316.20 c #Conflicts: 735000 | #Constraints: 55473 3306.82/3316.20 c #Conflicts: 736000 | #Constraints: 56473 3306.82/3316.20 c #Conflicts: 737000 | #Constraints: 57473 3306.82/3316.20 c #Conflicts: 738000 | #Constraints: 58473 3306.82/3316.20 c #Conflicts: 739000 | #Constraints: 59473 3306.82/3316.20 c #Conflicts: 740000 | #Constraints: 60473 3306.82/3316.20 c #Conflicts: 741000 | #Constraints: 61473 3306.82/3316.20 c #Conflicts: 742000 | #Constraints: 62473 3306.82/3316.20 c #Conflicts: 743000 | #Constraints: 63473 3306.82/3316.20 c #Conflicts: 744000 | #Constraints: 64473 3306.82/3316.20 c #Conflicts: 745000 | #Constraints: 65473 3306.82/3316.20 c #Conflicts: 746000 | #Constraints: 66473 3306.82/3316.20 c #Conflicts: 747000 | #Constraints: 67473 3306.82/3316.20 c #Conflicts: 748000 | #Constraints: 68473 3306.82/3316.20 c #Conflicts: 749000 | #Constraints: 69473 3306.82/3316.20 c #Conflicts: 750000 | #Constraints: 70473 3306.82/3316.20 c #Conflicts: 751000 | #Constraints: 71473 3306.82/3316.20 c #Conflicts: 752000 | #Constraints: 72473 3306.82/3316.20 c #Conflicts: 753000 | #Constraints: 73473 3306.82/3316.20 c #Conflicts: 754000 | #Constraints: 74473 3306.82/3316.20 c #Conflicts: 755000 | #Constraints: 75473 3306.82/3316.20 c #Conflicts: 756000 | #Constraints: 76473 3306.82/3316.20 c #Conflicts: 757000 | #Constraints: 77473 3306.82/3316.20 c #Conflicts: 758000 | #Constraints: 78473 3306.82/3316.20 c #Conflicts: 759000 | #Constraints: 79473 3306.82/3316.20 c #Conflicts: 760000 | #Constraints: 80473 3306.82/3316.20 c #Conflicts: 761000 | #Constraints: 81473 3306.82/3316.20 c #Conflicts: 762000 | #Constraints: 82473 3306.82/3316.20 c #Conflicts: 763000 | #Constraints: 83473 3306.82/3316.20 c #Conflicts: 764000 | #Constraints: 84473 3306.82/3316.20 c #Conflicts: 765000 | #Constraints: 85473 3306.82/3316.20 c #Conflicts: 766000 | #Constraints: 86473 3306.82/3316.20 c #Conflicts: 767000 | #Constraints: 87473 3306.82/3316.20 c #Conflicts: 768000 | #Constraints: 88473 3306.82/3316.20 c #Conflicts: 769000 | #Constraints: 89473 3306.82/3316.20 c #Conflicts: 770000 | #Constraints: 90473 3306.82/3316.20 c #Conflicts: 771000 | #Constraints: 91473 3306.82/3316.20 c #Conflicts: 772000 | #Constraints: 92473 3306.82/3316.20 c #Conflicts: 773000 | #Constraints: 93473 3306.82/3316.20 c #Conflicts: 774000 | #Constraints: 94473 3306.82/3316.20 c INPROCESSING 3306.82/3316.20 c GARBAGE COLLECT 3306.82/3316.20 c rational objective 139.945 3400.22/3409.94 c #Conflicts: 775000 | #Constraints: 48950 3400.22/3409.94 c #Conflicts: 776000 | #Constraints: 49950 3400.22/3409.94 c #Conflicts: 777000 | #Constraints: 50950 3400.22/3409.94 c #Conflicts: 778000 | #Constraints: 51950 3400.22/3409.94 c #Conflicts: 779000 | #Constraints: 52950 3400.22/3409.94 c #Conflicts: 780000 | #Constraints: 53950 3400.22/3409.94 c #Conflicts: 781000 | #Constraints: 54950 3400.22/3409.94 c #Conflicts: 782000 | #Constraints: 55950 3400.22/3409.94 c #Conflicts: 783000 | #Constraints: 56950 3400.22/3409.94 c #Conflicts: 784000 | #Constraints: 57950 3400.22/3409.94 c #Conflicts: 785000 | #Constraints: 58950 3400.22/3409.94 c #Conflicts: 786000 | #Constraints: 59950 3400.22/3409.94 c #Conflicts: 787000 | #Constraints: 60950 3400.22/3409.94 c #Conflicts: 788000 | #Constraints: 61950 3400.22/3409.94 c #Conflicts: 789000 | #Constraints: 62950 3400.22/3409.94 c #Conflicts: 790000 | #Constraints: 63950 3400.22/3409.94 c #Conflicts: 791000 | #Constraints: 64950 3400.22/3409.94 c #Conflicts: 792000 | #Constraints: 65950 3400.22/3409.94 c #Conflicts: 793000 | #Constraints: 66950 3400.22/3409.94 c #Conflicts: 794000 | #Constraints: 67950 3400.22/3409.94 c #Conflicts: 795000 | #Constraints: 68950 3400.22/3409.94 c INPROCESSING 3400.22/3409.94 c GARBAGE COLLECT 3400.22/3409.94 c rational objective 139.945 3600.00/3610.30 c #Conflicts: 796000 | #Constraints: 36536 3600.00/3610.30 c #Conflicts: 797000 | #Constraints: 37536 3600.00/3610.30 c #Conflicts: 798000 | #Constraints: 38536 3600.00/3610.30 c #Conflicts: 799000 | #Constraints: 39536 3600.00/3610.30 c #Conflicts: 800000 | #Constraints: 40536 3600.00/3610.30 c #Conflicts: 801000 | #Constraints: 41536 3600.00/3610.30 c #Conflicts: 802000 | #Constraints: 42536 3600.00/3610.30 c #Conflicts: 803000 | #Constraints: 43536 3600.00/3610.30 c #Conflicts: 804000 | #Constraints: 44536 3600.00/3610.30 c #Conflicts: 805000 | #Constraints: 45536 3600.00/3610.30 c #Conflicts: 806000 | #Constraints: 46536 3600.00/3610.30 c #Conflicts: 807000 | #Constraints: 47536 3600.00/3610.30 c #Conflicts: 808000 | #Constraints: 48536 3600.00/3610.30 c #Conflicts: 809000 | #Constraints: 49536 3600.00/3610.30 c #Conflicts: 810000 | #Constraints: 50536 3600.00/3610.30 c #Conflicts: 811000 | #Constraints: 51536 3600.00/3610.30 c #Conflicts: 812000 | #Constraints: 52536 3600.00/3610.30 c #Conflicts: 813000 | #Constraints: 53536 3600.00/3610.30 c #Conflicts: 814000 | #Constraints: 54536 3600.00/3610.30 c #Conflicts: 815000 | #Constraints: 55536 3600.00/3610.30 c #Conflicts: 816000 | #Constraints: 56536 3600.00/3610.30 c #Conflicts: 817000 | #Constraints: 57536 3600.00/3610.30 c #Conflicts: 818000 | #Constraints: 58536 3600.00/3610.30 c #Conflicts: 819000 | #Constraints: 59536 3600.00/3610.30 c #Conflicts: 820000 | #Constraints: 60536 3600.00/3610.30 c #Conflicts: 821000 | #Constraints: 61536 3600.00/3610.30 c #Conflicts: 822000 | #Constraints: 62536 3600.00/3610.30 c #Conflicts: 823000 | #Constraints: 63536 3600.00/3610.30 c #Conflicts: 824000 | #Constraints: 64536 3600.00/3610.30 c Program interrupted by user. 3600.00/3610.30 c cpu time 3579.69 s 3600.00/3610.30 c deterministic time 349218872692 3.49e+11 3600.00/3610.30 c optimization time 198.901 s 3600.00/3610.30 c total solve time 3380.78 s 3600.00/3610.30 c core-guided solve time 1966.79 s 3600.00/3610.30 c propagation time 3087.09 s 3600.00/3610.30 c conflict analysis time 452.905 s 3600.00/3610.30 c propagations 114492507 3600.00/3610.30 c resolve steps 6964366 3600.00/3610.30 c decisions 5839133 3600.00/3610.30 c conflicts 824506 3600.00/3610.30 c restarts 1786 3600.00/3610.30 c inprocessing phases 50 3600.00/3610.30 c input clauses 306 3600.00/3610.30 c input cardinalities 179 3600.00/3610.30 c input general constraints 914 3600.00/3610.30 c input average constraint length 20.13 3600.00/3610.30 c input average constraint degree 19.10 3600.00/3610.30 c learned clauses 300082 3600.00/3610.30 c learned cardinalities 7872 3600.00/3610.30 c learned general constraints 516570 3600.00/3610.30 c learned average constraint length 189.18 3600.00/3610.30 c learned average constraint degree 8503022.74 3600.00/3610.30 c watched constraints 351857 3600.00/3610.30 c counting constraints 165627 3600.00/3610.30 c gcd simplifications 112772 3600.00/3610.30 c detected cardinalities 3224 3600.00/3610.30 c weakened non-implied lits 37718782 3600.00/3610.30 c weakened non-implying lits 88190 3600.00/3610.30 c original variables 473 3600.00/3610.30 c clausal propagations 11669079 3600.00/3610.30 c cardinality propagations 6506342 3600.00/3610.30 c watched propagations 18138806 3600.00/3610.30 c counting propagations 76129429 3600.00/3610.30 c watch lookups 55328297688 3600.00/3610.30 c watch backjump lookups 48264326057 3600.00/3610.30 c watch checks 226745721453 3600.00/3610.30 c propagation checks 18005817350 3600.00/3610.30 c constraint additions 632339127 3600.00/3610.30 c trail pops 121155929 3600.00/3610.30 c formula constraints 472 3600.00/3610.30 c learned constraints 824516 3600.00/3610.30 c bound constraints 37 3600.00/3610.30 c core-guided constraints 890 3600.00/3610.30 c encountered formula constraints 1237147 3600.00/3610.30 c encountered learned constraints 5564831 3600.00/3610.30 c encountered bound constraints 94 3600.00/3610.30 c encountered core-guided constraints 986786 3600.00/3610.30 c LP total time 48.8519 s 3600.00/3610.30 c LP solve time 47.96 s 3600.00/3610.30 c LP constraints added 472 3600.00/3610.30 c LP constraints removed 0 3600.00/3610.30 c LP pivots internal 825103 3600.00/3610.30 c LP pivots root 58344 3600.00/3610.30 c LP calls 7553 3600.00/3610.30 c LP optimalities 7547 3600.00/3610.30 c LP no pivot count 144 3600.00/3610.30 c LP infeasibilities 4 3600.00/3610.30 c LP valid Farkas constraints 4 3600.00/3610.30 c LP learned Farkas constraints 4 3600.00/3610.30 c LP basis resets 0 3600.00/3610.30 c LP cycling count 0 3600.00/3610.30 c LP singular count 0 3600.00/3610.30 c LP no primal count 0 3600.00/3610.30 c LP no farkas count 0 3600.00/3610.30 c LP other issue count 0 3600.00/3610.30 c LP Gomory cuts 0 3600.00/3610.30 c LP learned cuts 0 3600.00/3610.30 c LP deleted cuts 0 3600.00/3610.30 c LP encountered Gomory constraints 0 3600.00/3610.30 c LP encountered Farkas constraints 5 3600.00/3610.30 c LP encountered learned Farkas constraints 5 3600.00/3610.30 c CG auxiliary variables introduced 344 3600.00/3610.30 c CG solutions found 37 3600.00/3610.30 c CG cores constructed 142 3600.00/3610.30 c CG core cardinality constraints returned 0 3600.00/3610.30 c CG unit cores 0 3600.00/3610.30 c CG single cores 142 3600.00/3610.30 c CG blocks removed during cardinality reduction 0 3600.00/3610.30 c CG first core best 0 3600.00/3610.30 c CG decision core best 0 3600.00/3610.30 c CG core reduction tie 0 3600.00/3610.30 c CG core degree average 1.00 3600.00/3610.30 c CG core slack average 4.19 3600.00/3610.30 s SATISFIABLE 3600.00/3610.30 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 x86 -x87 -x88 x89 x90 -x91 x92 x93 -x94 -x95 x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 x117 -x118 -x119 -x120 x121 x122 x123 x124 -x125 -x126 x127 -x128 -x129 x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 x173 -x174 x175 -x176 x177 x178 -x179 -x180 x181 -x182 -x183 x184 x185 -x186 x187 -x188 x189 x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 -x199 x200 x201 x202 x203 x204 x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 x219 x220 x221 x222 x223 x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 x233 -x234 x235 -x236 -x237 x238 -x239 -x240 -x241 x242 x243 x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 x252 x253 -x254 -x255 x256 -x257 x258 -x259 -x260 -x261 x262 -x263 x264 x265 x266 -x267 x268 -x269 x270 x271 -x272 -x273 -x274 x275 -x276 x277 -x278 x279 x280 -x281 x282 x283 x284 x285 -x286 x287 x288 -x289 -x290 x291 -x292 -x293 x294 -x295 x296 x297 -x298 x299 x300 x301 x302 -x303 x304 x305 x306 x307 -x308 x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 x324 -x325 x326 -x327 -x328 x329 x330 x331 x332 x333 x334 -x335 -x336 x337 -x338 -x339 -x340 x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 x353 x354 x355 x356 -x357 x358 x359 -x360 x361 -x362 x363 -x364 -x365 x366 -x367 -x368 x369 -x370 -x371 -x372 x373 x374 -x375 -x376 x377 -x378 x379 -x380 x381 x382 -x383 -x384 x385 x386 -x387 -x388 -x389 -x390 x391 -x392 x393 x394 x395 x396 x397 -x398 -x399 -x400 -x401 -x402 x403 x404 x405 -x406 x407 x408 -x409 x410 x411 -x412 -x413 x414 x415 -x416 x417 -x418 x419 -x420 -x421 x422 -x423 x424 x425 -x426 x427 x428 x429 x430 x431 -x432 -x433 -x434 -x435 x436 -x437 x438 x439 -x440 -x441 x442 x443 -x444 x445 -x446 -x447 -x448 -x449 x450 x451 x452 x453 x454 -x455 -x456 x457 x458 -x459 x460 x461 x462 -x463 -x464 x465 x466 -x467 -x468 -x469 -x470 x471 -x472 x473
OK 188
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (63588 MiB free)
memory of node 1: 64473 MiB (63874 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462559-1722340764/watcher-4462559-1722340764 -o /tmp/evaluation-result-4462559-1722340764/solver-4462559-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722340763-6809 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462559-1722340764 --lp-cut-gomory=0 HOME/instance-4462559-1722340764.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=6859, runsolver pid=6855
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 0.04 0.07 0.08 1/243 6872
/proc/meminfo: memFree=130526500/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=37376 memory=2552 CPUtime=0 cores=4,6
/proc/6859/stat : 6859 (roundingsat) D 6855 6859 6796 0 -1 1078198272 212 0 0 0 0 0 0 0 20 0 1 0 673445 38273024 638 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
[startup+0.212973 s]*
/proc/loadavg: 0.04 0.07 0.08 3/243 6872
/proc/meminfo: memFree=130519936/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=38740 memory=8608 CPUtime=0.07 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 581 0 0 0 7 0 0 0 20 0 1 0 673445 39669760 2152 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 9685 2152 1777 992 0 1543 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38740 KiB
Current children cumulated memory: 8608 KiB
[startup+0.311875 s]*
/proc/loadavg: 0.04 0.07 0.08 3/243 6872
/proc/meminfo: memFree=130515020/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=38740 memory=8608 CPUtime=0.17 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 610 0 0 0 16 1 0 0 20 0 1 0 673445 39669760 2152 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 9685 2152 1777 992 0 1543 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 38740 KiB
Current children cumulated memory: 8608 KiB
[startup+0.700228 s]
/proc/loadavg: 0.04 0.07 0.08 5/243 6872
/proc/meminfo: memFree=130505636/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=40020 memory=10648 CPUtime=0.55 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 1065 0 0 0 51 4 0 0 20 0 1 0 673445 40980480 2662 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 10005 2662 1823 992 0 1863 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 40020 KiB
Current children cumulated memory: 10648 KiB
[startup+1.50026 s]
/proc/loadavg: 0.04 0.07 0.08 6/242 6879
/proc/meminfo: memFree=130473564/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=43764 memory=17896 CPUtime=1.34 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 2369 0 0 0 123 11 0 0 20 0 1 0 673445 44814336 4474 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 10941 4474 1877 992 0 2799 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 43764 KiB
Current children cumulated memory: 17896 KiB
[startup+3.11317 s]
/proc/loadavg: 0.44 0.15 0.11 4/244 6897
/proc/meminfo: memFree=130400200/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=50484 memory=24824 CPUtime=2.95 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 3585 0 0 0 276 19 0 0 20 0 1 0 673445 51695616 6206 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 12621 6206 1877 992 0 4479 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 50484 KiB
Current children cumulated memory: 24824 KiB
[startup+6.30027 s]
/proc/loadavg: 0.44 0.15 0.11 5/243 6958
/proc/meminfo: memFree=130258024/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=58684 memory=28272 CPUtime=6.13 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 4556 0 0 0 583 30 0 0 20 0 1 0 673445 60092416 7068 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 14671 7068 1877 992 0 6529 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 58684 KiB
Current children cumulated memory: 28272 KiB
[startup+12.7003 s]
/proc/loadavg: 0.98 0.28 0.15 5/248 6979
/proc/meminfo: memFree=130031784/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=62424 memory=34796 CPUtime=12.5 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 5659 0 0 0 1199 51 0 0 20 0 1 0 673445 63922176 8699 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 15606 8699 1877 992 0 7464 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 62424 KiB
Current children cumulated memory: 34796 KiB
[startup+25.5003 s]
/proc/loadavg: 1.45 0.40 0.20 5/248 6981
/proc/meminfo: memFree=129704920/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=77116 memory=42936 CPUtime=25.27 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 7755 0 0 0 2438 89 0 0 20 0 1 0 673445 78966784 10734 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 19279 10734 1893 992 0 11137 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 77116 KiB
Current children cumulated memory: 42936 KiB
[startup+51.1131 s]
/proc/loadavg: 2.40 0.71 0.30 5/250 7033
/proc/meminfo: memFree=129253032/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=98320 memory=63892 CPUtime=50.81 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 10413 0 0 0 4948 133 0 0 20 0 1 0 673445 100679680 15973 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 24580 15973 1893 992 0 16438 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 98320 KiB
Current children cumulated memory: 63892 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.28 0.52 5/251 7057
/proc/meminfo: memFree=128352096/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=110224 memory=77452 CPUtime=101.83 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 12787 0 0 0 9985 198 0 0 20 0 1 0 673445 112869376 19363 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 27556 19363 1893 992 0 19414 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 110224 KiB
Current children cumulated memory: 77452 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 1.83 0.76 5/251 7068
/proc/meminfo: memFree=127405036/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=149656 memory=114568 CPUtime=161.66 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 17468 0 0 0 15890 276 0 0 20 0 1 0 673445 153247744 28642 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 37414 28642 1893 992 0 29272 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 149656 KiB
Current children cumulated memory: 114568 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.24 0.97 5/251 7079
/proc/meminfo: memFree=126637768/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=150024 memory=115608 CPUtime=221.47 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 17723 0 0 0 21790 357 0 0 20 0 1 0 673445 153624576 28902 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 37506 28902 1893 992 0 29364 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 150024 KiB
Current children cumulated memory: 115608 KiB
[startup+282.3 s]
/proc/loadavg: 4.25 2.62 1.18 5/251 7089
/proc/meminfo: memFree=125658280/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=159696 memory=122716 CPUtime=281.28 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 19513 0 0 0 27727 401 0 0 20 0 1 0 673445 163528704 30679 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 39924 30679 1893 992 0 31782 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 159696 KiB
Current children cumulated memory: 122716 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 2.89 1.37 5/247 7100
/proc/meminfo: memFree=124818956/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=162748 memory=129984 CPUtime=341.1 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 20309 0 0 0 33641 469 0 0 20 0 1 0 673445 166653952 32496 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 40687 32496 1893 992 0 32545 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 162748 KiB
Current children cumulated memory: 129984 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.13 1.55 5/245 7112
/proc/meminfo: memFree=124068584/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=225576 memory=176984 CPUtime=400.94 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 26803 0 0 0 39576 518 0 0 20 0 1 0 673445 230989824 44246 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 56394 44246 1893 992 0 48252 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 225576 KiB
Current children cumulated memory: 176984 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.30 1.71 5/245 7122
/proc/meminfo: memFree=123451904/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=226924 memory=182600 CPUtime=460.78 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 27696 0 0 0 45544 534 0 0 20 0 1 0 673445 232370176 45650 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 56731 45650 1893 992 0 48589 0
################
# More data... #
################
Current children cumulated memory: 357504 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.17 4.07 5/245 8227
/proc/meminfo: memFree=104590940/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=465932 memory=357516 CPUtime=3033.76 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 53205 0 0 0 301567 1809 0 0 20 0 1 0 673445 477114368 89379 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 116483 89379 1893 992 0 108341 0
Current children cumulated CPU time: 3033.76 s
Current children cumulated vsize: 465932 KiB
Current children cumulated memory: 357516 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.20 4.09 5/247 8242
/proc/meminfo: memFree=104177064/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=466444 memory=357808 CPUtime=3093.58 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 53436 0 0 0 307527 1831 0 0 20 0 1 0 673445 477638656 89452 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 116611 89452 1893 992 0 108469 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 466444 KiB
Current children cumulated memory: 357808 KiB
[startup+3162.3 s]
/proc/loadavg: 4.25 4.21 4.10 5/247 8252
/proc/meminfo: memFree=103637132/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=468748 memory=359072 CPUtime=3153.39 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 53902 0 0 0 313489 1850 0 0 20 0 1 0 673445 479997952 89768 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 117187 89768 1893 992 0 109045 0
Current children cumulated CPU time: 3153.39 s
Current children cumulated vsize: 468748 KiB
Current children cumulated memory: 359072 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.09 5/249 8265
/proc/meminfo: memFree=103267700/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=472332 memory=361128 CPUtime=3213.2 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 54557 0 0 0 319449 1871 0 0 20 0 1 0 673445 483667968 90282 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 118083 90282 1893 992 0 109941 0
Current children cumulated CPU time: 3213.2 s
Current children cumulated vsize: 472332 KiB
Current children cumulated memory: 361128 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.18 4.10 5/249 8276
/proc/meminfo: memFree=102869488/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=472920 memory=361600 CPUtime=3273.02 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 54825 0 0 0 325414 1888 0 0 20 0 1 0 673445 484270080 90400 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 118230 90400 1893 992 0 110088 0
Current children cumulated CPU time: 3273.02 s
Current children cumulated vsize: 472920 KiB
Current children cumulated memory: 361600 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.16 4.09 5/249 8286
/proc/meminfo: memFree=102367732/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=474312 memory=362740 CPUtime=3332.84 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 55611 0 0 0 331368 1916 0 0 20 0 1 0 673445 485695488 90685 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 118578 90685 1893 992 0 110436 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 474312 KiB
Current children cumulated memory: 362740 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/247 8683
/proc/meminfo: memFree=102059968/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=474312 memory=362740 CPUtime=3392.65 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 55760 0 0 0 337321 1944 0 0 20 0 1 0 673445 485695488 90685 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 118578 90685 1893 992 0 110436 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 474312 KiB
Current children cumulated memory: 362740 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/247 8694
/proc/meminfo: memFree=101627676/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=475040 memory=363244 CPUtime=3452.46 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 56029 0 0 0 343272 1974 0 0 20 0 1 0 673445 486440960 90811 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 118760 90811 1893 992 0 110618 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 475040 KiB
Current children cumulated memory: 363244 KiB
[startup+3522.3 s]
/proc/loadavg: 4.35 4.20 4.11 5/247 8707
/proc/meminfo: memFree=101229576/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=475040 memory=363244 CPUtime=3512.27 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 56175 0 0 0 349227 2000 0 0 20 0 1 0 673445 486440960 90811 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 118760 90811 1893 992 0 110618 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 475040 KiB
Current children cumulated memory: 363244 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.19 4.11 5/248 8887
/proc/meminfo: memFree=100895524/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=475040 memory=363244 CPUtime=3572.09 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 56321 0 0 0 355186 2023 0 0 20 0 1 0 673445 486440960 90811 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 118760 90811 1893 992 0 110618 0
Current children cumulated CPU time: 3572.09 s
Current children cumulated vsize: 475040 KiB
Current children cumulated memory: 363244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.15 4.17 4.10 5/248 8893
/proc/meminfo: memFree=100727532/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=475040 memory=363244 CPUtime=3600 cores=4,6
/proc/6859/stat : 6859 (roundingsat) R 6855 6859 6796 0 -1 4194304 56394 0 0 0 357968 2032 0 0 20 0 1 0 673445 486440960 90811 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 118760 90811 1893 992 0 110618 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 475040 KiB
Current children cumulated memory: 363244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.75 s]
# the end of solver process 6859 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.69 s, system=20.3367 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.15 4.17 4.10 5/248 8893
/proc/meminfo: memFree=100727532/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=475040 memory=363244 CPUtime=3600 cores=4,6
/proc/6859/stat : 6859 (roundingsat) D 6855 6859 6796 0 -1 4194304 56401 0 0 0 357968 2032 0 0 20 0 1 0 673445 486440960 90811 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 118760 90811 1893 992 0 110618 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 475040 KiB
Current children cumulated memory: 363244 KiB
[startup+3610.6 s]
/proc/loadavg: 4.15 4.17 4.10 5/248 8893
/proc/meminfo: memFree=100727532/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=475040 memory=363244 CPUtime=3600.01 cores=4,6
/proc/6859/stat : 6859 (roundingsat) D 6855 6859 6796 0 -1 4194304 56401 0 0 0 357968 2033 0 0 20 0 1 0 673445 486440960 90811 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 1 0 0 17 4 0 0 50 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 118760 90811 1893 992 0 110618 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 475040 KiB
Current children cumulated memory: 363244 KiB
[startup+3610.7 s]
/proc/loadavg: 4.15 4.17 4.10 5/248 8893
/proc/meminfo: memFree=100727532/131655788 swapFree=131071996/131071996
[pid=6859] ppid=6855 vsize=475040 memory=363244 CPUtime=3600.01 cores=4,6
/proc/6859/stat : 6859 (roundingsat) D 6855 6859 6796 0 -1 1077936128 56401 0 0 0 357968 2033 0 0 20 0 1 0 673445 486440960 90811 134679101440 4194304 8255733 140721115168256 0 0 0 0 0 25182210 0 0 0 17 4 0 0 50 0 0 9037040 9046032 22614016 140721115173726 140721115173988 140721115173988 140721115181001 0
/proc/6859/statm: 118760 90811 1893 992 0 110618 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 475040 KiB
Current children cumulated memory: 363244 KiB
Child status: 0
Real time (s): 3610.75
CPU time (s): 3600.02
CPU user time (s): 3579.69
CPU system time (s): 20.3367
CPU usage (%): 99.703
Max. virtual memory (cumulated for all children) (KiB): 476076
Max. memory (cumulated for all children) (KiB): 364184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.69
system time used= 20.3367
maximum resident set size= 364184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56409
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4673920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 399
involuntary context switches= 4816
# summary of solver processes directly reported to runsolver:
# pid: 6859
# total CPU time (s): 3600.02
# total CPU user time (s): 3579.69
# total CPU system time (s): 20.3367
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3317 second user time and 34.5006 second system time
The end
Begin job on nodeC005 at 2024-07-30 13:59:24 IDJOB=4462559 IDBENCH=147539 IDSOLVER=3089 FILE ID=nodeC005/4462559-1722340764 RUNJOBID= nodeC005-1722340763-6809 SLURM_JOB_ID= 8248985 Free space on /tmp= 723776 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.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-4462559-1722340764/watcher-4462559-1722340764 -o /tmp/evaluation-result-4462559-1722340764/solver-4462559-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722340763-6809 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462559-1722340764 --lp-cut-gomory=0 HOME/instance-4462559-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a RANDOM SEED=1492646933 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 : 1197.228 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.72 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 : 1197.396 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.37 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.225 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.72 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.236 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.213 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.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.219 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.37 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.222 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.72 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.218 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130533720 kB MemAvailable: 130115808 kB Buffers: 40036 kB Cached: 339956 kB SwapCached: 0 kB Active: 126756 kB Inactive: 585812 kB Active(anon): 1444 kB Inactive(anon): 352460 kB Active(file): 125312 kB Inactive(file): 233352 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 17996 kB Writeback: 0 kB AnonPages: 332404 kB Mapped: 88456 kB Shmem: 21320 kB KReclaimable: 42492 kB Slab: 111536 kB SReclaimable: 42492 kB SUnreclaim: 69044 kB KernelStack: 3792 kB PageTables: 9456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 614628 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6368 kB HardwareCorrupted: 0 kB AnonHugePages: 217088 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: 150344 kB DirectMap2M: 6045696 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 723756 MiB End job on nodeC005 at 2024-07-30 14:59:35