| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 194 | 3600.1 | 3613.13 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb |
| MD5SUM | bed0fcfa7fe1ab50726d34a7d1903e12 |
| 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 | 182 |
| 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 | 478 |
| Total number of constraints | 478 |
| 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 | 478 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 478 |
| 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 | 478 |
| 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 | 478 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 478 #constraints 478 0.50/0.57 c bounds - >= 0 @ 0.008454 0.50/0.57 c bounds 226 >= 0 @ 0.398464 0.50/0.57 c bounds 226 >= 1 @ 0.398464 0.50/0.57 c bounds 226 >= 2 @ 0.398814 0.50/0.57 c bounds 226 >= 3 @ 0.3993 0.50/0.57 c bounds 226 >= 4 @ 0.399821 0.50/0.57 c bounds 226 >= 5 @ 0.400345 0.50/0.57 c bounds 226 >= 6 @ 0.400875 0.50/0.57 c bounds 226 >= 7 @ 0.401417 0.50/0.57 c bounds 226 >= 8 @ 0.401962 0.50/0.57 c bounds 226 >= 9 @ 0.40252 0.50/0.57 c bounds 226 >= 10 @ 0.403085 0.50/0.57 c bounds 226 >= 11 @ 0.403646 0.50/0.57 c bounds 226 >= 12 @ 0.404222 0.50/0.57 c bounds 226 >= 13 @ 0.404789 0.50/0.57 c bounds 226 >= 14 @ 0.405362 0.50/0.57 c bounds 226 >= 15 @ 0.405424 0.50/0.57 c bounds 226 >= 16 @ 0.405599 0.50/0.57 c bounds 226 >= 17 @ 0.406162 0.50/0.57 c bounds 226 >= 18 @ 0.406755 0.50/0.57 c bounds 226 >= 19 @ 0.407353 0.50/0.57 c bounds 226 >= 20 @ 0.407413 0.50/0.57 c bounds 226 >= 21 @ 0.407607 0.50/0.57 c bounds 226 >= 22 @ 0.408194 0.50/0.57 c bounds 226 >= 23 @ 0.408815 0.50/0.57 c bounds 226 >= 24 @ 0.409438 0.50/0.57 c bounds 226 >= 25 @ 0.410078 0.50/0.57 c bounds 226 >= 26 @ 0.410708 0.50/0.57 c bounds 226 >= 27 @ 0.411351 0.50/0.57 c bounds 226 >= 28 @ 0.412002 0.50/0.57 c bounds 226 >= 29 @ 0.412662 0.50/0.57 c bounds 226 >= 30 @ 0.413317 0.50/0.57 c bounds 225 >= 30 @ 0.458376 0.50/0.57 c bounds 225 >= 31 @ 0.459101 0.50/0.57 c bounds 225 >= 32 @ 0.459164 0.50/0.57 c bounds 225 >= 33 @ 0.459697 0.50/0.57 c bounds 225 >= 34 @ 0.460909 0.50/0.57 c bounds 225 >= 35 @ 0.461657 0.50/0.57 c bounds 225 >= 36 @ 0.462379 0.50/0.57 c bounds 225 >= 37 @ 0.463096 0.50/0.57 c bounds 225 >= 38 @ 0.463141 0.50/0.57 c bounds 225 >= 39 @ 0.463594 0.50/0.57 c bounds 225 >= 40 @ 0.464351 0.50/0.57 c bounds 225 >= 41 @ 0.465099 0.50/0.57 c bounds 225 >= 42 @ 0.466136 0.50/0.57 c bounds 225 >= 43 @ 0.466722 0.50/0.57 c bounds 225 >= 44 @ 0.467331 0.50/0.57 c bounds 225 >= 45 @ 0.46792 0.50/0.57 c bounds 225 >= 46 @ 0.468114 0.50/0.57 c bounds 225 >= 47 @ 0.468114 0.50/0.57 c bounds 225 >= 48 @ 0.468695 0.50/0.57 c bounds 225 >= 49 @ 0.469262 0.50/0.57 c bounds 225 >= 50 @ 0.469841 0.50/0.57 c bounds 225 >= 51 @ 0.470407 0.50/0.57 c bounds 225 >= 52 @ 0.470994 0.50/0.57 c bounds 225 >= 53 @ 0.4711 0.50/0.57 c bounds 225 >= 54 @ 0.471221 0.50/0.57 c bounds 225 >= 55 @ 0.471744 0.50/0.57 c bounds 225 >= 56 @ 0.47231 0.50/0.57 c bounds 225 >= 57 @ 0.472893 0.50/0.57 c bounds 225 >= 58 @ 0.473473 0.50/0.57 c bounds 225 >= 59 @ 0.474073 0.50/0.57 c bounds 225 >= 60 @ 0.474667 0.50/0.57 c bounds 225 >= 61 @ 0.475257 0.50/0.57 c bounds 225 >= 62 @ 0.475846 0.50/0.57 c bounds 225 >= 63 @ 0.476079 0.50/0.57 c bounds 225 >= 64 @ 0.476079 0.50/0.57 c bounds 225 >= 65 @ 0.476673 0.50/0.57 c bounds 225 >= 66 @ 0.477291 0.50/0.57 c bounds 225 >= 67 @ 0.477908 0.50/0.57 c bounds 225 >= 68 @ 0.47807 0.50/0.57 c bounds 225 >= 69 @ 0.478246 0.50/0.57 c bounds 225 >= 70 @ 0.478842 0.50/0.57 c bounds 225 >= 71 @ 0.479484 0.50/0.57 c bounds 225 >= 72 @ 0.480102 0.50/0.57 c bounds 225 >= 73 @ 0.480718 0.50/0.57 c bounds 225 >= 74 @ 0.481388 0.50/0.57 c bounds 225 >= 75 @ 0.482045 0.50/0.57 c bounds 225 >= 76 @ 0.482677 0.50/0.57 c bounds 225 >= 77 @ 0.48297 0.50/0.57 c bounds 225 >= 78 @ 0.48297 0.50/0.57 c bounds 225 >= 79 @ 0.483033 0.50/0.57 c bounds 225 >= 80 @ 0.48322 0.50/0.57 c bounds 225 >= 81 @ 0.483805 0.50/0.57 c bounds 225 >= 82 @ 0.484008 0.50/0.57 c bounds 225 >= 83 @ 0.484185 0.50/0.57 c bounds 225 >= 84 @ 0.484754 0.50/0.57 c bounds 225 >= 85 @ 0.485362 0.50/0.57 c bounds 225 >= 86 @ 0.48599 0.50/0.57 c bounds 225 >= 87 @ 0.486622 0.50/0.57 c bounds 225 >= 88 @ 0.487243 0.50/0.57 c bounds 225 >= 89 @ 0.48787 0.50/0.57 c bounds 225 >= 90 @ 0.488005 0.50/0.57 c bounds 225 >= 91 @ 0.488191 0.50/0.57 c bounds 225 >= 92 @ 0.488771 0.50/0.57 c bounds 225 >= 93 @ 0.489385 0.50/0.57 c bounds 225 >= 94 @ 0.489986 0.50/0.57 c bounds 225 >= 95 @ 0.490603 0.50/0.57 c bounds 225 >= 96 @ 0.491242 0.50/0.57 c bounds 225 >= 97 @ 0.491872 0.50/0.57 c bounds 225 >= 98 @ 0.492501 0.50/0.57 c bounds 225 >= 99 @ 0.493218 0.50/0.57 c bounds 225 >= 100 @ 0.493888 0.50/0.57 c bounds 225 >= 101 @ 0.494534 0.50/0.57 c bounds 225 >= 102 @ 0.495164 0.50/0.57 c bounds 225 >= 103 @ 0.495799 0.50/0.57 c bounds 225 >= 104 @ 0.495968 0.50/0.57 c bounds 225 >= 105 @ 0.496183 0.50/0.57 c bounds 225 >= 106 @ 0.496816 0.50/0.57 c bounds 225 >= 107 @ 0.49695 0.50/0.57 c bounds 225 >= 108 @ 0.497223 0.50/0.57 c bounds 225 >= 109 @ 0.497825 0.50/0.57 c bounds 225 >= 110 @ 0.497958 0.50/0.57 c bounds 225 >= 111 @ 0.498202 0.50/0.57 c bounds 225 >= 112 @ 0.498797 0.50/0.57 c bounds 225 >= 113 @ 0.499431 0.50/0.57 c bounds 225 >= 114 @ 0.500134 0.50/0.57 c bounds 225 >= 115 @ 0.500781 0.50/0.57 c bounds 225 >= 116 @ 0.500938 0.50/0.57 c bounds 225 >= 117 @ 0.501217 0.50/0.57 c bounds 225 >= 118 @ 0.501842 0.50/0.57 c bounds 225 >= 119 @ 0.501939 0.50/0.57 c bounds 225 >= 120 @ 0.50225 0.50/0.57 c bounds 225 >= 121 @ 0.502949 0.50/0.57 c bounds 225 >= 122 @ 0.503692 0.50/0.57 c bounds 225 >= 123 @ 0.503931 0.50/0.57 c bounds 225 >= 124 @ 0.504245 0.50/0.57 c bounds 225 >= 125 @ 0.505002 0.50/0.57 c bounds 225 >= 126 @ 0.505763 0.50/0.57 c bounds 225 >= 127 @ 0.506573 0.50/0.57 c bounds 225 >= 128 @ 0.506716 0.50/0.57 c bounds 225 >= 129 @ 0.506733 0.50/0.57 c bounds 225 >= 130 @ 0.507228 0.50/0.57 c bounds 225 >= 131 @ 0.508032 0.50/0.57 c bounds 225 >= 132 @ 0.508947 0.50/0.57 c bounds 225 >= 133 @ 0.5106 0.50/0.57 c bounds 225 >= 134 @ 0.511985 1.47/1.53 c bounds 225 >= 135 @ 0.51312 1.47/1.53 c bounds 225 >= 136 @ 0.514686 1.47/1.53 c bounds 225 >= 137 @ 0.516453 1.47/1.53 c bounds 225 >= 138 @ 0.520716 1.47/1.53 c bounds 224 >= 138 @ 0.55844 1.47/1.53 c bounds 224 >= 139 @ 0.560212 1.47/1.53 c bounds 224 >= 140 @ 0.579339 1.47/1.53 c bounds 224 >= 141 @ 0.622979 1.47/1.53 c bounds 223 >= 141 @ 0.637047 1.47/1.53 c bounds 222 >= 141 @ 0.6472 1.47/1.53 c bounds 221 >= 141 @ 0.653649 1.47/1.53 c bounds 220 >= 141 @ 0.662115 1.47/1.53 c bounds 219 >= 141 @ 0.668491 1.47/1.53 c bounds 218 >= 141 @ 0.675194 1.47/1.53 c #Conflicts: 1000 | #Constraints: 2198 1.47/1.53 c bounds 218 >= 142 @ 0.811138 1.47/1.53 c bounds 217 >= 142 @ 0.822662 1.47/1.53 c bounds 216 >= 142 @ 0.858059 1.47/1.53 c bounds 215 >= 142 @ 0.880473 1.47/1.53 c bounds 214 >= 142 @ 0.98929 1.47/1.53 c #Conflicts: 2000 | #Constraints: 3262 1.47/1.53 c INPROCESSING 1.47/1.53 c GARBAGE COLLECT 1.47/1.53 c rational objective 142 2.27/2.39 c #Conflicts: 3000 | #Constraints: 3158 2.27/2.39 c bounds 213 >= 142 @ 1.89743 2.27/2.39 c #Conflicts: 4000 | #Constraints: 4159 2.27/2.39 c INPROCESSING 2.27/2.39 c GARBAGE COLLECT 2.27/2.39 c rational objective 142 3.26/3.39 c bounds 213 >= 143 @ 2.29967 3.26/3.39 c #Conflicts: 5000 | #Constraints: 3631 3.26/3.39 c #Conflicts: 6000 | #Constraints: 4631 3.26/3.39 c INPROCESSING 3.26/3.39 c GARBAGE COLLECT 3.26/3.39 c rational objective 143 4.16/4.25 c #Conflicts: 7000 | #Constraints: 3657 4.16/4.25 c bounds 212 >= 143 @ 3.27073 4.16/4.25 c bounds 211 >= 143 @ 3.4053 4.16/4.25 c bounds 210 >= 143 @ 3.49458 4.16/4.25 c #Conflicts: 8000 | #Constraints: 4660 4.16/4.25 c bounds 209 >= 143 @ 3.66468 4.16/4.25 c bounds 209 >= 144 @ 3.83183 4.16/4.25 c #Conflicts: 9000 | #Constraints: 5694 4.16/4.25 c INPROCESSING 4.16/4.25 c GARBAGE COLLECT 4.16/4.25 c rational objective 144 5.26/5.34 c #Conflicts: 10000 | #Constraints: 4349 5.26/5.34 c #Conflicts: 11000 | #Constraints: 5349 5.26/5.34 c bounds 208 >= 144 @ 4.71514 5.26/5.34 c #Conflicts: 12000 | #Constraints: 6350 5.26/5.34 c INPROCESSING 5.26/5.34 c GARBAGE COLLECT 5.26/5.34 c rational objective 144 6.66/6.78 c #Conflicts: 13000 | #Constraints: 4834 6.66/6.78 c #Conflicts: 14000 | #Constraints: 5834 6.66/6.78 c #Conflicts: 15000 | #Constraints: 6834 6.66/6.78 c INPROCESSING 6.66/6.78 c GARBAGE COLLECT 6.66/6.78 c rational objective 144 7.85/7.90 c bounds 207 >= 144 @ 6.6084 7.85/7.90 c #Conflicts: 16000 | #Constraints: 5085 7.85/7.90 c bounds 206 >= 144 @ 6.7652 7.85/7.90 c #Conflicts: 17000 | #Constraints: 6086 7.85/7.90 c #Conflicts: 18000 | #Constraints: 7086 7.85/7.90 c INPROCESSING 7.85/7.90 c GARBAGE COLLECT 7.85/7.90 c rational objective 144 9.24/9.33 c #Conflicts: 19000 | #Constraints: 5060 9.24/9.33 c #Conflicts: 20000 | #Constraints: 6060 9.24/9.33 c #Conflicts: 21000 | #Constraints: 7060 9.24/9.33 c INPROCESSING 9.24/9.33 c GARBAGE COLLECT 9.24/9.33 c rational objective 144 11.24/11.32 c #Conflicts: 22000 | #Constraints: 4841 11.24/11.32 c #Conflicts: 23000 | #Constraints: 5841 11.24/11.32 c #Conflicts: 24000 | #Constraints: 6841 11.24/11.32 c #Conflicts: 25000 | #Constraints: 7841 11.24/11.32 c bounds 206 >= 145 @ 10.6851 11.24/11.32 c INPROCESSING 11.24/11.32 c GARBAGE COLLECT 11.24/11.32 c rational objective 145 13.24/13.32 c #Conflicts: 26000 | #Constraints: 5479 13.24/13.32 c #Conflicts: 27000 | #Constraints: 6479 13.24/13.32 c #Conflicts: 28000 | #Constraints: 7479 13.24/13.32 c #Conflicts: 29000 | #Constraints: 8479 13.24/13.32 c INPROCESSING 13.24/13.32 c GARBAGE COLLECT 13.24/13.32 c rational objective 145 15.53/15.62 c #Conflicts: 30000 | #Constraints: 5878 15.53/15.62 c #Conflicts: 31000 | #Constraints: 6878 15.53/15.62 c #Conflicts: 32000 | #Constraints: 7878 15.53/15.62 c #Conflicts: 33000 | #Constraints: 8878 15.53/15.62 c INPROCESSING 15.53/15.62 c GARBAGE COLLECT 15.53/15.62 c rational objective 145 18.02/18.15 c #Conflicts: 34000 | #Constraints: 6149 18.02/18.15 c #Conflicts: 35000 | #Constraints: 7149 18.02/18.15 c #Conflicts: 36000 | #Constraints: 8149 18.02/18.15 c #Conflicts: 37000 | #Constraints: 9149 18.02/18.15 c INPROCESSING 18.02/18.15 c GARBAGE COLLECT 18.02/18.15 c rational objective 145 21.01/21.19 c #Conflicts: 38000 | #Constraints: 6122 21.01/21.19 c #Conflicts: 39000 | #Constraints: 7122 21.01/21.19 c #Conflicts: 40000 | #Constraints: 8122 21.01/21.19 c #Conflicts: 41000 | #Constraints: 9122 21.01/21.19 c INPROCESSING 21.01/21.19 c GARBAGE COLLECT 21.01/21.19 c rational objective 145 44.01/44.26 c #Conflicts: 42000 | #Constraints: 5982 44.01/44.26 c #Conflicts: 43000 | #Constraints: 6982 44.01/44.26 c #Conflicts: 44000 | #Constraints: 7982 44.01/44.26 c #Conflicts: 45000 | #Constraints: 8982 44.01/44.26 c #Conflicts: 46000 | #Constraints: 9982 44.01/44.26 c #Conflicts: 47000 | #Constraints: 10982 44.01/44.26 c #Conflicts: 48000 | #Constraints: 11982 44.01/44.26 c #Conflicts: 49000 | #Constraints: 12982 44.01/44.26 c bounds 206 >= 146 @ 27.4184 44.01/44.26 c #Conflicts: 50000 | #Constraints: 14036 44.01/44.26 c #Conflicts: 51000 | #Constraints: 15036 44.01/44.26 c #Conflicts: 52000 | #Constraints: 16036 44.01/44.26 c #Conflicts: 53000 | #Constraints: 17036 44.01/44.26 c #Conflicts: 54000 | #Constraints: 18036 44.01/44.26 c #Conflicts: 55000 | #Constraints: 19036 44.01/44.26 c bounds 205 >= 146 @ 34.561 44.01/44.26 c #Conflicts: 56000 | #Constraints: 20037 44.01/44.26 c #Conflicts: 57000 | #Constraints: 21037 44.01/44.26 c #Conflicts: 58000 | #Constraints: 22037 44.01/44.26 c INPROCESSING 44.01/44.26 c GARBAGE COLLECT 44.01/44.26 c rational objective 146 47.59/47.89 c bounds 204 >= 146 @ 42.8727 47.59/47.89 c #Conflicts: 59000 | #Constraints: 12357 47.59/47.89 c #Conflicts: 60000 | #Constraints: 13357 47.59/47.89 c #Conflicts: 61000 | #Constraints: 14357 47.59/47.89 c #Conflicts: 62000 | #Constraints: 15357 47.59/47.89 c #Conflicts: 63000 | #Constraints: 16357 47.59/47.89 c #Conflicts: 64000 | #Constraints: 17357 47.59/47.89 c bounds 203 >= 146 @ 46.2473 47.59/47.89 c INPROCESSING 47.59/47.89 c GARBAGE COLLECT 47.59/47.89 c rational objective 146 53.27/53.54 c #Conflicts: 65000 | #Constraints: 10100 53.27/53.54 c #Conflicts: 66000 | #Constraints: 11100 53.27/53.54 c #Conflicts: 67000 | #Constraints: 12100 53.27/53.54 c bounds 202 >= 146 @ 47.5316 53.27/53.54 c #Conflicts: 68000 | #Constraints: 13101 53.27/53.54 c #Conflicts: 69000 | #Constraints: 14101 53.27/53.54 c #Conflicts: 70000 | #Constraints: 15101 53.27/53.54 c INPROCESSING 53.27/53.54 c GARBAGE COLLECT 53.27/53.54 c rational objective 146 56.66/56.90 c bounds 201 >= 146 @ 51.9147 56.66/56.90 c #Conflicts: 71000 | #Constraints: 9093 56.66/56.90 c #Conflicts: 72000 | #Constraints: 10093 56.66/56.90 c #Conflicts: 73000 | #Constraints: 11093 56.66/56.90 c #Conflicts: 74000 | #Constraints: 12093 56.66/56.90 c #Conflicts: 75000 | #Constraints: 13093 56.66/56.90 c #Conflicts: 76000 | #Constraints: 14093 56.66/56.90 c INPROCESSING 56.66/56.90 c GARBAGE COLLECT 56.66/56.90 c rational objective 146 93.01/93.41 c #Conflicts: 77000 | #Constraints: 8476 93.01/93.41 c #Conflicts: 78000 | #Constraints: 9476 93.01/93.41 c #Conflicts: 79000 | #Constraints: 10476 93.01/93.41 c #Conflicts: 80000 | #Constraints: 11476 93.01/93.41 c #Conflicts: 81000 | #Constraints: 12476 93.01/93.41 c #Conflicts: 82000 | #Constraints: 13476 93.01/93.41 c #Conflicts: 83000 | #Constraints: 14476 93.01/93.41 c #Conflicts: 84000 | #Constraints: 15476 93.01/93.41 c #Conflicts: 85000 | #Constraints: 16476 93.01/93.41 c #Conflicts: 86000 | #Constraints: 17476 93.01/93.41 c #Conflicts: 87000 | #Constraints: 18476 93.01/93.41 c #Conflicts: 88000 | #Constraints: 19476 93.01/93.41 c #Conflicts: 89000 | #Constraints: 20476 93.01/93.41 c #Conflicts: 90000 | #Constraints: 21476 93.01/93.41 c #Conflicts: 91000 | #Constraints: 22476 93.01/93.41 c #Conflicts: 92000 | #Constraints: 23476 93.01/93.41 c #Conflicts: 93000 | #Constraints: 24476 93.01/93.41 c #Conflicts: 94000 | #Constraints: 25476 93.01/93.41 c #Conflicts: 95000 | #Constraints: 26476 93.01/93.41 c #Conflicts: 96000 | #Constraints: 27476 93.01/93.41 c #Conflicts: 97000 | #Constraints: 28476 93.01/93.41 c #Conflicts: 98000 | #Constraints: 29476 93.01/93.41 c #Conflicts: 99000 | #Constraints: 30476 93.01/93.41 c INPROCESSING 93.01/93.41 c GARBAGE COLLECT 93.01/93.41 c rational objective 146 115.21/115.72 c #Conflicts: 100000 | #Constraints: 16917 115.21/115.72 c #Conflicts: 101000 | #Constraints: 17917 115.21/115.72 c #Conflicts: 102000 | #Constraints: 18917 115.21/115.72 c #Conflicts: 103000 | #Constraints: 19917 115.21/115.72 c #Conflicts: 104000 | #Constraints: 20917 115.21/115.72 c #Conflicts: 105000 | #Constraints: 21917 115.21/115.72 c #Conflicts: 106000 | #Constraints: 22917 115.21/115.72 c INPROCESSING 115.21/115.72 c GARBAGE COLLECT 115.21/115.72 c rational objective 146 126.67/127.21 c #Conflicts: 107000 | #Constraints: 13008 126.67/127.21 c #Conflicts: 108000 | #Constraints: 14008 126.67/127.21 c #Conflicts: 109000 | #Constraints: 15008 126.67/127.21 c #Conflicts: 110000 | #Constraints: 16008 126.67/127.21 c #Conflicts: 111000 | #Constraints: 17008 126.67/127.21 c #Conflicts: 112000 | #Constraints: 18008 126.67/127.21 c #Conflicts: 113000 | #Constraints: 19008 126.67/127.21 c #Conflicts: 114000 | #Constraints: 20008 126.67/127.21 c INPROCESSING 126.67/127.21 c GARBAGE COLLECT 126.67/127.21 c rational objective 146 136.93/137.58 c #Conflicts: 115000 | #Constraints: 11761 136.93/137.58 c #Conflicts: 116000 | #Constraints: 12761 136.93/137.58 c #Conflicts: 117000 | #Constraints: 13761 136.93/137.58 c #Conflicts: 118000 | #Constraints: 14761 136.93/137.58 c #Conflicts: 119000 | #Constraints: 15761 136.93/137.58 c #Conflicts: 120000 | #Constraints: 16761 136.93/137.58 c #Conflicts: 121000 | #Constraints: 17761 136.93/137.58 c INPROCESSING 136.93/137.58 c GARBAGE COLLECT 136.93/137.58 c rational objective 146 182.14/182.97 c #Conflicts: 122000 | #Constraints: 10240 182.14/182.97 c #Conflicts: 123000 | #Constraints: 11240 182.14/182.97 c #Conflicts: 124000 | #Constraints: 12240 182.14/182.97 c #Conflicts: 125000 | #Constraints: 13240 182.14/182.97 c #Conflicts: 126000 | #Constraints: 14240 182.14/182.97 c #Conflicts: 127000 | #Constraints: 15240 182.14/182.97 c #Conflicts: 128000 | #Constraints: 16240 182.14/182.97 c #Conflicts: 129000 | #Constraints: 17240 182.14/182.97 c #Conflicts: 130000 | #Constraints: 18240 182.14/182.97 c #Conflicts: 131000 | #Constraints: 19240 182.14/182.97 c #Conflicts: 132000 | #Constraints: 20240 182.14/182.97 c #Conflicts: 133000 | #Constraints: 21240 182.14/182.97 c #Conflicts: 134000 | #Constraints: 22240 182.14/182.97 c #Conflicts: 135000 | #Constraints: 23240 182.14/182.97 c #Conflicts: 136000 | #Constraints: 24240 182.14/182.97 c #Conflicts: 137000 | #Constraints: 25240 182.14/182.97 c bounds 201 >= 147 @ 162.652 182.14/182.97 c #Conflicts: 138000 | #Constraints: 26291 182.14/182.97 c #Conflicts: 139000 | #Constraints: 27291 182.14/182.97 c #Conflicts: 140000 | #Constraints: 28291 182.14/182.97 c #Conflicts: 141000 | #Constraints: 29291 182.14/182.97 c #Conflicts: 142000 | #Constraints: 30291 182.14/182.97 c #Conflicts: 143000 | #Constraints: 31292 182.14/182.97 c #Conflicts: 144000 | #Constraints: 32294 182.14/182.97 c #Conflicts: 145000 | #Constraints: 33295 182.14/182.97 c #Conflicts: 146000 | #Constraints: 34295 182.14/182.97 c #Conflicts: 147000 | #Constraints: 35295 182.14/182.97 c #Conflicts: 148000 | #Constraints: 36296 182.14/182.97 c #Conflicts: 149000 | #Constraints: 37296 182.14/182.97 c INPROCESSING 182.14/182.97 c GARBAGE COLLECT 182.14/182.97 c rational objective 147 201.18/202.05 c #Conflicts: 150000 | #Constraints: 20052 201.18/202.05 c #Conflicts: 151000 | #Constraints: 21052 201.18/202.05 c #Conflicts: 152000 | #Constraints: 22052 201.18/202.05 c #Conflicts: 153000 | #Constraints: 23052 201.18/202.05 c #Conflicts: 154000 | #Constraints: 24052 201.18/202.05 c #Conflicts: 155000 | #Constraints: 25052 201.18/202.05 c #Conflicts: 156000 | #Constraints: 26052 201.18/202.05 c #Conflicts: 157000 | #Constraints: 27052 201.18/202.05 c #Conflicts: 158000 | #Constraints: 28052 201.18/202.05 c INPROCESSING 201.18/202.05 c GARBAGE COLLECT 201.18/202.05 c rational objective 147 211.13/212.11 c #Conflicts: 159000 | #Constraints: 15475 211.13/212.11 c #Conflicts: 160000 | #Constraints: 16475 211.13/212.11 c #Conflicts: 161000 | #Constraints: 17475 211.13/212.11 c #Conflicts: 162000 | #Constraints: 18475 211.13/212.11 c #Conflicts: 163000 | #Constraints: 19475 211.13/212.11 c #Conflicts: 164000 | #Constraints: 20475 211.13/212.11 c #Conflicts: 165000 | #Constraints: 21475 211.13/212.11 c #Conflicts: 166000 | #Constraints: 22475 211.13/212.11 c #Conflicts: 167000 | #Constraints: 23475 211.13/212.11 c bounds 200 >= 147 @ 207.43 211.13/212.11 c #Conflicts: 168000 | #Constraints: 24476 211.13/212.11 c INPROCESSING 211.13/212.11 c GARBAGE COLLECT 211.13/212.11 c rational objective 147 315.19/316.51 c #Conflicts: 169000 | #Constraints: 13936 315.19/316.51 c #Conflicts: 170000 | #Constraints: 14936 315.19/316.51 c bounds 199 >= 147 @ 209.443 315.19/316.51 c #Conflicts: 171000 | #Constraints: 15937 315.19/316.51 c #Conflicts: 172000 | #Constraints: 16937 315.19/316.51 c #Conflicts: 173000 | #Constraints: 17937 315.19/316.51 c #Conflicts: 174000 | #Constraints: 18937 315.19/316.51 c #Conflicts: 175000 | #Constraints: 19937 315.19/316.51 c bounds 198 >= 147 @ 214.982 315.19/316.51 c #Conflicts: 176000 | #Constraints: 20938 315.19/316.51 c #Conflicts: 177000 | #Constraints: 21938 315.19/316.51 c #Conflicts: 178000 | #Constraints: 22938 315.19/316.51 c #Conflicts: 179000 | #Constraints: 23938 315.19/316.51 c #Conflicts: 180000 | #Constraints: 24938 315.19/316.51 c #Conflicts: 181000 | #Constraints: 25938 315.19/316.51 c #Conflicts: 182000 | #Constraints: 26938 315.19/316.51 c #Conflicts: 183000 | #Constraints: 27938 315.19/316.51 c #Conflicts: 184000 | #Constraints: 28938 315.19/316.51 c #Conflicts: 185000 | #Constraints: 29938 315.19/316.51 c #Conflicts: 186000 | #Constraints: 30938 315.19/316.51 c #Conflicts: 187000 | #Constraints: 31938 315.19/316.51 c #Conflicts: 188000 | #Constraints: 32938 315.19/316.51 c #Conflicts: 189000 | #Constraints: 33938 315.19/316.51 c #Conflicts: 190000 | #Constraints: 34938 315.19/316.51 c #Conflicts: 191000 | #Constraints: 35938 315.19/316.51 c #Conflicts: 192000 | #Constraints: 36938 315.19/316.51 c #Conflicts: 193000 | #Constraints: 37938 315.19/316.51 c #Conflicts: 194000 | #Constraints: 38938 315.19/316.51 c #Conflicts: 195000 | #Constraints: 39938 315.19/316.51 c #Conflicts: 196000 | #Constraints: 40938 315.19/316.51 c #Conflicts: 197000 | #Constraints: 41938 315.19/316.51 c #Conflicts: 198000 | #Constraints: 42938 315.19/316.51 c #Conflicts: 199000 | #Constraints: 43938 315.19/316.51 c #Conflicts: 200000 | #Constraints: 44938 315.19/316.51 c INPROCESSING 315.19/316.51 c GARBAGE COLLECT 315.19/316.51 c rational objective 147 334.01/335.44 c #Conflicts: 201000 | #Constraints: 24266 334.01/335.44 c #Conflicts: 202000 | #Constraints: 25266 334.01/335.44 c #Conflicts: 203000 | #Constraints: 26266 334.01/335.44 c #Conflicts: 204000 | #Constraints: 27266 334.01/335.44 c #Conflicts: 205000 | #Constraints: 28266 334.01/335.44 c #Conflicts: 206000 | #Constraints: 29266 334.01/335.44 c #Conflicts: 207000 | #Constraints: 30266 334.01/335.44 c #Conflicts: 208000 | #Constraints: 31266 334.01/335.44 c #Conflicts: 209000 | #Constraints: 32266 334.01/335.44 c #Conflicts: 210000 | #Constraints: 33266 334.01/335.44 c INPROCESSING 334.01/335.44 c GARBAGE COLLECT 334.01/335.44 c rational objective 147 349.85/351.33 c #Conflicts: 211000 | #Constraints: 18037 349.85/351.33 c #Conflicts: 212000 | #Constraints: 19037 349.85/351.33 c #Conflicts: 213000 | #Constraints: 20037 349.85/351.33 c #Conflicts: 214000 | #Constraints: 21037 349.85/351.33 c #Conflicts: 215000 | #Constraints: 22037 349.85/351.33 c #Conflicts: 216000 | #Constraints: 23037 349.85/351.33 c #Conflicts: 217000 | #Constraints: 24037 349.85/351.33 c #Conflicts: 218000 | #Constraints: 25037 349.85/351.33 c #Conflicts: 219000 | #Constraints: 26037 349.85/351.33 c #Conflicts: 220000 | #Constraints: 27037 349.85/351.33 c #Conflicts: 221000 | #Constraints: 28037 349.85/351.33 c INPROCESSING 349.85/351.33 c GARBAGE COLLECT 349.85/351.33 c rational objective 147 486.10/488.14 c #Conflicts: 222000 | #Constraints: 15519 486.10/488.14 c #Conflicts: 223000 | #Constraints: 16519 486.10/488.14 c #Conflicts: 224000 | #Constraints: 17519 486.10/488.14 c #Conflicts: 225000 | #Constraints: 18519 486.10/488.14 c #Conflicts: 226000 | #Constraints: 19519 486.10/488.14 c #Conflicts: 227000 | #Constraints: 20519 486.10/488.14 c #Conflicts: 228000 | #Constraints: 21519 486.10/488.14 c #Conflicts: 229000 | #Constraints: 22519 486.10/488.14 c #Conflicts: 230000 | #Constraints: 23519 486.10/488.14 c #Conflicts: 231000 | #Constraints: 24519 486.10/488.14 c #Conflicts: 232000 | #Constraints: 25519 486.10/488.14 c #Conflicts: 233000 | #Constraints: 26519 486.10/488.14 c #Conflicts: 234000 | #Constraints: 27519 486.10/488.14 c bounds 197 >= 147 @ 372.488 486.10/488.14 c #Conflicts: 235000 | #Constraints: 28520 486.10/488.14 c #Conflicts: 236000 | #Constraints: 29520 486.10/488.14 c #Conflicts: 237000 | #Constraints: 30520 486.10/488.14 c #Conflicts: 238000 | #Constraints: 31520 486.10/488.14 c #Conflicts: 239000 | #Constraints: 32520 486.10/488.14 c #Conflicts: 240000 | #Constraints: 33520 486.10/488.14 c #Conflicts: 241000 | #Constraints: 34520 486.10/488.14 c #Conflicts: 242000 | #Constraints: 35520 486.10/488.14 c #Conflicts: 243000 | #Constraints: 36520 486.10/488.14 c #Conflicts: 244000 | #Constraints: 37520 486.10/488.14 c #Conflicts: 245000 | #Constraints: 38520 486.10/488.14 c #Conflicts: 246000 | #Constraints: 39520 486.10/488.14 c #Conflicts: 247000 | #Constraints: 40520 486.10/488.14 c #Conflicts: 248000 | #Constraints: 41520 486.10/488.14 c #Conflicts: 249000 | #Constraints: 42520 486.10/488.14 c #Conflicts: 250000 | #Constraints: 43520 486.10/488.14 c #Conflicts: 251000 | #Constraints: 44520 486.10/488.14 c #Conflicts: 252000 | #Constraints: 45520 486.10/488.14 c #Conflicts: 253000 | #Constraints: 46520 486.10/488.14 c #Conflicts: 254000 | #Constraints: 47520 486.10/488.14 c #Conflicts: 255000 | #Constraints: 48520 486.10/488.14 c #Conflicts: 256000 | #Constraints: 49520 486.10/488.14 c #Conflicts: 257000 | #Constraints: 50520 486.10/488.14 c INPROCESSING 486.10/488.14 c GARBAGE COLLECT 486.10/488.14 c rational objective 147 506.11/508.20 c #Conflicts: 258000 | #Constraints: 26756 506.11/508.20 c #Conflicts: 259000 | #Constraints: 27756 506.11/508.20 c #Conflicts: 260000 | #Constraints: 28756 506.11/508.20 c #Conflicts: 261000 | #Constraints: 29756 506.11/508.20 c #Conflicts: 262000 | #Constraints: 30756 506.11/508.20 c #Conflicts: 263000 | #Constraints: 31756 506.11/508.20 c #Conflicts: 264000 | #Constraints: 32756 506.11/508.20 c #Conflicts: 265000 | #Constraints: 33756 506.11/508.20 c #Conflicts: 266000 | #Constraints: 34756 506.11/508.20 c #Conflicts: 267000 | #Constraints: 35756 506.11/508.20 c #Conflicts: 268000 | #Constraints: 36756 506.11/508.20 c #Conflicts: 269000 | #Constraints: 37757 506.11/508.20 c INPROCESSING 506.11/508.20 c GARBAGE COLLECT 506.11/508.20 c rational objective 147 526.04/528.24 c #Conflicts: 270000 | #Constraints: 20231 526.04/528.24 c #Conflicts: 271000 | #Constraints: 21231 526.04/528.24 c #Conflicts: 272000 | #Constraints: 22231 526.04/528.24 c #Conflicts: 273000 | #Constraints: 23232 526.04/528.24 c #Conflicts: 274000 | #Constraints: 24232 526.04/528.24 c #Conflicts: 275000 | #Constraints: 25232 526.04/528.24 c #Conflicts: 276000 | #Constraints: 26232 526.04/528.24 c #Conflicts: 277000 | #Constraints: 27232 526.04/528.24 c #Conflicts: 278000 | #Constraints: 28232 526.04/528.24 c #Conflicts: 279000 | #Constraints: 29232 526.04/528.24 c #Conflicts: 280000 | #Constraints: 30232 526.04/528.24 c #Conflicts: 281000 | #Constraints: 31232 526.04/528.24 c #Conflicts: 282000 | #Constraints: 32232 526.04/528.24 c INPROCESSING 526.04/528.24 c GARBAGE COLLECT 526.04/528.24 c rational objective 147 721.34/724.21 c #Conflicts: 283000 | #Constraints: 17821 721.34/724.21 c #Conflicts: 284000 | #Constraints: 18821 721.34/724.21 c #Conflicts: 285000 | #Constraints: 19821 721.34/724.21 c #Conflicts: 286000 | #Constraints: 20821 721.34/724.21 c #Conflicts: 287000 | #Constraints: 21821 721.34/724.21 c #Conflicts: 288000 | #Constraints: 22821 721.34/724.21 c #Conflicts: 289000 | #Constraints: 23822 721.34/724.21 c #Conflicts: 290000 | #Constraints: 24822 721.34/724.21 c #Conflicts: 291000 | #Constraints: 25822 721.34/724.21 c #Conflicts: 292000 | #Constraints: 26822 721.34/724.21 c #Conflicts: 293000 | #Constraints: 27822 721.34/724.21 c #Conflicts: 294000 | #Constraints: 28822 721.34/724.21 c #Conflicts: 295000 | #Constraints: 29822 721.34/724.21 c bounds 196 >= 147 @ 540.755 721.34/724.21 c #Conflicts: 296000 | #Constraints: 30823 721.34/724.21 c #Conflicts: 297000 | #Constraints: 31823 721.34/724.21 c #Conflicts: 298000 | #Constraints: 32823 721.34/724.21 c #Conflicts: 299000 | #Constraints: 33823 721.34/724.21 c #Conflicts: 300000 | #Constraints: 34823 721.34/724.21 c bounds 195 >= 147 @ 552.794 721.34/724.21 c #Conflicts: 301000 | #Constraints: 35824 721.34/724.21 c #Conflicts: 302000 | #Constraints: 36824 721.34/724.21 c #Conflicts: 303000 | #Constraints: 37824 721.34/724.21 c #Conflicts: 304000 | #Constraints: 38824 721.34/724.21 c #Conflicts: 305000 | #Constraints: 39824 721.34/724.21 c #Conflicts: 306000 | #Constraints: 40824 721.34/724.21 c #Conflicts: 307000 | #Constraints: 41824 721.34/724.21 c #Conflicts: 308000 | #Constraints: 42824 721.34/724.21 c #Conflicts: 309000 | #Constraints: 43824 721.34/724.21 c #Conflicts: 310000 | #Constraints: 44824 721.34/724.21 c #Conflicts: 311000 | #Constraints: 45824 721.34/724.21 c #Conflicts: 312000 | #Constraints: 46824 721.34/724.21 c #Conflicts: 313000 | #Constraints: 47824 721.34/724.21 c #Conflicts: 314000 | #Constraints: 48824 721.34/724.21 c #Conflicts: 315000 | #Constraints: 49824 721.34/724.21 c #Conflicts: 316000 | #Constraints: 50824 721.34/724.21 c #Conflicts: 317000 | #Constraints: 51824 721.34/724.21 c #Conflicts: 318000 | #Constraints: 52824 721.34/724.21 c #Conflicts: 319000 | #Constraints: 53824 721.34/724.21 c #Conflicts: 320000 | #Constraints: 54824 721.34/724.21 c #Conflicts: 321000 | #Constraints: 55824 721.34/724.21 c #Conflicts: 322000 | #Constraints: 56824 721.34/724.21 c INPROCESSING 721.34/724.21 c GARBAGE COLLECT 721.34/724.21 c rational objective 147 743.27/746.20 c #Conflicts: 323000 | #Constraints: 30010 743.27/746.20 c #Conflicts: 324000 | #Constraints: 31010 743.27/746.20 c #Conflicts: 325000 | #Constraints: 32010 743.27/746.20 c #Conflicts: 326000 | #Constraints: 33010 743.27/746.20 c #Conflicts: 327000 | #Constraints: 34010 743.27/746.20 c #Conflicts: 328000 | #Constraints: 35010 743.27/746.20 c #Conflicts: 329000 | #Constraints: 36010 743.27/746.20 c #Conflicts: 330000 | #Constraints: 37010 743.27/746.20 c #Conflicts: 331000 | #Constraints: 38010 743.27/746.20 c #Conflicts: 332000 | #Constraints: 39010 743.27/746.20 c #Conflicts: 333000 | #Constraints: 40010 743.27/746.20 c #Conflicts: 334000 | #Constraints: 41010 743.27/746.20 c #Conflicts: 335000 | #Constraints: 42010 743.27/746.20 c #Conflicts: 336000 | #Constraints: 43010 743.27/746.20 c INPROCESSING 743.27/746.20 c GARBAGE COLLECT 743.27/746.20 c rational objective 147 765.00/768.04 c #Conflicts: 337000 | #Constraints: 23219 765.00/768.04 c #Conflicts: 338000 | #Constraints: 24219 765.00/768.04 c #Conflicts: 339000 | #Constraints: 25219 765.00/768.04 c #Conflicts: 340000 | #Constraints: 26219 765.00/768.04 c #Conflicts: 341000 | #Constraints: 27220 765.00/768.04 c #Conflicts: 342000 | #Constraints: 28220 765.00/768.04 c #Conflicts: 343000 | #Constraints: 29220 765.00/768.04 c #Conflicts: 344000 | #Constraints: 30220 765.00/768.04 c #Conflicts: 345000 | #Constraints: 31220 765.00/768.04 c #Conflicts: 346000 | #Constraints: 32220 765.00/768.04 c #Conflicts: 347000 | #Constraints: 33220 765.00/768.04 c #Conflicts: 348000 | #Constraints: 34220 765.00/768.04 c #Conflicts: 349000 | #Constraints: 35220 765.00/768.04 c INPROCESSING 765.00/768.04 c GARBAGE COLLECT 765.00/768.04 c rational objective 147 927.60/931.22 c #Conflicts: 350000 | #Constraints: 18917 927.60/931.22 c #Conflicts: 351000 | #Constraints: 19917 927.60/931.22 c #Conflicts: 352000 | #Constraints: 20917 927.60/931.22 c #Conflicts: 353000 | #Constraints: 21917 927.60/931.22 c #Conflicts: 354000 | #Constraints: 22917 927.60/931.22 c #Conflicts: 355000 | #Constraints: 23917 927.60/931.22 c #Conflicts: 356000 | #Constraints: 24917 927.60/931.22 c #Conflicts: 357000 | #Constraints: 25917 927.60/931.22 c #Conflicts: 358000 | #Constraints: 26917 927.60/931.22 c #Conflicts: 359000 | #Constraints: 27917 927.60/931.22 c #Conflicts: 360000 | #Constraints: 28917 927.60/931.22 c #Conflicts: 361000 | #Constraints: 29917 927.60/931.22 c #Conflicts: 362000 | #Constraints: 30917 927.60/931.22 c #Conflicts: 363000 | #Constraints: 31917 927.60/931.22 c #Conflicts: 364000 | #Constraints: 32917 927.60/931.22 c #Conflicts: 365000 | #Constraints: 33917 927.60/931.22 c #Conflicts: 366000 | #Constraints: 34917 927.60/931.22 c #Conflicts: 367000 | #Constraints: 35917 927.60/931.22 c #Conflicts: 368000 | #Constraints: 36917 927.60/931.22 c #Conflicts: 369000 | #Constraints: 37917 927.60/931.22 c #Conflicts: 370000 | #Constraints: 38917 927.60/931.22 c #Conflicts: 371000 | #Constraints: 39917 927.60/931.22 c #Conflicts: 372000 | #Constraints: 40917 927.60/931.22 c #Conflicts: 373000 | #Constraints: 41917 927.60/931.22 c #Conflicts: 374000 | #Constraints: 42917 927.60/931.22 c #Conflicts: 375000 | #Constraints: 43917 927.60/931.22 c #Conflicts: 376000 | #Constraints: 44917 927.60/931.22 c #Conflicts: 377000 | #Constraints: 45917 927.60/931.22 c #Conflicts: 378000 | #Constraints: 46917 927.60/931.22 c #Conflicts: 379000 | #Constraints: 47917 927.60/931.22 c #Conflicts: 380000 | #Constraints: 48917 927.60/931.22 c #Conflicts: 381000 | #Constraints: 49917 927.60/931.22 c #Conflicts: 382000 | #Constraints: 50917 927.60/931.22 c #Conflicts: 383000 | #Constraints: 51917 927.60/931.22 c #Conflicts: 384000 | #Constraints: 52917 927.60/931.22 c #Conflicts: 385000 | #Constraints: 53917 927.60/931.22 c #Conflicts: 386000 | #Constraints: 54917 927.60/931.22 c #Conflicts: 387000 | #Constraints: 55917 927.60/931.22 c #Conflicts: 388000 | #Constraints: 56917 927.60/931.22 c #Conflicts: 389000 | #Constraints: 57917 927.60/931.22 c #Conflicts: 390000 | #Constraints: 58917 927.60/931.22 c #Conflicts: 391000 | #Constraints: 59917 927.60/931.22 c #Conflicts: 392000 | #Constraints: 60917 927.60/931.22 c #Conflicts: 393000 | #Constraints: 61917 927.60/931.22 c #Conflicts: 394000 | #Constraints: 62917 927.60/931.22 c INPROCESSING 927.60/931.22 c GARBAGE COLLECT 927.60/931.22 c rational objective 147 1045.17/1049.21 c #Conflicts: 395000 | #Constraints: 32969 1045.17/1049.21 c #Conflicts: 396000 | #Constraints: 33969 1045.17/1049.21 c #Conflicts: 397000 | #Constraints: 34969 1045.17/1049.21 c #Conflicts: 398000 | #Constraints: 35969 1045.17/1049.21 c #Conflicts: 399000 | #Constraints: 36969 1045.17/1049.21 c #Conflicts: 400000 | #Constraints: 37969 1045.17/1049.21 c #Conflicts: 401000 | #Constraints: 38969 1045.17/1049.21 c #Conflicts: 402000 | #Constraints: 39969 1045.17/1049.21 c #Conflicts: 403000 | #Constraints: 40969 1045.17/1049.21 c #Conflicts: 404000 | #Constraints: 41969 1045.17/1049.21 c #Conflicts: 405000 | #Constraints: 42969 1045.17/1049.21 c #Conflicts: 406000 | #Constraints: 43969 1045.17/1049.21 c #Conflicts: 407000 | #Constraints: 44969 1045.17/1049.21 c #Conflicts: 408000 | #Constraints: 45969 1045.17/1049.21 c #Conflicts: 409000 | #Constraints: 46969 1045.17/1049.21 c INPROCESSING 1045.17/1049.21 c GARBAGE COLLECT 1045.17/1049.21 c rational objective 147 1107.95/1112.23 c #Conflicts: 410000 | #Constraints: 25041 1107.95/1112.23 c #Conflicts: 411000 | #Constraints: 26041 1107.95/1112.23 c #Conflicts: 412000 | #Constraints: 27041 1107.95/1112.23 c #Conflicts: 413000 | #Constraints: 28041 1107.95/1112.23 c #Conflicts: 414000 | #Constraints: 29041 1107.95/1112.23 c #Conflicts: 415000 | #Constraints: 30041 1107.95/1112.23 c #Conflicts: 416000 | #Constraints: 31041 1107.95/1112.23 c #Conflicts: 417000 | #Constraints: 32041 1107.95/1112.23 c #Conflicts: 418000 | #Constraints: 33041 1107.95/1112.23 c #Conflicts: 419000 | #Constraints: 34041 1107.95/1112.23 c #Conflicts: 420000 | #Constraints: 35041 1107.95/1112.23 c #Conflicts: 421000 | #Constraints: 36041 1107.95/1112.23 c #Conflicts: 422000 | #Constraints: 37041 1107.95/1112.23 c #Conflicts: 423000 | #Constraints: 38041 1107.95/1112.23 c #Conflicts: 424000 | #Constraints: 39041 1107.95/1112.23 c INPROCESSING 1107.95/1112.23 c GARBAGE COLLECT 1107.95/1112.23 c rational objective 147 1306.34/1311.34 c #Conflicts: 425000 | #Constraints: 20948 1306.34/1311.34 c #Conflicts: 426000 | #Constraints: 21948 1306.34/1311.34 c #Conflicts: 427000 | #Constraints: 22948 1306.34/1311.34 c #Conflicts: 428000 | #Constraints: 23948 1306.34/1311.34 c #Conflicts: 429000 | #Constraints: 24948 1306.34/1311.34 c #Conflicts: 430000 | #Constraints: 25948 1306.34/1311.34 c #Conflicts: 431000 | #Constraints: 26948 1306.34/1311.34 c #Conflicts: 432000 | #Constraints: 27948 1306.34/1311.34 c #Conflicts: 433000 | #Constraints: 28948 1306.34/1311.34 c #Conflicts: 434000 | #Constraints: 29948 1306.34/1311.34 c #Conflicts: 435000 | #Constraints: 30948 1306.34/1311.34 c #Conflicts: 436000 | #Constraints: 31948 1306.34/1311.34 c #Conflicts: 437000 | #Constraints: 32948 1306.34/1311.34 c #Conflicts: 438000 | #Constraints: 33948 1306.34/1311.34 c #Conflicts: 439000 | #Constraints: 34948 1306.34/1311.34 c #Conflicts: 440000 | #Constraints: 35948 1306.34/1311.34 c #Conflicts: 441000 | #Constraints: 36948 1306.34/1311.34 c #Conflicts: 442000 | #Constraints: 37948 1306.34/1311.34 c #Conflicts: 443000 | #Constraints: 38948 1306.34/1311.34 c #Conflicts: 444000 | #Constraints: 39948 1306.34/1311.34 c #Conflicts: 445000 | #Constraints: 40948 1306.34/1311.34 c #Conflicts: 446000 | #Constraints: 41948 1306.34/1311.34 c #Conflicts: 447000 | #Constraints: 42948 1306.34/1311.34 c #Conflicts: 448000 | #Constraints: 43948 1306.34/1311.34 c #Conflicts: 449000 | #Constraints: 44948 1306.34/1311.34 c #Conflicts: 450000 | #Constraints: 45948 1306.34/1311.34 c #Conflicts: 451000 | #Constraints: 46948 1306.34/1311.34 c #Conflicts: 452000 | #Constraints: 47948 1306.34/1311.34 c #Conflicts: 453000 | #Constraints: 48948 1306.34/1311.34 c #Conflicts: 454000 | #Constraints: 49948 1306.34/1311.34 c #Conflicts: 455000 | #Constraints: 50948 1306.34/1311.34 c #Conflicts: 456000 | #Constraints: 51948 1306.34/1311.34 c #Conflicts: 457000 | #Constraints: 52948 1306.34/1311.34 c #Conflicts: 458000 | #Constraints: 53948 1306.34/1311.34 c #Conflicts: 459000 | #Constraints: 54948 1306.34/1311.34 c #Conflicts: 460000 | #Constraints: 55948 1306.34/1311.34 c #Conflicts: 461000 | #Constraints: 56948 1306.34/1311.34 c #Conflicts: 462000 | #Constraints: 57948 1306.34/1311.34 c #Conflicts: 463000 | #Constraints: 58948 1306.34/1311.34 c #Conflicts: 464000 | #Constraints: 59948 1306.34/1311.34 c #Conflicts: 465000 | #Constraints: 60948 1306.34/1311.34 c #Conflicts: 466000 | #Constraints: 61948 1306.34/1311.34 c #Conflicts: 467000 | #Constraints: 62948 1306.34/1311.34 c #Conflicts: 468000 | #Constraints: 63948 1306.34/1311.34 c #Conflicts: 469000 | #Constraints: 64948 1306.34/1311.34 c #Conflicts: 470000 | #Constraints: 65948 1306.34/1311.34 c #Conflicts: 471000 | #Constraints: 66948 1306.34/1311.34 c #Conflicts: 472000 | #Constraints: 67948 1306.34/1311.34 c #Conflicts: 473000 | #Constraints: 68948 1306.34/1311.34 c INPROCESSING 1306.34/1311.34 c GARBAGE COLLECT 1306.34/1311.34 c rational objective 147 1428.41/1433.85 c #Conflicts: 474000 | #Constraints: 35885 1428.41/1433.85 c #Conflicts: 475000 | #Constraints: 36885 1428.41/1433.85 c #Conflicts: 476000 | #Constraints: 37885 1428.41/1433.85 c #Conflicts: 477000 | #Constraints: 38885 1428.41/1433.85 c #Conflicts: 478000 | #Constraints: 39885 1428.41/1433.85 c #Conflicts: 479000 | #Constraints: 40885 1428.41/1433.85 c #Conflicts: 480000 | #Constraints: 41885 1428.41/1433.85 c bounds 195 >= 148 @ 1337.84 1428.41/1433.85 c #Conflicts: 481000 | #Constraints: 42930 1428.41/1433.85 c #Conflicts: 482000 | #Constraints: 43930 1428.41/1433.85 c #Conflicts: 483000 | #Constraints: 44930 1428.41/1433.85 c #Conflicts: 484000 | #Constraints: 45930 1428.41/1433.85 c #Conflicts: 485000 | #Constraints: 46930 1428.41/1433.85 c #Conflicts: 486000 | #Constraints: 47930 1428.41/1433.85 c #Conflicts: 487000 | #Constraints: 48930 1428.41/1433.85 c #Conflicts: 488000 | #Constraints: 49930 1428.41/1433.85 c #Conflicts: 489000 | #Constraints: 50930 1428.41/1433.85 c #Conflicts: 490000 | #Constraints: 51930 1428.41/1433.85 c INPROCESSING 1428.41/1433.85 c GARBAGE COLLECT 1428.41/1433.85 c rational objective 148 1489.51/1495.18 c #Conflicts: 491000 | #Constraints: 27678 1489.51/1495.18 c #Conflicts: 492000 | #Constraints: 28678 1489.51/1495.18 c #Conflicts: 493000 | #Constraints: 29678 1489.51/1495.18 c #Conflicts: 494000 | #Constraints: 30678 1489.51/1495.18 c #Conflicts: 495000 | #Constraints: 31678 1489.51/1495.18 c #Conflicts: 496000 | #Constraints: 32678 1489.51/1495.18 c #Conflicts: 497000 | #Constraints: 33678 1489.51/1495.18 c #Conflicts: 498000 | #Constraints: 34678 1489.51/1495.18 c #Conflicts: 499000 | #Constraints: 35678 1489.51/1495.18 c #Conflicts: 500000 | #Constraints: 36678 1489.51/1495.18 c #Conflicts: 501000 | #Constraints: 37678 1489.51/1495.18 c #Conflicts: 502000 | #Constraints: 38678 1489.51/1495.18 c #Conflicts: 503000 | #Constraints: 39678 1489.51/1495.18 c #Conflicts: 504000 | #Constraints: 40678 1489.51/1495.18 c #Conflicts: 505000 | #Constraints: 41678 1489.51/1495.18 c #Conflicts: 506000 | #Constraints: 42678 1489.51/1495.18 c #Conflicts: 507000 | #Constraints: 43678 1489.51/1495.18 c INPROCESSING 1489.51/1495.18 c GARBAGE COLLECT 1489.51/1495.18 c rational objective 148 1780.58/1787.28 c #Conflicts: 508000 | #Constraints: 23651 1780.58/1787.28 c #Conflicts: 509000 | #Constraints: 24651 1780.58/1787.28 c #Conflicts: 510000 | #Constraints: 25651 1780.58/1787.28 c #Conflicts: 511000 | #Constraints: 26651 1780.58/1787.28 c #Conflicts: 512000 | #Constraints: 27651 1780.58/1787.28 c #Conflicts: 513000 | #Constraints: 28651 1780.58/1787.28 c #Conflicts: 514000 | #Constraints: 29651 1780.58/1787.28 c #Conflicts: 515000 | #Constraints: 30651 1780.58/1787.28 c #Conflicts: 516000 | #Constraints: 31651 1780.58/1787.28 c #Conflicts: 517000 | #Constraints: 32651 1780.58/1787.28 c #Conflicts: 518000 | #Constraints: 33651 1780.58/1787.28 c #Conflicts: 519000 | #Constraints: 34651 1780.58/1787.28 c #Conflicts: 520000 | #Constraints: 35651 1780.58/1787.28 c #Conflicts: 521000 | #Constraints: 36651 1780.58/1787.28 c #Conflicts: 522000 | #Constraints: 37651 1780.58/1787.28 c #Conflicts: 523000 | #Constraints: 38651 1780.58/1787.28 c #Conflicts: 524000 | #Constraints: 39651 1780.58/1787.28 c #Conflicts: 525000 | #Constraints: 40651 1780.58/1787.28 c #Conflicts: 526000 | #Constraints: 41651 1780.58/1787.28 c #Conflicts: 527000 | #Constraints: 42651 1780.58/1787.28 c #Conflicts: 528000 | #Constraints: 43651 1780.58/1787.28 c #Conflicts: 529000 | #Constraints: 44651 1780.58/1787.28 c #Conflicts: 530000 | #Constraints: 45651 1780.58/1787.28 c #Conflicts: 531000 | #Constraints: 46651 1780.58/1787.28 c #Conflicts: 532000 | #Constraints: 47651 1780.58/1787.28 c #Conflicts: 533000 | #Constraints: 48651 1780.58/1787.28 c #Conflicts: 534000 | #Constraints: 49651 1780.58/1787.28 c #Conflicts: 535000 | #Constraints: 50651 1780.58/1787.28 c #Conflicts: 536000 | #Constraints: 51651 1780.58/1787.28 c #Conflicts: 537000 | #Constraints: 52651 1780.58/1787.28 c #Conflicts: 538000 | #Constraints: 53651 1780.58/1787.28 c #Conflicts: 539000 | #Constraints: 54651 1780.58/1787.28 c #Conflicts: 540000 | #Constraints: 55651 1780.58/1787.28 c #Conflicts: 541000 | #Constraints: 56651 1780.58/1787.28 c #Conflicts: 542000 | #Constraints: 57651 1780.58/1787.28 c #Conflicts: 543000 | #Constraints: 58651 1780.58/1787.28 c #Conflicts: 544000 | #Constraints: 59651 1780.58/1787.28 c #Conflicts: 545000 | #Constraints: 60651 1780.58/1787.28 c #Conflicts: 546000 | #Constraints: 61651 1780.58/1787.28 c #Conflicts: 547000 | #Constraints: 62651 1780.58/1787.28 c #Conflicts: 548000 | #Constraints: 63651 1780.58/1787.28 c #Conflicts: 549000 | #Constraints: 64651 1780.58/1787.28 c #Conflicts: 550000 | #Constraints: 65651 1780.58/1787.28 c #Conflicts: 551000 | #Constraints: 66651 1780.58/1787.28 c #Conflicts: 552000 | #Constraints: 67651 1780.58/1787.28 c #Conflicts: 553000 | #Constraints: 68651 1780.58/1787.28 c #Conflicts: 554000 | #Constraints: 69651 1780.58/1787.28 c #Conflicts: 555000 | #Constraints: 70651 1780.58/1787.28 c #Conflicts: 556000 | #Constraints: 71651 1780.58/1787.28 c #Conflicts: 557000 | #Constraints: 72651 1780.58/1787.28 c #Conflicts: 558000 | #Constraints: 73651 1780.58/1787.28 c #Conflicts: 559000 | #Constraints: 74651 1780.58/1787.28 c #Conflicts: 560000 | #Constraints: 75651 1780.58/1787.28 c INPROCESSING 1780.58/1787.28 c GARBAGE COLLECT 1780.58/1787.28 c rational objective 148 1840.47/1847.33 c #Conflicts: 561000 | #Constraints: 39663 1840.47/1847.33 c #Conflicts: 562000 | #Constraints: 40663 1840.47/1847.33 c #Conflicts: 563000 | #Constraints: 41664 1840.47/1847.33 c #Conflicts: 564000 | #Constraints: 42664 1840.47/1847.33 c #Conflicts: 565000 | #Constraints: 43664 1840.47/1847.33 c #Conflicts: 566000 | #Constraints: 44664 1840.47/1847.33 c #Conflicts: 567000 | #Constraints: 45664 1840.47/1847.33 c #Conflicts: 568000 | #Constraints: 46664 1840.47/1847.33 c #Conflicts: 569000 | #Constraints: 47664 1840.47/1847.33 c #Conflicts: 570000 | #Constraints: 48664 1840.47/1847.33 c #Conflicts: 571000 | #Constraints: 49664 1840.47/1847.33 c #Conflicts: 572000 | #Constraints: 50664 1840.47/1847.33 c #Conflicts: 573000 | #Constraints: 51664 1840.47/1847.33 c #Conflicts: 574000 | #Constraints: 52664 1840.47/1847.33 c #Conflicts: 575000 | #Constraints: 53664 1840.47/1847.33 c #Conflicts: 576000 | #Constraints: 54664 1840.47/1847.33 c #Conflicts: 577000 | #Constraints: 55664 1840.47/1847.33 c #Conflicts: 578000 | #Constraints: 56664 1840.47/1847.33 c INPROCESSING 1840.47/1847.33 c GARBAGE COLLECT 1840.47/1847.33 c rational objective 148 1899.46/1906.51 c #Conflicts: 579000 | #Constraints: 30012 1899.46/1906.51 c #Conflicts: 580000 | #Constraints: 31012 1899.46/1906.51 c #Conflicts: 581000 | #Constraints: 32012 1899.46/1906.51 c #Conflicts: 582000 | #Constraints: 33012 1899.46/1906.51 c #Conflicts: 583000 | #Constraints: 34012 1899.46/1906.51 c #Conflicts: 584000 | #Constraints: 35013 1899.46/1906.51 c #Conflicts: 585000 | #Constraints: 36013 1899.46/1906.51 c #Conflicts: 586000 | #Constraints: 37013 1899.46/1906.51 c #Conflicts: 587000 | #Constraints: 38013 1899.46/1906.51 c #Conflicts: 588000 | #Constraints: 39013 1899.46/1906.51 c #Conflicts: 589000 | #Constraints: 40013 1899.46/1906.51 c #Conflicts: 590000 | #Constraints: 41013 1899.46/1906.51 c #Conflicts: 591000 | #Constraints: 42013 1899.46/1906.51 c #Conflicts: 592000 | #Constraints: 43013 1899.46/1906.51 c #Conflicts: 593000 | #Constraints: 44013 1899.46/1906.51 c #Conflicts: 594000 | #Constraints: 45013 1899.46/1906.51 c #Conflicts: 595000 | #Constraints: 46013 1899.46/1906.51 c #Conflicts: 596000 | #Constraints: 47013 1899.46/1906.51 c INPROCESSING 1899.46/1906.51 c GARBAGE COLLECT 1899.46/1906.51 c rational objective 148 2219.04/2227.21 c #Conflicts: 597000 | #Constraints: 26257 2219.04/2227.21 c #Conflicts: 598000 | #Constraints: 27257 2219.04/2227.21 c #Conflicts: 599000 | #Constraints: 28257 2219.04/2227.21 c #Conflicts: 600000 | #Constraints: 29257 2219.04/2227.21 c #Conflicts: 601000 | #Constraints: 30257 2219.04/2227.21 c #Conflicts: 602000 | #Constraints: 31257 2219.04/2227.21 c #Conflicts: 603000 | #Constraints: 32257 2219.04/2227.21 c #Conflicts: 604000 | #Constraints: 33257 2219.04/2227.21 c #Conflicts: 605000 | #Constraints: 34257 2219.04/2227.21 c #Conflicts: 606000 | #Constraints: 35257 2219.04/2227.21 c #Conflicts: 607000 | #Constraints: 36257 2219.04/2227.21 c #Conflicts: 608000 | #Constraints: 37257 2219.04/2227.21 c #Conflicts: 609000 | #Constraints: 38257 2219.04/2227.21 c #Conflicts: 610000 | #Constraints: 39257 2219.04/2227.21 c #Conflicts: 611000 | #Constraints: 40257 2219.04/2227.21 c #Conflicts: 612000 | #Constraints: 41257 2219.04/2227.21 c #Conflicts: 613000 | #Constraints: 42257 2219.04/2227.21 c #Conflicts: 614000 | #Constraints: 43257 2219.04/2227.21 c #Conflicts: 615000 | #Constraints: 44257 2219.04/2227.21 c #Conflicts: 616000 | #Constraints: 45257 2219.04/2227.21 c #Conflicts: 617000 | #Constraints: 46257 2219.04/2227.21 c #Conflicts: 618000 | #Constraints: 47257 2219.04/2227.21 c #Conflicts: 619000 | #Constraints: 48257 2219.04/2227.21 c #Conflicts: 620000 | #Constraints: 49257 2219.04/2227.21 c #Conflicts: 621000 | #Constraints: 50257 2219.04/2227.21 c #Conflicts: 622000 | #Constraints: 51257 2219.04/2227.21 c #Conflicts: 623000 | #Constraints: 52257 2219.04/2227.21 c #Conflicts: 624000 | #Constraints: 53257 2219.04/2227.21 c #Conflicts: 625000 | #Constraints: 54257 2219.04/2227.21 c #Conflicts: 626000 | #Constraints: 55257 2219.04/2227.21 c #Conflicts: 627000 | #Constraints: 56257 2219.04/2227.21 c #Conflicts: 628000 | #Constraints: 57257 2219.04/2227.21 c #Conflicts: 629000 | #Constraints: 58257 2219.04/2227.21 c #Conflicts: 630000 | #Constraints: 59257 2219.04/2227.21 c #Conflicts: 631000 | #Constraints: 60257 2219.04/2227.21 c #Conflicts: 632000 | #Constraints: 61257 2219.04/2227.21 c #Conflicts: 633000 | #Constraints: 62257 2219.04/2227.21 c #Conflicts: 634000 | #Constraints: 63257 2219.04/2227.21 c #Conflicts: 635000 | #Constraints: 64257 2219.04/2227.21 c #Conflicts: 636000 | #Constraints: 65257 2219.04/2227.21 c #Conflicts: 637000 | #Constraints: 66257 2219.04/2227.21 c #Conflicts: 638000 | #Constraints: 67257 2219.04/2227.21 c #Conflicts: 639000 | #Constraints: 68257 2219.04/2227.21 c #Conflicts: 640000 | #Constraints: 69257 2219.04/2227.21 c #Conflicts: 641000 | #Constraints: 70257 2219.04/2227.21 c #Conflicts: 642000 | #Constraints: 71257 2219.04/2227.21 c #Conflicts: 643000 | #Constraints: 72257 2219.04/2227.21 c #Conflicts: 644000 | #Constraints: 73257 2219.04/2227.21 c #Conflicts: 645000 | #Constraints: 74257 2219.04/2227.21 c #Conflicts: 646000 | #Constraints: 75257 2219.04/2227.21 c #Conflicts: 647000 | #Constraints: 76257 2219.04/2227.21 c #Conflicts: 648000 | #Constraints: 77257 2219.04/2227.21 c #Conflicts: 649000 | #Constraints: 78257 2219.04/2227.21 c #Conflicts: 650000 | #Constraints: 79257 2219.04/2227.21 c #Conflicts: 651000 | #Constraints: 80257 2219.04/2227.21 c #Conflicts: 652000 | #Constraints: 81257 2219.04/2227.21 c #Conflicts: 653000 | #Constraints: 82257 2219.04/2227.21 c INPROCESSING 2219.04/2227.21 c GARBAGE COLLECT 2219.04/2227.21 c rational objective 148 2457.62/2466.63 c #Conflicts: 654000 | #Constraints: 42570 2457.62/2466.63 c #Conflicts: 655000 | #Constraints: 43570 2457.62/2466.63 c #Conflicts: 656000 | #Constraints: 44570 2457.62/2466.63 c #Conflicts: 657000 | #Constraints: 45570 2457.62/2466.63 c #Conflicts: 658000 | #Constraints: 46570 2457.62/2466.63 c #Conflicts: 659000 | #Constraints: 47570 2457.62/2466.63 c #Conflicts: 660000 | #Constraints: 48570 2457.62/2466.63 c #Conflicts: 661000 | #Constraints: 49570 2457.62/2466.63 c #Conflicts: 662000 | #Constraints: 50570 2457.62/2466.63 c #Conflicts: 663000 | #Constraints: 51570 2457.62/2466.63 c #Conflicts: 664000 | #Constraints: 52570 2457.62/2466.63 c #Conflicts: 665000 | #Constraints: 53570 2457.62/2466.63 c #Conflicts: 666000 | #Constraints: 54570 2457.62/2466.63 c #Conflicts: 667000 | #Constraints: 55570 2457.62/2466.63 c #Conflicts: 668000 | #Constraints: 56570 2457.62/2466.63 c #Conflicts: 669000 | #Constraints: 57570 2457.62/2466.63 c #Conflicts: 670000 | #Constraints: 58570 2457.62/2466.63 c #Conflicts: 671000 | #Constraints: 59570 2457.62/2466.63 c #Conflicts: 672000 | #Constraints: 60570 2457.62/2466.63 c #Conflicts: 673000 | #Constraints: 61570 2457.62/2466.63 c INPROCESSING 2457.62/2466.63 c GARBAGE COLLECT 2457.62/2466.63 c rational objective 148 2564.05/2573.44 c #Conflicts: 674000 | #Constraints: 32517 2564.05/2573.44 c #Conflicts: 675000 | #Constraints: 33517 2564.05/2573.44 c #Conflicts: 676000 | #Constraints: 34517 2564.05/2573.44 c #Conflicts: 677000 | #Constraints: 35517 2564.05/2573.44 c #Conflicts: 678000 | #Constraints: 36517 2564.05/2573.44 c #Conflicts: 679000 | #Constraints: 37517 2564.05/2573.44 c #Conflicts: 680000 | #Constraints: 38517 2564.05/2573.44 c #Conflicts: 681000 | #Constraints: 39517 2564.05/2573.44 c #Conflicts: 682000 | #Constraints: 40517 2564.05/2573.44 c #Conflicts: 683000 | #Constraints: 41517 2564.05/2573.44 c #Conflicts: 684000 | #Constraints: 42517 2564.05/2573.44 c #Conflicts: 685000 | #Constraints: 43517 2564.05/2573.44 c #Conflicts: 686000 | #Constraints: 44517 2564.05/2573.44 c #Conflicts: 687000 | #Constraints: 45517 2564.05/2573.44 c #Conflicts: 688000 | #Constraints: 46517 2564.05/2573.44 c #Conflicts: 689000 | #Constraints: 47517 2564.05/2573.44 c #Conflicts: 690000 | #Constraints: 48517 2564.05/2573.44 c #Conflicts: 691000 | #Constraints: 49517 2564.05/2573.44 c #Conflicts: 692000 | #Constraints: 50517 2564.05/2573.44 c #Conflicts: 693000 | #Constraints: 51517 2564.05/2573.44 c INPROCESSING 2564.05/2573.44 c GARBAGE COLLECT 2564.05/2573.44 c rational objective 148 3176.51/3188.09 c #Conflicts: 694000 | #Constraints: 29984 3176.51/3188.09 c #Conflicts: 695000 | #Constraints: 30984 3176.51/3188.09 c #Conflicts: 696000 | #Constraints: 31984 3176.51/3188.09 c #Conflicts: 697000 | #Constraints: 32984 3176.51/3188.09 c #Conflicts: 698000 | #Constraints: 33984 3176.51/3188.09 c #Conflicts: 699000 | #Constraints: 34984 3176.51/3188.09 c #Conflicts: 700000 | #Constraints: 35984 3176.51/3188.09 c #Conflicts: 701000 | #Constraints: 36984 3176.51/3188.09 c #Conflicts: 702000 | #Constraints: 37984 3176.51/3188.09 c #Conflicts: 703000 | #Constraints: 38984 3176.51/3188.09 c #Conflicts: 704000 | #Constraints: 39984 3176.51/3188.09 c #Conflicts: 705000 | #Constraints: 40984 3176.51/3188.09 c #Conflicts: 706000 | #Constraints: 41984 3176.51/3188.09 c #Conflicts: 707000 | #Constraints: 42984 3176.51/3188.09 c #Conflicts: 708000 | #Constraints: 43984 3176.51/3188.09 c #Conflicts: 709000 | #Constraints: 44984 3176.51/3188.09 c #Conflicts: 710000 | #Constraints: 45984 3176.51/3188.09 c #Conflicts: 711000 | #Constraints: 46984 3176.51/3188.09 c #Conflicts: 712000 | #Constraints: 47984 3176.51/3188.09 c #Conflicts: 713000 | #Constraints: 48984 3176.51/3188.09 c #Conflicts: 714000 | #Constraints: 49984 3176.51/3188.09 c #Conflicts: 715000 | #Constraints: 50984 3176.51/3188.09 c #Conflicts: 716000 | #Constraints: 51984 3176.51/3188.09 c #Conflicts: 717000 | #Constraints: 52984 3176.51/3188.09 c #Conflicts: 718000 | #Constraints: 53984 3176.51/3188.09 c #Conflicts: 719000 | #Constraints: 54984 3176.51/3188.09 c #Conflicts: 720000 | #Constraints: 55984 3176.51/3188.09 c bounds 194 >= 148 @ 2642.85 3176.51/3188.09 c #Conflicts: 721000 | #Constraints: 56985 3176.51/3188.09 c #Conflicts: 722000 | #Constraints: 57985 3176.51/3188.09 c #Conflicts: 723000 | #Constraints: 58985 3176.51/3188.09 c #Conflicts: 724000 | #Constraints: 59985 3176.51/3188.09 c #Conflicts: 725000 | #Constraints: 60985 3176.51/3188.09 c #Conflicts: 726000 | #Constraints: 61985 3176.51/3188.09 c #Conflicts: 727000 | #Constraints: 62985 3176.51/3188.09 c #Conflicts: 728000 | #Constraints: 63985 3176.51/3188.09 c #Conflicts: 729000 | #Constraints: 64985 3176.51/3188.09 c #Conflicts: 730000 | #Constraints: 65985 3176.51/3188.09 c #Conflicts: 731000 | #Constraints: 66985 3176.51/3188.09 c #Conflicts: 732000 | #Constraints: 67985 3176.51/3188.09 c #Conflicts: 733000 | #Constraints: 68985 3176.51/3188.09 c #Conflicts: 734000 | #Constraints: 69985 3176.51/3188.09 c #Conflicts: 735000 | #Constraints: 70985 3176.51/3188.09 c #Conflicts: 736000 | #Constraints: 71985 3176.51/3188.09 c #Conflicts: 737000 | #Constraints: 72985 3176.51/3188.09 c #Conflicts: 738000 | #Constraints: 73985 3176.51/3188.09 c #Conflicts: 739000 | #Constraints: 74985 3176.51/3188.09 c #Conflicts: 740000 | #Constraints: 75985 3176.51/3188.09 c #Conflicts: 741000 | #Constraints: 76985 3176.51/3188.09 c #Conflicts: 742000 | #Constraints: 77985 3176.51/3188.09 c #Conflicts: 743000 | #Constraints: 78985 3176.51/3188.09 c #Conflicts: 744000 | #Constraints: 79985 3176.51/3188.09 c #Conflicts: 745000 | #Constraints: 80985 3176.51/3188.09 c #Conflicts: 746000 | #Constraints: 81985 3176.51/3188.09 c #Conflicts: 747000 | #Constraints: 82985 3176.51/3188.09 c #Conflicts: 748000 | #Constraints: 83985 3176.51/3188.09 c #Conflicts: 749000 | #Constraints: 84985 3176.51/3188.09 c #Conflicts: 750000 | #Constraints: 85985 3176.51/3188.09 c #Conflicts: 751000 | #Constraints: 86985 3176.51/3188.09 c #Conflicts: 752000 | #Constraints: 87985 3176.51/3188.09 c #Conflicts: 753000 | #Constraints: 88985 3176.51/3188.09 c #Conflicts: 754000 | #Constraints: 89985 3176.51/3188.09 c INPROCESSING 3176.51/3188.09 c GARBAGE COLLECT 3176.51/3188.09 c rational objective 148 3259.99/3271.87 c #Conflicts: 755000 | #Constraints: 46610 3259.99/3271.87 c #Conflicts: 756000 | #Constraints: 47610 3259.99/3271.87 c #Conflicts: 757000 | #Constraints: 48610 3259.99/3271.87 c #Conflicts: 758000 | #Constraints: 49610 3259.99/3271.87 c #Conflicts: 759000 | #Constraints: 50610 3259.99/3271.87 c #Conflicts: 760000 | #Constraints: 51610 3259.99/3271.87 c #Conflicts: 761000 | #Constraints: 52610 3259.99/3271.87 c #Conflicts: 762000 | #Constraints: 53610 3259.99/3271.87 c #Conflicts: 763000 | #Constraints: 54610 3259.99/3271.87 c #Conflicts: 764000 | #Constraints: 55610 3259.99/3271.87 c #Conflicts: 765000 | #Constraints: 56610 3259.99/3271.87 c #Conflicts: 766000 | #Constraints: 57610 3259.99/3271.87 c #Conflicts: 767000 | #Constraints: 58610 3259.99/3271.87 c #Conflicts: 768000 | #Constraints: 59610 3259.99/3271.87 c #Conflicts: 769000 | #Constraints: 60610 3259.99/3271.87 c #Conflicts: 770000 | #Constraints: 61610 3259.99/3271.87 c #Conflicts: 771000 | #Constraints: 62610 3259.99/3271.87 c #Conflicts: 772000 | #Constraints: 63610 3259.99/3271.87 c #Conflicts: 773000 | #Constraints: 64610 3259.99/3271.87 c #Conflicts: 774000 | #Constraints: 65610 3259.99/3271.87 c #Conflicts: 775000 | #Constraints: 66610 3259.99/3271.87 c INPROCESSING 3259.99/3271.87 c GARBAGE COLLECT 3259.99/3271.87 c rational objective 148 3333.50/3345.60 c #Conflicts: 776000 | #Constraints: 34796 3333.50/3345.60 c #Conflicts: 777000 | #Constraints: 35796 3333.50/3345.60 c #Conflicts: 778000 | #Constraints: 36796 3333.50/3345.60 c #Conflicts: 779000 | #Constraints: 37796 3333.50/3345.60 c #Conflicts: 780000 | #Constraints: 38796 3333.50/3345.60 c #Conflicts: 781000 | #Constraints: 39796 3333.50/3345.60 c #Conflicts: 782000 | #Constraints: 40796 3333.50/3345.60 c #Conflicts: 783000 | #Constraints: 41796 3333.50/3345.60 c #Conflicts: 784000 | #Constraints: 42796 3333.50/3345.60 c #Conflicts: 785000 | #Constraints: 43796 3333.50/3345.60 c #Conflicts: 786000 | #Constraints: 44796 3333.50/3345.60 c #Conflicts: 787000 | #Constraints: 45796 3333.50/3345.60 c #Conflicts: 788000 | #Constraints: 46796 3333.50/3345.60 c #Conflicts: 789000 | #Constraints: 47796 3333.50/3345.60 c #Conflicts: 790000 | #Constraints: 48796 3333.50/3345.60 c #Conflicts: 791000 | #Constraints: 49796 3333.50/3345.60 c #Conflicts: 792000 | #Constraints: 50796 3333.50/3345.60 c #Conflicts: 793000 | #Constraints: 51796 3333.50/3345.60 c #Conflicts: 794000 | #Constraints: 52796 3333.50/3345.60 c #Conflicts: 795000 | #Constraints: 53796 3333.50/3345.60 c #Conflicts: 796000 | #Constraints: 54796 3333.50/3345.60 c INPROCESSING 3333.50/3345.60 c GARBAGE COLLECT 3333.50/3345.60 c rational objective 148 3600.09/3613.11 c #Conflicts: 797000 | #Constraints: 31850 3600.09/3613.11 c #Conflicts: 798000 | #Constraints: 32850 3600.09/3613.11 c #Conflicts: 799000 | #Constraints: 33850 3600.09/3613.11 c #Conflicts: 800000 | #Constraints: 34850 3600.09/3613.11 c #Conflicts: 801000 | #Constraints: 35850 3600.09/3613.11 c #Conflicts: 802000 | #Constraints: 36850 3600.09/3613.11 c #Conflicts: 803000 | #Constraints: 37850 3600.09/3613.11 c #Conflicts: 804000 | #Constraints: 38850 3600.09/3613.11 c #Conflicts: 805000 | #Constraints: 39850 3600.09/3613.11 c #Conflicts: 806000 | #Constraints: 40850 3600.09/3613.11 c #Conflicts: 807000 | #Constraints: 41850 3600.09/3613.11 c #Conflicts: 808000 | #Constraints: 42850 3600.09/3613.11 c #Conflicts: 809000 | #Constraints: 43850 3600.09/3613.11 c #Conflicts: 810000 | #Constraints: 44850 3600.09/3613.11 c #Conflicts: 811000 | #Constraints: 45850 3600.09/3613.11 c #Conflicts: 812000 | #Constraints: 46850 3600.09/3613.11 c #Conflicts: 813000 | #Constraints: 47850 3600.09/3613.11 c #Conflicts: 814000 | #Constraints: 48850 3600.09/3613.11 c #Conflicts: 815000 | #Constraints: 49850 3600.09/3613.11 c #Conflicts: 816000 | #Constraints: 50850 3600.09/3613.11 c #Conflicts: 817000 | #Constraints: 51850 3600.09/3613.11 c #Conflicts: 818000 | #Constraints: 52850 3600.09/3613.11 c #Conflicts: 819000 | #Constraints: 53850 3600.09/3613.11 c #Conflicts: 820000 | #Constraints: 54850 3600.09/3613.11 c #Conflicts: 821000 | #Constraints: 55850 3600.09/3613.11 c #Conflicts: 822000 | #Constraints: 56850 3600.09/3613.11 c #Conflicts: 823000 | #Constraints: 57850 3600.09/3613.11 c #Conflicts: 824000 | #Constraints: 58850 3600.09/3613.11 c #Conflicts: 825000 | #Constraints: 59850 3600.09/3613.11 c #Conflicts: 826000 | #Constraints: 60850 3600.09/3613.11 c #Conflicts: 827000 | #Constraints: 61850 3600.09/3613.11 c #Conflicts: 828000 | #Constraints: 62850 3600.09/3613.11 c #Conflicts: 829000 | #Constraints: 63850 3600.09/3613.11 c #Conflicts: 830000 | #Constraints: 64850 3600.09/3613.11 c #Conflicts: 831000 | #Constraints: 65850 3600.09/3613.11 c #Conflicts: 832000 | #Constraints: 66850 3600.09/3613.11 c #Conflicts: 833000 | #Constraints: 67850 3600.09/3613.11 c #Conflicts: 834000 | #Constraints: 68850 3600.09/3613.11 c #Conflicts: 835000 | #Constraints: 69850 3600.09/3613.11 c #Conflicts: 836000 | #Constraints: 70850 3600.09/3613.11 c #Conflicts: 837000 | #Constraints: 71850 3600.09/3613.11 c #Conflicts: 838000 | #Constraints: 72850 3600.09/3613.11 c #Conflicts: 839000 | #Constraints: 73850 3600.09/3613.11 c #Conflicts: 840000 | #Constraints: 74850 3600.09/3613.11 c #Conflicts: 841000 | #Constraints: 75850 3600.09/3613.11 c #Conflicts: 842000 | #Constraints: 76850 3600.09/3613.11 c #Conflicts: 843000 | #Constraints: 77850 3600.09/3613.11 c #Conflicts: 844000 | #Constraints: 78850 3600.09/3613.11 c #Conflicts: 845000 | #Constraints: 79850 3600.09/3613.11 c #Conflicts: 846000 | #Constraints: 80850 3600.09/3613.11 c #Conflicts: 847000 | #Constraints: 81850 3600.09/3613.11 c #Conflicts: 848000 | #Constraints: 82850 3600.09/3613.11 c #Conflicts: 849000 | #Constraints: 83850 3600.09/3613.11 c Program interrupted by user. 3600.09/3613.11 c cpu time 3579.51 s 3600.09/3613.11 c deterministic time 323331873914 3.23e+11 3600.09/3613.11 c optimization time 265.612 s 3600.09/3613.11 c total solve time 3313.89 s 3600.09/3613.11 c core-guided solve time 1996.5 s 3600.09/3613.11 c propagation time 3014.15 s 3600.09/3613.11 c conflict analysis time 526.541 s 3600.09/3613.11 c propagations 112455588 3600.09/3613.11 c resolve steps 6734378 3600.09/3613.11 c decisions 5598967 3600.09/3613.11 c conflicts 849408 3600.09/3613.11 c restarts 1810 3600.09/3613.11 c inprocessing phases 48 3600.09/3613.11 c input clauses 311 3600.09/3613.11 c input cardinalities 328 3600.09/3613.11 c input general constraints 916 3600.09/3613.11 c input average constraint length 62.59 3600.09/3613.11 c input average constraint degree 23.75 3600.09/3613.11 c learned clauses 305645 3600.09/3613.11 c learned cardinalities 8870 3600.09/3613.11 c learned general constraints 534919 3600.09/3613.11 c learned average constraint length 205.56 3600.09/3613.11 c learned average constraint degree 8023041.79 3600.09/3613.11 c watched constraints 329366 3600.09/3613.11 c counting constraints 206469 3600.09/3613.11 c gcd simplifications 123335 3600.09/3613.11 c detected cardinalities 4266 3600.09/3613.11 c weakened non-implied lits 44425838 3600.09/3613.11 c weakened non-implying lits 76662 3600.09/3613.11 c original variables 478 3600.09/3613.11 c clausal propagations 11784583 3600.09/3613.11 c cardinality propagations 7740471 3600.09/3613.11 c watched propagations 15546087 3600.09/3613.11 c counting propagations 75125282 3600.09/3613.11 c watch lookups 59755920170 3600.09/3613.11 c watch backjump lookups 53861499599 3600.09/3613.11 c watch checks 190682299206 3600.09/3613.11 c propagation checks 18087715954 3600.09/3613.11 c constraint additions 706608935 3600.09/3613.11 c trail pops 118903347 3600.09/3613.11 c formula constraints 478 3600.09/3613.11 c learned constraints 849412 3600.09/3613.11 c bound constraints 181 3600.09/3613.11 c core-guided constraints 896 3600.09/3613.11 c encountered formula constraints 1372163 3600.09/3613.11 c encountered learned constraints 5360377 3600.09/3613.11 c encountered bound constraints 96 3600.09/3613.11 c encountered core-guided constraints 851039 3600.09/3613.11 c LP total time 40.2675 s 3600.09/3613.11 c LP solve time 38.86 s 3600.09/3613.11 c LP constraints added 478 3600.09/3613.11 c LP constraints removed 0 3600.09/3613.11 c LP pivots internal 849417 3600.09/3613.11 c LP pivots root 22730 3600.09/3613.11 c LP calls 19267 3600.09/3613.11 c LP optimalities 19254 3600.09/3613.11 c LP no pivot count 1159 3600.09/3613.11 c LP infeasibilities 11 3600.09/3613.11 c LP valid Farkas constraints 11 3600.09/3613.11 c LP learned Farkas constraints 11 3600.09/3613.11 c LP basis resets 0 3600.09/3613.11 c LP cycling count 0 3600.09/3613.11 c LP singular count 0 3600.09/3613.11 c LP no primal count 0 3600.09/3613.11 c LP no farkas count 0 3600.09/3613.11 c LP other issue count 0 3600.09/3613.11 c LP Gomory cuts 0 3600.09/3613.11 c LP learned cuts 0 3600.09/3613.11 c LP deleted cuts 0 3600.09/3613.11 c LP encountered Gomory constraints 0 3600.09/3613.11 c LP encountered Farkas constraints 68 3600.09/3613.11 c LP encountered learned Farkas constraints 32 3600.09/3613.11 c CG auxiliary variables introduced 348 3600.09/3613.11 c CG solutions found 33 3600.09/3613.11 c CG cores constructed 148 3600.09/3613.11 c CG core cardinality constraints returned 0 3600.09/3613.11 c CG unit cores 0 3600.09/3613.11 c CG single cores 148 3600.09/3613.11 c CG blocks removed during cardinality reduction 0 3600.09/3613.11 c CG first core best 0 3600.09/3613.11 c CG decision core best 0 3600.09/3613.11 c CG core reduction tie 0 3600.09/3613.11 c CG core degree average 1.00 3600.09/3613.11 c CG core slack average 4.07 3600.09/3613.11 s SATISFIABLE 3600.09/3613.11 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 x10 x11 x12 -x13 x14 x15 x16 -x17 x18 -x19 -x20 x21 -x22 -x23 x24 x25 x26 x27 x28 -x29 -x30 -x31 x32 -x33 -x34 x35 -x36 -x37 x38 -x39 -x40 x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 x94 -x95 -x96 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 x133 x134 x135 x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 -x168 -x169 x170 -x171 -x172 x173 -x174 x175 x176 -x177 -x178 x179 x180 -x181 -x182 x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 x191 x192 x193 x194 x195 -x196 -x197 -x198 -x199 -x200 x201 x202 -x203 x204 -x205 -x206 -x207 -x208 x209 x210 -x211 -x212 -x213 x214 x215 x216 x217 -x218 -x219 x220 -x221 x222 -x223 -x224 -x225 x226 x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 x238 -x239 x240 x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 x251 x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 x263 x264 x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 x273 x274 -x275 x276 x277 -x278 x279 x280 -x281 x282 x283 x284 -x285 x286 -x287 -x288 -x289 x290 -x291 x292 x293 x294 -x295 x296 -x297 -x298 x299 -x300 x301 -x302 -x303 -x304 -x305 x306 x307 x308 -x309 -x310 x311 -x312 -x313 -x314 x315 x316 x317 x318 -x319 -x320 -x321 x322 -x323 x324 -x325 -x326 x327 -x328 -x329 x330 x331 x332 x333 x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 x343 -x344 x345 -x346 -x347 x348 -x349 -x350 x351 x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 -x371 x372 -x373 x374 x375 x376 x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 x392 x393 x394 x395 x396 -x397 -x398 x399 x400 x401 -x402 x403 x404 x405 x406 x407 x408 x409 x410 -x411 x412 -x413 x414 x415 -x416 x417 x418 -x419 -x420 x421 -x422 x423 -x424 -x425 -x426 x427 x428 -x429 -x430 x431 -x432 -x433 -x434 x435 x436 x437 x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 x452 x453 x454 -x455 -x456 -x457 -x458 x459 -x460 x461 x462 x463 x464 x465 x466 -x467 x468 x469 x470 x471 -x472 x473 -x474 -x475 x476 -x477 -x478
OK 194
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (20201 MiB free)
memory of node 1: 64473 MiB (46985 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456749-1721769287/watcher-4456749-1721769287 -o /tmp/evaluation-result-4456749-1721769287/solver-4456749-1721769287 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721765589-117317 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456749-1721769287 --lp-cut-gomory=0 HOME/instance-4456749-1721769287.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=119687, runsolver pid=119684
[startup+0.100963 s]*
/proc/loadavg: 4.39 4.28 4.17 5/263 119688
/proc/meminfo: memFree=68787656/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=38868 memory=8788 CPUtime=0.1 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 615 0 0 0 9 1 0 0 20 0 1 0 12917920 39800832 2197 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 9717 2197 1762 992 0 1575 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38868 KiB
Current children cumulated memory: 8788 KiB
[startup+0.211567 s]*
/proc/loadavg: 4.39 4.28 4.17 5/263 119688
/proc/meminfo: memFree=68772476/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=39076 memory=8788 CPUtime=0.2 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 677 0 0 0 19 1 0 0 20 0 1 0 12917920 40013824 2197 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 9769 2197 1762 992 0 1627 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39076 KiB
Current children cumulated memory: 8788 KiB
[startup+0.311445 s]*
/proc/loadavg: 4.39 4.28 4.17 5/263 119688
/proc/meminfo: memFree=68761628/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=39076 memory=8788 CPUtime=0.3 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 677 0 0 0 29 1 0 0 20 0 1 0 12917920 40013824 2197 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 9769 2197 1762 992 0 1627 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39076 KiB
Current children cumulated memory: 8788 KiB
[startup+0.700264 s]
/proc/loadavg: 4.39 4.28 4.17 5/263 119688
/proc/meminfo: memFree=68739340/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=41224 memory=12076 CPUtime=0.68 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 1449 0 0 0 61 7 0 0 20 0 1 0 12917920 42213376 3019 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 10306 3019 1809 992 0 2164 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41224 KiB
Current children cumulated memory: 12076 KiB
[startup+1.50024 s]
/proc/loadavg: 4.39 4.28 4.17 5/263 119688
/proc/meminfo: memFree=68686096/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=44256 memory=17648 CPUtime=1.47 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 2268 0 0 0 135 12 0 0 20 0 1 0 12917920 45318144 4412 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 11064 4412 1867 992 0 2922 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 44256 KiB
Current children cumulated memory: 17648 KiB
[startup+3.11434 s]
/proc/loadavg: 4.35 4.28 4.17 5/263 119688
/proc/meminfo: memFree=68483548/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=50024 memory=22176 CPUtime=3.08 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 3413 0 0 0 289 19 0 0 20 0 1 0 12917920 51224576 5544 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 12506 5544 1867 992 0 4364 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 50024 KiB
Current children cumulated memory: 22176 KiB
[startup+6.30026 s]
/proc/loadavg: 4.35 4.28 4.17 5/263 119690
/proc/meminfo: memFree=68184120/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=54520 memory=27716 CPUtime=6.26 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 4850 0 0 0 594 32 0 0 20 0 1 0 12917920 55828480 6929 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 13630 6929 1867 992 0 5488 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 54520 KiB
Current children cumulated memory: 27716 KiB
[startup+12.7003 s]
/proc/loadavg: 4.30 4.27 4.17 5/263 119690
/proc/meminfo: memFree=67647948/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=62132 memory=33924 CPUtime=12.63 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 5832 0 0 0 1210 53 0 0 20 0 1 0 12917920 63623168 8481 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 15533 8481 1867 992 0 7391 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 62132 KiB
Current children cumulated memory: 33924 KiB
[startup+25.5003 s]
/proc/loadavg: 4.25 4.26 4.17 5/264 119692
/proc/meminfo: memFree=66557284/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=76420 memory=43612 CPUtime=25.39 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 7750 0 0 0 2447 92 0 0 20 0 1 0 12917920 78254080 10903 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 19105 10903 1867 992 0 10963 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 76420 KiB
Current children cumulated memory: 43612 KiB
[startup+51.1144 s]
/proc/loadavg: 4.22 4.25 4.17 5/264 119699
/proc/meminfo: memFree=64505888/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=102256 memory=70112 CPUtime=50.9 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 11401 0 0 0 4952 138 0 0 20 0 1 0 12917920 104710144 17528 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 25564 17528 1867 992 0 17422 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 102256 KiB
Current children cumulated memory: 70112 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.22 4.17 5/274 119717
/proc/meminfo: memFree=60334892/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=146732 memory=112176 CPUtime=101.88 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 17377 0 0 0 9990 198 0 0 20 0 1 0 12917920 150253568 28044 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 36683 28044 1867 992 0 28541 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 146732 KiB
Current children cumulated memory: 112176 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.25 4.18 5/275 119729
/proc/meminfo: memFree=55221152/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=149788 memory=114888 CPUtime=161.63 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 18116 0 0 0 15882 281 0 0 20 0 1 0 12917920 153382912 28722 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 37447 28722 1867 992 0 29305 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 149788 KiB
Current children cumulated memory: 114888 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.24 4.18 5/276 119740
/proc/meminfo: memFree=50329664/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=155960 memory=120000 CPUtime=221.38 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 19550 0 0 0 21775 363 0 0 20 0 1 0 12917920 159703040 30000 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 38990 30000 1883 992 0 30848 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 155960 KiB
Current children cumulated memory: 120000 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 4.28 4.20 5/275 119750
/proc/meminfo: memFree=45480308/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=156212 memory=120000 CPUtime=281.13 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 19587 0 0 0 27707 406 0 0 20 0 1 0 12917920 159961088 30000 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 39053 30000 1883 992 0 30911 0
Current children cumulated CPU time: 281.13 s
Current children cumulated vsize: 156212 KiB
Current children cumulated memory: 120000 KiB
[startup+342.3 s]
/proc/loadavg: 4.33 4.29 4.20 5/273 119767
/proc/meminfo: memFree=40955248/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=160376 memory=123208 CPUtime=340.88 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 20555 0 0 0 33630 458 0 0 20 0 1 0 12917920 164225024 30802 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 40094 30802 1883 992 0 31952 0
Current children cumulated CPU time: 340.88 s
Current children cumulated vsize: 160376 KiB
Current children cumulated memory: 123208 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.25 4.19 5/269 119784
/proc/meminfo: memFree=36291260/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=161216 memory=124232 CPUtime=400.64 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 20811 0 0 0 39547 517 0 0 20 0 1 0 12917920 165085184 31058 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 40304 31058 1883 992 0 32162 0
Current children cumulated CPU time: 400.64 s
Current children cumulated vsize: 161216 KiB
Current children cumulated memory: 124232 KiB
[startup+462.3 s]
/proc/loadavg: 4.34 4.28 4.20 5/268 119795
/proc/meminfo: memFree=31484600/131655788 swapFree=131070400/131071996
[pid=119687] ppid=119684 vsize=161512 memory=132608 CPUtime=460.38 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 20959 0 0 0 45489 549 0 0 20 0 1 0 12917920 165388288 33152 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 40378 33152 1883 992 0 32236 0
################
# More data... #
################
Current children cumulated memory: 329624 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.22 4.26 5/271 121500
/proc/meminfo: memFree=697108/131655788 swapFree=131056832/131071996
[pid=119687] ppid=119684 vsize=466560 memory=329624 CPUtime=2911.72 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 52886 0 0 0 289370 1802 0 0 20 0 1 0 12917920 477757440 82406 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 116640 82406 1883 992 0 108498 0
Current children cumulated CPU time: 2911.72 s
Current children cumulated vsize: 466560 KiB
Current children cumulated memory: 329624 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.19 4.25 5/260 121512
/proc/meminfo: memFree=633556/131655788 swapFree=131056832/131071996
[pid=119687] ppid=119684 vsize=466560 memory=329624 CPUtime=2971.52 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 52927 0 0 0 295336 1816 0 0 20 0 1 0 12917920 477757440 82406 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 116640 82406 1883 992 0 108498 0
Current children cumulated CPU time: 2971.52 s
Current children cumulated vsize: 466560 KiB
Current children cumulated memory: 329624 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.19 4.24 5/254 121522
/proc/meminfo: memFree=540476/131655788 swapFree=131056832/131071996
[pid=119687] ppid=119684 vsize=466560 memory=329624 CPUtime=3031.31 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 52973 0 0 0 301302 1829 0 0 20 0 1 0 12917920 477757440 82406 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 116640 82406 1883 992 0 108498 0
Current children cumulated CPU time: 3031.31 s
Current children cumulated vsize: 466560 KiB
Current children cumulated memory: 329624 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.17 4.23 5/246 121532
/proc/meminfo: memFree=725936/131655788 swapFree=131056832/131071996
[pid=119687] ppid=119684 vsize=466560 memory=329632 CPUtime=3091.09 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 53023 0 0 0 307267 1842 0 0 20 0 1 0 12917920 477757440 82408 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 116640 82408 1883 992 0 108498 0
Current children cumulated CPU time: 3091.09 s
Current children cumulated vsize: 466560 KiB
Current children cumulated memory: 329632 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.13 4.21 5/252 121561
/proc/meminfo: memFree=608524/131655788 swapFree=131056576/131071996
[pid=119687] ppid=119684 vsize=466560 memory=329656 CPUtime=3150.88 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 53078 0 0 0 313234 1854 0 0 20 0 1 0 12917920 477757440 82414 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 116640 82414 1883 992 0 108498 0
Current children cumulated CPU time: 3150.88 s
Current children cumulated vsize: 466560 KiB
Current children cumulated memory: 329656 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.17 4.22 5/267 121810
/proc/meminfo: memFree=592724/131655788 swapFree=131042240/131071996
[pid=119687] ppid=119684 vsize=465716 memory=329184 CPUtime=3210.67 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 53302 0 0 0 319184 1883 0 0 20 0 1 0 12917920 476893184 82296 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 116429 82296 1883 992 0 108287 0
Current children cumulated CPU time: 3210.67 s
Current children cumulated vsize: 465716 KiB
Current children cumulated memory: 329184 KiB
[startup+3282.3 s]
/proc/loadavg: 4.27 4.21 4.23 5/267 121865
/proc/meminfo: memFree=18778752/131655788 swapFree=131047360/131071996
[pid=119687] ppid=119684 vsize=466228 memory=329516 CPUtime=3270.45 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 53384 0 0 0 325127 1918 0 0 20 0 1 0 12917920 477417472 82379 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 116557 82379 1883 992 0 108415 0
Current children cumulated CPU time: 3270.45 s
Current children cumulated vsize: 466228 KiB
Current children cumulated memory: 329516 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.21 4.23 5/267 122167
/proc/meminfo: memFree=17475124/131655788 swapFree=131047360/131071996
[pid=119687] ppid=119684 vsize=466228 memory=347844 CPUtime=3330.22 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 53520 0 0 0 331068 1954 0 0 20 0 1 0 12917920 477417472 86961 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 116557 86961 1883 992 0 108415 0
Current children cumulated CPU time: 3330.22 s
Current children cumulated vsize: 466228 KiB
Current children cumulated memory: 347844 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.19 4.22 5/267 122178
/proc/meminfo: memFree=17098120/131655788 swapFree=131047360/131071996
[pid=119687] ppid=119684 vsize=466228 memory=350536 CPUtime=3389.99 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 53635 0 0 0 337009 1990 0 0 20 0 1 0 12917920 477417472 87634 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 116557 87634 1883 992 0 108415 0
Current children cumulated CPU time: 3389.99 s
Current children cumulated vsize: 466228 KiB
Current children cumulated memory: 350536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.17 4.21 5/265 122188
/proc/meminfo: memFree=16790272/131655788 swapFree=131047360/131071996
[pid=119687] ppid=119684 vsize=466228 memory=350536 CPUtime=3449.78 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 53765 0 0 0 342965 2013 0 0 20 0 1 0 12917920 477417472 87634 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 116557 87634 1883 992 0 108415 0
Current children cumulated CPU time: 3449.78 s
Current children cumulated vsize: 466228 KiB
Current children cumulated memory: 350536 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.20 5/259 122198
/proc/meminfo: memFree=16239136/131655788 swapFree=131047360/131071996
[pid=119687] ppid=119684 vsize=468040 memory=362560 CPUtime=3509.57 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 54238 0 0 0 348925 2032 0 0 20 0 1 0 12917920 479272960 90640 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 117010 90640 1883 992 0 108868 0
Current children cumulated CPU time: 3509.57 s
Current children cumulated vsize: 468040 KiB
Current children cumulated memory: 362560 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.19 5/253 122409
/proc/meminfo: memFree=16045420/131655788 swapFree=131047872/131071996
[pid=119687] ppid=119684 vsize=470380 memory=363984 CPUtime=3569.37 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 54792 0 0 0 354886 2051 0 0 20 0 1 0 12917920 481669120 90996 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 117595 90996 1883 992 0 109453 0
Current children cumulated CPU time: 3569.37 s
Current children cumulated vsize: 470380 KiB
Current children cumulated memory: 363984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.11 s]
/proc/loadavg: 4.15 4.16 4.19 5/256 122447
/proc/meminfo: memFree=15408704/131655788 swapFree=131047872/131071996
[pid=119687] ppid=119684 vsize=472260 memory=365324 CPUtime=3600.09 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 55222 0 0 0 357950 2059 0 0 20 0 1 0 12917920 483594240 91331 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 118065 91331 1883 992 0 109923 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 472260 KiB
Current children cumulated memory: 365324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.13 s]
# the end of solver process 119687 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.51 s, system=20.5931 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.11 s]
/proc/loadavg: 4.15 4.16 4.19 5/256 122447
/proc/meminfo: memFree=15408704/131655788 swapFree=131047872/131071996
[pid=119687] ppid=119684 vsize=472260 memory=365324 CPUtime=3600.09 cores=0,2
/proc/119687/stat : 119687 (roundingsat) R 119684 119687 117307 0 -1 4194304 55222 0 0 0 357950 2059 0 0 20 0 1 0 12917920 483594240 91331 134679101440 4194304 8254037 140733374866864 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40427520 140733374870364 140733374870626 140733374870626 140733374877641 0
/proc/119687/statm: 118065 91331 1883 992 0 109923 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 472260 KiB
Current children cumulated memory: 365324 KiB
Child status: 0
Real time (s): 3613.13
CPU time (s): 3600.1
CPU user time (s): 3579.51
CPU system time (s): 20.5931
CPU usage (%): 99.6396
Max. virtual memory (cumulated for all children) (KiB): 472260
Max. memory (cumulated for all children) (KiB): 365324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.51
system time used= 20.5931
maximum resident set size= 365480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55237
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4777848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217
involuntary context switches= 24935
# summary of solver processes directly reported to runsolver:
# pid: 119687
# total CPU time (s): 3600.1
# total CPU user time (s): 3579.51
# total CPU system time (s): 20.5931
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7427 second user time and 38.6106 second system time
The end
Begin job on nodeC006 at 2024-07-23 23:14:47 IDJOB=4456749 IDBENCH=147538 IDSOLVER=3085 FILE ID=nodeC006/4456749-1721769287 RUNJOBID= nodeC006-1721765589-117317 SLURM_JOB_ID= 7770663 Free space on /tmp= 723752 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456749-1721769287/watcher-4456749-1721769287 -o /tmp/evaluation-result-4456749-1721769287/solver-4456749-1721769287 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721765589-117317 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456749-1721769287 --lp-cut-gomory=0 HOME/instance-4456749-1721769287.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12 RANDOM SEED=959724345 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2194.706 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3528.390 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1296.857 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.281 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3668.181 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3656.950 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.247 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.309 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 68799968 kB MemAvailable: 129290048 kB Buffers: 181312 kB Cached: 61037024 kB SwapCached: 108 kB Active: 1105676 kB Inactive: 60989336 kB Active(anon): 1532 kB Inactive(anon): 912496 kB Active(file): 1104144 kB Inactive(file): 60076840 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070400 kB Dirty: 1411112 kB Writeback: 0 kB AnonPages: 876364 kB Mapped: 110384 kB Shmem: 37584 kB KReclaimable: 298588 kB Slab: 441808 kB SReclaimable: 298588 kB SUnreclaim: 143220 kB KernelStack: 4236 kB PageTables: 10924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1189216 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16576 kB HardwareCorrupted: 0 kB AnonHugePages: 282624 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: 357192 kB DirectMap2M: 45684736 kB DirectMap1G: 90177536 kB Free space on /tmp at the end= 723716 MiB End job on nodeC006 at 2024-07-24 00:15:00