| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 188 | 3600.04 | 3609.21 |
| 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.00 c #variables 467 #constraints 466 0.20/0.23 c bounds - >= 0 @ 0.001862 0.20/0.23 c bounds 216 >= 0 @ 0.132474 0.20/0.23 c bounds 216 >= 1 @ 0.132563 0.20/0.23 c bounds 216 >= 2 @ 0.132639 0.20/0.23 c bounds 216 >= 3 @ 0.13272 0.20/0.23 c bounds 216 >= 4 @ 0.132801 0.20/0.23 c bounds 216 >= 5 @ 0.132886 0.20/0.23 c bounds 216 >= 6 @ 0.132931 0.20/0.23 c bounds 216 >= 7 @ 0.132931 0.20/0.23 c bounds 216 >= 8 @ 0.132931 0.20/0.23 c bounds 216 >= 9 @ 0.132931 0.20/0.23 c bounds 216 >= 10 @ 0.132931 0.20/0.23 c bounds 216 >= 11 @ 0.132931 0.20/0.23 c bounds 216 >= 12 @ 0.132931 0.20/0.23 c bounds 216 >= 13 @ 0.132931 0.20/0.23 c bounds 216 >= 14 @ 0.132931 0.20/0.23 c bounds 216 >= 15 @ 0.132931 0.20/0.23 c bounds 216 >= 16 @ 0.132931 0.20/0.23 c bounds 216 >= 17 @ 0.133041 0.20/0.23 c bounds 216 >= 18 @ 0.133148 0.20/0.23 c bounds 216 >= 19 @ 0.133257 0.20/0.23 c bounds 216 >= 20 @ 0.133365 0.20/0.23 c bounds 216 >= 21 @ 0.133475 0.20/0.23 c bounds 216 >= 22 @ 0.133586 0.20/0.23 c bounds 215 >= 22 @ 0.145906 0.20/0.23 c bounds 215 >= 23 @ 0.146034 0.20/0.23 c bounds 215 >= 24 @ 0.146151 0.20/0.23 c bounds 215 >= 25 @ 0.146271 0.20/0.23 c bounds 215 >= 26 @ 0.146388 0.20/0.23 c bounds 215 >= 27 @ 0.146506 0.20/0.23 c bounds 215 >= 28 @ 0.146627 0.20/0.23 c bounds 215 >= 29 @ 0.146751 0.20/0.23 c bounds 215 >= 30 @ 0.146867 0.20/0.23 c bounds 215 >= 31 @ 0.146989 0.20/0.23 c bounds 215 >= 32 @ 0.147106 0.20/0.23 c bounds 215 >= 33 @ 0.147228 0.20/0.23 c bounds 215 >= 34 @ 0.14735 0.20/0.23 c bounds 215 >= 35 @ 0.147473 0.20/0.23 c bounds 215 >= 36 @ 0.147597 0.20/0.23 c bounds 215 >= 37 @ 0.147717 0.20/0.23 c bounds 215 >= 38 @ 0.147835 0.20/0.23 c bounds 215 >= 39 @ 0.147957 0.20/0.23 c bounds 215 >= 40 @ 0.148078 0.20/0.23 c bounds 215 >= 41 @ 0.148204 0.20/0.23 c bounds 215 >= 42 @ 0.148326 0.20/0.23 c bounds 215 >= 43 @ 0.148446 0.20/0.23 c bounds 215 >= 44 @ 0.148607 0.20/0.23 c bounds 215 >= 45 @ 0.148706 0.20/0.23 c bounds 215 >= 46 @ 0.148706 0.20/0.23 c bounds 215 >= 47 @ 0.148706 0.20/0.23 c bounds 215 >= 48 @ 0.148706 0.20/0.23 c bounds 215 >= 49 @ 0.148706 0.20/0.23 c bounds 215 >= 50 @ 0.148706 0.20/0.23 c bounds 215 >= 51 @ 0.148813 0.20/0.23 c bounds 215 >= 52 @ 0.148853 0.20/0.23 c bounds 215 >= 53 @ 0.148853 0.20/0.23 c bounds 215 >= 54 @ 0.148853 0.20/0.23 c bounds 215 >= 55 @ 0.148853 0.20/0.23 c bounds 215 >= 56 @ 0.148853 0.20/0.23 c bounds 215 >= 57 @ 0.148853 0.20/0.23 c bounds 215 >= 58 @ 0.148853 0.20/0.23 c bounds 215 >= 59 @ 0.149008 0.20/0.23 c bounds 215 >= 60 @ 0.149153 0.20/0.23 c bounds 215 >= 61 @ 0.149301 0.20/0.23 c bounds 215 >= 62 @ 0.149444 0.20/0.23 c bounds 215 >= 63 @ 0.1496 0.20/0.23 c bounds 215 >= 64 @ 0.149752 0.20/0.23 c bounds 215 >= 65 @ 0.149844 0.20/0.23 c bounds 215 >= 66 @ 0.149844 0.20/0.23 c bounds 215 >= 67 @ 0.149844 0.20/0.23 c bounds 215 >= 68 @ 0.149844 0.20/0.23 c bounds 215 >= 69 @ 0.149844 0.20/0.23 c bounds 215 >= 70 @ 0.149844 0.20/0.23 c bounds 215 >= 71 @ 0.149844 0.20/0.23 c bounds 215 >= 72 @ 0.149844 0.20/0.23 c bounds 215 >= 73 @ 0.149844 0.20/0.23 c bounds 215 >= 74 @ 0.149844 0.20/0.23 c bounds 215 >= 75 @ 0.149844 0.20/0.23 c bounds 215 >= 76 @ 0.149844 0.20/0.23 c bounds 215 >= 77 @ 0.149844 0.20/0.23 c bounds 215 >= 78 @ 0.149844 0.20/0.23 c bounds 215 >= 79 @ 0.149844 0.20/0.23 c bounds 215 >= 80 @ 0.149844 0.20/0.23 c bounds 215 >= 81 @ 0.149844 0.20/0.23 c bounds 215 >= 82 @ 0.149844 0.20/0.23 c bounds 215 >= 83 @ 0.149844 0.20/0.23 c bounds 215 >= 84 @ 0.149844 0.20/0.23 c bounds 215 >= 85 @ 0.149844 0.20/0.23 c bounds 215 >= 86 @ 0.149844 0.20/0.23 c bounds 215 >= 87 @ 0.149844 0.20/0.23 c bounds 215 >= 88 @ 0.149844 0.20/0.23 c bounds 215 >= 89 @ 0.149855 0.20/0.23 c bounds 215 >= 90 @ 0.150016 0.20/0.23 c bounds 215 >= 91 @ 0.150178 0.20/0.23 c bounds 215 >= 92 @ 0.150335 0.20/0.23 c bounds 215 >= 93 @ 0.150494 0.20/0.23 c bounds 215 >= 94 @ 0.150627 0.20/0.23 c bounds 215 >= 95 @ 0.150763 0.20/0.23 c bounds 215 >= 96 @ 0.150811 0.20/0.23 c bounds 215 >= 97 @ 0.150811 0.20/0.23 c bounds 215 >= 98 @ 0.150811 0.20/0.23 c bounds 215 >= 99 @ 0.150811 0.20/0.23 c bounds 215 >= 100 @ 0.150811 0.20/0.23 c bounds 215 >= 101 @ 0.150811 0.20/0.23 c bounds 215 >= 102 @ 0.150811 0.20/0.23 c bounds 215 >= 103 @ 0.150811 0.20/0.23 c bounds 215 >= 104 @ 0.150811 0.20/0.23 c bounds 215 >= 105 @ 0.150811 0.20/0.23 c bounds 215 >= 106 @ 0.150811 0.20/0.23 c bounds 215 >= 107 @ 0.150811 0.20/0.23 c bounds 215 >= 108 @ 0.150811 0.20/0.23 c bounds 215 >= 109 @ 0.15087 0.20/0.23 c bounds 215 >= 110 @ 0.151049 0.20/0.23 c bounds 215 >= 111 @ 0.151237 0.20/0.23 c bounds 215 >= 112 @ 0.151404 0.20/0.23 c bounds 215 >= 113 @ 0.151568 0.20/0.23 c bounds 215 >= 114 @ 0.151764 0.20/0.23 c bounds 215 >= 115 @ 0.151946 0.20/0.23 c bounds 215 >= 116 @ 0.152137 0.20/0.23 c bounds 215 >= 117 @ 0.152329 0.20/0.23 c bounds 215 >= 118 @ 0.152529 0.20/0.23 c bounds 215 >= 119 @ 0.152706 0.20/0.23 c bounds 215 >= 120 @ 0.152935 0.20/0.23 c bounds 215 >= 121 @ 0.153161 0.20/0.23 c bounds 215 >= 122 @ 0.153459 0.20/0.23 c bounds 215 >= 123 @ 0.153686 0.20/0.23 c bounds 215 >= 124 @ 0.15379 0.20/0.23 c bounds 215 >= 125 @ 0.15379 0.20/0.23 c bounds 215 >= 126 @ 0.15379 0.20/0.23 c bounds 215 >= 127 @ 0.15379 0.20/0.23 c bounds 215 >= 128 @ 0.15379 0.20/0.23 c bounds 215 >= 129 @ 0.15379 0.20/0.23 c bounds 215 >= 130 @ 0.154574 0.20/0.23 c bounds 215 >= 131 @ 0.157763 0.20/0.23 c bounds 215 >= 132 @ 0.169734 0.20/0.23 c bounds 214 >= 132 @ 0.182641 0.20/0.23 c bounds 214 >= 133 @ 0.20478 0.69/0.74 c bounds 213 >= 133 @ 0.206454 0.69/0.74 c bounds 212 >= 133 @ 0.206802 0.69/0.74 c bounds 211 >= 133 @ 0.211576 0.69/0.74 c bounds 210 >= 133 @ 0.213652 0.69/0.74 c bounds 209 >= 133 @ 0.22346 0.69/0.74 c #Conflicts: 1000 | #Constraints: 2178 0.69/0.74 c bounds 208 >= 133 @ 0.250362 0.69/0.74 c #Conflicts: 2000 | #Constraints: 3179 0.69/0.74 c INPROCESSING 0.69/0.74 c GARBAGE COLLECT 0.69/0.74 c rational objective 138.086 1.49/1.58 c bounds 207 >= 133 @ 0.787824 1.49/1.58 c bounds 206 >= 133 @ 0.79559 1.49/1.58 c bounds 205 >= 133 @ 0.816767 1.49/1.58 c #Conflicts: 3000 | #Constraints: 3102 1.49/1.58 c bounds 204 >= 133 @ 0.940366 1.49/1.58 c bounds 203 >= 133 @ 1.03815 1.49/1.58 c bounds 203 >= 134 @ 1.07122 1.49/1.58 c #Conflicts: 4000 | #Constraints: 4167 1.49/1.58 c INPROCESSING 1.49/1.58 c GARBAGE COLLECT 1.49/1.58 c rational objective 138.087 4.28/4.34 c bounds 202 >= 134 @ 1.63069 4.28/4.34 c #Conflicts: 5000 | #Constraints: 3585 4.28/4.34 c bounds 202 >= 135 @ 1.81709 4.28/4.34 c #Conflicts: 6000 | #Constraints: 4624 4.28/4.34 c INPROCESSING 4.28/4.34 c GARBAGE COLLECT 4.28/4.34 c bounds 201 >= 135 @ 2.06331 4.28/4.34 c #Conflicts: 7000 | #Constraints: 3608 4.28/4.34 c #Conflicts: 8000 | #Constraints: 4608 4.28/4.34 c bounds 200 >= 135 @ 2.356 4.28/4.34 c #Conflicts: 9000 | #Constraints: 5609 4.28/4.34 c INPROCESSING 4.28/4.34 c GARBAGE COLLECT 4.28/4.34 c rational objective 138.293 6.47/6.55 c #Conflicts: 10000 | #Constraints: 4349 6.47/6.55 c #Conflicts: 11000 | #Constraints: 5349 6.47/6.55 c #Conflicts: 12000 | #Constraints: 6349 6.47/6.55 c INPROCESSING 6.47/6.55 c GARBAGE COLLECT 6.47/6.55 c bounds 200 >= 136 @ 5.09438 6.47/6.55 c #Conflicts: 13000 | #Constraints: 4813 6.47/6.55 c #Conflicts: 14000 | #Constraints: 5813 6.47/6.55 c #Conflicts: 15000 | #Constraints: 6813 6.47/6.55 c INPROCESSING 6.47/6.55 c GARBAGE COLLECT 6.47/6.55 c rational objective 138.294 8.07/8.16 c #Conflicts: 16000 | #Constraints: 5073 8.07/8.16 c bounds 199 >= 136 @ 6.74756 8.07/8.16 c #Conflicts: 17000 | #Constraints: 6074 8.07/8.16 c #Conflicts: 18000 | #Constraints: 7074 8.07/8.16 c INPROCESSING 8.07/8.16 c GARBAGE COLLECT 8.07/8.16 c rational objective 138.294 9.86/9.95 c bounds 198 >= 136 @ 7.86568 9.86/9.95 c #Conflicts: 19000 | #Constraints: 5104 9.86/9.95 c #Conflicts: 20000 | #Constraints: 6104 9.86/9.95 c bounds 197 >= 136 @ 8.68455 9.86/9.95 c #Conflicts: 21000 | #Constraints: 7105 9.86/9.95 c INPROCESSING 9.86/9.95 c GARBAGE COLLECT 9.86/9.95 c rational objective 138.294 21.93/22.07 c #Conflicts: 22000 | #Constraints: 4928 21.93/22.07 c bounds 197 >= 137 @ 10.5823 21.93/22.07 c #Conflicts: 23000 | #Constraints: 5988 21.93/22.07 c #Conflicts: 24000 | #Constraints: 6988 21.93/22.07 c #Conflicts: 25000 | #Constraints: 7988 21.93/22.07 c INPROCESSING 21.93/22.07 c GARBAGE COLLECT 21.93/22.07 c #Conflicts: 26000 | #Constraints: 5602 21.93/22.07 c #Conflicts: 27000 | #Constraints: 6602 21.93/22.07 c #Conflicts: 28000 | #Constraints: 7602 21.93/22.07 c #Conflicts: 29000 | #Constraints: 8602 21.93/22.07 c #Conflicts: 30000 | #Constraints: 9602 21.93/22.07 c #Conflicts: 31000 | #Constraints: 10602 21.93/22.07 c #Conflicts: 32000 | #Constraints: 11602 21.93/22.07 c #Conflicts: 33000 | #Constraints: 12602 21.93/22.07 c #Conflicts: 34000 | #Constraints: 13602 21.93/22.07 c #Conflicts: 35000 | #Constraints: 14602 21.93/22.07 c #Conflicts: 36000 | #Constraints: 15602 21.93/22.07 c #Conflicts: 37000 | #Constraints: 16602 21.93/22.07 c #Conflicts: 38000 | #Constraints: 17602 21.93/22.07 c INPROCESSING 21.93/22.07 c GARBAGE COLLECT 21.93/22.07 c rational objective 138.294 28.80/28.93 c #Conflicts: 39000 | #Constraints: 10456 28.80/28.93 c #Conflicts: 40000 | #Constraints: 11456 28.80/28.93 c #Conflicts: 41000 | #Constraints: 12457 28.80/28.93 c #Conflicts: 42000 | #Constraints: 13457 28.80/28.93 c INPROCESSING 28.80/28.93 c GARBAGE COLLECT 28.80/28.93 c rational objective 138.294 33.99/34.17 c #Conflicts: 43000 | #Constraints: 7981 33.99/34.17 c #Conflicts: 44000 | #Constraints: 8981 33.99/34.17 c #Conflicts: 45000 | #Constraints: 9981 33.99/34.17 c #Conflicts: 46000 | #Constraints: 10981 33.99/34.17 c #Conflicts: 47000 | #Constraints: 11981 33.99/34.17 c #Conflicts: 48000 | #Constraints: 12981 33.99/34.17 c INPROCESSING 33.99/34.17 c GARBAGE COLLECT 33.99/34.17 c rational objective 138.294 38.77/38.97 c #Conflicts: 49000 | #Constraints: 8205 38.77/38.97 c #Conflicts: 50000 | #Constraints: 9205 38.77/38.97 c #Conflicts: 51000 | #Constraints: 10205 38.77/38.97 c #Conflicts: 52000 | #Constraints: 11205 38.77/38.97 c bounds 197 >= 138 @ 36.9348 38.77/38.97 c #Conflicts: 53000 | #Constraints: 12259 38.77/38.97 c bounds 196 >= 138 @ 37.2689 38.77/38.97 c INPROCESSING 38.77/38.97 c GARBAGE COLLECT 38.77/38.97 c rational objective 138.295 66.19/66.46 c #Conflicts: 54000 | #Constraints: 7646 66.19/66.46 c #Conflicts: 55000 | #Constraints: 8646 66.19/66.46 c #Conflicts: 56000 | #Constraints: 9646 66.19/66.46 c #Conflicts: 57000 | #Constraints: 10646 66.19/66.46 c bounds 195 >= 138 @ 39.6107 66.19/66.46 c #Conflicts: 58000 | #Constraints: 11647 66.19/66.46 c #Conflicts: 59000 | #Constraints: 12647 66.19/66.46 c #Conflicts: 60000 | #Constraints: 13647 66.19/66.46 c #Conflicts: 61000 | #Constraints: 14647 66.19/66.46 c #Conflicts: 62000 | #Constraints: 15647 66.19/66.46 c #Conflicts: 63000 | #Constraints: 16647 66.19/66.46 c #Conflicts: 64000 | #Constraints: 17647 66.19/66.46 c #Conflicts: 65000 | #Constraints: 18647 66.19/66.46 c #Conflicts: 66000 | #Constraints: 19647 66.19/66.46 c bounds 194 >= 138 @ 49.388 66.19/66.46 c #Conflicts: 67000 | #Constraints: 20648 66.19/66.46 c #Conflicts: 68000 | #Constraints: 21648 66.19/66.46 c #Conflicts: 69000 | #Constraints: 22648 66.19/66.46 c #Conflicts: 70000 | #Constraints: 23648 66.19/66.46 c #Conflicts: 71000 | #Constraints: 24648 66.19/66.46 c INPROCESSING 66.19/66.46 c GARBAGE COLLECT 66.19/66.46 c rational objective 138.294 76.55/76.80 c #Conflicts: 72000 | #Constraints: 13865 76.55/76.80 c #Conflicts: 73000 | #Constraints: 14866 76.55/76.80 c #Conflicts: 74000 | #Constraints: 15866 76.55/76.80 c #Conflicts: 75000 | #Constraints: 16866 76.55/76.80 c #Conflicts: 76000 | #Constraints: 17866 76.55/76.80 c #Conflicts: 77000 | #Constraints: 18866 76.55/76.80 c #Conflicts: 78000 | #Constraints: 19866 76.55/76.80 c INPROCESSING 76.55/76.80 c GARBAGE COLLECT 76.55/76.80 c rational objective 138.294 81.85/82.16 c #Conflicts: 79000 | #Constraints: 11682 81.85/82.16 c #Conflicts: 80000 | #Constraints: 12687 81.85/82.16 c #Conflicts: 81000 | #Constraints: 13687 81.85/82.16 c #Conflicts: 82000 | #Constraints: 14687 81.85/82.16 c #Conflicts: 83000 | #Constraints: 15687 81.85/82.16 c #Conflicts: 84000 | #Constraints: 16687 81.85/82.16 c INPROCESSING 81.85/82.16 c GARBAGE COLLECT 81.85/82.16 c rational objective 138.294 131.08/131.58 c #Conflicts: 85000 | #Constraints: 9625 131.08/131.58 c #Conflicts: 86000 | #Constraints: 10626 131.08/131.58 c #Conflicts: 87000 | #Constraints: 11626 131.08/131.58 c #Conflicts: 88000 | #Constraints: 12626 131.08/131.58 c #Conflicts: 89000 | #Constraints: 13626 131.08/131.58 c #Conflicts: 90000 | #Constraints: 14626 131.08/131.58 c bounds 193 >= 138 @ 84.0204 131.08/131.58 c #Conflicts: 91000 | #Constraints: 15627 131.08/131.58 c #Conflicts: 92000 | #Constraints: 16627 131.08/131.58 c #Conflicts: 93000 | #Constraints: 17627 131.08/131.58 c #Conflicts: 94000 | #Constraints: 18627 131.08/131.58 c #Conflicts: 95000 | #Constraints: 19627 131.08/131.58 c #Conflicts: 96000 | #Constraints: 20627 131.08/131.58 c #Conflicts: 97000 | #Constraints: 21627 131.08/131.58 c #Conflicts: 98000 | #Constraints: 22627 131.08/131.58 c #Conflicts: 99000 | #Constraints: 23627 131.08/131.58 c #Conflicts: 100000 | #Constraints: 24627 131.08/131.58 c #Conflicts: 101000 | #Constraints: 25627 131.08/131.58 c #Conflicts: 102000 | #Constraints: 26627 131.08/131.58 c #Conflicts: 103000 | #Constraints: 27627 131.08/131.58 c #Conflicts: 104000 | #Constraints: 28627 131.08/131.58 c #Conflicts: 105000 | #Constraints: 29627 131.08/131.58 c #Conflicts: 106000 | #Constraints: 30627 131.08/131.58 c #Conflicts: 107000 | #Constraints: 31627 131.08/131.58 c INPROCESSING 131.08/131.58 c GARBAGE COLLECT 131.08/131.58 c bounds 192 >= 138 @ 122.087 131.08/131.58 c #Conflicts: 108000 | #Constraints: 17520 131.08/131.58 c #Conflicts: 109000 | #Constraints: 18520 131.08/131.58 c #Conflicts: 110000 | #Constraints: 19520 131.08/131.58 c #Conflicts: 111000 | #Constraints: 20520 131.08/131.58 c #Conflicts: 112000 | #Constraints: 21520 131.08/131.58 c #Conflicts: 113000 | #Constraints: 22520 131.08/131.58 c #Conflicts: 114000 | #Constraints: 23520 131.08/131.58 c #Conflicts: 115000 | #Constraints: 24520 131.08/131.58 c INPROCESSING 131.08/131.58 c GARBAGE COLLECT 131.08/131.58 c rational objective 138.294 137.67/138.15 c #Conflicts: 116000 | #Constraints: 13854 137.67/138.15 c #Conflicts: 117000 | #Constraints: 14854 137.67/138.15 c #Conflicts: 118000 | #Constraints: 15854 137.67/138.15 c #Conflicts: 119000 | #Constraints: 16854 137.67/138.15 c #Conflicts: 120000 | #Constraints: 17854 137.67/138.15 c #Conflicts: 121000 | #Constraints: 18855 137.67/138.15 c #Conflicts: 122000 | #Constraints: 19855 137.67/138.15 c #Conflicts: 123000 | #Constraints: 20855 137.67/138.15 c INPROCESSING 137.67/138.15 c GARBAGE COLLECT 137.67/138.15 c rational objective 138.294 209.04/209.73 c #Conflicts: 124000 | #Constraints: 11866 209.04/209.73 c #Conflicts: 125000 | #Constraints: 12866 209.04/209.73 c #Conflicts: 126000 | #Constraints: 13866 209.04/209.73 c #Conflicts: 127000 | #Constraints: 14866 209.04/209.73 c #Conflicts: 128000 | #Constraints: 15866 209.04/209.73 c #Conflicts: 129000 | #Constraints: 16867 209.04/209.73 c #Conflicts: 130000 | #Constraints: 17867 209.04/209.73 c #Conflicts: 131000 | #Constraints: 18867 209.04/209.73 c #Conflicts: 132000 | #Constraints: 19867 209.04/209.73 c bounds 191 >= 138 @ 143.949 209.04/209.73 c #Conflicts: 133000 | #Constraints: 20868 209.04/209.73 c #Conflicts: 134000 | #Constraints: 21868 209.04/209.73 c #Conflicts: 135000 | #Constraints: 22868 209.04/209.73 c #Conflicts: 136000 | #Constraints: 23868 209.04/209.73 c #Conflicts: 137000 | #Constraints: 24868 209.04/209.73 c #Conflicts: 138000 | #Constraints: 25868 209.04/209.73 c #Conflicts: 139000 | #Constraints: 26868 209.04/209.73 c #Conflicts: 140000 | #Constraints: 27868 209.04/209.73 c bounds 190 >= 138 @ 160.816 209.04/209.73 c #Conflicts: 141000 | #Constraints: 28869 209.04/209.73 c #Conflicts: 142000 | #Constraints: 29869 209.04/209.73 c #Conflicts: 143000 | #Constraints: 30869 209.04/209.73 c #Conflicts: 144000 | #Constraints: 31869 209.04/209.73 c #Conflicts: 145000 | #Constraints: 32869 209.04/209.73 c #Conflicts: 146000 | #Constraints: 33869 209.04/209.73 c #Conflicts: 147000 | #Constraints: 34869 209.04/209.73 c #Conflicts: 148000 | #Constraints: 35869 209.04/209.73 c #Conflicts: 149000 | #Constraints: 36869 209.04/209.73 c #Conflicts: 150000 | #Constraints: 37869 209.04/209.73 c INPROCESSING 209.04/209.73 c GARBAGE COLLECT 209.04/209.73 c rational objective 138.294 221.50/222.27 c bounds 189 >= 138 @ 206.568 221.50/222.27 c #Conflicts: 151000 | #Constraints: 20717 221.50/222.27 c #Conflicts: 152000 | #Constraints: 21717 221.50/222.27 c #Conflicts: 153000 | #Constraints: 22717 221.50/222.27 c #Conflicts: 154000 | #Constraints: 23717 221.50/222.27 c #Conflicts: 155000 | #Constraints: 24717 221.50/222.27 c #Conflicts: 156000 | #Constraints: 25717 221.50/222.27 c #Conflicts: 157000 | #Constraints: 26717 221.50/222.27 c #Conflicts: 158000 | #Constraints: 27717 221.50/222.27 c #Conflicts: 159000 | #Constraints: 28717 221.50/222.27 c INPROCESSING 221.50/222.27 c GARBAGE COLLECT 221.50/222.27 c rational objective 138.294 241.14/241.94 c #Conflicts: 160000 | #Constraints: 15745 241.14/241.94 c #Conflicts: 161000 | #Constraints: 16745 241.14/241.94 c #Conflicts: 162000 | #Constraints: 17745 241.14/241.94 c #Conflicts: 163000 | #Constraints: 18746 241.14/241.94 c #Conflicts: 164000 | #Constraints: 19749 241.14/241.94 c #Conflicts: 165000 | #Constraints: 20750 241.14/241.94 c #Conflicts: 166000 | #Constraints: 21750 241.14/241.94 c #Conflicts: 167000 | #Constraints: 22750 241.14/241.94 c #Conflicts: 168000 | #Constraints: 23750 241.14/241.94 c #Conflicts: 169000 | #Constraints: 24750 241.14/241.94 c INPROCESSING 241.14/241.94 c GARBAGE COLLECT 241.14/241.94 c rational objective 138.294 360.93/362.03 c #Conflicts: 170000 | #Constraints: 13941 360.93/362.03 c #Conflicts: 171000 | #Constraints: 14941 360.93/362.03 c #Conflicts: 172000 | #Constraints: 15955 360.93/362.03 c #Conflicts: 173000 | #Constraints: 16955 360.93/362.03 c #Conflicts: 174000 | #Constraints: 17955 360.93/362.03 c #Conflicts: 175000 | #Constraints: 18955 360.93/362.03 c #Conflicts: 176000 | #Constraints: 19955 360.93/362.03 c #Conflicts: 177000 | #Constraints: 20955 360.93/362.03 c #Conflicts: 178000 | #Constraints: 21955 360.93/362.03 c #Conflicts: 179000 | #Constraints: 22955 360.93/362.03 c #Conflicts: 180000 | #Constraints: 23955 360.93/362.03 c #Conflicts: 181000 | #Constraints: 24955 360.93/362.03 c #Conflicts: 182000 | #Constraints: 25955 360.93/362.03 c #Conflicts: 183000 | #Constraints: 26955 360.93/362.03 c #Conflicts: 184000 | #Constraints: 27955 360.93/362.03 c #Conflicts: 185000 | #Constraints: 28955 360.93/362.03 c #Conflicts: 186000 | #Constraints: 29955 360.93/362.03 c #Conflicts: 187000 | #Constraints: 30955 360.93/362.03 c #Conflicts: 188000 | #Constraints: 31955 360.93/362.03 c #Conflicts: 189000 | #Constraints: 32955 360.93/362.03 c #Conflicts: 190000 | #Constraints: 33955 360.93/362.03 c #Conflicts: 191000 | #Constraints: 34955 360.93/362.03 c #Conflicts: 192000 | #Constraints: 35955 360.93/362.03 c #Conflicts: 193000 | #Constraints: 36955 360.93/362.03 c #Conflicts: 194000 | #Constraints: 37955 360.93/362.03 c #Conflicts: 195000 | #Constraints: 38955 360.93/362.03 c #Conflicts: 196000 | #Constraints: 39955 360.93/362.03 c #Conflicts: 197000 | #Constraints: 40955 360.93/362.03 c #Conflicts: 198000 | #Constraints: 41955 360.93/362.03 c #Conflicts: 199000 | #Constraints: 42955 360.93/362.03 c #Conflicts: 200000 | #Constraints: 43955 360.93/362.03 c INPROCESSING 360.93/362.03 c GARBAGE COLLECT 360.93/362.03 c rational objective 138.294 418.28/419.56 c #Conflicts: 201000 | #Constraints: 23618 418.28/419.56 c #Conflicts: 202000 | #Constraints: 24618 418.28/419.56 c #Conflicts: 203000 | #Constraints: 25618 418.28/419.56 c #Conflicts: 204000 | #Constraints: 26618 418.28/419.56 c #Conflicts: 205000 | #Constraints: 27618 418.28/419.56 c #Conflicts: 206000 | #Constraints: 28618 418.28/419.56 c #Conflicts: 207000 | #Constraints: 29618 418.28/419.56 c #Conflicts: 208000 | #Constraints: 30618 418.28/419.56 c bounds 189 >= 139 @ 393.148 418.28/419.56 c #Conflicts: 209000 | #Constraints: 31660 418.28/419.56 c #Conflicts: 210000 | #Constraints: 32660 418.28/419.56 c #Conflicts: 211000 | #Constraints: 33660 418.28/419.56 c INPROCESSING 418.28/419.56 c GARBAGE COLLECT 418.28/419.56 c rational objective 139 436.93/438.28 c #Conflicts: 212000 | #Constraints: 18510 436.93/438.28 c #Conflicts: 213000 | #Constraints: 19510 436.93/438.28 c #Conflicts: 214000 | #Constraints: 20510 436.93/438.28 c #Conflicts: 215000 | #Constraints: 21510 436.93/438.28 c #Conflicts: 216000 | #Constraints: 22510 436.93/438.28 c #Conflicts: 217000 | #Constraints: 23510 436.93/438.28 c #Conflicts: 218000 | #Constraints: 24510 436.93/438.28 c #Conflicts: 219000 | #Constraints: 25510 436.93/438.28 c #Conflicts: 220000 | #Constraints: 26510 436.93/438.28 c #Conflicts: 221000 | #Constraints: 27510 436.93/438.28 c #Conflicts: 222000 | #Constraints: 28510 436.93/438.28 c INPROCESSING 436.93/438.28 c GARBAGE COLLECT 436.93/438.28 c rational objective 139 541.67/543.27 c #Conflicts: 223000 | #Constraints: 15783 541.67/543.27 c #Conflicts: 224000 | #Constraints: 16784 541.67/543.27 c #Conflicts: 225000 | #Constraints: 17784 541.67/543.27 c #Conflicts: 226000 | #Constraints: 18784 541.67/543.27 c #Conflicts: 227000 | #Constraints: 19784 541.67/543.27 c #Conflicts: 228000 | #Constraints: 20784 541.67/543.27 c #Conflicts: 229000 | #Constraints: 21784 541.67/543.27 c #Conflicts: 230000 | #Constraints: 22784 541.67/543.27 c #Conflicts: 231000 | #Constraints: 23784 541.67/543.27 c #Conflicts: 232000 | #Constraints: 24784 541.67/543.27 c #Conflicts: 233000 | #Constraints: 25784 541.67/543.27 c #Conflicts: 234000 | #Constraints: 26784 541.67/543.27 c #Conflicts: 235000 | #Constraints: 27784 541.67/543.27 c #Conflicts: 236000 | #Constraints: 28784 541.67/543.27 c #Conflicts: 237000 | #Constraints: 29784 541.67/543.27 c #Conflicts: 238000 | #Constraints: 30784 541.67/543.27 c #Conflicts: 239000 | #Constraints: 31784 541.67/543.27 c #Conflicts: 240000 | #Constraints: 32784 541.67/543.27 c #Conflicts: 241000 | #Constraints: 33784 541.67/543.27 c #Conflicts: 242000 | #Constraints: 34784 541.67/543.27 c #Conflicts: 243000 | #Constraints: 35784 541.67/543.27 c #Conflicts: 244000 | #Constraints: 36784 541.67/543.27 c #Conflicts: 245000 | #Constraints: 37784 541.67/543.27 c #Conflicts: 246000 | #Constraints: 38784 541.67/543.27 c #Conflicts: 247000 | #Constraints: 39784 541.67/543.27 c #Conflicts: 248000 | #Constraints: 40784 541.67/543.27 c #Conflicts: 249000 | #Constraints: 41784 541.67/543.27 c #Conflicts: 250000 | #Constraints: 42784 541.67/543.27 c #Conflicts: 251000 | #Constraints: 43784 541.67/543.27 c #Conflicts: 252000 | #Constraints: 44784 541.67/543.27 c #Conflicts: 253000 | #Constraints: 45784 541.67/543.27 c #Conflicts: 254000 | #Constraints: 46784 541.67/543.27 c #Conflicts: 255000 | #Constraints: 47784 541.67/543.27 c #Conflicts: 256000 | #Constraints: 48784 541.67/543.27 c #Conflicts: 257000 | #Constraints: 49784 541.67/543.27 c INPROCESSING 541.67/543.27 c GARBAGE COLLECT 541.67/543.27 c rational objective 139 562.52/564.12 c #Conflicts: 258000 | #Constraints: 26477 562.52/564.12 c #Conflicts: 259000 | #Constraints: 27477 562.52/564.12 c #Conflicts: 260000 | #Constraints: 28477 562.52/564.12 c #Conflicts: 261000 | #Constraints: 29477 562.52/564.12 c #Conflicts: 262000 | #Constraints: 30477 562.52/564.12 c #Conflicts: 263000 | #Constraints: 31477 562.52/564.12 c #Conflicts: 264000 | #Constraints: 32477 562.52/564.12 c #Conflicts: 265000 | #Constraints: 33477 562.52/564.12 c #Conflicts: 266000 | #Constraints: 34477 562.52/564.12 c #Conflicts: 267000 | #Constraints: 35477 562.52/564.12 c #Conflicts: 268000 | #Constraints: 36477 562.52/564.12 c #Conflicts: 269000 | #Constraints: 37477 562.52/564.12 c #Conflicts: 270000 | #Constraints: 38477 562.52/564.12 c INPROCESSING 562.52/564.12 c GARBAGE COLLECT 562.52/564.12 c rational objective 139 585.75/587.41 c #Conflicts: 271000 | #Constraints: 20946 585.75/587.41 c #Conflicts: 272000 | #Constraints: 21946 585.75/587.41 c #Conflicts: 273000 | #Constraints: 22946 585.75/587.41 c #Conflicts: 274000 | #Constraints: 23946 585.75/587.41 c #Conflicts: 275000 | #Constraints: 24946 585.75/587.41 c #Conflicts: 276000 | #Constraints: 25946 585.75/587.41 c #Conflicts: 277000 | #Constraints: 26946 585.75/587.41 c #Conflicts: 278000 | #Constraints: 27946 585.75/587.41 c #Conflicts: 279000 | #Constraints: 28946 585.75/587.41 c #Conflicts: 280000 | #Constraints: 29946 585.75/587.41 c #Conflicts: 281000 | #Constraints: 30946 585.75/587.41 c #Conflicts: 282000 | #Constraints: 31947 585.75/587.41 c INPROCESSING 585.75/587.41 c GARBAGE COLLECT 585.75/587.41 c rational objective 139 736.99/739.02 c #Conflicts: 283000 | #Constraints: 17287 736.99/739.02 c #Conflicts: 284000 | #Constraints: 18287 736.99/739.02 c #Conflicts: 285000 | #Constraints: 19287 736.99/739.02 c #Conflicts: 286000 | #Constraints: 20287 736.99/739.02 c #Conflicts: 287000 | #Constraints: 21287 736.99/739.02 c #Conflicts: 288000 | #Constraints: 22287 736.99/739.02 c #Conflicts: 289000 | #Constraints: 23287 736.99/739.02 c #Conflicts: 290000 | #Constraints: 24288 736.99/739.02 c #Conflicts: 291000 | #Constraints: 25289 736.99/739.02 c #Conflicts: 292000 | #Constraints: 26289 736.99/739.02 c #Conflicts: 293000 | #Constraints: 27289 736.99/739.02 c #Conflicts: 294000 | #Constraints: 28289 736.99/739.02 c #Conflicts: 295000 | #Constraints: 29289 736.99/739.02 c #Conflicts: 296000 | #Constraints: 30289 736.99/739.02 c #Conflicts: 297000 | #Constraints: 31289 736.99/739.02 c #Conflicts: 298000 | #Constraints: 32289 736.99/739.02 c #Conflicts: 299000 | #Constraints: 33289 736.99/739.02 c #Conflicts: 300000 | #Constraints: 34289 736.99/739.02 c #Conflicts: 301000 | #Constraints: 35289 736.99/739.02 c #Conflicts: 302000 | #Constraints: 36289 736.99/739.02 c #Conflicts: 303000 | #Constraints: 37289 736.99/739.02 c #Conflicts: 304000 | #Constraints: 38289 736.99/739.02 c #Conflicts: 305000 | #Constraints: 39289 736.99/739.02 c #Conflicts: 306000 | #Constraints: 40289 736.99/739.02 c #Conflicts: 307000 | #Constraints: 41289 736.99/739.02 c #Conflicts: 308000 | #Constraints: 42289 736.99/739.02 c #Conflicts: 309000 | #Constraints: 43289 736.99/739.02 c #Conflicts: 310000 | #Constraints: 44289 736.99/739.02 c #Conflicts: 311000 | #Constraints: 45289 736.99/739.02 c #Conflicts: 312000 | #Constraints: 46289 736.99/739.02 c #Conflicts: 313000 | #Constraints: 47289 736.99/739.02 c #Conflicts: 314000 | #Constraints: 48289 736.99/739.02 c #Conflicts: 315000 | #Constraints: 49289 736.99/739.02 c #Conflicts: 316000 | #Constraints: 50289 736.99/739.02 c #Conflicts: 317000 | #Constraints: 51289 736.99/739.02 c #Conflicts: 318000 | #Constraints: 52289 736.99/739.02 c #Conflicts: 319000 | #Constraints: 53289 736.99/739.02 c #Conflicts: 320000 | #Constraints: 54289 736.99/739.02 c #Conflicts: 321000 | #Constraints: 55289 736.99/739.02 c INPROCESSING 736.99/739.02 c GARBAGE COLLECT 736.99/739.02 c rational objective 139 770.49/772.63 c #Conflicts: 322000 | #Constraints: 28991 770.49/772.63 c #Conflicts: 323000 | #Constraints: 29991 770.49/772.63 c #Conflicts: 324000 | #Constraints: 30991 770.49/772.63 c #Conflicts: 325000 | #Constraints: 31991 770.49/772.63 c #Conflicts: 326000 | #Constraints: 32991 770.49/772.63 c #Conflicts: 327000 | #Constraints: 33991 770.49/772.63 c #Conflicts: 328000 | #Constraints: 34991 770.49/772.63 c #Conflicts: 329000 | #Constraints: 35991 770.49/772.63 c #Conflicts: 330000 | #Constraints: 36991 770.49/772.63 c #Conflicts: 331000 | #Constraints: 37991 770.49/772.63 c #Conflicts: 332000 | #Constraints: 38991 770.49/772.63 c #Conflicts: 333000 | #Constraints: 39991 770.49/772.63 c #Conflicts: 334000 | #Constraints: 40991 770.49/772.63 c #Conflicts: 335000 | #Constraints: 41991 770.49/772.63 c #Conflicts: 336000 | #Constraints: 42991 770.49/772.63 c INPROCESSING 770.49/772.63 c GARBAGE COLLECT 770.49/772.63 c rational objective 139 808.89/811.15 c #Conflicts: 337000 | #Constraints: 23199 808.89/811.15 c #Conflicts: 338000 | #Constraints: 24199 808.89/811.15 c #Conflicts: 339000 | #Constraints: 25199 808.89/811.15 c #Conflicts: 340000 | #Constraints: 26199 808.89/811.15 c #Conflicts: 341000 | #Constraints: 27199 808.89/811.15 c #Conflicts: 342000 | #Constraints: 28199 808.89/811.15 c #Conflicts: 343000 | #Constraints: 29199 808.89/811.15 c #Conflicts: 344000 | #Constraints: 30199 808.89/811.15 c #Conflicts: 345000 | #Constraints: 31199 808.89/811.15 c #Conflicts: 346000 | #Constraints: 32199 808.89/811.15 c #Conflicts: 347000 | #Constraints: 33199 808.89/811.15 c #Conflicts: 348000 | #Constraints: 34199 808.89/811.15 c #Conflicts: 349000 | #Constraints: 35199 808.89/811.15 c #Conflicts: 350000 | #Constraints: 36199 808.89/811.15 c INPROCESSING 808.89/811.15 c GARBAGE COLLECT 808.89/811.15 c rational objective 139 968.75/971.46 c #Conflicts: 351000 | #Constraints: 20300 968.75/971.46 c #Conflicts: 352000 | #Constraints: 21300 968.75/971.46 c #Conflicts: 353000 | #Constraints: 22300 968.75/971.46 c #Conflicts: 354000 | #Constraints: 23300 968.75/971.46 c #Conflicts: 355000 | #Constraints: 24300 968.75/971.46 c #Conflicts: 356000 | #Constraints: 25300 968.75/971.46 c #Conflicts: 357000 | #Constraints: 26300 968.75/971.46 c #Conflicts: 358000 | #Constraints: 27300 968.75/971.46 c #Conflicts: 359000 | #Constraints: 28300 968.75/971.46 c #Conflicts: 360000 | #Constraints: 29300 968.75/971.46 c #Conflicts: 361000 | #Constraints: 30300 968.75/971.46 c #Conflicts: 362000 | #Constraints: 31300 968.75/971.46 c #Conflicts: 363000 | #Constraints: 32300 968.75/971.46 c #Conflicts: 364000 | #Constraints: 33300 968.75/971.46 c #Conflicts: 365000 | #Constraints: 34300 968.75/971.46 c #Conflicts: 366000 | #Constraints: 35300 968.75/971.46 c #Conflicts: 367000 | #Constraints: 36300 968.75/971.46 c #Conflicts: 368000 | #Constraints: 37300 968.75/971.46 c #Conflicts: 369000 | #Constraints: 38300 968.75/971.46 c #Conflicts: 370000 | #Constraints: 39300 968.75/971.46 c #Conflicts: 371000 | #Constraints: 40300 968.75/971.46 c #Conflicts: 372000 | #Constraints: 41343 968.75/971.46 c #Conflicts: 373000 | #Constraints: 42343 968.75/971.46 c #Conflicts: 374000 | #Constraints: 43343 968.75/971.46 c #Conflicts: 375000 | #Constraints: 44343 968.75/971.46 c #Conflicts: 376000 | #Constraints: 45343 968.75/971.46 c #Conflicts: 377000 | #Constraints: 46343 968.75/971.46 c #Conflicts: 378000 | #Constraints: 47343 968.75/971.46 c #Conflicts: 379000 | #Constraints: 48343 968.75/971.46 c #Conflicts: 380000 | #Constraints: 49343 968.75/971.46 c #Conflicts: 381000 | #Constraints: 50343 968.75/971.46 c #Conflicts: 382000 | #Constraints: 51343 968.75/971.46 c #Conflicts: 383000 | #Constraints: 52343 968.75/971.46 c #Conflicts: 384000 | #Constraints: 53343 968.75/971.46 c #Conflicts: 385000 | #Constraints: 54343 968.75/971.46 c #Conflicts: 386000 | #Constraints: 55343 968.75/971.46 c #Conflicts: 387000 | #Constraints: 56343 968.75/971.46 c #Conflicts: 388000 | #Constraints: 57343 968.75/971.46 c #Conflicts: 389000 | #Constraints: 58343 968.75/971.46 c #Conflicts: 390000 | #Constraints: 59343 968.75/971.46 c #Conflicts: 391000 | #Constraints: 60343 968.75/971.46 c #Conflicts: 392000 | #Constraints: 61343 968.75/971.46 c #Conflicts: 393000 | #Constraints: 62343 968.75/971.46 c INPROCESSING 968.75/971.46 c GARBAGE COLLECT 968.75/971.46 c rational objective 139 1092.62/1095.62 c #Conflicts: 394000 | #Constraints: 32586 1092.62/1095.62 c #Conflicts: 395000 | #Constraints: 33586 1092.62/1095.62 c #Conflicts: 396000 | #Constraints: 34586 1092.62/1095.62 c #Conflicts: 397000 | #Constraints: 35586 1092.62/1095.62 c #Conflicts: 398000 | #Constraints: 36586 1092.62/1095.62 c #Conflicts: 399000 | #Constraints: 37586 1092.62/1095.62 c #Conflicts: 400000 | #Constraints: 38586 1092.62/1095.62 c #Conflicts: 401000 | #Constraints: 39586 1092.62/1095.62 c #Conflicts: 402000 | #Constraints: 40586 1092.62/1095.62 c #Conflicts: 403000 | #Constraints: 41586 1092.62/1095.62 c #Conflicts: 404000 | #Constraints: 42586 1092.62/1095.62 c #Conflicts: 405000 | #Constraints: 43586 1092.62/1095.62 c #Conflicts: 406000 | #Constraints: 44586 1092.62/1095.62 c #Conflicts: 407000 | #Constraints: 45586 1092.62/1095.62 c #Conflicts: 408000 | #Constraints: 46586 1092.62/1095.62 c #Conflicts: 409000 | #Constraints: 47586 1092.62/1095.62 c INPROCESSING 1092.62/1095.62 c GARBAGE COLLECT 1092.62/1095.62 c rational objective 139 1147.69/1150.86 c #Conflicts: 410000 | #Constraints: 25475 1147.69/1150.86 c #Conflicts: 411000 | #Constraints: 26475 1147.69/1150.86 c #Conflicts: 412000 | #Constraints: 27475 1147.69/1150.86 c #Conflicts: 413000 | #Constraints: 28475 1147.69/1150.86 c #Conflicts: 414000 | #Constraints: 29475 1147.69/1150.86 c #Conflicts: 415000 | #Constraints: 30475 1147.69/1150.86 c #Conflicts: 416000 | #Constraints: 31475 1147.69/1150.86 c #Conflicts: 417000 | #Constraints: 32476 1147.69/1150.86 c #Conflicts: 418000 | #Constraints: 33476 1147.69/1150.86 c #Conflicts: 419000 | #Constraints: 34476 1147.69/1150.86 c #Conflicts: 420000 | #Constraints: 35476 1147.69/1150.86 c #Conflicts: 421000 | #Constraints: 36476 1147.69/1150.86 c #Conflicts: 422000 | #Constraints: 37476 1147.69/1150.86 c #Conflicts: 423000 | #Constraints: 38476 1147.69/1150.86 c #Conflicts: 424000 | #Constraints: 39476 1147.69/1150.86 c #Conflicts: 425000 | #Constraints: 40476 1147.69/1150.86 c INPROCESSING 1147.69/1150.86 c GARBAGE COLLECT 1147.69/1150.86 c rational objective 139 1334.44/1338.03 c #Conflicts: 426000 | #Constraints: 23706 1334.44/1338.03 c #Conflicts: 427000 | #Constraints: 24706 1334.44/1338.03 c #Conflicts: 428000 | #Constraints: 25706 1334.44/1338.03 c #Conflicts: 429000 | #Constraints: 26710 1334.44/1338.03 c #Conflicts: 430000 | #Constraints: 27720 1334.44/1338.03 c #Conflicts: 431000 | #Constraints: 28720 1334.44/1338.03 c #Conflicts: 432000 | #Constraints: 29720 1334.44/1338.03 c #Conflicts: 433000 | #Constraints: 30720 1334.44/1338.03 c #Conflicts: 434000 | #Constraints: 31720 1334.44/1338.03 c #Conflicts: 435000 | #Constraints: 32720 1334.44/1338.03 c #Conflicts: 436000 | #Constraints: 33720 1334.44/1338.03 c #Conflicts: 437000 | #Constraints: 34720 1334.44/1338.03 c #Conflicts: 438000 | #Constraints: 35720 1334.44/1338.03 c #Conflicts: 439000 | #Constraints: 36720 1334.44/1338.03 c #Conflicts: 440000 | #Constraints: 37720 1334.44/1338.03 c #Conflicts: 441000 | #Constraints: 38720 1334.44/1338.03 c #Conflicts: 442000 | #Constraints: 39720 1334.44/1338.03 c #Conflicts: 443000 | #Constraints: 40720 1334.44/1338.03 c #Conflicts: 444000 | #Constraints: 41720 1334.44/1338.03 c #Conflicts: 445000 | #Constraints: 42720 1334.44/1338.03 c #Conflicts: 446000 | #Constraints: 43720 1334.44/1338.03 c #Conflicts: 447000 | #Constraints: 44720 1334.44/1338.03 c #Conflicts: 448000 | #Constraints: 45720 1334.44/1338.03 c #Conflicts: 449000 | #Constraints: 46720 1334.44/1338.03 c #Conflicts: 450000 | #Constraints: 47720 1334.44/1338.03 c #Conflicts: 451000 | #Constraints: 48720 1334.44/1338.03 c #Conflicts: 452000 | #Constraints: 49720 1334.44/1338.03 c #Conflicts: 453000 | #Constraints: 50720 1334.44/1338.03 c #Conflicts: 454000 | #Constraints: 51720 1334.44/1338.03 c #Conflicts: 455000 | #Constraints: 52720 1334.44/1338.03 c #Conflicts: 456000 | #Constraints: 53720 1334.44/1338.03 c #Conflicts: 457000 | #Constraints: 54720 1334.44/1338.03 c #Conflicts: 458000 | #Constraints: 55720 1334.44/1338.03 c #Conflicts: 459000 | #Constraints: 56720 1334.44/1338.03 c #Conflicts: 460000 | #Constraints: 57720 1334.44/1338.03 c #Conflicts: 461000 | #Constraints: 58720 1334.44/1338.03 c #Conflicts: 462000 | #Constraints: 59720 1334.44/1338.03 c #Conflicts: 463000 | #Constraints: 60720 1334.44/1338.03 c #Conflicts: 464000 | #Constraints: 61720 1334.44/1338.03 c #Conflicts: 465000 | #Constraints: 62720 1334.44/1338.03 c #Conflicts: 466000 | #Constraints: 63720 1334.44/1338.03 c #Conflicts: 467000 | #Constraints: 64720 1334.44/1338.03 c #Conflicts: 468000 | #Constraints: 65720 1334.44/1338.03 c #Conflicts: 469000 | #Constraints: 66720 1334.44/1338.03 c #Conflicts: 470000 | #Constraints: 67720 1334.44/1338.03 c #Conflicts: 471000 | #Constraints: 68720 1334.44/1338.03 c #Conflicts: 472000 | #Constraints: 69720 1334.44/1338.03 c INPROCESSING 1334.44/1338.03 c GARBAGE COLLECT 1334.44/1338.03 c rational objective 139 1459.84/1463.70 c #Conflicts: 473000 | #Constraints: 36324 1459.84/1463.70 c #Conflicts: 474000 | #Constraints: 37325 1459.84/1463.70 c #Conflicts: 475000 | #Constraints: 38325 1459.84/1463.70 c #Conflicts: 476000 | #Constraints: 39327 1459.84/1463.70 c #Conflicts: 477000 | #Constraints: 40327 1459.84/1463.70 c #Conflicts: 478000 | #Constraints: 41327 1459.84/1463.70 c #Conflicts: 479000 | #Constraints: 42327 1459.84/1463.70 c #Conflicts: 480000 | #Constraints: 43327 1459.84/1463.70 c #Conflicts: 481000 | #Constraints: 44327 1459.84/1463.70 c #Conflicts: 482000 | #Constraints: 45327 1459.84/1463.70 c #Conflicts: 483000 | #Constraints: 46327 1459.84/1463.70 c #Conflicts: 484000 | #Constraints: 47327 1459.84/1463.70 c #Conflicts: 485000 | #Constraints: 48327 1459.84/1463.70 c #Conflicts: 486000 | #Constraints: 49327 1459.84/1463.70 c #Conflicts: 487000 | #Constraints: 50327 1459.84/1463.70 c #Conflicts: 488000 | #Constraints: 51327 1459.84/1463.70 c #Conflicts: 489000 | #Constraints: 52327 1459.84/1463.70 c INPROCESSING 1459.84/1463.70 c GARBAGE COLLECT 1459.84/1463.70 c rational objective 139 1534.97/1539.07 c #Conflicts: 490000 | #Constraints: 27651 1534.97/1539.07 c #Conflicts: 491000 | #Constraints: 28651 1534.97/1539.07 c #Conflicts: 492000 | #Constraints: 29651 1534.97/1539.07 c #Conflicts: 493000 | #Constraints: 30651 1534.97/1539.07 c #Conflicts: 494000 | #Constraints: 31651 1534.97/1539.07 c #Conflicts: 495000 | #Constraints: 32651 1534.97/1539.07 c #Conflicts: 496000 | #Constraints: 33651 1534.97/1539.07 c #Conflicts: 497000 | #Constraints: 34651 1534.97/1539.07 c #Conflicts: 498000 | #Constraints: 35651 1534.97/1539.07 c #Conflicts: 499000 | #Constraints: 36651 1534.97/1539.07 c #Conflicts: 500000 | #Constraints: 37651 1534.97/1539.07 c #Conflicts: 501000 | #Constraints: 38651 1534.97/1539.07 c #Conflicts: 502000 | #Constraints: 39651 1534.97/1539.07 c #Conflicts: 503000 | #Constraints: 40651 1534.97/1539.07 c #Conflicts: 504000 | #Constraints: 41651 1534.97/1539.07 c #Conflicts: 505000 | #Constraints: 42651 1534.97/1539.07 c #Conflicts: 506000 | #Constraints: 43651 1534.97/1539.07 c INPROCESSING 1534.97/1539.07 c GARBAGE COLLECT 1534.97/1539.07 c rational objective 139 1880.85/1885.76 c #Conflicts: 507000 | #Constraints: 25589 1880.85/1885.76 c #Conflicts: 508000 | #Constraints: 26589 1880.85/1885.76 c #Conflicts: 509000 | #Constraints: 27591 1880.85/1885.76 c #Conflicts: 510000 | #Constraints: 28594 1880.85/1885.76 c #Conflicts: 511000 | #Constraints: 29594 1880.85/1885.76 c #Conflicts: 512000 | #Constraints: 30594 1880.85/1885.76 c #Conflicts: 513000 | #Constraints: 31594 1880.85/1885.76 c #Conflicts: 514000 | #Constraints: 32594 1880.85/1885.76 c #Conflicts: 515000 | #Constraints: 33594 1880.85/1885.76 c #Conflicts: 516000 | #Constraints: 34594 1880.85/1885.76 c #Conflicts: 517000 | #Constraints: 35594 1880.85/1885.76 c #Conflicts: 518000 | #Constraints: 36594 1880.85/1885.76 c #Conflicts: 519000 | #Constraints: 37594 1880.85/1885.76 c #Conflicts: 520000 | #Constraints: 38594 1880.85/1885.76 c #Conflicts: 521000 | #Constraints: 39595 1880.85/1885.76 c #Conflicts: 522000 | #Constraints: 40595 1880.85/1885.76 c #Conflicts: 523000 | #Constraints: 41595 1880.85/1885.76 c #Conflicts: 524000 | #Constraints: 42596 1880.85/1885.76 c #Conflicts: 525000 | #Constraints: 43597 1880.85/1885.76 c #Conflicts: 526000 | #Constraints: 44597 1880.85/1885.76 c #Conflicts: 527000 | #Constraints: 45598 1880.85/1885.76 c #Conflicts: 528000 | #Constraints: 46598 1880.85/1885.76 c #Conflicts: 529000 | #Constraints: 47598 1880.85/1885.76 c #Conflicts: 530000 | #Constraints: 48600 1880.85/1885.76 c #Conflicts: 531000 | #Constraints: 49600 1880.85/1885.76 c #Conflicts: 532000 | #Constraints: 50600 1880.85/1885.76 c #Conflicts: 533000 | #Constraints: 51600 1880.85/1885.76 c #Conflicts: 534000 | #Constraints: 52600 1880.85/1885.76 c #Conflicts: 535000 | #Constraints: 53600 1880.85/1885.76 c #Conflicts: 536000 | #Constraints: 54600 1880.85/1885.76 c #Conflicts: 537000 | #Constraints: 55601 1880.85/1885.76 c #Conflicts: 538000 | #Constraints: 56601 1880.85/1885.76 c #Conflicts: 539000 | #Constraints: 57601 1880.85/1885.76 c #Conflicts: 540000 | #Constraints: 58601 1880.85/1885.76 c #Conflicts: 541000 | #Constraints: 59601 1880.85/1885.76 c #Conflicts: 542000 | #Constraints: 60601 1880.85/1885.76 c #Conflicts: 543000 | #Constraints: 61601 1880.85/1885.76 c #Conflicts: 544000 | #Constraints: 62601 1880.85/1885.76 c #Conflicts: 545000 | #Constraints: 63601 1880.85/1885.76 c #Conflicts: 546000 | #Constraints: 64601 1880.85/1885.76 c #Conflicts: 547000 | #Constraints: 65601 1880.85/1885.76 c #Conflicts: 548000 | #Constraints: 66601 1880.85/1885.76 c #Conflicts: 549000 | #Constraints: 67601 1880.85/1885.76 c #Conflicts: 550000 | #Constraints: 68601 1880.85/1885.76 c #Conflicts: 551000 | #Constraints: 69601 1880.85/1885.76 c #Conflicts: 552000 | #Constraints: 70601 1880.85/1885.76 c #Conflicts: 553000 | #Constraints: 71602 1880.85/1885.76 c #Conflicts: 554000 | #Constraints: 72603 1880.85/1885.76 c #Conflicts: 555000 | #Constraints: 73605 1880.85/1885.76 c #Conflicts: 556000 | #Constraints: 74605 1880.85/1885.76 c #Conflicts: 557000 | #Constraints: 75605 1880.85/1885.76 c #Conflicts: 558000 | #Constraints: 76605 1880.85/1885.76 c INPROCESSING 1880.85/1885.76 c GARBAGE COLLECT 1880.85/1885.76 c rational objective 139 1934.50/1939.59 c #Conflicts: 559000 | #Constraints: 39798 1934.50/1939.59 c #Conflicts: 560000 | #Constraints: 40798 1934.50/1939.59 c #Conflicts: 561000 | #Constraints: 41798 1934.50/1939.59 c #Conflicts: 562000 | #Constraints: 42798 1934.50/1939.59 c #Conflicts: 563000 | #Constraints: 43798 1934.50/1939.59 c #Conflicts: 564000 | #Constraints: 44798 1934.50/1939.59 c #Conflicts: 565000 | #Constraints: 45798 1934.50/1939.59 c #Conflicts: 566000 | #Constraints: 46798 1934.50/1939.59 c #Conflicts: 567000 | #Constraints: 47798 1934.50/1939.59 c #Conflicts: 568000 | #Constraints: 48798 1934.50/1939.59 c #Conflicts: 569000 | #Constraints: 49798 1934.50/1939.59 c #Conflicts: 570000 | #Constraints: 50798 1934.50/1939.59 c #Conflicts: 571000 | #Constraints: 51798 1934.50/1939.59 c #Conflicts: 572000 | #Constraints: 52798 1934.50/1939.59 c #Conflicts: 573000 | #Constraints: 53798 1934.50/1939.59 c #Conflicts: 574000 | #Constraints: 54798 1934.50/1939.59 c #Conflicts: 575000 | #Constraints: 55798 1934.50/1939.59 c #Conflicts: 576000 | #Constraints: 56798 1934.50/1939.59 c #Conflicts: 577000 | #Constraints: 57798 1934.50/1939.59 c INPROCESSING 1934.50/1939.59 c GARBAGE COLLECT 1934.50/1939.59 c rational objective 139 2228.69/2234.54 c #Conflicts: 578000 | #Constraints: 30508 2228.69/2234.54 c #Conflicts: 579000 | #Constraints: 31508 2228.69/2234.54 c #Conflicts: 580000 | #Constraints: 32508 2228.69/2234.54 c #Conflicts: 581000 | #Constraints: 33508 2228.69/2234.54 c #Conflicts: 582000 | #Constraints: 34508 2228.69/2234.54 c #Conflicts: 583000 | #Constraints: 35508 2228.69/2234.54 c #Conflicts: 584000 | #Constraints: 36508 2228.69/2234.54 c #Conflicts: 585000 | #Constraints: 37508 2228.69/2234.54 c #Conflicts: 586000 | #Constraints: 38508 2228.69/2234.54 c #Conflicts: 587000 | #Constraints: 39508 2228.69/2234.54 c #Conflicts: 588000 | #Constraints: 40508 2228.69/2234.54 c #Conflicts: 589000 | #Constraints: 41508 2228.69/2234.54 c #Conflicts: 590000 | #Constraints: 42508 2228.69/2234.54 c #Conflicts: 591000 | #Constraints: 43508 2228.69/2234.54 c #Conflicts: 592000 | #Constraints: 44508 2228.69/2234.54 c #Conflicts: 593000 | #Constraints: 45508 2228.69/2234.54 c #Conflicts: 594000 | #Constraints: 46508 2228.69/2234.54 c #Conflicts: 595000 | #Constraints: 47508 2228.69/2234.54 c #Conflicts: 596000 | #Constraints: 48508 2228.69/2234.54 c #Conflicts: 597000 | #Constraints: 49508 2228.69/2234.54 c #Conflicts: 598000 | #Constraints: 50508 2228.69/2234.54 c #Conflicts: 599000 | #Constraints: 51508 2228.69/2234.54 c #Conflicts: 600000 | #Constraints: 52508 2228.69/2234.54 c #Conflicts: 601000 | #Constraints: 53508 2228.69/2234.54 c #Conflicts: 602000 | #Constraints: 54508 2228.69/2234.54 c #Conflicts: 603000 | #Constraints: 55508 2228.69/2234.54 c #Conflicts: 604000 | #Constraints: 56508 2228.69/2234.54 c #Conflicts: 605000 | #Constraints: 57508 2228.69/2234.54 c #Conflicts: 606000 | #Constraints: 58508 2228.69/2234.54 c #Conflicts: 607000 | #Constraints: 59508 2228.69/2234.54 c #Conflicts: 608000 | #Constraints: 60508 2228.69/2234.54 c #Conflicts: 609000 | #Constraints: 61508 2228.69/2234.54 c #Conflicts: 610000 | #Constraints: 62508 2228.69/2234.54 c #Conflicts: 611000 | #Constraints: 63508 2228.69/2234.54 c #Conflicts: 612000 | #Constraints: 64508 2228.69/2234.54 c #Conflicts: 613000 | #Constraints: 65508 2228.69/2234.54 c #Conflicts: 614000 | #Constraints: 66508 2228.69/2234.54 c #Conflicts: 615000 | #Constraints: 67508 2228.69/2234.54 c #Conflicts: 616000 | #Constraints: 68508 2228.69/2234.54 c #Conflicts: 617000 | #Constraints: 69508 2228.69/2234.54 c #Conflicts: 618000 | #Constraints: 70508 2228.69/2234.54 c #Conflicts: 619000 | #Constraints: 71508 2228.69/2234.54 c #Conflicts: 620000 | #Constraints: 72508 2228.69/2234.54 c #Conflicts: 621000 | #Constraints: 73508 2228.69/2234.54 c #Conflicts: 622000 | #Constraints: 74508 2228.69/2234.54 c #Conflicts: 623000 | #Constraints: 75508 2228.69/2234.54 c #Conflicts: 624000 | #Constraints: 76508 2228.69/2234.54 c #Conflicts: 625000 | #Constraints: 77508 2228.69/2234.54 c #Conflicts: 626000 | #Constraints: 78508 2228.69/2234.54 c #Conflicts: 627000 | #Constraints: 79508 2228.69/2234.54 c #Conflicts: 628000 | #Constraints: 80508 2228.69/2234.54 c #Conflicts: 629000 | #Constraints: 81508 2228.69/2234.54 c #Conflicts: 630000 | #Constraints: 82508 2228.69/2234.54 c #Conflicts: 631000 | #Constraints: 83508 2228.69/2234.54 c #Conflicts: 632000 | #Constraints: 84508 2228.69/2234.54 c INPROCESSING 2228.69/2234.54 c GARBAGE COLLECT 2228.69/2234.54 c rational objective 139 2433.68/2440.09 c #Conflicts: 633000 | #Constraints: 43971 2433.68/2440.09 c #Conflicts: 634000 | #Constraints: 44971 2433.68/2440.09 c #Conflicts: 635000 | #Constraints: 45971 2433.68/2440.09 c #Conflicts: 636000 | #Constraints: 46971 2433.68/2440.09 c #Conflicts: 637000 | #Constraints: 47971 2433.68/2440.09 c #Conflicts: 638000 | #Constraints: 48971 2433.68/2440.09 c #Conflicts: 639000 | #Constraints: 49971 2433.68/2440.09 c #Conflicts: 640000 | #Constraints: 50971 2433.68/2440.09 c #Conflicts: 641000 | #Constraints: 51971 2433.68/2440.09 c #Conflicts: 642000 | #Constraints: 52971 2433.68/2440.09 c #Conflicts: 643000 | #Constraints: 53971 2433.68/2440.09 c #Conflicts: 644000 | #Constraints: 54971 2433.68/2440.09 c #Conflicts: 645000 | #Constraints: 55971 2433.68/2440.09 c #Conflicts: 646000 | #Constraints: 56971 2433.68/2440.09 c #Conflicts: 647000 | #Constraints: 57971 2433.68/2440.09 c #Conflicts: 648000 | #Constraints: 58971 2433.68/2440.09 c #Conflicts: 649000 | #Constraints: 59971 2433.68/2440.09 c #Conflicts: 650000 | #Constraints: 60971 2433.68/2440.09 c #Conflicts: 651000 | #Constraints: 61971 2433.68/2440.09 c INPROCESSING 2433.68/2440.09 c GARBAGE COLLECT 2433.68/2440.09 c rational objective 139 3018.56/3026.32 c #Conflicts: 652000 | #Constraints: 32328 3018.56/3026.32 c #Conflicts: 653000 | #Constraints: 33328 3018.56/3026.32 c #Conflicts: 654000 | #Constraints: 34328 3018.56/3026.32 c #Conflicts: 655000 | #Constraints: 35330 3018.56/3026.32 c #Conflicts: 656000 | #Constraints: 36330 3018.56/3026.32 c #Conflicts: 657000 | #Constraints: 37330 3018.56/3026.32 c #Conflicts: 658000 | #Constraints: 38330 3018.56/3026.32 c #Conflicts: 659000 | #Constraints: 39330 3018.56/3026.32 c #Conflicts: 660000 | #Constraints: 40330 3018.56/3026.32 c #Conflicts: 661000 | #Constraints: 41330 3018.56/3026.32 c #Conflicts: 662000 | #Constraints: 42330 3018.56/3026.32 c #Conflicts: 663000 | #Constraints: 43330 3018.56/3026.32 c #Conflicts: 664000 | #Constraints: 44330 3018.56/3026.32 c #Conflicts: 665000 | #Constraints: 45330 3018.56/3026.32 c #Conflicts: 666000 | #Constraints: 46330 3018.56/3026.32 c #Conflicts: 667000 | #Constraints: 47330 3018.56/3026.32 c #Conflicts: 668000 | #Constraints: 48330 3018.56/3026.32 c #Conflicts: 669000 | #Constraints: 49330 3018.56/3026.32 c #Conflicts: 670000 | #Constraints: 50330 3018.56/3026.32 c #Conflicts: 671000 | #Constraints: 51330 3018.56/3026.32 c #Conflicts: 672000 | #Constraints: 52330 3018.56/3026.32 c #Conflicts: 673000 | #Constraints: 53330 3018.56/3026.32 c #Conflicts: 674000 | #Constraints: 54330 3018.56/3026.32 c #Conflicts: 675000 | #Constraints: 55330 3018.56/3026.32 c #Conflicts: 676000 | #Constraints: 56330 3018.56/3026.32 c #Conflicts: 677000 | #Constraints: 57331 3018.56/3026.32 c #Conflicts: 678000 | #Constraints: 58331 3018.56/3026.32 c #Conflicts: 679000 | #Constraints: 59331 3018.56/3026.32 c #Conflicts: 680000 | #Constraints: 60331 3018.56/3026.32 c #Conflicts: 681000 | #Constraints: 61332 3018.56/3026.32 c #Conflicts: 682000 | #Constraints: 62332 3018.56/3026.32 c #Conflicts: 683000 | #Constraints: 63332 3018.56/3026.32 c #Conflicts: 684000 | #Constraints: 64332 3018.56/3026.32 c #Conflicts: 685000 | #Constraints: 65336 3018.56/3026.32 c #Conflicts: 686000 | #Constraints: 66338 3018.56/3026.32 c #Conflicts: 687000 | #Constraints: 67338 3018.56/3026.32 c #Conflicts: 688000 | #Constraints: 68338 3018.56/3026.32 c #Conflicts: 689000 | #Constraints: 69342 3018.56/3026.32 c #Conflicts: 690000 | #Constraints: 70345 3018.56/3026.32 c #Conflicts: 691000 | #Constraints: 71345 3018.56/3026.32 c #Conflicts: 692000 | #Constraints: 72345 3018.56/3026.32 c #Conflicts: 693000 | #Constraints: 73345 3018.56/3026.32 c #Conflicts: 694000 | #Constraints: 74345 3018.56/3026.32 c #Conflicts: 695000 | #Constraints: 75345 3018.56/3026.32 c #Conflicts: 696000 | #Constraints: 76345 3018.56/3026.32 c #Conflicts: 697000 | #Constraints: 77345 3018.56/3026.32 c #Conflicts: 698000 | #Constraints: 78345 3018.56/3026.32 c #Conflicts: 699000 | #Constraints: 79345 3018.56/3026.32 c #Conflicts: 700000 | #Constraints: 80345 3018.56/3026.32 c #Conflicts: 701000 | #Constraints: 81345 3018.56/3026.32 c #Conflicts: 702000 | #Constraints: 82347 3018.56/3026.32 c #Conflicts: 703000 | #Constraints: 83352 3018.56/3026.32 c #Conflicts: 704000 | #Constraints: 84355 3018.56/3026.32 c #Conflicts: 705000 | #Constraints: 85359 3018.56/3026.32 c #Conflicts: 706000 | #Constraints: 86359 3018.56/3026.32 c #Conflicts: 707000 | #Constraints: 87359 3018.56/3026.32 c #Conflicts: 708000 | #Constraints: 88359 3018.56/3026.32 c #Conflicts: 709000 | #Constraints: 89359 3018.56/3026.32 c INPROCESSING 3018.56/3026.32 c GARBAGE COLLECT 3018.56/3026.32 c rational objective 139 3134.39/3142.41 c #Conflicts: 710000 | #Constraints: 46088 3134.39/3142.41 c #Conflicts: 711000 | #Constraints: 47088 3134.39/3142.41 c #Conflicts: 712000 | #Constraints: 48088 3134.39/3142.41 c #Conflicts: 713000 | #Constraints: 49088 3134.39/3142.41 c #Conflicts: 714000 | #Constraints: 50098 3134.39/3142.41 c #Conflicts: 715000 | #Constraints: 51098 3134.39/3142.41 c #Conflicts: 716000 | #Constraints: 52098 3134.39/3142.41 c #Conflicts: 717000 | #Constraints: 53098 3134.39/3142.41 c #Conflicts: 718000 | #Constraints: 54098 3134.39/3142.41 c #Conflicts: 719000 | #Constraints: 55098 3134.39/3142.41 c #Conflicts: 720000 | #Constraints: 56098 3134.39/3142.41 c #Conflicts: 721000 | #Constraints: 57098 3134.39/3142.41 c #Conflicts: 722000 | #Constraints: 58098 3134.39/3142.41 c #Conflicts: 723000 | #Constraints: 59098 3134.39/3142.41 c #Conflicts: 724000 | #Constraints: 60098 3134.39/3142.41 c #Conflicts: 725000 | #Constraints: 61098 3134.39/3142.41 c #Conflicts: 726000 | #Constraints: 62098 3134.39/3142.41 c #Conflicts: 727000 | #Constraints: 63098 3134.39/3142.41 c #Conflicts: 728000 | #Constraints: 64098 3134.39/3142.41 c #Conflicts: 729000 | #Constraints: 65098 3134.39/3142.41 c #Conflicts: 730000 | #Constraints: 66098 3134.39/3142.41 c #Conflicts: 731000 | #Constraints: 67098 3134.39/3142.41 c INPROCESSING 3134.39/3142.41 c GARBAGE COLLECT 3134.39/3142.41 c rational objective 139 3600.02/3609.20 c #Conflicts: 732000 | #Constraints: 35485 3600.02/3609.20 c #Conflicts: 733000 | #Constraints: 36485 3600.02/3609.20 c #Conflicts: 734000 | #Constraints: 37485 3600.02/3609.20 c #Conflicts: 735000 | #Constraints: 38485 3600.02/3609.20 c #Conflicts: 736000 | #Constraints: 39485 3600.02/3609.20 c #Conflicts: 737000 | #Constraints: 40485 3600.02/3609.20 c #Conflicts: 738000 | #Constraints: 41485 3600.02/3609.20 c #Conflicts: 739000 | #Constraints: 42485 3600.02/3609.20 c #Conflicts: 740000 | #Constraints: 43485 3600.02/3609.20 c #Conflicts: 741000 | #Constraints: 44485 3600.02/3609.20 c #Conflicts: 742000 | #Constraints: 45485 3600.02/3609.20 c #Conflicts: 743000 | #Constraints: 46485 3600.02/3609.20 c #Conflicts: 744000 | #Constraints: 47485 3600.02/3609.20 c #Conflicts: 745000 | #Constraints: 48485 3600.02/3609.20 c #Conflicts: 746000 | #Constraints: 49485 3600.02/3609.20 c #Conflicts: 747000 | #Constraints: 50485 3600.02/3609.20 c #Conflicts: 748000 | #Constraints: 51485 3600.02/3609.20 c #Conflicts: 749000 | #Constraints: 52485 3600.02/3609.20 c #Conflicts: 750000 | #Constraints: 53485 3600.02/3609.20 c #Conflicts: 751000 | #Constraints: 54485 3600.02/3609.20 c #Conflicts: 752000 | #Constraints: 55485 3600.02/3609.20 c #Conflicts: 753000 | #Constraints: 56485 3600.02/3609.20 c #Conflicts: 754000 | #Constraints: 57485 3600.02/3609.20 c #Conflicts: 755000 | #Constraints: 58485 3600.02/3609.20 c #Conflicts: 756000 | #Constraints: 59485 3600.02/3609.20 c #Conflicts: 757000 | #Constraints: 60485 3600.02/3609.20 c #Conflicts: 758000 | #Constraints: 61485 3600.02/3609.20 c #Conflicts: 759000 | #Constraints: 62485 3600.02/3609.20 c #Conflicts: 760000 | #Constraints: 63485 3600.02/3609.20 c #Conflicts: 761000 | #Constraints: 64485 3600.02/3609.20 c #Conflicts: 762000 | #Constraints: 65485 3600.02/3609.20 c #Conflicts: 763000 | #Constraints: 66485 3600.02/3609.20 c #Conflicts: 764000 | #Constraints: 67485 3600.02/3609.20 c #Conflicts: 765000 | #Constraints: 68485 3600.02/3609.20 c #Conflicts: 766000 | #Constraints: 69485 3600.02/3609.20 c #Conflicts: 767000 | #Constraints: 70485 3600.02/3609.20 c #Conflicts: 768000 | #Constraints: 71485 3600.02/3609.20 c #Conflicts: 769000 | #Constraints: 72485 3600.02/3609.20 c #Conflicts: 770000 | #Constraints: 73485 3600.02/3609.20 c #Conflicts: 771000 | #Constraints: 74485 3600.02/3609.20 c bounds 188 >= 139 @ 3475.31 3600.02/3609.20 c #Conflicts: 772000 | #Constraints: 75486 3600.02/3609.20 c #Conflicts: 773000 | #Constraints: 76486 3600.02/3609.20 c #Conflicts: 774000 | #Constraints: 77486 3600.02/3609.20 c #Conflicts: 775000 | #Constraints: 78486 3600.02/3609.20 c #Conflicts: 776000 | #Constraints: 79486 3600.02/3609.20 c #Conflicts: 777000 | #Constraints: 80486 3600.02/3609.20 c Program interrupted by user. 3600.02/3609.20 c cpu time 3584.69 s 3600.02/3609.20 c deterministic time 356292275745 3.56e+11 3600.02/3609.20 c optimization time 109.386 s 3600.02/3609.20 c total solve time 3475.3 s 3600.02/3609.20 c core-guided solve time 1994 s 3600.02/3609.20 c propagation time 3118.73 s 3600.02/3609.20 c conflict analysis time 421.503 s 3600.02/3609.20 c propagations 108097303 3600.02/3609.20 c resolve steps 6837290 3600.02/3609.20 c decisions 5778295 3600.02/3609.20 c conflicts 777145 3600.02/3609.20 c restarts 1658 3600.02/3609.20 c inprocessing phases 43 3600.02/3609.20 c input clauses 299 3600.02/3609.20 c input cardinalities 306 3600.02/3609.20 c input general constraints 886 3600.02/3609.20 c input average constraint length 59.48 3600.02/3609.20 c input average constraint degree 22.63 3600.02/3609.20 c learned clauses 256300 3600.02/3609.20 c learned cardinalities 3257 3600.02/3609.20 c learned general constraints 517804 3600.02/3609.20 c learned average constraint length 197.15 3600.02/3609.20 c learned average constraint degree 13348874.59 3600.02/3609.20 c watched constraints 349039 3600.02/3609.20 c counting constraints 169651 3600.02/3609.20 c gcd simplifications 95069 3600.02/3609.20 c detected cardinalities 1405 3600.02/3609.20 c weakened non-implied lits 31114417 3600.02/3609.20 c weakened non-implying lits 67282 3600.02/3609.20 c original variables 467 3600.02/3609.20 c clausal propagations 10625155 3600.02/3609.20 c cardinality propagations 6235900 3600.02/3609.20 c watched propagations 16656092 3600.02/3609.20 c counting propagations 73228997 3600.02/3609.20 c watch lookups 61622575433 3600.02/3609.20 c watch backjump lookups 55793735226 3600.02/3609.20 c watch checks 217264365418 3600.02/3609.20 c propagation checks 20765134821 3600.02/3609.20 c constraint additions 617061606 3600.02/3609.20 c trail pops 114652353 3600.02/3609.20 c formula constraints 466 3600.02/3609.20 c learned constraints 777147 3600.02/3609.20 c bound constraints 168 3600.02/3609.20 c core-guided constraints 857 3600.02/3609.20 c encountered formula constraints 1135577 3600.02/3609.20 c encountered learned constraints 5602883 3600.02/3609.20 c encountered bound constraints 93 3600.02/3609.20 c encountered core-guided constraints 875874 3600.02/3609.20 c LP total time 70.8314 s 3600.02/3609.20 c LP solve time 65.68 s 3600.02/3609.20 c LP constraints added 506 3600.02/3609.20 c LP constraints removed 38 3600.02/3609.20 c LP pivots internal 777845 3600.02/3609.20 c LP pivots root 97444 3600.02/3609.20 c LP calls 6587 3600.02/3609.20 c LP optimalities 6329 3600.02/3609.20 c LP no pivot count 238 3600.02/3609.20 c LP infeasibilities 171 3600.02/3609.20 c LP valid Farkas constraints 171 3600.02/3609.20 c LP learned Farkas constraints 3 3600.02/3609.20 c LP basis resets 83 3600.02/3609.20 c LP cycling count 83 3600.02/3609.20 c LP singular count 0 3600.02/3609.20 c LP no primal count 0 3600.02/3609.20 c LP no farkas count 0 3600.02/3609.20 c LP other issue count 0 3600.02/3609.20 c LP Gomory cuts 40 3600.02/3609.20 c LP learned cuts 0 3600.02/3609.20 c LP deleted cuts 38 3600.02/3609.20 c LP encountered Gomory constraints 0 3600.02/3609.20 c LP encountered Farkas constraints 0 3600.02/3609.20 c LP encountered learned Farkas constraints 5 3600.02/3609.20 c CG auxiliary variables introduced 332 3600.02/3609.20 c CG solutions found 29 3600.02/3609.20 c CG cores constructed 139 3600.02/3609.20 c CG core cardinality constraints returned 0 3600.02/3609.20 c CG unit cores 0 3600.02/3609.20 c CG single cores 139 3600.02/3609.20 c CG blocks removed during cardinality reduction 0 3600.02/3609.20 c CG first core best 0 3600.02/3609.20 c CG decision core best 0 3600.02/3609.20 c CG core reduction tie 0 3600.02/3609.20 c CG core degree average 1.00 3600.02/3609.20 c CG core slack average 4.14 3600.02/3609.20 s SATISFIABLE 3600.02/3609.20 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
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: 63968 MiB (62494 MiB free)
memory of node 1: 64473 MiB (62016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455124-1721458552/watcher-4455124-1721458552 -o /tmp/evaluation-result-4455124-1721458552/solver-4455124-1721458552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721458565-1053050 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455124-1721458552.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1053110, runsolver pid=1053095
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 3.91 4.10 4.07 8/256 1053111
/proc/meminfo: memFree=127491384/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=38632 memory=8724 CPUtime=0.09 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 631 0 0 0 9 0 0 0 20 0 1 0 198020183 39559168 2181 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 9658 2181 1772 922 0 1610 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38632 KiB
Current children cumulated memory: 8724 KiB
[startup+0.205498 s]*
/proc/loadavg: 3.91 4.10 4.07 8/256 1053111
/proc/meminfo: memFree=127478764/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=40096 memory=12980 CPUtime=0.2 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 1172 0 0 0 18 2 0 0 20 0 1 0 198020183 41058304 3245 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 10024 3245 1804 922 0 1976 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 12980 KiB
[startup+0.305751 s]*
/proc/loadavg: 3.91 4.10 4.07 8/256 1053111
/proc/meminfo: memFree=127468324/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=41824 memory=14564 CPUtime=0.3 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 1597 0 0 0 26 4 0 0 20 0 1 0 198020183 42827776 3641 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 10456 3641 1804 922 0 2408 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 14564 KiB
[startup+0.700158 s]
/proc/loadavg: 3.91 4.10 4.07 8/256 1053111
/proc/meminfo: memFree=127458684/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=42628 memory=15656 CPUtime=0.69 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 1798 0 0 0 63 6 0 0 20 0 1 0 198020183 43651072 3914 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 10657 3914 1884 922 0 2609 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42628 KiB
Current children cumulated memory: 15656 KiB
[startup+1.50016 s]
/proc/loadavg: 3.91 4.10 4.07 8/256 1053113
/proc/meminfo: memFree=127448724/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=46912 memory=21216 CPUtime=1.49 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 3173 0 0 0 140 9 0 0 20 0 1 0 198020183 48037888 5304 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 11728 5304 1884 922 0 3680 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46912 KiB
Current children cumulated memory: 21216 KiB
[startup+3.10543 s]
/proc/loadavg: 3.91 4.10 4.07 8/256 1053113
/proc/meminfo: memFree=127427028/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=52428 memory=24328 CPUtime=3.08 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 4250 0 0 0 292 16 0 0 20 0 1 0 198020183 53686272 6082 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 13107 6082 1884 922 0 5059 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52428 KiB
Current children cumulated memory: 24328 KiB
[startup+6.30015 s]
/proc/loadavg: 3.92 4.10 4.07 9/256 1053113
/proc/meminfo: memFree=127403940/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=61252 memory=31256 CPUtime=6.27 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 5971 0 0 0 596 31 0 0 20 0 1 0 198020183 62722048 7814 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 15313 7814 1884 922 0 7265 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61252 KiB
Current children cumulated memory: 31256 KiB
[startup+12.7002 s]
/proc/loadavg: 4.01 4.12 4.08 8/256 1053115
/proc/meminfo: memFree=127353048/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=63012 memory=32840 CPUtime=12.65 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 6411 0 0 0 1212 53 0 0 20 0 1 0 198020183 64524288 8210 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 15753 8210 1884 922 0 7705 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 63012 KiB
Current children cumulated memory: 32840 KiB
[startup+25.5002 s]
/proc/loadavg: 4.01 4.11 4.08 8/256 1053116
/proc/meminfo: memFree=127290644/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=107492 memory=76788 CPUtime=25.42 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 13206 0 0 0 2463 79 0 0 20 0 1 0 198020183 110071808 19197 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 26873 19197 1969 922 0 18825 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 107492 KiB
Current children cumulated memory: 76788 KiB
[startup+51.1056 s]
/proc/loadavg: 4.00 4.10 4.08 8/256 1053121
/proc/meminfo: memFree=127208164/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=135616 memory=86256 CPUtime=50.94 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 15560 0 0 0 4965 129 0 0 20 0 1 0 198020183 138870784 21564 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 33904 21564 1969 922 0 25856 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 135616 KiB
Current children cumulated memory: 86256 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.08 8/256 1053129
/proc/meminfo: memFree=127119568/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=137620 memory=90628 CPUtime=101.98 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 16206 0 0 0 10011 187 0 0 20 0 1 0 198020183 140922880 22657 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 34405 22657 1969 922 0 26357 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 137620 KiB
Current children cumulated memory: 90628 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.08 9/259 1053310
/proc/meminfo: memFree=127009112/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=151892 memory=112124 CPUtime=161.78 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 19018 0 0 0 15916 262 0 0 20 0 1 0 198020183 155537408 28031 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 37973 28031 1969 922 0 29925 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 151892 KiB
Current children cumulated memory: 112124 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.08 8/259 1053321
/proc/meminfo: memFree=126986676/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=161128 memory=125704 CPUtime=221.6 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 21306 0 0 0 21858 302 0 0 20 0 1 0 198020183 164995072 31426 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 40282 31426 1969 922 0 32234 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 161128 KiB
Current children cumulated memory: 125704 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.11 4.09 8/260 1053335
/proc/meminfo: memFree=126875740/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=204272 memory=146128 CPUtime=281.43 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 23514 0 0 0 27779 364 0 0 20 0 1 0 198020183 209174528 36532 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 51068 36532 1969 922 0 43020 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 204272 KiB
Current children cumulated memory: 146128 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.09 8/259 1053356
/proc/meminfo: memFree=126807132/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=224760 memory=187648 CPUtime=341.27 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 27810 0 0 0 33734 393 0 0 20 0 1 0 198020183 230154240 46912 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 56190 46912 1969 922 0 48142 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 224760 KiB
Current children cumulated memory: 187648 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 9/259 1053367
/proc/meminfo: memFree=126761700/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=277488 memory=198588 CPUtime=401.12 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 29115 0 0 0 39689 423 0 0 20 0 1 0 198020183 284147712 49647 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 69372 49647 1969 922 0 61324 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 277488 KiB
Current children cumulated memory: 198588 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 9/257 1053378
/proc/meminfo: memFree=126750680/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=277488 memory=198840 CPUtime=460.97 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 29152 0 0 0 45624 473 0 0 20 0 1 0 198020183 284147712 49710 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 69372 49710 1969 922 0 61324 0
################
# More data... #
################
Current children cumulated memory: 353824 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.11 4.09 8/256 1054425
/proc/meminfo: memFree=126093780/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=399148 memory=355708 CPUtime=2854.95 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 52734 0 0 0 284144 1351 0 0 20 0 1 0 198020183 408727552 88927 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 99787 88927 1969 922 0 91739 0
Current children cumulated CPU time: 2854.95 s
Current children cumulated vsize: 399148 KiB
Current children cumulated memory: 355708 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 8/256 1054437
/proc/meminfo: memFree=126075268/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=400172 memory=356716 CPUtime=2914.8 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 53067 0 0 0 290120 1360 0 0 20 0 1 0 198020183 409776128 89179 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 100043 89179 1969 922 0 91995 0
Current children cumulated CPU time: 2914.8 s
Current children cumulated vsize: 400172 KiB
Current children cumulated memory: 356716 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 8/254 1054447
/proc/meminfo: memFree=126068328/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=401708 memory=357872 CPUtime=2974.66 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 53472 0 0 0 296097 1369 0 0 20 0 1 0 198020183 411348992 89468 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 100427 89468 1969 922 0 92379 0
Current children cumulated CPU time: 2974.66 s
Current children cumulated vsize: 401708 KiB
Current children cumulated memory: 357872 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 8/254 1054457
/proc/meminfo: memFree=126044992/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=403244 memory=359056 CPUtime=3034.52 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 54166 0 0 0 302068 1384 0 0 20 0 1 0 198020183 412921856 89764 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 100811 89764 1969 922 0 92763 0
Current children cumulated CPU time: 3034.52 s
Current children cumulated vsize: 403244 KiB
Current children cumulated memory: 359056 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 9/254 1054468
/proc/meminfo: memFree=126044460/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=403244 memory=359056 CPUtime=3094.38 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 54296 0 0 0 308035 1403 0 0 20 0 1 0 198020183 412921856 89764 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 100811 89764 1969 922 0 92763 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 403244 KiB
Current children cumulated memory: 359056 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.09 8/254 1054478
/proc/meminfo: memFree=126044952/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=403244 memory=359056 CPUtime=3154.25 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 54436 0 0 0 314001 1424 0 0 20 0 1 0 198020183 412921856 89764 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 100811 89764 1969 922 0 92763 0
Current children cumulated CPU time: 3154.25 s
Current children cumulated vsize: 403244 KiB
Current children cumulated memory: 359056 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 9/254 1054488
/proc/meminfo: memFree=126038904/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=403244 memory=359056 CPUtime=3214.1 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 54565 0 0 0 319960 1450 0 0 20 0 1 0 198020183 412921856 89764 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 100811 89764 1969 922 0 92763 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 403244 KiB
Current children cumulated memory: 359056 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.09 8/257 1054503
/proc/meminfo: memFree=126037456/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=403244 memory=359076 CPUtime=3273.95 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 54715 0 0 0 325923 1472 0 0 20 0 1 0 198020183 412921856 89769 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 100811 89769 1969 922 0 92763 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 403244 KiB
Current children cumulated memory: 359076 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 8/257 1054514
/proc/meminfo: memFree=126019492/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=405084 memory=376144 CPUtime=3333.81 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 55099 0 0 0 331894 1487 0 0 20 0 1 0 198020183 414806016 94036 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 101271 94036 1969 922 0 93223 0
Current children cumulated CPU time: 3333.81 s
Current children cumulated vsize: 405084 KiB
Current children cumulated memory: 376144 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 9/257 1054524
/proc/meminfo: memFree=126015700/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=411452 memory=380020 CPUtime=3393.66 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 56196 0 0 0 337865 1501 0 0 20 0 1 0 198020183 421326848 95005 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 102863 95005 1969 922 0 94815 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 411452 KiB
Current children cumulated memory: 380020 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 8/258 1054536
/proc/meminfo: memFree=126012116/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=416664 memory=383160 CPUtime=3453.51 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 57159 0 0 0 343838 1513 0 0 20 0 1 0 198020183 426663936 95790 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 104166 95790 1969 922 0 96118 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 416664 KiB
Current children cumulated memory: 383160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 9/258 1054547
/proc/meminfo: memFree=126002360/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=429436 memory=392596 CPUtime=3513.36 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 59173 0 0 0 349813 1523 0 0 20 0 1 0 198020183 439742464 98149 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 107359 98149 1969 922 0 99311 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 429436 KiB
Current children cumulated memory: 392596 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 8/257 1054940
/proc/meminfo: memFree=125997844/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=512928 memory=396460 CPUtime=3573.2 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 59806 0 0 0 355788 1532 0 0 20 0 1 0 198020183 525238272 99115 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 128232 99115 1969 922 0 120184 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 512928 KiB
Current children cumulated memory: 396460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.10 4.10 4.09 8/257 1054944
/proc/meminfo: memFree=125997500/131524600 swapFree=131070704/131071996
[pid=1053110] ppid=1053095 vsize=512928 memory=396460 CPUtime=3600.02 cores=5,7
/proc/1053110/stat : 1053110 (roundingsat) R 1053095 1053110 1053037 0 -1 4194304 59812 0 0 0 358468 1534 0 0 20 0 1 0 198020183 525238272 99115 134679101440 4194304 7968373 140735614022032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 26435584 140735614026684 140735614026848 140735614026848 140735614033865 0
/proc/1053110/statm: 128232 99115 1969 922 0 120184 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 512928 KiB
Current children cumulated memory: 396460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 1053110 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.69 s, system=15.3514 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.04
CPU user time (s): 3584.69
CPU system time (s): 15.3514
CPU usage (%): 99.746
Max. virtual memory (cumulated for all children) (KiB): 512928
Max. memory (cumulated for all children) (KiB): 396460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.69
system time used= 15.3514
maximum resident set size= 396460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59822
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= 77
involuntary context switches= 2437
# summary of solver processes directly reported to runsolver:
# pid: 1053110
# total CPU time (s): 3600.04
# total CPU user time (s): 3584.69
# total CPU system time (s): 15.3514
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.2364 second user time and 16.4752 second system time
The end
Begin job on nodeC023 at 2024-07-20 08:56:05 IDJOB=4455124 IDBENCH=147542 IDSOLVER=3084 FILE ID=nodeC023/4455124-1721458552 RUNJOBID= nodeC023-1721458565-1053050 SLURM_JOB_ID= 7545704 Free space on /tmp= 890072 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-4455124-1721458552/watcher-4455124-1721458552 -o /tmp/evaluation-result-4455124-1721458552/solver-4455124-1721458552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721458565-1053050 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455124-1721458552.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a RANDOM SEED=658974107 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3771.912 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3722.277 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3608.426 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3576.285 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3613.216 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3825.589 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3745.078 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3703.760 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127499740 kB MemAvailable: 129749488 kB Buffers: 593608 kB Cached: 2491988 kB SwapCached: 80 kB Active: 1247248 kB Inactive: 2207424 kB Active(anon): 1484 kB Inactive(anon): 413324 kB Active(file): 1245764 kB Inactive(file): 1794100 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 20884 kB Writeback: 0 kB AnonPages: 369124 kB Mapped: 106524 kB Shmem: 45728 kB KReclaimable: 99412 kB Slab: 193496 kB SReclaimable: 99412 kB SUnreclaim: 94084 kB KernelStack: 3872 kB PageTables: 9932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 720608 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 33760 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 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: 316116 kB DirectMap2M: 38254592 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890064 MiB End job on nodeC023 at 2024-07-20 09:56:14