| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 193 | 3600.02 | 3611.24 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb |
| MD5SUM | 0daa95194506fa379fbbdb25b381edfb |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 180 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 473 |
| Total number of constraints | 473 |
| 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 | 473 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 473 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 473 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 473 #constraints 473 0.52/0.54 c bounds - >= 0 @ 0.008549 0.52/0.54 c bounds 230 >= 0 @ 0.243962 0.52/0.54 c bounds 230 >= 1 @ 0.244452 0.52/0.54 c bounds 230 >= 2 @ 0.244832 0.52/0.54 c bounds 230 >= 3 @ 0.245197 0.52/0.54 c bounds 230 >= 4 @ 0.24556 0.52/0.54 c bounds 230 >= 5 @ 0.245912 0.52/0.54 c bounds 230 >= 6 @ 0.246281 0.52/0.54 c bounds 230 >= 7 @ 0.246649 0.52/0.54 c bounds 230 >= 8 @ 0.247027 0.52/0.54 c bounds 230 >= 9 @ 0.247397 0.52/0.54 c bounds 230 >= 10 @ 0.247779 0.52/0.54 c bounds 230 >= 11 @ 0.248176 0.52/0.54 c bounds 230 >= 12 @ 0.248591 0.52/0.54 c bounds 230 >= 13 @ 0.249007 0.52/0.54 c bounds 230 >= 14 @ 0.249435 0.52/0.54 c bounds 230 >= 15 @ 0.24986 0.52/0.54 c bounds 230 >= 16 @ 0.250301 0.52/0.54 c bounds 230 >= 17 @ 0.250743 0.52/0.54 c bounds 230 >= 18 @ 0.250786 0.52/0.54 c bounds 230 >= 19 @ 0.250786 0.52/0.54 c bounds 230 >= 20 @ 0.251096 0.52/0.54 c bounds 230 >= 21 @ 0.251559 0.52/0.54 c bounds 230 >= 22 @ 0.252024 0.52/0.54 c bounds 230 >= 23 @ 0.252489 0.52/0.54 c bounds 230 >= 24 @ 0.252964 0.52/0.54 c bounds 230 >= 25 @ 0.25343 0.52/0.54 c bounds 230 >= 26 @ 0.2539 0.52/0.54 c bounds 230 >= 27 @ 0.254364 0.52/0.54 c bounds 229 >= 27 @ 0.2665 0.52/0.54 c bounds 229 >= 28 @ 0.26699 0.52/0.54 c bounds 229 >= 29 @ 0.267469 0.52/0.54 c bounds 229 >= 30 @ 0.267951 0.52/0.54 c bounds 229 >= 31 @ 0.268406 0.52/0.54 c bounds 229 >= 32 @ 0.268871 0.52/0.54 c bounds 229 >= 33 @ 0.269332 0.52/0.54 c bounds 229 >= 34 @ 0.269523 0.52/0.54 c bounds 229 >= 35 @ 0.269523 0.52/0.54 c bounds 229 >= 36 @ 0.269795 0.52/0.54 c bounds 229 >= 37 @ 0.270275 0.52/0.54 c bounds 229 >= 38 @ 0.270823 0.52/0.54 c bounds 229 >= 39 @ 0.271583 0.52/0.54 c bounds 229 >= 40 @ 0.27208 0.52/0.54 c bounds 229 >= 41 @ 0.272579 0.52/0.54 c bounds 229 >= 42 @ 0.273123 0.52/0.54 c bounds 229 >= 43 @ 0.273631 0.52/0.54 c bounds 229 >= 44 @ 0.273706 0.52/0.54 c bounds 229 >= 45 @ 0.273706 0.52/0.54 c bounds 229 >= 46 @ 0.273707 0.52/0.54 c bounds 229 >= 47 @ 0.273707 0.52/0.54 c bounds 229 >= 48 @ 0.273711 0.52/0.54 c bounds 229 >= 49 @ 0.273711 0.52/0.54 c bounds 229 >= 50 @ 0.273713 0.52/0.54 c bounds 229 >= 51 @ 0.273713 0.52/0.54 c bounds 229 >= 52 @ 0.27424 0.52/0.54 c bounds 229 >= 53 @ 0.274756 0.52/0.54 c bounds 229 >= 54 @ 0.275283 0.52/0.54 c bounds 229 >= 55 @ 0.275816 0.52/0.54 c bounds 229 >= 56 @ 0.276331 0.52/0.54 c bounds 229 >= 57 @ 0.276843 0.52/0.54 c bounds 229 >= 58 @ 0.277385 0.52/0.54 c bounds 229 >= 59 @ 0.277915 0.52/0.54 c bounds 229 >= 60 @ 0.278442 0.52/0.54 c bounds 229 >= 61 @ 0.278963 0.52/0.54 c bounds 229 >= 62 @ 0.279495 0.52/0.54 c bounds 229 >= 63 @ 0.279681 0.52/0.54 c bounds 229 >= 64 @ 0.279681 0.52/0.54 c bounds 229 >= 65 @ 0.279693 0.52/0.54 c bounds 229 >= 66 @ 0.279693 0.52/0.54 c bounds 229 >= 67 @ 0.279695 0.52/0.54 c bounds 229 >= 68 @ 0.279695 0.52/0.54 c bounds 229 >= 69 @ 0.280169 0.52/0.54 c bounds 229 >= 70 @ 0.280694 0.52/0.54 c bounds 229 >= 71 @ 0.280694 0.52/0.54 c bounds 229 >= 72 @ 0.280885 0.52/0.54 c bounds 229 >= 73 @ 0.281344 0.52/0.54 c bounds 229 >= 74 @ 0.281857 0.52/0.54 c bounds 229 >= 75 @ 0.282392 0.52/0.54 c bounds 229 >= 76 @ 0.282917 0.52/0.54 c bounds 229 >= 77 @ 0.283449 0.52/0.54 c bounds 229 >= 78 @ 0.283684 0.52/0.54 c bounds 229 >= 79 @ 0.283684 0.52/0.54 c bounds 229 >= 80 @ 0.283685 0.52/0.54 c bounds 229 >= 81 @ 0.283685 0.52/0.54 c bounds 229 >= 82 @ 0.284237 0.52/0.54 c bounds 229 >= 83 @ 0.284804 0.52/0.54 c bounds 229 >= 84 @ 0.285361 0.52/0.54 c bounds 229 >= 85 @ 0.285918 0.52/0.54 c bounds 229 >= 86 @ 0.28648 0.52/0.54 c bounds 229 >= 87 @ 0.286676 0.52/0.54 c bounds 229 >= 88 @ 0.286682 0.52/0.54 c bounds 229 >= 89 @ 0.287241 0.52/0.54 c bounds 229 >= 90 @ 0.287805 0.52/0.54 c bounds 229 >= 91 @ 0.28838 0.52/0.54 c bounds 229 >= 92 @ 0.288951 0.52/0.54 c bounds 229 >= 93 @ 0.289527 0.52/0.54 c bounds 229 >= 94 @ 0.290122 0.52/0.54 c bounds 229 >= 95 @ 0.290415 0.52/0.54 c bounds 229 >= 96 @ 0.290415 0.52/0.54 c bounds 229 >= 97 @ 0.290908 0.52/0.54 c bounds 229 >= 98 @ 0.29149 0.52/0.54 c bounds 229 >= 99 @ 0.291658 0.52/0.54 c bounds 229 >= 100 @ 0.291811 0.52/0.54 c bounds 229 >= 101 @ 0.29235 0.52/0.54 c bounds 229 >= 102 @ 0.292612 0.52/0.54 c bounds 229 >= 103 @ 0.292612 0.52/0.54 c bounds 229 >= 104 @ 0.293101 0.52/0.54 c bounds 229 >= 105 @ 0.293785 0.52/0.54 c bounds 229 >= 106 @ 0.29439 0.52/0.54 c bounds 229 >= 107 @ 0.29465 0.52/0.54 c bounds 229 >= 108 @ 0.29465 0.52/0.54 c bounds 229 >= 109 @ 0.294652 0.52/0.54 c bounds 229 >= 110 @ 0.294923 0.52/0.54 c bounds 229 >= 111 @ 0.295456 0.52/0.54 c bounds 229 >= 112 @ 0.29565 0.52/0.54 c bounds 229 >= 113 @ 0.295798 0.52/0.54 c bounds 229 >= 114 @ 0.296349 0.52/0.54 c bounds 229 >= 115 @ 0.296918 0.52/0.54 c bounds 229 >= 116 @ 0.297522 0.52/0.54 c bounds 229 >= 117 @ 0.297643 0.52/0.54 c bounds 229 >= 118 @ 0.297889 0.52/0.54 c bounds 229 >= 119 @ 0.298424 0.52/0.54 c bounds 228 >= 119 @ 0.469613 0.52/0.54 c bounds 228 >= 120 @ 0.470491 0.52/0.54 c bounds 228 >= 121 @ 0.47126 0.52/0.54 c bounds 228 >= 122 @ 0.472089 0.52/0.54 c bounds 228 >= 123 @ 0.47286 0.52/0.54 c bounds 228 >= 124 @ 0.473011 0.52/0.54 c bounds 228 >= 125 @ 0.473453 0.52/0.54 c bounds 228 >= 126 @ 0.474203 0.52/0.54 c bounds 228 >= 127 @ 0.475101 0.52/0.54 c bounds 228 >= 128 @ 0.47602 0.52/0.54 c bounds 228 >= 129 @ 0.476899 0.52/0.54 c bounds 228 >= 130 @ 0.476993 0.52/0.54 c bounds 228 >= 131 @ 0.476995 0.52/0.54 c bounds 228 >= 132 @ 0.478 0.52/0.54 c bounds 228 >= 133 @ 0.479537 1.10/1.12 c bounds 228 >= 134 @ 0.482824 1.10/1.12 c bounds 228 >= 135 @ 0.48589 1.10/1.12 c bounds 228 >= 136 @ 0.489431 1.10/1.12 c bounds 228 >= 137 @ 0.49296 1.10/1.12 c bounds 228 >= 138 @ 0.498223 1.10/1.12 c bounds 228 >= 139 @ 0.503184 1.10/1.12 c bounds 228 >= 140 @ 0.515071 1.10/1.12 c bounds 228 >= 141 @ 0.562322 1.10/1.12 c #Conflicts: 1000 | #Constraints: 2200 1.10/1.12 c bounds 228 >= 142 @ 0.807339 1.10/1.12 c #Conflicts: 2000 | #Constraints: 3263 1.10/1.12 c INPROCESSING 1.10/1.12 c GARBAGE COLLECT 1.10/1.12 c rational objective 142 1.88/1.90 c bounds 227 >= 142 @ 1.04556 1.88/1.90 c bounds 226 >= 142 @ 1.05267 1.88/1.90 c bounds 225 >= 142 @ 1.05717 1.88/1.90 c bounds 224 >= 142 @ 1.06495 1.88/1.90 c bounds 223 >= 142 @ 1.0734 1.88/1.90 c bounds 222 >= 142 @ 1.09229 1.88/1.90 c bounds 221 >= 142 @ 1.15095 1.88/1.90 c #Conflicts: 3000 | #Constraints: 3159 1.88/1.90 c bounds 220 >= 142 @ 1.23734 1.88/1.90 c bounds 219 >= 142 @ 1.27876 1.88/1.90 c #Conflicts: 4000 | #Constraints: 4161 1.88/1.90 c INPROCESSING 1.88/1.90 c GARBAGE COLLECT 1.88/1.90 c rational objective 142 2.58/2.68 c bounds 218 >= 142 @ 1.7422 2.58/2.68 c bounds 217 >= 142 @ 1.78222 2.58/2.68 c bounds 216 >= 142 @ 1.79594 2.58/2.68 c bounds 215 >= 142 @ 1.84645 2.58/2.68 c bounds 214 >= 142 @ 1.86804 2.58/2.68 c #Conflicts: 5000 | #Constraints: 3580 2.58/2.68 c bounds 213 >= 142 @ 1.87353 2.58/2.68 c bounds 212 >= 142 @ 1.87776 2.58/2.68 c bounds 211 >= 142 @ 1.88091 2.58/2.68 c bounds 210 >= 142 @ 1.88415 2.58/2.68 c #Conflicts: 6000 | #Constraints: 4584 2.58/2.68 c INPROCESSING 2.58/2.68 c GARBAGE COLLECT 2.58/2.68 c rational objective 142 3.78/3.82 c #Conflicts: 7000 | #Constraints: 3565 3.78/3.82 c #Conflicts: 8000 | #Constraints: 4565 3.78/3.82 c #Conflicts: 9000 | #Constraints: 5565 3.78/3.82 c INPROCESSING 3.78/3.82 c GARBAGE COLLECT 3.78/3.82 c rational objective 142 4.57/4.69 c bounds 209 >= 142 @ 3.55683 4.57/4.69 c bounds 208 >= 142 @ 3.55891 4.57/4.69 c bounds 207 >= 142 @ 3.5603 4.57/4.69 c bounds 206 >= 142 @ 3.57391 4.57/4.69 c bounds 205 >= 142 @ 3.57783 4.57/4.69 c #Conflicts: 10000 | #Constraints: 4292 4.57/4.69 c bounds 204 >= 142 @ 3.81076 4.57/4.69 c #Conflicts: 11000 | #Constraints: 5293 4.57/4.69 c #Conflicts: 12000 | #Constraints: 6293 4.57/4.69 c INPROCESSING 4.57/4.69 c GARBAGE COLLECT 4.57/4.69 c rational objective 142 6.08/6.17 c bounds 203 >= 142 @ 4.43248 6.08/6.17 c bounds 202 >= 142 @ 4.60192 6.08/6.17 c #Conflicts: 13000 | #Constraints: 4733 6.08/6.17 c bounds 202 >= 143 @ 4.68202 6.08/6.17 c bounds 201 >= 143 @ 4.84922 6.08/6.17 c #Conflicts: 14000 | #Constraints: 5782 6.08/6.17 c #Conflicts: 15000 | #Constraints: 6782 6.08/6.17 c INPROCESSING 6.08/6.17 c GARBAGE COLLECT 6.08/6.17 c rational objective 143 7.16/7.24 c #Conflicts: 16000 | #Constraints: 5046 7.16/7.24 c bounds 200 >= 143 @ 6.2367 7.16/7.24 c #Conflicts: 17000 | #Constraints: 6047 7.16/7.24 c #Conflicts: 18000 | #Constraints: 7047 7.16/7.24 c INPROCESSING 7.16/7.24 c GARBAGE COLLECT 7.16/7.24 c rational objective 143 8.97/9.10 c #Conflicts: 19000 | #Constraints: 5034 8.97/9.10 c #Conflicts: 20000 | #Constraints: 6034 8.97/9.10 c #Conflicts: 21000 | #Constraints: 7034 8.97/9.10 c INPROCESSING 8.97/9.10 c GARBAGE COLLECT 8.97/9.10 c rational objective 143 10.35/10.46 c #Conflicts: 22000 | #Constraints: 4888 10.35/10.46 c #Conflicts: 23000 | #Constraints: 5888 10.35/10.46 c #Conflicts: 24000 | #Constraints: 6888 10.35/10.46 c bounds 199 >= 143 @ 9.763 10.35/10.46 c #Conflicts: 25000 | #Constraints: 7889 10.35/10.46 c INPROCESSING 10.35/10.46 c GARBAGE COLLECT 10.35/10.46 c rational objective 143 11.86/11.98 c #Conflicts: 26000 | #Constraints: 5454 11.86/11.98 c #Conflicts: 27000 | #Constraints: 6454 11.86/11.98 c #Conflicts: 28000 | #Constraints: 7454 11.86/11.98 c #Conflicts: 29000 | #Constraints: 8454 11.86/11.98 c INPROCESSING 11.86/11.98 c GARBAGE COLLECT 11.86/11.98 c rational objective 143 14.25/14.38 c #Conflicts: 30000 | #Constraints: 5834 14.25/14.38 c #Conflicts: 31000 | #Constraints: 6834 14.25/14.38 c #Conflicts: 32000 | #Constraints: 7834 14.25/14.38 c #Conflicts: 33000 | #Constraints: 8834 14.25/14.38 c INPROCESSING 14.25/14.38 c GARBAGE COLLECT 14.25/14.38 c rational objective 143 15.84/16.00 c #Conflicts: 34000 | #Constraints: 6086 15.84/16.00 c #Conflicts: 35000 | #Constraints: 7086 15.84/16.00 c #Conflicts: 36000 | #Constraints: 8086 15.84/16.00 c #Conflicts: 37000 | #Constraints: 9086 15.84/16.00 c INPROCESSING 15.84/16.00 c GARBAGE COLLECT 15.84/16.00 c rational objective 143 20.43/20.52 c #Conflicts: 38000 | #Constraints: 6059 20.43/20.52 c #Conflicts: 39000 | #Constraints: 7059 20.43/20.52 c bounds 199 >= 144 @ 16.4385 20.43/20.52 c #Conflicts: 40000 | #Constraints: 8125 20.43/20.52 c #Conflicts: 41000 | #Constraints: 9125 20.43/20.52 c INPROCESSING 20.43/20.52 c GARBAGE COLLECT 20.43/20.52 c rational objective 144 23.13/23.22 c #Conflicts: 42000 | #Constraints: 5901 23.13/23.22 c #Conflicts: 43000 | #Constraints: 6901 23.13/23.22 c #Conflicts: 44000 | #Constraints: 7901 23.13/23.22 c #Conflicts: 45000 | #Constraints: 8901 23.13/23.22 c #Conflicts: 46000 | #Constraints: 9901 23.13/23.22 c INPROCESSING 23.13/23.22 c GARBAGE COLLECT 23.13/23.22 c rational objective 144 41.18/41.33 c #Conflicts: 47000 | #Constraints: 6564 41.18/41.33 c #Conflicts: 48000 | #Constraints: 7564 41.18/41.33 c #Conflicts: 49000 | #Constraints: 8564 41.18/41.33 c #Conflicts: 50000 | #Constraints: 9564 41.18/41.33 c #Conflicts: 51000 | #Constraints: 10564 41.18/41.33 c #Conflicts: 52000 | #Constraints: 11564 41.18/41.33 c #Conflicts: 53000 | #Constraints: 12564 41.18/41.33 c #Conflicts: 54000 | #Constraints: 13564 41.18/41.33 c bounds 199 >= 145 @ 28.4027 41.18/41.33 c #Conflicts: 55000 | #Constraints: 14606 41.18/41.33 c #Conflicts: 56000 | #Constraints: 15606 41.18/41.33 c bounds 198 >= 145 @ 29.5047 41.18/41.33 c #Conflicts: 57000 | #Constraints: 16607 41.18/41.33 c #Conflicts: 58000 | #Constraints: 17607 41.18/41.33 c #Conflicts: 59000 | #Constraints: 18607 41.18/41.33 c bounds 197 >= 145 @ 32.2392 41.18/41.33 c #Conflicts: 60000 | #Constraints: 19608 41.18/41.33 c #Conflicts: 61000 | #Constraints: 20608 41.18/41.33 c #Conflicts: 62000 | #Constraints: 21608 41.18/41.33 c #Conflicts: 63000 | #Constraints: 22608 41.18/41.33 c #Conflicts: 64000 | #Constraints: 23608 41.18/41.33 c INPROCESSING 41.18/41.33 c GARBAGE COLLECT 41.18/41.33 c rational objective 145 47.66/47.86 c #Conflicts: 65000 | #Constraints: 13219 47.66/47.86 c #Conflicts: 66000 | #Constraints: 14219 47.66/47.86 c #Conflicts: 67000 | #Constraints: 15219 47.66/47.86 c #Conflicts: 68000 | #Constraints: 16219 47.66/47.86 c #Conflicts: 69000 | #Constraints: 17219 47.66/47.86 c #Conflicts: 70000 | #Constraints: 18219 47.66/47.86 c INPROCESSING 47.66/47.86 c GARBAGE COLLECT 47.66/47.86 c rational objective 145 53.05/53.21 c #Conflicts: 71000 | #Constraints: 10635 53.05/53.21 c #Conflicts: 72000 | #Constraints: 11635 53.05/53.21 c #Conflicts: 73000 | #Constraints: 12635 53.05/53.21 c #Conflicts: 74000 | #Constraints: 13635 53.05/53.21 c #Conflicts: 75000 | #Constraints: 14635 53.05/53.21 c #Conflicts: 76000 | #Constraints: 15635 53.05/53.21 c INPROCESSING 53.05/53.21 c GARBAGE COLLECT 53.05/53.21 c rational objective 145 83.07/83.35 c #Conflicts: 77000 | #Constraints: 9301 83.07/83.35 c #Conflicts: 78000 | #Constraints: 10301 83.07/83.35 c #Conflicts: 79000 | #Constraints: 11301 83.07/83.35 c #Conflicts: 80000 | #Constraints: 12301 83.07/83.35 c #Conflicts: 81000 | #Constraints: 13301 83.07/83.35 c #Conflicts: 82000 | #Constraints: 14301 83.07/83.35 c #Conflicts: 83000 | #Constraints: 15301 83.07/83.35 c #Conflicts: 84000 | #Constraints: 16301 83.07/83.35 c #Conflicts: 85000 | #Constraints: 17301 83.07/83.35 c #Conflicts: 86000 | #Constraints: 18301 83.07/83.35 c #Conflicts: 87000 | #Constraints: 19301 83.07/83.35 c #Conflicts: 88000 | #Constraints: 20301 83.07/83.35 c #Conflicts: 89000 | #Constraints: 21301 83.07/83.35 c #Conflicts: 90000 | #Constraints: 22301 83.07/83.35 c #Conflicts: 91000 | #Constraints: 23301 83.07/83.35 c #Conflicts: 92000 | #Constraints: 24301 83.07/83.35 c #Conflicts: 93000 | #Constraints: 25301 83.07/83.35 c #Conflicts: 94000 | #Constraints: 26301 83.07/83.35 c #Conflicts: 95000 | #Constraints: 27301 83.07/83.35 c #Conflicts: 96000 | #Constraints: 28301 83.07/83.35 c #Conflicts: 97000 | #Constraints: 29301 83.07/83.35 c #Conflicts: 98000 | #Constraints: 30301 83.07/83.35 c #Conflicts: 99000 | #Constraints: 31301 83.07/83.35 c INPROCESSING 83.07/83.35 c GARBAGE COLLECT 83.07/83.35 c rational objective 145 100.62/100.90 c #Conflicts: 100000 | #Constraints: 17329 100.62/100.90 c #Conflicts: 101000 | #Constraints: 18329 100.62/100.90 c #Conflicts: 102000 | #Constraints: 19329 100.62/100.90 c #Conflicts: 103000 | #Constraints: 20329 100.62/100.90 c #Conflicts: 104000 | #Constraints: 21329 100.62/100.90 c #Conflicts: 105000 | #Constraints: 22329 100.62/100.90 c #Conflicts: 106000 | #Constraints: 23329 100.62/100.90 c INPROCESSING 100.62/100.90 c GARBAGE COLLECT 100.62/100.90 c rational objective 145 110.39/110.72 c #Conflicts: 107000 | #Constraints: 13200 110.39/110.72 c #Conflicts: 108000 | #Constraints: 14200 110.39/110.72 c #Conflicts: 109000 | #Constraints: 15200 110.39/110.72 c #Conflicts: 110000 | #Constraints: 16200 110.39/110.72 c #Conflicts: 111000 | #Constraints: 17200 110.39/110.72 c #Conflicts: 112000 | #Constraints: 18200 110.39/110.72 c #Conflicts: 113000 | #Constraints: 19200 110.39/110.72 c #Conflicts: 114000 | #Constraints: 20200 110.39/110.72 c INPROCESSING 110.39/110.72 c GARBAGE COLLECT 110.39/110.72 c rational objective 145 145.80/146.23 c #Conflicts: 115000 | #Constraints: 11831 145.80/146.23 c #Conflicts: 116000 | #Constraints: 12831 145.80/146.23 c #Conflicts: 117000 | #Constraints: 13831 145.80/146.23 c #Conflicts: 118000 | #Constraints: 14831 145.80/146.23 c #Conflicts: 119000 | #Constraints: 15831 145.80/146.23 c #Conflicts: 120000 | #Constraints: 16831 145.80/146.23 c #Conflicts: 121000 | #Constraints: 17831 145.80/146.23 c #Conflicts: 122000 | #Constraints: 18831 145.80/146.23 c #Conflicts: 123000 | #Constraints: 19831 145.80/146.23 c #Conflicts: 124000 | #Constraints: 20831 145.80/146.23 c #Conflicts: 125000 | #Constraints: 21831 145.80/146.23 c #Conflicts: 126000 | #Constraints: 22831 145.80/146.23 c #Conflicts: 127000 | #Constraints: 23831 145.80/146.23 c #Conflicts: 128000 | #Constraints: 24831 145.80/146.23 c bounds 197 >= 146 @ 128.883 145.80/146.23 c bounds 196 >= 146 @ 129.057 145.80/146.23 c #Conflicts: 129000 | #Constraints: 25877 145.80/146.23 c #Conflicts: 130000 | #Constraints: 26877 145.80/146.23 c #Conflicts: 131000 | #Constraints: 27877 145.80/146.23 c #Conflicts: 132000 | #Constraints: 28877 145.80/146.23 c #Conflicts: 133000 | #Constraints: 29877 145.80/146.23 c #Conflicts: 134000 | #Constraints: 30877 145.80/146.23 c #Conflicts: 135000 | #Constraints: 31877 145.80/146.23 c #Conflicts: 136000 | #Constraints: 32877 145.80/146.23 c #Conflicts: 137000 | #Constraints: 33877 145.80/146.23 c #Conflicts: 138000 | #Constraints: 34877 145.80/146.23 c #Conflicts: 139000 | #Constraints: 35877 145.80/146.23 c #Conflicts: 140000 | #Constraints: 36877 145.80/146.23 c INPROCESSING 145.80/146.23 c GARBAGE COLLECT 145.80/146.23 c rational objective 146 161.36/161.86 c #Conflicts: 141000 | #Constraints: 19786 161.36/161.86 c #Conflicts: 142000 | #Constraints: 20786 161.36/161.86 c #Conflicts: 143000 | #Constraints: 21786 161.36/161.86 c #Conflicts: 144000 | #Constraints: 22786 161.36/161.86 c #Conflicts: 145000 | #Constraints: 23786 161.36/161.86 c #Conflicts: 146000 | #Constraints: 24786 161.36/161.86 c #Conflicts: 147000 | #Constraints: 25786 161.36/161.86 c #Conflicts: 148000 | #Constraints: 26786 161.36/161.86 c #Conflicts: 149000 | #Constraints: 27786 161.36/161.86 c INPROCESSING 161.36/161.86 c GARBAGE COLLECT 161.36/161.86 c rational objective 146 170.43/170.91 c #Conflicts: 150000 | #Constraints: 15366 170.43/170.91 c #Conflicts: 151000 | #Constraints: 16366 170.43/170.91 c #Conflicts: 152000 | #Constraints: 17366 170.43/170.91 c #Conflicts: 153000 | #Constraints: 18366 170.43/170.91 c #Conflicts: 154000 | #Constraints: 19366 170.43/170.91 c #Conflicts: 155000 | #Constraints: 20366 170.43/170.91 c #Conflicts: 156000 | #Constraints: 21366 170.43/170.91 c #Conflicts: 157000 | #Constraints: 22366 170.43/170.91 c #Conflicts: 158000 | #Constraints: 23366 170.43/170.91 c INPROCESSING 170.43/170.91 c GARBAGE COLLECT 170.43/170.91 c rational objective 146 236.86/237.57 c #Conflicts: 159000 | #Constraints: 13022 236.86/237.57 c #Conflicts: 160000 | #Constraints: 14022 236.86/237.57 c #Conflicts: 161000 | #Constraints: 15022 236.86/237.57 c #Conflicts: 162000 | #Constraints: 16022 236.86/237.57 c #Conflicts: 163000 | #Constraints: 17022 236.86/237.57 c #Conflicts: 164000 | #Constraints: 18022 236.86/237.57 c #Conflicts: 165000 | #Constraints: 19022 236.86/237.57 c #Conflicts: 166000 | #Constraints: 20022 236.86/237.57 c #Conflicts: 167000 | #Constraints: 21022 236.86/237.57 c #Conflicts: 168000 | #Constraints: 22022 236.86/237.57 c #Conflicts: 169000 | #Constraints: 23022 236.86/237.57 c #Conflicts: 170000 | #Constraints: 24022 236.86/237.57 c #Conflicts: 171000 | #Constraints: 25022 236.86/237.57 c #Conflicts: 172000 | #Constraints: 26022 236.86/237.57 c #Conflicts: 173000 | #Constraints: 27022 236.86/237.57 c #Conflicts: 174000 | #Constraints: 28022 236.86/237.57 c #Conflicts: 175000 | #Constraints: 29022 236.86/237.57 c #Conflicts: 176000 | #Constraints: 30022 236.86/237.57 c #Conflicts: 177000 | #Constraints: 31022 236.86/237.57 c #Conflicts: 178000 | #Constraints: 32022 236.86/237.57 c #Conflicts: 179000 | #Constraints: 33022 236.86/237.57 c #Conflicts: 180000 | #Constraints: 34022 236.86/237.57 c #Conflicts: 181000 | #Constraints: 35022 236.86/237.57 c #Conflicts: 182000 | #Constraints: 36022 236.86/237.57 c #Conflicts: 183000 | #Constraints: 37022 236.86/237.57 c #Conflicts: 184000 | #Constraints: 38022 236.86/237.57 c #Conflicts: 185000 | #Constraints: 39022 236.86/237.57 c #Conflicts: 186000 | #Constraints: 40022 236.86/237.57 c #Conflicts: 187000 | #Constraints: 41022 236.86/237.57 c #Conflicts: 188000 | #Constraints: 42022 236.86/237.57 c #Conflicts: 189000 | #Constraints: 43022 236.86/237.57 c INPROCESSING 236.86/237.57 c GARBAGE COLLECT 236.86/237.57 c rational objective 146 249.43/250.18 c bounds 195 >= 146 @ 233.089 249.43/250.18 c #Conflicts: 190000 | #Constraints: 22991 249.43/250.18 c #Conflicts: 191000 | #Constraints: 23991 249.43/250.18 c #Conflicts: 192000 | #Constraints: 24991 249.43/250.18 c #Conflicts: 193000 | #Constraints: 25991 249.43/250.18 c #Conflicts: 194000 | #Constraints: 26991 249.43/250.18 c #Conflicts: 195000 | #Constraints: 27991 249.43/250.18 c #Conflicts: 196000 | #Constraints: 28991 249.43/250.18 c #Conflicts: 197000 | #Constraints: 29991 249.43/250.18 c #Conflicts: 198000 | #Constraints: 30991 249.43/250.18 c #Conflicts: 199000 | #Constraints: 31991 249.43/250.18 c #Conflicts: 200000 | #Constraints: 32991 249.43/250.18 c INPROCESSING 249.43/250.18 c GARBAGE COLLECT 249.43/250.18 c rational objective 146 321.50/322.46 c #Conflicts: 201000 | #Constraints: 18194 321.50/322.46 c #Conflicts: 202000 | #Constraints: 19194 321.50/322.46 c #Conflicts: 203000 | #Constraints: 20194 321.50/322.46 c #Conflicts: 204000 | #Constraints: 21194 321.50/322.46 c #Conflicts: 205000 | #Constraints: 22194 321.50/322.46 c #Conflicts: 206000 | #Constraints: 23194 321.50/322.46 c #Conflicts: 207000 | #Constraints: 24194 321.50/322.46 c #Conflicts: 208000 | #Constraints: 25194 321.50/322.46 c #Conflicts: 209000 | #Constraints: 26194 321.50/322.46 c #Conflicts: 210000 | #Constraints: 27194 321.50/322.46 c #Conflicts: 211000 | #Constraints: 28194 321.50/322.46 c #Conflicts: 212000 | #Constraints: 29194 321.50/322.46 c #Conflicts: 213000 | #Constraints: 30194 321.50/322.46 c #Conflicts: 214000 | #Constraints: 31194 321.50/322.46 c #Conflicts: 215000 | #Constraints: 32194 321.50/322.46 c #Conflicts: 216000 | #Constraints: 33194 321.50/322.46 c #Conflicts: 217000 | #Constraints: 34194 321.50/322.46 c #Conflicts: 218000 | #Constraints: 35194 321.50/322.46 c #Conflicts: 219000 | #Constraints: 36194 321.50/322.46 c #Conflicts: 220000 | #Constraints: 37194 321.50/322.46 c #Conflicts: 221000 | #Constraints: 38194 321.50/322.46 c #Conflicts: 222000 | #Constraints: 39194 321.50/322.46 c #Conflicts: 223000 | #Constraints: 40194 321.50/322.46 c #Conflicts: 224000 | #Constraints: 41194 321.50/322.46 c #Conflicts: 225000 | #Constraints: 42194 321.50/322.46 c #Conflicts: 226000 | #Constraints: 43194 321.50/322.46 c #Conflicts: 227000 | #Constraints: 44194 321.50/322.46 c #Conflicts: 228000 | #Constraints: 45194 321.50/322.46 c #Conflicts: 229000 | #Constraints: 46194 321.50/322.46 c #Conflicts: 230000 | #Constraints: 47194 321.50/322.46 c #Conflicts: 231000 | #Constraints: 48194 321.50/322.46 c #Conflicts: 232000 | #Constraints: 49194 321.50/322.46 c #Conflicts: 233000 | #Constraints: 50194 321.50/322.46 c #Conflicts: 234000 | #Constraints: 51194 321.50/322.46 c INPROCESSING 321.50/322.46 c GARBAGE COLLECT 321.50/322.46 c rational objective 146 366.98/368.02 c #Conflicts: 235000 | #Constraints: 27289 366.98/368.02 c #Conflicts: 236000 | #Constraints: 28289 366.98/368.02 c #Conflicts: 237000 | #Constraints: 29289 366.98/368.02 c #Conflicts: 238000 | #Constraints: 30289 366.98/368.02 c #Conflicts: 239000 | #Constraints: 31289 366.98/368.02 c #Conflicts: 240000 | #Constraints: 32289 366.98/368.02 c #Conflicts: 241000 | #Constraints: 33289 366.98/368.02 c #Conflicts: 242000 | #Constraints: 34289 366.98/368.02 c #Conflicts: 243000 | #Constraints: 35289 366.98/368.02 c #Conflicts: 244000 | #Constraints: 36289 366.98/368.02 c #Conflicts: 245000 | #Constraints: 37289 366.98/368.02 c INPROCESSING 366.98/368.02 c GARBAGE COLLECT 366.98/368.02 c rational objective 146 393.09/394.27 c #Conflicts: 246000 | #Constraints: 20065 393.09/394.27 c #Conflicts: 247000 | #Constraints: 21065 393.09/394.27 c #Conflicts: 248000 | #Constraints: 22065 393.09/394.27 c #Conflicts: 249000 | #Constraints: 23065 393.09/394.27 c #Conflicts: 250000 | #Constraints: 24065 393.09/394.27 c #Conflicts: 251000 | #Constraints: 25065 393.09/394.27 c #Conflicts: 252000 | #Constraints: 26065 393.09/394.27 c #Conflicts: 253000 | #Constraints: 27065 393.09/394.27 c #Conflicts: 254000 | #Constraints: 28065 393.09/394.27 c #Conflicts: 255000 | #Constraints: 29065 393.09/394.27 c #Conflicts: 256000 | #Constraints: 30065 393.09/394.27 c #Conflicts: 257000 | #Constraints: 31065 393.09/394.27 c INPROCESSING 393.09/394.27 c GARBAGE COLLECT 393.09/394.27 c rational objective 146 480.23/481.69 c #Conflicts: 258000 | #Constraints: 19116 480.23/481.69 c #Conflicts: 259000 | #Constraints: 20116 480.23/481.69 c #Conflicts: 260000 | #Constraints: 21116 480.23/481.69 c #Conflicts: 261000 | #Constraints: 22116 480.23/481.69 c #Conflicts: 262000 | #Constraints: 23116 480.23/481.69 c #Conflicts: 263000 | #Constraints: 24116 480.23/481.69 c #Conflicts: 264000 | #Constraints: 25116 480.23/481.69 c #Conflicts: 265000 | #Constraints: 26116 480.23/481.69 c #Conflicts: 266000 | #Constraints: 27116 480.23/481.69 c #Conflicts: 267000 | #Constraints: 28116 480.23/481.69 c #Conflicts: 268000 | #Constraints: 29116 480.23/481.69 c #Conflicts: 269000 | #Constraints: 30116 480.23/481.69 c #Conflicts: 270000 | #Constraints: 31116 480.23/481.69 c #Conflicts: 271000 | #Constraints: 32116 480.23/481.69 c #Conflicts: 272000 | #Constraints: 33116 480.23/481.69 c #Conflicts: 273000 | #Constraints: 34116 480.23/481.69 c #Conflicts: 274000 | #Constraints: 35116 480.23/481.69 c #Conflicts: 275000 | #Constraints: 36116 480.23/481.69 c #Conflicts: 276000 | #Constraints: 37116 480.23/481.69 c #Conflicts: 277000 | #Constraints: 38116 480.23/481.69 c #Conflicts: 278000 | #Constraints: 39116 480.23/481.69 c #Conflicts: 279000 | #Constraints: 40116 480.23/481.69 c #Conflicts: 280000 | #Constraints: 41116 480.23/481.69 c #Conflicts: 281000 | #Constraints: 42116 480.23/481.69 c #Conflicts: 282000 | #Constraints: 43116 480.23/481.69 c #Conflicts: 283000 | #Constraints: 44116 480.23/481.69 c #Conflicts: 284000 | #Constraints: 45116 480.23/481.69 c #Conflicts: 285000 | #Constraints: 46116 480.23/481.69 c #Conflicts: 286000 | #Constraints: 47116 480.23/481.69 c #Conflicts: 287000 | #Constraints: 48116 480.23/481.69 c #Conflicts: 288000 | #Constraints: 49116 480.23/481.69 c #Conflicts: 289000 | #Constraints: 50116 480.23/481.69 c #Conflicts: 290000 | #Constraints: 51116 480.23/481.69 c #Conflicts: 291000 | #Constraints: 52116 480.23/481.69 c #Conflicts: 292000 | #Constraints: 53116 480.23/481.69 c #Conflicts: 293000 | #Constraints: 54116 480.23/481.69 c #Conflicts: 294000 | #Constraints: 55116 480.23/481.69 c #Conflicts: 295000 | #Constraints: 56116 480.23/481.69 c INPROCESSING 480.23/481.69 c GARBAGE COLLECT 480.23/481.69 c rational objective 146 547.03/548.65 c #Conflicts: 296000 | #Constraints: 29354 547.03/548.65 c #Conflicts: 297000 | #Constraints: 30354 547.03/548.65 c #Conflicts: 298000 | #Constraints: 31354 547.03/548.65 c #Conflicts: 299000 | #Constraints: 32354 547.03/548.65 c #Conflicts: 300000 | #Constraints: 33354 547.03/548.65 c #Conflicts: 301000 | #Constraints: 34354 547.03/548.65 c #Conflicts: 302000 | #Constraints: 35354 547.03/548.65 c #Conflicts: 303000 | #Constraints: 36354 547.03/548.65 c #Conflicts: 304000 | #Constraints: 37354 547.03/548.65 c #Conflicts: 305000 | #Constraints: 38354 547.03/548.65 c #Conflicts: 306000 | #Constraints: 39354 547.03/548.65 c #Conflicts: 307000 | #Constraints: 40354 547.03/548.65 c #Conflicts: 308000 | #Constraints: 41354 547.03/548.65 c #Conflicts: 309000 | #Constraints: 42354 547.03/548.65 c INPROCESSING 547.03/548.65 c GARBAGE COLLECT 547.03/548.65 c rational objective 146 584.92/586.66 c #Conflicts: 310000 | #Constraints: 22969 584.92/586.66 c #Conflicts: 311000 | #Constraints: 23969 584.92/586.66 c #Conflicts: 312000 | #Constraints: 24969 584.92/586.66 c #Conflicts: 313000 | #Constraints: 25969 584.92/586.66 c #Conflicts: 314000 | #Constraints: 26969 584.92/586.66 c #Conflicts: 315000 | #Constraints: 27969 584.92/586.66 c #Conflicts: 316000 | #Constraints: 28969 584.92/586.66 c #Conflicts: 317000 | #Constraints: 29969 584.92/586.66 c #Conflicts: 318000 | #Constraints: 30969 584.92/586.66 c #Conflicts: 319000 | #Constraints: 31969 584.92/586.66 c #Conflicts: 320000 | #Constraints: 32969 584.92/586.66 c #Conflicts: 321000 | #Constraints: 33969 584.92/586.66 c #Conflicts: 322000 | #Constraints: 34969 584.92/586.66 c INPROCESSING 584.92/586.66 c GARBAGE COLLECT 584.92/586.66 c rational objective 146 766.05/768.28 c #Conflicts: 323000 | #Constraints: 22355 766.05/768.28 c #Conflicts: 324000 | #Constraints: 23355 766.05/768.28 c #Conflicts: 325000 | #Constraints: 24355 766.05/768.28 c #Conflicts: 326000 | #Constraints: 25355 766.05/768.28 c #Conflicts: 327000 | #Constraints: 26355 766.05/768.28 c #Conflicts: 328000 | #Constraints: 27355 766.05/768.28 c #Conflicts: 329000 | #Constraints: 28355 766.05/768.28 c #Conflicts: 330000 | #Constraints: 29355 766.05/768.28 c #Conflicts: 331000 | #Constraints: 30355 766.05/768.28 c #Conflicts: 332000 | #Constraints: 31355 766.05/768.28 c #Conflicts: 333000 | #Constraints: 32355 766.05/768.28 c #Conflicts: 334000 | #Constraints: 33355 766.05/768.28 c #Conflicts: 335000 | #Constraints: 34355 766.05/768.28 c #Conflicts: 336000 | #Constraints: 35355 766.05/768.28 c #Conflicts: 337000 | #Constraints: 36355 766.05/768.28 c #Conflicts: 338000 | #Constraints: 37355 766.05/768.28 c #Conflicts: 339000 | #Constraints: 38355 766.05/768.28 c #Conflicts: 340000 | #Constraints: 39355 766.05/768.28 c #Conflicts: 341000 | #Constraints: 40355 766.05/768.28 c #Conflicts: 342000 | #Constraints: 41355 766.05/768.28 c #Conflicts: 343000 | #Constraints: 42355 766.05/768.28 c #Conflicts: 344000 | #Constraints: 43355 766.05/768.28 c #Conflicts: 345000 | #Constraints: 44355 766.05/768.28 c #Conflicts: 346000 | #Constraints: 45355 766.05/768.28 c #Conflicts: 347000 | #Constraints: 46355 766.05/768.28 c #Conflicts: 348000 | #Constraints: 47355 766.05/768.28 c #Conflicts: 349000 | #Constraints: 48355 766.05/768.28 c #Conflicts: 350000 | #Constraints: 49355 766.05/768.28 c #Conflicts: 351000 | #Constraints: 50355 766.05/768.28 c #Conflicts: 352000 | #Constraints: 51355 766.05/768.28 c #Conflicts: 353000 | #Constraints: 52355 766.05/768.28 c #Conflicts: 354000 | #Constraints: 53355 766.05/768.28 c #Conflicts: 355000 | #Constraints: 54355 766.05/768.28 c #Conflicts: 356000 | #Constraints: 55355 766.05/768.28 c #Conflicts: 357000 | #Constraints: 56355 766.05/768.28 c #Conflicts: 358000 | #Constraints: 57355 766.05/768.28 c #Conflicts: 359000 | #Constraints: 58355 766.05/768.28 c #Conflicts: 360000 | #Constraints: 59355 766.05/768.28 c #Conflicts: 361000 | #Constraints: 60355 766.05/768.28 c bounds 195 >= 147 @ 750.267 766.05/768.28 c #Conflicts: 362000 | #Constraints: 61394 766.05/768.28 c #Conflicts: 363000 | #Constraints: 62394 766.05/768.28 c #Conflicts: 364000 | #Constraints: 63394 766.05/768.28 c INPROCESSING 766.05/768.28 c GARBAGE COLLECT 766.05/768.28 c rational objective 147 798.36/800.60 c #Conflicts: 365000 | #Constraints: 33005 798.36/800.60 c #Conflicts: 366000 | #Constraints: 34005 798.36/800.60 c #Conflicts: 367000 | #Constraints: 35005 798.36/800.60 c #Conflicts: 368000 | #Constraints: 36005 798.36/800.60 c #Conflicts: 369000 | #Constraints: 37005 798.36/800.60 c #Conflicts: 370000 | #Constraints: 38005 798.36/800.60 c #Conflicts: 371000 | #Constraints: 39005 798.36/800.60 c #Conflicts: 372000 | #Constraints: 40005 798.36/800.60 c #Conflicts: 373000 | #Constraints: 41005 798.36/800.60 c #Conflicts: 374000 | #Constraints: 42005 798.36/800.60 c #Conflicts: 375000 | #Constraints: 43005 798.36/800.60 c #Conflicts: 376000 | #Constraints: 44005 798.36/800.60 c #Conflicts: 377000 | #Constraints: 45005 798.36/800.60 c #Conflicts: 378000 | #Constraints: 46005 798.36/800.60 c #Conflicts: 379000 | #Constraints: 47005 798.36/800.60 c INPROCESSING 798.36/800.60 c GARBAGE COLLECT 798.36/800.60 c rational objective 147 985.34/988.16 c #Conflicts: 380000 | #Constraints: 25211 985.34/988.16 c #Conflicts: 381000 | #Constraints: 26211 985.34/988.16 c #Conflicts: 382000 | #Constraints: 27211 985.34/988.16 c #Conflicts: 383000 | #Constraints: 28211 985.34/988.16 c #Conflicts: 384000 | #Constraints: 29211 985.34/988.16 c #Conflicts: 385000 | #Constraints: 30211 985.34/988.16 c #Conflicts: 386000 | #Constraints: 31211 985.34/988.16 c #Conflicts: 387000 | #Constraints: 32211 985.34/988.16 c #Conflicts: 388000 | #Constraints: 33211 985.34/988.16 c #Conflicts: 389000 | #Constraints: 34211 985.34/988.16 c #Conflicts: 390000 | #Constraints: 35211 985.34/988.16 c #Conflicts: 391000 | #Constraints: 36211 985.34/988.16 c #Conflicts: 392000 | #Constraints: 37211 985.34/988.16 c #Conflicts: 393000 | #Constraints: 38211 985.34/988.16 c #Conflicts: 394000 | #Constraints: 39211 985.34/988.16 c #Conflicts: 395000 | #Constraints: 40211 985.34/988.16 c #Conflicts: 396000 | #Constraints: 41211 985.34/988.16 c #Conflicts: 397000 | #Constraints: 42211 985.34/988.16 c #Conflicts: 398000 | #Constraints: 43211 985.34/988.16 c bounds 194 >= 147 @ 835.74 985.34/988.16 c #Conflicts: 399000 | #Constraints: 44212 985.34/988.16 c #Conflicts: 400000 | #Constraints: 45212 985.34/988.16 c #Conflicts: 401000 | #Constraints: 46212 985.34/988.16 c bounds 193 >= 147 @ 845.701 985.34/988.16 c #Conflicts: 402000 | #Constraints: 47213 985.34/988.16 c #Conflicts: 403000 | #Constraints: 48213 985.34/988.16 c #Conflicts: 404000 | #Constraints: 49213 985.34/988.16 c #Conflicts: 405000 | #Constraints: 50213 985.34/988.16 c #Conflicts: 406000 | #Constraints: 51213 985.34/988.16 c #Conflicts: 407000 | #Constraints: 52213 985.34/988.16 c #Conflicts: 408000 | #Constraints: 53213 985.34/988.16 c #Conflicts: 409000 | #Constraints: 54213 985.34/988.16 c #Conflicts: 410000 | #Constraints: 55213 985.34/988.16 c #Conflicts: 411000 | #Constraints: 56213 985.34/988.16 c #Conflicts: 412000 | #Constraints: 57213 985.34/988.16 c #Conflicts: 413000 | #Constraints: 58213 985.34/988.16 c #Conflicts: 414000 | #Constraints: 59213 985.34/988.16 c #Conflicts: 415000 | #Constraints: 60213 985.34/988.16 c #Conflicts: 416000 | #Constraints: 61213 985.34/988.16 c #Conflicts: 417000 | #Constraints: 62213 985.34/988.16 c #Conflicts: 418000 | #Constraints: 63213 985.34/988.16 c #Conflicts: 419000 | #Constraints: 64213 985.34/988.16 c #Conflicts: 420000 | #Constraints: 65213 985.34/988.16 c #Conflicts: 421000 | #Constraints: 66213 985.34/988.16 c #Conflicts: 422000 | #Constraints: 67213 985.34/988.16 c #Conflicts: 423000 | #Constraints: 68213 985.34/988.16 c #Conflicts: 424000 | #Constraints: 69213 985.34/988.16 c #Conflicts: 425000 | #Constraints: 70213 985.34/988.16 c INPROCESSING 985.34/988.16 c GARBAGE COLLECT 985.34/988.16 c rational objective 147 1096.01/1099.15 c #Conflicts: 426000 | #Constraints: 36821 1096.01/1099.15 c #Conflicts: 427000 | #Constraints: 37821 1096.01/1099.15 c #Conflicts: 428000 | #Constraints: 38821 1096.01/1099.15 c #Conflicts: 429000 | #Constraints: 39821 1096.01/1099.15 c #Conflicts: 430000 | #Constraints: 40821 1096.01/1099.15 c #Conflicts: 431000 | #Constraints: 41821 1096.01/1099.15 c #Conflicts: 432000 | #Constraints: 42821 1096.01/1099.15 c #Conflicts: 433000 | #Constraints: 43821 1096.01/1099.15 c #Conflicts: 434000 | #Constraints: 44821 1096.01/1099.15 c #Conflicts: 435000 | #Constraints: 45821 1096.01/1099.15 c #Conflicts: 436000 | #Constraints: 46821 1096.01/1099.15 c #Conflicts: 437000 | #Constraints: 47821 1096.01/1099.15 c #Conflicts: 438000 | #Constraints: 48821 1096.01/1099.15 c #Conflicts: 439000 | #Constraints: 49821 1096.01/1099.15 c #Conflicts: 440000 | #Constraints: 50821 1096.01/1099.15 c #Conflicts: 441000 | #Constraints: 51821 1096.01/1099.15 c INPROCESSING 1096.01/1099.15 c GARBAGE COLLECT 1096.01/1099.15 c rational objective 147 1509.09/1513.35 c #Conflicts: 442000 | #Constraints: 28055 1509.09/1513.35 c #Conflicts: 443000 | #Constraints: 29055 1509.09/1513.35 c #Conflicts: 444000 | #Constraints: 30055 1509.09/1513.35 c #Conflicts: 445000 | #Constraints: 31055 1509.09/1513.35 c #Conflicts: 446000 | #Constraints: 32055 1509.09/1513.35 c #Conflicts: 447000 | #Constraints: 33055 1509.09/1513.35 c #Conflicts: 448000 | #Constraints: 34055 1509.09/1513.35 c #Conflicts: 449000 | #Constraints: 35055 1509.09/1513.35 c #Conflicts: 450000 | #Constraints: 36055 1509.09/1513.35 c #Conflicts: 451000 | #Constraints: 37055 1509.09/1513.35 c #Conflicts: 452000 | #Constraints: 38055 1509.09/1513.35 c #Conflicts: 453000 | #Constraints: 39055 1509.09/1513.35 c #Conflicts: 454000 | #Constraints: 40055 1509.09/1513.35 c #Conflicts: 455000 | #Constraints: 41055 1509.09/1513.35 c #Conflicts: 456000 | #Constraints: 42055 1509.09/1513.35 c #Conflicts: 457000 | #Constraints: 43055 1509.09/1513.35 c #Conflicts: 458000 | #Constraints: 44055 1509.09/1513.35 c #Conflicts: 459000 | #Constraints: 45055 1509.09/1513.35 c #Conflicts: 460000 | #Constraints: 46055 1509.09/1513.35 c #Conflicts: 461000 | #Constraints: 47055 1509.09/1513.35 c #Conflicts: 462000 | #Constraints: 48055 1509.09/1513.35 c #Conflicts: 463000 | #Constraints: 49055 1509.09/1513.35 c #Conflicts: 464000 | #Constraints: 50055 1509.09/1513.35 c #Conflicts: 465000 | #Constraints: 51055 1509.09/1513.35 c #Conflicts: 466000 | #Constraints: 52055 1509.09/1513.35 c #Conflicts: 467000 | #Constraints: 53055 1509.09/1513.35 c #Conflicts: 468000 | #Constraints: 54055 1509.09/1513.35 c #Conflicts: 469000 | #Constraints: 55055 1509.09/1513.35 c #Conflicts: 470000 | #Constraints: 56055 1509.09/1513.35 c #Conflicts: 471000 | #Constraints: 57055 1509.09/1513.35 c #Conflicts: 472000 | #Constraints: 58055 1509.09/1513.35 c #Conflicts: 473000 | #Constraints: 59055 1509.09/1513.35 c #Conflicts: 474000 | #Constraints: 60055 1509.09/1513.35 c #Conflicts: 475000 | #Constraints: 61055 1509.09/1513.35 c #Conflicts: 476000 | #Constraints: 62055 1509.09/1513.35 c #Conflicts: 477000 | #Constraints: 63055 1509.09/1513.35 c #Conflicts: 478000 | #Constraints: 64055 1509.09/1513.35 c #Conflicts: 479000 | #Constraints: 65055 1509.09/1513.35 c #Conflicts: 480000 | #Constraints: 66055 1509.09/1513.35 c #Conflicts: 481000 | #Constraints: 67055 1509.09/1513.35 c #Conflicts: 482000 | #Constraints: 68055 1509.09/1513.35 c #Conflicts: 483000 | #Constraints: 69055 1509.09/1513.35 c #Conflicts: 484000 | #Constraints: 70055 1509.09/1513.35 c #Conflicts: 485000 | #Constraints: 71055 1509.09/1513.35 c #Conflicts: 486000 | #Constraints: 72055 1509.09/1513.35 c #Conflicts: 487000 | #Constraints: 73055 1509.09/1513.35 c #Conflicts: 488000 | #Constraints: 74055 1509.09/1513.35 c #Conflicts: 489000 | #Constraints: 75055 1509.09/1513.35 c INPROCESSING 1509.09/1513.35 c GARBAGE COLLECT 1509.09/1513.35 c rational objective 147 1657.77/1662.42 c #Conflicts: 490000 | #Constraints: 38941 1657.77/1662.42 c #Conflicts: 491000 | #Constraints: 39941 1657.77/1662.42 c #Conflicts: 492000 | #Constraints: 40941 1657.77/1662.42 c #Conflicts: 493000 | #Constraints: 41941 1657.77/1662.42 c #Conflicts: 494000 | #Constraints: 42941 1657.77/1662.42 c #Conflicts: 495000 | #Constraints: 43941 1657.77/1662.42 c #Conflicts: 496000 | #Constraints: 44941 1657.77/1662.42 c #Conflicts: 497000 | #Constraints: 45941 1657.77/1662.42 c #Conflicts: 498000 | #Constraints: 46941 1657.77/1662.42 c #Conflicts: 499000 | #Constraints: 47941 1657.77/1662.42 c #Conflicts: 500000 | #Constraints: 48941 1657.77/1662.42 c #Conflicts: 501000 | #Constraints: 49941 1657.77/1662.42 c #Conflicts: 502000 | #Constraints: 50941 1657.77/1662.42 c #Conflicts: 503000 | #Constraints: 51941 1657.77/1662.42 c #Conflicts: 504000 | #Constraints: 52941 1657.77/1662.42 c #Conflicts: 505000 | #Constraints: 53941 1657.77/1662.42 c #Conflicts: 506000 | #Constraints: 54941 1657.77/1662.42 c INPROCESSING 1657.77/1662.42 c GARBAGE COLLECT 1657.77/1662.42 c rational objective 147 1934.35/1939.85 c #Conflicts: 507000 | #Constraints: 29387 1934.35/1939.85 c #Conflicts: 508000 | #Constraints: 30387 1934.35/1939.85 c #Conflicts: 509000 | #Constraints: 31387 1934.35/1939.85 c #Conflicts: 510000 | #Constraints: 32387 1934.35/1939.85 c #Conflicts: 511000 | #Constraints: 33387 1934.35/1939.85 c #Conflicts: 512000 | #Constraints: 34387 1934.35/1939.85 c #Conflicts: 513000 | #Constraints: 35387 1934.35/1939.85 c #Conflicts: 514000 | #Constraints: 36387 1934.35/1939.85 c #Conflicts: 515000 | #Constraints: 37387 1934.35/1939.85 c #Conflicts: 516000 | #Constraints: 38387 1934.35/1939.85 c #Conflicts: 517000 | #Constraints: 39387 1934.35/1939.85 c #Conflicts: 518000 | #Constraints: 40387 1934.35/1939.85 c #Conflicts: 519000 | #Constraints: 41387 1934.35/1939.85 c #Conflicts: 520000 | #Constraints: 42387 1934.35/1939.85 c #Conflicts: 521000 | #Constraints: 43387 1934.35/1939.85 c #Conflicts: 522000 | #Constraints: 44387 1934.35/1939.85 c #Conflicts: 523000 | #Constraints: 45387 1934.35/1939.85 c #Conflicts: 524000 | #Constraints: 46387 1934.35/1939.85 c #Conflicts: 525000 | #Constraints: 47387 1934.35/1939.85 c #Conflicts: 526000 | #Constraints: 48387 1934.35/1939.86 c #Conflicts: 527000 | #Constraints: 49387 1934.35/1939.86 c #Conflicts: 528000 | #Constraints: 50387 1934.35/1939.86 c #Conflicts: 529000 | #Constraints: 51387 1934.35/1939.86 c #Conflicts: 530000 | #Constraints: 52387 1934.35/1939.86 c #Conflicts: 531000 | #Constraints: 53387 1934.35/1939.86 c #Conflicts: 532000 | #Constraints: 54387 1934.35/1939.86 c #Conflicts: 533000 | #Constraints: 55387 1934.35/1939.86 c #Conflicts: 534000 | #Constraints: 56387 1934.35/1939.86 c #Conflicts: 535000 | #Constraints: 57387 1934.35/1939.86 c #Conflicts: 536000 | #Constraints: 58387 1934.35/1939.86 c #Conflicts: 537000 | #Constraints: 59387 1934.35/1939.86 c #Conflicts: 538000 | #Constraints: 60387 1934.35/1939.86 c #Conflicts: 539000 | #Constraints: 61387 1934.35/1939.86 c #Conflicts: 540000 | #Constraints: 62387 1934.35/1939.86 c #Conflicts: 541000 | #Constraints: 63387 1934.35/1939.86 c #Conflicts: 542000 | #Constraints: 64387 1934.35/1939.86 c #Conflicts: 543000 | #Constraints: 65387 1934.35/1939.86 c #Conflicts: 544000 | #Constraints: 66387 1934.35/1939.86 c #Conflicts: 545000 | #Constraints: 67387 1934.35/1939.86 c #Conflicts: 546000 | #Constraints: 68387 1934.35/1939.86 c #Conflicts: 547000 | #Constraints: 69387 1934.35/1939.86 c #Conflicts: 548000 | #Constraints: 70387 1934.35/1939.86 c #Conflicts: 549000 | #Constraints: 71387 1934.35/1939.86 c #Conflicts: 550000 | #Constraints: 72387 1934.35/1939.86 c #Conflicts: 551000 | #Constraints: 73387 1934.35/1939.86 c #Conflicts: 552000 | #Constraints: 74387 1934.35/1939.86 c #Conflicts: 553000 | #Constraints: 75387 1934.35/1939.86 c #Conflicts: 554000 | #Constraints: 76387 1934.35/1939.86 c #Conflicts: 555000 | #Constraints: 77387 1934.35/1939.86 c #Conflicts: 556000 | #Constraints: 78387 1934.35/1939.86 c #Conflicts: 557000 | #Constraints: 79387 1934.35/1939.86 c #Conflicts: 558000 | #Constraints: 80387 1934.35/1939.86 c INPROCESSING 1934.35/1939.86 c GARBAGE COLLECT 1934.35/1939.86 c rational objective 147 2035.15/2040.97 c #Conflicts: 559000 | #Constraints: 41698 2035.15/2040.97 c #Conflicts: 560000 | #Constraints: 42698 2035.15/2040.97 c #Conflicts: 561000 | #Constraints: 43698 2035.15/2040.97 c #Conflicts: 562000 | #Constraints: 44698 2035.15/2040.97 c #Conflicts: 563000 | #Constraints: 45698 2035.15/2040.97 c #Conflicts: 564000 | #Constraints: 46698 2035.15/2040.97 c #Conflicts: 565000 | #Constraints: 47698 2035.15/2040.97 c #Conflicts: 566000 | #Constraints: 48698 2035.15/2040.97 c #Conflicts: 567000 | #Constraints: 49698 2035.15/2040.97 c #Conflicts: 568000 | #Constraints: 50698 2035.15/2040.97 c #Conflicts: 569000 | #Constraints: 51698 2035.15/2040.97 c #Conflicts: 570000 | #Constraints: 52698 2035.15/2040.97 c #Conflicts: 571000 | #Constraints: 53698 2035.15/2040.97 c #Conflicts: 572000 | #Constraints: 54698 2035.15/2040.97 c #Conflicts: 573000 | #Constraints: 55698 2035.15/2040.97 c #Conflicts: 574000 | #Constraints: 56698 2035.15/2040.97 c #Conflicts: 575000 | #Constraints: 57698 2035.15/2040.97 c #Conflicts: 576000 | #Constraints: 58698 2035.15/2040.97 c #Conflicts: 577000 | #Constraints: 59698 2035.15/2040.97 c INPROCESSING 2035.15/2040.97 c GARBAGE COLLECT 2035.15/2040.97 c rational objective 147 2430.63/2437.66 c #Conflicts: 578000 | #Constraints: 35985 2430.63/2437.66 c #Conflicts: 579000 | #Constraints: 36985 2430.63/2437.66 c #Conflicts: 580000 | #Constraints: 37985 2430.63/2437.66 c #Conflicts: 581000 | #Constraints: 38985 2430.63/2437.66 c #Conflicts: 582000 | #Constraints: 39985 2430.63/2437.66 c #Conflicts: 583000 | #Constraints: 40985 2430.63/2437.66 c #Conflicts: 584000 | #Constraints: 41985 2430.63/2437.66 c #Conflicts: 585000 | #Constraints: 42985 2430.63/2437.66 c #Conflicts: 586000 | #Constraints: 43985 2430.63/2437.66 c #Conflicts: 587000 | #Constraints: 44985 2430.63/2437.66 c #Conflicts: 588000 | #Constraints: 45985 2430.63/2437.66 c #Conflicts: 589000 | #Constraints: 46985 2430.63/2437.66 c #Conflicts: 590000 | #Constraints: 47985 2430.63/2437.66 c #Conflicts: 591000 | #Constraints: 48985 2430.63/2437.66 c #Conflicts: 592000 | #Constraints: 49985 2430.63/2437.66 c #Conflicts: 593000 | #Constraints: 50985 2430.63/2437.66 c #Conflicts: 594000 | #Constraints: 51985 2430.63/2437.66 c #Conflicts: 595000 | #Constraints: 52985 2430.63/2437.66 c #Conflicts: 596000 | #Constraints: 53985 2430.63/2437.66 c #Conflicts: 597000 | #Constraints: 54985 2430.63/2437.66 c #Conflicts: 598000 | #Constraints: 55985 2430.63/2437.66 c #Conflicts: 599000 | #Constraints: 56985 2430.63/2437.66 c #Conflicts: 600000 | #Constraints: 57985 2430.63/2437.66 c #Conflicts: 601000 | #Constraints: 58985 2430.63/2437.66 c #Conflicts: 602000 | #Constraints: 59985 2430.63/2437.66 c #Conflicts: 603000 | #Constraints: 60985 2430.63/2437.66 c #Conflicts: 604000 | #Constraints: 61985 2430.63/2437.66 c #Conflicts: 605000 | #Constraints: 62985 2430.63/2437.66 c #Conflicts: 606000 | #Constraints: 63985 2430.63/2437.66 c #Conflicts: 607000 | #Constraints: 64985 2430.63/2437.66 c #Conflicts: 608000 | #Constraints: 65985 2430.63/2437.66 c #Conflicts: 609000 | #Constraints: 66985 2430.63/2437.66 c #Conflicts: 610000 | #Constraints: 67985 2430.63/2437.66 c #Conflicts: 611000 | #Constraints: 68985 2430.63/2437.66 c #Conflicts: 612000 | #Constraints: 69985 2430.63/2437.66 c #Conflicts: 613000 | #Constraints: 70985 2430.63/2437.66 c #Conflicts: 614000 | #Constraints: 71985 2430.63/2437.66 c #Conflicts: 615000 | #Constraints: 72985 2430.63/2437.66 c #Conflicts: 616000 | #Constraints: 73985 2430.63/2437.66 c #Conflicts: 617000 | #Constraints: 74985 2430.63/2437.66 c #Conflicts: 618000 | #Constraints: 75985 2430.63/2437.66 c #Conflicts: 619000 | #Constraints: 76985 2430.63/2437.66 c #Conflicts: 620000 | #Constraints: 77985 2430.63/2437.66 c #Conflicts: 621000 | #Constraints: 78985 2430.63/2437.66 c #Conflicts: 622000 | #Constraints: 79985 2430.63/2437.66 c #Conflicts: 623000 | #Constraints: 80985 2430.63/2437.66 c #Conflicts: 624000 | #Constraints: 81985 2430.63/2437.66 c #Conflicts: 625000 | #Constraints: 82985 2430.63/2437.66 c #Conflicts: 626000 | #Constraints: 83985 2430.63/2437.66 c #Conflicts: 627000 | #Constraints: 84985 2430.63/2437.66 c #Conflicts: 628000 | #Constraints: 85985 2430.63/2437.66 c #Conflicts: 629000 | #Constraints: 86985 2430.63/2437.66 c #Conflicts: 630000 | #Constraints: 87985 2430.63/2437.66 c #Conflicts: 631000 | #Constraints: 88985 2430.63/2437.66 c #Conflicts: 632000 | #Constraints: 89985 2430.63/2437.66 c INPROCESSING 2430.63/2437.66 c GARBAGE COLLECT 2430.63/2437.66 c rational objective 147 2503.78/2511.02 c #Conflicts: 633000 | #Constraints: 46804 2503.78/2511.02 c #Conflicts: 634000 | #Constraints: 47804 2503.78/2511.02 c #Conflicts: 635000 | #Constraints: 48804 2503.78/2511.02 c #Conflicts: 636000 | #Constraints: 49804 2503.78/2511.02 c #Conflicts: 637000 | #Constraints: 50804 2503.78/2511.02 c #Conflicts: 638000 | #Constraints: 51804 2503.78/2511.02 c #Conflicts: 639000 | #Constraints: 52804 2503.78/2511.02 c #Conflicts: 640000 | #Constraints: 53804 2503.78/2511.02 c #Conflicts: 641000 | #Constraints: 54804 2503.78/2511.02 c #Conflicts: 642000 | #Constraints: 55804 2503.78/2511.02 c #Conflicts: 643000 | #Constraints: 56804 2503.78/2511.02 c #Conflicts: 644000 | #Constraints: 57804 2503.78/2511.02 c #Conflicts: 645000 | #Constraints: 58804 2503.78/2511.02 c #Conflicts: 646000 | #Constraints: 59804 2503.78/2511.02 c #Conflicts: 647000 | #Constraints: 60804 2503.78/2511.02 c #Conflicts: 648000 | #Constraints: 61804 2503.78/2511.02 c #Conflicts: 649000 | #Constraints: 62804 2503.78/2511.02 c #Conflicts: 650000 | #Constraints: 63804 2503.78/2511.02 c #Conflicts: 651000 | #Constraints: 64804 2503.78/2511.02 c INPROCESSING 2503.78/2511.02 c GARBAGE COLLECT 2503.78/2511.02 c rational objective 147 2894.08/2902.65 c #Conflicts: 652000 | #Constraints: 39902 2894.08/2902.65 c #Conflicts: 653000 | #Constraints: 40902 2894.08/2902.65 c #Conflicts: 654000 | #Constraints: 41902 2894.08/2902.65 c #Conflicts: 655000 | #Constraints: 42902 2894.08/2902.65 c #Conflicts: 656000 | #Constraints: 43902 2894.08/2902.65 c #Conflicts: 657000 | #Constraints: 44902 2894.08/2902.65 c #Conflicts: 658000 | #Constraints: 45902 2894.08/2902.65 c #Conflicts: 659000 | #Constraints: 46902 2894.08/2902.65 c #Conflicts: 660000 | #Constraints: 47902 2894.08/2902.65 c #Conflicts: 661000 | #Constraints: 48902 2894.08/2902.65 c #Conflicts: 662000 | #Constraints: 49902 2894.08/2902.65 c #Conflicts: 663000 | #Constraints: 50902 2894.08/2902.65 c #Conflicts: 664000 | #Constraints: 51902 2894.08/2902.65 c #Conflicts: 665000 | #Constraints: 52902 2894.08/2902.65 c #Conflicts: 666000 | #Constraints: 53902 2894.08/2902.65 c #Conflicts: 667000 | #Constraints: 54902 2894.08/2902.65 c #Conflicts: 668000 | #Constraints: 55902 2894.08/2902.65 c #Conflicts: 669000 | #Constraints: 56902 2894.08/2902.65 c #Conflicts: 670000 | #Constraints: 57902 2894.08/2902.65 c #Conflicts: 671000 | #Constraints: 58902 2894.08/2902.65 c #Conflicts: 672000 | #Constraints: 59902 2894.08/2902.65 c #Conflicts: 673000 | #Constraints: 60902 2894.08/2902.65 c #Conflicts: 674000 | #Constraints: 61902 2894.08/2902.65 c #Conflicts: 675000 | #Constraints: 62902 2894.08/2902.65 c #Conflicts: 676000 | #Constraints: 63902 2894.08/2902.65 c #Conflicts: 677000 | #Constraints: 64902 2894.08/2902.65 c #Conflicts: 678000 | #Constraints: 65902 2894.08/2902.65 c #Conflicts: 679000 | #Constraints: 66902 2894.08/2902.65 c #Conflicts: 680000 | #Constraints: 67902 2894.08/2902.65 c #Conflicts: 681000 | #Constraints: 68902 2894.08/2902.65 c #Conflicts: 682000 | #Constraints: 69902 2894.08/2902.65 c #Conflicts: 683000 | #Constraints: 70902 2894.08/2902.65 c #Conflicts: 684000 | #Constraints: 71902 2894.08/2902.65 c #Conflicts: 685000 | #Constraints: 72902 2894.08/2902.65 c #Conflicts: 686000 | #Constraints: 73902 2894.08/2902.65 c #Conflicts: 687000 | #Constraints: 74902 2894.08/2902.65 c #Conflicts: 688000 | #Constraints: 75902 2894.08/2902.65 c #Conflicts: 689000 | #Constraints: 76902 2894.08/2902.65 c #Conflicts: 690000 | #Constraints: 77902 2894.08/2902.65 c #Conflicts: 691000 | #Constraints: 78902 2894.08/2902.65 c #Conflicts: 692000 | #Constraints: 79902 2894.08/2902.65 c #Conflicts: 693000 | #Constraints: 80902 2894.08/2902.65 c #Conflicts: 694000 | #Constraints: 81902 2894.08/2902.65 c #Conflicts: 695000 | #Constraints: 82903 2894.08/2902.65 c #Conflicts: 696000 | #Constraints: 83903 2894.08/2902.65 c #Conflicts: 697000 | #Constraints: 84903 2894.08/2902.65 c #Conflicts: 698000 | #Constraints: 85903 2894.08/2902.65 c #Conflicts: 699000 | #Constraints: 86903 2894.08/2902.65 c #Conflicts: 700000 | #Constraints: 87903 2894.08/2902.65 c #Conflicts: 701000 | #Constraints: 88903 2894.08/2902.65 c #Conflicts: 702000 | #Constraints: 89903 2894.08/2902.65 c #Conflicts: 703000 | #Constraints: 90903 2894.08/2902.65 c #Conflicts: 704000 | #Constraints: 91903 2894.08/2902.65 c #Conflicts: 705000 | #Constraints: 92903 2894.08/2902.65 c #Conflicts: 706000 | #Constraints: 93903 2894.08/2902.65 c #Conflicts: 707000 | #Constraints: 94903 2894.08/2902.65 c #Conflicts: 708000 | #Constraints: 95903 2894.08/2902.65 c #Conflicts: 709000 | #Constraints: 96903 2894.08/2902.65 c INPROCESSING 2894.08/2902.65 c GARBAGE COLLECT 2894.08/2902.65 c rational objective 147 3117.13/3126.64 c #Conflicts: 710000 | #Constraints: 49776 3117.13/3126.64 c #Conflicts: 711000 | #Constraints: 50776 3117.13/3126.64 c #Conflicts: 712000 | #Constraints: 51776 3117.13/3126.64 c #Conflicts: 713000 | #Constraints: 52776 3117.13/3126.64 c #Conflicts: 714000 | #Constraints: 53776 3117.13/3126.64 c #Conflicts: 715000 | #Constraints: 54776 3117.13/3126.64 c #Conflicts: 716000 | #Constraints: 55776 3117.13/3126.64 c #Conflicts: 717000 | #Constraints: 56776 3117.13/3126.64 c #Conflicts: 718000 | #Constraints: 57776 3117.13/3126.64 c #Conflicts: 719000 | #Constraints: 58776 3117.13/3126.64 c #Conflicts: 720000 | #Constraints: 59776 3117.13/3126.64 c #Conflicts: 721000 | #Constraints: 60776 3117.13/3126.64 c #Conflicts: 722000 | #Constraints: 61776 3117.13/3126.64 c #Conflicts: 723000 | #Constraints: 62776 3117.13/3126.64 c #Conflicts: 724000 | #Constraints: 63776 3117.13/3126.64 c #Conflicts: 725000 | #Constraints: 64776 3117.13/3126.64 c #Conflicts: 726000 | #Constraints: 65776 3117.13/3126.64 c #Conflicts: 727000 | #Constraints: 66776 3117.13/3126.64 c #Conflicts: 728000 | #Constraints: 67776 3117.13/3126.64 c #Conflicts: 729000 | #Constraints: 68776 3117.13/3126.64 c #Conflicts: 730000 | #Constraints: 69776 3117.13/3126.64 c #Conflicts: 731000 | #Constraints: 70776 3117.13/3126.64 c INPROCESSING 3117.13/3126.64 c GARBAGE COLLECT 3117.13/3126.64 c rational objective 147 3600.00/3611.22 c #Conflicts: 732000 | #Constraints: 43016 3600.00/3611.22 c #Conflicts: 733000 | #Constraints: 44016 3600.00/3611.22 c #Conflicts: 734000 | #Constraints: 45016 3600.00/3611.22 c #Conflicts: 735000 | #Constraints: 46016 3600.00/3611.22 c #Conflicts: 736000 | #Constraints: 47016 3600.00/3611.22 c #Conflicts: 737000 | #Constraints: 48016 3600.00/3611.22 c #Conflicts: 738000 | #Constraints: 49016 3600.00/3611.22 c #Conflicts: 739000 | #Constraints: 50016 3600.00/3611.22 c #Conflicts: 740000 | #Constraints: 51016 3600.00/3611.22 c #Conflicts: 741000 | #Constraints: 52016 3600.00/3611.22 c #Conflicts: 742000 | #Constraints: 53016 3600.00/3611.22 c #Conflicts: 743000 | #Constraints: 54016 3600.00/3611.22 c #Conflicts: 744000 | #Constraints: 55016 3600.00/3611.22 c #Conflicts: 745000 | #Constraints: 56016 3600.00/3611.22 c #Conflicts: 746000 | #Constraints: 57016 3600.00/3611.22 c #Conflicts: 747000 | #Constraints: 58016 3600.00/3611.22 c #Conflicts: 748000 | #Constraints: 59016 3600.00/3611.22 c #Conflicts: 749000 | #Constraints: 60016 3600.00/3611.22 c #Conflicts: 750000 | #Constraints: 61016 3600.00/3611.22 c #Conflicts: 751000 | #Constraints: 62016 3600.00/3611.22 c #Conflicts: 752000 | #Constraints: 63016 3600.00/3611.22 c #Conflicts: 753000 | #Constraints: 64016 3600.00/3611.22 c #Conflicts: 754000 | #Constraints: 65016 3600.00/3611.22 c #Conflicts: 755000 | #Constraints: 66016 3600.00/3611.22 c #Conflicts: 756000 | #Constraints: 67016 3600.00/3611.22 c #Conflicts: 757000 | #Constraints: 68016 3600.00/3611.22 c #Conflicts: 758000 | #Constraints: 69016 3600.00/3611.22 c #Conflicts: 759000 | #Constraints: 70016 3600.00/3611.22 c #Conflicts: 760000 | #Constraints: 71016 3600.00/3611.22 c #Conflicts: 761000 | #Constraints: 72016 3600.00/3611.22 c #Conflicts: 762000 | #Constraints: 73016 3600.00/3611.22 c #Conflicts: 763000 | #Constraints: 74016 3600.00/3611.22 c #Conflicts: 764000 | #Constraints: 75016 3600.00/3611.22 c #Conflicts: 765000 | #Constraints: 76016 3600.00/3611.22 c #Conflicts: 766000 | #Constraints: 77016 3600.00/3611.22 c #Conflicts: 767000 | #Constraints: 78016 3600.00/3611.22 c #Conflicts: 768000 | #Constraints: 79016 3600.00/3611.22 c #Conflicts: 769000 | #Constraints: 80016 3600.00/3611.22 c #Conflicts: 770000 | #Constraints: 81016 3600.00/3611.22 c #Conflicts: 771000 | #Constraints: 82016 3600.00/3611.22 c #Conflicts: 772000 | #Constraints: 83016 3600.00/3611.22 c #Conflicts: 773000 | #Constraints: 84016 3600.00/3611.22 c #Conflicts: 774000 | #Constraints: 85016 3600.00/3611.22 c #Conflicts: 775000 | #Constraints: 86016 3600.00/3611.22 c #Conflicts: 776000 | #Constraints: 87016 3600.00/3611.22 c #Conflicts: 777000 | #Constraints: 88016 3600.00/3611.22 c #Conflicts: 778000 | #Constraints: 89016 3600.00/3611.22 c #Conflicts: 779000 | #Constraints: 90016 3600.00/3611.22 c #Conflicts: 780000 | #Constraints: 91016 3600.00/3611.22 c #Conflicts: 781000 | #Constraints: 92016 3600.00/3611.22 c Program interrupted by user. 3600.00/3611.22 c cpu time 3579.6 s 3600.00/3611.22 c deterministic time 348807874646 3.49e+11 3600.00/3611.22 c optimization time 481.085 s 3600.00/3611.22 c total solve time 3098.5 s 3600.00/3611.22 c core-guided solve time 1754.33 s 3600.00/3611.22 c propagation time 3106.38 s 3600.00/3611.22 c conflict analysis time 441.714 s 3600.00/3611.22 c propagations 108140550 3600.00/3611.22 c resolve steps 7018077 3600.00/3611.22 c decisions 5801649 3600.00/3611.22 c conflicts 781164 3600.00/3611.22 c restarts 1659 3600.00/3611.22 c inprocessing phases 43 3600.00/3611.22 c input clauses 308 3600.00/3611.22 c input cardinalities 331 3600.00/3611.22 c input general constraints 892 3600.00/3611.22 c input average constraint length 63.94 3600.00/3611.22 c input average constraint degree 24.48 3600.00/3611.22 c learned clauses 277089 3600.00/3611.22 c learned cardinalities 4486 3600.00/3611.22 c learned general constraints 499597 3600.00/3611.22 c learned average constraint length 174.82 3600.00/3611.22 c learned average constraint degree 6132029.93 3600.00/3611.22 c watched constraints 345154 3600.00/3611.22 c counting constraints 155335 3600.00/3611.22 c gcd simplifications 92098 3600.00/3611.22 c detected cardinalities 1818 3600.00/3611.22 c weakened non-implied lits 31098292 3600.00/3611.22 c weakened non-implying lits 67622 3600.00/3611.22 c original variables 473 3600.00/3611.22 c clausal propagations 13023968 3600.00/3611.22 c cardinality propagations 5621661 3600.00/3611.22 c watched propagations 17295720 3600.00/3611.22 c counting propagations 70655141 3600.00/3611.22 c watch lookups 61379594732 3600.00/3611.22 c watch backjump lookups 55006598801 3600.00/3611.22 c watch checks 213355049610 3600.00/3611.22 c propagation checks 18275984304 3600.00/3611.22 c constraint additions 561180330 3600.00/3611.22 c trail pops 114722901 3600.00/3611.22 c formula constraints 473 3600.00/3611.22 c learned constraints 781170 3600.00/3611.22 c bound constraints 185 3600.00/3611.22 c core-guided constraints 873 3600.00/3611.22 c encountered formula constraints 1116562 3600.00/3611.22 c encountered learned constraints 5625478 3600.00/3611.22 c encountered bound constraints 74 3600.00/3611.22 c encountered core-guided constraints 1057125 3600.00/3611.22 c LP total time 49.7219 s 3600.00/3611.22 c LP solve time 49.23 s 3600.00/3611.22 c LP constraints added 473 3600.00/3611.22 c LP constraints removed 0 3600.00/3611.22 c LP pivots internal 781619 3600.00/3611.22 c LP pivots root 20149 3600.00/3611.22 c LP calls 7330 3600.00/3611.22 c LP optimalities 7326 3600.00/3611.22 c LP no pivot count 366 3600.00/3611.22 c LP infeasibilities 1 3600.00/3611.22 c LP valid Farkas constraints 1 3600.00/3611.22 c LP learned Farkas constraints 1 3600.00/3611.22 c LP basis resets 0 3600.00/3611.22 c LP cycling count 0 3600.00/3611.22 c LP singular count 0 3600.00/3611.22 c LP no primal count 0 3600.00/3611.22 c LP no farkas count 0 3600.00/3611.22 c LP other issue count 0 3600.00/3611.22 c LP Gomory cuts 0 3600.00/3611.22 c LP learned cuts 0 3600.00/3611.22 c LP deleted cuts 0 3600.00/3611.22 c LP encountered Gomory constraints 0 3600.00/3611.22 c LP encountered Farkas constraints 0 3600.00/3611.22 c LP encountered learned Farkas constraints 1 3600.00/3611.22 c CG auxiliary variables introduced 340 3600.00/3611.22 c CG solutions found 38 3600.00/3611.22 c CG cores constructed 147 3600.00/3611.22 c CG core cardinality constraints returned 0 3600.00/3611.22 c CG unit cores 0 3600.00/3611.22 c CG single cores 147 3600.00/3611.22 c CG blocks removed during cardinality reduction 0 3600.00/3611.22 c CG first core best 0 3600.00/3611.22 c CG decision core best 0 3600.00/3611.22 c CG core reduction tie 0 3600.00/3611.22 c CG core degree average 1.00 3600.00/3611.22 c CG core slack average 4.01 3600.00/3611.22 s SATISFIABLE 3600.00/3611.22 v -x1 x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 x10 x11 -x12 -x13 x14 -x15 -x16 -x17 x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 x53 x54 -x55 x56 x57 -x58 -x59 -x60 x61 x62 x63 -x64 -x65 x66 x67 x68 -x69 x70 -x71 x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 x104 -x105 -x106 x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 x121 -x122 x123 x124 -x125 x126 x127 x128 -x129 -x130 x131 -x132 x133 -x134 -x135 x136 x137 -x138 -x139 -x140 x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 x152 x153 x154 -x155 -x156 -x157 -x158 x159 x160 x161 x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 x195 x196 -x197 -x198 x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 x207 x208 x209 -x210 x211 x212 -x213 x214 -x215 x216 -x217 -x218 x219 -x220 x221 x222 x223 x224 x225 -x226 x227 -x228 -x229 -x230 -x231 x232 -x233 x234 -x235 -x236 -x237 x238 -x239 x240 -x241 -x242 x243 -x244 x245 x246 -x247 -x248 -x249 -x250 x251 -x252 x253 -x254 x255 -x256 -x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 x266 x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 x279 -x280 x281 x282 x283 -x284 x285 x286 x287 x288 x289 x290 x291 -x292 -x293 x294 -x295 -x296 -x297 x298 x299 x300 -x301 x302 x303 x304 x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 x313 x314 x315 x316 -x317 x318 x319 -x320 -x321 -x322 x323 x324 x325 -x326 -x327 -x328 x329 -x330 x331 -x332 x333 x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 x342 x343 x344 -x345 x346 x347 -x348 -x349 x350 x351 -x352 -x353 -x354 x355 -x356 -x357 x358 -x359 x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 x374 x375 -x376 x377 -x378 -x379 x380 x381 x382 -x383 -x384 -x385 -x386 x387 -x388 x389 -x390 -x391 x392 -x393 x394 -x395 x396 -x397 -x398 x399 x400 -x401 -x402 -x403 -x404 x405 x406 x407 -x408 x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 x417 x418 -x419 x420 x421 x422 x423 x424 x425 x426 x427 -x428 -x429 -x430 x431 -x432 -x433 x434 x435 x436 x437 x438 x439 x440 -x441 -x442 x443 x444 x445 -x446 x447 -x448 -x449 x450 -x451 x452 -x453 x454 -x455 x456 x457 -x458 x459 x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 x470 x471 -x472 -x473
OK 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: 64059 MiB (54170 MiB free)
memory of node 1: 64510 MiB (47274 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456758-1721769354/watcher-4456758-1721769354 -o /tmp/evaluation-result-4456758-1721769354/solver-4456758-1721769354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126872 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456758-1721769354 --lp-cut-gomory=0 HOME/instance-4456758-1721769354.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=129653, runsolver pid=129650
[startup+0.100934 s]*
/proc/loadavg: 4.41 4.27 4.15 5/257 129654
/proc/meminfo: memFree=103866296/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=38724 memory=8496 CPUtime=0.1 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 607 0 0 0 9 1 0 0 20 0 1 0 12924466 39653376 2124 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 9681 2124 1758 992 0 1539 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38724 KiB
Current children cumulated memory: 8496 KiB
[startup+0.213808 s]*
/proc/loadavg: 4.41 4.27 4.15 5/257 129654
/proc/meminfo: memFree=103854768/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=39244 memory=9024 CPUtime=0.21 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 689 0 0 0 20 1 0 0 20 0 1 0 12924466 40185856 2256 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 9811 2256 1758 992 0 1669 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39244 KiB
Current children cumulated memory: 9024 KiB
[startup+0.31371 s]*
/proc/loadavg: 4.41 4.27 4.15 5/257 129654
/proc/meminfo: memFree=103839520/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=39500 memory=9772 CPUtime=0.32 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 850 0 0 0 29 3 0 0 20 0 1 0 12924466 40448000 2443 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 9875 2443 1821 992 0 1733 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 39500 KiB
Current children cumulated memory: 9772 KiB
[startup+0.700331 s]
/proc/loadavg: 4.41 4.27 4.15 5/257 129654
/proc/meminfo: memFree=103811048/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=41436 memory=14384 CPUtime=0.69 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 1478 0 0 0 62 7 0 0 20 0 1 0 12924466 42430464 3596 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 10359 3596 1821 992 0 2217 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41436 KiB
Current children cumulated memory: 14384 KiB
[startup+1.50033 s]
/proc/loadavg: 4.41 4.27 4.15 5/257 129655
/proc/meminfo: memFree=103753320/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=45540 memory=19352 CPUtime=1.49 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 2712 0 0 0 135 14 0 0 20 0 1 0 12924466 46632960 4838 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 11385 4838 1882 992 0 3243 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45540 KiB
Current children cumulated memory: 19352 KiB
[startup+3.11594 s]
/proc/loadavg: 4.38 4.26 4.15 5/257 129655
/proc/meminfo: memFree=103524316/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=51720 memory=24972 CPUtime=3.09 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 4183 0 0 0 287 22 0 0 20 0 1 0 12924466 52961280 6243 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 12930 6243 1882 992 0 4788 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51720 KiB
Current children cumulated memory: 24972 KiB
[startup+6.30031 s]
/proc/loadavg: 4.38 4.26 4.15 5/257 129655
/proc/meminfo: memFree=103247460/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=59556 memory=30780 CPUtime=6.27 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 5107 0 0 0 591 36 0 0 20 0 1 0 12924466 60985344 7695 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 14889 7695 1882 992 0 6747 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59556 KiB
Current children cumulated memory: 30780 KiB
[startup+12.7003 s]
/proc/loadavg: 4.47 4.29 4.16 5/257 129657
/proc/meminfo: memFree=102551724/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=63324 memory=35980 CPUtime=12.65 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 5934 0 0 0 1205 60 0 0 20 0 1 0 12924466 64843776 8995 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 15831 8995 1882 992 0 7689 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 63324 KiB
Current children cumulated memory: 35980 KiB
[startup+25.5003 s]
/proc/loadavg: 4.40 4.28 4.15 5/260 129661
/proc/meminfo: memFree=100961264/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=66796 memory=39128 CPUtime=25.43 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 6692 0 0 0 2437 106 0 0 20 0 1 0 12924466 68399104 9782 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 16699 9782 1882 992 0 8557 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 66796 KiB
Current children cumulated memory: 39128 KiB
[startup+51.1137 s]
/proc/loadavg: 4.26 4.25 4.15 5/260 129666
/proc/meminfo: memFree=98200940/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=127220 memory=77864 CPUtime=50.97 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 13021 0 0 0 4940 157 0 0 20 0 1 0 12924466 130273280 19466 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 31805 19466 1882 992 0 23663 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 127220 KiB
Current children cumulated memory: 77864 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.26 4.16 5/263 129678
/proc/meminfo: memFree=93346116/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=182972 memory=117728 CPUtime=102.01 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 18929 0 0 0 9978 223 0 0 20 0 1 0 12924466 187363328 29432 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 45743 29432 1882 992 0 37601 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 182972 KiB
Current children cumulated memory: 117728 KiB
[startup+162.3 s]
/proc/loadavg: 4.45 4.34 4.19 5/261 129689
/proc/meminfo: memFree=87261476/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=186624 memory=121476 CPUtime=161.85 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 19914 0 0 0 15872 313 0 0 20 0 1 0 12924466 191102976 30369 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 46656 30369 1882 992 0 38514 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 186624 KiB
Current children cumulated memory: 121476 KiB
[startup+222.3 s]
/proc/loadavg: 4.47 4.37 4.21 5/259 129700
/proc/meminfo: memFree=81126180/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=189292 memory=123588 CPUtime=221.69 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 20420 0 0 0 21785 384 0 0 20 0 1 0 12924466 193835008 30897 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 47323 30897 1882 992 0 39181 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 189292 KiB
Current children cumulated memory: 123588 KiB
[startup+282.3 s]
/proc/loadavg: 4.35 4.34 4.21 5/263 129717
/proc/meminfo: memFree=75593840/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=196028 memory=128288 CPUtime=281.52 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 21814 0 0 0 27704 448 0 0 20 0 1 0 12924466 200732672 32072 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 49007 32072 1882 992 0 40865 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 196028 KiB
Current children cumulated memory: 128288 KiB
[startup+342.3 s]
/proc/loadavg: 4.40 4.36 4.22 5/264 129729
/proc/meminfo: memFree=69494148/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=221552 memory=167688 CPUtime=341.35 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 26567 0 0 0 33647 488 0 0 20 0 1 0 12924466 226869248 41922 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 55388 41922 1882 992 0 47246 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 221552 KiB
Current children cumulated memory: 167688 KiB
[startup+402.3 s]
/proc/loadavg: 4.50 4.37 4.23 5/265 129743
/proc/meminfo: memFree=63777060/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=221552 memory=167688 CPUtime=401.16 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 26568 0 0 0 39568 548 0 0 20 0 1 0 12924466 226869248 41922 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 55388 41922 1882 992 0 47246 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 221552 KiB
Current children cumulated memory: 167688 KiB
[startup+462.3 s]
/proc/loadavg: 4.42 4.36 4.23 5/267 129756
/proc/meminfo: memFree=57444428/131655788 swapFree=131071996/131071996
[pid=129653] ppid=129650 vsize=236544 memory=181048 CPUtime=460.98 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 29400 0 0 0 45500 598 0 0 20 0 1 0 12924466 242221056 45262 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 59136 45262 1882 992 0 50994 0
################
# More data... #
################
Current children cumulated memory: 373536 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/255 131405
/proc/meminfo: memFree=607372/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=502940 memory=378652 CPUtime=2853.91 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 126691 0 1 0 283637 1754 0 0 20 0 1 0 12924466 515010560 94663 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 125735 94663 1883 992 0 117593 0
Current children cumulated CPU time: 2853.91 s
Current children cumulated vsize: 502940 KiB
Current children cumulated memory: 378652 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.12 5/256 131416
/proc/meminfo: memFree=612132/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=507576 memory=386952 CPUtime=2913.73 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 135470 0 1 0 289600 1773 0 0 20 0 1 0 12924466 519757824 96738 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 126894 96738 1883 992 0 118752 0
Current children cumulated CPU time: 2913.73 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 386952 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.12 4.12 5/253 131426
/proc/meminfo: memFree=4990832/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=507576 memory=387092 CPUtime=2973.54 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 135624 0 1 0 295562 1792 0 0 20 0 1 0 12924466 519757824 96773 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 126894 96773 1883 992 0 118752 0
Current children cumulated CPU time: 2973.54 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 387092 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/264 131447
/proc/meminfo: memFree=486356/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=507576 memory=387092 CPUtime=3033.18 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 135790 0 1 0 301489 1829 0 0 20 0 1 0 12924466 519757824 96773 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 126894 96773 1883 992 0 118752 0
Current children cumulated CPU time: 3033.18 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 387092 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/262 131470
/proc/meminfo: memFree=4761468/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=507576 memory=387092 CPUtime=3093 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 136108 0 1 0 307453 1847 0 0 20 0 1 0 12924466 519757824 96773 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 126894 96773 1883 992 0 118752 0
Current children cumulated CPU time: 3093 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 387092 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.12 4.11 5/265 131752
/proc/meminfo: memFree=18669684/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=507576 memory=387092 CPUtime=3152.71 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 136346 0 1 0 313391 1880 0 0 20 0 1 0 12924466 519757824 96773 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 126894 96773 1883 992 0 118752 0
Current children cumulated CPU time: 3152.71 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 387092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/265 131762
/proc/meminfo: memFree=17663400/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=507576 memory=387092 CPUtime=3212.5 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 136498 0 1 0 319345 1905 0 0 20 0 1 0 12924466 519757824 96773 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 126894 96773 1883 992 0 118752 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 387092 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/270 132071
/proc/meminfo: memFree=16580104/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=507576 memory=387092 CPUtime=3272.26 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 136653 0 1 0 325296 1930 0 0 20 0 1 0 12924466 519757824 96773 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 126894 96773 1883 992 0 118752 0
Current children cumulated CPU time: 3272.26 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 387092 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.13 4.11 5/258 132082
/proc/meminfo: memFree=15905112/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=507576 memory=387092 CPUtime=3332.07 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 136813 0 1 0 331257 1950 0 0 20 0 1 0 12924466 519757824 96773 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 126894 96773 1883 992 0 118752 0
Current children cumulated CPU time: 3332.07 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 387092 KiB
[startup+3402.3 s]
/proc/loadavg: 4.37 4.18 4.12 5/257 132092
/proc/meminfo: memFree=15041732/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=507576 memory=387092 CPUtime=3391.87 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 136973 0 1 0 337217 1970 0 0 20 0 1 0 12924466 519757824 96773 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 126894 96773 1883 992 0 118752 0
Current children cumulated CPU time: 3391.87 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 387092 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/257 132105
/proc/meminfo: memFree=14062132/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=507576 memory=387096 CPUtime=3451.65 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 137139 0 1 0 343169 1996 0 0 20 0 1 0 12924466 519757824 96774 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 126894 96774 1883 992 0 118752 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 387096 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/260 132304
/proc/meminfo: memFree=18096284/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=507576 memory=387192 CPUtime=3511.43 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 137321 0 1 0 349129 2014 0 0 20 0 1 0 12924466 519757824 96798 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 126894 96798 1883 992 0 118752 0
Current children cumulated CPU time: 3511.43 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 387192 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/251 132314
/proc/meminfo: memFree=17551812/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=507576 memory=392468 CPUtime=3571.19 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 137475 0 1 0 355086 2033 0 0 20 0 1 0 12924466 519757824 98117 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 126894 98117 1883 992 0 118752 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 392468 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.17 4.14 4.11 5/251 132320
/proc/meminfo: memFree=17292096/131655788 swapFree=131071472/131071996
[pid=129653] ppid=129650 vsize=507576 memory=405140 CPUtime=3600 cores=5,7
/proc/129653/stat : 129653 (roundingsat) R 129650 129653 126859 0 -1 4194304 137619 0 1 0 357959 2041 0 0 20 0 1 0 12924466 519757824 101285 134679101440 4194304 8254037 140724544131984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 32391168 140724544136028 140724544136290 140724544136290 140724544143305 0
/proc/129653/statm: 126894 101285 1883 992 0 118752 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 405140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.24 s]
# the end of solver process 129653 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.6 s, system=20.4195 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.24
CPU time (s): 3600.02
CPU user time (s): 3579.6
CPU system time (s): 20.4195
CPU usage (%): 99.6891
Max. virtual memory (cumulated for all children) (KiB): 507576
Max. memory (cumulated for all children) (KiB): 405140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.6
system time used= 20.4195
maximum resident set size= 405140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137634
page faults= 2
swaps= 0
block input operations= 5160
block output operations= 4354040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97
involuntary context switches= 5063
# summary of solver processes directly reported to runsolver:
# pid: 129653
# total CPU time (s): 3600.02
# total CPU user time (s): 3579.6
# total CPU system time (s): 20.4195
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0645 second user time and 38.6709 second system time
The end
Begin job on nodeC003 at 2024-07-23 23:15:54 IDJOB=4456758 IDBENCH=147549 IDSOLVER=3085 FILE ID=nodeC003/4456758-1721769354 RUNJOBID= nodeC003-1721765593-126872 SLURM_JOB_ID= 7770666 Free space on /tmp= 723756 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456758-1721769354/watcher-4456758-1721769354 -o /tmp/evaluation-result-4456758-1721769354/solver-4456758-1721769354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126872 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456758-1721769354 --lp-cut-gomory=0 HOME/instance-4456758-1721769354.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb RANDOM SEED=1402718968 nodeC003.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 : 3655.079 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 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 : 3641.040 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.417 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 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.363 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3667.059 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 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.061 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.638 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 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.282 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 103884956 kB MemAvailable: 129149892 kB Buffers: 194688 kB Cached: 25836776 kB SwapCached: 0 kB Active: 1282440 kB Inactive: 25750460 kB Active(anon): 1456 kB Inactive(anon): 1045924 kB Active(file): 1280984 kB Inactive(file): 24704536 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 2409908 kB Writeback: 0 kB AnonPages: 1001488 kB Mapped: 115648 kB Shmem: 45896 kB KReclaimable: 238896 kB Slab: 419824 kB SReclaimable: 238896 kB SUnreclaim: 180928 kB KernelStack: 4144 kB PageTables: 11540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1461184 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18976 kB HardwareCorrupted: 0 kB AnonHugePages: 436224 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: 267080 kB DirectMap2M: 27949056 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723744 MiB End job on nodeC003 at 2024-07-24 00:16:06