| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.05 | 3614.89 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb |
| MD5SUM | b5aa25dccc2460ad32c358f07bd5c94a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 180 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 473 |
| Total number of constraints | 472 |
| 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 | 472 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 473 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 473 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c RoundingSat 2 0.00/0.01 c branch 0.00/0.01 c commit 0.00/0.02 c #variables 473 #constraints 472 0.58/0.62 c bounds - >= 0 @ 0.007743 0.58/0.62 c bounds 224 >= 0 @ 0.406558 0.58/0.62 c bounds 224 >= 1 @ 0.406782 0.58/0.62 c bounds 224 >= 2 @ 0.407146 0.58/0.62 c bounds 224 >= 3 @ 0.407521 0.58/0.62 c bounds 224 >= 4 @ 0.40793 0.58/0.62 c bounds 224 >= 5 @ 0.408327 0.58/0.62 c bounds 224 >= 6 @ 0.408749 0.58/0.62 c bounds 224 >= 7 @ 0.409167 0.58/0.62 c bounds 224 >= 8 @ 0.409595 0.58/0.62 c bounds 224 >= 9 @ 0.410022 0.58/0.62 c bounds 224 >= 10 @ 0.410458 0.58/0.62 c bounds 224 >= 11 @ 0.410929 0.58/0.62 c bounds 224 >= 12 @ 0.411388 0.58/0.62 c bounds 224 >= 13 @ 0.411858 0.58/0.62 c bounds 224 >= 14 @ 0.412323 0.58/0.62 c bounds 224 >= 15 @ 0.412798 0.58/0.62 c bounds 224 >= 16 @ 0.413283 0.58/0.62 c bounds 224 >= 17 @ 0.413765 0.58/0.62 c bounds 224 >= 18 @ 0.414255 0.58/0.62 c bounds 224 >= 19 @ 0.41472 0.58/0.62 c bounds 224 >= 20 @ 0.415198 0.58/0.62 c bounds 224 >= 21 @ 0.415719 0.58/0.62 c bounds 224 >= 22 @ 0.416248 0.58/0.62 c bounds 224 >= 23 @ 0.416735 0.58/0.62 c bounds 224 >= 24 @ 0.417232 0.58/0.62 c bounds 224 >= 25 @ 0.417721 0.58/0.62 c bounds 223 >= 25 @ 0.481746 0.58/0.62 c bounds 223 >= 26 @ 0.482296 0.58/0.62 c bounds 223 >= 27 @ 0.482823 0.58/0.62 c bounds 223 >= 28 @ 0.483342 0.58/0.62 c bounds 223 >= 29 @ 0.483857 0.58/0.62 c bounds 223 >= 30 @ 0.48438 0.58/0.62 c bounds 223 >= 31 @ 0.484896 0.58/0.62 c bounds 223 >= 32 @ 0.485425 0.58/0.62 c bounds 223 >= 33 @ 0.48594 0.58/0.62 c bounds 223 >= 34 @ 0.486455 0.58/0.62 c bounds 223 >= 35 @ 0.486956 0.58/0.62 c bounds 223 >= 36 @ 0.487155 0.58/0.62 c bounds 223 >= 37 @ 0.487155 0.58/0.62 c bounds 223 >= 38 @ 0.487158 0.58/0.62 c bounds 223 >= 39 @ 0.487158 0.58/0.62 c bounds 223 >= 40 @ 0.487533 0.58/0.62 c bounds 223 >= 41 @ 0.4881 0.58/0.62 c bounds 223 >= 42 @ 0.488147 0.58/0.62 c bounds 223 >= 43 @ 0.488147 0.58/0.62 c bounds 223 >= 44 @ 0.488147 0.58/0.62 c bounds 223 >= 45 @ 0.48845 0.58/0.62 c bounds 223 >= 46 @ 0.489 0.58/0.62 c bounds 223 >= 47 @ 0.489144 0.58/0.62 c bounds 223 >= 48 @ 0.489144 0.58/0.62 c bounds 223 >= 49 @ 0.489736 0.58/0.62 c bounds 223 >= 50 @ 0.490315 0.58/0.62 c bounds 223 >= 51 @ 0.490888 0.58/0.62 c bounds 223 >= 52 @ 0.49146 0.58/0.62 c bounds 223 >= 53 @ 0.492073 0.58/0.62 c bounds 223 >= 54 @ 0.492128 0.58/0.62 c bounds 223 >= 55 @ 0.492386 0.58/0.62 c bounds 223 >= 56 @ 0.492938 0.58/0.62 c bounds 223 >= 57 @ 0.493122 0.58/0.62 c bounds 223 >= 58 @ 0.493235 0.58/0.62 c bounds 223 >= 59 @ 0.49379 0.58/0.62 c bounds 223 >= 60 @ 0.494378 0.58/0.62 c bounds 223 >= 61 @ 0.49501 0.58/0.62 c bounds 223 >= 62 @ 0.495679 0.58/0.62 c bounds 223 >= 63 @ 0.496317 0.58/0.62 c bounds 223 >= 64 @ 0.496958 0.58/0.62 c bounds 223 >= 65 @ 0.497582 0.58/0.62 c bounds 223 >= 66 @ 0.498215 0.58/0.62 c bounds 223 >= 67 @ 0.498859 0.58/0.62 c bounds 223 >= 68 @ 0.499522 0.58/0.62 c bounds 223 >= 69 @ 0.500195 0.58/0.62 c bounds 223 >= 70 @ 0.500828 0.58/0.62 c bounds 223 >= 71 @ 0.501083 0.58/0.62 c bounds 223 >= 72 @ 0.501083 0.58/0.62 c bounds 223 >= 73 @ 0.501083 0.58/0.62 c bounds 223 >= 74 @ 0.501385 0.58/0.62 c bounds 223 >= 75 @ 0.502025 0.58/0.62 c bounds 223 >= 76 @ 0.502075 0.58/0.62 c bounds 223 >= 77 @ 0.502384 0.58/0.62 c bounds 223 >= 78 @ 0.502994 0.58/0.62 c bounds 223 >= 79 @ 0.50307 0.58/0.62 c bounds 223 >= 80 @ 0.503359 0.58/0.62 c bounds 223 >= 81 @ 0.503976 0.58/0.62 c bounds 223 >= 82 @ 0.504622 0.58/0.62 c bounds 223 >= 83 @ 0.505285 0.58/0.62 c bounds 223 >= 84 @ 0.505923 0.58/0.62 c bounds 223 >= 85 @ 0.506585 0.58/0.62 c bounds 223 >= 86 @ 0.507268 0.58/0.62 c bounds 223 >= 87 @ 0.507892 0.58/0.62 c bounds 223 >= 88 @ 0.508044 0.58/0.62 c bounds 223 >= 89 @ 0.508202 0.58/0.62 c bounds 223 >= 90 @ 0.508807 0.58/0.62 c bounds 223 >= 91 @ 0.509472 0.58/0.62 c bounds 223 >= 92 @ 0.50984 0.58/0.62 c bounds 223 >= 93 @ 0.50985 0.58/0.62 c bounds 223 >= 94 @ 0.510509 0.58/0.62 c bounds 223 >= 95 @ 0.511191 0.58/0.62 c bounds 223 >= 96 @ 0.511907 0.58/0.62 c bounds 223 >= 97 @ 0.512024 0.58/0.62 c bounds 223 >= 98 @ 0.512024 0.58/0.62 c bounds 223 >= 99 @ 0.51205 0.58/0.62 c bounds 223 >= 100 @ 0.512692 0.58/0.62 c bounds 223 >= 101 @ 0.513379 0.58/0.62 c bounds 223 >= 102 @ 0.514036 0.58/0.62 c bounds 223 >= 103 @ 0.514698 0.58/0.62 c bounds 223 >= 104 @ 0.515373 0.58/0.62 c bounds 223 >= 105 @ 0.516045 0.58/0.62 c bounds 223 >= 106 @ 0.516704 0.58/0.62 c bounds 223 >= 107 @ 0.516999 0.58/0.62 c bounds 223 >= 108 @ 0.516999 0.58/0.62 c bounds 223 >= 109 @ 0.516999 0.58/0.62 c bounds 223 >= 110 @ 0.517788 0.58/0.62 c bounds 223 >= 111 @ 0.517994 0.58/0.62 c bounds 223 >= 112 @ 0.518286 0.58/0.62 c bounds 223 >= 113 @ 0.51896 0.58/0.62 c bounds 223 >= 114 @ 0.518987 0.58/0.62 c bounds 223 >= 115 @ 0.519401 0.58/0.62 c bounds 223 >= 116 @ 0.520145 0.58/0.62 c bounds 223 >= 117 @ 0.520798 0.58/0.62 c bounds 223 >= 118 @ 0.520977 0.58/0.62 c bounds 223 >= 119 @ 0.521221 0.58/0.62 c bounds 223 >= 120 @ 0.521842 0.58/0.62 c bounds 223 >= 121 @ 0.52197 0.58/0.62 c bounds 223 >= 122 @ 0.522262 0.58/0.62 c bounds 223 >= 123 @ 0.52298 0.58/0.62 c bounds 223 >= 124 @ 0.523777 0.58/0.62 c bounds 223 >= 125 @ 0.523959 0.58/0.62 c bounds 223 >= 126 @ 0.524405 0.58/0.62 c bounds 223 >= 127 @ 0.525493 0.58/0.62 c bounds 223 >= 128 @ 0.526426 0.58/0.62 c bounds 223 >= 129 @ 0.526944 0.58/0.62 c bounds 223 >= 130 @ 0.527594 0.58/0.62 c bounds 223 >= 131 @ 0.527937 0.58/0.62 c bounds 223 >= 132 @ 0.52927 0.58/0.62 c bounds 223 >= 133 @ 0.530547 0.58/0.62 c bounds 223 >= 134 @ 0.538877 1.47/1.55 c bounds 223 >= 135 @ 0.555214 1.47/1.55 c bounds 222 >= 135 @ 0.592508 1.47/1.55 c bounds 222 >= 136 @ 0.651316 1.47/1.55 c bounds 221 >= 136 @ 0.653883 1.47/1.55 c bounds 220 >= 136 @ 0.69905 1.47/1.55 c #Conflicts: 1000 | #Constraints: 2195 1.47/1.55 c bounds 219 >= 136 @ 0.745091 1.47/1.55 c #Conflicts: 2000 | #Constraints: 3196 1.47/1.55 c INPROCESSING 1.47/1.55 c GARBAGE COLLECT 1.47/1.55 c rational objective 139.945 2.47/2.58 c bounds 218 >= 136 @ 1.41523 2.47/2.58 c bounds 217 >= 136 @ 1.42566 2.47/2.58 c bounds 216 >= 136 @ 1.44204 2.47/2.58 c bounds 215 >= 136 @ 1.44585 2.47/2.58 c bounds 214 >= 136 @ 1.4514 2.47/2.58 c bounds 213 >= 136 @ 1.52728 2.47/2.58 c #Conflicts: 3000 | #Constraints: 3105 2.47/2.58 c bounds 212 >= 136 @ 1.69419 2.47/2.58 c bounds 212 >= 137 @ 1.75317 2.47/2.58 c #Conflicts: 4000 | #Constraints: 4172 2.47/2.58 c INPROCESSING 2.47/2.58 c GARBAGE COLLECT 2.47/2.58 c rational objective 139.945 4.26/4.32 c #Conflicts: 5000 | #Constraints: 3560 4.26/4.32 c #Conflicts: 6000 | #Constraints: 4560 4.26/4.32 c INPROCESSING 4.26/4.32 c GARBAGE COLLECT 4.26/4.32 c #Conflicts: 7000 | #Constraints: 3601 4.26/4.32 c bounds 211 >= 137 @ 3.52756 4.26/4.32 c #Conflicts: 8000 | #Constraints: 4602 4.26/4.32 c #Conflicts: 9000 | #Constraints: 5602 4.26/4.32 c INPROCESSING 4.26/4.32 c GARBAGE COLLECT 4.26/4.32 c rational objective 139.945 5.36/5.43 c #Conflicts: 10000 | #Constraints: 4274 5.36/5.43 c #Conflicts: 11000 | #Constraints: 5274 5.36/5.43 c bounds 210 >= 137 @ 4.58418 5.36/5.43 c #Conflicts: 12000 | #Constraints: 6275 5.36/5.43 c INPROCESSING 5.36/5.43 c GARBAGE COLLECT 5.36/5.43 c rational objective 139.945 6.35/6.45 c bounds 209 >= 137 @ 5.31463 6.35/6.45 c #Conflicts: 13000 | #Constraints: 4770 6.35/6.45 c #Conflicts: 14000 | #Constraints: 5770 6.35/6.45 c #Conflicts: 15000 | #Constraints: 6770 6.35/6.45 c INPROCESSING 6.35/6.45 c GARBAGE COLLECT 6.35/6.45 c rational objective 139.945 8.07/8.20 c bounds 209 >= 138 @ 6.30735 8.07/8.20 c #Conflicts: 16000 | #Constraints: 5016 8.07/8.20 c #Conflicts: 17000 | #Constraints: 6016 8.07/8.20 c #Conflicts: 18000 | #Constraints: 7016 8.07/8.20 c INPROCESSING 8.07/8.20 c GARBAGE COLLECT 8.07/8.20 c rational objective 139.945 9.24/9.36 c #Conflicts: 19000 | #Constraints: 5050 9.24/9.36 c bounds 208 >= 138 @ 7.97904 9.24/9.36 c bounds 207 >= 138 @ 8.02621 9.24/9.36 c bounds 206 >= 138 @ 8.14971 9.24/9.36 c #Conflicts: 20000 | #Constraints: 6053 9.24/9.36 c bounds 205 >= 138 @ 8.30307 9.24/9.36 c bounds 204 >= 138 @ 8.54914 9.24/9.36 c #Conflicts: 21000 | #Constraints: 7055 9.24/9.36 c INPROCESSING 9.24/9.36 c GARBAGE COLLECT 9.24/9.36 c rational objective 139.945 11.25/11.31 c #Conflicts: 22000 | #Constraints: 4826 11.25/11.31 c bounds 203 >= 138 @ 9.28387 11.25/11.31 c #Conflicts: 23000 | #Constraints: 5827 11.25/11.31 c #Conflicts: 24000 | #Constraints: 6827 11.25/11.31 c #Conflicts: 25000 | #Constraints: 7827 11.25/11.31 c INPROCESSING 11.25/11.31 c GARBAGE COLLECT 11.25/11.31 c rational objective 139.945 12.74/12.87 c bounds 202 >= 138 @ 10.7678 12.74/12.87 c bounds 201 >= 138 @ 10.8227 12.74/12.87 c #Conflicts: 26000 | #Constraints: 5470 12.74/12.87 c #Conflicts: 27000 | #Constraints: 6470 12.74/12.87 c bounds 200 >= 138 @ 11.5177 12.74/12.87 c #Conflicts: 28000 | #Constraints: 7471 12.74/12.87 c #Conflicts: 29000 | #Constraints: 8471 12.74/12.87 c INPROCESSING 12.74/12.87 c GARBAGE COLLECT 12.74/12.87 c rational objective 139.945 15.23/15.33 c #Conflicts: 30000 | #Constraints: 5838 15.23/15.33 c bounds 199 >= 138 @ 13.0459 15.23/15.33 c #Conflicts: 31000 | #Constraints: 6839 15.23/15.33 c #Conflicts: 32000 | #Constraints: 7839 15.23/15.33 c #Conflicts: 33000 | #Constraints: 8839 15.23/15.33 c INPROCESSING 15.23/15.33 c GARBAGE COLLECT 15.23/15.33 c rational objective 139.945 17.04/17.18 c bounds 198 >= 138 @ 14.6656 17.04/17.18 c #Conflicts: 34000 | #Constraints: 6081 17.04/17.18 c #Conflicts: 35000 | #Constraints: 7081 17.04/17.18 c #Conflicts: 36000 | #Constraints: 8081 17.04/17.18 c #Conflicts: 37000 | #Constraints: 9081 17.04/17.18 c INPROCESSING 17.04/17.18 c GARBAGE COLLECT 17.04/17.18 c rational objective 139.945 19.22/19.34 c #Conflicts: 38000 | #Constraints: 6051 19.22/19.34 c #Conflicts: 39000 | #Constraints: 7051 19.22/19.34 c bounds 198 >= 139 @ 17.5696 19.22/19.34 c #Conflicts: 40000 | #Constraints: 8108 19.22/19.34 c #Conflicts: 41000 | #Constraints: 9108 19.22/19.34 c INPROCESSING 19.22/19.34 c GARBAGE COLLECT 19.22/19.34 c rational objective 139.945 22.21/22.33 c #Conflicts: 42000 | #Constraints: 5886 22.21/22.33 c #Conflicts: 43000 | #Constraints: 6886 22.21/22.33 c #Conflicts: 44000 | #Constraints: 7886 22.21/22.33 c #Conflicts: 45000 | #Constraints: 8886 22.21/22.33 c #Conflicts: 46000 | #Constraints: 9886 22.21/22.33 c INPROCESSING 22.21/22.33 c GARBAGE COLLECT 22.21/22.33 c rational objective 139.945 43.55/43.73 c #Conflicts: 47000 | #Constraints: 6545 43.55/43.73 c #Conflicts: 48000 | #Constraints: 7545 43.55/43.73 c #Conflicts: 49000 | #Constraints: 8545 43.55/43.73 c #Conflicts: 50000 | #Constraints: 9545 43.55/43.73 c #Conflicts: 51000 | #Constraints: 10545 43.55/43.73 c #Conflicts: 52000 | #Constraints: 11545 43.55/43.73 c bounds 197 >= 139 @ 25.6317 43.55/43.73 c #Conflicts: 53000 | #Constraints: 12546 43.55/43.73 c #Conflicts: 54000 | #Constraints: 13546 43.55/43.73 c #Conflicts: 55000 | #Constraints: 14546 43.55/43.73 c #Conflicts: 56000 | #Constraints: 15546 43.55/43.73 c #Conflicts: 57000 | #Constraints: 16546 43.55/43.73 c #Conflicts: 58000 | #Constraints: 17546 43.55/43.73 c #Conflicts: 59000 | #Constraints: 18546 43.55/43.73 c #Conflicts: 60000 | #Constraints: 19546 43.55/43.73 c #Conflicts: 61000 | #Constraints: 20546 43.55/43.73 c #Conflicts: 62000 | #Constraints: 21546 43.55/43.73 c bounds 197 >= 140 @ 40.3635 43.55/43.73 c #Conflicts: 63000 | #Constraints: 22603 43.55/43.73 c #Conflicts: 64000 | #Constraints: 23603 43.55/43.73 c bounds 196 >= 140 @ 41.994 43.55/43.73 c INPROCESSING 43.55/43.73 c GARBAGE COLLECT 43.55/43.73 c rational objective 140 47.44/47.63 c #Conflicts: 65000 | #Constraints: 13216 47.44/47.63 c #Conflicts: 66000 | #Constraints: 14216 47.44/47.63 c #Conflicts: 67000 | #Constraints: 15216 47.44/47.63 c #Conflicts: 68000 | #Constraints: 16216 47.44/47.63 c #Conflicts: 69000 | #Constraints: 17216 47.44/47.63 c #Conflicts: 70000 | #Constraints: 18216 47.44/47.63 c INPROCESSING 47.44/47.63 c GARBAGE COLLECT 47.44/47.63 c rational objective 140 51.53/51.70 c #Conflicts: 71000 | #Constraints: 10579 51.53/51.70 c #Conflicts: 72000 | #Constraints: 11579 51.53/51.70 c #Conflicts: 73000 | #Constraints: 12579 51.53/51.70 c bounds 195 >= 140 @ 47.9366 51.53/51.70 c #Conflicts: 74000 | #Constraints: 13580 51.53/51.70 c #Conflicts: 75000 | #Constraints: 14580 51.53/51.70 c #Conflicts: 76000 | #Constraints: 15580 51.53/51.70 c INPROCESSING 51.53/51.70 c GARBAGE COLLECT 51.53/51.70 c rational objective 140 56.01/56.27 c #Conflicts: 77000 | #Constraints: 9214 56.01/56.27 c #Conflicts: 78000 | #Constraints: 10214 56.01/56.27 c #Conflicts: 79000 | #Constraints: 11214 56.01/56.27 c #Conflicts: 80000 | #Constraints: 12214 56.01/56.27 c #Conflicts: 81000 | #Constraints: 13214 56.01/56.27 c #Conflicts: 82000 | #Constraints: 14214 56.01/56.27 c INPROCESSING 56.01/56.27 c GARBAGE COLLECT 56.01/56.27 c rational objective 140 62.39/62.69 c #Conflicts: 83000 | #Constraints: 8374 62.39/62.69 c #Conflicts: 84000 | #Constraints: 9374 62.39/62.69 c #Conflicts: 85000 | #Constraints: 10374 62.39/62.69 c #Conflicts: 86000 | #Constraints: 11374 62.39/62.69 c #Conflicts: 87000 | #Constraints: 12374 62.39/62.69 c #Conflicts: 88000 | #Constraints: 13374 62.39/62.69 c #Conflicts: 89000 | #Constraints: 14374 62.39/62.69 c INPROCESSING 62.39/62.69 c GARBAGE COLLECT 62.39/62.69 c rational objective 140 135.95/136.45 c #Conflicts: 90000 | #Constraints: 8765 135.95/136.45 c #Conflicts: 91000 | #Constraints: 9765 135.95/136.45 c #Conflicts: 92000 | #Constraints: 10765 135.95/136.45 c #Conflicts: 93000 | #Constraints: 11765 135.95/136.45 c #Conflicts: 94000 | #Constraints: 12765 135.95/136.45 c #Conflicts: 95000 | #Constraints: 13765 135.95/136.45 c #Conflicts: 96000 | #Constraints: 14765 135.95/136.45 c #Conflicts: 97000 | #Constraints: 15765 135.95/136.45 c #Conflicts: 98000 | #Constraints: 16765 135.95/136.45 c #Conflicts: 99000 | #Constraints: 17765 135.95/136.45 c #Conflicts: 100000 | #Constraints: 18765 135.95/136.45 c #Conflicts: 101000 | #Constraints: 19765 135.95/136.45 c #Conflicts: 102000 | #Constraints: 20765 135.95/136.45 c #Conflicts: 103000 | #Constraints: 21765 135.95/136.45 c #Conflicts: 104000 | #Constraints: 22765 135.95/136.45 c #Conflicts: 105000 | #Constraints: 23765 135.95/136.45 c #Conflicts: 106000 | #Constraints: 24765 135.95/136.45 c #Conflicts: 107000 | #Constraints: 25765 135.95/136.45 c #Conflicts: 108000 | #Constraints: 26765 135.95/136.45 c #Conflicts: 109000 | #Constraints: 27765 135.95/136.45 c #Conflicts: 110000 | #Constraints: 28765 135.95/136.45 c #Conflicts: 111000 | #Constraints: 29765 135.95/136.45 c #Conflicts: 112000 | #Constraints: 30765 135.95/136.45 c #Conflicts: 113000 | #Constraints: 31765 135.95/136.45 c #Conflicts: 114000 | #Constraints: 32765 135.95/136.45 c INPROCESSING 135.95/136.45 c GARBAGE COLLECT 135.95/136.45 c rational objective 140 166.05/166.67 c #Conflicts: 115000 | #Constraints: 18052 166.05/166.67 c #Conflicts: 116000 | #Constraints: 19052 166.05/166.67 c #Conflicts: 117000 | #Constraints: 20052 166.05/166.67 c #Conflicts: 118000 | #Constraints: 21052 166.05/166.67 c #Conflicts: 119000 | #Constraints: 22052 166.05/166.67 c #Conflicts: 120000 | #Constraints: 23052 166.05/166.67 c #Conflicts: 121000 | #Constraints: 24052 166.05/166.67 c INPROCESSING 166.05/166.67 c GARBAGE COLLECT 166.05/166.67 c rational objective 140 179.31/179.90 c #Conflicts: 122000 | #Constraints: 13363 179.31/179.90 c #Conflicts: 123000 | #Constraints: 14363 179.31/179.90 c #Conflicts: 124000 | #Constraints: 15363 179.31/179.90 c #Conflicts: 125000 | #Constraints: 16363 179.31/179.90 c #Conflicts: 126000 | #Constraints: 17363 179.31/179.90 c #Conflicts: 127000 | #Constraints: 18363 179.31/179.90 c #Conflicts: 128000 | #Constraints: 19363 179.31/179.90 c #Conflicts: 129000 | #Constraints: 20363 179.31/179.90 c INPROCESSING 179.31/179.90 c GARBAGE COLLECT 179.31/179.90 c rational objective 140 191.27/192.01 c #Conflicts: 130000 | #Constraints: 11524 191.27/192.01 c #Conflicts: 131000 | #Constraints: 12524 191.27/192.01 c #Conflicts: 132000 | #Constraints: 13524 191.27/192.01 c #Conflicts: 133000 | #Constraints: 14524 191.27/192.01 c #Conflicts: 134000 | #Constraints: 15524 191.27/192.01 c #Conflicts: 135000 | #Constraints: 16524 191.27/192.01 c #Conflicts: 136000 | #Constraints: 17524 191.27/192.01 c #Conflicts: 137000 | #Constraints: 18524 191.27/192.01 c #Conflicts: 138000 | #Constraints: 19524 191.27/192.01 c INPROCESSING 191.27/192.01 c GARBAGE COLLECT 191.27/192.01 c rational objective 140 263.34/264.21 c #Conflicts: 139000 | #Constraints: 11510 263.34/264.21 c #Conflicts: 140000 | #Constraints: 12510 263.34/264.21 c #Conflicts: 141000 | #Constraints: 13510 263.34/264.21 c #Conflicts: 142000 | #Constraints: 14510 263.34/264.21 c #Conflicts: 143000 | #Constraints: 15510 263.34/264.21 c #Conflicts: 144000 | #Constraints: 16510 263.34/264.21 c #Conflicts: 145000 | #Constraints: 17510 263.34/264.21 c #Conflicts: 146000 | #Constraints: 18510 263.34/264.21 c #Conflicts: 147000 | #Constraints: 19510 263.34/264.21 c #Conflicts: 148000 | #Constraints: 20510 263.34/264.21 c #Conflicts: 149000 | #Constraints: 21510 263.34/264.21 c #Conflicts: 150000 | #Constraints: 22510 263.34/264.21 c #Conflicts: 151000 | #Constraints: 23510 263.34/264.21 c #Conflicts: 152000 | #Constraints: 24510 263.34/264.21 c #Conflicts: 153000 | #Constraints: 25510 263.34/264.21 c #Conflicts: 154000 | #Constraints: 26510 263.34/264.21 c bounds 195 >= 141 @ 218.035 263.34/264.21 c #Conflicts: 155000 | #Constraints: 27552 263.34/264.21 c #Conflicts: 156000 | #Constraints: 28552 263.34/264.21 c #Conflicts: 157000 | #Constraints: 29552 263.34/264.21 c #Conflicts: 158000 | #Constraints: 30552 263.34/264.21 c #Conflicts: 159000 | #Constraints: 31552 263.34/264.21 c #Conflicts: 160000 | #Constraints: 32552 263.34/264.21 c #Conflicts: 161000 | #Constraints: 33552 263.34/264.21 c #Conflicts: 162000 | #Constraints: 34552 263.34/264.21 c #Conflicts: 163000 | #Constraints: 35552 263.34/264.21 c #Conflicts: 164000 | #Constraints: 36552 263.34/264.21 c #Conflicts: 165000 | #Constraints: 37552 263.34/264.21 c #Conflicts: 166000 | #Constraints: 38552 263.34/264.21 c #Conflicts: 167000 | #Constraints: 39552 263.34/264.21 c #Conflicts: 168000 | #Constraints: 40552 263.34/264.21 c INPROCESSING 263.34/264.21 c GARBAGE COLLECT 263.34/264.21 c rational objective 141 276.30/277.23 c #Conflicts: 169000 | #Constraints: 22035 276.30/277.23 c #Conflicts: 170000 | #Constraints: 23035 276.30/277.23 c #Conflicts: 171000 | #Constraints: 24035 276.30/277.23 c #Conflicts: 172000 | #Constraints: 25035 276.30/277.23 c #Conflicts: 173000 | #Constraints: 26035 276.30/277.23 c #Conflicts: 174000 | #Constraints: 27035 276.30/277.23 c #Conflicts: 175000 | #Constraints: 28035 276.30/277.23 c #Conflicts: 176000 | #Constraints: 29035 276.30/277.23 c #Conflicts: 177000 | #Constraints: 30035 276.30/277.23 c INPROCESSING 276.30/277.23 c GARBAGE COLLECT 276.30/277.23 c rational objective 141 294.54/295.51 c #Conflicts: 178000 | #Constraints: 16465 294.54/295.51 c #Conflicts: 179000 | #Constraints: 17465 294.54/295.51 c #Conflicts: 180000 | #Constraints: 18465 294.54/295.51 c #Conflicts: 181000 | #Constraints: 19465 294.54/295.51 c #Conflicts: 182000 | #Constraints: 20465 294.54/295.51 c #Conflicts: 183000 | #Constraints: 21465 294.54/295.51 c #Conflicts: 184000 | #Constraints: 22465 294.54/295.51 c #Conflicts: 185000 | #Constraints: 23465 294.54/295.51 c #Conflicts: 186000 | #Constraints: 24465 294.54/295.51 c #Conflicts: 187000 | #Constraints: 25465 294.54/295.51 c INPROCESSING 294.54/295.51 c GARBAGE COLLECT 294.54/295.51 c rational objective 141 401.20/402.51 c #Conflicts: 188000 | #Constraints: 14999 401.20/402.51 c #Conflicts: 189000 | #Constraints: 15999 401.20/402.51 c #Conflicts: 190000 | #Constraints: 16999 401.20/402.51 c #Conflicts: 191000 | #Constraints: 17999 401.20/402.51 c #Conflicts: 192000 | #Constraints: 18999 401.20/402.51 c #Conflicts: 193000 | #Constraints: 19999 401.20/402.51 c #Conflicts: 194000 | #Constraints: 20999 401.20/402.51 c #Conflicts: 195000 | #Constraints: 21999 401.20/402.51 c #Conflicts: 196000 | #Constraints: 22999 401.20/402.51 c #Conflicts: 197000 | #Constraints: 23999 401.20/402.51 c #Conflicts: 198000 | #Constraints: 24999 401.20/402.51 c #Conflicts: 199000 | #Constraints: 25999 401.20/402.51 c #Conflicts: 200000 | #Constraints: 26999 401.20/402.51 c #Conflicts: 201000 | #Constraints: 27999 401.20/402.51 c #Conflicts: 202000 | #Constraints: 28999 401.20/402.51 c #Conflicts: 203000 | #Constraints: 29999 401.20/402.51 c #Conflicts: 204000 | #Constraints: 30999 401.20/402.51 c #Conflicts: 205000 | #Constraints: 31999 401.20/402.51 c #Conflicts: 206000 | #Constraints: 32999 401.20/402.51 c #Conflicts: 207000 | #Constraints: 33999 401.20/402.51 c #Conflicts: 208000 | #Constraints: 34999 401.20/402.51 c #Conflicts: 209000 | #Constraints: 35999 401.20/402.51 c #Conflicts: 210000 | #Constraints: 36999 401.20/402.51 c #Conflicts: 211000 | #Constraints: 37999 401.20/402.51 c #Conflicts: 212000 | #Constraints: 38999 401.20/402.51 c #Conflicts: 213000 | #Constraints: 39999 401.20/402.51 c #Conflicts: 214000 | #Constraints: 40999 401.20/402.51 c #Conflicts: 215000 | #Constraints: 41999 401.20/402.51 c #Conflicts: 216000 | #Constraints: 42999 401.20/402.51 c #Conflicts: 217000 | #Constraints: 43999 401.20/402.51 c #Conflicts: 218000 | #Constraints: 44999 401.20/402.51 c #Conflicts: 219000 | #Constraints: 45999 401.20/402.51 c #Conflicts: 220000 | #Constraints: 46999 401.20/402.51 c #Conflicts: 221000 | #Constraints: 47999 401.20/402.51 c INPROCESSING 401.20/402.51 c GARBAGE COLLECT 401.20/402.51 c rational objective 141 467.06/468.62 c #Conflicts: 222000 | #Constraints: 25513 467.06/468.62 c #Conflicts: 223000 | #Constraints: 26513 467.06/468.62 c #Conflicts: 224000 | #Constraints: 27513 467.06/468.62 c #Conflicts: 225000 | #Constraints: 28513 467.06/468.62 c #Conflicts: 226000 | #Constraints: 29513 467.06/468.62 c #Conflicts: 227000 | #Constraints: 30513 467.06/468.62 c #Conflicts: 228000 | #Constraints: 31513 467.06/468.62 c #Conflicts: 229000 | #Constraints: 32513 467.06/468.62 c #Conflicts: 230000 | #Constraints: 33513 467.06/468.62 c #Conflicts: 231000 | #Constraints: 34513 467.06/468.62 c #Conflicts: 232000 | #Constraints: 35513 467.06/468.62 c INPROCESSING 467.06/468.62 c GARBAGE COLLECT 467.06/468.62 c rational objective 141 497.95/499.62 c #Conflicts: 233000 | #Constraints: 19318 497.95/499.62 c #Conflicts: 234000 | #Constraints: 20318 497.95/499.62 c #Conflicts: 235000 | #Constraints: 21318 497.95/499.62 c #Conflicts: 236000 | #Constraints: 22318 497.95/499.62 c #Conflicts: 237000 | #Constraints: 23318 497.95/499.62 c #Conflicts: 238000 | #Constraints: 24318 497.95/499.62 c #Conflicts: 239000 | #Constraints: 25318 497.95/499.62 c #Conflicts: 240000 | #Constraints: 26318 497.95/499.62 c #Conflicts: 241000 | #Constraints: 27318 497.95/499.62 c #Conflicts: 242000 | #Constraints: 28318 497.95/499.62 c #Conflicts: 243000 | #Constraints: 29318 497.95/499.62 c INPROCESSING 497.95/499.62 c GARBAGE COLLECT 497.95/499.62 c rational objective 141 644.93/647.16 c #Conflicts: 244000 | #Constraints: 16975 644.93/647.16 c #Conflicts: 245000 | #Constraints: 17975 644.93/647.16 c #Conflicts: 246000 | #Constraints: 18975 644.93/647.16 c #Conflicts: 247000 | #Constraints: 19975 644.93/647.16 c #Conflicts: 248000 | #Constraints: 20975 644.93/647.16 c #Conflicts: 249000 | #Constraints: 21975 644.93/647.16 c #Conflicts: 250000 | #Constraints: 22975 644.93/647.16 c #Conflicts: 251000 | #Constraints: 23975 644.93/647.16 c #Conflicts: 252000 | #Constraints: 24975 644.93/647.16 c #Conflicts: 253000 | #Constraints: 25975 644.93/647.16 c #Conflicts: 254000 | #Constraints: 26975 644.93/647.16 c #Conflicts: 255000 | #Constraints: 27975 644.93/647.16 c #Conflicts: 256000 | #Constraints: 28975 644.93/647.16 c #Conflicts: 257000 | #Constraints: 29975 644.93/647.16 c #Conflicts: 258000 | #Constraints: 30975 644.93/647.16 c #Conflicts: 259000 | #Constraints: 31975 644.93/647.16 c #Conflicts: 260000 | #Constraints: 32975 644.93/647.16 c #Conflicts: 261000 | #Constraints: 33975 644.93/647.16 c #Conflicts: 262000 | #Constraints: 34975 644.93/647.16 c #Conflicts: 263000 | #Constraints: 35975 644.93/647.16 c #Conflicts: 264000 | #Constraints: 36975 644.93/647.16 c #Conflicts: 265000 | #Constraints: 37975 644.93/647.16 c #Conflicts: 266000 | #Constraints: 38975 644.93/647.16 c #Conflicts: 267000 | #Constraints: 39975 644.93/647.16 c #Conflicts: 268000 | #Constraints: 40975 644.93/647.16 c #Conflicts: 269000 | #Constraints: 41975 644.93/647.16 c #Conflicts: 270000 | #Constraints: 42975 644.93/647.16 c #Conflicts: 271000 | #Constraints: 43975 644.93/647.16 c #Conflicts: 272000 | #Constraints: 44975 644.93/647.16 c #Conflicts: 273000 | #Constraints: 45975 644.93/647.16 c #Conflicts: 274000 | #Constraints: 46975 644.93/647.16 c #Conflicts: 275000 | #Constraints: 47975 644.93/647.16 c #Conflicts: 276000 | #Constraints: 48975 644.93/647.16 c #Conflicts: 277000 | #Constraints: 49975 644.93/647.16 c #Conflicts: 278000 | #Constraints: 50975 644.93/647.16 c bounds 195 >= 142 @ 632.482 644.93/647.16 c #Conflicts: 279000 | #Constraints: 52023 644.93/647.16 c #Conflicts: 280000 | #Constraints: 53023 644.93/647.16 c #Conflicts: 281000 | #Constraints: 54023 644.93/647.16 c #Conflicts: 282000 | #Constraints: 55023 644.93/647.16 c INPROCESSING 644.93/647.16 c GARBAGE COLLECT 644.93/647.16 c rational objective 142 673.21/675.58 c #Conflicts: 283000 | #Constraints: 29233 673.21/675.58 c #Conflicts: 284000 | #Constraints: 30233 673.21/675.58 c #Conflicts: 285000 | #Constraints: 31233 673.21/675.58 c #Conflicts: 286000 | #Constraints: 32233 673.21/675.58 c #Conflicts: 287000 | #Constraints: 33233 673.21/675.58 c #Conflicts: 288000 | #Constraints: 34233 673.21/675.58 c #Conflicts: 289000 | #Constraints: 35233 673.21/675.58 c #Conflicts: 290000 | #Constraints: 36233 673.21/675.58 c #Conflicts: 291000 | #Constraints: 37233 673.21/675.58 c #Conflicts: 292000 | #Constraints: 38233 673.21/675.58 c #Conflicts: 293000 | #Constraints: 39233 673.21/675.58 c #Conflicts: 294000 | #Constraints: 40233 673.21/675.58 c INPROCESSING 673.21/675.58 c GARBAGE COLLECT 673.21/675.58 c rational objective 142 700.02/702.44 c #Conflicts: 295000 | #Constraints: 21595 700.02/702.44 c #Conflicts: 296000 | #Constraints: 22595 700.02/702.44 c #Conflicts: 297000 | #Constraints: 23595 700.02/702.44 c #Conflicts: 298000 | #Constraints: 24595 700.02/702.44 c #Conflicts: 299000 | #Constraints: 25595 700.02/702.44 c #Conflicts: 300000 | #Constraints: 26595 700.02/702.44 c #Conflicts: 301000 | #Constraints: 27595 700.02/702.44 c #Conflicts: 302000 | #Constraints: 28595 700.02/702.44 c #Conflicts: 303000 | #Constraints: 29595 700.02/702.44 c #Conflicts: 304000 | #Constraints: 30595 700.02/702.44 c #Conflicts: 305000 | #Constraints: 31595 700.02/702.44 c #Conflicts: 306000 | #Constraints: 32595 700.02/702.44 c #Conflicts: 307000 | #Constraints: 33595 700.02/702.44 c INPROCESSING 700.02/702.44 c GARBAGE COLLECT 700.02/702.44 c rational objective 142 889.35/892.46 c #Conflicts: 308000 | #Constraints: 19896 889.35/892.46 c #Conflicts: 309000 | #Constraints: 20896 889.35/892.46 c #Conflicts: 310000 | #Constraints: 21896 889.35/892.46 c #Conflicts: 311000 | #Constraints: 22896 889.35/892.46 c #Conflicts: 312000 | #Constraints: 23896 889.35/892.46 c #Conflicts: 313000 | #Constraints: 24896 889.35/892.46 c #Conflicts: 314000 | #Constraints: 25896 889.35/892.46 c #Conflicts: 315000 | #Constraints: 26896 889.35/892.46 c #Conflicts: 316000 | #Constraints: 27896 889.35/892.46 c #Conflicts: 317000 | #Constraints: 28896 889.35/892.46 c #Conflicts: 318000 | #Constraints: 29896 889.35/892.46 c #Conflicts: 319000 | #Constraints: 30896 889.35/892.46 c #Conflicts: 320000 | #Constraints: 31896 889.35/892.46 c #Conflicts: 321000 | #Constraints: 32896 889.35/892.46 c #Conflicts: 322000 | #Constraints: 33896 889.35/892.46 c #Conflicts: 323000 | #Constraints: 34896 889.35/892.46 c #Conflicts: 324000 | #Constraints: 35896 889.35/892.46 c #Conflicts: 325000 | #Constraints: 36896 889.35/892.46 c #Conflicts: 326000 | #Constraints: 37896 889.35/892.46 c #Conflicts: 327000 | #Constraints: 38896 889.35/892.46 c #Conflicts: 328000 | #Constraints: 39896 889.35/892.46 c #Conflicts: 329000 | #Constraints: 40896 889.35/892.46 c #Conflicts: 330000 | #Constraints: 41896 889.35/892.46 c #Conflicts: 331000 | #Constraints: 42896 889.35/892.46 c #Conflicts: 332000 | #Constraints: 43896 889.35/892.46 c #Conflicts: 333000 | #Constraints: 44896 889.35/892.46 c #Conflicts: 334000 | #Constraints: 45896 889.35/892.46 c #Conflicts: 335000 | #Constraints: 46896 889.35/892.46 c #Conflicts: 336000 | #Constraints: 47896 889.35/892.46 c #Conflicts: 337000 | #Constraints: 48896 889.35/892.46 c #Conflicts: 338000 | #Constraints: 49896 889.35/892.46 c #Conflicts: 339000 | #Constraints: 50896 889.35/892.46 c #Conflicts: 340000 | #Constraints: 51896 889.35/892.46 c #Conflicts: 341000 | #Constraints: 52896 889.35/892.46 c #Conflicts: 342000 | #Constraints: 53896 889.35/892.46 c #Conflicts: 343000 | #Constraints: 54896 889.35/892.46 c #Conflicts: 344000 | #Constraints: 55896 889.35/892.46 c #Conflicts: 345000 | #Constraints: 56896 889.35/892.46 c #Conflicts: 346000 | #Constraints: 57896 889.35/892.46 c #Conflicts: 347000 | #Constraints: 58896 889.35/892.46 c #Conflicts: 348000 | #Constraints: 59896 889.35/892.46 c #Conflicts: 349000 | #Constraints: 60896 889.35/892.46 c INPROCESSING 889.35/892.46 c GARBAGE COLLECT 889.35/892.46 c rational objective 142 988.48/991.87 c #Conflicts: 350000 | #Constraints: 31777 988.48/991.87 c #Conflicts: 351000 | #Constraints: 32777 988.48/991.87 c #Conflicts: 352000 | #Constraints: 33777 988.48/991.87 c #Conflicts: 353000 | #Constraints: 34777 988.48/991.87 c #Conflicts: 354000 | #Constraints: 35777 988.48/991.87 c #Conflicts: 355000 | #Constraints: 36777 988.48/991.87 c #Conflicts: 356000 | #Constraints: 37777 988.48/991.87 c #Conflicts: 357000 | #Constraints: 38777 988.48/991.87 c #Conflicts: 358000 | #Constraints: 39777 988.48/991.87 c #Conflicts: 359000 | #Constraints: 40777 988.48/991.87 c #Conflicts: 360000 | #Constraints: 41777 988.48/991.87 c #Conflicts: 361000 | #Constraints: 42777 988.48/991.87 c #Conflicts: 362000 | #Constraints: 43777 988.48/991.87 c #Conflicts: 363000 | #Constraints: 44777 988.48/991.87 c INPROCESSING 988.48/991.87 c GARBAGE COLLECT 988.48/991.87 c rational objective 142 1026.49/1029.93 c #Conflicts: 364000 | #Constraints: 23772 1026.49/1029.93 c #Conflicts: 365000 | #Constraints: 24772 1026.49/1029.93 c #Conflicts: 366000 | #Constraints: 25772 1026.49/1029.93 c #Conflicts: 367000 | #Constraints: 26772 1026.49/1029.93 c #Conflicts: 368000 | #Constraints: 27772 1026.49/1029.93 c #Conflicts: 369000 | #Constraints: 28772 1026.49/1029.93 c #Conflicts: 370000 | #Constraints: 29772 1026.49/1029.93 c #Conflicts: 371000 | #Constraints: 30772 1026.49/1029.93 c #Conflicts: 372000 | #Constraints: 31772 1026.49/1029.93 c #Conflicts: 373000 | #Constraints: 32772 1026.49/1029.93 c #Conflicts: 374000 | #Constraints: 33772 1026.49/1029.93 c #Conflicts: 375000 | #Constraints: 34772 1026.49/1029.93 c #Conflicts: 376000 | #Constraints: 35772 1026.49/1029.93 c #Conflicts: 377000 | #Constraints: 36772 1026.49/1029.93 c #Conflicts: 378000 | #Constraints: 37772 1026.49/1029.93 c INPROCESSING 1026.49/1029.93 c GARBAGE COLLECT 1026.49/1029.93 c rational objective 142 1242.09/1246.13 c #Conflicts: 379000 | #Constraints: 23207 1242.09/1246.13 c #Conflicts: 380000 | #Constraints: 24207 1242.09/1246.13 c #Conflicts: 381000 | #Constraints: 25207 1242.09/1246.13 c #Conflicts: 382000 | #Constraints: 26207 1242.09/1246.13 c #Conflicts: 383000 | #Constraints: 27207 1242.09/1246.13 c #Conflicts: 384000 | #Constraints: 28207 1242.09/1246.13 c #Conflicts: 385000 | #Constraints: 29207 1242.09/1246.13 c #Conflicts: 386000 | #Constraints: 30207 1242.09/1246.13 c #Conflicts: 387000 | #Constraints: 31207 1242.09/1246.13 c #Conflicts: 388000 | #Constraints: 32207 1242.09/1246.13 c #Conflicts: 389000 | #Constraints: 33207 1242.09/1246.13 c #Conflicts: 390000 | #Constraints: 34207 1242.09/1246.13 c #Conflicts: 391000 | #Constraints: 35207 1242.09/1246.13 c #Conflicts: 392000 | #Constraints: 36207 1242.09/1246.13 c #Conflicts: 393000 | #Constraints: 37207 1242.09/1246.13 c #Conflicts: 394000 | #Constraints: 38207 1242.09/1246.13 c #Conflicts: 395000 | #Constraints: 39207 1242.09/1246.13 c #Conflicts: 396000 | #Constraints: 40207 1242.09/1246.13 c #Conflicts: 397000 | #Constraints: 41207 1242.09/1246.13 c #Conflicts: 398000 | #Constraints: 42207 1242.09/1246.13 c #Conflicts: 399000 | #Constraints: 43207 1242.09/1246.13 c #Conflicts: 400000 | #Constraints: 44207 1242.09/1246.13 c #Conflicts: 401000 | #Constraints: 45207 1242.09/1246.13 c #Conflicts: 402000 | #Constraints: 46207 1242.09/1246.13 c #Conflicts: 403000 | #Constraints: 47207 1242.09/1246.13 c #Conflicts: 404000 | #Constraints: 48207 1242.09/1246.13 c #Conflicts: 405000 | #Constraints: 49207 1242.09/1246.13 c #Conflicts: 406000 | #Constraints: 50207 1242.09/1246.13 c #Conflicts: 407000 | #Constraints: 51207 1242.09/1246.13 c #Conflicts: 408000 | #Constraints: 52207 1242.09/1246.13 c #Conflicts: 409000 | #Constraints: 53207 1242.09/1246.13 c #Conflicts: 410000 | #Constraints: 54207 1242.09/1246.13 c #Conflicts: 411000 | #Constraints: 55207 1242.09/1246.13 c #Conflicts: 412000 | #Constraints: 56207 1242.09/1246.13 c #Conflicts: 413000 | #Constraints: 57207 1242.09/1246.13 c #Conflicts: 414000 | #Constraints: 58207 1242.09/1246.13 c #Conflicts: 415000 | #Constraints: 59207 1242.09/1246.13 c #Conflicts: 416000 | #Constraints: 60207 1242.09/1246.13 c #Conflicts: 417000 | #Constraints: 61207 1242.09/1246.13 c #Conflicts: 418000 | #Constraints: 62207 1242.09/1246.13 c #Conflicts: 419000 | #Constraints: 63207 1242.09/1246.13 c #Conflicts: 420000 | #Constraints: 64207 1242.09/1246.13 c #Conflicts: 421000 | #Constraints: 65207 1242.09/1246.13 c #Conflicts: 422000 | #Constraints: 66207 1242.09/1246.13 c #Conflicts: 423000 | #Constraints: 67207 1242.09/1246.13 c #Conflicts: 424000 | #Constraints: 68207 1242.09/1246.13 c INPROCESSING 1242.09/1246.13 c GARBAGE COLLECT 1242.09/1246.13 c rational objective 142 1302.79/1307.07 c #Conflicts: 425000 | #Constraints: 35518 1302.79/1307.07 c #Conflicts: 426000 | #Constraints: 36518 1302.79/1307.07 c #Conflicts: 427000 | #Constraints: 37518 1302.79/1307.07 c #Conflicts: 428000 | #Constraints: 38518 1302.79/1307.07 c #Conflicts: 429000 | #Constraints: 39518 1302.79/1307.07 c #Conflicts: 430000 | #Constraints: 40519 1302.79/1307.07 c #Conflicts: 431000 | #Constraints: 41519 1302.79/1307.07 c #Conflicts: 432000 | #Constraints: 42519 1302.79/1307.07 c #Conflicts: 433000 | #Constraints: 43520 1302.79/1307.07 c #Conflicts: 434000 | #Constraints: 44521 1302.79/1307.07 c #Conflicts: 435000 | #Constraints: 45522 1302.79/1307.07 c #Conflicts: 436000 | #Constraints: 46522 1302.79/1307.07 c #Conflicts: 437000 | #Constraints: 47522 1302.79/1307.07 c #Conflicts: 438000 | #Constraints: 48522 1302.79/1307.07 c #Conflicts: 439000 | #Constraints: 49522 1302.79/1307.07 c #Conflicts: 440000 | #Constraints: 50522 1302.79/1307.07 c INPROCESSING 1302.79/1307.07 c GARBAGE COLLECT 1302.79/1307.07 c rational objective 142 1525.67/1530.68 c #Conflicts: 441000 | #Constraints: 26841 1525.67/1530.68 c #Conflicts: 442000 | #Constraints: 27841 1525.67/1530.68 c #Conflicts: 443000 | #Constraints: 28841 1525.67/1530.68 c #Conflicts: 444000 | #Constraints: 29841 1525.67/1530.68 c #Conflicts: 445000 | #Constraints: 30841 1525.67/1530.68 c #Conflicts: 446000 | #Constraints: 31841 1525.67/1530.68 c #Conflicts: 447000 | #Constraints: 32841 1525.67/1530.68 c #Conflicts: 448000 | #Constraints: 33841 1525.67/1530.68 c #Conflicts: 449000 | #Constraints: 34841 1525.67/1530.68 c #Conflicts: 450000 | #Constraints: 35841 1525.67/1530.68 c #Conflicts: 451000 | #Constraints: 36841 1525.67/1530.68 c #Conflicts: 452000 | #Constraints: 37841 1525.67/1530.68 c #Conflicts: 453000 | #Constraints: 38841 1525.67/1530.68 c #Conflicts: 454000 | #Constraints: 39841 1525.67/1530.68 c #Conflicts: 455000 | #Constraints: 40841 1525.67/1530.68 c #Conflicts: 456000 | #Constraints: 41841 1525.67/1530.68 c #Conflicts: 457000 | #Constraints: 42841 1525.67/1530.68 c #Conflicts: 458000 | #Constraints: 43841 1525.67/1530.68 c #Conflicts: 459000 | #Constraints: 44841 1525.67/1530.68 c #Conflicts: 460000 | #Constraints: 45841 1525.67/1530.68 c #Conflicts: 461000 | #Constraints: 46841 1525.67/1530.68 c #Conflicts: 462000 | #Constraints: 47841 1525.67/1530.68 c #Conflicts: 463000 | #Constraints: 48841 1525.67/1530.68 c #Conflicts: 464000 | #Constraints: 49841 1525.67/1530.68 c #Conflicts: 465000 | #Constraints: 50841 1525.67/1530.68 c #Conflicts: 466000 | #Constraints: 51841 1525.67/1530.68 c #Conflicts: 467000 | #Constraints: 52841 1525.67/1530.68 c #Conflicts: 468000 | #Constraints: 53841 1525.67/1530.68 c #Conflicts: 469000 | #Constraints: 54841 1525.67/1530.68 c #Conflicts: 470000 | #Constraints: 55841 1525.67/1530.68 c #Conflicts: 471000 | #Constraints: 56841 1525.67/1530.68 c #Conflicts: 472000 | #Constraints: 57841 1525.67/1530.68 c #Conflicts: 473000 | #Constraints: 58841 1525.67/1530.68 c #Conflicts: 474000 | #Constraints: 59841 1525.67/1530.68 c #Conflicts: 475000 | #Constraints: 60841 1525.67/1530.68 c #Conflicts: 476000 | #Constraints: 61841 1525.67/1530.68 c #Conflicts: 477000 | #Constraints: 62841 1525.67/1530.68 c #Conflicts: 478000 | #Constraints: 63841 1525.67/1530.68 c #Conflicts: 479000 | #Constraints: 64841 1525.67/1530.68 c #Conflicts: 480000 | #Constraints: 65841 1525.67/1530.68 c #Conflicts: 481000 | #Constraints: 66841 1525.67/1530.68 c #Conflicts: 482000 | #Constraints: 67841 1525.67/1530.68 c #Conflicts: 483000 | #Constraints: 68841 1525.67/1530.68 c #Conflicts: 484000 | #Constraints: 69841 1525.67/1530.68 c #Conflicts: 485000 | #Constraints: 70841 1525.67/1530.68 c #Conflicts: 486000 | #Constraints: 71841 1525.67/1530.68 c #Conflicts: 487000 | #Constraints: 72841 1525.67/1530.68 c #Conflicts: 488000 | #Constraints: 73841 1525.67/1530.68 c #Conflicts: 489000 | #Constraints: 74841 1525.67/1530.68 c #Conflicts: 490000 | #Constraints: 75841 1525.67/1530.68 c INPROCESSING 1525.67/1530.68 c GARBAGE COLLECT 1525.67/1530.68 c rational objective 142 1650.98/1656.38 c #Conflicts: 491000 | #Constraints: 39557 1650.98/1656.38 c #Conflicts: 492000 | #Constraints: 40557 1650.98/1656.38 c #Conflicts: 493000 | #Constraints: 41557 1650.98/1656.38 c #Conflicts: 494000 | #Constraints: 42557 1650.98/1656.38 c #Conflicts: 495000 | #Constraints: 43557 1650.98/1656.38 c #Conflicts: 496000 | #Constraints: 44557 1650.98/1656.38 c #Conflicts: 497000 | #Constraints: 45557 1650.98/1656.38 c #Conflicts: 498000 | #Constraints: 46557 1650.98/1656.38 c #Conflicts: 499000 | #Constraints: 47557 1650.98/1656.38 c #Conflicts: 500000 | #Constraints: 48557 1650.98/1656.38 c #Conflicts: 501000 | #Constraints: 49557 1650.98/1656.38 c #Conflicts: 502000 | #Constraints: 50557 1650.98/1656.38 c #Conflicts: 503000 | #Constraints: 51557 1650.98/1656.38 c #Conflicts: 504000 | #Constraints: 52557 1650.98/1656.38 c #Conflicts: 505000 | #Constraints: 53557 1650.98/1656.38 c #Conflicts: 506000 | #Constraints: 54557 1650.98/1656.38 c #Conflicts: 507000 | #Constraints: 55557 1650.98/1656.38 c INPROCESSING 1650.98/1656.38 c GARBAGE COLLECT 1650.98/1656.38 c rational objective 142 1718.16/1723.72 c #Conflicts: 508000 | #Constraints: 29587 1718.16/1723.72 c #Conflicts: 509000 | #Constraints: 30587 1718.16/1723.72 c #Conflicts: 510000 | #Constraints: 31587 1718.16/1723.72 c #Conflicts: 511000 | #Constraints: 32587 1718.16/1723.72 c #Conflicts: 512000 | #Constraints: 33587 1718.16/1723.72 c #Conflicts: 513000 | #Constraints: 34587 1718.16/1723.72 c #Conflicts: 514000 | #Constraints: 35587 1718.16/1723.72 c #Conflicts: 515000 | #Constraints: 36587 1718.16/1723.72 c #Conflicts: 516000 | #Constraints: 37587 1718.16/1723.72 c #Conflicts: 517000 | #Constraints: 38587 1718.16/1723.72 c #Conflicts: 518000 | #Constraints: 39587 1718.16/1723.72 c #Conflicts: 519000 | #Constraints: 40587 1718.16/1723.72 c #Conflicts: 520000 | #Constraints: 41587 1718.16/1723.72 c #Conflicts: 521000 | #Constraints: 42587 1718.16/1723.72 c #Conflicts: 522000 | #Constraints: 43587 1718.16/1723.72 c #Conflicts: 523000 | #Constraints: 44587 1718.16/1723.72 c #Conflicts: 524000 | #Constraints: 45587 1718.16/1723.72 c INPROCESSING 1718.16/1723.72 c GARBAGE COLLECT 1718.16/1723.72 c rational objective 142 2063.73/2070.28 c #Conflicts: 525000 | #Constraints: 29583 2063.73/2070.28 c #Conflicts: 526000 | #Constraints: 30583 2063.73/2070.28 c #Conflicts: 527000 | #Constraints: 31583 2063.73/2070.28 c #Conflicts: 528000 | #Constraints: 32583 2063.73/2070.28 c #Conflicts: 529000 | #Constraints: 33583 2063.73/2070.28 c #Conflicts: 530000 | #Constraints: 34583 2063.73/2070.28 c #Conflicts: 531000 | #Constraints: 35583 2063.73/2070.28 c #Conflicts: 532000 | #Constraints: 36583 2063.73/2070.28 c #Conflicts: 533000 | #Constraints: 37583 2063.73/2070.28 c #Conflicts: 534000 | #Constraints: 38583 2063.73/2070.28 c #Conflicts: 535000 | #Constraints: 39583 2063.73/2070.28 c #Conflicts: 536000 | #Constraints: 40583 2063.73/2070.28 c #Conflicts: 537000 | #Constraints: 41583 2063.73/2070.28 c #Conflicts: 538000 | #Constraints: 42583 2063.73/2070.28 c #Conflicts: 539000 | #Constraints: 43583 2063.73/2070.28 c #Conflicts: 540000 | #Constraints: 44583 2063.73/2070.28 c #Conflicts: 541000 | #Constraints: 45583 2063.73/2070.28 c #Conflicts: 542000 | #Constraints: 46583 2063.73/2070.28 c #Conflicts: 543000 | #Constraints: 47583 2063.73/2070.28 c #Conflicts: 544000 | #Constraints: 48583 2063.73/2070.28 c #Conflicts: 545000 | #Constraints: 49583 2063.73/2070.28 c #Conflicts: 546000 | #Constraints: 50583 2063.73/2070.28 c #Conflicts: 547000 | #Constraints: 51583 2063.73/2070.28 c #Conflicts: 548000 | #Constraints: 52583 2063.73/2070.28 c #Conflicts: 549000 | #Constraints: 53583 2063.73/2070.28 c #Conflicts: 550000 | #Constraints: 54583 2063.73/2070.28 c #Conflicts: 551000 | #Constraints: 55583 2063.73/2070.28 c #Conflicts: 552000 | #Constraints: 56583 2063.73/2070.28 c #Conflicts: 553000 | #Constraints: 57583 2063.73/2070.28 c #Conflicts: 554000 | #Constraints: 58583 2063.73/2070.28 c #Conflicts: 555000 | #Constraints: 59583 2063.73/2070.28 c #Conflicts: 556000 | #Constraints: 60583 2063.73/2070.28 c #Conflicts: 557000 | #Constraints: 61583 2063.73/2070.28 c #Conflicts: 558000 | #Constraints: 62583 2063.73/2070.28 c #Conflicts: 559000 | #Constraints: 63583 2063.73/2070.28 c #Conflicts: 560000 | #Constraints: 64583 2063.73/2070.28 c #Conflicts: 561000 | #Constraints: 65583 2063.73/2070.28 c #Conflicts: 562000 | #Constraints: 66583 2063.73/2070.28 c #Conflicts: 563000 | #Constraints: 67583 2063.73/2070.28 c #Conflicts: 564000 | #Constraints: 68583 2063.73/2070.28 c #Conflicts: 565000 | #Constraints: 69583 2063.73/2070.28 c #Conflicts: 566000 | #Constraints: 70583 2063.73/2070.28 c #Conflicts: 567000 | #Constraints: 71583 2063.73/2070.28 c #Conflicts: 568000 | #Constraints: 72583 2063.73/2070.28 c #Conflicts: 569000 | #Constraints: 73583 2063.73/2070.28 c #Conflicts: 570000 | #Constraints: 74583 2063.73/2070.28 c #Conflicts: 571000 | #Constraints: 75583 2063.73/2070.28 c #Conflicts: 572000 | #Constraints: 76583 2063.73/2070.28 c #Conflicts: 573000 | #Constraints: 77583 2063.73/2070.28 c #Conflicts: 574000 | #Constraints: 78583 2063.73/2070.28 c #Conflicts: 575000 | #Constraints: 79583 2063.73/2070.28 c #Conflicts: 576000 | #Constraints: 80583 2063.73/2070.28 c #Conflicts: 577000 | #Constraints: 81583 2063.73/2070.28 c #Conflicts: 578000 | #Constraints: 82583 2063.73/2070.28 c INPROCESSING 2063.73/2070.28 c GARBAGE COLLECT 2063.73/2070.28 c rational objective 142 2131.46/2138.18 c #Conflicts: 579000 | #Constraints: 43049 2131.46/2138.18 c #Conflicts: 580000 | #Constraints: 44049 2131.46/2138.18 c #Conflicts: 581000 | #Constraints: 45049 2131.46/2138.18 c #Conflicts: 582000 | #Constraints: 46049 2131.46/2138.18 c #Conflicts: 583000 | #Constraints: 47049 2131.46/2138.18 c #Conflicts: 584000 | #Constraints: 48049 2131.46/2138.18 c #Conflicts: 585000 | #Constraints: 49049 2131.46/2138.18 c #Conflicts: 586000 | #Constraints: 50049 2131.46/2138.18 c #Conflicts: 587000 | #Constraints: 51049 2131.46/2138.18 c #Conflicts: 588000 | #Constraints: 52049 2131.46/2138.18 c #Conflicts: 589000 | #Constraints: 53049 2131.46/2138.18 c #Conflicts: 590000 | #Constraints: 54049 2131.46/2138.18 c #Conflicts: 591000 | #Constraints: 55049 2131.46/2138.18 c #Conflicts: 592000 | #Constraints: 56049 2131.46/2138.18 c #Conflicts: 593000 | #Constraints: 57049 2131.46/2138.18 c #Conflicts: 594000 | #Constraints: 58049 2131.46/2138.18 c #Conflicts: 595000 | #Constraints: 59049 2131.46/2138.18 c #Conflicts: 596000 | #Constraints: 60049 2131.46/2138.18 c INPROCESSING 2131.46/2138.18 c GARBAGE COLLECT 2131.46/2138.18 c rational objective 142 2403.84/2411.28 c #Conflicts: 597000 | #Constraints: 32881 2403.84/2411.28 c #Conflicts: 598000 | #Constraints: 33881 2403.84/2411.28 c #Conflicts: 599000 | #Constraints: 34881 2403.84/2411.28 c #Conflicts: 600000 | #Constraints: 35881 2403.84/2411.28 c #Conflicts: 601000 | #Constraints: 36881 2403.84/2411.28 c bounds 194 >= 142 @ 2129.79 2403.84/2411.28 c #Conflicts: 602000 | #Constraints: 37882 2403.84/2411.28 c #Conflicts: 603000 | #Constraints: 38882 2403.84/2411.28 c #Conflicts: 604000 | #Constraints: 39882 2403.84/2411.28 c #Conflicts: 605000 | #Constraints: 40882 2403.84/2411.28 c #Conflicts: 606000 | #Constraints: 41882 2403.84/2411.28 c #Conflicts: 607000 | #Constraints: 42882 2403.84/2411.28 c #Conflicts: 608000 | #Constraints: 43882 2403.84/2411.28 c #Conflicts: 609000 | #Constraints: 44882 2403.84/2411.28 c #Conflicts: 610000 | #Constraints: 45882 2403.84/2411.28 c #Conflicts: 611000 | #Constraints: 46882 2403.84/2411.28 c #Conflicts: 612000 | #Constraints: 47882 2403.84/2411.28 c #Conflicts: 613000 | #Constraints: 48882 2403.84/2411.28 c #Conflicts: 614000 | #Constraints: 49882 2403.84/2411.28 c #Conflicts: 615000 | #Constraints: 50882 2403.84/2411.28 c #Conflicts: 616000 | #Constraints: 51882 2403.84/2411.28 c #Conflicts: 617000 | #Constraints: 52882 2403.84/2411.28 c #Conflicts: 618000 | #Constraints: 53882 2403.84/2411.28 c #Conflicts: 619000 | #Constraints: 54882 2403.84/2411.28 c #Conflicts: 620000 | #Constraints: 55882 2403.84/2411.28 c #Conflicts: 621000 | #Constraints: 56882 2403.84/2411.28 c #Conflicts: 622000 | #Constraints: 57882 2403.84/2411.28 c #Conflicts: 623000 | #Constraints: 58882 2403.84/2411.28 c bounds 193 >= 142 @ 2210.27 2403.84/2411.28 c #Conflicts: 624000 | #Constraints: 59883 2403.84/2411.28 c #Conflicts: 625000 | #Constraints: 60883 2403.84/2411.28 c #Conflicts: 626000 | #Constraints: 61883 2403.84/2411.28 c #Conflicts: 627000 | #Constraints: 62883 2403.84/2411.28 c #Conflicts: 628000 | #Constraints: 63883 2403.84/2411.28 c #Conflicts: 629000 | #Constraints: 64883 2403.84/2411.28 c #Conflicts: 630000 | #Constraints: 65883 2403.84/2411.28 c #Conflicts: 631000 | #Constraints: 66883 2403.84/2411.28 c #Conflicts: 632000 | #Constraints: 67883 2403.84/2411.28 c #Conflicts: 633000 | #Constraints: 68883 2403.84/2411.28 c #Conflicts: 634000 | #Constraints: 69883 2403.84/2411.28 c #Conflicts: 635000 | #Constraints: 70883 2403.84/2411.28 c #Conflicts: 636000 | #Constraints: 71883 2403.84/2411.28 c #Conflicts: 637000 | #Constraints: 72883 2403.84/2411.28 c #Conflicts: 638000 | #Constraints: 73883 2403.84/2411.28 c #Conflicts: 639000 | #Constraints: 74883 2403.84/2411.28 c #Conflicts: 640000 | #Constraints: 75883 2403.84/2411.28 c #Conflicts: 641000 | #Constraints: 76883 2403.84/2411.28 c #Conflicts: 642000 | #Constraints: 77883 2403.84/2411.28 c #Conflicts: 643000 | #Constraints: 78883 2403.84/2411.28 c #Conflicts: 644000 | #Constraints: 79883 2403.84/2411.28 c #Conflicts: 645000 | #Constraints: 80883 2403.84/2411.28 c #Conflicts: 646000 | #Constraints: 81883 2403.84/2411.28 c #Conflicts: 647000 | #Constraints: 82883 2403.84/2411.28 c #Conflicts: 648000 | #Constraints: 83883 2403.84/2411.28 c #Conflicts: 649000 | #Constraints: 84883 2403.84/2411.28 c #Conflicts: 650000 | #Constraints: 85883 2403.84/2411.28 c #Conflicts: 651000 | #Constraints: 86883 2403.84/2411.28 c #Conflicts: 652000 | #Constraints: 87883 2403.84/2411.28 c #Conflicts: 653000 | #Constraints: 88883 2403.84/2411.28 c INPROCESSING 2403.84/2411.28 c GARBAGE COLLECT 2403.84/2411.28 c rational objective 142 2604.83/2612.75 c #Conflicts: 654000 | #Constraints: 45874 2604.83/2612.75 c #Conflicts: 655000 | #Constraints: 46874 2604.83/2612.75 c #Conflicts: 656000 | #Constraints: 47874 2604.83/2612.75 c #Conflicts: 657000 | #Constraints: 48874 2604.83/2612.75 c #Conflicts: 658000 | #Constraints: 49874 2604.83/2612.75 c #Conflicts: 659000 | #Constraints: 50874 2604.83/2612.75 c #Conflicts: 660000 | #Constraints: 51874 2604.83/2612.75 c #Conflicts: 661000 | #Constraints: 52874 2604.83/2612.75 c #Conflicts: 662000 | #Constraints: 53874 2604.83/2612.75 c #Conflicts: 663000 | #Constraints: 54874 2604.83/2612.75 c #Conflicts: 664000 | #Constraints: 55874 2604.83/2612.75 c #Conflicts: 665000 | #Constraints: 56874 2604.83/2612.75 c #Conflicts: 666000 | #Constraints: 57874 2604.83/2612.75 c #Conflicts: 667000 | #Constraints: 58874 2604.83/2612.75 c #Conflicts: 668000 | #Constraints: 59874 2604.83/2612.75 c #Conflicts: 669000 | #Constraints: 60874 2604.83/2612.75 c #Conflicts: 670000 | #Constraints: 61874 2604.83/2612.75 c #Conflicts: 671000 | #Constraints: 62874 2604.83/2612.75 c #Conflicts: 672000 | #Constraints: 63874 2604.83/2612.75 c #Conflicts: 673000 | #Constraints: 64874 2604.83/2612.75 c INPROCESSING 2604.83/2612.75 c GARBAGE COLLECT 2604.83/2612.75 c rational objective 142 3091.45/3100.65 c #Conflicts: 674000 | #Constraints: 34982 3091.45/3100.65 c #Conflicts: 675000 | #Constraints: 35982 3091.45/3100.65 c #Conflicts: 676000 | #Constraints: 36982 3091.45/3100.65 c #Conflicts: 677000 | #Constraints: 37982 3091.45/3100.65 c #Conflicts: 678000 | #Constraints: 38982 3091.45/3100.65 c #Conflicts: 679000 | #Constraints: 39982 3091.45/3100.65 c #Conflicts: 680000 | #Constraints: 40982 3091.45/3100.65 c #Conflicts: 681000 | #Constraints: 41982 3091.45/3100.65 c #Conflicts: 682000 | #Constraints: 42982 3091.45/3100.65 c bounds 192 >= 142 @ 2631 3091.45/3100.65 c #Conflicts: 683000 | #Constraints: 43983 3091.45/3100.65 c #Conflicts: 684000 | #Constraints: 44983 3091.45/3100.65 c #Conflicts: 685000 | #Constraints: 45983 3091.45/3100.65 c #Conflicts: 686000 | #Constraints: 46983 3091.45/3100.65 c #Conflicts: 687000 | #Constraints: 47983 3091.45/3100.65 c #Conflicts: 688000 | #Constraints: 48983 3091.45/3100.65 c #Conflicts: 689000 | #Constraints: 49983 3091.45/3100.65 c #Conflicts: 690000 | #Constraints: 50983 3091.45/3100.65 c #Conflicts: 691000 | #Constraints: 51983 3091.45/3100.65 c #Conflicts: 692000 | #Constraints: 52983 3091.45/3100.65 c #Conflicts: 693000 | #Constraints: 53983 3091.45/3100.65 c #Conflicts: 694000 | #Constraints: 54983 3091.45/3100.65 c #Conflicts: 695000 | #Constraints: 55983 3091.45/3100.65 c #Conflicts: 696000 | #Constraints: 56983 3091.45/3100.65 c #Conflicts: 697000 | #Constraints: 57983 3091.45/3100.65 c #Conflicts: 698000 | #Constraints: 58983 3091.45/3100.65 c #Conflicts: 699000 | #Constraints: 59983 3091.45/3100.65 c #Conflicts: 700000 | #Constraints: 60983 3091.45/3100.65 c #Conflicts: 701000 | #Constraints: 61983 3091.45/3100.65 c #Conflicts: 702000 | #Constraints: 62983 3091.45/3100.65 c #Conflicts: 703000 | #Constraints: 63983 3091.45/3100.65 c #Conflicts: 704000 | #Constraints: 64983 3091.45/3100.65 c #Conflicts: 705000 | #Constraints: 65983 3091.45/3100.65 c #Conflicts: 706000 | #Constraints: 66983 3091.45/3100.65 c #Conflicts: 707000 | #Constraints: 67983 3091.45/3100.65 c #Conflicts: 708000 | #Constraints: 68983 3091.45/3100.65 c #Conflicts: 709000 | #Constraints: 69983 3091.45/3100.65 c #Conflicts: 710000 | #Constraints: 70983 3091.45/3100.65 c #Conflicts: 711000 | #Constraints: 71983 3091.45/3100.65 c #Conflicts: 712000 | #Constraints: 72983 3091.45/3100.65 c #Conflicts: 713000 | #Constraints: 73983 3091.45/3100.65 c #Conflicts: 714000 | #Constraints: 74983 3091.45/3100.65 c #Conflicts: 715000 | #Constraints: 75983 3091.45/3100.65 c #Conflicts: 716000 | #Constraints: 76983 3091.45/3100.65 c #Conflicts: 717000 | #Constraints: 77983 3091.45/3100.65 c #Conflicts: 718000 | #Constraints: 78983 3091.45/3100.65 c #Conflicts: 719000 | #Constraints: 79983 3091.45/3100.65 c #Conflicts: 720000 | #Constraints: 80983 3091.45/3100.65 c #Conflicts: 721000 | #Constraints: 81983 3091.45/3100.65 c #Conflicts: 722000 | #Constraints: 82983 3091.45/3100.65 c #Conflicts: 723000 | #Constraints: 83983 3091.45/3100.65 c #Conflicts: 724000 | #Constraints: 84983 3091.45/3100.65 c #Conflicts: 725000 | #Constraints: 85983 3091.45/3100.65 c #Conflicts: 726000 | #Constraints: 86983 3091.45/3100.65 c #Conflicts: 727000 | #Constraints: 87983 3091.45/3100.65 c #Conflicts: 728000 | #Constraints: 88983 3091.45/3100.65 c #Conflicts: 729000 | #Constraints: 89983 3091.45/3100.65 c #Conflicts: 730000 | #Constraints: 90983 3091.45/3100.65 c #Conflicts: 731000 | #Constraints: 91983 3091.45/3100.65 c #Conflicts: 732000 | #Constraints: 92983 3091.45/3100.65 c #Conflicts: 733000 | #Constraints: 93983 3091.45/3100.65 c INPROCESSING 3091.45/3100.65 c GARBAGE COLLECT 3091.45/3100.65 c rational objective 142 3323.05/3332.87 c #Conflicts: 734000 | #Constraints: 48473 3323.05/3332.87 c #Conflicts: 735000 | #Constraints: 49473 3323.05/3332.87 c #Conflicts: 736000 | #Constraints: 50473 3323.05/3332.87 c #Conflicts: 737000 | #Constraints: 51473 3323.05/3332.87 c #Conflicts: 738000 | #Constraints: 52473 3323.05/3332.87 c #Conflicts: 739000 | #Constraints: 53473 3323.05/3332.87 c #Conflicts: 740000 | #Constraints: 54473 3323.05/3332.87 c #Conflicts: 741000 | #Constraints: 55473 3323.05/3332.87 c #Conflicts: 742000 | #Constraints: 56473 3323.05/3332.87 c #Conflicts: 743000 | #Constraints: 57473 3323.05/3332.87 c #Conflicts: 744000 | #Constraints: 58473 3323.05/3332.87 c #Conflicts: 745000 | #Constraints: 59473 3323.05/3332.87 c #Conflicts: 746000 | #Constraints: 60473 3323.05/3332.87 c #Conflicts: 747000 | #Constraints: 61473 3323.05/3332.87 c #Conflicts: 748000 | #Constraints: 62473 3323.05/3332.87 c #Conflicts: 749000 | #Constraints: 63473 3323.05/3332.87 c #Conflicts: 750000 | #Constraints: 64473 3323.05/3332.87 c #Conflicts: 751000 | #Constraints: 65473 3323.05/3332.87 c #Conflicts: 752000 | #Constraints: 66473 3323.05/3332.87 c #Conflicts: 753000 | #Constraints: 67473 3323.05/3332.87 c #Conflicts: 754000 | #Constraints: 68473 3323.05/3332.87 c INPROCESSING 3323.05/3332.87 c GARBAGE COLLECT 3323.05/3332.87 c rational objective 142 3600.03/3610.50 c #Conflicts: 755000 | #Constraints: 36710 3600.03/3610.50 c #Conflicts: 756000 | #Constraints: 37710 3600.03/3610.50 c #Conflicts: 757000 | #Constraints: 38710 3600.03/3610.50 c #Conflicts: 758000 | #Constraints: 39710 3600.03/3610.50 c #Conflicts: 759000 | #Constraints: 40710 3600.03/3610.50 c #Conflicts: 760000 | #Constraints: 41710 3600.03/3610.50 c #Conflicts: 761000 | #Constraints: 42710 3600.03/3610.50 c #Conflicts: 762000 | #Constraints: 43710 3600.03/3610.50 c #Conflicts: 763000 | #Constraints: 44710 3600.03/3610.50 c #Conflicts: 764000 | #Constraints: 45710 3600.03/3610.50 c #Conflicts: 765000 | #Constraints: 46710 3600.03/3610.50 c #Conflicts: 766000 | #Constraints: 47710 3600.03/3610.50 c #Conflicts: 767000 | #Constraints: 48710 3600.03/3610.50 c #Conflicts: 768000 | #Constraints: 49710 3600.03/3610.50 c #Conflicts: 769000 | #Constraints: 50710 3600.03/3610.50 c #Conflicts: 770000 | #Constraints: 51710 3600.03/3610.50 c #Conflicts: 771000 | #Constraints: 52710 3600.03/3610.50 c #Conflicts: 772000 | #Constraints: 53710 3600.03/3610.50 c #Conflicts: 773000 | #Constraints: 54710 3600.03/3610.50 c #Conflicts: 774000 | #Constraints: 55710 3600.03/3610.50 c #Conflicts: 775000 | #Constraints: 56710 3600.03/3610.50 c #Conflicts: 776000 | #Constraints: 57710 3600.03/3610.50 c #Conflicts: 777000 | #Constraints: 58710 3600.03/3610.50 c #Conflicts: 778000 | #Constraints: 59710 3600.03/3610.50 c #Conflicts: 779000 | #Constraints: 60710 3600.03/3610.50 c #Conflicts: 780000 | #Constraints: 61710 3600.03/3610.50 c #Conflicts: 781000 | #Constraints: 62710 3600.03/3610.50 c #Conflicts: 782000 | #Constraints: 63710 3600.03/3610.50 c #Conflicts: 783000 | #Constraints: 64710 3600.03/3610.50 c #Conflicts: 784000 | #Constraints: 65710 3600.03/3610.50 c #Conflicts: 785000 | #Constraints: 66710 3600.03/3610.50 c #Conflicts: 786000 | #Constraints: 67710 3600.03/3610.50 c #Conflicts: 787000 | #Constraints: 68710 3600.03/3610.50 c #Conflicts: 788000 | #Constraints: 69710 3600.03/3610.50 c #Conflicts: 789000 | #Constraints: 70710 3600.03/3610.50 c #Conflicts: 790000 | #Constraints: 71710 3600.03/3610.50 c #Conflicts: 791000 | #Constraints: 72710 3600.03/3610.50 c Program interrupted by user. 3600.03/3610.50 c cpu time 3582.11 s 3600.03/3610.50 c deterministic time 369367755613 3.69e+11 3600.03/3610.50 c optimization time 276.027 s 3600.03/3610.50 c total solve time 3306.08 s 3600.03/3610.50 c core-guided solve time 1730.43 s 3600.03/3610.50 c propagation time 3093.23 s 3600.03/3610.50 c conflict analysis time 456.769 s 3600.03/3610.50 c propagations 111183314 3600.03/3610.50 c resolve steps 7023877 3600.03/3610.50 c decisions 5391834 3600.03/3610.50 c conflicts 791757 3600.03/3610.50 c restarts 1682 3600.03/3610.50 c inprocessing phases 46 3600.03/3610.50 c input clauses 304 3600.03/3610.50 c input cardinalities 316 3600.03/3610.50 c input general constraints 911 3600.03/3610.50 c input average constraint length 61.01 3600.03/3610.50 c input average constraint degree 23.33 3600.03/3610.50 c learned clauses 279284 3600.03/3610.50 c learned cardinalities 4587 3600.03/3610.50 c learned general constraints 507903 3600.03/3610.50 c learned average constraint length 184.81 3600.03/3610.50 c learned average constraint degree 9557798.73 3600.03/3610.50 c watched constraints 359642 3600.03/3610.50 c counting constraints 149172 3600.03/3610.50 c gcd simplifications 98847 3600.03/3610.50 c detected cardinalities 1922 3600.03/3610.50 c weakened non-implied lits 32832020 3600.03/3610.50 c weakened non-implying lits 84141 3600.03/3610.50 c original variables 473 3600.03/3610.50 c clausal propagations 12028647 3600.03/3610.50 c cardinality propagations 5420293 3600.03/3610.50 c watched propagations 19024661 3600.03/3610.50 c counting propagations 73275386 3600.03/3610.50 c watch lookups 58377576017 3600.03/3610.50 c watch backjump lookups 51377746109 3600.03/3610.50 c watch checks 239815351989 3600.03/3610.50 c propagation checks 18959077687 3600.03/3610.50 c constraint additions 603232357 3600.03/3610.50 c trail pops 117366420 3600.03/3610.50 c formula constraints 472 3600.03/3610.50 c learned constraints 791766 3600.03/3610.50 c bound constraints 175 3600.03/3610.50 c core-guided constraints 884 3600.03/3610.50 c encountered formula constraints 1125175 3600.03/3610.50 c encountered learned constraints 5648151 3600.03/3610.50 c encountered bound constraints 84 3600.03/3610.50 c encountered core-guided constraints 1042006 3600.03/3610.50 c LP total time 44.5731 s 3600.03/3610.50 c LP solve time 43.6 s 3600.03/3610.50 c LP constraints added 472 3600.03/3610.50 c LP constraints removed 0 3600.03/3610.50 c LP pivots internal 793105 3600.03/3610.50 c LP pivots root 36780 3600.03/3610.50 c LP calls 12823 3600.03/3610.50 c LP optimalities 12816 3600.03/3610.50 c LP no pivot count 707 3600.03/3610.50 c LP infeasibilities 4 3600.03/3610.50 c LP valid Farkas constraints 4 3600.03/3610.50 c LP learned Farkas constraints 4 3600.03/3610.50 c LP basis resets 0 3600.03/3610.50 c LP cycling count 0 3600.03/3610.50 c LP singular count 0 3600.03/3610.50 c LP no primal count 0 3600.03/3610.50 c LP no farkas count 0 3600.03/3610.50 c LP other issue count 0 3600.03/3610.50 c LP Gomory cuts 0 3600.03/3610.50 c LP learned cuts 0 3600.03/3610.50 c LP deleted cuts 0 3600.03/3610.50 c LP encountered Gomory constraints 0 3600.03/3610.50 c LP encountered Farkas constraints 179 3600.03/3610.50 c LP encountered learned Farkas constraints 35 3600.03/3610.50 c CG auxiliary variables introduced 342 3600.03/3610.50 c CG solutions found 33 3600.03/3610.50 c CG cores constructed 142 3600.03/3610.50 c CG core cardinality constraints returned 0 3600.03/3610.50 c CG unit cores 0 3600.03/3610.50 c CG single cores 142 3600.03/3610.50 c CG blocks removed during cardinality reduction 0 3600.03/3610.50 c CG first core best 0 3600.03/3610.50 c CG decision core best 0 3600.03/3610.50 c CG core reduction tie 0 3600.03/3610.50 c CG core degree average 1.00 3600.03/3610.50 c CG core slack average 4.20 3600.03/3610.50 s SATISFIABLE 3600.03/3610.50 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 x
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (61846 MiB free)
memory of node 1: 64473 MiB (61152 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460169-1722064837/watcher-4460169-1722064837 -o /tmp/evaluation-result-4460169-1722064837/solver-4460169-1722064837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301309 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460169-1722064837 --lp-cut-gomory=0 HOME/instance-4460169-1722064837.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=301359, runsolver pid=301350
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 0.07 0.09 0.09 6/245 301370
/proc/meminfo: memFree=125943136/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=38740 memory=8536 CPUtime=0.09 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 609 0 0 0 8 1 0 0 20 0 1 0 42473669 39669760 2134 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 9685 2134 1759 992 0 1543 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38740 KiB
Current children cumulated memory: 8536 KiB
[startup+0.215339 s]*
/proc/loadavg: 0.07 0.09 0.09 7/245 301370
/proc/meminfo: memFree=125940940/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=38804 memory=8788 CPUtime=0.2 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 646 0 0 0 19 1 0 0 20 0 1 0 42473669 39735296 2197 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 9701 2197 1759 992 0 1559 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38804 KiB
Current children cumulated memory: 8788 KiB
[startup+0.313382 s]*
/proc/loadavg: 0.07 0.09 0.09 6/245 301370
/proc/meminfo: memFree=125940476/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=38936 memory=8788 CPUtime=0.3 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 649 0 0 0 28 2 0 0 20 0 1 0 42473669 39870464 2197 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 9734 2197 1759 992 0 1592 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38936 KiB
Current children cumulated memory: 8788 KiB
[startup+0.700273 s]
/proc/loadavg: 0.07 0.09 0.09 6/245 301370
/proc/meminfo: memFree=125932288/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=41372 memory=14580 CPUtime=0.67 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 1555 0 0 0 60 7 0 0 20 0 1 0 42473669 42364928 3645 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 10343 3645 1807 992 0 2201 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41372 KiB
Current children cumulated memory: 14580 KiB
[startup+1.50027 s]
/proc/loadavg: 0.07 0.09 0.09 6/245 301370
/proc/meminfo: memFree=125904324/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=43672 memory=17000 CPUtime=1.47 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 2152 0 0 0 135 12 0 0 20 0 1 0 42473669 44720128 4250 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 10918 4250 1870 992 0 2776 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 43672 KiB
Current children cumulated memory: 17000 KiB
[startup+3.11346 s]
/proc/loadavg: 0.07 0.09 0.09 6/245 301372
/proc/meminfo: memFree=125852912/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=49988 memory=22348 CPUtime=3.08 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 3506 0 0 0 287 21 0 0 20 0 1 0 42473669 51187712 5587 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 12497 5587 1870 992 0 4355 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 49988 KiB
Current children cumulated memory: 22348 KiB
[startup+6.30029 s]
/proc/loadavg: 0.39 0.15 0.11 6/248 301375
/proc/meminfo: memFree=125760392/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=59576 memory=31260 CPUtime=6.25 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 5286 0 0 0 590 35 0 0 20 0 1 0 42473669 61005824 7815 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 14894 7815 1870 992 0 6752 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 59576 KiB
Current children cumulated memory: 31260 KiB
[startup+12.7003 s]
/proc/loadavg: 0.76 0.23 0.14 6/248 301376
/proc/meminfo: memFree=125580148/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=62200 memory=34152 CPUtime=12.63 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 6066 0 0 0 1209 54 0 0 20 0 1 0 42473669 63692800 8538 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 15550 8538 1870 992 0 7408 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 62200 KiB
Current children cumulated memory: 34152 KiB
[startup+25.5003 s]
/proc/loadavg: 1.48 0.42 0.20 6/248 301378
/proc/meminfo: memFree=125342596/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=75700 memory=43284 CPUtime=25.41 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 7918 0 0 0 2446 95 0 0 20 0 1 0 42473669 77516800 10821 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 18925 10821 1870 992 0 10783 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 75700 KiB
Current children cumulated memory: 43284 KiB
[startup+51.1136 s]
/proc/loadavg: 2.34 0.71 0.30 6/248 301382
/proc/meminfo: memFree=125013704/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=100128 memory=67988 CPUtime=50.95 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 11118 0 0 0 4954 141 0 0 20 0 1 0 42473669 102531072 16997 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 25032 16997 1870 992 0 16890 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 100128 KiB
Current children cumulated memory: 67988 KiB
[startup+102.3 s]
/proc/loadavg: 3.32 1.23 0.50 6/248 301392
/proc/meminfo: memFree=124599176/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=149412 memory=110968 CPUtime=101.98 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 17765 0 0 0 9984 214 0 0 20 0 1 0 42473669 152997888 27742 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 37353 27742 1870 992 0 29211 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 149412 KiB
Current children cumulated memory: 110968 KiB
[startup+162.3 s]
/proc/loadavg: 3.80 1.75 0.73 6/248 301402
/proc/meminfo: memFree=124161636/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=194452 memory=148960 CPUtime=161.76 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 21897 0 0 0 15921 255 0 0 20 0 1 0 42473669 199118848 37240 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 48613 37240 1870 992 0 40471 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 194452 KiB
Current children cumulated memory: 148960 KiB
[startup+222.3 s]
/proc/loadavg: 3.97 2.18 0.94 6/248 301413
/proc/meminfo: memFree=123836144/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=197664 memory=151892 CPUtime=221.58 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 22581 0 0 0 21833 325 0 0 20 0 1 0 42473669 202407936 37973 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 49416 37973 1870 992 0 41274 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 197664 KiB
Current children cumulated memory: 151892 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.54 1.15 6/248 301423
/proc/meminfo: memFree=123484812/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=206464 memory=158164 CPUtime=281.38 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 24320 0 0 0 27765 373 0 0 20 0 1 0 42473669 211419136 39541 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 51616 39541 1870 992 0 43474 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 206464 KiB
Current children cumulated memory: 158164 KiB
[startup+342.3 s]
/proc/loadavg: 4.03 2.81 1.33 6/245 301815
/proc/meminfo: memFree=123170772/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=215024 memory=164188 CPUtime=341.19 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 25927 0 0 0 33695 424 0 0 20 0 1 0 42473669 220184576 41047 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 53756 41047 1870 992 0 45614 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 215024 KiB
Current children cumulated memory: 164188 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.08 1.51 6/245 301826
/proc/meminfo: memFree=122923584/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=280080 memory=194268 CPUtime=400.99 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 28896 0 0 0 39651 448 0 0 20 0 1 0 42473669 286801920 48567 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 70020 48567 1870 992 0 61878 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 280080 KiB
Current children cumulated memory: 194268 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.26 1.68 6/245 301836
/proc/meminfo: memFree=122667680/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=280412 memory=194696 CPUtime=460.78 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 29018 0 0 0 45601 477 0 0 20 0 1 0 42473669 287141888 48674 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 70103 48674 1870 992 0 61961 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.19 4.15 4.02 6/244 303120
/proc/meminfo: memFree=116326892/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3152.99 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 57641 0 0 0 313635 1664 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
Current children cumulated CPU time: 3152.99 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 410736 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.03 6/245 303131
/proc/meminfo: memFree=116222260/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3212.84 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 57782 0 0 0 319607 1677 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
Current children cumulated CPU time: 3212.84 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 410736 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.04 6/245 303143
/proc/meminfo: memFree=116114384/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3272.68 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 57925 0 0 0 325578 1690 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 410736 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.04 6/244 303153
/proc/meminfo: memFree=116006312/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3332.53 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 58069 0 0 0 331549 1704 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 410736 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.04 6/244 303163
/proc/meminfo: memFree=115873304/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3392.37 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 58195 0 0 0 337510 1727 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 410736 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.04 6/244 303173
/proc/meminfo: memFree=115762588/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3452.22 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 58324 0 0 0 343475 1747 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 410736 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.04 6/243 303185
/proc/meminfo: memFree=115655548/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3512.06 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 58455 0 0 0 349440 1766 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 410736 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.04 6/243 303195
/proc/meminfo: memFree=115565752/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3571.9 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 58588 0 0 0 355407 1783 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 410736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.04 4.10 4.04 4/247 303205
/proc/meminfo: memFree=115526332/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3600.03 cores=5,7
/proc/301359/stat : 301359 (roundingsat) R 301350 301359 301296 0 -1 4194304 58710 0 0 0 358210 1793 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 410736 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.04 4.10 4.04 1/245 303206
/proc/meminfo: memFree=115521588/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3600.04 cores=5,7
/proc/301359/stat : 301359 (roundingsat) D 301350 301359 301296 0 -1 4194304 58717 0 0 0 358211 1793 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 256 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
??? kill 301359 sig 9
??? end of watcher thread
[startup+3614.89 s]
# the end of solver process 301359 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3582.11 s, system=17.9364 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.04 4.10 4.04 3/247 303205
/proc/meminfo: memFree=115522304/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3600.04 cores=5,7
/proc/301359/stat : 301359 (roundingsat) D 301350 301359 301296 0 -1 4194304 58717 0 0 0 358211 1793 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 410736 KiB
[startup+3612 s]*
/proc/loadavg: 4.04 4.10 4.04 3/245 303206
/proc/meminfo: memFree=115521856/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3600.04 cores=5,7
/proc/301359/stat : 301359 (roundingsat) D 301350 301359 301296 0 -1 4194304 58717 0 0 0 358211 1793 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 410736 KiB
[startup+3612.4 s]
/proc/loadavg: 4.04 4.10 4.04 3/245 303206
/proc/meminfo: memFree=115521856/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3600.04 cores=5,7
/proc/301359/stat : 301359 (roundingsat) D 301350 301359 301296 0 -1 4194304 58717 0 0 0 358211 1793 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 410736 KiB
[startup+3612.5 s]
/proc/loadavg: 4.04 4.10 4.04 3/245 303206
/proc/meminfo: memFree=115521856/131655788 swapFree=131058856/131071996
[pid=301359] ppid=301350 vsize=494824 memory=410736 CPUtime=3600.04 cores=5,7
/proc/301359/stat : 301359 (roundingsat) D 301350 301359 301296 0 -1 4194304 58717 0 0 0 358211 1793 0 0 20 0 1 0 42473669 506699776 102684 134679101440 4194304 8254357 140736121089552 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41656320 140736121095003 140736121095265 140736121095265 140736121102281 0
/proc/301359/statm: 123706 102684 1886 992 0 115564 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 410736 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.89
CPU time (s): 3600.05
CPU user time (s): 3582.11
CPU system time (s): 17.9364
CPU usage (%): 99.5896
Max. virtual memory (cumulated for all children) (KiB): 494824
Max. memory (cumulated for all children) (KiB): 410736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.11
system time used= 17.9364
maximum resident set size= 411144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58717
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4721784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 251
involuntary context switches= 4821
# summary of solver processes directly reported to runsolver:
# pid: 301359
# total CPU time (s): 3600.05
# total CPU user time (s): 3582.11
# total CPU system time (s): 17.9364
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0138 second user time and 37.1905 second system time
The end
Begin job on nodeC009 at 2024-07-27 09:20:38 IDJOB=4460169 IDBENCH=147539 IDSOLVER=3086 FILE ID=nodeC009/4460169-1722064837 RUNJOBID= nodeC009-1722064837-301309 SLURM_JOB_ID= 8248111 Free space on /tmp= 723784 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.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-4460169-1722064837/watcher-4460169-1722064837 -o /tmp/evaluation-result-4460169-1722064837/solver-4460169-1722064837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301309 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460169-1722064837 --lp-cut-gomory=0 HOME/instance-4460169-1722064837.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a RANDOM SEED=1191205797 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.271 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.274 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.286 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.265 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.268 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.283 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.281 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.265 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125951620 kB MemAvailable: 129855204 kB Buffers: 381732 kB Cached: 4268484 kB SwapCached: 4924 kB Active: 1916368 kB Inactive: 3063520 kB Active(anon): 1512 kB Inactive(anon): 381652 kB Active(file): 1914856 kB Inactive(file): 2681868 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 22520 kB Writeback: 0 kB AnonPages: 323984 kB Mapped: 92312 kB Shmem: 53492 kB KReclaimable: 294120 kB Slab: 406344 kB SReclaimable: 294120 kB SUnreclaim: 112224 kB KernelStack: 3664 kB PageTables: 9720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 798396 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 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: 367432 kB DirectMap2M: 44625920 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 723760 MiB End job on nodeC009 at 2024-07-27 10:20:53