| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 195 | 3600.1 | 3610.11 |
| 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.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 476 #constraints 476 0.09/0.19 c bounds - >= 0 @ 0.003483 0.09/0.19 c bounds 229 >= 0 @ 0.130262 0.09/0.19 c bounds 229 >= 1 @ 0.130485 0.09/0.19 c bounds 229 >= 2 @ 0.130694 0.09/0.19 c bounds 229 >= 3 @ 0.130876 0.09/0.19 c bounds 229 >= 4 @ 0.131078 0.09/0.19 c bounds 229 >= 5 @ 0.131257 0.09/0.19 c bounds 229 >= 6 @ 0.131433 0.09/0.19 c bounds 229 >= 7 @ 0.131617 0.09/0.19 c bounds 229 >= 8 @ 0.131804 0.09/0.19 c bounds 229 >= 9 @ 0.131991 0.09/0.19 c bounds 229 >= 10 @ 0.132184 0.09/0.19 c bounds 229 >= 11 @ 0.132382 0.09/0.19 c bounds 229 >= 12 @ 0.132581 0.09/0.19 c bounds 229 >= 13 @ 0.132776 0.09/0.19 c bounds 229 >= 14 @ 0.132974 0.09/0.19 c bounds 229 >= 15 @ 0.133168 0.09/0.19 c bounds 229 >= 16 @ 0.133368 0.09/0.19 c bounds 229 >= 17 @ 0.133565 0.09/0.19 c bounds 229 >= 18 @ 0.133773 0.09/0.19 c bounds 229 >= 19 @ 0.133968 0.09/0.19 c bounds 229 >= 20 @ 0.134162 0.09/0.19 c bounds 229 >= 21 @ 0.13436 0.09/0.19 c bounds 229 >= 22 @ 0.134565 0.09/0.19 c bounds 229 >= 23 @ 0.134772 0.09/0.19 c bounds 229 >= 24 @ 0.134987 0.09/0.19 c bounds 229 >= 25 @ 0.135196 0.09/0.19 c bounds 229 >= 26 @ 0.135409 0.09/0.19 c bounds 229 >= 27 @ 0.135621 0.09/0.19 c bounds 229 >= 28 @ 0.135839 0.09/0.19 c bounds 229 >= 29 @ 0.136058 0.09/0.19 c bounds 229 >= 30 @ 0.136279 0.09/0.19 c bounds 228 >= 30 @ 0.149249 0.09/0.19 c bounds 228 >= 31 @ 0.149491 0.09/0.19 c bounds 228 >= 32 @ 0.149723 0.09/0.19 c bounds 228 >= 33 @ 0.149955 0.09/0.19 c bounds 228 >= 34 @ 0.150185 0.09/0.19 c bounds 228 >= 35 @ 0.150447 0.09/0.19 c bounds 228 >= 36 @ 0.150529 0.09/0.19 c bounds 228 >= 37 @ 0.150529 0.09/0.19 c bounds 228 >= 38 @ 0.150529 0.09/0.19 c bounds 228 >= 39 @ 0.150601 0.09/0.19 c bounds 228 >= 40 @ 0.150838 0.09/0.19 c bounds 228 >= 41 @ 0.151075 0.09/0.19 c bounds 228 >= 42 @ 0.151318 0.09/0.19 c bounds 228 >= 43 @ 0.151558 0.09/0.19 c bounds 228 >= 44 @ 0.151803 0.09/0.19 c bounds 228 >= 45 @ 0.152052 0.09/0.19 c bounds 228 >= 46 @ 0.1523 0.09/0.19 c bounds 228 >= 47 @ 0.152552 0.09/0.19 c bounds 228 >= 48 @ 0.152815 0.09/0.19 c bounds 228 >= 49 @ 0.153076 0.09/0.19 c bounds 228 >= 50 @ 0.153324 0.09/0.19 c bounds 228 >= 51 @ 0.153563 0.09/0.19 c bounds 228 >= 52 @ 0.153802 0.09/0.19 c bounds 228 >= 53 @ 0.154048 0.09/0.19 c bounds 228 >= 54 @ 0.154296 0.09/0.19 c bounds 228 >= 55 @ 0.154527 0.09/0.19 c bounds 228 >= 56 @ 0.154766 0.09/0.19 c bounds 228 >= 57 @ 0.155001 0.09/0.19 c bounds 228 >= 58 @ 0.155238 0.09/0.19 c bounds 228 >= 59 @ 0.155478 0.09/0.19 c bounds 228 >= 60 @ 0.155724 0.09/0.19 c bounds 228 >= 61 @ 0.155973 0.09/0.19 c bounds 228 >= 62 @ 0.156219 0.09/0.19 c bounds 228 >= 63 @ 0.156466 0.09/0.19 c bounds 228 >= 64 @ 0.156732 0.09/0.19 c bounds 228 >= 65 @ 0.156979 0.09/0.19 c bounds 228 >= 66 @ 0.157235 0.09/0.19 c bounds 228 >= 67 @ 0.157482 0.09/0.19 c bounds 228 >= 68 @ 0.157746 0.09/0.19 c bounds 228 >= 69 @ 0.157991 0.09/0.19 c bounds 228 >= 70 @ 0.158244 0.09/0.19 c bounds 228 >= 71 @ 0.158493 0.09/0.19 c bounds 228 >= 72 @ 0.158752 0.09/0.19 c bounds 228 >= 73 @ 0.15901 0.09/0.19 c bounds 228 >= 74 @ 0.15927 0.09/0.19 c bounds 228 >= 75 @ 0.159542 0.09/0.19 c bounds 228 >= 76 @ 0.159812 0.09/0.19 c bounds 228 >= 77 @ 0.160089 0.09/0.19 c bounds 228 >= 78 @ 0.160352 0.09/0.19 c bounds 228 >= 79 @ 0.160616 0.09/0.19 c bounds 228 >= 80 @ 0.160881 0.09/0.19 c bounds 228 >= 81 @ 0.161149 0.09/0.19 c bounds 228 >= 82 @ 0.161412 0.09/0.19 c bounds 228 >= 83 @ 0.161661 0.09/0.19 c bounds 228 >= 84 @ 0.161928 0.09/0.19 c bounds 228 >= 85 @ 0.162188 0.09/0.19 c bounds 228 >= 86 @ 0.162456 0.09/0.19 c bounds 228 >= 87 @ 0.162587 0.09/0.19 c bounds 228 >= 88 @ 0.162587 0.09/0.19 c bounds 228 >= 89 @ 0.162587 0.09/0.19 c bounds 228 >= 90 @ 0.162587 0.09/0.19 c bounds 228 >= 91 @ 0.162641 0.09/0.19 c bounds 228 >= 92 @ 0.162641 0.09/0.19 c bounds 228 >= 93 @ 0.162641 0.09/0.19 c bounds 228 >= 94 @ 0.162651 0.09/0.19 c bounds 228 >= 95 @ 0.162651 0.09/0.19 c bounds 228 >= 96 @ 0.162651 0.09/0.19 c bounds 228 >= 97 @ 0.162651 0.09/0.19 c bounds 228 >= 98 @ 0.16281 0.09/0.19 c bounds 228 >= 99 @ 0.16311 0.09/0.19 c bounds 228 >= 100 @ 0.1634 0.09/0.19 c bounds 228 >= 101 @ 0.163697 0.09/0.19 c bounds 228 >= 102 @ 0.164 0.09/0.19 c bounds 228 >= 103 @ 0.164287 0.09/0.19 c bounds 228 >= 104 @ 0.164573 0.09/0.19 c bounds 228 >= 105 @ 0.164857 0.09/0.19 c bounds 228 >= 106 @ 0.165143 0.09/0.19 c bounds 228 >= 107 @ 0.165453 0.09/0.19 c bounds 228 >= 108 @ 0.165734 0.09/0.19 c bounds 228 >= 109 @ 0.166042 0.09/0.19 c bounds 228 >= 110 @ 0.166347 0.09/0.19 c bounds 228 >= 111 @ 0.166634 0.09/0.19 c bounds 228 >= 112 @ 0.166948 0.09/0.19 c bounds 228 >= 113 @ 0.167247 0.09/0.19 c bounds 228 >= 114 @ 0.167543 0.09/0.19 c bounds 228 >= 115 @ 0.167641 0.09/0.19 c bounds 228 >= 116 @ 0.167641 0.09/0.19 c bounds 228 >= 117 @ 0.167641 0.09/0.19 c bounds 228 >= 118 @ 0.167795 0.09/0.19 c bounds 228 >= 119 @ 0.168088 0.09/0.19 c bounds 228 >= 120 @ 0.168378 0.09/0.19 c bounds 228 >= 121 @ 0.16867 0.09/0.19 c bounds 228 >= 122 @ 0.16899 0.09/0.19 c bounds 228 >= 123 @ 0.169304 0.09/0.19 c bounds 228 >= 124 @ 0.169633 0.09/0.19 c bounds 228 >= 125 @ 0.169976 0.09/0.19 c bounds 228 >= 126 @ 0.170304 0.09/0.19 c bounds 228 >= 127 @ 0.170618 0.09/0.19 c bounds 228 >= 128 @ 0.170967 0.09/0.19 c bounds 228 >= 129 @ 0.171508 0.09/0.19 c bounds 228 >= 130 @ 0.17163 0.09/0.19 c bounds 228 >= 131 @ 0.17163 0.09/0.19 c bounds 228 >= 132 @ 0.17163 0.09/0.19 c bounds 228 >= 133 @ 0.171878 0.09/0.19 c bounds 228 >= 134 @ 0.172968 0.68/0.71 c bounds 228 >= 135 @ 0.173522 0.68/0.71 c bounds 228 >= 136 @ 0.174593 0.68/0.71 c bounds 228 >= 137 @ 0.174758 0.68/0.71 c bounds 228 >= 138 @ 0.177184 0.68/0.71 c bounds 228 >= 139 @ 0.184977 0.68/0.71 c bounds 227 >= 139 @ 0.19105 0.68/0.71 c bounds 227 >= 140 @ 0.201317 0.68/0.71 c bounds 226 >= 140 @ 0.202761 0.68/0.71 c bounds 225 >= 140 @ 0.203938 0.68/0.71 c bounds 224 >= 140 @ 0.204533 0.68/0.71 c bounds 223 >= 140 @ 0.208021 0.68/0.71 c bounds 222 >= 140 @ 0.21634 0.68/0.71 c #Conflicts: 1000 | #Constraints: 2194 0.68/0.71 c bounds 222 >= 141 @ 0.274427 0.68/0.71 c bounds 221 >= 141 @ 0.275753 0.68/0.71 c bounds 220 >= 141 @ 0.276648 0.68/0.71 c bounds 219 >= 141 @ 0.281357 0.68/0.71 c bounds 218 >= 141 @ 0.313193 0.68/0.71 c bounds 217 >= 141 @ 0.322016 0.68/0.71 c bounds 216 >= 141 @ 0.324273 0.68/0.71 c bounds 215 >= 141 @ 0.329024 0.68/0.71 c bounds 214 >= 141 @ 0.372575 0.68/0.71 c #Conflicts: 2000 | #Constraints: 3262 0.68/0.71 c INPROCESSING 0.68/0.71 c GARBAGE COLLECT 0.68/0.71 c rational objective 141.207 1.48/1.51 c bounds 213 >= 141 @ 0.640502 1.48/1.51 c #Conflicts: 3000 | #Constraints: 3150 1.48/1.51 c bounds 212 >= 141 @ 0.978458 1.48/1.51 c #Conflicts: 4000 | #Constraints: 4151 1.48/1.51 c bounds 212 >= 142 @ 1.15577 1.48/1.51 c INPROCESSING 1.48/1.51 c GARBAGE COLLECT 1.48/1.51 c rational objective 142 2.08/2.17 c #Conflicts: 5000 | #Constraints: 3619 2.08/2.17 c bounds 212 >= 143 @ 1.78777 2.08/2.17 c bounds 211 >= 143 @ 1.79349 2.08/2.17 c bounds 210 >= 143 @ 1.79963 2.08/2.17 c bounds 209 >= 143 @ 1.80338 2.08/2.17 c bounds 208 >= 143 @ 1.80571 2.08/2.17 c #Conflicts: 6000 | #Constraints: 4668 2.08/2.17 c bounds 207 >= 143 @ 1.87982 2.08/2.17 c bounds 206 >= 143 @ 1.91205 2.08/2.17 c INPROCESSING 2.08/2.17 c GARBAGE COLLECT 2.08/2.17 c rational objective 143 3.08/3.17 c #Conflicts: 7000 | #Constraints: 3614 3.08/3.17 c #Conflicts: 8000 | #Constraints: 4614 3.08/3.17 c bounds 205 >= 143 @ 2.72578 3.08/3.17 c #Conflicts: 9000 | #Constraints: 5615 3.08/3.17 c INPROCESSING 3.08/3.17 c GARBAGE COLLECT 3.08/3.17 c rational objective 143 4.08/4.14 c #Conflicts: 10000 | #Constraints: 4366 4.08/4.14 c #Conflicts: 11000 | #Constraints: 5366 4.08/4.14 c #Conflicts: 12000 | #Constraints: 6366 4.08/4.14 c INPROCESSING 4.08/4.14 c GARBAGE COLLECT 4.08/4.14 c rational objective 143 5.09/5.18 c bounds 204 >= 143 @ 3.93593 5.09/5.18 c bounds 203 >= 143 @ 3.94449 5.09/5.18 c #Conflicts: 13000 | #Constraints: 4844 5.09/5.18 c #Conflicts: 14000 | #Constraints: 5844 5.09/5.18 c #Conflicts: 15000 | #Constraints: 6844 5.09/5.18 c INPROCESSING 5.09/5.18 c GARBAGE COLLECT 5.09/5.18 c rational objective 143 6.57/6.60 c #Conflicts: 16000 | #Constraints: 5037 6.57/6.60 c bounds 203 >= 144 @ 5.50643 6.57/6.60 c #Conflicts: 17000 | #Constraints: 6079 6.57/6.60 c #Conflicts: 18000 | #Constraints: 7079 6.57/6.60 c INPROCESSING 6.57/6.60 c GARBAGE COLLECT 6.57/6.60 c rational objective 144 13.86/13.93 c bounds 202 >= 144 @ 6.2611 13.86/13.93 c bounds 201 >= 144 @ 6.26437 13.86/13.93 c #Conflicts: 19000 | #Constraints: 5129 13.86/13.93 c #Conflicts: 20000 | #Constraints: 6129 13.86/13.93 c bounds 200 >= 144 @ 6.84163 13.86/13.93 c #Conflicts: 21000 | #Constraints: 7130 13.86/13.93 c #Conflicts: 22000 | #Constraints: 8130 13.86/13.93 c #Conflicts: 23000 | #Constraints: 9130 13.86/13.93 c #Conflicts: 24000 | #Constraints: 10130 13.86/13.93 c #Conflicts: 25000 | #Constraints: 11130 13.86/13.93 c #Conflicts: 26000 | #Constraints: 12130 13.86/13.93 c #Conflicts: 27000 | #Constraints: 13130 13.86/13.93 c bounds 200 >= 145 @ 12.6817 13.86/13.93 c #Conflicts: 28000 | #Constraints: 14187 13.86/13.93 c INPROCESSING 13.86/13.93 c GARBAGE COLLECT 13.86/13.93 c rational objective 145 16.44/16.54 c #Conflicts: 29000 | #Constraints: 8358 16.44/16.54 c #Conflicts: 30000 | #Constraints: 9358 16.44/16.54 c #Conflicts: 31000 | #Constraints: 10358 16.44/16.54 c #Conflicts: 32000 | #Constraints: 11358 16.44/16.54 c #Conflicts: 33000 | #Constraints: 12358 16.44/16.54 c INPROCESSING 16.44/16.54 c GARBAGE COLLECT 16.44/16.54 c rational objective 145 19.04/19.11 c #Conflicts: 34000 | #Constraints: 7701 19.04/19.11 c #Conflicts: 35000 | #Constraints: 8701 19.04/19.11 c #Conflicts: 36000 | #Constraints: 9701 19.04/19.11 c #Conflicts: 37000 | #Constraints: 10701 19.04/19.11 c #Conflicts: 38000 | #Constraints: 11701 19.04/19.11 c INPROCESSING 19.04/19.11 c GARBAGE COLLECT 19.04/19.11 c rational objective 145 21.83/21.92 c #Conflicts: 39000 | #Constraints: 7517 21.83/21.92 c #Conflicts: 40000 | #Constraints: 8517 21.83/21.92 c #Conflicts: 41000 | #Constraints: 9517 21.83/21.92 c #Conflicts: 42000 | #Constraints: 10517 21.83/21.92 c INPROCESSING 21.83/21.92 c GARBAGE COLLECT 21.83/21.92 c rational objective 145 40.59/40.70 c #Conflicts: 43000 | #Constraints: 6558 40.59/40.70 c #Conflicts: 44000 | #Constraints: 7558 40.59/40.70 c bounds 199 >= 145 @ 22.7738 40.59/40.70 c #Conflicts: 45000 | #Constraints: 8559 40.59/40.70 c #Conflicts: 46000 | #Constraints: 9559 40.59/40.70 c #Conflicts: 47000 | #Constraints: 10559 40.59/40.70 c #Conflicts: 48000 | #Constraints: 11559 40.59/40.70 c #Conflicts: 49000 | #Constraints: 12559 40.59/40.70 c #Conflicts: 50000 | #Constraints: 13559 40.59/40.70 c #Conflicts: 51000 | #Constraints: 14559 40.59/40.70 c #Conflicts: 52000 | #Constraints: 15559 40.59/40.70 c #Conflicts: 53000 | #Constraints: 16559 40.59/40.70 c #Conflicts: 54000 | #Constraints: 17559 40.59/40.70 c #Conflicts: 55000 | #Constraints: 18559 40.59/40.70 c #Conflicts: 56000 | #Constraints: 19559 40.59/40.70 c #Conflicts: 57000 | #Constraints: 20559 40.59/40.70 c #Conflicts: 58000 | #Constraints: 21559 40.59/40.70 c INPROCESSING 40.59/40.70 c GARBAGE COLLECT 40.59/40.70 c rational objective 145 44.68/44.89 c #Conflicts: 59000 | #Constraints: 12125 44.68/44.89 c #Conflicts: 60000 | #Constraints: 13125 44.68/44.89 c #Conflicts: 61000 | #Constraints: 14125 44.68/44.89 c #Conflicts: 62000 | #Constraints: 15125 44.68/44.89 c #Conflicts: 63000 | #Constraints: 16125 44.68/44.89 c #Conflicts: 64000 | #Constraints: 17125 44.68/44.89 c bounds 198 >= 145 @ 43.2649 44.68/44.89 c #Conflicts: 65000 | #Constraints: 18126 44.68/44.89 c INPROCESSING 44.68/44.89 c GARBAGE COLLECT 44.68/44.89 c rational objective 145 48.47/48.60 c #Conflicts: 66000 | #Constraints: 10725 48.47/48.60 c #Conflicts: 67000 | #Constraints: 11725 48.47/48.60 c #Conflicts: 68000 | #Constraints: 12725 48.47/48.60 c #Conflicts: 69000 | #Constraints: 13725 48.47/48.60 c #Conflicts: 70000 | #Constraints: 14725 48.47/48.60 c #Conflicts: 71000 | #Constraints: 15725 48.47/48.60 c INPROCESSING 48.47/48.60 c GARBAGE COLLECT 48.47/48.60 c rational objective 145 96.15/96.49 c #Conflicts: 72000 | #Constraints: 9329 96.15/96.49 c #Conflicts: 73000 | #Constraints: 10329 96.15/96.49 c #Conflicts: 74000 | #Constraints: 11329 96.15/96.49 c #Conflicts: 75000 | #Constraints: 12329 96.15/96.49 c #Conflicts: 76000 | #Constraints: 13329 96.15/96.49 c #Conflicts: 77000 | #Constraints: 14329 96.15/96.49 c #Conflicts: 78000 | #Constraints: 15329 96.15/96.49 c #Conflicts: 79000 | #Constraints: 16329 96.15/96.49 c #Conflicts: 80000 | #Constraints: 17329 96.15/96.49 c #Conflicts: 81000 | #Constraints: 18329 96.15/96.49 c #Conflicts: 82000 | #Constraints: 19329 96.15/96.49 c #Conflicts: 83000 | #Constraints: 20329 96.15/96.49 c #Conflicts: 84000 | #Constraints: 21329 96.15/96.49 c #Conflicts: 85000 | #Constraints: 22329 96.15/96.49 c #Conflicts: 86000 | #Constraints: 23329 96.15/96.49 c #Conflicts: 87000 | #Constraints: 24329 96.15/96.49 c #Conflicts: 88000 | #Constraints: 25329 96.15/96.49 c #Conflicts: 89000 | #Constraints: 26329 96.15/96.49 c #Conflicts: 90000 | #Constraints: 27329 96.15/96.49 c #Conflicts: 91000 | #Constraints: 28329 96.15/96.49 c INPROCESSING 96.15/96.49 c GARBAGE COLLECT 96.15/96.49 c rational objective 145 120.66/121.07 c #Conflicts: 92000 | #Constraints: 15594 120.66/121.07 c #Conflicts: 93000 | #Constraints: 16594 120.66/121.07 c #Conflicts: 94000 | #Constraints: 17594 120.66/121.07 c #Conflicts: 95000 | #Constraints: 18594 120.66/121.07 c #Conflicts: 96000 | #Constraints: 19594 120.66/121.07 c #Conflicts: 97000 | #Constraints: 20594 120.66/121.07 c #Conflicts: 98000 | #Constraints: 21594 120.66/121.07 c #Conflicts: 99000 | #Constraints: 22594 120.66/121.07 c INPROCESSING 120.66/121.07 c GARBAGE COLLECT 120.66/121.07 c rational objective 145 129.33/129.78 c #Conflicts: 100000 | #Constraints: 12948 129.33/129.78 c #Conflicts: 101000 | #Constraints: 13948 129.33/129.78 c #Conflicts: 102000 | #Constraints: 14948 129.33/129.78 c #Conflicts: 103000 | #Constraints: 15948 129.33/129.78 c #Conflicts: 104000 | #Constraints: 16948 129.33/129.78 c #Conflicts: 105000 | #Constraints: 17948 129.33/129.78 c #Conflicts: 106000 | #Constraints: 18948 129.33/129.78 c #Conflicts: 107000 | #Constraints: 19948 129.33/129.78 c INPROCESSING 129.33/129.78 c GARBAGE COLLECT 129.33/129.78 c rational objective 145 167.93/168.46 c #Conflicts: 108000 | #Constraints: 11680 167.93/168.46 c #Conflicts: 109000 | #Constraints: 12680 167.93/168.46 c #Conflicts: 110000 | #Constraints: 13680 167.93/168.46 c #Conflicts: 111000 | #Constraints: 14680 167.93/168.46 c bounds 198 >= 146 @ 131.227 167.93/168.46 c #Conflicts: 112000 | #Constraints: 15728 167.93/168.46 c #Conflicts: 113000 | #Constraints: 16728 167.93/168.46 c #Conflicts: 114000 | #Constraints: 17728 167.93/168.46 c #Conflicts: 115000 | #Constraints: 18728 167.93/168.46 c #Conflicts: 116000 | #Constraints: 19728 167.93/168.46 c #Conflicts: 117000 | #Constraints: 20728 167.93/168.46 c #Conflicts: 118000 | #Constraints: 21728 167.93/168.46 c #Conflicts: 119000 | #Constraints: 22728 167.93/168.46 c #Conflicts: 120000 | #Constraints: 23728 167.93/168.46 c #Conflicts: 121000 | #Constraints: 24728 167.93/168.46 c #Conflicts: 122000 | #Constraints: 25728 167.93/168.46 c #Conflicts: 123000 | #Constraints: 26728 167.93/168.46 c #Conflicts: 124000 | #Constraints: 27728 167.93/168.46 c #Conflicts: 125000 | #Constraints: 28728 167.93/168.46 c #Conflicts: 126000 | #Constraints: 29728 167.93/168.46 c #Conflicts: 127000 | #Constraints: 30728 167.93/168.46 c #Conflicts: 128000 | #Constraints: 31728 167.93/168.46 c #Conflicts: 129000 | #Constraints: 32728 167.93/168.46 c #Conflicts: 130000 | #Constraints: 33728 167.93/168.46 c #Conflicts: 131000 | #Constraints: 34728 167.93/168.46 c INPROCESSING 167.93/168.46 c GARBAGE COLLECT 167.93/168.46 c rational objective 146 178.31/178.83 c #Conflicts: 132000 | #Constraints: 18951 178.31/178.83 c #Conflicts: 133000 | #Constraints: 19951 178.31/178.83 c #Conflicts: 134000 | #Constraints: 20951 178.31/178.83 c bounds 197 >= 146 @ 167.606 178.31/178.83 c #Conflicts: 135000 | #Constraints: 21952 178.31/178.83 c #Conflicts: 136000 | #Constraints: 22952 178.31/178.83 c #Conflicts: 137000 | #Constraints: 23952 178.31/178.83 c #Conflicts: 138000 | #Constraints: 24952 178.31/178.83 c #Conflicts: 139000 | #Constraints: 25952 178.31/178.83 c #Conflicts: 140000 | #Constraints: 26952 178.31/178.83 c INPROCESSING 178.31/178.83 c GARBAGE COLLECT 178.31/178.83 c rational objective 146 233.88/234.56 c #Conflicts: 141000 | #Constraints: 14878 233.88/234.56 c #Conflicts: 142000 | #Constraints: 15878 233.88/234.56 c #Conflicts: 143000 | #Constraints: 16878 233.88/234.56 c #Conflicts: 144000 | #Constraints: 17878 233.88/234.56 c #Conflicts: 145000 | #Constraints: 18878 233.88/234.56 c #Conflicts: 146000 | #Constraints: 19878 233.88/234.56 c #Conflicts: 147000 | #Constraints: 20878 233.88/234.56 c #Conflicts: 148000 | #Constraints: 21878 233.88/234.56 c #Conflicts: 149000 | #Constraints: 22878 233.88/234.56 c #Conflicts: 150000 | #Constraints: 23878 233.88/234.56 c #Conflicts: 151000 | #Constraints: 24878 233.88/234.56 c #Conflicts: 152000 | #Constraints: 25878 233.88/234.56 c #Conflicts: 153000 | #Constraints: 26878 233.88/234.56 c #Conflicts: 154000 | #Constraints: 27878 233.88/234.56 c #Conflicts: 155000 | #Constraints: 28878 233.88/234.56 c #Conflicts: 156000 | #Constraints: 29878 233.88/234.56 c #Conflicts: 157000 | #Constraints: 30878 233.88/234.56 c #Conflicts: 158000 | #Constraints: 31878 233.88/234.56 c #Conflicts: 159000 | #Constraints: 32878 233.88/234.56 c #Conflicts: 160000 | #Constraints: 33878 233.88/234.56 c #Conflicts: 161000 | #Constraints: 34878 233.88/234.56 c #Conflicts: 162000 | #Constraints: 35878 233.88/234.56 c #Conflicts: 163000 | #Constraints: 36878 233.88/234.56 c #Conflicts: 164000 | #Constraints: 37878 233.88/234.56 c #Conflicts: 165000 | #Constraints: 38878 233.88/234.56 c #Conflicts: 166000 | #Constraints: 39878 233.88/234.56 c #Conflicts: 167000 | #Constraints: 40878 233.88/234.56 c #Conflicts: 168000 | #Constraints: 41878 233.88/234.56 c INPROCESSING 233.88/234.56 c GARBAGE COLLECT 233.88/234.56 c rational objective 146 246.94/247.66 c #Conflicts: 169000 | #Constraints: 22731 246.94/247.66 c #Conflicts: 170000 | #Constraints: 23732 246.94/247.66 c #Conflicts: 171000 | #Constraints: 24732 246.94/247.66 c #Conflicts: 172000 | #Constraints: 25732 246.94/247.66 c #Conflicts: 173000 | #Constraints: 26732 246.94/247.66 c #Conflicts: 174000 | #Constraints: 27732 246.94/247.66 c #Conflicts: 175000 | #Constraints: 28732 246.94/247.66 c #Conflicts: 176000 | #Constraints: 29732 246.94/247.66 c #Conflicts: 177000 | #Constraints: 30732 246.94/247.66 c #Conflicts: 178000 | #Constraints: 31732 246.94/247.66 c INPROCESSING 246.94/247.66 c GARBAGE COLLECT 246.94/247.66 c rational objective 146 312.88/313.79 c #Conflicts: 179000 | #Constraints: 17321 312.88/313.79 c #Conflicts: 180000 | #Constraints: 18321 312.88/313.79 c #Conflicts: 181000 | #Constraints: 19321 312.88/313.79 c #Conflicts: 182000 | #Constraints: 20321 312.88/313.79 c #Conflicts: 183000 | #Constraints: 21321 312.88/313.79 c #Conflicts: 184000 | #Constraints: 22321 312.88/313.79 c #Conflicts: 185000 | #Constraints: 23321 312.88/313.79 c #Conflicts: 186000 | #Constraints: 24321 312.88/313.79 c #Conflicts: 187000 | #Constraints: 25321 312.88/313.79 c #Conflicts: 188000 | #Constraints: 26321 312.88/313.79 c #Conflicts: 189000 | #Constraints: 27321 312.88/313.79 c #Conflicts: 190000 | #Constraints: 28321 312.88/313.79 c #Conflicts: 191000 | #Constraints: 29321 312.88/313.79 c #Conflicts: 192000 | #Constraints: 30321 312.88/313.79 c #Conflicts: 193000 | #Constraints: 31321 312.88/313.79 c #Conflicts: 194000 | #Constraints: 32321 312.88/313.79 c #Conflicts: 195000 | #Constraints: 33321 312.88/313.79 c #Conflicts: 196000 | #Constraints: 34321 312.88/313.79 c #Conflicts: 197000 | #Constraints: 35321 312.88/313.79 c #Conflicts: 198000 | #Constraints: 36321 312.88/313.79 c #Conflicts: 199000 | #Constraints: 37321 312.88/313.79 c #Conflicts: 200000 | #Constraints: 38321 312.88/313.79 c #Conflicts: 201000 | #Constraints: 39321 312.88/313.79 c #Conflicts: 202000 | #Constraints: 40321 312.88/313.79 c #Conflicts: 203000 | #Constraints: 41321 312.88/313.79 c #Conflicts: 204000 | #Constraints: 42321 312.88/313.79 c #Conflicts: 205000 | #Constraints: 43321 312.88/313.79 c #Conflicts: 206000 | #Constraints: 44321 312.88/313.79 c #Conflicts: 207000 | #Constraints: 45321 312.88/313.79 c #Conflicts: 208000 | #Constraints: 46321 312.88/313.79 c #Conflicts: 209000 | #Constraints: 47321 312.88/313.79 c INPROCESSING 312.88/313.79 c GARBAGE COLLECT 312.88/313.79 c rational objective 146 364.75/365.75 c #Conflicts: 210000 | #Constraints: 25373 364.75/365.75 c #Conflicts: 211000 | #Constraints: 26373 364.75/365.75 c #Conflicts: 212000 | #Constraints: 27373 364.75/365.75 c #Conflicts: 213000 | #Constraints: 28373 364.75/365.75 c #Conflicts: 214000 | #Constraints: 29373 364.75/365.75 c #Conflicts: 215000 | #Constraints: 30373 364.75/365.75 c #Conflicts: 216000 | #Constraints: 31373 364.75/365.75 c #Conflicts: 217000 | #Constraints: 32373 364.75/365.75 c #Conflicts: 218000 | #Constraints: 33373 364.75/365.75 c #Conflicts: 219000 | #Constraints: 34373 364.75/365.75 c #Conflicts: 220000 | #Constraints: 35373 364.75/365.75 c INPROCESSING 364.75/365.75 c GARBAGE COLLECT 364.75/365.75 c rational objective 146 387.29/388.33 c #Conflicts: 221000 | #Constraints: 19072 387.29/388.33 c #Conflicts: 222000 | #Constraints: 20072 387.29/388.33 c #Conflicts: 223000 | #Constraints: 21072 387.29/388.33 c #Conflicts: 224000 | #Constraints: 22072 387.29/388.33 c #Conflicts: 225000 | #Constraints: 23072 387.29/388.33 c #Conflicts: 226000 | #Constraints: 24072 387.29/388.33 c #Conflicts: 227000 | #Constraints: 25072 387.29/388.33 c #Conflicts: 228000 | #Constraints: 26072 387.29/388.33 c #Conflicts: 229000 | #Constraints: 27072 387.29/388.33 c #Conflicts: 230000 | #Constraints: 28072 387.29/388.33 c #Conflicts: 231000 | #Constraints: 29072 387.29/388.33 c #Conflicts: 232000 | #Constraints: 30072 387.29/388.33 c INPROCESSING 387.29/388.33 c GARBAGE COLLECT 387.29/388.33 c rational objective 146 487.64/488.90 c #Conflicts: 233000 | #Constraints: 16622 487.64/488.90 c #Conflicts: 234000 | #Constraints: 17622 487.64/488.90 c #Conflicts: 235000 | #Constraints: 18622 487.64/488.90 c #Conflicts: 236000 | #Constraints: 19622 487.64/488.90 c #Conflicts: 237000 | #Constraints: 20622 487.64/488.90 c #Conflicts: 238000 | #Constraints: 21622 487.64/488.90 c #Conflicts: 239000 | #Constraints: 22622 487.64/488.90 c #Conflicts: 240000 | #Constraints: 23622 487.64/488.90 c #Conflicts: 241000 | #Constraints: 24622 487.64/488.90 c #Conflicts: 242000 | #Constraints: 25622 487.64/488.90 c #Conflicts: 243000 | #Constraints: 26622 487.64/488.90 c #Conflicts: 244000 | #Constraints: 27622 487.64/488.90 c #Conflicts: 245000 | #Constraints: 28622 487.64/488.90 c #Conflicts: 246000 | #Constraints: 29622 487.64/488.90 c #Conflicts: 247000 | #Constraints: 30622 487.64/488.90 c #Conflicts: 248000 | #Constraints: 31622 487.64/488.90 c #Conflicts: 249000 | #Constraints: 32622 487.64/488.90 c #Conflicts: 250000 | #Constraints: 33622 487.64/488.90 c #Conflicts: 251000 | #Constraints: 34622 487.64/488.90 c #Conflicts: 252000 | #Constraints: 35622 487.64/488.90 c #Conflicts: 253000 | #Constraints: 36622 487.64/488.90 c #Conflicts: 254000 | #Constraints: 37622 487.64/488.90 c #Conflicts: 255000 | #Constraints: 38622 487.64/488.90 c #Conflicts: 256000 | #Constraints: 39622 487.64/488.90 c #Conflicts: 257000 | #Constraints: 40622 487.64/488.90 c #Conflicts: 258000 | #Constraints: 41622 487.64/488.90 c #Conflicts: 259000 | #Constraints: 42622 487.64/488.90 c #Conflicts: 260000 | #Constraints: 43622 487.64/488.90 c #Conflicts: 261000 | #Constraints: 44622 487.64/488.90 c #Conflicts: 262000 | #Constraints: 45622 487.64/488.90 c #Conflicts: 263000 | #Constraints: 46622 487.64/488.90 c #Conflicts: 264000 | #Constraints: 47622 487.64/488.90 c #Conflicts: 265000 | #Constraints: 48622 487.64/488.90 c #Conflicts: 266000 | #Constraints: 49622 487.64/488.90 c #Conflicts: 267000 | #Constraints: 50622 487.64/488.90 c INPROCESSING 487.64/488.90 c GARBAGE COLLECT 487.64/488.90 c rational objective 146 560.58/562.09 c #Conflicts: 268000 | #Constraints: 26772 560.58/562.09 c #Conflicts: 269000 | #Constraints: 27772 560.58/562.09 c #Conflicts: 270000 | #Constraints: 28772 560.58/562.09 c #Conflicts: 271000 | #Constraints: 29772 560.58/562.09 c #Conflicts: 272000 | #Constraints: 30772 560.58/562.09 c #Conflicts: 273000 | #Constraints: 31772 560.58/562.09 c #Conflicts: 274000 | #Constraints: 32772 560.58/562.09 c #Conflicts: 275000 | #Constraints: 33772 560.58/562.09 c #Conflicts: 276000 | #Constraints: 34772 560.58/562.09 c #Conflicts: 277000 | #Constraints: 35772 560.58/562.09 c #Conflicts: 278000 | #Constraints: 36772 560.58/562.09 c #Conflicts: 279000 | #Constraints: 37772 560.58/562.09 c #Conflicts: 280000 | #Constraints: 38772 560.58/562.09 c INPROCESSING 560.58/562.09 c GARBAGE COLLECT 560.58/562.09 c rational objective 146 590.99/592.50 c #Conflicts: 281000 | #Constraints: 20781 590.99/592.50 c #Conflicts: 282000 | #Constraints: 21781 590.99/592.50 c #Conflicts: 283000 | #Constraints: 22781 590.99/592.50 c #Conflicts: 284000 | #Constraints: 23781 590.99/592.50 c #Conflicts: 285000 | #Constraints: 24781 590.99/592.50 c #Conflicts: 286000 | #Constraints: 25781 590.99/592.50 c #Conflicts: 287000 | #Constraints: 26781 590.99/592.50 c #Conflicts: 288000 | #Constraints: 27781 590.99/592.50 c #Conflicts: 289000 | #Constraints: 28781 590.99/592.50 c #Conflicts: 290000 | #Constraints: 29781 590.99/592.50 c #Conflicts: 291000 | #Constraints: 30781 590.99/592.50 c #Conflicts: 292000 | #Constraints: 31781 590.99/592.50 c #Conflicts: 293000 | #Constraints: 32781 590.99/592.50 c #Conflicts: 294000 | #Constraints: 33781 590.99/592.50 c INPROCESSING 590.99/592.50 c GARBAGE COLLECT 590.99/592.50 c rational objective 146 732.48/734.46 c #Conflicts: 295000 | #Constraints: 19884 732.48/734.46 c #Conflicts: 296000 | #Constraints: 20884 732.48/734.46 c #Conflicts: 297000 | #Constraints: 21884 732.48/734.46 c #Conflicts: 298000 | #Constraints: 22884 732.48/734.46 c #Conflicts: 299000 | #Constraints: 23884 732.48/734.46 c #Conflicts: 300000 | #Constraints: 24884 732.48/734.46 c #Conflicts: 301000 | #Constraints: 25884 732.48/734.46 c #Conflicts: 302000 | #Constraints: 26884 732.48/734.46 c #Conflicts: 303000 | #Constraints: 27884 732.48/734.46 c #Conflicts: 304000 | #Constraints: 28884 732.48/734.46 c #Conflicts: 305000 | #Constraints: 29884 732.48/734.46 c #Conflicts: 306000 | #Constraints: 30884 732.48/734.46 c #Conflicts: 307000 | #Constraints: 31884 732.48/734.46 c #Conflicts: 308000 | #Constraints: 32884 732.48/734.46 c #Conflicts: 309000 | #Constraints: 33884 732.48/734.46 c #Conflicts: 310000 | #Constraints: 34884 732.48/734.46 c #Conflicts: 311000 | #Constraints: 35884 732.48/734.46 c #Conflicts: 312000 | #Constraints: 36884 732.48/734.46 c #Conflicts: 313000 | #Constraints: 37884 732.48/734.46 c #Conflicts: 314000 | #Constraints: 38884 732.48/734.46 c #Conflicts: 315000 | #Constraints: 39884 732.48/734.46 c #Conflicts: 316000 | #Constraints: 40884 732.48/734.46 c #Conflicts: 317000 | #Constraints: 41884 732.48/734.46 c #Conflicts: 318000 | #Constraints: 42884 732.48/734.46 c #Conflicts: 319000 | #Constraints: 43884 732.48/734.46 c #Conflicts: 320000 | #Constraints: 44884 732.48/734.46 c #Conflicts: 321000 | #Constraints: 45884 732.48/734.46 c #Conflicts: 322000 | #Constraints: 46884 732.48/734.46 c #Conflicts: 323000 | #Constraints: 47884 732.48/734.46 c #Conflicts: 324000 | #Constraints: 48884 732.48/734.46 c #Conflicts: 325000 | #Constraints: 49884 732.48/734.46 c #Conflicts: 326000 | #Constraints: 50884 732.48/734.46 c #Conflicts: 327000 | #Constraints: 51884 732.48/734.46 c #Conflicts: 328000 | #Constraints: 52884 732.48/734.46 c #Conflicts: 329000 | #Constraints: 53884 732.48/734.46 c #Conflicts: 330000 | #Constraints: 54884 732.48/734.46 c #Conflicts: 331000 | #Constraints: 55884 732.48/734.46 c #Conflicts: 332000 | #Constraints: 56884 732.48/734.46 c #Conflicts: 333000 | #Constraints: 57884 732.48/734.46 c INPROCESSING 732.48/734.46 c GARBAGE COLLECT 732.48/734.46 c rational objective 146 764.11/766.12 c #Conflicts: 334000 | #Constraints: 30648 764.11/766.12 c #Conflicts: 335000 | #Constraints: 31648 764.11/766.12 c #Conflicts: 336000 | #Constraints: 32648 764.11/766.12 c #Conflicts: 337000 | #Constraints: 33648 764.11/766.12 c #Conflicts: 338000 | #Constraints: 34648 764.11/766.12 c #Conflicts: 339000 | #Constraints: 35648 764.11/766.12 c #Conflicts: 340000 | #Constraints: 36648 764.11/766.12 c #Conflicts: 341000 | #Constraints: 37648 764.11/766.12 c #Conflicts: 342000 | #Constraints: 38648 764.11/766.12 c #Conflicts: 343000 | #Constraints: 39648 764.11/766.12 c #Conflicts: 344000 | #Constraints: 40648 764.11/766.12 c #Conflicts: 345000 | #Constraints: 41648 764.11/766.12 c #Conflicts: 346000 | #Constraints: 42648 764.11/766.12 c #Conflicts: 347000 | #Constraints: 43648 764.11/766.12 c #Conflicts: 348000 | #Constraints: 44648 764.11/766.12 c INPROCESSING 764.11/766.12 c GARBAGE COLLECT 764.11/766.12 c rational objective 146 935.26/937.72 c #Conflicts: 349000 | #Constraints: 24030 935.26/937.72 c #Conflicts: 350000 | #Constraints: 25030 935.26/937.72 c #Conflicts: 351000 | #Constraints: 26030 935.26/937.72 c #Conflicts: 352000 | #Constraints: 27030 935.26/937.72 c #Conflicts: 353000 | #Constraints: 28030 935.26/937.72 c #Conflicts: 354000 | #Constraints: 29030 935.26/937.72 c #Conflicts: 355000 | #Constraints: 30030 935.26/937.72 c #Conflicts: 356000 | #Constraints: 31030 935.26/937.72 c #Conflicts: 357000 | #Constraints: 32030 935.26/937.72 c #Conflicts: 358000 | #Constraints: 33030 935.26/937.72 c #Conflicts: 359000 | #Constraints: 34030 935.26/937.72 c #Conflicts: 360000 | #Constraints: 35030 935.26/937.72 c #Conflicts: 361000 | #Constraints: 36030 935.26/937.72 c #Conflicts: 362000 | #Constraints: 37030 935.26/937.72 c #Conflicts: 363000 | #Constraints: 38030 935.26/937.72 c #Conflicts: 364000 | #Constraints: 39030 935.26/937.72 c #Conflicts: 365000 | #Constraints: 40030 935.26/937.72 c #Conflicts: 366000 | #Constraints: 41030 935.26/937.72 c #Conflicts: 367000 | #Constraints: 42030 935.26/937.72 c #Conflicts: 368000 | #Constraints: 43030 935.26/937.72 c #Conflicts: 369000 | #Constraints: 44030 935.26/937.72 c #Conflicts: 370000 | #Constraints: 45030 935.26/937.72 c #Conflicts: 371000 | #Constraints: 46030 935.26/937.72 c #Conflicts: 372000 | #Constraints: 47030 935.26/937.72 c #Conflicts: 373000 | #Constraints: 48030 935.26/937.72 c #Conflicts: 374000 | #Constraints: 49030 935.26/937.72 c #Conflicts: 375000 | #Constraints: 50030 935.26/937.72 c #Conflicts: 376000 | #Constraints: 51030 935.26/937.72 c #Conflicts: 377000 | #Constraints: 52030 935.26/937.72 c #Conflicts: 378000 | #Constraints: 53030 935.26/937.72 c #Conflicts: 379000 | #Constraints: 54030 935.26/937.72 c #Conflicts: 380000 | #Constraints: 55030 935.26/937.72 c #Conflicts: 381000 | #Constraints: 56030 935.26/937.72 c #Conflicts: 382000 | #Constraints: 57030 935.26/937.72 c #Conflicts: 383000 | #Constraints: 58030 935.26/937.72 c #Conflicts: 384000 | #Constraints: 59030 935.26/937.72 c #Conflicts: 385000 | #Constraints: 60030 935.26/937.72 c #Conflicts: 386000 | #Constraints: 61030 935.26/937.72 c #Conflicts: 387000 | #Constraints: 62030 935.26/937.72 c #Conflicts: 388000 | #Constraints: 63030 935.26/937.72 c #Conflicts: 389000 | #Constraints: 64030 935.26/937.72 c #Conflicts: 390000 | #Constraints: 65030 935.26/937.72 c INPROCESSING 935.26/937.72 c GARBAGE COLLECT 935.26/937.72 c rational objective 146 1043.52/1046.31 c #Conflicts: 391000 | #Constraints: 34216 1043.52/1046.31 c #Conflicts: 392000 | #Constraints: 35216 1043.52/1046.31 c #Conflicts: 393000 | #Constraints: 36216 1043.52/1046.31 c #Conflicts: 394000 | #Constraints: 37216 1043.52/1046.31 c #Conflicts: 395000 | #Constraints: 38216 1043.52/1046.31 c #Conflicts: 396000 | #Constraints: 39216 1043.52/1046.31 c #Conflicts: 397000 | #Constraints: 40216 1043.52/1046.31 c #Conflicts: 398000 | #Constraints: 41216 1043.52/1046.31 c #Conflicts: 399000 | #Constraints: 42216 1043.52/1046.31 c #Conflicts: 400000 | #Constraints: 43216 1043.52/1046.31 c #Conflicts: 401000 | #Constraints: 44216 1043.52/1046.31 c #Conflicts: 402000 | #Constraints: 45216 1043.52/1046.31 c #Conflicts: 403000 | #Constraints: 46216 1043.52/1046.31 c #Conflicts: 404000 | #Constraints: 47216 1043.52/1046.31 c #Conflicts: 405000 | #Constraints: 48216 1043.52/1046.31 c #Conflicts: 406000 | #Constraints: 49216 1043.52/1046.31 c INPROCESSING 1043.52/1046.31 c GARBAGE COLLECT 1043.52/1046.31 c rational objective 146 1102.15/1105.13 c #Conflicts: 407000 | #Constraints: 26357 1102.15/1105.13 c #Conflicts: 408000 | #Constraints: 27357 1102.15/1105.13 c #Conflicts: 409000 | #Constraints: 28357 1102.15/1105.13 c #Conflicts: 410000 | #Constraints: 29357 1102.15/1105.13 c #Conflicts: 411000 | #Constraints: 30357 1102.15/1105.13 c #Conflicts: 412000 | #Constraints: 31357 1102.15/1105.13 c #Conflicts: 413000 | #Constraints: 32357 1102.15/1105.13 c #Conflicts: 414000 | #Constraints: 33357 1102.15/1105.13 c #Conflicts: 415000 | #Constraints: 34357 1102.15/1105.13 c #Conflicts: 416000 | #Constraints: 35357 1102.15/1105.13 c #Conflicts: 417000 | #Constraints: 36357 1102.15/1105.13 c #Conflicts: 418000 | #Constraints: 37357 1102.15/1105.13 c #Conflicts: 419000 | #Constraints: 38357 1102.15/1105.13 c #Conflicts: 420000 | #Constraints: 39357 1102.15/1105.13 c #Conflicts: 421000 | #Constraints: 40357 1102.15/1105.13 c #Conflicts: 422000 | #Constraints: 41357 1102.15/1105.13 c INPROCESSING 1102.15/1105.13 c GARBAGE COLLECT 1102.15/1105.13 c rational objective 146 1278.80/1282.30 c #Conflicts: 423000 | #Constraints: 25792 1278.80/1282.30 c #Conflicts: 424000 | #Constraints: 26792 1278.80/1282.30 c #Conflicts: 425000 | #Constraints: 27792 1278.80/1282.30 c #Conflicts: 426000 | #Constraints: 28792 1278.80/1282.30 c #Conflicts: 427000 | #Constraints: 29792 1278.80/1282.30 c #Conflicts: 428000 | #Constraints: 30792 1278.80/1282.30 c #Conflicts: 429000 | #Constraints: 31792 1278.80/1282.30 c #Conflicts: 430000 | #Constraints: 32792 1278.80/1282.30 c #Conflicts: 431000 | #Constraints: 33792 1278.80/1282.30 c #Conflicts: 432000 | #Constraints: 34792 1278.80/1282.30 c #Conflicts: 433000 | #Constraints: 35792 1278.80/1282.30 c #Conflicts: 434000 | #Constraints: 36792 1278.80/1282.30 c #Conflicts: 435000 | #Constraints: 37792 1278.80/1282.30 c #Conflicts: 436000 | #Constraints: 38792 1278.80/1282.30 c #Conflicts: 437000 | #Constraints: 39792 1278.80/1282.30 c #Conflicts: 438000 | #Constraints: 40792 1278.80/1282.30 c #Conflicts: 439000 | #Constraints: 41792 1278.80/1282.30 c #Conflicts: 440000 | #Constraints: 42792 1278.80/1282.30 c #Conflicts: 441000 | #Constraints: 43792 1278.80/1282.30 c #Conflicts: 442000 | #Constraints: 44792 1278.80/1282.30 c #Conflicts: 443000 | #Constraints: 45792 1278.80/1282.30 c #Conflicts: 444000 | #Constraints: 46792 1278.80/1282.30 c #Conflicts: 445000 | #Constraints: 47792 1278.80/1282.30 c #Conflicts: 446000 | #Constraints: 48792 1278.80/1282.30 c #Conflicts: 447000 | #Constraints: 49792 1278.80/1282.30 c #Conflicts: 448000 | #Constraints: 50792 1278.80/1282.30 c #Conflicts: 449000 | #Constraints: 51792 1278.80/1282.30 c #Conflicts: 450000 | #Constraints: 52792 1278.80/1282.30 c #Conflicts: 451000 | #Constraints: 53792 1278.80/1282.30 c bounds 197 >= 147 @ 1222.3 1278.80/1282.30 c #Conflicts: 452000 | #Constraints: 54840 1278.80/1282.30 c #Conflicts: 453000 | #Constraints: 55840 1278.80/1282.30 c #Conflicts: 454000 | #Constraints: 56840 1278.80/1282.30 c #Conflicts: 455000 | #Constraints: 57840 1278.80/1282.30 c #Conflicts: 456000 | #Constraints: 58840 1278.80/1282.30 c #Conflicts: 457000 | #Constraints: 59840 1278.80/1282.30 c #Conflicts: 458000 | #Constraints: 60840 1278.80/1282.30 c #Conflicts: 459000 | #Constraints: 61840 1278.80/1282.30 c #Conflicts: 460000 | #Constraints: 62840 1278.80/1282.30 c #Conflicts: 461000 | #Constraints: 63840 1278.80/1282.30 c #Conflicts: 462000 | #Constraints: 64840 1278.80/1282.30 c #Conflicts: 463000 | #Constraints: 65840 1278.80/1282.30 c #Conflicts: 464000 | #Constraints: 66840 1278.80/1282.30 c #Conflicts: 465000 | #Constraints: 67840 1278.80/1282.30 c #Conflicts: 466000 | #Constraints: 68840 1278.80/1282.30 c #Conflicts: 467000 | #Constraints: 69840 1278.80/1282.30 c #Conflicts: 468000 | #Constraints: 70840 1278.80/1282.30 c INPROCESSING 1278.80/1282.30 c GARBAGE COLLECT 1278.80/1282.30 c rational objective 147 1349.89/1353.67 c #Conflicts: 469000 | #Constraints: 36856 1349.89/1353.67 c #Conflicts: 470000 | #Constraints: 37856 1349.89/1353.67 c #Conflicts: 471000 | #Constraints: 38856 1349.89/1353.67 c #Conflicts: 472000 | #Constraints: 39856 1349.89/1353.67 c #Conflicts: 473000 | #Constraints: 40857 1349.89/1353.67 c #Conflicts: 474000 | #Constraints: 41857 1349.89/1353.67 c #Conflicts: 475000 | #Constraints: 42857 1349.89/1353.67 c #Conflicts: 476000 | #Constraints: 43857 1349.89/1353.67 c #Conflicts: 477000 | #Constraints: 44857 1349.89/1353.67 c #Conflicts: 478000 | #Constraints: 45857 1349.89/1353.67 c #Conflicts: 479000 | #Constraints: 46857 1349.89/1353.67 c #Conflicts: 480000 | #Constraints: 47857 1349.89/1353.67 c #Conflicts: 481000 | #Constraints: 48857 1349.89/1353.67 c #Conflicts: 482000 | #Constraints: 49857 1349.89/1353.67 c #Conflicts: 483000 | #Constraints: 50857 1349.89/1353.67 c #Conflicts: 484000 | #Constraints: 51857 1349.89/1353.67 c #Conflicts: 485000 | #Constraints: 52857 1349.89/1353.67 c #Conflicts: 486000 | #Constraints: 53857 1349.89/1353.67 c INPROCESSING 1349.89/1353.67 c GARBAGE COLLECT 1349.89/1353.67 c rational objective 147 1597.34/1601.86 c #Conflicts: 487000 | #Constraints: 28565 1597.34/1601.86 c #Conflicts: 488000 | #Constraints: 29565 1597.34/1601.86 c #Conflicts: 489000 | #Constraints: 30565 1597.34/1601.86 c #Conflicts: 490000 | #Constraints: 31565 1597.34/1601.86 c #Conflicts: 491000 | #Constraints: 32565 1597.34/1601.86 c #Conflicts: 492000 | #Constraints: 33565 1597.34/1601.86 c #Conflicts: 493000 | #Constraints: 34565 1597.34/1601.86 c #Conflicts: 494000 | #Constraints: 35565 1597.34/1601.86 c #Conflicts: 495000 | #Constraints: 36565 1597.34/1601.86 c #Conflicts: 496000 | #Constraints: 37565 1597.34/1601.86 c #Conflicts: 497000 | #Constraints: 38565 1597.34/1601.86 c #Conflicts: 498000 | #Constraints: 39565 1597.34/1601.86 c #Conflicts: 499000 | #Constraints: 40565 1597.34/1601.86 c #Conflicts: 500000 | #Constraints: 41565 1597.34/1601.86 c #Conflicts: 501000 | #Constraints: 42565 1597.34/1601.86 c #Conflicts: 502000 | #Constraints: 43565 1597.34/1601.86 c #Conflicts: 503000 | #Constraints: 44565 1597.34/1601.86 c #Conflicts: 504000 | #Constraints: 45565 1597.34/1601.86 c #Conflicts: 505000 | #Constraints: 46565 1597.34/1601.86 c #Conflicts: 506000 | #Constraints: 47565 1597.34/1601.86 c #Conflicts: 507000 | #Constraints: 48565 1597.34/1601.86 c #Conflicts: 508000 | #Constraints: 49565 1597.34/1601.86 c #Conflicts: 509000 | #Constraints: 50565 1597.34/1601.86 c #Conflicts: 510000 | #Constraints: 51565 1597.34/1601.86 c #Conflicts: 511000 | #Constraints: 52565 1597.34/1601.86 c #Conflicts: 512000 | #Constraints: 53565 1597.34/1601.86 c #Conflicts: 513000 | #Constraints: 54565 1597.34/1601.86 c #Conflicts: 514000 | #Constraints: 55565 1597.34/1601.86 c #Conflicts: 515000 | #Constraints: 56565 1597.34/1601.86 c #Conflicts: 516000 | #Constraints: 57565 1597.34/1601.86 c #Conflicts: 517000 | #Constraints: 58565 1597.34/1601.86 c #Conflicts: 518000 | #Constraints: 59565 1597.34/1601.86 c #Conflicts: 519000 | #Constraints: 60565 1597.34/1601.86 c #Conflicts: 520000 | #Constraints: 61565 1597.34/1601.86 c #Conflicts: 521000 | #Constraints: 62565 1597.34/1601.86 c #Conflicts: 522000 | #Constraints: 63565 1597.34/1601.86 c #Conflicts: 523000 | #Constraints: 64565 1597.34/1601.86 c #Conflicts: 524000 | #Constraints: 65565 1597.34/1601.86 c #Conflicts: 525000 | #Constraints: 66565 1597.34/1601.86 c #Conflicts: 526000 | #Constraints: 67565 1597.34/1601.86 c #Conflicts: 527000 | #Constraints: 68565 1597.34/1601.86 c #Conflicts: 528000 | #Constraints: 69565 1597.34/1601.86 c #Conflicts: 529000 | #Constraints: 70565 1597.34/1601.86 c #Conflicts: 530000 | #Constraints: 71565 1597.34/1601.86 c #Conflicts: 531000 | #Constraints: 72565 1597.34/1601.86 c #Conflicts: 532000 | #Constraints: 73565 1597.34/1601.86 c #Conflicts: 533000 | #Constraints: 74565 1597.34/1601.86 c #Conflicts: 534000 | #Constraints: 75565 1597.34/1601.86 c #Conflicts: 535000 | #Constraints: 76565 1597.34/1601.86 c INPROCESSING 1597.34/1601.86 c GARBAGE COLLECT 1597.34/1601.86 c rational objective 147 1643.91/1648.53 c #Conflicts: 536000 | #Constraints: 39848 1643.91/1648.53 c #Conflicts: 537000 | #Constraints: 40848 1643.91/1648.53 c #Conflicts: 538000 | #Constraints: 41848 1643.91/1648.53 c #Conflicts: 539000 | #Constraints: 42848 1643.91/1648.53 c #Conflicts: 540000 | #Constraints: 43848 1643.91/1648.53 c bounds 196 >= 147 @ 1596.06 1643.91/1648.53 c #Conflicts: 541000 | #Constraints: 44849 1643.91/1648.53 c #Conflicts: 542000 | #Constraints: 45849 1643.91/1648.53 c #Conflicts: 543000 | #Constraints: 46849 1643.91/1648.53 c #Conflicts: 544000 | #Constraints: 47849 1643.91/1648.53 c #Conflicts: 545000 | #Constraints: 48849 1643.91/1648.53 c #Conflicts: 546000 | #Constraints: 49849 1643.91/1648.53 c #Conflicts: 547000 | #Constraints: 50849 1643.91/1648.53 c #Conflicts: 548000 | #Constraints: 51849 1643.91/1648.53 c #Conflicts: 549000 | #Constraints: 52849 1643.91/1648.53 c #Conflicts: 550000 | #Constraints: 53849 1643.91/1648.53 c #Conflicts: 551000 | #Constraints: 54849 1643.91/1648.53 c #Conflicts: 552000 | #Constraints: 55849 1643.91/1648.53 c #Conflicts: 553000 | #Constraints: 56849 1643.91/1648.53 c #Conflicts: 554000 | #Constraints: 57849 1643.91/1648.53 c INPROCESSING 1643.91/1648.53 c GARBAGE COLLECT 1643.91/1648.53 c rational objective 147 1881.70/1886.90 c #Conflicts: 555000 | #Constraints: 33299 1881.70/1886.90 c #Conflicts: 556000 | #Constraints: 34299 1881.70/1886.90 c #Conflicts: 557000 | #Constraints: 35299 1881.70/1886.90 c #Conflicts: 558000 | #Constraints: 36299 1881.70/1886.90 c #Conflicts: 559000 | #Constraints: 37299 1881.70/1886.90 c #Conflicts: 560000 | #Constraints: 38299 1881.70/1886.90 c #Conflicts: 561000 | #Constraints: 39299 1881.70/1886.90 c bounds 195 >= 147 @ 1645.48 1881.70/1886.90 c #Conflicts: 562000 | #Constraints: 40300 1881.70/1886.90 c #Conflicts: 563000 | #Constraints: 41300 1881.70/1886.90 c #Conflicts: 564000 | #Constraints: 42300 1881.70/1886.90 c #Conflicts: 565000 | #Constraints: 43300 1881.70/1886.90 c #Conflicts: 566000 | #Constraints: 44300 1881.70/1886.90 c #Conflicts: 567000 | #Constraints: 45300 1881.70/1886.90 c #Conflicts: 568000 | #Constraints: 46300 1881.70/1886.90 c #Conflicts: 569000 | #Constraints: 47300 1881.70/1886.90 c #Conflicts: 570000 | #Constraints: 48300 1881.70/1886.90 c #Conflicts: 571000 | #Constraints: 49300 1881.70/1886.90 c #Conflicts: 572000 | #Constraints: 50300 1881.70/1886.90 c #Conflicts: 573000 | #Constraints: 51300 1881.70/1886.90 c #Conflicts: 574000 | #Constraints: 52300 1881.70/1886.90 c #Conflicts: 575000 | #Constraints: 53300 1881.70/1886.90 c #Conflicts: 576000 | #Constraints: 54300 1881.70/1886.90 c #Conflicts: 577000 | #Constraints: 55300 1881.70/1886.90 c #Conflicts: 578000 | #Constraints: 56300 1881.70/1886.90 c #Conflicts: 579000 | #Constraints: 57300 1881.70/1886.90 c #Conflicts: 580000 | #Constraints: 58300 1881.70/1886.90 c #Conflicts: 581000 | #Constraints: 59300 1881.70/1886.90 c #Conflicts: 582000 | #Constraints: 60300 1881.70/1886.90 c #Conflicts: 583000 | #Constraints: 61300 1881.70/1886.90 c #Conflicts: 584000 | #Constraints: 62300 1881.70/1886.90 c #Conflicts: 585000 | #Constraints: 63300 1881.70/1886.90 c #Conflicts: 586000 | #Constraints: 64300 1881.70/1886.90 c #Conflicts: 587000 | #Constraints: 65300 1881.70/1886.90 c #Conflicts: 588000 | #Constraints: 66300 1881.70/1886.90 c #Conflicts: 589000 | #Constraints: 67300 1881.70/1886.90 c #Conflicts: 590000 | #Constraints: 68300 1881.70/1886.90 c #Conflicts: 591000 | #Constraints: 69300 1881.70/1886.90 c #Conflicts: 592000 | #Constraints: 70300 1881.70/1886.90 c #Conflicts: 593000 | #Constraints: 71300 1881.70/1886.90 c #Conflicts: 594000 | #Constraints: 72300 1881.70/1886.90 c #Conflicts: 595000 | #Constraints: 73300 1881.70/1886.90 c #Conflicts: 596000 | #Constraints: 74300 1881.70/1886.90 c #Conflicts: 597000 | #Constraints: 75300 1881.70/1886.90 c #Conflicts: 598000 | #Constraints: 76300 1881.70/1886.90 c #Conflicts: 599000 | #Constraints: 77300 1881.70/1886.90 c #Conflicts: 600000 | #Constraints: 78300 1881.70/1886.90 c #Conflicts: 601000 | #Constraints: 79300 1881.70/1886.90 c #Conflicts: 602000 | #Constraints: 80300 1881.70/1886.90 c #Conflicts: 603000 | #Constraints: 81300 1881.70/1886.90 c #Conflicts: 604000 | #Constraints: 82300 1881.70/1886.90 c #Conflicts: 605000 | #Constraints: 83300 1881.70/1886.90 c #Conflicts: 606000 | #Constraints: 84300 1881.70/1886.90 c INPROCESSING 1881.70/1886.90 c GARBAGE COLLECT 1881.70/1886.90 c rational objective 147 2049.75/2055.44 c #Conflicts: 607000 | #Constraints: 43476 2049.75/2055.44 c #Conflicts: 608000 | #Constraints: 44476 2049.75/2055.44 c #Conflicts: 609000 | #Constraints: 45476 2049.75/2055.44 c #Conflicts: 610000 | #Constraints: 46476 2049.75/2055.44 c #Conflicts: 611000 | #Constraints: 47476 2049.75/2055.44 c #Conflicts: 612000 | #Constraints: 48476 2049.75/2055.44 c #Conflicts: 613000 | #Constraints: 49476 2049.75/2055.44 c #Conflicts: 614000 | #Constraints: 50476 2049.75/2055.44 c #Conflicts: 615000 | #Constraints: 51476 2049.75/2055.44 c #Conflicts: 616000 | #Constraints: 52476 2049.75/2055.44 c #Conflicts: 617000 | #Constraints: 53476 2049.75/2055.44 c #Conflicts: 618000 | #Constraints: 54476 2049.75/2055.44 c #Conflicts: 619000 | #Constraints: 55476 2049.75/2055.44 c #Conflicts: 620000 | #Constraints: 56476 2049.75/2055.44 c #Conflicts: 621000 | #Constraints: 57476 2049.75/2055.44 c #Conflicts: 622000 | #Constraints: 58476 2049.75/2055.44 c #Conflicts: 623000 | #Constraints: 59476 2049.75/2055.44 c #Conflicts: 624000 | #Constraints: 60476 2049.75/2055.44 c #Conflicts: 625000 | #Constraints: 61476 2049.75/2055.44 c #Conflicts: 626000 | #Constraints: 62476 2049.75/2055.44 c #Conflicts: 627000 | #Constraints: 63476 2049.75/2055.44 c INPROCESSING 2049.75/2055.44 c GARBAGE COLLECT 2049.75/2055.44 c rational objective 147 2372.33/2378.99 c #Conflicts: 628000 | #Constraints: 35566 2372.33/2378.99 c #Conflicts: 629000 | #Constraints: 36566 2372.33/2378.99 c #Conflicts: 630000 | #Constraints: 37566 2372.33/2378.99 c #Conflicts: 631000 | #Constraints: 38566 2372.33/2378.99 c #Conflicts: 632000 | #Constraints: 39566 2372.33/2378.99 c #Conflicts: 633000 | #Constraints: 40566 2372.33/2378.99 c #Conflicts: 634000 | #Constraints: 41566 2372.33/2378.99 c #Conflicts: 635000 | #Constraints: 42566 2372.33/2378.99 c #Conflicts: 636000 | #Constraints: 43566 2372.33/2378.99 c #Conflicts: 637000 | #Constraints: 44566 2372.33/2378.99 c #Conflicts: 638000 | #Constraints: 45566 2372.33/2378.99 c #Conflicts: 639000 | #Constraints: 46566 2372.33/2378.99 c #Conflicts: 640000 | #Constraints: 47566 2372.33/2378.99 c #Conflicts: 641000 | #Constraints: 48566 2372.33/2378.99 c #Conflicts: 642000 | #Constraints: 49567 2372.33/2378.99 c #Conflicts: 643000 | #Constraints: 50567 2372.33/2378.99 c #Conflicts: 644000 | #Constraints: 51567 2372.33/2378.99 c #Conflicts: 645000 | #Constraints: 52567 2372.33/2378.99 c #Conflicts: 646000 | #Constraints: 53567 2372.33/2378.99 c #Conflicts: 647000 | #Constraints: 54567 2372.33/2378.99 c #Conflicts: 648000 | #Constraints: 55567 2372.33/2378.99 c #Conflicts: 649000 | #Constraints: 56567 2372.33/2378.99 c #Conflicts: 650000 | #Constraints: 57567 2372.33/2378.99 c #Conflicts: 651000 | #Constraints: 58567 2372.33/2378.99 c #Conflicts: 652000 | #Constraints: 59567 2372.33/2378.99 c #Conflicts: 653000 | #Constraints: 60567 2372.33/2378.99 c #Conflicts: 654000 | #Constraints: 61567 2372.33/2378.99 c #Conflicts: 655000 | #Constraints: 62567 2372.33/2378.99 c #Conflicts: 656000 | #Constraints: 63567 2372.33/2378.99 c #Conflicts: 657000 | #Constraints: 64567 2372.33/2378.99 c #Conflicts: 658000 | #Constraints: 65567 2372.33/2378.99 c #Conflicts: 659000 | #Constraints: 66567 2372.33/2378.99 c #Conflicts: 660000 | #Constraints: 67567 2372.33/2378.99 c #Conflicts: 661000 | #Constraints: 68567 2372.33/2378.99 c #Conflicts: 662000 | #Constraints: 69567 2372.33/2378.99 c #Conflicts: 663000 | #Constraints: 70567 2372.33/2378.99 c #Conflicts: 664000 | #Constraints: 71567 2372.33/2378.99 c #Conflicts: 665000 | #Constraints: 72567 2372.33/2378.99 c #Conflicts: 666000 | #Constraints: 73567 2372.33/2378.99 c #Conflicts: 667000 | #Constraints: 74567 2372.33/2378.99 c #Conflicts: 668000 | #Constraints: 75567 2372.33/2378.99 c #Conflicts: 669000 | #Constraints: 76567 2372.33/2378.99 c #Conflicts: 670000 | #Constraints: 77567 2372.33/2378.99 c #Conflicts: 671000 | #Constraints: 78567 2372.33/2378.99 c #Conflicts: 672000 | #Constraints: 79567 2372.33/2378.99 c #Conflicts: 673000 | #Constraints: 80567 2372.33/2378.99 c #Conflicts: 674000 | #Constraints: 81567 2372.33/2378.99 c #Conflicts: 675000 | #Constraints: 82567 2372.33/2378.99 c #Conflicts: 676000 | #Constraints: 83567 2372.33/2378.99 c #Conflicts: 677000 | #Constraints: 84567 2372.33/2378.99 c #Conflicts: 678000 | #Constraints: 85567 2372.33/2378.99 c #Conflicts: 679000 | #Constraints: 86567 2372.33/2378.99 c #Conflicts: 680000 | #Constraints: 87567 2372.33/2378.99 c #Conflicts: 681000 | #Constraints: 88567 2372.33/2378.99 c #Conflicts: 682000 | #Constraints: 89567 2372.33/2378.99 c INPROCESSING 2372.33/2378.99 c GARBAGE COLLECT 2372.33/2378.99 c rational objective 147 2589.18/2596.58 c #Conflicts: 683000 | #Constraints: 46270 2589.18/2596.58 c #Conflicts: 684000 | #Constraints: 47270 2589.18/2596.58 c #Conflicts: 685000 | #Constraints: 48270 2589.18/2596.58 c #Conflicts: 686000 | #Constraints: 49270 2589.18/2596.58 c #Conflicts: 687000 | #Constraints: 50270 2589.18/2596.58 c #Conflicts: 688000 | #Constraints: 51270 2589.18/2596.58 c #Conflicts: 689000 | #Constraints: 52270 2589.18/2596.58 c #Conflicts: 690000 | #Constraints: 53270 2589.18/2596.58 c #Conflicts: 691000 | #Constraints: 54270 2589.18/2596.58 c #Conflicts: 692000 | #Constraints: 55270 2589.18/2596.58 c #Conflicts: 693000 | #Constraints: 56270 2589.18/2596.58 c #Conflicts: 694000 | #Constraints: 57270 2589.18/2596.58 c #Conflicts: 695000 | #Constraints: 58270 2589.18/2596.58 c #Conflicts: 696000 | #Constraints: 59270 2589.18/2596.58 c #Conflicts: 697000 | #Constraints: 60270 2589.18/2596.58 c #Conflicts: 698000 | #Constraints: 61270 2589.18/2596.58 c #Conflicts: 699000 | #Constraints: 62270 2589.18/2596.58 c #Conflicts: 700000 | #Constraints: 63270 2589.18/2596.58 c #Conflicts: 701000 | #Constraints: 64270 2589.18/2596.58 c #Conflicts: 702000 | #Constraints: 65270 2589.18/2596.58 c #Conflicts: 703000 | #Constraints: 66270 2589.18/2596.58 c #Conflicts: 704000 | #Constraints: 67270 2589.18/2596.58 c INPROCESSING 2589.18/2596.58 c GARBAGE COLLECT 2589.18/2596.58 c rational objective 147 3015.27/3023.81 c #Conflicts: 705000 | #Constraints: 37533 3015.27/3023.81 c #Conflicts: 706000 | #Constraints: 38533 3015.27/3023.81 c #Conflicts: 707000 | #Constraints: 39533 3015.27/3023.81 c #Conflicts: 708000 | #Constraints: 40533 3015.27/3023.81 c #Conflicts: 709000 | #Constraints: 41533 3015.27/3023.81 c #Conflicts: 710000 | #Constraints: 42533 3015.27/3023.81 c #Conflicts: 711000 | #Constraints: 43533 3015.27/3023.81 c #Conflicts: 712000 | #Constraints: 44533 3015.27/3023.81 c #Conflicts: 713000 | #Constraints: 45533 3015.27/3023.81 c #Conflicts: 714000 | #Constraints: 46533 3015.27/3023.81 c #Conflicts: 715000 | #Constraints: 47533 3015.27/3023.81 c #Conflicts: 716000 | #Constraints: 48533 3015.27/3023.81 c #Conflicts: 717000 | #Constraints: 49533 3015.27/3023.81 c #Conflicts: 718000 | #Constraints: 50533 3015.27/3023.81 c #Conflicts: 719000 | #Constraints: 51533 3015.27/3023.81 c #Conflicts: 720000 | #Constraints: 52533 3015.27/3023.81 c #Conflicts: 721000 | #Constraints: 53533 3015.27/3023.81 c #Conflicts: 722000 | #Constraints: 54533 3015.27/3023.81 c #Conflicts: 723000 | #Constraints: 55533 3015.27/3023.81 c #Conflicts: 724000 | #Constraints: 56533 3015.27/3023.81 c #Conflicts: 725000 | #Constraints: 57533 3015.27/3023.81 c #Conflicts: 726000 | #Constraints: 58533 3015.27/3023.81 c #Conflicts: 727000 | #Constraints: 59533 3015.27/3023.81 c #Conflicts: 728000 | #Constraints: 60533 3015.27/3023.81 c #Conflicts: 729000 | #Constraints: 61533 3015.27/3023.81 c #Conflicts: 730000 | #Constraints: 62533 3015.27/3023.81 c #Conflicts: 731000 | #Constraints: 63533 3015.27/3023.81 c #Conflicts: 732000 | #Constraints: 64533 3015.27/3023.81 c #Conflicts: 733000 | #Constraints: 65533 3015.27/3023.81 c #Conflicts: 734000 | #Constraints: 66533 3015.27/3023.81 c #Conflicts: 735000 | #Constraints: 67533 3015.27/3023.81 c #Conflicts: 736000 | #Constraints: 68533 3015.27/3023.81 c #Conflicts: 737000 | #Constraints: 69533 3015.27/3023.81 c #Conflicts: 738000 | #Constraints: 70533 3015.27/3023.81 c #Conflicts: 739000 | #Constraints: 71533 3015.27/3023.81 c #Conflicts: 740000 | #Constraints: 72533 3015.27/3023.81 c #Conflicts: 741000 | #Constraints: 73533 3015.27/3023.81 c #Conflicts: 742000 | #Constraints: 74533 3015.27/3023.81 c #Conflicts: 743000 | #Constraints: 75533 3015.27/3023.81 c #Conflicts: 744000 | #Constraints: 76533 3015.27/3023.81 c #Conflicts: 745000 | #Constraints: 77533 3015.27/3023.81 c #Conflicts: 746000 | #Constraints: 78533 3015.27/3023.81 c #Conflicts: 747000 | #Constraints: 79533 3015.27/3023.81 c #Conflicts: 748000 | #Constraints: 80533 3015.27/3023.81 c #Conflicts: 749000 | #Constraints: 81533 3015.27/3023.81 c #Conflicts: 750000 | #Constraints: 82533 3015.27/3023.81 c #Conflicts: 751000 | #Constraints: 83533 3015.27/3023.81 c #Conflicts: 752000 | #Constraints: 84533 3015.27/3023.81 c #Conflicts: 753000 | #Constraints: 85533 3015.27/3023.81 c #Conflicts: 754000 | #Constraints: 86533 3015.27/3023.81 c #Conflicts: 755000 | #Constraints: 87533 3015.27/3023.81 c #Conflicts: 756000 | #Constraints: 88533 3015.27/3023.81 c #Conflicts: 757000 | #Constraints: 89533 3015.27/3023.81 c #Conflicts: 758000 | #Constraints: 90533 3015.27/3023.81 c #Conflicts: 759000 | #Constraints: 91533 3015.27/3023.81 c #Conflicts: 760000 | #Constraints: 92533 3015.27/3023.81 c #Conflicts: 761000 | #Constraints: 93533 3015.27/3023.81 c #Conflicts: 762000 | #Constraints: 94533 3015.27/3023.81 c INPROCESSING 3015.27/3023.81 c GARBAGE COLLECT 3015.27/3023.81 c rational objective 147 3117.42/3126.28 c #Conflicts: 763000 | #Constraints: 48798 3117.42/3126.28 c #Conflicts: 764000 | #Constraints: 49798 3117.42/3126.28 c #Conflicts: 765000 | #Constraints: 50798 3117.42/3126.28 c #Conflicts: 766000 | #Constraints: 51798 3117.42/3126.28 c #Conflicts: 767000 | #Constraints: 52798 3117.42/3126.28 c #Conflicts: 768000 | #Constraints: 53798 3117.42/3126.28 c #Conflicts: 769000 | #Constraints: 54798 3117.42/3126.28 c #Conflicts: 770000 | #Constraints: 55798 3117.42/3126.28 c #Conflicts: 771000 | #Constraints: 56798 3117.42/3126.28 c #Conflicts: 772000 | #Constraints: 57798 3117.42/3126.28 c #Conflicts: 773000 | #Constraints: 58798 3117.42/3126.28 c #Conflicts: 774000 | #Constraints: 59798 3117.42/3126.28 c #Conflicts: 775000 | #Constraints: 60798 3117.42/3126.28 c #Conflicts: 776000 | #Constraints: 61798 3117.42/3126.28 c #Conflicts: 777000 | #Constraints: 62798 3117.42/3126.28 c #Conflicts: 778000 | #Constraints: 63798 3117.42/3126.28 c #Conflicts: 779000 | #Constraints: 64798 3117.42/3126.28 c #Conflicts: 780000 | #Constraints: 65798 3117.42/3126.28 c #Conflicts: 781000 | #Constraints: 66798 3117.42/3126.28 c #Conflicts: 782000 | #Constraints: 67798 3117.42/3126.28 c #Conflicts: 783000 | #Constraints: 68798 3117.42/3126.28 c #Conflicts: 784000 | #Constraints: 69798 3117.42/3126.28 c #Conflicts: 785000 | #Constraints: 70798 3117.42/3126.28 c INPROCESSING 3117.42/3126.28 c GARBAGE COLLECT 3117.42/3126.28 c rational objective 147 3432.72/3442.38 c #Conflicts: 786000 | #Constraints: 41342 3432.72/3442.38 c #Conflicts: 787000 | #Constraints: 42342 3432.72/3442.38 c #Conflicts: 788000 | #Constraints: 43342 3432.72/3442.38 c #Conflicts: 789000 | #Constraints: 44342 3432.72/3442.38 c #Conflicts: 790000 | #Constraints: 45342 3432.72/3442.38 c #Conflicts: 791000 | #Constraints: 46342 3432.72/3442.38 c #Conflicts: 792000 | #Constraints: 47342 3432.72/3442.38 c #Conflicts: 793000 | #Constraints: 48342 3432.72/3442.38 c #Conflicts: 794000 | #Constraints: 49342 3432.72/3442.38 c #Conflicts: 795000 | #Constraints: 50342 3432.72/3442.38 c #Conflicts: 796000 | #Constraints: 51342 3432.72/3442.38 c #Conflicts: 797000 | #Constraints: 52342 3432.72/3442.38 c #Conflicts: 798000 | #Constraints: 53342 3432.72/3442.38 c #Conflicts: 799000 | #Constraints: 54342 3432.72/3442.38 c #Conflicts: 800000 | #Constraints: 55342 3432.72/3442.38 c #Conflicts: 801000 | #Constraints: 56342 3432.72/3442.38 c #Conflicts: 802000 | #Constraints: 57342 3432.72/3442.38 c #Conflicts: 803000 | #Constraints: 58342 3432.72/3442.38 c #Conflicts: 804000 | #Constraints: 59342 3432.72/3442.38 c #Conflicts: 805000 | #Constraints: 60342 3432.72/3442.38 c #Conflicts: 806000 | #Constraints: 61342 3432.72/3442.38 c #Conflicts: 807000 | #Constraints: 62342 3432.72/3442.38 c #Conflicts: 808000 | #Constraints: 63342 3432.72/3442.38 c #Conflicts: 809000 | #Constraints: 64342 3432.72/3442.38 c #Conflicts: 810000 | #Constraints: 65342 3432.72/3442.38 c #Conflicts: 811000 | #Constraints: 66342 3432.72/3442.38 c #Conflicts: 812000 | #Constraints: 67342 3432.72/3442.38 c #Conflicts: 813000 | #Constraints: 68342 3432.72/3442.38 c #Conflicts: 814000 | #Constraints: 69342 3432.72/3442.38 c #Conflicts: 815000 | #Constraints: 70342 3432.72/3442.38 c #Conflicts: 816000 | #Constraints: 71342 3432.72/3442.38 c #Conflicts: 817000 | #Constraints: 72342 3432.72/3442.38 c #Conflicts: 818000 | #Constraints: 73342 3432.72/3442.38 c #Conflicts: 819000 | #Constraints: 74342 3432.72/3442.38 c #Conflicts: 820000 | #Constraints: 75342 3432.72/3442.38 c #Conflicts: 821000 | #Constraints: 76342 3432.72/3442.38 c #Conflicts: 822000 | #Constraints: 77342 3432.72/3442.38 c #Conflicts: 823000 | #Constraints: 78342 3432.72/3442.38 c #Conflicts: 824000 | #Constraints: 79342 3432.72/3442.38 c #Conflicts: 825000 | #Constraints: 80342 3432.72/3442.38 c #Conflicts: 826000 | #Constraints: 81342 3432.72/3442.38 c #Conflicts: 827000 | #Constraints: 82342 3432.72/3442.38 c #Conflicts: 828000 | #Constraints: 83342 3432.72/3442.38 c #Conflicts: 829000 | #Constraints: 84342 3432.72/3442.38 c #Conflicts: 830000 | #Constraints: 85342 3432.72/3442.38 c #Conflicts: 831000 | #Constraints: 86342 3432.72/3442.38 c #Conflicts: 832000 | #Constraints: 87342 3432.72/3442.38 c #Conflicts: 833000 | #Constraints: 88342 3432.72/3442.38 c #Conflicts: 834000 | #Constraints: 89342 3432.72/3442.38 c #Conflicts: 835000 | #Constraints: 90342 3432.72/3442.38 c #Conflicts: 836000 | #Constraints: 91342 3432.72/3442.38 c #Conflicts: 837000 | #Constraints: 92342 3432.72/3442.38 c #Conflicts: 838000 | #Constraints: 93342 3432.72/3442.38 c #Conflicts: 839000 | #Constraints: 94342 3432.72/3442.38 c #Conflicts: 840000 | #Constraints: 95342 3432.72/3442.38 c #Conflicts: 841000 | #Constraints: 96342 3432.72/3442.38 c #Conflicts: 842000 | #Constraints: 97342 3432.72/3442.38 c #Conflicts: 843000 | #Constraints: 98342 3432.72/3442.38 c #Conflicts: 844000 | #Constraints: 99342 3432.72/3442.38 c #Conflicts: 845000 | #Constraints: 100342 3432.72/3442.38 c #Conflicts: 846000 | #Constraints: 101342 3432.72/3442.38 c #Conflicts: 847000 | #Constraints: 102342 3432.72/3442.38 c INPROCESSING 3432.72/3442.38 c GARBAGE COLLECT 3432.72/3442.38 c rational objective 147 3600.08/3610.10 c #Conflicts: 848000 | #Constraints: 52859 3600.08/3610.10 c #Conflicts: 849000 | #Constraints: 53859 3600.08/3610.10 c #Conflicts: 850000 | #Constraints: 54859 3600.08/3610.10 c #Conflicts: 851000 | #Constraints: 55859 3600.08/3610.10 c #Conflicts: 852000 | #Constraints: 56859 3600.08/3610.10 c #Conflicts: 853000 | #Constraints: 57859 3600.08/3610.10 c #Conflicts: 854000 | #Constraints: 58859 3600.08/3610.10 c #Conflicts: 855000 | #Constraints: 59859 3600.08/3610.10 c #Conflicts: 856000 | #Constraints: 60859 3600.08/3610.10 c #Conflicts: 857000 | #Constraints: 61859 3600.08/3610.10 c #Conflicts: 858000 | #Constraints: 62859 3600.08/3610.10 c #Conflicts: 859000 | #Constraints: 63859 3600.08/3610.10 c #Conflicts: 860000 | #Constraints: 64859 3600.08/3610.10 c #Conflicts: 861000 | #Constraints: 65859 3600.08/3610.10 c #Conflicts: 862000 | #Constraints: 66859 3600.08/3610.10 c #Conflicts: 863000 | #Constraints: 67859 3600.08/3610.10 c Program interrupted by user. 3600.08/3610.10 c cpu time 3582.34 s 3600.08/3610.10 c deterministic time 357087537749 3.57e+11 3600.08/3610.10 c optimization time 166.882 s 3600.08/3610.10 c total solve time 3415.45 s 3600.08/3610.10 c core-guided solve time 1821.66 s 3600.08/3610.10 c propagation time 3061.64 s 3600.08/3610.10 c conflict analysis time 482.233 s 3600.08/3610.10 c propagations 118529701 3600.08/3610.10 c resolve steps 7649928 3600.08/3610.10 c decisions 6240474 3600.08/3610.10 c conflicts 863376 3600.08/3610.10 c restarts 1851 3600.08/3610.10 c inprocessing phases 43 3600.08/3610.10 c input clauses 311 3600.08/3610.10 c input cardinalities 328 3600.08/3610.10 c input general constraints 910 3600.08/3610.10 c input average constraint length 62.84 3600.08/3610.10 c input average constraint degree 23.92 3600.08/3610.10 c learned clauses 301728 3600.08/3610.10 c learned cardinalities 5150 3600.08/3610.10 c learned general constraints 556513 3600.08/3610.10 c learned average constraint length 188.51 3600.08/3610.10 c learned average constraint degree 5734524.81 3600.08/3610.10 c watched constraints 366536 3600.08/3610.10 c counting constraints 190887 3600.08/3610.10 c gcd simplifications 110258 3600.08/3610.10 c detected cardinalities 2422 3600.08/3610.10 c weakened non-implied lits 36734107 3600.08/3610.10 c weakened non-implying lits 75025 3600.08/3610.10 c original variables 476 3600.08/3610.10 c clausal propagations 13117401 3600.08/3610.10 c cardinality propagations 6601321 3600.08/3610.10 c watched propagations 17858832 3600.08/3610.10 c counting propagations 79147971 3600.08/3610.10 c watch lookups 65011661828 3600.08/3610.10 c watch backjump lookups 58605199717 3600.08/3610.10 c watch checks 212603864428 3600.08/3610.10 c propagation checks 19963434213 3600.08/3610.10 c constraint additions 652090429 3600.08/3610.10 c trail pops 125633397 3600.08/3610.10 c formula constraints 476 3600.08/3610.10 c learned constraints 863385 3600.08/3610.10 c bound constraints 182 3600.08/3610.10 c core-guided constraints 891 3600.08/3610.10 c encountered formula constraints 1335872 3600.08/3610.10 c encountered learned constraints 5992485 3600.08/3610.10 c encountered bound constraints 80 3600.08/3610.10 c encountered core-guided constraints 1184847 3600.08/3610.10 c LP total time 42.6745 s 3600.08/3610.10 c LP solve time 41.62 s 3600.08/3610.10 c LP constraints added 476 3600.08/3610.10 c LP constraints removed 0 3600.08/3610.10 c LP pivots internal 864041 3600.08/3610.10 c LP pivots root 19520 3600.08/3610.10 c LP calls 15119 3600.08/3610.10 c LP optimalities 15113 3600.08/3610.10 c LP no pivot count 908 3600.08/3610.10 c LP infeasibilities 3 3600.08/3610.10 c LP valid Farkas constraints 3 3600.08/3610.10 c LP learned Farkas constraints 3 3600.08/3610.10 c LP basis resets 0 3600.08/3610.10 c LP cycling count 0 3600.08/3610.10 c LP singular count 0 3600.08/3610.10 c LP no primal count 0 3600.08/3610.10 c LP no farkas count 0 3600.08/3610.10 c LP other issue count 0 3600.08/3610.10 c LP Gomory cuts 0 3600.08/3610.10 c LP learned cuts 0 3600.08/3610.10 c LP deleted cuts 0 3600.08/3610.10 c LP encountered Gomory constraints 0 3600.08/3610.10 c LP encountered Farkas constraints 13 3600.08/3610.10 c LP encountered learned Farkas constraints 4 3600.08/3610.10 c CG auxiliary variables introduced 346 3600.08/3610.10 c CG solutions found 35 3600.08/3610.10 c CG cores constructed 147 3600.08/3610.10 c CG core cardinality constraints returned 0 3600.08/3610.10 c CG unit cores 0 3600.08/3610.10 c CG single cores 146 3600.08/3610.10 c CG blocks removed during cardinality reduction 0 3600.08/3610.10 c CG first core best 0 3600.08/3610.10 c CG decision core best 0 3600.08/3610.10 c CG core reduction tie 1 3600.08/3610.10 c CG core degree average 1.00 3600.08/3610.10 c CG core slack average 4.10 3600.08/3610.10 s SATISFIABLE 3600.08/3610.10 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: 63968 MiB (26187 MiB free)
memory of node 1: 64473 MiB (19194 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456755-1721769318/watcher-4456755-1721769318 -o /tmp/evaluation-result-4456755-1721769318/solver-4456755-1721769318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721765707-125873 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456755-1721769318 --lp-cut-gomory=0 HOME/instance-4456755-1721769318.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=127922, runsolver pid=127919
[startup+0.101011 s]*
/proc/loadavg: 4.10 4.11 4.09 5/259 127923
/proc/meminfo: memFree=46467544/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=38968 memory=8780 CPUtime=0.09 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 662 0 0 0 9 0 0 0 20 0 1 0 13460100 39903232 2195 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 9742 2195 1758 992 0 1600 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38968 KiB
Current children cumulated memory: 8780 KiB
[startup+0.205452 s]*
/proc/loadavg: 4.10 4.11 4.09 5/259 127923
/proc/meminfo: memFree=46462840/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=40300 memory=11164 CPUtime=0.19 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 1163 0 0 0 18 1 0 0 20 0 1 0 13460100 41267200 2791 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 10075 2791 1820 992 0 1933 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40300 KiB
Current children cumulated memory: 11164 KiB
[startup+0.305249 s]*
/proc/loadavg: 4.10 4.11 4.09 5/259 127923
/proc/meminfo: memFree=46456424/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=40944 memory=13936 CPUtime=0.29 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 1333 0 0 0 26 3 0 0 20 0 1 0 13460100 41926656 3484 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 10236 3484 1820 992 0 2094 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40944 KiB
Current children cumulated memory: 13936 KiB
[startup+0.700152 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 127923
/proc/meminfo: memFree=46450376/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=44144 memory=17104 CPUtime=0.68 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 2185 0 0 0 62 6 0 0 20 0 1 0 13460100 45203456 4276 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 11036 4276 1868 992 0 2894 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44144 KiB
Current children cumulated memory: 17104 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 127923
/proc/meminfo: memFree=46435340/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=46248 memory=20268 CPUtime=1.48 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 3016 0 0 0 138 10 0 0 20 0 1 0 13460100 47357952 5067 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 11562 5067 1868 992 0 3420 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46248 KiB
Current children cumulated memory: 20268 KiB
[startup+3.10544 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 127969
/proc/meminfo: memFree=53836836/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=53708 memory=26632 CPUtime=3.08 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 4614 0 0 0 290 18 0 0 20 0 1 0 13460100 54996992 6658 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 13427 6658 1868 992 0 5285 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53708 KiB
Current children cumulated memory: 26632 KiB
[startup+6.30014 s]
/proc/loadavg: 4.09 4.10 4.09 5/259 127969
/proc/meminfo: memFree=53727544/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=60232 memory=31296 CPUtime=6.27 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 5348 0 0 0 595 32 0 0 20 0 1 0 13460100 61677568 7824 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 15058 7824 1868 992 0 6916 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 60232 KiB
Current children cumulated memory: 31296 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 127971
/proc/meminfo: memFree=53604036/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=62164 memory=35176 CPUtime=12.66 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 5793 0 0 0 1218 48 0 0 20 0 1 0 13460100 63655936 8794 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 15541 8794 1868 992 0 7399 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 62164 KiB
Current children cumulated memory: 35176 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 127972
/proc/meminfo: memFree=53328952/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=74444 memory=41760 CPUtime=25.43 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 7416 0 0 0 2453 90 0 0 20 0 1 0 13460100 76230656 10440 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 18611 10440 1868 992 0 10469 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 74444 KiB
Current children cumulated memory: 41760 KiB
[startup+51.1059 s]
/proc/loadavg: 4.04 4.09 4.08 5/257 127977
/proc/meminfo: memFree=53025244/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=84272 memory=54116 CPUtime=50.97 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 9572 0 0 0 4957 140 0 0 20 0 1 0 13460100 86294528 13529 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 21068 13529 1868 992 0 12926 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 54116 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 127986
/proc/meminfo: memFree=52550752/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=186212 memory=130708 CPUtime=102.02 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 20003 0 0 0 10015 187 0 0 20 0 1 0 13460100 190681088 32677 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 46553 32677 1868 992 0 38411 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 186212 KiB
Current children cumulated memory: 130708 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 127996
/proc/meminfo: memFree=52160000/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=189928 memory=140392 CPUtime=161.85 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 20655 0 0 0 15925 260 0 0 20 0 1 0 13460100 194486272 35098 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 47482 35098 1868 992 0 39340 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 189928 KiB
Current children cumulated memory: 140392 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 128006
/proc/meminfo: memFree=51856516/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=192596 memory=142352 CPUtime=221.7 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 21358 0 0 0 21846 324 0 0 20 0 1 0 13460100 197218304 35588 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 48149 35588 1868 992 0 40007 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 192596 KiB
Current children cumulated memory: 142352 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/255 128016
/proc/meminfo: memFree=51479788/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=203864 memory=150600 CPUtime=281.55 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 23681 0 0 0 27769 386 0 0 20 0 1 0 13460100 208756736 37650 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 50966 37650 1884 992 0 42824 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 203864 KiB
Current children cumulated memory: 150600 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 128031
/proc/meminfo: memFree=51193080/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=220664 memory=177272 CPUtime=341.4 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 26901 0 0 0 33722 418 0 0 20 0 1 0 13460100 225959936 44318 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 55166 44318 1884 992 0 47024 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 220664 KiB
Current children cumulated memory: 177272 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 128043
/proc/meminfo: memFree=50918164/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=220664 memory=177288 CPUtime=401.26 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 26969 0 0 0 39656 470 0 0 20 0 1 0 13460100 225959936 44322 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 55166 44322 1884 992 0 47024 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 220664 KiB
Current children cumulated memory: 177288 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.13 4.10 5/257 128053
/proc/meminfo: memFree=50620120/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=237740 memory=191780 CPUtime=461.11 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 30193 0 0 0 45606 505 0 0 20 0 1 0 13460100 243445760 47945 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 59435 47945 1884 992 0 51293 0
################
# More data... #
################
Current children cumulated memory: 374104 KiB
[startup+2922.3 s]
/proc/loadavg: 4.46 4.21 4.12 5/257 129683
/proc/meminfo: memFree=44786472/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=479584 memory=374104 CPUtime=2914.02 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 55669 0 0 0 289845 1557 0 0 20 0 1 0 13460100 491094016 93526 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 119896 93526 1884 992 0 111754 0
Current children cumulated CPU time: 2914.02 s
Current children cumulated vsize: 479584 KiB
Current children cumulated memory: 374104 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.19 4.12 5/256 129693
/proc/meminfo: memFree=44699816/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=481888 memory=374996 CPUtime=2973.88 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 56082 0 0 0 295814 1574 0 0 20 0 1 0 13460100 493453312 93749 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 120472 93749 1884 992 0 112330 0
Current children cumulated CPU time: 2973.88 s
Current children cumulated vsize: 481888 KiB
Current children cumulated memory: 374996 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/255 129706
/proc/meminfo: memFree=44580704/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=484564 memory=376836 CPUtime=3033.73 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 57000 0 0 0 301779 1594 0 0 20 0 1 0 13460100 496193536 94209 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 121141 94209 1884 992 0 112999 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 484564 KiB
Current children cumulated memory: 376836 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.14 4.11 5/255 129716
/proc/meminfo: memFree=44477376/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=484564 memory=376836 CPUtime=3093.58 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 57151 0 0 0 307739 1619 0 0 20 0 1 0 13460100 496193536 94209 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 121141 94209 1884 992 0 112999 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 484564 KiB
Current children cumulated memory: 376836 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/257 129741
/proc/meminfo: memFree=44372236/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=484564 memory=376836 CPUtime=3153.43 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 57319 0 0 0 313696 1647 0 0 20 0 1 0 13460100 496193536 94209 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 121141 94209 1884 992 0 112999 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 484564 KiB
Current children cumulated memory: 376836 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/258 129978
/proc/meminfo: memFree=44272060/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=484564 memory=376952 CPUtime=3213.28 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 57478 0 0 0 319656 1672 0 0 20 0 1 0 13460100 496193536 94238 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 121141 94238 1884 992 0 112999 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 484564 KiB
Current children cumulated memory: 376952 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/258 129988
/proc/meminfo: memFree=44169180/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=485236 memory=377032 CPUtime=3273.13 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 57714 0 0 0 325621 1692 0 0 20 0 1 0 13460100 496881664 94258 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 121309 94258 1884 992 0 113167 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 485236 KiB
Current children cumulated memory: 377032 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/260 130289
/proc/meminfo: memFree=44116080/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=487724 memory=378796 CPUtime=3332.98 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 58293 0 0 0 331589 1709 0 0 20 0 1 0 13460100 499429376 94699 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 121931 94699 1884 992 0 113789 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 487724 KiB
Current children cumulated memory: 378796 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/260 130302
/proc/meminfo: memFree=43990804/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=489176 memory=379776 CPUtime=3392.82 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 58720 0 0 0 337559 1723 0 0 20 0 1 0 13460100 500916224 94944 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 122294 94944 1884 992 0 114152 0
Current children cumulated CPU time: 3392.82 s
Current children cumulated vsize: 489176 KiB
Current children cumulated memory: 379776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/257 130312
/proc/meminfo: memFree=43875604/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=496088 memory=390140 CPUtime=3452.67 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 60030 0 0 0 343528 1739 0 0 20 0 1 0 13460100 507994112 97535 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 124022 97535 1884 992 0 115880 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 496088 KiB
Current children cumulated memory: 390140 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 130323
/proc/meminfo: memFree=43803360/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=496088 memory=390300 CPUtime=3512.52 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 60168 0 0 0 349498 1754 0 0 20 0 1 0 13460100 507994112 97575 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 124022 97575 1884 992 0 115880 0
Current children cumulated CPU time: 3512.52 s
Current children cumulated vsize: 496088 KiB
Current children cumulated memory: 390300 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/256 130334
/proc/meminfo: memFree=43723712/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=496088 memory=390300 CPUtime=3572.35 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 60306 0 0 0 355467 1768 0 0 20 0 1 0 13460100 507994112 97575 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 124022 97575 1884 992 0 115880 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 496088 KiB
Current children cumulated memory: 390300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.10 4.12 4.09 5/248 130506
/proc/meminfo: memFree=44458852/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=496088 memory=390300 CPUtime=3600.08 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 60426 0 0 0 358233 1775 0 0 20 0 1 0 13460100 507994112 97575 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 124022 97575 1884 992 0 115880 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 496088 KiB
Current children cumulated memory: 390300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 127922 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.34 s, system=17.7577 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.10 4.12 4.09 5/248 130506
/proc/meminfo: memFree=44458852/131524600 swapFree=131071728/131071996
[pid=127922] ppid=127919 vsize=496088 memory=390300 CPUtime=3600.08 cores=1,3
/proc/127922/stat : 127922 (roundingsat) R 127919 127922 125861 0 -1 4194304 60426 0 0 0 358233 1775 0 0 20 0 1 0 13460100 507994112 97575 134679101440 4194304 8254037 140735195777008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42455040 140735195784032 140735195784294 140735195784294 140735195791305 0
/proc/127922/statm: 124022 97575 1884 992 0 115880 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 496088 KiB
Current children cumulated memory: 390300 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.1
CPU user time (s): 3582.34
CPU system time (s): 17.7577
CPU usage (%): 99.7225
Max. virtual memory (cumulated for all children) (KiB): 496088
Max. memory (cumulated for all children) (KiB): 390300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.34
system time used= 17.7577
maximum resident set size= 390376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60441
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4634288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119
involuntary context switches= 4840
# summary of solver processes directly reported to runsolver:
# pid: 127922
# total CPU time (s): 3600.1
# total CPU user time (s): 3582.34
# total CPU system time (s): 17.7577
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2134 second user time and 16.7709 second system time
The end
Begin job on nodeC027 at 2024-07-23 23:15:18 IDJOB=4456755 IDBENCH=147545 IDSOLVER=3085 FILE ID=nodeC027/4456755-1721769318 RUNJOBID= nodeC027-1721765707-125873 SLURM_JOB_ID= 7770674 Free space on /tmp= 890064 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-4456755-1721769318/watcher-4456755-1721769318 -o /tmp/evaluation-result-4456755-1721769318/solver-4456755-1721769318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721765707-125873 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456755-1721769318 --lp-cut-gomory=0 HOME/instance-4456755-1721769318.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a RANDOM SEED=2007171220 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.978 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.310 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.172 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.833 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.957 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.243 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.086 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.299 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 46472032 kB MemAvailable: 122194692 kB Buffers: 190044 kB Cached: 76185624 kB SwapCached: 48 kB Active: 1202984 kB Inactive: 82912732 kB Active(anon): 1564 kB Inactive(anon): 7775540 kB Active(file): 1201420 kB Inactive(file): 75137192 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 40680 kB Writeback: 16 kB AnonPages: 7739128 kB Mapped: 114460 kB Shmem: 37596 kB KReclaimable: 445456 kB Slab: 560900 kB SReclaimable: 445456 kB SUnreclaim: 115444 kB KernelStack: 4188 kB PageTables: 24944 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 8901916 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21024 kB HardwareCorrupted: 0 kB AnonHugePages: 3178496 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: 324308 kB DirectMap2M: 35100672 kB DirectMap1G: 100663296 kB Free space on /tmp at the end= 890060 MiB End job on nodeC027 at 2024-07-24 00:15:28