| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | No Cert. | 3600.06 | 3617.55 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
| MD5SUM | 62fadc113b966a642e431cfbd80ddcdc |
| 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 | 176 |
| 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 | 465 |
| Total number of constraints | 465 |
| 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 | 465 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 465 |
| 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 | 465 |
| 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 | 465 |
| 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.51 c #variables 465 #constraints 465 0.08/0.69 c bounds - >= 0 @ 0.002403 0.08/0.69 c bounds 229 >= 0 @ 0.129269 0.08/0.69 c bounds 229 >= 1 @ 0.129354 0.08/0.69 c bounds 229 >= 2 @ 0.129406 0.08/0.69 c bounds 229 >= 3 @ 0.129451 0.08/0.69 c bounds 229 >= 4 @ 0.129472 0.08/0.69 c bounds 229 >= 5 @ 0.129472 0.08/0.69 c bounds 229 >= 6 @ 0.129472 0.08/0.69 c bounds 229 >= 7 @ 0.129472 0.08/0.69 c bounds 229 >= 8 @ 0.129472 0.08/0.69 c bounds 229 >= 9 @ 0.129472 0.08/0.69 c bounds 229 >= 10 @ 0.129472 0.08/0.69 c bounds 229 >= 11 @ 0.129472 0.08/0.69 c bounds 229 >= 12 @ 0.129472 0.08/0.69 c bounds 229 >= 13 @ 0.129472 0.08/0.69 c bounds 229 >= 14 @ 0.129472 0.08/0.69 c bounds 229 >= 15 @ 0.129472 0.08/0.69 c bounds 229 >= 16 @ 0.129472 0.08/0.69 c bounds 229 >= 17 @ 0.129472 0.08/0.69 c bounds 229 >= 18 @ 0.129472 0.08/0.69 c bounds 229 >= 19 @ 0.129472 0.08/0.69 c bounds 229 >= 20 @ 0.129544 0.08/0.69 c bounds 229 >= 21 @ 0.129621 0.08/0.69 c bounds 229 >= 22 @ 0.129698 0.08/0.69 c bounds 229 >= 23 @ 0.129777 0.08/0.69 c bounds 229 >= 24 @ 0.129858 0.08/0.69 c bounds 229 >= 25 @ 0.129944 0.08/0.69 c bounds 229 >= 26 @ 0.130046 0.08/0.69 c bounds 228 >= 26 @ 0.151741 0.08/0.69 c bounds 228 >= 27 @ 0.151848 0.08/0.69 c bounds 228 >= 28 @ 0.151944 0.08/0.69 c bounds 228 >= 29 @ 0.152041 0.08/0.69 c bounds 228 >= 30 @ 0.152143 0.08/0.69 c bounds 228 >= 31 @ 0.152243 0.08/0.69 c bounds 228 >= 32 @ 0.152345 0.08/0.69 c bounds 228 >= 33 @ 0.152405 0.08/0.69 c bounds 228 >= 34 @ 0.152405 0.08/0.69 c bounds 228 >= 35 @ 0.152405 0.08/0.69 c bounds 228 >= 36 @ 0.152405 0.08/0.69 c bounds 228 >= 37 @ 0.152405 0.08/0.69 c bounds 228 >= 38 @ 0.152405 0.08/0.69 c bounds 228 >= 39 @ 0.152405 0.08/0.69 c bounds 228 >= 40 @ 0.152405 0.08/0.69 c bounds 228 >= 41 @ 0.152405 0.08/0.69 c bounds 228 >= 42 @ 0.152521 0.08/0.69 c bounds 228 >= 43 @ 0.152639 0.08/0.69 c bounds 228 >= 44 @ 0.152773 0.08/0.69 c bounds 228 >= 45 @ 0.152884 0.08/0.69 c bounds 228 >= 46 @ 0.153034 0.08/0.69 c bounds 228 >= 47 @ 0.153402 0.08/0.69 c bounds 228 >= 48 @ 0.153548 0.08/0.69 c bounds 228 >= 49 @ 0.153675 0.08/0.69 c bounds 228 >= 50 @ 0.153815 0.08/0.69 c bounds 228 >= 51 @ 0.153942 0.08/0.69 c bounds 228 >= 52 @ 0.15407 0.08/0.69 c bounds 228 >= 53 @ 0.154196 0.08/0.69 c bounds 228 >= 54 @ 0.154316 0.08/0.69 c bounds 228 >= 55 @ 0.1544 0.08/0.69 c bounds 228 >= 56 @ 0.1544 0.08/0.69 c bounds 228 >= 57 @ 0.1544 0.08/0.69 c bounds 228 >= 58 @ 0.1544 0.08/0.69 c bounds 228 >= 59 @ 0.1544 0.08/0.69 c bounds 228 >= 60 @ 0.1544 0.08/0.69 c bounds 228 >= 61 @ 0.1544 0.08/0.69 c bounds 228 >= 62 @ 0.15445 0.08/0.69 c bounds 228 >= 63 @ 0.154583 0.08/0.69 c bounds 228 >= 64 @ 0.154741 0.08/0.69 c bounds 228 >= 65 @ 0.154887 0.08/0.69 c bounds 228 >= 66 @ 0.155034 0.08/0.69 c bounds 228 >= 67 @ 0.155177 0.08/0.69 c bounds 228 >= 68 @ 0.15531 0.08/0.69 c bounds 228 >= 69 @ 0.155381 0.08/0.69 c bounds 228 >= 70 @ 0.155381 0.08/0.69 c bounds 228 >= 71 @ 0.155381 0.08/0.69 c bounds 228 >= 72 @ 0.155381 0.08/0.69 c bounds 228 >= 73 @ 0.155381 0.08/0.69 c bounds 228 >= 74 @ 0.155381 0.08/0.69 c bounds 228 >= 75 @ 0.155381 0.08/0.69 c bounds 228 >= 76 @ 0.155387 0.08/0.69 c bounds 228 >= 77 @ 0.155387 0.08/0.69 c bounds 228 >= 78 @ 0.155387 0.08/0.69 c bounds 228 >= 79 @ 0.155387 0.08/0.69 c bounds 228 >= 80 @ 0.155387 0.08/0.69 c bounds 228 >= 81 @ 0.155387 0.08/0.69 c bounds 228 >= 82 @ 0.155387 0.08/0.69 c bounds 228 >= 83 @ 0.155513 0.08/0.69 c bounds 228 >= 84 @ 0.155659 0.08/0.69 c bounds 228 >= 85 @ 0.155815 0.08/0.69 c bounds 228 >= 86 @ 0.155962 0.08/0.69 c bounds 228 >= 87 @ 0.156096 0.08/0.69 c bounds 228 >= 88 @ 0.156237 0.08/0.69 c bounds 228 >= 89 @ 0.15637 0.08/0.69 c bounds 228 >= 90 @ 0.15638 0.08/0.69 c bounds 228 >= 91 @ 0.15638 0.08/0.69 c bounds 228 >= 92 @ 0.15638 0.08/0.69 c bounds 228 >= 93 @ 0.15638 0.08/0.69 c bounds 228 >= 94 @ 0.15638 0.08/0.69 c bounds 228 >= 95 @ 0.15638 0.08/0.69 c bounds 228 >= 96 @ 0.156418 0.08/0.69 c bounds 228 >= 97 @ 0.156572 0.08/0.69 c bounds 228 >= 98 @ 0.156732 0.08/0.69 c bounds 228 >= 99 @ 0.156872 0.08/0.69 c bounds 228 >= 100 @ 0.157003 0.08/0.69 c bounds 228 >= 101 @ 0.157142 0.08/0.69 c bounds 228 >= 102 @ 0.157315 0.08/0.69 c bounds 228 >= 103 @ 0.157467 0.08/0.69 c bounds 228 >= 104 @ 0.157609 0.08/0.69 c bounds 228 >= 105 @ 0.157766 0.08/0.69 c bounds 228 >= 106 @ 0.157943 0.08/0.69 c bounds 228 >= 107 @ 0.1581 0.08/0.69 c bounds 228 >= 108 @ 0.158242 0.08/0.69 c bounds 228 >= 109 @ 0.158414 0.08/0.69 c bounds 228 >= 110 @ 0.158569 0.08/0.69 c bounds 228 >= 111 @ 0.15873 0.08/0.69 c bounds 228 >= 112 @ 0.1589 0.08/0.69 c bounds 228 >= 113 @ 0.159052 0.08/0.69 c bounds 228 >= 114 @ 0.159195 0.08/0.69 c bounds 228 >= 115 @ 0.159344 0.08/0.69 c bounds 228 >= 116 @ 0.159366 0.08/0.69 c bounds 228 >= 117 @ 0.159366 0.08/0.69 c bounds 228 >= 118 @ 0.159366 0.08/0.69 c bounds 228 >= 119 @ 0.159366 0.08/0.69 c bounds 228 >= 120 @ 0.159366 0.08/0.69 c bounds 228 >= 121 @ 0.159366 0.08/0.69 c bounds 228 >= 122 @ 0.159366 0.08/0.69 c bounds 228 >= 123 @ 0.159366 0.08/0.69 c bounds 228 >= 124 @ 0.159366 0.08/0.69 c bounds 228 >= 125 @ 0.159366 0.08/0.69 c bounds 228 >= 126 @ 0.159366 0.08/0.69 c bounds 228 >= 127 @ 0.159366 0.08/0.69 c bounds 228 >= 128 @ 0.159366 0.08/0.69 c bounds 228 >= 129 @ 0.159366 0.08/0.69 c bounds 228 >= 130 @ 0.159366 0.08/0.69 c bounds 228 >= 131 @ 0.159366 0.08/0.69 c bounds 228 >= 132 @ 0.159366 0.08/0.69 c bounds 228 >= 133 @ 0.159538 0.08/0.69 c bounds 228 >= 134 @ 0.160195 0.48/1.07 c bounds 228 >= 135 @ 0.160321 0.48/1.07 c bounds 228 >= 136 @ 0.161235 0.48/1.07 c bounds 228 >= 137 @ 0.161235 0.48/1.07 c bounds 228 >= 138 @ 0.163694 0.48/1.07 c bounds 228 >= 139 @ 0.168205 0.48/1.07 c bounds 227 >= 139 @ 0.176406 0.48/1.07 c bounds 227 >= 140 @ 0.183683 0.48/1.07 c bounds 227 >= 141 @ 0.217026 0.48/1.07 c bounds 226 >= 141 @ 0.219317 0.48/1.07 c bounds 225 >= 141 @ 0.223624 0.48/1.07 c bounds 224 >= 141 @ 0.226451 0.48/1.07 c #Conflicts: 1000 | #Constraints: 2097 0.48/1.07 c bounds 223 >= 141 @ 0.23758 0.48/1.07 c bounds 222 >= 141 @ 0.247878 0.48/1.07 c bounds 221 >= 141 @ 0.249164 0.48/1.07 c bounds 220 >= 141 @ 0.250216 0.48/1.07 c bounds 219 >= 141 @ 0.253405 0.48/1.07 c bounds 218 >= 141 @ 0.256374 0.48/1.07 c bounds 217 >= 141 @ 0.258559 0.48/1.07 c bounds 216 >= 141 @ 0.260584 0.48/1.07 c bounds 215 >= 141 @ 0.261377 0.48/1.07 c bounds 215 >= 142 @ 0.365713 0.48/1.07 c #Conflicts: 2000 | #Constraints: 3141 0.48/1.07 c INPROCESSING 0.48/1.07 c GARBAGE COLLECT 0.48/1.07 c rational objective 135.868 1.17/1.72 c bounds 214 >= 142 @ 0.580617 1.17/1.72 c #Conflicts: 3000 | #Constraints: 3143 1.17/1.72 c bounds 213 >= 142 @ 0.804359 1.17/1.72 c #Conflicts: 4000 | #Constraints: 4144 1.17/1.72 c INPROCESSING 1.17/1.72 c GARBAGE COLLECT 1.17/1.72 c rational objective 135.868 2.75/3.37 c bounds 212 >= 142 @ 1.11427 2.75/3.37 c bounds 211 >= 142 @ 1.11583 2.75/3.37 c bounds 210 >= 142 @ 1.13312 2.75/3.37 c bounds 209 >= 142 @ 1.13917 2.75/3.37 c bounds 208 >= 142 @ 1.14194 2.75/3.37 c #Conflicts: 5000 | #Constraints: 3600 2.75/3.37 c bounds 207 >= 142 @ 1.28573 2.75/3.37 c #Conflicts: 6000 | #Constraints: 4601 2.75/3.37 c bounds 207 >= 143 @ 1.70558 2.75/3.37 c bounds 206 >= 143 @ 1.71333 2.75/3.37 c bounds 205 >= 143 @ 1.72185 2.75/3.37 c INPROCESSING 2.75/3.37 c GARBAGE COLLECT 2.75/3.37 c bounds 204 >= 143 @ 2.00156 2.75/3.37 c #Conflicts: 7000 | #Constraints: 3648 2.75/3.37 c #Conflicts: 8000 | #Constraints: 4648 2.75/3.37 c bounds 203 >= 143 @ 2.30732 2.75/3.37 c bounds 202 >= 143 @ 2.33055 2.75/3.37 c #Conflicts: 9000 | #Constraints: 5650 2.75/3.37 c INPROCESSING 2.75/3.37 c GARBAGE COLLECT 2.75/3.37 c rational objective 135.868 3.94/4.55 c #Conflicts: 10000 | #Constraints: 4342 3.94/4.55 c #Conflicts: 11000 | #Constraints: 5342 3.94/4.55 c #Conflicts: 12000 | #Constraints: 6342 3.94/4.55 c INPROCESSING 3.94/4.55 c GARBAGE COLLECT 3.94/4.55 c rational objective 135.868 9.58/10.23 c bounds 201 >= 143 @ 3.82862 9.58/10.23 c #Conflicts: 13000 | #Constraints: 4824 9.58/10.23 c #Conflicts: 14000 | #Constraints: 5824 9.58/10.23 c bounds 200 >= 143 @ 4.75872 9.58/10.23 c #Conflicts: 15000 | #Constraints: 6825 9.58/10.23 c #Conflicts: 16000 | #Constraints: 7825 9.58/10.23 c #Conflicts: 17000 | #Constraints: 8825 9.58/10.23 c #Conflicts: 18000 | #Constraints: 9825 9.58/10.23 c #Conflicts: 19000 | #Constraints: 10825 9.58/10.23 c bounds 200 >= 144 @ 8.7417 9.58/10.23 c #Conflicts: 20000 | #Constraints: 11854 9.58/10.23 c bounds 199 >= 144 @ 9.01222 9.58/10.23 c INPROCESSING 9.58/10.23 c GARBAGE COLLECT 9.58/10.23 c rational objective 135.868 11.46/12.15 c #Conflicts: 21000 | #Constraints: 7356 11.46/12.15 c bounds 198 >= 144 @ 9.59337 11.46/12.15 c #Conflicts: 22000 | #Constraints: 8357 11.46/12.15 c #Conflicts: 23000 | #Constraints: 9357 11.46/12.15 c #Conflicts: 24000 | #Constraints: 10357 11.46/12.15 c INPROCESSING 11.46/12.15 c GARBAGE COLLECT 11.46/12.15 c rational objective 135.868 14.34/15.02 c #Conflicts: 25000 | #Constraints: 6561 14.34/15.02 c #Conflicts: 26000 | #Constraints: 7561 14.34/15.02 c #Conflicts: 27000 | #Constraints: 8561 14.34/15.02 c bounds 197 >= 144 @ 12.6066 14.34/15.02 c #Conflicts: 28000 | #Constraints: 9562 14.34/15.02 c INPROCESSING 14.34/15.02 c GARBAGE COLLECT 14.34/15.02 c rational objective 135.868 16.22/16.91 c bounds 196 >= 144 @ 13.8817 16.22/16.91 c #Conflicts: 29000 | #Constraints: 6061 16.22/16.91 c bounds 195 >= 144 @ 13.9277 16.22/16.91 c #Conflicts: 30000 | #Constraints: 7062 16.22/16.91 c bounds 194 >= 144 @ 14.2064 16.22/16.91 c #Conflicts: 31000 | #Constraints: 8063 16.22/16.91 c bounds 193 >= 144 @ 14.5139 16.22/16.91 c #Conflicts: 32000 | #Constraints: 9064 16.22/16.91 c #Conflicts: 33000 | #Constraints: 10064 16.22/16.91 c INPROCESSING 16.22/16.91 c GARBAGE COLLECT 16.22/16.91 c rational objective 135.868 19.00/19.78 c #Conflicts: 34000 | #Constraints: 6523 19.00/19.78 c #Conflicts: 35000 | #Constraints: 7523 19.00/19.78 c #Conflicts: 36000 | #Constraints: 8523 19.00/19.78 c #Conflicts: 37000 | #Constraints: 9523 19.00/19.78 c #Conflicts: 38000 | #Constraints: 10523 19.00/19.78 c INPROCESSING 19.00/19.78 c GARBAGE COLLECT 19.00/19.78 c rational objective 135.868 33.95/34.87 c bounds 192 >= 144 @ 18.4145 33.95/34.87 c #Conflicts: 39000 | #Constraints: 6958 33.95/34.87 c #Conflicts: 40000 | #Constraints: 7958 33.95/34.87 c #Conflicts: 41000 | #Constraints: 8958 33.95/34.87 c #Conflicts: 42000 | #Constraints: 9958 33.95/34.87 c #Conflicts: 43000 | #Constraints: 10958 33.95/34.87 c #Conflicts: 44000 | #Constraints: 11958 33.95/34.87 c #Conflicts: 45000 | #Constraints: 12958 33.95/34.87 c bounds 191 >= 144 @ 21.7577 33.95/34.87 c #Conflicts: 46000 | #Constraints: 13959 33.95/34.87 c #Conflicts: 47000 | #Constraints: 14959 33.95/34.87 c #Conflicts: 48000 | #Constraints: 15959 33.95/34.87 c #Conflicts: 49000 | #Constraints: 16959 33.95/34.87 c #Conflicts: 50000 | #Constraints: 17959 33.95/34.87 c #Conflicts: 51000 | #Constraints: 18959 33.95/34.87 c #Conflicts: 52000 | #Constraints: 19959 33.95/34.87 c INPROCESSING 33.95/34.87 c GARBAGE COLLECT 33.95/34.87 c rational objective 135.868 39.09/40.08 c #Conflicts: 53000 | #Constraints: 11289 39.09/40.08 c #Conflicts: 54000 | #Constraints: 12289 39.09/40.08 c #Conflicts: 55000 | #Constraints: 13289 39.09/40.08 c #Conflicts: 56000 | #Constraints: 14289 39.09/40.08 c bounds 190 >= 144 @ 35.5916 39.09/40.08 c bounds 189 >= 144 @ 35.8018 39.09/40.08 c #Conflicts: 57000 | #Constraints: 15291 39.09/40.08 c #Conflicts: 58000 | #Constraints: 16291 39.09/40.08 c INPROCESSING 39.09/40.08 c GARBAGE COLLECT 39.09/40.08 c rational objective 135.868 42.46/43.43 c #Conflicts: 59000 | #Constraints: 9383 42.46/43.43 c #Conflicts: 60000 | #Constraints: 10383 42.46/43.43 c bounds 188 >= 144 @ 38.9451 42.46/43.43 c #Conflicts: 61000 | #Constraints: 11384 42.46/43.43 c #Conflicts: 62000 | #Constraints: 12384 42.46/43.43 c #Conflicts: 63000 | #Constraints: 13384 42.46/43.43 c #Conflicts: 64000 | #Constraints: 14384 42.46/43.43 c #Conflicts: 65000 | #Constraints: 15384 42.46/43.43 c INPROCESSING 42.46/43.43 c GARBAGE COLLECT 42.46/43.43 c rational objective 135.868 48.29/49.36 c #Conflicts: 66000 | #Constraints: 9333 48.29/49.36 c #Conflicts: 67000 | #Constraints: 10333 48.29/49.36 c #Conflicts: 68000 | #Constraints: 11333 48.29/49.36 c #Conflicts: 69000 | #Constraints: 12333 48.29/49.36 c #Conflicts: 70000 | #Constraints: 13333 48.29/49.36 c #Conflicts: 71000 | #Constraints: 14333 48.29/49.36 c INPROCESSING 48.29/49.36 c GARBAGE COLLECT 48.29/49.36 c rational objective 135.868 79.15/80.53 c #Conflicts: 72000 | #Constraints: 8675 79.15/80.53 c #Conflicts: 73000 | #Constraints: 9675 79.15/80.53 c #Conflicts: 74000 | #Constraints: 10675 79.15/80.53 c #Conflicts: 75000 | #Constraints: 11675 79.15/80.53 c #Conflicts: 76000 | #Constraints: 12675 79.15/80.53 c #Conflicts: 77000 | #Constraints: 13675 79.15/80.53 c #Conflicts: 78000 | #Constraints: 14675 79.15/80.53 c #Conflicts: 79000 | #Constraints: 15676 79.15/80.53 c #Conflicts: 80000 | #Constraints: 16676 79.15/80.53 c #Conflicts: 81000 | #Constraints: 17676 79.15/80.53 c #Conflicts: 82000 | #Constraints: 18676 79.15/80.53 c #Conflicts: 83000 | #Constraints: 19676 79.15/80.53 c #Conflicts: 84000 | #Constraints: 20676 79.15/80.53 c #Conflicts: 85000 | #Constraints: 21676 79.15/80.53 c #Conflicts: 86000 | #Constraints: 22676 79.15/80.53 c #Conflicts: 87000 | #Constraints: 23676 79.15/80.53 c #Conflicts: 88000 | #Constraints: 24676 79.15/80.53 c #Conflicts: 89000 | #Constraints: 25676 79.15/80.53 c #Conflicts: 90000 | #Constraints: 26676 79.15/80.53 c #Conflicts: 91000 | #Constraints: 27676 79.15/80.53 c INPROCESSING 79.15/80.53 c GARBAGE COLLECT 79.15/80.53 c rational objective 135.868 94.99/96.55 c #Conflicts: 92000 | #Constraints: 15226 94.99/96.55 c #Conflicts: 93000 | #Constraints: 16226 94.99/96.55 c #Conflicts: 94000 | #Constraints: 17226 94.99/96.55 c #Conflicts: 95000 | #Constraints: 18226 94.99/96.55 c #Conflicts: 96000 | #Constraints: 19226 94.99/96.55 c #Conflicts: 97000 | #Constraints: 20226 94.99/96.55 c #Conflicts: 98000 | #Constraints: 21226 94.99/96.55 c #Conflicts: 99000 | #Constraints: 22226 94.99/96.55 c INPROCESSING 94.99/96.55 c GARBAGE COLLECT 94.99/96.55 c rational objective 135.868 105.09/106.73 c #Conflicts: 100000 | #Constraints: 12738 105.09/106.73 c #Conflicts: 101000 | #Constraints: 13738 105.09/106.73 c #Conflicts: 102000 | #Constraints: 14738 105.09/106.73 c #Conflicts: 103000 | #Constraints: 15738 105.09/106.73 c bounds 188 >= 145 @ 98.5682 105.09/106.73 c #Conflicts: 104000 | #Constraints: 16791 105.09/106.73 c #Conflicts: 105000 | #Constraints: 17791 105.09/106.73 c #Conflicts: 106000 | #Constraints: 18791 105.09/106.73 c #Conflicts: 107000 | #Constraints: 19791 105.09/106.73 c INPROCESSING 105.09/106.73 c GARBAGE COLLECT 105.09/106.73 c rational objective 135.868 114.89/116.60 c #Conflicts: 108000 | #Constraints: 11571 114.89/116.60 c #Conflicts: 109000 | #Constraints: 12571 114.89/116.60 c #Conflicts: 110000 | #Constraints: 13571 114.89/116.60 c #Conflicts: 111000 | #Constraints: 14571 114.89/116.60 c #Conflicts: 112000 | #Constraints: 15571 114.89/116.60 c #Conflicts: 113000 | #Constraints: 16571 114.89/116.60 c #Conflicts: 114000 | #Constraints: 17571 114.89/116.60 c #Conflicts: 115000 | #Constraints: 18571 114.89/116.60 c INPROCESSING 114.89/116.60 c GARBAGE COLLECT 114.89/116.60 c rational objective 135.868 170.19/172.35 c #Conflicts: 116000 | #Constraints: 10992 170.19/172.35 c #Conflicts: 117000 | #Constraints: 11992 170.19/172.35 c #Conflicts: 118000 | #Constraints: 12992 170.19/172.35 c #Conflicts: 119000 | #Constraints: 13992 170.19/172.35 c #Conflicts: 120000 | #Constraints: 14992 170.19/172.35 c #Conflicts: 121000 | #Constraints: 15992 170.19/172.35 c #Conflicts: 122000 | #Constraints: 16992 170.19/172.35 c #Conflicts: 123000 | #Constraints: 17992 170.19/172.35 c #Conflicts: 124000 | #Constraints: 18992 170.19/172.35 c #Conflicts: 125000 | #Constraints: 19992 170.19/172.35 c #Conflicts: 126000 | #Constraints: 20992 170.19/172.35 c #Conflicts: 127000 | #Constraints: 21992 170.19/172.35 c #Conflicts: 128000 | #Constraints: 22992 170.19/172.35 c #Conflicts: 129000 | #Constraints: 23992 170.19/172.35 c #Conflicts: 130000 | #Constraints: 24992 170.19/172.35 c #Conflicts: 131000 | #Constraints: 25992 170.19/172.35 c #Conflicts: 132000 | #Constraints: 26992 170.19/172.35 c #Conflicts: 133000 | #Constraints: 27992 170.19/172.35 c #Conflicts: 134000 | #Constraints: 28992 170.19/172.35 c #Conflicts: 135000 | #Constraints: 29992 170.19/172.35 c #Conflicts: 136000 | #Constraints: 30992 170.19/172.35 c #Conflicts: 137000 | #Constraints: 31992 170.19/172.35 c #Conflicts: 138000 | #Constraints: 32992 170.19/172.35 c #Conflicts: 139000 | #Constraints: 33992 170.19/172.35 c #Conflicts: 140000 | #Constraints: 34992 170.19/172.35 c INPROCESSING 170.19/172.35 c GARBAGE COLLECT 170.19/172.35 c rational objective 135.868 183.54/185.72 c #Conflicts: 141000 | #Constraints: 18930 183.54/185.72 c bounds 187 >= 145 @ 167.864 183.54/185.72 c #Conflicts: 142000 | #Constraints: 19931 183.54/185.72 c #Conflicts: 143000 | #Constraints: 20931 183.54/185.72 c #Conflicts: 144000 | #Constraints: 21931 183.54/185.72 c #Conflicts: 145000 | #Constraints: 22931 183.54/185.72 c #Conflicts: 146000 | #Constraints: 23931 183.54/185.72 c #Conflicts: 147000 | #Constraints: 24931 183.54/185.72 c #Conflicts: 148000 | #Constraints: 25931 183.54/185.72 c #Conflicts: 149000 | #Constraints: 26931 183.54/185.72 c #Conflicts: 150000 | #Constraints: 27931 183.54/185.72 c INPROCESSING 183.54/185.72 c GARBAGE COLLECT 183.54/185.72 c rational objective 135.868 200.07/202.32 c #Conflicts: 151000 | #Constraints: 15636 200.07/202.32 c #Conflicts: 152000 | #Constraints: 16636 200.07/202.32 c #Conflicts: 153000 | #Constraints: 17636 200.07/202.32 c #Conflicts: 154000 | #Constraints: 18636 200.07/202.32 c #Conflicts: 155000 | #Constraints: 19636 200.07/202.32 c bounds 186 >= 145 @ 188.434 200.07/202.32 c #Conflicts: 156000 | #Constraints: 20637 200.07/202.32 c #Conflicts: 157000 | #Constraints: 21637 200.07/202.32 c #Conflicts: 158000 | #Constraints: 22637 200.07/202.32 c #Conflicts: 159000 | #Constraints: 23637 200.07/202.32 c INPROCESSING 200.07/202.32 c GARBAGE COLLECT 200.07/202.32 c rational objective 135.868 290.70/293.39 c #Conflicts: 160000 | #Constraints: 13674 290.70/293.39 c #Conflicts: 161000 | #Constraints: 14674 290.70/293.39 c #Conflicts: 162000 | #Constraints: 15674 290.70/293.39 c #Conflicts: 163000 | #Constraints: 16674 290.70/293.39 c #Conflicts: 164000 | #Constraints: 17674 290.70/293.39 c #Conflicts: 165000 | #Constraints: 18674 290.70/293.39 c #Conflicts: 166000 | #Constraints: 19674 290.70/293.39 c #Conflicts: 167000 | #Constraints: 20674 290.70/293.39 c #Conflicts: 168000 | #Constraints: 21674 290.70/293.39 c #Conflicts: 169000 | #Constraints: 22674 290.70/293.39 c #Conflicts: 170000 | #Constraints: 23674 290.70/293.39 c #Conflicts: 171000 | #Constraints: 24674 290.70/293.39 c #Conflicts: 172000 | #Constraints: 25674 290.70/293.39 c #Conflicts: 173000 | #Constraints: 26674 290.70/293.39 c #Conflicts: 174000 | #Constraints: 27674 290.70/293.39 c #Conflicts: 175000 | #Constraints: 28674 290.70/293.39 c #Conflicts: 176000 | #Constraints: 29674 290.70/293.39 c #Conflicts: 177000 | #Constraints: 30674 290.70/293.39 c #Conflicts: 178000 | #Constraints: 31674 290.70/293.39 c #Conflicts: 179000 | #Constraints: 32674 290.70/293.39 c #Conflicts: 180000 | #Constraints: 33674 290.70/293.39 c #Conflicts: 181000 | #Constraints: 34674 290.70/293.39 c #Conflicts: 182000 | #Constraints: 35674 290.70/293.39 c #Conflicts: 183000 | #Constraints: 36674 290.70/293.39 c #Conflicts: 184000 | #Constraints: 37674 290.70/293.39 c #Conflicts: 185000 | #Constraints: 38674 290.70/293.39 c #Conflicts: 186000 | #Constraints: 39674 290.70/293.39 c #Conflicts: 187000 | #Constraints: 40674 290.70/293.39 c #Conflicts: 188000 | #Constraints: 41674 290.70/293.39 c #Conflicts: 189000 | #Constraints: 42674 290.70/293.39 c INPROCESSING 290.70/293.39 c GARBAGE COLLECT 290.70/293.39 c rational objective 135.868 340.23/343.09 c #Conflicts: 190000 | #Constraints: 22909 340.23/343.09 c #Conflicts: 191000 | #Constraints: 23909 340.23/343.09 c #Conflicts: 192000 | #Constraints: 24909 340.23/343.09 c #Conflicts: 193000 | #Constraints: 25909 340.23/343.09 c #Conflicts: 194000 | #Constraints: 26909 340.23/343.09 c #Conflicts: 195000 | #Constraints: 27909 340.23/343.09 c #Conflicts: 196000 | #Constraints: 28909 340.23/343.09 c #Conflicts: 197000 | #Constraints: 29909 340.23/343.09 c #Conflicts: 198000 | #Constraints: 30909 340.23/343.09 c #Conflicts: 199000 | #Constraints: 31909 340.23/343.09 c #Conflicts: 200000 | #Constraints: 32909 340.23/343.09 c INPROCESSING 340.23/343.09 c GARBAGE COLLECT 340.23/343.09 c rational objective 135.868 364.92/367.86 c #Conflicts: 201000 | #Constraints: 18147 364.92/367.86 c #Conflicts: 202000 | #Constraints: 19147 364.92/367.86 c #Conflicts: 203000 | #Constraints: 20147 364.92/367.86 c #Conflicts: 204000 | #Constraints: 21147 364.92/367.86 c #Conflicts: 205000 | #Constraints: 22147 364.92/367.86 c #Conflicts: 206000 | #Constraints: 23147 364.92/367.86 c #Conflicts: 207000 | #Constraints: 24147 364.92/367.86 c #Conflicts: 208000 | #Constraints: 25147 364.92/367.86 c #Conflicts: 209000 | #Constraints: 26147 364.92/367.86 c #Conflicts: 210000 | #Constraints: 27147 364.92/367.86 c #Conflicts: 211000 | #Constraints: 28147 364.92/367.86 c INPROCESSING 364.92/367.86 c GARBAGE COLLECT 364.92/367.86 c rational objective 135.868 485.36/488.75 c #Conflicts: 212000 | #Constraints: 17068 485.36/488.75 c #Conflicts: 213000 | #Constraints: 18068 485.36/488.75 c #Conflicts: 214000 | #Constraints: 19068 485.36/488.75 c #Conflicts: 215000 | #Constraints: 20068 485.36/488.75 c #Conflicts: 216000 | #Constraints: 21068 485.36/488.75 c #Conflicts: 217000 | #Constraints: 22068 485.36/488.75 c #Conflicts: 218000 | #Constraints: 23068 485.36/488.75 c #Conflicts: 219000 | #Constraints: 24068 485.36/488.75 c #Conflicts: 220000 | #Constraints: 25068 485.36/488.75 c #Conflicts: 221000 | #Constraints: 26068 485.36/488.75 c #Conflicts: 222000 | #Constraints: 27068 485.36/488.75 c #Conflicts: 223000 | #Constraints: 28068 485.36/488.75 c #Conflicts: 224000 | #Constraints: 29068 485.36/488.75 c #Conflicts: 225000 | #Constraints: 30068 485.36/488.75 c #Conflicts: 226000 | #Constraints: 31068 485.36/488.75 c #Conflicts: 227000 | #Constraints: 32068 485.36/488.75 c #Conflicts: 228000 | #Constraints: 33068 485.36/488.75 c #Conflicts: 229000 | #Constraints: 34068 485.36/488.75 c #Conflicts: 230000 | #Constraints: 35068 485.36/488.75 c #Conflicts: 231000 | #Constraints: 36068 485.36/488.75 c #Conflicts: 232000 | #Constraints: 37068 485.36/488.75 c #Conflicts: 233000 | #Constraints: 38068 485.36/488.75 c #Conflicts: 234000 | #Constraints: 39068 485.36/488.75 c #Conflicts: 235000 | #Constraints: 40068 485.36/488.75 c #Conflicts: 236000 | #Constraints: 41068 485.36/488.75 c #Conflicts: 237000 | #Constraints: 42068 485.36/488.75 c #Conflicts: 238000 | #Constraints: 43068 485.36/488.75 c #Conflicts: 239000 | #Constraints: 44068 485.36/488.75 c #Conflicts: 240000 | #Constraints: 45068 485.36/488.75 c #Conflicts: 241000 | #Constraints: 46068 485.36/488.75 c #Conflicts: 242000 | #Constraints: 47068 485.36/488.75 c #Conflicts: 243000 | #Constraints: 48068 485.36/488.75 c #Conflicts: 244000 | #Constraints: 49068 485.36/488.75 c #Conflicts: 245000 | #Constraints: 50068 485.36/488.75 c INPROCESSING 485.36/488.75 c GARBAGE COLLECT 485.36/488.75 c rational objective 135.868 503.58/507.04 c #Conflicts: 246000 | #Constraints: 26788 503.58/507.04 c #Conflicts: 247000 | #Constraints: 27788 503.58/507.04 c #Conflicts: 248000 | #Constraints: 28788 503.58/507.04 c #Conflicts: 249000 | #Constraints: 29788 503.58/507.04 c #Conflicts: 250000 | #Constraints: 30788 503.58/507.04 c #Conflicts: 251000 | #Constraints: 31788 503.58/507.04 c #Conflicts: 252000 | #Constraints: 32788 503.58/507.04 c #Conflicts: 253000 | #Constraints: 33788 503.58/507.04 c #Conflicts: 254000 | #Constraints: 34788 503.58/507.04 c #Conflicts: 255000 | #Constraints: 35788 503.58/507.04 c #Conflicts: 256000 | #Constraints: 36788 503.58/507.04 c #Conflicts: 257000 | #Constraints: 37788 503.58/507.04 c INPROCESSING 503.58/507.04 c GARBAGE COLLECT 503.58/507.04 c rational objective 135.868 641.00/644.93 c #Conflicts: 258000 | #Constraints: 20366 641.00/644.93 c #Conflicts: 259000 | #Constraints: 21366 641.00/644.93 c #Conflicts: 260000 | #Constraints: 22366 641.00/644.93 c #Conflicts: 261000 | #Constraints: 23366 641.00/644.93 c #Conflicts: 262000 | #Constraints: 24366 641.00/644.93 c #Conflicts: 263000 | #Constraints: 25366 641.00/644.93 c #Conflicts: 264000 | #Constraints: 26366 641.00/644.93 c #Conflicts: 265000 | #Constraints: 27366 641.00/644.93 c #Conflicts: 266000 | #Constraints: 28366 641.00/644.93 c #Conflicts: 267000 | #Constraints: 29366 641.00/644.93 c #Conflicts: 268000 | #Constraints: 30366 641.00/644.93 c #Conflicts: 269000 | #Constraints: 31366 641.00/644.93 c #Conflicts: 270000 | #Constraints: 32366 641.00/644.93 c #Conflicts: 271000 | #Constraints: 33366 641.00/644.93 c #Conflicts: 272000 | #Constraints: 34366 641.00/644.93 c #Conflicts: 273000 | #Constraints: 35366 641.00/644.93 c #Conflicts: 274000 | #Constraints: 36366 641.00/644.93 c #Conflicts: 275000 | #Constraints: 37366 641.00/644.93 c #Conflicts: 276000 | #Constraints: 38366 641.00/644.93 c #Conflicts: 277000 | #Constraints: 39366 641.00/644.93 c #Conflicts: 278000 | #Constraints: 40366 641.00/644.93 c #Conflicts: 279000 | #Constraints: 41366 641.00/644.93 c #Conflicts: 280000 | #Constraints: 42366 641.00/644.93 c #Conflicts: 281000 | #Constraints: 43366 641.00/644.93 c #Conflicts: 282000 | #Constraints: 44366 641.00/644.93 c #Conflicts: 283000 | #Constraints: 45366 641.00/644.93 c #Conflicts: 284000 | #Constraints: 46366 641.00/644.93 c #Conflicts: 285000 | #Constraints: 47366 641.00/644.93 c #Conflicts: 286000 | #Constraints: 48366 641.00/644.93 c #Conflicts: 287000 | #Constraints: 49366 641.00/644.93 c #Conflicts: 288000 | #Constraints: 50366 641.00/644.93 c #Conflicts: 289000 | #Constraints: 51366 641.00/644.93 c #Conflicts: 290000 | #Constraints: 52366 641.00/644.93 c #Conflicts: 291000 | #Constraints: 53366 641.00/644.93 c #Conflicts: 292000 | #Constraints: 54366 641.00/644.93 c #Conflicts: 293000 | #Constraints: 55366 641.00/644.93 c #Conflicts: 294000 | #Constraints: 56366 641.00/644.93 c INPROCESSING 641.00/644.93 c GARBAGE COLLECT 641.00/644.93 c rational objective 135.868 737.06/741.32 c #Conflicts: 295000 | #Constraints: 29708 737.06/741.32 c #Conflicts: 296000 | #Constraints: 30708 737.06/741.32 c #Conflicts: 297000 | #Constraints: 31708 737.06/741.32 c #Conflicts: 298000 | #Constraints: 32708 737.06/741.32 c #Conflicts: 299000 | #Constraints: 33708 737.06/741.32 c #Conflicts: 300000 | #Constraints: 34708 737.06/741.32 c #Conflicts: 301000 | #Constraints: 35708 737.06/741.32 c #Conflicts: 302000 | #Constraints: 36708 737.06/741.32 c #Conflicts: 303000 | #Constraints: 37708 737.06/741.32 c #Conflicts: 304000 | #Constraints: 38708 737.06/741.32 c #Conflicts: 305000 | #Constraints: 39708 737.06/741.32 c #Conflicts: 306000 | #Constraints: 40708 737.06/741.32 c #Conflicts: 307000 | #Constraints: 41708 737.06/741.32 c #Conflicts: 308000 | #Constraints: 42708 737.06/741.32 c INPROCESSING 737.06/741.32 c GARBAGE COLLECT 737.06/741.32 c rational objective 135.868 791.77/796.25 c #Conflicts: 309000 | #Constraints: 23104 791.77/796.25 c #Conflicts: 310000 | #Constraints: 24104 791.77/796.25 c #Conflicts: 311000 | #Constraints: 25104 791.77/796.25 c #Conflicts: 312000 | #Constraints: 26104 791.77/796.25 c #Conflicts: 313000 | #Constraints: 27104 791.77/796.25 c #Conflicts: 314000 | #Constraints: 28104 791.77/796.25 c #Conflicts: 315000 | #Constraints: 29104 791.77/796.25 c #Conflicts: 316000 | #Constraints: 30104 791.77/796.25 c #Conflicts: 317000 | #Constraints: 31104 791.77/796.25 c #Conflicts: 318000 | #Constraints: 32104 791.77/796.25 c #Conflicts: 319000 | #Constraints: 33104 791.77/796.25 c #Conflicts: 320000 | #Constraints: 34104 791.77/796.25 c #Conflicts: 321000 | #Constraints: 35104 791.77/796.25 c INPROCESSING 791.77/796.25 c GARBAGE COLLECT 791.77/796.25 c rational objective 135.868 944.03/949.02 c #Conflicts: 322000 | #Constraints: 22345 944.03/949.02 c #Conflicts: 323000 | #Constraints: 23345 944.03/949.02 c #Conflicts: 324000 | #Constraints: 24345 944.03/949.02 c #Conflicts: 325000 | #Constraints: 25345 944.03/949.02 c #Conflicts: 326000 | #Constraints: 26345 944.03/949.02 c #Conflicts: 327000 | #Constraints: 27345 944.03/949.02 c #Conflicts: 328000 | #Constraints: 28345 944.03/949.02 c #Conflicts: 329000 | #Constraints: 29345 944.03/949.02 c #Conflicts: 330000 | #Constraints: 30345 944.03/949.02 c #Conflicts: 331000 | #Constraints: 31345 944.03/949.02 c #Conflicts: 332000 | #Constraints: 32345 944.03/949.02 c #Conflicts: 333000 | #Constraints: 33345 944.03/949.02 c #Conflicts: 334000 | #Constraints: 34345 944.03/949.02 c #Conflicts: 335000 | #Constraints: 35345 944.03/949.02 c #Conflicts: 336000 | #Constraints: 36345 944.03/949.02 c #Conflicts: 337000 | #Constraints: 37345 944.03/949.02 c #Conflicts: 338000 | #Constraints: 38345 944.03/949.02 c #Conflicts: 339000 | #Constraints: 39345 944.03/949.02 c #Conflicts: 340000 | #Constraints: 40345 944.03/949.02 c #Conflicts: 341000 | #Constraints: 41345 944.03/949.02 c #Conflicts: 342000 | #Constraints: 42345 944.03/949.02 c #Conflicts: 343000 | #Constraints: 43345 944.03/949.02 c #Conflicts: 344000 | #Constraints: 44345 944.03/949.02 c #Conflicts: 345000 | #Constraints: 45345 944.03/949.02 c #Conflicts: 346000 | #Constraints: 46345 944.03/949.02 c #Conflicts: 347000 | #Constraints: 47345 944.03/949.02 c #Conflicts: 348000 | #Constraints: 48345 944.03/949.02 c #Conflicts: 349000 | #Constraints: 49345 944.03/949.02 c #Conflicts: 350000 | #Constraints: 50345 944.03/949.02 c #Conflicts: 351000 | #Constraints: 51345 944.03/949.02 c #Conflicts: 352000 | #Constraints: 52345 944.03/949.02 c #Conflicts: 353000 | #Constraints: 53345 944.03/949.02 c #Conflicts: 354000 | #Constraints: 54345 944.03/949.02 c #Conflicts: 355000 | #Constraints: 55345 944.03/949.02 c #Conflicts: 356000 | #Constraints: 56345 944.03/949.02 c #Conflicts: 357000 | #Constraints: 57345 944.03/949.02 c #Conflicts: 358000 | #Constraints: 58345 944.03/949.02 c #Conflicts: 359000 | #Constraints: 59345 944.03/949.02 c #Conflicts: 360000 | #Constraints: 60345 944.03/949.02 c #Conflicts: 361000 | #Constraints: 61345 944.03/949.02 c #Conflicts: 362000 | #Constraints: 62345 944.03/949.02 c #Conflicts: 363000 | #Constraints: 63345 944.03/949.02 c INPROCESSING 944.03/949.02 c GARBAGE COLLECT 944.03/949.02 c rational objective 135.868 1048.05/1053.48 c #Conflicts: 364000 | #Constraints: 33351 1048.05/1053.48 c #Conflicts: 365000 | #Constraints: 34351 1048.05/1053.48 c #Conflicts: 366000 | #Constraints: 35351 1048.05/1053.48 c #Conflicts: 367000 | #Constraints: 36351 1048.05/1053.48 c #Conflicts: 368000 | #Constraints: 37351 1048.05/1053.48 c #Conflicts: 369000 | #Constraints: 38351 1048.05/1053.48 c #Conflicts: 370000 | #Constraints: 39351 1048.05/1053.48 c #Conflicts: 371000 | #Constraints: 40351 1048.05/1053.48 c #Conflicts: 372000 | #Constraints: 41351 1048.05/1053.48 c #Conflicts: 373000 | #Constraints: 42351 1048.05/1053.48 c #Conflicts: 374000 | #Constraints: 43351 1048.05/1053.48 c #Conflicts: 375000 | #Constraints: 44351 1048.05/1053.48 c #Conflicts: 376000 | #Constraints: 45351 1048.05/1053.48 c #Conflicts: 377000 | #Constraints: 46351 1048.05/1053.48 c #Conflicts: 378000 | #Constraints: 47351 1048.05/1053.48 c INPROCESSING 1048.05/1053.48 c GARBAGE COLLECT 1048.05/1053.48 c rational objective 135.868 1114.02/1119.60 c #Conflicts: 379000 | #Constraints: 25336 1114.02/1119.60 c #Conflicts: 380000 | #Constraints: 26336 1114.02/1119.60 c #Conflicts: 381000 | #Constraints: 27336 1114.02/1119.60 c #Conflicts: 382000 | #Constraints: 28336 1114.02/1119.60 c #Conflicts: 383000 | #Constraints: 29336 1114.02/1119.60 c #Conflicts: 384000 | #Constraints: 30336 1114.02/1119.60 c #Conflicts: 385000 | #Constraints: 31336 1114.02/1119.60 c #Conflicts: 386000 | #Constraints: 32336 1114.02/1119.60 c #Conflicts: 387000 | #Constraints: 33336 1114.02/1119.60 c #Conflicts: 388000 | #Constraints: 34336 1114.02/1119.60 c #Conflicts: 389000 | #Constraints: 35336 1114.02/1119.60 c #Conflicts: 390000 | #Constraints: 36336 1114.02/1119.60 c #Conflicts: 391000 | #Constraints: 37336 1114.02/1119.60 c #Conflicts: 392000 | #Constraints: 38336 1114.02/1119.60 c #Conflicts: 393000 | #Constraints: 39336 1114.02/1119.60 c INPROCESSING 1114.02/1119.60 c GARBAGE COLLECT 1114.02/1119.60 c rational objective 135.868 1300.65/1306.95 c #Conflicts: 394000 | #Constraints: 25552 1300.65/1306.95 c #Conflicts: 395000 | #Constraints: 26552 1300.65/1306.95 c #Conflicts: 396000 | #Constraints: 27552 1300.65/1306.95 c #Conflicts: 397000 | #Constraints: 28552 1300.65/1306.95 c #Conflicts: 398000 | #Constraints: 29552 1300.65/1306.95 c #Conflicts: 399000 | #Constraints: 30552 1300.65/1306.95 c #Conflicts: 400000 | #Constraints: 31552 1300.65/1306.95 c #Conflicts: 401000 | #Constraints: 32552 1300.65/1306.95 c #Conflicts: 402000 | #Constraints: 33552 1300.65/1306.95 c #Conflicts: 403000 | #Constraints: 34552 1300.65/1306.95 c #Conflicts: 404000 | #Constraints: 35552 1300.65/1306.95 c #Conflicts: 405000 | #Constraints: 36552 1300.65/1306.95 c #Conflicts: 406000 | #Constraints: 37552 1300.65/1306.95 c #Conflicts: 407000 | #Constraints: 38552 1300.65/1306.95 c #Conflicts: 408000 | #Constraints: 39552 1300.65/1306.95 c #Conflicts: 409000 | #Constraints: 40552 1300.65/1306.95 c #Conflicts: 410000 | #Constraints: 41552 1300.65/1306.95 c #Conflicts: 411000 | #Constraints: 42552 1300.65/1306.95 c #Conflicts: 412000 | #Constraints: 43552 1300.65/1306.95 c #Conflicts: 413000 | #Constraints: 44552 1300.65/1306.95 c #Conflicts: 414000 | #Constraints: 45552 1300.65/1306.95 c #Conflicts: 415000 | #Constraints: 46552 1300.65/1306.95 c #Conflicts: 416000 | #Constraints: 47552 1300.65/1306.95 c #Conflicts: 417000 | #Constraints: 48552 1300.65/1306.95 c bounds 186 >= 146 @ 1227.05 1300.65/1306.95 c #Conflicts: 418000 | #Constraints: 49611 1300.65/1306.95 c #Conflicts: 419000 | #Constraints: 50611 1300.65/1306.95 c #Conflicts: 420000 | #Constraints: 51611 1300.65/1306.95 c #Conflicts: 421000 | #Constraints: 52611 1300.65/1306.95 c #Conflicts: 422000 | #Constraints: 53611 1300.65/1306.95 c #Conflicts: 423000 | #Constraints: 54611 1300.65/1306.95 c #Conflicts: 424000 | #Constraints: 55611 1300.65/1306.95 c #Conflicts: 425000 | #Constraints: 56611 1300.65/1306.95 c #Conflicts: 426000 | #Constraints: 57611 1300.65/1306.95 c #Conflicts: 427000 | #Constraints: 58611 1300.65/1306.95 c #Conflicts: 428000 | #Constraints: 59611 1300.65/1306.95 c #Conflicts: 429000 | #Constraints: 60611 1300.65/1306.95 c #Conflicts: 430000 | #Constraints: 61611 1300.65/1306.95 c #Conflicts: 431000 | #Constraints: 62611 1300.65/1306.95 c #Conflicts: 432000 | #Constraints: 63611 1300.65/1306.95 c #Conflicts: 433000 | #Constraints: 64611 1300.65/1306.95 c #Conflicts: 434000 | #Constraints: 65611 1300.65/1306.95 c #Conflicts: 435000 | #Constraints: 66611 1300.65/1306.95 c #Conflicts: 436000 | #Constraints: 67611 1300.65/1306.95 c #Conflicts: 437000 | #Constraints: 68611 1300.65/1306.95 c #Conflicts: 438000 | #Constraints: 69611 1300.65/1306.95 c INPROCESSING 1300.65/1306.95 c GARBAGE COLLECT 1300.65/1306.95 c rational objective 135.868 1339.41/1345.88 c #Conflicts: 439000 | #Constraints: 36055 1339.41/1345.88 c #Conflicts: 440000 | #Constraints: 37055 1339.41/1345.88 c #Conflicts: 441000 | #Constraints: 38055 1339.41/1345.88 c #Conflicts: 442000 | #Constraints: 39055 1339.41/1345.88 c #Conflicts: 443000 | #Constraints: 40055 1339.41/1345.88 c #Conflicts: 444000 | #Constraints: 41055 1339.41/1345.88 c #Conflicts: 445000 | #Constraints: 42055 1339.41/1345.88 c #Conflicts: 446000 | #Constraints: 43055 1339.41/1345.88 c #Conflicts: 447000 | #Constraints: 44055 1339.41/1345.88 c #Conflicts: 448000 | #Constraints: 45055 1339.41/1345.88 c #Conflicts: 449000 | #Constraints: 46055 1339.41/1345.88 c #Conflicts: 450000 | #Constraints: 47055 1339.41/1345.88 c #Conflicts: 451000 | #Constraints: 48055 1339.41/1345.88 c #Conflicts: 452000 | #Constraints: 49055 1339.41/1345.88 c #Conflicts: 453000 | #Constraints: 50055 1339.41/1345.88 c #Conflicts: 454000 | #Constraints: 51055 1339.41/1345.88 c #Conflicts: 455000 | #Constraints: 52055 1339.41/1345.88 c INPROCESSING 1339.41/1345.88 c GARBAGE COLLECT 1339.41/1345.88 c rational objective 135.868 1621.24/1628.67 c #Conflicts: 456000 | #Constraints: 27435 1621.24/1628.67 c #Conflicts: 457000 | #Constraints: 28435 1621.24/1628.67 c #Conflicts: 458000 | #Constraints: 29435 1621.24/1628.67 c #Conflicts: 459000 | #Constraints: 30435 1621.24/1628.67 c #Conflicts: 460000 | #Constraints: 31435 1621.24/1628.67 c #Conflicts: 461000 | #Constraints: 32435 1621.24/1628.67 c #Conflicts: 462000 | #Constraints: 33435 1621.24/1628.67 c #Conflicts: 463000 | #Constraints: 34435 1621.24/1628.67 c #Conflicts: 464000 | #Constraints: 35435 1621.24/1628.67 c #Conflicts: 465000 | #Constraints: 36435 1621.24/1628.67 c #Conflicts: 466000 | #Constraints: 37435 1621.24/1628.67 c #Conflicts: 467000 | #Constraints: 38435 1621.24/1628.67 c #Conflicts: 468000 | #Constraints: 39435 1621.24/1628.67 c #Conflicts: 469000 | #Constraints: 40435 1621.24/1628.67 c #Conflicts: 470000 | #Constraints: 41435 1621.24/1628.67 c #Conflicts: 471000 | #Constraints: 42435 1621.24/1628.67 c #Conflicts: 472000 | #Constraints: 43435 1621.24/1628.67 c #Conflicts: 473000 | #Constraints: 44435 1621.24/1628.67 c #Conflicts: 474000 | #Constraints: 45435 1621.24/1628.67 c #Conflicts: 475000 | #Constraints: 46435 1621.24/1628.67 c #Conflicts: 476000 | #Constraints: 47435 1621.24/1628.67 c #Conflicts: 477000 | #Constraints: 48435 1621.24/1628.67 c #Conflicts: 478000 | #Constraints: 49435 1621.24/1628.67 c #Conflicts: 479000 | #Constraints: 50435 1621.24/1628.67 c #Conflicts: 480000 | #Constraints: 51435 1621.24/1628.67 c #Conflicts: 481000 | #Constraints: 52435 1621.24/1628.67 c #Conflicts: 482000 | #Constraints: 53435 1621.24/1628.67 c #Conflicts: 483000 | #Constraints: 54435 1621.24/1628.67 c #Conflicts: 484000 | #Constraints: 55435 1621.24/1628.67 c #Conflicts: 485000 | #Constraints: 56435 1621.24/1628.67 c #Conflicts: 486000 | #Constraints: 57435 1621.24/1628.67 c #Conflicts: 487000 | #Constraints: 58435 1621.24/1628.67 c #Conflicts: 488000 | #Constraints: 59435 1621.24/1628.67 c #Conflicts: 489000 | #Constraints: 60435 1621.24/1628.67 c #Conflicts: 490000 | #Constraints: 61435 1621.24/1628.67 c #Conflicts: 491000 | #Constraints: 62435 1621.24/1628.67 c #Conflicts: 492000 | #Constraints: 63435 1621.24/1628.67 c #Conflicts: 493000 | #Constraints: 64435 1621.24/1628.67 c #Conflicts: 494000 | #Constraints: 65435 1621.24/1628.67 c #Conflicts: 495000 | #Constraints: 66435 1621.24/1628.67 c #Conflicts: 496000 | #Constraints: 67435 1621.24/1628.67 c #Conflicts: 497000 | #Constraints: 68435 1621.24/1628.67 c #Conflicts: 498000 | #Constraints: 69435 1621.24/1628.67 c #Conflicts: 499000 | #Constraints: 70435 1621.24/1628.67 c #Conflicts: 500000 | #Constraints: 71435 1621.24/1628.67 c #Conflicts: 501000 | #Constraints: 72435 1621.24/1628.67 c #Conflicts: 502000 | #Constraints: 73435 1621.24/1628.67 c #Conflicts: 503000 | #Constraints: 74435 1621.24/1628.67 c #Conflicts: 504000 | #Constraints: 75435 1621.24/1628.67 c INPROCESSING 1621.24/1628.67 c GARBAGE COLLECT 1621.24/1628.67 c rational objective 135.868 1672.67/1680.23 c #Conflicts: 505000 | #Constraints: 39506 1672.67/1680.23 c #Conflicts: 506000 | #Constraints: 40506 1672.67/1680.23 c #Conflicts: 507000 | #Constraints: 41506 1672.67/1680.23 c #Conflicts: 508000 | #Constraints: 42506 1672.67/1680.23 c #Conflicts: 509000 | #Constraints: 43506 1672.67/1680.23 c #Conflicts: 510000 | #Constraints: 44506 1672.67/1680.23 c #Conflicts: 511000 | #Constraints: 45506 1672.67/1680.23 c #Conflicts: 512000 | #Constraints: 46506 1672.67/1680.23 c #Conflicts: 513000 | #Constraints: 47506 1672.67/1680.23 c #Conflicts: 514000 | #Constraints: 48506 1672.67/1680.23 c #Conflicts: 515000 | #Constraints: 49506 1672.67/1680.23 c #Conflicts: 516000 | #Constraints: 50506 1672.67/1680.23 c #Conflicts: 517000 | #Constraints: 51506 1672.67/1680.23 c #Conflicts: 518000 | #Constraints: 52506 1672.67/1680.23 c #Conflicts: 519000 | #Constraints: 53506 1672.67/1680.23 c #Conflicts: 520000 | #Constraints: 54506 1672.67/1680.23 c #Conflicts: 521000 | #Constraints: 55506 1672.67/1680.23 c #Conflicts: 522000 | #Constraints: 56506 1672.67/1680.23 c INPROCESSING 1672.67/1680.23 c GARBAGE COLLECT 1672.67/1680.23 c rational objective 135.868 1939.60/1948.03 c #Conflicts: 523000 | #Constraints: 34058 1939.60/1948.03 c #Conflicts: 524000 | #Constraints: 35058 1939.60/1948.03 c #Conflicts: 525000 | #Constraints: 36058 1939.60/1948.03 c #Conflicts: 526000 | #Constraints: 37058 1939.60/1948.03 c #Conflicts: 527000 | #Constraints: 38058 1939.60/1948.03 c #Conflicts: 528000 | #Constraints: 39058 1939.60/1948.03 c #Conflicts: 529000 | #Constraints: 40058 1939.60/1948.03 c #Conflicts: 530000 | #Constraints: 41058 1939.60/1948.03 c #Conflicts: 531000 | #Constraints: 42058 1939.60/1948.03 c #Conflicts: 532000 | #Constraints: 43058 1939.60/1948.03 c #Conflicts: 533000 | #Constraints: 44058 1939.60/1948.03 c #Conflicts: 534000 | #Constraints: 45058 1939.60/1948.03 c #Conflicts: 535000 | #Constraints: 46058 1939.60/1948.03 c #Conflicts: 536000 | #Constraints: 47058 1939.60/1948.03 c #Conflicts: 537000 | #Constraints: 48058 1939.60/1948.03 c #Conflicts: 538000 | #Constraints: 49058 1939.60/1948.03 c #Conflicts: 539000 | #Constraints: 50058 1939.60/1948.03 c #Conflicts: 540000 | #Constraints: 51058 1939.60/1948.03 c #Conflicts: 541000 | #Constraints: 52058 1939.60/1948.03 c #Conflicts: 542000 | #Constraints: 53058 1939.60/1948.03 c #Conflicts: 543000 | #Constraints: 54058 1939.60/1948.03 c #Conflicts: 544000 | #Constraints: 55058 1939.60/1948.03 c #Conflicts: 545000 | #Constraints: 56058 1939.60/1948.03 c #Conflicts: 546000 | #Constraints: 57058 1939.60/1948.03 c #Conflicts: 547000 | #Constraints: 58058 1939.60/1948.03 c #Conflicts: 548000 | #Constraints: 59058 1939.60/1948.03 c #Conflicts: 549000 | #Constraints: 60058 1939.60/1948.03 c #Conflicts: 550000 | #Constraints: 61058 1939.60/1948.03 c #Conflicts: 551000 | #Constraints: 62058 1939.60/1948.03 c #Conflicts: 552000 | #Constraints: 63058 1939.60/1948.03 c #Conflicts: 553000 | #Constraints: 64058 1939.60/1948.03 c #Conflicts: 554000 | #Constraints: 65058 1939.60/1948.03 c #Conflicts: 555000 | #Constraints: 66058 1939.60/1948.03 c #Conflicts: 556000 | #Constraints: 67058 1939.60/1948.03 c #Conflicts: 557000 | #Constraints: 68058 1939.60/1948.03 c #Conflicts: 558000 | #Constraints: 69058 1939.60/1948.03 c #Conflicts: 559000 | #Constraints: 70058 1939.60/1948.03 c #Conflicts: 560000 | #Constraints: 71058 1939.60/1948.03 c #Conflicts: 561000 | #Constraints: 72058 1939.60/1948.03 c #Conflicts: 562000 | #Constraints: 73058 1939.60/1948.03 c #Conflicts: 563000 | #Constraints: 74058 1939.60/1948.03 c #Conflicts: 564000 | #Constraints: 75058 1939.60/1948.03 c #Conflicts: 565000 | #Constraints: 76058 1939.60/1948.03 c #Conflicts: 566000 | #Constraints: 77058 1939.60/1948.03 c #Conflicts: 567000 | #Constraints: 78058 1939.60/1948.03 c #Conflicts: 568000 | #Constraints: 79058 1939.60/1948.03 c #Conflicts: 569000 | #Constraints: 80058 1939.60/1948.03 c #Conflicts: 570000 | #Constraints: 81058 1939.60/1948.03 c #Conflicts: 571000 | #Constraints: 82058 1939.60/1948.03 c #Conflicts: 572000 | #Constraints: 83058 1939.60/1948.03 c #Conflicts: 573000 | #Constraints: 84058 1939.60/1948.03 c INPROCESSING 1939.60/1948.03 c GARBAGE COLLECT 1939.60/1948.03 c rational objective 135.868 2112.84/2121.88 c #Conflicts: 574000 | #Constraints: 43478 2112.84/2121.88 c #Conflicts: 575000 | #Constraints: 44478 2112.84/2121.88 c #Conflicts: 576000 | #Constraints: 45478 2112.84/2121.88 c #Conflicts: 577000 | #Constraints: 46478 2112.84/2121.88 c #Conflicts: 578000 | #Constraints: 47478 2112.84/2121.88 c #Conflicts: 579000 | #Constraints: 48478 2112.84/2121.88 c #Conflicts: 580000 | #Constraints: 49478 2112.84/2121.88 c #Conflicts: 581000 | #Constraints: 50478 2112.84/2121.88 c #Conflicts: 582000 | #Constraints: 51478 2112.84/2121.88 c #Conflicts: 583000 | #Constraints: 52478 2112.84/2121.88 c #Conflicts: 584000 | #Constraints: 53478 2112.84/2121.88 c #Conflicts: 585000 | #Constraints: 54478 2112.84/2121.88 c #Conflicts: 586000 | #Constraints: 55478 2112.84/2121.88 c #Conflicts: 587000 | #Constraints: 56478 2112.84/2121.88 c #Conflicts: 588000 | #Constraints: 57478 2112.84/2121.88 c #Conflicts: 589000 | #Constraints: 58478 2112.84/2121.88 c #Conflicts: 590000 | #Constraints: 59478 2112.84/2121.88 c #Conflicts: 591000 | #Constraints: 60478 2112.84/2121.88 c #Conflicts: 592000 | #Constraints: 61478 2112.84/2121.88 c INPROCESSING 2112.84/2121.88 c GARBAGE COLLECT 2112.84/2121.88 c rational objective 135.868 2382.26/2392.12 c #Conflicts: 593000 | #Constraints: 35580 2382.26/2392.12 c #Conflicts: 594000 | #Constraints: 36580 2382.26/2392.12 c #Conflicts: 595000 | #Constraints: 37580 2382.26/2392.12 c #Conflicts: 596000 | #Constraints: 38580 2382.26/2392.12 c #Conflicts: 597000 | #Constraints: 39580 2382.26/2392.12 c #Conflicts: 598000 | #Constraints: 40580 2382.26/2392.12 c #Conflicts: 599000 | #Constraints: 41580 2382.26/2392.12 c #Conflicts: 600000 | #Constraints: 42580 2382.26/2392.12 c #Conflicts: 601000 | #Constraints: 43580 2382.26/2392.12 c #Conflicts: 602000 | #Constraints: 44580 2382.26/2392.12 c #Conflicts: 603000 | #Constraints: 45580 2382.26/2392.12 c #Conflicts: 604000 | #Constraints: 46580 2382.26/2392.12 c #Conflicts: 605000 | #Constraints: 47580 2382.26/2392.12 c #Conflicts: 606000 | #Constraints: 48580 2382.26/2392.12 c #Conflicts: 607000 | #Constraints: 49580 2382.26/2392.12 c #Conflicts: 608000 | #Constraints: 50580 2382.26/2392.12 c #Conflicts: 609000 | #Constraints: 51580 2382.26/2392.12 c #Conflicts: 610000 | #Constraints: 52580 2382.26/2392.12 c #Conflicts: 611000 | #Constraints: 53580 2382.26/2392.12 c #Conflicts: 612000 | #Constraints: 54580 2382.26/2392.12 c #Conflicts: 613000 | #Constraints: 55580 2382.26/2392.12 c #Conflicts: 614000 | #Constraints: 56580 2382.26/2392.12 c #Conflicts: 615000 | #Constraints: 57580 2382.26/2392.12 c #Conflicts: 616000 | #Constraints: 58580 2382.26/2392.12 c #Conflicts: 617000 | #Constraints: 59580 2382.26/2392.12 c #Conflicts: 618000 | #Constraints: 60580 2382.26/2392.12 c #Conflicts: 619000 | #Constraints: 61580 2382.26/2392.12 c #Conflicts: 620000 | #Constraints: 62580 2382.26/2392.12 c #Conflicts: 621000 | #Constraints: 63580 2382.26/2392.12 c #Conflicts: 622000 | #Constraints: 64580 2382.26/2392.12 c #Conflicts: 623000 | #Constraints: 65580 2382.26/2392.12 c #Conflicts: 624000 | #Constraints: 66580 2382.26/2392.12 c #Conflicts: 625000 | #Constraints: 67580 2382.26/2392.12 c #Conflicts: 626000 | #Constraints: 68580 2382.26/2392.12 c #Conflicts: 627000 | #Constraints: 69580 2382.26/2392.12 c #Conflicts: 628000 | #Constraints: 70580 2382.26/2392.12 c #Conflicts: 629000 | #Constraints: 71580 2382.26/2392.12 c #Conflicts: 630000 | #Constraints: 72580 2382.26/2392.12 c #Conflicts: 631000 | #Constraints: 73580 2382.26/2392.12 c #Conflicts: 632000 | #Constraints: 74580 2382.26/2392.12 c #Conflicts: 633000 | #Constraints: 75580 2382.26/2392.12 c #Conflicts: 634000 | #Constraints: 76580 2382.26/2392.12 c #Conflicts: 635000 | #Constraints: 77580 2382.26/2392.12 c #Conflicts: 636000 | #Constraints: 78580 2382.26/2392.12 c #Conflicts: 637000 | #Constraints: 79580 2382.26/2392.12 c #Conflicts: 638000 | #Constraints: 80580 2382.26/2392.12 c #Conflicts: 639000 | #Constraints: 81580 2382.26/2392.12 c #Conflicts: 640000 | #Constraints: 82580 2382.26/2392.12 c #Conflicts: 641000 | #Constraints: 83580 2382.26/2392.12 c #Conflicts: 642000 | #Constraints: 84580 2382.26/2392.12 c #Conflicts: 643000 | #Constraints: 85580 2382.26/2392.12 c #Conflicts: 644000 | #Constraints: 86580 2382.26/2392.12 c #Conflicts: 645000 | #Constraints: 87580 2382.26/2392.12 c #Conflicts: 646000 | #Constraints: 88580 2382.26/2392.12 c #Conflicts: 647000 | #Constraints: 89580 2382.26/2392.12 c INPROCESSING 2382.26/2392.12 c GARBAGE COLLECT 2382.26/2392.12 c rational objective 135.868 2571.42/2581.91 c #Conflicts: 648000 | #Constraints: 46299 2571.42/2581.91 c #Conflicts: 649000 | #Constraints: 47299 2571.42/2581.91 c #Conflicts: 650000 | #Constraints: 48299 2571.42/2581.91 c #Conflicts: 651000 | #Constraints: 49299 2571.42/2581.91 c #Conflicts: 652000 | #Constraints: 50299 2571.42/2581.91 c #Conflicts: 653000 | #Constraints: 51299 2571.42/2581.91 c #Conflicts: 654000 | #Constraints: 52299 2571.42/2581.91 c #Conflicts: 655000 | #Constraints: 53299 2571.42/2581.91 c #Conflicts: 656000 | #Constraints: 54299 2571.42/2581.91 c #Conflicts: 657000 | #Constraints: 55299 2571.42/2581.91 c #Conflicts: 658000 | #Constraints: 56299 2571.42/2581.91 c #Conflicts: 659000 | #Constraints: 57299 2571.42/2581.91 c #Conflicts: 660000 | #Constraints: 58299 2571.42/2581.91 c #Conflicts: 661000 | #Constraints: 59299 2571.42/2581.91 c #Conflicts: 662000 | #Constraints: 60299 2571.42/2581.91 c #Conflicts: 663000 | #Constraints: 61299 2571.42/2581.91 c #Conflicts: 664000 | #Constraints: 62299 2571.42/2581.91 c #Conflicts: 665000 | #Constraints: 63299 2571.42/2581.91 c #Conflicts: 666000 | #Constraints: 64299 2571.42/2581.91 c #Conflicts: 667000 | #Constraints: 65299 2571.42/2581.91 c #Conflicts: 668000 | #Constraints: 66299 2571.42/2581.91 c INPROCESSING 2571.42/2581.91 c GARBAGE COLLECT 2571.42/2581.91 c rational objective 135.868 3079.76/3092.05 c #Conflicts: 669000 | #Constraints: 38700 3079.76/3092.05 c #Conflicts: 670000 | #Constraints: 39700 3079.76/3092.05 c #Conflicts: 671000 | #Constraints: 40700 3079.76/3092.05 c #Conflicts: 672000 | #Constraints: 41700 3079.76/3092.05 c #Conflicts: 673000 | #Constraints: 42700 3079.76/3092.05 c #Conflicts: 674000 | #Constraints: 43700 3079.76/3092.05 c #Conflicts: 675000 | #Constraints: 44700 3079.76/3092.05 c #Conflicts: 676000 | #Constraints: 45700 3079.76/3092.05 c #Conflicts: 677000 | #Constraints: 46700 3079.76/3092.05 c #Conflicts: 678000 | #Constraints: 47700 3079.76/3092.05 c #Conflicts: 679000 | #Constraints: 48700 3079.76/3092.05 c #Conflicts: 680000 | #Constraints: 49700 3079.76/3092.05 c #Conflicts: 681000 | #Constraints: 50700 3079.76/3092.05 c #Conflicts: 682000 | #Constraints: 51700 3079.76/3092.05 c #Conflicts: 683000 | #Constraints: 52700 3079.76/3092.05 c #Conflicts: 684000 | #Constraints: 53700 3079.76/3092.05 c #Conflicts: 685000 | #Constraints: 54700 3079.76/3092.05 c #Conflicts: 686000 | #Constraints: 55700 3079.76/3092.05 c #Conflicts: 687000 | #Constraints: 56700 3079.76/3092.05 c #Conflicts: 688000 | #Constraints: 57700 3079.76/3092.05 c #Conflicts: 689000 | #Constraints: 58700 3079.76/3092.05 c #Conflicts: 690000 | #Constraints: 59700 3079.76/3092.05 c #Conflicts: 691000 | #Constraints: 60700 3079.76/3092.05 c #Conflicts: 692000 | #Constraints: 61700 3079.76/3092.05 c #Conflicts: 693000 | #Constraints: 62700 3079.76/3092.05 c #Conflicts: 694000 | #Constraints: 63700 3079.76/3092.05 c #Conflicts: 695000 | #Constraints: 64700 3079.76/3092.05 c #Conflicts: 696000 | #Constraints: 65700 3079.76/3092.05 c #Conflicts: 697000 | #Constraints: 66700 3079.76/3092.05 c #Conflicts: 698000 | #Constraints: 67700 3079.76/3092.05 c #Conflicts: 699000 | #Constraints: 68700 3079.76/3092.05 c #Conflicts: 700000 | #Constraints: 69700 3079.76/3092.05 c #Conflicts: 701000 | #Constraints: 70700 3079.76/3092.05 c #Conflicts: 702000 | #Constraints: 71700 3079.76/3092.05 c #Conflicts: 703000 | #Constraints: 72700 3079.76/3092.05 c #Conflicts: 704000 | #Constraints: 73700 3079.76/3092.05 c #Conflicts: 705000 | #Constraints: 74700 3079.76/3092.05 c #Conflicts: 706000 | #Constraints: 75700 3079.76/3092.05 c #Conflicts: 707000 | #Constraints: 76700 3079.76/3092.05 c #Conflicts: 708000 | #Constraints: 77700 3079.76/3092.05 c #Conflicts: 709000 | #Constraints: 78700 3079.76/3092.05 c #Conflicts: 710000 | #Constraints: 79700 3079.76/3092.05 c #Conflicts: 711000 | #Constraints: 80700 3079.76/3092.05 c #Conflicts: 712000 | #Constraints: 81700 3079.76/3092.05 c #Conflicts: 713000 | #Constraints: 82700 3079.76/3092.05 c #Conflicts: 714000 | #Constraints: 83700 3079.76/3092.05 c #Conflicts: 715000 | #Constraints: 84700 3079.76/3092.05 c #Conflicts: 716000 | #Constraints: 85700 3079.76/3092.05 c #Conflicts: 717000 | #Constraints: 86700 3079.76/3092.05 c #Conflicts: 718000 | #Constraints: 87700 3079.76/3092.05 c #Conflicts: 719000 | #Constraints: 88700 3079.76/3092.05 c #Conflicts: 720000 | #Constraints: 89700 3079.76/3092.05 c #Conflicts: 721000 | #Constraints: 90700 3079.76/3092.05 c #Conflicts: 722000 | #Constraints: 91700 3079.76/3092.05 c #Conflicts: 723000 | #Constraints: 92700 3079.76/3092.05 c #Conflicts: 724000 | #Constraints: 93700 3079.76/3092.05 c #Conflicts: 725000 | #Constraints: 94700 3079.76/3092.05 c INPROCESSING 3079.76/3092.05 c GARBAGE COLLECT 3079.76/3092.05 c rational objective 135.868 3201.76/3214.40 c #Conflicts: 726000 | #Constraints: 48794 3201.76/3214.40 c #Conflicts: 727000 | #Constraints: 49794 3201.76/3214.40 c #Conflicts: 728000 | #Constraints: 50794 3201.76/3214.40 c #Conflicts: 729000 | #Constraints: 51794 3201.76/3214.40 c #Conflicts: 730000 | #Constraints: 52794 3201.76/3214.40 c #Conflicts: 731000 | #Constraints: 53794 3201.76/3214.40 c #Conflicts: 732000 | #Constraints: 54794 3201.76/3214.40 c #Conflicts: 733000 | #Constraints: 55794 3201.76/3214.40 c #Conflicts: 734000 | #Constraints: 56794 3201.76/3214.40 c #Conflicts: 735000 | #Constraints: 57794 3201.76/3214.40 c #Conflicts: 736000 | #Constraints: 58794 3201.76/3214.40 c #Conflicts: 737000 | #Constraints: 59794 3201.76/3214.40 c #Conflicts: 738000 | #Constraints: 60794 3201.76/3214.40 c #Conflicts: 739000 | #Constraints: 61794 3201.76/3214.40 c #Conflicts: 740000 | #Constraints: 62794 3201.76/3214.40 c #Conflicts: 741000 | #Constraints: 63794 3201.76/3214.40 c #Conflicts: 742000 | #Constraints: 64794 3201.76/3214.40 c #Conflicts: 743000 | #Constraints: 65794 3201.76/3214.40 c #Conflicts: 744000 | #Constraints: 66794 3201.76/3214.40 c #Conflicts: 745000 | #Constraints: 67794 3201.76/3214.40 c #Conflicts: 746000 | #Constraints: 68794 3201.76/3214.40 c #Conflicts: 747000 | #Constraints: 69794 3201.76/3214.40 c INPROCESSING 3201.76/3214.40 c GARBAGE COLLECT 3201.76/3214.40 c rational objective 135.868 3600.04/3614.00 c #Conflicts: 748000 | #Constraints: 43770 3600.04/3614.00 c #Conflicts: 749000 | #Constraints: 44770 3600.04/3614.00 c #Conflicts: 750000 | #Constraints: 45770 3600.04/3614.00 c #Conflicts: 751000 | #Constraints: 46770 3600.04/3614.00 c #Conflicts: 752000 | #Constraints: 47770 3600.04/3614.00 c #Conflicts: 753000 | #Constraints: 48770 3600.04/3614.00 c #Conflicts: 754000 | #Constraints: 49770 3600.04/3614.00 c #Conflicts: 755000 | #Constraints: 50770 3600.04/3614.00 c #Conflicts: 756000 | #Constraints: 51770 3600.04/3614.00 c #Conflicts: 757000 | #Constraints: 52770 3600.04/3614.00 c #Conflicts: 758000 | #Constraints: 53770 3600.04/3614.00 c #Conflicts: 759000 | #Constraints: 54770 3600.04/3614.00 c #Conflicts: 760000 | #Constraints: 55770 3600.04/3614.00 c #Conflicts: 761000 | #Constraints: 56770 3600.04/3614.00 c #Conflicts: 762000 | #Constraints: 57770 3600.04/3614.00 c #Conflicts: 763000 | #Constraints: 58770 3600.04/3614.00 c #Conflicts: 764000 | #Constraints: 59770 3600.04/3614.00 c #Conflicts: 765000 | #Constraints: 60770 3600.04/3614.00 c #Conflicts: 766000 | #Constraints: 61770 3600.04/3614.00 c #Conflicts: 767000 | #Constraints: 62770 3600.04/3614.00 c #Conflicts: 768000 | #Constraints: 63770 3600.04/3614.00 c #Conflicts: 769000 | #Constraints: 64770 3600.04/3614.00 c #Conflicts: 770000 | #Constraints: 65770 3600.04/3614.00 c #Conflicts: 771000 | #Constraints: 66770 3600.04/3614.00 c #Conflicts: 772000 | #Constraints: 67770 3600.04/3614.00 c #Conflicts: 773000 | #Constraints: 68770 3600.04/3614.00 c #Conflicts: 774000 | #Constraints: 69770 3600.04/3614.00 c #Conflicts: 775000 | #Constraints: 70770 3600.04/3614.00 c #Conflicts: 776000 | #Constraints: 71770 3600.04/3614.00 c #Conflicts: 777000 | #Constraints: 72770 3600.04/3614.00 c #Conflicts: 778000 | #Constraints: 73770 3600.04/3614.00 c #Conflicts: 779000 | #Constraints: 74770 3600.04/3614.00 c #Conflicts: 780000 | #Constraints: 75770 3600.04/3614.00 c #Conflicts: 781000 | #Constraints: 76770 3600.04/3614.00 c #Conflicts: 782000 | #Constraints: 77771 3600.04/3614.00 c #Conflicts: 783000 | #Constraints: 78771 3600.04/3614.00 c #Conflicts: 784000 | #Constraints: 79771 3600.04/3614.00 c #Conflicts: 785000 | #Constraints: 80771 3600.04/3614.00 c #Conflicts: 786000 | #Constraints: 81771 3600.04/3614.00 c #Conflicts: 787000 | #Constraints: 82771 3600.04/3614.00 c #Conflicts: 788000 | #Constraints: 83771 3600.04/3614.00 c #Conflicts: 789000 | #Constraints: 84771 3600.04/3614.00 c #Conflicts: 790000 | #Constraints: 85771 3600.04/3614.00 c #Conflicts: 791000 | #Constraints: 86771 3600.04/3614.00 c #Conflicts: 792000 | #Constraints: 87771 3600.04/3614.00 c #Conflicts: 793000 | #Constraints: 88771 3600.04/3614.00 c #Conflicts: 794000 | #Constraints: 89771 3600.04/3614.00 c #Conflicts: 795000 | #Constraints: 90771 3600.04/3614.00 c #Conflicts: 796000 | #Constraints: 91771 3600.04/3614.00 c #Conflicts: 797000 | #Constraints: 92771 3600.04/3614.00 c #Conflicts: 798000 | #Constraints: 93771 3600.04/3614.00 c #Conflicts: 799000 | #Constraints: 94771 3600.04/3614.00 c #Conflicts: 800000 | #Constraints: 95771 3600.04/3614.00 c #Conflicts: 801000 | #Constraints: 96771 3600.04/3614.00 c #Conflicts: 802000 | #Constraints: 97771 3600.04/3614.00 c #Conflicts: 803000 | #Constraints: 98771 3600.04/3614.00 c #Conflicts: 804000 | #Constraints: 99771 3600.04/3614.00 c #Conflicts: 805000 | #Constraints: 100771 3600.04/3614.00 c #Conflicts: 806000 | #Constraints: 101771 3600.04/3614.00 c Program interrupted by user. 3600.04/3614.00 c cpu time 3582.99 s 3600.04/3614.00 c deterministic time 363961694442 3.64e+11 3600.04/3614.00 c optimization time 397.028 s 3600.04/3614.00 c total solve time 3185.96 s 3600.04/3614.00 c core-guided solve time 1900.24 s 3600.04/3614.00 c propagation time 3075.69 s 3600.04/3614.00 c conflict analysis time 467.132 s 3600.04/3614.00 c propagations 107807472 3600.04/3614.00 c resolve steps 6710972 3600.04/3614.00 c decisions 5703605 3600.04/3614.00 c conflicts 806841 3600.04/3614.00 c restarts 1723 3600.04/3614.00 c inprocessing phases 42 3600.04/3614.00 c input clauses 304 3600.04/3614.00 c input cardinalities 190 3600.04/3614.00 c input general constraints 871 3600.04/3614.00 c input average constraint length 22.30 3600.04/3614.00 c input average constraint degree 20.00 3600.04/3614.00 c learned clauses 283922 3600.04/3614.00 c learned cardinalities 5476 3600.04/3614.00 c learned general constraints 517458 3600.04/3614.00 c learned average constraint length 189.85 3600.04/3614.00 c learned average constraint degree 6614008.44 3600.04/3614.00 c watched constraints 335081 3600.04/3614.00 c counting constraints 183248 3600.04/3614.00 c gcd simplifications 101940 3600.04/3614.00 c detected cardinalities 2252 3600.04/3614.00 c weakened non-implied lits 35738561 3600.04/3614.00 c weakened non-implying lits 71470 3600.04/3614.00 c original variables 465 3600.04/3614.00 c clausal propagations 10989269 3600.04/3614.00 c cardinality propagations 6548011 3600.04/3614.00 c watched propagations 14938235 3600.04/3614.00 c counting propagations 73623706 3600.04/3614.00 c watch lookups 66575727940 3600.04/3614.00 c watch backjump lookups 60119944850 3600.04/3614.00 c watch checks 213838453018 3600.04/3614.00 c propagation checks 22589043074 3600.04/3614.00 c constraint additions 609850385 3600.04/3614.00 c trail pops 114317336 3600.04/3614.00 c formula constraints 465 3600.04/3614.00 c learned constraints 806850 3600.04/3614.00 c bound constraints 44 3600.04/3614.00 c core-guided constraints 856 3600.04/3614.00 c encountered formula constraints 1263755 3600.04/3614.00 c encountered learned constraints 5312714 3600.04/3614.00 c encountered bound constraints 66 3600.04/3614.00 c encountered core-guided constraints 941262 3600.04/3614.00 c LP total time 40.6582 s 3600.04/3614.00 c LP solve time 39.33 s 3600.04/3614.00 c LP constraints added 465 3600.04/3614.00 c LP constraints removed 0 3600.04/3614.00 c LP pivots internal 806910 3600.04/3614.00 c LP pivots root 39851 3600.04/3614.00 c LP calls 14535 3600.04/3614.00 c LP optimalities 14529 3600.04/3614.00 c LP no pivot count 575 3600.04/3614.00 c LP infeasibilities 3 3600.04/3614.00 c LP valid Farkas constraints 3 3600.04/3614.00 c LP learned Farkas constraints 3 3600.04/3614.00 c LP basis resets 0 3600.04/3614.00 c LP cycling count 0 3600.04/3614.00 c LP singular count 0 3600.04/3614.00 c LP no primal count 0 3600.04/3614.00 c LP no farkas count 0 3600.04/3614.00 c LP other issue count 0 3600.04/3614.00 c LP Gomory cuts 0 3600.04/3614.00 c LP learned cuts 0 3600.04/3614.00 c LP deleted cuts 0 3600.04/3614.00 c LP encountered Gomory constraints 0 3600.04/3614.00 c LP encountered Farkas constraints 9 3600.04/3614.00 c LP encountered learned Farkas constraints 4 3600.04/3614.00 c CG auxiliary variables introduced 334 3600.04/3614.00 c CG solutions found 44 3600.04/3614.00 c CG cores constructed 146 3600.04/3614.00 c CG core cardinality constraints returned 0 3600.04/3614.00 c CG unit cores 0 3600.04/3614.00 c CG single cores 145 3600.04/3614.00 c CG blocks removed during cardinality reduction 0 3600.04/3614.00 c CG first core best 0 3600.04/3614.00 c CG decision core best 0 3600.04/3614.00 c CG core reduction tie 1 3600.04/3614.00 c CG core degree average 1.00 3600.04/3614.00 c CG core slack average 3.96 3600.04/3614.00 s SATISFIABLE 3600.04/3614.00 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 -
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: 63968 MiB (63112 MiB free)
memory of node 1: 64473 MiB (64213 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462555-1722340764/watcher-4462555-1722340764 -o /tmp/evaluation-result-4462555-1722340764/solver-4462555-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722340763-7095 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462555-1722340764 --lp-cut-gomory=0 HOME/instance-4462555-1722340764.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7144, runsolver pid=7141
[startup+0.100093 s]*
/proc/loadavg: 0.07 0.08 0.09 1/260 7158
/proc/meminfo: memFree=130373372/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=37376 memory=2564 CPUtime=0 cores=0,2
/proc/7144/stat : 7144 (roundingsat) D 7141 7144 7085 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 681034 38273024 641 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.204728 s]*
/proc/loadavg: 0.07 0.08 0.09 1/260 7158
/proc/meminfo: memFree=130372932/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=37376 memory=2564 CPUtime=0 cores=0,2
/proc/7144/stat : 7144 (roundingsat) D 7141 7144 7085 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 681034 38273024 641 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.304523 s]*
/proc/loadavg: 0.07 0.08 0.09 1/261 7160
/proc/meminfo: memFree=130356948/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=37376 memory=2564 CPUtime=0 cores=0,2
/proc/7144/stat : 7144 (roundingsat) D 7141 7144 7085 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 681034 38273024 641 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.700563 s]
/proc/loadavg: 0.07 0.08 0.09 1/261 7160
/proc/meminfo: memFree=130356784/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=40760 memory=12784 CPUtime=0.18 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 1170 0 0 0 16 2 0 0 20 0 1 0 681034 41738240 3196 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 10190 3196 1806 992 0 2048 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 12784 KiB
[startup+1.50056 s]
/proc/loadavg: 0.07 0.08 0.09 3/252 7183
/proc/meminfo: memFree=130330304/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=44700 memory=19336 CPUtime=0.96 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 2180 0 0 0 89 7 0 0 20 0 1 0 681034 45772800 4834 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 11175 4834 1883 992 0 3033 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 44700 KiB
Current children cumulated memory: 19336 KiB
[startup+3.10559 s]
/proc/loadavg: 0.38 0.15 0.11 3/250 7231
/proc/meminfo: memFree=130311716/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=51032 memory=23608 CPUtime=2.56 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 3244 0 0 0 241 15 0 0 20 0 1 0 681034 52256768 5902 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 12758 5902 1883 992 0 4616 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 51032 KiB
Current children cumulated memory: 23608 KiB
[startup+6.30058 s]
/proc/loadavg: 0.38 0.15 0.11 5/265 7266
/proc/meminfo: memFree=130105356/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=59196 memory=29768 CPUtime=5.72 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 4813 0 0 0 543 29 0 0 20 0 1 0 681034 60616704 7442 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 14799 7442 1883 992 0 6657 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 59196 KiB
Current children cumulated memory: 29768 KiB
[startup+12.7006 s]
/proc/loadavg: 0.94 0.27 0.15 5/265 7266
/proc/meminfo: memFree=129792232/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=72940 memory=38932 CPUtime=12.06 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 6624 0 0 0 1158 48 0 0 20 0 1 0 681034 74690560 9733 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 18235 9733 1883 992 0 10093 0
Current children cumulated CPU time: 12.06 s
Current children cumulated vsize: 72940 KiB
Current children cumulated memory: 38932 KiB
[startup+25.5006 s]
/proc/loadavg: 1.56 0.43 0.20 5/265 7269
/proc/meminfo: memFree=129297328/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=80016 memory=50128 CPUtime=24.74 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 8392 0 0 0 2394 80 0 0 20 0 1 0 681034 81936384 12532 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 20004 12532 1883 992 0 11862 0
Current children cumulated CPU time: 24.74 s
Current children cumulated vsize: 80016 KiB
Current children cumulated memory: 50128 KiB
[startup+51.1056 s]
/proc/loadavg: 2.46 0.73 0.31 6/265 7275
/proc/meminfo: memFree=128499896/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=98724 memory=58924 CPUtime=50.07 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 10716 0 0 0 4872 135 0 0 20 0 1 0 681034 101093376 14731 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 24681 14731 1883 992 0 16539 0
Current children cumulated CPU time: 50.07 s
Current children cumulated vsize: 98724 KiB
Current children cumulated memory: 58924 KiB
[startup+102.301 s]
/proc/loadavg: 3.44 1.30 0.53 6/263 7295
/proc/meminfo: memFree=127306480/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=146452 memory=114276 CPUtime=100.73 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 17922 0 0 0 9874 199 0 0 20 0 1 0 681034 149966848 28569 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 36613 28569 1899 992 0 28471 0
Current children cumulated CPU time: 100.73 s
Current children cumulated vsize: 146452 KiB
Current children cumulated memory: 114276 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 1.81 0.76 5/264 7307
/proc/meminfo: memFree=126090956/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=151984 memory=118200 CPUtime=160.23 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 18983 0 0 0 15751 272 0 0 20 0 1 0 681034 155631616 29550 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 37996 29550 1899 992 0 29854 0
Current children cumulated CPU time: 160.23 s
Current children cumulated vsize: 151984 KiB
Current children cumulated memory: 118200 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 2.32 1.00 5/264 7318
/proc/meminfo: memFree=125165568/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=159072 memory=123056 CPUtime=220 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 20324 0 0 0 21654 346 0 0 20 0 1 0 681034 162889728 30764 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 39768 30764 1899 992 0 31626 0
Current children cumulated CPU time: 220 s
Current children cumulated vsize: 159072 KiB
Current children cumulated memory: 123056 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 2.64 1.19 5/263 7331
/proc/meminfo: memFree=124202136/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=223860 memory=181512 CPUtime=279.77 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 26344 0 0 0 27598 379 0 0 20 0 1 0 681034 229232640 45378 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 55965 45378 1899 992 0 47823 0
Current children cumulated CPU time: 279.77 s
Current children cumulated vsize: 223860 KiB
Current children cumulated memory: 181512 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 2.94 1.39 5/260 7341
/proc/meminfo: memFree=123429100/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=227224 memory=191832 CPUtime=339.52 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 27022 0 0 0 33543 409 0 0 20 0 1 0 681034 232677376 47958 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 56806 47958 1899 992 0 48664 0
Current children cumulated CPU time: 339.52 s
Current children cumulated vsize: 227224 KiB
Current children cumulated memory: 191832 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.15 1.56 5/261 7353
/proc/meminfo: memFree=122705016/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=227224 memory=191832 CPUtime=399.29 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 27081 0 0 0 39468 461 0 0 20 0 1 0 681034 232677376 47958 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 56806 47958 1899 992 0 48664 0
Current children cumulated CPU time: 399.29 s
Current children cumulated vsize: 227224 KiB
Current children cumulated memory: 191832 KiB
[startup+462.3 s]
/proc/loadavg: 4.52 3.42 1.75 5/261 7364
/proc/meminfo: memFree=122026820/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=229788 memory=193176 CPUtime=459.05 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 27512 0 0 0 45413 492 0 0 20 0 1 0 681034 235302912 48294 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 57447 48294 1899 992 0 49305 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.00 5/263 8477
/proc/meminfo: memFree=102885408/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=402836 memory=368048 CPUtime=3149.84 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 53903 0 0 0 313422 1562 0 0 20 0 1 0 681034 412504064 92012 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 100709 92012 1899 992 0 92567 0
Current children cumulated CPU time: 3149.84 s
Current children cumulated vsize: 402836 KiB
Current children cumulated memory: 368048 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.01 5/263 8487
/proc/meminfo: memFree=102556460/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=403716 memory=368944 CPUtime=3209.64 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 54290 0 0 0 319378 1586 0 0 20 0 1 0 681034 413405184 92236 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 100929 92236 1899 992 0 92787 0
Current children cumulated CPU time: 3209.64 s
Current children cumulated vsize: 403716 KiB
Current children cumulated memory: 368944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.00 5/263 8497
/proc/meminfo: memFree=102209232/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=403716 memory=368956 CPUtime=3269.44 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 54432 0 0 0 325328 1616 0 0 20 0 1 0 681034 413405184 92239 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 100929 92239 1899 992 0 92787 0
Current children cumulated CPU time: 3269.44 s
Current children cumulated vsize: 403716 KiB
Current children cumulated memory: 368956 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.00 5/262 8508
/proc/meminfo: memFree=101895540/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=403716 memory=368956 CPUtime=3329.24 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 54596 0 0 0 331286 1638 0 0 20 0 1 0 681034 413405184 92239 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 100929 92239 1899 992 0 92787 0
Current children cumulated CPU time: 3329.24 s
Current children cumulated vsize: 403716 KiB
Current children cumulated memory: 368956 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/259 8900
/proc/meminfo: memFree=101580640/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=404540 memory=369260 CPUtime=3389.04 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 54877 0 0 0 337249 1655 0 0 20 0 1 0 681034 414248960 92315 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 101135 92315 1899 992 0 92993 0
Current children cumulated CPU time: 3389.04 s
Current children cumulated vsize: 404540 KiB
Current children cumulated memory: 369260 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/259 8911
/proc/meminfo: memFree=101291200/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=407296 memory=370856 CPUtime=3448.84 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 55460 0 0 0 343212 1672 0 0 20 0 1 0 681034 417071104 92714 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 101824 92714 1899 992 0 93682 0
Current children cumulated CPU time: 3448.84 s
Current children cumulated vsize: 407296 KiB
Current children cumulated memory: 370856 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/260 9092
/proc/meminfo: memFree=100972112/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=495740 memory=383012 CPUtime=3508.64 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 57195 0 0 0 349178 1686 0 0 20 0 1 0 681034 507637760 95753 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 123935 95753 1899 992 0 115793 0
Current children cumulated CPU time: 3508.64 s
Current children cumulated vsize: 495740 KiB
Current children cumulated memory: 383012 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/260 9102
/proc/meminfo: memFree=100654604/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=502564 memory=399232 CPUtime=3568.44 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 58447 0 0 0 355145 1699 0 0 20 0 1 0 681034 514625536 99808 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 125641 99808 1899 992 0 117499 0
Current children cumulated CPU time: 3568.44 s
Current children cumulated vsize: 502564 KiB
Current children cumulated memory: 399232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614 s]*
/proc/loadavg: 4.13 4.09 4.01 2/254 9135
/proc/meminfo: memFree=100883316/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=507392 memory=407880 CPUtime=3600.04 cores=0,2
/proc/7144/stat : 7144 (roundingsat) R 7141 7144 7085 0 -1 4194304 59368 0 0 0 358298 1706 0 0 20 0 1 0 681034 519569408 101970 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 126848 101970 1899 992 0 118706 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 507392 KiB
Current children cumulated memory: 407880 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.13 4.09 4.01 1/252 9135
/proc/meminfo: memFree=100882568/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=507392 memory=407880 CPUtime=3600.04 cores=0,2
/proc/7144/stat : 7144 (roundingsat) D 7141 7144 7085 0 -1 4194304 59376 0 0 0 358298 1706 0 0 20 0 1 0 681034 519569408 101970 134679101440 4194304 8255733 140723157891184 0 0 256 0 0 25182210 0 0 0 17 0 0 0 353 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 126848 101970 1899 992 0 118706 0
??? kill 7144 sig 9
??? end of watcher thread
[startup+3617.55 s]
# the end of solver process 7144 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3582.99 s, system=17.0685 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.13 4.09 4.01 2/254 9135
/proc/meminfo: memFree=100883316/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=507392 memory=407880 CPUtime=3600.04 cores=0,2
/proc/7144/stat : 7144 (roundingsat) D 7141 7144 7085 0 -1 4194304 59376 0 0 0 358298 1706 0 0 20 0 1 0 681034 519569408 101970 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 126848 101970 1899 992 0 118706 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 507392 KiB
Current children cumulated memory: 407880 KiB
[startup+3615.2 s]
/proc/loadavg: 4.13 4.09 4.01 1/252 9135
/proc/meminfo: memFree=100882548/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=507392 memory=407880 CPUtime=3600.04 cores=0,2
/proc/7144/stat : 7144 (roundingsat) D 7141 7144 7085 0 -1 4194304 59376 0 0 0 358298 1706 0 0 20 0 1 0 681034 519569408 101970 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 126848 101970 1899 992 0 118706 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 507392 KiB
Current children cumulated memory: 407880 KiB
[startup+3615.6 s]
/proc/loadavg: 4.13 4.09 4.01 1/252 9135
/proc/meminfo: memFree=100882548/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=507392 memory=407880 CPUtime=3600.04 cores=0,2
/proc/7144/stat : 7144 (roundingsat) D 7141 7144 7085 0 -1 4194304 59376 0 0 0 358298 1706 0 0 20 0 1 0 681034 519569408 101970 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 280 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 126848 101970 1899 992 0 118706 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 507392 KiB
Current children cumulated memory: 407880 KiB
[startup+3616 s]*
/proc/loadavg: 4.13 4.09 4.01 1/252 9135
/proc/meminfo: memFree=100882216/131524600 swapFree=131071996/131071996
[pid=7144] ppid=7141 vsize=507392 memory=407880 CPUtime=3600.04 cores=0,2
/proc/7144/stat : 7144 (roundingsat) D 7141 7144 7085 0 -1 4194304 59376 0 0 0 358298 1706 0 0 20 0 1 0 681034 519569408 101970 134679101440 4194304 8255733 140723157891184 0 0 0 0 0 25182210 0 0 0 17 0 0 0 353 0 0 9037040 9046032 27381760 140723157893982 140723157894244 140723157894244 140723157901257 0
/proc/7144/statm: 126848 101970 1899 992 0 118706 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 507392 KiB
Current children cumulated memory: 407880 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3617.55
CPU time (s): 3600.06
CPU user time (s): 3582.99
CPU system time (s): 17.0685
CPU usage (%): 99.5164
Max. virtual memory (cumulated for all children) (KiB): 507392
Max. memory (cumulated for all children) (KiB): 407880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.99
system time used= 17.0685
maximum resident set size= 408348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59376
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4359512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 239
involuntary context switches= 25978
# summary of solver processes directly reported to runsolver:
# pid: 7144
# total CPU time (s): 3600.06
# total CPU user time (s): 3582.99
# total CPU system time (s): 17.0685
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16975 second user time and 15.0815 second system time
The end
Begin job on nodeC035 at 2024-07-30 13:59:24 IDJOB=4462555 IDBENCH=147540 IDSOLVER=3089 FILE ID=nodeC035/4462555-1722340764 RUNJOBID= nodeC035-1722340763-7095 SLURM_JOB_ID= 8249008 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.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-4462555-1722340764/watcher-4462555-1722340764 -o /tmp/evaluation-result-4462555-1722340764/solver-4462555-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722340763-7095 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462555-1722340764 --lp-cut-gomory=0 HOME/instance-4462555-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc RANDOM SEED=1492646933 nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3486.586 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3187.087 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3451.070 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3430.028 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2515.304 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2972.114 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3367.410 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3529.105 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130382144 kB MemAvailable: 129941132 kB Buffers: 36332 kB Cached: 297552 kB SwapCached: 0 kB Active: 125068 kB Inactive: 565352 kB Active(anon): 1520 kB Inactive(anon): 376348 kB Active(file): 123548 kB Inactive(file): 189004 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 17132 kB Writeback: 0 kB AnonPages: 354204 kB Mapped: 90136 kB Shmem: 21336 kB KReclaimable: 41900 kB Slab: 115784 kB SReclaimable: 41900 kB SUnreclaim: 73884 kB KernelStack: 4128 kB PageTables: 9604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 705796 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 9024 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 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: 240340 kB DirectMap2M: 7921664 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890056 MiB End job on nodeC035 at 2024-07-30 14:59:42