| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 191 | 3600.08 | 3609.21 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb |
| MD5SUM | b5aa25dccc2460ad32c358f07bd5c94a |
| 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 | 180 |
| 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 | 473 |
| Total number of constraints | 472 |
| 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 | 472 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| 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 | 473 |
| 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 | 473 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 473 #constraints 472 0.59/0.62 c bounds - >= 0 @ 0.0075 0.59/0.62 c bounds 224 >= 0 @ 0.409919 0.59/0.62 c bounds 224 >= 1 @ 0.410184 0.59/0.62 c bounds 224 >= 2 @ 0.410368 0.59/0.62 c bounds 224 >= 3 @ 0.410579 0.59/0.62 c bounds 224 >= 4 @ 0.410806 0.59/0.62 c bounds 224 >= 5 @ 0.411047 0.59/0.62 c bounds 224 >= 6 @ 0.411293 0.59/0.62 c bounds 224 >= 7 @ 0.411537 0.59/0.62 c bounds 224 >= 8 @ 0.411596 0.59/0.62 c bounds 224 >= 9 @ 0.411596 0.59/0.62 c bounds 224 >= 10 @ 0.411596 0.59/0.62 c bounds 224 >= 11 @ 0.411631 0.59/0.62 c bounds 224 >= 12 @ 0.411931 0.59/0.62 c bounds 224 >= 13 @ 0.412236 0.59/0.62 c bounds 224 >= 14 @ 0.412539 0.59/0.62 c bounds 224 >= 15 @ 0.412591 0.59/0.62 c bounds 224 >= 16 @ 0.412591 0.59/0.62 c bounds 224 >= 17 @ 0.412591 0.59/0.62 c bounds 224 >= 18 @ 0.412591 0.59/0.62 c bounds 224 >= 19 @ 0.412591 0.59/0.62 c bounds 224 >= 20 @ 0.412591 0.59/0.62 c bounds 224 >= 21 @ 0.412819 0.59/0.62 c bounds 224 >= 22 @ 0.413158 0.59/0.62 c bounds 224 >= 23 @ 0.413482 0.59/0.62 c bounds 224 >= 24 @ 0.413584 0.59/0.62 c bounds 224 >= 25 @ 0.413584 0.59/0.62 c bounds 223 >= 25 @ 0.49038 0.59/0.62 c bounds 223 >= 26 @ 0.490787 0.59/0.62 c bounds 223 >= 27 @ 0.491159 0.59/0.62 c bounds 223 >= 28 @ 0.491528 0.59/0.62 c bounds 223 >= 29 @ 0.49189 0.59/0.62 c bounds 223 >= 30 @ 0.49209 0.59/0.62 c bounds 223 >= 31 @ 0.49209 0.59/0.62 c bounds 223 >= 32 @ 0.49209 0.59/0.62 c bounds 223 >= 33 @ 0.492094 0.59/0.62 c bounds 223 >= 34 @ 0.492094 0.59/0.62 c bounds 223 >= 35 @ 0.49213 0.59/0.62 c bounds 223 >= 36 @ 0.49251 0.59/0.62 c bounds 223 >= 37 @ 0.492922 0.59/0.62 c bounds 223 >= 38 @ 0.493424 0.59/0.62 c bounds 223 >= 39 @ 0.493796 0.59/0.62 c bounds 223 >= 40 @ 0.494186 0.59/0.62 c bounds 223 >= 41 @ 0.494626 0.59/0.62 c bounds 223 >= 42 @ 0.49509 0.59/0.62 c bounds 223 >= 43 @ 0.49552 0.59/0.62 c bounds 223 >= 44 @ 0.495947 0.59/0.62 c bounds 223 >= 45 @ 0.496064 0.59/0.62 c bounds 223 >= 46 @ 0.496064 0.59/0.62 c bounds 223 >= 47 @ 0.496068 0.59/0.62 c bounds 223 >= 48 @ 0.496068 0.59/0.62 c bounds 223 >= 49 @ 0.496206 0.59/0.62 c bounds 223 >= 50 @ 0.496655 0.59/0.62 c bounds 223 >= 51 @ 0.497083 0.59/0.62 c bounds 223 >= 52 @ 0.497521 0.59/0.62 c bounds 223 >= 53 @ 0.498005 0.59/0.62 c bounds 223 >= 54 @ 0.498056 0.59/0.62 c bounds 223 >= 55 @ 0.498056 0.59/0.62 c bounds 223 >= 56 @ 0.498473 0.59/0.62 c bounds 223 >= 57 @ 0.498946 0.59/0.62 c bounds 223 >= 58 @ 0.499442 0.59/0.62 c bounds 223 >= 59 @ 0.499914 0.59/0.62 c bounds 223 >= 60 @ 0.500412 0.59/0.62 c bounds 223 >= 61 @ 0.500934 0.59/0.62 c bounds 223 >= 62 @ 0.50104 0.59/0.62 c bounds 223 >= 63 @ 0.50104 0.59/0.62 c bounds 223 >= 64 @ 0.501582 0.59/0.62 c bounds 223 >= 65 @ 0.501992 0.59/0.62 c bounds 223 >= 66 @ 0.501992 0.59/0.62 c bounds 223 >= 67 @ 0.502125 0.59/0.62 c bounds 223 >= 68 @ 0.502677 0.59/0.62 c bounds 223 >= 69 @ 0.503211 0.59/0.62 c bounds 223 >= 70 @ 0.503727 0.59/0.62 c bounds 223 >= 71 @ 0.504018 0.59/0.62 c bounds 223 >= 72 @ 0.504018 0.59/0.62 c bounds 223 >= 73 @ 0.50402 0.59/0.62 c bounds 223 >= 74 @ 0.50402 0.59/0.62 c bounds 223 >= 75 @ 0.50402 0.59/0.62 c bounds 223 >= 76 @ 0.50402 0.59/0.62 c bounds 223 >= 77 @ 0.50402 0.59/0.62 c bounds 223 >= 78 @ 0.50402 0.59/0.62 c bounds 223 >= 79 @ 0.50456 0.59/0.62 c bounds 223 >= 80 @ 0.505097 0.59/0.62 c bounds 223 >= 81 @ 0.505649 0.59/0.62 c bounds 223 >= 82 @ 0.506193 0.59/0.62 c bounds 223 >= 83 @ 0.506745 0.59/0.62 c bounds 223 >= 84 @ 0.507 0.59/0.62 c bounds 223 >= 85 @ 0.507 0.59/0.62 c bounds 223 >= 86 @ 0.507001 0.59/0.62 c bounds 223 >= 87 @ 0.507001 0.59/0.62 c bounds 223 >= 88 @ 0.507001 0.59/0.62 c bounds 223 >= 89 @ 0.507001 0.59/0.62 c bounds 223 >= 90 @ 0.507448 0.59/0.62 c bounds 223 >= 91 @ 0.508014 0.59/0.62 c bounds 223 >= 92 @ 0.508579 0.59/0.62 c bounds 223 >= 93 @ 0.509157 0.59/0.62 c bounds 223 >= 94 @ 0.509732 0.59/0.62 c bounds 223 >= 95 @ 0.509982 0.59/0.62 c bounds 223 >= 96 @ 0.509982 0.59/0.62 c bounds 223 >= 97 @ 0.509983 0.59/0.62 c bounds 223 >= 98 @ 0.510155 0.59/0.62 c bounds 223 >= 99 @ 0.510744 0.59/0.62 c bounds 223 >= 100 @ 0.51127 0.59/0.62 c bounds 223 >= 101 @ 0.511851 0.59/0.62 c bounds 223 >= 102 @ 0.51197 0.59/0.62 c bounds 223 >= 103 @ 0.51197 0.59/0.62 c bounds 223 >= 104 @ 0.512531 0.59/0.62 c bounds 223 >= 105 @ 0.513054 0.59/0.62 c bounds 223 >= 106 @ 0.513614 0.59/0.62 c bounds 223 >= 107 @ 0.513957 0.59/0.62 c bounds 223 >= 108 @ 0.513957 0.59/0.62 c bounds 223 >= 109 @ 0.514615 0.59/0.62 c bounds 223 >= 110 @ 0.515318 0.59/0.62 c bounds 223 >= 111 @ 0.515929 0.59/0.62 c bounds 223 >= 112 @ 0.516558 0.59/0.62 c bounds 223 >= 113 @ 0.516934 0.59/0.62 c bounds 223 >= 114 @ 0.516934 0.59/0.62 c bounds 223 >= 115 @ 0.517373 0.59/0.62 c bounds 223 >= 116 @ 0.517993 0.59/0.62 c bounds 223 >= 117 @ 0.518546 0.59/0.62 c bounds 223 >= 118 @ 0.519127 0.59/0.62 c bounds 223 >= 119 @ 0.519646 0.59/0.62 c bounds 223 >= 120 @ 0.519923 0.59/0.62 c bounds 223 >= 121 @ 0.519923 0.59/0.62 c bounds 223 >= 122 @ 0.520384 0.59/0.62 c bounds 223 >= 123 @ 0.521051 0.59/0.62 c bounds 223 >= 124 @ 0.521755 0.59/0.62 c bounds 223 >= 125 @ 0.521911 0.59/0.62 c bounds 223 >= 126 @ 0.522227 0.59/0.62 c bounds 223 >= 127 @ 0.523253 0.59/0.62 c bounds 223 >= 128 @ 0.52413 0.59/0.62 c bounds 223 >= 129 @ 0.525592 0.59/0.62 c bounds 223 >= 130 @ 0.526364 0.59/0.62 c bounds 223 >= 131 @ 0.526882 0.59/0.62 c bounds 223 >= 132 @ 0.528107 0.59/0.62 c bounds 223 >= 133 @ 0.528869 0.59/0.62 c bounds 223 >= 134 @ 0.534319 1.58/1.66 c bounds 223 >= 135 @ 0.546205 1.58/1.66 c bounds 222 >= 135 @ 0.574802 1.58/1.66 c bounds 222 >= 136 @ 0.634652 1.58/1.66 c bounds 221 >= 136 @ 0.637283 1.58/1.66 c bounds 220 >= 136 @ 0.653586 1.58/1.66 c #Conflicts: 1000 | #Constraints: 2210 1.58/1.66 c bounds 219 >= 136 @ 0.776608 1.58/1.66 c #Conflicts: 2000 | #Constraints: 3211 1.58/1.66 c INPROCESSING 1.58/1.66 c GARBAGE COLLECT 1.58/1.66 c rational objective 139.945 2.68/2.71 c bounds 218 >= 136 @ 1.63138 2.68/2.71 c bounds 217 >= 136 @ 1.6411 2.68/2.71 c bounds 216 >= 136 @ 1.64962 2.68/2.71 c bounds 215 >= 136 @ 1.71929 2.68/2.71 c #Conflicts: 3000 | #Constraints: 3112 2.68/2.71 c bounds 214 >= 136 @ 2.0201 2.68/2.71 c bounds 214 >= 137 @ 2.08446 2.68/2.71 c #Conflicts: 4000 | #Constraints: 4161 2.68/2.71 c INPROCESSING 2.68/2.71 c GARBAGE COLLECT 2.68/2.71 c rational objective 139.945 4.77/4.83 c #Conflicts: 5000 | #Constraints: 3579 4.77/4.83 c #Conflicts: 6000 | #Constraints: 4579 4.77/4.83 c INPROCESSING 4.77/4.83 c GARBAGE COLLECT 4.77/4.83 c bounds 213 >= 137 @ 3.34151 4.77/4.83 c #Conflicts: 7000 | #Constraints: 3606 4.77/4.83 c bounds 212 >= 137 @ 3.41291 4.77/4.83 c #Conflicts: 8000 | #Constraints: 4607 4.77/4.83 c bounds 211 >= 137 @ 3.78136 4.77/4.83 c #Conflicts: 9000 | #Constraints: 5608 4.77/4.83 c INPROCESSING 4.77/4.83 c GARBAGE COLLECT 4.77/4.83 c rational objective 139.945 6.46/6.50 c #Conflicts: 10000 | #Constraints: 4281 6.46/6.50 c #Conflicts: 11000 | #Constraints: 5286 6.46/6.50 c #Conflicts: 12000 | #Constraints: 6286 6.46/6.50 c INPROCESSING 6.46/6.50 c GARBAGE COLLECT 6.46/6.50 c rational objective 139.946 9.46/9.51 c bounds 211 >= 138 @ 6.53451 9.46/9.51 c #Conflicts: 13000 | #Constraints: 4800 9.46/9.51 c #Conflicts: 14000 | #Constraints: 5800 9.46/9.51 c #Conflicts: 15000 | #Constraints: 6800 9.46/9.51 c INPROCESSING 9.46/9.51 c GARBAGE COLLECT 9.46/9.51 c #Conflicts: 16000 | #Constraints: 5064 9.46/9.51 c bounds 210 >= 138 @ 7.90637 9.46/9.51 c #Conflicts: 17000 | #Constraints: 6065 9.46/9.51 c #Conflicts: 18000 | #Constraints: 7065 9.46/9.51 c INPROCESSING 9.46/9.51 c GARBAGE COLLECT 9.46/9.51 c rational objective 139.946 12.06/12.17 c #Conflicts: 19000 | #Constraints: 5059 12.06/12.17 c #Conflicts: 20000 | #Constraints: 6062 12.06/12.17 c #Conflicts: 21000 | #Constraints: 7062 12.06/12.17 c INPROCESSING 12.06/12.17 c GARBAGE COLLECT 12.06/12.17 c rational objective 139.946 13.54/13.65 c #Conflicts: 22000 | #Constraints: 4905 13.54/13.65 c bounds 209 >= 138 @ 11.8385 13.54/13.65 c #Conflicts: 23000 | #Constraints: 5906 13.54/13.65 c bounds 208 >= 138 @ 11.899 13.54/13.65 c bounds 207 >= 138 @ 11.9087 13.54/13.65 c bounds 206 >= 138 @ 11.9339 13.54/13.65 c bounds 205 >= 138 @ 11.9414 13.54/13.65 c bounds 204 >= 138 @ 11.9602 13.54/13.65 c #Conflicts: 24000 | #Constraints: 6911 13.54/13.65 c bounds 203 >= 138 @ 12.1795 13.54/13.65 c #Conflicts: 25000 | #Constraints: 7912 13.54/13.65 c INPROCESSING 13.54/13.65 c GARBAGE COLLECT 13.54/13.65 c rational objective 139.946 20.43/20.53 c bounds 202 >= 138 @ 13.1259 20.43/20.53 c #Conflicts: 26000 | #Constraints: 5478 20.43/20.53 c bounds 201 >= 138 @ 13.2677 20.43/20.53 c #Conflicts: 27000 | #Constraints: 6479 20.43/20.53 c #Conflicts: 28000 | #Constraints: 7479 20.43/20.53 c #Conflicts: 29000 | #Constraints: 8479 20.43/20.53 c INPROCESSING 20.43/20.53 c GARBAGE COLLECT 20.43/20.53 c #Conflicts: 30000 | #Constraints: 5859 20.43/20.53 c #Conflicts: 31000 | #Constraints: 6859 20.43/20.53 c #Conflicts: 32000 | #Constraints: 7859 20.43/20.53 c #Conflicts: 33000 | #Constraints: 8859 20.43/20.53 c INPROCESSING 20.43/20.53 c GARBAGE COLLECT 20.43/20.53 c #Conflicts: 34000 | #Constraints: 6103 20.43/20.53 c #Conflicts: 35000 | #Constraints: 7103 20.43/20.53 c #Conflicts: 36000 | #Constraints: 8103 20.43/20.53 c #Conflicts: 37000 | #Constraints: 9103 20.43/20.53 c INPROCESSING 20.43/20.53 c GARBAGE COLLECT 20.43/20.53 c rational objective 139.946 22.93/23.02 c #Conflicts: 38000 | #Constraints: 6082 22.93/23.02 c bounds 201 >= 139 @ 20.6754 22.93/23.02 c #Conflicts: 39000 | #Constraints: 7128 22.93/23.02 c bounds 200 >= 139 @ 20.6905 22.93/23.02 c #Conflicts: 40000 | #Constraints: 8129 22.93/23.02 c #Conflicts: 41000 | #Constraints: 9129 22.93/23.02 c INPROCESSING 22.93/23.02 c GARBAGE COLLECT 22.93/23.02 c rational objective 139.945 26.03/26.16 c #Conflicts: 42000 | #Constraints: 5909 26.03/26.16 c #Conflicts: 43000 | #Constraints: 6912 26.03/26.16 c #Conflicts: 44000 | #Constraints: 7913 26.03/26.16 c #Conflicts: 45000 | #Constraints: 8915 26.03/26.16 c #Conflicts: 46000 | #Constraints: 9915 26.03/26.16 c INPROCESSING 26.03/26.16 c GARBAGE COLLECT 26.03/26.16 c rational objective 139.945 48.64/48.84 c bounds 199 >= 139 @ 25.1879 48.64/48.84 c bounds 198 >= 139 @ 25.1975 48.64/48.84 c #Conflicts: 47000 | #Constraints: 6559 48.64/48.84 c #Conflicts: 48000 | #Constraints: 7559 48.64/48.84 c #Conflicts: 49000 | #Constraints: 8559 48.64/48.84 c #Conflicts: 50000 | #Constraints: 9559 48.64/48.84 c #Conflicts: 51000 | #Constraints: 10559 48.64/48.84 c #Conflicts: 52000 | #Constraints: 11559 48.64/48.84 c #Conflicts: 53000 | #Constraints: 12559 48.64/48.84 c #Conflicts: 54000 | #Constraints: 13559 48.64/48.84 c #Conflicts: 55000 | #Constraints: 14559 48.64/48.84 c #Conflicts: 56000 | #Constraints: 15559 48.64/48.84 c #Conflicts: 57000 | #Constraints: 16580 48.64/48.84 c #Conflicts: 58000 | #Constraints: 17580 48.64/48.84 c #Conflicts: 59000 | #Constraints: 18580 48.64/48.84 c #Conflicts: 60000 | #Constraints: 19580 48.64/48.84 c #Conflicts: 61000 | #Constraints: 20580 48.64/48.84 c #Conflicts: 62000 | #Constraints: 21580 48.64/48.84 c #Conflicts: 63000 | #Constraints: 22580 48.64/48.84 c #Conflicts: 64000 | #Constraints: 23580 48.64/48.84 c INPROCESSING 48.64/48.84 c GARBAGE COLLECT 48.64/48.84 c rational objective 139.945 63.00/63.24 c #Conflicts: 65000 | #Constraints: 13189 63.00/63.24 c #Conflicts: 66000 | #Constraints: 14189 63.00/63.24 c #Conflicts: 67000 | #Constraints: 15189 63.00/63.24 c #Conflicts: 68000 | #Constraints: 16189 63.00/63.24 c #Conflicts: 69000 | #Constraints: 17189 63.00/63.24 c #Conflicts: 70000 | #Constraints: 18189 63.00/63.24 c INPROCESSING 63.00/63.24 c GARBAGE COLLECT 63.00/63.24 c rational objective 139.945 68.89/69.19 c #Conflicts: 71000 | #Constraints: 10592 68.89/69.19 c #Conflicts: 72000 | #Constraints: 11592 68.89/69.19 c #Conflicts: 73000 | #Constraints: 12592 68.89/69.19 c #Conflicts: 74000 | #Constraints: 13592 68.89/69.19 c #Conflicts: 75000 | #Constraints: 14592 68.89/69.19 c #Conflicts: 76000 | #Constraints: 15592 68.89/69.19 c INPROCESSING 68.89/69.19 c GARBAGE COLLECT 68.89/69.19 c rational objective 139.945 75.77/76.06 c #Conflicts: 77000 | #Constraints: 9254 75.77/76.06 c #Conflicts: 78000 | #Constraints: 10254 75.77/76.06 c bounds 198 >= 140 @ 69.6339 75.77/76.06 c #Conflicts: 79000 | #Constraints: 11307 75.77/76.06 c #Conflicts: 80000 | #Constraints: 12308 75.77/76.06 c #Conflicts: 81000 | #Constraints: 13308 75.77/76.06 c #Conflicts: 82000 | #Constraints: 14308 75.77/76.06 c INPROCESSING 75.77/76.06 c GARBAGE COLLECT 75.77/76.06 c rational objective 140 112.94/113.39 c #Conflicts: 83000 | #Constraints: 8482 112.94/113.39 c #Conflicts: 84000 | #Constraints: 9482 112.94/113.39 c #Conflicts: 85000 | #Constraints: 10482 112.94/113.39 c #Conflicts: 86000 | #Constraints: 11482 112.94/113.39 c #Conflicts: 87000 | #Constraints: 12482 112.94/113.39 c #Conflicts: 88000 | #Constraints: 13482 112.94/113.39 c #Conflicts: 89000 | #Constraints: 14483 112.94/113.39 c #Conflicts: 90000 | #Constraints: 15483 112.94/113.39 c #Conflicts: 91000 | #Constraints: 16483 112.94/113.39 c #Conflicts: 92000 | #Constraints: 17483 112.94/113.39 c #Conflicts: 93000 | #Constraints: 18483 112.94/113.39 c #Conflicts: 94000 | #Constraints: 19483 112.94/113.39 c #Conflicts: 95000 | #Constraints: 20483 112.94/113.39 c #Conflicts: 96000 | #Constraints: 21483 112.94/113.39 c #Conflicts: 97000 | #Constraints: 22483 112.94/113.39 c #Conflicts: 98000 | #Constraints: 23483 112.94/113.39 c #Conflicts: 99000 | #Constraints: 24483 112.94/113.39 c #Conflicts: 100000 | #Constraints: 25483 112.94/113.39 c #Conflicts: 101000 | #Constraints: 26483 112.94/113.39 c #Conflicts: 102000 | #Constraints: 27484 112.94/113.39 c #Conflicts: 103000 | #Constraints: 28484 112.94/113.39 c #Conflicts: 104000 | #Constraints: 29484 112.94/113.39 c #Conflicts: 105000 | #Constraints: 30484 112.94/113.39 c #Conflicts: 106000 | #Constraints: 31484 112.94/113.39 c INPROCESSING 112.94/113.39 c GARBAGE COLLECT 112.94/113.39 c rational objective 140 120.52/120.95 c bounds 197 >= 140 @ 111.174 120.52/120.95 c #Conflicts: 107000 | #Constraints: 17266 120.52/120.95 c #Conflicts: 108000 | #Constraints: 18266 120.52/120.95 c bounds 196 >= 140 @ 112.284 120.52/120.95 c #Conflicts: 109000 | #Constraints: 19267 120.52/120.95 c #Conflicts: 110000 | #Constraints: 20267 120.52/120.95 c #Conflicts: 111000 | #Constraints: 21267 120.52/120.95 c #Conflicts: 112000 | #Constraints: 22267 120.52/120.95 c #Conflicts: 113000 | #Constraints: 23267 120.52/120.95 c bounds 195 >= 140 @ 117.841 120.52/120.95 c #Conflicts: 114000 | #Constraints: 24268 120.52/120.95 c INPROCESSING 120.52/120.95 c GARBAGE COLLECT 120.52/120.95 c rational objective 140 129.30/129.72 c #Conflicts: 115000 | #Constraints: 13806 129.30/129.72 c #Conflicts: 116000 | #Constraints: 14806 129.30/129.72 c #Conflicts: 117000 | #Constraints: 15806 129.30/129.72 c #Conflicts: 118000 | #Constraints: 16806 129.30/129.72 c #Conflicts: 119000 | #Constraints: 17806 129.30/129.72 c #Conflicts: 120000 | #Constraints: 18806 129.30/129.72 c #Conflicts: 121000 | #Constraints: 19806 129.30/129.72 c INPROCESSING 129.30/129.72 c GARBAGE COLLECT 129.30/129.72 c rational objective 140 186.91/187.56 c #Conflicts: 122000 | #Constraints: 11177 186.91/187.56 c #Conflicts: 123000 | #Constraints: 12177 186.91/187.56 c #Conflicts: 124000 | #Constraints: 13177 186.91/187.56 c #Conflicts: 125000 | #Constraints: 14177 186.91/187.56 c #Conflicts: 126000 | #Constraints: 15177 186.91/187.56 c #Conflicts: 127000 | #Constraints: 16180 186.91/187.56 c #Conflicts: 128000 | #Constraints: 17180 186.91/187.56 c #Conflicts: 129000 | #Constraints: 18180 186.91/187.56 c #Conflicts: 130000 | #Constraints: 19180 186.91/187.56 c #Conflicts: 131000 | #Constraints: 20227 186.91/187.56 c #Conflicts: 132000 | #Constraints: 21227 186.91/187.56 c #Conflicts: 133000 | #Constraints: 22227 186.91/187.56 c #Conflicts: 134000 | #Constraints: 23227 186.91/187.56 c bounds 194 >= 140 @ 142.967 186.91/187.56 c #Conflicts: 135000 | #Constraints: 24228 186.91/187.56 c #Conflicts: 136000 | #Constraints: 25229 186.91/187.56 c #Conflicts: 137000 | #Constraints: 26230 186.91/187.56 c #Conflicts: 138000 | #Constraints: 27230 186.91/187.56 c #Conflicts: 139000 | #Constraints: 28230 186.91/187.56 c #Conflicts: 140000 | #Constraints: 29230 186.91/187.56 c #Conflicts: 141000 | #Constraints: 30230 186.91/187.56 c #Conflicts: 142000 | #Constraints: 31230 186.91/187.56 c #Conflicts: 143000 | #Constraints: 32230 186.91/187.56 c #Conflicts: 144000 | #Constraints: 33230 186.91/187.56 c #Conflicts: 145000 | #Constraints: 34230 186.91/187.56 c #Conflicts: 146000 | #Constraints: 35230 186.91/187.56 c #Conflicts: 147000 | #Constraints: 36230 186.91/187.56 c #Conflicts: 148000 | #Constraints: 37230 186.91/187.56 c #Conflicts: 149000 | #Constraints: 38230 186.91/187.56 c INPROCESSING 186.91/187.56 c GARBAGE COLLECT 186.91/187.56 c rational objective 140.062 222.10/222.82 c #Conflicts: 150000 | #Constraints: 20497 222.10/222.82 c #Conflicts: 151000 | #Constraints: 21497 222.10/222.82 c #Conflicts: 152000 | #Constraints: 22497 222.10/222.82 c #Conflicts: 153000 | #Constraints: 23497 222.10/222.82 c #Conflicts: 154000 | #Constraints: 24497 222.10/222.82 c #Conflicts: 155000 | #Constraints: 25497 222.10/222.82 c #Conflicts: 156000 | #Constraints: 26497 222.10/222.82 c #Conflicts: 157000 | #Constraints: 27497 222.10/222.82 c #Conflicts: 158000 | #Constraints: 28497 222.10/222.82 c INPROCESSING 222.10/222.82 c GARBAGE COLLECT 222.10/222.82 c rational objective 140.105 237.86/238.62 c #Conflicts: 159000 | #Constraints: 15658 237.86/238.62 c #Conflicts: 160000 | #Constraints: 16658 237.86/238.62 c #Conflicts: 161000 | #Constraints: 17659 237.86/238.62 c #Conflicts: 162000 | #Constraints: 18659 237.86/238.62 c #Conflicts: 163000 | #Constraints: 19659 237.86/238.62 c #Conflicts: 164000 | #Constraints: 20660 237.86/238.62 c #Conflicts: 165000 | #Constraints: 21660 237.86/238.62 c #Conflicts: 166000 | #Constraints: 22660 237.86/238.62 c #Conflicts: 167000 | #Constraints: 23660 237.86/238.62 c #Conflicts: 168000 | #Constraints: 24660 237.86/238.62 c INPROCESSING 237.86/238.62 c GARBAGE COLLECT 237.86/238.62 c rational objective 140.105 248.12/248.99 c #Conflicts: 169000 | #Constraints: 14080 248.12/248.99 c #Conflicts: 170000 | #Constraints: 15080 248.12/248.99 c #Conflicts: 171000 | #Constraints: 16080 248.12/248.99 c #Conflicts: 172000 | #Constraints: 17080 248.12/248.99 c #Conflicts: 173000 | #Constraints: 18080 248.12/248.99 c bounds 194 >= 141 @ 240.847 248.12/248.99 c #Conflicts: 174000 | #Constraints: 19126 248.12/248.99 c #Conflicts: 175000 | #Constraints: 20133 248.12/248.99 c #Conflicts: 176000 | #Constraints: 21133 248.12/248.99 c #Conflicts: 177000 | #Constraints: 22133 248.12/248.99 c INPROCESSING 248.12/248.99 c GARBAGE COLLECT 248.12/248.99 c rational objective 141 385.81/387.04 c #Conflicts: 178000 | #Constraints: 12517 385.81/387.04 c #Conflicts: 179000 | #Constraints: 13517 385.81/387.04 c #Conflicts: 180000 | #Constraints: 14517 385.81/387.04 c #Conflicts: 181000 | #Constraints: 15517 385.81/387.04 c #Conflicts: 182000 | #Constraints: 16517 385.81/387.04 c #Conflicts: 183000 | #Constraints: 17517 385.81/387.04 c #Conflicts: 184000 | #Constraints: 18517 385.81/387.04 c #Conflicts: 185000 | #Constraints: 19517 385.81/387.04 c #Conflicts: 186000 | #Constraints: 20517 385.81/387.04 c #Conflicts: 187000 | #Constraints: 21517 385.81/387.04 c #Conflicts: 188000 | #Constraints: 22517 385.81/387.04 c #Conflicts: 189000 | #Constraints: 23517 385.81/387.04 c #Conflicts: 190000 | #Constraints: 24517 385.81/387.04 c #Conflicts: 191000 | #Constraints: 25517 385.81/387.04 c #Conflicts: 192000 | #Constraints: 26517 385.81/387.04 c bounds 193 >= 141 @ 272.494 385.81/387.04 c #Conflicts: 193000 | #Constraints: 27518 385.81/387.04 c #Conflicts: 194000 | #Constraints: 28518 385.81/387.04 c #Conflicts: 195000 | #Constraints: 29518 385.81/387.04 c #Conflicts: 196000 | #Constraints: 30518 385.81/387.04 c #Conflicts: 197000 | #Constraints: 31518 385.81/387.04 c #Conflicts: 198000 | #Constraints: 32518 385.81/387.04 c #Conflicts: 199000 | #Constraints: 33518 385.81/387.04 c #Conflicts: 200000 | #Constraints: 34518 385.81/387.04 c #Conflicts: 201000 | #Constraints: 35518 385.81/387.04 c #Conflicts: 202000 | #Constraints: 36518 385.81/387.04 c #Conflicts: 203000 | #Constraints: 37518 385.81/387.04 c #Conflicts: 204000 | #Constraints: 38518 385.81/387.04 c #Conflicts: 205000 | #Constraints: 39518 385.81/387.04 c #Conflicts: 206000 | #Constraints: 40518 385.81/387.04 c #Conflicts: 207000 | #Constraints: 41518 385.81/387.04 c #Conflicts: 208000 | #Constraints: 42518 385.81/387.04 c #Conflicts: 209000 | #Constraints: 43518 385.81/387.04 c #Conflicts: 210000 | #Constraints: 44518 385.81/387.04 c INPROCESSING 385.81/387.04 c GARBAGE COLLECT 385.81/387.04 c rational objective 141 401.94/403.22 c #Conflicts: 211000 | #Constraints: 23734 401.94/403.22 c #Conflicts: 212000 | #Constraints: 24734 401.94/403.22 c #Conflicts: 213000 | #Constraints: 25734 401.94/403.22 c #Conflicts: 214000 | #Constraints: 26734 401.94/403.22 c #Conflicts: 215000 | #Constraints: 27734 401.94/403.22 c #Conflicts: 216000 | #Constraints: 28734 401.94/403.22 c #Conflicts: 217000 | #Constraints: 29734 401.94/403.22 c #Conflicts: 218000 | #Constraints: 30734 401.94/403.22 c #Conflicts: 219000 | #Constraints: 31734 401.94/403.22 c #Conflicts: 220000 | #Constraints: 32734 401.94/403.22 c #Conflicts: 221000 | #Constraints: 33734 401.94/403.22 c INPROCESSING 401.94/403.22 c GARBAGE COLLECT 401.94/403.22 c rational objective 141 418.00/419.38 c #Conflicts: 222000 | #Constraints: 18371 418.00/419.38 c #Conflicts: 223000 | #Constraints: 19371 418.00/419.38 c #Conflicts: 224000 | #Constraints: 20371 418.00/419.38 c #Conflicts: 225000 | #Constraints: 21371 418.00/419.38 c #Conflicts: 226000 | #Constraints: 22371 418.00/419.38 c #Conflicts: 227000 | #Constraints: 23371 418.00/419.38 c #Conflicts: 228000 | #Constraints: 24371 418.00/419.38 c #Conflicts: 229000 | #Constraints: 25371 418.00/419.38 c #Conflicts: 230000 | #Constraints: 26371 418.00/419.38 c #Conflicts: 231000 | #Constraints: 27371 418.00/419.38 c #Conflicts: 232000 | #Constraints: 28371 418.00/419.38 c INPROCESSING 418.00/419.38 c GARBAGE COLLECT 418.00/419.38 c rational objective 141 519.17/520.82 c #Conflicts: 233000 | #Constraints: 15682 519.17/520.82 c #Conflicts: 234000 | #Constraints: 16682 519.17/520.82 c #Conflicts: 235000 | #Constraints: 17682 519.17/520.82 c #Conflicts: 236000 | #Constraints: 18682 519.17/520.82 c #Conflicts: 237000 | #Constraints: 19682 519.17/520.82 c #Conflicts: 238000 | #Constraints: 20682 519.17/520.82 c #Conflicts: 239000 | #Constraints: 21682 519.17/520.82 c #Conflicts: 240000 | #Constraints: 22682 519.17/520.82 c #Conflicts: 241000 | #Constraints: 23682 519.17/520.82 c #Conflicts: 242000 | #Constraints: 24682 519.17/520.82 c #Conflicts: 243000 | #Constraints: 25682 519.17/520.82 c #Conflicts: 244000 | #Constraints: 26682 519.17/520.82 c #Conflicts: 245000 | #Constraints: 27703 519.17/520.82 c #Conflicts: 246000 | #Constraints: 28703 519.17/520.82 c #Conflicts: 247000 | #Constraints: 29757 519.17/520.82 c #Conflicts: 248000 | #Constraints: 30757 519.17/520.82 c #Conflicts: 249000 | #Constraints: 31757 519.17/520.82 c #Conflicts: 250000 | #Constraints: 32757 519.17/520.82 c #Conflicts: 251000 | #Constraints: 33757 519.17/520.82 c #Conflicts: 252000 | #Constraints: 34757 519.17/520.82 c #Conflicts: 253000 | #Constraints: 35757 519.17/520.82 c #Conflicts: 254000 | #Constraints: 36757 519.17/520.82 c #Conflicts: 255000 | #Constraints: 37757 519.17/520.82 c #Conflicts: 256000 | #Constraints: 38757 519.17/520.82 c #Conflicts: 257000 | #Constraints: 39757 519.17/520.82 c #Conflicts: 258000 | #Constraints: 40757 519.17/520.82 c #Conflicts: 259000 | #Constraints: 41757 519.17/520.82 c #Conflicts: 260000 | #Constraints: 42757 519.17/520.82 c #Conflicts: 261000 | #Constraints: 43757 519.17/520.82 c #Conflicts: 262000 | #Constraints: 44757 519.17/520.82 c #Conflicts: 263000 | #Constraints: 45757 519.17/520.82 c #Conflicts: 264000 | #Constraints: 46757 519.17/520.82 c #Conflicts: 265000 | #Constraints: 47757 519.17/520.82 c #Conflicts: 266000 | #Constraints: 48757 519.17/520.82 c #Conflicts: 267000 | #Constraints: 49757 519.17/520.82 c #Conflicts: 268000 | #Constraints: 50757 519.17/520.82 c #Conflicts: 269000 | #Constraints: 51757 519.17/520.82 c INPROCESSING 519.17/520.82 c GARBAGE COLLECT 519.17/520.82 c rational objective 141 593.72/595.60 c #Conflicts: 270000 | #Constraints: 27242 593.72/595.60 c #Conflicts: 271000 | #Constraints: 28242 593.72/595.60 c #Conflicts: 272000 | #Constraints: 29242 593.72/595.60 c #Conflicts: 273000 | #Constraints: 30242 593.72/595.60 c #Conflicts: 274000 | #Constraints: 31242 593.72/595.60 c #Conflicts: 275000 | #Constraints: 32242 593.72/595.60 c #Conflicts: 276000 | #Constraints: 33242 593.72/595.60 c #Conflicts: 277000 | #Constraints: 34242 593.72/595.60 c #Conflicts: 278000 | #Constraints: 35242 593.72/595.60 c #Conflicts: 279000 | #Constraints: 36242 593.72/595.60 c #Conflicts: 280000 | #Constraints: 37242 593.72/595.60 c #Conflicts: 281000 | #Constraints: 38242 593.72/595.60 c #Conflicts: 282000 | #Constraints: 39242 593.72/595.60 c INPROCESSING 593.72/595.60 c GARBAGE COLLECT 593.72/595.60 c rational objective 141 626.33/628.38 c #Conflicts: 283000 | #Constraints: 21403 626.33/628.38 c #Conflicts: 284000 | #Constraints: 22403 626.33/628.38 c #Conflicts: 285000 | #Constraints: 23403 626.33/628.38 c #Conflicts: 286000 | #Constraints: 24403 626.33/628.38 c #Conflicts: 287000 | #Constraints: 25403 626.33/628.38 c #Conflicts: 288000 | #Constraints: 26403 626.33/628.38 c #Conflicts: 289000 | #Constraints: 27403 626.33/628.38 c #Conflicts: 290000 | #Constraints: 28403 626.33/628.38 c #Conflicts: 291000 | #Constraints: 29403 626.33/628.38 c #Conflicts: 292000 | #Constraints: 30403 626.33/628.38 c #Conflicts: 293000 | #Constraints: 31403 626.33/628.38 c #Conflicts: 294000 | #Constraints: 32403 626.33/628.38 c INPROCESSING 626.33/628.38 c GARBAGE COLLECT 626.33/628.38 c rational objective 141 735.17/737.46 c #Conflicts: 295000 | #Constraints: 17737 735.17/737.46 c #Conflicts: 296000 | #Constraints: 18737 735.17/737.46 c #Conflicts: 297000 | #Constraints: 19737 735.17/737.46 c #Conflicts: 298000 | #Constraints: 20737 735.17/737.46 c #Conflicts: 299000 | #Constraints: 21737 735.17/737.46 c #Conflicts: 300000 | #Constraints: 22737 735.17/737.46 c #Conflicts: 301000 | #Constraints: 23737 735.17/737.46 c #Conflicts: 302000 | #Constraints: 24737 735.17/737.46 c #Conflicts: 303000 | #Constraints: 25737 735.17/737.46 c #Conflicts: 304000 | #Constraints: 26737 735.17/737.46 c #Conflicts: 305000 | #Constraints: 27737 735.17/737.46 c #Conflicts: 306000 | #Constraints: 28738 735.17/737.46 c #Conflicts: 307000 | #Constraints: 29738 735.17/737.46 c #Conflicts: 308000 | #Constraints: 30739 735.17/737.46 c #Conflicts: 309000 | #Constraints: 31739 735.17/737.46 c #Conflicts: 310000 | #Constraints: 32739 735.17/737.46 c #Conflicts: 311000 | #Constraints: 33739 735.17/737.46 c #Conflicts: 312000 | #Constraints: 34739 735.17/737.46 c #Conflicts: 313000 | #Constraints: 35739 735.17/737.46 c #Conflicts: 314000 | #Constraints: 36739 735.17/737.46 c #Conflicts: 315000 | #Constraints: 37740 735.17/737.46 c #Conflicts: 316000 | #Constraints: 38742 735.17/737.46 c #Conflicts: 317000 | #Constraints: 39743 735.17/737.46 c #Conflicts: 318000 | #Constraints: 40745 735.17/737.46 c #Conflicts: 319000 | #Constraints: 41745 735.17/737.46 c #Conflicts: 320000 | #Constraints: 42745 735.17/737.46 c #Conflicts: 321000 | #Constraints: 43745 735.17/737.46 c #Conflicts: 322000 | #Constraints: 44745 735.17/737.46 c #Conflicts: 323000 | #Constraints: 45745 735.17/737.46 c #Conflicts: 324000 | #Constraints: 46746 735.17/737.46 c #Conflicts: 325000 | #Constraints: 47746 735.17/737.46 c #Conflicts: 326000 | #Constraints: 48746 735.17/737.46 c bounds 193 >= 142 @ 712.254 735.17/737.46 c #Conflicts: 327000 | #Constraints: 49804 735.17/737.46 c #Conflicts: 328000 | #Constraints: 50804 735.17/737.46 c #Conflicts: 329000 | #Constraints: 51804 735.17/737.46 c #Conflicts: 330000 | #Constraints: 52804 735.17/737.46 c #Conflicts: 331000 | #Constraints: 53805 735.17/737.46 c #Conflicts: 332000 | #Constraints: 54805 735.17/737.46 c #Conflicts: 333000 | #Constraints: 55805 735.17/737.46 c #Conflicts: 334000 | #Constraints: 56805 735.17/737.46 c #Conflicts: 335000 | #Constraints: 57805 735.17/737.46 c #Conflicts: 336000 | #Constraints: 58805 735.17/737.46 c INPROCESSING 735.17/737.46 c GARBAGE COLLECT 735.17/737.46 c rational objective 142 762.00/764.34 c #Conflicts: 337000 | #Constraints: 31135 762.00/764.34 c #Conflicts: 338000 | #Constraints: 32135 762.00/764.34 c #Conflicts: 339000 | #Constraints: 33135 762.00/764.34 c #Conflicts: 340000 | #Constraints: 34135 762.00/764.34 c #Conflicts: 341000 | #Constraints: 35135 762.00/764.34 c #Conflicts: 342000 | #Constraints: 36135 762.00/764.34 c #Conflicts: 343000 | #Constraints: 37135 762.00/764.34 c #Conflicts: 344000 | #Constraints: 38135 762.00/764.34 c #Conflicts: 345000 | #Constraints: 39202 762.00/764.34 c #Conflicts: 346000 | #Constraints: 40202 762.00/764.34 c #Conflicts: 347000 | #Constraints: 41202 762.00/764.34 c #Conflicts: 348000 | #Constraints: 42202 762.00/764.34 c #Conflicts: 349000 | #Constraints: 43202 762.00/764.34 c INPROCESSING 762.00/764.34 c GARBAGE COLLECT 762.00/764.34 c rational objective 142 782.66/785.09 c #Conflicts: 350000 | #Constraints: 22927 782.66/785.09 c #Conflicts: 351000 | #Constraints: 23927 782.66/785.09 c #Conflicts: 352000 | #Constraints: 24927 782.66/785.09 c #Conflicts: 353000 | #Constraints: 25927 782.66/785.09 c #Conflicts: 354000 | #Constraints: 26927 782.66/785.09 c #Conflicts: 355000 | #Constraints: 27927 782.66/785.09 c #Conflicts: 356000 | #Constraints: 28927 782.66/785.09 c #Conflicts: 357000 | #Constraints: 29927 782.66/785.09 c #Conflicts: 358000 | #Constraints: 30927 782.66/785.09 c #Conflicts: 359000 | #Constraints: 31927 782.66/785.09 c #Conflicts: 360000 | #Constraints: 32927 782.66/785.09 c #Conflicts: 361000 | #Constraints: 33927 782.66/785.09 c #Conflicts: 362000 | #Constraints: 34927 782.66/785.09 c #Conflicts: 363000 | #Constraints: 35927 782.66/785.09 c INPROCESSING 782.66/785.09 c GARBAGE COLLECT 782.66/785.09 c rational objective 142 1043.34/1046.38 c #Conflicts: 364000 | #Constraints: 19295 1043.34/1046.38 c #Conflicts: 365000 | #Constraints: 20295 1043.34/1046.38 c #Conflicts: 366000 | #Constraints: 21295 1043.34/1046.38 c #Conflicts: 367000 | #Constraints: 22295 1043.34/1046.38 c #Conflicts: 368000 | #Constraints: 23295 1043.34/1046.38 c #Conflicts: 369000 | #Constraints: 24295 1043.34/1046.38 c #Conflicts: 370000 | #Constraints: 25296 1043.34/1046.38 c #Conflicts: 371000 | #Constraints: 26296 1043.34/1046.38 c #Conflicts: 372000 | #Constraints: 27296 1043.34/1046.38 c #Conflicts: 373000 | #Constraints: 28296 1043.34/1046.38 c #Conflicts: 374000 | #Constraints: 29296 1043.34/1046.38 c #Conflicts: 375000 | #Constraints: 30296 1043.34/1046.38 c #Conflicts: 376000 | #Constraints: 31296 1043.34/1046.38 c #Conflicts: 377000 | #Constraints: 32296 1043.34/1046.38 c #Conflicts: 378000 | #Constraints: 33296 1043.34/1046.38 c #Conflicts: 379000 | #Constraints: 34296 1043.34/1046.38 c #Conflicts: 380000 | #Constraints: 35296 1043.34/1046.38 c #Conflicts: 381000 | #Constraints: 36297 1043.34/1046.38 c #Conflicts: 382000 | #Constraints: 37297 1043.34/1046.38 c #Conflicts: 383000 | #Constraints: 38297 1043.34/1046.38 c #Conflicts: 384000 | #Constraints: 39297 1043.34/1046.38 c #Conflicts: 385000 | #Constraints: 40297 1043.34/1046.38 c #Conflicts: 386000 | #Constraints: 41297 1043.34/1046.38 c #Conflicts: 387000 | #Constraints: 42297 1043.34/1046.38 c #Conflicts: 388000 | #Constraints: 43297 1043.34/1046.38 c #Conflicts: 389000 | #Constraints: 44297 1043.34/1046.38 c #Conflicts: 390000 | #Constraints: 45297 1043.34/1046.38 c #Conflicts: 391000 | #Constraints: 46297 1043.34/1046.38 c #Conflicts: 392000 | #Constraints: 47297 1043.34/1046.38 c #Conflicts: 393000 | #Constraints: 48297 1043.34/1046.38 c #Conflicts: 394000 | #Constraints: 49297 1043.34/1046.38 c #Conflicts: 395000 | #Constraints: 50297 1043.34/1046.38 c #Conflicts: 396000 | #Constraints: 51297 1043.34/1046.38 c #Conflicts: 397000 | #Constraints: 52297 1043.34/1046.38 c #Conflicts: 398000 | #Constraints: 53297 1043.34/1046.38 c #Conflicts: 399000 | #Constraints: 54297 1043.34/1046.38 c #Conflicts: 400000 | #Constraints: 55297 1043.34/1046.38 c #Conflicts: 401000 | #Constraints: 56297 1043.34/1046.38 c #Conflicts: 402000 | #Constraints: 57297 1043.34/1046.38 c #Conflicts: 403000 | #Constraints: 58297 1043.34/1046.38 c #Conflicts: 404000 | #Constraints: 59297 1043.34/1046.38 c #Conflicts: 405000 | #Constraints: 60339 1043.34/1046.38 c #Conflicts: 406000 | #Constraints: 61339 1043.34/1046.38 c #Conflicts: 407000 | #Constraints: 62339 1043.34/1046.38 c #Conflicts: 408000 | #Constraints: 63339 1043.34/1046.38 c #Conflicts: 409000 | #Constraints: 64339 1043.34/1046.38 c INPROCESSING 1043.34/1046.38 c GARBAGE COLLECT 1043.34/1046.38 c rational objective 142 1174.94/1178.23 c #Conflicts: 410000 | #Constraints: 33657 1174.94/1178.23 c #Conflicts: 411000 | #Constraints: 34657 1174.94/1178.23 c #Conflicts: 412000 | #Constraints: 35657 1174.94/1178.23 c #Conflicts: 413000 | #Constraints: 36657 1174.94/1178.23 c #Conflicts: 414000 | #Constraints: 37657 1174.94/1178.23 c #Conflicts: 415000 | #Constraints: 38657 1174.94/1178.23 c #Conflicts: 416000 | #Constraints: 39657 1174.94/1178.23 c #Conflicts: 417000 | #Constraints: 40657 1174.94/1178.23 c #Conflicts: 418000 | #Constraints: 41657 1174.94/1178.23 c #Conflicts: 419000 | #Constraints: 42657 1174.94/1178.23 c #Conflicts: 420000 | #Constraints: 43657 1174.94/1178.23 c #Conflicts: 421000 | #Constraints: 44657 1174.94/1178.23 c #Conflicts: 422000 | #Constraints: 45657 1174.94/1178.23 c #Conflicts: 423000 | #Constraints: 46657 1174.94/1178.23 c #Conflicts: 424000 | #Constraints: 47657 1174.94/1178.23 c INPROCESSING 1174.94/1178.23 c GARBAGE COLLECT 1174.94/1178.23 c rational objective 142 1220.03/1223.49 c #Conflicts: 425000 | #Constraints: 25221 1220.03/1223.49 c #Conflicts: 426000 | #Constraints: 26221 1220.03/1223.49 c #Conflicts: 427000 | #Constraints: 27221 1220.03/1223.49 c #Conflicts: 428000 | #Constraints: 28221 1220.03/1223.49 c #Conflicts: 429000 | #Constraints: 29221 1220.03/1223.49 c #Conflicts: 430000 | #Constraints: 30221 1220.03/1223.49 c #Conflicts: 431000 | #Constraints: 31221 1220.03/1223.49 c #Conflicts: 432000 | #Constraints: 32221 1220.03/1223.49 c #Conflicts: 433000 | #Constraints: 33221 1220.03/1223.49 c #Conflicts: 434000 | #Constraints: 34221 1220.03/1223.49 c #Conflicts: 435000 | #Constraints: 35221 1220.03/1223.49 c #Conflicts: 436000 | #Constraints: 36221 1220.03/1223.49 c #Conflicts: 437000 | #Constraints: 37221 1220.03/1223.49 c #Conflicts: 438000 | #Constraints: 38221 1220.03/1223.49 c #Conflicts: 439000 | #Constraints: 39221 1220.03/1223.49 c #Conflicts: 440000 | #Constraints: 40221 1220.03/1223.49 c INPROCESSING 1220.03/1223.49 c GARBAGE COLLECT 1220.03/1223.49 c rational objective 142 1447.50/1451.41 c #Conflicts: 441000 | #Constraints: 21770 1447.50/1451.41 c #Conflicts: 442000 | #Constraints: 22770 1447.50/1451.41 c #Conflicts: 443000 | #Constraints: 23770 1447.50/1451.41 c #Conflicts: 444000 | #Constraints: 24770 1447.50/1451.41 c #Conflicts: 445000 | #Constraints: 25770 1447.50/1451.41 c #Conflicts: 446000 | #Constraints: 26770 1447.50/1451.41 c #Conflicts: 447000 | #Constraints: 27772 1447.50/1451.41 c #Conflicts: 448000 | #Constraints: 28773 1447.50/1451.41 c #Conflicts: 449000 | #Constraints: 29773 1447.50/1451.41 c #Conflicts: 450000 | #Constraints: 30774 1447.50/1451.41 c #Conflicts: 451000 | #Constraints: 31776 1447.50/1451.41 c #Conflicts: 452000 | #Constraints: 32776 1447.50/1451.41 c #Conflicts: 453000 | #Constraints: 33776 1447.50/1451.41 c #Conflicts: 454000 | #Constraints: 34776 1447.50/1451.41 c #Conflicts: 455000 | #Constraints: 35776 1447.50/1451.41 c #Conflicts: 456000 | #Constraints: 36776 1447.50/1451.41 c #Conflicts: 457000 | #Constraints: 37776 1447.50/1451.41 c #Conflicts: 458000 | #Constraints: 38776 1447.50/1451.41 c #Conflicts: 459000 | #Constraints: 39776 1447.50/1451.41 c #Conflicts: 460000 | #Constraints: 40776 1447.50/1451.41 c #Conflicts: 461000 | #Constraints: 41776 1447.50/1451.41 c #Conflicts: 462000 | #Constraints: 42776 1447.50/1451.41 c #Conflicts: 463000 | #Constraints: 43776 1447.50/1451.41 c #Conflicts: 464000 | #Constraints: 44776 1447.50/1451.41 c #Conflicts: 465000 | #Constraints: 45776 1447.50/1451.41 c #Conflicts: 466000 | #Constraints: 46776 1447.50/1451.41 c #Conflicts: 467000 | #Constraints: 47776 1447.50/1451.41 c #Conflicts: 468000 | #Constraints: 48776 1447.50/1451.41 c #Conflicts: 469000 | #Constraints: 49776 1447.50/1451.41 c #Conflicts: 470000 | #Constraints: 50776 1447.50/1451.41 c #Conflicts: 471000 | #Constraints: 51776 1447.50/1451.41 c #Conflicts: 472000 | #Constraints: 52776 1447.50/1451.41 c #Conflicts: 473000 | #Constraints: 53776 1447.50/1451.41 c #Conflicts: 474000 | #Constraints: 54776 1447.50/1451.41 c #Conflicts: 475000 | #Constraints: 55776 1447.50/1451.41 c #Conflicts: 476000 | #Constraints: 56776 1447.50/1451.41 c #Conflicts: 477000 | #Constraints: 57776 1447.50/1451.41 c #Conflicts: 478000 | #Constraints: 58776 1447.50/1451.41 c #Conflicts: 479000 | #Constraints: 59776 1447.50/1451.41 c #Conflicts: 480000 | #Constraints: 60776 1447.50/1451.41 c #Conflicts: 481000 | #Constraints: 61776 1447.50/1451.41 c #Conflicts: 482000 | #Constraints: 62776 1447.50/1451.41 c #Conflicts: 483000 | #Constraints: 63776 1447.50/1451.41 c #Conflicts: 484000 | #Constraints: 64776 1447.50/1451.41 c #Conflicts: 485000 | #Constraints: 65776 1447.50/1451.41 c #Conflicts: 486000 | #Constraints: 66776 1447.50/1451.41 c #Conflicts: 487000 | #Constraints: 67776 1447.50/1451.41 c #Conflicts: 488000 | #Constraints: 68776 1447.50/1451.41 c #Conflicts: 489000 | #Constraints: 69776 1447.50/1451.41 c #Conflicts: 490000 | #Constraints: 70776 1447.50/1451.41 c INPROCESSING 1447.50/1451.41 c GARBAGE COLLECT 1447.50/1451.41 c rational objective 142 1567.11/1571.35 c #Conflicts: 491000 | #Constraints: 37118 1567.11/1571.35 c #Conflicts: 492000 | #Constraints: 38118 1567.11/1571.35 c #Conflicts: 493000 | #Constraints: 39118 1567.11/1571.35 c #Conflicts: 494000 | #Constraints: 40118 1567.11/1571.35 c #Conflicts: 495000 | #Constraints: 41118 1567.11/1571.35 c #Conflicts: 496000 | #Constraints: 42118 1567.11/1571.35 c #Conflicts: 497000 | #Constraints: 43118 1567.11/1571.35 c #Conflicts: 498000 | #Constraints: 44118 1567.11/1571.35 c #Conflicts: 499000 | #Constraints: 45118 1567.11/1571.35 c #Conflicts: 500000 | #Constraints: 46118 1567.11/1571.35 c #Conflicts: 501000 | #Constraints: 47118 1567.11/1571.35 c #Conflicts: 502000 | #Constraints: 48118 1567.11/1571.35 c #Conflicts: 503000 | #Constraints: 49118 1567.11/1571.35 c #Conflicts: 504000 | #Constraints: 50118 1567.11/1571.35 c #Conflicts: 505000 | #Constraints: 51118 1567.11/1571.35 c #Conflicts: 506000 | #Constraints: 52118 1567.11/1571.35 c #Conflicts: 507000 | #Constraints: 53118 1567.11/1571.35 c INPROCESSING 1567.11/1571.35 c GARBAGE COLLECT 1567.11/1571.35 c rational objective 142 1632.85/1637.20 c #Conflicts: 508000 | #Constraints: 28366 1632.85/1637.20 c #Conflicts: 509000 | #Constraints: 29366 1632.85/1637.20 c #Conflicts: 510000 | #Constraints: 30366 1632.85/1637.20 c #Conflicts: 511000 | #Constraints: 31366 1632.85/1637.20 c #Conflicts: 512000 | #Constraints: 32366 1632.85/1637.20 c #Conflicts: 513000 | #Constraints: 33366 1632.85/1637.20 c #Conflicts: 514000 | #Constraints: 34366 1632.85/1637.20 c #Conflicts: 515000 | #Constraints: 35366 1632.85/1637.20 c #Conflicts: 516000 | #Constraints: 36366 1632.85/1637.20 c #Conflicts: 517000 | #Constraints: 37366 1632.85/1637.20 c #Conflicts: 518000 | #Constraints: 38366 1632.85/1637.20 c #Conflicts: 519000 | #Constraints: 39367 1632.85/1637.20 c #Conflicts: 520000 | #Constraints: 40367 1632.85/1637.20 c #Conflicts: 521000 | #Constraints: 41367 1632.85/1637.20 c #Conflicts: 522000 | #Constraints: 42367 1632.85/1637.20 c #Conflicts: 523000 | #Constraints: 43367 1632.85/1637.20 c #Conflicts: 524000 | #Constraints: 44367 1632.85/1637.20 c INPROCESSING 1632.85/1637.20 c GARBAGE COLLECT 1632.85/1637.20 c rational objective 142 1951.39/1956.56 c #Conflicts: 525000 | #Constraints: 26764 1951.39/1956.56 c #Conflicts: 526000 | #Constraints: 27764 1951.39/1956.56 c #Conflicts: 527000 | #Constraints: 28764 1951.39/1956.56 c #Conflicts: 528000 | #Constraints: 29764 1951.39/1956.56 c #Conflicts: 529000 | #Constraints: 30764 1951.39/1956.56 c #Conflicts: 530000 | #Constraints: 31764 1951.39/1956.56 c #Conflicts: 531000 | #Constraints: 32764 1951.39/1956.56 c #Conflicts: 532000 | #Constraints: 33764 1951.39/1956.56 c #Conflicts: 533000 | #Constraints: 34764 1951.39/1956.56 c #Conflicts: 534000 | #Constraints: 35764 1951.39/1956.56 c #Conflicts: 535000 | #Constraints: 36764 1951.39/1956.56 c #Conflicts: 536000 | #Constraints: 37764 1951.39/1956.56 c #Conflicts: 537000 | #Constraints: 38764 1951.39/1956.56 c #Conflicts: 538000 | #Constraints: 39764 1951.39/1956.56 c #Conflicts: 539000 | #Constraints: 40764 1951.39/1956.56 c #Conflicts: 540000 | #Constraints: 41764 1951.39/1956.56 c #Conflicts: 541000 | #Constraints: 42764 1951.39/1956.56 c #Conflicts: 542000 | #Constraints: 43764 1951.39/1956.56 c #Conflicts: 543000 | #Constraints: 44764 1951.39/1956.56 c #Conflicts: 544000 | #Constraints: 45764 1951.39/1956.56 c #Conflicts: 545000 | #Constraints: 46764 1951.39/1956.56 c #Conflicts: 546000 | #Constraints: 47764 1951.39/1956.56 c #Conflicts: 547000 | #Constraints: 48764 1951.39/1956.56 c #Conflicts: 548000 | #Constraints: 49765 1951.39/1956.56 c #Conflicts: 549000 | #Constraints: 50765 1951.39/1956.56 c #Conflicts: 550000 | #Constraints: 51765 1951.39/1956.56 c #Conflicts: 551000 | #Constraints: 52765 1951.39/1956.56 c #Conflicts: 552000 | #Constraints: 53765 1951.39/1956.56 c #Conflicts: 553000 | #Constraints: 54765 1951.39/1956.56 c #Conflicts: 554000 | #Constraints: 55765 1951.39/1956.56 c #Conflicts: 555000 | #Constraints: 56765 1951.39/1956.56 c #Conflicts: 556000 | #Constraints: 57765 1951.39/1956.56 c #Conflicts: 557000 | #Constraints: 58765 1951.39/1956.56 c #Conflicts: 558000 | #Constraints: 59765 1951.39/1956.56 c #Conflicts: 559000 | #Constraints: 60765 1951.39/1956.56 c #Conflicts: 560000 | #Constraints: 61765 1951.39/1956.56 c #Conflicts: 561000 | #Constraints: 62765 1951.39/1956.56 c #Conflicts: 562000 | #Constraints: 63765 1951.39/1956.56 c #Conflicts: 563000 | #Constraints: 64765 1951.39/1956.56 c #Conflicts: 564000 | #Constraints: 65765 1951.39/1956.56 c #Conflicts: 565000 | #Constraints: 66765 1951.39/1956.56 c #Conflicts: 566000 | #Constraints: 67765 1951.39/1956.56 c #Conflicts: 567000 | #Constraints: 68765 1951.39/1956.56 c #Conflicts: 568000 | #Constraints: 69765 1951.39/1956.56 c #Conflicts: 569000 | #Constraints: 70765 1951.39/1956.56 c #Conflicts: 570000 | #Constraints: 71765 1951.39/1956.56 c #Conflicts: 571000 | #Constraints: 72765 1951.39/1956.56 c #Conflicts: 572000 | #Constraints: 73765 1951.39/1956.56 c #Conflicts: 573000 | #Constraints: 74765 1951.39/1956.56 c #Conflicts: 574000 | #Constraints: 75765 1951.39/1956.56 c #Conflicts: 575000 | #Constraints: 76765 1951.39/1956.56 c #Conflicts: 576000 | #Constraints: 77765 1951.39/1956.56 c #Conflicts: 577000 | #Constraints: 78765 1951.39/1956.56 c #Conflicts: 578000 | #Constraints: 79765 1951.39/1956.56 c INPROCESSING 1951.39/1956.56 c GARBAGE COLLECT 1951.39/1956.56 c rational objective 142 2017.24/2022.50 c #Conflicts: 579000 | #Constraints: 41653 2017.24/2022.50 c #Conflicts: 580000 | #Constraints: 42653 2017.24/2022.50 c #Conflicts: 581000 | #Constraints: 43653 2017.24/2022.50 c #Conflicts: 582000 | #Constraints: 44653 2017.24/2022.50 c #Conflicts: 583000 | #Constraints: 45653 2017.24/2022.50 c #Conflicts: 584000 | #Constraints: 46653 2017.24/2022.50 c #Conflicts: 585000 | #Constraints: 47653 2017.24/2022.50 c #Conflicts: 586000 | #Constraints: 48653 2017.24/2022.50 c #Conflicts: 587000 | #Constraints: 49653 2017.24/2022.50 c #Conflicts: 588000 | #Constraints: 50653 2017.24/2022.50 c #Conflicts: 589000 | #Constraints: 51653 2017.24/2022.50 c #Conflicts: 590000 | #Constraints: 52653 2017.24/2022.50 c #Conflicts: 591000 | #Constraints: 53653 2017.24/2022.50 c #Conflicts: 592000 | #Constraints: 54654 2017.24/2022.50 c #Conflicts: 593000 | #Constraints: 55654 2017.24/2022.50 c #Conflicts: 594000 | #Constraints: 56654 2017.24/2022.50 c #Conflicts: 595000 | #Constraints: 57654 2017.24/2022.50 c #Conflicts: 596000 | #Constraints: 58654 2017.24/2022.50 c INPROCESSING 2017.24/2022.50 c GARBAGE COLLECT 2017.24/2022.50 c rational objective 142 2444.30/2450.63 c #Conflicts: 597000 | #Constraints: 30867 2444.30/2450.63 c #Conflicts: 598000 | #Constraints: 31867 2444.30/2450.63 c #Conflicts: 599000 | #Constraints: 32867 2444.30/2450.63 c #Conflicts: 600000 | #Constraints: 33867 2444.30/2450.63 c #Conflicts: 601000 | #Constraints: 34867 2444.30/2450.63 c #Conflicts: 602000 | #Constraints: 35867 2444.30/2450.63 c #Conflicts: 603000 | #Constraints: 36867 2444.30/2450.63 c #Conflicts: 604000 | #Constraints: 37867 2444.30/2450.63 c #Conflicts: 605000 | #Constraints: 38867 2444.30/2450.63 c #Conflicts: 606000 | #Constraints: 39867 2444.30/2450.63 c #Conflicts: 607000 | #Constraints: 40867 2444.30/2450.63 c #Conflicts: 608000 | #Constraints: 41867 2444.30/2450.63 c #Conflicts: 609000 | #Constraints: 42911 2444.30/2450.63 c #Conflicts: 610000 | #Constraints: 43911 2444.30/2450.63 c #Conflicts: 611000 | #Constraints: 44911 2444.30/2450.63 c #Conflicts: 612000 | #Constraints: 45911 2444.30/2450.63 c #Conflicts: 613000 | #Constraints: 46911 2444.30/2450.63 c #Conflicts: 614000 | #Constraints: 47911 2444.30/2450.63 c #Conflicts: 615000 | #Constraints: 48911 2444.30/2450.63 c bounds 192 >= 142 @ 2078.03 2444.30/2450.63 c #Conflicts: 616000 | #Constraints: 49913 2444.30/2450.63 c #Conflicts: 617000 | #Constraints: 50913 2444.30/2450.63 c #Conflicts: 618000 | #Constraints: 51914 2444.30/2450.63 c #Conflicts: 619000 | #Constraints: 52916 2444.30/2450.63 c #Conflicts: 620000 | #Constraints: 53916 2444.30/2450.63 c #Conflicts: 621000 | #Constraints: 54916 2444.30/2450.63 c #Conflicts: 622000 | #Constraints: 55916 2444.30/2450.63 c #Conflicts: 623000 | #Constraints: 56916 2444.30/2450.63 c #Conflicts: 624000 | #Constraints: 57916 2444.30/2450.63 c #Conflicts: 625000 | #Constraints: 58916 2444.30/2450.63 c #Conflicts: 626000 | #Constraints: 59916 2444.30/2450.63 c #Conflicts: 627000 | #Constraints: 60916 2444.30/2450.63 c #Conflicts: 628000 | #Constraints: 61916 2444.30/2450.63 c #Conflicts: 629000 | #Constraints: 62916 2444.30/2450.63 c #Conflicts: 630000 | #Constraints: 63916 2444.30/2450.63 c #Conflicts: 631000 | #Constraints: 64916 2444.30/2450.63 c #Conflicts: 632000 | #Constraints: 65916 2444.30/2450.63 c #Conflicts: 633000 | #Constraints: 66916 2444.30/2450.63 c #Conflicts: 634000 | #Constraints: 67916 2444.30/2450.63 c #Conflicts: 635000 | #Constraints: 68916 2444.30/2450.63 c #Conflicts: 636000 | #Constraints: 69916 2444.30/2450.63 c #Conflicts: 637000 | #Constraints: 70916 2444.30/2450.63 c #Conflicts: 638000 | #Constraints: 71916 2444.30/2450.63 c #Conflicts: 639000 | #Constraints: 72916 2444.30/2450.63 c #Conflicts: 640000 | #Constraints: 73916 2444.30/2450.63 c #Conflicts: 641000 | #Constraints: 74916 2444.30/2450.63 c #Conflicts: 642000 | #Constraints: 75916 2444.30/2450.63 c #Conflicts: 643000 | #Constraints: 76916 2444.30/2450.63 c bounds 191 >= 142 @ 2255.82 2444.30/2450.63 c #Conflicts: 644000 | #Constraints: 77917 2444.30/2450.63 c #Conflicts: 645000 | #Constraints: 78917 2444.30/2450.63 c #Conflicts: 646000 | #Constraints: 79917 2444.30/2450.63 c #Conflicts: 647000 | #Constraints: 80917 2444.30/2450.63 c #Conflicts: 648000 | #Constraints: 81917 2444.30/2450.63 c #Conflicts: 649000 | #Constraints: 82917 2444.30/2450.63 c #Conflicts: 650000 | #Constraints: 83917 2444.30/2450.63 c #Conflicts: 651000 | #Constraints: 84917 2444.30/2450.63 c #Conflicts: 652000 | #Constraints: 85917 2444.30/2450.63 c #Conflicts: 653000 | #Constraints: 86917 2444.30/2450.63 c INPROCESSING 2444.30/2450.63 c GARBAGE COLLECT 2444.30/2450.63 c rational objective 142 2527.80/2534.34 c #Conflicts: 654000 | #Constraints: 44984 2527.80/2534.34 c #Conflicts: 655000 | #Constraints: 45984 2527.80/2534.34 c #Conflicts: 656000 | #Constraints: 46984 2527.80/2534.34 c #Conflicts: 657000 | #Constraints: 47984 2527.80/2534.34 c #Conflicts: 658000 | #Constraints: 48984 2527.80/2534.34 c #Conflicts: 659000 | #Constraints: 49984 2527.80/2534.34 c #Conflicts: 660000 | #Constraints: 50984 2527.80/2534.34 c #Conflicts: 661000 | #Constraints: 51984 2527.80/2534.34 c #Conflicts: 662000 | #Constraints: 52984 2527.80/2534.34 c #Conflicts: 663000 | #Constraints: 53984 2527.80/2534.34 c #Conflicts: 664000 | #Constraints: 54984 2527.80/2534.34 c #Conflicts: 665000 | #Constraints: 55984 2527.80/2534.34 c #Conflicts: 666000 | #Constraints: 56984 2527.80/2534.34 c #Conflicts: 667000 | #Constraints: 57985 2527.80/2534.34 c #Conflicts: 668000 | #Constraints: 58990 2527.80/2534.34 c #Conflicts: 669000 | #Constraints: 59990 2527.80/2534.34 c #Conflicts: 670000 | #Constraints: 60990 2527.80/2534.34 c #Conflicts: 671000 | #Constraints: 61990 2527.80/2534.34 c #Conflicts: 672000 | #Constraints: 62990 2527.80/2534.34 c #Conflicts: 673000 | #Constraints: 63990 2527.80/2534.34 c INPROCESSING 2527.80/2534.34 c GARBAGE COLLECT 2527.80/2534.34 c rational objective 142 2594.83/2601.50 c #Conflicts: 674000 | #Constraints: 33632 2594.83/2601.50 c #Conflicts: 675000 | #Constraints: 34632 2594.83/2601.50 c #Conflicts: 676000 | #Constraints: 35632 2594.83/2601.50 c #Conflicts: 677000 | #Constraints: 36632 2594.83/2601.50 c #Conflicts: 678000 | #Constraints: 37632 2594.83/2601.50 c #Conflicts: 679000 | #Constraints: 38632 2594.83/2601.50 c #Conflicts: 680000 | #Constraints: 39632 2594.83/2601.50 c #Conflicts: 681000 | #Constraints: 40632 2594.83/2601.50 c #Conflicts: 682000 | #Constraints: 41632 2594.83/2601.50 c #Conflicts: 683000 | #Constraints: 42632 2594.83/2601.50 c #Conflicts: 684000 | #Constraints: 43632 2594.83/2601.50 c #Conflicts: 685000 | #Constraints: 44632 2594.83/2601.50 c #Conflicts: 686000 | #Constraints: 45632 2594.83/2601.50 c #Conflicts: 687000 | #Constraints: 46632 2594.83/2601.50 c #Conflicts: 688000 | #Constraints: 47632 2594.83/2601.50 c #Conflicts: 689000 | #Constraints: 48632 2594.83/2601.50 c #Conflicts: 690000 | #Constraints: 49632 2594.83/2601.50 c #Conflicts: 691000 | #Constraints: 50632 2594.83/2601.50 c #Conflicts: 692000 | #Constraints: 51632 2594.83/2601.50 c #Conflicts: 693000 | #Constraints: 52632 2594.83/2601.50 c INPROCESSING 2594.83/2601.50 c GARBAGE COLLECT 2594.83/2601.50 c rational objective 142 3050.24/3058.09 c #Conflicts: 694000 | #Constraints: 31019 3050.24/3058.09 c #Conflicts: 695000 | #Constraints: 32019 3050.24/3058.09 c #Conflicts: 696000 | #Constraints: 33019 3050.24/3058.09 c #Conflicts: 697000 | #Constraints: 34019 3050.24/3058.09 c #Conflicts: 698000 | #Constraints: 35019 3050.24/3058.09 c #Conflicts: 699000 | #Constraints: 36019 3050.24/3058.09 c #Conflicts: 700000 | #Constraints: 37019 3050.24/3058.09 c #Conflicts: 701000 | #Constraints: 38019 3050.24/3058.09 c #Conflicts: 702000 | #Constraints: 39019 3050.24/3058.09 c #Conflicts: 703000 | #Constraints: 40019 3050.24/3058.09 c #Conflicts: 704000 | #Constraints: 41019 3050.24/3058.09 c #Conflicts: 705000 | #Constraints: 42019 3050.24/3058.09 c #Conflicts: 706000 | #Constraints: 43019 3050.24/3058.09 c #Conflicts: 707000 | #Constraints: 44019 3050.24/3058.09 c #Conflicts: 708000 | #Constraints: 45019 3050.24/3058.09 c #Conflicts: 709000 | #Constraints: 46019 3050.24/3058.09 c #Conflicts: 710000 | #Constraints: 47019 3050.24/3058.09 c #Conflicts: 711000 | #Constraints: 48019 3050.24/3058.09 c #Conflicts: 712000 | #Constraints: 49019 3050.24/3058.09 c #Conflicts: 713000 | #Constraints: 50019 3050.24/3058.09 c #Conflicts: 714000 | #Constraints: 51019 3050.24/3058.09 c #Conflicts: 715000 | #Constraints: 52019 3050.24/3058.09 c #Conflicts: 716000 | #Constraints: 53019 3050.24/3058.09 c #Conflicts: 717000 | #Constraints: 54019 3050.24/3058.09 c #Conflicts: 718000 | #Constraints: 55019 3050.24/3058.09 c #Conflicts: 719000 | #Constraints: 56019 3050.24/3058.09 c #Conflicts: 720000 | #Constraints: 57019 3050.24/3058.09 c #Conflicts: 721000 | #Constraints: 58019 3050.24/3058.09 c #Conflicts: 722000 | #Constraints: 59019 3050.24/3058.09 c #Conflicts: 723000 | #Constraints: 60019 3050.24/3058.09 c #Conflicts: 724000 | #Constraints: 61019 3050.24/3058.09 c #Conflicts: 725000 | #Constraints: 62019 3050.24/3058.09 c #Conflicts: 726000 | #Constraints: 63019 3050.24/3058.09 c #Conflicts: 727000 | #Constraints: 64019 3050.24/3058.09 c #Conflicts: 728000 | #Constraints: 65019 3050.24/3058.09 c #Conflicts: 729000 | #Constraints: 66019 3050.24/3058.09 c #Conflicts: 730000 | #Constraints: 67019 3050.24/3058.09 c #Conflicts: 731000 | #Constraints: 68019 3050.24/3058.09 c #Conflicts: 732000 | #Constraints: 69019 3050.24/3058.09 c #Conflicts: 733000 | #Constraints: 70019 3050.24/3058.09 c #Conflicts: 734000 | #Constraints: 71019 3050.24/3058.09 c #Conflicts: 735000 | #Constraints: 72019 3050.24/3058.09 c #Conflicts: 736000 | #Constraints: 73019 3050.24/3058.09 c #Conflicts: 737000 | #Constraints: 74019 3050.24/3058.09 c #Conflicts: 738000 | #Constraints: 75019 3050.24/3058.09 c #Conflicts: 739000 | #Constraints: 76019 3050.24/3058.09 c #Conflicts: 740000 | #Constraints: 77019 3050.24/3058.09 c #Conflicts: 741000 | #Constraints: 78019 3050.24/3058.09 c #Conflicts: 742000 | #Constraints: 79020 3050.24/3058.09 c #Conflicts: 743000 | #Constraints: 80020 3050.24/3058.09 c #Conflicts: 744000 | #Constraints: 81020 3050.24/3058.09 c #Conflicts: 745000 | #Constraints: 82020 3050.24/3058.09 c #Conflicts: 746000 | #Constraints: 83020 3050.24/3058.09 c #Conflicts: 747000 | #Constraints: 84020 3050.24/3058.09 c #Conflicts: 748000 | #Constraints: 85020 3050.24/3058.09 c #Conflicts: 749000 | #Constraints: 86020 3050.24/3058.09 c #Conflicts: 750000 | #Constraints: 87020 3050.24/3058.09 c #Conflicts: 751000 | #Constraints: 88020 3050.24/3058.09 c #Conflicts: 752000 | #Constraints: 89020 3050.24/3058.09 c #Conflicts: 753000 | #Constraints: 90020 3050.24/3058.09 c #Conflicts: 754000 | #Constraints: 91020 3050.24/3058.09 c INPROCESSING 3050.24/3058.09 c GARBAGE COLLECT 3050.24/3058.09 c rational objective 142 3128.74/3136.71 c #Conflicts: 755000 | #Constraints: 47121 3128.74/3136.71 c #Conflicts: 756000 | #Constraints: 48121 3128.74/3136.71 c #Conflicts: 757000 | #Constraints: 49121 3128.74/3136.71 c #Conflicts: 758000 | #Constraints: 50121 3128.74/3136.71 c #Conflicts: 759000 | #Constraints: 51121 3128.74/3136.71 c #Conflicts: 760000 | #Constraints: 52121 3128.74/3136.71 c #Conflicts: 761000 | #Constraints: 53121 3128.74/3136.71 c #Conflicts: 762000 | #Constraints: 54121 3128.74/3136.71 c #Conflicts: 763000 | #Constraints: 55121 3128.74/3136.71 c #Conflicts: 764000 | #Constraints: 56121 3128.74/3136.71 c #Conflicts: 765000 | #Constraints: 57121 3128.74/3136.71 c #Conflicts: 766000 | #Constraints: 58121 3128.74/3136.71 c #Conflicts: 767000 | #Constraints: 59121 3128.74/3136.71 c #Conflicts: 768000 | #Constraints: 60121 3128.74/3136.71 c #Conflicts: 769000 | #Constraints: 61121 3128.74/3136.71 c #Conflicts: 770000 | #Constraints: 62121 3128.74/3136.71 c #Conflicts: 771000 | #Constraints: 63121 3128.74/3136.71 c #Conflicts: 772000 | #Constraints: 64121 3128.74/3136.71 c #Conflicts: 773000 | #Constraints: 65121 3128.74/3136.71 c #Conflicts: 774000 | #Constraints: 66121 3128.74/3136.71 c #Conflicts: 775000 | #Constraints: 67121 3128.74/3136.71 c INPROCESSING 3128.74/3136.71 c GARBAGE COLLECT 3128.74/3136.71 c rational objective 142 3507.50/3516.45 c #Conflicts: 776000 | #Constraints: 35051 3507.50/3516.45 c #Conflicts: 777000 | #Constraints: 36051 3507.50/3516.45 c #Conflicts: 778000 | #Constraints: 37051 3507.50/3516.45 c #Conflicts: 779000 | #Constraints: 38051 3507.50/3516.45 c #Conflicts: 780000 | #Constraints: 39051 3507.50/3516.45 c #Conflicts: 781000 | #Constraints: 40051 3507.50/3516.45 c #Conflicts: 782000 | #Constraints: 41051 3507.50/3516.45 c #Conflicts: 783000 | #Constraints: 42051 3507.50/3516.45 c #Conflicts: 784000 | #Constraints: 43051 3507.50/3516.45 c #Conflicts: 785000 | #Constraints: 44051 3507.50/3516.45 c #Conflicts: 786000 | #Constraints: 45051 3507.50/3516.45 c #Conflicts: 787000 | #Constraints: 46051 3507.50/3516.45 c #Conflicts: 788000 | #Constraints: 47051 3507.50/3516.45 c #Conflicts: 789000 | #Constraints: 48051 3507.50/3516.45 c #Conflicts: 790000 | #Constraints: 49051 3507.50/3516.45 c #Conflicts: 791000 | #Constraints: 50051 3507.50/3516.45 c #Conflicts: 792000 | #Constraints: 51051 3507.50/3516.45 c #Conflicts: 793000 | #Constraints: 52052 3507.50/3516.45 c #Conflicts: 794000 | #Constraints: 53088 3507.50/3516.45 c #Conflicts: 795000 | #Constraints: 54088 3507.50/3516.45 c #Conflicts: 796000 | #Constraints: 55088 3507.50/3516.45 c #Conflicts: 797000 | #Constraints: 56088 3507.50/3516.45 c #Conflicts: 798000 | #Constraints: 57088 3507.50/3516.45 c #Conflicts: 799000 | #Constraints: 58088 3507.50/3516.45 c #Conflicts: 800000 | #Constraints: 59095 3507.50/3516.45 c #Conflicts: 801000 | #Constraints: 60095 3507.50/3516.45 c #Conflicts: 802000 | #Constraints: 61095 3507.50/3516.45 c #Conflicts: 803000 | #Constraints: 62095 3507.50/3516.45 c #Conflicts: 804000 | #Constraints: 63095 3507.50/3516.45 c #Conflicts: 805000 | #Constraints: 64095 3507.50/3516.45 c #Conflicts: 806000 | #Constraints: 65095 3507.50/3516.45 c #Conflicts: 807000 | #Constraints: 66095 3507.50/3516.45 c #Conflicts: 808000 | #Constraints: 67095 3507.50/3516.45 c #Conflicts: 809000 | #Constraints: 68095 3507.50/3516.45 c #Conflicts: 810000 | #Constraints: 69095 3507.50/3516.45 c #Conflicts: 811000 | #Constraints: 70095 3507.50/3516.45 c #Conflicts: 812000 | #Constraints: 71095 3507.50/3516.45 c #Conflicts: 813000 | #Constraints: 72095 3507.50/3516.45 c #Conflicts: 814000 | #Constraints: 73095 3507.50/3516.45 c #Conflicts: 815000 | #Constraints: 74095 3507.50/3516.45 c #Conflicts: 816000 | #Constraints: 75095 3507.50/3516.45 c #Conflicts: 817000 | #Constraints: 76095 3507.50/3516.45 c #Conflicts: 818000 | #Constraints: 77095 3507.50/3516.45 c #Conflicts: 819000 | #Constraints: 78095 3507.50/3516.45 c #Conflicts: 820000 | #Constraints: 79095 3507.50/3516.45 c #Conflicts: 821000 | #Constraints: 80095 3507.50/3516.45 c #Conflicts: 822000 | #Constraints: 81095 3507.50/3516.45 c #Conflicts: 823000 | #Constraints: 82095 3507.50/3516.45 c #Conflicts: 824000 | #Constraints: 83095 3507.50/3516.45 c #Conflicts: 825000 | #Constraints: 84095 3507.50/3516.45 c #Conflicts: 826000 | #Constraints: 85095 3507.50/3516.45 c #Conflicts: 827000 | #Constraints: 86095 3507.50/3516.45 c #Conflicts: 828000 | #Constraints: 87095 3507.50/3516.45 c #Conflicts: 829000 | #Constraints: 88095 3507.50/3516.45 c #Conflicts: 830000 | #Constraints: 89095 3507.50/3516.45 c #Conflicts: 831000 | #Constraints: 90095 3507.50/3516.45 c #Conflicts: 832000 | #Constraints: 91095 3507.50/3516.45 c #Conflicts: 833000 | #Constraints: 92095 3507.50/3516.45 c #Conflicts: 834000 | #Constraints: 93095 3507.50/3516.45 c #Conflicts: 835000 | #Constraints: 94095 3507.50/3516.45 c #Conflicts: 836000 | #Constraints: 95096 3507.50/3516.45 c #Conflicts: 837000 | #Constraints: 96096 3507.50/3516.45 c #Conflicts: 838000 | #Constraints: 97096 3507.50/3516.45 c #Conflicts: 839000 | #Constraints: 98096 3507.50/3516.45 c #Conflicts: 840000 | #Constraints: 99096 3507.50/3516.45 c INPROCESSING 3507.50/3516.45 c GARBAGE COLLECT 3507.50/3516.45 c rational objective 142 3600.06/3609.20 c #Conflicts: 841000 | #Constraints: 51293 3600.06/3609.20 c #Conflicts: 842000 | #Constraints: 52293 3600.06/3609.20 c #Conflicts: 843000 | #Constraints: 53293 3600.06/3609.20 c #Conflicts: 844000 | #Constraints: 54293 3600.06/3609.20 c #Conflicts: 845000 | #Constraints: 55293 3600.06/3609.20 c #Conflicts: 846000 | #Constraints: 56293 3600.06/3609.20 c #Conflicts: 847000 | #Constraints: 57293 3600.06/3609.20 c Program interrupted by user. 3600.06/3609.20 c cpu time 3584.5 s 3600.06/3609.20 c deterministic time 352707690652 3.53e+11 3600.06/3609.20 c optimization time 92.2308 s 3600.06/3609.20 c total solve time 3492.26 s 3600.06/3609.20 c core-guided solve time 1857.74 s 3600.06/3609.20 c propagation time 3095.77 s 3600.06/3609.20 c conflict analysis time 437.782 s 3600.06/3609.20 c propagations 116656980 3600.06/3609.20 c resolve steps 7513809 3600.06/3609.20 c decisions 5551464 3600.06/3609.20 c conflicts 847186 3600.06/3609.20 c restarts 1800 3600.06/3609.20 c inprocessing phases 48 3600.06/3609.20 c input clauses 310 3600.06/3609.20 c input cardinalities 317 3600.06/3609.20 c input general constraints 920 3600.06/3609.20 c input average constraint length 60.80 3600.06/3609.20 c input average constraint degree 23.33 3600.06/3609.20 c learned clauses 308137 3600.06/3609.20 c learned cardinalities 6214 3600.06/3609.20 c learned general constraints 533321 3600.06/3609.20 c learned average constraint length 186.44 3600.06/3609.20 c learned average constraint degree 15880613.07 3600.06/3609.20 c watched constraints 354965 3600.06/3609.20 c counting constraints 179276 3600.06/3609.20 c gcd simplifications 115419 3600.06/3609.20 c detected cardinalities 2381 3600.06/3609.20 c weakened non-implied lits 38741515 3600.06/3609.20 c weakened non-implying lits 90663 3600.06/3609.20 c original variables 473 3600.06/3609.20 c clausal propagations 12948578 3600.06/3609.20 c cardinality propagations 6074924 3600.06/3609.20 c watched propagations 18288542 3600.06/3609.20 c counting propagations 77427924 3600.06/3609.20 c watch lookups 60590352215 3600.06/3609.20 c watch backjump lookups 53619584370 3600.06/3609.20 c watch checks 217769146247 3600.06/3609.20 c propagation checks 19833144284 3600.06/3609.20 c constraint additions 649257852 3600.06/3609.20 c trail pops 123055419 3600.06/3609.20 c formula constraints 472 3600.06/3609.20 c learned constraints 847199 3600.06/3609.20 c bound constraints 176 3600.06/3609.20 c core-guided constraints 899 3600.06/3609.20 c encountered formula constraints 1281926 3600.06/3609.20 c encountered learned constraints 6017300 3600.06/3609.20 c encountered bound constraints 70 3600.06/3609.20 c encountered core-guided constraints 1061039 3600.06/3609.20 c LP total time 74.0631 s 3600.06/3609.20 c LP solve time 68.35 s 3600.06/3609.20 c LP constraints added 518 3600.06/3609.20 c LP constraints removed 44 3600.06/3609.20 c LP pivots internal 850710 3600.06/3609.20 c LP pivots root 91110 3600.06/3609.20 c LP calls 6725 3600.06/3609.20 c LP optimalities 6141 3600.06/3609.20 c LP no pivot count 134 3600.06/3609.20 c LP infeasibilities 472 3600.06/3609.20 c LP valid Farkas constraints 426 3600.06/3609.20 c LP learned Farkas constraints 1 3600.06/3609.20 c LP basis resets 108 3600.06/3609.20 c LP cycling count 108 3600.06/3609.20 c LP singular count 0 3600.06/3609.20 c LP no primal count 0 3600.06/3609.20 c LP no farkas count 0 3600.06/3609.20 c LP other issue count 0 3600.06/3609.20 c LP Gomory cuts 46 3600.06/3609.20 c LP learned cuts 0 3600.06/3609.20 c LP deleted cuts 44 3600.06/3609.20 c LP encountered Gomory constraints 0 3600.06/3609.20 c LP encountered Farkas constraints 658 3600.06/3609.20 c LP encountered learned Farkas constraints 1 3600.06/3609.20 c CG auxiliary variables introduced 347 3600.06/3609.20 c CG solutions found 34 3600.06/3609.20 c CG cores constructed 142 3600.06/3609.20 c CG core cardinality constraints returned 0 3600.06/3609.20 c CG unit cores 0 3600.06/3609.20 c CG single cores 142 3600.06/3609.20 c CG blocks removed during cardinality reduction 0 3600.06/3609.20 c CG first core best 0 3600.06/3609.20 c CG decision core best 0 3600.06/3609.20 c CG core reduction tie 0 3600.06/3609.20 c CG core degree average 1.00 3600.06/3609.20 c CG core slack average 4.21 3600.06/3609.20 s SATISFIABLE 3600.06/3609.20 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 x46 x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 x60 x61 -x62 -x63 -x64 -x65 -x66 x67 x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 x86 -x87 -x88 -x89 x90 -x91 -x92 x93 -x94 -x95 x96 x97 x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 x106 x107 -x108 -x109 -x110 x111 -x112 x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 x126 x127 -x128 -x129 x130 -x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 x142 x143 x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 x154 x155 -x156 -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 x170 -x171 -x172 x173 -x174 x175 -x176 -x177 x178 x179 -x180 x181 -x182 -x183 x184 -x185 x186 x187 -x188 -x189 x190 -x191 -x192 -x193 x194 -x195 -x196 x197 x198 -x199 x200 -x201 -x202 x203 -x204 x205 -x206 -x207 x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 x218 x219 x220 -x221 x222 x223 x224 x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 x233 x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 -x258 -x259 x260 -x261 x262 -x263 x264 -x265 x266 -x267 x268 -x269 x270 -x271 -x272 x273 -x274 x275 x276 -x277 x278 x279 x280 x281 x282 x283 -x284 x285 -x286 x287 x288 -x289 -x290 x291 x292 x293 x294 x295 x296 x297 -x298 x299 -x300 -x301 -x302 -x303 x304 -x305 x306 x307 -x308 -x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 x324 -x325 -x326 -x327 x328 x329 x330 x331 x332 x333 x334 -x335 x336 x337 -x338 x339 -x340 x341 x342 x343 -x344 x345 x346 -x347 -x348 -x349 -x350 x351 -x352 x353 x354 -x355 x356 -x357 x358 x359 -x360 x361 -x362 x363 -x364 x365 x366 -x367 -x368 x369 -x370 -x371 -x372 x373 -x374 x375 x376 x377 -x378 -x379 x380 x381 x382 -x383 -x384 x385 x386 -x387 -x388 -x389 x390 -x391 -x392 x393 x394 x395 x396 x397 -x398 -x399 -x400 x401 -x402 x403 x404 -x405 -x406 -x407 x408 -x409 x410 -x411 -x412 -x413 x414 x415 x416 -x417 -x418 x419 -x420 x421 x422 -x423 x424 x425 -x426 -x427 x428 -x429 x430 x431 -x432 -x433 -x434 -x435 x436 -x437 x438 x439 -x440 -x441 x442 -x443 x444 x445 x446 x447 -x448 -x449 x450 x451 -x452 x453 x454 x455 -x456 -x457 x458 -x459 x460 x461 -x462 -x463 x464 -x465 x466 -x467 x468 -x469 -x470 -x471 -x472 x473
OK 191
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (60820 MiB free)
memory of node 1: 64473 MiB (60532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455125-1721458461/watcher-4455125-1721458461 -o /tmp/evaluation-result-4455125-1721458461/solver-4455125-1721458461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721458472-1056347 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455125-1721458461.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1056404, runsolver pid=1056395
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 1.10 1.11 1.36 7/249 1056413
/proc/meminfo: memFree=124254960/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=38348 memory=8604 CPUtime=0.1 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 609 0 0 0 10 0 0 0 20 0 1 0 198004868 39268352 2151 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 9587 2151 1742 922 0 1539 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8604 KiB
[startup+0.215658 s]*
/proc/loadavg: 1.10 1.11 1.36 7/249 1056413
/proc/meminfo: memFree=124250972/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=38348 memory=8604 CPUtime=0.22 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 612 0 0 0 21 1 0 0 20 0 1 0 198004868 39268352 2151 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 9587 2151 1742 922 0 1539 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8604 KiB
[startup+0.313785 s]*
/proc/loadavg: 1.10 1.11 1.36 7/249 1056413
/proc/meminfo: memFree=124249808/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=38472 memory=8792 CPUtime=0.31 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 652 0 0 0 30 1 0 0 20 0 1 0 198004868 39395328 2198 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 9618 2198 1742 922 0 1570 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38472 KiB
Current children cumulated memory: 8792 KiB
[startup+0.700284 s]
/proc/loadavg: 1.10 1.11 1.36 7/249 1056413
/proc/meminfo: memFree=124242176/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=40872 memory=14148 CPUtime=0.68 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 1458 0 0 0 59 9 0 0 20 0 1 0 198004868 41852928 3537 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 10218 3537 1772 922 0 2170 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40872 KiB
Current children cumulated memory: 14148 KiB
[startup+1.5003 s]
/proc/loadavg: 1.10 1.11 1.36 7/249 1056413
/proc/meminfo: memFree=124214028/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=43612 memory=17068 CPUtime=1.48 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 2168 0 0 0 134 14 0 0 20 0 1 0 198004868 44658688 4267 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 10903 4267 1850 922 0 2855 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43612 KiB
Current children cumulated memory: 17068 KiB
[startup+3.11382 s]
/proc/loadavg: 1.41 1.17 1.38 7/249 1056413
/proc/meminfo: memFree=124170732/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=47272 memory=22044 CPUtime=3.09 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 3493 0 0 0 286 23 0 0 20 0 1 0 198004868 48406528 5511 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 11818 5511 1850 922 0 3770 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47272 KiB
Current children cumulated memory: 22044 KiB
[startup+6.30029 s]
/proc/loadavg: 1.41 1.17 1.38 7/249 1056413
/proc/meminfo: memFree=124129144/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=61056 memory=33140 CPUtime=6.27 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 6048 0 0 0 589 38 0 0 20 0 1 0 198004868 62521344 8285 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 15264 8285 1920 922 0 7216 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61056 KiB
Current children cumulated memory: 33140 KiB
[startup+12.7003 s]
/proc/loadavg: 1.62 1.22 1.39 7/249 1056415
/proc/meminfo: memFree=124101516/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=62636 memory=34720 CPUtime=12.65 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 6464 0 0 0 1204 61 0 0 20 0 1 0 198004868 64139264 8680 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 15659 8680 1920 922 0 7611 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 62636 KiB
Current children cumulated memory: 34720 KiB
[startup+25.5003 s]
/proc/loadavg: 2.21 1.37 1.44 7/249 1056416
/proc/meminfo: memFree=124016228/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=76348 memory=42744 CPUtime=25.41 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 8028 0 0 0 2442 99 0 0 20 0 1 0 198004868 78180352 10686 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 19087 10686 1920 922 0 11039 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 76348 KiB
Current children cumulated memory: 42744 KiB
[startup+51.1141 s]
/proc/loadavg: 2.82 1.58 1.51 7/249 1056421
/proc/meminfo: memFree=123827340/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=145600 memory=107332 CPUtime=50.94 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 17579 0 0 0 4951 143 0 0 20 0 1 0 198004868 149094400 26833 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 36400 26833 1920 922 0 28352 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 145600 KiB
Current children cumulated memory: 107332 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 1.99 1.65 7/248 1056813
/proc/meminfo: memFree=123702340/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=148572 memory=109704 CPUtime=101.97 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 18154 0 0 0 9994 203 0 0 20 0 1 0 198004868 152137728 27426 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 37143 27426 1920 922 0 29095 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 148572 KiB
Current children cumulated memory: 109704 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.39 1.81 7/248 1056823
/proc/meminfo: memFree=123614796/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=164616 memory=125992 CPUtime=161.79 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 21373 0 0 0 15901 278 0 0 20 0 1 0 198004868 168566784 31498 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 41154 31498 1920 922 0 33106 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 164616 KiB
Current children cumulated memory: 125992 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.70 1.96 7/248 1056834
/proc/meminfo: memFree=123579868/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=209724 memory=155492 CPUtime=221.6 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 25161 0 0 0 21847 313 0 0 20 0 1 0 198004868 214757376 38873 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 52431 38873 1920 922 0 44383 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 209724 KiB
Current children cumulated memory: 155492 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.97 2.10 7/250 1057014
/proc/meminfo: memFree=123558840/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=211148 memory=156628 CPUtime=281.41 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 25595 0 0 0 27762 379 0 0 20 0 1 0 198004868 216215552 39157 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 52787 39157 1920 922 0 44739 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 211148 KiB
Current children cumulated memory: 156628 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.17 2.22 7/245 1057024
/proc/meminfo: memFree=123474052/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=211148 memory=156628 CPUtime=341.23 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 25604 0 0 0 33721 402 0 0 20 0 1 0 198004868 216215552 39157 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 52787 39157 1920 922 0 44739 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 211148 KiB
Current children cumulated memory: 156628 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.36 2.35 7/243 1057048
/proc/meminfo: memFree=123427980/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=211164 memory=156692 CPUtime=401.05 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 25853 0 0 0 39668 437 0 0 20 0 1 0 198004868 216231936 39173 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 52791 39173 1920 922 0 44743 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 211164 KiB
Current children cumulated memory: 156692 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.51 2.47 7/243 1057058
/proc/meminfo: memFree=123413364/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=217100 memory=161700 CPUtime=460.86 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 27068 0 0 0 45593 493 0 0 20 0 1 0 198004868 222310400 40425 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 54275 40425 1920 922 0 46227 0
################
# More data... #
################
Current children cumulated memory: 339256 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.10 4.01 7/243 1058100
/proc/meminfo: memFree=122604804/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=380796 memory=339256 CPUtime=2855.01 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 51797 0 0 0 284137 1364 0 0 20 0 1 0 198004868 389935104 84814 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 95199 84814 1920 922 0 87151 0
Current children cumulated CPU time: 2855.01 s
Current children cumulated vsize: 380796 KiB
Current children cumulated memory: 339256 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.11 4.01 7/243 1058112
/proc/meminfo: memFree=122578312/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=381148 memory=339300 CPUtime=2914.86 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 51976 0 0 0 290109 1377 0 0 20 0 1 0 198004868 390295552 84825 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 95287 84825 1920 922 0 87239 0
Current children cumulated CPU time: 2914.86 s
Current children cumulated vsize: 381148 KiB
Current children cumulated memory: 339300 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.01 7/243 1058122
/proc/meminfo: memFree=122559168/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=384476 memory=353648 CPUtime=2974.71 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 52554 0 0 0 296081 1390 0 0 20 0 1 0 198004868 393703424 88412 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 96119 88412 1920 922 0 88071 0
Current children cumulated CPU time: 2974.71 s
Current children cumulated vsize: 384476 KiB
Current children cumulated memory: 353648 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.01 7/243 1058133
/proc/meminfo: memFree=122556336/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=386272 memory=354724 CPUtime=3034.57 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 52938 0 0 0 302057 1400 0 0 20 0 1 0 198004868 395542528 88681 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 96568 88681 1920 922 0 88520 0
Current children cumulated CPU time: 3034.57 s
Current children cumulated vsize: 386272 KiB
Current children cumulated memory: 354724 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.01 7/241 1058144
/proc/meminfo: memFree=122556420/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=386272 memory=355000 CPUtime=3094.42 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 53387 0 0 0 308021 1421 0 0 20 0 1 0 198004868 395542528 88750 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 96568 88750 1920 922 0 88520 0
Current children cumulated CPU time: 3094.42 s
Current children cumulated vsize: 386272 KiB
Current children cumulated memory: 355000 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.02 7/241 1058154
/proc/meminfo: memFree=122553668/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=386272 memory=355000 CPUtime=3154.27 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 53518 0 0 0 313983 1444 0 0 20 0 1 0 198004868 395542528 88750 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 96568 88750 1920 922 0 88520 0
Current children cumulated CPU time: 3154.27 s
Current children cumulated vsize: 386272 KiB
Current children cumulated memory: 355000 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.02 7/241 1058164
/proc/meminfo: memFree=122541588/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=386272 memory=355000 CPUtime=3214.13 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 53665 0 0 0 319945 1468 0 0 20 0 1 0 198004868 395542528 88750 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 96568 88750 1920 922 0 88520 0
Current children cumulated CPU time: 3214.13 s
Current children cumulated vsize: 386272 KiB
Current children cumulated memory: 355000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.02 7/241 1058175
/proc/meminfo: memFree=122541112/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=386272 memory=355020 CPUtime=3273.98 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 53827 0 0 0 325914 1484 0 0 20 0 1 0 198004868 395542528 88755 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 96568 88755 1920 922 0 88520 0
Current children cumulated CPU time: 3273.98 s
Current children cumulated vsize: 386272 KiB
Current children cumulated memory: 355020 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.03 7/241 1058185
/proc/meminfo: memFree=122536428/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=391620 memory=357916 CPUtime=3333.84 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 54734 0 0 0 331883 1501 0 0 20 0 1 0 198004868 401018880 89479 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 97905 89479 1920 922 0 89857 0
Current children cumulated CPU time: 3333.84 s
Current children cumulated vsize: 391620 KiB
Current children cumulated memory: 357916 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.03 7/243 1058199
/proc/meminfo: memFree=122528908/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=396880 memory=361220 CPUtime=3393.7 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 55715 0 0 0 337856 1514 0 0 20 0 1 0 198004868 406405120 90305 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 99220 90305 1920 922 0 91172 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 396880 KiB
Current children cumulated memory: 361220 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.12 4.04 7/243 1058209
/proc/meminfo: memFree=122517612/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=402300 memory=367068 CPUtime=3453.55 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 56853 0 0 0 343829 1526 0 0 20 0 1 0 198004868 411955200 91767 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 100575 91767 1920 922 0 92527 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 402300 KiB
Current children cumulated memory: 367068 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.13 4.04 7/243 1058220
/proc/meminfo: memFree=122497844/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=490600 memory=384660 CPUtime=3513.39 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 58262 0 0 0 349799 1540 0 0 20 0 1 0 198004868 502374400 96165 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 122650 96165 1920 922 0 114602 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 490600 KiB
Current children cumulated memory: 384660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.04 7/243 1058230
/proc/meminfo: memFree=122495896/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=490600 memory=384712 CPUtime=3573.23 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 58366 0 0 0 355772 1551 0 0 20 0 1 0 198004868 502374400 96178 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 122650 96178 1920 922 0 114602 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 490600 KiB
Current children cumulated memory: 384712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.55 4.22 4.08 7/243 1058237
/proc/meminfo: memFree=122493084/131655788 swapFree=131071996/131071996
[pid=1056404] ppid=1056395 vsize=490600 memory=384712 CPUtime=3600.06 cores=4,6
/proc/1056404/stat : 1056404 (roundingsat) R 1056395 1056404 1056336 0 -1 4194304 58470 0 0 0 358449 1557 0 0 20 0 1 0 198004868 502374400 96178 134679101440 4194304 7968373 140721591171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31322112 140721591174076 140721591174240 140721591174240 140721591181257 0
/proc/1056404/statm: 122650 96178 1920 922 0 114602 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 490600 KiB
Current children cumulated memory: 384712 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 1056404 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.5 s, system=15.5796 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.08
CPU user time (s): 3584.5
CPU system time (s): 15.5796
CPU usage (%): 99.7471
Max. virtual memory (cumulated for all children) (KiB): 490600
Max. memory (cumulated for all children) (KiB): 384712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.5
system time used= 15.5796
maximum resident set size= 384712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58480
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73
involuntary context switches= 3144
# summary of solver processes directly reported to runsolver:
# pid: 1056404
# total CPU time (s): 3600.08
# total CPU user time (s): 3584.5
# total CPU system time (s): 15.5796
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9833 second user time and 39.1692 second system time
The end
Begin job on nodeC005 at 2024-07-20 08:54:33 IDJOB=4455125 IDBENCH=147539 IDSOLVER=3084 FILE ID=nodeC005/4455125-1721458461 RUNJOBID= nodeC005-1721458472-1056347 SLURM_JOB_ID= 7545703 Free space on /tmp= 723784 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455125-1721458461/watcher-4455125-1721458461 -o /tmp/evaluation-result-4455125-1721458461/solver-4455125-1721458461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721458472-1056347 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455125-1721458461.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a RANDOM SEED=1503439480 nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.189 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.189 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.181 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.185 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.187 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.178 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.180 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1194.637 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124265800 kB MemAvailable: 129845964 kB Buffers: 559432 kB Cached: 5800708 kB SwapCached: 0 kB Active: 1174988 kB Inactive: 5510680 kB Active(anon): 3336 kB Inactive(anon): 368168 kB Active(file): 1171652 kB Inactive(file): 5142512 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20836 kB Writeback: 0 kB AnonPages: 324824 kB Mapped: 108592 kB Shmem: 45896 kB KReclaimable: 212400 kB Slab: 332744 kB SReclaimable: 212400 kB SUnreclaim: 120344 kB KernelStack: 3716 kB PageTables: 9584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 649932 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62336 kB HardwareCorrupted: 0 kB AnonHugePages: 200704 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 303944 kB DirectMap2M: 40495104 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723760 MiB End job on nodeC005 at 2024-07-20 09:54:42