| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 190 | 3600.07 | 3614.51 |
| 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.44 c #variables 478 #constraints 478 0.45/0.97 c bounds - >= 0 @ 0.007248 0.45/0.97 c bounds 226 >= 0 @ 0.425214 0.45/0.97 c bounds 226 >= 1 @ 0.425418 0.45/0.97 c bounds 226 >= 2 @ 0.425532 0.45/0.97 c bounds 226 >= 3 @ 0.425642 0.45/0.97 c bounds 226 >= 4 @ 0.425748 0.45/0.97 c bounds 226 >= 5 @ 0.425873 0.45/0.97 c bounds 226 >= 6 @ 0.426001 0.45/0.97 c bounds 226 >= 7 @ 0.426141 0.45/0.97 c bounds 226 >= 8 @ 0.426276 0.45/0.97 c bounds 226 >= 9 @ 0.426276 0.45/0.97 c bounds 226 >= 10 @ 0.426276 0.45/0.97 c bounds 226 >= 11 @ 0.426276 0.45/0.97 c bounds 226 >= 12 @ 0.426276 0.45/0.97 c bounds 226 >= 13 @ 0.426276 0.45/0.97 c bounds 226 >= 14 @ 0.426276 0.45/0.97 c bounds 226 >= 15 @ 0.426276 0.45/0.97 c bounds 226 >= 16 @ 0.426276 0.45/0.97 c bounds 226 >= 17 @ 0.426276 0.45/0.97 c bounds 226 >= 18 @ 0.426276 0.45/0.97 c bounds 226 >= 19 @ 0.426276 0.45/0.97 c bounds 226 >= 20 @ 0.426276 0.45/0.97 c bounds 226 >= 21 @ 0.426276 0.45/0.97 c bounds 226 >= 22 @ 0.426276 0.45/0.97 c bounds 226 >= 23 @ 0.426276 0.45/0.97 c bounds 226 >= 24 @ 0.426276 0.45/0.97 c bounds 226 >= 25 @ 0.426276 0.45/0.97 c bounds 226 >= 26 @ 0.426443 0.45/0.97 c bounds 226 >= 27 @ 0.426686 0.45/0.97 c bounds 226 >= 28 @ 0.426909 0.45/0.97 c bounds 226 >= 29 @ 0.427132 0.45/0.97 c bounds 226 >= 30 @ 0.427271 0.45/0.97 c bounds 225 >= 30 @ 0.463311 0.45/0.97 c bounds 225 >= 31 @ 0.463612 0.45/0.97 c bounds 225 >= 32 @ 0.463876 0.45/0.97 c bounds 225 >= 33 @ 0.464261 0.45/0.97 c bounds 225 >= 34 @ 0.46502 0.45/0.97 c bounds 225 >= 35 @ 0.465343 0.45/0.97 c bounds 225 >= 36 @ 0.465624 0.45/0.97 c bounds 225 >= 37 @ 0.465923 0.45/0.97 c bounds 225 >= 38 @ 0.466066 0.45/0.97 c bounds 225 >= 39 @ 0.466066 0.45/0.97 c bounds 225 >= 40 @ 0.466066 0.45/0.97 c bounds 225 >= 41 @ 0.466136 0.45/0.97 c bounds 225 >= 42 @ 0.466444 0.45/0.97 c bounds 225 >= 43 @ 0.466736 0.45/0.97 c bounds 225 >= 44 @ 0.467033 0.45/0.97 c bounds 225 >= 45 @ 0.467033 0.45/0.97 c bounds 225 >= 46 @ 0.467033 0.45/0.97 c bounds 225 >= 47 @ 0.467042 0.45/0.97 c bounds 225 >= 48 @ 0.467365 0.45/0.97 c bounds 225 >= 49 @ 0.467677 0.45/0.97 c bounds 225 >= 50 @ 0.467998 0.45/0.97 c bounds 225 >= 51 @ 0.468057 0.45/0.97 c bounds 225 >= 52 @ 0.468057 0.45/0.97 c bounds 225 >= 53 @ 0.468057 0.45/0.97 c bounds 225 >= 54 @ 0.468057 0.45/0.97 c bounds 225 >= 55 @ 0.468057 0.45/0.97 c bounds 225 >= 56 @ 0.468057 0.45/0.97 c bounds 225 >= 57 @ 0.468241 0.45/0.97 c bounds 225 >= 58 @ 0.468556 0.45/0.97 c bounds 225 >= 59 @ 0.468891 0.45/0.97 c bounds 225 >= 60 @ 0.469051 0.45/0.97 c bounds 225 >= 61 @ 0.469051 0.45/0.97 c bounds 225 >= 62 @ 0.469051 0.45/0.97 c bounds 225 >= 63 @ 0.469235 0.45/0.97 c bounds 225 >= 64 @ 0.469578 0.45/0.97 c bounds 225 >= 65 @ 0.469904 0.45/0.97 c bounds 225 >= 66 @ 0.470274 0.45/0.97 c bounds 225 >= 67 @ 0.470639 0.45/0.97 c bounds 225 >= 68 @ 0.471003 0.45/0.97 c bounds 225 >= 69 @ 0.47139 0.45/0.97 c bounds 225 >= 70 @ 0.471777 0.45/0.97 c bounds 225 >= 71 @ 0.472032 0.45/0.97 c bounds 225 >= 72 @ 0.472032 0.45/0.97 c bounds 225 >= 73 @ 0.472032 0.45/0.97 c bounds 225 >= 74 @ 0.472032 0.45/0.97 c bounds 225 >= 75 @ 0.472032 0.45/0.97 c bounds 225 >= 76 @ 0.472112 0.45/0.97 c bounds 225 >= 77 @ 0.472457 0.45/0.97 c bounds 225 >= 78 @ 0.472808 0.45/0.97 c bounds 225 >= 79 @ 0.473149 0.45/0.97 c bounds 225 >= 80 @ 0.473499 0.45/0.97 c bounds 225 >= 81 @ 0.47386 0.45/0.97 c bounds 225 >= 82 @ 0.47426 0.45/0.97 c bounds 225 >= 83 @ 0.474685 0.45/0.97 c bounds 225 >= 84 @ 0.475063 0.45/0.97 c bounds 225 >= 85 @ 0.475435 0.45/0.97 c bounds 225 >= 86 @ 0.475805 0.45/0.97 c bounds 225 >= 87 @ 0.47618 0.45/0.97 c bounds 225 >= 88 @ 0.476538 0.45/0.97 c bounds 225 >= 89 @ 0.476909 0.45/0.97 c bounds 225 >= 90 @ 0.477006 0.45/0.97 c bounds 225 >= 91 @ 0.477006 0.45/0.97 c bounds 225 >= 92 @ 0.47701 0.45/0.97 c bounds 225 >= 93 @ 0.47738 0.45/0.97 c bounds 225 >= 94 @ 0.477729 0.45/0.97 c bounds 225 >= 95 @ 0.478002 0.45/0.97 c bounds 225 >= 96 @ 0.478002 0.45/0.97 c bounds 225 >= 97 @ 0.478002 0.45/0.97 c bounds 225 >= 98 @ 0.47822 0.45/0.97 c bounds 225 >= 99 @ 0.478649 0.45/0.97 c bounds 225 >= 100 @ 0.478996 0.45/0.97 c bounds 225 >= 101 @ 0.478996 0.45/0.98 c bounds 225 >= 102 @ 0.478996 0.45/0.98 c bounds 225 >= 103 @ 0.478996 0.45/0.98 c bounds 225 >= 104 @ 0.478996 0.45/0.98 c bounds 225 >= 105 @ 0.479038 0.45/0.98 c bounds 225 >= 106 @ 0.479492 0.45/0.98 c bounds 225 >= 107 @ 0.479902 0.45/0.98 c bounds 225 >= 108 @ 0.47999 0.45/0.98 c bounds 225 >= 109 @ 0.47999 0.45/0.98 c bounds 225 >= 110 @ 0.480131 0.45/0.98 c bounds 225 >= 111 @ 0.480536 0.45/0.98 c bounds 225 >= 112 @ 0.480923 0.45/0.98 c bounds 225 >= 113 @ 0.480983 0.45/0.98 c bounds 225 >= 114 @ 0.480983 0.45/0.98 c bounds 225 >= 115 @ 0.480983 0.45/0.98 c bounds 225 >= 116 @ 0.480983 0.45/0.98 c bounds 225 >= 117 @ 0.481028 0.45/0.98 c bounds 225 >= 118 @ 0.481453 0.45/0.98 c bounds 225 >= 119 @ 0.481878 0.45/0.98 c bounds 225 >= 120 @ 0.482322 0.45/0.98 c bounds 225 >= 121 @ 0.482834 0.45/0.98 c bounds 225 >= 122 @ 0.483355 0.45/0.98 c bounds 225 >= 123 @ 0.483858 0.45/0.98 c bounds 225 >= 124 @ 0.483965 0.45/0.98 c bounds 225 >= 125 @ 0.483965 0.45/0.98 c bounds 225 >= 126 @ 0.484457 0.45/0.98 c bounds 225 >= 127 @ 0.485063 0.45/0.98 c bounds 225 >= 128 @ 0.485619 0.45/0.98 c bounds 225 >= 129 @ 0.485955 0.45/0.98 c bounds 225 >= 130 @ 0.486044 0.45/0.98 c bounds 225 >= 131 @ 0.486623 0.45/0.98 c bounds 225 >= 132 @ 0.48695 0.45/0.98 c bounds 225 >= 133 @ 0.487886 0.45/0.98 c bounds 225 >= 134 @ 0.488309 1.95/2.40 c bounds 225 >= 135 @ 0.489271 1.95/2.40 c bounds 225 >= 136 @ 0.490746 1.95/2.40 c bounds 225 >= 137 @ 0.491665 1.95/2.40 c bounds 225 >= 138 @ 0.495868 1.95/2.40 c bounds 224 >= 138 @ 0.541985 1.95/2.40 c bounds 224 >= 139 @ 0.543916 1.95/2.40 c bounds 224 >= 140 @ 0.568767 1.95/2.40 c bounds 224 >= 141 @ 0.615643 1.95/2.40 c bounds 223 >= 141 @ 0.63089 1.95/2.40 c bounds 222 >= 141 @ 0.64196 1.95/2.40 c bounds 221 >= 141 @ 0.650576 1.95/2.40 c bounds 220 >= 141 @ 0.659367 1.95/2.40 c bounds 219 >= 141 @ 0.666415 1.95/2.40 c bounds 218 >= 141 @ 0.674621 1.95/2.40 c #Conflicts: 1000 | #Constraints: 2057 1.95/2.40 c bounds 218 >= 142 @ 0.811829 1.95/2.40 c bounds 217 >= 142 @ 0.821964 1.95/2.40 c bounds 216 >= 142 @ 0.851474 1.95/2.40 c bounds 215 >= 142 @ 0.871661 1.95/2.40 c bounds 214 >= 142 @ 0.985178 1.95/2.40 c #Conflicts: 2000 | #Constraints: 3120 1.95/2.40 c INPROCESSING 1.95/2.40 c GARBAGE COLLECT 1.95/2.40 c rational objective 141.673 3.84/4.32 c bounds 213 >= 142 @ 1.88683 3.84/4.32 c #Conflicts: 3000 | #Constraints: 3158 3.84/4.32 c bounds 212 >= 142 @ 2.25002 3.84/4.32 c #Conflicts: 4000 | #Constraints: 4159 3.84/4.32 c INPROCESSING 3.84/4.32 c GARBAGE COLLECT 3.84/4.32 c bounds 212 >= 143 @ 2.45747 3.84/4.32 c #Conflicts: 5000 | #Constraints: 3613 3.84/4.32 c #Conflicts: 6000 | #Constraints: 4613 3.84/4.32 c INPROCESSING 3.84/4.32 c GARBAGE COLLECT 3.84/4.32 c rational objective 141.673 5.23/5.77 c #Conflicts: 7000 | #Constraints: 3650 5.23/5.77 c bounds 211 >= 143 @ 4.05148 5.23/5.77 c #Conflicts: 8000 | #Constraints: 4651 5.23/5.77 c bounds 211 >= 144 @ 4.23297 5.23/5.77 c bounds 210 >= 144 @ 4.25322 5.23/5.77 c bounds 209 >= 144 @ 4.29167 5.23/5.77 c bounds 208 >= 144 @ 4.33273 5.23/5.77 c #Conflicts: 9000 | #Constraints: 5701 5.23/5.77 c INPROCESSING 5.23/5.77 c GARBAGE COLLECT 5.23/5.77 c rational objective 141.673 8.23/8.77 c bounds 207 >= 144 @ 5.04132 8.23/8.77 c bounds 206 >= 144 @ 5.12646 8.23/8.77 c #Conflicts: 10000 | #Constraints: 4362 8.23/8.77 c #Conflicts: 11000 | #Constraints: 5362 8.23/8.77 c #Conflicts: 12000 | #Constraints: 6362 8.23/8.77 c INPROCESSING 8.23/8.77 c GARBAGE COLLECT 8.23/8.77 c bounds 205 >= 144 @ 6.02726 8.23/8.77 c bounds 204 >= 144 @ 6.07543 8.23/8.77 c #Conflicts: 13000 | #Constraints: 4844 8.23/8.77 c #Conflicts: 14000 | #Constraints: 5844 8.23/8.77 c #Conflicts: 15000 | #Constraints: 6844 8.23/8.77 c INPROCESSING 8.23/8.77 c GARBAGE COLLECT 8.23/8.77 c #Conflicts: 16000 | #Constraints: 5035 8.23/8.77 c #Conflicts: 17000 | #Constraints: 6035 8.23/8.77 c #Conflicts: 18000 | #Constraints: 7035 8.23/8.77 c INPROCESSING 8.23/8.77 c GARBAGE COLLECT 8.23/8.77 c rational objective 141.673 10.22/10.76 c #Conflicts: 19000 | #Constraints: 5033 10.22/10.76 c #Conflicts: 20000 | #Constraints: 6033 10.22/10.76 c #Conflicts: 21000 | #Constraints: 7033 10.22/10.76 c bounds 204 >= 145 @ 9.54179 10.22/10.76 c bounds 203 >= 145 @ 9.64517 10.22/10.76 c INPROCESSING 10.22/10.76 c GARBAGE COLLECT 10.22/10.76 c rational objective 141.673 11.52/12.09 c bounds 202 >= 145 @ 9.83152 11.52/12.09 c #Conflicts: 22000 | #Constraints: 4869 11.52/12.09 c bounds 201 >= 145 @ 9.90751 11.52/12.09 c #Conflicts: 23000 | #Constraints: 5870 11.52/12.09 c bounds 200 >= 145 @ 10.2184 11.52/12.09 c bounds 199 >= 145 @ 10.2568 11.52/12.09 c bounds 198 >= 145 @ 10.4368 11.52/12.09 c #Conflicts: 24000 | #Constraints: 6873 11.52/12.09 c #Conflicts: 25000 | #Constraints: 7873 11.52/12.09 c INPROCESSING 11.52/12.09 c GARBAGE COLLECT 11.52/12.09 c rational objective 141.673 13.62/14.16 c #Conflicts: 26000 | #Constraints: 5469 13.62/14.16 c #Conflicts: 27000 | #Constraints: 6469 13.62/14.16 c #Conflicts: 28000 | #Constraints: 7469 13.62/14.16 c #Conflicts: 29000 | #Constraints: 8469 13.62/14.16 c INPROCESSING 13.62/14.16 c GARBAGE COLLECT 13.62/14.16 c rational objective 141.673 28.75/29.31 c #Conflicts: 30000 | #Constraints: 5929 28.75/29.31 c #Conflicts: 31000 | #Constraints: 6929 28.75/29.31 c #Conflicts: 32000 | #Constraints: 7929 28.75/29.31 c #Conflicts: 33000 | #Constraints: 8929 28.75/29.31 c #Conflicts: 34000 | #Constraints: 9929 28.75/29.31 c #Conflicts: 35000 | #Constraints: 10929 28.75/29.31 c bounds 197 >= 145 @ 15.6601 28.75/29.31 c #Conflicts: 36000 | #Constraints: 11930 28.75/29.31 c #Conflicts: 37000 | #Constraints: 12930 28.75/29.31 c #Conflicts: 38000 | #Constraints: 13930 28.75/29.31 c #Conflicts: 39000 | #Constraints: 14930 28.75/29.31 c #Conflicts: 40000 | #Constraints: 15930 28.75/29.31 c #Conflicts: 41000 | #Constraints: 16930 28.75/29.31 c #Conflicts: 42000 | #Constraints: 17930 28.75/29.31 c INPROCESSING 28.75/29.31 c GARBAGE COLLECT 28.75/29.31 c rational objective 141.673 31.75/32.35 c #Conflicts: 43000 | #Constraints: 10228 31.75/32.35 c bounds 196 >= 145 @ 28.0713 31.75/32.35 c #Conflicts: 44000 | #Constraints: 11229 31.75/32.35 c #Conflicts: 45000 | #Constraints: 12229 31.75/32.35 c #Conflicts: 46000 | #Constraints: 13230 31.75/32.35 c #Conflicts: 47000 | #Constraints: 14230 31.75/32.35 c #Conflicts: 48000 | #Constraints: 15230 31.75/32.35 c INPROCESSING 31.75/32.35 c GARBAGE COLLECT 31.75/32.35 c rational objective 141.673 34.74/35.38 c #Conflicts: 49000 | #Constraints: 9254 34.74/35.38 c #Conflicts: 50000 | #Constraints: 10254 34.74/35.38 c #Conflicts: 51000 | #Constraints: 11254 34.74/35.38 c #Conflicts: 52000 | #Constraints: 12255 34.74/35.38 c #Conflicts: 53000 | #Constraints: 13255 34.74/35.38 c INPROCESSING 34.74/35.38 c GARBAGE COLLECT 34.74/35.38 c rational objective 141.673 38.82/39.42 c #Conflicts: 54000 | #Constraints: 8115 38.82/39.42 c #Conflicts: 55000 | #Constraints: 9115 38.82/39.42 c #Conflicts: 56000 | #Constraints: 10115 38.82/39.42 c #Conflicts: 57000 | #Constraints: 11115 38.82/39.42 c #Conflicts: 58000 | #Constraints: 12115 38.82/39.42 c INPROCESSING 38.82/39.42 c GARBAGE COLLECT 38.82/39.42 c rational objective 141.673 43.70/44.33 c #Conflicts: 59000 | #Constraints: 7297 43.70/44.33 c #Conflicts: 60000 | #Constraints: 8297 43.70/44.33 c #Conflicts: 61000 | #Constraints: 9297 43.70/44.33 c #Conflicts: 62000 | #Constraints: 10297 43.70/44.33 c #Conflicts: 63000 | #Constraints: 11297 43.70/44.33 c #Conflicts: 64000 | #Constraints: 12297 43.70/44.33 c bounds 196 >= 146 @ 42.0956 43.70/44.33 c INPROCESSING 43.70/44.33 c GARBAGE COLLECT 43.70/44.33 c rational objective 141.673 72.60/73.39 c #Conflicts: 65000 | #Constraints: 7580 72.60/73.39 c #Conflicts: 66000 | #Constraints: 8580 72.60/73.39 c #Conflicts: 67000 | #Constraints: 9580 72.60/73.39 c #Conflicts: 68000 | #Constraints: 10580 72.60/73.39 c #Conflicts: 69000 | #Constraints: 11580 72.60/73.39 c #Conflicts: 70000 | #Constraints: 12580 72.60/73.39 c #Conflicts: 71000 | #Constraints: 13580 72.60/73.39 c #Conflicts: 72000 | #Constraints: 14580 72.60/73.39 c #Conflicts: 73000 | #Constraints: 15580 72.60/73.39 c #Conflicts: 74000 | #Constraints: 16580 72.60/73.39 c #Conflicts: 75000 | #Constraints: 17580 72.60/73.39 c #Conflicts: 76000 | #Constraints: 18580 72.60/73.39 c #Conflicts: 77000 | #Constraints: 19580 72.60/73.39 c #Conflicts: 78000 | #Constraints: 20580 72.60/73.39 c #Conflicts: 79000 | #Constraints: 21580 72.60/73.39 c #Conflicts: 80000 | #Constraints: 22580 72.60/73.39 c #Conflicts: 81000 | #Constraints: 23580 72.60/73.39 c #Conflicts: 82000 | #Constraints: 24580 72.60/73.39 c #Conflicts: 83000 | #Constraints: 25580 72.60/73.39 c #Conflicts: 84000 | #Constraints: 26581 72.60/73.39 c INPROCESSING 72.60/73.39 c GARBAGE COLLECT 72.60/73.39 c rational objective 141.673 95.32/96.19 c #Conflicts: 85000 | #Constraints: 14556 95.32/96.19 c #Conflicts: 86000 | #Constraints: 15556 95.32/96.19 c #Conflicts: 87000 | #Constraints: 16556 95.32/96.19 c #Conflicts: 88000 | #Constraints: 17556 95.32/96.19 c #Conflicts: 89000 | #Constraints: 18556 95.32/96.19 c #Conflicts: 90000 | #Constraints: 19556 95.32/96.19 c #Conflicts: 91000 | #Constraints: 20556 95.32/96.19 c INPROCESSING 95.32/96.19 c GARBAGE COLLECT 95.32/96.19 c rational objective 141.673 103.59/104.43 c #Conflicts: 92000 | #Constraints: 11598 103.59/104.43 c #Conflicts: 93000 | #Constraints: 12598 103.59/104.43 c #Conflicts: 94000 | #Constraints: 13598 103.59/104.43 c #Conflicts: 95000 | #Constraints: 14598 103.59/104.43 c #Conflicts: 96000 | #Constraints: 15598 103.59/104.43 c #Conflicts: 97000 | #Constraints: 16598 103.59/104.43 c #Conflicts: 98000 | #Constraints: 17598 103.59/104.43 c #Conflicts: 99000 | #Constraints: 18598 103.59/104.43 c INPROCESSING 103.59/104.43 c GARBAGE COLLECT 103.59/104.43 c rational objective 141.673 111.17/112.05 c #Conflicts: 100000 | #Constraints: 11022 111.17/112.05 c #Conflicts: 101000 | #Constraints: 12022 111.17/112.05 c #Conflicts: 102000 | #Constraints: 13022 111.17/112.05 c #Conflicts: 103000 | #Constraints: 14022 111.17/112.05 c #Conflicts: 104000 | #Constraints: 15022 111.17/112.05 c #Conflicts: 105000 | #Constraints: 16022 111.17/112.05 c #Conflicts: 106000 | #Constraints: 17022 111.17/112.05 c INPROCESSING 111.17/112.05 c GARBAGE COLLECT 111.17/112.05 c rational objective 141.673 151.11/152.15 c #Conflicts: 107000 | #Constraints: 10055 151.11/152.15 c #Conflicts: 108000 | #Constraints: 11055 151.11/152.15 c #Conflicts: 109000 | #Constraints: 12055 151.11/152.15 c #Conflicts: 110000 | #Constraints: 13055 151.11/152.15 c #Conflicts: 111000 | #Constraints: 14055 151.11/152.15 c #Conflicts: 112000 | #Constraints: 15055 151.11/152.15 c #Conflicts: 113000 | #Constraints: 16055 151.11/152.15 c #Conflicts: 114000 | #Constraints: 17055 151.11/152.15 c #Conflicts: 115000 | #Constraints: 18055 151.11/152.15 c #Conflicts: 116000 | #Constraints: 19055 151.11/152.15 c bounds 196 >= 147 @ 120.891 151.11/152.15 c #Conflicts: 117000 | #Constraints: 20121 151.11/152.15 c #Conflicts: 118000 | #Constraints: 21121 151.11/152.15 c #Conflicts: 119000 | #Constraints: 22121 151.11/152.15 c #Conflicts: 120000 | #Constraints: 23121 151.11/152.15 c #Conflicts: 121000 | #Constraints: 24121 151.11/152.15 c #Conflicts: 122000 | #Constraints: 25121 151.11/152.15 c #Conflicts: 123000 | #Constraints: 26121 151.11/152.15 c #Conflicts: 124000 | #Constraints: 27121 151.11/152.15 c #Conflicts: 125000 | #Constraints: 28121 151.11/152.15 c #Conflicts: 126000 | #Constraints: 29121 151.11/152.15 c #Conflicts: 127000 | #Constraints: 30121 151.11/152.15 c #Conflicts: 128000 | #Constraints: 31121 151.11/152.15 c #Conflicts: 129000 | #Constraints: 32121 151.11/152.15 c #Conflicts: 130000 | #Constraints: 33121 151.11/152.15 c #Conflicts: 131000 | #Constraints: 34121 151.11/152.15 c #Conflicts: 132000 | #Constraints: 35121 151.11/152.15 c INPROCESSING 151.11/152.15 c GARBAGE COLLECT 151.11/152.15 c rational objective 141.673 166.65/167.71 c #Conflicts: 133000 | #Constraints: 19268 166.65/167.71 c #Conflicts: 134000 | #Constraints: 20268 166.65/167.71 c #Conflicts: 135000 | #Constraints: 21268 166.65/167.71 c #Conflicts: 136000 | #Constraints: 22268 166.65/167.71 c #Conflicts: 137000 | #Constraints: 23268 166.65/167.71 c #Conflicts: 138000 | #Constraints: 24268 166.65/167.71 c #Conflicts: 139000 | #Constraints: 25268 166.65/167.71 c #Conflicts: 140000 | #Constraints: 26268 166.65/167.71 c INPROCESSING 166.65/167.71 c GARBAGE COLLECT 166.65/167.71 c rational objective 141.673 179.80/180.95 c #Conflicts: 141000 | #Constraints: 14547 179.80/180.95 c #Conflicts: 142000 | #Constraints: 15547 179.80/180.95 c #Conflicts: 143000 | #Constraints: 16547 179.80/180.95 c #Conflicts: 144000 | #Constraints: 17547 179.80/180.95 c #Conflicts: 145000 | #Constraints: 18547 179.80/180.95 c #Conflicts: 146000 | #Constraints: 19547 179.80/180.95 c #Conflicts: 147000 | #Constraints: 20547 179.80/180.95 c #Conflicts: 148000 | #Constraints: 21547 179.80/180.95 c #Conflicts: 149000 | #Constraints: 22547 179.80/180.95 c INPROCESSING 179.80/180.95 c GARBAGE COLLECT 179.80/180.95 c rational objective 141.673 316.09/317.70 c #Conflicts: 150000 | #Constraints: 12766 316.09/317.70 c #Conflicts: 151000 | #Constraints: 13766 316.09/317.70 c #Conflicts: 152000 | #Constraints: 14766 316.09/317.70 c bounds 195 >= 147 @ 178.952 316.09/317.70 c #Conflicts: 153000 | #Constraints: 15767 316.09/317.70 c #Conflicts: 154000 | #Constraints: 16767 316.09/317.70 c #Conflicts: 155000 | #Constraints: 17767 316.09/317.70 c #Conflicts: 156000 | #Constraints: 18767 316.09/317.70 c #Conflicts: 157000 | #Constraints: 19767 316.09/317.70 c #Conflicts: 158000 | #Constraints: 20767 316.09/317.70 c #Conflicts: 159000 | #Constraints: 21767 316.09/317.70 c #Conflicts: 160000 | #Constraints: 22767 316.09/317.70 c #Conflicts: 161000 | #Constraints: 23767 316.09/317.70 c #Conflicts: 162000 | #Constraints: 24767 316.09/317.70 c #Conflicts: 163000 | #Constraints: 25767 316.09/317.70 c #Conflicts: 164000 | #Constraints: 26767 316.09/317.70 c #Conflicts: 165000 | #Constraints: 27767 316.09/317.70 c #Conflicts: 166000 | #Constraints: 28767 316.09/317.70 c #Conflicts: 167000 | #Constraints: 29767 316.09/317.70 c #Conflicts: 168000 | #Constraints: 30767 316.09/317.70 c #Conflicts: 169000 | #Constraints: 31767 316.09/317.70 c bounds 194 >= 147 @ 231.873 316.09/317.70 c #Conflicts: 170000 | #Constraints: 32768 316.09/317.70 c #Conflicts: 171000 | #Constraints: 33768 316.09/317.70 c #Conflicts: 172000 | #Constraints: 34768 316.09/317.70 c #Conflicts: 173000 | #Constraints: 35768 316.09/317.70 c #Conflicts: 174000 | #Constraints: 36768 316.09/317.70 c #Conflicts: 175000 | #Constraints: 37768 316.09/317.70 c #Conflicts: 176000 | #Constraints: 38768 316.09/317.70 c #Conflicts: 177000 | #Constraints: 39768 316.09/317.70 c #Conflicts: 178000 | #Constraints: 40768 316.09/317.70 c #Conflicts: 179000 | #Constraints: 41768 316.09/317.70 c INPROCESSING 316.09/317.70 c GARBAGE COLLECT 316.09/317.70 c rational objective 141.673 342.80/344.50 c #Conflicts: 180000 | #Constraints: 22458 342.80/344.50 c #Conflicts: 181000 | #Constraints: 23458 342.80/344.50 c #Conflicts: 182000 | #Constraints: 24458 342.80/344.50 c #Conflicts: 183000 | #Constraints: 25458 342.80/344.50 c #Conflicts: 184000 | #Constraints: 26458 342.80/344.50 c #Conflicts: 185000 | #Constraints: 27458 342.80/344.50 c #Conflicts: 186000 | #Constraints: 28458 342.80/344.50 c #Conflicts: 187000 | #Constraints: 29458 342.80/344.50 c #Conflicts: 188000 | #Constraints: 30458 342.80/344.50 c #Conflicts: 189000 | #Constraints: 31458 342.80/344.50 c INPROCESSING 342.80/344.50 c GARBAGE COLLECT 342.80/344.50 c rational objective 141.673 357.64/359.47 c #Conflicts: 190000 | #Constraints: 17226 357.64/359.47 c #Conflicts: 191000 | #Constraints: 18226 357.64/359.47 c #Conflicts: 192000 | #Constraints: 19226 357.64/359.47 c #Conflicts: 193000 | #Constraints: 20226 357.64/359.47 c #Conflicts: 194000 | #Constraints: 21226 357.64/359.47 c #Conflicts: 195000 | #Constraints: 22226 357.64/359.47 c #Conflicts: 196000 | #Constraints: 23226 357.64/359.47 c #Conflicts: 197000 | #Constraints: 24226 357.64/359.47 c #Conflicts: 198000 | #Constraints: 25226 357.64/359.47 c #Conflicts: 199000 | #Constraints: 26226 357.64/359.47 c #Conflicts: 200000 | #Constraints: 27226 357.64/359.47 c INPROCESSING 357.64/359.47 c GARBAGE COLLECT 357.64/359.47 c rational objective 141.673 479.79/482.05 c #Conflicts: 201000 | #Constraints: 15316 479.79/482.05 c #Conflicts: 202000 | #Constraints: 16316 479.79/482.05 c #Conflicts: 203000 | #Constraints: 17316 479.79/482.05 c #Conflicts: 204000 | #Constraints: 18316 479.79/482.05 c #Conflicts: 205000 | #Constraints: 19316 479.79/482.05 c #Conflicts: 206000 | #Constraints: 20316 479.79/482.05 c #Conflicts: 207000 | #Constraints: 21316 479.79/482.05 c #Conflicts: 208000 | #Constraints: 22316 479.79/482.05 c #Conflicts: 209000 | #Constraints: 23316 479.79/482.05 c #Conflicts: 210000 | #Constraints: 24316 479.79/482.05 c #Conflicts: 211000 | #Constraints: 25316 479.79/482.05 c #Conflicts: 212000 | #Constraints: 26316 479.79/482.05 c #Conflicts: 213000 | #Constraints: 27316 479.79/482.05 c #Conflicts: 214000 | #Constraints: 28316 479.79/482.05 c #Conflicts: 215000 | #Constraints: 29316 479.79/482.05 c #Conflicts: 216000 | #Constraints: 30316 479.79/482.05 c #Conflicts: 217000 | #Constraints: 31316 479.79/482.05 c #Conflicts: 218000 | #Constraints: 32316 479.79/482.05 c #Conflicts: 219000 | #Constraints: 33316 479.79/482.05 c #Conflicts: 220000 | #Constraints: 34316 479.79/482.05 c #Conflicts: 221000 | #Constraints: 35316 479.79/482.05 c #Conflicts: 222000 | #Constraints: 36316 479.79/482.05 c #Conflicts: 223000 | #Constraints: 37316 479.79/482.05 c #Conflicts: 224000 | #Constraints: 38316 479.79/482.05 c #Conflicts: 225000 | #Constraints: 39316 479.79/482.05 c #Conflicts: 226000 | #Constraints: 40316 479.79/482.05 c #Conflicts: 227000 | #Constraints: 41316 479.79/482.05 c #Conflicts: 228000 | #Constraints: 42316 479.79/482.05 c #Conflicts: 229000 | #Constraints: 43316 479.79/482.05 c #Conflicts: 230000 | #Constraints: 44316 479.79/482.05 c #Conflicts: 231000 | #Constraints: 45316 479.79/482.05 c #Conflicts: 232000 | #Constraints: 46316 479.79/482.05 c #Conflicts: 233000 | #Constraints: 47316 479.79/482.05 c #Conflicts: 234000 | #Constraints: 48316 479.79/482.05 c INPROCESSING 479.79/482.05 c GARBAGE COLLECT 479.79/482.05 c rational objective 141.673 508.86/511.27 c #Conflicts: 235000 | #Constraints: 25941 508.86/511.27 c #Conflicts: 236000 | #Constraints: 26941 508.86/511.27 c #Conflicts: 237000 | #Constraints: 27941 508.86/511.27 c #Conflicts: 238000 | #Constraints: 28941 508.86/511.27 c #Conflicts: 239000 | #Constraints: 29941 508.86/511.27 c #Conflicts: 240000 | #Constraints: 30942 508.86/511.27 c #Conflicts: 241000 | #Constraints: 31942 508.86/511.27 c #Conflicts: 242000 | #Constraints: 32942 508.86/511.27 c #Conflicts: 243000 | #Constraints: 33942 508.86/511.27 c #Conflicts: 244000 | #Constraints: 34942 508.86/511.27 c #Conflicts: 245000 | #Constraints: 35942 508.86/511.27 c INPROCESSING 508.86/511.27 c GARBAGE COLLECT 508.86/511.27 c rational objective 141.673 533.76/536.29 c #Conflicts: 246000 | #Constraints: 19331 533.76/536.29 c #Conflicts: 247000 | #Constraints: 20331 533.76/536.29 c #Conflicts: 248000 | #Constraints: 21331 533.76/536.29 c #Conflicts: 249000 | #Constraints: 22331 533.76/536.29 c #Conflicts: 250000 | #Constraints: 23331 533.76/536.29 c #Conflicts: 251000 | #Constraints: 24331 533.76/536.29 c #Conflicts: 252000 | #Constraints: 25331 533.76/536.29 c #Conflicts: 253000 | #Constraints: 26331 533.76/536.29 c #Conflicts: 254000 | #Constraints: 27331 533.76/536.29 c #Conflicts: 255000 | #Constraints: 28331 533.76/536.29 c #Conflicts: 256000 | #Constraints: 29331 533.76/536.29 c #Conflicts: 257000 | #Constraints: 30331 533.76/536.29 c INPROCESSING 533.76/536.29 c GARBAGE COLLECT 533.76/536.29 c rational objective 141.673 668.01/670.90 c #Conflicts: 258000 | #Constraints: 17103 668.01/670.90 c #Conflicts: 259000 | #Constraints: 18103 668.01/670.90 c #Conflicts: 260000 | #Constraints: 19103 668.01/670.90 c #Conflicts: 261000 | #Constraints: 20103 668.01/670.90 c #Conflicts: 262000 | #Constraints: 21103 668.01/670.90 c #Conflicts: 263000 | #Constraints: 22103 668.01/670.90 c #Conflicts: 264000 | #Constraints: 23103 668.01/670.90 c #Conflicts: 265000 | #Constraints: 24103 668.01/670.90 c #Conflicts: 266000 | #Constraints: 25103 668.01/670.90 c #Conflicts: 267000 | #Constraints: 26103 668.01/670.90 c #Conflicts: 268000 | #Constraints: 27103 668.01/670.90 c #Conflicts: 269000 | #Constraints: 28103 668.01/670.90 c #Conflicts: 270000 | #Constraints: 29103 668.01/670.90 c #Conflicts: 271000 | #Constraints: 30103 668.01/670.90 c #Conflicts: 272000 | #Constraints: 31103 668.01/670.90 c #Conflicts: 273000 | #Constraints: 32103 668.01/670.90 c #Conflicts: 274000 | #Constraints: 33103 668.01/670.90 c #Conflicts: 275000 | #Constraints: 34103 668.01/670.90 c #Conflicts: 276000 | #Constraints: 35103 668.01/670.90 c #Conflicts: 277000 | #Constraints: 36103 668.01/670.90 c #Conflicts: 278000 | #Constraints: 37103 668.01/670.90 c #Conflicts: 279000 | #Constraints: 38103 668.01/670.90 c #Conflicts: 280000 | #Constraints: 39103 668.01/670.90 c #Conflicts: 281000 | #Constraints: 40103 668.01/670.90 c #Conflicts: 282000 | #Constraints: 41103 668.01/670.90 c #Conflicts: 283000 | #Constraints: 42103 668.01/670.90 c #Conflicts: 284000 | #Constraints: 43103 668.01/670.90 c #Conflicts: 285000 | #Constraints: 44103 668.01/670.90 c #Conflicts: 286000 | #Constraints: 45103 668.01/670.90 c #Conflicts: 287000 | #Constraints: 46103 668.01/670.90 c #Conflicts: 288000 | #Constraints: 47103 668.01/670.90 c #Conflicts: 289000 | #Constraints: 48103 668.01/670.90 c #Conflicts: 290000 | #Constraints: 49103 668.01/670.90 c #Conflicts: 291000 | #Constraints: 50103 668.01/670.90 c #Conflicts: 292000 | #Constraints: 51103 668.01/670.90 c #Conflicts: 293000 | #Constraints: 52103 668.01/670.90 c #Conflicts: 294000 | #Constraints: 53103 668.01/670.90 c #Conflicts: 295000 | #Constraints: 54103 668.01/670.90 c INPROCESSING 668.01/670.90 c GARBAGE COLLECT 668.01/670.90 c rational objective 141.673 758.42/761.62 c #Conflicts: 296000 | #Constraints: 28354 758.42/761.62 c #Conflicts: 297000 | #Constraints: 29354 758.42/761.62 c #Conflicts: 298000 | #Constraints: 30354 758.42/761.62 c #Conflicts: 299000 | #Constraints: 31354 758.42/761.62 c #Conflicts: 300000 | #Constraints: 32354 758.42/761.62 c #Conflicts: 301000 | #Constraints: 33354 758.42/761.62 c #Conflicts: 302000 | #Constraints: 34354 758.42/761.62 c #Conflicts: 303000 | #Constraints: 35354 758.42/761.62 c #Conflicts: 304000 | #Constraints: 36354 758.42/761.62 c #Conflicts: 305000 | #Constraints: 37354 758.42/761.62 c #Conflicts: 306000 | #Constraints: 38354 758.42/761.62 c #Conflicts: 307000 | #Constraints: 39354 758.42/761.62 c #Conflicts: 308000 | #Constraints: 40354 758.42/761.62 c #Conflicts: 309000 | #Constraints: 41354 758.42/761.62 c INPROCESSING 758.42/761.62 c GARBAGE COLLECT 758.42/761.62 c rational objective 141.673 802.27/805.69 c #Conflicts: 310000 | #Constraints: 22475 802.27/805.69 c #Conflicts: 311000 | #Constraints: 23475 802.27/805.69 c #Conflicts: 312000 | #Constraints: 24475 802.27/805.69 c #Conflicts: 313000 | #Constraints: 25475 802.27/805.69 c #Conflicts: 314000 | #Constraints: 26475 802.27/805.69 c #Conflicts: 315000 | #Constraints: 27475 802.27/805.69 c #Conflicts: 316000 | #Constraints: 28475 802.27/805.69 c #Conflicts: 317000 | #Constraints: 29475 802.27/805.69 c #Conflicts: 318000 | #Constraints: 30475 802.27/805.69 c #Conflicts: 319000 | #Constraints: 31475 802.27/805.69 c #Conflicts: 320000 | #Constraints: 32475 802.27/805.69 c #Conflicts: 321000 | #Constraints: 33475 802.27/805.69 c #Conflicts: 322000 | #Constraints: 34475 802.27/805.69 c INPROCESSING 802.27/805.69 c GARBAGE COLLECT 802.27/805.69 c rational objective 141.673 959.54/963.43 c #Conflicts: 323000 | #Constraints: 20247 959.54/963.43 c #Conflicts: 324000 | #Constraints: 21247 959.54/963.43 c #Conflicts: 325000 | #Constraints: 22247 959.54/963.43 c #Conflicts: 326000 | #Constraints: 23247 959.54/963.43 c #Conflicts: 327000 | #Constraints: 24247 959.54/963.43 c #Conflicts: 328000 | #Constraints: 25247 959.54/963.43 c #Conflicts: 329000 | #Constraints: 26247 959.54/963.43 c #Conflicts: 330000 | #Constraints: 27247 959.54/963.43 c #Conflicts: 331000 | #Constraints: 28247 959.54/963.43 c #Conflicts: 332000 | #Constraints: 29247 959.54/963.43 c #Conflicts: 333000 | #Constraints: 30247 959.54/963.43 c #Conflicts: 334000 | #Constraints: 31247 959.54/963.43 c #Conflicts: 335000 | #Constraints: 32247 959.54/963.43 c #Conflicts: 336000 | #Constraints: 33247 959.54/963.43 c #Conflicts: 337000 | #Constraints: 34247 959.54/963.43 c #Conflicts: 338000 | #Constraints: 35247 959.54/963.43 c #Conflicts: 339000 | #Constraints: 36247 959.54/963.43 c #Conflicts: 340000 | #Constraints: 37247 959.54/963.43 c #Conflicts: 341000 | #Constraints: 38247 959.54/963.43 c #Conflicts: 342000 | #Constraints: 39247 959.54/963.43 c #Conflicts: 343000 | #Constraints: 40247 959.54/963.43 c #Conflicts: 344000 | #Constraints: 41247 959.54/963.43 c #Conflicts: 345000 | #Constraints: 42247 959.54/963.43 c #Conflicts: 346000 | #Constraints: 43247 959.54/963.43 c #Conflicts: 347000 | #Constraints: 44247 959.54/963.43 c #Conflicts: 348000 | #Constraints: 45247 959.54/963.43 c #Conflicts: 349000 | #Constraints: 46247 959.54/963.43 c #Conflicts: 350000 | #Constraints: 47247 959.54/963.43 c bounds 194 >= 148 @ 917.967 959.54/963.43 c #Conflicts: 351000 | #Constraints: 48294 959.54/963.43 c #Conflicts: 352000 | #Constraints: 49294 959.54/963.43 c #Conflicts: 353000 | #Constraints: 50294 959.54/963.43 c #Conflicts: 354000 | #Constraints: 51294 959.54/963.43 c #Conflicts: 355000 | #Constraints: 52294 959.54/963.43 c #Conflicts: 356000 | #Constraints: 53294 959.54/963.43 c #Conflicts: 357000 | #Constraints: 54294 959.54/963.43 c #Conflicts: 358000 | #Constraints: 55294 959.54/963.43 c #Conflicts: 359000 | #Constraints: 56294 959.54/963.43 c #Conflicts: 360000 | #Constraints: 57294 959.54/963.43 c #Conflicts: 361000 | #Constraints: 58294 959.54/963.43 c #Conflicts: 362000 | #Constraints: 59294 959.54/963.43 c #Conflicts: 363000 | #Constraints: 60294 959.54/963.43 c #Conflicts: 364000 | #Constraints: 61294 959.54/963.43 c INPROCESSING 959.54/963.43 c GARBAGE COLLECT 959.54/963.43 c rational objective 141.673 989.73/993.73 c #Conflicts: 365000 | #Constraints: 31983 989.73/993.73 c #Conflicts: 366000 | #Constraints: 32983 989.73/993.73 c bounds 193 >= 148 @ 953.186 989.73/993.73 c #Conflicts: 367000 | #Constraints: 33984 989.73/993.73 c #Conflicts: 368000 | #Constraints: 34984 989.73/993.73 c #Conflicts: 369000 | #Constraints: 35984 989.73/993.73 c #Conflicts: 370000 | #Constraints: 36984 989.73/993.73 c #Conflicts: 371000 | #Constraints: 37984 989.73/993.73 c #Conflicts: 372000 | #Constraints: 38985 989.73/993.73 c #Conflicts: 373000 | #Constraints: 39985 989.73/993.73 c #Conflicts: 374000 | #Constraints: 40985 989.73/993.73 c #Conflicts: 375000 | #Constraints: 41985 989.73/993.73 c #Conflicts: 376000 | #Constraints: 42985 989.73/993.73 c #Conflicts: 377000 | #Constraints: 43985 989.73/993.73 c #Conflicts: 378000 | #Constraints: 44985 989.73/993.73 c #Conflicts: 379000 | #Constraints: 45985 989.73/993.73 c INPROCESSING 989.73/993.73 c GARBAGE COLLECT 989.73/993.73 c rational objective 141.673 1024.82/1028.90 c #Conflicts: 380000 | #Constraints: 24468 1024.82/1028.90 c #Conflicts: 381000 | #Constraints: 25468 1024.82/1028.90 c #Conflicts: 382000 | #Constraints: 26468 1024.82/1028.90 c #Conflicts: 383000 | #Constraints: 27468 1024.82/1028.90 c #Conflicts: 384000 | #Constraints: 28468 1024.82/1028.90 c #Conflicts: 385000 | #Constraints: 29468 1024.82/1028.90 c #Conflicts: 386000 | #Constraints: 30468 1024.82/1028.90 c #Conflicts: 387000 | #Constraints: 31468 1024.82/1028.90 c #Conflicts: 388000 | #Constraints: 32468 1024.82/1028.90 c #Conflicts: 389000 | #Constraints: 33468 1024.82/1028.90 c #Conflicts: 390000 | #Constraints: 34468 1024.82/1028.90 c #Conflicts: 391000 | #Constraints: 35468 1024.82/1028.90 c #Conflicts: 392000 | #Constraints: 36468 1024.82/1028.90 c bounds 192 >= 148 @ 1005.4 1024.82/1028.90 c #Conflicts: 393000 | #Constraints: 37469 1024.82/1028.90 c #Conflicts: 394000 | #Constraints: 38469 1024.82/1028.90 c INPROCESSING 1024.82/1028.90 c GARBAGE COLLECT 1024.82/1028.90 c rational objective 141.673 1234.08/1238.96 c #Conflicts: 395000 | #Constraints: 22768 1234.08/1238.96 c #Conflicts: 396000 | #Constraints: 23768 1234.08/1238.96 c #Conflicts: 397000 | #Constraints: 24768 1234.08/1238.96 c #Conflicts: 398000 | #Constraints: 25768 1234.08/1238.96 c #Conflicts: 399000 | #Constraints: 26768 1234.08/1238.96 c #Conflicts: 400000 | #Constraints: 27768 1234.08/1238.96 c #Conflicts: 401000 | #Constraints: 28768 1234.08/1238.96 c #Conflicts: 402000 | #Constraints: 29768 1234.08/1238.96 c #Conflicts: 403000 | #Constraints: 30768 1234.08/1238.96 c #Conflicts: 404000 | #Constraints: 31768 1234.08/1238.96 c #Conflicts: 405000 | #Constraints: 32768 1234.08/1238.96 c #Conflicts: 406000 | #Constraints: 33768 1234.08/1238.96 c #Conflicts: 407000 | #Constraints: 34768 1234.08/1238.96 c #Conflicts: 408000 | #Constraints: 35768 1234.08/1238.96 c #Conflicts: 409000 | #Constraints: 36768 1234.08/1238.96 c #Conflicts: 410000 | #Constraints: 37768 1234.08/1238.96 c #Conflicts: 411000 | #Constraints: 38768 1234.08/1238.96 c #Conflicts: 412000 | #Constraints: 39768 1234.08/1238.96 c #Conflicts: 413000 | #Constraints: 40768 1234.08/1238.96 c #Conflicts: 414000 | #Constraints: 41768 1234.08/1238.96 c #Conflicts: 415000 | #Constraints: 42768 1234.08/1238.96 c #Conflicts: 416000 | #Constraints: 43768 1234.08/1238.96 c #Conflicts: 417000 | #Constraints: 44768 1234.08/1238.96 c #Conflicts: 418000 | #Constraints: 45768 1234.08/1238.96 c #Conflicts: 419000 | #Constraints: 46768 1234.08/1238.96 c #Conflicts: 420000 | #Constraints: 47768 1234.08/1238.96 c #Conflicts: 421000 | #Constraints: 48768 1234.08/1238.96 c #Conflicts: 422000 | #Constraints: 49768 1234.08/1238.96 c #Conflicts: 423000 | #Constraints: 50768 1234.08/1238.96 c #Conflicts: 424000 | #Constraints: 51768 1234.08/1238.96 c #Conflicts: 425000 | #Constraints: 52768 1234.08/1238.96 c #Conflicts: 426000 | #Constraints: 53768 1234.08/1238.96 c #Conflicts: 427000 | #Constraints: 54768 1234.08/1238.96 c #Conflicts: 428000 | #Constraints: 55768 1234.08/1238.96 c #Conflicts: 429000 | #Constraints: 56768 1234.08/1238.96 c #Conflicts: 430000 | #Constraints: 57768 1234.08/1238.96 c #Conflicts: 431000 | #Constraints: 58768 1234.08/1238.96 c #Conflicts: 432000 | #Constraints: 59768 1234.08/1238.96 c #Conflicts: 433000 | #Constraints: 60768 1234.08/1238.96 c #Conflicts: 434000 | #Constraints: 61768 1234.08/1238.96 c #Conflicts: 435000 | #Constraints: 62768 1234.08/1238.96 c #Conflicts: 436000 | #Constraints: 63768 1234.08/1238.96 c #Conflicts: 437000 | #Constraints: 64768 1234.08/1238.96 c #Conflicts: 438000 | #Constraints: 65768 1234.08/1238.96 c #Conflicts: 439000 | #Constraints: 66768 1234.08/1238.96 c #Conflicts: 440000 | #Constraints: 67768 1234.08/1238.96 c #Conflicts: 441000 | #Constraints: 68768 1234.08/1238.96 c INPROCESSING 1234.08/1238.96 c GARBAGE COLLECT 1234.08/1238.96 c rational objective 141.673 1269.84/1274.89 c #Conflicts: 442000 | #Constraints: 36160 1269.84/1274.89 c #Conflicts: 443000 | #Constraints: 37160 1269.84/1274.89 c #Conflicts: 444000 | #Constraints: 38160 1269.84/1274.89 c #Conflicts: 445000 | #Constraints: 39161 1269.84/1274.89 c #Conflicts: 446000 | #Constraints: 40161 1269.84/1274.89 c #Conflicts: 447000 | #Constraints: 41161 1269.84/1274.89 c #Conflicts: 448000 | #Constraints: 42161 1269.84/1274.89 c #Conflicts: 449000 | #Constraints: 43161 1269.84/1274.89 c #Conflicts: 450000 | #Constraints: 44162 1269.84/1274.89 c #Conflicts: 451000 | #Constraints: 45162 1269.84/1274.89 c #Conflicts: 452000 | #Constraints: 46162 1269.84/1274.89 c #Conflicts: 453000 | #Constraints: 47162 1269.84/1274.89 c #Conflicts: 454000 | #Constraints: 48162 1269.84/1274.89 c #Conflicts: 455000 | #Constraints: 49162 1269.84/1274.89 c #Conflicts: 456000 | #Constraints: 50162 1269.84/1274.89 c #Conflicts: 457000 | #Constraints: 51162 1269.84/1274.89 c INPROCESSING 1269.84/1274.89 c GARBAGE COLLECT 1269.84/1274.89 c rational objective 141.673 1508.34/1514.29 c #Conflicts: 458000 | #Constraints: 27242 1508.34/1514.29 c #Conflicts: 459000 | #Constraints: 28242 1508.34/1514.29 c #Conflicts: 460000 | #Constraints: 29242 1508.34/1514.29 c #Conflicts: 461000 | #Constraints: 30242 1508.34/1514.29 c #Conflicts: 462000 | #Constraints: 31242 1508.34/1514.29 c #Conflicts: 463000 | #Constraints: 32242 1508.34/1514.29 c #Conflicts: 464000 | #Constraints: 33242 1508.34/1514.29 c #Conflicts: 465000 | #Constraints: 34242 1508.34/1514.29 c #Conflicts: 466000 | #Constraints: 35242 1508.34/1514.29 c #Conflicts: 467000 | #Constraints: 36242 1508.34/1514.29 c #Conflicts: 468000 | #Constraints: 37242 1508.34/1514.29 c #Conflicts: 469000 | #Constraints: 38242 1508.34/1514.29 c #Conflicts: 470000 | #Constraints: 39242 1508.34/1514.29 c #Conflicts: 471000 | #Constraints: 40242 1508.34/1514.29 c #Conflicts: 472000 | #Constraints: 41242 1508.34/1514.29 c #Conflicts: 473000 | #Constraints: 42242 1508.34/1514.29 c #Conflicts: 474000 | #Constraints: 43242 1508.34/1514.29 c #Conflicts: 475000 | #Constraints: 44242 1508.34/1514.29 c #Conflicts: 476000 | #Constraints: 45242 1508.34/1514.29 c #Conflicts: 477000 | #Constraints: 46242 1508.34/1514.29 c #Conflicts: 478000 | #Constraints: 47242 1508.34/1514.29 c #Conflicts: 479000 | #Constraints: 48242 1508.34/1514.29 c #Conflicts: 480000 | #Constraints: 49242 1508.34/1514.29 c #Conflicts: 481000 | #Constraints: 50242 1508.34/1514.29 c #Conflicts: 482000 | #Constraints: 51242 1508.34/1514.29 c #Conflicts: 483000 | #Constraints: 52242 1508.34/1514.29 c #Conflicts: 484000 | #Constraints: 53242 1508.34/1514.29 c #Conflicts: 485000 | #Constraints: 54242 1508.34/1514.29 c #Conflicts: 486000 | #Constraints: 55242 1508.34/1514.29 c #Conflicts: 487000 | #Constraints: 56242 1508.34/1514.29 c #Conflicts: 488000 | #Constraints: 57242 1508.34/1514.29 c #Conflicts: 489000 | #Constraints: 58242 1508.34/1514.29 c #Conflicts: 490000 | #Constraints: 59242 1508.34/1514.29 c #Conflicts: 491000 | #Constraints: 60242 1508.34/1514.29 c #Conflicts: 492000 | #Constraints: 61243 1508.34/1514.29 c #Conflicts: 493000 | #Constraints: 62243 1508.34/1514.29 c #Conflicts: 494000 | #Constraints: 63243 1508.34/1514.29 c #Conflicts: 495000 | #Constraints: 64243 1508.34/1514.29 c #Conflicts: 496000 | #Constraints: 65243 1508.34/1514.29 c #Conflicts: 497000 | #Constraints: 66243 1508.34/1514.29 c #Conflicts: 498000 | #Constraints: 67243 1508.34/1514.29 c #Conflicts: 499000 | #Constraints: 68243 1508.34/1514.29 c #Conflicts: 500000 | #Constraints: 69243 1508.34/1514.29 c #Conflicts: 501000 | #Constraints: 70243 1508.34/1514.29 c #Conflicts: 502000 | #Constraints: 71243 1508.34/1514.29 c #Conflicts: 503000 | #Constraints: 72243 1508.34/1514.29 c #Conflicts: 504000 | #Constraints: 73243 1508.34/1514.29 c #Conflicts: 505000 | #Constraints: 74243 1508.34/1514.29 c #Conflicts: 506000 | #Constraints: 75243 1508.34/1514.29 c INPROCESSING 1508.34/1514.29 c GARBAGE COLLECT 1508.34/1514.29 c rational objective 141.673 1645.74/1652.18 c #Conflicts: 507000 | #Constraints: 38911 1645.74/1652.18 c #Conflicts: 508000 | #Constraints: 39911 1645.74/1652.18 c #Conflicts: 509000 | #Constraints: 40911 1645.74/1652.18 c #Conflicts: 510000 | #Constraints: 41911 1645.74/1652.18 c #Conflicts: 511000 | #Constraints: 42911 1645.74/1652.18 c #Conflicts: 512000 | #Constraints: 43911 1645.74/1652.18 c #Conflicts: 513000 | #Constraints: 44911 1645.74/1652.18 c #Conflicts: 514000 | #Constraints: 45911 1645.74/1652.18 c #Conflicts: 515000 | #Constraints: 46911 1645.74/1652.18 c #Conflicts: 516000 | #Constraints: 47911 1645.74/1652.18 c #Conflicts: 517000 | #Constraints: 48911 1645.74/1652.18 c #Conflicts: 518000 | #Constraints: 49911 1645.74/1652.18 c #Conflicts: 519000 | #Constraints: 50911 1645.74/1652.18 c #Conflicts: 520000 | #Constraints: 51911 1645.74/1652.18 c #Conflicts: 521000 | #Constraints: 52911 1645.74/1652.18 c #Conflicts: 522000 | #Constraints: 53911 1645.74/1652.18 c #Conflicts: 523000 | #Constraints: 54911 1645.74/1652.18 c #Conflicts: 524000 | #Constraints: 55911 1645.74/1652.18 c INPROCESSING 1645.74/1652.18 c GARBAGE COLLECT 1645.74/1652.18 c rational objective 141.673 1718.95/1725.64 c #Conflicts: 525000 | #Constraints: 29573 1718.95/1725.64 c #Conflicts: 526000 | #Constraints: 30573 1718.95/1725.64 c #Conflicts: 527000 | #Constraints: 31573 1718.95/1725.64 c #Conflicts: 528000 | #Constraints: 32573 1718.95/1725.64 c #Conflicts: 529000 | #Constraints: 33573 1718.95/1725.64 c #Conflicts: 530000 | #Constraints: 34573 1718.95/1725.64 c #Conflicts: 531000 | #Constraints: 35573 1718.95/1725.64 c #Conflicts: 532000 | #Constraints: 36573 1718.95/1725.64 c #Conflicts: 533000 | #Constraints: 37573 1718.95/1725.64 c #Conflicts: 534000 | #Constraints: 38573 1718.95/1725.64 c #Conflicts: 535000 | #Constraints: 39573 1718.95/1725.64 c #Conflicts: 536000 | #Constraints: 40573 1718.95/1725.64 c #Conflicts: 537000 | #Constraints: 41573 1718.95/1725.64 c #Conflicts: 538000 | #Constraints: 42573 1718.95/1725.64 c #Conflicts: 539000 | #Constraints: 43573 1718.95/1725.64 c #Conflicts: 540000 | #Constraints: 44573 1718.95/1725.64 c #Conflicts: 541000 | #Constraints: 45573 1718.95/1725.64 c #Conflicts: 542000 | #Constraints: 46573 1718.95/1725.64 c INPROCESSING 1718.95/1725.64 c GARBAGE COLLECT 1718.95/1725.64 c rational objective 141.673 1996.99/2004.78 c #Conflicts: 543000 | #Constraints: 30562 1996.99/2004.78 c #Conflicts: 544000 | #Constraints: 31562 1996.99/2004.78 c bounds 191 >= 148 @ 1711.41 1996.99/2004.78 c #Conflicts: 545000 | #Constraints: 32563 1996.99/2004.78 c #Conflicts: 546000 | #Constraints: 33563 1996.99/2004.78 c #Conflicts: 547000 | #Constraints: 34563 1996.99/2004.78 c #Conflicts: 548000 | #Constraints: 35563 1996.99/2004.78 c #Conflicts: 549000 | #Constraints: 36563 1996.99/2004.78 c #Conflicts: 550000 | #Constraints: 37563 1996.99/2004.78 c #Conflicts: 551000 | #Constraints: 38563 1996.99/2004.78 c #Conflicts: 552000 | #Constraints: 39563 1996.99/2004.78 c #Conflicts: 553000 | #Constraints: 40563 1996.99/2004.78 c #Conflicts: 554000 | #Constraints: 41563 1996.99/2004.78 c #Conflicts: 555000 | #Constraints: 42563 1996.99/2004.78 c #Conflicts: 556000 | #Constraints: 43563 1996.99/2004.78 c #Conflicts: 557000 | #Constraints: 44563 1996.99/2004.78 c #Conflicts: 558000 | #Constraints: 45563 1996.99/2004.78 c #Conflicts: 559000 | #Constraints: 46563 1996.99/2004.78 c #Conflicts: 560000 | #Constraints: 47563 1996.99/2004.78 c #Conflicts: 561000 | #Constraints: 48563 1996.99/2004.78 c #Conflicts: 562000 | #Constraints: 49563 1996.99/2004.78 c #Conflicts: 563000 | #Constraints: 50563 1996.99/2004.78 c #Conflicts: 564000 | #Constraints: 51563 1996.99/2004.78 c #Conflicts: 565000 | #Constraints: 52563 1996.99/2004.78 c #Conflicts: 566000 | #Constraints: 53563 1996.99/2004.78 c #Conflicts: 567000 | #Constraints: 54563 1996.99/2004.78 c #Conflicts: 568000 | #Constraints: 55563 1996.99/2004.78 c #Conflicts: 569000 | #Constraints: 56563 1996.99/2004.78 c #Conflicts: 570000 | #Constraints: 57563 1996.99/2004.78 c #Conflicts: 571000 | #Constraints: 58563 1996.99/2004.78 c #Conflicts: 572000 | #Constraints: 59563 1996.99/2004.78 c #Conflicts: 573000 | #Constraints: 60563 1996.99/2004.78 c #Conflicts: 574000 | #Constraints: 61563 1996.99/2004.78 c #Conflicts: 575000 | #Constraints: 62563 1996.99/2004.78 c #Conflicts: 576000 | #Constraints: 63563 1996.99/2004.78 c #Conflicts: 577000 | #Constraints: 64563 1996.99/2004.78 c #Conflicts: 578000 | #Constraints: 65563 1996.99/2004.78 c #Conflicts: 579000 | #Constraints: 66563 1996.99/2004.78 c #Conflicts: 580000 | #Constraints: 67563 1996.99/2004.78 c #Conflicts: 581000 | #Constraints: 68563 1996.99/2004.78 c #Conflicts: 582000 | #Constraints: 69563 1996.99/2004.78 c #Conflicts: 583000 | #Constraints: 70563 1996.99/2004.78 c #Conflicts: 584000 | #Constraints: 71563 1996.99/2004.78 c #Conflicts: 585000 | #Constraints: 72563 1996.99/2004.78 c #Conflicts: 586000 | #Constraints: 73563 1996.99/2004.78 c #Conflicts: 587000 | #Constraints: 74563 1996.99/2004.78 c #Conflicts: 588000 | #Constraints: 75563 1996.99/2004.78 c #Conflicts: 589000 | #Constraints: 76563 1996.99/2004.78 c #Conflicts: 590000 | #Constraints: 77563 1996.99/2004.78 c #Conflicts: 591000 | #Constraints: 78563 1996.99/2004.78 c #Conflicts: 592000 | #Constraints: 79563 1996.99/2004.78 c #Conflicts: 593000 | #Constraints: 80563 1996.99/2004.78 c #Conflicts: 594000 | #Constraints: 81563 1996.99/2004.78 c #Conflicts: 595000 | #Constraints: 82563 1996.99/2004.78 c #Conflicts: 596000 | #Constraints: 83563 1996.99/2004.78 c INPROCESSING 1996.99/2004.78 c GARBAGE COLLECT 1996.99/2004.78 c rational objective 141.673 2184.99/2193.41 c #Conflicts: 597000 | #Constraints: 43516 2184.99/2193.41 c #Conflicts: 598000 | #Constraints: 44516 2184.99/2193.41 c #Conflicts: 599000 | #Constraints: 45516 2184.99/2193.41 c #Conflicts: 600000 | #Constraints: 46516 2184.99/2193.41 c #Conflicts: 601000 | #Constraints: 47516 2184.99/2193.41 c #Conflicts: 602000 | #Constraints: 48516 2184.99/2193.41 c #Conflicts: 603000 | #Constraints: 49516 2184.99/2193.41 c #Conflicts: 604000 | #Constraints: 50516 2184.99/2193.41 c #Conflicts: 605000 | #Constraints: 51516 2184.99/2193.41 c #Conflicts: 606000 | #Constraints: 52516 2184.99/2193.41 c #Conflicts: 607000 | #Constraints: 53516 2184.99/2193.41 c #Conflicts: 608000 | #Constraints: 54516 2184.99/2193.41 c #Conflicts: 609000 | #Constraints: 55516 2184.99/2193.41 c #Conflicts: 610000 | #Constraints: 56516 2184.99/2193.41 c #Conflicts: 611000 | #Constraints: 57516 2184.99/2193.41 c #Conflicts: 612000 | #Constraints: 58516 2184.99/2193.41 c #Conflicts: 613000 | #Constraints: 59516 2184.99/2193.41 c #Conflicts: 614000 | #Constraints: 60516 2184.99/2193.41 c #Conflicts: 615000 | #Constraints: 61516 2184.99/2193.41 c INPROCESSING 2184.99/2193.41 c GARBAGE COLLECT 2184.99/2193.41 c rational objective 141.673 2612.78/2622.88 c #Conflicts: 616000 | #Constraints: 32575 2612.78/2622.88 c #Conflicts: 617000 | #Constraints: 33575 2612.78/2622.88 c #Conflicts: 618000 | #Constraints: 34575 2612.78/2622.88 c #Conflicts: 619000 | #Constraints: 35575 2612.78/2622.88 c #Conflicts: 620000 | #Constraints: 36575 2612.78/2622.88 c #Conflicts: 621000 | #Constraints: 37575 2612.78/2622.88 c #Conflicts: 622000 | #Constraints: 38575 2612.78/2622.88 c #Conflicts: 623000 | #Constraints: 39575 2612.78/2622.88 c #Conflicts: 624000 | #Constraints: 40575 2612.78/2622.88 c #Conflicts: 625000 | #Constraints: 41575 2612.78/2622.88 c #Conflicts: 626000 | #Constraints: 42575 2612.78/2622.88 c #Conflicts: 627000 | #Constraints: 43575 2612.78/2622.88 c #Conflicts: 628000 | #Constraints: 44575 2612.78/2622.88 c #Conflicts: 629000 | #Constraints: 45575 2612.78/2622.88 c #Conflicts: 630000 | #Constraints: 46575 2612.78/2622.88 c #Conflicts: 631000 | #Constraints: 47575 2612.78/2622.88 c #Conflicts: 632000 | #Constraints: 48575 2612.78/2622.88 c #Conflicts: 633000 | #Constraints: 49575 2612.78/2622.88 c #Conflicts: 634000 | #Constraints: 50575 2612.78/2622.88 c #Conflicts: 635000 | #Constraints: 51575 2612.78/2622.88 c #Conflicts: 636000 | #Constraints: 52575 2612.78/2622.88 c #Conflicts: 637000 | #Constraints: 53575 2612.78/2622.88 c #Conflicts: 638000 | #Constraints: 54575 2612.78/2622.88 c #Conflicts: 639000 | #Constraints: 55575 2612.78/2622.88 c #Conflicts: 640000 | #Constraints: 56575 2612.78/2622.88 c #Conflicts: 641000 | #Constraints: 57575 2612.78/2622.88 c #Conflicts: 642000 | #Constraints: 58575 2612.78/2622.88 c #Conflicts: 643000 | #Constraints: 59575 2612.78/2622.88 c #Conflicts: 644000 | #Constraints: 60575 2612.78/2622.88 c #Conflicts: 645000 | #Constraints: 61575 2612.78/2622.88 c #Conflicts: 646000 | #Constraints: 62575 2612.78/2622.88 c #Conflicts: 647000 | #Constraints: 63575 2612.78/2622.88 c #Conflicts: 648000 | #Constraints: 64575 2612.78/2622.88 c #Conflicts: 649000 | #Constraints: 65575 2612.78/2622.88 c #Conflicts: 650000 | #Constraints: 66575 2612.78/2622.88 c #Conflicts: 651000 | #Constraints: 67575 2612.78/2622.88 c #Conflicts: 652000 | #Constraints: 68575 2612.78/2622.88 c #Conflicts: 653000 | #Constraints: 69575 2612.78/2622.88 c #Conflicts: 654000 | #Constraints: 70575 2612.78/2622.88 c #Conflicts: 655000 | #Constraints: 71575 2612.78/2622.88 c #Conflicts: 656000 | #Constraints: 72575 2612.78/2622.88 c #Conflicts: 657000 | #Constraints: 73575 2612.78/2622.88 c #Conflicts: 658000 | #Constraints: 74575 2612.78/2622.88 c #Conflicts: 659000 | #Constraints: 75575 2612.78/2622.88 c #Conflicts: 660000 | #Constraints: 76575 2612.78/2622.88 c #Conflicts: 661000 | #Constraints: 77575 2612.78/2622.88 c #Conflicts: 662000 | #Constraints: 78575 2612.78/2622.88 c #Conflicts: 663000 | #Constraints: 79575 2612.78/2622.88 c #Conflicts: 664000 | #Constraints: 80575 2612.78/2622.88 c #Conflicts: 665000 | #Constraints: 81575 2612.78/2622.88 c #Conflicts: 666000 | #Constraints: 82575 2612.78/2622.88 c #Conflicts: 667000 | #Constraints: 83575 2612.78/2622.88 c #Conflicts: 668000 | #Constraints: 84575 2612.78/2622.88 c #Conflicts: 669000 | #Constraints: 85575 2612.78/2622.88 c #Conflicts: 670000 | #Constraints: 86575 2612.78/2622.88 c #Conflicts: 671000 | #Constraints: 87575 2612.78/2622.88 c #Conflicts: 672000 | #Constraints: 88575 2612.78/2622.88 c INPROCESSING 2612.78/2622.88 c GARBAGE COLLECT 2612.78/2622.88 c rational objective 141.673 2675.55/2685.88 c #Conflicts: 673000 | #Constraints: 46126 2675.55/2685.88 c bounds 190 >= 148 @ 2600.64 2675.55/2685.88 c #Conflicts: 674000 | #Constraints: 47127 2675.55/2685.88 c #Conflicts: 675000 | #Constraints: 48127 2675.55/2685.88 c #Conflicts: 676000 | #Constraints: 49127 2675.55/2685.88 c #Conflicts: 677000 | #Constraints: 50127 2675.55/2685.88 c #Conflicts: 678000 | #Constraints: 51127 2675.55/2685.88 c #Conflicts: 679000 | #Constraints: 52127 2675.55/2685.88 c #Conflicts: 680000 | #Constraints: 53127 2675.55/2685.88 c #Conflicts: 681000 | #Constraints: 54127 2675.55/2685.88 c #Conflicts: 682000 | #Constraints: 55127 2675.55/2685.88 c #Conflicts: 683000 | #Constraints: 56127 2675.55/2685.88 c #Conflicts: 684000 | #Constraints: 57127 2675.55/2685.88 c #Conflicts: 685000 | #Constraints: 58127 2675.55/2685.88 c #Conflicts: 686000 | #Constraints: 59127 2675.55/2685.88 c #Conflicts: 687000 | #Constraints: 60127 2675.55/2685.88 c #Conflicts: 688000 | #Constraints: 61127 2675.55/2685.88 c #Conflicts: 689000 | #Constraints: 62127 2675.55/2685.88 c #Conflicts: 690000 | #Constraints: 63127 2675.55/2685.88 c #Conflicts: 691000 | #Constraints: 64127 2675.55/2685.88 c #Conflicts: 692000 | #Constraints: 65127 2675.55/2685.88 c INPROCESSING 2675.55/2685.88 c GARBAGE COLLECT 2675.55/2685.88 c rational objective 141.673 3020.44/3032.02 c #Conflicts: 693000 | #Constraints: 36358 3020.44/3032.02 c #Conflicts: 694000 | #Constraints: 37358 3020.44/3032.02 c #Conflicts: 695000 | #Constraints: 38358 3020.44/3032.02 c #Conflicts: 696000 | #Constraints: 39358 3020.44/3032.02 c #Conflicts: 697000 | #Constraints: 40358 3020.44/3032.02 c #Conflicts: 698000 | #Constraints: 41358 3020.44/3032.02 c #Conflicts: 699000 | #Constraints: 42358 3020.44/3032.02 c #Conflicts: 700000 | #Constraints: 43358 3020.44/3032.02 c #Conflicts: 701000 | #Constraints: 44358 3020.44/3032.02 c #Conflicts: 702000 | #Constraints: 45358 3020.44/3032.02 c #Conflicts: 703000 | #Constraints: 46358 3020.44/3032.02 c #Conflicts: 704000 | #Constraints: 47358 3020.44/3032.02 c #Conflicts: 705000 | #Constraints: 48358 3020.44/3032.02 c #Conflicts: 706000 | #Constraints: 49358 3020.44/3032.02 c #Conflicts: 707000 | #Constraints: 50358 3020.44/3032.02 c #Conflicts: 708000 | #Constraints: 51358 3020.44/3032.02 c #Conflicts: 709000 | #Constraints: 52358 3020.44/3032.02 c #Conflicts: 710000 | #Constraints: 53358 3020.44/3032.02 c #Conflicts: 711000 | #Constraints: 54358 3020.44/3032.02 c #Conflicts: 712000 | #Constraints: 55358 3020.44/3032.02 c #Conflicts: 713000 | #Constraints: 56358 3020.44/3032.02 c #Conflicts: 714000 | #Constraints: 57358 3020.44/3032.02 c #Conflicts: 715000 | #Constraints: 58358 3020.44/3032.02 c #Conflicts: 716000 | #Constraints: 59358 3020.44/3032.02 c #Conflicts: 717000 | #Constraints: 60358 3020.44/3032.02 c #Conflicts: 718000 | #Constraints: 61358 3020.44/3032.02 c #Conflicts: 719000 | #Constraints: 62358 3020.44/3032.02 c #Conflicts: 720000 | #Constraints: 63358 3020.44/3032.02 c #Conflicts: 721000 | #Constraints: 64358 3020.44/3032.02 c #Conflicts: 722000 | #Constraints: 65359 3020.44/3032.02 c #Conflicts: 723000 | #Constraints: 66359 3020.44/3032.02 c #Conflicts: 724000 | #Constraints: 67359 3020.44/3032.02 c #Conflicts: 725000 | #Constraints: 68359 3020.44/3032.02 c #Conflicts: 726000 | #Constraints: 69359 3020.44/3032.02 c #Conflicts: 727000 | #Constraints: 70359 3020.44/3032.02 c #Conflicts: 728000 | #Constraints: 71359 3020.44/3032.02 c #Conflicts: 729000 | #Constraints: 72359 3020.44/3032.02 c #Conflicts: 730000 | #Constraints: 73359 3020.44/3032.02 c #Conflicts: 731000 | #Constraints: 74359 3020.44/3032.02 c #Conflicts: 732000 | #Constraints: 75359 3020.44/3032.02 c #Conflicts: 733000 | #Constraints: 76359 3020.44/3032.02 c #Conflicts: 734000 | #Constraints: 77359 3020.44/3032.02 c #Conflicts: 735000 | #Constraints: 78359 3020.44/3032.02 c #Conflicts: 736000 | #Constraints: 79359 3020.44/3032.02 c #Conflicts: 737000 | #Constraints: 80359 3020.44/3032.02 c #Conflicts: 738000 | #Constraints: 81359 3020.44/3032.02 c #Conflicts: 739000 | #Constraints: 82359 3020.44/3032.02 c #Conflicts: 740000 | #Constraints: 83359 3020.44/3032.02 c #Conflicts: 741000 | #Constraints: 84359 3020.44/3032.02 c #Conflicts: 742000 | #Constraints: 85359 3020.44/3032.02 c #Conflicts: 743000 | #Constraints: 86359 3020.44/3032.02 c #Conflicts: 744000 | #Constraints: 87359 3020.44/3032.02 c #Conflicts: 745000 | #Constraints: 88359 3020.44/3032.02 c #Conflicts: 746000 | #Constraints: 89359 3020.44/3032.02 c #Conflicts: 747000 | #Constraints: 90359 3020.44/3032.02 c #Conflicts: 748000 | #Constraints: 91359 3020.44/3032.02 c #Conflicts: 749000 | #Constraints: 92359 3020.44/3032.02 c #Conflicts: 750000 | #Constraints: 93359 3020.44/3032.02 c #Conflicts: 751000 | #Constraints: 94359 3020.44/3032.02 c #Conflicts: 752000 | #Constraints: 95359 3020.44/3032.02 c INPROCESSING 3020.44/3032.02 c GARBAGE COLLECT 3020.44/3032.02 c rational objective 141.673 3282.60/3295.27 c #Conflicts: 753000 | #Constraints: 49210 3282.60/3295.27 c #Conflicts: 754000 | #Constraints: 50210 3282.60/3295.27 c #Conflicts: 755000 | #Constraints: 51210 3282.60/3295.27 c #Conflicts: 756000 | #Constraints: 52210 3282.60/3295.27 c #Conflicts: 757000 | #Constraints: 53210 3282.60/3295.27 c #Conflicts: 758000 | #Constraints: 54210 3282.60/3295.27 c #Conflicts: 759000 | #Constraints: 55210 3282.60/3295.27 c #Conflicts: 760000 | #Constraints: 56210 3282.60/3295.27 c #Conflicts: 761000 | #Constraints: 57210 3282.60/3295.27 c #Conflicts: 762000 | #Constraints: 58210 3282.60/3295.27 c #Conflicts: 763000 | #Constraints: 59210 3282.60/3295.27 c #Conflicts: 764000 | #Constraints: 60210 3282.60/3295.27 c #Conflicts: 765000 | #Constraints: 61210 3282.60/3295.27 c #Conflicts: 766000 | #Constraints: 62210 3282.60/3295.27 c #Conflicts: 767000 | #Constraints: 63210 3282.60/3295.27 c #Conflicts: 768000 | #Constraints: 64210 3282.60/3295.27 c #Conflicts: 769000 | #Constraints: 65210 3282.60/3295.27 c #Conflicts: 770000 | #Constraints: 66210 3282.60/3295.27 c #Conflicts: 771000 | #Constraints: 67210 3282.60/3295.27 c #Conflicts: 772000 | #Constraints: 68210 3282.60/3295.27 c #Conflicts: 773000 | #Constraints: 69210 3282.60/3295.27 c #Conflicts: 774000 | #Constraints: 70210 3282.60/3295.27 c INPROCESSING 3282.60/3295.27 c GARBAGE COLLECT 3282.60/3295.27 c rational objective 141.673 3600.05/3613.90 c #Conflicts: 775000 | #Constraints: 38512 3600.05/3613.90 c #Conflicts: 776000 | #Constraints: 39512 3600.05/3613.90 c #Conflicts: 777000 | #Constraints: 40512 3600.05/3613.90 c #Conflicts: 778000 | #Constraints: 41512 3600.05/3613.90 c #Conflicts: 779000 | #Constraints: 42512 3600.05/3613.90 c #Conflicts: 780000 | #Constraints: 43512 3600.05/3613.90 c #Conflicts: 781000 | #Constraints: 44512 3600.05/3613.90 c #Conflicts: 782000 | #Constraints: 45512 3600.05/3613.90 c #Conflicts: 783000 | #Constraints: 46512 3600.05/3613.90 c #Conflicts: 784000 | #Constraints: 47512 3600.05/3613.90 c #Conflicts: 785000 | #Constraints: 48512 3600.05/3613.90 c #Conflicts: 786000 | #Constraints: 49512 3600.05/3613.90 c #Conflicts: 787000 | #Constraints: 50512 3600.05/3613.90 c #Conflicts: 788000 | #Constraints: 51512 3600.05/3613.90 c #Conflicts: 789000 | #Constraints: 52512 3600.05/3613.90 c #Conflicts: 790000 | #Constraints: 53512 3600.05/3613.90 c #Conflicts: 791000 | #Constraints: 54512 3600.05/3613.90 c #Conflicts: 792000 | #Constraints: 55512 3600.05/3613.90 c #Conflicts: 793000 | #Constraints: 56512 3600.05/3613.90 c #Conflicts: 794000 | #Constraints: 57512 3600.05/3613.90 c #Conflicts: 795000 | #Constraints: 58512 3600.05/3613.90 c #Conflicts: 796000 | #Constraints: 59512 3600.05/3613.90 c #Conflicts: 797000 | #Constraints: 60512 3600.05/3613.90 c #Conflicts: 798000 | #Constraints: 61512 3600.05/3613.90 c #Conflicts: 799000 | #Constraints: 62512 3600.05/3613.90 c #Conflicts: 800000 | #Constraints: 63512 3600.05/3613.90 c #Conflicts: 801000 | #Constraints: 64512 3600.05/3613.90 c #Conflicts: 802000 | #Constraints: 65512 3600.05/3613.90 c #Conflicts: 803000 | #Constraints: 66513 3600.05/3613.90 c #Conflicts: 804000 | #Constraints: 67513 3600.05/3613.90 c #Conflicts: 805000 | #Constraints: 68513 3600.05/3613.90 c #Conflicts: 806000 | #Constraints: 69513 3600.05/3613.90 c #Conflicts: 807000 | #Constraints: 70513 3600.05/3613.90 c #Conflicts: 808000 | #Constraints: 71513 3600.05/3613.90 c #Conflicts: 809000 | #Constraints: 72513 3600.05/3613.90 c #Conflicts: 810000 | #Constraints: 73513 3600.05/3613.90 c #Conflicts: 811000 | #Constraints: 74513 3600.05/3613.90 c #Conflicts: 812000 | #Constraints: 75513 3600.05/3613.90 c #Conflicts: 813000 | #Constraints: 76513 3600.05/3613.90 c #Conflicts: 814000 | #Constraints: 77514 3600.05/3613.90 c #Conflicts: 815000 | #Constraints: 78514 3600.05/3613.90 c #Conflicts: 816000 | #Constraints: 79514 3600.05/3613.90 c #Conflicts: 817000 | #Constraints: 80514 3600.05/3613.90 c #Conflicts: 818000 | #Constraints: 81514 3600.05/3613.90 c #Conflicts: 819000 | #Constraints: 82514 3600.05/3613.90 c #Conflicts: 820000 | #Constraints: 83514 3600.05/3613.90 c #Conflicts: 821000 | #Constraints: 84514 3600.05/3613.90 c #Conflicts: 822000 | #Constraints: 85514 3600.05/3613.90 c #Conflicts: 823000 | #Constraints: 86514 3600.05/3613.90 c #Conflicts: 824000 | #Constraints: 87514 3600.05/3613.90 c Program interrupted by user. 3600.05/3613.90 c cpu time 3582.18 s 3600.05/3613.90 c deterministic time 356828861972 3.57e+11 3600.05/3613.90 c optimization time 316.22 s 3600.05/3613.90 c total solve time 3265.95 s 3600.05/3613.90 c core-guided solve time 1890.67 s 3600.05/3613.90 c propagation time 3061.08 s 3600.05/3613.90 c conflict analysis time 481.121 s 3600.05/3613.90 c propagations 117006500 3600.05/3613.90 c resolve steps 6921104 3600.05/3613.90 c decisions 5796840 3600.05/3613.90 c conflicts 824547 3600.05/3613.90 c restarts 1786 3600.05/3613.90 c inprocessing phases 45 3600.05/3613.90 c input clauses 309 3600.05/3613.90 c input cardinalities 185 3600.05/3613.90 c input general constraints 914 3600.05/3613.90 c input average constraint length 20.19 3600.05/3613.90 c input average constraint degree 19.20 3600.05/3613.90 c learned clauses 290965 3600.05/3613.90 c learned cardinalities 8211 3600.05/3613.90 c learned general constraints 525399 3600.05/3613.90 c learned average constraint length 195.50 3600.05/3613.90 c learned average constraint degree 7324385.57 3600.05/3613.90 c watched constraints 339702 3600.05/3613.90 c counting constraints 186611 3600.05/3613.90 c gcd simplifications 113209 3600.05/3613.90 c detected cardinalities 4105 3600.05/3613.90 c weakened non-implied lits 38592088 3600.05/3613.90 c weakened non-implying lits 78457 3600.05/3613.90 c original variables 478 3600.05/3613.90 c clausal propagations 12349722 3600.05/3613.90 c cardinality propagations 7631354 3600.05/3613.90 c watched propagations 17317518 3600.05/3613.90 c counting propagations 77661654 3600.05/3613.90 c watch lookups 60847726313 3600.05/3613.90 c watch backjump lookups 54513466031 3600.05/3613.90 c watch checks 222263427596 3600.05/3613.90 c propagation checks 18296454771 3600.05/3613.90 c constraint additions 660477054 3600.05/3613.90 c trail pops 123627292 3600.05/3613.90 c formula constraints 478 3600.05/3613.90 c learned constraints 824551 3600.05/3613.90 c bound constraints 37 3600.05/3613.90 c core-guided constraints 893 3600.05/3613.90 c encountered formula constraints 1334007 3600.05/3613.90 c encountered learned constraints 5428021 3600.05/3613.90 c encountered bound constraints 86 3600.05/3613.90 c encountered core-guided constraints 983474 3600.05/3613.90 c LP total time 46.1022 s 3600.05/3613.90 c LP solve time 44.46 s 3600.05/3613.90 c LP constraints added 478 3600.05/3613.90 c LP constraints removed 0 3600.05/3613.90 c LP pivots internal 824567 3600.05/3613.90 c LP pivots root 55007 3600.05/3613.90 c LP calls 14587 3600.05/3613.90 c LP optimalities 14571 3600.05/3613.90 c LP no pivot count 582 3600.05/3613.90 c LP infeasibilities 12 3600.05/3613.90 c LP valid Farkas constraints 12 3600.05/3613.90 c LP learned Farkas constraints 12 3600.05/3613.90 c LP basis resets 0 3600.05/3613.90 c LP cycling count 0 3600.05/3613.90 c LP singular count 0 3600.05/3613.90 c LP no primal count 0 3600.05/3613.90 c LP no farkas count 0 3600.05/3613.90 c LP other issue count 0 3600.05/3613.90 c LP Gomory cuts 0 3600.05/3613.90 c LP learned cuts 0 3600.05/3613.90 c LP deleted cuts 0 3600.05/3613.90 c LP encountered Gomory constraints 0 3600.05/3613.90 c LP encountered Farkas constraints 26 3600.05/3613.90 c LP encountered learned Farkas constraints 25 3600.05/3613.90 c CG auxiliary variables introduced 347 3600.05/3613.90 c CG solutions found 37 3600.05/3613.90 c CG cores constructed 148 3600.05/3613.90 c CG core cardinality constraints returned 0 3600.05/3613.90 c CG unit cores 0 3600.05/3613.90 c CG single cores 148 3600.05/3613.90 c CG blocks removed during cardinality reduction 0 3600.05/3613.90 c CG first core best 0 3600.05/3613.90 c CG decision core best 0 3600.05/3613.90 c CG core reduction tie 0 3600.05/3613.90 c CG core degree average 1.00 3600.05/3613.90 c CG core slack average 4.09 3600.05/3613.90 s SATISFIABLE 3600.05/3613.90 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 190
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63536 MiB free)
memory of node 1: 64510 MiB (64043 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462560-1722340764/watcher-4462560-1722340764 -o /tmp/evaluation-result-4462560-1722340764/solver-4462560-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6448 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462560-1722340764 --lp-cut-gomory=0 HOME/instance-4462560-1722340764.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=6494, runsolver pid=6486
[startup+0.100092 s]*
/proc/loadavg: 0.10 0.09 0.09 2/241 6512
/proc/meminfo: memFree=130639280/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=37376 memory=2572 CPUtime=0 cores=0,2
/proc/6494/stat : 6494 (roundingsat) D 6486 6494 6438 0 -1 1078198272 214 0 1 0 0 0 0 0 20 0 1 0 447151 38273024 643 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 9344 643 586 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2572 KiB
[startup+0.214734 s]*
/proc/loadavg: 0.10 0.09 0.09 2/241 6512
/proc/meminfo: memFree=130638668/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=37376 memory=2572 CPUtime=0 cores=0,2
/proc/6494/stat : 6494 (roundingsat) D 6486 6494 6438 0 -1 1078198272 214 0 1 0 0 0 0 0 20 0 1 0 447151 38273024 643 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 9344 643 586 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2572 KiB
[startup+0.312792 s]*
/proc/loadavg: 0.10 0.09 0.09 2/241 6512
/proc/meminfo: memFree=130638276/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=37376 memory=2572 CPUtime=0 cores=0,2
/proc/6494/stat : 6494 (roundingsat) D 6486 6494 6438 0 -1 1078198272 214 0 1 0 0 0 0 0 20 0 1 0 447151 38273024 643 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 9344 643 586 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2572 KiB
[startup+0.700262 s]
/proc/loadavg: 0.10 0.09 0.09 6/241 6512
/proc/meminfo: memFree=130619232/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=39076 memory=8624 CPUtime=0.25 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 676 0 1 0 24 1 0 0 20 0 1 0 447151 40013824 2156 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 9769 2156 1721 992 0 1627 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 39076 KiB
Current children cumulated memory: 8624 KiB
[startup+1.50031 s]
/proc/loadavg: 0.10 0.09 0.09 6/241 6512
/proc/meminfo: memFree=130605148/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=42840 memory=15476 CPUtime=1.05 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 1738 0 1 0 94 11 0 0 20 0 1 0 447151 43868160 3869 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 10710 3869 1830 992 0 2568 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 42840 KiB
Current children cumulated memory: 15476 KiB
[startup+3.11295 s]
/proc/loadavg: 0.10 0.09 0.09 6/241 6512
/proc/meminfo: memFree=130425032/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=49392 memory=21384 CPUtime=2.66 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 3246 0 1 0 246 20 0 0 20 0 1 0 447151 50577408 5346 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 12348 5346 1830 992 0 4206 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 49392 KiB
Current children cumulated memory: 21384 KiB
[startup+6.30027 s]
/proc/loadavg: 0.42 0.15 0.11 6/242 6513
/proc/meminfo: memFree=130131140/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=51808 memory=24816 CPUtime=5.84 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 4153 0 1 0 551 33 0 0 20 0 1 0 447151 53051392 6204 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 12952 6204 1830 992 0 4810 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 51808 KiB
Current children cumulated memory: 24816 KiB
[startup+12.7003 s]
/proc/loadavg: 0.70 0.22 0.13 6/244 6517
/proc/meminfo: memFree=129571664/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=63304 memory=35876 CPUtime=12.22 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 6406 0 1 0 1164 58 0 0 20 0 1 0 447151 64823296 8969 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 15826 8969 1830 992 0 7684 0
Current children cumulated CPU time: 12.22 s
Current children cumulated vsize: 63304 KiB
Current children cumulated memory: 35876 KiB
[startup+25.5003 s]
/proc/loadavg: 1.43 0.40 0.20 6/244 6518
/proc/meminfo: memFree=128442836/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=78824 memory=49168 CPUtime=24.97 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 8686 0 1 0 2414 83 0 0 20 0 1 0 447151 80715776 12292 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 19706 12292 1830 992 0 11564 0
Current children cumulated CPU time: 24.97 s
Current children cumulated vsize: 78824 KiB
Current children cumulated memory: 49168 KiB
[startup+51.1136 s]
/proc/loadavg: 2.53 0.74 0.31 7/248 6529
/proc/meminfo: memFree=126319492/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=100104 memory=63136 CPUtime=50.49 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 11514 0 1 0 4908 141 0 0 20 0 1 0 447151 102506496 15784 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 25026 15784 1846 992 0 16884 0
Current children cumulated CPU time: 50.49 s
Current children cumulated vsize: 100104 KiB
Current children cumulated memory: 63136 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.28 0.52 6/248 6548
/proc/meminfo: memFree=122339800/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=145416 memory=110260 CPUtime=101.49 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 17818 0 1 0 9959 190 0 0 20 0 1 0 447151 148905984 27565 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 36354 27565 1846 992 0 28212 0
Current children cumulated CPU time: 101.49 s
Current children cumulated vsize: 145416 KiB
Current children cumulated memory: 110260 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 1.88 0.78 6/248 6558
/proc/meminfo: memFree=117832896/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=154616 memory=117428 CPUtime=161.27 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 19650 0 1 0 15849 278 0 0 20 0 1 0 447151 158326784 29357 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 38654 29357 1846 992 0 30512 0
Current children cumulated CPU time: 161.27 s
Current children cumulated vsize: 154616 KiB
Current children cumulated memory: 117428 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 2.30 0.99 6/246 6569
/proc/meminfo: memFree=113417948/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=166464 memory=125792 CPUtime=221.04 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 21930 0 1 0 21754 350 0 0 20 0 1 0 447151 170459136 31448 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 41616 31448 1846 992 0 33474 0
Current children cumulated CPU time: 221.04 s
Current children cumulated vsize: 166464 KiB
Current children cumulated memory: 125792 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 2.64 1.19 6/247 6581
/proc/meminfo: memFree=109161700/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=207240 memory=142952 CPUtime=280.83 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 24667 0 1 0 27704 379 0 0 20 0 1 0 447151 212213760 35738 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 51810 35738 1846 992 0 43668 0
Current children cumulated CPU time: 280.83 s
Current children cumulated vsize: 207240 KiB
Current children cumulated memory: 142952 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 2.94 1.39 6/250 6595
/proc/meminfo: memFree=104763460/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=207868 memory=145596 CPUtime=340.61 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 25091 0 1 0 33650 411 0 0 20 0 1 0 447151 212856832 36399 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 51967 36399 1846 992 0 43825 0
Current children cumulated CPU time: 340.61 s
Current children cumulated vsize: 207868 KiB
Current children cumulated memory: 145596 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.18 1.57 6/251 6611
/proc/meminfo: memFree=100475892/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=208156 memory=145852 CPUtime=400.39 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 25150 0 1 0 39562 477 0 0 20 0 1 0 447151 213151744 36463 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 52039 36463 1846 992 0 43897 0
Current children cumulated CPU time: 400.39 s
Current children cumulated vsize: 208156 KiB
Current children cumulated memory: 145852 KiB
[startup+462.3 s]
/proc/loadavg: 4.33 3.39 1.75 6/251 6621
/proc/meminfo: memFree=96149344/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=215292 memory=150308 CPUtime=460.17 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 26308 0 1 0 45503 514 0 0 20 0 1 0 447151 220459008 37577 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 53823 37577 1846 992 0 45681 0
################
# More data... #
################
Current children cumulated memory: 337712 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.14 4.04 5/250 7742
/proc/meminfo: memFree=10974916/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=490692 memory=349136 CPUtime=2970.93 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 57055 0 1 0 295502 1591 0 0 20 0 1 0 447151 502468608 87284 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 122673 87284 1846 992 0 114531 0
Current children cumulated CPU time: 2970.93 s
Current children cumulated vsize: 490692 KiB
Current children cumulated memory: 349136 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.17 4.06 5/259 7767
/proc/meminfo: memFree=9443820/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=500556 memory=367236 CPUtime=3030.69 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 59560 0 1 0 301462 1607 0 0 20 0 1 0 447151 512569344 91809 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 125139 91809 1846 992 0 116997 0
Current children cumulated CPU time: 3030.69 s
Current children cumulated vsize: 500556 KiB
Current children cumulated memory: 367236 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.14 4.05 5/260 7778
/proc/meminfo: memFree=8054368/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=500556 memory=367236 CPUtime=3090.46 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 59611 0 1 0 307425 1621 0 0 20 0 1 0 447151 512569344 91809 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 125139 91809 1846 992 0 116997 0
Current children cumulated CPU time: 3090.46 s
Current children cumulated vsize: 500556 KiB
Current children cumulated memory: 367236 KiB
[startup+3162.3 s]
/proc/loadavg: 4.64 4.27 4.10 5/265 7793
/proc/meminfo: memFree=6557140/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=500556 memory=367236 CPUtime=3150.22 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 59713 0 1 0 313386 1636 0 0 20 0 1 0 447151 512569344 91809 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 125139 91809 1846 992 0 116997 0
Current children cumulated CPU time: 3150.22 s
Current children cumulated vsize: 500556 KiB
Current children cumulated memory: 367236 KiB
[startup+3222.3 s]
/proc/loadavg: 4.59 4.34 4.14 5/265 7804
/proc/meminfo: memFree=5396576/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=500556 memory=367236 CPUtime=3209.99 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 59815 0 1 0 319347 1652 0 0 20 0 1 0 447151 512569344 91809 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 125139 91809 1846 992 0 116997 0
Current children cumulated CPU time: 3209.99 s
Current children cumulated vsize: 500556 KiB
Current children cumulated memory: 367236 KiB
[startup+3282.3 s]
/proc/loadavg: 4.66 4.39 4.17 6/263 7815
/proc/meminfo: memFree=4597916/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=500556 memory=367236 CPUtime=3269.75 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 59917 0 1 0 325308 1667 0 0 20 0 1 0 447151 512569344 91809 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 125139 91809 1846 992 0 116997 0
Current children cumulated CPU time: 3269.75 s
Current children cumulated vsize: 500556 KiB
Current children cumulated memory: 367236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.72 4.47 4.21 5/258 7825
/proc/meminfo: memFree=4221972/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=500556 memory=367332 CPUtime=3329.52 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 60043 0 1 0 331251 1701 0 0 20 0 1 0 447151 512569344 91833 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 125139 91833 1846 992 0 116997 0
Current children cumulated CPU time: 3329.52 s
Current children cumulated vsize: 500556 KiB
Current children cumulated memory: 367332 KiB
[startup+3402.3 s]
/proc/loadavg: 4.48 4.43 4.21 6/259 8221
/proc/meminfo: memFree=3565008/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=500556 memory=367376 CPUtime=3389.28 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 60156 0 1 0 337201 1727 0 0 20 0 1 0 447151 512569344 91844 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 125139 91844 1846 992 0 116997 0
Current children cumulated CPU time: 3389.28 s
Current children cumulated vsize: 500556 KiB
Current children cumulated memory: 367376 KiB
[startup+3462.3 s]
/proc/loadavg: 4.66 4.48 4.24 5/253 8231
/proc/meminfo: memFree=3111548/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=500556 memory=367424 CPUtime=3449.04 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 60276 0 1 0 343154 1750 0 0 20 0 1 0 447151 512569344 91856 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 125139 91856 1846 992 0 116997 0
Current children cumulated CPU time: 3449.04 s
Current children cumulated vsize: 500556 KiB
Current children cumulated memory: 367424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.51 4.49 4.26 6/247 8411
/proc/meminfo: memFree=2421348/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=503472 memory=369104 CPUtime=3508.81 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 60796 0 1 0 349115 1766 0 0 20 0 1 0 447151 515555328 92276 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 125868 92276 1846 992 0 117726 0
Current children cumulated CPU time: 3508.81 s
Current children cumulated vsize: 503472 KiB
Current children cumulated memory: 369104 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.41 4.25 5/248 8422
/proc/meminfo: memFree=1896880/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=505592 memory=370920 CPUtime=3568.58 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 61349 0 1 0 355077 1781 0 0 20 0 1 0 447151 517726208 92730 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 126398 92730 1846 992 0 118256 0
Current children cumulated CPU time: 3568.58 s
Current children cumulated vsize: 505592 KiB
Current children cumulated memory: 370920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.9 s]
/proc/loadavg: 4.20 4.39 4.25 2/236 8481
/proc/meminfo: memFree=21210852/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=506000 memory=371536 CPUtime=3600.05 cores=0,2
/proc/6494/stat : 6494 (roundingsat) R 6486 6494 6438 0 -1 4194304 61562 0 1 0 358217 1788 0 0 20 0 1 0 447151 518144000 92884 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 126500 92884 1846 992 0 118358 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 506000 KiB
Current children cumulated memory: 371536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.5 s]
# the end of solver process 6494 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.18 s, system=17.8946 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614 s]*
/proc/loadavg: 4.20 4.39 4.25 2/233 8485
/proc/meminfo: memFree=21621792/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=506000 memory=371536 CPUtime=3600.05 cores=0,2
/proc/6494/stat : 6494 (roundingsat) D 6486 6494 6438 0 -1 4194304 61570 0 1 0 358217 1788 0 0 20 0 1 0 447151 518144000 92884 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 126500 92884 1846 992 0 118358 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 506000 KiB
Current children cumulated memory: 371536 KiB
[startup+3614.4 s]
/proc/loadavg: 4.20 4.39 4.25 2/233 8485
/proc/meminfo: memFree=21621792/131655788 swapFree=131071996/131071996
[pid=6494] ppid=6486 vsize=506000 memory=371536 CPUtime=3600.05 cores=0,2
/proc/6494/stat : 6494 (roundingsat) D 6486 6494 6438 0 -1 4194304 61570 0 1 0 358217 1788 0 0 20 0 1 0 447151 518144000 92884 134679101440 4194304 8255733 140721901055072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36032512 140721901060962 140721901061224 140721901061224 140721901068233 0
/proc/6494/statm: 126500 92884 1846 992 0 118358 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 506000 KiB
Current children cumulated memory: 371536 KiB
Child status: 0
Real time (s): 3614.51
CPU time (s): 3600.07
CPU user time (s): 3582.18
CPU system time (s): 17.8946
CPU usage (%): 99.6006
Max. virtual memory (cumulated for all children) (KiB): 506000
Max. memory (cumulated for all children) (KiB): 371536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.18
system time used= 17.8946
maximum resident set size= 371652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61591
page faults= 1
swaps= 0
block input operations= 216
block output operations= 4832344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 167
involuntary context switches= 25202
# summary of solver processes directly reported to runsolver:
# pid: 6494
# total CPU time (s): 3600.07
# total CPU user time (s): 3582.18
# total CPU system time (s): 17.8946
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6899 second user time and 37.014 second system time
The end
Begin job on nodeC008 at 2024-07-30 13:59:24 IDJOB=4462560 IDBENCH=147538 IDSOLVER=3089 FILE ID=nodeC008/4462560-1722340764 RUNJOBID= nodeC008-1722340763-6448 SLURM_JOB_ID= 8248988 Free space on /tmp= 723776 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_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-4462560-1722340764/watcher-4462560-1722340764 -o /tmp/evaluation-result-4462560-1722340764/solver-4462560-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6448 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462560-1722340764 --lp-cut-gomory=0 HOME/instance-4462560-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12 RANDOM SEED=1492646933 nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.385 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 : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.366 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.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.377 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 : 6984.63 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.386 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.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.371 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 : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.391 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.27 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.381 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 : 6984.63 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.386 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.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130650252 kB MemAvailable: 130207020 kB Buffers: 40260 kB Cached: 291736 kB SwapCached: 0 kB Active: 127444 kB Inactive: 472296 kB Active(anon): 1376 kB Inactive(anon): 288104 kB Active(file): 126068 kB Inactive(file): 184192 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 23528 kB Writeback: 0 kB AnonPages: 267572 kB Mapped: 87572 kB Shmem: 21312 kB KReclaimable: 39908 kB Slab: 109164 kB SReclaimable: 39908 kB SUnreclaim: 69256 kB KernelStack: 3632 kB PageTables: 9308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 615792 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6240 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 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: 146248 kB DirectMap2M: 10244096 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 723752 MiB End job on nodeC008 at 2024-07-30 14:59:39