| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 192 | 3600.07 | 3613.62 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb |
| MD5SUM | b1303fc064b9de7d315268cbf770fb1d |
| 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 | 181 |
| 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 | 470 |
| Total number of constraints | 470 |
| 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 | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 470 |
| 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 | 470 |
| 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 | 470 |
| 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.00 c #variables 470 #constraints 470 0.09/0.19 c bounds - >= 0 @ 0.003034 0.09/0.19 c bounds 224 >= 0 @ 0.135984 0.09/0.19 c bounds 224 >= 1 @ 0.136071 0.09/0.19 c bounds 224 >= 2 @ 0.136071 0.09/0.19 c bounds 224 >= 3 @ 0.136071 0.09/0.19 c bounds 224 >= 4 @ 0.136071 0.09/0.19 c bounds 224 >= 5 @ 0.136071 0.09/0.19 c bounds 224 >= 6 @ 0.136201 0.09/0.19 c bounds 224 >= 7 @ 0.136386 0.09/0.19 c bounds 224 >= 8 @ 0.136573 0.09/0.19 c bounds 224 >= 9 @ 0.136757 0.09/0.19 c bounds 224 >= 10 @ 0.136929 0.09/0.19 c bounds 224 >= 11 @ 0.137107 0.09/0.19 c bounds 224 >= 12 @ 0.137301 0.09/0.19 c bounds 224 >= 13 @ 0.137494 0.09/0.19 c bounds 224 >= 14 @ 0.137694 0.09/0.19 c bounds 224 >= 15 @ 0.1379 0.09/0.19 c bounds 224 >= 16 @ 0.138112 0.09/0.19 c bounds 224 >= 17 @ 0.13815 0.09/0.19 c bounds 224 >= 18 @ 0.13815 0.09/0.19 c bounds 224 >= 19 @ 0.13815 0.09/0.19 c bounds 224 >= 20 @ 0.13815 0.09/0.19 c bounds 224 >= 21 @ 0.13828 0.09/0.19 c bounds 224 >= 22 @ 0.138488 0.09/0.19 c bounds 224 >= 23 @ 0.138695 0.09/0.19 c bounds 224 >= 24 @ 0.138904 0.09/0.19 c bounds 224 >= 25 @ 0.139109 0.09/0.19 c bounds 224 >= 26 @ 0.139337 0.09/0.19 c bounds 223 >= 26 @ 0.147087 0.09/0.19 c bounds 223 >= 27 @ 0.147333 0.09/0.19 c bounds 223 >= 28 @ 0.147564 0.09/0.19 c bounds 223 >= 29 @ 0.1478 0.09/0.19 c bounds 223 >= 30 @ 0.148037 0.09/0.19 c bounds 223 >= 31 @ 0.148278 0.09/0.19 c bounds 223 >= 32 @ 0.148521 0.09/0.19 c bounds 223 >= 33 @ 0.148764 0.09/0.19 c bounds 223 >= 34 @ 0.14901 0.09/0.19 c bounds 223 >= 35 @ 0.149256 0.09/0.19 c bounds 223 >= 36 @ 0.149502 0.09/0.19 c bounds 223 >= 37 @ 0.149752 0.09/0.19 c bounds 223 >= 38 @ 0.149999 0.09/0.19 c bounds 223 >= 39 @ 0.150266 0.09/0.19 c bounds 223 >= 40 @ 0.150534 0.09/0.19 c bounds 223 >= 41 @ 0.150817 0.09/0.19 c bounds 223 >= 42 @ 0.151233 0.09/0.19 c bounds 223 >= 43 @ 0.151502 0.09/0.19 c bounds 223 >= 44 @ 0.151764 0.09/0.19 c bounds 223 >= 45 @ 0.152029 0.09/0.19 c bounds 223 >= 46 @ 0.152285 0.09/0.19 c bounds 223 >= 47 @ 0.152538 0.09/0.19 c bounds 223 >= 48 @ 0.152786 0.09/0.19 c bounds 223 >= 49 @ 0.153032 0.09/0.19 c bounds 223 >= 50 @ 0.153113 0.09/0.19 c bounds 223 >= 51 @ 0.153113 0.09/0.19 c bounds 223 >= 52 @ 0.153113 0.09/0.19 c bounds 223 >= 53 @ 0.153113 0.09/0.19 c bounds 223 >= 54 @ 0.153331 0.09/0.19 c bounds 223 >= 55 @ 0.15358 0.09/0.19 c bounds 223 >= 56 @ 0.153826 0.09/0.19 c bounds 223 >= 57 @ 0.154076 0.09/0.19 c bounds 223 >= 58 @ 0.154321 0.09/0.19 c bounds 223 >= 59 @ 0.154575 0.09/0.19 c bounds 223 >= 60 @ 0.154832 0.09/0.19 c bounds 223 >= 61 @ 0.155105 0.09/0.19 c bounds 223 >= 62 @ 0.155105 0.09/0.19 c bounds 223 >= 63 @ 0.155105 0.09/0.19 c bounds 223 >= 64 @ 0.155105 0.09/0.19 c bounds 223 >= 65 @ 0.155244 0.09/0.19 c bounds 223 >= 66 @ 0.15552 0.09/0.19 c bounds 223 >= 67 @ 0.15579 0.09/0.19 c bounds 223 >= 68 @ 0.156053 0.09/0.19 c bounds 223 >= 69 @ 0.156105 0.09/0.19 c bounds 223 >= 70 @ 0.156105 0.09/0.19 c bounds 223 >= 71 @ 0.156105 0.09/0.19 c bounds 223 >= 72 @ 0.15624 0.09/0.19 c bounds 223 >= 73 @ 0.156517 0.09/0.19 c bounds 223 >= 74 @ 0.156776 0.09/0.19 c bounds 223 >= 75 @ 0.157028 0.09/0.19 c bounds 223 >= 76 @ 0.157101 0.09/0.19 c bounds 223 >= 77 @ 0.157101 0.09/0.19 c bounds 223 >= 78 @ 0.157101 0.09/0.19 c bounds 223 >= 79 @ 0.157224 0.09/0.19 c bounds 223 >= 80 @ 0.157494 0.09/0.19 c bounds 223 >= 81 @ 0.15774 0.09/0.19 c bounds 223 >= 82 @ 0.157982 0.09/0.19 c bounds 223 >= 83 @ 0.15824 0.09/0.19 c bounds 223 >= 84 @ 0.158509 0.09/0.19 c bounds 223 >= 85 @ 0.158776 0.09/0.19 c bounds 223 >= 86 @ 0.159057 0.09/0.19 c bounds 223 >= 87 @ 0.159095 0.09/0.19 c bounds 223 >= 88 @ 0.159095 0.09/0.19 c bounds 223 >= 89 @ 0.159095 0.09/0.19 c bounds 223 >= 90 @ 0.159216 0.09/0.19 c bounds 223 >= 91 @ 0.159466 0.09/0.19 c bounds 223 >= 92 @ 0.159723 0.09/0.19 c bounds 223 >= 93 @ 0.159975 0.09/0.19 c bounds 223 >= 94 @ 0.160249 0.09/0.19 c bounds 223 >= 95 @ 0.160538 0.09/0.19 c bounds 223 >= 96 @ 0.160803 0.09/0.19 c bounds 223 >= 97 @ 0.161088 0.09/0.19 c bounds 223 >= 98 @ 0.161399 0.09/0.19 c bounds 223 >= 99 @ 0.161685 0.09/0.19 c bounds 223 >= 100 @ 0.161951 0.09/0.19 c bounds 223 >= 101 @ 0.162224 0.09/0.19 c bounds 223 >= 102 @ 0.162493 0.09/0.19 c bounds 223 >= 103 @ 0.162746 0.09/0.19 c bounds 223 >= 104 @ 0.163014 0.09/0.19 c bounds 223 >= 105 @ 0.163084 0.09/0.19 c bounds 223 >= 106 @ 0.163084 0.09/0.19 c bounds 223 >= 107 @ 0.163084 0.09/0.19 c bounds 223 >= 108 @ 0.163098 0.09/0.19 c bounds 222 >= 108 @ 0.165857 0.09/0.19 c bounds 222 >= 109 @ 0.166174 0.09/0.19 c bounds 222 >= 110 @ 0.166489 0.09/0.19 c bounds 222 >= 111 @ 0.166783 0.09/0.19 c bounds 222 >= 112 @ 0.16707 0.09/0.19 c bounds 222 >= 113 @ 0.16736 0.09/0.19 c bounds 222 >= 114 @ 0.167642 0.09/0.19 c bounds 222 >= 115 @ 0.167929 0.09/0.19 c bounds 222 >= 116 @ 0.168233 0.09/0.19 c bounds 222 >= 117 @ 0.168539 0.09/0.19 c bounds 222 >= 118 @ 0.16883 0.09/0.19 c bounds 222 >= 119 @ 0.169116 0.09/0.19 c bounds 222 >= 120 @ 0.169411 0.09/0.19 c bounds 222 >= 121 @ 0.169742 0.09/0.19 c bounds 222 >= 122 @ 0.170042 0.09/0.19 c bounds 222 >= 123 @ 0.170068 0.09/0.19 c bounds 222 >= 124 @ 0.170068 0.09/0.19 c bounds 222 >= 125 @ 0.170068 0.09/0.19 c bounds 222 >= 126 @ 0.170399 0.09/0.19 c bounds 222 >= 127 @ 0.170748 0.09/0.19 c bounds 222 >= 128 @ 0.171094 0.09/0.19 c bounds 222 >= 129 @ 0.171436 0.09/0.19 c bounds 222 >= 130 @ 0.171792 0.09/0.19 c bounds 222 >= 131 @ 0.172166 0.09/0.19 c bounds 222 >= 132 @ 0.172553 0.09/0.19 c bounds 222 >= 133 @ 0.172955 0.79/0.83 c bounds 221 >= 133 @ 0.174812 0.79/0.83 c bounds 221 >= 134 @ 0.175051 0.79/0.83 c bounds 221 >= 135 @ 0.175054 0.79/0.83 c bounds 221 >= 136 @ 0.175054 0.79/0.83 c bounds 221 >= 137 @ 0.176534 0.79/0.83 c bounds 220 >= 137 @ 0.178834 0.79/0.83 c bounds 220 >= 138 @ 0.180065 0.79/0.83 c bounds 220 >= 139 @ 0.181394 0.79/0.83 c bounds 220 >= 140 @ 0.184963 0.79/0.83 c bounds 219 >= 140 @ 0.18618 0.79/0.83 c #Conflicts: 1000 | #Constraints: 2114 0.79/0.83 c bounds 218 >= 140 @ 0.335868 0.79/0.83 c bounds 218 >= 141 @ 0.344222 0.79/0.83 c bounds 218 >= 142 @ 0.392433 0.79/0.83 c #Conflicts: 2000 | #Constraints: 3205 0.79/0.83 c INPROCESSING 0.79/0.83 c GARBAGE COLLECT 0.79/0.83 c rational objective 142 1.49/1.51 c bounds 217 >= 142 @ 0.819898 1.49/1.51 c bounds 216 >= 142 @ 0.822721 1.49/1.51 c bounds 215 >= 142 @ 0.82529 1.49/1.51 c #Conflicts: 3000 | #Constraints: 3114 1.49/1.51 c bounds 214 >= 142 @ 1.00341 1.49/1.51 c bounds 214 >= 143 @ 1.01401 1.49/1.51 c #Conflicts: 4000 | #Constraints: 4169 1.49/1.51 c INPROCESSING 1.49/1.51 c GARBAGE COLLECT 1.49/1.51 c rational objective 143 2.38/2.45 c bounds 213 >= 143 @ 1.42987 2.38/2.45 c #Conflicts: 5000 | #Constraints: 3600 2.38/2.45 c bounds 212 >= 143 @ 1.57162 2.38/2.45 c bounds 211 >= 143 @ 1.73882 2.38/2.45 c #Conflicts: 6000 | #Constraints: 4602 2.38/2.45 c bounds 211 >= 144 @ 2.09503 2.38/2.45 c INPROCESSING 2.38/2.45 c GARBAGE COLLECT 2.38/2.45 c rational objective 144 3.27/3.34 c #Conflicts: 7000 | #Constraints: 3611 3.27/3.34 c #Conflicts: 8000 | #Constraints: 4611 3.27/3.34 c bounds 210 >= 144 @ 2.73365 3.27/3.34 c #Conflicts: 9000 | #Constraints: 5612 3.27/3.34 c INPROCESSING 3.27/3.34 c GARBAGE COLLECT 3.27/3.34 c rational objective 144 4.18/4.29 c #Conflicts: 10000 | #Constraints: 4345 4.18/4.29 c #Conflicts: 11000 | #Constraints: 5345 4.18/4.29 c bounds 210 >= 145 @ 3.8696 4.18/4.29 c bounds 209 >= 145 @ 3.87858 4.18/4.29 c bounds 208 >= 145 @ 3.88266 4.18/4.29 c #Conflicts: 12000 | #Constraints: 6389 4.18/4.29 c INPROCESSING 4.18/4.29 c GARBAGE COLLECT 4.18/4.29 c rational objective 145 5.17/5.27 c bounds 207 >= 145 @ 4.20427 5.17/5.27 c bounds 206 >= 145 @ 4.29272 5.17/5.27 c #Conflicts: 13000 | #Constraints: 4811 5.17/5.27 c #Conflicts: 14000 | #Constraints: 5811 5.17/5.27 c bounds 205 >= 145 @ 4.76087 5.17/5.27 c #Conflicts: 15000 | #Constraints: 6812 5.17/5.27 c INPROCESSING 5.17/5.27 c GARBAGE COLLECT 5.17/5.27 c rational objective 145 6.56/6.63 c #Conflicts: 16000 | #Constraints: 5021 6.56/6.63 c #Conflicts: 17000 | #Constraints: 6021 6.56/6.63 c #Conflicts: 18000 | #Constraints: 7021 6.56/6.63 c INPROCESSING 6.56/6.63 c GARBAGE COLLECT 6.56/6.63 c rational objective 145 8.16/8.22 c #Conflicts: 19000 | #Constraints: 5035 8.16/8.22 c #Conflicts: 20000 | #Constraints: 6035 8.16/8.22 c #Conflicts: 21000 | #Constraints: 7035 8.16/8.22 c INPROCESSING 8.16/8.22 c GARBAGE COLLECT 8.16/8.22 c rational objective 145 10.06/10.12 c #Conflicts: 22000 | #Constraints: 4899 10.06/10.12 c #Conflicts: 23000 | #Constraints: 5899 10.06/10.12 c #Conflicts: 24000 | #Constraints: 6899 10.06/10.12 c #Conflicts: 25000 | #Constraints: 7899 10.06/10.12 c INPROCESSING 10.06/10.12 c GARBAGE COLLECT 10.06/10.12 c rational objective 145 11.55/11.68 c #Conflicts: 26000 | #Constraints: 5542 11.55/11.68 c #Conflicts: 27000 | #Constraints: 6542 11.55/11.68 c #Conflicts: 28000 | #Constraints: 7542 11.55/11.68 c #Conflicts: 29000 | #Constraints: 8542 11.55/11.68 c INPROCESSING 11.55/11.68 c GARBAGE COLLECT 11.55/11.68 c rational objective 145 13.74/13.82 c #Conflicts: 30000 | #Constraints: 5889 13.74/13.82 c bounds 204 >= 145 @ 11.7549 13.74/13.82 c #Conflicts: 31000 | #Constraints: 6890 13.74/13.82 c #Conflicts: 32000 | #Constraints: 7890 13.74/13.82 c #Conflicts: 33000 | #Constraints: 8890 13.74/13.82 c INPROCESSING 13.74/13.82 c GARBAGE COLLECT 13.74/13.82 c rational objective 145 29.77/29.96 c #Conflicts: 34000 | #Constraints: 6113 29.77/29.96 c #Conflicts: 35000 | #Constraints: 7113 29.77/29.96 c #Conflicts: 36000 | #Constraints: 8113 29.77/29.96 c #Conflicts: 37000 | #Constraints: 9113 29.77/29.96 c #Conflicts: 38000 | #Constraints: 10113 29.77/29.96 c #Conflicts: 39000 | #Constraints: 11113 29.77/29.96 c #Conflicts: 40000 | #Constraints: 12113 29.77/29.96 c #Conflicts: 41000 | #Constraints: 13113 29.77/29.96 c #Conflicts: 42000 | #Constraints: 14113 29.77/29.96 c #Conflicts: 43000 | #Constraints: 15113 29.77/29.96 c #Conflicts: 44000 | #Constraints: 16113 29.77/29.96 c #Conflicts: 45000 | #Constraints: 17113 29.77/29.96 c #Conflicts: 46000 | #Constraints: 18113 29.77/29.96 c #Conflicts: 47000 | #Constraints: 19113 29.77/29.96 c #Conflicts: 48000 | #Constraints: 20113 29.77/29.96 c INPROCESSING 29.77/29.96 c GARBAGE COLLECT 29.77/29.96 c rational objective 145 38.73/38.95 c #Conflicts: 49000 | #Constraints: 11682 38.73/38.95 c #Conflicts: 50000 | #Constraints: 12682 38.73/38.95 c #Conflicts: 51000 | #Constraints: 13682 38.73/38.95 c #Conflicts: 52000 | #Constraints: 14682 38.73/38.95 c #Conflicts: 53000 | #Constraints: 15682 38.73/38.95 c INPROCESSING 38.73/38.95 c GARBAGE COLLECT 38.73/38.95 c rational objective 145 43.22/43.41 c #Conflicts: 54000 | #Constraints: 9387 43.22/43.41 c bounds 204 >= 146 @ 38.7094 43.22/43.41 c #Conflicts: 55000 | #Constraints: 10438 43.22/43.41 c #Conflicts: 56000 | #Constraints: 11438 43.22/43.41 c #Conflicts: 57000 | #Constraints: 12438 43.22/43.41 c #Conflicts: 58000 | #Constraints: 13438 43.22/43.41 c INPROCESSING 43.22/43.41 c GARBAGE COLLECT 43.22/43.41 c rational objective 146 47.60/47.88 c #Conflicts: 59000 | #Constraints: 8032 47.60/47.88 c #Conflicts: 60000 | #Constraints: 9032 47.60/47.88 c #Conflicts: 61000 | #Constraints: 10032 47.60/47.88 c #Conflicts: 62000 | #Constraints: 11032 47.60/47.88 c #Conflicts: 63000 | #Constraints: 12032 47.60/47.88 c #Conflicts: 64000 | #Constraints: 13032 47.60/47.88 c INPROCESSING 47.60/47.88 c GARBAGE COLLECT 47.60/47.88 c rational objective 146 73.40/73.70 c #Conflicts: 65000 | #Constraints: 7986 73.40/73.70 c #Conflicts: 66000 | #Constraints: 8986 73.40/73.70 c #Conflicts: 67000 | #Constraints: 9986 73.40/73.70 c #Conflicts: 68000 | #Constraints: 10986 73.40/73.70 c #Conflicts: 69000 | #Constraints: 11986 73.40/73.70 c #Conflicts: 70000 | #Constraints: 12986 73.40/73.70 c #Conflicts: 71000 | #Constraints: 13986 73.40/73.70 c #Conflicts: 72000 | #Constraints: 14986 73.40/73.70 c #Conflicts: 73000 | #Constraints: 15986 73.40/73.70 c #Conflicts: 74000 | #Constraints: 16986 73.40/73.70 c #Conflicts: 75000 | #Constraints: 17986 73.40/73.70 c #Conflicts: 76000 | #Constraints: 18986 73.40/73.70 c #Conflicts: 77000 | #Constraints: 19986 73.40/73.70 c #Conflicts: 78000 | #Constraints: 20986 73.40/73.70 c #Conflicts: 79000 | #Constraints: 21986 73.40/73.70 c #Conflicts: 80000 | #Constraints: 22986 73.40/73.70 c #Conflicts: 81000 | #Constraints: 23986 73.40/73.70 c #Conflicts: 82000 | #Constraints: 24986 73.40/73.70 c bounds 204 >= 147 @ 70.6697 73.40/73.70 c #Conflicts: 83000 | #Constraints: 26040 73.40/73.70 c bounds 203 >= 147 @ 70.9418 73.40/73.70 c #Conflicts: 84000 | #Constraints: 27041 73.40/73.70 c INPROCESSING 73.40/73.70 c GARBAGE COLLECT 73.40/73.70 c rational objective 147 79.38/79.76 c #Conflicts: 85000 | #Constraints: 14797 79.38/79.76 c #Conflicts: 86000 | #Constraints: 15797 79.38/79.76 c #Conflicts: 87000 | #Constraints: 16797 79.38/79.76 c #Conflicts: 88000 | #Constraints: 17797 79.38/79.76 c #Conflicts: 89000 | #Constraints: 18797 79.38/79.76 c #Conflicts: 90000 | #Constraints: 19797 79.38/79.76 c #Conflicts: 91000 | #Constraints: 20797 79.38/79.76 c INPROCESSING 79.38/79.76 c GARBAGE COLLECT 79.38/79.76 c rational objective 147 84.45/84.80 c #Conflicts: 92000 | #Constraints: 11680 84.45/84.80 c #Conflicts: 93000 | #Constraints: 12680 84.45/84.80 c #Conflicts: 94000 | #Constraints: 13680 84.45/84.80 c #Conflicts: 95000 | #Constraints: 14680 84.45/84.80 c #Conflicts: 96000 | #Constraints: 15680 84.45/84.80 c #Conflicts: 97000 | #Constraints: 16680 84.45/84.80 c #Conflicts: 98000 | #Constraints: 17680 84.45/84.80 c #Conflicts: 99000 | #Constraints: 18680 84.45/84.80 c INPROCESSING 84.45/84.80 c GARBAGE COLLECT 84.45/84.80 c rational objective 147 92.32/92.78 c #Conflicts: 100000 | #Constraints: 11023 92.32/92.78 c #Conflicts: 101000 | #Constraints: 12023 92.32/92.78 c #Conflicts: 102000 | #Constraints: 13023 92.32/92.78 c #Conflicts: 103000 | #Constraints: 14023 92.32/92.78 c bounds 202 >= 147 @ 85.6392 92.32/92.78 c #Conflicts: 104000 | #Constraints: 15024 92.32/92.78 c bounds 201 >= 147 @ 86.2287 92.32/92.78 c #Conflicts: 105000 | #Constraints: 16025 92.32/92.78 c #Conflicts: 106000 | #Constraints: 17025 92.32/92.78 c INPROCESSING 92.32/92.78 c GARBAGE COLLECT 92.32/92.78 c rational objective 147 136.04/136.61 c bounds 200 >= 147 @ 90.6304 136.04/136.61 c #Conflicts: 107000 | #Constraints: 10061 136.04/136.61 c bounds 199 >= 147 @ 90.8886 136.04/136.61 c #Conflicts: 108000 | #Constraints: 11062 136.04/136.61 c #Conflicts: 109000 | #Constraints: 12062 136.04/136.61 c #Conflicts: 110000 | #Constraints: 13062 136.04/136.61 c bounds 198 >= 147 @ 93.1169 136.04/136.61 c #Conflicts: 111000 | #Constraints: 14063 136.04/136.61 c #Conflicts: 112000 | #Constraints: 15063 136.04/136.61 c #Conflicts: 113000 | #Constraints: 16063 136.04/136.61 c #Conflicts: 114000 | #Constraints: 17063 136.04/136.61 c #Conflicts: 115000 | #Constraints: 18063 136.04/136.61 c #Conflicts: 116000 | #Constraints: 19063 136.04/136.61 c #Conflicts: 117000 | #Constraints: 20063 136.04/136.61 c #Conflicts: 118000 | #Constraints: 21063 136.04/136.61 c #Conflicts: 119000 | #Constraints: 22063 136.04/136.61 c #Conflicts: 120000 | #Constraints: 23063 136.04/136.61 c #Conflicts: 121000 | #Constraints: 24063 136.04/136.61 c #Conflicts: 122000 | #Constraints: 25063 136.04/136.61 c #Conflicts: 123000 | #Constraints: 26063 136.04/136.61 c #Conflicts: 124000 | #Constraints: 27063 136.04/136.61 c #Conflicts: 125000 | #Constraints: 28063 136.04/136.61 c #Conflicts: 126000 | #Constraints: 29063 136.04/136.61 c #Conflicts: 127000 | #Constraints: 30063 136.04/136.61 c #Conflicts: 128000 | #Constraints: 31063 136.04/136.61 c #Conflicts: 129000 | #Constraints: 32063 136.04/136.61 c #Conflicts: 130000 | #Constraints: 33063 136.04/136.61 c #Conflicts: 131000 | #Constraints: 34063 136.04/136.61 c #Conflicts: 132000 | #Constraints: 35063 136.04/136.61 c INPROCESSING 136.04/136.61 c GARBAGE COLLECT 136.04/136.61 c rational objective 147 172.19/172.96 c #Conflicts: 133000 | #Constraints: 19215 172.19/172.96 c #Conflicts: 134000 | #Constraints: 20215 172.19/172.96 c #Conflicts: 135000 | #Constraints: 21215 172.19/172.96 c #Conflicts: 136000 | #Constraints: 22215 172.19/172.96 c #Conflicts: 137000 | #Constraints: 23215 172.19/172.96 c #Conflicts: 138000 | #Constraints: 24215 172.19/172.96 c #Conflicts: 139000 | #Constraints: 25215 172.19/172.96 c #Conflicts: 140000 | #Constraints: 26215 172.19/172.96 c INPROCESSING 172.19/172.96 c GARBAGE COLLECT 172.19/172.96 c rational objective 147 186.63/187.48 c #Conflicts: 141000 | #Constraints: 14503 186.63/187.48 c #Conflicts: 142000 | #Constraints: 15503 186.63/187.48 c #Conflicts: 143000 | #Constraints: 16503 186.63/187.48 c #Conflicts: 144000 | #Constraints: 17503 186.63/187.48 c #Conflicts: 145000 | #Constraints: 18503 186.63/187.48 c #Conflicts: 146000 | #Constraints: 19503 186.63/187.48 c #Conflicts: 147000 | #Constraints: 20503 186.63/187.48 c #Conflicts: 148000 | #Constraints: 21503 186.63/187.48 c #Conflicts: 149000 | #Constraints: 22503 186.63/187.48 c INPROCESSING 186.63/187.48 c GARBAGE COLLECT 186.63/187.48 c rational objective 147 260.54/261.64 c #Conflicts: 150000 | #Constraints: 12702 260.54/261.64 c #Conflicts: 151000 | #Constraints: 13702 260.54/261.64 c #Conflicts: 152000 | #Constraints: 14702 260.54/261.64 c #Conflicts: 153000 | #Constraints: 15702 260.54/261.64 c #Conflicts: 154000 | #Constraints: 16702 260.54/261.64 c #Conflicts: 155000 | #Constraints: 17702 260.54/261.64 c #Conflicts: 156000 | #Constraints: 18702 260.54/261.64 c #Conflicts: 157000 | #Constraints: 19702 260.54/261.64 c #Conflicts: 158000 | #Constraints: 20702 260.54/261.64 c #Conflicts: 159000 | #Constraints: 21702 260.54/261.64 c #Conflicts: 160000 | #Constraints: 22702 260.54/261.64 c #Conflicts: 161000 | #Constraints: 23702 260.54/261.64 c #Conflicts: 162000 | #Constraints: 24702 260.54/261.64 c #Conflicts: 163000 | #Constraints: 25702 260.54/261.64 c #Conflicts: 164000 | #Constraints: 26702 260.54/261.64 c #Conflicts: 165000 | #Constraints: 27702 260.54/261.64 c #Conflicts: 166000 | #Constraints: 28702 260.54/261.64 c #Conflicts: 167000 | #Constraints: 29702 260.54/261.64 c #Conflicts: 168000 | #Constraints: 30702 260.54/261.64 c #Conflicts: 169000 | #Constraints: 31702 260.54/261.64 c #Conflicts: 170000 | #Constraints: 32702 260.54/261.64 c #Conflicts: 171000 | #Constraints: 33702 260.54/261.64 c #Conflicts: 172000 | #Constraints: 34702 260.54/261.64 c #Conflicts: 173000 | #Constraints: 35702 260.54/261.64 c #Conflicts: 174000 | #Constraints: 36702 260.54/261.64 c #Conflicts: 175000 | #Constraints: 37702 260.54/261.64 c #Conflicts: 176000 | #Constraints: 38702 260.54/261.64 c #Conflicts: 177000 | #Constraints: 39702 260.54/261.64 c #Conflicts: 178000 | #Constraints: 40702 260.54/261.64 c #Conflicts: 179000 | #Constraints: 41702 260.54/261.64 c INPROCESSING 260.54/261.64 c GARBAGE COLLECT 260.54/261.64 c rational objective 147 289.25/290.45 c #Conflicts: 180000 | #Constraints: 22417 289.25/290.45 c #Conflicts: 181000 | #Constraints: 23417 289.25/290.45 c #Conflicts: 182000 | #Constraints: 24417 289.25/290.45 c #Conflicts: 183000 | #Constraints: 25417 289.25/290.45 c #Conflicts: 184000 | #Constraints: 26417 289.25/290.45 c #Conflicts: 185000 | #Constraints: 27417 289.25/290.45 c #Conflicts: 186000 | #Constraints: 28417 289.25/290.45 c #Conflicts: 187000 | #Constraints: 29417 289.25/290.45 c #Conflicts: 188000 | #Constraints: 30417 289.25/290.45 c #Conflicts: 189000 | #Constraints: 31417 289.25/290.45 c INPROCESSING 289.25/290.45 c GARBAGE COLLECT 289.25/290.45 c rational objective 147 316.75/318.00 c #Conflicts: 190000 | #Constraints: 17100 316.75/318.00 c #Conflicts: 191000 | #Constraints: 18100 316.75/318.00 c #Conflicts: 192000 | #Constraints: 19100 316.75/318.00 c #Conflicts: 193000 | #Constraints: 20100 316.75/318.00 c #Conflicts: 194000 | #Constraints: 21100 316.75/318.00 c #Conflicts: 195000 | #Constraints: 22100 316.75/318.00 c #Conflicts: 196000 | #Constraints: 23100 316.75/318.00 c #Conflicts: 197000 | #Constraints: 24100 316.75/318.00 c #Conflicts: 198000 | #Constraints: 25100 316.75/318.00 c #Conflicts: 199000 | #Constraints: 26100 316.75/318.00 c #Conflicts: 200000 | #Constraints: 27100 316.75/318.00 c INPROCESSING 316.75/318.00 c GARBAGE COLLECT 316.75/318.00 c rational objective 147 413.72/415.31 c #Conflicts: 201000 | #Constraints: 15235 413.72/415.31 c #Conflicts: 202000 | #Constraints: 16235 413.72/415.31 c #Conflicts: 203000 | #Constraints: 17235 413.72/415.31 c #Conflicts: 204000 | #Constraints: 18235 413.72/415.31 c #Conflicts: 205000 | #Constraints: 19235 413.72/415.31 c #Conflicts: 206000 | #Constraints: 20235 413.72/415.31 c #Conflicts: 207000 | #Constraints: 21235 413.72/415.31 c #Conflicts: 208000 | #Constraints: 22235 413.72/415.31 c #Conflicts: 209000 | #Constraints: 23235 413.72/415.31 c #Conflicts: 210000 | #Constraints: 24235 413.72/415.31 c #Conflicts: 211000 | #Constraints: 25235 413.72/415.31 c #Conflicts: 212000 | #Constraints: 26235 413.72/415.31 c #Conflicts: 213000 | #Constraints: 27235 413.72/415.31 c #Conflicts: 214000 | #Constraints: 28235 413.72/415.31 c #Conflicts: 215000 | #Constraints: 29235 413.72/415.31 c #Conflicts: 216000 | #Constraints: 30235 413.72/415.31 c #Conflicts: 217000 | #Constraints: 31235 413.72/415.31 c #Conflicts: 218000 | #Constraints: 32235 413.72/415.31 c #Conflicts: 219000 | #Constraints: 33235 413.72/415.31 c #Conflicts: 220000 | #Constraints: 34235 413.72/415.31 c #Conflicts: 221000 | #Constraints: 35235 413.72/415.31 c #Conflicts: 222000 | #Constraints: 36235 413.72/415.31 c #Conflicts: 223000 | #Constraints: 37235 413.72/415.31 c #Conflicts: 224000 | #Constraints: 38235 413.72/415.31 c #Conflicts: 225000 | #Constraints: 39235 413.72/415.31 c #Conflicts: 226000 | #Constraints: 40235 413.72/415.31 c #Conflicts: 227000 | #Constraints: 41235 413.72/415.31 c #Conflicts: 228000 | #Constraints: 42235 413.72/415.31 c #Conflicts: 229000 | #Constraints: 43235 413.72/415.31 c #Conflicts: 230000 | #Constraints: 44235 413.72/415.31 c #Conflicts: 231000 | #Constraints: 45235 413.72/415.31 c #Conflicts: 232000 | #Constraints: 46235 413.72/415.31 c #Conflicts: 233000 | #Constraints: 47235 413.72/415.31 c #Conflicts: 234000 | #Constraints: 48235 413.72/415.31 c INPROCESSING 413.72/415.31 c GARBAGE COLLECT 413.72/415.31 c rational objective 147 431.46/433.18 c bounds 197 >= 147 @ 409.482 431.46/433.18 c #Conflicts: 235000 | #Constraints: 25890 431.46/433.18 c bounds 196 >= 147 @ 410.285 431.46/433.18 c bounds 195 >= 147 @ 410.425 431.46/433.18 c #Conflicts: 236000 | #Constraints: 26892 431.46/433.18 c #Conflicts: 237000 | #Constraints: 27892 431.46/433.18 c #Conflicts: 238000 | #Constraints: 28892 431.46/433.18 c #Conflicts: 239000 | #Constraints: 29892 431.46/433.18 c #Conflicts: 240000 | #Constraints: 30892 431.46/433.18 c #Conflicts: 241000 | #Constraints: 31892 431.46/433.18 c #Conflicts: 242000 | #Constraints: 32892 431.46/433.18 c #Conflicts: 243000 | #Constraints: 33892 431.46/433.18 c #Conflicts: 244000 | #Constraints: 34892 431.46/433.18 c #Conflicts: 245000 | #Constraints: 35892 431.46/433.18 c INPROCESSING 431.46/433.18 c GARBAGE COLLECT 431.46/433.18 c rational objective 147 444.80/446.53 c #Conflicts: 246000 | #Constraints: 19281 444.80/446.53 c #Conflicts: 247000 | #Constraints: 20281 444.80/446.53 c #Conflicts: 248000 | #Constraints: 21281 444.80/446.53 c #Conflicts: 249000 | #Constraints: 22281 444.80/446.53 c #Conflicts: 250000 | #Constraints: 23281 444.80/446.53 c #Conflicts: 251000 | #Constraints: 24281 444.80/446.53 c #Conflicts: 252000 | #Constraints: 25281 444.80/446.53 c #Conflicts: 253000 | #Constraints: 26281 444.80/446.53 c #Conflicts: 254000 | #Constraints: 27281 444.80/446.53 c #Conflicts: 255000 | #Constraints: 28281 444.80/446.53 c #Conflicts: 256000 | #Constraints: 29281 444.80/446.53 c #Conflicts: 257000 | #Constraints: 30281 444.80/446.53 c INPROCESSING 444.80/446.53 c GARBAGE COLLECT 444.80/446.53 c rational objective 147 548.93/551.09 c #Conflicts: 258000 | #Constraints: 16522 548.93/551.09 c #Conflicts: 259000 | #Constraints: 17522 548.93/551.09 c #Conflicts: 260000 | #Constraints: 18522 548.93/551.09 c #Conflicts: 261000 | #Constraints: 19522 548.93/551.09 c #Conflicts: 262000 | #Constraints: 20522 548.93/551.09 c #Conflicts: 263000 | #Constraints: 21522 548.93/551.09 c #Conflicts: 264000 | #Constraints: 22522 548.93/551.09 c #Conflicts: 265000 | #Constraints: 23522 548.93/551.09 c #Conflicts: 266000 | #Constraints: 24522 548.93/551.09 c #Conflicts: 267000 | #Constraints: 25522 548.93/551.09 c #Conflicts: 268000 | #Constraints: 26522 548.93/551.09 c #Conflicts: 269000 | #Constraints: 27522 548.93/551.09 c #Conflicts: 270000 | #Constraints: 28522 548.93/551.09 c #Conflicts: 271000 | #Constraints: 29522 548.93/551.09 c #Conflicts: 272000 | #Constraints: 30522 548.93/551.09 c #Conflicts: 273000 | #Constraints: 31522 548.93/551.09 c #Conflicts: 274000 | #Constraints: 32522 548.93/551.09 c #Conflicts: 275000 | #Constraints: 33522 548.93/551.09 c #Conflicts: 276000 | #Constraints: 34522 548.93/551.09 c #Conflicts: 277000 | #Constraints: 35522 548.93/551.09 c #Conflicts: 278000 | #Constraints: 36522 548.93/551.09 c #Conflicts: 279000 | #Constraints: 37522 548.93/551.09 c #Conflicts: 280000 | #Constraints: 38522 548.93/551.09 c #Conflicts: 281000 | #Constraints: 39522 548.93/551.09 c #Conflicts: 282000 | #Constraints: 40522 548.93/551.09 c #Conflicts: 283000 | #Constraints: 41522 548.93/551.09 c #Conflicts: 284000 | #Constraints: 42522 548.93/551.09 c #Conflicts: 285000 | #Constraints: 43522 548.93/551.09 c #Conflicts: 286000 | #Constraints: 44522 548.93/551.09 c #Conflicts: 287000 | #Constraints: 45522 548.93/551.09 c #Conflicts: 288000 | #Constraints: 46522 548.93/551.09 c #Conflicts: 289000 | #Constraints: 47522 548.93/551.09 c #Conflicts: 290000 | #Constraints: 48522 548.93/551.09 c #Conflicts: 291000 | #Constraints: 49522 548.93/551.09 c #Conflicts: 292000 | #Constraints: 50522 548.93/551.09 c #Conflicts: 293000 | #Constraints: 51522 548.93/551.09 c #Conflicts: 294000 | #Constraints: 52522 548.93/551.09 c #Conflicts: 295000 | #Constraints: 53522 548.93/551.09 c INPROCESSING 548.93/551.09 c GARBAGE COLLECT 548.93/551.09 c rational objective 147 627.86/630.24 c #Conflicts: 296000 | #Constraints: 28051 627.86/630.24 c #Conflicts: 297000 | #Constraints: 29051 627.86/630.24 c #Conflicts: 298000 | #Constraints: 30051 627.86/630.24 c #Conflicts: 299000 | #Constraints: 31051 627.86/630.24 c #Conflicts: 300000 | #Constraints: 32051 627.86/630.24 c #Conflicts: 301000 | #Constraints: 33051 627.86/630.24 c #Conflicts: 302000 | #Constraints: 34051 627.86/630.24 c #Conflicts: 303000 | #Constraints: 35051 627.86/630.24 c #Conflicts: 304000 | #Constraints: 36051 627.86/630.24 c #Conflicts: 305000 | #Constraints: 37051 627.86/630.24 c #Conflicts: 306000 | #Constraints: 38051 627.86/630.24 c #Conflicts: 307000 | #Constraints: 39051 627.86/630.24 c #Conflicts: 308000 | #Constraints: 40051 627.86/630.24 c #Conflicts: 309000 | #Constraints: 41051 627.86/630.24 c INPROCESSING 627.86/630.24 c GARBAGE COLLECT 627.86/630.24 c rational objective 147 665.93/668.42 c #Conflicts: 310000 | #Constraints: 22291 665.93/668.42 c #Conflicts: 311000 | #Constraints: 23291 665.93/668.42 c #Conflicts: 312000 | #Constraints: 24291 665.93/668.42 c #Conflicts: 313000 | #Constraints: 25291 665.93/668.42 c #Conflicts: 314000 | #Constraints: 26291 665.93/668.42 c #Conflicts: 315000 | #Constraints: 27291 665.93/668.42 c #Conflicts: 316000 | #Constraints: 28291 665.93/668.42 c #Conflicts: 317000 | #Constraints: 29291 665.93/668.42 c #Conflicts: 318000 | #Constraints: 30291 665.93/668.42 c #Conflicts: 319000 | #Constraints: 31291 665.93/668.42 c #Conflicts: 320000 | #Constraints: 32291 665.93/668.42 c #Conflicts: 321000 | #Constraints: 33291 665.93/668.42 c #Conflicts: 322000 | #Constraints: 34291 665.93/668.42 c INPROCESSING 665.93/668.42 c GARBAGE COLLECT 665.93/668.42 c rational objective 147 807.90/810.96 c #Conflicts: 323000 | #Constraints: 18726 807.90/810.96 c #Conflicts: 324000 | #Constraints: 19726 807.90/810.96 c #Conflicts: 325000 | #Constraints: 20726 807.90/810.96 c #Conflicts: 326000 | #Constraints: 21726 807.90/810.96 c #Conflicts: 327000 | #Constraints: 22726 807.90/810.96 c #Conflicts: 328000 | #Constraints: 23726 807.90/810.96 c #Conflicts: 329000 | #Constraints: 24726 807.90/810.96 c #Conflicts: 330000 | #Constraints: 25726 807.90/810.96 c #Conflicts: 331000 | #Constraints: 26726 807.90/810.96 c #Conflicts: 332000 | #Constraints: 27726 807.90/810.96 c #Conflicts: 333000 | #Constraints: 28726 807.90/810.96 c #Conflicts: 334000 | #Constraints: 29726 807.90/810.96 c #Conflicts: 335000 | #Constraints: 30726 807.90/810.96 c #Conflicts: 336000 | #Constraints: 31726 807.90/810.96 c #Conflicts: 337000 | #Constraints: 32726 807.90/810.96 c #Conflicts: 338000 | #Constraints: 33726 807.90/810.96 c #Conflicts: 339000 | #Constraints: 34726 807.90/810.96 c #Conflicts: 340000 | #Constraints: 35726 807.90/810.96 c #Conflicts: 341000 | #Constraints: 36726 807.90/810.96 c #Conflicts: 342000 | #Constraints: 37726 807.90/810.96 c #Conflicts: 343000 | #Constraints: 38726 807.90/810.96 c #Conflicts: 344000 | #Constraints: 39726 807.90/810.96 c #Conflicts: 345000 | #Constraints: 40726 807.90/810.96 c #Conflicts: 346000 | #Constraints: 41726 807.90/810.96 c #Conflicts: 347000 | #Constraints: 42726 807.90/810.96 c #Conflicts: 348000 | #Constraints: 43726 807.90/810.96 c #Conflicts: 349000 | #Constraints: 44726 807.90/810.96 c #Conflicts: 350000 | #Constraints: 45726 807.90/810.96 c #Conflicts: 351000 | #Constraints: 46726 807.90/810.96 c #Conflicts: 352000 | #Constraints: 47726 807.90/810.96 c #Conflicts: 353000 | #Constraints: 48726 807.90/810.96 c #Conflicts: 354000 | #Constraints: 49726 807.90/810.96 c #Conflicts: 355000 | #Constraints: 50726 807.90/810.96 c #Conflicts: 356000 | #Constraints: 51726 807.90/810.96 c bounds 195 >= 148 @ 783.565 807.90/810.96 c #Conflicts: 357000 | #Constraints: 52795 807.90/810.96 c #Conflicts: 358000 | #Constraints: 53795 807.90/810.96 c #Conflicts: 359000 | #Constraints: 54795 807.90/810.96 c #Conflicts: 360000 | #Constraints: 55795 807.90/810.96 c #Conflicts: 361000 | #Constraints: 56795 807.90/810.96 c #Conflicts: 362000 | #Constraints: 57795 807.90/810.96 c #Conflicts: 363000 | #Constraints: 58795 807.90/810.96 c #Conflicts: 364000 | #Constraints: 59795 807.90/810.96 c INPROCESSING 807.90/810.96 c GARBAGE COLLECT 807.90/810.96 c rational objective 148 833.60/836.73 c #Conflicts: 365000 | #Constraints: 31208 833.60/836.73 c #Conflicts: 366000 | #Constraints: 32208 833.60/836.73 c #Conflicts: 367000 | #Constraints: 33208 833.60/836.73 c #Conflicts: 368000 | #Constraints: 34208 833.60/836.73 c #Conflicts: 369000 | #Constraints: 35208 833.60/836.73 c #Conflicts: 370000 | #Constraints: 36208 833.60/836.73 c #Conflicts: 371000 | #Constraints: 37208 833.60/836.73 c #Conflicts: 372000 | #Constraints: 38208 833.60/836.73 c #Conflicts: 373000 | #Constraints: 39208 833.60/836.73 c #Conflicts: 374000 | #Constraints: 40208 833.60/836.73 c #Conflicts: 375000 | #Constraints: 41208 833.60/836.73 c #Conflicts: 376000 | #Constraints: 42208 833.60/836.73 c #Conflicts: 377000 | #Constraints: 43208 833.60/836.73 c #Conflicts: 378000 | #Constraints: 44208 833.60/836.73 c #Conflicts: 379000 | #Constraints: 45208 833.60/836.73 c INPROCESSING 833.60/836.73 c GARBAGE COLLECT 833.60/836.73 c rational objective 148 861.09/864.30 c #Conflicts: 380000 | #Constraints: 24077 861.09/864.30 c #Conflicts: 381000 | #Constraints: 25077 861.09/864.30 c #Conflicts: 382000 | #Constraints: 26077 861.09/864.30 c #Conflicts: 383000 | #Constraints: 27077 861.09/864.30 c #Conflicts: 384000 | #Constraints: 28077 861.09/864.30 c #Conflicts: 385000 | #Constraints: 29077 861.09/864.30 c #Conflicts: 386000 | #Constraints: 30077 861.09/864.30 c bounds 194 >= 148 @ 835.821 861.09/864.30 c #Conflicts: 387000 | #Constraints: 31078 861.09/864.30 c #Conflicts: 388000 | #Constraints: 32078 861.09/864.30 c #Conflicts: 389000 | #Constraints: 33078 861.09/864.30 c bounds 193 >= 148 @ 840.828 861.09/864.30 c #Conflicts: 390000 | #Constraints: 34079 861.09/864.30 c #Conflicts: 391000 | #Constraints: 35079 861.09/864.30 c #Conflicts: 392000 | #Constraints: 36079 861.09/864.30 c #Conflicts: 393000 | #Constraints: 37079 861.09/864.30 c #Conflicts: 394000 | #Constraints: 38079 861.09/864.30 c INPROCESSING 861.09/864.30 c GARBAGE COLLECT 861.09/864.30 c rational objective 148 1034.91/1039.38 c #Conflicts: 395000 | #Constraints: 20556 1034.91/1039.38 c #Conflicts: 396000 | #Constraints: 21556 1034.91/1039.38 c #Conflicts: 397000 | #Constraints: 22556 1034.91/1039.38 c #Conflicts: 398000 | #Constraints: 23556 1034.91/1039.38 c #Conflicts: 399000 | #Constraints: 24556 1034.91/1039.38 c #Conflicts: 400000 | #Constraints: 25556 1034.91/1039.38 c #Conflicts: 401000 | #Constraints: 26556 1034.91/1039.38 c #Conflicts: 402000 | #Constraints: 27556 1034.91/1039.38 c #Conflicts: 403000 | #Constraints: 28556 1034.91/1039.38 c #Conflicts: 404000 | #Constraints: 29556 1034.91/1039.38 c #Conflicts: 405000 | #Constraints: 30556 1034.91/1039.38 c #Conflicts: 406000 | #Constraints: 31556 1034.91/1039.38 c #Conflicts: 407000 | #Constraints: 32556 1034.91/1039.38 c #Conflicts: 408000 | #Constraints: 33556 1034.91/1039.38 c #Conflicts: 409000 | #Constraints: 34556 1034.91/1039.38 c #Conflicts: 410000 | #Constraints: 35556 1034.91/1039.38 c #Conflicts: 411000 | #Constraints: 36556 1034.91/1039.38 c #Conflicts: 412000 | #Constraints: 37556 1034.91/1039.38 c #Conflicts: 413000 | #Constraints: 38556 1034.91/1039.38 c #Conflicts: 414000 | #Constraints: 39556 1034.91/1039.38 c #Conflicts: 415000 | #Constraints: 40556 1034.91/1039.38 c #Conflicts: 416000 | #Constraints: 41556 1034.91/1039.38 c #Conflicts: 417000 | #Constraints: 42556 1034.91/1039.38 c #Conflicts: 418000 | #Constraints: 43556 1034.91/1039.38 c #Conflicts: 419000 | #Constraints: 44556 1034.91/1039.38 c #Conflicts: 420000 | #Constraints: 45556 1034.91/1039.38 c #Conflicts: 421000 | #Constraints: 46556 1034.91/1039.38 c #Conflicts: 422000 | #Constraints: 47556 1034.91/1039.38 c #Conflicts: 423000 | #Constraints: 48556 1034.91/1039.38 c #Conflicts: 424000 | #Constraints: 49556 1034.91/1039.38 c #Conflicts: 425000 | #Constraints: 50556 1034.91/1039.38 c #Conflicts: 426000 | #Constraints: 51556 1034.91/1039.38 c #Conflicts: 427000 | #Constraints: 52556 1034.91/1039.38 c #Conflicts: 428000 | #Constraints: 53556 1034.91/1039.38 c #Conflicts: 429000 | #Constraints: 54556 1034.91/1039.38 c #Conflicts: 430000 | #Constraints: 55556 1034.91/1039.38 c #Conflicts: 431000 | #Constraints: 56556 1034.91/1039.38 c #Conflicts: 432000 | #Constraints: 57556 1034.91/1039.38 c #Conflicts: 433000 | #Constraints: 58556 1034.91/1039.38 c #Conflicts: 434000 | #Constraints: 59556 1034.91/1039.38 c #Conflicts: 435000 | #Constraints: 60556 1034.91/1039.38 c #Conflicts: 436000 | #Constraints: 61556 1034.91/1039.38 c #Conflicts: 437000 | #Constraints: 62556 1034.91/1039.38 c #Conflicts: 438000 | #Constraints: 63556 1034.91/1039.38 c #Conflicts: 439000 | #Constraints: 64556 1034.91/1039.38 c #Conflicts: 440000 | #Constraints: 65556 1034.91/1039.38 c #Conflicts: 441000 | #Constraints: 66556 1034.91/1039.38 c INPROCESSING 1034.91/1039.38 c GARBAGE COLLECT 1034.91/1039.38 c rational objective 148 1142.83/1147.62 c #Conflicts: 442000 | #Constraints: 35007 1142.83/1147.62 c #Conflicts: 443000 | #Constraints: 36007 1142.83/1147.62 c #Conflicts: 444000 | #Constraints: 37007 1142.83/1147.62 c #Conflicts: 445000 | #Constraints: 38007 1142.83/1147.62 c #Conflicts: 446000 | #Constraints: 39007 1142.83/1147.62 c #Conflicts: 447000 | #Constraints: 40007 1142.83/1147.62 c #Conflicts: 448000 | #Constraints: 41007 1142.83/1147.62 c #Conflicts: 449000 | #Constraints: 42007 1142.83/1147.62 c #Conflicts: 450000 | #Constraints: 43007 1142.83/1147.62 c #Conflicts: 451000 | #Constraints: 44007 1142.83/1147.62 c #Conflicts: 452000 | #Constraints: 45007 1142.83/1147.62 c #Conflicts: 453000 | #Constraints: 46007 1142.83/1147.62 c #Conflicts: 454000 | #Constraints: 47007 1142.83/1147.62 c #Conflicts: 455000 | #Constraints: 48007 1142.83/1147.62 c #Conflicts: 456000 | #Constraints: 49007 1142.83/1147.62 c #Conflicts: 457000 | #Constraints: 50007 1142.83/1147.62 c INPROCESSING 1142.83/1147.62 c GARBAGE COLLECT 1142.83/1147.62 c rational objective 148 1194.74/1199.77 c #Conflicts: 458000 | #Constraints: 26707 1194.74/1199.77 c #Conflicts: 459000 | #Constraints: 27707 1194.74/1199.77 c #Conflicts: 460000 | #Constraints: 28707 1194.74/1199.77 c #Conflicts: 461000 | #Constraints: 29707 1194.74/1199.77 c #Conflicts: 462000 | #Constraints: 30707 1194.74/1199.77 c #Conflicts: 463000 | #Constraints: 31707 1194.74/1199.77 c #Conflicts: 464000 | #Constraints: 32707 1194.74/1199.77 c #Conflicts: 465000 | #Constraints: 33707 1194.74/1199.77 c #Conflicts: 466000 | #Constraints: 34707 1194.74/1199.77 c #Conflicts: 467000 | #Constraints: 35707 1194.74/1199.77 c #Conflicts: 468000 | #Constraints: 36707 1194.74/1199.77 c #Conflicts: 469000 | #Constraints: 37707 1194.74/1199.77 c #Conflicts: 470000 | #Constraints: 38707 1194.74/1199.77 c #Conflicts: 471000 | #Constraints: 39707 1194.74/1199.77 c #Conflicts: 472000 | #Constraints: 40707 1194.74/1199.77 c #Conflicts: 473000 | #Constraints: 41707 1194.74/1199.77 c INPROCESSING 1194.74/1199.77 c GARBAGE COLLECT 1194.74/1199.77 c rational objective 148 1452.15/1458.09 c #Conflicts: 474000 | #Constraints: 23049 1452.15/1458.09 c #Conflicts: 475000 | #Constraints: 24049 1452.15/1458.09 c #Conflicts: 476000 | #Constraints: 25049 1452.15/1458.09 c #Conflicts: 477000 | #Constraints: 26049 1452.15/1458.09 c #Conflicts: 478000 | #Constraints: 27049 1452.15/1458.09 c #Conflicts: 479000 | #Constraints: 28049 1452.15/1458.09 c #Conflicts: 480000 | #Constraints: 29049 1452.15/1458.09 c #Conflicts: 481000 | #Constraints: 30049 1452.15/1458.09 c #Conflicts: 482000 | #Constraints: 31049 1452.15/1458.09 c #Conflicts: 483000 | #Constraints: 32049 1452.15/1458.09 c #Conflicts: 484000 | #Constraints: 33049 1452.15/1458.09 c #Conflicts: 485000 | #Constraints: 34049 1452.15/1458.09 c #Conflicts: 486000 | #Constraints: 35049 1452.15/1458.09 c #Conflicts: 487000 | #Constraints: 36049 1452.15/1458.09 c #Conflicts: 488000 | #Constraints: 37049 1452.15/1458.09 c #Conflicts: 489000 | #Constraints: 38049 1452.15/1458.09 c #Conflicts: 490000 | #Constraints: 39049 1452.15/1458.09 c #Conflicts: 491000 | #Constraints: 40049 1452.15/1458.09 c #Conflicts: 492000 | #Constraints: 41049 1452.15/1458.09 c #Conflicts: 493000 | #Constraints: 42049 1452.15/1458.09 c #Conflicts: 494000 | #Constraints: 43049 1452.15/1458.09 c #Conflicts: 495000 | #Constraints: 44049 1452.15/1458.09 c #Conflicts: 496000 | #Constraints: 45049 1452.15/1458.09 c #Conflicts: 497000 | #Constraints: 46049 1452.15/1458.09 c #Conflicts: 498000 | #Constraints: 47049 1452.15/1458.09 c #Conflicts: 499000 | #Constraints: 48049 1452.15/1458.09 c #Conflicts: 500000 | #Constraints: 49049 1452.15/1458.09 c #Conflicts: 501000 | #Constraints: 50049 1452.15/1458.09 c #Conflicts: 502000 | #Constraints: 51049 1452.15/1458.09 c #Conflicts: 503000 | #Constraints: 52049 1452.15/1458.09 c #Conflicts: 504000 | #Constraints: 53049 1452.15/1458.09 c #Conflicts: 505000 | #Constraints: 54049 1452.15/1458.09 c #Conflicts: 506000 | #Constraints: 55049 1452.15/1458.09 c #Conflicts: 507000 | #Constraints: 56049 1452.15/1458.09 c #Conflicts: 508000 | #Constraints: 57049 1452.15/1458.09 c #Conflicts: 509000 | #Constraints: 58049 1452.15/1458.09 c #Conflicts: 510000 | #Constraints: 59049 1452.15/1458.09 c #Conflicts: 511000 | #Constraints: 60049 1452.15/1458.09 c #Conflicts: 512000 | #Constraints: 61049 1452.15/1458.09 c #Conflicts: 513000 | #Constraints: 62049 1452.15/1458.09 c #Conflicts: 514000 | #Constraints: 63049 1452.15/1458.09 c #Conflicts: 515000 | #Constraints: 64049 1452.15/1458.09 c #Conflicts: 516000 | #Constraints: 65049 1452.15/1458.09 c #Conflicts: 517000 | #Constraints: 66049 1452.15/1458.09 c #Conflicts: 518000 | #Constraints: 67049 1452.15/1458.09 c #Conflicts: 519000 | #Constraints: 68049 1452.15/1458.09 c #Conflicts: 520000 | #Constraints: 69049 1452.15/1458.09 c #Conflicts: 521000 | #Constraints: 70049 1452.15/1458.09 c #Conflicts: 522000 | #Constraints: 71049 1452.15/1458.09 c #Conflicts: 523000 | #Constraints: 72049 1452.15/1458.09 c #Conflicts: 524000 | #Constraints: 73049 1452.15/1458.09 c INPROCESSING 1452.15/1458.09 c GARBAGE COLLECT 1452.15/1458.09 c rational objective 148 1501.17/1507.26 c #Conflicts: 525000 | #Constraints: 38132 1501.17/1507.26 c #Conflicts: 526000 | #Constraints: 39132 1501.17/1507.26 c #Conflicts: 527000 | #Constraints: 40132 1501.17/1507.26 c #Conflicts: 528000 | #Constraints: 41132 1501.17/1507.26 c #Conflicts: 529000 | #Constraints: 42132 1501.17/1507.26 c #Conflicts: 530000 | #Constraints: 43132 1501.17/1507.26 c #Conflicts: 531000 | #Constraints: 44132 1501.17/1507.26 c #Conflicts: 532000 | #Constraints: 45132 1501.17/1507.26 c #Conflicts: 533000 | #Constraints: 46132 1501.17/1507.26 c #Conflicts: 534000 | #Constraints: 47132 1501.17/1507.26 c #Conflicts: 535000 | #Constraints: 48132 1501.17/1507.26 c #Conflicts: 536000 | #Constraints: 49132 1501.17/1507.26 c #Conflicts: 537000 | #Constraints: 50132 1501.17/1507.26 c #Conflicts: 538000 | #Constraints: 51132 1501.17/1507.26 c #Conflicts: 539000 | #Constraints: 52132 1501.17/1507.26 c #Conflicts: 540000 | #Constraints: 53132 1501.17/1507.26 c #Conflicts: 541000 | #Constraints: 54132 1501.17/1507.26 c #Conflicts: 542000 | #Constraints: 55132 1501.17/1507.26 c INPROCESSING 1501.17/1507.26 c GARBAGE COLLECT 1501.17/1507.26 c rational objective 148 1815.86/1823.02 c #Conflicts: 543000 | #Constraints: 29236 1815.86/1823.02 c #Conflicts: 544000 | #Constraints: 30236 1815.86/1823.02 c #Conflicts: 545000 | #Constraints: 31236 1815.86/1823.02 c #Conflicts: 546000 | #Constraints: 32237 1815.86/1823.02 c #Conflicts: 547000 | #Constraints: 33237 1815.86/1823.02 c #Conflicts: 548000 | #Constraints: 34237 1815.86/1823.02 c #Conflicts: 549000 | #Constraints: 35237 1815.86/1823.02 c #Conflicts: 550000 | #Constraints: 36237 1815.86/1823.02 c #Conflicts: 551000 | #Constraints: 37237 1815.86/1823.02 c #Conflicts: 552000 | #Constraints: 38237 1815.86/1823.02 c #Conflicts: 553000 | #Constraints: 39237 1815.86/1823.02 c #Conflicts: 554000 | #Constraints: 40237 1815.86/1823.02 c #Conflicts: 555000 | #Constraints: 41237 1815.86/1823.02 c #Conflicts: 556000 | #Constraints: 42237 1815.86/1823.02 c #Conflicts: 557000 | #Constraints: 43237 1815.86/1823.02 c #Conflicts: 558000 | #Constraints: 44237 1815.86/1823.02 c #Conflicts: 559000 | #Constraints: 45237 1815.86/1823.02 c #Conflicts: 560000 | #Constraints: 46237 1815.86/1823.02 c #Conflicts: 561000 | #Constraints: 47237 1815.86/1823.02 c #Conflicts: 562000 | #Constraints: 48237 1815.86/1823.02 c #Conflicts: 563000 | #Constraints: 49237 1815.86/1823.02 c #Conflicts: 564000 | #Constraints: 50237 1815.86/1823.02 c #Conflicts: 565000 | #Constraints: 51237 1815.86/1823.02 c #Conflicts: 566000 | #Constraints: 52237 1815.86/1823.02 c #Conflicts: 567000 | #Constraints: 53237 1815.86/1823.02 c #Conflicts: 568000 | #Constraints: 54237 1815.86/1823.02 c #Conflicts: 569000 | #Constraints: 55237 1815.86/1823.02 c #Conflicts: 570000 | #Constraints: 56237 1815.86/1823.02 c #Conflicts: 571000 | #Constraints: 57237 1815.86/1823.02 c #Conflicts: 572000 | #Constraints: 58237 1815.86/1823.02 c #Conflicts: 573000 | #Constraints: 59237 1815.86/1823.02 c #Conflicts: 574000 | #Constraints: 60237 1815.86/1823.02 c #Conflicts: 575000 | #Constraints: 61237 1815.86/1823.02 c #Conflicts: 576000 | #Constraints: 62237 1815.86/1823.02 c #Conflicts: 577000 | #Constraints: 63237 1815.86/1823.02 c #Conflicts: 578000 | #Constraints: 64237 1815.86/1823.02 c #Conflicts: 579000 | #Constraints: 65237 1815.86/1823.02 c #Conflicts: 580000 | #Constraints: 66237 1815.86/1823.02 c #Conflicts: 581000 | #Constraints: 67237 1815.86/1823.02 c #Conflicts: 582000 | #Constraints: 68237 1815.86/1823.02 c #Conflicts: 583000 | #Constraints: 69237 1815.86/1823.02 c #Conflicts: 584000 | #Constraints: 70237 1815.86/1823.02 c #Conflicts: 585000 | #Constraints: 71237 1815.86/1823.02 c #Conflicts: 586000 | #Constraints: 72237 1815.86/1823.02 c #Conflicts: 587000 | #Constraints: 73237 1815.86/1823.02 c #Conflicts: 588000 | #Constraints: 74237 1815.86/1823.02 c #Conflicts: 589000 | #Constraints: 75237 1815.86/1823.02 c #Conflicts: 590000 | #Constraints: 76237 1815.86/1823.02 c #Conflicts: 591000 | #Constraints: 77237 1815.86/1823.02 c #Conflicts: 592000 | #Constraints: 78237 1815.86/1823.02 c #Conflicts: 593000 | #Constraints: 79237 1815.86/1823.02 c #Conflicts: 594000 | #Constraints: 80237 1815.86/1823.02 c #Conflicts: 595000 | #Constraints: 81237 1815.86/1823.02 c #Conflicts: 596000 | #Constraints: 82237 1815.86/1823.02 c INPROCESSING 1815.86/1823.02 c GARBAGE COLLECT 1815.86/1823.02 c rational objective 148 2012.52/2020.42 c #Conflicts: 597000 | #Constraints: 42850 2012.52/2020.42 c #Conflicts: 598000 | #Constraints: 43850 2012.52/2020.42 c #Conflicts: 599000 | #Constraints: 44850 2012.52/2020.42 c #Conflicts: 600000 | #Constraints: 45850 2012.52/2020.42 c #Conflicts: 601000 | #Constraints: 46850 2012.52/2020.42 c #Conflicts: 602000 | #Constraints: 47850 2012.52/2020.42 c #Conflicts: 603000 | #Constraints: 48850 2012.52/2020.42 c #Conflicts: 604000 | #Constraints: 49850 2012.52/2020.42 c #Conflicts: 605000 | #Constraints: 50850 2012.52/2020.42 c #Conflicts: 606000 | #Constraints: 51850 2012.52/2020.42 c #Conflicts: 607000 | #Constraints: 52850 2012.52/2020.42 c #Conflicts: 608000 | #Constraints: 53850 2012.52/2020.42 c #Conflicts: 609000 | #Constraints: 54850 2012.52/2020.42 c #Conflicts: 610000 | #Constraints: 55850 2012.52/2020.42 c #Conflicts: 611000 | #Constraints: 56850 2012.52/2020.42 c #Conflicts: 612000 | #Constraints: 57850 2012.52/2020.42 c #Conflicts: 613000 | #Constraints: 58850 2012.52/2020.42 c #Conflicts: 614000 | #Constraints: 59850 2012.52/2020.42 c #Conflicts: 615000 | #Constraints: 60850 2012.52/2020.42 c INPROCESSING 2012.52/2020.42 c GARBAGE COLLECT 2012.52/2020.42 c rational objective 148 2112.48/2120.74 c #Conflicts: 616000 | #Constraints: 32237 2112.48/2120.74 c #Conflicts: 617000 | #Constraints: 33237 2112.48/2120.74 c #Conflicts: 618000 | #Constraints: 34237 2112.48/2120.74 c #Conflicts: 619000 | #Constraints: 35237 2112.48/2120.74 c #Conflicts: 620000 | #Constraints: 36237 2112.48/2120.74 c #Conflicts: 621000 | #Constraints: 37237 2112.48/2120.74 c #Conflicts: 622000 | #Constraints: 38237 2112.48/2120.74 c #Conflicts: 623000 | #Constraints: 39237 2112.48/2120.74 c #Conflicts: 624000 | #Constraints: 40237 2112.48/2120.74 c #Conflicts: 625000 | #Constraints: 41237 2112.48/2120.74 c #Conflicts: 626000 | #Constraints: 42237 2112.48/2120.74 c #Conflicts: 627000 | #Constraints: 43237 2112.48/2120.74 c #Conflicts: 628000 | #Constraints: 44237 2112.48/2120.74 c #Conflicts: 629000 | #Constraints: 45237 2112.48/2120.74 c #Conflicts: 630000 | #Constraints: 46237 2112.48/2120.74 c #Conflicts: 631000 | #Constraints: 47237 2112.48/2120.74 c #Conflicts: 632000 | #Constraints: 48237 2112.48/2120.74 c #Conflicts: 633000 | #Constraints: 49237 2112.48/2120.74 c #Conflicts: 634000 | #Constraints: 50237 2112.48/2120.74 c INPROCESSING 2112.48/2120.74 c GARBAGE COLLECT 2112.48/2120.74 c rational objective 148 2591.94/2601.97 c #Conflicts: 635000 | #Constraints: 32031 2591.94/2601.97 c #Conflicts: 636000 | #Constraints: 33031 2591.94/2601.97 c #Conflicts: 637000 | #Constraints: 34031 2591.94/2601.97 c #Conflicts: 638000 | #Constraints: 35031 2591.94/2601.97 c #Conflicts: 639000 | #Constraints: 36031 2591.94/2601.97 c #Conflicts: 640000 | #Constraints: 37031 2591.94/2601.97 c #Conflicts: 641000 | #Constraints: 38031 2591.94/2601.97 c #Conflicts: 642000 | #Constraints: 39031 2591.94/2601.97 c #Conflicts: 643000 | #Constraints: 40031 2591.94/2601.97 c #Conflicts: 644000 | #Constraints: 41031 2591.94/2601.97 c #Conflicts: 645000 | #Constraints: 42031 2591.94/2601.97 c #Conflicts: 646000 | #Constraints: 43031 2591.94/2601.97 c #Conflicts: 647000 | #Constraints: 44031 2591.94/2601.97 c #Conflicts: 648000 | #Constraints: 45031 2591.94/2601.97 c #Conflicts: 649000 | #Constraints: 46031 2591.94/2601.97 c #Conflicts: 650000 | #Constraints: 47031 2591.94/2601.97 c #Conflicts: 651000 | #Constraints: 48031 2591.94/2601.97 c #Conflicts: 652000 | #Constraints: 49031 2591.94/2601.97 c #Conflicts: 653000 | #Constraints: 50031 2591.94/2601.97 c #Conflicts: 654000 | #Constraints: 51031 2591.94/2601.97 c #Conflicts: 655000 | #Constraints: 52031 2591.94/2601.97 c #Conflicts: 656000 | #Constraints: 53031 2591.94/2601.97 c #Conflicts: 657000 | #Constraints: 54031 2591.94/2601.97 c #Conflicts: 658000 | #Constraints: 55031 2591.94/2601.97 c #Conflicts: 659000 | #Constraints: 56031 2591.94/2601.97 c #Conflicts: 660000 | #Constraints: 57031 2591.94/2601.97 c #Conflicts: 661000 | #Constraints: 58031 2591.94/2601.97 c #Conflicts: 662000 | #Constraints: 59031 2591.94/2601.97 c #Conflicts: 663000 | #Constraints: 60031 2591.94/2601.97 c #Conflicts: 664000 | #Constraints: 61031 2591.94/2601.97 c #Conflicts: 665000 | #Constraints: 62031 2591.94/2601.97 c #Conflicts: 666000 | #Constraints: 63031 2591.94/2601.97 c #Conflicts: 667000 | #Constraints: 64031 2591.94/2601.97 c #Conflicts: 668000 | #Constraints: 65031 2591.94/2601.97 c #Conflicts: 669000 | #Constraints: 66031 2591.94/2601.97 c #Conflicts: 670000 | #Constraints: 67031 2591.94/2601.97 c #Conflicts: 671000 | #Constraints: 68031 2591.94/2601.97 c #Conflicts: 672000 | #Constraints: 69031 2591.94/2601.97 c #Conflicts: 673000 | #Constraints: 70031 2591.94/2601.97 c #Conflicts: 674000 | #Constraints: 71031 2591.94/2601.97 c #Conflicts: 675000 | #Constraints: 72031 2591.94/2601.97 c #Conflicts: 676000 | #Constraints: 73031 2591.94/2601.97 c #Conflicts: 677000 | #Constraints: 74031 2591.94/2601.97 c #Conflicts: 678000 | #Constraints: 75031 2591.94/2601.97 c #Conflicts: 679000 | #Constraints: 76031 2591.94/2601.97 c #Conflicts: 680000 | #Constraints: 77031 2591.94/2601.97 c #Conflicts: 681000 | #Constraints: 78031 2591.94/2601.97 c #Conflicts: 682000 | #Constraints: 79031 2591.94/2601.97 c #Conflicts: 683000 | #Constraints: 80031 2591.94/2601.97 c #Conflicts: 684000 | #Constraints: 81031 2591.94/2601.97 c #Conflicts: 685000 | #Constraints: 82031 2591.94/2601.97 c #Conflicts: 686000 | #Constraints: 83031 2591.94/2601.97 c #Conflicts: 687000 | #Constraints: 84031 2591.94/2601.97 c #Conflicts: 688000 | #Constraints: 85031 2591.94/2601.97 c #Conflicts: 689000 | #Constraints: 86031 2591.94/2601.97 c #Conflicts: 690000 | #Constraints: 87031 2591.94/2601.97 c #Conflicts: 691000 | #Constraints: 88031 2591.94/2601.97 c #Conflicts: 692000 | #Constraints: 89031 2591.94/2601.97 c INPROCESSING 2591.94/2601.97 c GARBAGE COLLECT 2591.94/2601.97 c rational objective 148 2677.93/2688.29 c #Conflicts: 693000 | #Constraints: 46193 2677.93/2688.29 c #Conflicts: 694000 | #Constraints: 47193 2677.93/2688.29 c #Conflicts: 695000 | #Constraints: 48193 2677.93/2688.29 c #Conflicts: 696000 | #Constraints: 49193 2677.93/2688.29 c #Conflicts: 697000 | #Constraints: 50193 2677.93/2688.29 c #Conflicts: 698000 | #Constraints: 51193 2677.93/2688.29 c #Conflicts: 699000 | #Constraints: 52193 2677.93/2688.29 c #Conflicts: 700000 | #Constraints: 53193 2677.93/2688.29 c #Conflicts: 701000 | #Constraints: 54193 2677.93/2688.29 c #Conflicts: 702000 | #Constraints: 55193 2677.93/2688.29 c #Conflicts: 703000 | #Constraints: 56193 2677.93/2688.29 c #Conflicts: 704000 | #Constraints: 57193 2677.93/2688.29 c #Conflicts: 705000 | #Constraints: 58193 2677.93/2688.29 c #Conflicts: 706000 | #Constraints: 59193 2677.93/2688.29 c #Conflicts: 707000 | #Constraints: 60193 2677.93/2688.29 c #Conflicts: 708000 | #Constraints: 61194 2677.93/2688.29 c #Conflicts: 709000 | #Constraints: 62194 2677.93/2688.29 c #Conflicts: 710000 | #Constraints: 63194 2677.93/2688.29 c #Conflicts: 711000 | #Constraints: 64194 2677.93/2688.29 c #Conflicts: 712000 | #Constraints: 65194 2677.93/2688.29 c INPROCESSING 2677.93/2688.29 c GARBAGE COLLECT 2677.93/2688.29 c rational objective 148 3045.34/3056.99 c #Conflicts: 713000 | #Constraints: 36592 3045.34/3056.99 c #Conflicts: 714000 | #Constraints: 37592 3045.34/3056.99 c #Conflicts: 715000 | #Constraints: 38592 3045.34/3056.99 c #Conflicts: 716000 | #Constraints: 39592 3045.34/3056.99 c #Conflicts: 717000 | #Constraints: 40592 3045.34/3056.99 c #Conflicts: 718000 | #Constraints: 41592 3045.34/3056.99 c #Conflicts: 719000 | #Constraints: 42592 3045.34/3056.99 c #Conflicts: 720000 | #Constraints: 43593 3045.34/3056.99 c #Conflicts: 721000 | #Constraints: 44593 3045.34/3056.99 c #Conflicts: 722000 | #Constraints: 45593 3045.34/3056.99 c #Conflicts: 723000 | #Constraints: 46594 3045.34/3056.99 c #Conflicts: 724000 | #Constraints: 47594 3045.34/3056.99 c #Conflicts: 725000 | #Constraints: 48594 3045.34/3056.99 c #Conflicts: 726000 | #Constraints: 49594 3045.34/3056.99 c #Conflicts: 727000 | #Constraints: 50594 3045.34/3056.99 c #Conflicts: 728000 | #Constraints: 51594 3045.34/3056.99 c #Conflicts: 729000 | #Constraints: 52594 3045.34/3056.99 c #Conflicts: 730000 | #Constraints: 53594 3045.34/3056.99 c #Conflicts: 731000 | #Constraints: 54595 3045.34/3056.99 c #Conflicts: 732000 | #Constraints: 55595 3045.34/3056.99 c #Conflicts: 733000 | #Constraints: 56595 3045.34/3056.99 c #Conflicts: 734000 | #Constraints: 57595 3045.34/3056.99 c #Conflicts: 735000 | #Constraints: 58595 3045.34/3056.99 c #Conflicts: 736000 | #Constraints: 59595 3045.34/3056.99 c bounds 192 >= 148 @ 2764.7 3045.34/3056.99 c #Conflicts: 737000 | #Constraints: 60596 3045.34/3056.99 c #Conflicts: 738000 | #Constraints: 61596 3045.34/3056.99 c #Conflicts: 739000 | #Constraints: 62596 3045.34/3056.99 c #Conflicts: 740000 | #Constraints: 63596 3045.34/3056.99 c #Conflicts: 741000 | #Constraints: 64596 3045.34/3056.99 c #Conflicts: 742000 | #Constraints: 65596 3045.34/3056.99 c #Conflicts: 743000 | #Constraints: 66596 3045.34/3056.99 c #Conflicts: 744000 | #Constraints: 67596 3045.34/3056.99 c #Conflicts: 745000 | #Constraints: 68596 3045.34/3056.99 c #Conflicts: 746000 | #Constraints: 69596 3045.34/3056.99 c #Conflicts: 747000 | #Constraints: 70596 3045.34/3056.99 c #Conflicts: 748000 | #Constraints: 71596 3045.34/3056.99 c #Conflicts: 749000 | #Constraints: 72596 3045.34/3056.99 c #Conflicts: 750000 | #Constraints: 73596 3045.34/3056.99 c #Conflicts: 751000 | #Constraints: 74596 3045.34/3056.99 c #Conflicts: 752000 | #Constraints: 75596 3045.34/3056.99 c #Conflicts: 753000 | #Constraints: 76596 3045.34/3056.99 c #Conflicts: 754000 | #Constraints: 77596 3045.34/3056.99 c #Conflicts: 755000 | #Constraints: 78596 3045.34/3056.99 c #Conflicts: 756000 | #Constraints: 79596 3045.34/3056.99 c #Conflicts: 757000 | #Constraints: 80596 3045.34/3056.99 c #Conflicts: 758000 | #Constraints: 81596 3045.34/3056.99 c #Conflicts: 759000 | #Constraints: 82596 3045.34/3056.99 c #Conflicts: 760000 | #Constraints: 83596 3045.34/3056.99 c #Conflicts: 761000 | #Constraints: 84596 3045.34/3056.99 c #Conflicts: 762000 | #Constraints: 85596 3045.34/3056.99 c #Conflicts: 763000 | #Constraints: 86596 3045.34/3056.99 c #Conflicts: 764000 | #Constraints: 87596 3045.34/3056.99 c #Conflicts: 765000 | #Constraints: 88596 3045.34/3056.99 c #Conflicts: 766000 | #Constraints: 89596 3045.34/3056.99 c #Conflicts: 767000 | #Constraints: 90596 3045.34/3056.99 c #Conflicts: 768000 | #Constraints: 91596 3045.34/3056.99 c #Conflicts: 769000 | #Constraints: 92596 3045.34/3056.99 c #Conflicts: 770000 | #Constraints: 93596 3045.34/3056.99 c #Conflicts: 771000 | #Constraints: 94596 3045.34/3056.99 c #Conflicts: 772000 | #Constraints: 95596 3045.34/3056.99 c #Conflicts: 773000 | #Constraints: 96596 3045.34/3056.99 c #Conflicts: 774000 | #Constraints: 97596 3045.34/3056.99 c INPROCESSING 3045.34/3056.99 c GARBAGE COLLECT 3045.34/3056.99 c rational objective 148 3330.24/3342.81 c #Conflicts: 775000 | #Constraints: 50524 3330.24/3342.81 c #Conflicts: 776000 | #Constraints: 51524 3330.24/3342.81 c #Conflicts: 777000 | #Constraints: 52524 3330.24/3342.81 c #Conflicts: 778000 | #Constraints: 53524 3330.24/3342.81 c #Conflicts: 779000 | #Constraints: 54524 3330.24/3342.81 c #Conflicts: 780000 | #Constraints: 55524 3330.24/3342.81 c #Conflicts: 781000 | #Constraints: 56524 3330.24/3342.81 c #Conflicts: 782000 | #Constraints: 57524 3330.24/3342.81 c #Conflicts: 783000 | #Constraints: 58524 3330.24/3342.81 c #Conflicts: 784000 | #Constraints: 59524 3330.24/3342.81 c #Conflicts: 785000 | #Constraints: 60524 3330.24/3342.81 c #Conflicts: 786000 | #Constraints: 61524 3330.24/3342.81 c #Conflicts: 787000 | #Constraints: 62524 3330.24/3342.81 c #Conflicts: 788000 | #Constraints: 63524 3330.24/3342.81 c #Conflicts: 789000 | #Constraints: 64524 3330.24/3342.81 c #Conflicts: 790000 | #Constraints: 65524 3330.24/3342.81 c #Conflicts: 791000 | #Constraints: 66524 3330.24/3342.81 c #Conflicts: 792000 | #Constraints: 67524 3330.24/3342.81 c #Conflicts: 793000 | #Constraints: 68524 3330.24/3342.81 c #Conflicts: 794000 | #Constraints: 69524 3330.24/3342.81 c #Conflicts: 795000 | #Constraints: 70524 3330.24/3342.81 c INPROCESSING 3330.24/3342.81 c GARBAGE COLLECT 3330.24/3342.81 c rational objective 148 3600.05/3613.60 c #Conflicts: 796000 | #Constraints: 39204 3600.05/3613.60 c #Conflicts: 797000 | #Constraints: 40204 3600.05/3613.60 c #Conflicts: 798000 | #Constraints: 41204 3600.05/3613.60 c #Conflicts: 799000 | #Constraints: 42204 3600.05/3613.60 c #Conflicts: 800000 | #Constraints: 43204 3600.05/3613.60 c #Conflicts: 801000 | #Constraints: 44204 3600.05/3613.60 c #Conflicts: 802000 | #Constraints: 45205 3600.05/3613.60 c #Conflicts: 803000 | #Constraints: 46205 3600.05/3613.60 c #Conflicts: 804000 | #Constraints: 47205 3600.05/3613.60 c #Conflicts: 805000 | #Constraints: 48205 3600.05/3613.60 c #Conflicts: 806000 | #Constraints: 49205 3600.05/3613.60 c #Conflicts: 807000 | #Constraints: 50205 3600.05/3613.60 c #Conflicts: 808000 | #Constraints: 51205 3600.05/3613.60 c #Conflicts: 809000 | #Constraints: 52205 3600.05/3613.60 c #Conflicts: 810000 | #Constraints: 53208 3600.05/3613.60 c #Conflicts: 811000 | #Constraints: 54208 3600.05/3613.60 c #Conflicts: 812000 | #Constraints: 55208 3600.05/3613.60 c #Conflicts: 813000 | #Constraints: 56208 3600.05/3613.60 c #Conflicts: 814000 | #Constraints: 57208 3600.05/3613.60 c #Conflicts: 815000 | #Constraints: 58208 3600.05/3613.60 c #Conflicts: 816000 | #Constraints: 59208 3600.05/3613.60 c #Conflicts: 817000 | #Constraints: 60208 3600.05/3613.60 c #Conflicts: 818000 | #Constraints: 61208 3600.05/3613.60 c #Conflicts: 819000 | #Constraints: 62208 3600.05/3613.60 c #Conflicts: 820000 | #Constraints: 63208 3600.05/3613.60 c #Conflicts: 821000 | #Constraints: 64208 3600.05/3613.60 c #Conflicts: 822000 | #Constraints: 65208 3600.05/3613.60 c #Conflicts: 823000 | #Constraints: 66208 3600.05/3613.60 c #Conflicts: 824000 | #Constraints: 67208 3600.05/3613.60 c #Conflicts: 825000 | #Constraints: 68209 3600.05/3613.60 c #Conflicts: 826000 | #Constraints: 69209 3600.05/3613.60 c #Conflicts: 827000 | #Constraints: 70209 3600.05/3613.60 c #Conflicts: 828000 | #Constraints: 71209 3600.05/3613.60 c #Conflicts: 829000 | #Constraints: 72209 3600.05/3613.60 c #Conflicts: 830000 | #Constraints: 73209 3600.05/3613.60 c #Conflicts: 831000 | #Constraints: 74209 3600.05/3613.60 c #Conflicts: 832000 | #Constraints: 75209 3600.05/3613.60 c #Conflicts: 833000 | #Constraints: 76209 3600.05/3613.60 c #Conflicts: 834000 | #Constraints: 77209 3600.05/3613.60 c #Conflicts: 835000 | #Constraints: 78209 3600.05/3613.60 c #Conflicts: 836000 | #Constraints: 79209 3600.05/3613.60 c #Conflicts: 837000 | #Constraints: 80209 3600.05/3613.60 c #Conflicts: 838000 | #Constraints: 81209 3600.05/3613.60 c #Conflicts: 839000 | #Constraints: 82209 3600.05/3613.60 c #Conflicts: 840000 | #Constraints: 83209 3600.05/3613.60 c #Conflicts: 841000 | #Constraints: 84209 3600.05/3613.60 c Program interrupted by user. 3600.05/3613.60 c cpu time 3582.18 s 3600.05/3613.60 c deterministic time 358706586698 3.59e+11 3600.05/3613.60 c optimization time 268.857 s 3600.05/3613.60 c total solve time 3313.32 s 3600.05/3613.60 c core-guided solve time 1986.39 s 3600.05/3613.60 c propagation time 3073.24 s 3600.05/3613.60 c conflict analysis time 472.876 s 3600.05/3613.60 c propagations 114727380 3600.05/3613.60 c resolve steps 7507319 3600.05/3613.60 c decisions 5763470 3600.05/3613.60 c conflicts 841703 3600.05/3613.60 c restarts 1788 3600.05/3613.60 c inprocessing phases 46 3600.05/3613.60 c input clauses 310 3600.05/3613.60 c input cardinalities 328 3600.05/3613.60 c input general constraints 894 3600.05/3613.60 c input average constraint length 62.28 3600.05/3613.60 c input average constraint degree 23.59 3600.05/3613.60 c learned clauses 297290 3600.05/3613.60 c learned cardinalities 5549 3600.05/3613.60 c learned general constraints 538886 3600.05/3613.60 c learned average constraint length 187.44 3600.05/3613.60 c learned average constraint degree 6640555.44 3600.05/3613.60 c watched constraints 366966 3600.05/3613.60 c counting constraints 172814 3600.05/3613.60 c gcd simplifications 109357 3600.05/3613.60 c detected cardinalities 2611 3600.05/3613.60 c weakened non-implied lits 36033239 3600.05/3613.60 c weakened non-implying lits 75487 3600.05/3613.60 c original variables 470 3600.05/3613.60 c clausal propagations 13825062 3600.05/3613.60 c cardinality propagations 7319157 3600.05/3613.60 c watched propagations 16891630 3600.05/3613.60 c counting propagations 74859017 3600.05/3613.60 c watch lookups 63562568910 3600.05/3613.60 c watch backjump lookups 56903350775 3600.05/3613.60 c watch checks 218632622637 3600.05/3613.60 c propagation checks 18725565864 3600.05/3613.60 c constraint additions 639786892 3600.05/3613.60 c trail pops 121332046 3600.05/3613.60 c formula constraints 470 3600.05/3613.60 c learned constraints 841705 3600.05/3613.60 c bound constraints 181 3600.05/3613.60 c core-guided constraints 881 3600.05/3613.60 c encountered formula constraints 1371191 3600.05/3613.60 c encountered learned constraints 5923379 3600.05/3613.60 c encountered bound constraints 97 3600.05/3613.60 c encountered core-guided constraints 1054287 3600.05/3613.60 c LP total time 41.1634 s 3600.05/3613.60 c LP solve time 39.64 s 3600.05/3613.60 c LP constraints added 470 3600.05/3613.60 c LP constraints removed 0 3600.05/3613.60 c LP pivots internal 841796 3600.05/3613.60 c LP pivots root 26927 3600.05/3613.60 c LP calls 14784 3600.05/3613.60 c LP optimalities 14771 3600.05/3613.60 c LP no pivot count 804 3600.05/3613.60 c LP infeasibilities 10 3600.05/3613.60 c LP valid Farkas constraints 10 3600.05/3613.60 c LP learned Farkas constraints 10 3600.05/3613.60 c LP basis resets 0 3600.05/3613.60 c LP cycling count 0 3600.05/3613.60 c LP singular count 0 3600.05/3613.60 c LP no primal count 0 3600.05/3613.60 c LP no farkas count 0 3600.05/3613.60 c LP other issue count 0 3600.05/3613.60 c LP Gomory cuts 0 3600.05/3613.60 c LP learned cuts 0 3600.05/3613.60 c LP deleted cuts 0 3600.05/3613.60 c LP encountered Gomory constraints 0 3600.05/3613.60 c LP encountered Farkas constraints 45 3600.05/3613.60 c LP encountered learned Farkas constraints 13 3600.05/3613.60 c CG auxiliary variables introduced 343 3600.05/3613.60 c CG solutions found 33 3600.05/3613.60 c CG cores constructed 148 3600.05/3613.60 c CG core cardinality constraints returned 0 3600.05/3613.60 c CG unit cores 0 3600.05/3613.60 c CG single cores 148 3600.05/3613.60 c CG blocks removed during cardinality reduction 0 3600.05/3613.60 c CG first core best 0 3600.05/3613.60 c CG decision core best 0 3600.05/3613.60 c CG core reduction tie 0 3600.05/3613.60 c CG core degree average 1.00 3600.05/3613.60 c CG core slack average 4.01 3600.05/3613.60 s SATISFIABLE 3600.05/3613.60 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
OK 192
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: 63968 MiB (33462 MiB free)
memory of node 1: 64473 MiB (19152 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456757-1721769320/watcher-4456757-1721769320 -o /tmp/evaluation-result-4456757-1721769320/solver-4456757-1721769320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721765707-125871 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456757-1721769320 --lp-cut-gomory=0 HOME/instance-4456757-1721769320.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=127968, runsolver pid=127965
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 4.10 4.11 4.09 5/259 127969
/proc/meminfo: memFree=53873648/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=39184 memory=8892 CPUtime=0.09 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 682 0 0 0 9 0 0 0 20 0 1 0 13460307 40124416 2223 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 9796 2223 1765 992 0 1654 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39184 KiB
Current children cumulated memory: 8892 KiB
[startup+0.2055 s]*
/proc/loadavg: 4.10 4.11 4.09 5/259 127969
/proc/meminfo: memFree=53869784/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=40092 memory=10744 CPUtime=0.2 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 1055 0 0 0 18 2 0 0 20 0 1 0 13460307 41054208 2686 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 10023 2686 1811 992 0 1881 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 10744 KiB
[startup+0.3052 s]*
/proc/loadavg: 4.10 4.11 4.09 5/259 127969
/proc/meminfo: memFree=53862164/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=41924 memory=15180 CPUtime=0.3 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 1673 0 0 0 28 2 0 0 20 0 1 0 13460307 42930176 3795 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 10481 3795 1811 992 0 2339 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41924 KiB
Current children cumulated memory: 15180 KiB
[startup+0.700165 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 127969
/proc/meminfo: memFree=53854296/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=43360 memory=16516 CPUtime=0.68 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 2040 0 0 0 64 4 0 0 20 0 1 0 13460307 44400640 4129 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 10840 4129 1865 992 0 2698 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 16516 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 127969
/proc/meminfo: memFree=53832468/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=44744 memory=18016 CPUtime=1.49 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 2487 0 0 0 140 9 0 0 20 0 1 0 13460307 45817856 4504 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 11186 4504 1865 992 0 3044 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44744 KiB
Current children cumulated memory: 18016 KiB
[startup+3.10548 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 127969
/proc/meminfo: memFree=53753168/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=50764 memory=22836 CPUtime=3.09 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 3719 0 0 0 292 17 0 0 20 0 1 0 13460307 51982336 5709 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 12691 5709 1865 992 0 4549 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 50764 KiB
Current children cumulated memory: 22836 KiB
[startup+6.3002 s]
/proc/loadavg: 4.09 4.10 4.09 5/259 127971
/proc/meminfo: memFree=53677860/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=59024 memory=28268 CPUtime=6.27 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 5077 0 0 0 597 30 0 0 20 0 1 0 13460307 60440576 7067 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 14756 7067 1865 992 0 6614 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59024 KiB
Current children cumulated memory: 28268 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 127971
/proc/meminfo: memFree=53567512/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=62672 memory=34004 CPUtime=12.64 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 6011 0 0 0 1213 51 0 0 20 0 1 0 13460307 64176128 8501 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 15668 8501 1865 992 0 7526 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 62672 KiB
Current children cumulated memory: 34004 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.09 5/257 127974
/proc/meminfo: memFree=53303480/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=99632 memory=69168 CPUtime=25.39 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 10730 0 0 0 2459 80 0 0 20 0 1 0 13460307 102023168 17292 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 24908 17292 1865 992 0 16766 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 99632 KiB
Current children cumulated memory: 69168 KiB
[startup+51.1056 s]
/proc/loadavg: 4.04 4.09 4.08 5/257 127977
/proc/meminfo: memFree=53002588/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=125016 memory=81156 CPUtime=50.89 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 12657 0 0 0 4965 124 0 0 20 0 1 0 13460307 128016384 20289 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 31254 20289 1865 992 0 23112 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 125016 KiB
Current children cumulated memory: 81156 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 127986
/proc/meminfo: memFree=52533172/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=135968 memory=89032 CPUtime=101.88 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 14663 0 0 0 9980 208 0 0 20 0 1 0 13460307 139231232 22258 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 33992 22258 1865 992 0 25850 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 135968 KiB
Current children cumulated memory: 89032 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 127996
/proc/meminfo: memFree=52151436/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=200876 memory=140436 CPUtime=161.63 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 22907 0 0 0 15903 260 0 0 20 0 1 0 13460307 205697024 35109 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 50219 35109 1865 992 0 42077 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 200876 KiB
Current children cumulated memory: 140436 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 128006
/proc/meminfo: memFree=51847552/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=200876 memory=146224 CPUtime=221.4 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 22968 0 0 0 21813 327 0 0 20 0 1 0 13460307 205697024 36556 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 50219 36556 1865 992 0 42077 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 200876 KiB
Current children cumulated memory: 146224 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/255 128016
/proc/meminfo: memFree=51468776/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=203184 memory=152996 CPUtime=281.17 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 23590 0 0 0 27740 377 0 0 20 0 1 0 13460307 208060416 38249 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 50796 38249 1865 992 0 42654 0
Current children cumulated CPU time: 281.17 s
Current children cumulated vsize: 203184 KiB
Current children cumulated memory: 152996 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 128031
/proc/meminfo: memFree=51188084/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=203184 memory=153048 CPUtime=340.97 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 23661 0 0 0 33658 439 0 0 20 0 1 0 13460307 208060416 38262 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 50796 38262 1865 992 0 42654 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 203184 KiB
Current children cumulated memory: 153048 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 128043
/proc/meminfo: memFree=50907216/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=205736 memory=154372 CPUtime=400.76 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 24088 0 0 0 39602 474 0 0 20 0 1 0 13460307 210673664 38593 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 51434 38593 1865 992 0 43292 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 205736 KiB
Current children cumulated memory: 154372 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.13 4.10 5/257 128053
/proc/meminfo: memFree=50612224/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=208124 memory=156272 CPUtime=460.55 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 24831 0 0 0 45519 536 0 0 20 0 1 0 13460307 213118976 39068 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 52031 39068 1865 992 0 43889 0
################
# More data... #
################
Current children cumulated memory: 344352 KiB
[startup+2862.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/259 129673
/proc/meminfo: memFree=44873556/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=457864 memory=345772 CPUtime=2851.42 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 50747 0 0 0 283568 1574 0 0 20 0 1 0 13460307 468852736 86443 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 114466 86443 1881 992 0 106324 0
Current children cumulated CPU time: 2851.42 s
Current children cumulated vsize: 457864 KiB
Current children cumulated memory: 345772 KiB
[startup+2922.3 s]
/proc/loadavg: 4.46 4.21 4.12 5/257 129683
/proc/meminfo: memFree=44783756/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=464112 memory=349656 CPUtime=2911.21 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 51846 0 0 0 289528 1593 0 0 20 0 1 0 13460307 475250688 87414 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 116028 87414 1881 992 0 107886 0
Current children cumulated CPU time: 2911.21 s
Current children cumulated vsize: 464112 KiB
Current children cumulated memory: 349656 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.19 4.12 5/256 129693
/proc/meminfo: memFree=44697568/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=469852 memory=353508 CPUtime=2971 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 52959 0 0 0 295488 1612 0 0 20 0 1 0 13460307 481128448 88377 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 117463 88377 1881 992 0 109321 0
Current children cumulated CPU time: 2971 s
Current children cumulated vsize: 469852 KiB
Current children cumulated memory: 353508 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/255 129706
/proc/meminfo: memFree=44575188/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=480460 memory=375244 CPUtime=3030.78 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 54717 0 0 0 301452 1626 0 0 20 0 1 0 13460307 491991040 93811 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 120115 93811 1881 992 0 111973 0
Current children cumulated CPU time: 3030.78 s
Current children cumulated vsize: 480460 KiB
Current children cumulated memory: 375244 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.14 4.11 5/255 129716
/proc/meminfo: memFree=44474100/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=483832 memory=379496 CPUtime=3090.57 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 55667 0 0 0 307417 1640 0 0 20 0 1 0 13460307 495443968 94874 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 120958 94874 1881 992 0 112816 0
Current children cumulated CPU time: 3090.57 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 379496 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/257 129741
/proc/meminfo: memFree=44369168/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=483832 memory=379496 CPUtime=3150.37 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 55804 0 0 0 313384 1653 0 0 20 0 1 0 13460307 495443968 94874 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 120958 94874 1881 992 0 112816 0
Current children cumulated CPU time: 3150.37 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 379496 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/258 129978
/proc/meminfo: memFree=44268332/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=483832 memory=379496 CPUtime=3210.17 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 55942 0 0 0 319351 1666 0 0 20 0 1 0 13460307 495443968 94874 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 120958 94874 1881 992 0 112816 0
Current children cumulated CPU time: 3210.17 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 379496 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/258 129988
/proc/meminfo: memFree=44165184/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=483832 memory=379496 CPUtime=3269.94 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 56082 0 0 0 325314 1680 0 0 20 0 1 0 13460307 495443968 94874 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 120958 94874 1881 992 0 112816 0
Current children cumulated CPU time: 3269.94 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 379496 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/260 130289
/proc/meminfo: memFree=44112156/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=483832 memory=379496 CPUtime=3329.74 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 56222 0 0 0 331283 1691 0 0 20 0 1 0 13460307 495443968 94874 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 120958 94874 1881 992 0 112816 0
Current children cumulated CPU time: 3329.74 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 379496 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/260 130302
/proc/meminfo: memFree=43986808/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=483832 memory=379588 CPUtime=3389.52 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 56383 0 0 0 337229 1723 0 0 20 0 1 0 13460307 495443968 94897 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 120958 94897 1881 992 0 112816 0
Current children cumulated CPU time: 3389.52 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 379588 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/257 130312
/proc/meminfo: memFree=43872828/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=483832 memory=379588 CPUtime=3449.31 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 56540 0 0 0 343185 1746 0 0 20 0 1 0 13460307 495443968 94897 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 120958 94897 1881 992 0 112816 0
Current children cumulated CPU time: 3449.31 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 379588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 130323
/proc/meminfo: memFree=43800840/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=484732 memory=379888 CPUtime=3509.09 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 56804 0 0 0 349146 1763 0 0 20 0 1 0 13460307 496365568 94972 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 121183 94972 1881 992 0 113041 0
Current children cumulated CPU time: 3509.09 s
Current children cumulated vsize: 484732 KiB
Current children cumulated memory: 379888 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/256 130334
/proc/meminfo: memFree=43720924/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=487852 memory=381844 CPUtime=3568.87 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 57453 0 0 0 355106 1781 0 0 20 0 1 0 13460307 499560448 95461 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 121963 95461 1881 992 0 113821 0
Current children cumulated CPU time: 3568.87 s
Current children cumulated vsize: 487852 KiB
Current children cumulated memory: 381844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 130803
/proc/meminfo: memFree=44735272/131524600 swapFree=131071728/131071996
[pid=127968] ppid=127965 vsize=488364 memory=382396 CPUtime=3600.05 cores=0,2
/proc/127968/stat : 127968 (roundingsat) R 127965 127968 125861 0 -1 4194304 57708 0 0 0 358217 1788 0 0 20 0 1 0 13460307 500084736 95599 134679101440 4194304 8254037 140732980671792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28524544 140732980679520 140732980679782 140732980679782 140732980686793 0
/proc/127968/statm: 122091 95599 1881 992 0 113949 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 488364 KiB
Current children cumulated memory: 382396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.62 s]
# the end of solver process 127968 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.18 s, system=17.8889 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3613.62
CPU time (s): 3600.07
CPU user time (s): 3582.18
CPU system time (s): 17.8889
CPU usage (%): 99.625
Max. virtual memory (cumulated for all children) (KiB): 488364
Max. memory (cumulated for all children) (KiB): 382396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.18
system time used= 17.8889
maximum resident set size= 382396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57724
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4492712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201
involuntary context switches= 25468
# summary of solver processes directly reported to runsolver:
# pid: 127968
# total CPU time (s): 3600.07
# total CPU user time (s): 3582.18
# total CPU system time (s): 17.8889
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74638 second user time and 16.5425 second system time
The end
Begin job on nodeC027 at 2024-07-23 23:15:20 IDJOB=4456757 IDBENCH=147548 IDSOLVER=3085 FILE ID=nodeC027/4456757-1721769320 RUNJOBID= nodeC027-1721765707-125871 SLURM_JOB_ID= 7770674 Free space on /tmp= 890068 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.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-4456757-1721769320/watcher-4456757-1721769320 -o /tmp/evaluation-result-4456757-1721769320/solver-4456757-1721769320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721765707-125871 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456757-1721769320 --lp-cut-gomory=0 HOME/instance-4456757-1721769320.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d RANDOM SEED=2007171220 nodeC027.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 : 0xb00002a cpu MHz : 3660.183 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74 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 : 0xb00002a cpu MHz : 3677.631 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.65 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 : 0xb00002a cpu MHz : 3655.623 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74 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 : 0xb00002a cpu MHz : 3599.919 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.65 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 : 0xb00002a cpu MHz : 3676.912 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74 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 : 0xb00002a cpu MHz : 3677.676 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.65 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 : 0xb00002a cpu MHz : 3603.890 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74 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 : 0xb00002a cpu MHz : 3600.126 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 53878416 kB MemAvailable: 129633364 kB Buffers: 190052 kB Cached: 76218660 kB SwapCached: 48 kB Active: 1199844 kB Inactive: 75525544 kB Active(anon): 1556 kB Inactive(anon): 352812 kB Active(file): 1198288 kB Inactive(file): 75172732 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 66644 kB Writeback: 0 kB AnonPages: 316380 kB Mapped: 114792 kB Shmem: 37596 kB KReclaimable: 445336 kB Slab: 561520 kB SReclaimable: 445336 kB SUnreclaim: 116184 kB KernelStack: 4144 kB PageTables: 9952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 761056 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21024 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 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: 324308 kB DirectMap2M: 35100672 kB DirectMap1G: 100663296 kB Free space on /tmp at the end= 890052 MiB End job on nodeC027 at 2024-07-24 00:15:34