| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | No Cert. | 3600.03 | 3620.24 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb |
| MD5SUM | f4fbd70ee8b80515313bebcddc52f82a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 181 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 476 |
| Total number of constraints | 476 |
| 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 | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 476 |
| 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 | 476 |
| 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 | 476 |
| 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.36 c #variables 476 #constraints 476 0.44/0.85 c bounds - >= 0 @ 0.00973 0.44/0.85 c bounds 229 >= 0 @ 0.371874 0.44/0.85 c bounds 229 >= 1 @ 0.371992 0.44/0.85 c bounds 229 >= 2 @ 0.372148 0.44/0.85 c bounds 229 >= 3 @ 0.372289 0.44/0.85 c bounds 229 >= 4 @ 0.372424 0.44/0.85 c bounds 229 >= 5 @ 0.37256 0.44/0.85 c bounds 229 >= 6 @ 0.372704 0.44/0.85 c bounds 229 >= 7 @ 0.372874 0.44/0.85 c bounds 229 >= 8 @ 0.373035 0.44/0.85 c bounds 229 >= 9 @ 0.373195 0.44/0.85 c bounds 229 >= 10 @ 0.373367 0.44/0.85 c bounds 229 >= 11 @ 0.373548 0.44/0.85 c bounds 229 >= 12 @ 0.373737 0.44/0.85 c bounds 229 >= 13 @ 0.373922 0.44/0.85 c bounds 229 >= 14 @ 0.3741 0.44/0.85 c bounds 229 >= 15 @ 0.374283 0.44/0.85 c bounds 229 >= 16 @ 0.374471 0.44/0.85 c bounds 229 >= 17 @ 0.374651 0.44/0.85 c bounds 229 >= 18 @ 0.374851 0.44/0.85 c bounds 229 >= 19 @ 0.375036 0.44/0.85 c bounds 229 >= 20 @ 0.375223 0.44/0.85 c bounds 229 >= 21 @ 0.375413 0.44/0.85 c bounds 229 >= 22 @ 0.375621 0.44/0.85 c bounds 229 >= 23 @ 0.375831 0.44/0.85 c bounds 229 >= 24 @ 0.376057 0.44/0.85 c bounds 229 >= 25 @ 0.376285 0.44/0.85 c bounds 229 >= 26 @ 0.376551 0.44/0.85 c bounds 229 >= 27 @ 0.376788 0.44/0.85 c bounds 229 >= 28 @ 0.37685 0.44/0.85 c bounds 229 >= 29 @ 0.37685 0.44/0.85 c bounds 229 >= 30 @ 0.37685 0.44/0.85 c bounds 228 >= 30 @ 0.41691 0.44/0.85 c bounds 228 >= 31 @ 0.41721 0.44/0.85 c bounds 228 >= 32 @ 0.417483 0.44/0.85 c bounds 228 >= 33 @ 0.417622 0.44/0.85 c bounds 228 >= 34 @ 0.417622 0.44/0.85 c bounds 228 >= 35 @ 0.417622 0.44/0.85 c bounds 228 >= 36 @ 0.41824 0.44/0.85 c bounds 228 >= 37 @ 0.418525 0.44/0.85 c bounds 228 >= 38 @ 0.418619 0.44/0.85 c bounds 228 >= 39 @ 0.418619 0.44/0.85 c bounds 228 >= 40 @ 0.418619 0.44/0.85 c bounds 228 >= 41 @ 0.418668 0.44/0.85 c bounds 228 >= 42 @ 0.418976 0.44/0.85 c bounds 228 >= 43 @ 0.419287 0.44/0.85 c bounds 228 >= 44 @ 0.419591 0.44/0.85 c bounds 228 >= 45 @ 0.419919 0.44/0.85 c bounds 228 >= 46 @ 0.420243 0.44/0.85 c bounds 228 >= 47 @ 0.42056 0.44/0.85 c bounds 228 >= 48 @ 0.42061 0.44/0.85 c bounds 228 >= 49 @ 0.42061 0.44/0.85 c bounds 228 >= 50 @ 0.42061 0.44/0.85 c bounds 228 >= 51 @ 0.420844 0.44/0.85 c bounds 228 >= 52 @ 0.421141 0.44/0.85 c bounds 228 >= 53 @ 0.421467 0.44/0.85 c bounds 228 >= 54 @ 0.421604 0.44/0.85 c bounds 228 >= 55 @ 0.421604 0.44/0.85 c bounds 228 >= 56 @ 0.421604 0.44/0.85 c bounds 228 >= 57 @ 0.421656 0.44/0.85 c bounds 228 >= 58 @ 0.421944 0.44/0.85 c bounds 228 >= 59 @ 0.422238 0.44/0.85 c bounds 228 >= 60 @ 0.422526 0.44/0.85 c bounds 228 >= 61 @ 0.422599 0.44/0.85 c bounds 228 >= 62 @ 0.422599 0.44/0.85 c bounds 228 >= 63 @ 0.422599 0.44/0.85 c bounds 228 >= 64 @ 0.4226 0.44/0.85 c bounds 228 >= 65 @ 0.4226 0.44/0.85 c bounds 228 >= 66 @ 0.4226 0.44/0.85 c bounds 228 >= 67 @ 0.4226 0.44/0.85 c bounds 228 >= 68 @ 0.4226 0.44/0.85 c bounds 228 >= 69 @ 0.4226 0.44/0.85 c bounds 228 >= 70 @ 0.4226 0.44/0.85 c bounds 228 >= 71 @ 0.4226 0.44/0.85 c bounds 228 >= 72 @ 0.4226 0.44/0.85 c bounds 228 >= 73 @ 0.422748 0.44/0.85 c bounds 228 >= 74 @ 0.423101 0.44/0.85 c bounds 228 >= 75 @ 0.423477 0.44/0.85 c bounds 228 >= 76 @ 0.423595 0.44/0.85 c bounds 228 >= 77 @ 0.423595 0.44/0.85 c bounds 228 >= 78 @ 0.423595 0.44/0.85 c bounds 228 >= 79 @ 0.423597 0.44/0.85 c bounds 228 >= 80 @ 0.423597 0.44/0.85 c bounds 228 >= 81 @ 0.423654 0.44/0.85 c bounds 228 >= 82 @ 0.424001 0.44/0.85 c bounds 228 >= 83 @ 0.424344 0.44/0.85 c bounds 228 >= 84 @ 0.424666 0.44/0.85 c bounds 228 >= 85 @ 0.425017 0.44/0.85 c bounds 228 >= 86 @ 0.425371 0.44/0.85 c bounds 228 >= 87 @ 0.425586 0.44/0.85 c bounds 228 >= 88 @ 0.425586 0.44/0.85 c bounds 228 >= 89 @ 0.425586 0.44/0.85 c bounds 228 >= 90 @ 0.425587 0.44/0.85 c bounds 228 >= 91 @ 0.425587 0.44/0.85 c bounds 228 >= 92 @ 0.425641 0.44/0.85 c bounds 228 >= 93 @ 0.426071 0.44/0.85 c bounds 228 >= 94 @ 0.426465 0.44/0.85 c bounds 228 >= 95 @ 0.426581 0.44/0.85 c bounds 228 >= 96 @ 0.426581 0.44/0.85 c bounds 228 >= 97 @ 0.426582 0.44/0.85 c bounds 228 >= 98 @ 0.426582 0.44/0.85 c bounds 228 >= 99 @ 0.426645 0.44/0.85 c bounds 228 >= 100 @ 0.427081 0.44/0.85 c bounds 228 >= 101 @ 0.427517 0.44/0.85 c bounds 228 >= 102 @ 0.427968 0.44/0.85 c bounds 228 >= 103 @ 0.428393 0.44/0.85 c bounds 228 >= 104 @ 0.428573 0.44/0.85 c bounds 228 >= 105 @ 0.428573 0.44/0.85 c bounds 228 >= 106 @ 0.428676 0.44/0.85 c bounds 228 >= 107 @ 0.429147 0.44/0.85 c bounds 228 >= 108 @ 0.429559 0.44/0.85 c bounds 228 >= 109 @ 0.430013 0.44/0.85 c bounds 228 >= 110 @ 0.430488 0.44/0.85 c bounds 228 >= 111 @ 0.430562 0.44/0.85 c bounds 228 >= 112 @ 0.430562 0.44/0.85 c bounds 228 >= 113 @ 0.430563 0.44/0.85 c bounds 228 >= 114 @ 0.430563 0.44/0.85 c bounds 228 >= 115 @ 0.430756 0.44/0.85 c bounds 228 >= 116 @ 0.431189 0.44/0.85 c bounds 228 >= 117 @ 0.431654 0.44/0.85 c bounds 228 >= 118 @ 0.432109 0.44/0.85 c bounds 228 >= 119 @ 0.432547 0.44/0.85 c bounds 228 >= 120 @ 0.432547 0.44/0.85 c bounds 228 >= 121 @ 0.432547 0.44/0.85 c bounds 228 >= 122 @ 0.433037 0.44/0.85 c bounds 228 >= 123 @ 0.433554 0.44/0.85 c bounds 228 >= 124 @ 0.434108 0.44/0.85 c bounds 228 >= 125 @ 0.434685 0.44/0.85 c bounds 228 >= 126 @ 0.4352 0.44/0.85 c bounds 228 >= 127 @ 0.435538 0.44/0.85 c bounds 228 >= 128 @ 0.435538 0.44/0.85 c bounds 228 >= 129 @ 0.435538 0.44/0.85 c bounds 228 >= 130 @ 0.436013 0.44/0.85 c bounds 228 >= 131 @ 0.436532 0.44/0.85 c bounds 228 >= 132 @ 0.436759 0.44/0.85 c bounds 228 >= 133 @ 0.437528 0.44/0.85 c bounds 228 >= 134 @ 0.437725 4.32/4.79 c bounds 228 >= 135 @ 0.438866 4.32/4.79 c bounds 228 >= 136 @ 0.442047 4.32/4.79 c bounds 228 >= 137 @ 0.444677 4.32/4.79 c bounds 228 >= 138 @ 0.450968 4.32/4.79 c bounds 228 >= 139 @ 0.466523 4.32/4.79 c bounds 227 >= 139 @ 0.483615 4.32/4.79 c bounds 227 >= 140 @ 0.511329 4.32/4.79 c bounds 226 >= 140 @ 0.514505 4.32/4.79 c bounds 225 >= 140 @ 0.515817 4.32/4.79 c bounds 224 >= 140 @ 0.517386 4.32/4.79 c bounds 223 >= 140 @ 0.527978 4.32/4.79 c bounds 222 >= 140 @ 0.553824 4.32/4.79 c #Conflicts: 1000 | #Constraints: 2054 4.32/4.79 c bounds 222 >= 141 @ 0.713804 4.32/4.79 c bounds 221 >= 141 @ 0.718303 4.32/4.79 c bounds 220 >= 141 @ 0.721968 4.32/4.79 c bounds 219 >= 141 @ 0.73474 4.32/4.79 c bounds 218 >= 141 @ 0.795748 4.32/4.79 c bounds 217 >= 141 @ 0.811392 4.32/4.79 c bounds 216 >= 141 @ 0.818821 4.32/4.79 c bounds 215 >= 141 @ 0.829593 4.32/4.79 c bounds 214 >= 141 @ 0.911561 4.32/4.79 c #Conflicts: 2000 | #Constraints: 3121 4.32/4.79 c INPROCESSING 4.32/4.79 c GARBAGE COLLECT 4.32/4.79 c bounds 213 >= 141 @ 2.01034 4.32/4.79 c #Conflicts: 3000 | #Constraints: 3149 4.32/4.79 c bounds 212 >= 141 @ 2.37135 4.32/4.79 c bounds 212 >= 142 @ 2.54746 4.32/4.79 c #Conflicts: 4000 | #Constraints: 4176 4.32/4.79 c INPROCESSING 4.32/4.79 c GARBAGE COLLECT 4.32/4.79 c #Conflicts: 5000 | #Constraints: 3571 4.32/4.79 c bounds 212 >= 143 @ 2.91101 4.32/4.79 c bounds 211 >= 143 @ 2.91998 4.32/4.79 c #Conflicts: 6000 | #Constraints: 4616 4.32/4.79 c INPROCESSING 4.32/4.79 c GARBAGE COLLECT 4.32/4.79 c #Conflicts: 7000 | #Constraints: 3614 4.32/4.79 c #Conflicts: 8000 | #Constraints: 4614 4.32/4.79 c #Conflicts: 9000 | #Constraints: 5614 4.32/4.79 c INPROCESSING 4.32/4.79 c GARBAGE COLLECT 4.32/4.79 c rational objective 141.207 7.81/8.22 c bounds 210 >= 143 @ 4.13025 7.81/8.22 c #Conflicts: 10000 | #Constraints: 4373 7.81/8.22 c #Conflicts: 11000 | #Constraints: 5373 7.81/8.22 c bounds 209 >= 143 @ 4.79366 7.81/8.22 c #Conflicts: 12000 | #Constraints: 6374 7.81/8.22 c bounds 209 >= 144 @ 5.26175 7.81/8.22 c bounds 208 >= 144 @ 5.55444 7.81/8.22 c #Conflicts: 13000 | #Constraints: 7419 7.81/8.22 c #Conflicts: 14000 | #Constraints: 8419 7.81/8.22 c #Conflicts: 15000 | #Constraints: 9419 7.81/8.22 c #Conflicts: 16000 | #Constraints: 10419 7.81/8.22 c INPROCESSING 7.81/8.22 c GARBAGE COLLECT 7.81/8.22 c rational objective 141.207 10.61/11.02 c #Conflicts: 17000 | #Constraints: 6592 10.61/11.02 c #Conflicts: 18000 | #Constraints: 7592 10.61/11.02 c #Conflicts: 19000 | #Constraints: 8592 10.61/11.02 c #Conflicts: 20000 | #Constraints: 9592 10.61/11.02 c INPROCESSING 10.61/11.02 c GARBAGE COLLECT 10.61/11.02 c rational objective 141.207 12.29/12.77 c #Conflicts: 21000 | #Constraints: 6300 12.29/12.77 c #Conflicts: 22000 | #Constraints: 7300 12.29/12.77 c #Conflicts: 23000 | #Constraints: 8300 12.29/12.77 c bounds 207 >= 144 @ 10.8707 12.29/12.77 c bounds 206 >= 144 @ 10.9651 12.29/12.77 c #Conflicts: 24000 | #Constraints: 9302 12.29/12.77 c INPROCESSING 12.29/12.77 c GARBAGE COLLECT 12.29/12.77 c rational objective 141.207 14.89/15.33 c bounds 205 >= 144 @ 11.8321 14.89/15.33 c bounds 204 >= 144 @ 11.896 14.89/15.33 c bounds 203 >= 144 @ 11.9124 14.89/15.33 c #Conflicts: 25000 | #Constraints: 6107 14.89/15.33 c bounds 202 >= 144 @ 12.1397 14.89/15.33 c bounds 201 >= 144 @ 12.1735 14.89/15.33 c #Conflicts: 26000 | #Constraints: 7109 14.89/15.33 c #Conflicts: 27000 | #Constraints: 8109 14.89/15.33 c bounds 200 >= 144 @ 13.2851 14.89/15.33 c #Conflicts: 28000 | #Constraints: 9110 14.89/15.33 c INPROCESSING 14.89/15.33 c GARBAGE COLLECT 14.89/15.33 c rational objective 141.207 17.49/17.99 c #Conflicts: 29000 | #Constraints: 5856 17.49/17.99 c #Conflicts: 30000 | #Constraints: 6856 17.49/17.99 c #Conflicts: 31000 | #Constraints: 7856 17.49/17.99 c #Conflicts: 32000 | #Constraints: 8856 17.49/17.99 c #Conflicts: 33000 | #Constraints: 9856 17.49/17.99 c INPROCESSING 17.49/17.99 c GARBAGE COLLECT 17.49/17.99 c rational objective 141.207 32.23/32.77 c bounds 199 >= 144 @ 16.9132 32.23/32.77 c #Conflicts: 34000 | #Constraints: 6490 32.23/32.77 c #Conflicts: 35000 | #Constraints: 7490 32.23/32.77 c #Conflicts: 36000 | #Constraints: 8490 32.23/32.77 c #Conflicts: 37000 | #Constraints: 9490 32.23/32.77 c #Conflicts: 38000 | #Constraints: 10490 32.23/32.77 c bounds 198 >= 144 @ 19.3168 32.23/32.77 c #Conflicts: 39000 | #Constraints: 11491 32.23/32.77 c #Conflicts: 40000 | #Constraints: 12491 32.23/32.77 c bounds 198 >= 145 @ 21.1107 32.23/32.77 c #Conflicts: 41000 | #Constraints: 13550 32.23/32.77 c #Conflicts: 42000 | #Constraints: 14550 32.23/32.77 c #Conflicts: 43000 | #Constraints: 15550 32.23/32.77 c #Conflicts: 44000 | #Constraints: 16550 32.23/32.77 c #Conflicts: 45000 | #Constraints: 17550 32.23/32.77 c bounds 197 >= 145 @ 25.5611 32.23/32.77 c #Conflicts: 46000 | #Constraints: 18551 32.23/32.77 c #Conflicts: 47000 | #Constraints: 19551 32.23/32.77 c INPROCESSING 32.23/32.77 c GARBAGE COLLECT 32.23/32.77 c rational objective 141.207 38.42/38.90 c #Conflicts: 48000 | #Constraints: 11509 38.42/38.90 c #Conflicts: 49000 | #Constraints: 12509 38.42/38.90 c #Conflicts: 50000 | #Constraints: 13509 38.42/38.90 c #Conflicts: 51000 | #Constraints: 14509 38.42/38.90 c #Conflicts: 52000 | #Constraints: 15509 38.42/38.90 c INPROCESSING 38.42/38.90 c GARBAGE COLLECT 38.42/38.90 c rational objective 141.207 44.31/44.89 c bounds 196 >= 145 @ 37.385 44.31/44.89 c #Conflicts: 53000 | #Constraints: 9092 44.31/44.89 c #Conflicts: 54000 | #Constraints: 10092 44.31/44.89 c #Conflicts: 55000 | #Constraints: 11092 44.31/44.89 c #Conflicts: 56000 | #Constraints: 12092 44.31/44.89 c #Conflicts: 57000 | #Constraints: 13092 44.31/44.89 c #Conflicts: 58000 | #Constraints: 14092 44.31/44.89 c INPROCESSING 44.31/44.89 c GARBAGE COLLECT 44.31/44.89 c rational objective 141.207 67.04/67.60 c #Conflicts: 59000 | #Constraints: 8310 67.04/67.60 c #Conflicts: 60000 | #Constraints: 9310 67.04/67.60 c #Conflicts: 61000 | #Constraints: 10310 67.04/67.60 c #Conflicts: 62000 | #Constraints: 11310 67.04/67.60 c #Conflicts: 63000 | #Constraints: 12310 67.04/67.60 c #Conflicts: 64000 | #Constraints: 13310 67.04/67.60 c #Conflicts: 65000 | #Constraints: 14310 67.04/67.60 c #Conflicts: 66000 | #Constraints: 15310 67.04/67.60 c #Conflicts: 67000 | #Constraints: 16310 67.04/67.60 c #Conflicts: 68000 | #Constraints: 17310 67.04/67.60 c #Conflicts: 69000 | #Constraints: 18310 67.04/67.60 c #Conflicts: 70000 | #Constraints: 19310 67.04/67.60 c #Conflicts: 71000 | #Constraints: 20310 67.04/67.60 c #Conflicts: 72000 | #Constraints: 21310 67.04/67.60 c #Conflicts: 73000 | #Constraints: 22310 67.04/67.60 c #Conflicts: 74000 | #Constraints: 23310 67.04/67.60 c #Conflicts: 75000 | #Constraints: 24310 67.04/67.60 c #Conflicts: 76000 | #Constraints: 25310 67.04/67.60 c INPROCESSING 67.04/67.60 c GARBAGE COLLECT 67.04/67.60 c rational objective 141.207 72.54/73.19 c #Conflicts: 77000 | #Constraints: 14052 72.54/73.19 c #Conflicts: 78000 | #Constraints: 15052 72.54/73.19 c #Conflicts: 79000 | #Constraints: 16052 72.54/73.19 c #Conflicts: 80000 | #Constraints: 17052 72.54/73.19 c #Conflicts: 81000 | #Constraints: 18052 72.54/73.19 c #Conflicts: 82000 | #Constraints: 19052 72.54/73.19 c #Conflicts: 83000 | #Constraints: 20052 72.54/73.19 c #Conflicts: 84000 | #Constraints: 21052 72.54/73.19 c INPROCESSING 72.54/73.19 c GARBAGE COLLECT 72.54/73.19 c rational objective 141.207 78.71/79.39 c #Conflicts: 85000 | #Constraints: 12192 78.71/79.39 c #Conflicts: 86000 | #Constraints: 13192 78.71/79.39 c #Conflicts: 87000 | #Constraints: 14192 78.71/79.39 c #Conflicts: 88000 | #Constraints: 15192 78.71/79.39 c #Conflicts: 89000 | #Constraints: 16192 78.71/79.39 c #Conflicts: 90000 | #Constraints: 17192 78.71/79.39 c #Conflicts: 91000 | #Constraints: 18192 78.71/79.39 c INPROCESSING 78.71/79.39 c GARBAGE COLLECT 78.71/79.39 c rational objective 141.207 109.22/109.98 c #Conflicts: 92000 | #Constraints: 10511 109.22/109.98 c #Conflicts: 93000 | #Constraints: 11511 109.22/109.98 c #Conflicts: 94000 | #Constraints: 12511 109.22/109.98 c #Conflicts: 95000 | #Constraints: 13511 109.22/109.98 c #Conflicts: 96000 | #Constraints: 14511 109.22/109.98 c #Conflicts: 97000 | #Constraints: 15511 109.22/109.98 c #Conflicts: 98000 | #Constraints: 16511 109.22/109.98 c #Conflicts: 99000 | #Constraints: 17511 109.22/109.98 c #Conflicts: 100000 | #Constraints: 18511 109.22/109.98 c #Conflicts: 101000 | #Constraints: 19511 109.22/109.98 c #Conflicts: 102000 | #Constraints: 20511 109.22/109.98 c #Conflicts: 103000 | #Constraints: 21511 109.22/109.98 c #Conflicts: 104000 | #Constraints: 22511 109.22/109.98 c #Conflicts: 105000 | #Constraints: 23511 109.22/109.98 c #Conflicts: 106000 | #Constraints: 24511 109.22/109.98 c #Conflicts: 107000 | #Constraints: 25511 109.22/109.98 c #Conflicts: 108000 | #Constraints: 26511 109.22/109.98 c #Conflicts: 109000 | #Constraints: 27511 109.22/109.98 c #Conflicts: 110000 | #Constraints: 28511 109.22/109.98 c #Conflicts: 111000 | #Constraints: 29511 109.22/109.98 c #Conflicts: 112000 | #Constraints: 30511 109.22/109.98 c #Conflicts: 113000 | #Constraints: 31511 109.22/109.98 c INPROCESSING 109.22/109.98 c GARBAGE COLLECT 109.22/109.98 c rational objective 141.207 135.94/136.71 c #Conflicts: 114000 | #Constraints: 17122 135.94/136.71 c #Conflicts: 115000 | #Constraints: 18122 135.94/136.71 c #Conflicts: 116000 | #Constraints: 19122 135.94/136.71 c #Conflicts: 117000 | #Constraints: 20122 135.94/136.71 c #Conflicts: 118000 | #Constraints: 21122 135.94/136.71 c #Conflicts: 119000 | #Constraints: 22122 135.94/136.71 c #Conflicts: 120000 | #Constraints: 23122 135.94/136.71 c #Conflicts: 121000 | #Constraints: 24122 135.94/136.71 c #Conflicts: 122000 | #Constraints: 25122 135.94/136.71 c INPROCESSING 135.94/136.71 c GARBAGE COLLECT 135.94/136.71 c rational objective 141.207 150.10/150.96 c #Conflicts: 123000 | #Constraints: 14103 150.10/150.96 c #Conflicts: 124000 | #Constraints: 15103 150.10/150.96 c #Conflicts: 125000 | #Constraints: 16103 150.10/150.96 c #Conflicts: 126000 | #Constraints: 17103 150.10/150.96 c #Conflicts: 127000 | #Constraints: 18103 150.10/150.96 c bounds 196 >= 146 @ 140.718 150.10/150.96 c #Conflicts: 128000 | #Constraints: 19144 150.10/150.96 c #Conflicts: 129000 | #Constraints: 20144 150.10/150.96 c #Conflicts: 130000 | #Constraints: 21144 150.10/150.96 c #Conflicts: 131000 | #Constraints: 22144 150.10/150.96 c INPROCESSING 150.10/150.96 c GARBAGE COLLECT 150.10/150.96 c rational objective 141.207 207.23/208.21 c #Conflicts: 132000 | #Constraints: 12620 207.23/208.21 c #Conflicts: 133000 | #Constraints: 13620 207.23/208.21 c #Conflicts: 134000 | #Constraints: 14620 207.23/208.21 c #Conflicts: 135000 | #Constraints: 15620 207.23/208.21 c #Conflicts: 136000 | #Constraints: 16620 207.23/208.21 c #Conflicts: 137000 | #Constraints: 17620 207.23/208.21 c #Conflicts: 138000 | #Constraints: 18620 207.23/208.21 c #Conflicts: 139000 | #Constraints: 19620 207.23/208.21 c #Conflicts: 140000 | #Constraints: 20620 207.23/208.21 c #Conflicts: 141000 | #Constraints: 21620 207.23/208.21 c #Conflicts: 142000 | #Constraints: 22620 207.23/208.21 c #Conflicts: 143000 | #Constraints: 23620 207.23/208.21 c #Conflicts: 144000 | #Constraints: 24620 207.23/208.21 c #Conflicts: 145000 | #Constraints: 25620 207.23/208.21 c #Conflicts: 146000 | #Constraints: 26620 207.23/208.21 c #Conflicts: 147000 | #Constraints: 27620 207.23/208.21 c #Conflicts: 148000 | #Constraints: 28620 207.23/208.21 c #Conflicts: 149000 | #Constraints: 29620 207.23/208.21 c #Conflicts: 150000 | #Constraints: 30620 207.23/208.21 c #Conflicts: 151000 | #Constraints: 31620 207.23/208.21 c #Conflicts: 152000 | #Constraints: 32620 207.23/208.21 c #Conflicts: 153000 | #Constraints: 33620 207.23/208.21 c #Conflicts: 154000 | #Constraints: 34620 207.23/208.21 c #Conflicts: 155000 | #Constraints: 35620 207.23/208.21 c #Conflicts: 156000 | #Constraints: 36620 207.23/208.21 c #Conflicts: 157000 | #Constraints: 37620 207.23/208.21 c INPROCESSING 207.23/208.21 c GARBAGE COLLECT 207.23/208.21 c rational objective 141.207 248.18/249.37 c #Conflicts: 158000 | #Constraints: 20155 248.18/249.37 c #Conflicts: 159000 | #Constraints: 21155 248.18/249.37 c #Conflicts: 160000 | #Constraints: 22155 248.18/249.37 c #Conflicts: 161000 | #Constraints: 23155 248.18/249.37 c #Conflicts: 162000 | #Constraints: 24155 248.18/249.37 c #Conflicts: 163000 | #Constraints: 25155 248.18/249.37 c #Conflicts: 164000 | #Constraints: 26155 248.18/249.37 c #Conflicts: 165000 | #Constraints: 27155 248.18/249.37 c #Conflicts: 166000 | #Constraints: 28155 248.18/249.37 c #Conflicts: 167000 | #Constraints: 29155 248.18/249.37 c #Conflicts: 168000 | #Constraints: 30155 248.18/249.37 c INPROCESSING 248.18/249.37 c GARBAGE COLLECT 248.18/249.37 c rational objective 141.207 268.93/270.15 c #Conflicts: 169000 | #Constraints: 16851 268.93/270.15 c #Conflicts: 170000 | #Constraints: 17851 268.93/270.15 c #Conflicts: 171000 | #Constraints: 18851 268.93/270.15 c #Conflicts: 172000 | #Constraints: 19851 268.93/270.15 c #Conflicts: 173000 | #Constraints: 20851 268.93/270.15 c #Conflicts: 174000 | #Constraints: 21851 268.93/270.15 c #Conflicts: 175000 | #Constraints: 22851 268.93/270.15 c #Conflicts: 176000 | #Constraints: 23851 268.93/270.15 c #Conflicts: 177000 | #Constraints: 24851 268.93/270.15 c #Conflicts: 178000 | #Constraints: 25851 268.93/270.15 c INPROCESSING 268.93/270.15 c GARBAGE COLLECT 268.93/270.15 c rational objective 141.207 345.91/347.31 c #Conflicts: 179000 | #Constraints: 14451 345.91/347.31 c #Conflicts: 180000 | #Constraints: 15451 345.91/347.31 c #Conflicts: 181000 | #Constraints: 16451 345.91/347.31 c #Conflicts: 182000 | #Constraints: 17451 345.91/347.31 c #Conflicts: 183000 | #Constraints: 18451 345.91/347.31 c #Conflicts: 184000 | #Constraints: 19451 345.91/347.31 c #Conflicts: 185000 | #Constraints: 20451 345.91/347.31 c #Conflicts: 186000 | #Constraints: 21451 345.91/347.31 c #Conflicts: 187000 | #Constraints: 22451 345.91/347.31 c #Conflicts: 188000 | #Constraints: 23451 345.91/347.31 c #Conflicts: 189000 | #Constraints: 24451 345.91/347.31 c #Conflicts: 190000 | #Constraints: 25451 345.91/347.31 c #Conflicts: 191000 | #Constraints: 26451 345.91/347.31 c #Conflicts: 192000 | #Constraints: 27451 345.91/347.31 c #Conflicts: 193000 | #Constraints: 28451 345.91/347.31 c #Conflicts: 194000 | #Constraints: 29451 345.91/347.31 c #Conflicts: 195000 | #Constraints: 30451 345.91/347.31 c #Conflicts: 196000 | #Constraints: 31451 345.91/347.31 c #Conflicts: 197000 | #Constraints: 32451 345.91/347.31 c #Conflicts: 198000 | #Constraints: 33451 345.91/347.31 c #Conflicts: 199000 | #Constraints: 34451 345.91/347.31 c #Conflicts: 200000 | #Constraints: 35451 345.91/347.31 c #Conflicts: 201000 | #Constraints: 36451 345.91/347.31 c #Conflicts: 202000 | #Constraints: 37451 345.91/347.31 c #Conflicts: 203000 | #Constraints: 38451 345.91/347.31 c #Conflicts: 204000 | #Constraints: 39451 345.91/347.31 c #Conflicts: 205000 | #Constraints: 40451 345.91/347.31 c #Conflicts: 206000 | #Constraints: 41451 345.91/347.31 c #Conflicts: 207000 | #Constraints: 42451 345.91/347.31 c #Conflicts: 208000 | #Constraints: 43451 345.91/347.31 c #Conflicts: 209000 | #Constraints: 44451 345.91/347.31 c INPROCESSING 345.91/347.31 c GARBAGE COLLECT 345.91/347.31 c rational objective 141.207 360.77/362.21 c #Conflicts: 210000 | #Constraints: 24005 360.77/362.21 c #Conflicts: 211000 | #Constraints: 25005 360.77/362.21 c #Conflicts: 212000 | #Constraints: 26005 360.77/362.21 c #Conflicts: 213000 | #Constraints: 27005 360.77/362.21 c #Conflicts: 214000 | #Constraints: 28005 360.77/362.21 c #Conflicts: 215000 | #Constraints: 29005 360.77/362.21 c #Conflicts: 216000 | #Constraints: 30005 360.77/362.21 c #Conflicts: 217000 | #Constraints: 31005 360.77/362.21 c #Conflicts: 218000 | #Constraints: 32005 360.77/362.21 c #Conflicts: 219000 | #Constraints: 33005 360.77/362.21 c #Conflicts: 220000 | #Constraints: 34005 360.77/362.21 c INPROCESSING 360.77/362.21 c GARBAGE COLLECT 360.77/362.21 c rational objective 141.207 441.15/442.83 c #Conflicts: 221000 | #Constraints: 18316 441.15/442.83 c #Conflicts: 222000 | #Constraints: 19316 441.15/442.83 c #Conflicts: 223000 | #Constraints: 20316 441.15/442.83 c #Conflicts: 224000 | #Constraints: 21316 441.15/442.83 c #Conflicts: 225000 | #Constraints: 22316 441.15/442.83 c #Conflicts: 226000 | #Constraints: 23316 441.15/442.83 c #Conflicts: 227000 | #Constraints: 24316 441.15/442.83 c #Conflicts: 228000 | #Constraints: 25316 441.15/442.83 c #Conflicts: 229000 | #Constraints: 26316 441.15/442.83 c #Conflicts: 230000 | #Constraints: 27316 441.15/442.83 c #Conflicts: 231000 | #Constraints: 28316 441.15/442.83 c bounds 195 >= 146 @ 368.738 441.15/442.83 c #Conflicts: 232000 | #Constraints: 29317 441.15/442.83 c #Conflicts: 233000 | #Constraints: 30317 441.15/442.83 c #Conflicts: 234000 | #Constraints: 31317 441.15/442.83 c #Conflicts: 235000 | #Constraints: 32317 441.15/442.83 c #Conflicts: 236000 | #Constraints: 33317 441.15/442.83 c #Conflicts: 237000 | #Constraints: 34317 441.15/442.83 c #Conflicts: 238000 | #Constraints: 35317 441.15/442.83 c #Conflicts: 239000 | #Constraints: 36317 441.15/442.83 c #Conflicts: 240000 | #Constraints: 37317 441.15/442.83 c #Conflicts: 241000 | #Constraints: 38317 441.15/442.83 c #Conflicts: 242000 | #Constraints: 39317 441.15/442.83 c #Conflicts: 243000 | #Constraints: 40317 441.15/442.83 c #Conflicts: 244000 | #Constraints: 41317 441.15/442.83 c #Conflicts: 245000 | #Constraints: 42317 441.15/442.83 c bounds 194 >= 146 @ 401.799 441.15/442.83 c #Conflicts: 246000 | #Constraints: 43318 441.15/442.83 c #Conflicts: 247000 | #Constraints: 44319 441.15/442.83 c #Conflicts: 248000 | #Constraints: 45319 441.15/442.83 c #Conflicts: 249000 | #Constraints: 46319 441.15/442.83 c #Conflicts: 250000 | #Constraints: 47319 441.15/442.83 c #Conflicts: 251000 | #Constraints: 48319 441.15/442.83 c #Conflicts: 252000 | #Constraints: 49319 441.15/442.83 c #Conflicts: 253000 | #Constraints: 50319 441.15/442.83 c #Conflicts: 254000 | #Constraints: 51319 441.15/442.83 c bounds 193 >= 146 @ 432.799 441.15/442.83 c INPROCESSING 441.15/442.83 c GARBAGE COLLECT 441.15/442.83 c rational objective 141.207 505.96/507.88 c #Conflicts: 255000 | #Constraints: 27222 505.96/507.88 c #Conflicts: 256000 | #Constraints: 28222 505.96/507.88 c #Conflicts: 257000 | #Constraints: 29222 505.96/507.88 c #Conflicts: 258000 | #Constraints: 30222 505.96/507.88 c #Conflicts: 259000 | #Constraints: 31222 505.96/507.88 c #Conflicts: 260000 | #Constraints: 32222 505.96/507.88 c #Conflicts: 261000 | #Constraints: 33222 505.96/507.88 c #Conflicts: 262000 | #Constraints: 34222 505.96/507.88 c #Conflicts: 263000 | #Constraints: 35222 505.96/507.88 c #Conflicts: 264000 | #Constraints: 36222 505.96/507.88 c #Conflicts: 265000 | #Constraints: 37222 505.96/507.88 c #Conflicts: 266000 | #Constraints: 38222 505.96/507.88 c #Conflicts: 267000 | #Constraints: 39222 505.96/507.88 c INPROCESSING 505.96/507.88 c GARBAGE COLLECT 505.96/507.88 c rational objective 141.207 527.40/529.39 c bounds 192 >= 146 @ 500.643 527.40/529.39 c #Conflicts: 268000 | #Constraints: 21135 527.40/529.39 c #Conflicts: 269000 | #Constraints: 22135 527.40/529.39 c #Conflicts: 270000 | #Constraints: 23135 527.40/529.39 c #Conflicts: 271000 | #Constraints: 24135 527.40/529.39 c #Conflicts: 272000 | #Constraints: 25135 527.40/529.39 c #Conflicts: 273000 | #Constraints: 26135 527.40/529.39 c #Conflicts: 274000 | #Constraints: 27135 527.40/529.39 c #Conflicts: 275000 | #Constraints: 28135 527.40/529.39 c #Conflicts: 276000 | #Constraints: 29135 527.40/529.39 c #Conflicts: 277000 | #Constraints: 30135 527.40/529.39 c #Conflicts: 278000 | #Constraints: 31135 527.40/529.39 c #Conflicts: 279000 | #Constraints: 32135 527.40/529.39 c #Conflicts: 280000 | #Constraints: 33135 527.40/529.39 c INPROCESSING 527.40/529.39 c GARBAGE COLLECT 527.40/529.39 c rational objective 141.207 746.39/748.92 c #Conflicts: 281000 | #Constraints: 18067 746.39/748.92 c #Conflicts: 282000 | #Constraints: 19067 746.39/748.92 c #Conflicts: 283000 | #Constraints: 20067 746.39/748.92 c bounds 191 >= 146 @ 524.37 746.39/748.92 c #Conflicts: 284000 | #Constraints: 21068 746.39/748.92 c #Conflicts: 285000 | #Constraints: 22068 746.39/748.92 c #Conflicts: 286000 | #Constraints: 23068 746.39/748.92 c #Conflicts: 287000 | #Constraints: 24068 746.39/748.92 c #Conflicts: 288000 | #Constraints: 25068 746.39/748.92 c #Conflicts: 289000 | #Constraints: 26068 746.39/748.92 c #Conflicts: 290000 | #Constraints: 27068 746.39/748.92 c #Conflicts: 291000 | #Constraints: 28068 746.39/748.92 c #Conflicts: 292000 | #Constraints: 29068 746.39/748.92 c #Conflicts: 293000 | #Constraints: 30068 746.39/748.92 c #Conflicts: 294000 | #Constraints: 31068 746.39/748.92 c #Conflicts: 295000 | #Constraints: 32068 746.39/748.92 c #Conflicts: 296000 | #Constraints: 33068 746.39/748.92 c #Conflicts: 297000 | #Constraints: 34068 746.39/748.92 c #Conflicts: 298000 | #Constraints: 35068 746.39/748.92 c #Conflicts: 299000 | #Constraints: 36068 746.39/748.92 c #Conflicts: 300000 | #Constraints: 37070 746.39/748.92 c #Conflicts: 301000 | #Constraints: 38070 746.39/748.92 c #Conflicts: 302000 | #Constraints: 39070 746.39/748.92 c #Conflicts: 303000 | #Constraints: 40070 746.39/748.92 c #Conflicts: 304000 | #Constraints: 41070 746.39/748.92 c #Conflicts: 305000 | #Constraints: 42070 746.39/748.92 c #Conflicts: 306000 | #Constraints: 43070 746.39/748.92 c #Conflicts: 307000 | #Constraints: 44070 746.39/748.92 c #Conflicts: 308000 | #Constraints: 45070 746.39/748.92 c #Conflicts: 309000 | #Constraints: 46070 746.39/748.92 c #Conflicts: 310000 | #Constraints: 47070 746.39/748.92 c #Conflicts: 311000 | #Constraints: 48070 746.39/748.92 c #Conflicts: 312000 | #Constraints: 49070 746.39/748.92 c #Conflicts: 313000 | #Constraints: 50070 746.39/748.92 c #Conflicts: 314000 | #Constraints: 51070 746.39/748.92 c #Conflicts: 315000 | #Constraints: 52070 746.39/748.92 c #Conflicts: 316000 | #Constraints: 53070 746.39/748.92 c #Conflicts: 317000 | #Constraints: 54070 746.39/748.92 c #Conflicts: 318000 | #Constraints: 55070 746.39/748.92 c INPROCESSING 746.39/748.92 c GARBAGE COLLECT 746.39/748.92 c rational objective 141.207 861.07/863.92 c #Conflicts: 319000 | #Constraints: 28938 861.07/863.92 c #Conflicts: 320000 | #Constraints: 29938 861.07/863.92 c #Conflicts: 321000 | #Constraints: 30938 861.07/863.92 c #Conflicts: 322000 | #Constraints: 31938 861.07/863.92 c #Conflicts: 323000 | #Constraints: 32938 861.07/863.92 c #Conflicts: 324000 | #Constraints: 33938 861.07/863.92 c #Conflicts: 325000 | #Constraints: 34938 861.07/863.92 c #Conflicts: 326000 | #Constraints: 35938 861.07/863.92 c #Conflicts: 327000 | #Constraints: 36938 861.07/863.92 c #Conflicts: 328000 | #Constraints: 37938 861.07/863.92 c #Conflicts: 329000 | #Constraints: 38938 861.07/863.92 c #Conflicts: 330000 | #Constraints: 39938 861.07/863.92 c #Conflicts: 331000 | #Constraints: 40938 861.07/863.92 c #Conflicts: 332000 | #Constraints: 41938 861.07/863.92 c #Conflicts: 333000 | #Constraints: 42938 861.07/863.92 c INPROCESSING 861.07/863.92 c GARBAGE COLLECT 861.07/863.92 c rational objective 141.207 916.91/920.00 c #Conflicts: 334000 | #Constraints: 23148 916.91/920.00 c #Conflicts: 335000 | #Constraints: 24148 916.91/920.00 c #Conflicts: 336000 | #Constraints: 25148 916.91/920.00 c #Conflicts: 337000 | #Constraints: 26148 916.91/920.00 c #Conflicts: 338000 | #Constraints: 27148 916.91/920.00 c #Conflicts: 339000 | #Constraints: 28148 916.91/920.00 c #Conflicts: 340000 | #Constraints: 29148 916.91/920.00 c #Conflicts: 341000 | #Constraints: 30148 916.91/920.00 c #Conflicts: 342000 | #Constraints: 31148 916.91/920.00 c #Conflicts: 343000 | #Constraints: 32148 916.91/920.00 c #Conflicts: 344000 | #Constraints: 33148 916.91/920.00 c #Conflicts: 345000 | #Constraints: 34148 916.91/920.00 c #Conflicts: 346000 | #Constraints: 35148 916.91/920.00 c #Conflicts: 347000 | #Constraints: 36148 916.91/920.00 c #Conflicts: 348000 | #Constraints: 37148 916.91/920.00 c INPROCESSING 916.91/920.00 c GARBAGE COLLECT 916.91/920.00 c rational objective 141.207 1142.70/1146.47 c #Conflicts: 349000 | #Constraints: 21916 1142.70/1146.47 c #Conflicts: 350000 | #Constraints: 22916 1142.70/1146.47 c #Conflicts: 351000 | #Constraints: 23916 1142.70/1146.47 c #Conflicts: 352000 | #Constraints: 24916 1142.70/1146.47 c #Conflicts: 353000 | #Constraints: 25916 1142.70/1146.47 c #Conflicts: 354000 | #Constraints: 26916 1142.70/1146.47 c #Conflicts: 355000 | #Constraints: 27916 1142.70/1146.47 c #Conflicts: 356000 | #Constraints: 28916 1142.70/1146.47 c #Conflicts: 357000 | #Constraints: 29916 1142.70/1146.47 c #Conflicts: 358000 | #Constraints: 30916 1142.70/1146.47 c #Conflicts: 359000 | #Constraints: 31916 1142.70/1146.47 c #Conflicts: 360000 | #Constraints: 32916 1142.70/1146.47 c #Conflicts: 361000 | #Constraints: 33916 1142.70/1146.47 c #Conflicts: 362000 | #Constraints: 34916 1142.70/1146.47 c #Conflicts: 363000 | #Constraints: 35916 1142.70/1146.47 c #Conflicts: 364000 | #Constraints: 36916 1142.70/1146.47 c #Conflicts: 365000 | #Constraints: 37916 1142.70/1146.47 c #Conflicts: 366000 | #Constraints: 38916 1142.70/1146.47 c #Conflicts: 367000 | #Constraints: 39916 1142.70/1146.47 c #Conflicts: 368000 | #Constraints: 40916 1142.70/1146.47 c #Conflicts: 369000 | #Constraints: 41916 1142.70/1146.47 c #Conflicts: 370000 | #Constraints: 42916 1142.70/1146.47 c #Conflicts: 371000 | #Constraints: 43916 1142.70/1146.47 c #Conflicts: 372000 | #Constraints: 44916 1142.70/1146.47 c #Conflicts: 373000 | #Constraints: 45916 1142.70/1146.47 c #Conflicts: 374000 | #Constraints: 46916 1142.70/1146.47 c #Conflicts: 375000 | #Constraints: 47916 1142.70/1146.47 c #Conflicts: 376000 | #Constraints: 48916 1142.70/1146.47 c #Conflicts: 377000 | #Constraints: 49916 1142.70/1146.47 c #Conflicts: 378000 | #Constraints: 50916 1142.70/1146.47 c #Conflicts: 379000 | #Constraints: 51916 1142.70/1146.47 c #Conflicts: 380000 | #Constraints: 52916 1142.70/1146.47 c #Conflicts: 381000 | #Constraints: 53916 1142.70/1146.47 c #Conflicts: 382000 | #Constraints: 54916 1142.70/1146.47 c #Conflicts: 383000 | #Constraints: 55916 1142.70/1146.47 c #Conflicts: 384000 | #Constraints: 56916 1142.70/1146.47 c #Conflicts: 385000 | #Constraints: 57916 1142.70/1146.47 c #Conflicts: 386000 | #Constraints: 58916 1142.70/1146.47 c #Conflicts: 387000 | #Constraints: 59916 1142.70/1146.47 c #Conflicts: 388000 | #Constraints: 60916 1142.70/1146.47 c #Conflicts: 389000 | #Constraints: 61916 1142.70/1146.47 c #Conflicts: 390000 | #Constraints: 62916 1142.70/1146.47 c INPROCESSING 1142.70/1146.47 c GARBAGE COLLECT 1142.70/1146.47 c rational objective 141.207 1179.19/1183.03 c #Conflicts: 391000 | #Constraints: 33262 1179.19/1183.03 c #Conflicts: 392000 | #Constraints: 34262 1179.19/1183.03 c #Conflicts: 393000 | #Constraints: 35262 1179.19/1183.03 c #Conflicts: 394000 | #Constraints: 36262 1179.19/1183.03 c #Conflicts: 395000 | #Constraints: 37262 1179.19/1183.03 c #Conflicts: 396000 | #Constraints: 38262 1179.19/1183.03 c #Conflicts: 397000 | #Constraints: 39262 1179.19/1183.03 c #Conflicts: 398000 | #Constraints: 40262 1179.19/1183.03 c #Conflicts: 399000 | #Constraints: 41262 1179.19/1183.03 c #Conflicts: 400000 | #Constraints: 42262 1179.19/1183.03 c #Conflicts: 401000 | #Constraints: 43263 1179.19/1183.03 c #Conflicts: 402000 | #Constraints: 44263 1179.19/1183.03 c #Conflicts: 403000 | #Constraints: 45263 1179.19/1183.03 c #Conflicts: 404000 | #Constraints: 46263 1179.19/1183.03 c #Conflicts: 405000 | #Constraints: 47263 1179.19/1183.03 c #Conflicts: 406000 | #Constraints: 48263 1179.19/1183.03 c INPROCESSING 1179.19/1183.03 c GARBAGE COLLECT 1179.19/1183.03 c rational objective 141.207 1406.97/1411.57 c #Conflicts: 407000 | #Constraints: 25774 1406.97/1411.57 c #Conflicts: 408000 | #Constraints: 26774 1406.97/1411.57 c #Conflicts: 409000 | #Constraints: 27774 1406.97/1411.57 c #Conflicts: 410000 | #Constraints: 28774 1406.97/1411.57 c #Conflicts: 411000 | #Constraints: 29774 1406.97/1411.57 c #Conflicts: 412000 | #Constraints: 30774 1406.97/1411.57 c #Conflicts: 413000 | #Constraints: 31774 1406.97/1411.57 c #Conflicts: 414000 | #Constraints: 32774 1406.97/1411.57 c #Conflicts: 415000 | #Constraints: 33774 1406.97/1411.57 c #Conflicts: 416000 | #Constraints: 34774 1406.97/1411.57 c #Conflicts: 417000 | #Constraints: 35774 1406.97/1411.57 c #Conflicts: 418000 | #Constraints: 36774 1406.97/1411.57 c #Conflicts: 419000 | #Constraints: 37774 1406.97/1411.57 c #Conflicts: 420000 | #Constraints: 38774 1406.97/1411.57 c #Conflicts: 421000 | #Constraints: 39774 1406.97/1411.57 c #Conflicts: 422000 | #Constraints: 40774 1406.97/1411.57 c #Conflicts: 423000 | #Constraints: 41774 1406.97/1411.57 c #Conflicts: 424000 | #Constraints: 42774 1406.97/1411.57 c #Conflicts: 425000 | #Constraints: 43774 1406.97/1411.57 c #Conflicts: 426000 | #Constraints: 44774 1406.97/1411.57 c #Conflicts: 427000 | #Constraints: 45774 1406.97/1411.57 c #Conflicts: 428000 | #Constraints: 46774 1406.97/1411.57 c #Conflicts: 429000 | #Constraints: 47774 1406.97/1411.57 c #Conflicts: 430000 | #Constraints: 48774 1406.97/1411.57 c #Conflicts: 431000 | #Constraints: 49774 1406.97/1411.57 c #Conflicts: 432000 | #Constraints: 50774 1406.97/1411.57 c #Conflicts: 433000 | #Constraints: 51774 1406.97/1411.57 c #Conflicts: 434000 | #Constraints: 52774 1406.97/1411.57 c #Conflicts: 435000 | #Constraints: 53774 1406.97/1411.57 c #Conflicts: 436000 | #Constraints: 54774 1406.97/1411.57 c #Conflicts: 437000 | #Constraints: 55774 1406.97/1411.57 c #Conflicts: 438000 | #Constraints: 56774 1406.97/1411.57 c #Conflicts: 439000 | #Constraints: 57774 1406.97/1411.57 c #Conflicts: 440000 | #Constraints: 58774 1406.97/1411.57 c #Conflicts: 441000 | #Constraints: 59774 1406.97/1411.57 c #Conflicts: 442000 | #Constraints: 60774 1406.97/1411.57 c #Conflicts: 443000 | #Constraints: 61774 1406.97/1411.57 c #Conflicts: 444000 | #Constraints: 62774 1406.97/1411.57 c #Conflicts: 445000 | #Constraints: 63774 1406.97/1411.57 c #Conflicts: 446000 | #Constraints: 64774 1406.97/1411.57 c #Conflicts: 447000 | #Constraints: 65774 1406.97/1411.57 c #Conflicts: 448000 | #Constraints: 66774 1406.97/1411.57 c bounds 191 >= 147 @ 1392.22 1406.97/1411.57 c #Conflicts: 449000 | #Constraints: 67848 1406.97/1411.57 c #Conflicts: 450000 | #Constraints: 68848 1406.97/1411.57 c #Conflicts: 451000 | #Constraints: 69848 1406.97/1411.57 c INPROCESSING 1406.97/1411.57 c GARBAGE COLLECT 1406.97/1411.57 c rational objective 141.207 1468.21/1472.98 c #Conflicts: 452000 | #Constraints: 36576 1468.21/1472.98 c #Conflicts: 453000 | #Constraints: 37576 1468.21/1472.98 c #Conflicts: 454000 | #Constraints: 38576 1468.21/1472.98 c #Conflicts: 455000 | #Constraints: 39576 1468.21/1472.98 c #Conflicts: 456000 | #Constraints: 40576 1468.21/1472.98 c #Conflicts: 457000 | #Constraints: 41576 1468.21/1472.98 c #Conflicts: 458000 | #Constraints: 42576 1468.21/1472.98 c #Conflicts: 459000 | #Constraints: 43576 1468.21/1472.98 c #Conflicts: 460000 | #Constraints: 44576 1468.21/1472.98 c #Conflicts: 461000 | #Constraints: 45576 1468.21/1472.98 c #Conflicts: 462000 | #Constraints: 46576 1468.21/1472.98 c #Conflicts: 463000 | #Constraints: 47576 1468.21/1472.98 c #Conflicts: 464000 | #Constraints: 48576 1468.21/1472.98 c #Conflicts: 465000 | #Constraints: 49576 1468.21/1472.98 c #Conflicts: 466000 | #Constraints: 50576 1468.21/1472.98 c #Conflicts: 467000 | #Constraints: 51576 1468.21/1472.98 c #Conflicts: 468000 | #Constraints: 52576 1468.21/1472.98 c INPROCESSING 1468.21/1472.98 c GARBAGE COLLECT 1468.21/1472.98 c rational objective 141.207 1713.50/1718.90 c #Conflicts: 469000 | #Constraints: 28420 1713.50/1718.90 c #Conflicts: 470000 | #Constraints: 29420 1713.50/1718.90 c #Conflicts: 471000 | #Constraints: 30420 1713.50/1718.90 c #Conflicts: 472000 | #Constraints: 31420 1713.50/1718.90 c #Conflicts: 473000 | #Constraints: 32420 1713.50/1718.90 c #Conflicts: 474000 | #Constraints: 33420 1713.50/1718.90 c #Conflicts: 475000 | #Constraints: 34420 1713.50/1718.90 c #Conflicts: 476000 | #Constraints: 35420 1713.50/1718.90 c #Conflicts: 477000 | #Constraints: 36420 1713.50/1718.90 c #Conflicts: 478000 | #Constraints: 37420 1713.50/1718.90 c #Conflicts: 479000 | #Constraints: 38420 1713.50/1718.90 c #Conflicts: 480000 | #Constraints: 39420 1713.50/1718.90 c #Conflicts: 481000 | #Constraints: 40420 1713.50/1718.90 c #Conflicts: 482000 | #Constraints: 41420 1713.50/1718.90 c #Conflicts: 483000 | #Constraints: 42420 1713.50/1718.90 c #Conflicts: 484000 | #Constraints: 43420 1713.50/1718.90 c #Conflicts: 485000 | #Constraints: 44420 1713.50/1718.90 c #Conflicts: 486000 | #Constraints: 45420 1713.50/1718.90 c #Conflicts: 487000 | #Constraints: 46420 1713.50/1718.90 c #Conflicts: 488000 | #Constraints: 47420 1713.50/1718.90 c #Conflicts: 489000 | #Constraints: 48420 1713.50/1718.90 c #Conflicts: 490000 | #Constraints: 49420 1713.50/1718.90 c #Conflicts: 491000 | #Constraints: 50420 1713.50/1718.90 c #Conflicts: 492000 | #Constraints: 51420 1713.50/1718.90 c #Conflicts: 493000 | #Constraints: 52420 1713.50/1718.90 c #Conflicts: 494000 | #Constraints: 53420 1713.50/1718.90 c #Conflicts: 495000 | #Constraints: 54420 1713.50/1718.90 c #Conflicts: 496000 | #Constraints: 55420 1713.50/1718.90 c #Conflicts: 497000 | #Constraints: 56420 1713.50/1718.90 c #Conflicts: 498000 | #Constraints: 57420 1713.50/1718.90 c #Conflicts: 499000 | #Constraints: 58420 1713.50/1718.90 c #Conflicts: 500000 | #Constraints: 59420 1713.50/1718.90 c #Conflicts: 501000 | #Constraints: 60420 1713.50/1718.90 c #Conflicts: 502000 | #Constraints: 61420 1713.50/1718.90 c #Conflicts: 503000 | #Constraints: 62420 1713.50/1718.90 c #Conflicts: 504000 | #Constraints: 63420 1713.50/1718.90 c #Conflicts: 505000 | #Constraints: 64420 1713.50/1718.90 c #Conflicts: 506000 | #Constraints: 65420 1713.50/1718.90 c #Conflicts: 507000 | #Constraints: 66420 1713.50/1718.90 c #Conflicts: 508000 | #Constraints: 67420 1713.50/1718.90 c #Conflicts: 509000 | #Constraints: 68420 1713.50/1718.90 c #Conflicts: 510000 | #Constraints: 69420 1713.50/1718.90 c #Conflicts: 511000 | #Constraints: 70420 1713.50/1718.90 c #Conflicts: 512000 | #Constraints: 71420 1713.50/1718.90 c #Conflicts: 513000 | #Constraints: 72420 1713.50/1718.90 c #Conflicts: 514000 | #Constraints: 73420 1713.50/1718.90 c #Conflicts: 515000 | #Constraints: 74420 1713.50/1718.90 c #Conflicts: 516000 | #Constraints: 75420 1713.50/1718.90 c INPROCESSING 1713.50/1718.90 c GARBAGE COLLECT 1713.50/1718.90 c rational objective 141.207 1869.10/1875.06 c #Conflicts: 517000 | #Constraints: 39047 1869.10/1875.06 c #Conflicts: 518000 | #Constraints: 40047 1869.10/1875.06 c #Conflicts: 519000 | #Constraints: 41047 1869.10/1875.06 c #Conflicts: 520000 | #Constraints: 42047 1869.10/1875.06 c #Conflicts: 521000 | #Constraints: 43047 1869.10/1875.06 c #Conflicts: 522000 | #Constraints: 44047 1869.10/1875.06 c #Conflicts: 523000 | #Constraints: 45047 1869.10/1875.06 c #Conflicts: 524000 | #Constraints: 46047 1869.10/1875.06 c #Conflicts: 525000 | #Constraints: 47047 1869.10/1875.06 c #Conflicts: 526000 | #Constraints: 48047 1869.10/1875.06 c #Conflicts: 527000 | #Constraints: 49047 1869.10/1875.06 c #Conflicts: 528000 | #Constraints: 50047 1869.10/1875.06 c #Conflicts: 529000 | #Constraints: 51047 1869.10/1875.06 c #Conflicts: 530000 | #Constraints: 52047 1869.10/1875.06 c #Conflicts: 531000 | #Constraints: 53047 1869.10/1875.06 c #Conflicts: 532000 | #Constraints: 54047 1869.10/1875.06 c #Conflicts: 533000 | #Constraints: 55047 1869.10/1875.06 c #Conflicts: 534000 | #Constraints: 56047 1869.10/1875.06 c #Conflicts: 535000 | #Constraints: 57047 1869.10/1875.06 c INPROCESSING 1869.10/1875.06 c GARBAGE COLLECT 1869.10/1875.06 c rational objective 141.207 2176.02/2182.92 c #Conflicts: 536000 | #Constraints: 31134 2176.02/2182.92 c #Conflicts: 537000 | #Constraints: 32134 2176.02/2182.92 c #Conflicts: 538000 | #Constraints: 33134 2176.02/2182.92 c #Conflicts: 539000 | #Constraints: 34134 2176.02/2182.92 c #Conflicts: 540000 | #Constraints: 35134 2176.02/2182.92 c #Conflicts: 541000 | #Constraints: 36134 2176.02/2182.92 c #Conflicts: 542000 | #Constraints: 37134 2176.02/2182.92 c #Conflicts: 543000 | #Constraints: 38134 2176.02/2182.92 c #Conflicts: 544000 | #Constraints: 39134 2176.02/2182.92 c #Conflicts: 545000 | #Constraints: 40134 2176.02/2182.92 c #Conflicts: 546000 | #Constraints: 41134 2176.02/2182.92 c #Conflicts: 547000 | #Constraints: 42134 2176.02/2182.92 c #Conflicts: 548000 | #Constraints: 43134 2176.02/2182.92 c #Conflicts: 549000 | #Constraints: 44134 2176.02/2182.92 c #Conflicts: 550000 | #Constraints: 45134 2176.02/2182.92 c #Conflicts: 551000 | #Constraints: 46134 2176.02/2182.92 c #Conflicts: 552000 | #Constraints: 47134 2176.02/2182.92 c #Conflicts: 553000 | #Constraints: 48134 2176.02/2182.92 c #Conflicts: 554000 | #Constraints: 49134 2176.02/2182.92 c #Conflicts: 555000 | #Constraints: 50134 2176.02/2182.92 c #Conflicts: 556000 | #Constraints: 51134 2176.02/2182.92 c #Conflicts: 557000 | #Constraints: 52134 2176.02/2182.92 c #Conflicts: 558000 | #Constraints: 53134 2176.02/2182.92 c #Conflicts: 559000 | #Constraints: 54134 2176.02/2182.92 c #Conflicts: 560000 | #Constraints: 55134 2176.02/2182.92 c #Conflicts: 561000 | #Constraints: 56134 2176.02/2182.92 c #Conflicts: 562000 | #Constraints: 57134 2176.02/2182.92 c #Conflicts: 563000 | #Constraints: 58134 2176.02/2182.92 c #Conflicts: 564000 | #Constraints: 59134 2176.02/2182.92 c #Conflicts: 565000 | #Constraints: 60134 2176.02/2182.92 c #Conflicts: 566000 | #Constraints: 61134 2176.02/2182.92 c #Conflicts: 567000 | #Constraints: 62134 2176.02/2182.92 c #Conflicts: 568000 | #Constraints: 63134 2176.02/2182.92 c #Conflicts: 569000 | #Constraints: 64134 2176.02/2182.92 c #Conflicts: 570000 | #Constraints: 65134 2176.02/2182.92 c #Conflicts: 571000 | #Constraints: 66134 2176.02/2182.92 c #Conflicts: 572000 | #Constraints: 67134 2176.02/2182.92 c #Conflicts: 573000 | #Constraints: 68134 2176.02/2182.92 c #Conflicts: 574000 | #Constraints: 69134 2176.02/2182.92 c #Conflicts: 575000 | #Constraints: 70134 2176.02/2182.92 c #Conflicts: 576000 | #Constraints: 71134 2176.02/2182.92 c #Conflicts: 577000 | #Constraints: 72134 2176.02/2182.92 c #Conflicts: 578000 | #Constraints: 73134 2176.02/2182.92 c #Conflicts: 579000 | #Constraints: 74134 2176.02/2182.92 c #Conflicts: 580000 | #Constraints: 75134 2176.02/2182.92 c #Conflicts: 581000 | #Constraints: 76134 2176.02/2182.92 c #Conflicts: 582000 | #Constraints: 77134 2176.02/2182.92 c #Conflicts: 583000 | #Constraints: 78134 2176.02/2182.92 c #Conflicts: 584000 | #Constraints: 79134 2176.02/2182.92 c #Conflicts: 585000 | #Constraints: 80134 2176.02/2182.92 c #Conflicts: 586000 | #Constraints: 81134 2176.02/2182.92 c INPROCESSING 2176.02/2182.92 c GARBAGE COLLECT 2176.02/2182.92 c rational objective 141.207 2245.53/2252.72 c #Conflicts: 587000 | #Constraints: 41983 2245.53/2252.72 c #Conflicts: 588000 | #Constraints: 42983 2245.53/2252.72 c #Conflicts: 589000 | #Constraints: 43983 2245.53/2252.72 c #Conflicts: 590000 | #Constraints: 44983 2245.53/2252.72 c #Conflicts: 591000 | #Constraints: 45983 2245.53/2252.72 c #Conflicts: 592000 | #Constraints: 46983 2245.53/2252.72 c #Conflicts: 593000 | #Constraints: 47983 2245.53/2252.72 c #Conflicts: 594000 | #Constraints: 48983 2245.53/2252.72 c #Conflicts: 595000 | #Constraints: 49983 2245.53/2252.72 c #Conflicts: 596000 | #Constraints: 50983 2245.53/2252.72 c #Conflicts: 597000 | #Constraints: 51983 2245.53/2252.72 c #Conflicts: 598000 | #Constraints: 52983 2245.53/2252.72 c #Conflicts: 599000 | #Constraints: 53983 2245.53/2252.72 c #Conflicts: 600000 | #Constraints: 54983 2245.53/2252.72 c #Conflicts: 601000 | #Constraints: 55983 2245.53/2252.72 c #Conflicts: 602000 | #Constraints: 56983 2245.53/2252.72 c #Conflicts: 603000 | #Constraints: 57983 2245.53/2252.72 c #Conflicts: 604000 | #Constraints: 58983 2245.53/2252.72 c #Conflicts: 605000 | #Constraints: 59983 2245.53/2252.72 c #Conflicts: 606000 | #Constraints: 60983 2245.53/2252.72 c INPROCESSING 2245.53/2252.72 c GARBAGE COLLECT 2245.53/2252.72 c rational objective 141.207 2581.75/2590.02 c #Conflicts: 607000 | #Constraints: 36224 2581.75/2590.02 c #Conflicts: 608000 | #Constraints: 37224 2581.75/2590.02 c #Conflicts: 609000 | #Constraints: 38224 2581.75/2590.02 c #Conflicts: 610000 | #Constraints: 39224 2581.75/2590.02 c #Conflicts: 611000 | #Constraints: 40224 2581.75/2590.02 c #Conflicts: 612000 | #Constraints: 41224 2581.75/2590.02 c #Conflicts: 613000 | #Constraints: 42224 2581.75/2590.02 c #Conflicts: 614000 | #Constraints: 43224 2581.75/2590.02 c #Conflicts: 615000 | #Constraints: 44224 2581.75/2590.02 c #Conflicts: 616000 | #Constraints: 45224 2581.75/2590.02 c #Conflicts: 617000 | #Constraints: 46224 2581.75/2590.02 c #Conflicts: 618000 | #Constraints: 47224 2581.75/2590.02 c #Conflicts: 619000 | #Constraints: 48224 2581.75/2590.02 c #Conflicts: 620000 | #Constraints: 49224 2581.75/2590.02 c #Conflicts: 621000 | #Constraints: 50224 2581.75/2590.02 c #Conflicts: 622000 | #Constraints: 51224 2581.75/2590.02 c #Conflicts: 623000 | #Constraints: 52224 2581.75/2590.02 c #Conflicts: 624000 | #Constraints: 53224 2581.75/2590.02 c #Conflicts: 625000 | #Constraints: 54224 2581.75/2590.02 c #Conflicts: 626000 | #Constraints: 55224 2581.75/2590.02 c #Conflicts: 627000 | #Constraints: 56224 2581.75/2590.02 c #Conflicts: 628000 | #Constraints: 57224 2581.75/2590.02 c #Conflicts: 629000 | #Constraints: 58224 2581.75/2590.02 c #Conflicts: 630000 | #Constraints: 59224 2581.75/2590.02 c #Conflicts: 631000 | #Constraints: 60224 2581.75/2590.02 c #Conflicts: 632000 | #Constraints: 61224 2581.75/2590.02 c #Conflicts: 633000 | #Constraints: 62224 2581.75/2590.02 c #Conflicts: 634000 | #Constraints: 63224 2581.75/2590.02 c #Conflicts: 635000 | #Constraints: 64224 2581.75/2590.02 c #Conflicts: 636000 | #Constraints: 65224 2581.75/2590.02 c #Conflicts: 637000 | #Constraints: 66224 2581.75/2590.02 c #Conflicts: 638000 | #Constraints: 67224 2581.75/2590.02 c #Conflicts: 639000 | #Constraints: 68224 2581.75/2590.02 c #Conflicts: 640000 | #Constraints: 69224 2581.75/2590.02 c #Conflicts: 641000 | #Constraints: 70224 2581.75/2590.02 c #Conflicts: 642000 | #Constraints: 71224 2581.75/2590.02 c #Conflicts: 643000 | #Constraints: 72224 2581.75/2590.02 c #Conflicts: 644000 | #Constraints: 73224 2581.75/2590.02 c #Conflicts: 645000 | #Constraints: 74224 2581.75/2590.02 c #Conflicts: 646000 | #Constraints: 75224 2581.75/2590.02 c #Conflicts: 647000 | #Constraints: 76224 2581.75/2590.02 c #Conflicts: 648000 | #Constraints: 77224 2581.75/2590.02 c #Conflicts: 649000 | #Constraints: 78224 2581.75/2590.02 c #Conflicts: 650000 | #Constraints: 79224 2581.75/2590.02 c #Conflicts: 651000 | #Constraints: 80224 2581.75/2590.02 c #Conflicts: 652000 | #Constraints: 81224 2581.75/2590.02 c #Conflicts: 653000 | #Constraints: 82224 2581.75/2590.02 c #Conflicts: 654000 | #Constraints: 83224 2581.75/2590.02 c #Conflicts: 655000 | #Constraints: 84224 2581.75/2590.02 c #Conflicts: 656000 | #Constraints: 85224 2581.75/2590.02 c #Conflicts: 657000 | #Constraints: 86224 2581.75/2590.02 c #Conflicts: 658000 | #Constraints: 87224 2581.75/2590.02 c #Conflicts: 659000 | #Constraints: 88224 2581.75/2590.02 c #Conflicts: 660000 | #Constraints: 89224 2581.75/2590.02 c #Conflicts: 661000 | #Constraints: 90224 2581.75/2590.02 c INPROCESSING 2581.75/2590.02 c GARBAGE COLLECT 2581.75/2590.02 c rational objective 141.207 2805.93/2815.06 c #Conflicts: 662000 | #Constraints: 46751 2805.93/2815.06 c #Conflicts: 663000 | #Constraints: 47751 2805.93/2815.06 c #Conflicts: 664000 | #Constraints: 48751 2805.93/2815.06 c #Conflicts: 665000 | #Constraints: 49751 2805.93/2815.06 c #Conflicts: 666000 | #Constraints: 50751 2805.93/2815.06 c #Conflicts: 667000 | #Constraints: 51751 2805.93/2815.06 c #Conflicts: 668000 | #Constraints: 52751 2805.93/2815.06 c #Conflicts: 669000 | #Constraints: 53751 2805.93/2815.06 c #Conflicts: 670000 | #Constraints: 54751 2805.93/2815.06 c #Conflicts: 671000 | #Constraints: 55751 2805.93/2815.06 c #Conflicts: 672000 | #Constraints: 56751 2805.93/2815.06 c #Conflicts: 673000 | #Constraints: 57751 2805.93/2815.06 c #Conflicts: 674000 | #Constraints: 58751 2805.93/2815.06 c #Conflicts: 675000 | #Constraints: 59751 2805.93/2815.06 c #Conflicts: 676000 | #Constraints: 60751 2805.93/2815.06 c #Conflicts: 677000 | #Constraints: 61751 2805.93/2815.06 c #Conflicts: 678000 | #Constraints: 62751 2805.93/2815.06 c #Conflicts: 679000 | #Constraints: 63751 2805.93/2815.06 c #Conflicts: 680000 | #Constraints: 64751 2805.93/2815.06 c #Conflicts: 681000 | #Constraints: 65751 2805.93/2815.06 c #Conflicts: 682000 | #Constraints: 66751 2805.93/2815.06 c INPROCESSING 2805.93/2815.06 c GARBAGE COLLECT 2805.93/2815.06 c rational objective 141.207 3307.58/3318.26 c #Conflicts: 683000 | #Constraints: 39248 3307.58/3318.26 c #Conflicts: 684000 | #Constraints: 40248 3307.58/3318.26 c #Conflicts: 685000 | #Constraints: 41248 3307.58/3318.26 c #Conflicts: 686000 | #Constraints: 42248 3307.58/3318.26 c #Conflicts: 687000 | #Constraints: 43248 3307.58/3318.26 c #Conflicts: 688000 | #Constraints: 44248 3307.58/3318.26 c #Conflicts: 689000 | #Constraints: 45248 3307.58/3318.26 c #Conflicts: 690000 | #Constraints: 46248 3307.58/3318.26 c #Conflicts: 691000 | #Constraints: 47248 3307.58/3318.26 c #Conflicts: 692000 | #Constraints: 48248 3307.58/3318.26 c #Conflicts: 693000 | #Constraints: 49248 3307.58/3318.26 c #Conflicts: 694000 | #Constraints: 50248 3307.58/3318.26 c #Conflicts: 695000 | #Constraints: 51248 3307.58/3318.26 c #Conflicts: 696000 | #Constraints: 52248 3307.58/3318.26 c #Conflicts: 697000 | #Constraints: 53248 3307.58/3318.26 c #Conflicts: 698000 | #Constraints: 54248 3307.58/3318.26 c #Conflicts: 699000 | #Constraints: 55248 3307.58/3318.26 c #Conflicts: 700000 | #Constraints: 56248 3307.58/3318.26 c #Conflicts: 701000 | #Constraints: 57248 3307.58/3318.26 c #Conflicts: 702000 | #Constraints: 58248 3307.58/3318.26 c #Conflicts: 703000 | #Constraints: 59248 3307.58/3318.26 c #Conflicts: 704000 | #Constraints: 60248 3307.58/3318.26 c #Conflicts: 705000 | #Constraints: 61248 3307.58/3318.26 c #Conflicts: 706000 | #Constraints: 62248 3307.58/3318.26 c #Conflicts: 707000 | #Constraints: 63248 3307.58/3318.26 c #Conflicts: 708000 | #Constraints: 64248 3307.58/3318.26 c #Conflicts: 709000 | #Constraints: 65248 3307.58/3318.26 c #Conflicts: 710000 | #Constraints: 66248 3307.58/3318.26 c #Conflicts: 711000 | #Constraints: 67248 3307.58/3318.26 c #Conflicts: 712000 | #Constraints: 68248 3307.58/3318.26 c #Conflicts: 713000 | #Constraints: 69248 3307.58/3318.26 c #Conflicts: 714000 | #Constraints: 70248 3307.58/3318.26 c #Conflicts: 715000 | #Constraints: 71248 3307.58/3318.26 c #Conflicts: 716000 | #Constraints: 72248 3307.58/3318.26 c #Conflicts: 717000 | #Constraints: 73248 3307.58/3318.26 c #Conflicts: 718000 | #Constraints: 74248 3307.58/3318.26 c #Conflicts: 719000 | #Constraints: 75248 3307.58/3318.26 c #Conflicts: 720000 | #Constraints: 76248 3307.58/3318.26 c #Conflicts: 721000 | #Constraints: 77248 3307.58/3318.26 c #Conflicts: 722000 | #Constraints: 78248 3307.58/3318.26 c #Conflicts: 723000 | #Constraints: 79248 3307.58/3318.26 c #Conflicts: 724000 | #Constraints: 80248 3307.58/3318.26 c #Conflicts: 725000 | #Constraints: 81248 3307.58/3318.26 c #Conflicts: 726000 | #Constraints: 82248 3307.58/3318.26 c #Conflicts: 727000 | #Constraints: 83248 3307.58/3318.26 c #Conflicts: 728000 | #Constraints: 84248 3307.58/3318.26 c #Conflicts: 729000 | #Constraints: 85248 3307.58/3318.26 c #Conflicts: 730000 | #Constraints: 86248 3307.58/3318.26 c #Conflicts: 731000 | #Constraints: 87248 3307.58/3318.26 c #Conflicts: 732000 | #Constraints: 88248 3307.58/3318.26 c #Conflicts: 733000 | #Constraints: 89248 3307.58/3318.26 c #Conflicts: 734000 | #Constraints: 90248 3307.58/3318.26 c #Conflicts: 735000 | #Constraints: 91248 3307.58/3318.26 c #Conflicts: 736000 | #Constraints: 92248 3307.58/3318.26 c #Conflicts: 737000 | #Constraints: 93248 3307.58/3318.26 c #Conflicts: 738000 | #Constraints: 94248 3307.58/3318.26 c #Conflicts: 739000 | #Constraints: 95248 3307.58/3318.26 c #Conflicts: 740000 | #Constraints: 96248 3307.58/3318.26 c INPROCESSING 3307.58/3318.26 c GARBAGE COLLECT 3307.58/3318.26 c rational objective 141.207 3430.28/3441.31 c #Conflicts: 741000 | #Constraints: 49960 3430.28/3441.31 c #Conflicts: 742000 | #Constraints: 50960 3430.28/3441.31 c #Conflicts: 743000 | #Constraints: 51960 3430.28/3441.31 c #Conflicts: 744000 | #Constraints: 52960 3430.28/3441.31 c #Conflicts: 745000 | #Constraints: 53960 3430.28/3441.31 c #Conflicts: 746000 | #Constraints: 54960 3430.28/3441.31 c #Conflicts: 747000 | #Constraints: 55960 3430.28/3441.31 c #Conflicts: 748000 | #Constraints: 56960 3430.28/3441.31 c #Conflicts: 749000 | #Constraints: 57960 3430.28/3441.31 c #Conflicts: 750000 | #Constraints: 58960 3430.28/3441.31 c #Conflicts: 751000 | #Constraints: 59960 3430.28/3441.31 c #Conflicts: 752000 | #Constraints: 60960 3430.28/3441.31 c #Conflicts: 753000 | #Constraints: 61960 3430.28/3441.31 c #Conflicts: 754000 | #Constraints: 62960 3430.28/3441.31 c #Conflicts: 755000 | #Constraints: 63960 3430.28/3441.31 c #Conflicts: 756000 | #Constraints: 64960 3430.28/3441.31 c #Conflicts: 757000 | #Constraints: 65960 3430.28/3441.31 c #Conflicts: 758000 | #Constraints: 66960 3430.28/3441.31 c #Conflicts: 759000 | #Constraints: 67960 3430.28/3441.31 c #Conflicts: 760000 | #Constraints: 68960 3430.28/3441.31 c #Conflicts: 761000 | #Constraints: 69960 3430.28/3441.31 c #Conflicts: 762000 | #Constraints: 70960 3430.28/3441.31 c INPROCESSING 3430.28/3441.31 c GARBAGE COLLECT 3430.28/3441.31 c rational objective 141.207 3600.01/3611.60 c #Conflicts: 763000 | #Constraints: 44963 3600.01/3611.60 c #Conflicts: 764000 | #Constraints: 45963 3600.01/3611.60 c #Conflicts: 765000 | #Constraints: 46963 3600.01/3611.60 c #Conflicts: 766000 | #Constraints: 47963 3600.01/3611.60 c #Conflicts: 767000 | #Constraints: 48963 3600.01/3611.60 c #Conflicts: 768000 | #Constraints: 49964 3600.01/3611.60 c #Conflicts: 769000 | #Constraints: 50964 3600.01/3611.60 c #Conflicts: 770000 | #Constraints: 51964 3600.01/3611.60 c #Conflicts: 771000 | #Constraints: 52964 3600.01/3611.60 c #Conflicts: 772000 | #Constraints: 53964 3600.01/3611.60 c #Conflicts: 773000 | #Constraints: 54964 3600.01/3611.60 c #Conflicts: 774000 | #Constraints: 55964 3600.01/3611.60 c #Conflicts: 775000 | #Constraints: 56964 3600.01/3611.60 c #Conflicts: 776000 | #Constraints: 57964 3600.01/3611.60 c #Conflicts: 777000 | #Constraints: 58964 3600.01/3611.60 c #Conflicts: 778000 | #Constraints: 59964 3600.01/3611.60 c #Conflicts: 779000 | #Constraints: 60964 3600.01/3611.60 c #Conflicts: 780000 | #Constraints: 61964 3600.01/3611.60 c #Conflicts: 781000 | #Constraints: 62964 3600.01/3611.60 c #Conflicts: 782000 | #Constraints: 63964 3600.01/3611.60 c #Conflicts: 783000 | #Constraints: 64964 3600.01/3611.60 c #Conflicts: 784000 | #Constraints: 65964 3600.01/3611.60 c #Conflicts: 785000 | #Constraints: 66964 3600.01/3611.60 c #Conflicts: 786000 | #Constraints: 67964 3600.01/3611.60 c #Conflicts: 787000 | #Constraints: 68964 3600.01/3611.60 c #Conflicts: 788000 | #Constraints: 69964 3600.01/3611.60 c #Conflicts: 789000 | #Constraints: 70964 3600.01/3611.60 c #Conflicts: 790000 | #Constraints: 71964 3600.01/3611.60 c #Conflicts: 791000 | #Constraints: 72964 3600.01/3611.60 c #Conflicts: 792000 | #Constraints: 73964 3600.01/3611.60 c #Conflicts: 793000 | #Constraints: 74964 3600.01/3611.60 c #Conflicts: 794000 | #Constraints: 75964 3600.01/3611.60 c #Conflicts: 795000 | #Constraints: 76964 3600.01/3611.60 c Program interrupted by user. 3600.01/3611.60 c cpu time 3579.48 s 3600.01/3611.60 c deterministic time 366152499032 3.66e+11 3600.01/3611.60 c optimization time 168.887 s 3600.01/3611.60 c total solve time 3410.59 s 3600.01/3611.60 c core-guided solve time 2091.95 s 3600.01/3611.60 c propagation time 3106.48 s 3600.01/3611.60 c conflict analysis time 437.472 s 3600.01/3611.60 c propagations 114206162 3600.01/3611.60 c resolve steps 6992786 3600.01/3611.60 c decisions 6170262 3600.01/3611.60 c conflicts 795170 3600.01/3611.60 c restarts 1691 3600.01/3611.60 c inprocessing phases 41 3600.01/3611.60 c input clauses 319 3600.01/3611.60 c input cardinalities 186 3600.01/3611.60 c input general constraints 916 3600.01/3611.60 c input average constraint length 20.64 3600.01/3611.60 c input average constraint degree 19.24 3600.01/3611.60 c learned clauses 263815 3600.01/3611.60 c learned cardinalities 5309 3600.01/3611.60 c learned general constraints 526063 3600.01/3611.60 c learned average constraint length 188.69 3600.01/3611.60 c learned average constraint degree 7761833.70 3600.01/3611.60 c watched constraints 364124 3600.01/3611.60 c counting constraints 162855 3600.01/3611.60 c gcd simplifications 97280 3600.01/3611.60 c detected cardinalities 2472 3600.01/3611.60 c weakened non-implied lits 31207236 3600.01/3611.60 c weakened non-implying lits 63479 3600.01/3611.60 c original variables 476 3600.01/3611.60 c clausal propagations 11907612 3600.01/3611.60 c cardinality propagations 6669481 3600.01/3611.60 c watched propagations 18311042 3600.01/3611.60 c counting propagations 75707991 3600.01/3611.60 c watch lookups 60756343578 3600.01/3611.60 c watch backjump lookups 54236890723 3600.01/3611.60 c watch checks 230156893404 3600.01/3611.60 c propagation checks 20158752825 3600.01/3611.60 c constraint additions 601234490 3600.01/3611.60 c trail pops 121171135 3600.01/3611.60 c formula constraints 476 3600.01/3611.60 c learned constraints 795177 3600.01/3611.60 c bound constraints 39 3600.01/3611.60 c core-guided constraints 906 3600.01/3611.60 c encountered formula constraints 1256174 3600.01/3611.60 c encountered learned constraints 5471103 3600.01/3611.60 c encountered bound constraints 84 3600.01/3611.60 c encountered core-guided constraints 1060571 3600.01/3611.60 c LP total time 46.5306 s 3600.01/3611.60 c LP solve time 45.2 s 3600.01/3611.60 c LP constraints added 476 3600.01/3611.60 c LP constraints removed 0 3600.01/3611.60 c LP pivots internal 795201 3600.01/3611.60 c LP pivots root 41251 3600.01/3611.60 c LP calls 12699 3600.01/3611.60 c LP optimalities 12690 3600.01/3611.60 c LP no pivot count 430 3600.01/3611.60 c LP infeasibilities 5 3600.01/3611.60 c LP valid Farkas constraints 5 3600.01/3611.60 c LP learned Farkas constraints 5 3600.01/3611.60 c LP basis resets 0 3600.01/3611.60 c LP cycling count 0 3600.01/3611.60 c LP singular count 0 3600.01/3611.60 c LP no primal count 0 3600.01/3611.60 c LP no farkas count 0 3600.01/3611.60 c LP other issue count 0 3600.01/3611.60 c LP Gomory cuts 0 3600.01/3611.60 c LP learned cuts 0 3600.01/3611.60 c LP deleted cuts 0 3600.01/3611.60 c LP encountered Gomory constraints 0 3600.01/3611.60 c LP encountered Farkas constraints 13 3600.01/3611.60 c LP encountered learned Farkas constraints 6 3600.01/3611.60 c CG auxiliary variables introduced 351 3600.01/3611.60 c CG solutions found 39 3600.01/3611.60 c CG cores constructed 147 3600.01/3611.60 c CG core cardinality constraints returned 0 3600.01/3611.60 c CG unit cores 0 3600.01/3611.60 c CG single cores 146 3600.01/3611.60 c CG blocks removed during cardinality reduction 0 3600.01/3611.60 c CG first core best 0 3600.01/3611.60 c CG decision core best 0 3600.01/3611.60 c CG core reduction tie 1 3600.01/3611.60 c CG core degree average 1.00 3600.01/3611.60 c CG core slack average 4.14 3600.01/3611.60 s SATISFIABLE 3600.01/3611.60 v x1 -x2 -x3 x4 x5 -x6 -x7 -x8 -x9 -x10 x11 x12 x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 x26 -x27 x28 x29 x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 x49 x50 -x51 -x52 -x53 x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 x69 -x70 -x71 x72 -x73 x74 x75 x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 x92 -x93 -x94 x95 x96 -x97 x98 x99 x100 -x101 -x102 x103 x104 -x105 -x106 x107 -x108 -x109 x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 x132 -x133 x134 -x135 x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 -x145 -x146 x147 -x148 x149 x150 -x151 -x152 -x153 x154 x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 -x164 x165 x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 x176 x177 -x178 -x179 -x180 -x181 -x182 x183 x184 x185 x186 -x187 -x188 -x189 x190 x191 x192 -x193 -x194 -x195 x196 x197 x198 -x199 -x200 -x201 -x202 -x203 x204 x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 -x214 -x215 x216 x217 x218 x219 -x220 -x221 x222 -x223 -x224 x225 x226 -x227 -x228 x229 -x230 x231 -x232 -x233 x234 x235 -x236 -x237 -x238 x239 x240 x241 -x242 x243 x244 -x245 x246 x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 x270 x271 -x272 -x273 x274 x275 -x276 -x277 x278 x279 x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 x301 -x302 -x303 x304 -x
ERROR: no interpretation found !
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 (63588 MiB free)
memory of node 1: 64510 MiB (63848 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462557-1722340764/watcher-4462557-1722340764 -o /tmp/evaluation-result-4462557-1722340764/solver-4462557-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722340763-6814 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462557-1722340764 --lp-cut-gomory=0 HOME/instance-4462557-1722340764.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=6874, runsolver pid=6871
Current StackSize limit: 8192 KiB
[startup+0.100127 s]*
/proc/loadavg: 0.07 0.08 0.09 1/243 6875
/proc/meminfo: memFree=130495092/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=37376 memory=2528 CPUtime=0 cores=1,3
/proc/6874/stat : 6874 (roundingsat) D 6871 6874 6802 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 672063 38273024 632 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 9344 632 576 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2528 KiB
[startup+0.212939 s]*
/proc/loadavg: 0.07 0.08 0.09 1/243 6875
/proc/meminfo: memFree=130494624/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=37376 memory=2528 CPUtime=0 cores=1,3
/proc/6874/stat : 6874 (roundingsat) D 6871 6874 6802 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 672063 38273024 632 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 9344 632 576 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2528 KiB
[startup+0.312316 s]*
/proc/loadavg: 0.07 0.08 0.09 1/243 6875
/proc/meminfo: memFree=130494484/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=37376 memory=2528 CPUtime=0 cores=1,3
/proc/6874/stat : 6874 (roundingsat) D 6871 6874 6802 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 672063 38273024 632 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 9344 632 576 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2528 KiB
[startup+0.700258 s]
/proc/loadavg: 0.07 0.08 0.09 5/243 6875
/proc/meminfo: memFree=130486456/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=38968 memory=8820 CPUtime=0.33 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 661 0 0 0 31 2 0 0 20 0 1 0 672063 39903232 2205 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 9742 2205 1761 992 0 1600 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 38968 KiB
Current children cumulated memory: 8820 KiB
[startup+1.5003 s]
/proc/loadavg: 0.47 0.16 0.11 5/243 6875
/proc/meminfo: memFree=130433844/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=42928 memory=16624 CPUtime=1.13 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 1975 0 0 0 98 15 0 0 20 0 1 0 672063 43958272 4156 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 10732 4156 1866 992 0 2590 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 42928 KiB
Current children cumulated memory: 16624 KiB
[startup+3.11243 s]
/proc/loadavg: 0.47 0.16 0.11 4/241 6890
/proc/meminfo: memFree=130401752/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=45632 memory=19624 CPUtime=2.73 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 2790 0 0 0 251 22 0 0 20 0 1 0 672063 46727168 4906 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 11408 4906 1866 992 0 3266 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 45632 KiB
Current children cumulated memory: 19624 KiB
[startup+6.30027 s]
/proc/loadavg: 0.75 0.23 0.14 5/244 6924
/proc/meminfo: memFree=130176312/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=58212 memory=30044 CPUtime=5.92 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 4469 0 0 0 557 35 0 0 20 0 1 0 672063 59609088 7511 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 14553 7511 1866 992 0 6411 0
Current children cumulated CPU time: 5.92 s
Current children cumulated vsize: 58212 KiB
Current children cumulated memory: 30044 KiB
[startup+12.7003 s]
/proc/loadavg: 1.01 0.29 0.16 5/244 6924
/proc/meminfo: memFree=130093280/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=74284 memory=43628 CPUtime=12.29 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 6840 0 0 0 1175 54 0 0 20 0 1 0 672063 76066816 10907 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 18571 10907 1866 992 0 10429 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 74284 KiB
Current children cumulated memory: 43628 KiB
[startup+25.5004 s]
/proc/loadavg: 1.47 0.41 0.20 5/248 6930
/proc/meminfo: memFree=129945780/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=94344 memory=56796 CPUtime=25.06 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 9077 0 0 0 2418 88 0 0 20 0 1 0 672063 96608256 14199 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 23586 14199 1866 992 0 15444 0
Current children cumulated CPU time: 25.06 s
Current children cumulated vsize: 94344 KiB
Current children cumulated memory: 56796 KiB
[startup+51.1127 s]
/proc/loadavg: 2.47 0.76 0.32 5/248 6934
/proc/meminfo: memFree=129813356/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=101608 memory=66944 CPUtime=50.6 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 10609 0 0 0 4925 135 0 0 20 0 1 0 672063 104046592 16736 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 25402 16736 1866 992 0 17260 0
Current children cumulated CPU time: 50.6 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 66944 KiB
[startup+102.3 s]
/proc/loadavg: 3.39 1.27 0.52 5/249 6958
/proc/meminfo: memFree=129437920/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=143792 memory=100860 CPUtime=101.63 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 16118 0 0 0 9943 220 0 0 20 0 1 0 672063 147243008 25215 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 35948 25215 1866 992 0 27806 0
Current children cumulated CPU time: 101.63 s
Current children cumulated vsize: 143792 KiB
Current children cumulated memory: 100860 KiB
[startup+162.3 s]
/proc/loadavg: 3.82 1.79 0.75 5/249 6968
/proc/meminfo: memFree=129233136/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=157088 memory=117264 CPUtime=161.46 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 18726 0 0 0 15855 291 0 0 20 0 1 0 672063 160858112 29316 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 39272 29316 1866 992 0 31130 0
Current children cumulated CPU time: 161.46 s
Current children cumulated vsize: 157088 KiB
Current children cumulated memory: 117264 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.22 0.96 5/249 6979
/proc/meminfo: memFree=129040928/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=210148 memory=150544 CPUtime=221.28 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 23986 0 0 0 21784 344 0 0 20 0 1 0 672063 215191552 37636 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 52537 37636 1866 992 0 44395 0
Current children cumulated CPU time: 221.28 s
Current children cumulated vsize: 210148 KiB
Current children cumulated memory: 150544 KiB
[startup+282.3 s]
/proc/loadavg: 4.02 2.55 1.16 5/248 6989
/proc/meminfo: memFree=128778656/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=210148 memory=165240 CPUtime=281.08 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 24052 0 0 0 27705 403 0 0 20 0 1 0 672063 215191552 41310 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 52537 41310 1866 992 0 44395 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 210148 KiB
Current children cumulated memory: 165240 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 2.85 1.35 5/247 6999
/proc/meminfo: memFree=128563408/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=212932 memory=166736 CPUtime=340.91 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 24534 0 0 0 33642 449 0 0 20 0 1 0 672063 218042368 41684 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 53233 41684 1866 992 0 45091 0
Current children cumulated CPU time: 340.91 s
Current children cumulated vsize: 212932 KiB
Current children cumulated memory: 166736 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.08 1.52 5/244 7011
/proc/meminfo: memFree=128373368/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=221912 memory=172752 CPUtime=400.75 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 26308 0 0 0 39572 503 0 0 20 0 1 0 672063 227237888 43188 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 55478 43188 1866 992 0 47336 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 221912 KiB
Current children cumulated memory: 172752 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.26 1.68 5/244 7021
/proc/meminfo: memFree=128226092/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=235968 memory=198852 CPUtime=460.59 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 28893 0 0 0 45524 535 0 0 20 0 1 0 672063 241631232 49713 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 58992 49713 1882 992 0 50850 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.06 5/253 8204
/proc/meminfo: memFree=80834252/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=487024 memory=386664 CPUtime=3092.46 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 56087 0 0 0 307422 1824 0 0 20 0 1 0 672063 498712576 96666 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 121756 96666 1882 992 0 113614 0
Current children cumulated CPU time: 3092.46 s
Current children cumulated vsize: 487024 KiB
Current children cumulated memory: 386664 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.06 5/246 8214
/proc/meminfo: memFree=79911812/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=493096 memory=389676 CPUtime=3152.26 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 57019 0 0 0 313380 1846 0 0 20 0 1 0 672063 504930304 97419 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 123274 97419 1882 992 0 115132 0
Current children cumulated CPU time: 3152.26 s
Current children cumulated vsize: 493096 KiB
Current children cumulated memory: 389676 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/249 8228
/proc/meminfo: memFree=78517364/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=496168 memory=391480 CPUtime=3212.04 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 57616 0 0 0 319335 1869 0 0 20 0 1 0 672063 508076032 97870 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 124042 97870 1882 992 0 115900 0
Current children cumulated CPU time: 3212.04 s
Current children cumulated vsize: 496168 KiB
Current children cumulated memory: 391480 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/252 8243
/proc/meminfo: memFree=76940204/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=497192 memory=392304 CPUtime=3271.81 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 57963 0 0 0 325288 1893 0 0 20 0 1 0 672063 509124608 98076 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 124298 98076 1882 992 0 116156 0
Current children cumulated CPU time: 3271.81 s
Current children cumulated vsize: 497192 KiB
Current children cumulated memory: 392304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.11 4.07 5/252 8253
/proc/meminfo: memFree=75367036/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=499104 memory=393752 CPUtime=3331.59 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 58795 0 0 0 331235 1924 0 0 20 0 1 0 672063 511082496 98438 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 124776 98438 1882 992 0 116634 0
Current children cumulated CPU time: 3331.59 s
Current children cumulated vsize: 499104 KiB
Current children cumulated memory: 393752 KiB
[startup+3402.3 s]
/proc/loadavg: 4.70 4.27 4.13 5/256 8654
/proc/meminfo: memFree=74693852/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=499104 memory=393752 CPUtime=3391.4 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 58960 0 0 0 337186 1954 0 0 20 0 1 0 672063 511082496 98438 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 124776 98438 1882 992 0 116634 0
Current children cumulated CPU time: 3391.4 s
Current children cumulated vsize: 499104 KiB
Current children cumulated memory: 393752 KiB
[startup+3462.3 s]
/proc/loadavg: 4.47 4.30 4.14 5/257 8666
/proc/meminfo: memFree=73837632/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=498984 memory=393856 CPUtime=3451.21 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 59402 0 0 0 343136 1985 0 0 20 0 1 0 672063 510959616 98464 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 124746 98464 1882 992 0 116604 0
Current children cumulated CPU time: 3451.21 s
Current children cumulated vsize: 498984 KiB
Current children cumulated memory: 393856 KiB
[startup+3522.3 s]
/proc/loadavg: 4.43 4.32 4.16 9/257 8677
/proc/meminfo: memFree=72763396/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=498984 memory=393856 CPUtime=3511.02 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 59563 0 0 0 349088 2014 0 0 20 0 1 0 672063 510959616 98464 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 124746 98464 1882 992 0 116604 0
Current children cumulated CPU time: 3511.02 s
Current children cumulated vsize: 498984 KiB
Current children cumulated memory: 393856 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.27 4.15 5/261 8860
/proc/meminfo: memFree=71232008/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=499528 memory=393952 CPUtime=3570.83 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 59775 0 0 0 355044 2039 0 0 20 0 1 0 672063 511516672 98488 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 124882 98488 1882 992 0 116740 0
Current children cumulated CPU time: 3570.83 s
Current children cumulated vsize: 499528 KiB
Current children cumulated memory: 393952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.14 4.25 4.15 3/262 8868
/proc/meminfo: memFree=70862244/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=499812 memory=394240 CPUtime=3600.01 cores=1,3
/proc/6874/stat : 6874 (roundingsat) R 6871 6874 6802 0 -1 4194304 59954 0 0 0 357948 2053 0 0 20 0 1 0 672063 511807488 98560 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 124953 98560 1882 992 0 116811 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 499812 KiB
Current children cumulated memory: 394240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.21 4.26 4.15 2/255 8894
/proc/meminfo: memFree=71102592/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=499812 memory=394240 CPUtime=3600.01 cores=1,3
/proc/6874/stat : 6874 (roundingsat) D 6871 6874 6802 0 -1 4194304 59960 0 0 0 357948 2053 0 0 20 0 1 0 672063 511807488 98560 134679101440 4194304 8255733 140725967001808 0 0 256 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 124953 98560 1882 992 0 116811 0
??? kill 6874 sig 9
??? end of watcher thread
[startup+3620.24 s]
# the end of solver process 6874 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3579.49 s, system=20.5426 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.21 4.26 4.15 2/262 8868
/proc/meminfo: memFree=70839348/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=499812 memory=394240 CPUtime=3600.01 cores=1,3
/proc/6874/stat : 6874 (roundingsat) D 6871 6874 6802 0 -1 4194304 59960 0 0 0 357948 2053 0 0 20 0 1 0 672063 511807488 98560 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 124953 98560 1882 992 0 116811 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 499812 KiB
Current children cumulated memory: 394240 KiB
[startup+3613.2 s]
/proc/loadavg: 4.21 4.26 4.15 3/257 8888
/proc/meminfo: memFree=71109892/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=499812 memory=394240 CPUtime=3600.01 cores=1,3
/proc/6874/stat : 6874 (roundingsat) D 6871 6874 6802 0 -1 4194304 59960 0 0 0 357948 2053 0 0 20 0 1 0 672063 511807488 98560 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 124953 98560 1882 992 0 116811 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 499812 KiB
Current children cumulated memory: 394240 KiB
[startup+3613.6 s]
/proc/loadavg: 4.21 4.26 4.15 3/257 8888
/proc/meminfo: memFree=71109892/131655788 swapFree=131071996/131071996
[pid=6874] ppid=6871 vsize=499812 memory=394240 CPUtime=3600.01 cores=1,3
/proc/6874/stat : 6874 (roundingsat) D 6871 6874 6802 0 -1 4194304 59960 0 0 0 357948 2053 0 0 20 0 1 0 672063 511807488 98560 134679101440 4194304 8255733 140725967001808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14966784 140725967008606 140725967008868 140725967008868 140725967015881 0
/proc/6874/statm: 124953 98560 1882 992 0 116811 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 499812 KiB
Current children cumulated memory: 394240 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3620.24
CPU time (s): 3600.03
CPU user time (s): 3579.49
CPU system time (s): 20.5426
CPU usage (%): 99.4416
Max. virtual memory (cumulated for all children) (KiB): 500868
Max. memory (cumulated for all children) (KiB): 395156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.49
system time used= 20.5426
maximum resident set size= 395156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59960
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4494008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 420
involuntary context switches= 8562
# summary of solver processes directly reported to runsolver:
# pid: 6874
# total CPU time (s): 3600.03
# total CPU user time (s): 3579.49
# total CPU system time (s): 20.5426
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0627 second user time and 36.9318 second system time
The end
Begin job on nodeC002 at 2024-07-30 13:59:24 IDJOB=4462557 IDBENCH=147545 IDSOLVER=3089 FILE ID=nodeC002/4462557-1722340764 RUNJOBID= nodeC002-1722340763-6814 SLURM_JOB_ID= 8248982 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.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-4462557-1722340764/watcher-4462557-1722340764 -o /tmp/evaluation-result-4462557-1722340764/solver-4462557-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722340763-6814 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462557-1722340764 --lp-cut-gomory=0 HOME/instance-4462557-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a RANDOM SEED=1492646933 nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.379 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.210 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.23 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.199 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.65 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.200 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.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.290 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.349 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.23 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.199 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.65 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.240 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.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130489888 kB MemAvailable: 130078372 kB Buffers: 44268 kB Cached: 356132 kB SwapCached: 0 kB Active: 133128 kB Inactive: 621188 kB Active(anon): 1884 kB Inactive(anon): 381588 kB Active(file): 131244 kB Inactive(file): 239600 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 25892 kB Writeback: 0 kB AnonPages: 353468 kB Mapped: 93416 kB Shmem: 29512 kB KReclaimable: 42756 kB Slab: 112996 kB SReclaimable: 42756 kB SUnreclaim: 70240 kB KernelStack: 3904 kB PageTables: 9828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 654924 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6400 kB HardwareCorrupted: 0 kB AnonHugePages: 225280 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: 152392 kB DirectMap2M: 10237952 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 723732 MiB End job on nodeC002 at 2024-07-30 14:59:45