| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 188 | 3600.1 | 3611.41 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb |
| MD5SUM | 8940813d27fb075f4739eb458e093f9a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 176 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| 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 | 467 |
| Total number of constraints | 466 |
| 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 | 466 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 467 |
| 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 | 467 |
| 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 | 467 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 467 #constraints 466 0.60/0.63 c bounds 468 >= 0 @ 0.0072 0.60/0.63 c bounds 216 >= 0 @ 0.387329 0.60/0.63 c bounds 216 >= 1 @ 0.387329 0.60/0.63 c bounds 216 >= 2 @ 0.387329 0.60/0.63 c bounds 216 >= 3 @ 0.387409 0.60/0.63 c bounds 216 >= 4 @ 0.387664 0.60/0.63 c bounds 216 >= 5 @ 0.387921 0.60/0.63 c bounds 216 >= 6 @ 0.388168 0.60/0.63 c bounds 216 >= 7 @ 0.388429 0.60/0.63 c bounds 216 >= 8 @ 0.388701 0.60/0.63 c bounds 216 >= 9 @ 0.388982 0.60/0.63 c bounds 216 >= 10 @ 0.389257 0.60/0.63 c bounds 216 >= 11 @ 0.389552 0.60/0.63 c bounds 216 >= 12 @ 0.389852 0.60/0.63 c bounds 216 >= 13 @ 0.390158 0.60/0.63 c bounds 216 >= 14 @ 0.390312 0.60/0.63 c bounds 216 >= 15 @ 0.390312 0.60/0.63 c bounds 216 >= 16 @ 0.390312 0.60/0.63 c bounds 216 >= 17 @ 0.390314 0.60/0.63 c bounds 216 >= 18 @ 0.390314 0.60/0.63 c bounds 216 >= 19 @ 0.390314 0.60/0.63 c bounds 216 >= 20 @ 0.390317 0.60/0.63 c bounds 216 >= 21 @ 0.390317 0.60/0.63 c bounds 216 >= 22 @ 0.390317 0.60/0.63 c bounds 215 >= 22 @ 0.435743 0.60/0.63 c bounds 215 >= 23 @ 0.436141 0.60/0.63 c bounds 215 >= 24 @ 0.436502 0.60/0.63 c bounds 215 >= 25 @ 0.436872 0.60/0.63 c bounds 215 >= 26 @ 0.437236 0.60/0.63 c bounds 215 >= 27 @ 0.437603 0.60/0.63 c bounds 215 >= 28 @ 0.437977 0.60/0.63 c bounds 215 >= 29 @ 0.43805 0.60/0.63 c bounds 215 >= 30 @ 0.43805 0.60/0.63 c bounds 215 >= 31 @ 0.43805 0.60/0.63 c bounds 215 >= 32 @ 0.43805 0.60/0.63 c bounds 215 >= 33 @ 0.43805 0.60/0.63 c bounds 215 >= 34 @ 0.438055 0.60/0.63 c bounds 215 >= 35 @ 0.438055 0.60/0.63 c bounds 215 >= 36 @ 0.438055 0.60/0.63 c bounds 215 >= 37 @ 0.438057 0.60/0.63 c bounds 215 >= 38 @ 0.438057 0.60/0.63 c bounds 215 >= 39 @ 0.438144 0.60/0.63 c bounds 215 >= 40 @ 0.438519 0.60/0.63 c bounds 215 >= 41 @ 0.438894 0.60/0.63 c bounds 215 >= 42 @ 0.439053 0.60/0.63 c bounds 215 >= 43 @ 0.439053 0.60/0.63 c bounds 215 >= 44 @ 0.439135 0.60/0.63 c bounds 215 >= 45 @ 0.440153 0.60/0.63 c bounds 215 >= 46 @ 0.440405 0.60/0.63 c bounds 215 >= 47 @ 0.440676 0.60/0.63 c bounds 215 >= 48 @ 0.440936 0.60/0.63 c bounds 215 >= 49 @ 0.441043 0.60/0.63 c bounds 215 >= 50 @ 0.441043 0.60/0.63 c bounds 215 >= 51 @ 0.441043 0.60/0.63 c bounds 215 >= 52 @ 0.441045 0.60/0.63 c bounds 215 >= 53 @ 0.441045 0.60/0.63 c bounds 215 >= 54 @ 0.441045 0.60/0.63 c bounds 215 >= 55 @ 0.441045 0.60/0.63 c bounds 215 >= 56 @ 0.441048 0.60/0.63 c bounds 215 >= 57 @ 0.441048 0.60/0.63 c bounds 215 >= 58 @ 0.441048 0.60/0.63 c bounds 215 >= 59 @ 0.441048 0.60/0.63 c bounds 215 >= 60 @ 0.441327 0.60/0.63 c bounds 215 >= 61 @ 0.441605 0.60/0.63 c bounds 215 >= 62 @ 0.441871 0.60/0.63 c bounds 215 >= 63 @ 0.442044 0.60/0.63 c bounds 215 >= 64 @ 0.442044 0.60/0.63 c bounds 215 >= 65 @ 0.442044 0.60/0.63 c bounds 215 >= 66 @ 0.442044 0.60/0.63 c bounds 215 >= 67 @ 0.442334 0.60/0.63 c bounds 215 >= 68 @ 0.44263 0.60/0.63 c bounds 215 >= 69 @ 0.442917 0.60/0.63 c bounds 215 >= 70 @ 0.443041 0.60/0.63 c bounds 215 >= 71 @ 0.443041 0.60/0.63 c bounds 215 >= 72 @ 0.443041 0.60/0.63 c bounds 215 >= 73 @ 0.443066 0.60/0.63 c bounds 215 >= 74 @ 0.443329 0.60/0.63 c bounds 215 >= 75 @ 0.443594 0.60/0.63 c bounds 215 >= 76 @ 0.443848 0.60/0.63 c bounds 215 >= 77 @ 0.444113 0.60/0.63 c bounds 215 >= 78 @ 0.444384 0.60/0.63 c bounds 215 >= 79 @ 0.44468 0.60/0.63 c bounds 215 >= 80 @ 0.444954 0.60/0.63 c bounds 215 >= 81 @ 0.445035 0.60/0.63 c bounds 215 >= 82 @ 0.445035 0.60/0.63 c bounds 215 >= 83 @ 0.445035 0.60/0.63 c bounds 215 >= 84 @ 0.44509 0.60/0.63 c bounds 215 >= 85 @ 0.445377 0.60/0.63 c bounds 215 >= 86 @ 0.445686 0.60/0.63 c bounds 215 >= 87 @ 0.445983 0.60/0.63 c bounds 215 >= 88 @ 0.446029 0.60/0.63 c bounds 215 >= 89 @ 0.446029 0.60/0.63 c bounds 215 >= 90 @ 0.446029 0.60/0.63 c bounds 215 >= 91 @ 0.446199 0.60/0.63 c bounds 215 >= 92 @ 0.446499 0.60/0.63 c bounds 215 >= 93 @ 0.446798 0.60/0.63 c bounds 215 >= 94 @ 0.447086 0.60/0.63 c bounds 215 >= 95 @ 0.447373 0.60/0.63 c bounds 215 >= 96 @ 0.447665 0.60/0.63 c bounds 215 >= 97 @ 0.447949 0.60/0.63 c bounds 215 >= 98 @ 0.448228 0.60/0.63 c bounds 215 >= 99 @ 0.448514 0.60/0.63 c bounds 215 >= 100 @ 0.448789 0.60/0.63 c bounds 215 >= 101 @ 0.449059 0.60/0.63 c bounds 215 >= 102 @ 0.449327 0.60/0.63 c bounds 215 >= 103 @ 0.449595 0.60/0.63 c bounds 215 >= 104 @ 0.449868 0.60/0.63 c bounds 215 >= 105 @ 0.450154 0.60/0.63 c bounds 215 >= 106 @ 0.450445 0.60/0.63 c bounds 215 >= 107 @ 0.450763 0.60/0.63 c bounds 215 >= 108 @ 0.451052 0.60/0.63 c bounds 215 >= 109 @ 0.451341 0.60/0.63 c bounds 215 >= 110 @ 0.451667 0.60/0.63 c bounds 215 >= 111 @ 0.451989 0.60/0.63 c bounds 215 >= 112 @ 0.452307 0.60/0.63 c bounds 215 >= 113 @ 0.452619 0.60/0.63 c bounds 215 >= 114 @ 0.453009 0.60/0.63 c bounds 215 >= 115 @ 0.453361 0.60/0.63 c bounds 215 >= 116 @ 0.453722 0.60/0.63 c bounds 215 >= 117 @ 0.45409 0.60/0.63 c bounds 215 >= 118 @ 0.454472 0.60/0.63 c bounds 215 >= 119 @ 0.45481 0.60/0.63 c bounds 215 >= 120 @ 0.454995 0.60/0.63 c bounds 215 >= 121 @ 0.454995 0.60/0.63 c bounds 215 >= 122 @ 0.454996 0.60/0.63 c bounds 215 >= 123 @ 0.454996 0.60/0.63 c bounds 215 >= 124 @ 0.455142 0.60/0.63 c bounds 215 >= 125 @ 0.45561 0.60/0.63 c bounds 215 >= 126 @ 0.456216 0.60/0.63 c bounds 215 >= 127 @ 0.456962 0.60/0.63 c bounds 215 >= 128 @ 0.457828 0.60/0.63 c bounds 215 >= 129 @ 0.459317 0.60/0.63 c bounds 215 >= 130 @ 0.459975 0.60/0.63 c bounds 215 >= 131 @ 0.464807 0.60/0.63 c bounds 215 >= 132 @ 0.484371 0.60/0.63 c bounds 214 >= 132 @ 0.508597 0.60/0.63 c bounds 214 >= 133 @ 0.548193 1.39/1.44 c bounds 213 >= 133 @ 0.550291 1.39/1.44 c bounds 212 >= 133 @ 0.551676 1.39/1.44 c bounds 211 >= 133 @ 0.559793 1.39/1.44 c bounds 210 >= 133 @ 0.565554 1.39/1.44 c bounds 209 >= 133 @ 0.582862 1.39/1.44 c #Conflicts: 1000 | #Constraints: 2178 1.39/1.44 c bounds 208 >= 133 @ 0.637823 1.39/1.44 c #Conflicts: 2000 | #Constraints: 3179 1.39/1.44 c INPROCESSING 1.39/1.44 c GARBAGE COLLECT 1.39/1.44 c rational objective 138.086 2.38/2.40 c bounds 207 >= 133 @ 1.43621 2.38/2.40 c bounds 206 >= 133 @ 1.44752 2.38/2.40 c bounds 205 >= 133 @ 1.46926 2.38/2.40 c #Conflicts: 3000 | #Constraints: 3102 2.38/2.40 c bounds 204 >= 133 @ 1.61557 2.38/2.40 c bounds 203 >= 133 @ 1.73018 2.38/2.40 c bounds 203 >= 134 @ 1.7654 2.38/2.40 c #Conflicts: 4000 | #Constraints: 4167 2.38/2.40 c INPROCESSING 2.38/2.40 c GARBAGE COLLECT 2.38/2.40 c rational objective 138.087 5.17/5.22 c bounds 202 >= 134 @ 2.3749 5.17/5.22 c #Conflicts: 5000 | #Constraints: 3585 5.17/5.22 c bounds 202 >= 135 @ 2.57199 5.17/5.22 c #Conflicts: 6000 | #Constraints: 4624 5.17/5.22 c INPROCESSING 5.17/5.22 c GARBAGE COLLECT 5.17/5.22 c bounds 201 >= 135 @ 2.84307 5.17/5.22 c #Conflicts: 7000 | #Constraints: 3608 5.17/5.22 c #Conflicts: 8000 | #Constraints: 4608 5.17/5.22 c bounds 200 >= 135 @ 3.1451 5.17/5.22 c #Conflicts: 9000 | #Constraints: 5609 5.17/5.22 c INPROCESSING 5.17/5.22 c GARBAGE COLLECT 5.17/5.22 c rational objective 138.293 7.36/7.47 c #Conflicts: 10000 | #Constraints: 4349 7.36/7.47 c #Conflicts: 11000 | #Constraints: 5349 7.36/7.47 c #Conflicts: 12000 | #Constraints: 6349 7.36/7.47 c INPROCESSING 7.36/7.47 c GARBAGE COLLECT 7.36/7.47 c bounds 200 >= 136 @ 5.93076 7.36/7.47 c #Conflicts: 13000 | #Constraints: 4813 7.36/7.47 c #Conflicts: 14000 | #Constraints: 5813 7.36/7.47 c #Conflicts: 15000 | #Constraints: 6813 7.36/7.47 c INPROCESSING 7.36/7.47 c GARBAGE COLLECT 7.36/7.47 c rational objective 138.294 8.98/9.09 c #Conflicts: 16000 | #Constraints: 5073 8.98/9.09 c bounds 199 >= 136 @ 7.61623 8.98/9.09 c #Conflicts: 17000 | #Constraints: 6074 8.98/9.09 c #Conflicts: 18000 | #Constraints: 7074 8.98/9.09 c INPROCESSING 8.98/9.09 c GARBAGE COLLECT 8.98/9.09 c rational objective 138.294 10.85/10.90 c bounds 198 >= 136 @ 8.73403 10.85/10.90 c #Conflicts: 19000 | #Constraints: 5104 10.85/10.90 c #Conflicts: 20000 | #Constraints: 6104 10.85/10.90 c bounds 197 >= 136 @ 9.55069 10.85/10.90 c #Conflicts: 21000 | #Constraints: 7105 10.85/10.90 c INPROCESSING 10.85/10.90 c GARBAGE COLLECT 10.85/10.90 c rational objective 138.294 22.72/22.88 c #Conflicts: 22000 | #Constraints: 4928 22.72/22.88 c bounds 197 >= 137 @ 11.4827 22.72/22.88 c #Conflicts: 23000 | #Constraints: 5988 22.72/22.88 c #Conflicts: 24000 | #Constraints: 6988 22.72/22.88 c #Conflicts: 25000 | #Constraints: 7988 22.72/22.88 c INPROCESSING 22.72/22.88 c GARBAGE COLLECT 22.72/22.88 c #Conflicts: 26000 | #Constraints: 5602 22.72/22.88 c #Conflicts: 27000 | #Constraints: 6602 22.72/22.88 c #Conflicts: 28000 | #Constraints: 7602 22.72/22.88 c #Conflicts: 29000 | #Constraints: 8602 22.72/22.88 c #Conflicts: 30000 | #Constraints: 9602 22.72/22.88 c #Conflicts: 31000 | #Constraints: 10602 22.72/22.88 c #Conflicts: 32000 | #Constraints: 11602 22.72/22.88 c #Conflicts: 33000 | #Constraints: 12602 22.72/22.88 c #Conflicts: 34000 | #Constraints: 13602 22.72/22.88 c #Conflicts: 35000 | #Constraints: 14602 22.72/22.88 c #Conflicts: 36000 | #Constraints: 15602 22.72/22.88 c #Conflicts: 37000 | #Constraints: 16602 22.72/22.88 c #Conflicts: 38000 | #Constraints: 17602 22.72/22.88 c INPROCESSING 22.72/22.88 c GARBAGE COLLECT 22.72/22.88 c rational objective 138.294 30.19/30.30 c #Conflicts: 39000 | #Constraints: 10456 30.19/30.30 c #Conflicts: 40000 | #Constraints: 11456 30.19/30.30 c #Conflicts: 41000 | #Constraints: 12457 30.19/30.30 c #Conflicts: 42000 | #Constraints: 13457 30.19/30.30 c INPROCESSING 30.19/30.30 c GARBAGE COLLECT 30.19/30.30 c rational objective 138.294 35.47/35.69 c #Conflicts: 43000 | #Constraints: 7981 35.47/35.69 c #Conflicts: 44000 | #Constraints: 8981 35.47/35.69 c #Conflicts: 45000 | #Constraints: 9981 35.47/35.69 c #Conflicts: 46000 | #Constraints: 10981 35.47/35.69 c #Conflicts: 47000 | #Constraints: 11981 35.47/35.69 c #Conflicts: 48000 | #Constraints: 12981 35.47/35.69 c INPROCESSING 35.47/35.69 c GARBAGE COLLECT 35.47/35.69 c rational objective 138.294 40.36/40.54 c #Conflicts: 49000 | #Constraints: 8205 40.36/40.54 c #Conflicts: 50000 | #Constraints: 9205 40.36/40.54 c #Conflicts: 51000 | #Constraints: 10205 40.36/40.54 c #Conflicts: 52000 | #Constraints: 11205 40.36/40.54 c bounds 197 >= 138 @ 38.4625 40.36/40.54 c #Conflicts: 53000 | #Constraints: 12259 40.36/40.54 c bounds 196 >= 138 @ 38.7871 40.36/40.54 c INPROCESSING 40.36/40.54 c GARBAGE COLLECT 40.36/40.54 c rational objective 138.295 68.56/68.80 c #Conflicts: 54000 | #Constraints: 7646 68.56/68.80 c #Conflicts: 55000 | #Constraints: 8646 68.56/68.80 c #Conflicts: 56000 | #Constraints: 9646 68.56/68.80 c #Conflicts: 57000 | #Constraints: 10646 68.56/68.80 c bounds 195 >= 138 @ 41.1575 68.56/68.80 c #Conflicts: 58000 | #Constraints: 11647 68.56/68.80 c #Conflicts: 59000 | #Constraints: 12647 68.56/68.80 c #Conflicts: 60000 | #Constraints: 13647 68.56/68.80 c #Conflicts: 61000 | #Constraints: 14647 68.56/68.80 c #Conflicts: 62000 | #Constraints: 15647 68.56/68.80 c #Conflicts: 63000 | #Constraints: 16647 68.56/68.80 c #Conflicts: 64000 | #Constraints: 17647 68.56/68.80 c #Conflicts: 65000 | #Constraints: 18647 68.56/68.80 c #Conflicts: 66000 | #Constraints: 19647 68.56/68.80 c bounds 194 >= 138 @ 50.9166 68.56/68.80 c #Conflicts: 67000 | #Constraints: 20648 68.56/68.80 c #Conflicts: 68000 | #Constraints: 21648 68.56/68.80 c #Conflicts: 69000 | #Constraints: 22648 68.56/68.80 c #Conflicts: 70000 | #Constraints: 23648 68.56/68.80 c #Conflicts: 71000 | #Constraints: 24648 68.56/68.80 c INPROCESSING 68.56/68.80 c GARBAGE COLLECT 68.56/68.80 c rational objective 138.294 78.84/79.15 c #Conflicts: 72000 | #Constraints: 13865 78.84/79.15 c #Conflicts: 73000 | #Constraints: 14866 78.84/79.15 c #Conflicts: 74000 | #Constraints: 15866 78.84/79.15 c #Conflicts: 75000 | #Constraints: 16866 78.84/79.15 c #Conflicts: 76000 | #Constraints: 17866 78.84/79.15 c #Conflicts: 77000 | #Constraints: 18866 78.84/79.15 c #Conflicts: 78000 | #Constraints: 19866 78.84/79.15 c INPROCESSING 78.84/79.15 c GARBAGE COLLECT 78.84/79.15 c rational objective 138.294 84.21/84.51 c #Conflicts: 79000 | #Constraints: 11682 84.21/84.51 c #Conflicts: 80000 | #Constraints: 12687 84.21/84.51 c #Conflicts: 81000 | #Constraints: 13687 84.21/84.51 c #Conflicts: 82000 | #Constraints: 14687 84.21/84.51 c #Conflicts: 83000 | #Constraints: 15687 84.21/84.51 c #Conflicts: 84000 | #Constraints: 16687 84.21/84.51 c INPROCESSING 84.21/84.51 c GARBAGE COLLECT 84.21/84.51 c rational objective 138.294 134.74/135.26 c #Conflicts: 85000 | #Constraints: 9625 134.74/135.26 c #Conflicts: 86000 | #Constraints: 10626 134.74/135.26 c #Conflicts: 87000 | #Constraints: 11626 134.74/135.26 c #Conflicts: 88000 | #Constraints: 12626 134.74/135.26 c #Conflicts: 89000 | #Constraints: 13626 134.74/135.26 c #Conflicts: 90000 | #Constraints: 14626 134.74/135.26 c bounds 193 >= 138 @ 86.2222 134.74/135.26 c #Conflicts: 91000 | #Constraints: 15627 134.74/135.26 c #Conflicts: 92000 | #Constraints: 16627 134.74/135.26 c #Conflicts: 93000 | #Constraints: 17627 134.74/135.26 c #Conflicts: 94000 | #Constraints: 18627 134.74/135.26 c #Conflicts: 95000 | #Constraints: 19627 134.74/135.26 c #Conflicts: 96000 | #Constraints: 20627 134.74/135.26 c #Conflicts: 97000 | #Constraints: 21627 134.74/135.26 c #Conflicts: 98000 | #Constraints: 22627 134.74/135.26 c #Conflicts: 99000 | #Constraints: 23627 134.74/135.26 c #Conflicts: 100000 | #Constraints: 24627 134.74/135.26 c #Conflicts: 101000 | #Constraints: 25627 134.74/135.26 c #Conflicts: 102000 | #Constraints: 26627 134.74/135.26 c #Conflicts: 103000 | #Constraints: 27627 134.74/135.26 c #Conflicts: 104000 | #Constraints: 28627 134.74/135.26 c #Conflicts: 105000 | #Constraints: 29627 134.74/135.26 c #Conflicts: 106000 | #Constraints: 30627 134.74/135.26 c #Conflicts: 107000 | #Constraints: 31627 134.74/135.26 c INPROCESSING 134.74/135.26 c GARBAGE COLLECT 134.74/135.26 c bounds 192 >= 138 @ 124.819 134.74/135.26 c #Conflicts: 108000 | #Constraints: 17520 134.74/135.26 c #Conflicts: 109000 | #Constraints: 18520 134.74/135.26 c #Conflicts: 110000 | #Constraints: 19520 134.74/135.26 c #Conflicts: 111000 | #Constraints: 20520 134.74/135.26 c #Conflicts: 112000 | #Constraints: 21520 134.74/135.26 c #Conflicts: 113000 | #Constraints: 22520 134.74/135.26 c #Conflicts: 114000 | #Constraints: 23520 134.74/135.26 c #Conflicts: 115000 | #Constraints: 24520 134.74/135.26 c INPROCESSING 134.74/135.26 c GARBAGE COLLECT 134.74/135.26 c rational objective 138.294 141.91/142.49 c #Conflicts: 116000 | #Constraints: 13854 141.91/142.49 c #Conflicts: 117000 | #Constraints: 14854 141.91/142.49 c #Conflicts: 118000 | #Constraints: 15854 141.91/142.49 c #Conflicts: 119000 | #Constraints: 16854 141.91/142.49 c #Conflicts: 120000 | #Constraints: 17854 141.91/142.49 c #Conflicts: 121000 | #Constraints: 18855 141.91/142.49 c #Conflicts: 122000 | #Constraints: 19855 141.91/142.49 c #Conflicts: 123000 | #Constraints: 20855 141.91/142.49 c INPROCESSING 141.91/142.49 c GARBAGE COLLECT 141.91/142.49 c rational objective 138.294 216.82/217.68 c #Conflicts: 124000 | #Constraints: 11866 216.82/217.68 c #Conflicts: 125000 | #Constraints: 12866 216.82/217.68 c #Conflicts: 126000 | #Constraints: 13866 216.82/217.68 c #Conflicts: 127000 | #Constraints: 14866 216.82/217.68 c #Conflicts: 128000 | #Constraints: 15866 216.82/217.68 c #Conflicts: 129000 | #Constraints: 16867 216.82/217.68 c #Conflicts: 130000 | #Constraints: 17867 216.82/217.68 c #Conflicts: 131000 | #Constraints: 18867 216.82/217.68 c #Conflicts: 132000 | #Constraints: 19867 216.82/217.68 c bounds 191 >= 138 @ 148.708 216.82/217.68 c #Conflicts: 133000 | #Constraints: 20868 216.82/217.68 c #Conflicts: 134000 | #Constraints: 21868 216.82/217.68 c #Conflicts: 135000 | #Constraints: 22868 216.82/217.68 c #Conflicts: 136000 | #Constraints: 23868 216.82/217.68 c #Conflicts: 137000 | #Constraints: 24868 216.82/217.68 c #Conflicts: 138000 | #Constraints: 25868 216.82/217.68 c #Conflicts: 139000 | #Constraints: 26868 216.82/217.68 c #Conflicts: 140000 | #Constraints: 27868 216.82/217.68 c bounds 190 >= 138 @ 166.808 216.82/217.68 c #Conflicts: 141000 | #Constraints: 28869 216.82/217.68 c #Conflicts: 142000 | #Constraints: 29869 216.82/217.68 c #Conflicts: 143000 | #Constraints: 30869 216.82/217.68 c #Conflicts: 144000 | #Constraints: 31869 216.82/217.68 c #Conflicts: 145000 | #Constraints: 32869 216.82/217.68 c #Conflicts: 146000 | #Constraints: 33869 216.82/217.68 c #Conflicts: 147000 | #Constraints: 34869 216.82/217.68 c #Conflicts: 148000 | #Constraints: 35869 216.82/217.68 c #Conflicts: 149000 | #Constraints: 36869 216.82/217.68 c #Conflicts: 150000 | #Constraints: 37869 216.82/217.68 c INPROCESSING 216.82/217.68 c GARBAGE COLLECT 216.82/217.68 c rational objective 138.294 229.68/230.53 c bounds 189 >= 138 @ 214.221 229.68/230.53 c #Conflicts: 151000 | #Constraints: 20717 229.68/230.53 c #Conflicts: 152000 | #Constraints: 21717 229.68/230.53 c #Conflicts: 153000 | #Constraints: 22717 229.68/230.53 c #Conflicts: 154000 | #Constraints: 23717 229.68/230.53 c #Conflicts: 155000 | #Constraints: 24717 229.68/230.53 c #Conflicts: 156000 | #Constraints: 25717 229.68/230.53 c #Conflicts: 157000 | #Constraints: 26717 229.68/230.53 c #Conflicts: 158000 | #Constraints: 27717 229.68/230.53 c #Conflicts: 159000 | #Constraints: 28717 229.68/230.53 c INPROCESSING 229.68/230.53 c GARBAGE COLLECT 229.68/230.53 c rational objective 138.294 249.50/250.47 c #Conflicts: 160000 | #Constraints: 15745 249.50/250.47 c #Conflicts: 161000 | #Constraints: 16745 249.50/250.47 c #Conflicts: 162000 | #Constraints: 17745 249.50/250.47 c #Conflicts: 163000 | #Constraints: 18746 249.50/250.47 c #Conflicts: 164000 | #Constraints: 19749 249.50/250.47 c #Conflicts: 165000 | #Constraints: 20750 249.50/250.47 c #Conflicts: 166000 | #Constraints: 21750 249.50/250.47 c #Conflicts: 167000 | #Constraints: 22750 249.50/250.47 c #Conflicts: 168000 | #Constraints: 23750 249.50/250.47 c #Conflicts: 169000 | #Constraints: 24750 249.50/250.47 c INPROCESSING 249.50/250.47 c GARBAGE COLLECT 249.50/250.47 c rational objective 138.294 377.80/379.20 c #Conflicts: 170000 | #Constraints: 13941 377.80/379.20 c #Conflicts: 171000 | #Constraints: 14941 377.80/379.20 c #Conflicts: 172000 | #Constraints: 15955 377.80/379.20 c #Conflicts: 173000 | #Constraints: 16955 377.80/379.20 c #Conflicts: 174000 | #Constraints: 17955 377.80/379.20 c #Conflicts: 175000 | #Constraints: 18955 377.80/379.20 c #Conflicts: 176000 | #Constraints: 19955 377.80/379.20 c #Conflicts: 177000 | #Constraints: 20955 377.80/379.20 c #Conflicts: 178000 | #Constraints: 21955 377.80/379.20 c #Conflicts: 179000 | #Constraints: 22955 377.80/379.20 c #Conflicts: 180000 | #Constraints: 23955 377.80/379.20 c #Conflicts: 181000 | #Constraints: 24955 377.80/379.20 c #Conflicts: 182000 | #Constraints: 25955 377.80/379.20 c #Conflicts: 183000 | #Constraints: 26955 377.80/379.20 c #Conflicts: 184000 | #Constraints: 27955 377.80/379.20 c #Conflicts: 185000 | #Constraints: 28955 377.80/379.20 c #Conflicts: 186000 | #Constraints: 29955 377.80/379.20 c #Conflicts: 187000 | #Constraints: 30955 377.80/379.20 c #Conflicts: 188000 | #Constraints: 31955 377.80/379.20 c #Conflicts: 189000 | #Constraints: 32955 377.80/379.20 c #Conflicts: 190000 | #Constraints: 33955 377.80/379.20 c #Conflicts: 191000 | #Constraints: 34955 377.80/379.20 c #Conflicts: 192000 | #Constraints: 35955 377.80/379.20 c #Conflicts: 193000 | #Constraints: 36955 377.80/379.20 c #Conflicts: 194000 | #Constraints: 37955 377.80/379.20 c #Conflicts: 195000 | #Constraints: 38955 377.80/379.20 c #Conflicts: 196000 | #Constraints: 39955 377.80/379.20 c #Conflicts: 197000 | #Constraints: 40955 377.80/379.20 c #Conflicts: 198000 | #Constraints: 41955 377.80/379.20 c #Conflicts: 199000 | #Constraints: 42955 377.80/379.20 c #Conflicts: 200000 | #Constraints: 43955 377.80/379.20 c INPROCESSING 377.80/379.20 c GARBAGE COLLECT 377.80/379.20 c rational objective 138.294 435.98/437.64 c #Conflicts: 201000 | #Constraints: 23618 435.98/437.64 c #Conflicts: 202000 | #Constraints: 24618 435.98/437.64 c #Conflicts: 203000 | #Constraints: 25618 435.98/437.64 c #Conflicts: 204000 | #Constraints: 26618 435.98/437.64 c #Conflicts: 205000 | #Constraints: 27618 435.98/437.64 c #Conflicts: 206000 | #Constraints: 28618 435.98/437.64 c #Conflicts: 207000 | #Constraints: 29618 435.98/437.64 c #Conflicts: 208000 | #Constraints: 30618 435.98/437.64 c bounds 189 >= 139 @ 411.452 435.98/437.64 c #Conflicts: 209000 | #Constraints: 31660 435.98/437.64 c #Conflicts: 210000 | #Constraints: 32660 435.98/437.64 c #Conflicts: 211000 | #Constraints: 33660 435.98/437.64 c INPROCESSING 435.98/437.64 c GARBAGE COLLECT 435.98/437.64 c rational objective 139 453.44/455.17 c #Conflicts: 212000 | #Constraints: 18510 453.44/455.17 c #Conflicts: 213000 | #Constraints: 19510 453.44/455.17 c #Conflicts: 214000 | #Constraints: 20510 453.44/455.17 c #Conflicts: 215000 | #Constraints: 21510 453.44/455.17 c #Conflicts: 216000 | #Constraints: 22510 453.44/455.17 c #Conflicts: 217000 | #Constraints: 23510 453.44/455.17 c #Conflicts: 218000 | #Constraints: 24510 453.44/455.17 c #Conflicts: 219000 | #Constraints: 25510 453.44/455.17 c #Conflicts: 220000 | #Constraints: 26510 453.44/455.17 c #Conflicts: 221000 | #Constraints: 27510 453.44/455.17 c #Conflicts: 222000 | #Constraints: 28510 453.44/455.17 c INPROCESSING 453.44/455.17 c GARBAGE COLLECT 453.44/455.17 c rational objective 139 552.32/554.34 c #Conflicts: 223000 | #Constraints: 15783 552.32/554.34 c #Conflicts: 224000 | #Constraints: 16784 552.32/554.34 c #Conflicts: 225000 | #Constraints: 17784 552.32/554.34 c #Conflicts: 226000 | #Constraints: 18784 552.32/554.34 c #Conflicts: 227000 | #Constraints: 19784 552.32/554.34 c #Conflicts: 228000 | #Constraints: 20784 552.32/554.34 c #Conflicts: 229000 | #Constraints: 21784 552.32/554.34 c #Conflicts: 230000 | #Constraints: 22784 552.32/554.34 c #Conflicts: 231000 | #Constraints: 23784 552.32/554.34 c #Conflicts: 232000 | #Constraints: 24784 552.32/554.34 c #Conflicts: 233000 | #Constraints: 25784 552.32/554.34 c #Conflicts: 234000 | #Constraints: 26784 552.32/554.34 c #Conflicts: 235000 | #Constraints: 27784 552.32/554.34 c #Conflicts: 236000 | #Constraints: 28784 552.32/554.34 c #Conflicts: 237000 | #Constraints: 29784 552.32/554.34 c #Conflicts: 238000 | #Constraints: 30784 552.32/554.34 c #Conflicts: 239000 | #Constraints: 31784 552.32/554.34 c #Conflicts: 240000 | #Constraints: 32784 552.32/554.34 c #Conflicts: 241000 | #Constraints: 33784 552.32/554.34 c #Conflicts: 242000 | #Constraints: 34784 552.32/554.34 c #Conflicts: 243000 | #Constraints: 35784 552.32/554.34 c #Conflicts: 244000 | #Constraints: 36784 552.32/554.34 c #Conflicts: 245000 | #Constraints: 37784 552.32/554.34 c #Conflicts: 246000 | #Constraints: 38784 552.32/554.34 c #Conflicts: 247000 | #Constraints: 39784 552.32/554.34 c #Conflicts: 248000 | #Constraints: 40784 552.32/554.34 c #Conflicts: 249000 | #Constraints: 41784 552.32/554.34 c #Conflicts: 250000 | #Constraints: 42784 552.32/554.34 c #Conflicts: 251000 | #Constraints: 43784 552.32/554.34 c #Conflicts: 252000 | #Constraints: 44784 552.32/554.34 c #Conflicts: 253000 | #Constraints: 45784 552.32/554.34 c #Conflicts: 254000 | #Constraints: 46784 552.32/554.34 c #Conflicts: 255000 | #Constraints: 47784 552.32/554.34 c #Conflicts: 256000 | #Constraints: 48784 552.32/554.34 c #Conflicts: 257000 | #Constraints: 49784 552.32/554.34 c INPROCESSING 552.32/554.34 c GARBAGE COLLECT 552.32/554.34 c rational objective 139 571.66/573.78 c #Conflicts: 258000 | #Constraints: 26477 571.66/573.78 c #Conflicts: 259000 | #Constraints: 27477 571.66/573.78 c #Conflicts: 260000 | #Constraints: 28477 571.66/573.78 c #Conflicts: 261000 | #Constraints: 29477 571.66/573.78 c #Conflicts: 262000 | #Constraints: 30477 571.66/573.78 c #Conflicts: 263000 | #Constraints: 31477 571.66/573.78 c #Conflicts: 264000 | #Constraints: 32477 571.66/573.78 c #Conflicts: 265000 | #Constraints: 33477 571.66/573.78 c #Conflicts: 266000 | #Constraints: 34477 571.66/573.78 c #Conflicts: 267000 | #Constraints: 35477 571.66/573.78 c #Conflicts: 268000 | #Constraints: 36477 571.66/573.78 c #Conflicts: 269000 | #Constraints: 37477 571.66/573.78 c #Conflicts: 270000 | #Constraints: 38477 571.66/573.78 c INPROCESSING 571.66/573.78 c GARBAGE COLLECT 571.66/573.78 c rational objective 139 593.70/595.84 c #Conflicts: 271000 | #Constraints: 20946 593.70/595.84 c #Conflicts: 272000 | #Constraints: 21946 593.70/595.84 c #Conflicts: 273000 | #Constraints: 22946 593.70/595.84 c #Conflicts: 274000 | #Constraints: 23946 593.70/595.84 c #Conflicts: 275000 | #Constraints: 24946 593.70/595.84 c #Conflicts: 276000 | #Constraints: 25946 593.70/595.84 c #Conflicts: 277000 | #Constraints: 26946 593.70/595.84 c #Conflicts: 278000 | #Constraints: 27946 593.70/595.84 c #Conflicts: 279000 | #Constraints: 28946 593.70/595.84 c #Conflicts: 280000 | #Constraints: 29946 593.70/595.84 c #Conflicts: 281000 | #Constraints: 30946 593.70/595.84 c #Conflicts: 282000 | #Constraints: 31947 593.70/595.84 c INPROCESSING 593.70/595.84 c GARBAGE COLLECT 593.70/595.84 c rational objective 139 737.34/739.98 c #Conflicts: 283000 | #Constraints: 17287 737.34/739.98 c #Conflicts: 284000 | #Constraints: 18287 737.34/739.98 c #Conflicts: 285000 | #Constraints: 19287 737.34/739.98 c #Conflicts: 286000 | #Constraints: 20287 737.34/739.98 c #Conflicts: 287000 | #Constraints: 21287 737.34/739.98 c #Conflicts: 288000 | #Constraints: 22287 737.34/739.98 c #Conflicts: 289000 | #Constraints: 23287 737.34/739.98 c #Conflicts: 290000 | #Constraints: 24288 737.34/739.98 c #Conflicts: 291000 | #Constraints: 25289 737.34/739.98 c #Conflicts: 292000 | #Constraints: 26289 737.34/739.98 c #Conflicts: 293000 | #Constraints: 27289 737.34/739.98 c #Conflicts: 294000 | #Constraints: 28289 737.34/739.98 c #Conflicts: 295000 | #Constraints: 29289 737.34/739.98 c #Conflicts: 296000 | #Constraints: 30289 737.34/739.98 c #Conflicts: 297000 | #Constraints: 31289 737.34/739.98 c #Conflicts: 298000 | #Constraints: 32289 737.34/739.98 c #Conflicts: 299000 | #Constraints: 33289 737.34/739.98 c #Conflicts: 300000 | #Constraints: 34289 737.34/739.98 c #Conflicts: 301000 | #Constraints: 35289 737.34/739.98 c #Conflicts: 302000 | #Constraints: 36289 737.34/739.98 c #Conflicts: 303000 | #Constraints: 37289 737.34/739.98 c #Conflicts: 304000 | #Constraints: 38289 737.34/739.98 c #Conflicts: 305000 | #Constraints: 39289 737.34/739.98 c #Conflicts: 306000 | #Constraints: 40289 737.34/739.98 c #Conflicts: 307000 | #Constraints: 41289 737.34/739.98 c #Conflicts: 308000 | #Constraints: 42289 737.34/739.98 c #Conflicts: 309000 | #Constraints: 43289 737.34/739.98 c #Conflicts: 310000 | #Constraints: 44289 737.34/739.98 c #Conflicts: 311000 | #Constraints: 45289 737.34/739.98 c #Conflicts: 312000 | #Constraints: 46289 737.34/739.98 c #Conflicts: 313000 | #Constraints: 47289 737.34/739.98 c #Conflicts: 314000 | #Constraints: 48289 737.34/739.98 c #Conflicts: 315000 | #Constraints: 49289 737.34/739.98 c #Conflicts: 316000 | #Constraints: 50289 737.34/739.98 c #Conflicts: 317000 | #Constraints: 51289 737.34/739.98 c #Conflicts: 318000 | #Constraints: 52289 737.34/739.98 c #Conflicts: 319000 | #Constraints: 53289 737.34/739.98 c #Conflicts: 320000 | #Constraints: 54289 737.34/739.98 c #Conflicts: 321000 | #Constraints: 55289 737.34/739.98 c INPROCESSING 737.34/739.98 c GARBAGE COLLECT 737.34/739.98 c rational objective 139 768.65/771.33 c #Conflicts: 322000 | #Constraints: 28991 768.65/771.33 c #Conflicts: 323000 | #Constraints: 29991 768.65/771.33 c #Conflicts: 324000 | #Constraints: 30991 768.65/771.33 c #Conflicts: 325000 | #Constraints: 31991 768.65/771.33 c #Conflicts: 326000 | #Constraints: 32991 768.65/771.33 c #Conflicts: 327000 | #Constraints: 33991 768.65/771.33 c #Conflicts: 328000 | #Constraints: 34991 768.65/771.33 c #Conflicts: 329000 | #Constraints: 35991 768.65/771.33 c #Conflicts: 330000 | #Constraints: 36991 768.65/771.33 c #Conflicts: 331000 | #Constraints: 37991 768.65/771.33 c #Conflicts: 332000 | #Constraints: 38991 768.65/771.33 c #Conflicts: 333000 | #Constraints: 39991 768.65/771.33 c #Conflicts: 334000 | #Constraints: 40991 768.65/771.33 c #Conflicts: 335000 | #Constraints: 41991 768.65/771.33 c #Conflicts: 336000 | #Constraints: 42991 768.65/771.33 c INPROCESSING 768.65/771.33 c GARBAGE COLLECT 768.65/771.33 c rational objective 139 804.84/807.68 c #Conflicts: 337000 | #Constraints: 23199 804.84/807.68 c #Conflicts: 338000 | #Constraints: 24199 804.84/807.68 c #Conflicts: 339000 | #Constraints: 25199 804.84/807.68 c #Conflicts: 340000 | #Constraints: 26199 804.84/807.68 c #Conflicts: 341000 | #Constraints: 27199 804.84/807.68 c #Conflicts: 342000 | #Constraints: 28199 804.84/807.68 c #Conflicts: 343000 | #Constraints: 29199 804.84/807.68 c #Conflicts: 344000 | #Constraints: 30199 804.84/807.68 c #Conflicts: 345000 | #Constraints: 31199 804.84/807.68 c #Conflicts: 346000 | #Constraints: 32199 804.84/807.68 c #Conflicts: 347000 | #Constraints: 33199 804.84/807.68 c #Conflicts: 348000 | #Constraints: 34199 804.84/807.68 c #Conflicts: 349000 | #Constraints: 35199 804.84/807.68 c #Conflicts: 350000 | #Constraints: 36199 804.84/807.68 c INPROCESSING 804.84/807.68 c GARBAGE COLLECT 804.84/807.68 c rational objective 139 955.46/958.74 c #Conflicts: 351000 | #Constraints: 20300 955.46/958.74 c #Conflicts: 352000 | #Constraints: 21300 955.46/958.74 c #Conflicts: 353000 | #Constraints: 22300 955.46/958.74 c #Conflicts: 354000 | #Constraints: 23300 955.46/958.74 c #Conflicts: 355000 | #Constraints: 24300 955.46/958.74 c #Conflicts: 356000 | #Constraints: 25300 955.46/958.74 c #Conflicts: 357000 | #Constraints: 26300 955.46/958.74 c #Conflicts: 358000 | #Constraints: 27300 955.46/958.74 c #Conflicts: 359000 | #Constraints: 28300 955.46/958.74 c #Conflicts: 360000 | #Constraints: 29300 955.46/958.74 c #Conflicts: 361000 | #Constraints: 30300 955.46/958.74 c #Conflicts: 362000 | #Constraints: 31300 955.46/958.74 c #Conflicts: 363000 | #Constraints: 32300 955.46/958.74 c #Conflicts: 364000 | #Constraints: 33300 955.46/958.74 c #Conflicts: 365000 | #Constraints: 34300 955.46/958.74 c #Conflicts: 366000 | #Constraints: 35300 955.46/958.74 c #Conflicts: 367000 | #Constraints: 36300 955.46/958.74 c #Conflicts: 368000 | #Constraints: 37300 955.46/958.74 c #Conflicts: 369000 | #Constraints: 38300 955.46/958.74 c #Conflicts: 370000 | #Constraints: 39300 955.46/958.74 c #Conflicts: 371000 | #Constraints: 40300 955.46/958.74 c #Conflicts: 372000 | #Constraints: 41343 955.46/958.74 c #Conflicts: 373000 | #Constraints: 42343 955.46/958.74 c #Conflicts: 374000 | #Constraints: 43343 955.46/958.74 c #Conflicts: 375000 | #Constraints: 44343 955.46/958.74 c #Conflicts: 376000 | #Constraints: 45343 955.46/958.74 c #Conflicts: 377000 | #Constraints: 46343 955.46/958.74 c #Conflicts: 378000 | #Constraints: 47343 955.46/958.74 c #Conflicts: 379000 | #Constraints: 48343 955.46/958.74 c #Conflicts: 380000 | #Constraints: 49343 955.46/958.74 c #Conflicts: 381000 | #Constraints: 50343 955.46/958.74 c #Conflicts: 382000 | #Constraints: 51343 955.46/958.74 c #Conflicts: 383000 | #Constraints: 52343 955.46/958.74 c #Conflicts: 384000 | #Constraints: 53343 955.46/958.74 c #Conflicts: 385000 | #Constraints: 54343 955.46/958.74 c #Conflicts: 386000 | #Constraints: 55343 955.46/958.74 c #Conflicts: 387000 | #Constraints: 56343 955.46/958.74 c #Conflicts: 388000 | #Constraints: 57343 955.46/958.74 c #Conflicts: 389000 | #Constraints: 58343 955.46/958.74 c #Conflicts: 390000 | #Constraints: 59343 955.46/958.74 c #Conflicts: 391000 | #Constraints: 60343 955.46/958.74 c #Conflicts: 392000 | #Constraints: 61343 955.46/958.74 c #Conflicts: 393000 | #Constraints: 62343 955.46/958.74 c INPROCESSING 955.46/958.74 c GARBAGE COLLECT 955.46/958.74 c rational objective 139 1068.31/1071.98 c #Conflicts: 394000 | #Constraints: 32586 1068.31/1071.98 c #Conflicts: 395000 | #Constraints: 33586 1068.31/1071.98 c #Conflicts: 396000 | #Constraints: 34586 1068.31/1071.98 c #Conflicts: 397000 | #Constraints: 35586 1068.31/1071.98 c #Conflicts: 398000 | #Constraints: 36586 1068.31/1071.98 c #Conflicts: 399000 | #Constraints: 37586 1068.31/1071.98 c #Conflicts: 400000 | #Constraints: 38586 1068.31/1071.98 c #Conflicts: 401000 | #Constraints: 39586 1068.31/1071.98 c #Conflicts: 402000 | #Constraints: 40586 1068.31/1071.98 c #Conflicts: 403000 | #Constraints: 41586 1068.31/1071.98 c #Conflicts: 404000 | #Constraints: 42586 1068.31/1071.98 c #Conflicts: 405000 | #Constraints: 43586 1068.31/1071.98 c #Conflicts: 406000 | #Constraints: 44586 1068.31/1071.98 c #Conflicts: 407000 | #Constraints: 45586 1068.31/1071.98 c #Conflicts: 408000 | #Constraints: 46586 1068.31/1071.98 c #Conflicts: 409000 | #Constraints: 47586 1068.31/1071.98 c INPROCESSING 1068.31/1071.98 c GARBAGE COLLECT 1068.31/1071.98 c rational objective 139 1125.94/1129.75 c #Conflicts: 410000 | #Constraints: 25475 1125.94/1129.75 c #Conflicts: 411000 | #Constraints: 26475 1125.94/1129.75 c #Conflicts: 412000 | #Constraints: 27475 1125.94/1129.75 c #Conflicts: 413000 | #Constraints: 28475 1125.94/1129.75 c #Conflicts: 414000 | #Constraints: 29475 1125.94/1129.75 c #Conflicts: 415000 | #Constraints: 30475 1125.94/1129.75 c #Conflicts: 416000 | #Constraints: 31475 1125.94/1129.75 c #Conflicts: 417000 | #Constraints: 32476 1125.94/1129.75 c #Conflicts: 418000 | #Constraints: 33476 1125.94/1129.75 c #Conflicts: 419000 | #Constraints: 34476 1125.94/1129.75 c #Conflicts: 420000 | #Constraints: 35476 1125.94/1129.75 c #Conflicts: 421000 | #Constraints: 36476 1125.94/1129.75 c #Conflicts: 422000 | #Constraints: 37476 1125.94/1129.75 c #Conflicts: 423000 | #Constraints: 38476 1125.94/1129.75 c #Conflicts: 424000 | #Constraints: 39476 1125.94/1129.75 c #Conflicts: 425000 | #Constraints: 40476 1125.94/1129.75 c INPROCESSING 1125.94/1129.75 c GARBAGE COLLECT 1125.94/1129.75 c rational objective 139 1318.13/1322.51 c #Conflicts: 426000 | #Constraints: 23706 1318.13/1322.51 c #Conflicts: 427000 | #Constraints: 24706 1318.13/1322.51 c #Conflicts: 428000 | #Constraints: 25706 1318.13/1322.51 c #Conflicts: 429000 | #Constraints: 26710 1318.13/1322.51 c #Conflicts: 430000 | #Constraints: 27720 1318.13/1322.51 c #Conflicts: 431000 | #Constraints: 28720 1318.13/1322.51 c #Conflicts: 432000 | #Constraints: 29720 1318.13/1322.51 c #Conflicts: 433000 | #Constraints: 30720 1318.13/1322.51 c #Conflicts: 434000 | #Constraints: 31720 1318.13/1322.51 c #Conflicts: 435000 | #Constraints: 32720 1318.13/1322.51 c #Conflicts: 436000 | #Constraints: 33720 1318.13/1322.51 c #Conflicts: 437000 | #Constraints: 34720 1318.13/1322.51 c #Conflicts: 438000 | #Constraints: 35720 1318.13/1322.51 c #Conflicts: 439000 | #Constraints: 36720 1318.13/1322.51 c #Conflicts: 440000 | #Constraints: 37720 1318.13/1322.51 c #Conflicts: 441000 | #Constraints: 38720 1318.13/1322.51 c #Conflicts: 442000 | #Constraints: 39720 1318.13/1322.51 c #Conflicts: 443000 | #Constraints: 40720 1318.13/1322.51 c #Conflicts: 444000 | #Constraints: 41720 1318.13/1322.51 c #Conflicts: 445000 | #Constraints: 42720 1318.13/1322.51 c #Conflicts: 446000 | #Constraints: 43720 1318.13/1322.51 c #Conflicts: 447000 | #Constraints: 44720 1318.13/1322.51 c #Conflicts: 448000 | #Constraints: 45720 1318.13/1322.51 c #Conflicts: 449000 | #Constraints: 46720 1318.13/1322.51 c #Conflicts: 450000 | #Constraints: 47720 1318.13/1322.51 c #Conflicts: 451000 | #Constraints: 48720 1318.13/1322.51 c #Conflicts: 452000 | #Constraints: 49720 1318.13/1322.51 c #Conflicts: 453000 | #Constraints: 50720 1318.13/1322.51 c #Conflicts: 454000 | #Constraints: 51720 1318.13/1322.51 c #Conflicts: 455000 | #Constraints: 52720 1318.13/1322.51 c #Conflicts: 456000 | #Constraints: 53720 1318.13/1322.51 c #Conflicts: 457000 | #Constraints: 54720 1318.13/1322.51 c #Conflicts: 458000 | #Constraints: 55720 1318.13/1322.51 c #Conflicts: 459000 | #Constraints: 56720 1318.13/1322.51 c #Conflicts: 460000 | #Constraints: 57720 1318.13/1322.51 c #Conflicts: 461000 | #Constraints: 58720 1318.13/1322.51 c #Conflicts: 462000 | #Constraints: 59720 1318.13/1322.51 c #Conflicts: 463000 | #Constraints: 60720 1318.13/1322.51 c #Conflicts: 464000 | #Constraints: 61720 1318.13/1322.51 c #Conflicts: 465000 | #Constraints: 62720 1318.13/1322.51 c #Conflicts: 466000 | #Constraints: 63720 1318.13/1322.51 c #Conflicts: 467000 | #Constraints: 64720 1318.13/1322.51 c #Conflicts: 468000 | #Constraints: 65720 1318.13/1322.51 c #Conflicts: 469000 | #Constraints: 66720 1318.13/1322.51 c #Conflicts: 470000 | #Constraints: 67720 1318.13/1322.51 c #Conflicts: 471000 | #Constraints: 68720 1318.13/1322.51 c #Conflicts: 472000 | #Constraints: 69720 1318.13/1322.51 c INPROCESSING 1318.13/1322.51 c GARBAGE COLLECT 1318.13/1322.51 c rational objective 139 1447.14/1451.96 c #Conflicts: 473000 | #Constraints: 36324 1447.14/1451.96 c #Conflicts: 474000 | #Constraints: 37325 1447.14/1451.96 c #Conflicts: 475000 | #Constraints: 38325 1447.14/1451.96 c #Conflicts: 476000 | #Constraints: 39327 1447.14/1451.96 c #Conflicts: 477000 | #Constraints: 40327 1447.14/1451.96 c #Conflicts: 478000 | #Constraints: 41327 1447.14/1451.96 c #Conflicts: 479000 | #Constraints: 42327 1447.14/1451.96 c #Conflicts: 480000 | #Constraints: 43327 1447.14/1451.96 c #Conflicts: 481000 | #Constraints: 44327 1447.14/1451.96 c #Conflicts: 482000 | #Constraints: 45327 1447.14/1451.96 c #Conflicts: 483000 | #Constraints: 46327 1447.14/1451.96 c #Conflicts: 484000 | #Constraints: 47327 1447.14/1451.96 c #Conflicts: 485000 | #Constraints: 48327 1447.14/1451.96 c #Conflicts: 486000 | #Constraints: 49327 1447.14/1451.96 c #Conflicts: 487000 | #Constraints: 50327 1447.14/1451.96 c #Conflicts: 488000 | #Constraints: 51327 1447.14/1451.96 c #Conflicts: 489000 | #Constraints: 52327 1447.14/1451.96 c INPROCESSING 1447.14/1451.96 c GARBAGE COLLECT 1447.14/1451.96 c rational objective 139 1525.40/1530.49 c #Conflicts: 490000 | #Constraints: 27651 1525.40/1530.49 c #Conflicts: 491000 | #Constraints: 28651 1525.40/1530.49 c #Conflicts: 492000 | #Constraints: 29651 1525.40/1530.49 c #Conflicts: 493000 | #Constraints: 30651 1525.40/1530.49 c #Conflicts: 494000 | #Constraints: 31651 1525.40/1530.49 c #Conflicts: 495000 | #Constraints: 32651 1525.40/1530.49 c #Conflicts: 496000 | #Constraints: 33651 1525.40/1530.49 c #Conflicts: 497000 | #Constraints: 34651 1525.40/1530.49 c #Conflicts: 498000 | #Constraints: 35651 1525.40/1530.49 c #Conflicts: 499000 | #Constraints: 36651 1525.40/1530.49 c #Conflicts: 500000 | #Constraints: 37651 1525.40/1530.49 c #Conflicts: 501000 | #Constraints: 38651 1525.40/1530.49 c #Conflicts: 502000 | #Constraints: 39651 1525.40/1530.49 c #Conflicts: 503000 | #Constraints: 40651 1525.40/1530.49 c #Conflicts: 504000 | #Constraints: 41651 1525.40/1530.49 c #Conflicts: 505000 | #Constraints: 42651 1525.40/1530.49 c #Conflicts: 506000 | #Constraints: 43651 1525.40/1530.49 c INPROCESSING 1525.40/1530.49 c GARBAGE COLLECT 1525.40/1530.49 c rational objective 139 1881.42/1887.59 c #Conflicts: 507000 | #Constraints: 25589 1881.42/1887.59 c #Conflicts: 508000 | #Constraints: 26589 1881.42/1887.59 c #Conflicts: 509000 | #Constraints: 27591 1881.42/1887.59 c #Conflicts: 510000 | #Constraints: 28594 1881.42/1887.59 c #Conflicts: 511000 | #Constraints: 29594 1881.42/1887.59 c #Conflicts: 512000 | #Constraints: 30594 1881.42/1887.59 c #Conflicts: 513000 | #Constraints: 31594 1881.42/1887.59 c #Conflicts: 514000 | #Constraints: 32594 1881.42/1887.59 c #Conflicts: 515000 | #Constraints: 33594 1881.42/1887.59 c #Conflicts: 516000 | #Constraints: 34594 1881.42/1887.59 c #Conflicts: 517000 | #Constraints: 35594 1881.42/1887.59 c #Conflicts: 518000 | #Constraints: 36594 1881.42/1887.59 c #Conflicts: 519000 | #Constraints: 37594 1881.42/1887.59 c #Conflicts: 520000 | #Constraints: 38594 1881.42/1887.59 c #Conflicts: 521000 | #Constraints: 39595 1881.42/1887.59 c #Conflicts: 522000 | #Constraints: 40595 1881.42/1887.59 c #Conflicts: 523000 | #Constraints: 41595 1881.42/1887.59 c #Conflicts: 524000 | #Constraints: 42596 1881.42/1887.59 c #Conflicts: 525000 | #Constraints: 43597 1881.42/1887.59 c #Conflicts: 526000 | #Constraints: 44597 1881.42/1887.59 c #Conflicts: 527000 | #Constraints: 45598 1881.42/1887.59 c #Conflicts: 528000 | #Constraints: 46598 1881.42/1887.59 c #Conflicts: 529000 | #Constraints: 47598 1881.42/1887.59 c #Conflicts: 530000 | #Constraints: 48600 1881.42/1887.59 c #Conflicts: 531000 | #Constraints: 49600 1881.42/1887.59 c #Conflicts: 532000 | #Constraints: 50600 1881.42/1887.59 c #Conflicts: 533000 | #Constraints: 51600 1881.42/1887.59 c #Conflicts: 534000 | #Constraints: 52600 1881.42/1887.59 c #Conflicts: 535000 | #Constraints: 53600 1881.42/1887.59 c #Conflicts: 536000 | #Constraints: 54600 1881.42/1887.59 c #Conflicts: 537000 | #Constraints: 55601 1881.42/1887.59 c #Conflicts: 538000 | #Constraints: 56601 1881.42/1887.59 c #Conflicts: 539000 | #Constraints: 57601 1881.42/1887.59 c #Conflicts: 540000 | #Constraints: 58601 1881.42/1887.59 c #Conflicts: 541000 | #Constraints: 59601 1881.42/1887.59 c #Conflicts: 542000 | #Constraints: 60601 1881.42/1887.59 c #Conflicts: 543000 | #Constraints: 61601 1881.42/1887.59 c #Conflicts: 544000 | #Constraints: 62601 1881.42/1887.59 c #Conflicts: 545000 | #Constraints: 63601 1881.42/1887.59 c #Conflicts: 546000 | #Constraints: 64601 1881.42/1887.59 c #Conflicts: 547000 | #Constraints: 65601 1881.42/1887.59 c #Conflicts: 548000 | #Constraints: 66601 1881.42/1887.59 c #Conflicts: 549000 | #Constraints: 67601 1881.42/1887.59 c #Conflicts: 550000 | #Constraints: 68601 1881.42/1887.59 c #Conflicts: 551000 | #Constraints: 69601 1881.42/1887.59 c #Conflicts: 552000 | #Constraints: 70601 1881.42/1887.59 c #Conflicts: 553000 | #Constraints: 71602 1881.42/1887.59 c #Conflicts: 554000 | #Constraints: 72603 1881.42/1887.59 c #Conflicts: 555000 | #Constraints: 73605 1881.42/1887.59 c #Conflicts: 556000 | #Constraints: 74605 1881.42/1887.59 c #Conflicts: 557000 | #Constraints: 75605 1881.42/1887.59 c #Conflicts: 558000 | #Constraints: 76605 1881.42/1887.59 c INPROCESSING 1881.42/1887.59 c GARBAGE COLLECT 1881.42/1887.59 c rational objective 139 1936.64/1942.91 c #Conflicts: 559000 | #Constraints: 39798 1936.64/1942.91 c #Conflicts: 560000 | #Constraints: 40798 1936.64/1942.91 c #Conflicts: 561000 | #Constraints: 41798 1936.64/1942.91 c #Conflicts: 562000 | #Constraints: 42798 1936.64/1942.91 c #Conflicts: 563000 | #Constraints: 43798 1936.64/1942.91 c #Conflicts: 564000 | #Constraints: 44798 1936.64/1942.91 c #Conflicts: 565000 | #Constraints: 45798 1936.64/1942.91 c #Conflicts: 566000 | #Constraints: 46798 1936.64/1942.91 c #Conflicts: 567000 | #Constraints: 47798 1936.64/1942.91 c #Conflicts: 568000 | #Constraints: 48798 1936.64/1942.91 c #Conflicts: 569000 | #Constraints: 49798 1936.64/1942.91 c #Conflicts: 570000 | #Constraints: 50798 1936.64/1942.91 c #Conflicts: 571000 | #Constraints: 51798 1936.64/1942.91 c #Conflicts: 572000 | #Constraints: 52798 1936.64/1942.91 c #Conflicts: 573000 | #Constraints: 53798 1936.64/1942.91 c #Conflicts: 574000 | #Constraints: 54798 1936.64/1942.91 c #Conflicts: 575000 | #Constraints: 55798 1936.64/1942.91 c #Conflicts: 576000 | #Constraints: 56798 1936.64/1942.91 c #Conflicts: 577000 | #Constraints: 57798 1936.64/1942.91 c INPROCESSING 1936.64/1942.91 c GARBAGE COLLECT 1936.64/1942.91 c rational objective 139 2236.14/2243.32 c #Conflicts: 578000 | #Constraints: 30508 2236.14/2243.32 c #Conflicts: 579000 | #Constraints: 31508 2236.14/2243.32 c #Conflicts: 580000 | #Constraints: 32508 2236.14/2243.32 c #Conflicts: 581000 | #Constraints: 33508 2236.14/2243.32 c #Conflicts: 582000 | #Constraints: 34508 2236.14/2243.32 c #Conflicts: 583000 | #Constraints: 35508 2236.14/2243.32 c #Conflicts: 584000 | #Constraints: 36508 2236.14/2243.32 c #Conflicts: 585000 | #Constraints: 37508 2236.14/2243.32 c #Conflicts: 586000 | #Constraints: 38508 2236.14/2243.32 c #Conflicts: 587000 | #Constraints: 39508 2236.14/2243.32 c #Conflicts: 588000 | #Constraints: 40508 2236.14/2243.32 c #Conflicts: 589000 | #Constraints: 41508 2236.14/2243.32 c #Conflicts: 590000 | #Constraints: 42508 2236.14/2243.32 c #Conflicts: 591000 | #Constraints: 43508 2236.14/2243.32 c #Conflicts: 592000 | #Constraints: 44508 2236.14/2243.32 c #Conflicts: 593000 | #Constraints: 45508 2236.14/2243.32 c #Conflicts: 594000 | #Constraints: 46508 2236.14/2243.32 c #Conflicts: 595000 | #Constraints: 47508 2236.14/2243.32 c #Conflicts: 596000 | #Constraints: 48508 2236.14/2243.32 c #Conflicts: 597000 | #Constraints: 49508 2236.14/2243.32 c #Conflicts: 598000 | #Constraints: 50508 2236.14/2243.32 c #Conflicts: 599000 | #Constraints: 51508 2236.14/2243.32 c #Conflicts: 600000 | #Constraints: 52508 2236.14/2243.32 c #Conflicts: 601000 | #Constraints: 53508 2236.14/2243.32 c #Conflicts: 602000 | #Constraints: 54508 2236.14/2243.32 c #Conflicts: 603000 | #Constraints: 55508 2236.14/2243.32 c #Conflicts: 604000 | #Constraints: 56508 2236.14/2243.32 c #Conflicts: 605000 | #Constraints: 57508 2236.14/2243.32 c #Conflicts: 606000 | #Constraints: 58508 2236.14/2243.32 c #Conflicts: 607000 | #Constraints: 59508 2236.14/2243.32 c #Conflicts: 608000 | #Constraints: 60508 2236.14/2243.32 c #Conflicts: 609000 | #Constraints: 61508 2236.14/2243.32 c #Conflicts: 610000 | #Constraints: 62508 2236.14/2243.32 c #Conflicts: 611000 | #Constraints: 63508 2236.14/2243.32 c #Conflicts: 612000 | #Constraints: 64508 2236.14/2243.32 c #Conflicts: 613000 | #Constraints: 65508 2236.14/2243.32 c #Conflicts: 614000 | #Constraints: 66508 2236.14/2243.32 c #Conflicts: 615000 | #Constraints: 67508 2236.14/2243.32 c #Conflicts: 616000 | #Constraints: 68508 2236.14/2243.32 c #Conflicts: 617000 | #Constraints: 69508 2236.14/2243.32 c #Conflicts: 618000 | #Constraints: 70508 2236.14/2243.32 c #Conflicts: 619000 | #Constraints: 71508 2236.14/2243.32 c #Conflicts: 620000 | #Constraints: 72508 2236.14/2243.32 c #Conflicts: 621000 | #Constraints: 73508 2236.14/2243.32 c #Conflicts: 622000 | #Constraints: 74508 2236.14/2243.32 c #Conflicts: 623000 | #Constraints: 75508 2236.14/2243.32 c #Conflicts: 624000 | #Constraints: 76508 2236.14/2243.32 c #Conflicts: 625000 | #Constraints: 77508 2236.14/2243.32 c #Conflicts: 626000 | #Constraints: 78508 2236.14/2243.32 c #Conflicts: 627000 | #Constraints: 79508 2236.14/2243.32 c #Conflicts: 628000 | #Constraints: 80508 2236.14/2243.32 c #Conflicts: 629000 | #Constraints: 81508 2236.14/2243.32 c #Conflicts: 630000 | #Constraints: 82508 2236.14/2243.32 c #Conflicts: 631000 | #Constraints: 83508 2236.14/2243.32 c #Conflicts: 632000 | #Constraints: 84508 2236.14/2243.32 c INPROCESSING 2236.14/2243.32 c GARBAGE COLLECT 2236.14/2243.32 c rational objective 139 2443.51/2451.35 c #Conflicts: 633000 | #Constraints: 43971 2443.51/2451.35 c #Conflicts: 634000 | #Constraints: 44971 2443.51/2451.35 c #Conflicts: 635000 | #Constraints: 45971 2443.51/2451.35 c #Conflicts: 636000 | #Constraints: 46971 2443.51/2451.35 c #Conflicts: 637000 | #Constraints: 47971 2443.51/2451.35 c #Conflicts: 638000 | #Constraints: 48971 2443.51/2451.35 c #Conflicts: 639000 | #Constraints: 49971 2443.51/2451.35 c #Conflicts: 640000 | #Constraints: 50971 2443.51/2451.35 c #Conflicts: 641000 | #Constraints: 51971 2443.51/2451.35 c #Conflicts: 642000 | #Constraints: 52971 2443.51/2451.35 c #Conflicts: 643000 | #Constraints: 53971 2443.51/2451.35 c #Conflicts: 644000 | #Constraints: 54971 2443.51/2451.35 c #Conflicts: 645000 | #Constraints: 55971 2443.51/2451.35 c #Conflicts: 646000 | #Constraints: 56971 2443.51/2451.35 c #Conflicts: 647000 | #Constraints: 57971 2443.51/2451.35 c #Conflicts: 648000 | #Constraints: 58971 2443.51/2451.35 c #Conflicts: 649000 | #Constraints: 59971 2443.51/2451.35 c #Conflicts: 650000 | #Constraints: 60971 2443.51/2451.35 c #Conflicts: 651000 | #Constraints: 61971 2443.51/2451.35 c INPROCESSING 2443.51/2451.35 c GARBAGE COLLECT 2443.51/2451.35 c rational objective 139 3048.57/3058.27 c #Conflicts: 652000 | #Constraints: 32328 3048.57/3058.27 c #Conflicts: 653000 | #Constraints: 33328 3048.57/3058.27 c #Conflicts: 654000 | #Constraints: 34328 3048.57/3058.27 c #Conflicts: 655000 | #Constraints: 35330 3048.57/3058.27 c #Conflicts: 656000 | #Constraints: 36330 3048.57/3058.27 c #Conflicts: 657000 | #Constraints: 37330 3048.57/3058.27 c #Conflicts: 658000 | #Constraints: 38330 3048.57/3058.27 c #Conflicts: 659000 | #Constraints: 39330 3048.57/3058.27 c #Conflicts: 660000 | #Constraints: 40330 3048.57/3058.27 c #Conflicts: 661000 | #Constraints: 41330 3048.57/3058.27 c #Conflicts: 662000 | #Constraints: 42330 3048.57/3058.27 c #Conflicts: 663000 | #Constraints: 43330 3048.57/3058.27 c #Conflicts: 664000 | #Constraints: 44330 3048.57/3058.27 c #Conflicts: 665000 | #Constraints: 45330 3048.57/3058.27 c #Conflicts: 666000 | #Constraints: 46330 3048.57/3058.27 c #Conflicts: 667000 | #Constraints: 47330 3048.57/3058.27 c #Conflicts: 668000 | #Constraints: 48330 3048.57/3058.27 c #Conflicts: 669000 | #Constraints: 49330 3048.57/3058.27 c #Conflicts: 670000 | #Constraints: 50330 3048.57/3058.27 c #Conflicts: 671000 | #Constraints: 51330 3048.57/3058.27 c #Conflicts: 672000 | #Constraints: 52330 3048.57/3058.27 c #Conflicts: 673000 | #Constraints: 53330 3048.57/3058.27 c #Conflicts: 674000 | #Constraints: 54330 3048.57/3058.27 c #Conflicts: 675000 | #Constraints: 55330 3048.57/3058.27 c #Conflicts: 676000 | #Constraints: 56330 3048.57/3058.27 c #Conflicts: 677000 | #Constraints: 57331 3048.57/3058.27 c #Conflicts: 678000 | #Constraints: 58331 3048.57/3058.27 c #Conflicts: 679000 | #Constraints: 59331 3048.57/3058.27 c #Conflicts: 680000 | #Constraints: 60331 3048.57/3058.27 c #Conflicts: 681000 | #Constraints: 61332 3048.57/3058.27 c #Conflicts: 682000 | #Constraints: 62332 3048.57/3058.27 c #Conflicts: 683000 | #Constraints: 63332 3048.57/3058.27 c #Conflicts: 684000 | #Constraints: 64332 3048.57/3058.27 c #Conflicts: 685000 | #Constraints: 65336 3048.57/3058.27 c #Conflicts: 686000 | #Constraints: 66338 3048.57/3058.27 c #Conflicts: 687000 | #Constraints: 67338 3048.57/3058.27 c #Conflicts: 688000 | #Constraints: 68338 3048.57/3058.27 c #Conflicts: 689000 | #Constraints: 69342 3048.57/3058.27 c #Conflicts: 690000 | #Constraints: 70345 3048.57/3058.27 c #Conflicts: 691000 | #Constraints: 71345 3048.57/3058.27 c #Conflicts: 692000 | #Constraints: 72345 3048.57/3058.27 c #Conflicts: 693000 | #Constraints: 73345 3048.57/3058.27 c #Conflicts: 694000 | #Constraints: 74345 3048.57/3058.27 c #Conflicts: 695000 | #Constraints: 75345 3048.57/3058.27 c #Conflicts: 696000 | #Constraints: 76345 3048.57/3058.27 c #Conflicts: 697000 | #Constraints: 77345 3048.57/3058.27 c #Conflicts: 698000 | #Constraints: 78345 3048.57/3058.27 c #Conflicts: 699000 | #Constraints: 79345 3048.57/3058.27 c #Conflicts: 700000 | #Constraints: 80345 3048.57/3058.27 c #Conflicts: 701000 | #Constraints: 81345 3048.57/3058.27 c #Conflicts: 702000 | #Constraints: 82347 3048.57/3058.27 c #Conflicts: 703000 | #Constraints: 83352 3048.57/3058.27 c #Conflicts: 704000 | #Constraints: 84355 3048.57/3058.27 c #Conflicts: 705000 | #Constraints: 85359 3048.57/3058.27 c #Conflicts: 706000 | #Constraints: 86359 3048.57/3058.27 c #Conflicts: 707000 | #Constraints: 87359 3048.57/3058.27 c #Conflicts: 708000 | #Constraints: 88359 3048.57/3058.27 c #Conflicts: 709000 | #Constraints: 89359 3048.57/3058.27 c INPROCESSING 3048.57/3058.27 c GARBAGE COLLECT 3048.57/3058.27 c rational objective 139 3166.71/3176.76 c #Conflicts: 710000 | #Constraints: 46088 3166.71/3176.76 c #Conflicts: 711000 | #Constraints: 47088 3166.71/3176.76 c #Conflicts: 712000 | #Constraints: 48088 3166.71/3176.76 c #Conflicts: 713000 | #Constraints: 49088 3166.71/3176.76 c #Conflicts: 714000 | #Constraints: 50098 3166.71/3176.76 c #Conflicts: 715000 | #Constraints: 51098 3166.71/3176.76 c #Conflicts: 716000 | #Constraints: 52098 3166.71/3176.76 c #Conflicts: 717000 | #Constraints: 53098 3166.71/3176.76 c #Conflicts: 718000 | #Constraints: 54098 3166.71/3176.76 c #Conflicts: 719000 | #Constraints: 55098 3166.71/3176.76 c #Conflicts: 720000 | #Constraints: 56098 3166.71/3176.76 c #Conflicts: 721000 | #Constraints: 57098 3166.71/3176.76 c #Conflicts: 722000 | #Constraints: 58098 3166.71/3176.76 c #Conflicts: 723000 | #Constraints: 59098 3166.71/3176.76 c #Conflicts: 724000 | #Constraints: 60098 3166.71/3176.76 c #Conflicts: 725000 | #Constraints: 61098 3166.71/3176.76 c #Conflicts: 726000 | #Constraints: 62098 3166.71/3176.76 c #Conflicts: 727000 | #Constraints: 63098 3166.71/3176.76 c #Conflicts: 728000 | #Constraints: 64098 3166.71/3176.76 c #Conflicts: 729000 | #Constraints: 65098 3166.71/3176.76 c #Conflicts: 730000 | #Constraints: 66098 3166.71/3176.76 c #Conflicts: 731000 | #Constraints: 67098 3166.71/3176.76 c INPROCESSING 3166.71/3176.76 c GARBAGE COLLECT 3166.71/3176.76 c rational objective 139 3600.08/3611.40 c 3600.08/3611.40 s SATISFIABLE 3600.08/3611.40 v x1 x2 ~x3 ~x4 ~x5 ~x6 x7 x8 ~x9 x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 x19 ~x20 ~x21 x22 ~x23 ~x24 x25 ~x26 ~x27 ~x28 ~x29 ~x30 ~x31 ~x32 ~x33 ~x34 ~x35 ~x36 ~x37 x38 ~x39 ~x40 ~x41 ~x42 ~x43 ~x44 x45 ~x46 ~x47 ~x48 ~x49 ~x50 ~x51 ~x52 x53 x54 ~x55 ~x56 ~x57 x58 ~x59 ~x60 ~x61 x62 ~x63 ~x64 ~x65 ~x66 ~x67 ~x68 ~x69 ~x70 x71 ~x72 x73 ~x74 x75 ~x76 ~x77 x78 ~x79 x80 ~x81 ~x82 ~x83 ~x84 ~x85 ~x86 x87 x88 ~x89 ~x90 ~x91 ~x92 ~x93 x94 ~x95 ~x96 ~x97 ~x98 x99 x100 ~x101 ~x102 ~x103 x104 ~x105 ~x106 x107 ~x108 ~x109 ~x110 ~x111 x112 x113 ~x114 ~x115 x116 ~x117 ~x118 x119 ~x120 x121 ~x122 ~x123 ~x124 x125 ~x126 ~x127 x128 ~x129 ~x130 ~x131 ~x132 ~x133 x134 x135 x136 ~x137 ~x138 ~x139 x140 x141 ~x142 x143 x144 ~x145 ~x146 ~x147 ~x148 x149 ~x150 x151 ~x152 ~x153 x154 x155 x156 ~x157 ~x158 ~x159 x160 ~x161 ~x162 ~x163 x164 x165 x166 ~x167 x168 x169 x170 ~x171 x172 ~x173 ~x174 ~x175 ~x176 x177 ~x178 ~x179 x180 ~x181 ~x182 ~x183 x184 x185 ~x186 ~x187 ~x188 ~x189 ~x190 ~x191 ~x192 ~x193 ~x194 ~x195 ~x196 ~x197 ~x198 x199 ~x200 x201 ~x202 ~x203 ~x204 x205 x206 x207 ~x208 ~x209 x210 ~x211 ~x212 x213 x214 ~x215 ~x216 ~x217 ~x218 x219 ~x220 ~x221 ~x222 x223 x224 x225 x226 x227 ~x228 ~x229 ~x230 x231 ~x232 ~x233 x234 ~x235 ~x236 ~x237 x238 ~x239 ~x240 x241 ~x242 ~x243 ~x244 x245 x246 ~x247 ~x248 ~x249 ~x250 ~x251 x252 ~x253 x254 ~x255 ~x256 ~x257 ~x258 ~x259 ~x260 ~x261 x262 ~x263 x264 x265 ~x266 x267 x268 x269 ~x270 ~x271 x272 ~x273 ~x274 x275 ~x276 x277 ~x278 x279 ~x280 x281 ~x282 x283 x284 ~x285 ~x286 ~x287 x288 ~x289 x290 x291 x292 ~x293 ~x294 x295 ~x296 ~x297 ~x298 x299 ~x300 x301 ~x302 ~x303 ~x304 ~x305 x306 x307 x308 x309 x310 ~x311 ~x312 ~x313 ~x314 x315 x316 ~x317 ~x318 x319 x320 ~x321 ~x322 x323 x324 x325 x326 x327 x328 x329 x330 ~x331 ~x332 ~x333 x334 ~x335 x336 x337 ~x338 x339 x340 x341 x342 x343 x344 ~x345 ~x346 x347 x348 x349 x350 ~x351 ~x352 x353 x354 ~x355 ~x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 ~x367 ~x368 x369 x370 x371 ~x372 ~x373 x374 x375 ~x376 ~x377 x378 x379 ~x380 ~x381 ~x382 ~x383 ~x384 ~x385 ~x386 x387 ~x388 x389 x390 x391 x392 x393 ~x394 x395 x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 ~x407 ~x408 x409 ~x410 ~x411 x412 x413 x414 x415 x416 x417 x418 ~x419 ~x420 ~x421 x422 ~x423 ~x424 ~x425 x426 ~x427 ~x428 x429 x430 x431 x432 ~x433 ~x434 x435 x436 ~x437 ~x438 ~x439 ~x440 x441 ~x442 x443 ~x444 x445 x446 x447 ~x448 x449 ~x450 x451 x452 ~x453 x454 ~x455 x456 x457 ~x458 ~x459 x460 x461 ~x462 x463 ~x464 x465 ~x466 x467 3600.08/3611.40 c #Conflicts: 732000 | #Constraints: 35485 3600.08/3611.40 c #Conflicts: 733000 | #Constraints: 36485 3600.08/3611.40 c #Conflicts: 734000 | #Constraints: 37485 3600.08/3611.40 c #Conflicts: 735000 | #Constraints: 38485 3600.08/3611.40 c #Conflicts: 736000 | #Constraints: 39485 3600.08/3611.40 c #Conflicts: 737000 | #Constraints: 40485 3600.08/3611.40 c #Conflicts: 738000 | #Constraints: 41485 3600.08/3611.40 c #Conflicts: 739000 | #Constraints: 42485 3600.08/3611.40 c #Conflicts: 740000 | #Constraints: 43485 3600.08/3611.40 c #Conflicts: 741000 | #Constraints: 44485 3600.08/3611.40 c #Conflicts: 742000 | #Constraints: 45485 3600.08/3611.40 c #Conflicts: 743000 | #Constraints: 46485 3600.08/3611.40 c #Conflicts: 744000 | #Constraints: 47485 3600.08/3611.40 c #Conflicts: 745000 | #Constraints: 48485 3600.08/3611.40 c #Conflicts: 746000 | #Constraints: 49485 3600.08/3611.40 c #Conflicts: 747000 | #Constraints: 50485 3600.08/3611.40 c #Conflicts: 748000 | #Constraints: 51485 3600.08/3611.40 c #Conflicts: 749000 | #Constraints: 52485 3600.08/3611.40 c #Conflicts: 750000 | #Constraints: 53485 3600.08/3611.40 c #Conflicts: 751000 | #Constraints: 54485 3600.08/3611.40 c #Conflicts: 752000 | #Constraints: 55485 3600.08/3611.40 c #Conflicts: 753000 | #Constraints: 56485 3600.08/3611.40 c #Conflicts: 754000 | #Constraints: 57485 3600.08/3611.40 c #Conflicts: 755000 | #Constraints: 58485 3600.08/3611.40 c #Conflicts: 756000 | #Constraints: 59485 3600.08/3611.40 c #Conflicts: 757000 | #Constraints: 60485 3600.08/3611.40 c #Conflicts: 758000 | #Constraints: 61485 3600.08/3611.40 c #Conflicts: 759000 | #Constraints: 62485 3600.08/3611.40 c #Conflicts: 760000 | #Constraints: 63485 3600.08/3611.40 c #Conflicts: 761000 | #Constraints: 64485 3600.08/3611.40 c #Conflicts: 762000 | #Constraints: 65485 3600.08/3611.40 c #Conflicts: 763000 | #Constraints: 66485 3600.08/3611.40 c #Conflicts: 764000 | #Constraints: 67485 3600.08/3611.40 c #Conflicts: 765000 | #Constraints: 68485 3600.08/3611.40 c #Conflicts: 766000 | #Constraints: 69485 3600.08/3611.40 c #Conflicts: 767000 | #Constraints: 70485 3600.08/3611.40 c #Conflicts: 768000 | #Constraints: 71485 3600.08/3611.40 c #Conflicts: 769000 | #Constraints: 72485 3600.08/3611.40 c #Conflicts: 770000 | #Constraints: 73485 3600.08/3611.40 c #Conflicts: 771000 | #Constraints: 74485 3600.08/3611.40 c bounds 188 >= 139 @ 3511.39 3600.08/3611.40 c #Conflicts: 772000 | #Constraints: 75486 3600.08/3611.40 c #Conflicts: 773000 | #Constraints: 76486 3600.08/3611.40 c #Conflicts: 774000 | #Constraints: 77486 3600.08/3611.40 c #Conflicts: 775000 | #Constraints: 78486
OK 188
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61936 MiB free)
memory of node 1: 64510 MiB (63637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429408-1721048407/watcher-4429408-1721048407 -o /tmp/evaluation-result-4429408-1721048407/solver-4429408-1721048407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721048419-793282 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429408-1721048407.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=793344, runsolver pid=793333
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 1.25 2.37 2.84 7/245 793345
/proc/meminfo: memFree=128582488/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=38148 memory=8392 CPUtime=0.11 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 559 0 0 0 10 1 0 0 20 0 1 0 157000329 39063552 2098 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 9537 2098 1755 922 0 1489 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 38148 KiB
Current children cumulated memory: 8392 KiB
[startup+0.213583 s]*
/proc/loadavg: 1.25 2.37 2.84 7/245 793345
/proc/meminfo: memFree=128580696/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=38636 memory=8656 CPUtime=0.21 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 626 0 0 0 20 1 0 0 20 0 1 0 157000329 39563264 2164 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 9659 2164 1755 922 0 1611 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38636 KiB
Current children cumulated memory: 8656 KiB
[startup+0.313644 s]*
/proc/loadavg: 1.25 2.37 2.84 7/245 793345
/proc/meminfo: memFree=128578324/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=38636 memory=8656 CPUtime=0.32 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 632 0 0 0 30 2 0 0 20 0 1 0 157000329 39563264 2164 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 9659 2164 1755 922 0 1611 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 38636 KiB
Current children cumulated memory: 8656 KiB
[startup+0.700266 s]
/proc/loadavg: 1.25 2.37 2.84 8/245 793345
/proc/meminfo: memFree=128569416/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=41560 memory=14488 CPUtime=0.69 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 1603 0 0 0 61 8 0 0 20 0 1 0 157000329 42557440 3622 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 10390 3622 1785 922 0 2342 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 14488 KiB
[startup+1.50027 s]
/proc/loadavg: 1.47 2.39 2.85 8/245 793345
/proc/meminfo: memFree=128551352/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=43028 memory=16440 CPUtime=1.48 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 2033 0 0 0 135 13 0 0 20 0 1 0 157000329 44060672 4110 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 10757 4110 1855 922 0 2709 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43028 KiB
Current children cumulated memory: 16440 KiB
[startup+3.11369 s]
/proc/loadavg: 1.47 2.39 2.85 7/245 793345
/proc/meminfo: memFree=128525776/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=50176 memory=22164 CPUtime=3.09 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 3501 0 0 0 288 21 0 0 20 0 1 0 157000329 51380224 5541 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 12544 5541 1855 922 0 4496 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 50176 KiB
Current children cumulated memory: 22164 KiB
[startup+6.30025 s]
/proc/loadavg: 1.67 2.42 2.86 7/245 793345
/proc/meminfo: memFree=128500588/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=61096 memory=32544 CPUtime=6.27 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 5811 0 0 0 595 32 0 0 20 0 1 0 157000329 62562304 8136 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 15274 8136 1855 922 0 7226 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61096 KiB
Current children cumulated memory: 32544 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 2.45 2.86 7/245 793347
/proc/meminfo: memFree=128451960/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=62544 memory=33960 CPUtime=12.65 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 6239 0 0 0 1210 55 0 0 20 0 1 0 157000329 64045056 8490 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 15636 8490 1855 922 0 7588 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 62544 KiB
Current children cumulated memory: 33960 KiB
[startup+25.5003 s]
/proc/loadavg: 2.19 2.50 2.88 7/244 793348
/proc/meminfo: memFree=128379948/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=106672 memory=76116 CPUtime=25.4 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 12648 0 0 0 2458 82 0 0 20 0 1 0 157000329 109232128 19029 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 26668 19029 1925 922 0 18620 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 106672 KiB
Current children cumulated memory: 76116 KiB
[startup+51.1133 s]
/proc/loadavg: 2.96 2.66 2.92 7/244 793364
/proc/meminfo: memFree=128310364/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=113720 memory=82168 CPUtime=50.93 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 14186 0 0 0 4961 132 0 0 20 0 1 0 157000329 116449280 20542 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 28430 20542 1925 922 0 20382 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 113720 KiB
Current children cumulated memory: 82168 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.90 2.99 7/243 793372
/proc/meminfo: memFree=128240412/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=137180 memory=90504 CPUtime=101.95 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 15724 0 0 0 9999 196 0 0 20 0 1 0 157000329 140472320 22626 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 34295 22626 1925 922 0 26247 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 90504 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 3.13 3.06 7/243 793383
/proc/meminfo: memFree=128120452/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=148876 memory=102996 CPUtime=161.73 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 17837 0 0 0 15900 273 0 0 20 0 1 0 157000329 152449024 25749 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 37219 25749 1925 922 0 29171 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 148876 KiB
Current children cumulated memory: 102996 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.31 3.13 7/241 793393
/proc/meminfo: memFree=128079116/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=161472 memory=125008 CPUtime=221.5 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 20815 0 0 0 21839 311 0 0 20 0 1 0 157000329 165347328 31252 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 40368 31252 1925 922 0 32320 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 161472 KiB
Current children cumulated memory: 125008 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.45 3.19 7/241 793404
/proc/meminfo: memFree=128039760/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=164304 memory=127608 CPUtime=281.27 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 21520 0 0 0 27746 381 0 0 20 0 1 0 157000329 168247296 31902 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 41076 31902 1925 922 0 33028 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 164304 KiB
Current children cumulated memory: 127608 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 3.61 3.27 7/241 793415
/proc/meminfo: memFree=127939312/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=223360 memory=175040 CPUtime=341.04 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 28015 0 0 0 33693 411 0 0 20 0 1 0 157000329 228720640 43760 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 55840 43760 1925 922 0 47792 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 223360 KiB
Current children cumulated memory: 175040 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.70 3.32 7/241 793425
/proc/meminfo: memFree=127857036/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=276620 memory=199680 CPUtime=400.82 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 29808 0 0 0 39646 436 0 0 20 0 1 0 157000329 283258880 49920 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 69155 49920 1925 922 0 61107 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 276620 KiB
Current children cumulated memory: 199680 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 3.79 3.38 7/241 793435
/proc/meminfo: memFree=127846596/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=276620 memory=206164 CPUtime=460.61 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 29900 0 0 0 45584 477 0 0 20 0 1 0 157000329 283258880 51541 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 69155 51541 1925 922 0 61107 0
################
# More data... #
################
Current children cumulated memory: 365032 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.12 4.13 8/241 794595
/proc/meminfo: memFree=127105392/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=400536 memory=368464 CPUtime=2853.26 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 53694 0 0 0 284003 1323 0 0 20 0 1 0 157000329 410148864 92116 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 100134 92116 1925 922 0 92086 0
Current children cumulated CPU time: 2853.26 s
Current children cumulated vsize: 400536 KiB
Current children cumulated memory: 368464 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.13 8/241 794605
/proc/meminfo: memFree=127084564/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=402072 memory=369768 CPUtime=2913.07 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 54111 0 0 0 289975 1332 0 0 20 0 1 0 157000329 411721728 92442 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 100518 92442 1925 922 0 92470 0
Current children cumulated CPU time: 2913.07 s
Current children cumulated vsize: 402072 KiB
Current children cumulated memory: 369768 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.13 7/241 794617
/proc/meminfo: memFree=127067868/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=402584 memory=370264 CPUtime=2972.9 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 54389 0 0 0 295944 1346 0 0 20 0 1 0 157000329 412246016 92566 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 100646 92566 1925 922 0 92598 0
Current children cumulated CPU time: 2972.9 s
Current children cumulated vsize: 402584 KiB
Current children cumulated memory: 370264 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.12 7/243 794631
/proc/meminfo: memFree=127061168/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=404376 memory=371552 CPUtime=3032.72 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 54852 0 0 0 301917 1355 0 0 20 0 1 0 157000329 414081024 92888 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 101094 92888 1925 922 0 93046 0
Current children cumulated CPU time: 3032.72 s
Current children cumulated vsize: 404376 KiB
Current children cumulated memory: 371552 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.12 7/243 794641
/proc/meminfo: memFree=127059540/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=404376 memory=371948 CPUtime=3092.53 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 55326 0 0 0 307877 1376 0 0 20 0 1 0 157000329 414081024 92987 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 101094 92987 1925 922 0 93046 0
Current children cumulated CPU time: 3092.53 s
Current children cumulated vsize: 404376 KiB
Current children cumulated memory: 371948 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.11 8/243 794652
/proc/meminfo: memFree=127041588/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=404376 memory=371948 CPUtime=3152.35 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 55473 0 0 0 313839 1396 0 0 20 0 1 0 157000329 414081024 92987 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 101094 92987 1925 922 0 93046 0
Current children cumulated CPU time: 3152.35 s
Current children cumulated vsize: 404376 KiB
Current children cumulated memory: 371948 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.11 8/243 794662
/proc/meminfo: memFree=127041100/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=404704 memory=372148 CPUtime=3212.17 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 55672 0 0 0 319800 1417 0 0 20 0 1 0 157000329 414416896 93037 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 101176 93037 1925 922 0 93128 0
Current children cumulated CPU time: 3212.17 s
Current children cumulated vsize: 404704 KiB
Current children cumulated memory: 372148 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.10 7/243 794673
/proc/meminfo: memFree=127040664/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=404704 memory=372148 CPUtime=3271.99 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 55819 0 0 0 325757 1442 0 0 20 0 1 0 157000329 414416896 93037 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 101176 93037 1925 922 0 93128 0
Current children cumulated CPU time: 3271.99 s
Current children cumulated vsize: 404704 KiB
Current children cumulated memory: 372148 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.13 4.11 7/243 795067
/proc/meminfo: memFree=127040120/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=405416 memory=372284 CPUtime=3331.81 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 56060 0 0 0 331721 1460 0 0 20 0 1 0 157000329 415145984 93071 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 101354 93071 1925 922 0 93306 0
Current children cumulated CPU time: 3331.81 s
Current children cumulated vsize: 405416 KiB
Current children cumulated memory: 372284 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.11 7/243 795077
/proc/meminfo: memFree=127037632/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=409488 memory=374768 CPUtime=3391.63 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 56796 0 0 0 337688 1475 0 0 20 0 1 0 157000329 419315712 93692 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 102372 93692 1925 922 0 94324 0
Current children cumulated CPU time: 3391.63 s
Current children cumulated vsize: 409488 KiB
Current children cumulated memory: 374768 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.10 7/243 795087
/proc/meminfo: memFree=127015772/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=416956 memory=379128 CPUtime=3451.44 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 58062 0 0 0 343657 1487 0 0 20 0 1 0 157000329 426962944 94782 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 104239 94782 1925 922 0 96191 0
Current children cumulated CPU time: 3451.44 s
Current children cumulated vsize: 416956 KiB
Current children cumulated memory: 379128 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/243 795265
/proc/meminfo: memFree=127008960/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=426916 memory=385048 CPUtime=3511.25 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 59737 0 0 0 349629 1496 0 0 20 0 1 0 157000329 437161984 96262 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 106729 96262 1925 922 0 98681 0
Current children cumulated CPU time: 3511.25 s
Current children cumulated vsize: 426916 KiB
Current children cumulated memory: 385048 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 8/243 795276
/proc/meminfo: memFree=127002112/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=432484 memory=390372 CPUtime=3571.08 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 60686 0 0 0 355604 1504 0 0 20 0 1 0 157000329 442863616 97593 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 108121 97593 1925 922 0 100073 0
Current children cumulated CPU time: 3571.08 s
Current children cumulated vsize: 432484 KiB
Current children cumulated memory: 390372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/244 795422
/proc/meminfo: memFree=127983552/131655788 swapFree=131071996/131071996
[pid=793344] ppid=793333 vsize=513872 memory=392900 CPUtime=3600.08 cores=0,2
/proc/793344/stat : 793344 (roundingsat) R 793333 793344 793272 0 -1 4194304 60921 0 0 0 358501 1507 0 0 20 0 1 0 157000329 526204928 98225 134679101440 4194304 7968869 140722280376224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15425536 140722280383422 140722280383586 140722280383586 140722280390601 0
/proc/793344/statm: 128468 98225 1925 922 0 120420 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 513872 KiB
Current children cumulated memory: 392900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 793344 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3585.02 s, system=15.0826 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3611.41
CPU time (s): 3600.1
CPU user time (s): 3585.02
CPU system time (s): 15.0826
CPU usage (%): 99.687
Max. virtual memory (cumulated for all children) (KiB): 513872
Max. memory (cumulated for all children) (KiB): 392900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.02
system time used= 15.0826
maximum resident set size= 392900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 24657
# summary of solver processes directly reported to runsolver:
# pid: 793344
# total CPU time (s): 3600.1
# total CPU user time (s): 3585.02
# total CPU system time (s): 15.0826
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3611 second user time and 36.7678 second system time
The end
Begin job on nodeC009 at 2024-07-15 15:00:19 IDJOB=4429408 IDBENCH=147542 IDSOLVER=3051 FILE ID=nodeC009/4429408-1721048407 RUNJOBID= nodeC009-1721048419-793282 SLURM_JOB_ID= 7505463 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429408-1721048407/watcher-4429408-1721048407 -o /tmp/evaluation-result-4429408-1721048407/solver-4429408-1721048407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721048419-793282 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429408-1721048407.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a RANDOM SEED=1422166639 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.326 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 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.325 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.27 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.320 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 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.318 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.27 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 : 3492.173 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 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.338 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.27 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.345 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 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.316 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.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128589436 kB MemAvailable: 129923216 kB Buffers: 364736 kB Cached: 1798096 kB SwapCached: 0 kB Active: 584460 kB Inactive: 1930940 kB Active(anon): 1368 kB Inactive(anon): 389224 kB Active(file): 583092 kB Inactive(file): 1541716 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20848 kB Writeback: 0 kB AnonPages: 353332 kB Mapped: 106344 kB Shmem: 37700 kB KReclaimable: 98008 kB Slab: 194604 kB SReclaimable: 98008 kB SUnreclaim: 96596 kB KernelStack: 3724 kB PageTables: 10084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 731384 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51424 kB HardwareCorrupted: 0 kB AnonHugePages: 229376 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: 181064 kB DirectMap2M: 17549312 kB DirectMap1G: 118489088 kB Free space on /tmp at the end= 723740 MiB End job on nodeC009 at 2024-07-15 16:00:31