| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 193 | 3600.02 | 3612.61 |
| 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.01 c #variables 470 #constraints 470 0.41/0.49 c bounds 471 >= 0 @ 0.003103 0.41/0.49 c bounds 224 >= 0 @ 0.374723 0.41/0.49 c bounds 224 >= 1 @ 0.374984 0.41/0.49 c bounds 224 >= 2 @ 0.375195 0.41/0.49 c bounds 224 >= 3 @ 0.375389 0.41/0.49 c bounds 224 >= 4 @ 0.375605 0.41/0.49 c bounds 224 >= 5 @ 0.375707 0.41/0.49 c bounds 224 >= 6 @ 0.375707 0.41/0.49 c bounds 224 >= 7 @ 0.375707 0.41/0.49 c bounds 224 >= 8 @ 0.375707 0.41/0.49 c bounds 224 >= 9 @ 0.375707 0.41/0.49 c bounds 224 >= 10 @ 0.375862 0.41/0.49 c bounds 224 >= 11 @ 0.37608 0.41/0.49 c bounds 224 >= 12 @ 0.376311 0.41/0.49 c bounds 224 >= 13 @ 0.376539 0.41/0.49 c bounds 224 >= 14 @ 0.376795 0.41/0.49 c bounds 224 >= 15 @ 0.377067 0.41/0.49 c bounds 224 >= 16 @ 0.377345 0.41/0.49 c bounds 224 >= 17 @ 0.37762 0.41/0.49 c bounds 224 >= 18 @ 0.3779 0.41/0.49 c bounds 224 >= 19 @ 0.37818 0.41/0.49 c bounds 224 >= 20 @ 0.378479 0.41/0.49 c bounds 224 >= 21 @ 0.378774 0.41/0.49 c bounds 224 >= 22 @ 0.379076 0.41/0.49 c bounds 224 >= 23 @ 0.37938 0.41/0.49 c bounds 224 >= 24 @ 0.379694 0.41/0.49 c bounds 224 >= 25 @ 0.379994 0.41/0.49 c bounds 224 >= 26 @ 0.380319 0.41/0.49 c bounds 223 >= 26 @ 0.398861 0.41/0.49 c bounds 223 >= 27 @ 0.39921 0.41/0.49 c bounds 223 >= 28 @ 0.399532 0.41/0.49 c bounds 223 >= 29 @ 0.39959 0.41/0.49 c bounds 223 >= 30 @ 0.39959 0.41/0.49 c bounds 223 >= 31 @ 0.399622 0.41/0.49 c bounds 223 >= 32 @ 0.399986 0.41/0.49 c bounds 223 >= 33 @ 0.400343 0.41/0.49 c bounds 223 >= 34 @ 0.400693 0.41/0.49 c bounds 223 >= 35 @ 0.40106 0.41/0.49 c bounds 223 >= 36 @ 0.401428 0.41/0.49 c bounds 223 >= 37 @ 0.40158 0.41/0.49 c bounds 223 >= 38 @ 0.40158 0.41/0.49 c bounds 223 >= 39 @ 0.40158 0.41/0.49 c bounds 223 >= 40 @ 0.401956 0.41/0.49 c bounds 223 >= 41 @ 0.402428 0.41/0.49 c bounds 223 >= 42 @ 0.402575 0.41/0.49 c bounds 223 >= 43 @ 0.402657 0.41/0.49 c bounds 223 >= 44 @ 0.403061 0.41/0.49 c bounds 223 >= 45 @ 0.403461 0.41/0.49 c bounds 223 >= 46 @ 0.403571 0.41/0.49 c bounds 223 >= 47 @ 0.403571 0.41/0.49 c bounds 223 >= 48 @ 0.403602 0.41/0.49 c bounds 223 >= 49 @ 0.403989 0.41/0.49 c bounds 223 >= 50 @ 0.404354 0.41/0.49 c bounds 223 >= 51 @ 0.404566 0.41/0.49 c bounds 223 >= 52 @ 0.404566 0.41/0.49 c bounds 223 >= 53 @ 0.404566 0.41/0.49 c bounds 223 >= 54 @ 0.404567 0.41/0.49 c bounds 223 >= 55 @ 0.404567 0.41/0.49 c bounds 223 >= 56 @ 0.404643 0.41/0.49 c bounds 223 >= 57 @ 0.405011 0.41/0.49 c bounds 223 >= 58 @ 0.405383 0.41/0.49 c bounds 223 >= 59 @ 0.405562 0.41/0.49 c bounds 223 >= 60 @ 0.405562 0.41/0.49 c bounds 223 >= 61 @ 0.405562 0.41/0.49 c bounds 223 >= 62 @ 0.405983 0.41/0.49 c bounds 223 >= 63 @ 0.40642 0.41/0.49 c bounds 223 >= 64 @ 0.406558 0.41/0.49 c bounds 223 >= 65 @ 0.406558 0.41/0.49 c bounds 223 >= 66 @ 0.406701 0.41/0.49 c bounds 223 >= 67 @ 0.407138 0.41/0.49 c bounds 223 >= 68 @ 0.407566 0.41/0.49 c bounds 223 >= 69 @ 0.408004 0.41/0.49 c bounds 223 >= 70 @ 0.408436 0.41/0.49 c bounds 223 >= 71 @ 0.40855 0.41/0.49 c bounds 223 >= 72 @ 0.40855 0.41/0.49 c bounds 223 >= 73 @ 0.408551 0.41/0.49 c bounds 223 >= 74 @ 0.408551 0.41/0.49 c bounds 223 >= 75 @ 0.408716 0.41/0.49 c bounds 223 >= 76 @ 0.409163 0.41/0.49 c bounds 223 >= 77 @ 0.409601 0.41/0.49 c bounds 223 >= 78 @ 0.410035 0.41/0.49 c bounds 223 >= 79 @ 0.41048 0.41/0.49 c bounds 223 >= 80 @ 0.410541 0.41/0.49 c bounds 223 >= 81 @ 0.410541 0.41/0.49 c bounds 223 >= 82 @ 0.410541 0.41/0.49 c bounds 223 >= 83 @ 0.410541 0.41/0.49 c bounds 223 >= 84 @ 0.410618 0.41/0.49 c bounds 223 >= 85 @ 0.411045 0.41/0.49 c bounds 223 >= 86 @ 0.411465 0.41/0.49 c bounds 223 >= 87 @ 0.411888 0.41/0.49 c bounds 223 >= 88 @ 0.412311 0.41/0.49 c bounds 223 >= 89 @ 0.412532 0.41/0.49 c bounds 223 >= 90 @ 0.412532 0.41/0.49 c bounds 223 >= 91 @ 0.412614 0.41/0.49 c bounds 223 >= 92 @ 0.413053 0.41/0.49 c bounds 223 >= 93 @ 0.413487 0.41/0.49 c bounds 223 >= 94 @ 0.413903 0.41/0.49 c bounds 223 >= 95 @ 0.414323 0.41/0.49 c bounds 223 >= 96 @ 0.414522 0.41/0.49 c bounds 223 >= 97 @ 0.414522 0.41/0.49 c bounds 223 >= 98 @ 0.414644 0.41/0.49 c bounds 223 >= 99 @ 0.415073 0.41/0.49 c bounds 223 >= 100 @ 0.415486 0.41/0.49 c bounds 223 >= 101 @ 0.415518 0.41/0.49 c bounds 223 >= 102 @ 0.415518 0.41/0.49 c bounds 223 >= 103 @ 0.415518 0.41/0.49 c bounds 223 >= 104 @ 0.415518 0.41/0.49 c bounds 223 >= 105 @ 0.415554 0.41/0.49 c bounds 223 >= 106 @ 0.415974 0.41/0.49 c bounds 223 >= 107 @ 0.416386 0.41/0.49 c bounds 223 >= 108 @ 0.416514 0.41/0.49 c bounds 222 >= 108 @ 0.422023 0.41/0.49 c bounds 222 >= 109 @ 0.422508 0.41/0.49 c bounds 222 >= 110 @ 0.422996 0.41/0.49 c bounds 222 >= 111 @ 0.423486 0.41/0.49 c bounds 222 >= 112 @ 0.42397 0.41/0.49 c bounds 222 >= 113 @ 0.424452 0.41/0.49 c bounds 222 >= 114 @ 0.424921 0.41/0.49 c bounds 222 >= 115 @ 0.425386 0.41/0.49 c bounds 222 >= 116 @ 0.425473 0.41/0.49 c bounds 222 >= 117 @ 0.425473 0.41/0.49 c bounds 222 >= 118 @ 0.425556 0.41/0.49 c bounds 222 >= 119 @ 0.426037 0.41/0.49 c bounds 222 >= 120 @ 0.426507 0.41/0.49 c bounds 222 >= 121 @ 0.427049 0.41/0.49 c bounds 222 >= 122 @ 0.427551 0.41/0.49 c bounds 222 >= 123 @ 0.428101 0.41/0.49 c bounds 222 >= 124 @ 0.428456 0.41/0.49 c bounds 222 >= 125 @ 0.428456 0.41/0.49 c bounds 222 >= 126 @ 0.428458 0.41/0.49 c bounds 222 >= 127 @ 0.42854 0.41/0.49 c bounds 222 >= 128 @ 0.429141 0.41/0.49 c bounds 222 >= 129 @ 0.42971 0.41/0.49 c bounds 222 >= 130 @ 0.430335 0.41/0.49 c bounds 222 >= 131 @ 0.430447 0.41/0.49 c bounds 222 >= 132 @ 0.430741 0.41/0.49 c bounds 222 >= 133 @ 0.431497 1.58/1.63 c bounds 221 >= 133 @ 0.434649 1.58/1.63 c bounds 221 >= 134 @ 0.435423 1.58/1.63 c bounds 221 >= 135 @ 0.436643 1.58/1.63 c bounds 221 >= 136 @ 0.437907 1.58/1.63 c bounds 221 >= 137 @ 0.44086 1.58/1.63 c bounds 220 >= 137 @ 0.444509 1.58/1.63 c bounds 220 >= 138 @ 0.445298 1.58/1.63 c bounds 220 >= 139 @ 0.448171 1.58/1.63 c bounds 220 >= 140 @ 0.458693 1.58/1.63 c bounds 219 >= 140 @ 0.460896 1.58/1.63 c #Conflicts: 1000 | #Constraints: 2114 1.58/1.63 c bounds 218 >= 140 @ 0.752421 1.58/1.63 c bounds 218 >= 141 @ 0.769182 1.58/1.63 c bounds 218 >= 142 @ 0.850755 1.58/1.63 c #Conflicts: 2000 | #Constraints: 3205 1.58/1.63 c INPROCESSING 1.58/1.63 c GARBAGE COLLECT 1.58/1.63 c rational objective 142 2.38/2.49 c bounds 217 >= 142 @ 1.68038 2.38/2.49 c bounds 216 >= 142 @ 1.68333 2.38/2.49 c bounds 215 >= 142 @ 1.6864 2.38/2.49 c #Conflicts: 3000 | #Constraints: 3116 2.38/2.49 c bounds 214 >= 142 @ 1.86071 2.38/2.49 c bounds 214 >= 143 @ 1.8762 2.38/2.49 c #Conflicts: 4000 | #Constraints: 4174 2.38/2.49 c INPROCESSING 2.38/2.49 c GARBAGE COLLECT 2.38/2.49 c rational objective 143 3.57/3.69 c bounds 213 >= 143 @ 2.42444 3.57/3.69 c bounds 212 >= 143 @ 2.42785 3.57/3.69 c bounds 211 >= 143 @ 2.43876 3.57/3.69 c bounds 210 >= 143 @ 2.44921 3.57/3.69 c bounds 209 >= 143 @ 2.54392 3.57/3.69 c #Conflicts: 5000 | #Constraints: 3617 3.57/3.69 c bounds 208 >= 143 @ 2.57911 3.57/3.69 c bounds 207 >= 143 @ 2.7122 3.57/3.69 c #Conflicts: 6000 | #Constraints: 4619 3.57/3.69 c bounds 207 >= 144 @ 3.17383 3.57/3.69 c INPROCESSING 3.57/3.69 c GARBAGE COLLECT 3.57/3.69 c rational objective 144 4.38/4.42 c #Conflicts: 7000 | #Constraints: 3620 4.38/4.42 c #Conflicts: 8000 | #Constraints: 4620 4.38/4.42 c #Conflicts: 9000 | #Constraints: 5620 4.38/4.42 c INPROCESSING 4.38/4.42 c GARBAGE COLLECT 4.38/4.42 c rational objective 144 5.57/5.65 c #Conflicts: 10000 | #Constraints: 4306 5.57/5.65 c #Conflicts: 11000 | #Constraints: 5306 5.57/5.65 c #Conflicts: 12000 | #Constraints: 6306 5.57/5.65 c INPROCESSING 5.57/5.65 c GARBAGE COLLECT 5.57/5.65 c rational objective 144 6.46/6.54 c bounds 206 >= 144 @ 5.48788 6.46/6.54 c bounds 205 >= 144 @ 5.58844 6.46/6.54 c bounds 204 >= 144 @ 5.60189 6.46/6.54 c #Conflicts: 13000 | #Constraints: 4815 6.46/6.54 c #Conflicts: 14000 | #Constraints: 5815 6.46/6.54 c #Conflicts: 15000 | #Constraints: 6815 6.46/6.54 c INPROCESSING 6.46/6.54 c GARBAGE COLLECT 6.46/6.54 c rational objective 144 7.76/7.86 c #Conflicts: 16000 | #Constraints: 5012 7.76/7.86 c bounds 204 >= 145 @ 6.78546 7.76/7.86 c bounds 203 >= 145 @ 6.82046 7.76/7.86 c #Conflicts: 17000 | #Constraints: 6073 7.76/7.86 c #Conflicts: 18000 | #Constraints: 7073 7.76/7.86 c INPROCESSING 7.76/7.86 c GARBAGE COLLECT 7.76/7.86 c rational objective 145 9.65/9.70 c #Conflicts: 19000 | #Constraints: 5075 9.65/9.70 c #Conflicts: 20000 | #Constraints: 6075 9.65/9.70 c #Conflicts: 21000 | #Constraints: 7075 9.65/9.70 c INPROCESSING 9.65/9.70 c GARBAGE COLLECT 9.65/9.70 c rational objective 145 11.07/11.15 c #Conflicts: 22000 | #Constraints: 4934 11.07/11.15 c #Conflicts: 23000 | #Constraints: 5934 11.07/11.15 c #Conflicts: 24000 | #Constraints: 6937 11.07/11.15 c bounds 202 >= 145 @ 10.2285 11.07/11.15 c #Conflicts: 25000 | #Constraints: 7938 11.07/11.15 c INPROCESSING 11.07/11.15 c GARBAGE COLLECT 11.07/11.15 c rational objective 145 13.54/13.63 c #Conflicts: 26000 | #Constraints: 5502 13.54/13.63 c #Conflicts: 27000 | #Constraints: 6502 13.54/13.63 c #Conflicts: 28000 | #Constraints: 7502 13.54/13.63 c #Conflicts: 29000 | #Constraints: 8502 13.54/13.63 c INPROCESSING 13.54/13.63 c GARBAGE COLLECT 13.54/13.63 c rational objective 145 24.60/24.78 c #Conflicts: 30000 | #Constraints: 5947 24.60/24.78 c bounds 201 >= 145 @ 13.5882 24.60/24.78 c #Conflicts: 31000 | #Constraints: 6948 24.60/24.78 c #Conflicts: 32000 | #Constraints: 7948 24.60/24.78 c #Conflicts: 33000 | #Constraints: 8948 24.60/24.78 c bounds 200 >= 145 @ 14.7076 24.60/24.78 c #Conflicts: 34000 | #Constraints: 9949 24.60/24.78 c #Conflicts: 35000 | #Constraints: 10949 24.60/24.78 c #Conflicts: 36000 | #Constraints: 11949 24.60/24.78 c #Conflicts: 37000 | #Constraints: 12949 24.60/24.78 c #Conflicts: 38000 | #Constraints: 13949 24.60/24.78 c #Conflicts: 39000 | #Constraints: 14950 24.60/24.78 c #Conflicts: 40000 | #Constraints: 15950 24.60/24.78 c #Conflicts: 41000 | #Constraints: 16950 24.60/24.78 c #Conflicts: 42000 | #Constraints: 17950 24.60/24.78 c INPROCESSING 24.60/24.78 c GARBAGE COLLECT 24.60/24.78 c rational objective 145 32.28/32.44 c #Conflicts: 43000 | #Constraints: 10159 32.28/32.44 c #Conflicts: 44000 | #Constraints: 11160 32.28/32.44 c #Conflicts: 45000 | #Constraints: 12160 32.28/32.44 c #Conflicts: 46000 | #Constraints: 13160 32.28/32.44 c #Conflicts: 47000 | #Constraints: 14160 32.28/32.44 c #Conflicts: 48000 | #Constraints: 15160 32.28/32.44 c INPROCESSING 32.28/32.44 c GARBAGE COLLECT 32.28/32.44 c rational objective 145 36.77/36.94 c bounds 200 >= 146 @ 32.0936 36.77/36.94 c #Conflicts: 49000 | #Constraints: 9322 36.77/36.94 c #Conflicts: 50000 | #Constraints: 10322 36.77/36.94 c #Conflicts: 51000 | #Constraints: 11322 36.77/36.94 c #Conflicts: 52000 | #Constraints: 12322 36.77/36.94 c #Conflicts: 53000 | #Constraints: 13322 36.77/36.94 c INPROCESSING 36.77/36.94 c GARBAGE COLLECT 36.77/36.94 c rational objective 146 40.97/41.13 c #Conflicts: 54000 | #Constraints: 8230 40.97/41.13 c #Conflicts: 55000 | #Constraints: 9230 40.97/41.13 c #Conflicts: 56000 | #Constraints: 10230 40.97/41.13 c #Conflicts: 57000 | #Constraints: 11230 40.97/41.13 c #Conflicts: 58000 | #Constraints: 12230 40.97/41.13 c INPROCESSING 40.97/41.13 c GARBAGE COLLECT 40.97/41.13 c rational objective 146 75.33/75.67 c #Conflicts: 59000 | #Constraints: 7446 75.33/75.67 c #Conflicts: 60000 | #Constraints: 8447 75.33/75.67 c #Conflicts: 61000 | #Constraints: 9460 75.33/75.67 c #Conflicts: 62000 | #Constraints: 10460 75.33/75.67 c #Conflicts: 63000 | #Constraints: 11460 75.33/75.67 c #Conflicts: 64000 | #Constraints: 12460 75.33/75.67 c #Conflicts: 65000 | #Constraints: 13460 75.33/75.67 c #Conflicts: 66000 | #Constraints: 14460 75.33/75.67 c #Conflicts: 67000 | #Constraints: 15460 75.33/75.67 c #Conflicts: 68000 | #Constraints: 16493 75.33/75.67 c #Conflicts: 69000 | #Constraints: 17493 75.33/75.67 c #Conflicts: 70000 | #Constraints: 18493 75.33/75.67 c bounds 199 >= 146 @ 48.6042 75.33/75.67 c #Conflicts: 71000 | #Constraints: 19494 75.33/75.67 c #Conflicts: 72000 | #Constraints: 20494 75.33/75.67 c #Conflicts: 73000 | #Constraints: 21494 75.33/75.67 c #Conflicts: 74000 | #Constraints: 22494 75.33/75.67 c #Conflicts: 75000 | #Constraints: 23494 75.33/75.67 c #Conflicts: 76000 | #Constraints: 24494 75.33/75.67 c #Conflicts: 77000 | #Constraints: 25494 75.33/75.67 c #Conflicts: 78000 | #Constraints: 26494 75.33/75.67 c INPROCESSING 75.33/75.67 c GARBAGE COLLECT 75.33/75.67 c rational objective 146 80.32/80.62 c #Conflicts: 79000 | #Constraints: 14980 80.32/80.62 c #Conflicts: 80000 | #Constraints: 15980 80.32/80.62 c #Conflicts: 81000 | #Constraints: 17038 80.32/80.62 c #Conflicts: 82000 | #Constraints: 18039 80.32/80.62 c #Conflicts: 83000 | #Constraints: 19791 80.32/80.62 c bounds 198 >= 146 @ 77.1275 80.32/80.62 c #Conflicts: 84000 | #Constraints: 20947 80.32/80.62 c INPROCESSING 80.32/80.62 c GARBAGE COLLECT 80.32/80.62 c rational objective 146 86.90/87.26 c #Conflicts: 85000 | #Constraints: 11726 86.90/87.26 c #Conflicts: 86000 | #Constraints: 12726 86.90/87.26 c #Conflicts: 87000 | #Constraints: 13726 86.90/87.26 c #Conflicts: 88000 | #Constraints: 14726 86.90/87.26 c #Conflicts: 89000 | #Constraints: 15726 86.90/87.26 c #Conflicts: 90000 | #Constraints: 16726 86.90/87.26 c #Conflicts: 91000 | #Constraints: 17726 86.90/87.26 c INPROCESSING 86.90/87.26 c GARBAGE COLLECT 86.90/87.26 c rational objective 146 95.37/95.74 c #Conflicts: 92000 | #Constraints: 10117 95.37/95.74 c #Conflicts: 93000 | #Constraints: 11117 95.37/95.74 c #Conflicts: 94000 | #Constraints: 12117 95.37/95.74 c #Conflicts: 95000 | #Constraints: 13117 95.37/95.74 c #Conflicts: 96000 | #Constraints: 14117 95.37/95.74 c #Conflicts: 97000 | #Constraints: 15117 95.37/95.74 c #Conflicts: 98000 | #Constraints: 16117 95.37/95.74 c #Conflicts: 99000 | #Constraints: 17117 95.37/95.74 c INPROCESSING 95.37/95.74 c GARBAGE COLLECT 95.37/95.74 c rational objective 146 159.24/159.83 c #Conflicts: 100000 | #Constraints: 10291 159.24/159.83 c #Conflicts: 101000 | #Constraints: 11291 159.24/159.83 c bounds 197 >= 146 @ 94.4909 159.24/159.83 c #Conflicts: 102000 | #Constraints: 12292 159.24/159.83 c #Conflicts: 103000 | #Constraints: 13292 159.24/159.83 c #Conflicts: 104000 | #Constraints: 14295 159.24/159.83 c bounds 196 >= 146 @ 96.8423 159.24/159.83 c #Conflicts: 105000 | #Constraints: 15301 159.24/159.83 c #Conflicts: 106000 | #Constraints: 16347 159.24/159.83 c #Conflicts: 107000 | #Constraints: 17347 159.24/159.83 c bounds 195 >= 146 @ 100.486 159.24/159.83 c #Conflicts: 108000 | #Constraints: 18348 159.24/159.83 c #Conflicts: 109000 | #Constraints: 19348 159.24/159.83 c #Conflicts: 110000 | #Constraints: 20348 159.24/159.83 c #Conflicts: 111000 | #Constraints: 21348 159.24/159.83 c #Conflicts: 112000 | #Constraints: 22348 159.24/159.83 c #Conflicts: 113000 | #Constraints: 23348 159.24/159.83 c #Conflicts: 114000 | #Constraints: 24348 159.24/159.83 c #Conflicts: 115000 | #Constraints: 25348 159.24/159.83 c #Conflicts: 116000 | #Constraints: 26348 159.24/159.83 c #Conflicts: 117000 | #Constraints: 27348 159.24/159.83 c #Conflicts: 118000 | #Constraints: 28348 159.24/159.83 c #Conflicts: 119000 | #Constraints: 29348 159.24/159.83 c #Conflicts: 120000 | #Constraints: 30349 159.24/159.83 c #Conflicts: 121000 | #Constraints: 31349 159.24/159.83 c #Conflicts: 122000 | #Constraints: 32349 159.24/159.83 c #Conflicts: 123000 | #Constraints: 33349 159.24/159.83 c INPROCESSING 159.24/159.83 c GARBAGE COLLECT 159.24/159.83 c rational objective 146 171.41/172.05 c #Conflicts: 124000 | #Constraints: 18173 171.41/172.05 c #Conflicts: 125000 | #Constraints: 19173 171.41/172.05 c #Conflicts: 126000 | #Constraints: 20173 171.41/172.05 c #Conflicts: 127000 | #Constraints: 21173 171.41/172.05 c #Conflicts: 128000 | #Constraints: 22173 171.41/172.05 c #Conflicts: 129000 | #Constraints: 23173 171.41/172.05 c #Conflicts: 130000 | #Constraints: 24192 171.41/172.05 c #Conflicts: 131000 | #Constraints: 25202 171.41/172.05 c #Conflicts: 132000 | #Constraints: 26202 171.41/172.05 c INPROCESSING 171.41/172.05 c GARBAGE COLLECT 171.41/172.05 c rational objective 146 180.07/180.75 c #Conflicts: 133000 | #Constraints: 14757 180.07/180.75 c bounds 194 >= 146 @ 170.154 180.07/180.75 c #Conflicts: 134000 | #Constraints: 15758 180.07/180.75 c #Conflicts: 135000 | #Constraints: 16758 180.07/180.75 c #Conflicts: 136000 | #Constraints: 17812 180.07/180.75 c #Conflicts: 137000 | #Constraints: 18815 180.07/180.75 c #Conflicts: 138000 | #Constraints: 19856 180.07/180.75 c #Conflicts: 139000 | #Constraints: 20870 180.07/180.75 c #Conflicts: 140000 | #Constraints: 21870 180.07/180.75 c INPROCESSING 180.07/180.75 c GARBAGE COLLECT 180.07/180.75 c rational objective 146 189.54/190.28 c #Conflicts: 141000 | #Constraints: 12249 189.54/190.28 c #Conflicts: 142000 | #Constraints: 13249 189.54/190.28 c #Conflicts: 143000 | #Constraints: 14249 189.54/190.28 c #Conflicts: 144000 | #Constraints: 15293 189.54/190.28 c #Conflicts: 145000 | #Constraints: 16293 189.54/190.28 c #Conflicts: 146000 | #Constraints: 17293 189.54/190.28 c #Conflicts: 147000 | #Constraints: 18293 189.54/190.28 c #Conflicts: 148000 | #Constraints: 19340 189.54/190.28 c #Conflicts: 149000 | #Constraints: 20340 189.54/190.28 c INPROCESSING 189.54/190.28 c GARBAGE COLLECT 189.54/190.28 c rational objective 146 199.81/200.50 c #Conflicts: 150000 | #Constraints: 11536 199.81/200.50 c #Conflicts: 151000 | #Constraints: 12536 199.81/200.50 c #Conflicts: 152000 | #Constraints: 13536 199.81/200.50 c #Conflicts: 153000 | #Constraints: 14541 199.81/200.50 c #Conflicts: 154000 | #Constraints: 15564 199.81/200.50 c #Conflicts: 155000 | #Constraints: 16564 199.81/200.50 c #Conflicts: 156000 | #Constraints: 17564 199.81/200.50 c #Conflicts: 157000 | #Constraints: 18564 199.81/200.50 c #Conflicts: 158000 | #Constraints: 19564 199.81/200.50 c INPROCESSING 199.81/200.50 c GARBAGE COLLECT 199.81/200.50 c rational objective 146 253.82/254.73 c #Conflicts: 159000 | #Constraints: 11093 253.82/254.73 c #Conflicts: 160000 | #Constraints: 12093 253.82/254.73 c #Conflicts: 161000 | #Constraints: 13093 253.82/254.73 c #Conflicts: 162000 | #Constraints: 14093 253.82/254.73 c #Conflicts: 163000 | #Constraints: 15093 253.82/254.73 c #Conflicts: 164000 | #Constraints: 16094 253.82/254.73 c #Conflicts: 165000 | #Constraints: 17094 253.82/254.73 c #Conflicts: 166000 | #Constraints: 18094 253.82/254.73 c #Conflicts: 167000 | #Constraints: 19094 253.82/254.73 c #Conflicts: 168000 | #Constraints: 20094 253.82/254.73 c #Conflicts: 169000 | #Constraints: 21094 253.82/254.73 c #Conflicts: 170000 | #Constraints: 22094 253.82/254.73 c #Conflicts: 171000 | #Constraints: 23094 253.82/254.73 c #Conflicts: 172000 | #Constraints: 24094 253.82/254.73 c bounds 194 >= 147 @ 219.313 253.82/254.73 c #Conflicts: 173000 | #Constraints: 25148 253.82/254.73 c #Conflicts: 174000 | #Constraints: 26148 253.82/254.73 c #Conflicts: 175000 | #Constraints: 27148 253.82/254.73 c #Conflicts: 176000 | #Constraints: 28148 253.82/254.73 c #Conflicts: 177000 | #Constraints: 29148 253.82/254.73 c #Conflicts: 178000 | #Constraints: 30148 253.82/254.73 c #Conflicts: 179000 | #Constraints: 31148 253.82/254.73 c #Conflicts: 180000 | #Constraints: 32148 253.82/254.73 c #Conflicts: 181000 | #Constraints: 33148 253.82/254.73 c #Conflicts: 182000 | #Constraints: 34148 253.82/254.73 c #Conflicts: 183000 | #Constraints: 35148 253.82/254.73 c #Conflicts: 184000 | #Constraints: 36148 253.82/254.73 c #Conflicts: 185000 | #Constraints: 37148 253.82/254.73 c #Conflicts: 186000 | #Constraints: 38148 253.82/254.73 c #Conflicts: 187000 | #Constraints: 39148 253.82/254.73 c #Conflicts: 188000 | #Constraints: 40148 253.82/254.73 c #Conflicts: 189000 | #Constraints: 41148 253.82/254.73 c INPROCESSING 253.82/254.73 c GARBAGE COLLECT 253.82/254.73 c rational objective 147 280.42/281.41 c #Conflicts: 190000 | #Constraints: 21964 280.42/281.41 c #Conflicts: 191000 | #Constraints: 22964 280.42/281.41 c #Conflicts: 192000 | #Constraints: 23964 280.42/281.41 c #Conflicts: 193000 | #Constraints: 24964 280.42/281.41 c #Conflicts: 194000 | #Constraints: 25964 280.42/281.41 c #Conflicts: 195000 | #Constraints: 26964 280.42/281.41 c #Conflicts: 196000 | #Constraints: 27965 280.42/281.41 c #Conflicts: 197000 | #Constraints: 28965 280.42/281.41 c #Conflicts: 198000 | #Constraints: 29965 280.42/281.41 c #Conflicts: 199000 | #Constraints: 30969 280.42/281.41 c #Conflicts: 200000 | #Constraints: 31969 280.42/281.41 c INPROCESSING 280.42/281.41 c GARBAGE COLLECT 280.42/281.41 c rational objective 147 292.00/293.03 c #Conflicts: 201000 | #Constraints: 17752 292.00/293.03 c #Conflicts: 202000 | #Constraints: 18752 292.00/293.03 c #Conflicts: 203000 | #Constraints: 19752 292.00/293.03 c #Conflicts: 204000 | #Constraints: 20752 292.00/293.03 c #Conflicts: 205000 | #Constraints: 21752 292.00/293.03 c #Conflicts: 206000 | #Constraints: 22753 292.00/293.03 c #Conflicts: 207000 | #Constraints: 23753 292.00/293.03 c #Conflicts: 208000 | #Constraints: 24754 292.00/293.03 c #Conflicts: 209000 | #Constraints: 25754 292.00/293.03 c #Conflicts: 210000 | #Constraints: 26754 292.00/293.03 c INPROCESSING 292.00/293.03 c GARBAGE COLLECT 292.00/293.03 c rational objective 147 310.32/311.45 c #Conflicts: 211000 | #Constraints: 14768 310.32/311.45 c #Conflicts: 212000 | #Constraints: 15768 310.32/311.45 c #Conflicts: 213000 | #Constraints: 16768 310.32/311.45 c #Conflicts: 214000 | #Constraints: 17768 310.32/311.45 c #Conflicts: 215000 | #Constraints: 18768 310.32/311.45 c #Conflicts: 216000 | #Constraints: 19768 310.32/311.45 c #Conflicts: 217000 | #Constraints: 20768 310.32/311.45 c #Conflicts: 218000 | #Constraints: 21768 310.32/311.45 c #Conflicts: 219000 | #Constraints: 22768 310.32/311.45 c #Conflicts: 220000 | #Constraints: 23768 310.32/311.45 c #Conflicts: 221000 | #Constraints: 24768 310.32/311.45 c INPROCESSING 310.32/311.45 c GARBAGE COLLECT 310.32/311.45 c rational objective 147 409.88/411.38 c #Conflicts: 222000 | #Constraints: 13963 409.88/411.38 c #Conflicts: 223000 | #Constraints: 14963 409.88/411.38 c #Conflicts: 224000 | #Constraints: 15963 409.88/411.38 c #Conflicts: 225000 | #Constraints: 16963 409.88/411.38 c #Conflicts: 226000 | #Constraints: 17964 409.88/411.38 c #Conflicts: 227000 | #Constraints: 18964 409.88/411.38 c #Conflicts: 228000 | #Constraints: 19964 409.88/411.38 c #Conflicts: 229000 | #Constraints: 20964 409.88/411.38 c #Conflicts: 230000 | #Constraints: 21965 409.88/411.38 c #Conflicts: 231000 | #Constraints: 22965 409.88/411.38 c #Conflicts: 232000 | #Constraints: 23965 409.88/411.38 c #Conflicts: 233000 | #Constraints: 24965 409.88/411.38 c #Conflicts: 234000 | #Constraints: 25965 409.88/411.38 c #Conflicts: 235000 | #Constraints: 26965 409.88/411.38 c #Conflicts: 236000 | #Constraints: 27965 409.88/411.38 c #Conflicts: 237000 | #Constraints: 28965 409.88/411.38 c #Conflicts: 238000 | #Constraints: 29965 409.88/411.38 c #Conflicts: 239000 | #Constraints: 30965 409.88/411.38 c #Conflicts: 240000 | #Constraints: 31965 409.88/411.38 c #Conflicts: 241000 | #Constraints: 32965 409.88/411.38 c #Conflicts: 242000 | #Constraints: 33965 409.88/411.38 c #Conflicts: 243000 | #Constraints: 34965 409.88/411.38 c #Conflicts: 244000 | #Constraints: 35965 409.88/411.38 c #Conflicts: 245000 | #Constraints: 36966 409.88/411.38 c #Conflicts: 246000 | #Constraints: 37966 409.88/411.38 c #Conflicts: 247000 | #Constraints: 38966 409.88/411.38 c #Conflicts: 248000 | #Constraints: 39966 409.88/411.38 c #Conflicts: 249000 | #Constraints: 40966 409.88/411.38 c #Conflicts: 250000 | #Constraints: 41966 409.88/411.38 c #Conflicts: 251000 | #Constraints: 42966 409.88/411.38 c #Conflicts: 252000 | #Constraints: 43966 409.88/411.38 c #Conflicts: 253000 | #Constraints: 44966 409.88/411.38 c #Conflicts: 254000 | #Constraints: 45966 409.88/411.38 c #Conflicts: 255000 | #Constraints: 46966 409.88/411.38 c #Conflicts: 256000 | #Constraints: 47971 409.88/411.38 c #Conflicts: 257000 | #Constraints: 48971 409.88/411.38 c INPROCESSING 409.88/411.38 c GARBAGE COLLECT 409.88/411.38 c rational objective 147 477.54/479.27 c #Conflicts: 258000 | #Constraints: 25923 477.54/479.27 c #Conflicts: 259000 | #Constraints: 26923 477.54/479.27 c #Conflicts: 260000 | #Constraints: 27923 477.54/479.27 c #Conflicts: 261000 | #Constraints: 28923 477.54/479.27 c #Conflicts: 262000 | #Constraints: 29923 477.54/479.27 c #Conflicts: 263000 | #Constraints: 30923 477.54/479.27 c #Conflicts: 264000 | #Constraints: 31923 477.54/479.27 c #Conflicts: 265000 | #Constraints: 32923 477.54/479.27 c #Conflicts: 266000 | #Constraints: 33923 477.54/479.27 c #Conflicts: 267000 | #Constraints: 34923 477.54/479.27 c #Conflicts: 268000 | #Constraints: 35923 477.54/479.27 c #Conflicts: 269000 | #Constraints: 36923 477.54/479.27 c INPROCESSING 477.54/479.27 c GARBAGE COLLECT 477.54/479.27 c rational objective 147 507.94/509.74 c #Conflicts: 270000 | #Constraints: 19882 507.94/509.74 c #Conflicts: 271000 | #Constraints: 20883 507.94/509.74 c #Conflicts: 272000 | #Constraints: 21883 507.94/509.74 c #Conflicts: 273000 | #Constraints: 22883 507.94/509.74 c #Conflicts: 274000 | #Constraints: 23883 507.94/509.74 c #Conflicts: 275000 | #Constraints: 24883 507.94/509.74 c #Conflicts: 276000 | #Constraints: 25883 507.94/509.74 c #Conflicts: 277000 | #Constraints: 26883 507.94/509.74 c #Conflicts: 278000 | #Constraints: 27883 507.94/509.74 c #Conflicts: 279000 | #Constraints: 28883 507.94/509.74 c #Conflicts: 280000 | #Constraints: 29883 507.94/509.74 c #Conflicts: 281000 | #Constraints: 30883 507.94/509.74 c #Conflicts: 282000 | #Constraints: 31883 507.94/509.74 c INPROCESSING 507.94/509.74 c GARBAGE COLLECT 507.94/509.74 c rational objective 147 535.34/537.21 c #Conflicts: 283000 | #Constraints: 17721 535.34/537.21 c #Conflicts: 284000 | #Constraints: 18721 535.34/537.21 c #Conflicts: 285000 | #Constraints: 19721 535.34/537.21 c #Conflicts: 286000 | #Constraints: 20722 535.34/537.21 c #Conflicts: 287000 | #Constraints: 21722 535.34/537.21 c #Conflicts: 288000 | #Constraints: 22724 535.34/537.21 c #Conflicts: 289000 | #Constraints: 23724 535.34/537.21 c #Conflicts: 290000 | #Constraints: 24724 535.34/537.21 c #Conflicts: 291000 | #Constraints: 25724 535.34/537.21 c #Conflicts: 292000 | #Constraints: 26724 535.34/537.21 c #Conflicts: 293000 | #Constraints: 27724 535.34/537.21 c #Conflicts: 294000 | #Constraints: 28724 535.34/537.21 c INPROCESSING 535.34/537.21 c GARBAGE COLLECT 535.34/537.21 c rational objective 147 698.87/701.32 c #Conflicts: 295000 | #Constraints: 15891 698.87/701.32 c #Conflicts: 296000 | #Constraints: 16893 698.87/701.32 c #Conflicts: 297000 | #Constraints: 17898 698.87/701.32 c #Conflicts: 298000 | #Constraints: 18900 698.87/701.32 c #Conflicts: 299000 | #Constraints: 19906 698.87/701.32 c #Conflicts: 300000 | #Constraints: 20929 698.87/701.32 c #Conflicts: 301000 | #Constraints: 21929 698.87/701.32 c #Conflicts: 302000 | #Constraints: 22929 698.87/701.32 c #Conflicts: 303000 | #Constraints: 23929 698.87/701.32 c #Conflicts: 304000 | #Constraints: 24929 698.87/701.32 c #Conflicts: 305000 | #Constraints: 25929 698.87/701.32 c #Conflicts: 306000 | #Constraints: 26929 698.87/701.32 c #Conflicts: 307000 | #Constraints: 27934 698.87/701.32 c #Conflicts: 308000 | #Constraints: 28934 698.87/701.32 c #Conflicts: 309000 | #Constraints: 29962 698.87/701.32 c #Conflicts: 310000 | #Constraints: 30963 698.87/701.32 c #Conflicts: 311000 | #Constraints: 32073 698.87/701.32 c #Conflicts: 312000 | #Constraints: 33073 698.87/701.32 c #Conflicts: 313000 | #Constraints: 34073 698.87/701.32 c #Conflicts: 314000 | #Constraints: 35073 698.87/701.32 c #Conflicts: 315000 | #Constraints: 36074 698.87/701.32 c #Conflicts: 316000 | #Constraints: 37085 698.87/701.32 c #Conflicts: 317000 | #Constraints: 38094 698.87/701.32 c #Conflicts: 318000 | #Constraints: 39094 698.87/701.32 c #Conflicts: 319000 | #Constraints: 40094 698.87/701.32 c #Conflicts: 320000 | #Constraints: 41094 698.87/701.32 c #Conflicts: 321000 | #Constraints: 42094 698.87/701.32 c #Conflicts: 322000 | #Constraints: 43094 698.87/701.32 c #Conflicts: 323000 | #Constraints: 44094 698.87/701.32 c #Conflicts: 324000 | #Constraints: 45094 698.87/701.32 c #Conflicts: 325000 | #Constraints: 46094 698.87/701.32 c #Conflicts: 326000 | #Constraints: 47094 698.87/701.32 c #Conflicts: 327000 | #Constraints: 48094 698.87/701.32 c #Conflicts: 328000 | #Constraints: 49094 698.87/701.32 c #Conflicts: 329000 | #Constraints: 50094 698.87/701.32 c #Conflicts: 330000 | #Constraints: 51094 698.87/701.32 c #Conflicts: 331000 | #Constraints: 52094 698.87/701.32 c #Conflicts: 332000 | #Constraints: 53094 698.87/701.32 c #Conflicts: 333000 | #Constraints: 54094 698.87/701.32 c #Conflicts: 334000 | #Constraints: 55108 698.87/701.32 c #Conflicts: 335000 | #Constraints: 56143 698.87/701.32 c #Conflicts: 336000 | #Constraints: 57143 698.87/701.32 c INPROCESSING 698.87/701.32 c GARBAGE COLLECT 698.87/701.32 c rational objective 147 805.69/808.53 c #Conflicts: 337000 | #Constraints: 30268 805.69/808.53 c #Conflicts: 338000 | #Constraints: 31268 805.69/808.53 c #Conflicts: 339000 | #Constraints: 32268 805.69/808.53 c #Conflicts: 340000 | #Constraints: 33268 805.69/808.53 c #Conflicts: 341000 | #Constraints: 34268 805.69/808.53 c #Conflicts: 342000 | #Constraints: 35268 805.69/808.53 c #Conflicts: 343000 | #Constraints: 36268 805.69/808.53 c #Conflicts: 344000 | #Constraints: 37268 805.69/808.53 c #Conflicts: 345000 | #Constraints: 38268 805.69/808.53 c #Conflicts: 346000 | #Constraints: 39268 805.69/808.53 c #Conflicts: 347000 | #Constraints: 40268 805.69/808.53 c #Conflicts: 348000 | #Constraints: 41268 805.69/808.53 c #Conflicts: 349000 | #Constraints: 42268 805.69/808.53 c INPROCESSING 805.69/808.53 c GARBAGE COLLECT 805.69/808.53 c rational objective 147 852.43/855.42 c #Conflicts: 350000 | #Constraints: 22515 852.43/855.42 c #Conflicts: 351000 | #Constraints: 23515 852.43/855.42 c #Conflicts: 352000 | #Constraints: 24516 852.43/855.42 c #Conflicts: 353000 | #Constraints: 25516 852.43/855.42 c #Conflicts: 354000 | #Constraints: 26516 852.43/855.42 c #Conflicts: 355000 | #Constraints: 27516 852.43/855.42 c #Conflicts: 356000 | #Constraints: 28516 852.43/855.42 c #Conflicts: 357000 | #Constraints: 29516 852.43/855.42 c #Conflicts: 358000 | #Constraints: 30516 852.43/855.42 c #Conflicts: 359000 | #Constraints: 31516 852.43/855.42 c #Conflicts: 360000 | #Constraints: 32516 852.43/855.42 c #Conflicts: 361000 | #Constraints: 33516 852.43/855.42 c #Conflicts: 362000 | #Constraints: 34516 852.43/855.42 c #Conflicts: 363000 | #Constraints: 35516 852.43/855.42 c INPROCESSING 852.43/855.42 c GARBAGE COLLECT 852.43/855.42 c rational objective 147 893.29/896.46 c #Conflicts: 364000 | #Constraints: 19139 893.29/896.46 c #Conflicts: 365000 | #Constraints: 20140 893.29/896.46 c #Conflicts: 366000 | #Constraints: 21140 893.29/896.46 c #Conflicts: 367000 | #Constraints: 22140 893.29/896.46 c #Conflicts: 368000 | #Constraints: 23140 893.29/896.46 c #Conflicts: 369000 | #Constraints: 24140 893.29/896.46 c #Conflicts: 370000 | #Constraints: 25140 893.29/896.46 c #Conflicts: 371000 | #Constraints: 26140 893.29/896.46 c #Conflicts: 372000 | #Constraints: 27140 893.29/896.46 c #Conflicts: 373000 | #Constraints: 28140 893.29/896.46 c #Conflicts: 374000 | #Constraints: 29140 893.29/896.46 c #Conflicts: 375000 | #Constraints: 30140 893.29/896.46 c #Conflicts: 376000 | #Constraints: 31140 893.29/896.46 c #Conflicts: 377000 | #Constraints: 32140 893.29/896.46 c #Conflicts: 378000 | #Constraints: 33140 893.29/896.46 c INPROCESSING 893.29/896.46 c GARBAGE COLLECT 893.29/896.46 c rational objective 147 1082.25/1086.07 c #Conflicts: 379000 | #Constraints: 18801 1082.25/1086.07 c #Conflicts: 380000 | #Constraints: 19801 1082.25/1086.07 c #Conflicts: 381000 | #Constraints: 20801 1082.25/1086.07 c #Conflicts: 382000 | #Constraints: 21801 1082.25/1086.07 c #Conflicts: 383000 | #Constraints: 22801 1082.25/1086.07 c #Conflicts: 384000 | #Constraints: 23801 1082.25/1086.07 c #Conflicts: 385000 | #Constraints: 24801 1082.25/1086.07 c #Conflicts: 386000 | #Constraints: 25801 1082.25/1086.07 c #Conflicts: 387000 | #Constraints: 26801 1082.25/1086.07 c #Conflicts: 388000 | #Constraints: 27801 1082.25/1086.07 c #Conflicts: 389000 | #Constraints: 28801 1082.25/1086.07 c #Conflicts: 390000 | #Constraints: 29801 1082.25/1086.07 c #Conflicts: 391000 | #Constraints: 30801 1082.25/1086.07 c #Conflicts: 392000 | #Constraints: 31801 1082.25/1086.07 c #Conflicts: 393000 | #Constraints: 32801 1082.25/1086.07 c #Conflicts: 394000 | #Constraints: 33801 1082.25/1086.07 c #Conflicts: 395000 | #Constraints: 34801 1082.25/1086.07 c #Conflicts: 396000 | #Constraints: 35801 1082.25/1086.07 c #Conflicts: 397000 | #Constraints: 36801 1082.25/1086.07 c #Conflicts: 398000 | #Constraints: 37801 1082.25/1086.07 c #Conflicts: 399000 | #Constraints: 38801 1082.25/1086.07 c #Conflicts: 400000 | #Constraints: 39801 1082.25/1086.07 c #Conflicts: 401000 | #Constraints: 40801 1082.25/1086.07 c #Conflicts: 402000 | #Constraints: 41801 1082.25/1086.07 c #Conflicts: 403000 | #Constraints: 42801 1082.25/1086.07 c #Conflicts: 404000 | #Constraints: 43801 1082.25/1086.07 c #Conflicts: 405000 | #Constraints: 44801 1082.25/1086.07 c #Conflicts: 406000 | #Constraints: 45801 1082.25/1086.07 c #Conflicts: 407000 | #Constraints: 46801 1082.25/1086.07 c #Conflicts: 408000 | #Constraints: 47801 1082.25/1086.07 c #Conflicts: 409000 | #Constraints: 48801 1082.25/1086.07 c #Conflicts: 410000 | #Constraints: 49801 1082.25/1086.07 c #Conflicts: 411000 | #Constraints: 50801 1082.25/1086.07 c #Conflicts: 412000 | #Constraints: 51801 1082.25/1086.07 c #Conflicts: 413000 | #Constraints: 52801 1082.25/1086.07 c #Conflicts: 414000 | #Constraints: 53801 1082.25/1086.07 c bounds 194 >= 148 @ 1046.02 1082.25/1086.07 c #Conflicts: 415000 | #Constraints: 54858 1082.25/1086.07 c #Conflicts: 416000 | #Constraints: 55858 1082.25/1086.07 c #Conflicts: 417000 | #Constraints: 56858 1082.25/1086.07 c #Conflicts: 418000 | #Constraints: 57858 1082.25/1086.07 c #Conflicts: 419000 | #Constraints: 58858 1082.25/1086.07 c #Conflicts: 420000 | #Constraints: 59858 1082.25/1086.07 c #Conflicts: 421000 | #Constraints: 60871 1082.25/1086.07 c #Conflicts: 422000 | #Constraints: 61872 1082.25/1086.07 c #Conflicts: 423000 | #Constraints: 62873 1082.25/1086.07 c #Conflicts: 424000 | #Constraints: 63874 1082.25/1086.07 c INPROCESSING 1082.25/1086.07 c GARBAGE COLLECT 1082.25/1086.07 c rational objective 148 1128.78/1132.73 c #Conflicts: 425000 | #Constraints: 33252 1128.78/1132.73 c #Conflicts: 426000 | #Constraints: 34252 1128.78/1132.73 c #Conflicts: 427000 | #Constraints: 35252 1128.78/1132.73 c #Conflicts: 428000 | #Constraints: 36252 1128.78/1132.73 c #Conflicts: 429000 | #Constraints: 37254 1128.78/1132.73 c #Conflicts: 430000 | #Constraints: 38254 1128.78/1132.73 c #Conflicts: 431000 | #Constraints: 39255 1128.78/1132.73 c #Conflicts: 432000 | #Constraints: 40258 1128.78/1132.73 c #Conflicts: 433000 | #Constraints: 41258 1128.78/1132.73 c #Conflicts: 434000 | #Constraints: 42258 1128.78/1132.73 c #Conflicts: 435000 | #Constraints: 43273 1128.78/1132.73 c #Conflicts: 436000 | #Constraints: 44276 1128.78/1132.73 c #Conflicts: 437000 | #Constraints: 45276 1128.78/1132.73 c #Conflicts: 438000 | #Constraints: 46276 1128.78/1132.73 c #Conflicts: 439000 | #Constraints: 47276 1128.78/1132.73 c #Conflicts: 440000 | #Constraints: 48276 1128.78/1132.73 c INPROCESSING 1128.78/1132.73 c GARBAGE COLLECT 1128.78/1132.73 c rational objective 148 1186.59/1190.79 c #Conflicts: 441000 | #Constraints: 25727 1186.59/1190.79 c #Conflicts: 442000 | #Constraints: 26727 1186.59/1190.79 c #Conflicts: 443000 | #Constraints: 27727 1186.59/1190.79 c #Conflicts: 444000 | #Constraints: 28727 1186.59/1190.79 c #Conflicts: 445000 | #Constraints: 29727 1186.59/1190.79 c #Conflicts: 446000 | #Constraints: 30728 1186.59/1190.79 c #Conflicts: 447000 | #Constraints: 31728 1186.59/1190.79 c #Conflicts: 448000 | #Constraints: 32728 1186.59/1190.79 c #Conflicts: 449000 | #Constraints: 33728 1186.59/1190.79 c #Conflicts: 450000 | #Constraints: 34728 1186.59/1190.79 c #Conflicts: 451000 | #Constraints: 35728 1186.59/1190.79 c #Conflicts: 452000 | #Constraints: 36729 1186.59/1190.79 c #Conflicts: 453000 | #Constraints: 37729 1186.59/1190.79 c #Conflicts: 454000 | #Constraints: 38729 1186.59/1190.79 c #Conflicts: 455000 | #Constraints: 39729 1186.59/1190.79 c #Conflicts: 456000 | #Constraints: 40729 1186.59/1190.79 c INPROCESSING 1186.59/1190.79 c GARBAGE COLLECT 1186.59/1190.79 c rational objective 148 1449.84/1454.99 c #Conflicts: 457000 | #Constraints: 22087 1449.84/1454.99 c #Conflicts: 458000 | #Constraints: 23088 1449.84/1454.99 c #Conflicts: 459000 | #Constraints: 24088 1449.84/1454.99 c #Conflicts: 460000 | #Constraints: 25088 1449.84/1454.99 c #Conflicts: 461000 | #Constraints: 26089 1449.84/1454.99 c #Conflicts: 462000 | #Constraints: 27089 1449.84/1454.99 c #Conflicts: 463000 | #Constraints: 28090 1449.84/1454.99 c #Conflicts: 464000 | #Constraints: 29090 1449.84/1454.99 c #Conflicts: 465000 | #Constraints: 30090 1449.84/1454.99 c #Conflicts: 466000 | #Constraints: 31090 1449.84/1454.99 c #Conflicts: 467000 | #Constraints: 32091 1449.84/1454.99 c #Conflicts: 468000 | #Constraints: 33091 1449.84/1454.99 c #Conflicts: 469000 | #Constraints: 34091 1449.84/1454.99 c #Conflicts: 470000 | #Constraints: 35091 1449.84/1454.99 c #Conflicts: 471000 | #Constraints: 36091 1449.84/1454.99 c #Conflicts: 472000 | #Constraints: 37091 1449.84/1454.99 c #Conflicts: 473000 | #Constraints: 38091 1449.84/1454.99 c #Conflicts: 474000 | #Constraints: 39091 1449.84/1454.99 c #Conflicts: 475000 | #Constraints: 40091 1449.84/1454.99 c #Conflicts: 476000 | #Constraints: 41091 1449.84/1454.99 c #Conflicts: 477000 | #Constraints: 42091 1449.84/1454.99 c #Conflicts: 478000 | #Constraints: 43091 1449.84/1454.99 c #Conflicts: 479000 | #Constraints: 44091 1449.84/1454.99 c #Conflicts: 480000 | #Constraints: 45091 1449.84/1454.99 c #Conflicts: 481000 | #Constraints: 46091 1449.84/1454.99 c #Conflicts: 482000 | #Constraints: 47091 1449.84/1454.99 c #Conflicts: 483000 | #Constraints: 48091 1449.84/1454.99 c #Conflicts: 484000 | #Constraints: 49091 1449.84/1454.99 c #Conflicts: 485000 | #Constraints: 50091 1449.84/1454.99 c #Conflicts: 486000 | #Constraints: 51091 1449.84/1454.99 c #Conflicts: 487000 | #Constraints: 52091 1449.84/1454.99 c #Conflicts: 488000 | #Constraints: 53091 1449.84/1454.99 c #Conflicts: 489000 | #Constraints: 54091 1449.84/1454.99 c #Conflicts: 490000 | #Constraints: 55091 1449.84/1454.99 c #Conflicts: 491000 | #Constraints: 56091 1449.84/1454.99 c #Conflicts: 492000 | #Constraints: 57091 1449.84/1454.99 c #Conflicts: 493000 | #Constraints: 58091 1449.84/1454.99 c #Conflicts: 494000 | #Constraints: 59091 1449.84/1454.99 c #Conflicts: 495000 | #Constraints: 60091 1449.84/1454.99 c #Conflicts: 496000 | #Constraints: 61091 1449.84/1454.99 c #Conflicts: 497000 | #Constraints: 62091 1449.84/1454.99 c #Conflicts: 498000 | #Constraints: 63091 1449.84/1454.99 c #Conflicts: 499000 | #Constraints: 64091 1449.84/1454.99 c #Conflicts: 500000 | #Constraints: 65091 1449.84/1454.99 c #Conflicts: 501000 | #Constraints: 66091 1449.84/1454.99 c #Conflicts: 502000 | #Constraints: 67091 1449.84/1454.99 c #Conflicts: 503000 | #Constraints: 68091 1449.84/1454.99 c #Conflicts: 504000 | #Constraints: 69091 1449.84/1454.99 c #Conflicts: 505000 | #Constraints: 70091 1449.84/1454.99 c #Conflicts: 506000 | #Constraints: 71091 1449.84/1454.99 c #Conflicts: 507000 | #Constraints: 72091 1449.84/1454.99 c INPROCESSING 1449.84/1454.99 c GARBAGE COLLECT 1449.84/1454.99 c rational objective 148 1499.63/1504.91 c #Conflicts: 508000 | #Constraints: 37855 1499.63/1504.91 c #Conflicts: 509000 | #Constraints: 38855 1499.63/1504.91 c #Conflicts: 510000 | #Constraints: 39855 1499.63/1504.91 c #Conflicts: 511000 | #Constraints: 40855 1499.63/1504.91 c #Conflicts: 512000 | #Constraints: 41855 1499.63/1504.91 c #Conflicts: 513000 | #Constraints: 42856 1499.63/1504.91 c #Conflicts: 514000 | #Constraints: 43856 1499.63/1504.91 c #Conflicts: 515000 | #Constraints: 44862 1499.63/1504.91 c #Conflicts: 516000 | #Constraints: 45885 1499.63/1504.91 c bounds 193 >= 148 @ 1460.87 1499.63/1504.91 c #Conflicts: 517000 | #Constraints: 46886 1499.63/1504.91 c #Conflicts: 518000 | #Constraints: 47886 1499.63/1504.91 c #Conflicts: 519000 | #Constraints: 48931 1499.63/1504.91 c #Conflicts: 520000 | #Constraints: 49943 1499.63/1504.91 c #Conflicts: 521000 | #Constraints: 50943 1499.63/1504.91 c #Conflicts: 522000 | #Constraints: 51943 1499.63/1504.91 c #Conflicts: 523000 | #Constraints: 52943 1499.63/1504.91 c #Conflicts: 524000 | #Constraints: 53943 1499.63/1504.91 c INPROCESSING 1499.63/1504.91 c GARBAGE COLLECT 1499.63/1504.91 c rational objective 148 1541.57/1547.10 c #Conflicts: 525000 | #Constraints: 28689 1541.57/1547.10 c #Conflicts: 526000 | #Constraints: 29689 1541.57/1547.10 c #Conflicts: 527000 | #Constraints: 30720 1541.57/1547.10 c #Conflicts: 528000 | #Constraints: 31720 1541.57/1547.10 c #Conflicts: 529000 | #Constraints: 32720 1541.57/1547.10 c #Conflicts: 530000 | #Constraints: 33720 1541.57/1547.10 c #Conflicts: 531000 | #Constraints: 34720 1541.57/1547.10 c #Conflicts: 532000 | #Constraints: 35720 1541.57/1547.10 c #Conflicts: 533000 | #Constraints: 36720 1541.57/1547.10 c #Conflicts: 534000 | #Constraints: 37720 1541.57/1547.10 c #Conflicts: 535000 | #Constraints: 38720 1541.57/1547.10 c #Conflicts: 536000 | #Constraints: 39720 1541.57/1547.10 c #Conflicts: 537000 | #Constraints: 40720 1541.57/1547.10 c #Conflicts: 538000 | #Constraints: 41720 1541.57/1547.10 c #Conflicts: 539000 | #Constraints: 42720 1541.57/1547.10 c #Conflicts: 540000 | #Constraints: 43720 1541.57/1547.10 c #Conflicts: 541000 | #Constraints: 44720 1541.57/1547.10 c INPROCESSING 1541.57/1547.10 c GARBAGE COLLECT 1541.57/1547.10 c rational objective 148 1801.40/1807.78 c #Conflicts: 542000 | #Constraints: 24774 1801.40/1807.78 c #Conflicts: 543000 | #Constraints: 25774 1801.40/1807.78 c #Conflicts: 544000 | #Constraints: 26781 1801.40/1807.78 c #Conflicts: 545000 | #Constraints: 27781 1801.40/1807.78 c #Conflicts: 546000 | #Constraints: 28781 1801.40/1807.78 c #Conflicts: 547000 | #Constraints: 29781 1801.40/1807.78 c #Conflicts: 548000 | #Constraints: 30781 1801.40/1807.78 c #Conflicts: 549000 | #Constraints: 31781 1801.40/1807.78 c #Conflicts: 550000 | #Constraints: 32781 1801.40/1807.78 c #Conflicts: 551000 | #Constraints: 33844 1801.40/1807.78 c #Conflicts: 552000 | #Constraints: 34844 1801.40/1807.78 c #Conflicts: 553000 | #Constraints: 35844 1801.40/1807.78 c #Conflicts: 554000 | #Constraints: 36844 1801.40/1807.78 c #Conflicts: 555000 | #Constraints: 37844 1801.40/1807.78 c #Conflicts: 556000 | #Constraints: 38844 1801.40/1807.78 c #Conflicts: 557000 | #Constraints: 39844 1801.40/1807.78 c #Conflicts: 558000 | #Constraints: 40844 1801.40/1807.78 c #Conflicts: 559000 | #Constraints: 41844 1801.40/1807.78 c #Conflicts: 560000 | #Constraints: 42857 1801.40/1807.78 c #Conflicts: 561000 | #Constraints: 43894 1801.40/1807.78 c #Conflicts: 562000 | #Constraints: 44894 1801.40/1807.78 c #Conflicts: 563000 | #Constraints: 45894 1801.40/1807.78 c #Conflicts: 564000 | #Constraints: 46894 1801.40/1807.78 c #Conflicts: 565000 | #Constraints: 47894 1801.40/1807.78 c #Conflicts: 566000 | #Constraints: 48906 1801.40/1807.78 c #Conflicts: 567000 | #Constraints: 49906 1801.40/1807.78 c #Conflicts: 568000 | #Constraints: 50924 1801.40/1807.78 c #Conflicts: 569000 | #Constraints: 51982 1801.40/1807.78 c #Conflicts: 570000 | #Constraints: 52982 1801.40/1807.78 c #Conflicts: 571000 | #Constraints: 53982 1801.40/1807.78 c #Conflicts: 572000 | #Constraints: 54982 1801.40/1807.78 c #Conflicts: 573000 | #Constraints: 55982 1801.40/1807.78 c #Conflicts: 574000 | #Constraints: 56982 1801.40/1807.78 c #Conflicts: 575000 | #Constraints: 57982 1801.40/1807.78 c #Conflicts: 576000 | #Constraints: 58982 1801.40/1807.78 c #Conflicts: 577000 | #Constraints: 59982 1801.40/1807.78 c #Conflicts: 578000 | #Constraints: 60982 1801.40/1807.78 c #Conflicts: 579000 | #Constraints: 61982 1801.40/1807.78 c #Conflicts: 580000 | #Constraints: 62982 1801.40/1807.78 c #Conflicts: 581000 | #Constraints: 63982 1801.40/1807.78 c #Conflicts: 582000 | #Constraints: 64982 1801.40/1807.78 c #Conflicts: 583000 | #Constraints: 65982 1801.40/1807.78 c #Conflicts: 584000 | #Constraints: 66982 1801.40/1807.78 c #Conflicts: 585000 | #Constraints: 67982 1801.40/1807.78 c #Conflicts: 586000 | #Constraints: 69002 1801.40/1807.78 c #Conflicts: 587000 | #Constraints: 70002 1801.40/1807.78 c #Conflicts: 588000 | #Constraints: 71002 1801.40/1807.78 c #Conflicts: 589000 | #Constraints: 72002 1801.40/1807.78 c #Conflicts: 590000 | #Constraints: 73002 1801.40/1807.78 c #Conflicts: 591000 | #Constraints: 74002 1801.40/1807.78 c #Conflicts: 592000 | #Constraints: 75002 1801.40/1807.78 c #Conflicts: 593000 | #Constraints: 76002 1801.40/1807.78 c #Conflicts: 594000 | #Constraints: 77002 1801.40/1807.78 c #Conflicts: 595000 | #Constraints: 78002 1801.40/1807.78 c #Conflicts: 596000 | #Constraints: 79002 1801.40/1807.78 c INPROCESSING 1801.40/1807.78 c GARBAGE COLLECT 1801.40/1807.78 c rational objective 148 1967.46/1974.38 c #Conflicts: 597000 | #Constraints: 41033 1967.46/1974.38 c #Conflicts: 598000 | #Constraints: 42034 1967.46/1974.38 c #Conflicts: 599000 | #Constraints: 43034 1967.46/1974.38 c #Conflicts: 600000 | #Constraints: 44034 1967.46/1974.38 c #Conflicts: 601000 | #Constraints: 45034 1967.46/1974.38 c #Conflicts: 602000 | #Constraints: 46034 1967.46/1974.38 c #Conflicts: 603000 | #Constraints: 47034 1967.46/1974.38 c #Conflicts: 604000 | #Constraints: 48034 1967.46/1974.38 c #Conflicts: 605000 | #Constraints: 49035 1967.46/1974.38 c #Conflicts: 606000 | #Constraints: 50035 1967.46/1974.38 c #Conflicts: 607000 | #Constraints: 51035 1967.46/1974.38 c #Conflicts: 608000 | #Constraints: 52035 1967.46/1974.38 c #Conflicts: 609000 | #Constraints: 53035 1967.46/1974.38 c #Conflicts: 610000 | #Constraints: 54035 1967.46/1974.38 c #Conflicts: 611000 | #Constraints: 55035 1967.46/1974.38 c #Conflicts: 612000 | #Constraints: 56035 1967.46/1974.38 c #Conflicts: 613000 | #Constraints: 57035 1967.46/1974.38 c #Conflicts: 614000 | #Constraints: 58035 1967.46/1974.38 c INPROCESSING 1967.46/1974.38 c GARBAGE COLLECT 1967.46/1974.38 c rational objective 148 2039.73/2046.87 c #Conflicts: 615000 | #Constraints: 30370 2039.73/2046.87 c #Conflicts: 616000 | #Constraints: 31370 2039.73/2046.87 c #Conflicts: 617000 | #Constraints: 32370 2039.73/2046.87 c #Conflicts: 618000 | #Constraints: 33370 2039.73/2046.87 c #Conflicts: 619000 | #Constraints: 34370 2039.73/2046.87 c #Conflicts: 620000 | #Constraints: 35370 2039.73/2046.87 c #Conflicts: 621000 | #Constraints: 36370 2039.73/2046.87 c #Conflicts: 622000 | #Constraints: 37370 2039.73/2046.87 c #Conflicts: 623000 | #Constraints: 38370 2039.73/2046.87 c #Conflicts: 624000 | #Constraints: 39370 2039.73/2046.87 c #Conflicts: 625000 | #Constraints: 40370 2039.73/2046.87 c #Conflicts: 626000 | #Constraints: 41370 2039.73/2046.87 c #Conflicts: 627000 | #Constraints: 42370 2039.73/2046.87 c #Conflicts: 628000 | #Constraints: 43370 2039.73/2046.87 c #Conflicts: 629000 | #Constraints: 44370 2039.73/2046.87 c #Conflicts: 630000 | #Constraints: 45370 2039.73/2046.87 c #Conflicts: 631000 | #Constraints: 46370 2039.73/2046.87 c #Conflicts: 632000 | #Constraints: 47370 2039.73/2046.87 c #Conflicts: 633000 | #Constraints: 48370 2039.73/2046.87 c INPROCESSING 2039.73/2046.87 c GARBAGE COLLECT 2039.73/2046.87 c rational objective 148 2407.66/2415.99 c #Conflicts: 634000 | #Constraints: 28126 2407.66/2415.99 c #Conflicts: 635000 | #Constraints: 29126 2407.66/2415.99 c #Conflicts: 636000 | #Constraints: 30227 2407.66/2415.99 c #Conflicts: 637000 | #Constraints: 31229 2407.66/2415.99 c #Conflicts: 638000 | #Constraints: 32281 2407.66/2415.99 c #Conflicts: 639000 | #Constraints: 33281 2407.66/2415.99 c #Conflicts: 640000 | #Constraints: 34281 2407.66/2415.99 c #Conflicts: 641000 | #Constraints: 35281 2407.66/2415.99 c #Conflicts: 642000 | #Constraints: 36281 2407.66/2415.99 c #Conflicts: 643000 | #Constraints: 37281 2407.66/2415.99 c #Conflicts: 644000 | #Constraints: 38282 2407.66/2415.99 c #Conflicts: 645000 | #Constraints: 39282 2407.66/2415.99 c #Conflicts: 646000 | #Constraints: 40288 2407.66/2415.99 c #Conflicts: 647000 | #Constraints: 41288 2407.66/2415.99 c #Conflicts: 648000 | #Constraints: 42288 2407.66/2415.99 c #Conflicts: 649000 | #Constraints: 43288 2407.66/2415.99 c #Conflicts: 650000 | #Constraints: 44289 2407.66/2415.99 c #Conflicts: 651000 | #Constraints: 45289 2407.66/2415.99 c #Conflicts: 652000 | #Constraints: 46289 2407.66/2415.99 c #Conflicts: 653000 | #Constraints: 47289 2407.66/2415.99 c #Conflicts: 654000 | #Constraints: 48289 2407.66/2415.99 c #Conflicts: 655000 | #Constraints: 49289 2407.66/2415.99 c #Conflicts: 656000 | #Constraints: 50289 2407.66/2415.99 c #Conflicts: 657000 | #Constraints: 51289 2407.66/2415.99 c #Conflicts: 658000 | #Constraints: 52289 2407.66/2415.99 c #Conflicts: 659000 | #Constraints: 53289 2407.66/2415.99 c #Conflicts: 660000 | #Constraints: 54289 2407.66/2415.99 c #Conflicts: 661000 | #Constraints: 55289 2407.66/2415.99 c #Conflicts: 662000 | #Constraints: 56290 2407.66/2415.99 c #Conflicts: 663000 | #Constraints: 57290 2407.66/2415.99 c #Conflicts: 664000 | #Constraints: 58290 2407.66/2415.99 c #Conflicts: 665000 | #Constraints: 59290 2407.66/2415.99 c #Conflicts: 666000 | #Constraints: 60290 2407.66/2415.99 c #Conflicts: 667000 | #Constraints: 61291 2407.66/2415.99 c #Conflicts: 668000 | #Constraints: 62292 2407.66/2415.99 c #Conflicts: 669000 | #Constraints: 63292 2407.66/2415.99 c #Conflicts: 670000 | #Constraints: 64292 2407.66/2415.99 c #Conflicts: 671000 | #Constraints: 65292 2407.66/2415.99 c #Conflicts: 672000 | #Constraints: 66292 2407.66/2415.99 c #Conflicts: 673000 | #Constraints: 67292 2407.66/2415.99 c #Conflicts: 674000 | #Constraints: 68292 2407.66/2415.99 c #Conflicts: 675000 | #Constraints: 69292 2407.66/2415.99 c #Conflicts: 676000 | #Constraints: 70292 2407.66/2415.99 c #Conflicts: 677000 | #Constraints: 71292 2407.66/2415.99 c #Conflicts: 678000 | #Constraints: 72292 2407.66/2415.99 c #Conflicts: 679000 | #Constraints: 73292 2407.66/2415.99 c #Conflicts: 680000 | #Constraints: 74292 2407.66/2415.99 c #Conflicts: 681000 | #Constraints: 75292 2407.66/2415.99 c #Conflicts: 682000 | #Constraints: 76292 2407.66/2415.99 c #Conflicts: 683000 | #Constraints: 77292 2407.66/2415.99 c #Conflicts: 684000 | #Constraints: 78300 2407.66/2415.99 c #Conflicts: 685000 | #Constraints: 79319 2407.66/2415.99 c #Conflicts: 686000 | #Constraints: 80319 2407.66/2415.99 c #Conflicts: 687000 | #Constraints: 81319 2407.66/2415.99 c #Conflicts: 688000 | #Constraints: 82319 2407.66/2415.99 c #Conflicts: 689000 | #Constraints: 83319 2407.66/2415.99 c #Conflicts: 690000 | #Constraints: 84319 2407.66/2415.99 c #Conflicts: 691000 | #Constraints: 85319 2407.66/2415.99 c #Conflicts: 692000 | #Constraints: 86319 2407.66/2415.99 c #Conflicts: 693000 | #Constraints: 87319 2407.66/2415.99 c INPROCESSING 2407.66/2415.99 c GARBAGE COLLECT 2407.66/2415.99 c rational objective 148 2622.43/2631.43 c #Conflicts: 694000 | #Constraints: 45392 2622.43/2631.43 c #Conflicts: 695000 | #Constraints: 46392 2622.43/2631.43 c #Conflicts: 696000 | #Constraints: 47392 2622.43/2631.43 c #Conflicts: 697000 | #Constraints: 48392 2622.43/2631.43 c #Conflicts: 698000 | #Constraints: 49392 2622.43/2631.43 c #Conflicts: 699000 | #Constraints: 50392 2622.43/2631.43 c #Conflicts: 700000 | #Constraints: 51392 2622.43/2631.43 c #Conflicts: 701000 | #Constraints: 52392 2622.43/2631.43 c #Conflicts: 702000 | #Constraints: 53392 2622.43/2631.43 c #Conflicts: 703000 | #Constraints: 54392 2622.43/2631.43 c #Conflicts: 704000 | #Constraints: 55392 2622.43/2631.43 c #Conflicts: 705000 | #Constraints: 56392 2622.43/2631.43 c #Conflicts: 706000 | #Constraints: 57392 2622.43/2631.43 c #Conflicts: 707000 | #Constraints: 58392 2622.43/2631.43 c #Conflicts: 708000 | #Constraints: 59392 2622.43/2631.43 c #Conflicts: 709000 | #Constraints: 60392 2622.43/2631.43 c #Conflicts: 710000 | #Constraints: 61392 2622.43/2631.43 c #Conflicts: 711000 | #Constraints: 62392 2622.43/2631.43 c #Conflicts: 712000 | #Constraints: 63392 2622.43/2631.43 c #Conflicts: 713000 | #Constraints: 64392 2622.43/2631.43 c INPROCESSING 2622.43/2631.43 c GARBAGE COLLECT 2622.43/2631.43 c rational objective 148 2727.38/2736.75 c #Conflicts: 714000 | #Constraints: 34010 2727.38/2736.75 c #Conflicts: 715000 | #Constraints: 35010 2727.38/2736.75 c #Conflicts: 716000 | #Constraints: 36010 2727.38/2736.75 c #Conflicts: 717000 | #Constraints: 37010 2727.38/2736.75 c #Conflicts: 718000 | #Constraints: 38010 2727.38/2736.75 c #Conflicts: 719000 | #Constraints: 39010 2727.38/2736.75 c #Conflicts: 720000 | #Constraints: 40010 2727.38/2736.75 c #Conflicts: 721000 | #Constraints: 41010 2727.38/2736.75 c #Conflicts: 722000 | #Constraints: 42010 2727.38/2736.75 c #Conflicts: 723000 | #Constraints: 43010 2727.38/2736.75 c #Conflicts: 724000 | #Constraints: 44010 2727.38/2736.75 c #Conflicts: 725000 | #Constraints: 45010 2727.38/2736.75 c #Conflicts: 726000 | #Constraints: 46010 2727.38/2736.75 c #Conflicts: 727000 | #Constraints: 47010 2727.38/2736.75 c #Conflicts: 728000 | #Constraints: 48010 2727.38/2736.75 c #Conflicts: 729000 | #Constraints: 49010 2727.38/2736.75 c #Conflicts: 730000 | #Constraints: 50010 2727.38/2736.75 c #Conflicts: 731000 | #Constraints: 51010 2727.38/2736.75 c #Conflicts: 732000 | #Constraints: 52010 2727.38/2736.75 c #Conflicts: 733000 | #Constraints: 53010 2727.38/2736.75 c INPROCESSING 2727.38/2736.75 c GARBAGE COLLECT 2727.38/2736.75 c rational objective 148 3267.68/3279.01 c #Conflicts: 734000 | #Constraints: 31981 3267.68/3279.01 c #Conflicts: 735000 | #Constraints: 32981 3267.68/3279.01 c #Conflicts: 736000 | #Constraints: 33981 3267.68/3279.01 c #Conflicts: 737000 | #Constraints: 34981 3267.68/3279.01 c #Conflicts: 738000 | #Constraints: 35981 3267.68/3279.01 c #Conflicts: 739000 | #Constraints: 36981 3267.68/3279.01 c #Conflicts: 740000 | #Constraints: 37981 3267.68/3279.01 c #Conflicts: 741000 | #Constraints: 38981 3267.68/3279.01 c #Conflicts: 742000 | #Constraints: 39981 3267.68/3279.01 c #Conflicts: 743000 | #Constraints: 40981 3267.68/3279.01 c #Conflicts: 744000 | #Constraints: 41981 3267.68/3279.01 c #Conflicts: 745000 | #Constraints: 42981 3267.68/3279.01 c #Conflicts: 746000 | #Constraints: 43981 3267.68/3279.01 c #Conflicts: 747000 | #Constraints: 44981 3267.68/3279.01 c #Conflicts: 748000 | #Constraints: 45981 3267.68/3279.01 c #Conflicts: 749000 | #Constraints: 46981 3267.68/3279.01 c #Conflicts: 750000 | #Constraints: 47981 3267.68/3279.01 c #Conflicts: 751000 | #Constraints: 48981 3267.68/3279.01 c #Conflicts: 752000 | #Constraints: 49981 3267.68/3279.01 c #Conflicts: 753000 | #Constraints: 50981 3267.68/3279.01 c #Conflicts: 754000 | #Constraints: 51981 3267.68/3279.01 c #Conflicts: 755000 | #Constraints: 52981 3267.68/3279.01 c #Conflicts: 756000 | #Constraints: 53981 3267.68/3279.01 c #Conflicts: 757000 | #Constraints: 54981 3267.68/3279.01 c #Conflicts: 758000 | #Constraints: 55981 3267.68/3279.01 c #Conflicts: 759000 | #Constraints: 56981 3267.68/3279.01 c #Conflicts: 760000 | #Constraints: 57981 3267.68/3279.01 c #Conflicts: 761000 | #Constraints: 58981 3267.68/3279.01 c #Conflicts: 762000 | #Constraints: 59981 3267.68/3279.01 c #Conflicts: 763000 | #Constraints: 60981 3267.68/3279.01 c #Conflicts: 764000 | #Constraints: 61981 3267.68/3279.01 c #Conflicts: 765000 | #Constraints: 62981 3267.68/3279.01 c #Conflicts: 766000 | #Constraints: 63981 3267.68/3279.01 c #Conflicts: 767000 | #Constraints: 64981 3267.68/3279.01 c #Conflicts: 768000 | #Constraints: 65981 3267.68/3279.01 c #Conflicts: 769000 | #Constraints: 66981 3267.68/3279.01 c #Conflicts: 770000 | #Constraints: 67981 3267.68/3279.01 c #Conflicts: 771000 | #Constraints: 68981 3267.68/3279.01 c #Conflicts: 772000 | #Constraints: 69981 3267.68/3279.01 c #Conflicts: 773000 | #Constraints: 70981 3267.68/3279.01 c #Conflicts: 774000 | #Constraints: 71981 3267.68/3279.01 c #Conflicts: 775000 | #Constraints: 72981 3267.68/3279.01 c #Conflicts: 776000 | #Constraints: 73981 3267.68/3279.01 c #Conflicts: 777000 | #Constraints: 74981 3267.68/3279.01 c #Conflicts: 778000 | #Constraints: 75981 3267.68/3279.01 c #Conflicts: 779000 | #Constraints: 76981 3267.68/3279.01 c #Conflicts: 780000 | #Constraints: 77981 3267.68/3279.01 c #Conflicts: 781000 | #Constraints: 78982 3267.68/3279.01 c #Conflicts: 782000 | #Constraints: 79982 3267.68/3279.01 c #Conflicts: 783000 | #Constraints: 80982 3267.68/3279.01 c #Conflicts: 784000 | #Constraints: 81982 3267.68/3279.01 c #Conflicts: 785000 | #Constraints: 82982 3267.68/3279.01 c #Conflicts: 786000 | #Constraints: 83982 3267.68/3279.01 c #Conflicts: 787000 | #Constraints: 84982 3267.68/3279.01 c #Conflicts: 788000 | #Constraints: 85982 3267.68/3279.01 c #Conflicts: 789000 | #Constraints: 86982 3267.68/3279.01 c #Conflicts: 790000 | #Constraints: 87982 3267.68/3279.01 c #Conflicts: 791000 | #Constraints: 88982 3267.68/3279.01 c #Conflicts: 792000 | #Constraints: 89982 3267.68/3279.01 c #Conflicts: 793000 | #Constraints: 90982 3267.68/3279.01 c #Conflicts: 794000 | #Constraints: 91982 3267.68/3279.01 c #Conflicts: 795000 | #Constraints: 92982 3267.68/3279.01 c #Conflicts: 796000 | #Constraints: 93982 3267.68/3279.01 c INPROCESSING 3267.68/3279.01 c GARBAGE COLLECT 3267.68/3279.01 c rational objective 148 3347.38/3359.05 c #Conflicts: 797000 | #Constraints: 48417 3347.38/3359.05 c #Conflicts: 798000 | #Constraints: 49417 3347.38/3359.05 c #Conflicts: 799000 | #Constraints: 50417 3347.38/3359.05 c #Conflicts: 800000 | #Constraints: 51417 3347.38/3359.05 c #Conflicts: 801000 | #Constraints: 52434 3347.38/3359.05 c #Conflicts: 802000 | #Constraints: 53434 3347.38/3359.05 c #Conflicts: 803000 | #Constraints: 54434 3347.38/3359.05 c #Conflicts: 804000 | #Constraints: 55434 3347.38/3359.05 c #Conflicts: 805000 | #Constraints: 56434 3347.38/3359.05 c #Conflicts: 806000 | #Constraints: 57434 3347.38/3359.05 c #Conflicts: 807000 | #Constraints: 58434 3347.38/3359.05 c #Conflicts: 808000 | #Constraints: 59434 3347.38/3359.05 c #Conflicts: 809000 | #Constraints: 60434 3347.38/3359.05 c #Conflicts: 810000 | #Constraints: 61452 3347.38/3359.05 c #Conflicts: 811000 | #Constraints: 62452 3347.38/3359.05 c #Conflicts: 812000 | #Constraints: 63455 3347.38/3359.05 c #Conflicts: 813000 | #Constraints: 64600 3347.38/3359.05 c #Conflicts: 814000 | #Constraints: 65779 3347.38/3359.05 c #Conflicts: 815000 | #Constraints: 66779 3347.38/3359.05 c #Conflicts: 816000 | #Constraints: 67800 3347.38/3359.05 c #Conflicts: 817000 | #Constraints: 68800 3347.38/3359.05 c #Conflicts: 818000 | #Constraints: 69801 3347.38/3359.05 c INPROCESSING 3347.38/3359.05 c GARBAGE COLLECT 3347.38/3359.05 c rational objective 148 3600.00/3612.60 c 3600.00/3612.60 s SATISFIABLE 3600.00/3612.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 3600.00/3612.60 c #Conflicts: 819000 | #Constraints: 37345 3600.00/3612.60 c #Conflicts: 820000 | #Constraints: 38345 3600.00/3612.60 c #Conflicts: 821000 | #Constraints: 39345 3600.00/3612.60 c #Conflicts: 822000 | #Constraints: 40347 3600.00/3612.60 c #Conflicts: 823000 | #Constraints: 41378 3600.00/3612.60 c #Conflicts: 824000 | #Constraints: 42378 3600.00/3612.60 c #Conflicts: 825000 | #Constraints: 43378 3600.00/3612.60 c #Conflicts: 826000 | #Constraints: 44378 3600.00/3612.60 c #Conflicts: 827000 | #Constraints: 45378 3600.00/3612.60 c #Conflicts: 828000 | #Constraints: 46378 3600.00/3612.60 c #Conflicts: 829000 | #Constraints: 47379 3600.00/3612.60 c #Conflicts: 830000 | #Constraints: 48379 3600.00/3612.60 c #Conflicts: 831000 | #Constraints: 49379 3600.00/3612.60 c #Conflicts: 832000 | #Constraints: 50379 3600.00/3612.60 c #Conflicts: 833000 | #Constraints: 51379 3600.00/3612.60 c #Conflicts: 834000 | #Constraints: 52379 3600.00/3612.60 c #Conflicts: 835000 | #Constraints: 53379 3600.00/3612.60 c #Conflicts: 836000 | #Constraints: 54379 3600.00/3612.60 c #Conflicts: 837000 | #Constraints: 55379 3600.00/3612.60 c #Conflicts: 838000 | #Constraints: 56379 3600.00/3612.60 c #Conflicts: 839000 | #Constraints: 57379 3600.00/3612.60 c #Conflicts: 840000 | #Constraints: 58379 3600.00/3612.60 c #Conflicts: 841000 | #Constraints: 59379 3600.00/3612.60 c #Conflicts: 842000 | #Constraints: 60379 3600.00/3612.60 c #Conflicts: 843000 | #Constraints: 61379 3600.00/3612.60 c #Conflicts: 844000 | #Constraints: 62379 3600.00/3612.60 c #Conflicts: 845000 | #Constraints: 63379 3600.00/3612.60 c #Conflicts: 846000 | #Constraints: 64379 3600.00/3612.60 c #Conflicts: 847000 | #Constraints: 65379 3600.00/3612.60 c #Conflicts: 848000 | #Constraints: 66407 3600.00/3612.60 c #Conflicts: 849000 | #Constraints: 67409 3600.00/3612.60 c #Conflicts: 850000 | #Constraints: 68430 3600.00/3612.60 c #Conflicts: 851000 | #Constraints: 69508 3600.00/3612.60 c #Conflicts: 852000 | #Constraints: 70535 3600.00/3612.60 c #Conflicts: 853000 | #Constraints: 71536 3600.00/3612.60 c #Conflicts: 854000 | #Constraints: 72536 3600.00/3612.60 c #Conflicts: 855000 | #Constraints: 73536 3600.00/3612.60 c #Conflicts: 856000 | #Constraints: 74537 3600.00/3612.60 c #Conflicts: 857000 | #Constraints: 75537 3600.00/3612.60 c #Conflicts: 858000 | #Constraints: 76539 3600.00/3612.60 c #Conflicts: 859000 | #Constraints: 77539 3600.00/3612.60 c #Conflicts: 860000 | #Constraints: 78539 3600.00/3612.60 c #Conflicts: 861000 | #Constraints: 79539 3600.00/3612.60 c #Conflicts: 862000 | #Constraints: 80541 3600.00/3612.60 c #Conflicts: 863000 | #Constraints: 81541 3600.00/3612.60 c #Conflicts: 864000 | #Constraints: 82541 3600.00/3612.60 c #Conflicts: 865000 | #Constraints: 83541 3600.00/3612.60 c #Conflicts: 866000 | #Constraints: 84541 3600.00/3612.60 c #Conflicts: 867000 | #Constraints: 85543 3600.00/3612.60 c #Conflicts: 868000 | #Constraints: 86544
OK 193
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (63403 MiB free)
memory of node 1: 64473 MiB (62211 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429403-1721048429/watcher-4429403-1721048429 -o /tmp/evaluation-result-4429403-1721048429/solver-4429403-1721048429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721048442-802517 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429403-1721048429.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=802566, runsolver pid=802561
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 3.81 4.06 4.11 6/242 802570
/proc/meminfo: memFree=128617516/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=38364 memory=8452 CPUtime=0.1 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 608 0 0 0 9 1 0 0 20 0 1 0 157001790 39284736 2113 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 9591 2113 1742 922 0 1543 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38364 KiB
Current children cumulated memory: 8452 KiB
[startup+0.21416 s]*
/proc/loadavg: 3.81 4.06 4.11 6/242 802570
/proc/meminfo: memFree=128611084/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=38704 memory=8916 CPUtime=0.22 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 662 0 0 0 20 2 0 0 20 0 1 0 157001790 39632896 2229 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 9676 2229 1742 922 0 1628 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38704 KiB
Current children cumulated memory: 8916 KiB
[startup+0.312559 s]*
/proc/loadavg: 3.81 4.06 4.11 6/241 802571
/proc/meminfo: memFree=128612908/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=38704 memory=8916 CPUtime=0.31 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 662 0 0 0 29 2 0 0 20 0 1 0 157001790 39632896 2229 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 9676 2229 1742 922 0 1628 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38704 KiB
Current children cumulated memory: 8916 KiB
[startup+0.700259 s]
/proc/loadavg: 3.81 4.06 4.11 6/246 802581
/proc/meminfo: memFree=128601000/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=40968 memory=13712 CPUtime=0.68 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 1331 0 0 0 60 8 0 0 20 0 1 0 157001790 41951232 3428 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 10242 3428 1772 922 0 2194 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40968 KiB
Current children cumulated memory: 13712 KiB
[startup+1.50029 s]
/proc/loadavg: 3.81 4.06 4.11 6/246 802581
/proc/meminfo: memFree=128581428/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=42972 memory=16164 CPUtime=1.48 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 1952 0 0 0 134 14 0 0 20 0 1 0 157001790 44003328 4041 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 10743 4041 1850 922 0 2695 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42972 KiB
Current children cumulated memory: 16164 KiB
[startup+3.11391 s]
/proc/loadavg: 3.82 4.06 4.11 7/246 802581
/proc/meminfo: memFree=128443704/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=47024 memory=21200 CPUtime=3.09 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 3262 0 0 0 287 22 0 0 20 0 1 0 157001790 48152576 5300 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 11756 5300 1850 922 0 3708 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47024 KiB
Current children cumulated memory: 21200 KiB
[startup+6.30029 s]
/proc/loadavg: 3.82 4.06 4.11 6/246 802581
/proc/meminfo: memFree=128232432/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=54692 memory=27904 CPUtime=6.26 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 4905 0 0 0 593 33 0 0 20 0 1 0 157001790 56004608 6976 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 13673 6976 1850 922 0 5625 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 54692 KiB
Current children cumulated memory: 27904 KiB
[startup+12.7003 s]
/proc/loadavg: 3.85 4.05 4.11 6/246 802583
/proc/meminfo: memFree=128153016/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=63160 memory=36652 CPUtime=12.64 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 6704 0 0 0 1210 54 0 0 20 0 1 0 157001790 64675840 9163 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 15790 9163 1921 922 0 7742 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 63160 KiB
Current children cumulated memory: 36652 KiB
[startup+25.5003 s]
/proc/loadavg: 3.95 4.07 4.12 6/246 802595
/proc/meminfo: memFree=127950216/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=124116 memory=76336 CPUtime=25.4 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 13070 0 0 0 2454 86 0 0 20 0 1 0 157001790 127094784 19084 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 31029 19084 1921 922 0 22981 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 124116 KiB
Current children cumulated memory: 76336 KiB
[startup+51.1135 s]
/proc/loadavg: 3.97 4.06 4.11 6/246 802600
/proc/meminfo: memFree=127861776/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=131324 memory=81588 CPUtime=50.93 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 14416 0 0 0 4959 134 0 0 20 0 1 0 157001790 134475776 20397 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 32831 20397 1921 922 0 24783 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 131324 KiB
Current children cumulated memory: 81588 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.08 4.11 6/246 802608
/proc/meminfo: memFree=127796120/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=133736 memory=83648 CPUtime=101.94 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 14959 0 0 0 9998 196 0 0 20 0 1 0 157001790 136945664 20912 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 33434 20912 1921 922 0 25386 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 133736 KiB
Current children cumulated memory: 83648 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.08 4.11 6/246 802619
/proc/meminfo: memFree=127278084/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=140176 memory=93232 CPUtime=161.73 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 16335 0 0 0 15939 234 0 0 20 0 1 0 157001790 143540224 23308 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 35044 23308 1921 922 0 26996 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 140176 KiB
Current children cumulated memory: 93232 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.10 6/244 802629
/proc/meminfo: memFree=127100420/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=141872 memory=95064 CPUtime=221.52 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 16781 0 0 0 21834 318 0 0 20 0 1 0 157001790 145276928 23766 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 35468 23766 1921 922 0 27420 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 141872 KiB
Current children cumulated memory: 95064 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.10 6/244 802640
/proc/meminfo: memFree=127049352/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=151556 memory=117068 CPUtime=281.32 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 19190 0 0 0 27767 365 0 0 20 0 1 0 157001790 155193344 29267 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 37889 29267 1921 922 0 29841 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 151556 KiB
Current children cumulated memory: 117068 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/241 802651
/proc/meminfo: memFree=127005004/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=160212 memory=123836 CPUtime=341.12 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 20956 0 0 0 33679 433 0 0 20 0 1 0 157001790 164057088 30959 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 40053 30959 1921 922 0 32005 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 160212 KiB
Current children cumulated memory: 123836 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/241 802661
/proc/meminfo: memFree=126695488/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=217404 memory=172052 CPUtime=400.9 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 26867 0 0 0 39622 468 0 0 20 0 1 0 157001790 222621696 43013 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 54351 43013 1921 922 0 46303 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 217404 KiB
Current children cumulated memory: 172052 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/241 802671
/proc/meminfo: memFree=126645860/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=221000 memory=177260 CPUtime=460.7 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 27630 0 0 0 45574 496 0 0 20 0 1 0 157001790 226304000 44315 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 55250 44315 1921 922 0 47202 0
################
# More data... #
################
Current children cumulated memory: 358228 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/241 803824
/proc/meminfo: memFree=125288600/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=489660 memory=358228 CPUtime=2852.54 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 56884 0 0 0 283780 1474 0 0 20 0 1 0 157001790 501411840 89557 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 122415 89557 1921 922 0 114367 0
Current children cumulated CPU time: 2852.54 s
Current children cumulated vsize: 489660 KiB
Current children cumulated memory: 358228 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/241 803836
/proc/meminfo: memFree=125056640/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=489660 memory=358228 CPUtime=2912.31 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 57034 0 0 0 289737 1494 0 0 20 0 1 0 157001790 501411840 89557 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 122415 89557 1921 922 0 114367 0
Current children cumulated CPU time: 2912.31 s
Current children cumulated vsize: 489660 KiB
Current children cumulated memory: 358228 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/241 803846
/proc/meminfo: memFree=124918316/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=489660 memory=358228 CPUtime=2972.08 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 57184 0 0 0 295697 1511 0 0 20 0 1 0 157001790 501411840 89557 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 122415 89557 1921 922 0 114367 0
Current children cumulated CPU time: 2972.08 s
Current children cumulated vsize: 489660 KiB
Current children cumulated memory: 358228 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/244 803861
/proc/meminfo: memFree=125010888/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=489660 memory=358228 CPUtime=3031.86 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 57334 0 0 0 301656 1530 0 0 20 0 1 0 157001790 501411840 89557 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 122415 89557 1921 922 0 114367 0
Current children cumulated CPU time: 3031.86 s
Current children cumulated vsize: 489660 KiB
Current children cumulated memory: 358228 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.08 4.09 7/244 803871
/proc/meminfo: memFree=125005008/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=489660 memory=358228 CPUtime=3091.64 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 57484 0 0 0 307618 1546 0 0 20 0 1 0 157001790 501411840 89557 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 122415 89557 1921 922 0 114367 0
Current children cumulated CPU time: 3091.64 s
Current children cumulated vsize: 489660 KiB
Current children cumulated memory: 358228 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/244 803882
/proc/meminfo: memFree=125001352/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=489660 memory=358228 CPUtime=3151.41 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 57634 0 0 0 313581 1560 0 0 20 0 1 0 157001790 501411840 89557 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 122415 89557 1921 922 0 114367 0
Current children cumulated CPU time: 3151.41 s
Current children cumulated vsize: 489660 KiB
Current children cumulated memory: 358228 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/244 803892
/proc/meminfo: memFree=124977696/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=489660 memory=358232 CPUtime=3211.19 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 57787 0 0 0 319547 1572 0 0 20 0 1 0 157001790 501411840 89558 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 122415 89558 1921 922 0 114367 0
Current children cumulated CPU time: 3211.19 s
Current children cumulated vsize: 489660 KiB
Current children cumulated memory: 358232 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/244 803903
/proc/meminfo: memFree=124959736/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=489660 memory=358252 CPUtime=3270.96 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 57941 0 0 0 325510 1586 0 0 20 0 1 0 157001790 501411840 89563 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 122415 89563 1921 922 0 114367 0
Current children cumulated CPU time: 3270.96 s
Current children cumulated vsize: 489660 KiB
Current children cumulated memory: 358252 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/242 804297
/proc/meminfo: memFree=124951296/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=489660 memory=358256 CPUtime=3330.74 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 58091 0 0 0 331454 1620 0 0 20 0 1 0 157001790 501411840 89564 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 122415 89564 1921 922 0 114367 0
Current children cumulated CPU time: 3330.74 s
Current children cumulated vsize: 489660 KiB
Current children cumulated memory: 358256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/242 804307
/proc/meminfo: memFree=124950908/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=489660 memory=358256 CPUtime=3390.51 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 58241 0 0 0 337399 1652 0 0 20 0 1 0 157001790 501411840 89564 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 122415 89564 1921 922 0 114367 0
Current children cumulated CPU time: 3390.51 s
Current children cumulated vsize: 489660 KiB
Current children cumulated memory: 358256 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/242 804317
/proc/meminfo: memFree=124944704/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=489660 memory=358256 CPUtime=3450.28 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 58391 0 0 0 343347 1681 0 0 20 0 1 0 157001790 501411840 89564 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 122415 89564 1921 922 0 114367 0
Current children cumulated CPU time: 3450.28 s
Current children cumulated vsize: 489660 KiB
Current children cumulated memory: 358256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/244 804498
/proc/meminfo: memFree=124940384/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=489924 memory=358284 CPUtime=3510.05 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 58579 0 0 0 349303 1702 0 0 20 0 1 0 157001790 501682176 89571 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 122481 89571 1921 922 0 114433 0
Current children cumulated CPU time: 3510.05 s
Current children cumulated vsize: 489924 KiB
Current children cumulated memory: 358284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/245 804509
/proc/meminfo: memFree=124934600/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=494580 memory=361116 CPUtime=3569.82 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 59427 0 0 0 355261 1721 0 0 20 0 1 0 157001790 506449920 90279 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 123645 90279 1921 922 0 115597 0
Current children cumulated CPU time: 3569.82 s
Current children cumulated vsize: 494580 KiB
Current children cumulated memory: 361116 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/244 804625
/proc/meminfo: memFree=127752944/131655788 swapFree=131071996/131071996
[pid=802566] ppid=802561 vsize=496736 memory=362664 CPUtime=3600 cores=0,2
/proc/802566/stat : 802566 (roundingsat) R 802561 802566 802507 0 -1 4194304 59885 0 0 0 358270 1730 0 0 20 0 1 0 157001790 508657664 90666 134679101440 4194304 7968869 140726438262128 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31842304 140726438265790 140726438265954 140726438265954 140726438272969 0
/proc/802566/statm: 124184 90666 1921 922 0 116136 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 496736 KiB
Current children cumulated memory: 362664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.61 s]
# the end of solver process 802566 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3582.7 s, system=17.3167 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3612.61
CPU time (s): 3600.02
CPU user time (s): 3582.7
CPU system time (s): 17.3167
CPU usage (%): 99.6515
Max. virtual memory (cumulated for all children) (KiB): 496736
Max. memory (cumulated for all children) (KiB): 362664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.7
system time used= 17.3167
maximum resident set size= 362664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70
involuntary context switches= 25238
# summary of solver processes directly reported to runsolver:
# pid: 802566
# total CPU time (s): 3600.02
# total CPU user time (s): 3582.7
# total CPU system time (s): 17.3167
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3706 second user time and 38.0773 second system time
The end
Begin job on nodeC005 at 2024-07-15 15:00:42 IDJOB=4429403 IDBENCH=147548 IDSOLVER=3051 FILE ID=nodeC005/4429403-1721048429 RUNJOBID= nodeC005-1721048442-802517 SLURM_JOB_ID= 7505464 Free space on /tmp= 723776 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429403-1721048429/watcher-4429403-1721048429 -o /tmp/evaluation-result-4429403-1721048429/solver-4429403-1721048429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721048442-802517 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429403-1721048429.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d RANDOM SEED=104377921 nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.176 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.177 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.356 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.214 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.584 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.296 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.177 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.177 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128635676 kB MemAvailable: 129967340 kB Buffers: 345208 kB Cached: 1814432 kB SwapCached: 0 kB Active: 562164 kB Inactive: 1898220 kB Active(anon): 3356 kB Inactive(anon): 335436 kB Active(file): 558808 kB Inactive(file): 1562784 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19464 kB Writeback: 0 kB AnonPages: 300368 kB Mapped: 104200 kB Shmem: 37704 kB KReclaimable: 100544 kB Slab: 201144 kB SReclaimable: 100544 kB SUnreclaim: 100600 kB KernelStack: 3712 kB PageTables: 9648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 633616 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52000 kB HardwareCorrupted: 0 kB AnonHugePages: 174080 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: 203592 kB DirectMap2M: 11235328 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 723688 MiB End job on nodeC005 at 2024-07-15 16:00:55