| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 193 | 3600.09 | 3610.61 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb |
| MD5SUM | 0daa95194506fa379fbbdb25b381edfb |
| 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 | 473 |
| 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 | 473 |
| Minimum length of a constraint | 4 |
| 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.00 c #variables 473 #constraints 473 0.20/0.25 c bounds - >= 0 @ 0.001915 0.20/0.25 c bounds 230 >= 0 @ 0.141974 0.20/0.25 c bounds 230 >= 1 @ 0.141974 0.20/0.25 c bounds 230 >= 2 @ 0.141974 0.20/0.25 c bounds 230 >= 3 @ 0.141974 0.20/0.25 c bounds 230 >= 4 @ 0.141974 0.20/0.25 c bounds 230 >= 5 @ 0.141974 0.20/0.25 c bounds 230 >= 6 @ 0.141974 0.20/0.25 c bounds 230 >= 7 @ 0.141974 0.20/0.25 c bounds 230 >= 8 @ 0.141974 0.20/0.25 c bounds 230 >= 9 @ 0.141974 0.20/0.25 c bounds 230 >= 10 @ 0.141974 0.20/0.25 c bounds 230 >= 11 @ 0.141974 0.20/0.25 c bounds 230 >= 12 @ 0.141974 0.20/0.25 c bounds 230 >= 13 @ 0.141974 0.20/0.25 c bounds 230 >= 14 @ 0.142004 0.20/0.25 c bounds 230 >= 15 @ 0.142091 0.20/0.25 c bounds 230 >= 16 @ 0.142187 0.20/0.25 c bounds 230 >= 17 @ 0.14228 0.20/0.25 c bounds 230 >= 18 @ 0.142379 0.20/0.25 c bounds 230 >= 19 @ 0.142474 0.20/0.25 c bounds 230 >= 20 @ 0.142575 0.20/0.25 c bounds 230 >= 21 @ 0.142681 0.20/0.25 c bounds 230 >= 22 @ 0.142788 0.20/0.25 c bounds 230 >= 23 @ 0.142892 0.20/0.25 c bounds 230 >= 24 @ 0.142998 0.20/0.25 c bounds 230 >= 25 @ 0.143105 0.20/0.25 c bounds 230 >= 26 @ 0.143213 0.20/0.25 c bounds 230 >= 27 @ 0.143317 0.20/0.25 c bounds 229 >= 27 @ 0.147722 0.20/0.25 c bounds 229 >= 28 @ 0.147825 0.20/0.25 c bounds 229 >= 29 @ 0.14793 0.20/0.25 c bounds 229 >= 30 @ 0.147958 0.20/0.25 c bounds 229 >= 31 @ 0.147958 0.20/0.25 c bounds 229 >= 32 @ 0.147958 0.20/0.25 c bounds 229 >= 33 @ 0.147958 0.20/0.25 c bounds 229 >= 34 @ 0.147958 0.20/0.25 c bounds 229 >= 35 @ 0.147958 0.20/0.25 c bounds 229 >= 36 @ 0.147958 0.20/0.25 c bounds 229 >= 37 @ 0.147958 0.20/0.25 c bounds 229 >= 38 @ 0.147958 0.20/0.25 c bounds 229 >= 39 @ 0.14821 0.20/0.25 c bounds 229 >= 40 @ 0.148335 0.20/0.25 c bounds 229 >= 41 @ 0.148455 0.20/0.25 c bounds 229 >= 42 @ 0.148577 0.20/0.25 c bounds 229 >= 43 @ 0.148696 0.20/0.25 c bounds 229 >= 44 @ 0.148817 0.20/0.25 c bounds 229 >= 45 @ 0.148931 0.20/0.25 c bounds 229 >= 46 @ 0.148954 0.20/0.25 c bounds 229 >= 47 @ 0.148954 0.20/0.25 c bounds 229 >= 48 @ 0.148954 0.20/0.25 c bounds 229 >= 49 @ 0.148954 0.20/0.25 c bounds 229 >= 50 @ 0.148954 0.20/0.25 c bounds 229 >= 51 @ 0.148954 0.20/0.25 c bounds 229 >= 52 @ 0.148954 0.20/0.25 c bounds 229 >= 53 @ 0.148954 0.20/0.25 c bounds 229 >= 54 @ 0.148954 0.20/0.25 c bounds 229 >= 55 @ 0.148954 0.20/0.25 c bounds 229 >= 56 @ 0.148954 0.20/0.25 c bounds 229 >= 57 @ 0.148954 0.20/0.25 c bounds 229 >= 58 @ 0.148954 0.20/0.25 c bounds 229 >= 59 @ 0.148954 0.20/0.25 c bounds 229 >= 60 @ 0.148954 0.20/0.25 c bounds 229 >= 61 @ 0.148954 0.20/0.25 c bounds 229 >= 62 @ 0.148954 0.20/0.25 c bounds 229 >= 63 @ 0.148954 0.20/0.25 c bounds 229 >= 64 @ 0.148954 0.20/0.25 c bounds 229 >= 65 @ 0.148954 0.20/0.25 c bounds 229 >= 66 @ 0.148954 0.20/0.25 c bounds 229 >= 67 @ 0.148954 0.20/0.25 c bounds 229 >= 68 @ 0.148954 0.20/0.25 c bounds 229 >= 69 @ 0.148954 0.20/0.25 c bounds 229 >= 70 @ 0.148954 0.20/0.25 c bounds 229 >= 71 @ 0.148954 0.20/0.25 c bounds 229 >= 72 @ 0.148954 0.20/0.25 c bounds 229 >= 73 @ 0.148954 0.20/0.25 c bounds 229 >= 74 @ 0.148954 0.20/0.25 c bounds 229 >= 75 @ 0.148954 0.20/0.25 c bounds 229 >= 76 @ 0.14899 0.20/0.25 c bounds 229 >= 77 @ 0.149124 0.20/0.25 c bounds 229 >= 78 @ 0.149268 0.20/0.25 c bounds 229 >= 79 @ 0.149408 0.20/0.25 c bounds 229 >= 80 @ 0.149551 0.20/0.25 c bounds 229 >= 81 @ 0.149696 0.20/0.25 c bounds 229 >= 82 @ 0.149836 0.20/0.25 c bounds 229 >= 83 @ 0.149993 0.20/0.25 c bounds 229 >= 84 @ 0.150143 0.20/0.25 c bounds 229 >= 85 @ 0.150308 0.20/0.25 c bounds 229 >= 86 @ 0.150456 0.20/0.25 c bounds 229 >= 87 @ 0.150612 0.20/0.25 c bounds 229 >= 88 @ 0.150777 0.20/0.25 c bounds 229 >= 89 @ 0.150919 0.20/0.25 c bounds 229 >= 90 @ 0.150945 0.20/0.25 c bounds 229 >= 91 @ 0.150945 0.20/0.25 c bounds 229 >= 92 @ 0.150945 0.20/0.25 c bounds 229 >= 93 @ 0.150945 0.20/0.25 c bounds 229 >= 94 @ 0.150945 0.20/0.25 c bounds 229 >= 95 @ 0.150945 0.20/0.25 c bounds 229 >= 96 @ 0.150945 0.20/0.25 c bounds 229 >= 97 @ 0.150945 0.20/0.25 c bounds 229 >= 98 @ 0.150945 0.20/0.25 c bounds 229 >= 99 @ 0.150945 0.20/0.25 c bounds 229 >= 100 @ 0.150945 0.20/0.25 c bounds 229 >= 101 @ 0.150945 0.20/0.25 c bounds 229 >= 102 @ 0.15098 0.20/0.25 c bounds 229 >= 103 @ 0.151138 0.20/0.25 c bounds 229 >= 104 @ 0.151301 0.20/0.25 c bounds 229 >= 105 @ 0.151492 0.20/0.25 c bounds 229 >= 106 @ 0.15166 0.20/0.25 c bounds 229 >= 107 @ 0.151834 0.20/0.25 c bounds 229 >= 108 @ 0.152015 0.20/0.25 c bounds 229 >= 109 @ 0.152199 0.20/0.25 c bounds 229 >= 110 @ 0.152384 0.20/0.25 c bounds 229 >= 111 @ 0.152551 0.20/0.25 c bounds 229 >= 112 @ 0.152727 0.20/0.25 c bounds 229 >= 113 @ 0.152907 0.20/0.25 c bounds 229 >= 114 @ 0.152938 0.20/0.25 c bounds 229 >= 115 @ 0.152938 0.20/0.25 c bounds 229 >= 116 @ 0.152938 0.20/0.25 c bounds 229 >= 117 @ 0.152938 0.20/0.25 c bounds 229 >= 118 @ 0.152938 0.20/0.25 c bounds 229 >= 119 @ 0.152966 0.20/0.25 c bounds 228 >= 119 @ 0.220127 0.20/0.25 c bounds 228 >= 120 @ 0.220421 0.20/0.25 c bounds 228 >= 121 @ 0.220658 0.20/0.25 c bounds 228 >= 122 @ 0.220758 0.20/0.25 c bounds 228 >= 123 @ 0.220758 0.20/0.25 c bounds 228 >= 124 @ 0.220758 0.20/0.25 c bounds 228 >= 125 @ 0.220758 0.20/0.25 c bounds 228 >= 126 @ 0.220945 0.20/0.25 c bounds 228 >= 127 @ 0.221261 0.20/0.25 c bounds 228 >= 128 @ 0.221575 0.20/0.25 c bounds 228 >= 129 @ 0.221889 0.20/0.25 c bounds 228 >= 130 @ 0.22225 0.20/0.25 c bounds 228 >= 131 @ 0.222579 0.20/0.25 c bounds 228 >= 132 @ 0.222755 0.20/0.25 c bounds 228 >= 133 @ 0.222755 0.69/0.73 c bounds 228 >= 134 @ 0.222869 0.69/0.73 c bounds 228 >= 135 @ 0.22375 0.69/0.73 c bounds 228 >= 136 @ 0.228094 0.69/0.73 c bounds 228 >= 137 @ 0.229646 0.69/0.73 c bounds 228 >= 138 @ 0.23814 0.69/0.73 c bounds 228 >= 139 @ 0.250357 0.69/0.73 c #Conflicts: 1000 | #Constraints: 2170 0.69/0.73 c bounds 228 >= 140 @ 0.292495 0.69/0.73 c bounds 227 >= 140 @ 0.319421 0.69/0.73 c bounds 226 >= 140 @ 0.327734 0.69/0.73 c #Conflicts: 2000 | #Constraints: 3217 0.69/0.73 c INPROCESSING 0.69/0.73 c GARBAGE COLLECT 0.69/0.73 c rational objective 140.89 1.28/1.39 c bounds 225 >= 140 @ 0.76448 1.28/1.39 c bounds 224 >= 140 @ 0.794863 1.28/1.39 c bounds 223 >= 140 @ 0.802926 1.28/1.39 c bounds 222 >= 140 @ 0.863643 1.28/1.39 c bounds 221 >= 140 @ 0.866773 1.28/1.39 c #Conflicts: 3000 | #Constraints: 3117 1.28/1.39 c bounds 220 >= 140 @ 0.941636 1.28/1.39 c bounds 220 >= 141 @ 1.07847 1.28/1.39 c #Conflicts: 4000 | #Constraints: 4169 1.28/1.39 c INPROCESSING 1.28/1.39 c GARBAGE COLLECT 1.28/1.39 c rational objective 141 2.09/2.11 c bounds 219 >= 141 @ 1.41653 2.09/2.11 c #Conflicts: 5000 | #Constraints: 3559 2.09/2.11 c #Conflicts: 6000 | #Constraints: 4559 2.09/2.11 c bounds 218 >= 141 @ 1.87186 2.09/2.11 c INPROCESSING 2.09/2.11 c GARBAGE COLLECT 2.09/2.11 c rational objective 141 3.08/3.16 c #Conflicts: 7000 | #Constraints: 3588 3.08/3.16 c #Conflicts: 8000 | #Constraints: 4588 3.08/3.16 c bounds 218 >= 142 @ 2.6399 3.08/3.16 c bounds 217 >= 142 @ 2.70927 3.08/3.16 c bounds 216 >= 142 @ 2.71986 3.08/3.16 c #Conflicts: 9000 | #Constraints: 5635 3.08/3.16 c INPROCESSING 3.08/3.16 c GARBAGE COLLECT 3.08/3.16 c rational objective 142 4.27/4.34 c bounds 215 >= 142 @ 3.35478 4.27/4.34 c #Conflicts: 10000 | #Constraints: 4321 4.27/4.34 c bounds 214 >= 142 @ 3.42204 4.27/4.34 c #Conflicts: 11000 | #Constraints: 5322 4.27/4.34 c #Conflicts: 12000 | #Constraints: 6322 4.27/4.34 c INPROCESSING 4.27/4.34 c GARBAGE COLLECT 4.27/4.34 c rational objective 142 5.37/5.44 c bounds 213 >= 142 @ 4.30264 5.37/5.44 c bounds 212 >= 142 @ 4.42592 5.37/5.44 c #Conflicts: 13000 | #Constraints: 4828 5.37/5.44 c #Conflicts: 14000 | #Constraints: 5828 5.37/5.44 c #Conflicts: 15000 | #Constraints: 6828 5.37/5.44 c INPROCESSING 5.37/5.44 c GARBAGE COLLECT 5.37/5.44 c rational objective 142 8.27/8.33 c #Conflicts: 16000 | #Constraints: 5025 8.27/8.33 c #Conflicts: 17000 | #Constraints: 6025 8.27/8.33 c bounds 212 >= 143 @ 6.50596 8.27/8.33 c #Conflicts: 18000 | #Constraints: 7082 8.27/8.33 c INPROCESSING 8.27/8.33 c GARBAGE COLLECT 8.27/8.33 c bounds 211 >= 143 @ 6.76484 8.27/8.33 c bounds 210 >= 143 @ 6.7687 8.27/8.33 c #Conflicts: 19000 | #Constraints: 5074 8.27/8.33 c bounds 209 >= 143 @ 6.97902 8.27/8.33 c bounds 208 >= 143 @ 7.14546 8.27/8.33 c #Conflicts: 20000 | #Constraints: 6076 8.27/8.33 c #Conflicts: 21000 | #Constraints: 7076 8.27/8.33 c INPROCESSING 8.27/8.33 c GARBAGE COLLECT 8.27/8.33 c rational objective 143 10.66/10.71 c #Conflicts: 22000 | #Constraints: 4876 10.66/10.71 c #Conflicts: 23000 | #Constraints: 5876 10.66/10.71 c #Conflicts: 24000 | #Constraints: 6877 10.66/10.71 c #Conflicts: 25000 | #Constraints: 7877 10.66/10.71 c INPROCESSING 10.66/10.71 c GARBAGE COLLECT 10.66/10.71 c rational objective 143 19.43/19.57 c #Conflicts: 26000 | #Constraints: 5543 19.43/19.57 c #Conflicts: 27000 | #Constraints: 6543 19.43/19.57 c #Conflicts: 28000 | #Constraints: 7543 19.43/19.57 c #Conflicts: 29000 | #Constraints: 8543 19.43/19.57 c #Conflicts: 30000 | #Constraints: 9543 19.43/19.57 c #Conflicts: 31000 | #Constraints: 10543 19.43/19.57 c #Conflicts: 32000 | #Constraints: 11543 19.43/19.57 c #Conflicts: 33000 | #Constraints: 12543 19.43/19.57 c #Conflicts: 34000 | #Constraints: 13543 19.43/19.57 c #Conflicts: 35000 | #Constraints: 14543 19.43/19.57 c #Conflicts: 36000 | #Constraints: 15543 19.43/19.57 c #Conflicts: 37000 | #Constraints: 16543 19.43/19.57 c #Conflicts: 38000 | #Constraints: 17543 19.43/19.57 c INPROCESSING 19.43/19.57 c GARBAGE COLLECT 19.43/19.57 c rational objective 143 26.81/26.90 c #Conflicts: 39000 | #Constraints: 10411 26.81/26.90 c #Conflicts: 40000 | #Constraints: 11411 26.81/26.90 c #Conflicts: 41000 | #Constraints: 12411 26.81/26.90 c #Conflicts: 42000 | #Constraints: 13411 26.81/26.90 c INPROCESSING 26.81/26.90 c GARBAGE COLLECT 26.81/26.90 c rational objective 143 31.09/31.24 c #Conflicts: 43000 | #Constraints: 7962 31.09/31.24 c #Conflicts: 44000 | #Constraints: 8962 31.09/31.24 c bounds 208 >= 144 @ 27.488 31.09/31.24 c #Conflicts: 45000 | #Constraints: 10004 31.09/31.24 c #Conflicts: 46000 | #Constraints: 11004 31.09/31.24 c #Conflicts: 47000 | #Constraints: 12004 31.09/31.24 c #Conflicts: 48000 | #Constraints: 13004 31.09/31.24 c INPROCESSING 31.09/31.24 c GARBAGE COLLECT 31.09/31.24 c rational objective 144 34.09/34.29 c bounds 207 >= 144 @ 30.4734 34.09/34.29 c #Conflicts: 49000 | #Constraints: 8231 34.09/34.29 c bounds 206 >= 144 @ 31.0478 34.09/34.29 c #Conflicts: 50000 | #Constraints: 9232 34.09/34.29 c #Conflicts: 51000 | #Constraints: 10232 34.09/34.29 c bounds 205 >= 144 @ 31.5954 34.09/34.29 c #Conflicts: 52000 | #Constraints: 11233 34.09/34.29 c #Conflicts: 53000 | #Constraints: 12233 34.09/34.29 c INPROCESSING 34.09/34.29 c GARBAGE COLLECT 34.09/34.29 c rational objective 144 52.53/52.79 c #Conflicts: 54000 | #Constraints: 7626 52.53/52.79 c #Conflicts: 55000 | #Constraints: 8626 52.53/52.79 c #Conflicts: 56000 | #Constraints: 9628 52.53/52.79 c #Conflicts: 57000 | #Constraints: 10628 52.53/52.79 c #Conflicts: 58000 | #Constraints: 11628 52.53/52.79 c #Conflicts: 59000 | #Constraints: 12628 52.53/52.79 c #Conflicts: 60000 | #Constraints: 13628 52.53/52.79 c #Conflicts: 61000 | #Constraints: 14628 52.53/52.79 c #Conflicts: 62000 | #Constraints: 15628 52.53/52.79 c #Conflicts: 63000 | #Constraints: 16628 52.53/52.79 c #Conflicts: 64000 | #Constraints: 17628 52.53/52.79 c #Conflicts: 65000 | #Constraints: 18628 52.53/52.79 c #Conflicts: 66000 | #Constraints: 19628 52.53/52.79 c #Conflicts: 67000 | #Constraints: 20628 52.53/52.79 c #Conflicts: 68000 | #Constraints: 21628 52.53/52.79 c bounds 205 >= 145 @ 49.3944 52.53/52.79 c #Conflicts: 69000 | #Constraints: 22670 52.53/52.79 c #Conflicts: 70000 | #Constraints: 23670 52.53/52.79 c bounds 204 >= 145 @ 50.35 52.53/52.79 c #Conflicts: 71000 | #Constraints: 24671 52.53/52.79 c INPROCESSING 52.53/52.79 c GARBAGE COLLECT 52.53/52.79 c rational objective 145 57.83/58.09 c #Conflicts: 72000 | #Constraints: 13821 57.83/58.09 c #Conflicts: 73000 | #Constraints: 14821 57.83/58.09 c bounds 203 >= 145 @ 52.7314 57.83/58.09 c #Conflicts: 74000 | #Constraints: 15822 57.83/58.09 c bounds 202 >= 145 @ 53.0722 57.83/58.09 c bounds 201 >= 145 @ 53.3271 57.83/58.09 c #Conflicts: 75000 | #Constraints: 16824 57.83/58.09 c bounds 200 >= 145 @ 54.0917 57.83/58.09 c #Conflicts: 76000 | #Constraints: 17825 57.83/58.09 c bounds 199 >= 145 @ 55.0053 57.83/58.09 c #Conflicts: 77000 | #Constraints: 18826 57.83/58.09 c #Conflicts: 78000 | #Constraints: 19826 57.83/58.09 c INPROCESSING 57.83/58.09 c GARBAGE COLLECT 57.83/58.09 c rational objective 145 67.69/67.95 c #Conflicts: 79000 | #Constraints: 11593 67.69/67.95 c #Conflicts: 80000 | #Constraints: 12593 67.69/67.95 c #Conflicts: 81000 | #Constraints: 13593 67.69/67.95 c #Conflicts: 82000 | #Constraints: 14593 67.69/67.95 c #Conflicts: 83000 | #Constraints: 15593 67.69/67.95 c #Conflicts: 84000 | #Constraints: 16593 67.69/67.95 c INPROCESSING 67.69/67.95 c GARBAGE COLLECT 67.69/67.95 c rational objective 145 102.08/102.48 c #Conflicts: 85000 | #Constraints: 9586 102.08/102.48 c #Conflicts: 86000 | #Constraints: 10587 102.08/102.48 c #Conflicts: 87000 | #Constraints: 11587 102.08/102.48 c #Conflicts: 88000 | #Constraints: 12587 102.08/102.48 c #Conflicts: 89000 | #Constraints: 13587 102.08/102.48 c #Conflicts: 90000 | #Constraints: 14587 102.08/102.48 c #Conflicts: 91000 | #Constraints: 15587 102.08/102.48 c #Conflicts: 92000 | #Constraints: 16587 102.08/102.48 c #Conflicts: 93000 | #Constraints: 17587 102.08/102.48 c #Conflicts: 94000 | #Constraints: 18587 102.08/102.48 c #Conflicts: 95000 | #Constraints: 19587 102.08/102.48 c #Conflicts: 96000 | #Constraints: 20587 102.08/102.48 c #Conflicts: 97000 | #Constraints: 21587 102.08/102.48 c #Conflicts: 98000 | #Constraints: 22587 102.08/102.48 c #Conflicts: 99000 | #Constraints: 23587 102.08/102.48 c #Conflicts: 100000 | #Constraints: 24587 102.08/102.48 c #Conflicts: 101000 | #Constraints: 25587 102.08/102.48 c #Conflicts: 102000 | #Constraints: 26587 102.08/102.48 c #Conflicts: 103000 | #Constraints: 27587 102.08/102.48 c #Conflicts: 104000 | #Constraints: 28587 102.08/102.48 c #Conflicts: 105000 | #Constraints: 29587 102.08/102.48 c #Conflicts: 106000 | #Constraints: 30587 102.08/102.48 c #Conflicts: 107000 | #Constraints: 31587 102.08/102.48 c INPROCESSING 102.08/102.48 c GARBAGE COLLECT 102.08/102.48 c rational objective 145 109.07/109.40 c bounds 198 >= 145 @ 100.43 109.07/109.40 c bounds 197 >= 145 @ 100.439 109.07/109.40 c bounds 196 >= 145 @ 100.492 109.07/109.40 c #Conflicts: 108000 | #Constraints: 17485 109.07/109.40 c #Conflicts: 109000 | #Constraints: 18485 109.07/109.40 c #Conflicts: 110000 | #Constraints: 19485 109.07/109.40 c bounds 195 >= 145 @ 102.328 109.07/109.40 c #Conflicts: 111000 | #Constraints: 20486 109.07/109.40 c #Conflicts: 112000 | #Constraints: 21486 109.07/109.40 c #Conflicts: 113000 | #Constraints: 22486 109.07/109.40 c #Conflicts: 114000 | #Constraints: 23486 109.07/109.40 c #Conflicts: 115000 | #Constraints: 24486 109.07/109.40 c INPROCESSING 109.07/109.40 c GARBAGE COLLECT 109.07/109.40 c rational objective 145 164.20/164.74 c #Conflicts: 116000 | #Constraints: 13822 164.20/164.74 c #Conflicts: 117000 | #Constraints: 14822 164.20/164.74 c #Conflicts: 118000 | #Constraints: 15822 164.20/164.74 c #Conflicts: 119000 | #Constraints: 16822 164.20/164.74 c #Conflicts: 120000 | #Constraints: 17822 164.20/164.74 c #Conflicts: 121000 | #Constraints: 18822 164.20/164.74 c #Conflicts: 122000 | #Constraints: 19822 164.20/164.74 c #Conflicts: 123000 | #Constraints: 20822 164.20/164.74 c #Conflicts: 124000 | #Constraints: 21822 164.20/164.74 c #Conflicts: 125000 | #Constraints: 22822 164.20/164.74 c #Conflicts: 126000 | #Constraints: 23822 164.20/164.74 c #Conflicts: 127000 | #Constraints: 24822 164.20/164.74 c #Conflicts: 128000 | #Constraints: 25822 164.20/164.74 c #Conflicts: 129000 | #Constraints: 26822 164.20/164.74 c #Conflicts: 130000 | #Constraints: 27822 164.20/164.74 c #Conflicts: 131000 | #Constraints: 28822 164.20/164.74 c #Conflicts: 132000 | #Constraints: 29822 164.20/164.74 c #Conflicts: 133000 | #Constraints: 30822 164.20/164.74 c #Conflicts: 134000 | #Constraints: 31822 164.20/164.74 c bounds 194 >= 145 @ 133.189 164.20/164.74 c #Conflicts: 135000 | #Constraints: 32823 164.20/164.74 c #Conflicts: 136000 | #Constraints: 33823 164.20/164.74 c #Conflicts: 137000 | #Constraints: 34823 164.20/164.74 c #Conflicts: 138000 | #Constraints: 35823 164.20/164.74 c #Conflicts: 139000 | #Constraints: 36823 164.20/164.74 c #Conflicts: 140000 | #Constraints: 37823 164.20/164.74 c INPROCESSING 164.20/164.74 c GARBAGE COLLECT 164.20/164.74 c rational objective 145 171.98/172.50 c #Conflicts: 141000 | #Constraints: 20382 171.98/172.50 c #Conflicts: 142000 | #Constraints: 21382 171.98/172.50 c #Conflicts: 143000 | #Constraints: 22382 171.98/172.50 c #Conflicts: 144000 | #Constraints: 23382 171.98/172.50 c #Conflicts: 145000 | #Constraints: 24382 171.98/172.50 c #Conflicts: 146000 | #Constraints: 25382 171.98/172.50 c #Conflicts: 147000 | #Constraints: 26382 171.98/172.50 c #Conflicts: 148000 | #Constraints: 27382 171.98/172.50 c bounds 193 >= 145 @ 168.155 171.98/172.50 c #Conflicts: 149000 | #Constraints: 28383 171.98/172.50 c #Conflicts: 150000 | #Constraints: 29383 171.98/172.50 c INPROCESSING 171.98/172.50 c GARBAGE COLLECT 171.98/172.50 c rational objective 145 182.15/182.75 c #Conflicts: 151000 | #Constraints: 16365 182.15/182.75 c #Conflicts: 152000 | #Constraints: 17365 182.15/182.75 c #Conflicts: 153000 | #Constraints: 18365 182.15/182.75 c #Conflicts: 154000 | #Constraints: 19365 182.15/182.75 c #Conflicts: 155000 | #Constraints: 20365 182.15/182.75 c #Conflicts: 156000 | #Constraints: 21365 182.15/182.75 c #Conflicts: 157000 | #Constraints: 22365 182.15/182.75 c #Conflicts: 158000 | #Constraints: 23365 182.15/182.75 c #Conflicts: 159000 | #Constraints: 24368 182.15/182.75 c INPROCESSING 182.15/182.75 c GARBAGE COLLECT 182.15/182.75 c rational objective 145 256.32/257.16 c #Conflicts: 160000 | #Constraints: 13580 256.32/257.16 c #Conflicts: 161000 | #Constraints: 14585 256.32/257.16 c #Conflicts: 162000 | #Constraints: 15586 256.32/257.16 c #Conflicts: 163000 | #Constraints: 16587 256.32/257.16 c #Conflicts: 164000 | #Constraints: 17587 256.32/257.16 c #Conflicts: 165000 | #Constraints: 18587 256.32/257.16 c #Conflicts: 166000 | #Constraints: 19587 256.32/257.16 c #Conflicts: 167000 | #Constraints: 20587 256.32/257.16 c #Conflicts: 168000 | #Constraints: 21587 256.32/257.16 c #Conflicts: 169000 | #Constraints: 22587 256.32/257.16 c #Conflicts: 170000 | #Constraints: 23587 256.32/257.16 c #Conflicts: 171000 | #Constraints: 24587 256.32/257.16 c #Conflicts: 172000 | #Constraints: 25587 256.32/257.16 c #Conflicts: 173000 | #Constraints: 26587 256.32/257.16 c #Conflicts: 174000 | #Constraints: 27587 256.32/257.16 c #Conflicts: 175000 | #Constraints: 28587 256.32/257.16 c #Conflicts: 176000 | #Constraints: 29587 256.32/257.16 c #Conflicts: 177000 | #Constraints: 30587 256.32/257.16 c #Conflicts: 178000 | #Constraints: 31587 256.32/257.16 c #Conflicts: 179000 | #Constraints: 32587 256.32/257.16 c #Conflicts: 180000 | #Constraints: 33587 256.32/257.16 c #Conflicts: 181000 | #Constraints: 34587 256.32/257.16 c #Conflicts: 182000 | #Constraints: 35587 256.32/257.16 c #Conflicts: 183000 | #Constraints: 36587 256.32/257.16 c #Conflicts: 184000 | #Constraints: 37587 256.32/257.16 c #Conflicts: 185000 | #Constraints: 38587 256.32/257.16 c #Conflicts: 186000 | #Constraints: 39587 256.32/257.16 c #Conflicts: 187000 | #Constraints: 40587 256.32/257.16 c #Conflicts: 188000 | #Constraints: 41587 256.32/257.16 c #Conflicts: 189000 | #Constraints: 42587 256.32/257.16 c INPROCESSING 256.32/257.16 c GARBAGE COLLECT 256.32/257.16 c rational objective 145 270.18/271.00 c #Conflicts: 190000 | #Constraints: 22961 270.18/271.00 c #Conflicts: 191000 | #Constraints: 23961 270.18/271.00 c #Conflicts: 192000 | #Constraints: 24961 270.18/271.00 c #Conflicts: 193000 | #Constraints: 25962 270.18/271.00 c #Conflicts: 194000 | #Constraints: 26967 270.18/271.00 c #Conflicts: 195000 | #Constraints: 27967 270.18/271.00 c #Conflicts: 196000 | #Constraints: 28967 270.18/271.00 c #Conflicts: 197000 | #Constraints: 29967 270.18/271.00 c #Conflicts: 198000 | #Constraints: 30967 270.18/271.00 c #Conflicts: 199000 | #Constraints: 31967 270.18/271.00 c #Conflicts: 200000 | #Constraints: 32968 270.18/271.00 c INPROCESSING 270.18/271.00 c GARBAGE COLLECT 270.18/271.00 c rational objective 145 284.93/285.80 c #Conflicts: 201000 | #Constraints: 18142 284.93/285.80 c #Conflicts: 202000 | #Constraints: 19142 284.93/285.80 c #Conflicts: 203000 | #Constraints: 20142 284.93/285.80 c #Conflicts: 204000 | #Constraints: 21142 284.93/285.80 c #Conflicts: 205000 | #Constraints: 22142 284.93/285.80 c #Conflicts: 206000 | #Constraints: 23142 284.93/285.80 c #Conflicts: 207000 | #Constraints: 24142 284.93/285.80 c #Conflicts: 208000 | #Constraints: 25142 284.93/285.80 c #Conflicts: 209000 | #Constraints: 26142 284.93/285.80 c #Conflicts: 210000 | #Constraints: 27143 284.93/285.80 c #Conflicts: 211000 | #Constraints: 28143 284.93/285.80 c INPROCESSING 284.93/285.80 c GARBAGE COLLECT 284.93/285.80 c rational objective 145 380.14/381.35 c #Conflicts: 212000 | #Constraints: 15663 380.14/381.35 c #Conflicts: 213000 | #Constraints: 16663 380.14/381.35 c #Conflicts: 214000 | #Constraints: 17663 380.14/381.35 c #Conflicts: 215000 | #Constraints: 18663 380.14/381.35 c #Conflicts: 216000 | #Constraints: 19663 380.14/381.35 c #Conflicts: 217000 | #Constraints: 20663 380.14/381.35 c #Conflicts: 218000 | #Constraints: 21663 380.14/381.35 c #Conflicts: 219000 | #Constraints: 22663 380.14/381.35 c #Conflicts: 220000 | #Constraints: 23663 380.14/381.35 c #Conflicts: 221000 | #Constraints: 24663 380.14/381.35 c #Conflicts: 222000 | #Constraints: 25663 380.14/381.35 c #Conflicts: 223000 | #Constraints: 26663 380.14/381.35 c #Conflicts: 224000 | #Constraints: 27663 380.14/381.35 c #Conflicts: 225000 | #Constraints: 28674 380.14/381.35 c #Conflicts: 226000 | #Constraints: 29674 380.14/381.35 c #Conflicts: 227000 | #Constraints: 30674 380.14/381.35 c #Conflicts: 228000 | #Constraints: 31674 380.14/381.35 c #Conflicts: 229000 | #Constraints: 32675 380.14/381.35 c #Conflicts: 230000 | #Constraints: 33675 380.14/381.35 c #Conflicts: 231000 | #Constraints: 34676 380.14/381.35 c #Conflicts: 232000 | #Constraints: 35676 380.14/381.35 c #Conflicts: 233000 | #Constraints: 36676 380.14/381.35 c #Conflicts: 234000 | #Constraints: 37676 380.14/381.35 c #Conflicts: 235000 | #Constraints: 38676 380.14/381.35 c #Conflicts: 236000 | #Constraints: 39677 380.14/381.35 c #Conflicts: 237000 | #Constraints: 40677 380.14/381.35 c #Conflicts: 238000 | #Constraints: 41677 380.14/381.35 c #Conflicts: 239000 | #Constraints: 42677 380.14/381.35 c #Conflicts: 240000 | #Constraints: 43677 380.14/381.35 c #Conflicts: 241000 | #Constraints: 44677 380.14/381.35 c #Conflicts: 242000 | #Constraints: 45677 380.14/381.35 c #Conflicts: 243000 | #Constraints: 46677 380.14/381.35 c #Conflicts: 244000 | #Constraints: 47678 380.14/381.35 c #Conflicts: 245000 | #Constraints: 48678 380.14/381.35 c INPROCESSING 380.14/381.35 c GARBAGE COLLECT 380.14/381.35 c rational objective 145 437.77/439.16 c #Conflicts: 246000 | #Constraints: 26031 437.77/439.16 c #Conflicts: 247000 | #Constraints: 27032 437.77/439.16 c #Conflicts: 248000 | #Constraints: 28032 437.77/439.16 c #Conflicts: 249000 | #Constraints: 29033 437.77/439.16 c #Conflicts: 250000 | #Constraints: 30034 437.77/439.16 c #Conflicts: 251000 | #Constraints: 31034 437.77/439.16 c #Conflicts: 252000 | #Constraints: 32034 437.77/439.16 c #Conflicts: 253000 | #Constraints: 33034 437.77/439.16 c #Conflicts: 254000 | #Constraints: 34034 437.77/439.16 c #Conflicts: 255000 | #Constraints: 35034 437.77/439.16 c #Conflicts: 256000 | #Constraints: 36034 437.77/439.16 c #Conflicts: 257000 | #Constraints: 37034 437.77/439.16 c INPROCESSING 437.77/439.16 c GARBAGE COLLECT 437.77/439.16 c rational objective 145 468.58/470.01 c #Conflicts: 258000 | #Constraints: 20088 468.58/470.01 c #Conflicts: 259000 | #Constraints: 21088 468.58/470.01 c #Conflicts: 260000 | #Constraints: 22088 468.58/470.01 c #Conflicts: 261000 | #Constraints: 23088 468.58/470.01 c #Conflicts: 262000 | #Constraints: 24088 468.58/470.01 c #Conflicts: 263000 | #Constraints: 25088 468.58/470.01 c #Conflicts: 264000 | #Constraints: 26088 468.58/470.01 c #Conflicts: 265000 | #Constraints: 27088 468.58/470.01 c #Conflicts: 266000 | #Constraints: 28088 468.58/470.01 c #Conflicts: 267000 | #Constraints: 29088 468.58/470.01 c #Conflicts: 268000 | #Constraints: 30088 468.58/470.01 c #Conflicts: 269000 | #Constraints: 31088 468.58/470.01 c #Conflicts: 270000 | #Constraints: 32088 468.58/470.01 c INPROCESSING 468.58/470.01 c GARBAGE COLLECT 468.58/470.01 c rational objective 145 558.70/560.44 c #Conflicts: 271000 | #Constraints: 17820 558.70/560.44 c #Conflicts: 272000 | #Constraints: 18820 558.70/560.44 c #Conflicts: 273000 | #Constraints: 19820 558.70/560.44 c #Conflicts: 274000 | #Constraints: 20820 558.70/560.44 c #Conflicts: 275000 | #Constraints: 21820 558.70/560.44 c #Conflicts: 276000 | #Constraints: 22820 558.70/560.44 c #Conflicts: 277000 | #Constraints: 23820 558.70/560.44 c #Conflicts: 278000 | #Constraints: 24820 558.70/560.44 c #Conflicts: 279000 | #Constraints: 25820 558.70/560.44 c #Conflicts: 280000 | #Constraints: 26820 558.70/560.44 c #Conflicts: 281000 | #Constraints: 27820 558.70/560.44 c #Conflicts: 282000 | #Constraints: 28820 558.70/560.44 c #Conflicts: 283000 | #Constraints: 29820 558.70/560.44 c #Conflicts: 284000 | #Constraints: 30820 558.70/560.44 c #Conflicts: 285000 | #Constraints: 31820 558.70/560.44 c #Conflicts: 286000 | #Constraints: 32820 558.70/560.44 c #Conflicts: 287000 | #Constraints: 33820 558.70/560.44 c #Conflicts: 288000 | #Constraints: 34820 558.70/560.44 c #Conflicts: 289000 | #Constraints: 35820 558.70/560.44 c #Conflicts: 290000 | #Constraints: 36820 558.70/560.44 c bounds 193 >= 146 @ 513.866 558.70/560.44 c #Conflicts: 291000 | #Constraints: 37856 558.70/560.44 c #Conflicts: 292000 | #Constraints: 38856 558.70/560.44 c #Conflicts: 293000 | #Constraints: 39856 558.70/560.44 c #Conflicts: 294000 | #Constraints: 40856 558.70/560.44 c #Conflicts: 295000 | #Constraints: 41856 558.70/560.44 c #Conflicts: 296000 | #Constraints: 42945 558.70/560.44 c #Conflicts: 297000 | #Constraints: 43945 558.70/560.44 c #Conflicts: 298000 | #Constraints: 44945 558.70/560.44 c #Conflicts: 299000 | #Constraints: 45945 558.70/560.44 c #Conflicts: 300000 | #Constraints: 46945 558.70/560.44 c #Conflicts: 301000 | #Constraints: 47945 558.70/560.44 c #Conflicts: 302000 | #Constraints: 48945 558.70/560.44 c #Conflicts: 303000 | #Constraints: 49945 558.70/560.44 c #Conflicts: 304000 | #Constraints: 50945 558.70/560.44 c #Conflicts: 305000 | #Constraints: 51945 558.70/560.44 c #Conflicts: 306000 | #Constraints: 52971 558.70/560.44 c #Conflicts: 307000 | #Constraints: 54001 558.70/560.44 c #Conflicts: 308000 | #Constraints: 55015 558.70/560.44 c INPROCESSING 558.70/560.44 c GARBAGE COLLECT 558.70/560.44 c rational objective 146 608.14/610.07 c #Conflicts: 309000 | #Constraints: 29213 608.14/610.07 c #Conflicts: 310000 | #Constraints: 30214 608.14/610.07 c #Conflicts: 311000 | #Constraints: 31214 608.14/610.07 c #Conflicts: 312000 | #Constraints: 32214 608.14/610.07 c #Conflicts: 313000 | #Constraints: 33214 608.14/610.07 c #Conflicts: 314000 | #Constraints: 34214 608.14/610.07 c #Conflicts: 315000 | #Constraints: 35214 608.14/610.07 c #Conflicts: 316000 | #Constraints: 36214 608.14/610.07 c #Conflicts: 317000 | #Constraints: 37215 608.14/610.07 c #Conflicts: 318000 | #Constraints: 38215 608.14/610.07 c #Conflicts: 319000 | #Constraints: 39215 608.14/610.07 c #Conflicts: 320000 | #Constraints: 40216 608.14/610.07 c #Conflicts: 321000 | #Constraints: 41216 608.14/610.07 c INPROCESSING 608.14/610.07 c GARBAGE COLLECT 608.14/610.07 c rational objective 146 626.69/628.67 c #Conflicts: 322000 | #Constraints: 21943 626.69/628.67 c #Conflicts: 323000 | #Constraints: 22943 626.69/628.67 c #Conflicts: 324000 | #Constraints: 23943 626.69/628.67 c #Conflicts: 325000 | #Constraints: 24943 626.69/628.67 c #Conflicts: 326000 | #Constraints: 25944 626.69/628.67 c #Conflicts: 327000 | #Constraints: 26946 626.69/628.67 c #Conflicts: 328000 | #Constraints: 27963 626.69/628.67 c #Conflicts: 329000 | #Constraints: 28966 626.69/628.67 c #Conflicts: 330000 | #Constraints: 29966 626.69/628.67 c #Conflicts: 331000 | #Constraints: 30966 626.69/628.67 c #Conflicts: 332000 | #Constraints: 31966 626.69/628.67 c #Conflicts: 333000 | #Constraints: 32966 626.69/628.67 c #Conflicts: 334000 | #Constraints: 33997 626.69/628.67 c #Conflicts: 335000 | #Constraints: 34998 626.69/628.67 c #Conflicts: 336000 | #Constraints: 35999 626.69/628.67 c INPROCESSING 626.69/628.67 c GARBAGE COLLECT 626.69/628.67 c rational objective 146 771.10/773.56 c #Conflicts: 337000 | #Constraints: 19860 771.10/773.56 c #Conflicts: 338000 | #Constraints: 20860 771.10/773.56 c #Conflicts: 339000 | #Constraints: 21860 771.10/773.56 c #Conflicts: 340000 | #Constraints: 22860 771.10/773.56 c #Conflicts: 341000 | #Constraints: 23860 771.10/773.56 c #Conflicts: 342000 | #Constraints: 24871 771.10/773.56 c #Conflicts: 343000 | #Constraints: 25880 771.10/773.56 c #Conflicts: 344000 | #Constraints: 26882 771.10/773.56 c #Conflicts: 345000 | #Constraints: 27883 771.10/773.56 c #Conflicts: 346000 | #Constraints: 28885 771.10/773.56 c #Conflicts: 347000 | #Constraints: 29885 771.10/773.56 c #Conflicts: 348000 | #Constraints: 30885 771.10/773.56 c #Conflicts: 349000 | #Constraints: 31885 771.10/773.56 c #Conflicts: 350000 | #Constraints: 32885 771.10/773.56 c #Conflicts: 351000 | #Constraints: 33886 771.10/773.56 c #Conflicts: 352000 | #Constraints: 34886 771.10/773.56 c #Conflicts: 353000 | #Constraints: 35886 771.10/773.56 c #Conflicts: 354000 | #Constraints: 36886 771.10/773.56 c #Conflicts: 355000 | #Constraints: 37899 771.10/773.56 c #Conflicts: 356000 | #Constraints: 38904 771.10/773.56 c #Conflicts: 357000 | #Constraints: 39904 771.10/773.56 c #Conflicts: 358000 | #Constraints: 40904 771.10/773.56 c #Conflicts: 359000 | #Constraints: 41904 771.10/773.56 c #Conflicts: 360000 | #Constraints: 42904 771.10/773.56 c #Conflicts: 361000 | #Constraints: 43909 771.10/773.56 c #Conflicts: 362000 | #Constraints: 44924 771.10/773.56 c #Conflicts: 363000 | #Constraints: 45924 771.10/773.56 c #Conflicts: 364000 | #Constraints: 46924 771.10/773.56 c #Conflicts: 365000 | #Constraints: 47925 771.10/773.56 c #Conflicts: 366000 | #Constraints: 48926 771.10/773.56 c #Conflicts: 367000 | #Constraints: 49943 771.10/773.56 c #Conflicts: 368000 | #Constraints: 50943 771.10/773.56 c #Conflicts: 369000 | #Constraints: 51944 771.10/773.56 c #Conflicts: 370000 | #Constraints: 52957 771.10/773.56 c #Conflicts: 371000 | #Constraints: 53957 771.10/773.56 c #Conflicts: 372000 | #Constraints: 54957 771.10/773.56 c #Conflicts: 373000 | #Constraints: 55957 771.10/773.56 c #Conflicts: 374000 | #Constraints: 56957 771.10/773.56 c #Conflicts: 375000 | #Constraints: 57957 771.10/773.56 c #Conflicts: 376000 | #Constraints: 58959 771.10/773.56 c #Conflicts: 377000 | #Constraints: 59959 771.10/773.56 c #Conflicts: 378000 | #Constraints: 60989 771.10/773.56 c INPROCESSING 771.10/773.56 c GARBAGE COLLECT 771.10/773.56 c rational objective 146 876.17/878.93 c #Conflicts: 379000 | #Constraints: 32101 876.17/878.93 c #Conflicts: 380000 | #Constraints: 33101 876.17/878.93 c #Conflicts: 381000 | #Constraints: 34101 876.17/878.93 c #Conflicts: 382000 | #Constraints: 35101 876.17/878.93 c #Conflicts: 383000 | #Constraints: 36101 876.17/878.93 c #Conflicts: 384000 | #Constraints: 37101 876.17/878.93 c #Conflicts: 385000 | #Constraints: 38101 876.17/878.93 c #Conflicts: 386000 | #Constraints: 39101 876.17/878.93 c #Conflicts: 387000 | #Constraints: 40101 876.17/878.93 c #Conflicts: 388000 | #Constraints: 41101 876.17/878.93 c #Conflicts: 389000 | #Constraints: 42101 876.17/878.93 c #Conflicts: 390000 | #Constraints: 43101 876.17/878.93 c #Conflicts: 391000 | #Constraints: 44101 876.17/878.93 c #Conflicts: 392000 | #Constraints: 45101 876.17/878.93 c #Conflicts: 393000 | #Constraints: 46101 876.17/878.93 c INPROCESSING 876.17/878.93 c GARBAGE COLLECT 876.17/878.93 c rational objective 146 925.13/928.00 c #Conflicts: 394000 | #Constraints: 24540 925.13/928.00 c #Conflicts: 395000 | #Constraints: 25540 925.13/928.00 c #Conflicts: 396000 | #Constraints: 26541 925.13/928.00 c #Conflicts: 397000 | #Constraints: 27541 925.13/928.00 c #Conflicts: 398000 | #Constraints: 28541 925.13/928.00 c #Conflicts: 399000 | #Constraints: 29541 925.13/928.00 c #Conflicts: 400000 | #Constraints: 30541 925.13/928.00 c #Conflicts: 401000 | #Constraints: 31541 925.13/928.00 c #Conflicts: 402000 | #Constraints: 32542 925.13/928.00 c #Conflicts: 403000 | #Constraints: 33542 925.13/928.00 c #Conflicts: 404000 | #Constraints: 34542 925.13/928.00 c #Conflicts: 405000 | #Constraints: 35542 925.13/928.00 c #Conflicts: 406000 | #Constraints: 36542 925.13/928.00 c #Conflicts: 407000 | #Constraints: 37542 925.13/928.00 c #Conflicts: 408000 | #Constraints: 38542 925.13/928.00 c #Conflicts: 409000 | #Constraints: 39542 925.13/928.00 c INPROCESSING 925.13/928.00 c GARBAGE COLLECT 925.13/928.00 c rational objective 146 1144.85/1148.41 c #Conflicts: 410000 | #Constraints: 22772 1144.85/1148.41 c #Conflicts: 411000 | #Constraints: 23772 1144.85/1148.41 c #Conflicts: 412000 | #Constraints: 24772 1144.85/1148.41 c #Conflicts: 413000 | #Constraints: 25772 1144.85/1148.41 c #Conflicts: 414000 | #Constraints: 26772 1144.85/1148.41 c #Conflicts: 415000 | #Constraints: 27772 1144.85/1148.41 c #Conflicts: 416000 | #Constraints: 28772 1144.85/1148.41 c #Conflicts: 417000 | #Constraints: 29772 1144.85/1148.41 c #Conflicts: 418000 | #Constraints: 30772 1144.85/1148.41 c #Conflicts: 419000 | #Constraints: 31772 1144.85/1148.41 c #Conflicts: 420000 | #Constraints: 32772 1144.85/1148.41 c #Conflicts: 421000 | #Constraints: 33772 1144.85/1148.41 c #Conflicts: 422000 | #Constraints: 34772 1144.85/1148.41 c #Conflicts: 423000 | #Constraints: 35772 1144.85/1148.41 c #Conflicts: 424000 | #Constraints: 36772 1144.85/1148.41 c #Conflicts: 425000 | #Constraints: 37772 1144.85/1148.41 c #Conflicts: 426000 | #Constraints: 38772 1144.85/1148.41 c #Conflicts: 427000 | #Constraints: 39772 1144.85/1148.41 c #Conflicts: 428000 | #Constraints: 40772 1144.85/1148.41 c #Conflicts: 429000 | #Constraints: 41772 1144.85/1148.41 c #Conflicts: 430000 | #Constraints: 42772 1144.85/1148.41 c #Conflicts: 431000 | #Constraints: 43772 1144.85/1148.41 c #Conflicts: 432000 | #Constraints: 44772 1144.85/1148.41 c #Conflicts: 433000 | #Constraints: 45772 1144.85/1148.41 c #Conflicts: 434000 | #Constraints: 46772 1144.85/1148.41 c #Conflicts: 435000 | #Constraints: 47772 1144.85/1148.41 c #Conflicts: 436000 | #Constraints: 48772 1144.85/1148.41 c #Conflicts: 437000 | #Constraints: 49772 1144.85/1148.41 c #Conflicts: 438000 | #Constraints: 50772 1144.85/1148.41 c #Conflicts: 439000 | #Constraints: 51772 1144.85/1148.41 c #Conflicts: 440000 | #Constraints: 52772 1144.85/1148.41 c #Conflicts: 441000 | #Constraints: 53772 1144.85/1148.41 c #Conflicts: 442000 | #Constraints: 54772 1144.85/1148.41 c #Conflicts: 443000 | #Constraints: 55772 1144.85/1148.41 c #Conflicts: 444000 | #Constraints: 56772 1144.85/1148.41 c #Conflicts: 445000 | #Constraints: 57773 1144.85/1148.41 c #Conflicts: 446000 | #Constraints: 58773 1144.85/1148.41 c #Conflicts: 447000 | #Constraints: 59773 1144.85/1148.41 c #Conflicts: 448000 | #Constraints: 60773 1144.85/1148.41 c #Conflicts: 449000 | #Constraints: 61773 1144.85/1148.41 c #Conflicts: 450000 | #Constraints: 62773 1144.85/1148.41 c #Conflicts: 451000 | #Constraints: 63773 1144.85/1148.41 c #Conflicts: 452000 | #Constraints: 64773 1144.85/1148.41 c #Conflicts: 453000 | #Constraints: 65773 1144.85/1148.41 c #Conflicts: 454000 | #Constraints: 66773 1144.85/1148.41 c #Conflicts: 455000 | #Constraints: 67773 1144.85/1148.41 c INPROCESSING 1144.85/1148.41 c GARBAGE COLLECT 1144.85/1148.41 c rational objective 146 1434.93/1439.49 c #Conflicts: 456000 | #Constraints: 35388 1434.93/1439.49 c #Conflicts: 457000 | #Constraints: 36480 1434.93/1439.49 c #Conflicts: 458000 | #Constraints: 37590 1434.93/1439.49 c #Conflicts: 459000 | #Constraints: 38591 1434.93/1439.49 c #Conflicts: 460000 | #Constraints: 39596 1434.93/1439.49 c #Conflicts: 461000 | #Constraints: 40617 1434.93/1439.49 c #Conflicts: 462000 | #Constraints: 41617 1434.93/1439.49 c #Conflicts: 463000 | #Constraints: 42927 1434.93/1439.49 c #Conflicts: 464000 | #Constraints: 43964 1434.93/1439.49 c #Conflicts: 465000 | #Constraints: 45006 1434.93/1439.49 c #Conflicts: 466000 | #Constraints: 46109 1434.93/1439.49 c #Conflicts: 467000 | #Constraints: 47114 1434.93/1439.49 c #Conflicts: 468000 | #Constraints: 48172 1434.93/1439.49 c #Conflicts: 469000 | #Constraints: 49189 1434.93/1439.49 c #Conflicts: 470000 | #Constraints: 50200 1434.93/1439.49 c #Conflicts: 471000 | #Constraints: 51232 1434.93/1439.49 c #Conflicts: 472000 | #Constraints: 52255 1434.93/1439.49 c INPROCESSING 1434.93/1439.49 c GARBAGE COLLECT 1434.93/1439.49 c #Conflicts: 473000 | #Constraints: 27612 1434.93/1439.49 c #Conflicts: 474000 | #Constraints: 28622 1434.93/1439.49 c #Conflicts: 475000 | #Constraints: 29630 1434.93/1439.49 c #Conflicts: 476000 | #Constraints: 30630 1434.93/1439.49 c #Conflicts: 477000 | #Constraints: 31630 1434.93/1439.49 c #Conflicts: 478000 | #Constraints: 32630 1434.93/1439.49 c #Conflicts: 479000 | #Constraints: 33681 1434.93/1439.49 c #Conflicts: 480000 | #Constraints: 34753 1434.93/1439.49 c #Conflicts: 481000 | #Constraints: 35928 1434.93/1439.49 c #Conflicts: 482000 | #Constraints: 37427 1434.93/1439.49 c #Conflicts: 483000 | #Constraints: 38494 1434.93/1439.49 c #Conflicts: 484000 | #Constraints: 39515 1434.93/1439.49 c #Conflicts: 485000 | #Constraints: 40629 1434.93/1439.49 c #Conflicts: 486000 | #Constraints: 41675 1434.93/1439.49 c #Conflicts: 487000 | #Constraints: 42696 1434.93/1439.49 c #Conflicts: 488000 | #Constraints: 43696 1434.93/1439.49 c #Conflicts: 489000 | #Constraints: 44696 1434.93/1439.49 c #Conflicts: 490000 | #Constraints: 45696 1434.93/1439.49 c #Conflicts: 491000 | #Constraints: 46720 1434.93/1439.49 c #Conflicts: 492000 | #Constraints: 47737 1434.93/1439.49 c #Conflicts: 493000 | #Constraints: 48754 1434.93/1439.49 c #Conflicts: 494000 | #Constraints: 49754 1434.93/1439.49 c #Conflicts: 495000 | #Constraints: 50754 1434.93/1439.49 c #Conflicts: 496000 | #Constraints: 51774 1434.93/1439.49 c #Conflicts: 497000 | #Constraints: 52855 1434.93/1439.49 c #Conflicts: 498000 | #Constraints: 54006 1434.93/1439.49 c #Conflicts: 499000 | #Constraints: 55052 1434.93/1439.49 c #Conflicts: 500000 | #Constraints: 56052 1434.93/1439.49 c #Conflicts: 501000 | #Constraints: 57052 1434.93/1439.49 c #Conflicts: 502000 | #Constraints: 58052 1434.93/1439.49 c #Conflicts: 503000 | #Constraints: 59052 1434.93/1439.49 c #Conflicts: 504000 | #Constraints: 60052 1434.93/1439.49 c #Conflicts: 505000 | #Constraints: 61072 1434.93/1439.49 c #Conflicts: 506000 | #Constraints: 62072 1434.93/1439.49 c #Conflicts: 507000 | #Constraints: 63087 1434.93/1439.49 c #Conflicts: 508000 | #Constraints: 64092 1434.93/1439.49 c #Conflicts: 509000 | #Constraints: 65130 1434.93/1439.49 c #Conflicts: 510000 | #Constraints: 66141 1434.93/1439.49 c #Conflicts: 511000 | #Constraints: 67193 1434.93/1439.49 c #Conflicts: 512000 | #Constraints: 68220 1434.93/1439.49 c #Conflicts: 513000 | #Constraints: 69248 1434.93/1439.49 c #Conflicts: 514000 | #Constraints: 70299 1434.93/1439.49 c #Conflicts: 515000 | #Constraints: 71451 1434.93/1439.49 c #Conflicts: 516000 | #Constraints: 72451 1434.93/1439.49 c #Conflicts: 517000 | #Constraints: 73451 1434.93/1439.49 c #Conflicts: 518000 | #Constraints: 74451 1434.93/1439.49 c #Conflicts: 519000 | #Constraints: 75537 1434.93/1439.49 c #Conflicts: 520000 | #Constraints: 76537 1434.93/1439.49 c #Conflicts: 521000 | #Constraints: 77537 1434.93/1439.49 c #Conflicts: 522000 | #Constraints: 78583 1434.93/1439.49 c INPROCESSING 1434.93/1439.49 c GARBAGE COLLECT 1434.93/1439.49 c rational objective 146 1584.19/1589.19 c #Conflicts: 523000 | #Constraints: 41010 1584.19/1589.19 c #Conflicts: 524000 | #Constraints: 42010 1584.19/1589.19 c #Conflicts: 525000 | #Constraints: 43010 1584.19/1589.19 c #Conflicts: 526000 | #Constraints: 44010 1584.19/1589.19 c #Conflicts: 527000 | #Constraints: 45010 1584.19/1589.19 c #Conflicts: 528000 | #Constraints: 46010 1584.19/1589.19 c #Conflicts: 529000 | #Constraints: 47011 1584.19/1589.19 c #Conflicts: 530000 | #Constraints: 48011 1584.19/1589.19 c #Conflicts: 531000 | #Constraints: 49011 1584.19/1589.19 c #Conflicts: 532000 | #Constraints: 50012 1584.19/1589.19 c #Conflicts: 533000 | #Constraints: 51012 1584.19/1589.19 c #Conflicts: 534000 | #Constraints: 52012 1584.19/1589.19 c #Conflicts: 535000 | #Constraints: 53013 1584.19/1589.19 c #Conflicts: 536000 | #Constraints: 54013 1584.19/1589.19 c #Conflicts: 537000 | #Constraints: 55013 1584.19/1589.19 c #Conflicts: 538000 | #Constraints: 56013 1584.19/1589.19 c #Conflicts: 539000 | #Constraints: 57013 1584.19/1589.19 c #Conflicts: 540000 | #Constraints: 58013 1584.19/1589.19 c INPROCESSING 1584.19/1589.19 c GARBAGE COLLECT 1584.19/1589.19 c rational objective 146 1665.99/1671.11 c #Conflicts: 541000 | #Constraints: 30709 1665.99/1671.11 c #Conflicts: 542000 | #Constraints: 31709 1665.99/1671.11 c #Conflicts: 543000 | #Constraints: 32709 1665.99/1671.11 c #Conflicts: 544000 | #Constraints: 33709 1665.99/1671.11 c #Conflicts: 545000 | #Constraints: 34709 1665.99/1671.11 c #Conflicts: 546000 | #Constraints: 35709 1665.99/1671.11 c #Conflicts: 547000 | #Constraints: 36709 1665.99/1671.11 c #Conflicts: 548000 | #Constraints: 37709 1665.99/1671.11 c #Conflicts: 549000 | #Constraints: 38709 1665.99/1671.11 c #Conflicts: 550000 | #Constraints: 39709 1665.99/1671.11 c #Conflicts: 551000 | #Constraints: 40709 1665.99/1671.11 c #Conflicts: 552000 | #Constraints: 41709 1665.99/1671.11 c #Conflicts: 553000 | #Constraints: 42709 1665.99/1671.11 c #Conflicts: 554000 | #Constraints: 43709 1665.99/1671.11 c #Conflicts: 555000 | #Constraints: 44709 1665.99/1671.11 c #Conflicts: 556000 | #Constraints: 45709 1665.99/1671.11 c #Conflicts: 557000 | #Constraints: 46709 1665.99/1671.11 c #Conflicts: 558000 | #Constraints: 47709 1665.99/1671.11 c INPROCESSING 1665.99/1671.11 c GARBAGE COLLECT 1665.99/1671.11 c rational objective 146 1874.37/1880.06 c #Conflicts: 559000 | #Constraints: 29849 1874.37/1880.06 c #Conflicts: 560000 | #Constraints: 30849 1874.37/1880.06 c #Conflicts: 561000 | #Constraints: 31907 1874.37/1880.06 c #Conflicts: 562000 | #Constraints: 32946 1874.37/1880.06 c #Conflicts: 563000 | #Constraints: 33995 1874.37/1880.06 c #Conflicts: 564000 | #Constraints: 35003 1874.37/1880.06 c #Conflicts: 565000 | #Constraints: 36027 1874.37/1880.06 c #Conflicts: 566000 | #Constraints: 37046 1874.37/1880.06 c #Conflicts: 567000 | #Constraints: 38109 1874.37/1880.06 c #Conflicts: 568000 | #Constraints: 39154 1874.37/1880.06 c #Conflicts: 569000 | #Constraints: 40249 1874.37/1880.06 c #Conflicts: 570000 | #Constraints: 41299 1874.37/1880.06 c #Conflicts: 571000 | #Constraints: 42341 1874.37/1880.06 c #Conflicts: 572000 | #Constraints: 43370 1874.37/1880.06 c #Conflicts: 573000 | #Constraints: 44454 1874.37/1880.06 c #Conflicts: 574000 | #Constraints: 45489 1874.37/1880.06 c #Conflicts: 575000 | #Constraints: 46489 1874.37/1880.06 c #Conflicts: 576000 | #Constraints: 47524 1874.37/1880.06 c #Conflicts: 577000 | #Constraints: 48525 1874.37/1880.06 c #Conflicts: 578000 | #Constraints: 49526 1874.37/1880.06 c #Conflicts: 579000 | #Constraints: 50602 1874.37/1880.06 c #Conflicts: 580000 | #Constraints: 51609 1874.37/1880.06 c #Conflicts: 581000 | #Constraints: 52614 1874.37/1880.06 c #Conflicts: 582000 | #Constraints: 53682 1874.37/1880.06 c #Conflicts: 583000 | #Constraints: 54703 1874.37/1880.06 c #Conflicts: 584000 | #Constraints: 55703 1874.37/1880.06 c #Conflicts: 585000 | #Constraints: 56716 1874.37/1880.06 c #Conflicts: 586000 | #Constraints: 57728 1874.37/1880.06 c #Conflicts: 587000 | #Constraints: 58753 1874.37/1880.06 c #Conflicts: 588000 | #Constraints: 59782 1874.37/1880.06 c #Conflicts: 589000 | #Constraints: 60785 1874.37/1880.06 c #Conflicts: 590000 | #Constraints: 61844 1874.37/1880.06 c #Conflicts: 591000 | #Constraints: 62933 1874.37/1880.06 c #Conflicts: 592000 | #Constraints: 63970 1874.37/1880.06 c #Conflicts: 593000 | #Constraints: 65037 1874.37/1880.06 c #Conflicts: 594000 | #Constraints: 66069 1874.37/1880.06 c #Conflicts: 595000 | #Constraints: 67096 1874.37/1880.06 c #Conflicts: 596000 | #Constraints: 68097 1874.37/1880.06 c #Conflicts: 597000 | #Constraints: 69117 1874.37/1880.06 c #Conflicts: 598000 | #Constraints: 70215 1874.37/1880.06 c #Conflicts: 599000 | #Constraints: 71266 1874.37/1880.06 c #Conflicts: 600000 | #Constraints: 72292 1874.37/1880.06 c #Conflicts: 601000 | #Constraints: 73391 1874.37/1880.06 c #Conflicts: 602000 | #Constraints: 74451 1874.37/1880.06 c #Conflicts: 603000 | #Constraints: 75484 1874.37/1880.06 c #Conflicts: 604000 | #Constraints: 76485 1874.37/1880.06 c #Conflicts: 605000 | #Constraints: 77510 1874.37/1880.06 c #Conflicts: 606000 | #Constraints: 78510 1874.37/1880.06 c #Conflicts: 607000 | #Constraints: 79515 1874.37/1880.06 c #Conflicts: 608000 | #Constraints: 80520 1874.37/1880.06 c #Conflicts: 609000 | #Constraints: 81520 1874.37/1880.06 c #Conflicts: 610000 | #Constraints: 82522 1874.37/1880.06 c #Conflicts: 611000 | #Constraints: 83522 1874.37/1880.06 c #Conflicts: 612000 | #Constraints: 84578 1874.37/1880.06 c INPROCESSING 1874.37/1880.06 c GARBAGE COLLECT 1874.37/1880.06 c rational objective 146 2041.06/2047.15 c #Conflicts: 613000 | #Constraints: 43866 2041.06/2047.15 c #Conflicts: 614000 | #Constraints: 44866 2041.06/2047.15 c #Conflicts: 615000 | #Constraints: 45866 2041.06/2047.15 c #Conflicts: 616000 | #Constraints: 46866 2041.06/2047.15 c #Conflicts: 617000 | #Constraints: 47866 2041.06/2047.15 c #Conflicts: 618000 | #Constraints: 48866 2041.06/2047.15 c #Conflicts: 619000 | #Constraints: 49866 2041.06/2047.15 c #Conflicts: 620000 | #Constraints: 50866 2041.06/2047.15 c #Conflicts: 621000 | #Constraints: 51866 2041.06/2047.15 c #Conflicts: 622000 | #Constraints: 52866 2041.06/2047.15 c #Conflicts: 623000 | #Constraints: 53866 2041.06/2047.15 c #Conflicts: 624000 | #Constraints: 54866 2041.06/2047.15 c #Conflicts: 625000 | #Constraints: 55866 2041.06/2047.15 c #Conflicts: 626000 | #Constraints: 56866 2041.06/2047.15 c #Conflicts: 627000 | #Constraints: 57866 2041.06/2047.15 c #Conflicts: 628000 | #Constraints: 58866 2041.06/2047.15 c #Conflicts: 629000 | #Constraints: 59866 2041.06/2047.15 c #Conflicts: 630000 | #Constraints: 60866 2041.06/2047.15 c #Conflicts: 631000 | #Constraints: 61866 2041.06/2047.15 c #Conflicts: 632000 | #Constraints: 62866 2041.06/2047.15 c INPROCESSING 2041.06/2047.15 c GARBAGE COLLECT 2041.06/2047.15 c rational objective 146 2445.54/2452.67 c #Conflicts: 633000 | #Constraints: 33226 2445.54/2452.67 c #Conflicts: 634000 | #Constraints: 34226 2445.54/2452.67 c #Conflicts: 635000 | #Constraints: 35227 2445.54/2452.67 c #Conflicts: 636000 | #Constraints: 36229 2445.54/2452.67 c #Conflicts: 637000 | #Constraints: 37229 2445.54/2452.67 c #Conflicts: 638000 | #Constraints: 38229 2445.54/2452.67 c #Conflicts: 639000 | #Constraints: 39229 2445.54/2452.67 c #Conflicts: 640000 | #Constraints: 40229 2445.54/2452.67 c #Conflicts: 641000 | #Constraints: 41229 2445.54/2452.67 c #Conflicts: 642000 | #Constraints: 42229 2445.54/2452.67 c #Conflicts: 643000 | #Constraints: 43229 2445.54/2452.67 c #Conflicts: 644000 | #Constraints: 44229 2445.54/2452.67 c #Conflicts: 645000 | #Constraints: 45229 2445.54/2452.67 c #Conflicts: 646000 | #Constraints: 46229 2445.54/2452.67 c #Conflicts: 647000 | #Constraints: 47229 2445.54/2452.67 c #Conflicts: 648000 | #Constraints: 48229 2445.54/2452.67 c #Conflicts: 649000 | #Constraints: 49229 2445.54/2452.67 c #Conflicts: 650000 | #Constraints: 50229 2445.54/2452.67 c #Conflicts: 651000 | #Constraints: 51229 2445.54/2452.67 c #Conflicts: 652000 | #Constraints: 52229 2445.54/2452.67 c #Conflicts: 653000 | #Constraints: 53229 2445.54/2452.67 c #Conflicts: 654000 | #Constraints: 54229 2445.54/2452.67 c #Conflicts: 655000 | #Constraints: 55229 2445.54/2452.67 c #Conflicts: 656000 | #Constraints: 56229 2445.54/2452.67 c #Conflicts: 657000 | #Constraints: 57229 2445.54/2452.67 c #Conflicts: 658000 | #Constraints: 58229 2445.54/2452.67 c #Conflicts: 659000 | #Constraints: 59229 2445.54/2452.67 c #Conflicts: 660000 | #Constraints: 60229 2445.54/2452.67 c #Conflicts: 661000 | #Constraints: 61230 2445.54/2452.67 c #Conflicts: 662000 | #Constraints: 62230 2445.54/2452.67 c #Conflicts: 663000 | #Constraints: 63230 2445.54/2452.67 c #Conflicts: 664000 | #Constraints: 64231 2445.54/2452.67 c #Conflicts: 665000 | #Constraints: 65232 2445.54/2452.67 c #Conflicts: 666000 | #Constraints: 66232 2445.54/2452.67 c #Conflicts: 667000 | #Constraints: 67232 2445.54/2452.67 c #Conflicts: 668000 | #Constraints: 68232 2445.54/2452.67 c #Conflicts: 669000 | #Constraints: 69232 2445.54/2452.67 c #Conflicts: 670000 | #Constraints: 70232 2445.54/2452.67 c #Conflicts: 671000 | #Constraints: 71232 2445.54/2452.67 c #Conflicts: 672000 | #Constraints: 72232 2445.54/2452.67 c #Conflicts: 673000 | #Constraints: 73232 2445.54/2452.67 c #Conflicts: 674000 | #Constraints: 74232 2445.54/2452.67 c #Conflicts: 675000 | #Constraints: 75232 2445.54/2452.67 c #Conflicts: 676000 | #Constraints: 76232 2445.54/2452.67 c #Conflicts: 677000 | #Constraints: 77232 2445.54/2452.67 c #Conflicts: 678000 | #Constraints: 78232 2445.54/2452.67 c #Conflicts: 679000 | #Constraints: 79232 2445.54/2452.67 c #Conflicts: 680000 | #Constraints: 80232 2445.54/2452.67 c #Conflicts: 681000 | #Constraints: 81232 2445.54/2452.67 c #Conflicts: 682000 | #Constraints: 82232 2445.54/2452.67 c #Conflicts: 683000 | #Constraints: 83232 2445.54/2452.67 c #Conflicts: 684000 | #Constraints: 84232 2445.54/2452.67 c #Conflicts: 685000 | #Constraints: 85232 2445.54/2452.67 c #Conflicts: 686000 | #Constraints: 86233 2445.54/2452.67 c #Conflicts: 687000 | #Constraints: 87233 2445.54/2452.67 c #Conflicts: 688000 | #Constraints: 88233 2445.54/2452.67 c INPROCESSING 2445.54/2452.67 c GARBAGE COLLECT 2445.54/2452.67 c rational objective 146 2521.65/2528.99 c #Conflicts: 689000 | #Constraints: 45522 2521.65/2528.99 c #Conflicts: 690000 | #Constraints: 46637 2521.65/2528.99 c #Conflicts: 691000 | #Constraints: 47637 2521.65/2528.99 c #Conflicts: 692000 | #Constraints: 48637 2521.65/2528.99 c #Conflicts: 693000 | #Constraints: 49643 2521.65/2528.99 c #Conflicts: 694000 | #Constraints: 50734 2521.65/2528.99 c #Conflicts: 695000 | #Constraints: 51734 2521.65/2528.99 c #Conflicts: 696000 | #Constraints: 52752 2521.65/2528.99 c #Conflicts: 697000 | #Constraints: 53794 2521.65/2528.99 c #Conflicts: 698000 | #Constraints: 54843 2521.65/2528.99 c #Conflicts: 699000 | #Constraints: 55844 2521.65/2528.99 c #Conflicts: 700000 | #Constraints: 56901 2521.65/2528.99 c #Conflicts: 701000 | #Constraints: 57901 2521.65/2528.99 c #Conflicts: 702000 | #Constraints: 58901 2521.65/2528.99 c #Conflicts: 703000 | #Constraints: 59905 2521.65/2528.99 c #Conflicts: 704000 | #Constraints: 60905 2521.65/2528.99 c #Conflicts: 705000 | #Constraints: 61905 2521.65/2528.99 c #Conflicts: 706000 | #Constraints: 62905 2521.65/2528.99 c #Conflicts: 707000 | #Constraints: 63905 2521.65/2528.99 c #Conflicts: 708000 | #Constraints: 64905 2521.65/2528.99 c #Conflicts: 709000 | #Constraints: 65905 2521.65/2528.99 c INPROCESSING 2521.65/2528.99 c GARBAGE COLLECT 2521.65/2528.99 c rational objective 146 2893.33/2901.67 c #Conflicts: 710000 | #Constraints: 35960 2893.33/2901.67 c #Conflicts: 711000 | #Constraints: 36960 2893.33/2901.67 c #Conflicts: 712000 | #Constraints: 37962 2893.33/2901.67 c #Conflicts: 713000 | #Constraints: 38964 2893.33/2901.67 c #Conflicts: 714000 | #Constraints: 39964 2893.33/2901.67 c #Conflicts: 715000 | #Constraints: 40964 2893.33/2901.67 c #Conflicts: 716000 | #Constraints: 41964 2893.33/2901.67 c #Conflicts: 717000 | #Constraints: 42964 2893.33/2901.67 c #Conflicts: 718000 | #Constraints: 43964 2893.33/2901.67 c #Conflicts: 719000 | #Constraints: 44964 2893.33/2901.67 c #Conflicts: 720000 | #Constraints: 46071 2893.33/2901.67 c #Conflicts: 721000 | #Constraints: 47071 2893.33/2901.67 c #Conflicts: 722000 | #Constraints: 48071 2893.33/2901.67 c #Conflicts: 723000 | #Constraints: 49071 2893.33/2901.67 c #Conflicts: 724000 | #Constraints: 50071 2893.33/2901.67 c #Conflicts: 725000 | #Constraints: 51088 2893.33/2901.67 c #Conflicts: 726000 | #Constraints: 52226 2893.33/2901.67 c #Conflicts: 727000 | #Constraints: 53245 2893.33/2901.67 c #Conflicts: 728000 | #Constraints: 54321 2893.33/2901.67 c #Conflicts: 729000 | #Constraints: 55349 2893.33/2901.67 c #Conflicts: 730000 | #Constraints: 56359 2893.33/2901.67 c #Conflicts: 731000 | #Constraints: 57359 2893.33/2901.67 c #Conflicts: 732000 | #Constraints: 58403 2893.33/2901.67 c #Conflicts: 733000 | #Constraints: 59415 2893.33/2901.67 c #Conflicts: 734000 | #Constraints: 60415 2893.33/2901.67 c #Conflicts: 735000 | #Constraints: 61415 2893.33/2901.67 c #Conflicts: 736000 | #Constraints: 62415 2893.33/2901.67 c #Conflicts: 737000 | #Constraints: 63424 2893.33/2901.67 c #Conflicts: 738000 | #Constraints: 64486 2893.33/2901.67 c #Conflicts: 739000 | #Constraints: 65504 2893.33/2901.67 c #Conflicts: 740000 | #Constraints: 66504 2893.33/2901.67 c #Conflicts: 741000 | #Constraints: 67610 2893.33/2901.67 c #Conflicts: 742000 | #Constraints: 68644 2893.33/2901.67 c #Conflicts: 743000 | #Constraints: 69700 2893.33/2901.67 c #Conflicts: 744000 | #Constraints: 70797 2893.33/2901.67 c #Conflicts: 745000 | #Constraints: 71817 2893.33/2901.67 c #Conflicts: 746000 | #Constraints: 72836 2893.33/2901.67 c #Conflicts: 747000 | #Constraints: 73851 2893.33/2901.67 c #Conflicts: 748000 | #Constraints: 74857 2893.33/2901.67 c #Conflicts: 749000 | #Constraints: 75963 2893.33/2901.67 c #Conflicts: 750000 | #Constraints: 77127 2893.33/2901.67 c #Conflicts: 751000 | #Constraints: 78186 2893.33/2901.67 c #Conflicts: 752000 | #Constraints: 79186 2893.33/2901.67 c #Conflicts: 753000 | #Constraints: 80216 2893.33/2901.67 c #Conflicts: 754000 | #Constraints: 81277 2893.33/2901.67 c #Conflicts: 755000 | #Constraints: 82277 2893.33/2901.67 c #Conflicts: 756000 | #Constraints: 83277 2893.33/2901.67 c #Conflicts: 757000 | #Constraints: 84277 2893.33/2901.67 c #Conflicts: 758000 | #Constraints: 85277 2893.33/2901.67 c #Conflicts: 759000 | #Constraints: 86295 2893.33/2901.67 c #Conflicts: 760000 | #Constraints: 87753 2893.33/2901.67 c #Conflicts: 761000 | #Constraints: 88768 2893.33/2901.67 c #Conflicts: 762000 | #Constraints: 89768 2893.33/2901.67 c #Conflicts: 763000 | #Constraints: 90768 2893.33/2901.67 c #Conflicts: 764000 | #Constraints: 91768 2893.33/2901.67 c #Conflicts: 765000 | #Constraints: 92768 2893.33/2901.67 c #Conflicts: 766000 | #Constraints: 93768 2893.33/2901.67 c #Conflicts: 767000 | #Constraints: 94802 2893.33/2901.67 c #Conflicts: 768000 | #Constraints: 95900 2893.33/2901.67 c #Conflicts: 769000 | #Constraints: 96900 2893.33/2901.67 c INPROCESSING 2893.33/2901.67 c GARBAGE COLLECT 2893.33/2901.67 c rational objective 146 3156.58/3165.71 c #Conflicts: 770000 | #Constraints: 49809 3156.58/3165.71 c #Conflicts: 771000 | #Constraints: 50809 3156.58/3165.71 c #Conflicts: 772000 | #Constraints: 51809 3156.58/3165.71 c #Conflicts: 773000 | #Constraints: 52809 3156.58/3165.71 c #Conflicts: 774000 | #Constraints: 53809 3156.58/3165.71 c #Conflicts: 775000 | #Constraints: 54809 3156.58/3165.71 c #Conflicts: 776000 | #Constraints: 55809 3156.58/3165.71 c #Conflicts: 777000 | #Constraints: 56809 3156.58/3165.71 c #Conflicts: 778000 | #Constraints: 57809 3156.58/3165.71 c #Conflicts: 779000 | #Constraints: 58809 3156.58/3165.71 c #Conflicts: 780000 | #Constraints: 59809 3156.58/3165.71 c #Conflicts: 781000 | #Constraints: 60809 3156.58/3165.71 c #Conflicts: 782000 | #Constraints: 61809 3156.58/3165.71 c #Conflicts: 783000 | #Constraints: 62809 3156.58/3165.71 c #Conflicts: 784000 | #Constraints: 63809 3156.58/3165.71 c #Conflicts: 785000 | #Constraints: 64809 3156.58/3165.71 c #Conflicts: 786000 | #Constraints: 65810 3156.58/3165.71 c #Conflicts: 787000 | #Constraints: 66810 3156.58/3165.71 c #Conflicts: 788000 | #Constraints: 67810 3156.58/3165.71 c #Conflicts: 789000 | #Constraints: 68810 3156.58/3165.71 c #Conflicts: 790000 | #Constraints: 69810 3156.58/3165.71 c #Conflicts: 791000 | #Constraints: 70810 3156.58/3165.71 c #Conflicts: 792000 | #Constraints: 71810 3156.58/3165.71 c INPROCESSING 3156.58/3165.71 c GARBAGE COLLECT 3156.58/3165.71 c rational objective 146 3592.50/3603.10 c #Conflicts: 793000 | #Constraints: 38810 3592.50/3603.10 c #Conflicts: 794000 | #Constraints: 39810 3592.50/3603.10 c #Conflicts: 795000 | #Constraints: 40810 3592.50/3603.10 c #Conflicts: 796000 | #Constraints: 41810 3592.50/3603.10 c #Conflicts: 797000 | #Constraints: 42810 3592.50/3603.10 c #Conflicts: 798000 | #Constraints: 43826 3592.50/3603.10 c #Conflicts: 799000 | #Constraints: 44826 3592.50/3603.10 c #Conflicts: 800000 | #Constraints: 45826 3592.50/3603.10 c #Conflicts: 801000 | #Constraints: 46826 3592.50/3603.10 c #Conflicts: 802000 | #Constraints: 47826 3592.50/3603.10 c #Conflicts: 803000 | #Constraints: 48837 3592.50/3603.10 c #Conflicts: 804000 | #Constraints: 49837 3592.50/3603.10 c #Conflicts: 805000 | #Constraints: 50837 3592.50/3603.10 c #Conflicts: 806000 | #Constraints: 51837 3592.50/3603.10 c #Conflicts: 807000 | #Constraints: 52837 3592.50/3603.10 c #Conflicts: 808000 | #Constraints: 53856 3592.50/3603.10 c #Conflicts: 809000 | #Constraints: 54873 3592.50/3603.10 c #Conflicts: 810000 | #Constraints: 55873 3592.50/3603.10 c #Conflicts: 811000 | #Constraints: 56957 3592.50/3603.10 c #Conflicts: 812000 | #Constraints: 57974 3592.50/3603.10 c #Conflicts: 813000 | #Constraints: 58974 3592.50/3603.10 c #Conflicts: 814000 | #Constraints: 59974 3592.50/3603.10 c #Conflicts: 815000 | #Constraints: 60974 3592.50/3603.10 c #Conflicts: 816000 | #Constraints: 61993 3592.50/3603.10 c #Conflicts: 817000 | #Constraints: 63031 3592.50/3603.10 c #Conflicts: 818000 | #Constraints: 64065 3592.50/3603.10 c #Conflicts: 819000 | #Constraints: 65065 3592.50/3603.10 c #Conflicts: 820000 | #Constraints: 66092 3592.50/3603.10 c #Conflicts: 821000 | #Constraints: 67133 3592.50/3603.10 c #Conflicts: 822000 | #Constraints: 68133 3592.50/3603.10 c #Conflicts: 823000 | #Constraints: 69166 3592.50/3603.10 c #Conflicts: 824000 | #Constraints: 70167 3592.50/3603.10 c #Conflicts: 825000 | #Constraints: 71167 3592.50/3603.10 c #Conflicts: 826000 | #Constraints: 72167 3592.50/3603.10 c #Conflicts: 827000 | #Constraints: 73193 3592.50/3603.10 c #Conflicts: 828000 | #Constraints: 74206 3592.50/3603.10 c #Conflicts: 829000 | #Constraints: 75237 3592.50/3603.10 c #Conflicts: 830000 | #Constraints: 76306 3592.50/3603.10 c #Conflicts: 831000 | #Constraints: 77313 3592.50/3603.10 c #Conflicts: 832000 | #Constraints: 78330 3592.50/3603.10 c #Conflicts: 833000 | #Constraints: 79360 3592.50/3603.10 c #Conflicts: 834000 | #Constraints: 80369 3592.50/3603.10 c #Conflicts: 835000 | #Constraints: 81377 3592.50/3603.10 c #Conflicts: 836000 | #Constraints: 82382 3592.50/3603.10 c #Conflicts: 837000 | #Constraints: 83382 3592.50/3603.10 c #Conflicts: 838000 | #Constraints: 84388 3592.50/3603.10 c #Conflicts: 839000 | #Constraints: 85427 3592.50/3603.10 c #Conflicts: 840000 | #Constraints: 86437 3592.50/3603.10 c #Conflicts: 841000 | #Constraints: 87439 3592.50/3603.10 c #Conflicts: 842000 | #Constraints: 88445 3592.50/3603.10 c #Conflicts: 843000 | #Constraints: 89445 3592.50/3603.10 c #Conflicts: 844000 | #Constraints: 90496 3592.50/3603.10 c #Conflicts: 845000 | #Constraints: 91498 3592.50/3603.10 c #Conflicts: 846000 | #Constraints: 92499 3592.50/3603.10 c #Conflicts: 847000 | #Constraints: 93517 3592.50/3603.10 c #Conflicts: 848000 | #Constraints: 94523 3592.50/3603.10 c #Conflicts: 849000 | #Constraints: 95523 3592.50/3603.10 c #Conflicts: 850000 | #Constraints: 96529 3592.50/3603.10 c #Conflicts: 851000 | #Constraints: 97532 3592.50/3603.10 c #Conflicts: 852000 | #Constraints: 98538 3592.50/3603.10 c #Conflicts: 853000 | #Constraints: 99552 3592.50/3603.10 c #Conflicts: 854000 | #Constraints: 100741 3592.50/3603.10 c #Conflicts: 855000 | #Constraints: 101742 3592.50/3603.10 c INPROCESSING 3592.50/3603.10 c GARBAGE COLLECT 3592.50/3603.10 c rational objective 146 3600.07/3610.60 c Program interrupted by user. 3600.07/3610.60 c cpu time 3584.38 s 3600.07/3610.60 c deterministic time 334403294861 3.34e+11 3600.07/3610.60 c optimization time 7.35517 s 3600.07/3610.60 c total solve time 3577.03 s 3600.07/3610.60 c core-guided solve time 1791.47 s 3600.07/3610.60 c propagation time 3052.72 s 3600.07/3610.60 c conflict analysis time 483.719 s 3600.07/3610.60 c propagations 111205897 3600.07/3610.60 c resolve steps 6848490 3600.07/3610.60 c decisions 5357493 3600.07/3610.60 c conflicts 855585 3600.07/3610.60 c restarts 1833 3600.07/3610.60 c inprocessing phases 45 3600.07/3610.60 c input clauses 301 3600.07/3610.60 c input cardinalities 329 3600.07/3610.60 c input general constraints 886 3600.07/3610.60 c input average constraint length 64.23 3600.07/3610.60 c input average constraint degree 24.61 3600.07/3610.60 c learned clauses 318332 3600.07/3610.60 c learned cardinalities 9850 3600.07/3610.60 c learned general constraints 535801 3600.07/3610.60 c learned average constraint length 194.64 3600.07/3610.60 c learned average constraint degree 128009659.01 3600.07/3610.60 c watched constraints 333615 3600.07/3610.60 c counting constraints 203072 3600.07/3610.60 c gcd simplifications 119432 3600.07/3610.60 c detected cardinalities 4625 3600.07/3610.60 c weakened non-implied lits 42349574 3600.07/3610.60 c weakened non-implying lits 73483 3600.07/3610.60 c original variables 473 3600.07/3610.60 c clausal propagations 11233491 3600.07/3610.60 c cardinality propagations 8328230 3600.07/3610.60 c watched propagations 16249497 3600.07/3610.60 c counting propagations 73072193 3600.07/3610.60 c watch lookups 60985824238 3600.07/3610.60 c watch backjump lookups 55276974181 3600.07/3610.60 c watch checks 197745799368 3600.07/3610.60 c propagation checks 19477366520 3600.07/3610.60 c constraint additions 682428714 3600.07/3610.60 c trail pops 117418611 3600.07/3610.60 c formula constraints 473 3600.07/3610.60 c learned constraints 855584 3600.07/3610.60 c bound constraints 184 3600.07/3610.60 c core-guided constraints 859 3600.07/3610.60 c encountered formula constraints 1281585 3600.07/3610.60 c encountered learned constraints 5442941 3600.07/3610.60 c encountered bound constraints 85 3600.07/3610.60 c encountered core-guided constraints 968484 3600.07/3610.60 c LP total time 69.7021 s 3600.07/3610.60 c LP solve time 62.9 s 3600.07/3610.60 c LP constraints added 521 3600.07/3610.60 c LP constraints removed 45 3600.07/3610.60 c LP pivots internal 856866 3600.07/3610.60 c LP pivots root 62972 3600.07/3610.60 c LP calls 17237 3600.07/3610.60 c LP optimalities 6650 3600.07/3610.60 c LP no pivot count 255 3600.07/3610.60 c LP infeasibilities 10378 3600.07/3610.60 c LP valid Farkas constraints 8343 3600.07/3610.60 c LP learned Farkas constraints 8 3600.07/3610.60 c LP basis resets 205 3600.07/3610.60 c LP cycling count 205 3600.07/3610.60 c LP singular count 0 3600.07/3610.60 c LP no primal count 0 3600.07/3610.60 c LP no farkas count 0 3600.07/3610.60 c LP other issue count 0 3600.07/3610.60 c LP Gomory cuts 48 3600.07/3610.60 c LP learned cuts 0 3600.07/3610.60 c LP deleted cuts 45 3600.07/3610.60 c LP encountered Gomory constraints 0 3600.07/3610.60 c LP encountered Farkas constraints 10963 3600.07/3610.60 c LP encountered learned Farkas constraints 9 3600.07/3610.60 c CG auxiliary variables introduced 335 3600.07/3610.60 c CG solutions found 38 3600.07/3610.60 c CG cores constructed 146 3600.07/3610.60 c CG core cardinality constraints returned 0 3600.07/3610.60 c CG unit cores 0 3600.07/3610.60 c CG single cores 146 3600.07/3610.60 c CG blocks removed during cardinality reduction 0 3600.07/3610.60 c CG first core best 0 3600.07/3610.60 c CG decision core best 0 3600.07/3610.60 c CG core reduction tie 0 3600.07/3610.60 c CG core degree average 1.00 3600.07/3610.60 c CG core slack average 3.98 3600.07/3610.60 s SATISFIABLE 3600.07/3610.60 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 193
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: 63931 MiB (61214 MiB free)
memory of node 1: 64510 MiB (61609 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455120-1721458669/watcher-4455120-1721458669 -o /tmp/evaluation-result-4455120-1721458669/solver-4455120-1721458669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057477 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455120-1721458669.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1057555, runsolver pid=1057548
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 4.12 4.11 4.04 6/253 1057562
/proc/meminfo: memFree=125769844/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=38912 memory=8800 CPUtime=0.09 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 720 0 0 0 9 0 0 0 20 0 1 0 198026084 39845888 2200 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 9728 2200 1715 922 0 1680 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38912 KiB
Current children cumulated memory: 8800 KiB
[startup+0.205859 s]*
/proc/loadavg: 4.11 4.11 4.04 6/259 1057573
/proc/meminfo: memFree=125749856/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=40232 memory=13076 CPUtime=0.2 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 1279 0 0 0 18 2 0 0 20 0 1 0 198026084 41197568 3269 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 10058 3269 1747 922 0 2010 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40232 KiB
Current children cumulated memory: 13076 KiB
[startup+0.305852 s]*
/proc/loadavg: 4.11 4.11 4.04 6/259 1057573
/proc/meminfo: memFree=125738536/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=41024 memory=14128 CPUtime=0.3 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 1498 0 0 0 26 4 0 0 20 0 1 0 198026084 42008576 3532 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 10256 3532 1747 922 0 2208 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41024 KiB
Current children cumulated memory: 14128 KiB
[startup+0.700168 s]
/proc/loadavg: 4.11 4.11 4.04 6/259 1057573
/proc/meminfo: memFree=125725900/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=43000 memory=16260 CPUtime=0.69 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 2012 0 0 0 63 6 0 0 20 0 1 0 198026084 44032000 4065 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 10750 4065 1827 922 0 2702 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43000 KiB
Current children cumulated memory: 16260 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 4.11 4.04 6/259 1057573
/proc/meminfo: memFree=125704640/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=47008 memory=21008 CPUtime=1.48 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 3228 0 0 0 138 10 0 0 20 0 1 0 198026084 48136192 5252 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 11752 5252 1827 922 0 3704 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47008 KiB
Current children cumulated memory: 21008 KiB
[startup+3.10598 s]
/proc/loadavg: 4.11 4.11 4.04 6/259 1057574
/proc/meminfo: memFree=125389140/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=52008 memory=24876 CPUtime=3.08 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 4212 0 0 0 292 16 0 0 20 0 1 0 198026084 53256192 6219 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 13002 6219 1827 922 0 4954 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52008 KiB
Current children cumulated memory: 24876 KiB
[startup+6.30023 s]
/proc/loadavg: 4.10 4.11 4.04 6/259 1057574
/proc/meminfo: memFree=125373036/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=59732 memory=31416 CPUtime=6.28 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 5386 0 0 0 599 29 0 0 20 0 1 0 198026084 61165568 7854 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 14933 7854 1827 922 0 6885 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 59732 KiB
Current children cumulated memory: 31416 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.12 4.05 6/259 1057574
/proc/meminfo: memFree=125270556/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=65520 memory=38276 CPUtime=12.66 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 6701 0 0 0 1215 51 0 0 20 0 1 0 198026084 67092480 9569 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 16380 9569 1827 922 0 8332 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 38276 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.05 6/259 1057578
/proc/meminfo: memFree=125087720/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=102720 memory=71012 CPUtime=25.41 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 11720 0 0 0 2471 70 0 0 20 0 1 0 198026084 105185280 17753 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 25680 17753 1928 922 0 17632 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 102720 KiB
Current children cumulated memory: 71012 KiB
[startup+51.106 s]
/proc/loadavg: 4.09 4.10 4.05 6/259 1057581
/proc/meminfo: memFree=124995076/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=106856 memory=73916 CPUtime=50.95 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 12453 0 0 0 4982 113 0 0 20 0 1 0 198026084 109420544 18479 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 26714 18479 1928 922 0 18666 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 106856 KiB
Current children cumulated memory: 73916 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.15 4.06 6/259 1057589
/proc/meminfo: memFree=124937800/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=115192 memory=81556 CPUtime=101.99 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 14325 0 0 0 10013 186 0 0 20 0 1 0 198026084 117956608 20389 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 28798 20389 1928 922 0 20750 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 115192 KiB
Current children cumulated memory: 81556 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.17 4.08 6/261 1057604
/proc/meminfo: memFree=124419760/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=157924 memory=121460 CPUtime=161.81 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 19750 0 0 0 15941 240 0 0 20 0 1 0 198026084 161714176 30365 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 39481 30365 1928 922 0 31433 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 157924 KiB
Current children cumulated memory: 121460 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.08 6/259 1057626
/proc/meminfo: memFree=124228784/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=158620 memory=122508 CPUtime=221.62 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 20061 0 0 0 21859 303 0 0 20 0 1 0 198026084 162426880 30627 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 39655 30627 1928 922 0 31607 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 158620 KiB
Current children cumulated memory: 122508 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.08 6/259 1057637
/proc/meminfo: memFree=124187608/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=163956 memory=126968 CPUtime=281.44 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 21142 0 0 0 27794 350 0 0 20 0 1 0 198026084 167890944 31742 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 40989 31742 1928 922 0 32941 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 163956 KiB
Current children cumulated memory: 126968 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.08 6/257 1057647
/proc/meminfo: memFree=124147348/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=216528 memory=153928 CPUtime=341.26 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 25870 0 0 0 33730 396 0 0 20 0 1 0 198026084 221724672 38482 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 54132 38482 1928 922 0 46084 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 216528 KiB
Current children cumulated memory: 153928 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.09 6/257 1057659
/proc/meminfo: memFree=123816160/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=238328 memory=191560 CPUtime=401.08 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 30656 0 0 0 39684 424 0 0 20 0 1 0 198026084 244047872 47890 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 59582 47890 1928 922 0 51534 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 238328 KiB
Current children cumulated memory: 191560 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/257 1057669
/proc/meminfo: memFree=123779760/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=238328 memory=191560 CPUtime=460.9 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 30656 0 0 0 45630 460 0 0 20 0 1 0 198026084 244047872 47890 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 59582 47890 1928 922 0 51534 0
################
# More data... #
################
Current children cumulated memory: 348288 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/259 1058734
/proc/meminfo: memFree=122526596/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=493612 memory=371804 CPUtime=2854.15 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 56234 0 0 0 284039 1376 0 0 20 0 1 0 198026084 505458688 92951 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 123403 92951 1928 922 0 115355 0
Current children cumulated CPU time: 2854.15 s
Current children cumulated vsize: 493612 KiB
Current children cumulated memory: 371804 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.09 4.09 6/256 1058745
/proc/meminfo: memFree=122295268/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=498056 memory=383832 CPUtime=2913.96 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 57226 0 0 0 290006 1390 0 0 20 0 1 0 198026084 510009344 95958 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 124514 95958 1928 922 0 116466 0
Current children cumulated CPU time: 2913.96 s
Current children cumulated vsize: 498056 KiB
Current children cumulated memory: 383832 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/256 1058757
/proc/meminfo: memFree=122268240/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=498056 memory=383832 CPUtime=2973.77 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 57310 0 0 0 295976 1401 0 0 20 0 1 0 198026084 510009344 95958 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 124514 95958 1928 922 0 116466 0
Current children cumulated CPU time: 2973.77 s
Current children cumulated vsize: 498056 KiB
Current children cumulated memory: 383832 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.11 4.09 6/256 1058768
/proc/meminfo: memFree=122251344/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=498056 memory=383832 CPUtime=3033.57 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 57478 0 0 0 301945 1412 0 0 20 0 1 0 198026084 510009344 95958 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 124514 95958 1928 922 0 116466 0
Current children cumulated CPU time: 3033.57 s
Current children cumulated vsize: 498056 KiB
Current children cumulated memory: 383832 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/256 1058778
/proc/meminfo: memFree=122235128/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=498056 memory=383832 CPUtime=3093.39 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 57646 0 0 0 307912 1427 0 0 20 0 1 0 198026084 510009344 95958 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 124514 95958 1928 922 0 116466 0
Current children cumulated CPU time: 3093.39 s
Current children cumulated vsize: 498056 KiB
Current children cumulated memory: 383832 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/258 1058792
/proc/meminfo: memFree=122205348/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=498056 memory=383832 CPUtime=3153.2 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 57814 0 0 0 313881 1439 0 0 20 0 1 0 198026084 510009344 95958 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 124514 95958 1928 922 0 116466 0
Current children cumulated CPU time: 3153.2 s
Current children cumulated vsize: 498056 KiB
Current children cumulated memory: 383832 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/258 1058804
/proc/meminfo: memFree=122187000/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=498056 memory=383852 CPUtime=3213.01 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 57988 0 0 0 319829 1472 0 0 20 0 1 0 198026084 510009344 95963 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 124514 95963 1928 922 0 116466 0
Current children cumulated CPU time: 3213.01 s
Current children cumulated vsize: 498056 KiB
Current children cumulated memory: 383852 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/258 1058814
/proc/meminfo: memFree=122176124/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=498056 memory=383904 CPUtime=3272.83 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 58168 0 0 0 325783 1500 0 0 20 0 1 0 198026084 510009344 95976 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 124514 95976 1928 922 0 116466 0
Current children cumulated CPU time: 3272.83 s
Current children cumulated vsize: 498056 KiB
Current children cumulated memory: 383904 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/257 1058824
/proc/meminfo: memFree=122175588/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=498056 memory=383948 CPUtime=3332.65 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 58348 0 0 0 331748 1517 0 0 20 0 1 0 198026084 510009344 95987 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 124514 95987 1928 922 0 116466 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 498056 KiB
Current children cumulated memory: 383948 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/257 1058836
/proc/meminfo: memFree=122174952/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=498316 memory=384044 CPUtime=3392.45 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 58542 0 0 0 337714 1531 0 0 20 0 1 0 198026084 510275584 96011 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 124579 96011 1928 922 0 116531 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 498316 KiB
Current children cumulated memory: 384044 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/257 1059229
/proc/meminfo: memFree=122157944/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=503500 memory=386860 CPUtime=3452.24 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 59455 0 0 0 343682 1542 0 0 20 0 1 0 198026084 515584000 96715 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 125875 96715 1928 922 0 117827 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 503500 KiB
Current children cumulated memory: 386860 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/257 1059240
/proc/meminfo: memFree=122149432/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=512560 memory=392556 CPUtime=3512.05 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 60952 0 0 0 349653 1552 0 0 20 0 1 0 198026084 524861440 98139 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 128140 98139 1928 922 0 120092 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 512560 KiB
Current children cumulated memory: 392556 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/257 1059252
/proc/meminfo: memFree=122138532/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=519360 memory=398232 CPUtime=3571.86 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 62464 0 0 0 355623 1563 0 0 20 0 1 0 198026084 531824640 99558 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 129840 99558 1928 922 0 121792 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 519360 KiB
Current children cumulated memory: 398232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.07 4.08 4.09 4/252 1059311
/proc/meminfo: memFree=124996500/131524600 swapFree=130799640/131071996
[pid=1057555] ppid=1057548 vsize=521844 memory=402640 CPUtime=3600.07 cores=5,7
/proc/1057555/stat : 1057555 (roundingsat) R 1057548 1057555 1057331 0 -1 4194304 63123 0 0 0 358438 1569 0 0 20 0 1 0 198026084 534368256 100660 134679101440 4194304 7968373 140722069429888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 19795968 140722069431228 140722069431392 140722069431392 140722069438409 0
/proc/1057555/statm: 130461 100660 1928 922 0 122413 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 521844 KiB
Current children cumulated memory: 402640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 1057555 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.39 s, system=15.7056 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.09
CPU user time (s): 3584.39
CPU system time (s): 15.7056
CPU usage (%): 99.7087
Max. virtual memory (cumulated for all children) (KiB): 521844
Max. memory (cumulated for all children) (KiB): 402640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.39
system time used= 15.7056
maximum resident set size= 402640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63133
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= 51
involuntary context switches= 2895
# summary of solver processes directly reported to runsolver:
# pid: 1057555
# total CPU time (s): 3600.09
# total CPU user time (s): 3584.39
# total CPU system time (s): 15.7056
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77879 second user time and 20.2741 second system time
The end
Begin job on nodeC014 at 2024-07-20 08:58:02 IDJOB=4455120 IDBENCH=147549 IDSOLVER=3084 FILE ID=nodeC014/4455120-1721458669 RUNJOBID= nodeC014-1721458682-1057477 SLURM_JOB_ID= 7545705 Free space on /tmp= 890036 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.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-4455120-1721458669/watcher-4455120-1721458669 -o /tmp/evaluation-result-4455120-1721458669/solver-4455120-1721458669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057477 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455120-1721458669.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb RANDOM SEED=1589648537 nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3523.506 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3616.757 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3467.275 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3543.025 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3529.592 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3507.529 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3488.766 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3555.914 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125786904 kB MemAvailable: 129975440 kB Buffers: 507836 kB Cached: 4476308 kB SwapCached: 12848 kB Active: 1535308 kB Inactive: 3574756 kB Active(anon): 9116 kB Inactive(anon): 146812 kB Active(file): 1526192 kB Inactive(file): 3427944 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 130799640 kB Dirty: 19128 kB Writeback: 12 kB AnonPages: 117604 kB Mapped: 50556 kB Shmem: 29680 kB KReclaimable: 148096 kB Slab: 251116 kB SReclaimable: 148096 kB SUnreclaim: 103020 kB KernelStack: 3920 kB PageTables: 9384 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 736216 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 36672 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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: 303828 kB DirectMap2M: 38266880 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 889988 MiB End job on nodeC014 at 2024-07-20 09:58:13