| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | SAT (TO) | 195 | 3600.07 | 3609.67 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb |
| MD5SUM | f4fbd70ee8b80515313bebcddc52f82a |
| 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 | 181 |
| 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 | 476 |
| Total number of constraints | 476 |
| 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 | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 476 |
| 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 | 476 |
| 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 | 476 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c RoundingSat 2 0.00/0.01 c branch 0.00/0.01 c commit 0.00/0.02 c #variables 476 #constraints 476 0.49/0.59 c bounds - >= 0 @ 0.008351 0.49/0.59 c bounds 229 >= 0 @ 0.37764 0.49/0.59 c bounds 229 >= 1 @ 0.378305 0.49/0.59 c bounds 229 >= 2 @ 0.378878 0.49/0.59 c bounds 229 >= 3 @ 0.379418 0.49/0.59 c bounds 229 >= 4 @ 0.379962 0.49/0.59 c bounds 229 >= 5 @ 0.380505 0.49/0.59 c bounds 229 >= 6 @ 0.381043 0.49/0.59 c bounds 229 >= 7 @ 0.381601 0.49/0.59 c bounds 229 >= 8 @ 0.382166 0.49/0.59 c bounds 229 >= 9 @ 0.38273 0.49/0.59 c bounds 229 >= 10 @ 0.38337 0.49/0.59 c bounds 229 >= 11 @ 0.383966 0.49/0.59 c bounds 229 >= 12 @ 0.384576 0.49/0.59 c bounds 229 >= 13 @ 0.385168 0.49/0.59 c bounds 229 >= 14 @ 0.385766 0.49/0.59 c bounds 229 >= 15 @ 0.386356 0.49/0.59 c bounds 229 >= 16 @ 0.386961 0.49/0.59 c bounds 229 >= 17 @ 0.38755 0.49/0.59 c bounds 229 >= 18 @ 0.388172 0.49/0.59 c bounds 229 >= 19 @ 0.388765 0.49/0.59 c bounds 229 >= 20 @ 0.3894 0.49/0.59 c bounds 229 >= 21 @ 0.390004 0.49/0.59 c bounds 229 >= 22 @ 0.390629 0.49/0.59 c bounds 229 >= 23 @ 0.390726 0.49/0.59 c bounds 229 >= 24 @ 0.390973 0.49/0.59 c bounds 229 >= 25 @ 0.391563 0.49/0.59 c bounds 229 >= 26 @ 0.391724 0.49/0.59 c bounds 229 >= 27 @ 0.391915 0.49/0.59 c bounds 229 >= 28 @ 0.392524 0.49/0.59 c bounds 229 >= 29 @ 0.393172 0.49/0.59 c bounds 229 >= 30 @ 0.393842 0.49/0.59 c bounds 228 >= 30 @ 0.435576 0.49/0.59 c bounds 228 >= 31 @ 0.436309 0.49/0.59 c bounds 228 >= 32 @ 0.43701 0.49/0.59 c bounds 228 >= 33 @ 0.43771 0.49/0.59 c bounds 228 >= 34 @ 0.438407 0.49/0.59 c bounds 228 >= 35 @ 0.438492 0.49/0.59 c bounds 228 >= 36 @ 0.438492 0.49/0.59 c bounds 228 >= 37 @ 0.439204 0.49/0.59 c bounds 228 >= 38 @ 0.439484 0.49/0.59 c bounds 228 >= 39 @ 0.439689 0.49/0.59 c bounds 228 >= 40 @ 0.440345 0.49/0.59 c bounds 228 >= 41 @ 0.440478 0.49/0.59 c bounds 228 >= 42 @ 0.440852 0.49/0.59 c bounds 228 >= 43 @ 0.441553 0.49/0.59 c bounds 228 >= 44 @ 0.442278 0.49/0.59 c bounds 228 >= 45 @ 0.442464 0.49/0.59 c bounds 228 >= 46 @ 0.442464 0.49/0.59 c bounds 228 >= 47 @ 0.442619 0.49/0.59 c bounds 228 >= 48 @ 0.443288 0.49/0.59 c bounds 228 >= 49 @ 0.444051 0.49/0.59 c bounds 228 >= 50 @ 0.444798 0.49/0.59 c bounds 228 >= 51 @ 0.445578 0.49/0.59 c bounds 228 >= 52 @ 0.446349 0.49/0.59 c bounds 228 >= 53 @ 0.446438 0.49/0.59 c bounds 228 >= 54 @ 0.446868 0.49/0.59 c bounds 228 >= 55 @ 0.447571 0.49/0.59 c bounds 228 >= 56 @ 0.448292 0.49/0.59 c bounds 228 >= 57 @ 0.448424 0.49/0.59 c bounds 228 >= 58 @ 0.448424 0.49/0.59 c bounds 228 >= 59 @ 0.448458 0.49/0.59 c bounds 228 >= 60 @ 0.4492 0.49/0.59 c bounds 228 >= 61 @ 0.449944 0.49/0.59 c bounds 228 >= 62 @ 0.450687 0.49/0.59 c bounds 228 >= 63 @ 0.451435 0.49/0.59 c bounds 228 >= 64 @ 0.452203 0.49/0.59 c bounds 228 >= 65 @ 0.452972 0.49/0.59 c bounds 228 >= 66 @ 0.453748 0.49/0.59 c bounds 228 >= 67 @ 0.454497 0.49/0.59 c bounds 228 >= 68 @ 0.455289 0.49/0.59 c bounds 228 >= 69 @ 0.455377 0.49/0.59 c bounds 228 >= 70 @ 0.455377 0.49/0.59 c bounds 228 >= 71 @ 0.455377 0.49/0.59 c bounds 228 >= 72 @ 0.455377 0.49/0.59 c bounds 228 >= 73 @ 0.456107 0.49/0.59 c bounds 228 >= 74 @ 0.456366 0.49/0.59 c bounds 228 >= 75 @ 0.45677 0.49/0.59 c bounds 228 >= 76 @ 0.457562 0.49/0.59 c bounds 228 >= 77 @ 0.458377 0.49/0.59 c bounds 228 >= 78 @ 0.45917 0.49/0.59 c bounds 228 >= 79 @ 0.459349 0.49/0.59 c bounds 228 >= 80 @ 0.459777 0.49/0.59 c bounds 228 >= 81 @ 0.460587 0.49/0.59 c bounds 228 >= 82 @ 0.461382 0.49/0.59 c bounds 228 >= 83 @ 0.462139 0.49/0.59 c bounds 228 >= 84 @ 0.462331 0.49/0.59 c bounds 228 >= 85 @ 0.462761 0.49/0.59 c bounds 228 >= 86 @ 0.463564 0.49/0.59 c bounds 228 >= 87 @ 0.464379 0.49/0.59 c bounds 228 >= 88 @ 0.465168 0.49/0.59 c bounds 228 >= 89 @ 0.465943 0.49/0.59 c bounds 228 >= 90 @ 0.466719 0.49/0.59 c bounds 228 >= 91 @ 0.467586 0.49/0.59 c bounds 228 >= 92 @ 0.468437 0.49/0.59 c bounds 228 >= 93 @ 0.469289 0.49/0.59 c bounds 228 >= 94 @ 0.469289 0.49/0.59 c bounds 228 >= 95 @ 0.469289 0.49/0.59 c bounds 228 >= 96 @ 0.469289 0.49/0.59 c bounds 228 >= 97 @ 0.469791 0.49/0.59 c bounds 228 >= 98 @ 0.470675 0.49/0.59 c bounds 228 >= 99 @ 0.471155 0.49/0.59 c bounds 228 >= 100 @ 0.471546 0.49/0.59 c bounds 228 >= 101 @ 0.472395 0.49/0.59 c bounds 228 >= 102 @ 0.473275 0.49/0.59 c bounds 228 >= 103 @ 0.474148 0.49/0.59 c bounds 228 >= 104 @ 0.474254 0.49/0.59 c bounds 228 >= 105 @ 0.474254 0.49/0.59 c bounds 228 >= 106 @ 0.474761 0.49/0.59 c bounds 228 >= 107 @ 0.475692 0.49/0.59 c bounds 228 >= 108 @ 0.476543 0.49/0.59 c bounds 228 >= 109 @ 0.477481 0.49/0.59 c bounds 228 >= 110 @ 0.478412 0.49/0.59 c bounds 228 >= 111 @ 0.479286 0.49/0.59 c bounds 228 >= 112 @ 0.480238 0.49/0.59 c bounds 228 >= 113 @ 0.481144 0.49/0.59 c bounds 228 >= 114 @ 0.481211 0.49/0.59 c bounds 228 >= 115 @ 0.481211 0.49/0.59 c bounds 228 >= 116 @ 0.481838 0.49/0.59 c bounds 228 >= 117 @ 0.482759 0.49/0.59 c bounds 228 >= 118 @ 0.483671 0.49/0.59 c bounds 228 >= 119 @ 0.484562 0.49/0.59 c bounds 228 >= 120 @ 0.485516 0.49/0.59 c bounds 228 >= 121 @ 0.486446 0.49/0.59 c bounds 228 >= 122 @ 0.487415 0.49/0.59 c bounds 228 >= 123 @ 0.488369 0.49/0.59 c bounds 228 >= 124 @ 0.489394 0.49/0.59 c bounds 228 >= 125 @ 0.490425 0.49/0.59 c bounds 228 >= 126 @ 0.491411 0.49/0.59 c bounds 228 >= 127 @ 0.492361 0.49/0.59 c bounds 228 >= 128 @ 0.49334 0.49/0.59 c bounds 228 >= 129 @ 0.494913 0.49/0.59 c bounds 228 >= 130 @ 0.496049 0.49/0.59 c bounds 228 >= 131 @ 0.497358 0.49/0.59 c bounds 228 >= 132 @ 0.498677 0.49/0.59 c bounds 228 >= 133 @ 0.500783 0.49/0.59 c bounds 228 >= 134 @ 0.50191 1.56/1.68 c bounds 228 >= 135 @ 0.502102 1.56/1.68 c bounds 228 >= 136 @ 0.504537 1.56/1.68 c bounds 228 >= 137 @ 0.506736 1.56/1.68 c bounds 228 >= 138 @ 0.510021 1.56/1.68 c bounds 228 >= 139 @ 0.525961 1.56/1.68 c bounds 227 >= 139 @ 0.542958 1.56/1.68 c bounds 227 >= 140 @ 0.582121 1.56/1.68 c bounds 226 >= 140 @ 0.586481 1.56/1.68 c bounds 225 >= 140 @ 0.589124 1.56/1.68 c bounds 224 >= 140 @ 0.592823 1.56/1.68 c bounds 223 >= 140 @ 0.6016 1.56/1.68 c bounds 222 >= 140 @ 0.627822 1.56/1.68 c #Conflicts: 1000 | #Constraints: 2194 1.56/1.68 c bounds 222 >= 141 @ 0.797761 1.56/1.68 c bounds 221 >= 141 @ 0.80241 1.56/1.68 c bounds 220 >= 141 @ 0.804237 1.56/1.68 c bounds 219 >= 141 @ 0.813537 1.56/1.68 c bounds 218 >= 141 @ 0.878694 1.56/1.68 c bounds 217 >= 141 @ 0.895255 1.56/1.68 c bounds 216 >= 141 @ 0.900029 1.56/1.68 c bounds 215 >= 141 @ 0.909327 1.56/1.68 c bounds 214 >= 141 @ 0.998559 1.56/1.68 c #Conflicts: 2000 | #Constraints: 3262 1.56/1.68 c INPROCESSING 1.56/1.68 c GARBAGE COLLECT 1.56/1.68 c rational objective 141.207 2.56/2.69 c bounds 213 >= 141 @ 1.47073 2.56/2.69 c #Conflicts: 3000 | #Constraints: 3150 2.56/2.69 c bounds 212 >= 141 @ 1.93976 2.56/2.69 c #Conflicts: 4000 | #Constraints: 4151 2.56/2.69 c bounds 212 >= 142 @ 2.16309 2.56/2.69 c INPROCESSING 2.56/2.69 c GARBAGE COLLECT 2.56/2.69 c rational objective 142 3.25/3.39 c #Conflicts: 5000 | #Constraints: 3619 3.25/3.39 c bounds 212 >= 143 @ 2.82782 3.25/3.39 c bounds 211 >= 143 @ 2.83388 3.25/3.39 c bounds 210 >= 143 @ 2.83947 3.25/3.39 c bounds 209 >= 143 @ 2.84251 3.25/3.39 c bounds 208 >= 143 @ 2.84399 3.25/3.39 c #Conflicts: 6000 | #Constraints: 4668 3.25/3.39 c bounds 207 >= 143 @ 2.92812 3.25/3.39 c bounds 206 >= 143 @ 2.96106 3.25/3.39 c INPROCESSING 3.25/3.39 c GARBAGE COLLECT 3.25/3.39 c rational objective 143 4.36/4.40 c #Conflicts: 7000 | #Constraints: 3614 4.36/4.40 c #Conflicts: 8000 | #Constraints: 4614 4.36/4.40 c bounds 205 >= 143 @ 3.78417 4.36/4.40 c #Conflicts: 9000 | #Constraints: 5615 4.36/4.40 c INPROCESSING 4.36/4.40 c GARBAGE COLLECT 4.36/4.40 c rational objective 143 5.25/5.38 c #Conflicts: 10000 | #Constraints: 4366 5.25/5.38 c #Conflicts: 11000 | #Constraints: 5366 5.25/5.38 c #Conflicts: 12000 | #Constraints: 6366 5.25/5.38 c INPROCESSING 5.25/5.38 c GARBAGE COLLECT 5.25/5.38 c rational objective 143 6.35/6.43 c bounds 204 >= 143 @ 4.98892 6.35/6.43 c bounds 203 >= 143 @ 4.99742 6.35/6.43 c #Conflicts: 13000 | #Constraints: 4844 6.35/6.43 c #Conflicts: 14000 | #Constraints: 5844 6.35/6.43 c #Conflicts: 15000 | #Constraints: 6844 6.35/6.43 c INPROCESSING 6.35/6.43 c GARBAGE COLLECT 6.35/6.43 c rational objective 143 7.74/7.86 c #Conflicts: 16000 | #Constraints: 5037 7.74/7.86 c bounds 203 >= 144 @ 6.57063 7.74/7.86 c #Conflicts: 17000 | #Constraints: 6079 7.74/7.86 c #Conflicts: 18000 | #Constraints: 7079 7.74/7.86 c INPROCESSING 7.74/7.86 c GARBAGE COLLECT 7.74/7.86 c rational objective 144 15.05/15.20 c bounds 202 >= 144 @ 7.33041 15.05/15.20 c bounds 201 >= 144 @ 7.33372 15.05/15.20 c #Conflicts: 19000 | #Constraints: 5129 15.05/15.20 c #Conflicts: 20000 | #Constraints: 6129 15.05/15.20 c bounds 200 >= 144 @ 7.8998 15.05/15.20 c #Conflicts: 21000 | #Constraints: 7130 15.05/15.20 c #Conflicts: 22000 | #Constraints: 8130 15.05/15.20 c #Conflicts: 23000 | #Constraints: 9130 15.05/15.20 c #Conflicts: 24000 | #Constraints: 10130 15.05/15.20 c #Conflicts: 25000 | #Constraints: 11130 15.05/15.20 c #Conflicts: 26000 | #Constraints: 12130 15.05/15.20 c #Conflicts: 27000 | #Constraints: 13130 15.05/15.20 c bounds 200 >= 145 @ 13.727 15.05/15.20 c #Conflicts: 28000 | #Constraints: 14187 15.05/15.20 c INPROCESSING 15.05/15.20 c GARBAGE COLLECT 15.05/15.20 c rational objective 145 17.83/17.90 c #Conflicts: 29000 | #Constraints: 8358 17.83/17.90 c #Conflicts: 30000 | #Constraints: 9358 17.83/17.90 c #Conflicts: 31000 | #Constraints: 10358 17.83/17.90 c #Conflicts: 32000 | #Constraints: 11358 17.83/17.90 c #Conflicts: 33000 | #Constraints: 12358 17.83/17.90 c INPROCESSING 17.83/17.90 c GARBAGE COLLECT 17.83/17.90 c rational objective 145 20.42/20.52 c #Conflicts: 34000 | #Constraints: 7701 20.42/20.52 c #Conflicts: 35000 | #Constraints: 8701 20.42/20.52 c #Conflicts: 36000 | #Constraints: 9701 20.42/20.52 c #Conflicts: 37000 | #Constraints: 10701 20.42/20.52 c #Conflicts: 38000 | #Constraints: 11701 20.42/20.52 c INPROCESSING 20.42/20.52 c GARBAGE COLLECT 20.42/20.52 c rational objective 145 23.21/23.39 c #Conflicts: 39000 | #Constraints: 7517 23.21/23.39 c #Conflicts: 40000 | #Constraints: 8517 23.21/23.39 c #Conflicts: 41000 | #Constraints: 9517 23.21/23.39 c #Conflicts: 42000 | #Constraints: 10517 23.21/23.39 c INPROCESSING 23.21/23.39 c GARBAGE COLLECT 23.21/23.39 c rational objective 145 42.66/42.87 c #Conflicts: 43000 | #Constraints: 6558 42.66/42.87 c #Conflicts: 44000 | #Constraints: 7558 42.66/42.87 c bounds 199 >= 145 @ 24.0971 42.66/42.87 c #Conflicts: 45000 | #Constraints: 8559 42.66/42.87 c #Conflicts: 46000 | #Constraints: 9559 42.66/42.87 c #Conflicts: 47000 | #Constraints: 10559 42.66/42.87 c #Conflicts: 48000 | #Constraints: 11559 42.66/42.87 c #Conflicts: 49000 | #Constraints: 12559 42.66/42.87 c #Conflicts: 50000 | #Constraints: 13559 42.66/42.87 c #Conflicts: 51000 | #Constraints: 14559 42.66/42.87 c #Conflicts: 52000 | #Constraints: 15559 42.66/42.87 c #Conflicts: 53000 | #Constraints: 16559 42.66/42.87 c #Conflicts: 54000 | #Constraints: 17559 42.66/42.87 c #Conflicts: 55000 | #Constraints: 18559 42.66/42.87 c #Conflicts: 56000 | #Constraints: 19559 42.66/42.87 c #Conflicts: 57000 | #Constraints: 20559 42.66/42.87 c #Conflicts: 58000 | #Constraints: 21559 42.66/42.87 c INPROCESSING 42.66/42.87 c GARBAGE COLLECT 42.66/42.87 c rational objective 145 46.96/47.19 c #Conflicts: 59000 | #Constraints: 12125 46.96/47.19 c #Conflicts: 60000 | #Constraints: 13125 46.96/47.19 c #Conflicts: 61000 | #Constraints: 14125 46.96/47.19 c #Conflicts: 62000 | #Constraints: 15125 46.96/47.19 c #Conflicts: 63000 | #Constraints: 16125 46.96/47.19 c #Conflicts: 64000 | #Constraints: 17125 46.96/47.19 c bounds 198 >= 145 @ 45.3716 46.96/47.19 c #Conflicts: 65000 | #Constraints: 18126 46.96/47.19 c INPROCESSING 46.96/47.19 c GARBAGE COLLECT 46.96/47.19 c rational objective 145 50.74/50.99 c #Conflicts: 66000 | #Constraints: 10725 50.74/50.99 c #Conflicts: 67000 | #Constraints: 11725 50.74/50.99 c #Conflicts: 68000 | #Constraints: 12725 50.74/50.99 c #Conflicts: 69000 | #Constraints: 13725 50.74/50.99 c #Conflicts: 70000 | #Constraints: 14725 50.74/50.99 c #Conflicts: 71000 | #Constraints: 15725 50.74/50.99 c INPROCESSING 50.74/50.99 c GARBAGE COLLECT 50.74/50.99 c rational objective 145 99.71/100.10 c #Conflicts: 72000 | #Constraints: 9329 99.71/100.10 c #Conflicts: 73000 | #Constraints: 10329 99.71/100.10 c #Conflicts: 74000 | #Constraints: 11329 99.71/100.10 c #Conflicts: 75000 | #Constraints: 12329 99.71/100.10 c #Conflicts: 76000 | #Constraints: 13329 99.71/100.10 c #Conflicts: 77000 | #Constraints: 14329 99.71/100.10 c #Conflicts: 78000 | #Constraints: 15329 99.71/100.10 c #Conflicts: 79000 | #Constraints: 16329 99.71/100.10 c #Conflicts: 80000 | #Constraints: 17329 99.71/100.10 c #Conflicts: 81000 | #Constraints: 18329 99.71/100.10 c #Conflicts: 82000 | #Constraints: 19329 99.71/100.10 c #Conflicts: 83000 | #Constraints: 20329 99.71/100.10 c #Conflicts: 84000 | #Constraints: 21329 99.71/100.10 c #Conflicts: 85000 | #Constraints: 22329 99.71/100.10 c #Conflicts: 86000 | #Constraints: 23329 99.71/100.10 c #Conflicts: 87000 | #Constraints: 24329 99.71/100.10 c #Conflicts: 88000 | #Constraints: 25329 99.71/100.10 c #Conflicts: 89000 | #Constraints: 26329 99.71/100.10 c #Conflicts: 90000 | #Constraints: 27329 99.71/100.10 c #Conflicts: 91000 | #Constraints: 28329 99.71/100.10 c INPROCESSING 99.71/100.10 c GARBAGE COLLECT 99.71/100.10 c rational objective 145 123.93/124.38 c #Conflicts: 92000 | #Constraints: 15594 123.93/124.38 c #Conflicts: 93000 | #Constraints: 16594 123.93/124.38 c #Conflicts: 94000 | #Constraints: 17594 123.93/124.38 c #Conflicts: 95000 | #Constraints: 18594 123.93/124.38 c #Conflicts: 96000 | #Constraints: 19594 123.93/124.38 c #Conflicts: 97000 | #Constraints: 20594 123.93/124.38 c #Conflicts: 98000 | #Constraints: 21594 123.93/124.38 c #Conflicts: 99000 | #Constraints: 22594 123.93/124.38 c INPROCESSING 123.93/124.38 c GARBAGE COLLECT 123.93/124.38 c rational objective 145 132.73/133.15 c #Conflicts: 100000 | #Constraints: 12948 132.73/133.15 c #Conflicts: 101000 | #Constraints: 13948 132.73/133.15 c #Conflicts: 102000 | #Constraints: 14948 132.73/133.15 c #Conflicts: 103000 | #Constraints: 15948 132.73/133.15 c #Conflicts: 104000 | #Constraints: 16948 132.73/133.15 c #Conflicts: 105000 | #Constraints: 17948 132.73/133.15 c #Conflicts: 106000 | #Constraints: 18948 132.73/133.15 c #Conflicts: 107000 | #Constraints: 19948 132.73/133.15 c INPROCESSING 132.73/133.15 c GARBAGE COLLECT 132.73/133.15 c rational objective 145 178.09/178.69 c #Conflicts: 108000 | #Constraints: 11680 178.09/178.69 c #Conflicts: 109000 | #Constraints: 12680 178.09/178.69 c #Conflicts: 110000 | #Constraints: 13680 178.09/178.69 c #Conflicts: 111000 | #Constraints: 14680 178.09/178.69 c bounds 198 >= 146 @ 134.516 178.09/178.69 c #Conflicts: 112000 | #Constraints: 15728 178.09/178.69 c #Conflicts: 113000 | #Constraints: 16728 178.09/178.69 c #Conflicts: 114000 | #Constraints: 17728 178.09/178.69 c #Conflicts: 115000 | #Constraints: 18728 178.09/178.69 c #Conflicts: 116000 | #Constraints: 19728 178.09/178.69 c #Conflicts: 117000 | #Constraints: 20728 178.09/178.69 c #Conflicts: 118000 | #Constraints: 21728 178.09/178.69 c #Conflicts: 119000 | #Constraints: 22728 178.09/178.69 c #Conflicts: 120000 | #Constraints: 23728 178.09/178.69 c #Conflicts: 121000 | #Constraints: 24728 178.09/178.69 c #Conflicts: 122000 | #Constraints: 25728 178.09/178.69 c #Conflicts: 123000 | #Constraints: 26728 178.09/178.69 c #Conflicts: 124000 | #Constraints: 27728 178.09/178.69 c #Conflicts: 125000 | #Constraints: 28728 178.09/178.69 c #Conflicts: 126000 | #Constraints: 29728 178.09/178.69 c #Conflicts: 127000 | #Constraints: 30728 178.09/178.69 c #Conflicts: 128000 | #Constraints: 31728 178.09/178.69 c #Conflicts: 129000 | #Constraints: 32728 178.09/178.69 c #Conflicts: 130000 | #Constraints: 33728 178.09/178.69 c #Conflicts: 131000 | #Constraints: 34728 178.09/178.69 c INPROCESSING 178.09/178.69 c GARBAGE COLLECT 178.09/178.69 c rational objective 146 190.64/191.24 c #Conflicts: 132000 | #Constraints: 18951 190.64/191.24 c #Conflicts: 133000 | #Constraints: 19951 190.64/191.24 c #Conflicts: 134000 | #Constraints: 20951 190.64/191.24 c bounds 197 >= 146 @ 177.893 190.64/191.24 c #Conflicts: 135000 | #Constraints: 21952 190.64/191.24 c #Conflicts: 136000 | #Constraints: 22952 190.64/191.24 c #Conflicts: 137000 | #Constraints: 23952 190.64/191.24 c #Conflicts: 138000 | #Constraints: 24952 190.64/191.24 c #Conflicts: 139000 | #Constraints: 25952 190.64/191.24 c #Conflicts: 140000 | #Constraints: 26952 190.64/191.24 c INPROCESSING 190.64/191.24 c GARBAGE COLLECT 190.64/191.24 c rational objective 146 253.93/254.73 c #Conflicts: 141000 | #Constraints: 14878 253.93/254.73 c #Conflicts: 142000 | #Constraints: 15878 253.93/254.73 c #Conflicts: 143000 | #Constraints: 16878 253.93/254.73 c #Conflicts: 144000 | #Constraints: 17878 253.93/254.73 c #Conflicts: 145000 | #Constraints: 18878 253.93/254.73 c #Conflicts: 146000 | #Constraints: 19878 253.93/254.73 c #Conflicts: 147000 | #Constraints: 20878 253.93/254.73 c #Conflicts: 148000 | #Constraints: 21878 253.93/254.73 c #Conflicts: 149000 | #Constraints: 22878 253.93/254.73 c #Conflicts: 150000 | #Constraints: 23878 253.93/254.73 c #Conflicts: 151000 | #Constraints: 24878 253.93/254.73 c #Conflicts: 152000 | #Constraints: 25878 253.93/254.73 c #Conflicts: 153000 | #Constraints: 26878 253.93/254.73 c #Conflicts: 154000 | #Constraints: 27878 253.93/254.73 c #Conflicts: 155000 | #Constraints: 28878 253.93/254.73 c #Conflicts: 156000 | #Constraints: 29878 253.93/254.73 c #Conflicts: 157000 | #Constraints: 30878 253.93/254.73 c #Conflicts: 158000 | #Constraints: 31878 253.93/254.73 c #Conflicts: 159000 | #Constraints: 32878 253.93/254.73 c #Conflicts: 160000 | #Constraints: 33878 253.93/254.73 c #Conflicts: 161000 | #Constraints: 34878 253.93/254.73 c #Conflicts: 162000 | #Constraints: 35878 253.93/254.73 c #Conflicts: 163000 | #Constraints: 36878 253.93/254.73 c #Conflicts: 164000 | #Constraints: 37878 253.93/254.73 c #Conflicts: 165000 | #Constraints: 38878 253.93/254.73 c #Conflicts: 166000 | #Constraints: 39878 253.93/254.73 c #Conflicts: 167000 | #Constraints: 40878 253.93/254.73 c #Conflicts: 168000 | #Constraints: 41878 253.93/254.73 c INPROCESSING 253.93/254.73 c GARBAGE COLLECT 253.93/254.73 c rational objective 146 269.37/270.27 c #Conflicts: 169000 | #Constraints: 22731 269.37/270.27 c #Conflicts: 170000 | #Constraints: 23732 269.37/270.27 c #Conflicts: 171000 | #Constraints: 24732 269.37/270.27 c #Conflicts: 172000 | #Constraints: 25732 269.37/270.27 c #Conflicts: 173000 | #Constraints: 26732 269.37/270.27 c #Conflicts: 174000 | #Constraints: 27732 269.37/270.27 c #Conflicts: 175000 | #Constraints: 28732 269.37/270.27 c #Conflicts: 176000 | #Constraints: 29732 269.37/270.27 c #Conflicts: 177000 | #Constraints: 30732 269.37/270.27 c #Conflicts: 178000 | #Constraints: 31732 269.37/270.27 c INPROCESSING 269.37/270.27 c GARBAGE COLLECT 269.37/270.27 c rational objective 146 344.71/345.85 c #Conflicts: 179000 | #Constraints: 17321 344.71/345.85 c #Conflicts: 180000 | #Constraints: 18321 344.71/345.85 c #Conflicts: 181000 | #Constraints: 19321 344.71/345.85 c #Conflicts: 182000 | #Constraints: 20321 344.71/345.85 c #Conflicts: 183000 | #Constraints: 21321 344.71/345.85 c #Conflicts: 184000 | #Constraints: 22321 344.71/345.85 c #Conflicts: 185000 | #Constraints: 23321 344.71/345.85 c #Conflicts: 186000 | #Constraints: 24321 344.71/345.85 c #Conflicts: 187000 | #Constraints: 25321 344.71/345.85 c #Conflicts: 188000 | #Constraints: 26321 344.71/345.85 c #Conflicts: 189000 | #Constraints: 27321 344.71/345.85 c #Conflicts: 190000 | #Constraints: 28321 344.71/345.85 c #Conflicts: 191000 | #Constraints: 29321 344.71/345.85 c #Conflicts: 192000 | #Constraints: 30321 344.71/345.85 c #Conflicts: 193000 | #Constraints: 31321 344.71/345.85 c #Conflicts: 194000 | #Constraints: 32321 344.71/345.85 c #Conflicts: 195000 | #Constraints: 33321 344.71/345.85 c #Conflicts: 196000 | #Constraints: 34321 344.71/345.85 c #Conflicts: 197000 | #Constraints: 35321 344.71/345.85 c #Conflicts: 198000 | #Constraints: 36321 344.71/345.85 c #Conflicts: 199000 | #Constraints: 37321 344.71/345.85 c #Conflicts: 200000 | #Constraints: 38321 344.71/345.85 c #Conflicts: 201000 | #Constraints: 39321 344.71/345.85 c #Conflicts: 202000 | #Constraints: 40321 344.71/345.85 c #Conflicts: 203000 | #Constraints: 41321 344.71/345.85 c #Conflicts: 204000 | #Constraints: 42321 344.71/345.85 c #Conflicts: 205000 | #Constraints: 43321 344.71/345.85 c #Conflicts: 206000 | #Constraints: 44321 344.71/345.85 c #Conflicts: 207000 | #Constraints: 45321 344.71/345.85 c #Conflicts: 208000 | #Constraints: 46321 344.71/345.85 c #Conflicts: 209000 | #Constraints: 47321 344.71/345.85 c INPROCESSING 344.71/345.85 c GARBAGE COLLECT 344.71/345.85 c rational objective 146 406.01/407.33 c #Conflicts: 210000 | #Constraints: 25373 406.01/407.33 c #Conflicts: 211000 | #Constraints: 26373 406.01/407.33 c #Conflicts: 212000 | #Constraints: 27373 406.01/407.33 c #Conflicts: 213000 | #Constraints: 28373 406.01/407.33 c #Conflicts: 214000 | #Constraints: 29373 406.01/407.33 c #Conflicts: 215000 | #Constraints: 30373 406.01/407.33 c #Conflicts: 216000 | #Constraints: 31373 406.01/407.33 c #Conflicts: 217000 | #Constraints: 32373 406.01/407.33 c #Conflicts: 218000 | #Constraints: 33373 406.01/407.33 c #Conflicts: 219000 | #Constraints: 34373 406.01/407.33 c #Conflicts: 220000 | #Constraints: 35373 406.01/407.33 c INPROCESSING 406.01/407.33 c GARBAGE COLLECT 406.01/407.33 c rational objective 146 433.42/434.81 c #Conflicts: 221000 | #Constraints: 19072 433.42/434.81 c #Conflicts: 222000 | #Constraints: 20072 433.42/434.81 c #Conflicts: 223000 | #Constraints: 21072 433.42/434.81 c #Conflicts: 224000 | #Constraints: 22072 433.42/434.81 c #Conflicts: 225000 | #Constraints: 23072 433.42/434.81 c #Conflicts: 226000 | #Constraints: 24072 433.42/434.81 c #Conflicts: 227000 | #Constraints: 25072 433.42/434.81 c #Conflicts: 228000 | #Constraints: 26072 433.42/434.81 c #Conflicts: 229000 | #Constraints: 27072 433.42/434.81 c #Conflicts: 230000 | #Constraints: 28072 433.42/434.81 c #Conflicts: 231000 | #Constraints: 29072 433.42/434.81 c #Conflicts: 232000 | #Constraints: 30072 433.42/434.81 c INPROCESSING 433.42/434.81 c GARBAGE COLLECT 433.42/434.81 c rational objective 146 549.15/551.00 c #Conflicts: 233000 | #Constraints: 16622 549.15/551.00 c #Conflicts: 234000 | #Constraints: 17622 549.15/551.00 c #Conflicts: 235000 | #Constraints: 18622 549.15/551.00 c #Conflicts: 236000 | #Constraints: 19622 549.15/551.00 c #Conflicts: 237000 | #Constraints: 20622 549.15/551.00 c #Conflicts: 238000 | #Constraints: 21622 549.15/551.00 c #Conflicts: 239000 | #Constraints: 22622 549.15/551.00 c #Conflicts: 240000 | #Constraints: 23622 549.15/551.00 c #Conflicts: 241000 | #Constraints: 24622 549.15/551.00 c #Conflicts: 242000 | #Constraints: 25622 549.15/551.00 c #Conflicts: 243000 | #Constraints: 26622 549.15/551.00 c #Conflicts: 244000 | #Constraints: 27622 549.15/551.00 c #Conflicts: 245000 | #Constraints: 28622 549.15/551.00 c #Conflicts: 246000 | #Constraints: 29622 549.15/551.00 c #Conflicts: 247000 | #Constraints: 30622 549.15/551.00 c #Conflicts: 248000 | #Constraints: 31622 549.15/551.00 c #Conflicts: 249000 | #Constraints: 32622 549.15/551.00 c #Conflicts: 250000 | #Constraints: 33622 549.15/551.00 c #Conflicts: 251000 | #Constraints: 34622 549.15/551.00 c #Conflicts: 252000 | #Constraints: 35622 549.15/551.00 c #Conflicts: 253000 | #Constraints: 36622 549.15/551.00 c #Conflicts: 254000 | #Constraints: 37622 549.15/551.00 c #Conflicts: 255000 | #Constraints: 38622 549.15/551.00 c #Conflicts: 256000 | #Constraints: 39622 549.15/551.00 c #Conflicts: 257000 | #Constraints: 40622 549.15/551.00 c #Conflicts: 258000 | #Constraints: 41622 549.15/551.00 c #Conflicts: 259000 | #Constraints: 42622 549.15/551.00 c #Conflicts: 260000 | #Constraints: 43622 549.15/551.00 c #Conflicts: 261000 | #Constraints: 44622 549.15/551.00 c #Conflicts: 262000 | #Constraints: 45622 549.15/551.00 c #Conflicts: 263000 | #Constraints: 46622 549.15/551.00 c #Conflicts: 264000 | #Constraints: 47622 549.15/551.00 c #Conflicts: 265000 | #Constraints: 48622 549.15/551.00 c #Conflicts: 266000 | #Constraints: 49622 549.15/551.00 c #Conflicts: 267000 | #Constraints: 50622 549.15/551.00 c INPROCESSING 549.15/551.00 c GARBAGE COLLECT 549.15/551.00 c rational objective 146 625.94/628.01 c #Conflicts: 268000 | #Constraints: 26772 625.94/628.01 c #Conflicts: 269000 | #Constraints: 27772 625.94/628.01 c #Conflicts: 270000 | #Constraints: 28772 625.94/628.01 c #Conflicts: 271000 | #Constraints: 29772 625.94/628.01 c #Conflicts: 272000 | #Constraints: 30772 625.94/628.01 c #Conflicts: 273000 | #Constraints: 31772 625.94/628.01 c #Conflicts: 274000 | #Constraints: 32772 625.94/628.01 c #Conflicts: 275000 | #Constraints: 33772 625.94/628.01 c #Conflicts: 276000 | #Constraints: 34772 625.94/628.01 c #Conflicts: 277000 | #Constraints: 35772 625.94/628.01 c #Conflicts: 278000 | #Constraints: 36772 625.94/628.01 c #Conflicts: 279000 | #Constraints: 37772 625.94/628.01 c #Conflicts: 280000 | #Constraints: 38772 625.94/628.01 c INPROCESSING 625.94/628.01 c GARBAGE COLLECT 625.94/628.01 c rational objective 146 658.56/660.60 c #Conflicts: 281000 | #Constraints: 20781 658.56/660.60 c #Conflicts: 282000 | #Constraints: 21781 658.56/660.60 c #Conflicts: 283000 | #Constraints: 22781 658.56/660.60 c #Conflicts: 284000 | #Constraints: 23781 658.56/660.60 c #Conflicts: 285000 | #Constraints: 24781 658.56/660.60 c #Conflicts: 286000 | #Constraints: 25781 658.56/660.60 c #Conflicts: 287000 | #Constraints: 26781 658.56/660.60 c #Conflicts: 288000 | #Constraints: 27781 658.56/660.60 c #Conflicts: 289000 | #Constraints: 28781 658.56/660.60 c #Conflicts: 290000 | #Constraints: 29781 658.56/660.60 c #Conflicts: 291000 | #Constraints: 30781 658.56/660.60 c #Conflicts: 292000 | #Constraints: 31781 658.56/660.60 c #Conflicts: 293000 | #Constraints: 32781 658.56/660.60 c #Conflicts: 294000 | #Constraints: 33781 658.56/660.60 c INPROCESSING 658.56/660.60 c GARBAGE COLLECT 658.56/660.60 c rational objective 146 808.10/810.54 c #Conflicts: 295000 | #Constraints: 19884 808.10/810.54 c #Conflicts: 296000 | #Constraints: 20884 808.10/810.54 c #Conflicts: 297000 | #Constraints: 21884 808.10/810.54 c #Conflicts: 298000 | #Constraints: 22884 808.10/810.54 c #Conflicts: 299000 | #Constraints: 23884 808.10/810.54 c #Conflicts: 300000 | #Constraints: 24884 808.10/810.54 c #Conflicts: 301000 | #Constraints: 25884 808.10/810.54 c #Conflicts: 302000 | #Constraints: 26884 808.10/810.54 c #Conflicts: 303000 | #Constraints: 27884 808.10/810.54 c #Conflicts: 304000 | #Constraints: 28884 808.10/810.54 c #Conflicts: 305000 | #Constraints: 29884 808.10/810.54 c #Conflicts: 306000 | #Constraints: 30884 808.10/810.54 c #Conflicts: 307000 | #Constraints: 31884 808.10/810.54 c #Conflicts: 308000 | #Constraints: 32884 808.10/810.54 c #Conflicts: 309000 | #Constraints: 33884 808.10/810.54 c #Conflicts: 310000 | #Constraints: 34884 808.10/810.54 c #Conflicts: 311000 | #Constraints: 35884 808.10/810.54 c #Conflicts: 312000 | #Constraints: 36884 808.10/810.54 c #Conflicts: 313000 | #Constraints: 37884 808.10/810.54 c #Conflicts: 314000 | #Constraints: 38884 808.10/810.54 c #Conflicts: 315000 | #Constraints: 39884 808.10/810.54 c #Conflicts: 316000 | #Constraints: 40884 808.10/810.54 c #Conflicts: 317000 | #Constraints: 41884 808.10/810.54 c #Conflicts: 318000 | #Constraints: 42884 808.10/810.54 c #Conflicts: 319000 | #Constraints: 43884 808.10/810.54 c #Conflicts: 320000 | #Constraints: 44884 808.10/810.54 c #Conflicts: 321000 | #Constraints: 45884 808.10/810.54 c #Conflicts: 322000 | #Constraints: 46884 808.10/810.54 c #Conflicts: 323000 | #Constraints: 47884 808.10/810.54 c #Conflicts: 324000 | #Constraints: 48884 808.10/810.54 c #Conflicts: 325000 | #Constraints: 49884 808.10/810.54 c #Conflicts: 326000 | #Constraints: 50884 808.10/810.54 c #Conflicts: 327000 | #Constraints: 51884 808.10/810.54 c #Conflicts: 328000 | #Constraints: 52884 808.10/810.54 c #Conflicts: 329000 | #Constraints: 53884 808.10/810.54 c #Conflicts: 330000 | #Constraints: 54884 808.10/810.54 c #Conflicts: 331000 | #Constraints: 55884 808.10/810.54 c #Conflicts: 332000 | #Constraints: 56884 808.10/810.54 c #Conflicts: 333000 | #Constraints: 57884 808.10/810.54 c INPROCESSING 808.10/810.54 c GARBAGE COLLECT 808.10/810.54 c rational objective 146 841.82/844.31 c #Conflicts: 334000 | #Constraints: 30648 841.82/844.31 c #Conflicts: 335000 | #Constraints: 31648 841.82/844.31 c #Conflicts: 336000 | #Constraints: 32648 841.82/844.31 c #Conflicts: 337000 | #Constraints: 33648 841.82/844.31 c #Conflicts: 338000 | #Constraints: 34648 841.82/844.31 c #Conflicts: 339000 | #Constraints: 35648 841.82/844.31 c #Conflicts: 340000 | #Constraints: 36648 841.82/844.31 c #Conflicts: 341000 | #Constraints: 37648 841.82/844.31 c #Conflicts: 342000 | #Constraints: 38648 841.82/844.31 c #Conflicts: 343000 | #Constraints: 39648 841.82/844.31 c #Conflicts: 344000 | #Constraints: 40648 841.82/844.31 c #Conflicts: 345000 | #Constraints: 41648 841.82/844.31 c #Conflicts: 346000 | #Constraints: 42648 841.82/844.31 c #Conflicts: 347000 | #Constraints: 43648 841.82/844.31 c #Conflicts: 348000 | #Constraints: 44648 841.82/844.31 c INPROCESSING 841.82/844.31 c GARBAGE COLLECT 841.82/844.31 c rational objective 146 1021.97/1024.94 c #Conflicts: 349000 | #Constraints: 24030 1021.97/1024.94 c #Conflicts: 350000 | #Constraints: 25030 1021.97/1024.94 c #Conflicts: 351000 | #Constraints: 26030 1021.97/1024.94 c #Conflicts: 352000 | #Constraints: 27030 1021.97/1024.94 c #Conflicts: 353000 | #Constraints: 28030 1021.97/1024.94 c #Conflicts: 354000 | #Constraints: 29030 1021.97/1024.94 c #Conflicts: 355000 | #Constraints: 30030 1021.97/1024.94 c #Conflicts: 356000 | #Constraints: 31030 1021.97/1024.94 c #Conflicts: 357000 | #Constraints: 32030 1021.97/1024.94 c #Conflicts: 358000 | #Constraints: 33030 1021.97/1024.94 c #Conflicts: 359000 | #Constraints: 34030 1021.97/1024.94 c #Conflicts: 360000 | #Constraints: 35030 1021.97/1024.94 c #Conflicts: 361000 | #Constraints: 36030 1021.97/1024.94 c #Conflicts: 362000 | #Constraints: 37030 1021.97/1024.94 c #Conflicts: 363000 | #Constraints: 38030 1021.97/1024.94 c #Conflicts: 364000 | #Constraints: 39030 1021.97/1024.94 c #Conflicts: 365000 | #Constraints: 40030 1021.97/1024.94 c #Conflicts: 366000 | #Constraints: 41030 1021.97/1024.94 c #Conflicts: 367000 | #Constraints: 42030 1021.97/1024.94 c #Conflicts: 368000 | #Constraints: 43030 1021.97/1024.94 c #Conflicts: 369000 | #Constraints: 44030 1021.97/1024.94 c #Conflicts: 370000 | #Constraints: 45030 1021.97/1024.94 c #Conflicts: 371000 | #Constraints: 46030 1021.97/1024.94 c #Conflicts: 372000 | #Constraints: 47030 1021.97/1024.94 c #Conflicts: 373000 | #Constraints: 48030 1021.97/1024.94 c #Conflicts: 374000 | #Constraints: 49030 1021.97/1024.94 c #Conflicts: 375000 | #Constraints: 50030 1021.97/1024.94 c #Conflicts: 376000 | #Constraints: 51030 1021.97/1024.94 c #Conflicts: 377000 | #Constraints: 52030 1021.97/1024.94 c #Conflicts: 378000 | #Constraints: 53030 1021.97/1024.94 c #Conflicts: 379000 | #Constraints: 54030 1021.97/1024.94 c #Conflicts: 380000 | #Constraints: 55030 1021.97/1024.94 c #Conflicts: 381000 | #Constraints: 56030 1021.97/1024.94 c #Conflicts: 382000 | #Constraints: 57030 1021.97/1024.94 c #Conflicts: 383000 | #Constraints: 58030 1021.97/1024.94 c #Conflicts: 384000 | #Constraints: 59030 1021.97/1024.94 c #Conflicts: 385000 | #Constraints: 60030 1021.97/1024.94 c #Conflicts: 386000 | #Constraints: 61030 1021.97/1024.94 c #Conflicts: 387000 | #Constraints: 62030 1021.97/1024.94 c #Conflicts: 388000 | #Constraints: 63030 1021.97/1024.94 c #Conflicts: 389000 | #Constraints: 64030 1021.97/1024.94 c #Conflicts: 390000 | #Constraints: 65030 1021.97/1024.94 c INPROCESSING 1021.97/1024.94 c GARBAGE COLLECT 1021.97/1024.94 c rational objective 146 1132.92/1136.18 c #Conflicts: 391000 | #Constraints: 34216 1132.92/1136.18 c #Conflicts: 392000 | #Constraints: 35216 1132.92/1136.18 c #Conflicts: 393000 | #Constraints: 36216 1132.92/1136.18 c #Conflicts: 394000 | #Constraints: 37216 1132.92/1136.18 c #Conflicts: 395000 | #Constraints: 38216 1132.92/1136.18 c #Conflicts: 396000 | #Constraints: 39216 1132.92/1136.18 c #Conflicts: 397000 | #Constraints: 40216 1132.92/1136.18 c #Conflicts: 398000 | #Constraints: 41216 1132.92/1136.18 c #Conflicts: 399000 | #Constraints: 42216 1132.92/1136.18 c #Conflicts: 400000 | #Constraints: 43216 1132.92/1136.18 c #Conflicts: 401000 | #Constraints: 44216 1132.92/1136.18 c #Conflicts: 402000 | #Constraints: 45216 1132.92/1136.18 c #Conflicts: 403000 | #Constraints: 46216 1132.92/1136.18 c #Conflicts: 404000 | #Constraints: 47216 1132.92/1136.18 c #Conflicts: 405000 | #Constraints: 48216 1132.92/1136.18 c #Conflicts: 406000 | #Constraints: 49216 1132.92/1136.18 c INPROCESSING 1132.92/1136.18 c GARBAGE COLLECT 1132.92/1136.18 c rational objective 146 1194.67/1198.11 c #Conflicts: 407000 | #Constraints: 26357 1194.67/1198.11 c #Conflicts: 408000 | #Constraints: 27357 1194.67/1198.11 c #Conflicts: 409000 | #Constraints: 28357 1194.67/1198.11 c #Conflicts: 410000 | #Constraints: 29357 1194.67/1198.11 c #Conflicts: 411000 | #Constraints: 30357 1194.67/1198.11 c #Conflicts: 412000 | #Constraints: 31357 1194.67/1198.11 c #Conflicts: 413000 | #Constraints: 32357 1194.67/1198.11 c #Conflicts: 414000 | #Constraints: 33357 1194.67/1198.11 c #Conflicts: 415000 | #Constraints: 34357 1194.67/1198.11 c #Conflicts: 416000 | #Constraints: 35357 1194.67/1198.11 c #Conflicts: 417000 | #Constraints: 36357 1194.67/1198.11 c #Conflicts: 418000 | #Constraints: 37357 1194.67/1198.11 c #Conflicts: 419000 | #Constraints: 38357 1194.67/1198.11 c #Conflicts: 420000 | #Constraints: 39357 1194.67/1198.11 c #Conflicts: 421000 | #Constraints: 40357 1194.67/1198.11 c #Conflicts: 422000 | #Constraints: 41357 1194.67/1198.11 c INPROCESSING 1194.67/1198.11 c GARBAGE COLLECT 1194.67/1198.11 c rational objective 146 1383.90/1387.76 c #Conflicts: 423000 | #Constraints: 25792 1383.90/1387.76 c #Conflicts: 424000 | #Constraints: 26792 1383.90/1387.76 c #Conflicts: 425000 | #Constraints: 27792 1383.90/1387.76 c #Conflicts: 426000 | #Constraints: 28792 1383.90/1387.76 c #Conflicts: 427000 | #Constraints: 29792 1383.90/1387.76 c #Conflicts: 428000 | #Constraints: 30792 1383.90/1387.76 c #Conflicts: 429000 | #Constraints: 31792 1383.90/1387.76 c #Conflicts: 430000 | #Constraints: 32792 1383.90/1387.76 c #Conflicts: 431000 | #Constraints: 33792 1383.90/1387.76 c #Conflicts: 432000 | #Constraints: 34792 1383.90/1387.76 c #Conflicts: 433000 | #Constraints: 35792 1383.90/1387.76 c #Conflicts: 434000 | #Constraints: 36792 1383.90/1387.76 c #Conflicts: 435000 | #Constraints: 37792 1383.90/1387.76 c #Conflicts: 436000 | #Constraints: 38792 1383.90/1387.76 c #Conflicts: 437000 | #Constraints: 39792 1383.90/1387.76 c #Conflicts: 438000 | #Constraints: 40792 1383.90/1387.76 c #Conflicts: 439000 | #Constraints: 41792 1383.90/1387.76 c #Conflicts: 440000 | #Constraints: 42792 1383.90/1387.76 c #Conflicts: 441000 | #Constraints: 43792 1383.90/1387.76 c #Conflicts: 442000 | #Constraints: 44792 1383.90/1387.76 c #Conflicts: 443000 | #Constraints: 45792 1383.90/1387.76 c #Conflicts: 444000 | #Constraints: 46792 1383.90/1387.76 c #Conflicts: 445000 | #Constraints: 47792 1383.90/1387.76 c #Conflicts: 446000 | #Constraints: 48792 1383.90/1387.76 c #Conflicts: 447000 | #Constraints: 49792 1383.90/1387.76 c #Conflicts: 448000 | #Constraints: 50792 1383.90/1387.76 c #Conflicts: 449000 | #Constraints: 51792 1383.90/1387.76 c #Conflicts: 450000 | #Constraints: 52792 1383.90/1387.76 c #Conflicts: 451000 | #Constraints: 53792 1383.90/1387.76 c bounds 197 >= 147 @ 1322.74 1383.90/1387.76 c #Conflicts: 452000 | #Constraints: 54840 1383.90/1387.76 c #Conflicts: 453000 | #Constraints: 55840 1383.90/1387.76 c #Conflicts: 454000 | #Constraints: 56840 1383.90/1387.76 c #Conflicts: 455000 | #Constraints: 57840 1383.90/1387.76 c #Conflicts: 456000 | #Constraints: 58840 1383.90/1387.76 c #Conflicts: 457000 | #Constraints: 59840 1383.90/1387.76 c #Conflicts: 458000 | #Constraints: 60840 1383.90/1387.76 c #Conflicts: 459000 | #Constraints: 61840 1383.90/1387.76 c #Conflicts: 460000 | #Constraints: 62840 1383.90/1387.76 c #Conflicts: 461000 | #Constraints: 63840 1383.90/1387.76 c #Conflicts: 462000 | #Constraints: 64840 1383.90/1387.76 c #Conflicts: 463000 | #Constraints: 65840 1383.90/1387.76 c #Conflicts: 464000 | #Constraints: 66840 1383.90/1387.76 c #Conflicts: 465000 | #Constraints: 67840 1383.90/1387.76 c #Conflicts: 466000 | #Constraints: 68840 1383.90/1387.76 c #Conflicts: 467000 | #Constraints: 69840 1383.90/1387.76 c #Conflicts: 468000 | #Constraints: 70840 1383.90/1387.76 c INPROCESSING 1383.90/1387.76 c GARBAGE COLLECT 1383.90/1387.76 c rational objective 147 1459.70/1463.75 c #Conflicts: 469000 | #Constraints: 36856 1459.70/1463.75 c #Conflicts: 470000 | #Constraints: 37856 1459.70/1463.75 c #Conflicts: 471000 | #Constraints: 38856 1459.70/1463.75 c #Conflicts: 472000 | #Constraints: 39856 1459.70/1463.75 c #Conflicts: 473000 | #Constraints: 40857 1459.70/1463.75 c #Conflicts: 474000 | #Constraints: 41857 1459.70/1463.75 c #Conflicts: 475000 | #Constraints: 42857 1459.70/1463.75 c #Conflicts: 476000 | #Constraints: 43857 1459.70/1463.75 c #Conflicts: 477000 | #Constraints: 44857 1459.70/1463.75 c #Conflicts: 478000 | #Constraints: 45857 1459.70/1463.75 c #Conflicts: 479000 | #Constraints: 46857 1459.70/1463.75 c #Conflicts: 480000 | #Constraints: 47857 1459.70/1463.75 c #Conflicts: 481000 | #Constraints: 48857 1459.70/1463.75 c #Conflicts: 482000 | #Constraints: 49857 1459.70/1463.75 c #Conflicts: 483000 | #Constraints: 50857 1459.70/1463.75 c #Conflicts: 484000 | #Constraints: 51857 1459.70/1463.75 c #Conflicts: 485000 | #Constraints: 52857 1459.70/1463.75 c #Conflicts: 486000 | #Constraints: 53857 1459.70/1463.75 c INPROCESSING 1459.70/1463.75 c GARBAGE COLLECT 1459.70/1463.75 c rational objective 147 1720.86/1725.50 c #Conflicts: 487000 | #Constraints: 28565 1720.86/1725.50 c #Conflicts: 488000 | #Constraints: 29565 1720.86/1725.50 c #Conflicts: 489000 | #Constraints: 30565 1720.86/1725.50 c #Conflicts: 490000 | #Constraints: 31565 1720.86/1725.50 c #Conflicts: 491000 | #Constraints: 32565 1720.86/1725.50 c #Conflicts: 492000 | #Constraints: 33565 1720.86/1725.50 c #Conflicts: 493000 | #Constraints: 34565 1720.86/1725.50 c #Conflicts: 494000 | #Constraints: 35565 1720.86/1725.50 c #Conflicts: 495000 | #Constraints: 36565 1720.86/1725.50 c #Conflicts: 496000 | #Constraints: 37565 1720.86/1725.50 c #Conflicts: 497000 | #Constraints: 38565 1720.86/1725.50 c #Conflicts: 498000 | #Constraints: 39565 1720.86/1725.50 c #Conflicts: 499000 | #Constraints: 40565 1720.86/1725.50 c #Conflicts: 500000 | #Constraints: 41565 1720.86/1725.50 c #Conflicts: 501000 | #Constraints: 42565 1720.86/1725.50 c #Conflicts: 502000 | #Constraints: 43565 1720.86/1725.50 c #Conflicts: 503000 | #Constraints: 44565 1720.86/1725.50 c #Conflicts: 504000 | #Constraints: 45565 1720.86/1725.50 c #Conflicts: 505000 | #Constraints: 46565 1720.86/1725.50 c #Conflicts: 506000 | #Constraints: 47565 1720.86/1725.50 c #Conflicts: 507000 | #Constraints: 48565 1720.86/1725.50 c #Conflicts: 508000 | #Constraints: 49565 1720.86/1725.50 c #Conflicts: 509000 | #Constraints: 50565 1720.86/1725.50 c #Conflicts: 510000 | #Constraints: 51565 1720.86/1725.50 c #Conflicts: 511000 | #Constraints: 52565 1720.86/1725.50 c #Conflicts: 512000 | #Constraints: 53565 1720.86/1725.50 c #Conflicts: 513000 | #Constraints: 54565 1720.86/1725.50 c #Conflicts: 514000 | #Constraints: 55565 1720.86/1725.50 c #Conflicts: 515000 | #Constraints: 56565 1720.86/1725.50 c #Conflicts: 516000 | #Constraints: 57565 1720.86/1725.50 c #Conflicts: 517000 | #Constraints: 58565 1720.86/1725.50 c #Conflicts: 518000 | #Constraints: 59565 1720.86/1725.50 c #Conflicts: 519000 | #Constraints: 60565 1720.86/1725.50 c #Conflicts: 520000 | #Constraints: 61565 1720.86/1725.50 c #Conflicts: 521000 | #Constraints: 62565 1720.86/1725.50 c #Conflicts: 522000 | #Constraints: 63565 1720.86/1725.50 c #Conflicts: 523000 | #Constraints: 64565 1720.86/1725.50 c #Conflicts: 524000 | #Constraints: 65565 1720.86/1725.50 c #Conflicts: 525000 | #Constraints: 66565 1720.86/1725.50 c #Conflicts: 526000 | #Constraints: 67565 1720.86/1725.50 c #Conflicts: 527000 | #Constraints: 68565 1720.86/1725.50 c #Conflicts: 528000 | #Constraints: 69565 1720.86/1725.50 c #Conflicts: 529000 | #Constraints: 70565 1720.86/1725.50 c #Conflicts: 530000 | #Constraints: 71565 1720.86/1725.50 c #Conflicts: 531000 | #Constraints: 72565 1720.86/1725.50 c #Conflicts: 532000 | #Constraints: 73565 1720.86/1725.50 c #Conflicts: 533000 | #Constraints: 74565 1720.86/1725.50 c #Conflicts: 534000 | #Constraints: 75565 1720.86/1725.50 c #Conflicts: 535000 | #Constraints: 76565 1720.86/1725.50 c INPROCESSING 1720.86/1725.50 c GARBAGE COLLECT 1720.86/1725.50 c rational objective 147 1769.73/1774.59 c #Conflicts: 536000 | #Constraints: 39848 1769.73/1774.59 c #Conflicts: 537000 | #Constraints: 40848 1769.73/1774.59 c #Conflicts: 538000 | #Constraints: 41848 1769.73/1774.59 c #Conflicts: 539000 | #Constraints: 42848 1769.73/1774.59 c #Conflicts: 540000 | #Constraints: 43848 1769.73/1774.59 c bounds 196 >= 147 @ 1718.68 1769.73/1774.59 c #Conflicts: 541000 | #Constraints: 44849 1769.73/1774.59 c #Conflicts: 542000 | #Constraints: 45849 1769.73/1774.59 c #Conflicts: 543000 | #Constraints: 46849 1769.73/1774.59 c #Conflicts: 544000 | #Constraints: 47849 1769.73/1774.59 c #Conflicts: 545000 | #Constraints: 48849 1769.73/1774.59 c #Conflicts: 546000 | #Constraints: 49849 1769.73/1774.59 c #Conflicts: 547000 | #Constraints: 50849 1769.73/1774.59 c #Conflicts: 548000 | #Constraints: 51849 1769.73/1774.59 c #Conflicts: 549000 | #Constraints: 52849 1769.73/1774.59 c #Conflicts: 550000 | #Constraints: 53849 1769.73/1774.59 c #Conflicts: 551000 | #Constraints: 54849 1769.73/1774.59 c #Conflicts: 552000 | #Constraints: 55849 1769.73/1774.59 c #Conflicts: 553000 | #Constraints: 56849 1769.73/1774.59 c #Conflicts: 554000 | #Constraints: 57849 1769.73/1774.59 c INPROCESSING 1769.73/1774.59 c GARBAGE COLLECT 1769.73/1774.59 c rational objective 147 2014.92/2020.31 c #Conflicts: 555000 | #Constraints: 33299 2014.92/2020.31 c #Conflicts: 556000 | #Constraints: 34299 2014.92/2020.31 c #Conflicts: 557000 | #Constraints: 35299 2014.92/2020.31 c #Conflicts: 558000 | #Constraints: 36299 2014.92/2020.31 c #Conflicts: 559000 | #Constraints: 37299 2014.92/2020.31 c #Conflicts: 560000 | #Constraints: 38299 2014.92/2020.31 c #Conflicts: 561000 | #Constraints: 39299 2014.92/2020.31 c bounds 195 >= 147 @ 1770.5 2014.92/2020.31 c #Conflicts: 562000 | #Constraints: 40300 2014.92/2020.31 c #Conflicts: 563000 | #Constraints: 41300 2014.92/2020.31 c #Conflicts: 564000 | #Constraints: 42300 2014.92/2020.31 c #Conflicts: 565000 | #Constraints: 43300 2014.92/2020.31 c #Conflicts: 566000 | #Constraints: 44300 2014.92/2020.31 c #Conflicts: 567000 | #Constraints: 45300 2014.92/2020.31 c #Conflicts: 568000 | #Constraints: 46300 2014.92/2020.31 c #Conflicts: 569000 | #Constraints: 47300 2014.92/2020.31 c #Conflicts: 570000 | #Constraints: 48300 2014.92/2020.31 c #Conflicts: 571000 | #Constraints: 49300 2014.92/2020.31 c #Conflicts: 572000 | #Constraints: 50300 2014.92/2020.31 c #Conflicts: 573000 | #Constraints: 51300 2014.92/2020.31 c #Conflicts: 574000 | #Constraints: 52300 2014.92/2020.31 c #Conflicts: 575000 | #Constraints: 53300 2014.92/2020.31 c #Conflicts: 576000 | #Constraints: 54300 2014.92/2020.31 c #Conflicts: 577000 | #Constraints: 55300 2014.92/2020.31 c #Conflicts: 578000 | #Constraints: 56300 2014.92/2020.31 c #Conflicts: 579000 | #Constraints: 57300 2014.92/2020.31 c #Conflicts: 580000 | #Constraints: 58300 2014.92/2020.31 c #Conflicts: 581000 | #Constraints: 59300 2014.92/2020.31 c #Conflicts: 582000 | #Constraints: 60300 2014.92/2020.31 c #Conflicts: 583000 | #Constraints: 61300 2014.92/2020.31 c #Conflicts: 584000 | #Constraints: 62300 2014.92/2020.31 c #Conflicts: 585000 | #Constraints: 63300 2014.92/2020.31 c #Conflicts: 586000 | #Constraints: 64300 2014.92/2020.31 c #Conflicts: 587000 | #Constraints: 65300 2014.92/2020.31 c #Conflicts: 588000 | #Constraints: 66300 2014.92/2020.31 c #Conflicts: 589000 | #Constraints: 67300 2014.92/2020.31 c #Conflicts: 590000 | #Constraints: 68300 2014.92/2020.31 c #Conflicts: 591000 | #Constraints: 69300 2014.92/2020.31 c #Conflicts: 592000 | #Constraints: 70300 2014.92/2020.31 c #Conflicts: 593000 | #Constraints: 71300 2014.92/2020.31 c #Conflicts: 594000 | #Constraints: 72300 2014.92/2020.31 c #Conflicts: 595000 | #Constraints: 73300 2014.92/2020.31 c #Conflicts: 596000 | #Constraints: 74300 2014.92/2020.31 c #Conflicts: 597000 | #Constraints: 75300 2014.92/2020.31 c #Conflicts: 598000 | #Constraints: 76300 2014.92/2020.31 c #Conflicts: 599000 | #Constraints: 77300 2014.92/2020.31 c #Conflicts: 600000 | #Constraints: 78300 2014.92/2020.31 c #Conflicts: 601000 | #Constraints: 79300 2014.92/2020.31 c #Conflicts: 602000 | #Constraints: 80300 2014.92/2020.31 c #Conflicts: 603000 | #Constraints: 81300 2014.92/2020.31 c #Conflicts: 604000 | #Constraints: 82300 2014.92/2020.31 c #Conflicts: 605000 | #Constraints: 83300 2014.92/2020.31 c #Conflicts: 606000 | #Constraints: 84300 2014.92/2020.31 c INPROCESSING 2014.92/2020.31 c GARBAGE COLLECT 2014.92/2020.31 c rational objective 147 2188.99/2194.81 c #Conflicts: 607000 | #Constraints: 43476 2188.99/2194.81 c #Conflicts: 608000 | #Constraints: 44476 2188.99/2194.81 c #Conflicts: 609000 | #Constraints: 45476 2188.99/2194.81 c #Conflicts: 610000 | #Constraints: 46476 2188.99/2194.81 c #Conflicts: 611000 | #Constraints: 47476 2188.99/2194.81 c #Conflicts: 612000 | #Constraints: 48476 2188.99/2194.81 c #Conflicts: 613000 | #Constraints: 49476 2188.99/2194.81 c #Conflicts: 614000 | #Constraints: 50476 2188.99/2194.81 c #Conflicts: 615000 | #Constraints: 51476 2188.99/2194.81 c #Conflicts: 616000 | #Constraints: 52476 2188.99/2194.81 c #Conflicts: 617000 | #Constraints: 53476 2188.99/2194.81 c #Conflicts: 618000 | #Constraints: 54476 2188.99/2194.81 c #Conflicts: 619000 | #Constraints: 55476 2188.99/2194.81 c #Conflicts: 620000 | #Constraints: 56476 2188.99/2194.81 c #Conflicts: 621000 | #Constraints: 57476 2188.99/2194.81 c #Conflicts: 622000 | #Constraints: 58476 2188.99/2194.81 c #Conflicts: 623000 | #Constraints: 59476 2188.99/2194.81 c #Conflicts: 624000 | #Constraints: 60476 2188.99/2194.81 c #Conflicts: 625000 | #Constraints: 61476 2188.99/2194.81 c #Conflicts: 626000 | #Constraints: 62476 2188.99/2194.81 c #Conflicts: 627000 | #Constraints: 63476 2188.99/2194.81 c INPROCESSING 2188.99/2194.81 c GARBAGE COLLECT 2188.99/2194.81 c rational objective 147 2525.04/2531.78 c #Conflicts: 628000 | #Constraints: 35566 2525.04/2531.78 c #Conflicts: 629000 | #Constraints: 36566 2525.04/2531.78 c #Conflicts: 630000 | #Constraints: 37566 2525.04/2531.78 c #Conflicts: 631000 | #Constraints: 38566 2525.04/2531.78 c #Conflicts: 632000 | #Constraints: 39566 2525.04/2531.78 c #Conflicts: 633000 | #Constraints: 40566 2525.04/2531.78 c #Conflicts: 634000 | #Constraints: 41566 2525.04/2531.78 c #Conflicts: 635000 | #Constraints: 42566 2525.04/2531.78 c #Conflicts: 636000 | #Constraints: 43566 2525.04/2531.78 c #Conflicts: 637000 | #Constraints: 44566 2525.04/2531.78 c #Conflicts: 638000 | #Constraints: 45566 2525.04/2531.78 c #Conflicts: 639000 | #Constraints: 46566 2525.04/2531.78 c #Conflicts: 640000 | #Constraints: 47566 2525.04/2531.78 c #Conflicts: 641000 | #Constraints: 48566 2525.04/2531.78 c #Conflicts: 642000 | #Constraints: 49567 2525.04/2531.78 c #Conflicts: 643000 | #Constraints: 50567 2525.04/2531.78 c #Conflicts: 644000 | #Constraints: 51567 2525.04/2531.78 c #Conflicts: 645000 | #Constraints: 52567 2525.04/2531.78 c #Conflicts: 646000 | #Constraints: 53567 2525.04/2531.78 c #Conflicts: 647000 | #Constraints: 54567 2525.04/2531.78 c #Conflicts: 648000 | #Constraints: 55567 2525.04/2531.78 c #Conflicts: 649000 | #Constraints: 56567 2525.04/2531.78 c #Conflicts: 650000 | #Constraints: 57567 2525.04/2531.78 c #Conflicts: 651000 | #Constraints: 58567 2525.04/2531.78 c #Conflicts: 652000 | #Constraints: 59567 2525.04/2531.78 c #Conflicts: 653000 | #Constraints: 60567 2525.04/2531.78 c #Conflicts: 654000 | #Constraints: 61567 2525.04/2531.78 c #Conflicts: 655000 | #Constraints: 62567 2525.04/2531.78 c #Conflicts: 656000 | #Constraints: 63567 2525.04/2531.78 c #Conflicts: 657000 | #Constraints: 64567 2525.04/2531.78 c #Conflicts: 658000 | #Constraints: 65567 2525.04/2531.78 c #Conflicts: 659000 | #Constraints: 66567 2525.04/2531.78 c #Conflicts: 660000 | #Constraints: 67567 2525.04/2531.78 c #Conflicts: 661000 | #Constraints: 68567 2525.04/2531.78 c #Conflicts: 662000 | #Constraints: 69567 2525.04/2531.78 c #Conflicts: 663000 | #Constraints: 70567 2525.04/2531.78 c #Conflicts: 664000 | #Constraints: 71567 2525.04/2531.78 c #Conflicts: 665000 | #Constraints: 72567 2525.04/2531.78 c #Conflicts: 666000 | #Constraints: 73567 2525.04/2531.78 c #Conflicts: 667000 | #Constraints: 74567 2525.04/2531.78 c #Conflicts: 668000 | #Constraints: 75567 2525.04/2531.78 c #Conflicts: 669000 | #Constraints: 76567 2525.04/2531.78 c #Conflicts: 670000 | #Constraints: 77567 2525.04/2531.78 c #Conflicts: 671000 | #Constraints: 78567 2525.04/2531.78 c #Conflicts: 672000 | #Constraints: 79567 2525.04/2531.78 c #Conflicts: 673000 | #Constraints: 80567 2525.04/2531.78 c #Conflicts: 674000 | #Constraints: 81567 2525.04/2531.78 c #Conflicts: 675000 | #Constraints: 82567 2525.04/2531.78 c #Conflicts: 676000 | #Constraints: 83567 2525.04/2531.78 c #Conflicts: 677000 | #Constraints: 84567 2525.04/2531.78 c #Conflicts: 678000 | #Constraints: 85567 2525.04/2531.78 c #Conflicts: 679000 | #Constraints: 86567 2525.04/2531.78 c #Conflicts: 680000 | #Constraints: 87567 2525.04/2531.78 c #Conflicts: 681000 | #Constraints: 88567 2525.04/2531.78 c #Conflicts: 682000 | #Constraints: 89567 2525.04/2531.78 c INPROCESSING 2525.04/2531.78 c GARBAGE COLLECT 2525.04/2531.78 c rational objective 147 2731.87/2739.12 c #Conflicts: 683000 | #Constraints: 46270 2731.87/2739.12 c #Conflicts: 684000 | #Constraints: 47270 2731.87/2739.12 c #Conflicts: 685000 | #Constraints: 48270 2731.87/2739.12 c #Conflicts: 686000 | #Constraints: 49270 2731.87/2739.12 c #Conflicts: 687000 | #Constraints: 50270 2731.87/2739.12 c #Conflicts: 688000 | #Constraints: 51270 2731.87/2739.12 c #Conflicts: 689000 | #Constraints: 52270 2731.87/2739.12 c #Conflicts: 690000 | #Constraints: 53270 2731.87/2739.12 c #Conflicts: 691000 | #Constraints: 54270 2731.87/2739.12 c #Conflicts: 692000 | #Constraints: 55270 2731.87/2739.12 c #Conflicts: 693000 | #Constraints: 56270 2731.87/2739.12 c #Conflicts: 694000 | #Constraints: 57270 2731.87/2739.12 c #Conflicts: 695000 | #Constraints: 58270 2731.87/2739.12 c #Conflicts: 696000 | #Constraints: 59270 2731.87/2739.12 c #Conflicts: 697000 | #Constraints: 60270 2731.87/2739.12 c #Conflicts: 698000 | #Constraints: 61270 2731.87/2739.12 c #Conflicts: 699000 | #Constraints: 62270 2731.87/2739.12 c #Conflicts: 700000 | #Constraints: 63270 2731.87/2739.12 c #Conflicts: 701000 | #Constraints: 64270 2731.87/2739.12 c #Conflicts: 702000 | #Constraints: 65270 2731.87/2739.12 c #Conflicts: 703000 | #Constraints: 66270 2731.87/2739.12 c #Conflicts: 704000 | #Constraints: 67270 2731.87/2739.12 c INPROCESSING 2731.87/2739.12 c GARBAGE COLLECT 2731.87/2739.12 c rational objective 147 3156.40/3164.73 c #Conflicts: 705000 | #Constraints: 37533 3156.40/3164.73 c #Conflicts: 706000 | #Constraints: 38533 3156.40/3164.73 c #Conflicts: 707000 | #Constraints: 39533 3156.40/3164.73 c #Conflicts: 708000 | #Constraints: 40533 3156.40/3164.73 c #Conflicts: 709000 | #Constraints: 41533 3156.40/3164.73 c #Conflicts: 710000 | #Constraints: 42533 3156.40/3164.73 c #Conflicts: 711000 | #Constraints: 43533 3156.40/3164.73 c #Conflicts: 712000 | #Constraints: 44533 3156.40/3164.73 c #Conflicts: 713000 | #Constraints: 45533 3156.40/3164.73 c #Conflicts: 714000 | #Constraints: 46533 3156.40/3164.73 c #Conflicts: 715000 | #Constraints: 47533 3156.40/3164.73 c #Conflicts: 716000 | #Constraints: 48533 3156.40/3164.73 c #Conflicts: 717000 | #Constraints: 49533 3156.40/3164.73 c #Conflicts: 718000 | #Constraints: 50533 3156.40/3164.73 c #Conflicts: 719000 | #Constraints: 51533 3156.40/3164.73 c #Conflicts: 720000 | #Constraints: 52533 3156.40/3164.73 c #Conflicts: 721000 | #Constraints: 53533 3156.40/3164.73 c #Conflicts: 722000 | #Constraints: 54533 3156.40/3164.73 c #Conflicts: 723000 | #Constraints: 55533 3156.40/3164.73 c #Conflicts: 724000 | #Constraints: 56533 3156.40/3164.73 c #Conflicts: 725000 | #Constraints: 57533 3156.40/3164.73 c #Conflicts: 726000 | #Constraints: 58533 3156.40/3164.73 c #Conflicts: 727000 | #Constraints: 59533 3156.40/3164.73 c #Conflicts: 728000 | #Constraints: 60533 3156.40/3164.73 c #Conflicts: 729000 | #Constraints: 61533 3156.40/3164.73 c #Conflicts: 730000 | #Constraints: 62533 3156.40/3164.73 c #Conflicts: 731000 | #Constraints: 63533 3156.40/3164.73 c #Conflicts: 732000 | #Constraints: 64533 3156.40/3164.73 c #Conflicts: 733000 | #Constraints: 65533 3156.40/3164.73 c #Conflicts: 734000 | #Constraints: 66533 3156.40/3164.73 c #Conflicts: 735000 | #Constraints: 67533 3156.40/3164.73 c #Conflicts: 736000 | #Constraints: 68533 3156.40/3164.73 c #Conflicts: 737000 | #Constraints: 69533 3156.40/3164.73 c #Conflicts: 738000 | #Constraints: 70533 3156.40/3164.73 c #Conflicts: 739000 | #Constraints: 71533 3156.40/3164.73 c #Conflicts: 740000 | #Constraints: 72533 3156.40/3164.73 c #Conflicts: 741000 | #Constraints: 73533 3156.40/3164.73 c #Conflicts: 742000 | #Constraints: 74533 3156.40/3164.73 c #Conflicts: 743000 | #Constraints: 75533 3156.40/3164.73 c #Conflicts: 744000 | #Constraints: 76533 3156.40/3164.73 c #Conflicts: 745000 | #Constraints: 77533 3156.40/3164.73 c #Conflicts: 746000 | #Constraints: 78533 3156.40/3164.73 c #Conflicts: 747000 | #Constraints: 79533 3156.40/3164.73 c #Conflicts: 748000 | #Constraints: 80533 3156.40/3164.73 c #Conflicts: 749000 | #Constraints: 81533 3156.40/3164.73 c #Conflicts: 750000 | #Constraints: 82533 3156.40/3164.73 c #Conflicts: 751000 | #Constraints: 83533 3156.40/3164.73 c #Conflicts: 752000 | #Constraints: 84533 3156.40/3164.73 c #Conflicts: 753000 | #Constraints: 85533 3156.40/3164.73 c #Conflicts: 754000 | #Constraints: 86533 3156.40/3164.73 c #Conflicts: 755000 | #Constraints: 87533 3156.40/3164.73 c #Conflicts: 756000 | #Constraints: 88533 3156.40/3164.73 c #Conflicts: 757000 | #Constraints: 89533 3156.40/3164.73 c #Conflicts: 758000 | #Constraints: 90533 3156.40/3164.73 c #Conflicts: 759000 | #Constraints: 91533 3156.40/3164.73 c #Conflicts: 760000 | #Constraints: 92533 3156.40/3164.73 c #Conflicts: 761000 | #Constraints: 93533 3156.40/3164.73 c #Conflicts: 762000 | #Constraints: 94533 3156.40/3164.73 c INPROCESSING 3156.40/3164.73 c GARBAGE COLLECT 3156.40/3164.73 c rational objective 147 3259.03/3267.65 c #Conflicts: 763000 | #Constraints: 48798 3259.03/3267.65 c #Conflicts: 764000 | #Constraints: 49798 3259.03/3267.65 c #Conflicts: 765000 | #Constraints: 50798 3259.03/3267.65 c #Conflicts: 766000 | #Constraints: 51798 3259.03/3267.65 c #Conflicts: 767000 | #Constraints: 52798 3259.03/3267.65 c #Conflicts: 768000 | #Constraints: 53798 3259.03/3267.65 c #Conflicts: 769000 | #Constraints: 54798 3259.03/3267.65 c #Conflicts: 770000 | #Constraints: 55798 3259.03/3267.65 c #Conflicts: 771000 | #Constraints: 56798 3259.03/3267.65 c #Conflicts: 772000 | #Constraints: 57798 3259.03/3267.65 c #Conflicts: 773000 | #Constraints: 58798 3259.03/3267.65 c #Conflicts: 774000 | #Constraints: 59798 3259.03/3267.65 c #Conflicts: 775000 | #Constraints: 60798 3259.03/3267.65 c #Conflicts: 776000 | #Constraints: 61798 3259.03/3267.65 c #Conflicts: 777000 | #Constraints: 62798 3259.03/3267.65 c #Conflicts: 778000 | #Constraints: 63798 3259.03/3267.65 c #Conflicts: 779000 | #Constraints: 64798 3259.03/3267.65 c #Conflicts: 780000 | #Constraints: 65798 3259.03/3267.65 c #Conflicts: 781000 | #Constraints: 66798 3259.03/3267.65 c #Conflicts: 782000 | #Constraints: 67798 3259.03/3267.65 c #Conflicts: 783000 | #Constraints: 68798 3259.03/3267.65 c #Conflicts: 784000 | #Constraints: 69798 3259.03/3267.65 c #Conflicts: 785000 | #Constraints: 70798 3259.03/3267.65 c INPROCESSING 3259.03/3267.65 c GARBAGE COLLECT 3259.03/3267.65 c rational objective 147 3576.33/3585.76 c #Conflicts: 786000 | #Constraints: 41342 3576.33/3585.76 c #Conflicts: 787000 | #Constraints: 42342 3576.33/3585.76 c #Conflicts: 788000 | #Constraints: 43342 3576.33/3585.76 c #Conflicts: 789000 | #Constraints: 44342 3576.33/3585.76 c #Conflicts: 790000 | #Constraints: 45342 3576.33/3585.76 c #Conflicts: 791000 | #Constraints: 46342 3576.33/3585.76 c #Conflicts: 792000 | #Constraints: 47342 3576.33/3585.76 c #Conflicts: 793000 | #Constraints: 48342 3576.33/3585.76 c #Conflicts: 794000 | #Constraints: 49342 3576.33/3585.76 c #Conflicts: 795000 | #Constraints: 50342 3576.33/3585.76 c #Conflicts: 796000 | #Constraints: 51342 3576.33/3585.76 c #Conflicts: 797000 | #Constraints: 52342 3576.33/3585.76 c #Conflicts: 798000 | #Constraints: 53342 3576.33/3585.76 c #Conflicts: 799000 | #Constraints: 54342 3576.33/3585.76 c #Conflicts: 800000 | #Constraints: 55342 3576.33/3585.76 c #Conflicts: 801000 | #Constraints: 56342 3576.33/3585.76 c #Conflicts: 802000 | #Constraints: 57342 3576.33/3585.76 c #Conflicts: 803000 | #Constraints: 58342 3576.33/3585.76 c #Conflicts: 804000 | #Constraints: 59342 3576.33/3585.76 c #Conflicts: 805000 | #Constraints: 60342 3576.33/3585.76 c #Conflicts: 806000 | #Constraints: 61342 3576.33/3585.76 c #Conflicts: 807000 | #Constraints: 62342 3576.33/3585.76 c #Conflicts: 808000 | #Constraints: 63342 3576.33/3585.76 c #Conflicts: 809000 | #Constraints: 64342 3576.33/3585.76 c #Conflicts: 810000 | #Constraints: 65342 3576.33/3585.76 c #Conflicts: 811000 | #Constraints: 66342 3576.33/3585.76 c #Conflicts: 812000 | #Constraints: 67342 3576.33/3585.76 c #Conflicts: 813000 | #Constraints: 68342 3576.33/3585.76 c #Conflicts: 814000 | #Constraints: 69342 3576.33/3585.76 c #Conflicts: 815000 | #Constraints: 70342 3576.33/3585.76 c #Conflicts: 816000 | #Constraints: 71342 3576.33/3585.76 c #Conflicts: 817000 | #Constraints: 72342 3576.33/3585.76 c #Conflicts: 818000 | #Constraints: 73342 3576.33/3585.76 c #Conflicts: 819000 | #Constraints: 74342 3576.33/3585.76 c #Conflicts: 820000 | #Constraints: 75342 3576.33/3585.76 c #Conflicts: 821000 | #Constraints: 76342 3576.33/3585.76 c #Conflicts: 822000 | #Constraints: 77342 3576.33/3585.76 c #Conflicts: 823000 | #Constraints: 78342 3576.33/3585.76 c #Conflicts: 824000 | #Constraints: 79342 3576.33/3585.76 c #Conflicts: 825000 | #Constraints: 80342 3576.33/3585.76 c #Conflicts: 826000 | #Constraints: 81342 3576.33/3585.76 c #Conflicts: 827000 | #Constraints: 82342 3576.33/3585.76 c #Conflicts: 828000 | #Constraints: 83342 3576.33/3585.76 c #Conflicts: 829000 | #Constraints: 84342 3576.33/3585.76 c #Conflicts: 830000 | #Constraints: 85342 3576.33/3585.76 c #Conflicts: 831000 | #Constraints: 86342 3576.33/3585.76 c #Conflicts: 832000 | #Constraints: 87342 3576.33/3585.76 c #Conflicts: 833000 | #Constraints: 88342 3576.33/3585.76 c #Conflicts: 834000 | #Constraints: 89342 3576.33/3585.76 c #Conflicts: 835000 | #Constraints: 90342 3576.33/3585.76 c #Conflicts: 836000 | #Constraints: 91342 3576.33/3585.76 c #Conflicts: 837000 | #Constraints: 92342 3576.33/3585.76 c #Conflicts: 838000 | #Constraints: 93342 3576.33/3585.76 c #Conflicts: 839000 | #Constraints: 94342 3576.33/3585.76 c #Conflicts: 840000 | #Constraints: 95342 3576.33/3585.76 c #Conflicts: 841000 | #Constraints: 96342 3576.33/3585.76 c #Conflicts: 842000 | #Constraints: 97342 3576.33/3585.76 c #Conflicts: 843000 | #Constraints: 98342 3576.33/3585.76 c #Conflicts: 844000 | #Constraints: 99342 3576.33/3585.76 c #Conflicts: 845000 | #Constraints: 100342 3576.33/3585.76 c #Conflicts: 846000 | #Constraints: 101342 3576.33/3585.76 c #Conflicts: 847000 | #Constraints: 102342 3576.33/3585.76 c INPROCESSING 3576.33/3585.76 c GARBAGE COLLECT 3576.33/3585.76 c rational objective 147 3600.06/3609.50 c #Conflicts: 848000 | #Constraints: 52859 3600.06/3609.50 c #Conflicts: 849000 | #Constraints: 53859 3600.06/3609.50 c Program interrupted by user. 3600.06/3609.50 c cpu time 3581.15 s 3600.06/3609.50 c deterministic time 346982618386 3.47e+11 3600.06/3609.50 c optimization time 23.6698 s 3600.06/3609.50 c total solve time 3557.47 s 3600.06/3609.50 c core-guided solve time 1887.83 s 3600.06/3609.50 c propagation time 3072.56 s 3600.06/3609.50 c conflict analysis time 469.024 s 3600.06/3609.50 c propagations 116250696 3600.06/3609.50 c resolve steps 7464439 3600.06/3609.50 c decisions 6125534 3600.06/3609.50 c conflicts 849559 3600.06/3609.50 c restarts 1810 3600.06/3609.50 c inprocessing phases 43 3600.06/3609.50 c input clauses 311 3600.06/3609.50 c input cardinalities 328 3600.06/3609.50 c input general constraints 910 3600.06/3609.50 c input average constraint length 62.84 3600.06/3609.50 c input average constraint degree 23.92 3600.06/3609.50 c learned clauses 296438 3600.06/3609.50 c learned cardinalities 5150 3600.06/3609.50 c learned general constraints 547985 3600.06/3609.50 c learned average constraint length 190.37 3600.06/3609.50 c learned average constraint degree 5636372.74 3600.06/3609.50 c watched constraints 359245 3600.06/3609.50 c counting constraints 189650 3600.06/3609.50 c gcd simplifications 109124 3600.06/3609.50 c detected cardinalities 2422 3600.06/3609.50 c weakened non-implied lits 36465097 3600.06/3609.50 c weakened non-implying lits 73285 3600.06/3609.50 c original variables 476 3600.06/3609.50 c clausal propagations 12697481 3600.06/3609.50 c cardinality propagations 6595355 3600.06/3609.50 c watched propagations 17357428 3600.06/3609.50 c counting propagations 77803305 3600.06/3609.50 c watch lookups 62171928337 3600.06/3609.50 c watch backjump lookups 55985113152 3600.06/3609.50 c watch checks 208361119396 3600.06/3609.50 c propagation checks 19571493147 3600.06/3609.50 c constraint additions 646492970 3600.06/3609.50 c trail pops 123225548 3600.06/3609.50 c formula constraints 476 3600.06/3609.50 c learned constraints 849567 3600.06/3609.50 c bound constraints 182 3600.06/3609.50 c core-guided constraints 891 3600.06/3609.50 c encountered formula constraints 1321667 3600.06/3609.50 c encountered learned constraints 5838147 3600.06/3609.50 c encountered bound constraints 80 3600.06/3609.50 c encountered core-guided constraints 1154084 3600.06/3609.50 c LP total time 42.6881 s 3600.06/3609.50 c LP solve time 42.07 s 3600.06/3609.50 c LP constraints added 476 3600.06/3609.50 c LP constraints removed 0 3600.06/3609.50 c LP pivots internal 850085 3600.06/3609.50 c LP pivots root 19520 3600.06/3609.50 c LP calls 15098 3600.06/3609.50 c LP optimalities 15092 3600.06/3609.50 c LP no pivot count 899 3600.06/3609.50 c LP infeasibilities 3 3600.06/3609.50 c LP valid Farkas constraints 3 3600.06/3609.50 c LP learned Farkas constraints 3 3600.06/3609.50 c LP basis resets 0 3600.06/3609.50 c LP cycling count 0 3600.06/3609.50 c LP singular count 0 3600.06/3609.50 c LP no primal count 0 3600.06/3609.50 c LP no farkas count 0 3600.06/3609.50 c LP other issue count 0 3600.06/3609.50 c LP Gomory cuts 0 3600.06/3609.50 c LP learned cuts 0 3600.06/3609.50 c LP deleted cuts 0 3600.06/3609.50 c LP encountered Gomory constraints 0 3600.06/3609.50 c LP encountered Farkas constraints 13 3600.06/3609.50 c LP encountered learned Farkas constraints 4 3600.06/3609.50 c CG auxiliary variables introduced 346 3600.06/3609.50 c CG solutions found 35 3600.06/3609.50 c CG cores constructed 147 3600.06/3609.50 c CG core cardinality constraints returned 0 3600.06/3609.50 c CG unit cores 0 3600.06/3609.50 c CG single cores 146 3600.06/3609.50 c CG blocks removed during cardinality reduction 0 3600.06/3609.50 c CG first core best 0 3600.06/3609.50 c CG decision core best 0 3600.06/3609.50 c CG core reduction tie 1 3600.06/3609.50 c CG core degree average 1.00 3600.06/3609.50 c CG core slack average 4.10 3600.06/3609.50 s SATISFIABLE 3600.06/3609.50 v x1 x2 -x3 x4 x5 x6 -x7 -x8 -x9 -x10 x11 x12 x13 x14 -x15 x16 -x17 -x18 -x19 x20 -x21 -x22 x23 -x24 -x25 x26 x27 x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 x47 -x48 x49 -x50 -x51 x52 x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x73 x74 x75 x76 x77 x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 x100 x101 x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 x119 x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 x132 -x133 x134 -x135 -x136 x137 -x138 -x139 -x140 x141 -x142 x143 -x144 -x145 -x146 x147 -x148 -x149 x150 x151 -x152 x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 -x164 x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 x176 x177 -x178 -x179 x180 x181 -x182 x183 x184 x185 -x186 -x187 -x188 -x189 x190 x191 x192 -x193 -x194 -x195 x196 -x197 x198 x199 -x200 x201 -x202 -x203 x204 x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 x217 x218 x219 -x220 -x221 x222 -x223 x224 x225 -x226 -x227 -x228 -x229 -x230 x231 x232 -x233 x234 x235 -x236 -x237 -x238 x239 x240 x241 -x242 x243 x244 -x245 -x246 x247 x248 -x249 x250 x251 -x252 -x253 -x254 x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 x278 x279 x280 -x281 x282 -x283 -x284 -x285 x286 x287 -x288 x289 x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 x320 x321 x322 x323 x324 -x325 x326 x327 -x328 x329 x330 -x331 -x332 x333 -x334 x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 x345 x346 -x347 x348 x349 x350 x351 -x352 x353 x354 -x355 -x356 -x357 x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 x368 -x369 x370 -x371 x372 x373 -x374 x375 x376 -x377 -x378 x379 x380 -x381 -x382 -x383 x384 x385 x386 -x387 -x388 x389 x390 -x391 x392 -x393 x394 x395 -x396 x397 x398 -x399 -x400 x401 -x402 x403 -x404 x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 x415 -x416 x417 x418 x419 x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 x431 x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 x440 x441 x442 -x443 x444 -x445 x446 x447 x448 x449 -x450 x451 -x452 -x453 x454 -x455 -x456 x457 x458 x459 x460 x461 -x462 -x463 -x464 x465 -x466 x467 x468 -x469 x470 x471 x472 x473 x474 -x475 x476
OK 195
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (24627 MiB free)
memory of node 1: 64510 MiB (59157 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460167-1722064838/watcher-4460167-1722064838 -o /tmp/evaluation-result-4460167-1722064838/solver-4460167-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359138 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460167-1722064838 --lp-cut-gomory=0 HOME/instance-4460167-1722064838.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=359198, runsolver pid=359183
[startup+0.100072 s]*
/proc/loadavg: 0.04 0.08 0.08 8/245 359200
/proc/meminfo: memFree=85788468/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=38772 memory=8788 CPUtime=0.09 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 614 0 0 0 8 1 0 0 20 0 1 0 42473375 39702528 2197 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 9693 2197 1760 992 0 1551 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38772 KiB
Current children cumulated memory: 8788 KiB
[startup+0.215465 s]*
/proc/loadavg: 0.04 0.08 0.08 8/245 359200
/proc/meminfo: memFree=85787108/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=38968 memory=8816 CPUtime=0.19 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 657 0 0 0 18 1 0 0 20 0 1 0 42473375 39903232 2204 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 9742 2204 1760 992 0 1600 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38968 KiB
Current children cumulated memory: 8816 KiB
[startup+0.313803 s]*
/proc/loadavg: 0.04 0.08 0.08 8/245 359200
/proc/meminfo: memFree=85786608/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=38968 memory=8816 CPUtime=0.3 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 663 0 0 0 28 2 0 0 20 0 1 0 42473375 39903232 2204 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 9742 2204 1760 992 0 1600 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38968 KiB
Current children cumulated memory: 8816 KiB
[startup+0.700261 s]
/proc/loadavg: 0.04 0.08 0.08 8/245 359200
/proc/meminfo: memFree=85779772/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=40432 memory=11180 CPUtime=0.67 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 1196 0 0 0 58 9 0 0 20 0 1 0 42473375 41402368 2795 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 10108 2795 1824 992 0 1966 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 11180 KiB
[startup+1.50029 s]
/proc/loadavg: 0.04 0.08 0.08 10/245 359200
/proc/meminfo: memFree=85749880/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=43892 memory=17172 CPUtime=1.46 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 2150 0 0 0 129 17 0 0 20 0 1 0 42473375 44945408 4293 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 10973 4293 1888 992 0 2831 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 43892 KiB
Current children cumulated memory: 17172 KiB
[startup+3.11372 s]
/proc/loadavg: 0.36 0.15 0.11 10/245 359200
/proc/meminfo: memFree=85692000/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=46492 memory=20600 CPUtime=3.07 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 3072 0 0 0 281 26 0 0 20 0 1 0 42473375 47607808 5150 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 11623 5150 1888 992 0 3481 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 46492 KiB
Current children cumulated memory: 20600 KiB
[startup+6.30025 s]
/proc/loadavg: 0.36 0.15 0.11 10/250 359207
/proc/meminfo: memFree=85609852/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=59588 memory=31160 CPUtime=6.25 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 5208 0 0 0 582 43 0 0 20 0 1 0 42473375 61018112 7790 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 14897 7790 1888 992 0 6755 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 59588 KiB
Current children cumulated memory: 31160 KiB
[startup+12.7003 s]
/proc/loadavg: 1.07 0.31 0.16 9/250 359207
/proc/meminfo: memFree=85458040/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=62020 memory=33204 CPUtime=12.64 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 5798 0 0 0 1201 63 0 0 20 0 1 0 42473375 63508480 8301 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 15505 8301 1888 992 0 7363 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 62020 KiB
Current children cumulated memory: 33204 KiB
[startup+25.5003 s]
/proc/loadavg: 1.52 0.43 0.20 9/250 359208
/proc/meminfo: memFree=85215700/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=74444 memory=41832 CPUtime=25.4 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 7410 0 0 0 2440 100 0 0 20 0 1 0 42473375 76230656 10458 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 18611 10458 1888 992 0 10469 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 74444 KiB
Current children cumulated memory: 41832 KiB
[startup+51.1136 s]
/proc/loadavg: 2.37 0.72 0.30 9/250 359214
/proc/meminfo: memFree=84906188/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=84272 memory=54200 CPUtime=50.95 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 9624 0 0 0 4947 148 0 0 20 0 1 0 42473375 86294528 13550 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 21068 13550 1888 992 0 12926 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 54200 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.30 0.53 9/250 359222
/proc/meminfo: memFree=84442816/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=186212 memory=130584 CPUtime=102 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 20056 0 0 0 9994 206 0 0 20 0 1 0 42473375 190681088 32646 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 46553 32646 1888 992 0 38411 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 186212 KiB
Current children cumulated memory: 130584 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.81 0.75 8/250 359232
/proc/meminfo: memFree=84009912/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=187688 memory=132164 CPUtime=161.84 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 20453 0 0 0 15906 278 0 0 20 0 1 0 42473375 192192512 33041 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 46922 33041 1888 992 0 38780 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 187688 KiB
Current children cumulated memory: 132164 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.23 0.96 10/250 359243
/proc/meminfo: memFree=83679412/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=192388 memory=135580 CPUtime=221.63 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 21412 0 0 0 21813 350 0 0 20 0 1 0 42473375 197005312 33895 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 48097 33895 1888 992 0 39955 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 192388 KiB
Current children cumulated memory: 135580 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.57 1.16 9/250 359253
/proc/meminfo: memFree=83350140/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=196444 memory=138940 CPUtime=281.44 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 22445 0 0 0 27729 415 0 0 20 0 1 0 42473375 201158656 34735 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 49111 34735 1904 992 0 40969 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 196444 KiB
Current children cumulated memory: 138940 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 2.88 1.36 10/247 359646
/proc/meminfo: memFree=82938156/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=219400 memory=169120 CPUtime=341.23 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 26939 0 0 0 33666 457 0 0 20 0 1 0 42473375 224665600 42280 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 54850 42280 1904 992 0 46708 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 219400 KiB
Current children cumulated memory: 169120 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.12 1.54 10/247 359657
/proc/meminfo: memFree=82709460/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=220664 memory=172784 CPUtime=401.03 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 27417 0 0 0 39617 486 0 0 20 0 1 0 42473375 225959936 43196 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 55166 43196 1904 992 0 47024 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 220664 KiB
Current children cumulated memory: 172784 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.31 1.71 9/247 359667
/proc/meminfo: memFree=82399124/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=220664 memory=172784 CPUtime=460.83 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 27454 0 0 0 45534 549 0 0 20 0 1 0 42473375 225959936 43196 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 55166 43196 1904 992 0 47024 0
################
# More data... #
################
Current children cumulated memory: 375224 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.00 9/246 360904
/proc/meminfo: memFree=76199344/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=479584 memory=375224 CPUtime=2914.61 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 55612 0 0 0 289808 1653 0 0 20 0 1 0 42473375 491094016 93806 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 119896 93806 1904 992 0 111754 0
Current children cumulated CPU time: 2914.61 s
Current children cumulated vsize: 479584 KiB
Current children cumulated memory: 375224 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.11 4.01 10/246 360914
/proc/meminfo: memFree=76088320/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=479584 memory=375224 CPUtime=2974.46 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 55746 0 0 0 295775 1671 0 0 20 0 1 0 42473375 491094016 93806 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 119896 93806 1904 992 0 111754 0
Current children cumulated CPU time: 2974.46 s
Current children cumulated vsize: 479584 KiB
Current children cumulated memory: 375224 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.01 10/248 360928
/proc/meminfo: memFree=76003460/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=479584 memory=375224 CPUtime=3034.3 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 55882 0 0 0 301743 1687 0 0 20 0 1 0 42473375 491094016 93806 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 119896 93806 1904 992 0 111754 0
Current children cumulated CPU time: 3034.3 s
Current children cumulated vsize: 479584 KiB
Current children cumulated memory: 375224 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.01 10/248 360941
/proc/meminfo: memFree=75893884/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=481376 memory=376004 CPUtime=3094.16 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 56226 0 0 0 307708 1708 0 0 20 0 1 0 42473375 492929024 94001 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 120344 94001 1904 992 0 112202 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 481376 KiB
Current children cumulated memory: 376004 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.12 4.02 9/248 360951
/proc/meminfo: memFree=75792548/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=483168 memory=377036 CPUtime=3154.01 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 56616 0 0 0 313679 1722 0 0 20 0 1 0 42473375 494764032 94259 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 120792 94259 1904 992 0 112650 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 483168 KiB
Current children cumulated memory: 377036 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.02 10/247 360961
/proc/meminfo: memFree=75685332/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=484564 memory=377936 CPUtime=3213.86 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 57350 0 0 0 319633 1753 0 0 20 0 1 0 42473375 496193536 94484 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 121141 94484 1904 992 0 112999 0
Current children cumulated CPU time: 3213.86 s
Current children cumulated vsize: 484564 KiB
Current children cumulated memory: 377936 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.02 8/247 360973
/proc/meminfo: memFree=75588032/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=484564 memory=377936 CPUtime=3273.7 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 57529 0 0 0 325589 1781 0 0 20 0 1 0 42473375 496193536 94484 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 121141 94484 1904 992 0 112999 0
Current children cumulated CPU time: 3273.7 s
Current children cumulated vsize: 484564 KiB
Current children cumulated memory: 377936 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.02 10/245 360983
/proc/meminfo: memFree=75481480/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=484564 memory=378052 CPUtime=3333.54 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 57674 0 0 0 331543 1811 0 0 20 0 1 0 42473375 496193536 94513 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 121141 94513 1904 992 0 112999 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 484564 KiB
Current children cumulated memory: 378052 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.02 9/247 360995
/proc/meminfo: memFree=75408160/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=484564 memory=378052 CPUtime=3393.39 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 57833 0 0 0 337506 1833 0 0 20 0 1 0 42473375 496193536 94513 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 121141 94513 1904 992 0 112999 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 484564 KiB
Current children cumulated memory: 378052 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.02 9/247 361005
/proc/meminfo: memFree=75328576/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=487724 memory=379660 CPUtime=3453.23 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 58435 0 0 0 343469 1854 0 0 20 0 1 0 42473375 499429376 94915 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 121931 94915 1904 992 0 113789 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 487724 KiB
Current children cumulated memory: 379660 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.02 8/247 361016
/proc/meminfo: memFree=75222932/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=488728 memory=380552 CPUtime=3513.09 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 58805 0 0 0 349437 1872 0 0 20 0 1 0 42473375 500457472 95138 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 122182 95138 1904 992 0 114040 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 488728 KiB
Current children cumulated memory: 380552 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.11 4.03 10/247 361026
/proc/meminfo: memFree=75124112/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=494908 memory=390152 CPUtime=3572.94 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 59957 0 0 0 355409 1885 0 0 20 0 1 0 42473375 506785792 97538 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 123727 97538 1904 992 0 115585 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 494908 KiB
Current children cumulated memory: 390152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.13 4.10 4.03 8/249 361035
/proc/meminfo: memFree=75074956/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=496088 memory=391208 CPUtime=3600.06 cores=4,6
/proc/359198/stat : 359198 (roundingsat) R 359183 359198 359127 0 -1 4194304 60244 0 0 0 358115 1891 0 0 20 0 1 0 42473375 507994112 97802 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 124022 97802 1904 992 0 115880 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 496088 KiB
Current children cumulated memory: 391208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.67 s]
# the end of solver process 359198 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.15 s, system=18.9182 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.13 4.10 4.03 8/249 361035
/proc/meminfo: memFree=75074956/131655788 swapFree=131058856/131071996
[pid=359198] ppid=359183 vsize=496088 memory=391208 CPUtime=3600.06 cores=4,6
/proc/359198/stat : 359198 (roundingsat) D 359183 359198 359127 0 -1 4194304 60252 0 0 0 358115 1891 0 0 20 0 1 0 42473375 507994112 97802 134679101440 4194304 8254357 140723222278832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12763136 140723222287195 140723222287457 140723222287457 140723222294473 0
/proc/359198/statm: 124022 97802 1904 992 0 115880 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 496088 KiB
Current children cumulated memory: 391208 KiB
Child status: 0
Real time (s): 3609.67
CPU time (s): 3600.07
CPU user time (s): 3581.15
CPU system time (s): 18.9182
CPU usage (%): 99.7341
Max. virtual memory (cumulated for all children) (KiB): 496088
Max. memory (cumulated for all children) (KiB): 391208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.15
system time used= 18.9182
maximum resident set size= 391504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4557112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 174
involuntary context switches= 5057
# summary of solver processes directly reported to runsolver:
# pid: 359198
# total CPU time (s): 3600.07
# total CPU user time (s): 3581.15
# total CPU system time (s): 18.9182
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4038 second user time and 37.452 second system time
The end
Begin job on nodeC010 at 2024-07-27 09:20:38 IDJOB=4460167 IDBENCH=147545 IDSOLVER=3086 FILE ID=nodeC010/4460167-1722064838 RUNJOBID= nodeC010-1722064838-359138 SLURM_JOB_ID= 8248112 Free space on /tmp= 723776 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460167-1722064838/watcher-4460167-1722064838 -o /tmp/evaluation-result-4460167-1722064838/solver-4460167-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359138 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460167-1722064838 --lp-cut-gomory=0 HOME/instance-4460167-1722064838.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a RANDOM SEED=1957297555 nodeC010.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.211 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.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.223 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.28 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.214 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.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.217 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.28 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.209 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.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.217 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.28 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.215 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.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.202 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.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 85798532 kB MemAvailable: 129804148 kB Buffers: 362196 kB Cached: 43969960 kB SwapCached: 192 kB Active: 2303828 kB Inactive: 42333768 kB Active(anon): 1924 kB Inactive(anon): 357040 kB Active(file): 2301904 kB Inactive(file): 41976728 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 22880 kB Writeback: 0 kB AnonPages: 305384 kB Mapped: 101212 kB Shmem: 53520 kB KReclaimable: 788728 kB Slab: 910396 kB SReclaimable: 788728 kB SUnreclaim: 121668 kB KernelStack: 3696 kB PageTables: 9516 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 677260 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14784 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 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: 412488 kB DirectMap2M: 54018048 kB DirectMap1G: 81788928 kB Free space on /tmp at the end= 723752 MiB End job on nodeC010 at 2024-07-27 10:20:48