| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 186 | 3600.02 | 3609.12 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
| MD5SUM | 62fadc113b966a642e431cfbd80ddcdc |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 176 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 465 |
| Total number of constraints | 465 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 465 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 465 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 465 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 465 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 465 #constraints 465 0.52/0.55 c bounds - >= 0 @ 0.00864 0.52/0.55 c bounds 229 >= 0 @ 0.398034 0.52/0.55 c bounds 229 >= 1 @ 0.398034 0.52/0.55 c bounds 229 >= 2 @ 0.398034 0.52/0.55 c bounds 229 >= 3 @ 0.398068 0.52/0.55 c bounds 229 >= 4 @ 0.398264 0.52/0.55 c bounds 229 >= 5 @ 0.398463 0.52/0.55 c bounds 229 >= 6 @ 0.398655 0.52/0.55 c bounds 229 >= 7 @ 0.398874 0.52/0.55 c bounds 229 >= 8 @ 0.399105 0.52/0.55 c bounds 229 >= 9 @ 0.399358 0.52/0.55 c bounds 229 >= 10 @ 0.399606 0.52/0.55 c bounds 229 >= 11 @ 0.399868 0.52/0.55 c bounds 229 >= 12 @ 0.400129 0.52/0.55 c bounds 229 >= 13 @ 0.400397 0.52/0.55 c bounds 229 >= 14 @ 0.400666 0.52/0.55 c bounds 229 >= 15 @ 0.400933 0.52/0.55 c bounds 229 >= 16 @ 0.40101 0.52/0.55 c bounds 229 >= 17 @ 0.40101 0.52/0.55 c bounds 229 >= 18 @ 0.40101 0.52/0.55 c bounds 229 >= 19 @ 0.401013 0.52/0.55 c bounds 229 >= 20 @ 0.401288 0.52/0.55 c bounds 229 >= 21 @ 0.40158 0.52/0.55 c bounds 229 >= 22 @ 0.401869 0.52/0.55 c bounds 229 >= 23 @ 0.402011 0.52/0.55 c bounds 229 >= 24 @ 0.402011 0.52/0.55 c bounds 229 >= 25 @ 0.402011 0.52/0.55 c bounds 229 >= 26 @ 0.402108 0.52/0.55 c bounds 228 >= 26 @ 0.462286 0.52/0.55 c bounds 228 >= 27 @ 0.462656 0.52/0.55 c bounds 228 >= 28 @ 0.46301 0.52/0.55 c bounds 228 >= 29 @ 0.463362 0.52/0.55 c bounds 228 >= 30 @ 0.463641 0.52/0.55 c bounds 228 >= 31 @ 0.463641 0.52/0.55 c bounds 228 >= 32 @ 0.463641 0.52/0.55 c bounds 228 >= 33 @ 0.463823 0.52/0.55 c bounds 228 >= 34 @ 0.464205 0.52/0.55 c bounds 228 >= 35 @ 0.464587 0.52/0.55 c bounds 228 >= 36 @ 0.464989 0.52/0.55 c bounds 228 >= 37 @ 0.465382 0.52/0.55 c bounds 228 >= 38 @ 0.465801 0.52/0.55 c bounds 228 >= 39 @ 0.466203 0.52/0.55 c bounds 228 >= 40 @ 0.466612 0.52/0.55 c bounds 228 >= 41 @ 0.467028 0.52/0.55 c bounds 228 >= 42 @ 0.467444 0.52/0.55 c bounds 228 >= 43 @ 0.467665 0.52/0.55 c bounds 228 >= 44 @ 0.467665 0.52/0.55 c bounds 228 >= 45 @ 0.467666 0.52/0.55 c bounds 228 >= 46 @ 0.467666 0.52/0.55 c bounds 228 >= 47 @ 0.468391 0.52/0.55 c bounds 228 >= 48 @ 0.468661 0.52/0.55 c bounds 228 >= 49 @ 0.468661 0.52/0.55 c bounds 228 >= 50 @ 0.468696 0.52/0.55 c bounds 228 >= 51 @ 0.469135 0.52/0.55 c bounds 228 >= 52 @ 0.46959 0.52/0.55 c bounds 228 >= 53 @ 0.469656 0.52/0.55 c bounds 228 >= 54 @ 0.469656 0.52/0.55 c bounds 228 >= 55 @ 0.469656 0.52/0.55 c bounds 228 >= 56 @ 0.469656 0.52/0.55 c bounds 228 >= 57 @ 0.469656 0.52/0.55 c bounds 228 >= 58 @ 0.469656 0.52/0.55 c bounds 228 >= 59 @ 0.469656 0.52/0.55 c bounds 228 >= 60 @ 0.469656 0.52/0.55 c bounds 228 >= 61 @ 0.469695 0.52/0.55 c bounds 228 >= 62 @ 0.470163 0.52/0.55 c bounds 228 >= 63 @ 0.470605 0.52/0.55 c bounds 228 >= 64 @ 0.471057 0.52/0.55 c bounds 228 >= 65 @ 0.471544 0.52/0.55 c bounds 228 >= 66 @ 0.471649 0.52/0.55 c bounds 228 >= 67 @ 0.471649 0.52/0.55 c bounds 228 >= 68 @ 0.471649 0.52/0.55 c bounds 228 >= 69 @ 0.471649 0.52/0.55 c bounds 228 >= 70 @ 0.471928 0.52/0.55 c bounds 228 >= 71 @ 0.472375 0.52/0.55 c bounds 228 >= 72 @ 0.472845 0.52/0.55 c bounds 228 >= 73 @ 0.473304 0.52/0.55 c bounds 228 >= 74 @ 0.473621 0.52/0.55 c bounds 228 >= 75 @ 0.473621 0.52/0.55 c bounds 228 >= 76 @ 0.473773 0.52/0.55 c bounds 228 >= 77 @ 0.474235 0.52/0.55 c bounds 228 >= 78 @ 0.474712 0.52/0.55 c bounds 228 >= 79 @ 0.475183 0.52/0.55 c bounds 228 >= 80 @ 0.476334 0.52/0.55 c bounds 228 >= 81 @ 0.476822 0.52/0.55 c bounds 228 >= 82 @ 0.477328 0.52/0.55 c bounds 228 >= 83 @ 0.477613 0.52/0.55 c bounds 228 >= 84 @ 0.477613 0.52/0.55 c bounds 228 >= 85 @ 0.477613 0.52/0.55 c bounds 228 >= 86 @ 0.477613 0.52/0.55 c bounds 228 >= 87 @ 0.477785 0.52/0.55 c bounds 228 >= 88 @ 0.478273 0.52/0.55 c bounds 228 >= 89 @ 0.47874 0.52/0.55 c bounds 228 >= 90 @ 0.479197 0.52/0.55 c bounds 228 >= 91 @ 0.479726 0.52/0.55 c bounds 228 >= 92 @ 0.480181 0.52/0.55 c bounds 228 >= 93 @ 0.480598 0.52/0.55 c bounds 228 >= 94 @ 0.480598 0.52/0.55 c bounds 228 >= 95 @ 0.480686 0.52/0.55 c bounds 228 >= 96 @ 0.481181 0.52/0.55 c bounds 228 >= 97 @ 0.481664 0.52/0.55 c bounds 228 >= 98 @ 0.482151 0.52/0.55 c bounds 228 >= 99 @ 0.482641 0.52/0.55 c bounds 228 >= 100 @ 0.483099 0.52/0.55 c bounds 228 >= 101 @ 0.483572 0.52/0.55 c bounds 228 >= 102 @ 0.484121 0.52/0.55 c bounds 228 >= 103 @ 0.484607 0.52/0.55 c bounds 228 >= 104 @ 0.485093 0.52/0.55 c bounds 228 >= 105 @ 0.485602 0.52/0.55 c bounds 228 >= 106 @ 0.486169 0.52/0.55 c bounds 228 >= 107 @ 0.48671 0.52/0.55 c bounds 228 >= 108 @ 0.487203 0.52/0.55 c bounds 228 >= 109 @ 0.487739 0.52/0.55 c bounds 228 >= 110 @ 0.48826 0.52/0.55 c bounds 228 >= 111 @ 0.488764 0.52/0.55 c bounds 228 >= 112 @ 0.489317 0.52/0.55 c bounds 228 >= 113 @ 0.489544 0.52/0.55 c bounds 228 >= 114 @ 0.489544 0.52/0.55 c bounds 228 >= 115 @ 0.489545 0.52/0.55 c bounds 228 >= 116 @ 0.489545 0.52/0.55 c bounds 228 >= 117 @ 0.489545 0.52/0.55 c bounds 228 >= 118 @ 0.489545 0.52/0.55 c bounds 228 >= 119 @ 0.490077 0.52/0.55 c bounds 228 >= 120 @ 0.490569 0.52/0.55 c bounds 228 >= 121 @ 0.491031 0.52/0.55 c bounds 228 >= 122 @ 0.491525 0.52/0.55 c bounds 228 >= 123 @ 0.492028 0.52/0.55 c bounds 228 >= 124 @ 0.49252 0.52/0.55 c bounds 228 >= 125 @ 0.493224 0.52/0.55 c bounds 228 >= 126 @ 0.493524 0.52/0.55 c bounds 228 >= 127 @ 0.493524 0.52/0.55 c bounds 228 >= 128 @ 0.493564 0.52/0.55 c bounds 228 >= 129 @ 0.49445 0.52/0.55 c bounds 228 >= 130 @ 0.494519 0.52/0.55 c bounds 228 >= 131 @ 0.494519 0.52/0.55 c bounds 228 >= 132 @ 0.49452 0.52/0.55 c bounds 228 >= 133 @ 0.494769 0.52/0.55 c bounds 228 >= 134 @ 0.496564 1.28/1.33 c bounds 228 >= 135 @ 0.499409 1.28/1.33 c bounds 228 >= 136 @ 0.50247 1.28/1.33 c bounds 228 >= 137 @ 0.503467 1.28/1.33 c bounds 228 >= 138 @ 0.509911 1.28/1.33 c bounds 228 >= 139 @ 0.523577 1.28/1.33 c bounds 227 >= 139 @ 0.54835 1.28/1.33 c bounds 227 >= 140 @ 0.562403 1.28/1.33 c bounds 227 >= 141 @ 0.617947 1.28/1.33 c bounds 226 >= 141 @ 0.631174 1.28/1.33 c bounds 225 >= 141 @ 0.642118 1.28/1.33 c bounds 224 >= 141 @ 0.651728 1.28/1.33 c bounds 223 >= 141 @ 0.655715 1.28/1.33 c #Conflicts: 1000 | #Constraints: 2245 1.28/1.33 c bounds 222 >= 141 @ 0.701126 1.28/1.33 c #Conflicts: 2000 | #Constraints: 3246 1.28/1.33 c INPROCESSING 1.28/1.33 c GARBAGE COLLECT 1.28/1.33 c rational objective 141 2.10/2.16 c bounds 221 >= 141 @ 1.3593 2.10/2.16 c bounds 220 >= 141 @ 1.36209 2.10/2.16 c bounds 219 >= 141 @ 1.36638 2.10/2.16 c bounds 218 >= 141 @ 1.37112 2.10/2.16 c bounds 217 >= 141 @ 1.38371 2.10/2.16 c #Conflicts: 3000 | #Constraints: 3161 2.10/2.16 c bounds 216 >= 141 @ 1.72005 2.10/2.16 c bounds 216 >= 142 @ 1.73177 2.10/2.16 c #Conflicts: 4000 | #Constraints: 4198 2.10/2.16 c INPROCESSING 2.10/2.16 c GARBAGE COLLECT 2.10/2.16 c rational objective 142 2.99/3.04 c bounds 215 >= 142 @ 2.1156 2.99/3.04 c bounds 214 >= 142 @ 2.11699 2.99/3.04 c bounds 213 >= 142 @ 2.11985 2.99/3.04 c bounds 212 >= 142 @ 2.12225 2.99/3.04 c bounds 211 >= 142 @ 2.12484 2.99/3.04 c bounds 210 >= 142 @ 2.12838 2.99/3.04 c bounds 209 >= 142 @ 2.13456 2.99/3.04 c bounds 208 >= 142 @ 2.14464 2.99/3.04 c bounds 207 >= 142 @ 2.21185 2.99/3.04 c #Conflicts: 5000 | #Constraints: 3623 2.99/3.04 c #Conflicts: 6000 | #Constraints: 4623 2.99/3.04 c INPROCESSING 2.99/3.04 c GARBAGE COLLECT 2.99/3.04 c rational objective 142 3.77/3.88 c bounds 206 >= 142 @ 3.04123 3.77/3.88 c bounds 205 >= 142 @ 3.05152 3.77/3.88 c bounds 204 >= 142 @ 3.07351 3.77/3.88 c #Conflicts: 7000 | #Constraints: 3641 3.77/3.88 c #Conflicts: 8000 | #Constraints: 4641 3.77/3.88 c #Conflicts: 9000 | #Constraints: 5641 3.77/3.88 c INPROCESSING 3.77/3.88 c GARBAGE COLLECT 3.77/3.88 c rational objective 142 4.87/4.92 c #Conflicts: 10000 | #Constraints: 4312 4.87/4.92 c bounds 204 >= 143 @ 4.34533 4.87/4.92 c #Conflicts: 11000 | #Constraints: 5372 4.87/4.92 c bounds 203 >= 143 @ 4.38419 4.87/4.92 c #Conflicts: 12000 | #Constraints: 6373 4.87/4.92 c INPROCESSING 4.87/4.92 c GARBAGE COLLECT 4.87/4.92 c rational objective 143 6.17/6.23 c bounds 202 >= 143 @ 4.96684 6.17/6.23 c #Conflicts: 13000 | #Constraints: 4801 6.17/6.23 c bounds 201 >= 143 @ 5.14601 6.17/6.23 c #Conflicts: 14000 | #Constraints: 5802 6.17/6.23 c #Conflicts: 15000 | #Constraints: 6802 6.17/6.23 c INPROCESSING 6.17/6.23 c GARBAGE COLLECT 6.17/6.23 c rational objective 143 7.27/7.30 c bounds 200 >= 143 @ 6.00425 7.27/7.30 c bounds 199 >= 143 @ 6.03024 7.27/7.30 c bounds 198 >= 143 @ 6.21139 7.27/7.30 c bounds 197 >= 143 @ 6.2198 7.27/7.30 c #Conflicts: 16000 | #Constraints: 5074 7.27/7.30 c #Conflicts: 17000 | #Constraints: 6074 7.27/7.30 c #Conflicts: 18000 | #Constraints: 7074 7.27/7.30 c INPROCESSING 7.27/7.30 c GARBAGE COLLECT 7.27/7.30 c rational objective 143 8.67/8.78 c #Conflicts: 19000 | #Constraints: 5057 8.67/8.78 c #Conflicts: 20000 | #Constraints: 6057 8.67/8.78 c #Conflicts: 21000 | #Constraints: 7057 8.67/8.78 c INPROCESSING 8.67/8.78 c GARBAGE COLLECT 8.67/8.78 c rational objective 143 17.14/17.23 c bounds 196 >= 143 @ 8.43428 17.14/17.23 c bounds 195 >= 143 @ 8.43878 17.14/17.23 c #Conflicts: 22000 | #Constraints: 4905 17.14/17.23 c #Conflicts: 23000 | #Constraints: 5905 17.14/17.23 c bounds 194 >= 143 @ 8.92755 17.14/17.23 c bounds 193 >= 143 @ 9.10833 17.14/17.23 c bounds 192 >= 143 @ 9.12657 17.14/17.23 c #Conflicts: 24000 | #Constraints: 6908 17.14/17.23 c bounds 191 >= 143 @ 9.13726 17.14/17.23 c bounds 190 >= 143 @ 9.15489 17.14/17.23 c #Conflicts: 25000 | #Constraints: 7910 17.14/17.23 c bounds 189 >= 143 @ 9.81541 17.14/17.23 c #Conflicts: 26000 | #Constraints: 8911 17.14/17.23 c #Conflicts: 27000 | #Constraints: 9911 17.14/17.23 c #Conflicts: 28000 | #Constraints: 10911 17.14/17.23 c #Conflicts: 29000 | #Constraints: 11911 17.14/17.23 c bounds 189 >= 144 @ 13.3679 17.14/17.23 c #Conflicts: 30000 | #Constraints: 12950 17.14/17.23 c #Conflicts: 31000 | #Constraints: 13950 17.14/17.23 c #Conflicts: 32000 | #Constraints: 14950 17.14/17.23 c #Conflicts: 33000 | #Constraints: 15950 17.14/17.23 c INPROCESSING 17.14/17.23 c GARBAGE COLLECT 17.14/17.23 c rational objective 144 20.54/20.67 c #Conflicts: 34000 | #Constraints: 9467 20.54/20.67 c #Conflicts: 35000 | #Constraints: 10467 20.54/20.67 c #Conflicts: 36000 | #Constraints: 11467 20.54/20.67 c #Conflicts: 37000 | #Constraints: 12467 20.54/20.67 c #Conflicts: 38000 | #Constraints: 13467 20.54/20.67 c INPROCESSING 20.54/20.67 c GARBAGE COLLECT 20.54/20.67 c rational objective 144 23.32/23.42 c #Conflicts: 39000 | #Constraints: 8429 23.32/23.42 c #Conflicts: 40000 | #Constraints: 9503 23.32/23.42 c #Conflicts: 41000 | #Constraints: 10526 23.32/23.42 c #Conflicts: 42000 | #Constraints: 11527 23.32/23.42 c INPROCESSING 23.32/23.42 c GARBAGE COLLECT 23.32/23.42 c rational objective 144 40.08/40.22 c #Conflicts: 43000 | #Constraints: 6957 40.08/40.22 c #Conflicts: 44000 | #Constraints: 7957 40.08/40.22 c #Conflicts: 45000 | #Constraints: 8957 40.08/40.22 c #Conflicts: 46000 | #Constraints: 10008 40.08/40.22 c bounds 188 >= 144 @ 24.3319 40.08/40.22 c #Conflicts: 47000 | #Constraints: 11035 40.08/40.22 c #Conflicts: 48000 | #Constraints: 12036 40.08/40.22 c #Conflicts: 49000 | #Constraints: 13036 40.08/40.22 c #Conflicts: 50000 | #Constraints: 14036 40.08/40.22 c #Conflicts: 51000 | #Constraints: 15036 40.08/40.22 c #Conflicts: 52000 | #Constraints: 16036 40.08/40.22 c #Conflicts: 53000 | #Constraints: 17036 40.08/40.22 c #Conflicts: 54000 | #Constraints: 18036 40.08/40.22 c #Conflicts: 55000 | #Constraints: 19037 40.08/40.22 c #Conflicts: 56000 | #Constraints: 20038 40.08/40.22 c bounds 188 >= 145 @ 36.5484 40.08/40.22 c #Conflicts: 57000 | #Constraints: 21080 40.08/40.22 c #Conflicts: 58000 | #Constraints: 22123 40.08/40.22 c INPROCESSING 40.08/40.22 c GARBAGE COLLECT 40.08/40.22 c rational objective 145 45.57/45.77 c #Conflicts: 59000 | #Constraints: 12382 45.57/45.77 c #Conflicts: 60000 | #Constraints: 13382 45.57/45.77 c #Conflicts: 61000 | #Constraints: 14394 45.57/45.77 c #Conflicts: 62000 | #Constraints: 15394 45.57/45.77 c #Conflicts: 63000 | #Constraints: 16476 45.57/45.77 c #Conflicts: 64000 | #Constraints: 17513 45.57/45.77 c #Conflicts: 65000 | #Constraints: 18591 45.57/45.77 c INPROCESSING 45.57/45.77 c GARBAGE COLLECT 45.57/45.77 c rational objective 145 50.76/50.96 c #Conflicts: 66000 | #Constraints: 10958 50.76/50.96 c #Conflicts: 67000 | #Constraints: 11958 50.76/50.96 c #Conflicts: 68000 | #Constraints: 12958 50.76/50.96 c #Conflicts: 69000 | #Constraints: 13958 50.76/50.96 c #Conflicts: 70000 | #Constraints: 14958 50.76/50.96 c #Conflicts: 71000 | #Constraints: 15958 50.76/50.96 c INPROCESSING 50.76/50.96 c GARBAGE COLLECT 50.76/50.96 c rational objective 145 69.40/69.65 c #Conflicts: 72000 | #Constraints: 9503 69.40/69.65 c #Conflicts: 73000 | #Constraints: 10503 69.40/69.65 c #Conflicts: 74000 | #Constraints: 11503 69.40/69.65 c #Conflicts: 75000 | #Constraints: 12503 69.40/69.65 c #Conflicts: 76000 | #Constraints: 13503 69.40/69.65 c #Conflicts: 77000 | #Constraints: 14503 69.40/69.65 c #Conflicts: 78000 | #Constraints: 15503 69.40/69.65 c #Conflicts: 79000 | #Constraints: 16503 69.40/69.65 c #Conflicts: 80000 | #Constraints: 17503 69.40/69.65 c #Conflicts: 81000 | #Constraints: 18503 69.40/69.65 c #Conflicts: 82000 | #Constraints: 19503 69.40/69.65 c #Conflicts: 83000 | #Constraints: 20503 69.40/69.65 c #Conflicts: 84000 | #Constraints: 21503 69.40/69.65 c #Conflicts: 85000 | #Constraints: 22503 69.40/69.65 c #Conflicts: 86000 | #Constraints: 23503 69.40/69.65 c #Conflicts: 87000 | #Constraints: 24503 69.40/69.65 c #Conflicts: 88000 | #Constraints: 25503 69.40/69.65 c #Conflicts: 89000 | #Constraints: 26503 69.40/69.65 c #Conflicts: 90000 | #Constraints: 27503 69.40/69.65 c #Conflicts: 91000 | #Constraints: 28503 69.40/69.65 c INPROCESSING 69.40/69.65 c GARBAGE COLLECT 69.40/69.65 c rational objective 145 88.05/88.39 c #Conflicts: 92000 | #Constraints: 15674 88.05/88.39 c #Conflicts: 93000 | #Constraints: 16674 88.05/88.39 c #Conflicts: 94000 | #Constraints: 17674 88.05/88.39 c #Conflicts: 95000 | #Constraints: 18674 88.05/88.39 c #Conflicts: 96000 | #Constraints: 19674 88.05/88.39 c #Conflicts: 97000 | #Constraints: 20674 88.05/88.39 c #Conflicts: 98000 | #Constraints: 21674 88.05/88.39 c #Conflicts: 99000 | #Constraints: 22674 88.05/88.39 c INPROCESSING 88.05/88.39 c GARBAGE COLLECT 88.05/88.39 c rational objective 145 98.23/98.56 c #Conflicts: 100000 | #Constraints: 12971 98.23/98.56 c #Conflicts: 101000 | #Constraints: 13971 98.23/98.56 c #Conflicts: 102000 | #Constraints: 14971 98.23/98.56 c #Conflicts: 103000 | #Constraints: 15971 98.23/98.56 c #Conflicts: 104000 | #Constraints: 16971 98.23/98.56 c #Conflicts: 105000 | #Constraints: 17971 98.23/98.56 c #Conflicts: 106000 | #Constraints: 18971 98.23/98.56 c #Conflicts: 107000 | #Constraints: 19971 98.23/98.56 c INPROCESSING 98.23/98.56 c GARBAGE COLLECT 98.23/98.56 c rational objective 145 148.19/148.65 c #Conflicts: 108000 | #Constraints: 11909 148.19/148.65 c #Conflicts: 109000 | #Constraints: 12909 148.19/148.65 c #Conflicts: 110000 | #Constraints: 13909 148.19/148.65 c #Conflicts: 111000 | #Constraints: 14909 148.19/148.65 c #Conflicts: 112000 | #Constraints: 15909 148.19/148.65 c #Conflicts: 113000 | #Constraints: 16909 148.19/148.65 c #Conflicts: 114000 | #Constraints: 17909 148.19/148.65 c #Conflicts: 115000 | #Constraints: 18909 148.19/148.65 c #Conflicts: 116000 | #Constraints: 19909 148.19/148.65 c #Conflicts: 117000 | #Constraints: 20909 148.19/148.65 c #Conflicts: 118000 | #Constraints: 21909 148.19/148.65 c #Conflicts: 119000 | #Constraints: 22909 148.19/148.65 c #Conflicts: 120000 | #Constraints: 23909 148.19/148.65 c #Conflicts: 121000 | #Constraints: 24909 148.19/148.65 c #Conflicts: 122000 | #Constraints: 25909 148.19/148.65 c #Conflicts: 123000 | #Constraints: 26909 148.19/148.65 c #Conflicts: 124000 | #Constraints: 27909 148.19/148.65 c #Conflicts: 125000 | #Constraints: 28909 148.19/148.65 c #Conflicts: 126000 | #Constraints: 29909 148.19/148.65 c #Conflicts: 127000 | #Constraints: 30909 148.19/148.65 c #Conflicts: 128000 | #Constraints: 31909 148.19/148.65 c #Conflicts: 129000 | #Constraints: 32909 148.19/148.65 c #Conflicts: 130000 | #Constraints: 33909 148.19/148.65 c #Conflicts: 131000 | #Constraints: 34939 148.19/148.65 c INPROCESSING 148.19/148.65 c GARBAGE COLLECT 148.19/148.65 c rational objective 145 180.10/180.63 c #Conflicts: 132000 | #Constraints: 18945 180.10/180.63 c #Conflicts: 133000 | #Constraints: 19945 180.10/180.63 c #Conflicts: 134000 | #Constraints: 20945 180.10/180.63 c #Conflicts: 135000 | #Constraints: 21945 180.10/180.63 c #Conflicts: 136000 | #Constraints: 22945 180.10/180.63 c #Conflicts: 137000 | #Constraints: 23945 180.10/180.63 c #Conflicts: 138000 | #Constraints: 24945 180.10/180.63 c #Conflicts: 139000 | #Constraints: 25945 180.10/180.63 c #Conflicts: 140000 | #Constraints: 26945 180.10/180.63 c INPROCESSING 180.10/180.63 c GARBAGE COLLECT 180.10/180.63 c rational objective 145 195.66/196.23 c #Conflicts: 141000 | #Constraints: 14918 195.66/196.23 c #Conflicts: 142000 | #Constraints: 15918 195.66/196.23 c #Conflicts: 143000 | #Constraints: 16918 195.66/196.23 c #Conflicts: 144000 | #Constraints: 17918 195.66/196.23 c #Conflicts: 145000 | #Constraints: 18918 195.66/196.23 c #Conflicts: 146000 | #Constraints: 19918 195.66/196.23 c #Conflicts: 147000 | #Constraints: 20918 195.66/196.23 c #Conflicts: 148000 | #Constraints: 21918 195.66/196.23 c #Conflicts: 149000 | #Constraints: 22918 195.66/196.23 c #Conflicts: 150000 | #Constraints: 23918 195.66/196.23 c INPROCESSING 195.66/196.23 c GARBAGE COLLECT 195.66/196.23 c rational objective 145 272.15/272.96 c #Conflicts: 151000 | #Constraints: 14380 272.15/272.96 c #Conflicts: 152000 | #Constraints: 15380 272.15/272.96 c #Conflicts: 153000 | #Constraints: 16380 272.15/272.96 c #Conflicts: 154000 | #Constraints: 17380 272.15/272.96 c #Conflicts: 155000 | #Constraints: 18380 272.15/272.96 c #Conflicts: 156000 | #Constraints: 19380 272.15/272.96 c #Conflicts: 157000 | #Constraints: 20380 272.15/272.96 c #Conflicts: 158000 | #Constraints: 21380 272.15/272.96 c #Conflicts: 159000 | #Constraints: 22380 272.15/272.96 c #Conflicts: 160000 | #Constraints: 23380 272.15/272.96 c #Conflicts: 161000 | #Constraints: 24380 272.15/272.96 c #Conflicts: 162000 | #Constraints: 25380 272.15/272.96 c #Conflicts: 163000 | #Constraints: 26380 272.15/272.96 c #Conflicts: 164000 | #Constraints: 27380 272.15/272.96 c #Conflicts: 165000 | #Constraints: 28380 272.15/272.96 c #Conflicts: 166000 | #Constraints: 29380 272.15/272.96 c #Conflicts: 167000 | #Constraints: 30380 272.15/272.96 c #Conflicts: 168000 | #Constraints: 31380 272.15/272.96 c #Conflicts: 169000 | #Constraints: 32380 272.15/272.96 c #Conflicts: 170000 | #Constraints: 33380 272.15/272.96 c #Conflicts: 171000 | #Constraints: 34380 272.15/272.96 c #Conflicts: 172000 | #Constraints: 35380 272.15/272.96 c #Conflicts: 173000 | #Constraints: 36380 272.15/272.96 c #Conflicts: 174000 | #Constraints: 37380 272.15/272.96 c #Conflicts: 175000 | #Constraints: 38380 272.15/272.96 c #Conflicts: 176000 | #Constraints: 39380 272.15/272.96 c #Conflicts: 177000 | #Constraints: 40380 272.15/272.96 c bounds 188 >= 146 @ 268.115 272.15/272.96 c #Conflicts: 178000 | #Constraints: 41431 272.15/272.96 c INPROCESSING 272.15/272.96 c GARBAGE COLLECT 272.15/272.96 c rational objective 146 289.51/290.35 c #Conflicts: 179000 | #Constraints: 22152 289.51/290.35 c #Conflicts: 180000 | #Constraints: 23152 289.51/290.35 c #Conflicts: 181000 | #Constraints: 24152 289.51/290.35 c #Conflicts: 182000 | #Constraints: 25152 289.51/290.35 c #Conflicts: 183000 | #Constraints: 26152 289.51/290.35 c #Conflicts: 184000 | #Constraints: 27152 289.51/290.35 c #Conflicts: 185000 | #Constraints: 28152 289.51/290.35 c #Conflicts: 186000 | #Constraints: 29152 289.51/290.35 c #Conflicts: 187000 | #Constraints: 30152 289.51/290.35 c #Conflicts: 188000 | #Constraints: 31152 289.51/290.35 c #Conflicts: 189000 | #Constraints: 32152 289.51/290.35 c INPROCESSING 289.51/290.35 c GARBAGE COLLECT 289.51/290.35 c rational objective 146 373.78/374.80 c #Conflicts: 190000 | #Constraints: 17674 373.78/374.80 c #Conflicts: 191000 | #Constraints: 18674 373.78/374.80 c #Conflicts: 192000 | #Constraints: 19674 373.78/374.80 c #Conflicts: 193000 | #Constraints: 20674 373.78/374.80 c #Conflicts: 194000 | #Constraints: 21674 373.78/374.80 c #Conflicts: 195000 | #Constraints: 22674 373.78/374.80 c #Conflicts: 196000 | #Constraints: 23674 373.78/374.80 c #Conflicts: 197000 | #Constraints: 24674 373.78/374.80 c #Conflicts: 198000 | #Constraints: 25674 373.78/374.80 c #Conflicts: 199000 | #Constraints: 26674 373.78/374.80 c #Conflicts: 200000 | #Constraints: 27674 373.78/374.80 c #Conflicts: 201000 | #Constraints: 28674 373.78/374.80 c #Conflicts: 202000 | #Constraints: 29674 373.78/374.80 c #Conflicts: 203000 | #Constraints: 30674 373.78/374.80 c #Conflicts: 204000 | #Constraints: 31674 373.78/374.80 c #Conflicts: 205000 | #Constraints: 32674 373.78/374.80 c #Conflicts: 206000 | #Constraints: 33674 373.78/374.80 c #Conflicts: 207000 | #Constraints: 34674 373.78/374.80 c #Conflicts: 208000 | #Constraints: 35674 373.78/374.80 c #Conflicts: 209000 | #Constraints: 36674 373.78/374.80 c #Conflicts: 210000 | #Constraints: 37674 373.78/374.80 c #Conflicts: 211000 | #Constraints: 38764 373.78/374.80 c #Conflicts: 212000 | #Constraints: 39764 373.78/374.80 c #Conflicts: 213000 | #Constraints: 40764 373.78/374.80 c #Conflicts: 214000 | #Constraints: 41764 373.78/374.80 c #Conflicts: 215000 | #Constraints: 42764 373.78/374.80 c #Conflicts: 216000 | #Constraints: 43764 373.78/374.80 c #Conflicts: 217000 | #Constraints: 44764 373.78/374.80 c #Conflicts: 218000 | #Constraints: 45764 373.78/374.80 c #Conflicts: 219000 | #Constraints: 46764 373.78/374.80 c #Conflicts: 220000 | #Constraints: 47764 373.78/374.80 c INPROCESSING 373.78/374.80 c GARBAGE COLLECT 373.78/374.80 c rational objective 146 552.77/554.30 c #Conflicts: 221000 | #Constraints: 25193 552.77/554.30 c #Conflicts: 222000 | #Constraints: 26193 552.77/554.30 c #Conflicts: 223000 | #Constraints: 27193 552.77/554.30 c #Conflicts: 224000 | #Constraints: 28193 552.77/554.30 c #Conflicts: 225000 | #Constraints: 29193 552.77/554.30 c #Conflicts: 226000 | #Constraints: 30193 552.77/554.30 c #Conflicts: 227000 | #Constraints: 31193 552.77/554.30 c #Conflicts: 228000 | #Constraints: 32193 552.77/554.30 c #Conflicts: 229000 | #Constraints: 33193 552.77/554.30 c #Conflicts: 230000 | #Constraints: 34194 552.77/554.30 c #Conflicts: 231000 | #Constraints: 35194 552.77/554.30 c #Conflicts: 232000 | #Constraints: 36194 552.77/554.30 c INPROCESSING 552.77/554.30 c GARBAGE COLLECT 552.77/554.30 c #Conflicts: 233000 | #Constraints: 19464 552.77/554.30 c #Conflicts: 234000 | #Constraints: 20467 552.77/554.30 c #Conflicts: 235000 | #Constraints: 21467 552.77/554.30 c #Conflicts: 236000 | #Constraints: 22467 552.77/554.30 c #Conflicts: 237000 | #Constraints: 23467 552.77/554.30 c #Conflicts: 238000 | #Constraints: 24467 552.77/554.30 c #Conflicts: 239000 | #Constraints: 25467 552.77/554.30 c #Conflicts: 240000 | #Constraints: 26467 552.77/554.30 c #Conflicts: 241000 | #Constraints: 27467 552.77/554.30 c #Conflicts: 242000 | #Constraints: 28467 552.77/554.30 c #Conflicts: 243000 | #Constraints: 29467 552.77/554.30 c #Conflicts: 244000 | #Constraints: 30467 552.77/554.30 c #Conflicts: 245000 | #Constraints: 31467 552.77/554.30 c #Conflicts: 246000 | #Constraints: 32467 552.77/554.30 c #Conflicts: 247000 | #Constraints: 33467 552.77/554.30 c #Conflicts: 248000 | #Constraints: 34467 552.77/554.30 c #Conflicts: 249000 | #Constraints: 35468 552.77/554.30 c #Conflicts: 250000 | #Constraints: 36468 552.77/554.30 c #Conflicts: 251000 | #Constraints: 37468 552.77/554.30 c #Conflicts: 252000 | #Constraints: 38470 552.77/554.30 c #Conflicts: 253000 | #Constraints: 39470 552.77/554.30 c #Conflicts: 254000 | #Constraints: 40470 552.77/554.30 c #Conflicts: 255000 | #Constraints: 41470 552.77/554.30 c #Conflicts: 256000 | #Constraints: 42471 552.77/554.30 c #Conflicts: 257000 | #Constraints: 43471 552.77/554.30 c #Conflicts: 258000 | #Constraints: 44471 552.77/554.30 c #Conflicts: 259000 | #Constraints: 45471 552.77/554.30 c #Conflicts: 260000 | #Constraints: 46471 552.77/554.30 c #Conflicts: 261000 | #Constraints: 47471 552.77/554.30 c #Conflicts: 262000 | #Constraints: 48471 552.77/554.30 c #Conflicts: 263000 | #Constraints: 49471 552.77/554.30 c #Conflicts: 264000 | #Constraints: 50471 552.77/554.30 c #Conflicts: 265000 | #Constraints: 51471 552.77/554.30 c #Conflicts: 266000 | #Constraints: 52471 552.77/554.30 c #Conflicts: 267000 | #Constraints: 53471 552.77/554.30 c INPROCESSING 552.77/554.30 c GARBAGE COLLECT 552.77/554.30 c rational objective 146 574.92/576.51 c #Conflicts: 268000 | #Constraints: 28263 574.92/576.51 c #Conflicts: 269000 | #Constraints: 29263 574.92/576.51 c #Conflicts: 270000 | #Constraints: 30263 574.92/576.51 c #Conflicts: 271000 | #Constraints: 31263 574.92/576.51 c #Conflicts: 272000 | #Constraints: 32263 574.92/576.51 c #Conflicts: 273000 | #Constraints: 33263 574.92/576.51 c #Conflicts: 274000 | #Constraints: 34263 574.92/576.51 c #Conflicts: 275000 | #Constraints: 35263 574.92/576.51 c #Conflicts: 276000 | #Constraints: 36263 574.92/576.51 c #Conflicts: 277000 | #Constraints: 37263 574.92/576.51 c #Conflicts: 278000 | #Constraints: 38263 574.92/576.51 c #Conflicts: 279000 | #Constraints: 39263 574.92/576.51 c #Conflicts: 280000 | #Constraints: 40299 574.92/576.51 c INPROCESSING 574.92/576.51 c GARBAGE COLLECT 574.92/576.51 c rational objective 146 679.46/681.39 c #Conflicts: 281000 | #Constraints: 22408 679.46/681.39 c #Conflicts: 282000 | #Constraints: 23408 679.46/681.39 c #Conflicts: 283000 | #Constraints: 24408 679.46/681.39 c #Conflicts: 284000 | #Constraints: 25409 679.46/681.39 c #Conflicts: 285000 | #Constraints: 26409 679.46/681.39 c #Conflicts: 286000 | #Constraints: 27409 679.46/681.39 c #Conflicts: 287000 | #Constraints: 28410 679.46/681.39 c #Conflicts: 288000 | #Constraints: 29410 679.46/681.39 c #Conflicts: 289000 | #Constraints: 30410 679.46/681.39 c #Conflicts: 290000 | #Constraints: 31410 679.46/681.39 c #Conflicts: 291000 | #Constraints: 32410 679.46/681.39 c #Conflicts: 292000 | #Constraints: 33410 679.46/681.39 c #Conflicts: 293000 | #Constraints: 34410 679.46/681.39 c #Conflicts: 294000 | #Constraints: 35410 679.46/681.39 c #Conflicts: 295000 | #Constraints: 36410 679.46/681.39 c #Conflicts: 296000 | #Constraints: 37410 679.46/681.39 c #Conflicts: 297000 | #Constraints: 38410 679.46/681.39 c #Conflicts: 298000 | #Constraints: 39410 679.46/681.39 c #Conflicts: 299000 | #Constraints: 40410 679.46/681.39 c #Conflicts: 300000 | #Constraints: 41410 679.46/681.39 c #Conflicts: 301000 | #Constraints: 42410 679.46/681.39 c #Conflicts: 302000 | #Constraints: 43410 679.46/681.39 c #Conflicts: 303000 | #Constraints: 44455 679.46/681.39 c #Conflicts: 304000 | #Constraints: 45455 679.46/681.39 c #Conflicts: 305000 | #Constraints: 46455 679.46/681.39 c #Conflicts: 306000 | #Constraints: 47455 679.46/681.39 c #Conflicts: 307000 | #Constraints: 48455 679.46/681.39 c #Conflicts: 308000 | #Constraints: 49455 679.46/681.39 c #Conflicts: 309000 | #Constraints: 50455 679.46/681.39 c #Conflicts: 310000 | #Constraints: 51455 679.46/681.39 c #Conflicts: 311000 | #Constraints: 52534 679.46/681.39 c #Conflicts: 312000 | #Constraints: 53582 679.46/681.39 c #Conflicts: 313000 | #Constraints: 54582 679.46/681.39 c #Conflicts: 314000 | #Constraints: 55582 679.46/681.39 c #Conflicts: 315000 | #Constraints: 56582 679.46/681.39 c #Conflicts: 316000 | #Constraints: 57582 679.46/681.39 c #Conflicts: 317000 | #Constraints: 58582 679.46/681.39 c #Conflicts: 318000 | #Constraints: 59582 679.46/681.39 c INPROCESSING 679.46/681.39 c GARBAGE COLLECT 679.46/681.39 c rational objective 146 772.73/774.89 c #Conflicts: 319000 | #Constraints: 31198 772.73/774.89 c #Conflicts: 320000 | #Constraints: 32199 772.73/774.89 c #Conflicts: 321000 | #Constraints: 33199 772.73/774.89 c #Conflicts: 322000 | #Constraints: 34199 772.73/774.89 c #Conflicts: 323000 | #Constraints: 35199 772.73/774.89 c #Conflicts: 324000 | #Constraints: 36199 772.73/774.89 c #Conflicts: 325000 | #Constraints: 37199 772.73/774.89 c #Conflicts: 326000 | #Constraints: 38199 772.73/774.89 c #Conflicts: 327000 | #Constraints: 39199 772.73/774.89 c #Conflicts: 328000 | #Constraints: 40199 772.73/774.89 c #Conflicts: 329000 | #Constraints: 41199 772.73/774.89 c #Conflicts: 330000 | #Constraints: 42199 772.73/774.89 c #Conflicts: 331000 | #Constraints: 43199 772.73/774.89 c #Conflicts: 332000 | #Constraints: 44199 772.73/774.89 c #Conflicts: 333000 | #Constraints: 45199 772.73/774.89 c INPROCESSING 772.73/774.89 c GARBAGE COLLECT 772.73/774.89 c rational objective 146 942.03/944.57 c #Conflicts: 334000 | #Constraints: 25157 942.03/944.57 c #Conflicts: 335000 | #Constraints: 26157 942.03/944.57 c #Conflicts: 336000 | #Constraints: 27157 942.03/944.57 c #Conflicts: 337000 | #Constraints: 28157 942.03/944.57 c #Conflicts: 338000 | #Constraints: 29157 942.03/944.57 c #Conflicts: 339000 | #Constraints: 30157 942.03/944.57 c #Conflicts: 340000 | #Constraints: 31157 942.03/944.57 c #Conflicts: 341000 | #Constraints: 32158 942.03/944.57 c #Conflicts: 342000 | #Constraints: 33158 942.03/944.57 c #Conflicts: 343000 | #Constraints: 34158 942.03/944.57 c #Conflicts: 344000 | #Constraints: 35158 942.03/944.57 c #Conflicts: 345000 | #Constraints: 36158 942.03/944.57 c #Conflicts: 346000 | #Constraints: 37158 942.03/944.57 c #Conflicts: 347000 | #Constraints: 38158 942.03/944.57 c #Conflicts: 348000 | #Constraints: 39158 942.03/944.57 c #Conflicts: 349000 | #Constraints: 40158 942.03/944.57 c #Conflicts: 350000 | #Constraints: 41158 942.03/944.57 c #Conflicts: 351000 | #Constraints: 42158 942.03/944.57 c #Conflicts: 352000 | #Constraints: 43158 942.03/944.57 c #Conflicts: 353000 | #Constraints: 44158 942.03/944.57 c #Conflicts: 354000 | #Constraints: 45158 942.03/944.57 c #Conflicts: 355000 | #Constraints: 46158 942.03/944.57 c #Conflicts: 356000 | #Constraints: 47158 942.03/944.57 c #Conflicts: 357000 | #Constraints: 48158 942.03/944.57 c #Conflicts: 358000 | #Constraints: 49158 942.03/944.57 c #Conflicts: 359000 | #Constraints: 50158 942.03/944.57 c #Conflicts: 360000 | #Constraints: 51158 942.03/944.57 c #Conflicts: 361000 | #Constraints: 52158 942.03/944.57 c #Conflicts: 362000 | #Constraints: 53158 942.03/944.57 c #Conflicts: 363000 | #Constraints: 54158 942.03/944.57 c #Conflicts: 364000 | #Constraints: 55158 942.03/944.57 c #Conflicts: 365000 | #Constraints: 56158 942.03/944.57 c #Conflicts: 366000 | #Constraints: 57158 942.03/944.57 c #Conflicts: 367000 | #Constraints: 58158 942.03/944.57 c #Conflicts: 368000 | #Constraints: 59158 942.03/944.57 c #Conflicts: 369000 | #Constraints: 60158 942.03/944.57 c #Conflicts: 370000 | #Constraints: 61158 942.03/944.57 c #Conflicts: 371000 | #Constraints: 62158 942.03/944.57 c #Conflicts: 372000 | #Constraints: 63158 942.03/944.57 c #Conflicts: 373000 | #Constraints: 64158 942.03/944.57 c #Conflicts: 374000 | #Constraints: 65158 942.03/944.57 c INPROCESSING 942.03/944.57 c GARBAGE COLLECT 942.03/944.57 c rational objective 146 1056.16/1058.96 c #Conflicts: 375000 | #Constraints: 34234 1056.16/1058.96 c #Conflicts: 376000 | #Constraints: 35234 1056.16/1058.96 c #Conflicts: 377000 | #Constraints: 36234 1056.16/1058.96 c #Conflicts: 378000 | #Constraints: 37234 1056.16/1058.96 c #Conflicts: 379000 | #Constraints: 38234 1056.16/1058.96 c #Conflicts: 380000 | #Constraints: 39234 1056.16/1058.96 c #Conflicts: 381000 | #Constraints: 40234 1056.16/1058.96 c #Conflicts: 382000 | #Constraints: 41234 1056.16/1058.96 c #Conflicts: 383000 | #Constraints: 42234 1056.16/1058.96 c #Conflicts: 384000 | #Constraints: 43234 1056.16/1058.96 c #Conflicts: 385000 | #Constraints: 44234 1056.16/1058.96 c #Conflicts: 386000 | #Constraints: 45234 1056.16/1058.96 c #Conflicts: 387000 | #Constraints: 46234 1056.16/1058.96 c #Conflicts: 388000 | #Constraints: 47234 1056.16/1058.96 c #Conflicts: 389000 | #Constraints: 48234 1056.16/1058.96 c #Conflicts: 390000 | #Constraints: 49234 1056.16/1058.96 c INPROCESSING 1056.16/1058.96 c GARBAGE COLLECT 1056.16/1058.96 c rational objective 146 1327.71/1331.13 c #Conflicts: 391000 | #Constraints: 27430 1327.71/1331.13 c #Conflicts: 392000 | #Constraints: 28430 1327.71/1331.13 c #Conflicts: 393000 | #Constraints: 29430 1327.71/1331.13 c #Conflicts: 394000 | #Constraints: 30431 1327.71/1331.13 c #Conflicts: 395000 | #Constraints: 31431 1327.71/1331.13 c #Conflicts: 396000 | #Constraints: 32432 1327.71/1331.13 c #Conflicts: 397000 | #Constraints: 33432 1327.71/1331.13 c #Conflicts: 398000 | #Constraints: 34432 1327.71/1331.13 c #Conflicts: 399000 | #Constraints: 35432 1327.71/1331.13 c #Conflicts: 400000 | #Constraints: 36432 1327.71/1331.13 c #Conflicts: 401000 | #Constraints: 37432 1327.71/1331.13 c #Conflicts: 402000 | #Constraints: 38432 1327.71/1331.13 c #Conflicts: 403000 | #Constraints: 39432 1327.71/1331.13 c #Conflicts: 404000 | #Constraints: 40432 1327.71/1331.13 c #Conflicts: 405000 | #Constraints: 41432 1327.71/1331.13 c #Conflicts: 406000 | #Constraints: 42432 1327.71/1331.13 c #Conflicts: 407000 | #Constraints: 43432 1327.71/1331.13 c #Conflicts: 408000 | #Constraints: 44432 1327.71/1331.13 c #Conflicts: 409000 | #Constraints: 45433 1327.71/1331.13 c #Conflicts: 410000 | #Constraints: 46433 1327.71/1331.13 c #Conflicts: 411000 | #Constraints: 47433 1327.71/1331.13 c #Conflicts: 412000 | #Constraints: 48433 1327.71/1331.13 c #Conflicts: 413000 | #Constraints: 49433 1327.71/1331.13 c #Conflicts: 414000 | #Constraints: 50433 1327.71/1331.13 c #Conflicts: 415000 | #Constraints: 51433 1327.71/1331.13 c #Conflicts: 416000 | #Constraints: 52433 1327.71/1331.13 c #Conflicts: 417000 | #Constraints: 53433 1327.71/1331.13 c #Conflicts: 418000 | #Constraints: 54433 1327.71/1331.13 c #Conflicts: 419000 | #Constraints: 55433 1327.71/1331.13 c #Conflicts: 420000 | #Constraints: 56433 1327.71/1331.13 c #Conflicts: 421000 | #Constraints: 57433 1327.71/1331.13 c #Conflicts: 422000 | #Constraints: 58433 1327.71/1331.13 c #Conflicts: 423000 | #Constraints: 59433 1327.71/1331.13 c #Conflicts: 424000 | #Constraints: 60433 1327.71/1331.13 c #Conflicts: 425000 | #Constraints: 61433 1327.71/1331.13 c #Conflicts: 426000 | #Constraints: 62433 1327.71/1331.13 c #Conflicts: 427000 | #Constraints: 63433 1327.71/1331.13 c #Conflicts: 428000 | #Constraints: 64434 1327.71/1331.13 c #Conflicts: 429000 | #Constraints: 65434 1327.71/1331.13 c #Conflicts: 430000 | #Constraints: 66435 1327.71/1331.13 c #Conflicts: 431000 | #Constraints: 67435 1327.71/1331.13 c #Conflicts: 432000 | #Constraints: 68435 1327.71/1331.13 c #Conflicts: 433000 | #Constraints: 69435 1327.71/1331.13 c #Conflicts: 434000 | #Constraints: 70435 1327.71/1331.13 c INPROCESSING 1327.71/1331.13 c GARBAGE COLLECT 1327.71/1331.13 c rational objective 146 1399.11/1402.73 c #Conflicts: 435000 | #Constraints: 36991 1399.11/1402.73 c #Conflicts: 436000 | #Constraints: 37991 1399.11/1402.73 c #Conflicts: 437000 | #Constraints: 38991 1399.11/1402.73 c #Conflicts: 438000 | #Constraints: 39991 1399.11/1402.73 c #Conflicts: 439000 | #Constraints: 40991 1399.11/1402.73 c #Conflicts: 440000 | #Constraints: 41991 1399.11/1402.73 c #Conflicts: 441000 | #Constraints: 42991 1399.11/1402.73 c #Conflicts: 442000 | #Constraints: 43991 1399.11/1402.73 c #Conflicts: 443000 | #Constraints: 44991 1399.11/1402.73 c #Conflicts: 444000 | #Constraints: 45991 1399.11/1402.73 c #Conflicts: 445000 | #Constraints: 46991 1399.11/1402.73 c #Conflicts: 446000 | #Constraints: 47991 1399.11/1402.73 c #Conflicts: 447000 | #Constraints: 48991 1399.11/1402.73 c #Conflicts: 448000 | #Constraints: 49991 1399.11/1402.73 c #Conflicts: 449000 | #Constraints: 50991 1399.11/1402.73 c #Conflicts: 450000 | #Constraints: 51991 1399.11/1402.73 c #Conflicts: 451000 | #Constraints: 52991 1399.11/1402.73 c INPROCESSING 1399.11/1402.73 c GARBAGE COLLECT 1399.11/1402.73 c rational objective 146 1720.83/1725.22 c #Conflicts: 452000 | #Constraints: 32262 1720.83/1725.22 c #Conflicts: 453000 | #Constraints: 33262 1720.83/1725.22 c #Conflicts: 454000 | #Constraints: 34262 1720.83/1725.22 c #Conflicts: 455000 | #Constraints: 35262 1720.83/1725.22 c #Conflicts: 456000 | #Constraints: 36353 1720.83/1725.22 c #Conflicts: 457000 | #Constraints: 37353 1720.83/1725.22 c #Conflicts: 458000 | #Constraints: 38353 1720.83/1725.22 c #Conflicts: 459000 | #Constraints: 39353 1720.83/1725.22 c #Conflicts: 460000 | #Constraints: 40353 1720.83/1725.22 c #Conflicts: 461000 | #Constraints: 41353 1720.83/1725.22 c #Conflicts: 462000 | #Constraints: 42353 1720.83/1725.22 c #Conflicts: 463000 | #Constraints: 43353 1720.83/1725.22 c #Conflicts: 464000 | #Constraints: 44353 1720.83/1725.22 c #Conflicts: 465000 | #Constraints: 45353 1720.83/1725.22 c #Conflicts: 466000 | #Constraints: 46353 1720.83/1725.22 c #Conflicts: 467000 | #Constraints: 47353 1720.83/1725.22 c #Conflicts: 468000 | #Constraints: 48353 1720.83/1725.22 c #Conflicts: 469000 | #Constraints: 49353 1720.83/1725.22 c #Conflicts: 470000 | #Constraints: 50353 1720.83/1725.22 c #Conflicts: 471000 | #Constraints: 51353 1720.83/1725.22 c #Conflicts: 472000 | #Constraints: 52353 1720.83/1725.22 c #Conflicts: 473000 | #Constraints: 53353 1720.83/1725.22 c #Conflicts: 474000 | #Constraints: 54353 1720.83/1725.22 c #Conflicts: 475000 | #Constraints: 55353 1720.83/1725.22 c #Conflicts: 476000 | #Constraints: 56353 1720.83/1725.22 c #Conflicts: 477000 | #Constraints: 57353 1720.83/1725.22 c #Conflicts: 478000 | #Constraints: 58353 1720.83/1725.22 c #Conflicts: 479000 | #Constraints: 59353 1720.83/1725.22 c #Conflicts: 480000 | #Constraints: 60353 1720.83/1725.22 c #Conflicts: 481000 | #Constraints: 61353 1720.83/1725.22 c #Conflicts: 482000 | #Constraints: 62353 1720.83/1725.22 c #Conflicts: 483000 | #Constraints: 63353 1720.83/1725.22 c #Conflicts: 484000 | #Constraints: 64438 1720.83/1725.22 c #Conflicts: 485000 | #Constraints: 65438 1720.83/1725.22 c #Conflicts: 486000 | #Constraints: 66438 1720.83/1725.22 c #Conflicts: 487000 | #Constraints: 67438 1720.83/1725.22 c #Conflicts: 488000 | #Constraints: 68438 1720.83/1725.22 c #Conflicts: 489000 | #Constraints: 69438 1720.83/1725.22 c #Conflicts: 490000 | #Constraints: 70661 1720.83/1725.22 c #Conflicts: 491000 | #Constraints: 71661 1720.83/1725.22 c #Conflicts: 492000 | #Constraints: 72661 1720.83/1725.22 c #Conflicts: 493000 | #Constraints: 73661 1720.83/1725.22 c #Conflicts: 494000 | #Constraints: 74661 1720.83/1725.22 c #Conflicts: 495000 | #Constraints: 75661 1720.83/1725.22 c #Conflicts: 496000 | #Constraints: 76661 1720.83/1725.22 c #Conflicts: 497000 | #Constraints: 77661 1720.83/1725.22 c #Conflicts: 498000 | #Constraints: 78661 1720.83/1725.22 c INPROCESSING 1720.83/1725.22 c GARBAGE COLLECT 1720.83/1725.22 c rational objective 146 1937.28/1942.28 c #Conflicts: 499000 | #Constraints: 40882 1937.28/1942.28 c #Conflicts: 500000 | #Constraints: 41882 1937.28/1942.28 c #Conflicts: 501000 | #Constraints: 42882 1937.28/1942.28 c #Conflicts: 502000 | #Constraints: 43882 1937.28/1942.28 c #Conflicts: 503000 | #Constraints: 44882 1937.28/1942.28 c #Conflicts: 504000 | #Constraints: 45882 1937.28/1942.28 c #Conflicts: 505000 | #Constraints: 46882 1937.28/1942.28 c #Conflicts: 506000 | #Constraints: 47882 1937.28/1942.28 c #Conflicts: 507000 | #Constraints: 48882 1937.28/1942.28 c #Conflicts: 508000 | #Constraints: 49882 1937.28/1942.28 c #Conflicts: 509000 | #Constraints: 50882 1937.28/1942.28 c #Conflicts: 510000 | #Constraints: 51882 1937.28/1942.28 c #Conflicts: 511000 | #Constraints: 52882 1937.28/1942.28 c #Conflicts: 512000 | #Constraints: 53882 1937.28/1942.28 c #Conflicts: 513000 | #Constraints: 54882 1937.28/1942.28 c #Conflicts: 514000 | #Constraints: 55882 1937.28/1942.28 c #Conflicts: 515000 | #Constraints: 56882 1937.28/1942.28 c #Conflicts: 516000 | #Constraints: 57882 1937.28/1942.28 c INPROCESSING 1937.28/1942.28 c GARBAGE COLLECT 1937.28/1942.28 c rational objective 146 2448.83/2455.05 c #Conflicts: 517000 | #Constraints: 33985 2448.83/2455.05 c #Conflicts: 518000 | #Constraints: 34985 2448.83/2455.05 c #Conflicts: 519000 | #Constraints: 35985 2448.83/2455.05 c #Conflicts: 520000 | #Constraints: 36985 2448.83/2455.05 c #Conflicts: 521000 | #Constraints: 37985 2448.83/2455.05 c #Conflicts: 522000 | #Constraints: 38985 2448.83/2455.05 c #Conflicts: 523000 | #Constraints: 39985 2448.83/2455.05 c #Conflicts: 524000 | #Constraints: 40985 2448.83/2455.05 c #Conflicts: 525000 | #Constraints: 41985 2448.83/2455.05 c #Conflicts: 526000 | #Constraints: 42985 2448.83/2455.05 c #Conflicts: 527000 | #Constraints: 43985 2448.83/2455.05 c #Conflicts: 528000 | #Constraints: 44985 2448.83/2455.05 c #Conflicts: 529000 | #Constraints: 45985 2448.83/2455.05 c #Conflicts: 530000 | #Constraints: 46985 2448.83/2455.05 c #Conflicts: 531000 | #Constraints: 47985 2448.83/2455.05 c #Conflicts: 532000 | #Constraints: 48985 2448.83/2455.05 c #Conflicts: 533000 | #Constraints: 49985 2448.83/2455.05 c #Conflicts: 534000 | #Constraints: 50985 2448.83/2455.05 c #Conflicts: 535000 | #Constraints: 51985 2448.83/2455.05 c #Conflicts: 536000 | #Constraints: 52985 2448.83/2455.05 c #Conflicts: 537000 | #Constraints: 53985 2448.83/2455.05 c #Conflicts: 538000 | #Constraints: 54985 2448.83/2455.05 c #Conflicts: 539000 | #Constraints: 55985 2448.83/2455.05 c #Conflicts: 540000 | #Constraints: 56985 2448.83/2455.05 c #Conflicts: 541000 | #Constraints: 57985 2448.83/2455.05 c #Conflicts: 542000 | #Constraints: 58985 2448.83/2455.05 c #Conflicts: 543000 | #Constraints: 59985 2448.83/2455.05 c #Conflicts: 544000 | #Constraints: 60985 2448.83/2455.05 c #Conflicts: 545000 | #Constraints: 61985 2448.83/2455.05 c #Conflicts: 546000 | #Constraints: 62985 2448.83/2455.05 c #Conflicts: 547000 | #Constraints: 63985 2448.83/2455.05 c #Conflicts: 548000 | #Constraints: 64985 2448.83/2455.05 c #Conflicts: 549000 | #Constraints: 65985 2448.83/2455.05 c #Conflicts: 550000 | #Constraints: 66985 2448.83/2455.05 c #Conflicts: 551000 | #Constraints: 67985 2448.83/2455.05 c #Conflicts: 552000 | #Constraints: 68986 2448.83/2455.05 c #Conflicts: 553000 | #Constraints: 69986 2448.83/2455.05 c #Conflicts: 554000 | #Constraints: 70987 2448.83/2455.05 c #Conflicts: 555000 | #Constraints: 71987 2448.83/2455.05 c #Conflicts: 556000 | #Constraints: 72987 2448.83/2455.05 c #Conflicts: 557000 | #Constraints: 73987 2448.83/2455.05 c #Conflicts: 558000 | #Constraints: 74987 2448.83/2455.05 c #Conflicts: 559000 | #Constraints: 75987 2448.83/2455.05 c #Conflicts: 560000 | #Constraints: 76987 2448.83/2455.05 c #Conflicts: 561000 | #Constraints: 77987 2448.83/2455.05 c #Conflicts: 562000 | #Constraints: 78987 2448.83/2455.05 c #Conflicts: 563000 | #Constraints: 79987 2448.83/2455.05 c #Conflicts: 564000 | #Constraints: 80987 2448.83/2455.05 c #Conflicts: 565000 | #Constraints: 81987 2448.83/2455.05 c #Conflicts: 566000 | #Constraints: 82987 2448.83/2455.05 c #Conflicts: 567000 | #Constraints: 83987 2448.83/2455.05 c INPROCESSING 2448.83/2455.05 c GARBAGE COLLECT 2448.83/2455.05 c rational objective 146 2574.99/2581.57 c #Conflicts: 568000 | #Constraints: 43792 2574.99/2581.57 c #Conflicts: 569000 | #Constraints: 44792 2574.99/2581.57 c #Conflicts: 570000 | #Constraints: 45792 2574.99/2581.57 c #Conflicts: 571000 | #Constraints: 46792 2574.99/2581.57 c #Conflicts: 572000 | #Constraints: 47792 2574.99/2581.57 c #Conflicts: 573000 | #Constraints: 48792 2574.99/2581.57 c #Conflicts: 574000 | #Constraints: 49792 2574.99/2581.57 c #Conflicts: 575000 | #Constraints: 50792 2574.99/2581.57 c #Conflicts: 576000 | #Constraints: 51792 2574.99/2581.57 c #Conflicts: 577000 | #Constraints: 52792 2574.99/2581.57 c #Conflicts: 578000 | #Constraints: 53792 2574.99/2581.57 c #Conflicts: 579000 | #Constraints: 54792 2574.99/2581.57 c bounds 187 >= 146 @ 2518.79 2574.99/2581.57 c #Conflicts: 580000 | #Constraints: 55793 2574.99/2581.57 c #Conflicts: 581000 | #Constraints: 56794 2574.99/2581.57 c bounds 186 >= 146 @ 2531.22 2574.99/2581.57 c #Conflicts: 582000 | #Constraints: 57795 2574.99/2581.57 c #Conflicts: 583000 | #Constraints: 58796 2574.99/2581.57 c #Conflicts: 584000 | #Constraints: 59796 2574.99/2581.57 c #Conflicts: 585000 | #Constraints: 60796 2574.99/2581.57 c #Conflicts: 586000 | #Constraints: 61796 2574.99/2581.57 c INPROCESSING 2574.99/2581.57 c GARBAGE COLLECT 2574.99/2581.57 c rational objective 146 2919.38/2926.86 c #Conflicts: 587000 | #Constraints: 39037 2919.38/2926.86 c #Conflicts: 588000 | #Constraints: 40037 2919.38/2926.86 c #Conflicts: 589000 | #Constraints: 41037 2919.38/2926.86 c #Conflicts: 590000 | #Constraints: 42037 2919.38/2926.86 c #Conflicts: 591000 | #Constraints: 43037 2919.38/2926.86 c #Conflicts: 592000 | #Constraints: 44037 2919.38/2926.86 c #Conflicts: 593000 | #Constraints: 45037 2919.38/2926.86 c #Conflicts: 594000 | #Constraints: 46037 2919.38/2926.86 c #Conflicts: 595000 | #Constraints: 47037 2919.38/2926.86 c #Conflicts: 596000 | #Constraints: 48037 2919.38/2926.86 c #Conflicts: 597000 | #Constraints: 49037 2919.38/2926.86 c #Conflicts: 598000 | #Constraints: 50037 2919.38/2926.86 c #Conflicts: 599000 | #Constraints: 51101 2919.38/2926.86 c #Conflicts: 600000 | #Constraints: 52101 2919.38/2926.86 c #Conflicts: 601000 | #Constraints: 53101 2919.38/2926.86 c #Conflicts: 602000 | #Constraints: 54101 2919.38/2926.86 c #Conflicts: 603000 | #Constraints: 55101 2919.38/2926.86 c #Conflicts: 604000 | #Constraints: 56101 2919.38/2926.86 c #Conflicts: 605000 | #Constraints: 57101 2919.38/2926.86 c #Conflicts: 606000 | #Constraints: 58101 2919.38/2926.86 c #Conflicts: 607000 | #Constraints: 59101 2919.38/2926.86 c #Conflicts: 608000 | #Constraints: 60101 2919.38/2926.86 c #Conflicts: 609000 | #Constraints: 61101 2919.38/2926.86 c #Conflicts: 610000 | #Constraints: 62101 2919.38/2926.86 c #Conflicts: 611000 | #Constraints: 63101 2919.38/2926.86 c #Conflicts: 612000 | #Constraints: 64101 2919.38/2926.86 c #Conflicts: 613000 | #Constraints: 65101 2919.38/2926.86 c #Conflicts: 614000 | #Constraints: 66101 2919.38/2926.86 c #Conflicts: 615000 | #Constraints: 67101 2919.38/2926.86 c #Conflicts: 616000 | #Constraints: 68101 2919.38/2926.86 c #Conflicts: 617000 | #Constraints: 69101 2919.38/2926.86 c #Conflicts: 618000 | #Constraints: 70101 2919.38/2926.86 c #Conflicts: 619000 | #Constraints: 71101 2919.38/2926.86 c #Conflicts: 620000 | #Constraints: 72101 2919.38/2926.86 c #Conflicts: 621000 | #Constraints: 73101 2919.38/2926.86 c #Conflicts: 622000 | #Constraints: 74101 2919.38/2926.86 c #Conflicts: 623000 | #Constraints: 75101 2919.38/2926.86 c #Conflicts: 624000 | #Constraints: 76101 2919.38/2926.86 c #Conflicts: 625000 | #Constraints: 77101 2919.38/2926.86 c #Conflicts: 626000 | #Constraints: 78101 2919.38/2926.86 c #Conflicts: 627000 | #Constraints: 79101 2919.38/2926.86 c #Conflicts: 628000 | #Constraints: 80101 2919.38/2926.86 c #Conflicts: 629000 | #Constraints: 81101 2919.38/2926.86 c #Conflicts: 630000 | #Constraints: 82101 2919.38/2926.86 c #Conflicts: 631000 | #Constraints: 83101 2919.38/2926.86 c #Conflicts: 632000 | #Constraints: 84101 2919.38/2926.86 c #Conflicts: 633000 | #Constraints: 85101 2919.38/2926.86 c #Conflicts: 634000 | #Constraints: 86101 2919.38/2926.86 c #Conflicts: 635000 | #Constraints: 87101 2919.38/2926.86 c #Conflicts: 636000 | #Constraints: 88101 2919.38/2926.86 c #Conflicts: 637000 | #Constraints: 89101 2919.38/2926.86 c #Conflicts: 638000 | #Constraints: 90101 2919.38/2926.86 c #Conflicts: 639000 | #Constraints: 91101 2919.38/2926.86 c #Conflicts: 640000 | #Constraints: 92101 2919.38/2926.86 c INPROCESSING 2919.38/2926.86 c GARBAGE COLLECT 2919.38/2926.86 c rational objective 146 3177.23/3185.38 c #Conflicts: 641000 | #Constraints: 47703 3177.23/3185.38 c #Conflicts: 642000 | #Constraints: 48703 3177.23/3185.38 c #Conflicts: 643000 | #Constraints: 49703 3177.23/3185.38 c #Conflicts: 644000 | #Constraints: 50703 3177.23/3185.38 c #Conflicts: 645000 | #Constraints: 51703 3177.23/3185.38 c #Conflicts: 646000 | #Constraints: 52703 3177.23/3185.38 c #Conflicts: 647000 | #Constraints: 53703 3177.23/3185.38 c #Conflicts: 648000 | #Constraints: 54703 3177.23/3185.38 c #Conflicts: 649000 | #Constraints: 55703 3177.23/3185.38 c #Conflicts: 650000 | #Constraints: 56703 3177.23/3185.38 c #Conflicts: 651000 | #Constraints: 57703 3177.23/3185.38 c #Conflicts: 652000 | #Constraints: 58703 3177.23/3185.38 c #Conflicts: 653000 | #Constraints: 59703 3177.23/3185.38 c #Conflicts: 654000 | #Constraints: 60703 3177.23/3185.38 c #Conflicts: 655000 | #Constraints: 61703 3177.23/3185.38 c #Conflicts: 656000 | #Constraints: 62703 3177.23/3185.38 c #Conflicts: 657000 | #Constraints: 63703 3177.23/3185.38 c #Conflicts: 658000 | #Constraints: 64703 3177.23/3185.38 c #Conflicts: 659000 | #Constraints: 65703 3177.23/3185.38 c #Conflicts: 660000 | #Constraints: 66703 3177.23/3185.38 c #Conflicts: 661000 | #Constraints: 67703 3177.23/3185.38 c INPROCESSING 3177.23/3185.38 c GARBAGE COLLECT 3177.23/3185.38 c rational objective 146 3600.01/3609.11 c #Conflicts: 662000 | #Constraints: 42125 3600.01/3609.11 c #Conflicts: 663000 | #Constraints: 43125 3600.01/3609.11 c #Conflicts: 664000 | #Constraints: 44125 3600.01/3609.11 c #Conflicts: 665000 | #Constraints: 45125 3600.01/3609.11 c #Conflicts: 666000 | #Constraints: 46125 3600.01/3609.11 c #Conflicts: 667000 | #Constraints: 47125 3600.01/3609.11 c #Conflicts: 668000 | #Constraints: 48125 3600.01/3609.11 c #Conflicts: 669000 | #Constraints: 49125 3600.01/3609.11 c #Conflicts: 670000 | #Constraints: 50125 3600.01/3609.11 c #Conflicts: 671000 | #Constraints: 51125 3600.01/3609.11 c #Conflicts: 672000 | #Constraints: 52125 3600.01/3609.11 c #Conflicts: 673000 | #Constraints: 53125 3600.01/3609.11 c #Conflicts: 674000 | #Constraints: 54125 3600.01/3609.11 c #Conflicts: 675000 | #Constraints: 55125 3600.01/3609.11 c #Conflicts: 676000 | #Constraints: 56125 3600.01/3609.11 c #Conflicts: 677000 | #Constraints: 57125 3600.01/3609.11 c #Conflicts: 678000 | #Constraints: 58125 3600.01/3609.11 c #Conflicts: 679000 | #Constraints: 59125 3600.01/3609.11 c #Conflicts: 680000 | #Constraints: 60125 3600.01/3609.11 c #Conflicts: 681000 | #Constraints: 61125 3600.01/3609.11 c #Conflicts: 682000 | #Constraints: 62125 3600.01/3609.11 c #Conflicts: 683000 | #Constraints: 63125 3600.01/3609.11 c #Conflicts: 684000 | #Constraints: 64125 3600.01/3609.11 c #Conflicts: 685000 | #Constraints: 65125 3600.01/3609.11 c #Conflicts: 686000 | #Constraints: 66125 3600.01/3609.11 c #Conflicts: 687000 | #Constraints: 67125 3600.01/3609.11 c #Conflicts: 688000 | #Constraints: 68125 3600.01/3609.11 c #Conflicts: 689000 | #Constraints: 69125 3600.01/3609.11 c #Conflicts: 690000 | #Constraints: 70125 3600.01/3609.11 c #Conflicts: 691000 | #Constraints: 71125 3600.01/3609.11 c #Conflicts: 692000 | #Constraints: 72125 3600.01/3609.11 c #Conflicts: 693000 | #Constraints: 73125 3600.01/3609.11 c #Conflicts: 694000 | #Constraints: 74125 3600.01/3609.11 c #Conflicts: 695000 | #Constraints: 75125 3600.01/3609.11 c #Conflicts: 696000 | #Constraints: 76125 3600.01/3609.11 c #Conflicts: 697000 | #Constraints: 77125 3600.01/3609.11 c #Conflicts: 698000 | #Constraints: 78125 3600.01/3609.11 c Program interrupted by user. 3600.01/3609.11 c cpu time 3585.71 s 3600.01/3609.11 c deterministic time 321694848748 3.22e+11 3600.01/3609.11 c optimization time 421.758 s 3600.01/3609.11 c total solve time 3163.94 s 3600.01/3609.11 c core-guided solve time 1818.9 s 3600.01/3609.11 c propagation time 3127.63 s 3600.01/3609.11 c conflict analysis time 425.391 s 3600.01/3609.11 c propagations 99303225 3600.01/3609.11 c resolve steps 6005852 3600.01/3609.11 c decisions 5295491 3600.01/3609.11 c conflicts 698719 3600.01/3609.11 c restarts 1531 3600.01/3609.11 c inprocessing phases 38 3600.01/3609.11 c input clauses 299 3600.01/3609.11 c input cardinalities 335 3600.01/3609.11 c input general constraints 865 3600.01/3609.11 c input average constraint length 65.55 3600.01/3609.11 c input average constraint degree 25.35 3600.01/3609.11 c learned clauses 239715 3600.01/3609.11 c learned cardinalities 3921 3600.01/3609.11 c learned general constraints 456519 3600.01/3609.11 c learned average constraint length 185.35 3600.01/3609.11 c learned average constraint degree 36665129.26 3600.01/3609.11 c watched constraints 306342 3600.01/3609.11 c counting constraints 151042 3600.01/3609.11 c gcd simplifications 86269 3600.01/3609.11 c detected cardinalities 1895 3600.01/3609.11 c weakened non-implied lits 27206641 3600.01/3609.11 c weakened non-implying lits 53555 3600.01/3609.11 c original variables 465 3600.01/3609.11 c clausal propagations 10677362 3600.01/3609.11 c cardinality propagations 6228621 3600.01/3609.11 c watched propagations 13529714 3600.01/3609.11 c counting propagations 67493914 3600.01/3609.11 c watch lookups 61542324934 3600.01/3609.11 c watch backjump lookups 56053062343 3600.01/3609.11 c watch checks 186311776039 3600.01/3609.11 c propagation checks 17071938190 3600.01/3609.11 c constraint additions 505129640 3600.01/3609.11 c trail pops 105297297 3600.01/3609.11 c formula constraints 465 3600.01/3609.11 c learned constraints 698726 3600.01/3609.11 c bound constraints 190 3600.01/3609.11 c core-guided constraints 844 3600.01/3609.11 c encountered formula constraints 1065490 3600.01/3609.11 c encountered learned constraints 4832077 3600.01/3609.11 c encountered bound constraints 125 3600.01/3609.11 c encountered core-guided constraints 805813 3600.01/3609.11 c LP total time 51.5836 s 3600.01/3609.11 c LP solve time 47.06 s 3600.01/3609.11 c LP constraints added 518 3600.01/3609.11 c LP constraints removed 49 3600.01/3609.11 c LP pivots internal 699638 3600.01/3609.11 c LP pivots root 21950 3600.01/3609.11 c LP calls 9026 3600.01/3609.11 c LP optimalities 7407 3600.01/3609.11 c LP no pivot count 367 3600.01/3609.11 c LP infeasibilities 1516 3600.01/3609.11 c LP valid Farkas constraints 1376 3600.01/3609.11 c LP learned Farkas constraints 5 3600.01/3609.11 c LP basis resets 100 3600.01/3609.11 c LP cycling count 100 3600.01/3609.11 c LP singular count 0 3600.01/3609.11 c LP no primal count 0 3600.01/3609.11 c LP no farkas count 0 3600.01/3609.11 c LP other issue count 0 3600.01/3609.11 c LP Gomory cuts 48 3600.01/3609.11 c LP learned cuts 5 3600.01/3609.11 c LP deleted cuts 49 3600.01/3609.11 c LP encountered Gomory constraints 8 3600.01/3609.11 c LP encountered Farkas constraints 1042 3600.01/3609.11 c LP encountered learned Farkas constraints 11 3600.01/3609.11 c CG auxiliary variables introduced 330 3600.01/3609.11 c CG solutions found 44 3600.01/3609.11 c CG cores constructed 146 3600.01/3609.11 c CG core cardinality constraints returned 0 3600.01/3609.11 c CG unit cores 0 3600.01/3609.11 c CG single cores 146 3600.01/3609.11 c CG blocks removed during cardinality reduction 0 3600.01/3609.11 c CG first core best 0 3600.01/3609.11 c CG decision core best 0 3600.01/3609.11 c CG core reduction tie 0 3600.01/3609.11 c CG core degree average 1.00 3600.01/3609.11 c CG core slack average 3.95 3600.01/3609.11 s SATISFIABLE 3600.01/3609.11 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
OK 186
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (60820 MiB free)
memory of node 1: 64473 MiB (60532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455121-1721458461/watcher-4455121-1721458461 -o /tmp/evaluation-result-4455121-1721458461/solver-4455121-1721458461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721458472-1056348 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455121-1721458461.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1056398, runsolver pid=1056393
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 1.10 1.11 1.36 5/249 1056413
/proc/meminfo: memFree=124254960/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=38432 memory=8600 CPUtime=0.1 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 610 0 0 0 10 0 0 0 20 0 1 0 198004868 39354368 2150 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 9608 2150 1740 922 0 1560 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38432 KiB
Current children cumulated memory: 8600 KiB
[startup+0.215298 s]*
/proc/loadavg: 1.10 1.11 1.36 5/249 1056413
/proc/meminfo: memFree=124250972/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=38532 memory=8760 CPUtime=0.22 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 656 0 0 0 21 1 0 0 20 0 1 0 198004868 39456768 2190 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 9633 2190 1740 922 0 1585 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38532 KiB
Current children cumulated memory: 8760 KiB
[startup+0.313396 s]*
/proc/loadavg: 1.10 1.11 1.36 5/249 1056413
/proc/meminfo: memFree=124249808/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=38704 memory=8760 CPUtime=0.31 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 680 0 0 0 30 1 0 0 20 0 1 0 198004868 39632896 2190 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 9676 2190 1740 922 0 1628 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38704 KiB
Current children cumulated memory: 8760 KiB
[startup+0.700271 s]
/proc/loadavg: 1.10 1.11 1.36 5/249 1056413
/proc/meminfo: memFree=124242176/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=40572 memory=13292 CPUtime=0.69 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 1311 0 0 0 62 7 0 0 20 0 1 0 198004868 41545728 3323 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 10143 3323 1771 922 0 2095 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 13292 KiB
[startup+1.50027 s]
/proc/loadavg: 1.10 1.11 1.36 5/249 1056413
/proc/meminfo: memFree=124214028/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=43588 memory=16752 CPUtime=1.48 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 2080 0 0 0 136 12 0 0 20 0 1 0 198004868 44634112 4188 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 10897 4188 1849 922 0 2849 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43588 KiB
Current children cumulated memory: 16752 KiB
[startup+3.11385 s]
/proc/loadavg: 1.41 1.17 1.38 5/249 1056413
/proc/meminfo: memFree=124170732/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=46872 memory=21236 CPUtime=3.1 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 3198 0 0 0 290 20 0 0 20 0 1 0 198004868 47996928 5309 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 11718 5309 1849 922 0 3670 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 46872 KiB
Current children cumulated memory: 21236 KiB
[startup+6.30025 s]
/proc/loadavg: 1.41 1.17 1.38 5/249 1056413
/proc/meminfo: memFree=124129144/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=53432 memory=27304 CPUtime=6.27 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 4738 0 0 0 596 31 0 0 20 0 1 0 198004868 54714368 6826 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 13358 6826 1849 922 0 5310 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 27304 KiB
[startup+12.7003 s]
/proc/loadavg: 1.62 1.22 1.39 5/249 1056415
/proc/meminfo: memFree=124101516/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=73324 memory=39672 CPUtime=12.65 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 7306 0 0 0 1214 51 0 0 20 0 1 0 198004868 75083776 9918 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 18331 9918 1849 922 0 10283 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73324 KiB
Current children cumulated memory: 39672 KiB
[startup+25.5003 s]
/proc/loadavg: 2.21 1.37 1.44 5/249 1056416
/proc/meminfo: memFree=124016228/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=94328 memory=57180 CPUtime=25.42 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 10272 0 0 0 2458 84 0 0 20 0 1 0 198004868 96591872 14295 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 23582 14295 1922 922 0 15534 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 94328 KiB
Current children cumulated memory: 57180 KiB
[startup+51.1137 s]
/proc/loadavg: 2.82 1.58 1.51 5/249 1056421
/proc/meminfo: memFree=123827340/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=100320 memory=61824 CPUtime=50.97 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 11556 0 0 0 4968 129 0 0 20 0 1 0 198004868 102727680 15456 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 25080 15456 1922 922 0 17032 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 100320 KiB
Current children cumulated memory: 61824 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 1.99 1.65 5/248 1056813
/proc/meminfo: memFree=123702340/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=145032 memory=104480 CPUtime=102.01 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 17589 0 0 0 10002 199 0 0 20 0 1 0 198004868 148512768 26120 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 36258 26120 1922 922 0 28210 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 145032 KiB
Current children cumulated memory: 104480 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.39 1.81 5/248 1056823
/proc/meminfo: memFree=123614796/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=201460 memory=139804 CPUtime=161.86 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 23397 0 0 0 15940 246 0 0 20 0 1 0 198004868 206295040 34951 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 50365 34951 1922 922 0 42317 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 201460 KiB
Current children cumulated memory: 139804 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.70 1.96 5/248 1056834
/proc/meminfo: memFree=123579868/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=201832 memory=140332 CPUtime=221.69 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 23528 0 0 0 21873 296 0 0 20 0 1 0 198004868 206675968 35083 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 50458 35083 1922 922 0 42410 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 201832 KiB
Current children cumulated memory: 140332 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.97 2.10 5/250 1057014
/proc/meminfo: memFree=123558840/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=206832 memory=143500 CPUtime=281.53 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 24347 0 0 0 27814 339 0 0 20 0 1 0 198004868 211795968 35875 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 51708 35875 1922 922 0 43660 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 206832 KiB
Current children cumulated memory: 143500 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.17 2.22 5/245 1057024
/proc/meminfo: memFree=123474052/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=212132 memory=147976 CPUtime=341.36 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 25451 0 0 0 33751 385 0 0 20 0 1 0 198004868 217223168 36994 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 53033 36994 1922 922 0 44985 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 212132 KiB
Current children cumulated memory: 147976 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.36 2.35 5/243 1057048
/proc/meminfo: memFree=123427980/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=225504 memory=172548 CPUtime=401.21 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 28012 0 0 0 39709 412 0 0 20 0 1 0 198004868 230916096 43137 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 56376 43137 1922 922 0 48328 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 225504 KiB
Current children cumulated memory: 172548 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.51 2.47 5/243 1057058
/proc/meminfo: memFree=123413364/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=225504 memory=175340 CPUtime=461.02 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 28042 0 0 0 45648 454 0 0 20 0 1 0 198004868 230916096 43835 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 56376 43835 1922 922 0 48328 0
################
# More data... #
################
Current children cumulated memory: 347892 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.11 4.01 5/243 1058112
/proc/meminfo: memFree=122578312/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=476060 memory=365620 CPUtime=2914.89 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 52800 0 0 0 290190 1299 0 0 20 0 1 0 198004868 487485440 91405 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119015 91405 1922 922 0 110967 0
Current children cumulated CPU time: 2914.89 s
Current children cumulated vsize: 476060 KiB
Current children cumulated memory: 365620 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.01 5/243 1058122
/proc/meminfo: memFree=122559168/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=478504 memory=369624 CPUtime=2974.74 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 53406 0 0 0 296164 1310 0 0 20 0 1 0 198004868 489988096 92406 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119626 92406 1922 922 0 111578 0
Current children cumulated CPU time: 2974.74 s
Current children cumulated vsize: 478504 KiB
Current children cumulated memory: 369624 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.01 5/243 1058133
/proc/meminfo: memFree=122556336/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=478504 memory=369624 CPUtime=3034.59 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 53520 0 0 0 302138 1321 0 0 20 0 1 0 198004868 489988096 92406 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119626 92406 1922 922 0 111578 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 478504 KiB
Current children cumulated memory: 369624 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/241 1058144
/proc/meminfo: memFree=122556420/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=478504 memory=369624 CPUtime=3094.43 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 53641 0 0 0 308112 1331 0 0 20 0 1 0 198004868 489988096 92406 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119626 92406 1922 922 0 111578 0
Current children cumulated CPU time: 3094.43 s
Current children cumulated vsize: 478504 KiB
Current children cumulated memory: 369624 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/241 1058154
/proc/meminfo: memFree=122553668/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=478504 memory=369624 CPUtime=3154.29 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 53763 0 0 0 314088 1341 0 0 20 0 1 0 198004868 489988096 92406 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119626 92406 1922 922 0 111578 0
Current children cumulated CPU time: 3154.29 s
Current children cumulated vsize: 478504 KiB
Current children cumulated memory: 369624 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/241 1058164
/proc/meminfo: memFree=122541588/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=478504 memory=369624 CPUtime=3214.14 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 53879 0 0 0 320060 1354 0 0 20 0 1 0 198004868 489988096 92406 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119626 92406 1922 922 0 111578 0
Current children cumulated CPU time: 3214.14 s
Current children cumulated vsize: 478504 KiB
Current children cumulated memory: 369624 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/241 1058175
/proc/meminfo: memFree=122541112/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=478504 memory=369624 CPUtime=3273.99 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 53992 0 0 0 326031 1368 0 0 20 0 1 0 198004868 489988096 92406 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119626 92406 1922 922 0 111578 0
Current children cumulated CPU time: 3273.99 s
Current children cumulated vsize: 478504 KiB
Current children cumulated memory: 369624 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/241 1058185
/proc/meminfo: memFree=122536428/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=478504 memory=369636 CPUtime=3333.85 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 54110 0 0 0 332004 1381 0 0 20 0 1 0 198004868 489988096 92409 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119626 92409 1922 922 0 111578 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 478504 KiB
Current children cumulated memory: 369636 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/243 1058199
/proc/meminfo: memFree=122528908/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=478504 memory=369636 CPUtime=3393.7 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 54225 0 0 0 337976 1394 0 0 20 0 1 0 198004868 489988096 92409 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119626 92409 1922 922 0 111578 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 478504 KiB
Current children cumulated memory: 369636 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.12 4.04 5/243 1058209
/proc/meminfo: memFree=122517612/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=478504 memory=369636 CPUtime=3453.56 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 54343 0 0 0 343950 1406 0 0 20 0 1 0 198004868 489988096 92409 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119626 92409 1922 922 0 111578 0
Current children cumulated CPU time: 3453.56 s
Current children cumulated vsize: 478504 KiB
Current children cumulated memory: 369636 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.13 4.04 5/243 1058220
/proc/meminfo: memFree=122497844/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=478504 memory=369636 CPUtime=3513.4 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 54461 0 0 0 349926 1414 0 0 20 0 1 0 198004868 489988096 92409 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119626 92409 1922 922 0 111578 0
Current children cumulated CPU time: 3513.4 s
Current children cumulated vsize: 478504 KiB
Current children cumulated memory: 369636 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.04 5/243 1058230
/proc/meminfo: memFree=122495896/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=478792 memory=369772 CPUtime=3573.26 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 54616 0 0 0 355900 1426 0 0 20 0 1 0 198004868 490283008 92443 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119698 92443 1922 922 0 111650 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 478792 KiB
Current children cumulated memory: 369772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.55 4.22 4.08 5/243 1058237
/proc/meminfo: memFree=122493084/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=479048 memory=369812 CPUtime=3600.01 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 54657 0 0 0 358570 1431 0 0 20 0 1 0 198004868 490545152 92453 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119762 92453 1922 922 0 111714 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 479048 KiB
Current children cumulated memory: 369812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 1056398 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.71 s, system=14.3153 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.55 4.22 4.08 5/243 1058237
/proc/meminfo: memFree=122493084/131655788 swapFree=131071996/131071996
[pid=1056398] ppid=1056393 vsize=479048 memory=369812 CPUtime=3600.01 cores=1,3
/proc/1056398/stat : 1056398 (roundingsat) R 1056393 1056398 1056336 0 -1 4194304 54657 0 0 0 358570 1431 0 0 20 0 1 0 198004868 490545152 92453 134679101440 4194304 7968373 140731309169152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 15781888 140731309171644 140731309171808 140731309171808 140731309178825 0
/proc/1056398/statm: 119762 92453 1922 922 0 111714 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 479048 KiB
Current children cumulated memory: 369812 KiB
Child status: 0
Real time (s): 3609.12
CPU time (s): 3600.02
CPU user time (s): 3585.71
CPU system time (s): 14.3153
CPU usage (%): 99.748
Max. virtual memory (cumulated for all children) (KiB): 479048
Max. memory (cumulated for all children) (KiB): 369812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.71
system time used= 14.3153
maximum resident set size= 369812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54667
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= 127
involuntary context switches= 2363
# summary of solver processes directly reported to runsolver:
# pid: 1056398
# total CPU time (s): 3600.02
# total CPU user time (s): 3585.71
# total CPU system time (s): 14.3153
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5477 second user time and 38.8596 second system time
The end
Begin job on nodeC005 at 2024-07-20 08:54:33 IDJOB=4455121 IDBENCH=147540 IDSOLVER=3084 FILE ID=nodeC005/4455121-1721458461 RUNJOBID= nodeC005-1721458472-1056348 SLURM_JOB_ID= 7545703 Free space on /tmp= 723784 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455121-1721458461/watcher-4455121-1721458461 -o /tmp/evaluation-result-4455121-1721458461/solver-4455121-1721458461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721458472-1056348 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455121-1721458461.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc RANDOM SEED=1503439480 nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.189 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.189 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.181 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.185 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.187 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.178 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.180 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1194.637 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124265800 kB MemAvailable: 129845964 kB Buffers: 559432 kB Cached: 5800708 kB SwapCached: 0 kB Active: 1174988 kB Inactive: 5510680 kB Active(anon): 3336 kB Inactive(anon): 368168 kB Active(file): 1171652 kB Inactive(file): 5142512 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20836 kB Writeback: 0 kB AnonPages: 324824 kB Mapped: 108592 kB Shmem: 45896 kB KReclaimable: 212400 kB Slab: 332744 kB SReclaimable: 212400 kB SUnreclaim: 120344 kB KernelStack: 3716 kB PageTables: 9584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 649932 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62336 kB HardwareCorrupted: 0 kB AnonHugePages: 200704 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: 303944 kB DirectMap2M: 40495104 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723760 MiB End job on nodeC005 at 2024-07-20 09:54:42