| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | No Cert. | 3600.06 | 3611.2 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb |
| MD5SUM | 88220551ed2e54bab314d6806833f69c |
| 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 | 92 |
| Best CPU time to get the best result obtained on this benchmark | 3600.04 |
| 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 | 1812 |
| Total number of constraints | 3443 |
| 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 | 3443 |
| Minimum length of a constraint | 16 |
| Maximum length of a constraint | 33 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 256 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1307 |
| Number of bits of the biggest sum of numbers | 11 |
| 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.03 c #variables 1812 #constraints 3443 0.59/0.63 c bounds - >= 0 @ 0.035482 0.59/0.63 c #Conflicts: 1000 | #Constraints: 4442 0.59/0.63 c #Conflicts: 2000 | #Constraints: 5442 0.59/0.63 c INPROCESSING 0.59/0.63 c GARBAGE COLLECT 0.59/0.63 c rational objective 11 1.38/1.49 c bounds - >= 4 @ 0.600087 1.38/1.49 c bounds - >= 8 @ 0.600406 1.38/1.49 c bounds - >= 9 @ 0.600825 1.38/1.49 c bounds - >= 10 @ 0.60138 1.38/1.49 c bounds - >= 12 @ 0.601931 1.38/1.49 c bounds - >= 13 @ 0.60256 1.38/1.49 c bounds - >= 14 @ 0.604553 1.38/1.49 c bounds - >= 15 @ 0.606117 1.38/1.49 c bounds - >= 16 @ 0.607979 1.38/1.49 c bounds - >= 17 @ 0.609941 1.38/1.49 c bounds - >= 18 @ 0.614035 1.38/1.49 c bounds - >= 19 @ 0.617531 1.38/1.49 c bounds - >= 20 @ 0.621411 1.38/1.49 c bounds - >= 21 @ 0.639136 1.38/1.49 c bounds - >= 22 @ 0.656194 1.38/1.49 c bounds - >= 23 @ 0.727786 1.38/1.49 c bounds - >= 24 @ 0.757411 1.38/1.49 c bounds - >= 25 @ 0.792133 1.38/1.49 c bounds - >= 26 @ 0.869493 1.38/1.49 c #Conflicts: 3000 | #Constraints: 5564 1.38/1.49 c bounds - >= 27 @ 0.966716 1.38/1.49 c bounds - >= 28 @ 1.09546 1.38/1.49 c bounds 149 >= 28 @ 1.21117 1.38/1.49 c #Conflicts: 4000 | #Constraints: 6575 1.38/1.49 c bounds 149 >= 29 @ 1.31733 1.38/1.49 c INPROCESSING 1.38/1.49 c GARBAGE COLLECT 1.38/1.49 c rational objective 11 2.38/2.43 c bounds 147 >= 29 @ 1.46573 2.38/2.43 c bounds 146 >= 29 @ 1.49262 2.38/2.43 c #Conflicts: 5000 | #Constraints: 6005 2.38/2.43 c bounds 144 >= 29 @ 1.76252 2.38/2.43 c bounds 144 >= 30 @ 1.87139 2.38/2.43 c bounds 144 >= 31 @ 2.00862 2.38/2.43 c bounds 130 >= 31 @ 2.08535 2.38/2.43 c bounds 128 >= 31 @ 2.0898 2.38/2.43 c #Conflicts: 6000 | #Constraints: 7018 2.38/2.43 c bounds 127 >= 31 @ 2.13304 2.38/2.43 c INPROCESSING 2.38/2.43 c GARBAGE COLLECT 2.38/2.43 c rational objective 11 3.29/3.34 c bounds 126 >= 31 @ 2.37804 3.29/3.34 c #Conflicts: 7000 | #Constraints: 5838 3.29/3.34 c bounds 125 >= 31 @ 2.43603 3.29/3.34 c bounds 124 >= 31 @ 2.48651 3.29/3.34 c bounds 118 >= 31 @ 2.55369 3.29/3.34 c #Conflicts: 8000 | #Constraints: 6841 3.29/3.34 c bounds 118 >= 32 @ 3.03075 3.29/3.34 c #Conflicts: 9000 | #Constraints: 7843 3.29/3.34 c bounds 117 >= 32 @ 3.19099 3.29/3.34 c INPROCESSING 3.29/3.34 c GARBAGE COLLECT 3.29/3.34 c rational objective 17 4.18/4.27 c bounds 113 >= 32 @ 3.24159 4.18/4.27 c bounds 112 >= 32 @ 3.30344 4.18/4.27 c #Conflicts: 10000 | #Constraints: 6630 4.18/4.27 c #Conflicts: 11000 | #Constraints: 7630 4.18/4.27 c #Conflicts: 12000 | #Constraints: 8630 4.18/4.27 c INPROCESSING 4.18/4.27 c GARBAGE COLLECT 4.18/4.27 c rational objective 17 5.48/5.55 c #Conflicts: 13000 | #Constraints: 7131 5.48/5.55 c bounds 112 >= 33 @ 4.57077 5.48/5.55 c #Conflicts: 14000 | #Constraints: 8136 5.48/5.55 c bounds 112 >= 34 @ 5.2023 5.48/5.55 c #Conflicts: 15000 | #Constraints: 9147 5.48/5.55 c INPROCESSING 5.48/5.55 c GARBAGE COLLECT 5.48/5.55 c rational objective 17 6.67/6.75 c #Conflicts: 16000 | #Constraints: 7389 6.67/6.75 c #Conflicts: 17000 | #Constraints: 8389 6.67/6.75 c #Conflicts: 18000 | #Constraints: 9389 6.67/6.75 c INPROCESSING 6.67/6.75 c GARBAGE COLLECT 6.67/6.75 c rational objective 17 8.27/8.34 c #Conflicts: 19000 | #Constraints: 7422 8.27/8.34 c bounds 112 >= 35 @ 7.08718 8.27/8.34 c #Conflicts: 20000 | #Constraints: 8433 8.27/8.34 c #Conflicts: 21000 | #Constraints: 9433 8.27/8.34 c INPROCESSING 8.27/8.34 c GARBAGE COLLECT 8.27/8.34 c rational objective 17 9.67/9.76 c #Conflicts: 22000 | #Constraints: 7244 9.67/9.76 c #Conflicts: 23000 | #Constraints: 8244 9.67/9.76 c #Conflicts: 24000 | #Constraints: 9244 9.67/9.76 c bounds 110 >= 35 @ 9.2132 9.67/9.76 c #Conflicts: 25000 | #Constraints: 10245 9.67/9.76 c INPROCESSING 9.67/9.76 c GARBAGE COLLECT 9.67/9.76 c rational objective 17 11.56/11.61 c #Conflicts: 26000 | #Constraints: 7852 11.56/11.61 c #Conflicts: 27000 | #Constraints: 8852 11.56/11.61 c #Conflicts: 28000 | #Constraints: 9852 11.56/11.61 c bounds 110 >= 36 @ 10.9799 11.56/11.61 c #Conflicts: 29000 | #Constraints: 10860 11.56/11.61 c INPROCESSING 11.56/11.61 c GARBAGE COLLECT 11.56/11.61 c rational objective 17 13.36/13.40 c #Conflicts: 30000 | #Constraints: 8264 13.36/13.40 c #Conflicts: 31000 | #Constraints: 9264 13.36/13.40 c #Conflicts: 32000 | #Constraints: 10264 13.36/13.40 c #Conflicts: 33000 | #Constraints: 11264 13.36/13.40 c INPROCESSING 13.36/13.40 c GARBAGE COLLECT 13.36/13.40 c rational objective 17 15.36/15.49 c #Conflicts: 34000 | #Constraints: 8468 15.36/15.49 c #Conflicts: 35000 | #Constraints: 9468 15.36/15.49 c bounds 110 >= 37 @ 14.3055 15.36/15.49 c #Conflicts: 36000 | #Constraints: 10479 15.36/15.49 c #Conflicts: 37000 | #Constraints: 11479 15.36/15.49 c INPROCESSING 15.36/15.49 c GARBAGE COLLECT 15.36/15.49 c rational objective 17 17.65/17.72 c #Conflicts: 38000 | #Constraints: 8478 17.65/17.72 c #Conflicts: 39000 | #Constraints: 9478 17.65/17.72 c #Conflicts: 40000 | #Constraints: 10478 17.65/17.72 c #Conflicts: 41000 | #Constraints: 11478 17.65/17.72 c INPROCESSING 17.65/17.72 c GARBAGE COLLECT 17.65/17.72 c rational objective 17 28.32/28.44 c #Conflicts: 42000 | #Constraints: 8278 28.32/28.44 c #Conflicts: 43000 | #Constraints: 9278 28.32/28.44 c #Conflicts: 44000 | #Constraints: 10278 28.32/28.44 c #Conflicts: 45000 | #Constraints: 11278 28.32/28.44 c bounds 109 >= 37 @ 19.3159 28.32/28.44 c #Conflicts: 46000 | #Constraints: 12279 28.32/28.44 c #Conflicts: 47000 | #Constraints: 13279 28.32/28.44 c #Conflicts: 48000 | #Constraints: 14279 28.32/28.44 c #Conflicts: 49000 | #Constraints: 15279 28.32/28.44 c bounds 108 >= 37 @ 21.2583 28.32/28.44 c #Conflicts: 50000 | #Constraints: 16280 28.32/28.44 c #Conflicts: 51000 | #Constraints: 17280 28.32/28.44 c #Conflicts: 52000 | #Constraints: 18280 28.32/28.44 c #Conflicts: 53000 | #Constraints: 19280 28.32/28.44 c bounds 108 >= 38 @ 24.1021 28.32/28.44 c #Conflicts: 54000 | #Constraints: 20294 28.32/28.44 c #Conflicts: 55000 | #Constraints: 21294 28.32/28.44 c #Conflicts: 56000 | #Constraints: 22294 28.32/28.44 c #Conflicts: 57000 | #Constraints: 23294 28.32/28.44 c #Conflicts: 58000 | #Constraints: 24294 28.32/28.44 c INPROCESSING 28.32/28.44 c GARBAGE COLLECT 28.32/28.44 c rational objective 17 32.92/33.10 c #Conflicts: 59000 | #Constraints: 14613 32.92/33.10 c #Conflicts: 60000 | #Constraints: 15613 32.92/33.10 c #Conflicts: 61000 | #Constraints: 16613 32.92/33.10 c #Conflicts: 62000 | #Constraints: 17613 32.92/33.10 c #Conflicts: 63000 | #Constraints: 18613 32.92/33.10 c #Conflicts: 64000 | #Constraints: 19613 32.92/33.10 c bounds 108 >= 39 @ 32.1035 32.92/33.10 c bounds 107 >= 39 @ 32.2697 32.92/33.10 c INPROCESSING 32.92/33.10 c GARBAGE COLLECT 32.92/33.10 c rational objective 17 36.51/36.61 c #Conflicts: 65000 | #Constraints: 12421 36.51/36.61 c #Conflicts: 66000 | #Constraints: 13421 36.51/36.61 c #Conflicts: 67000 | #Constraints: 14421 36.51/36.61 c #Conflicts: 68000 | #Constraints: 15421 36.51/36.61 c #Conflicts: 69000 | #Constraints: 16421 36.51/36.61 c #Conflicts: 70000 | #Constraints: 17421 36.51/36.61 c INPROCESSING 36.51/36.61 c GARBAGE COLLECT 36.51/36.61 c rational objective 17 41.29/41.45 c #Conflicts: 71000 | #Constraints: 11373 41.29/41.45 c #Conflicts: 72000 | #Constraints: 12373 41.29/41.45 c #Conflicts: 73000 | #Constraints: 13373 41.29/41.45 c #Conflicts: 74000 | #Constraints: 14373 41.29/41.45 c #Conflicts: 75000 | #Constraints: 15373 41.29/41.45 c #Conflicts: 76000 | #Constraints: 16373 41.29/41.45 c INPROCESSING 41.29/41.45 c GARBAGE COLLECT 41.29/41.45 c rational objective 17 45.08/45.27 c #Conflicts: 77000 | #Constraints: 10800 45.08/45.27 c #Conflicts: 78000 | #Constraints: 11800 45.08/45.27 c #Conflicts: 79000 | #Constraints: 12800 45.08/45.27 c #Conflicts: 80000 | #Constraints: 13800 45.08/45.27 c #Conflicts: 81000 | #Constraints: 14800 45.08/45.27 c #Conflicts: 82000 | #Constraints: 15800 45.08/45.27 c INPROCESSING 45.08/45.27 c GARBAGE COLLECT 45.08/45.27 c rational objective 17 49.78/49.91 c #Conflicts: 83000 | #Constraints: 10358 49.78/49.91 c #Conflicts: 84000 | #Constraints: 11358 49.78/49.91 c #Conflicts: 85000 | #Constraints: 12358 49.78/49.91 c #Conflicts: 86000 | #Constraints: 13358 49.78/49.91 c bounds 107 >= 40 @ 47.0303 49.78/49.91 c #Conflicts: 87000 | #Constraints: 14369 49.78/49.91 c #Conflicts: 88000 | #Constraints: 15369 49.78/49.91 c #Conflicts: 89000 | #Constraints: 16369 49.78/49.91 c INPROCESSING 49.78/49.91 c GARBAGE COLLECT 49.78/49.91 c rational objective 17 76.72/76.93 c #Conflicts: 90000 | #Constraints: 10888 76.72/76.93 c #Conflicts: 91000 | #Constraints: 11888 76.72/76.93 c #Conflicts: 92000 | #Constraints: 12888 76.72/76.93 c #Conflicts: 93000 | #Constraints: 13888 76.72/76.93 c #Conflicts: 94000 | #Constraints: 14888 76.72/76.93 c #Conflicts: 95000 | #Constraints: 15888 76.72/76.93 c #Conflicts: 96000 | #Constraints: 16888 76.72/76.93 c #Conflicts: 97000 | #Constraints: 17888 76.72/76.93 c #Conflicts: 98000 | #Constraints: 18888 76.72/76.93 c #Conflicts: 99000 | #Constraints: 19888 76.72/76.93 c #Conflicts: 100000 | #Constraints: 20888 76.72/76.93 c #Conflicts: 101000 | #Constraints: 21888 76.72/76.93 c #Conflicts: 102000 | #Constraints: 22888 76.72/76.93 c #Conflicts: 103000 | #Constraints: 23888 76.72/76.93 c #Conflicts: 104000 | #Constraints: 24888 76.72/76.93 c #Conflicts: 105000 | #Constraints: 25888 76.72/76.93 c #Conflicts: 106000 | #Constraints: 26888 76.72/76.93 c #Conflicts: 107000 | #Constraints: 27888 76.72/76.93 c #Conflicts: 108000 | #Constraints: 28888 76.72/76.93 c #Conflicts: 109000 | #Constraints: 29888 76.72/76.93 c #Conflicts: 110000 | #Constraints: 30888 76.72/76.93 c #Conflicts: 111000 | #Constraints: 31888 76.72/76.93 c #Conflicts: 112000 | #Constraints: 32888 76.72/76.93 c #Conflicts: 113000 | #Constraints: 33888 76.72/76.93 c #Conflicts: 114000 | #Constraints: 34888 76.72/76.93 c INPROCESSING 76.72/76.93 c GARBAGE COLLECT 76.72/76.93 c rational objective 17 84.80/85.04 c #Conflicts: 115000 | #Constraints: 20321 84.80/85.04 c #Conflicts: 116000 | #Constraints: 21321 84.80/85.04 c #Conflicts: 117000 | #Constraints: 22321 84.80/85.04 c #Conflicts: 118000 | #Constraints: 23321 84.80/85.04 c #Conflicts: 119000 | #Constraints: 24321 84.80/85.04 c #Conflicts: 120000 | #Constraints: 25321 84.80/85.04 c #Conflicts: 121000 | #Constraints: 26321 84.80/85.04 c INPROCESSING 84.80/85.04 c GARBAGE COLLECT 84.80/85.04 c rational objective 17 93.18/93.44 c #Conflicts: 122000 | #Constraints: 15627 93.18/93.44 c #Conflicts: 123000 | #Constraints: 16627 93.18/93.44 c #Conflicts: 124000 | #Constraints: 17627 93.18/93.44 c #Conflicts: 125000 | #Constraints: 18627 93.18/93.44 c #Conflicts: 126000 | #Constraints: 19627 93.18/93.44 c bounds 107 >= 41 @ 87.8852 93.18/93.44 c #Conflicts: 127000 | #Constraints: 20635 93.18/93.44 c #Conflicts: 128000 | #Constraints: 21635 93.18/93.44 c #Conflicts: 129000 | #Constraints: 22635 93.18/93.44 c INPROCESSING 93.18/93.44 c GARBAGE COLLECT 93.18/93.44 c rational objective 17 101.66/101.98 c #Conflicts: 130000 | #Constraints: 13794 101.66/101.98 c #Conflicts: 131000 | #Constraints: 14794 101.66/101.98 c #Conflicts: 132000 | #Constraints: 15794 101.66/101.98 c #Conflicts: 133000 | #Constraints: 16794 101.66/101.98 c #Conflicts: 134000 | #Constraints: 17794 101.66/101.98 c #Conflicts: 135000 | #Constraints: 18794 101.66/101.98 c #Conflicts: 136000 | #Constraints: 19794 101.66/101.98 c #Conflicts: 137000 | #Constraints: 20794 101.66/101.98 c #Conflicts: 138000 | #Constraints: 21794 101.66/101.98 c INPROCESSING 101.66/101.98 c GARBAGE COLLECT 101.66/101.98 c rational objective 17 137.68/138.06 c #Conflicts: 139000 | #Constraints: 13775 137.68/138.06 c #Conflicts: 140000 | #Constraints: 14775 137.68/138.06 c #Conflicts: 141000 | #Constraints: 15775 137.68/138.06 c bounds 107 >= 42 @ 102.644 137.68/138.06 c #Conflicts: 142000 | #Constraints: 16786 137.68/138.06 c #Conflicts: 143000 | #Constraints: 17786 137.68/138.06 c #Conflicts: 144000 | #Constraints: 18786 137.68/138.06 c #Conflicts: 145000 | #Constraints: 19786 137.68/138.06 c #Conflicts: 146000 | #Constraints: 20786 137.68/138.06 c #Conflicts: 147000 | #Constraints: 21786 137.68/138.06 c #Conflicts: 148000 | #Constraints: 22786 137.68/138.06 c #Conflicts: 149000 | #Constraints: 23786 137.68/138.06 c #Conflicts: 150000 | #Constraints: 24786 137.68/138.06 c #Conflicts: 151000 | #Constraints: 25786 137.68/138.06 c #Conflicts: 152000 | #Constraints: 26786 137.68/138.06 c #Conflicts: 153000 | #Constraints: 27786 137.68/138.06 c #Conflicts: 154000 | #Constraints: 28786 137.68/138.06 c bounds 106 >= 42 @ 116.174 137.68/138.06 c #Conflicts: 155000 | #Constraints: 29787 137.68/138.06 c #Conflicts: 156000 | #Constraints: 30787 137.68/138.06 c #Conflicts: 157000 | #Constraints: 31787 137.68/138.06 c #Conflicts: 158000 | #Constraints: 32787 137.68/138.06 c #Conflicts: 159000 | #Constraints: 33787 137.68/138.06 c #Conflicts: 160000 | #Constraints: 34787 137.68/138.06 c #Conflicts: 161000 | #Constraints: 35787 137.68/138.06 c #Conflicts: 162000 | #Constraints: 36787 137.68/138.06 c #Conflicts: 163000 | #Constraints: 37787 137.68/138.06 c #Conflicts: 164000 | #Constraints: 38787 137.68/138.06 c #Conflicts: 165000 | #Constraints: 39787 137.68/138.06 c bounds 106 >= 43 @ 131.816 137.68/138.06 c #Conflicts: 166000 | #Constraints: 40795 137.68/138.06 c #Conflicts: 167000 | #Constraints: 41795 137.68/138.06 c #Conflicts: 168000 | #Constraints: 42795 137.68/138.06 c INPROCESSING 137.68/138.06 c GARBAGE COLLECT 137.68/138.06 c rational objective 17 152.24/152.68 c #Conflicts: 169000 | #Constraints: 24289 152.24/152.68 c #Conflicts: 170000 | #Constraints: 25289 152.24/152.68 c #Conflicts: 171000 | #Constraints: 26289 152.24/152.68 c #Conflicts: 172000 | #Constraints: 27289 152.24/152.68 c #Conflicts: 173000 | #Constraints: 28289 152.24/152.68 c #Conflicts: 174000 | #Constraints: 29289 152.24/152.68 c #Conflicts: 175000 | #Constraints: 30289 152.24/152.68 c #Conflicts: 176000 | #Constraints: 31289 152.24/152.68 c #Conflicts: 177000 | #Constraints: 32289 152.24/152.68 c INPROCESSING 152.24/152.68 c GARBAGE COLLECT 152.24/152.68 c rational objective 17 161.62/162.05 c #Conflicts: 178000 | #Constraints: 18787 161.62/162.05 c #Conflicts: 179000 | #Constraints: 19787 161.62/162.05 c #Conflicts: 180000 | #Constraints: 20787 161.62/162.05 c #Conflicts: 181000 | #Constraints: 21787 161.62/162.05 c #Conflicts: 182000 | #Constraints: 22787 161.62/162.05 c #Conflicts: 183000 | #Constraints: 23787 161.62/162.05 c #Conflicts: 184000 | #Constraints: 24787 161.62/162.05 c #Conflicts: 185000 | #Constraints: 25787 161.62/162.05 c #Conflicts: 186000 | #Constraints: 26787 161.62/162.05 c #Conflicts: 187000 | #Constraints: 27787 161.62/162.05 c INPROCESSING 161.62/162.05 c GARBAGE COLLECT 161.62/162.05 c rational objective 17 203.52/204.07 c #Conflicts: 188000 | #Constraints: 16672 203.52/204.07 c #Conflicts: 189000 | #Constraints: 17672 203.52/204.07 c #Conflicts: 190000 | #Constraints: 18672 203.52/204.07 c #Conflicts: 191000 | #Constraints: 19672 203.52/204.07 c #Conflicts: 192000 | #Constraints: 20672 203.52/204.07 c #Conflicts: 193000 | #Constraints: 21672 203.52/204.07 c #Conflicts: 194000 | #Constraints: 22672 203.52/204.07 c #Conflicts: 195000 | #Constraints: 23672 203.52/204.07 c #Conflicts: 196000 | #Constraints: 24672 203.52/204.07 c #Conflicts: 197000 | #Constraints: 25672 203.52/204.07 c #Conflicts: 198000 | #Constraints: 26672 203.52/204.07 c #Conflicts: 199000 | #Constraints: 27672 203.52/204.07 c #Conflicts: 200000 | #Constraints: 28672 203.52/204.07 c #Conflicts: 201000 | #Constraints: 29672 203.52/204.07 c #Conflicts: 202000 | #Constraints: 30672 203.52/204.07 c #Conflicts: 203000 | #Constraints: 31672 203.52/204.07 c #Conflicts: 204000 | #Constraints: 32672 203.52/204.07 c #Conflicts: 205000 | #Constraints: 33672 203.52/204.07 c #Conflicts: 206000 | #Constraints: 34672 203.52/204.07 c #Conflicts: 207000 | #Constraints: 35672 203.52/204.07 c #Conflicts: 208000 | #Constraints: 36672 203.52/204.07 c #Conflicts: 209000 | #Constraints: 37672 203.52/204.07 c #Conflicts: 210000 | #Constraints: 38672 203.52/204.07 c #Conflicts: 211000 | #Constraints: 39672 203.52/204.07 c #Conflicts: 212000 | #Constraints: 40672 203.52/204.07 c #Conflicts: 213000 | #Constraints: 41672 203.52/204.07 c #Conflicts: 214000 | #Constraints: 42672 203.52/204.07 c #Conflicts: 215000 | #Constraints: 43672 203.52/204.07 c #Conflicts: 216000 | #Constraints: 44672 203.52/204.07 c #Conflicts: 217000 | #Constraints: 45672 203.52/204.07 c #Conflicts: 218000 | #Constraints: 46672 203.52/204.07 c #Conflicts: 219000 | #Constraints: 47672 203.52/204.07 c #Conflicts: 220000 | #Constraints: 48672 203.52/204.07 c bounds 102 >= 43 @ 199.845 203.52/204.07 c #Conflicts: 221000 | #Constraints: 49673 203.52/204.07 c INPROCESSING 203.52/204.07 c GARBAGE COLLECT 203.52/204.07 c rational objective 17 219.59/220.18 c #Conflicts: 222000 | #Constraints: 27515 219.59/220.18 c #Conflicts: 223000 | #Constraints: 28515 219.59/220.18 c #Conflicts: 224000 | #Constraints: 29515 219.59/220.18 c #Conflicts: 225000 | #Constraints: 30515 219.59/220.18 c #Conflicts: 226000 | #Constraints: 31515 219.59/220.18 c #Conflicts: 227000 | #Constraints: 32515 219.59/220.18 c #Conflicts: 228000 | #Constraints: 33515 219.59/220.18 c #Conflicts: 229000 | #Constraints: 34515 219.59/220.18 c #Conflicts: 230000 | #Constraints: 35515 219.59/220.18 c #Conflicts: 231000 | #Constraints: 36515 219.59/220.18 c #Conflicts: 232000 | #Constraints: 37515 219.59/220.18 c INPROCESSING 219.59/220.18 c GARBAGE COLLECT 219.59/220.18 c rational objective 17 239.04/239.64 c #Conflicts: 233000 | #Constraints: 21450 239.04/239.64 c #Conflicts: 234000 | #Constraints: 22450 239.04/239.64 c #Conflicts: 235000 | #Constraints: 23450 239.04/239.64 c #Conflicts: 236000 | #Constraints: 24450 239.04/239.64 c #Conflicts: 237000 | #Constraints: 25450 239.04/239.64 c #Conflicts: 238000 | #Constraints: 26450 239.04/239.64 c #Conflicts: 239000 | #Constraints: 27450 239.04/239.64 c #Conflicts: 240000 | #Constraints: 28450 239.04/239.64 c #Conflicts: 241000 | #Constraints: 29450 239.04/239.64 c #Conflicts: 242000 | #Constraints: 30450 239.04/239.64 c #Conflicts: 243000 | #Constraints: 31450 239.04/239.64 c INPROCESSING 239.04/239.64 c GARBAGE COLLECT 239.04/239.64 c rational objective 17 311.76/312.57 c #Conflicts: 244000 | #Constraints: 18310 311.76/312.57 c #Conflicts: 245000 | #Constraints: 19310 311.76/312.57 c #Conflicts: 246000 | #Constraints: 20310 311.76/312.57 c #Conflicts: 247000 | #Constraints: 21310 311.76/312.57 c bounds 102 >= 44 @ 240.947 311.76/312.57 c #Conflicts: 248000 | #Constraints: 22318 311.76/312.57 c #Conflicts: 249000 | #Constraints: 23318 311.76/312.57 c #Conflicts: 250000 | #Constraints: 24318 311.76/312.57 c #Conflicts: 251000 | #Constraints: 25318 311.76/312.57 c #Conflicts: 252000 | #Constraints: 26318 311.76/312.57 c #Conflicts: 253000 | #Constraints: 27318 311.76/312.57 c #Conflicts: 254000 | #Constraints: 28318 311.76/312.57 c #Conflicts: 255000 | #Constraints: 29318 311.76/312.57 c #Conflicts: 256000 | #Constraints: 30318 311.76/312.57 c #Conflicts: 257000 | #Constraints: 31318 311.76/312.57 c #Conflicts: 258000 | #Constraints: 32318 311.76/312.57 c #Conflicts: 259000 | #Constraints: 33318 311.76/312.57 c #Conflicts: 260000 | #Constraints: 34318 311.76/312.57 c #Conflicts: 261000 | #Constraints: 35318 311.76/312.57 c #Conflicts: 262000 | #Constraints: 36318 311.76/312.57 c #Conflicts: 263000 | #Constraints: 37318 311.76/312.57 c #Conflicts: 264000 | #Constraints: 38318 311.76/312.57 c #Conflicts: 265000 | #Constraints: 39318 311.76/312.57 c #Conflicts: 266000 | #Constraints: 40318 311.76/312.57 c #Conflicts: 267000 | #Constraints: 41318 311.76/312.57 c #Conflicts: 268000 | #Constraints: 42318 311.76/312.57 c #Conflicts: 269000 | #Constraints: 43318 311.76/312.57 c #Conflicts: 270000 | #Constraints: 44318 311.76/312.57 c #Conflicts: 271000 | #Constraints: 45318 311.76/312.57 c bounds 100 >= 44 @ 285.75 311.76/312.57 c #Conflicts: 272000 | #Constraints: 46319 311.76/312.57 c #Conflicts: 273000 | #Constraints: 47319 311.76/312.57 c #Conflicts: 274000 | #Constraints: 48319 311.76/312.57 c #Conflicts: 275000 | #Constraints: 49319 311.76/312.57 c #Conflicts: 276000 | #Constraints: 50319 311.76/312.57 c #Conflicts: 277000 | #Constraints: 51319 311.76/312.57 c #Conflicts: 278000 | #Constraints: 52319 311.76/312.57 c #Conflicts: 279000 | #Constraints: 53319 311.76/312.57 c #Conflicts: 280000 | #Constraints: 54319 311.76/312.57 c #Conflicts: 281000 | #Constraints: 55319 311.76/312.57 c #Conflicts: 282000 | #Constraints: 56319 311.76/312.57 c INPROCESSING 311.76/312.57 c GARBAGE COLLECT 311.76/312.57 c rational objective 17 339.89/340.71 c #Conflicts: 283000 | #Constraints: 31047 339.89/340.71 c #Conflicts: 284000 | #Constraints: 32047 339.89/340.71 c #Conflicts: 285000 | #Constraints: 33047 339.89/340.71 c #Conflicts: 286000 | #Constraints: 34047 339.89/340.71 c #Conflicts: 287000 | #Constraints: 35047 339.89/340.71 c #Conflicts: 288000 | #Constraints: 36047 339.89/340.71 c #Conflicts: 289000 | #Constraints: 37047 339.89/340.71 c bounds 100 >= 45 @ 324.393 339.89/340.71 c #Conflicts: 290000 | #Constraints: 38061 339.89/340.71 c #Conflicts: 291000 | #Constraints: 39061 339.89/340.71 c #Conflicts: 292000 | #Constraints: 40061 339.89/340.71 c #Conflicts: 293000 | #Constraints: 41061 339.89/340.71 c #Conflicts: 294000 | #Constraints: 42061 339.89/340.71 c INPROCESSING 339.89/340.71 c GARBAGE COLLECT 339.89/340.71 c rational objective 17 357.94/358.88 c #Conflicts: 295000 | #Constraints: 23681 357.94/358.88 c #Conflicts: 296000 | #Constraints: 24681 357.94/358.88 c #Conflicts: 297000 | #Constraints: 25681 357.94/358.88 c #Conflicts: 298000 | #Constraints: 26681 357.94/358.88 c #Conflicts: 299000 | #Constraints: 27681 357.94/358.88 c #Conflicts: 300000 | #Constraints: 28681 357.94/358.88 c #Conflicts: 301000 | #Constraints: 29681 357.94/358.88 c #Conflicts: 302000 | #Constraints: 30681 357.94/358.88 c #Conflicts: 303000 | #Constraints: 31681 357.94/358.88 c #Conflicts: 304000 | #Constraints: 32681 357.94/358.88 c #Conflicts: 305000 | #Constraints: 33681 357.94/358.88 c #Conflicts: 306000 | #Constraints: 34681 357.94/358.88 c #Conflicts: 307000 | #Constraints: 35681 357.94/358.88 c INPROCESSING 357.94/358.88 c GARBAGE COLLECT 357.94/358.88 c rational objective 17 446.70/447.82 c #Conflicts: 308000 | #Constraints: 20641 446.70/447.82 c #Conflicts: 309000 | #Constraints: 21641 446.70/447.82 c #Conflicts: 310000 | #Constraints: 22641 446.70/447.82 c #Conflicts: 311000 | #Constraints: 23641 446.70/447.82 c #Conflicts: 312000 | #Constraints: 24641 446.70/447.82 c #Conflicts: 313000 | #Constraints: 25641 446.70/447.82 c #Conflicts: 314000 | #Constraints: 26641 446.70/447.82 c #Conflicts: 315000 | #Constraints: 27641 446.70/447.82 c #Conflicts: 316000 | #Constraints: 28641 446.70/447.82 c #Conflicts: 317000 | #Constraints: 29641 446.70/447.82 c #Conflicts: 318000 | #Constraints: 30641 446.70/447.82 c #Conflicts: 319000 | #Constraints: 31641 446.70/447.82 c #Conflicts: 320000 | #Constraints: 32641 446.70/447.82 c #Conflicts: 321000 | #Constraints: 33641 446.70/447.82 c #Conflicts: 322000 | #Constraints: 34641 446.70/447.82 c #Conflicts: 323000 | #Constraints: 35641 446.70/447.82 c #Conflicts: 324000 | #Constraints: 36641 446.70/447.82 c #Conflicts: 325000 | #Constraints: 37641 446.70/447.82 c #Conflicts: 326000 | #Constraints: 38641 446.70/447.82 c #Conflicts: 327000 | #Constraints: 39641 446.70/447.82 c #Conflicts: 328000 | #Constraints: 40641 446.70/447.82 c #Conflicts: 329000 | #Constraints: 41641 446.70/447.82 c #Conflicts: 330000 | #Constraints: 42641 446.70/447.82 c #Conflicts: 331000 | #Constraints: 43641 446.70/447.82 c #Conflicts: 332000 | #Constraints: 44641 446.70/447.82 c #Conflicts: 333000 | #Constraints: 45641 446.70/447.82 c #Conflicts: 334000 | #Constraints: 46641 446.70/447.82 c #Conflicts: 335000 | #Constraints: 47641 446.70/447.82 c #Conflicts: 336000 | #Constraints: 48641 446.70/447.82 c #Conflicts: 337000 | #Constraints: 49641 446.70/447.82 c #Conflicts: 338000 | #Constraints: 50641 446.70/447.82 c #Conflicts: 339000 | #Constraints: 51641 446.70/447.82 c #Conflicts: 340000 | #Constraints: 52641 446.70/447.82 c #Conflicts: 341000 | #Constraints: 53641 446.70/447.82 c #Conflicts: 342000 | #Constraints: 54641 446.70/447.82 c bounds 100 >= 46 @ 424.05 446.70/447.82 c #Conflicts: 343000 | #Constraints: 55649 446.70/447.82 c #Conflicts: 344000 | #Constraints: 56649 446.70/447.82 c #Conflicts: 345000 | #Constraints: 57649 446.70/447.82 c #Conflicts: 346000 | #Constraints: 58649 446.70/447.82 c #Conflicts: 347000 | #Constraints: 59649 446.70/447.82 c #Conflicts: 348000 | #Constraints: 60649 446.70/447.82 c #Conflicts: 349000 | #Constraints: 61649 446.70/447.82 c INPROCESSING 446.70/447.82 c GARBAGE COLLECT 446.70/447.82 c rational objective 17 476.03/477.25 c #Conflicts: 350000 | #Constraints: 33339 476.03/477.25 c #Conflicts: 351000 | #Constraints: 34339 476.03/477.25 c #Conflicts: 352000 | #Constraints: 35339 476.03/477.25 c #Conflicts: 353000 | #Constraints: 36339 476.03/477.25 c #Conflicts: 354000 | #Constraints: 37339 476.03/477.25 c #Conflicts: 355000 | #Constraints: 38339 476.03/477.25 c #Conflicts: 356000 | #Constraints: 39339 476.03/477.25 c #Conflicts: 357000 | #Constraints: 40339 476.03/477.25 c #Conflicts: 358000 | #Constraints: 41339 476.03/477.25 c #Conflicts: 359000 | #Constraints: 42339 476.03/477.25 c #Conflicts: 360000 | #Constraints: 43339 476.03/477.25 c #Conflicts: 361000 | #Constraints: 44339 476.03/477.25 c #Conflicts: 362000 | #Constraints: 45339 476.03/477.25 c #Conflicts: 363000 | #Constraints: 46339 476.03/477.25 c INPROCESSING 476.03/477.25 c GARBAGE COLLECT 476.03/477.25 c rational objective 17 506.24/507.53 c #Conflicts: 364000 | #Constraints: 25684 506.24/507.53 c #Conflicts: 365000 | #Constraints: 26684 506.24/507.53 c #Conflicts: 366000 | #Constraints: 27684 506.24/507.53 c #Conflicts: 367000 | #Constraints: 28684 506.24/507.53 c #Conflicts: 368000 | #Constraints: 29684 506.24/507.53 c #Conflicts: 369000 | #Constraints: 30684 506.24/507.53 c #Conflicts: 370000 | #Constraints: 31684 506.24/507.53 c #Conflicts: 371000 | #Constraints: 32684 506.24/507.53 c #Conflicts: 372000 | #Constraints: 33684 506.24/507.53 c #Conflicts: 373000 | #Constraints: 34684 506.24/507.53 c #Conflicts: 374000 | #Constraints: 35684 506.24/507.53 c #Conflicts: 375000 | #Constraints: 36684 506.24/507.53 c #Conflicts: 376000 | #Constraints: 37684 506.24/507.53 c #Conflicts: 377000 | #Constraints: 38684 506.24/507.53 c #Conflicts: 378000 | #Constraints: 39684 506.24/507.53 c INPROCESSING 506.24/507.53 c GARBAGE COLLECT 506.24/507.53 c rational objective 17 621.23/622.84 c #Conflicts: 379000 | #Constraints: 22745 621.23/622.84 c #Conflicts: 380000 | #Constraints: 23745 621.23/622.84 c #Conflicts: 381000 | #Constraints: 24745 621.23/622.84 c #Conflicts: 382000 | #Constraints: 25745 621.23/622.84 c #Conflicts: 383000 | #Constraints: 26745 621.23/622.84 c #Conflicts: 384000 | #Constraints: 27745 621.23/622.84 c #Conflicts: 385000 | #Constraints: 28745 621.23/622.84 c #Conflicts: 386000 | #Constraints: 29745 621.23/622.84 c #Conflicts: 387000 | #Constraints: 30745 621.23/622.84 c #Conflicts: 388000 | #Constraints: 31745 621.23/622.84 c #Conflicts: 389000 | #Constraints: 32745 621.23/622.84 c #Conflicts: 390000 | #Constraints: 33745 621.23/622.84 c #Conflicts: 391000 | #Constraints: 34745 621.23/622.84 c #Conflicts: 392000 | #Constraints: 35745 621.23/622.84 c #Conflicts: 393000 | #Constraints: 36745 621.23/622.84 c #Conflicts: 394000 | #Constraints: 37745 621.23/622.84 c #Conflicts: 395000 | #Constraints: 38745 621.23/622.84 c #Conflicts: 396000 | #Constraints: 39745 621.23/622.84 c #Conflicts: 397000 | #Constraints: 40745 621.23/622.84 c #Conflicts: 398000 | #Constraints: 41745 621.23/622.84 c #Conflicts: 399000 | #Constraints: 42745 621.23/622.84 c #Conflicts: 400000 | #Constraints: 43745 621.23/622.84 c #Conflicts: 401000 | #Constraints: 44745 621.23/622.84 c #Conflicts: 402000 | #Constraints: 45745 621.23/622.84 c #Conflicts: 403000 | #Constraints: 46745 621.23/622.84 c #Conflicts: 404000 | #Constraints: 47745 621.23/622.84 c #Conflicts: 405000 | #Constraints: 48745 621.23/622.84 c bounds 100 >= 47 @ 562.845 621.23/622.84 c #Conflicts: 406000 | #Constraints: 49756 621.23/622.84 c #Conflicts: 407000 | #Constraints: 50756 621.23/622.84 c #Conflicts: 408000 | #Constraints: 51756 621.23/622.84 c #Conflicts: 409000 | #Constraints: 52756 621.23/622.84 c #Conflicts: 410000 | #Constraints: 53756 621.23/622.84 c #Conflicts: 411000 | #Constraints: 54756 621.23/622.84 c #Conflicts: 412000 | #Constraints: 55756 621.23/622.84 c #Conflicts: 413000 | #Constraints: 56756 621.23/622.84 c #Conflicts: 414000 | #Constraints: 57756 621.23/622.84 c #Conflicts: 415000 | #Constraints: 58756 621.23/622.84 c #Conflicts: 416000 | #Constraints: 59756 621.23/622.84 c #Conflicts: 417000 | #Constraints: 60756 621.23/622.84 c bounds 99 >= 47 @ 599.855 621.23/622.84 c #Conflicts: 418000 | #Constraints: 61757 621.23/622.84 c #Conflicts: 419000 | #Constraints: 62757 621.23/622.84 c #Conflicts: 420000 | #Constraints: 63757 621.23/622.84 c #Conflicts: 421000 | #Constraints: 64757 621.23/622.84 c #Conflicts: 422000 | #Constraints: 65757 621.23/622.84 c #Conflicts: 423000 | #Constraints: 66757 621.23/622.84 c #Conflicts: 424000 | #Constraints: 67757 621.23/622.84 c INPROCESSING 621.23/622.84 c GARBAGE COLLECT 621.23/622.84 c rational objective 17 669.51/671.28 c #Conflicts: 425000 | #Constraints: 36411 669.51/671.28 c #Conflicts: 426000 | #Constraints: 37411 669.51/671.28 c #Conflicts: 427000 | #Constraints: 38411 669.51/671.28 c #Conflicts: 428000 | #Constraints: 39411 669.51/671.28 c #Conflicts: 429000 | #Constraints: 40411 669.51/671.28 c #Conflicts: 430000 | #Constraints: 41411 669.51/671.28 c #Conflicts: 431000 | #Constraints: 42411 669.51/671.28 c #Conflicts: 432000 | #Constraints: 43411 669.51/671.28 c #Conflicts: 433000 | #Constraints: 44411 669.51/671.28 c #Conflicts: 434000 | #Constraints: 45411 669.51/671.28 c #Conflicts: 435000 | #Constraints: 46411 669.51/671.28 c #Conflicts: 436000 | #Constraints: 47411 669.51/671.28 c #Conflicts: 437000 | #Constraints: 48411 669.51/671.28 c #Conflicts: 438000 | #Constraints: 49411 669.51/671.28 c #Conflicts: 439000 | #Constraints: 50411 669.51/671.28 c #Conflicts: 440000 | #Constraints: 51411 669.51/671.28 c INPROCESSING 669.51/671.28 c GARBAGE COLLECT 669.51/671.28 c rational objective 17 698.53/700.39 c #Conflicts: 441000 | #Constraints: 28469 698.53/700.39 c #Conflicts: 442000 | #Constraints: 29469 698.53/700.39 c #Conflicts: 443000 | #Constraints: 30469 698.53/700.39 c #Conflicts: 444000 | #Constraints: 31469 698.53/700.39 c #Conflicts: 445000 | #Constraints: 32469 698.53/700.39 c #Conflicts: 446000 | #Constraints: 33469 698.53/700.39 c #Conflicts: 447000 | #Constraints: 34469 698.53/700.39 c #Conflicts: 448000 | #Constraints: 35469 698.53/700.39 c #Conflicts: 449000 | #Constraints: 36469 698.53/700.39 c #Conflicts: 450000 | #Constraints: 37469 698.53/700.39 c #Conflicts: 451000 | #Constraints: 38469 698.53/700.39 c #Conflicts: 452000 | #Constraints: 39469 698.53/700.39 c #Conflicts: 453000 | #Constraints: 40469 698.53/700.39 c #Conflicts: 454000 | #Constraints: 41469 698.53/700.39 c #Conflicts: 455000 | #Constraints: 42469 698.53/700.39 c #Conflicts: 456000 | #Constraints: 43469 698.53/700.39 c INPROCESSING 698.53/700.39 c GARBAGE COLLECT 698.53/700.39 c rational objective 17 835.27/837.44 c #Conflicts: 457000 | #Constraints: 24640 835.27/837.44 c #Conflicts: 458000 | #Constraints: 25640 835.27/837.44 c #Conflicts: 459000 | #Constraints: 26640 835.27/837.44 c #Conflicts: 460000 | #Constraints: 27640 835.27/837.44 c #Conflicts: 461000 | #Constraints: 28640 835.27/837.44 c #Conflicts: 462000 | #Constraints: 29640 835.27/837.44 c #Conflicts: 463000 | #Constraints: 30640 835.27/837.44 c #Conflicts: 464000 | #Constraints: 31640 835.27/837.44 c #Conflicts: 465000 | #Constraints: 32640 835.27/837.44 c #Conflicts: 466000 | #Constraints: 33640 835.27/837.44 c #Conflicts: 467000 | #Constraints: 34640 835.27/837.44 c #Conflicts: 468000 | #Constraints: 35640 835.27/837.44 c bounds 98 >= 47 @ 712.519 835.27/837.44 c #Conflicts: 469000 | #Constraints: 36641 835.27/837.44 c #Conflicts: 470000 | #Constraints: 37641 835.27/837.44 c #Conflicts: 471000 | #Constraints: 38641 835.27/837.44 c #Conflicts: 472000 | #Constraints: 39641 835.27/837.44 c #Conflicts: 473000 | #Constraints: 40641 835.27/837.44 c #Conflicts: 474000 | #Constraints: 41641 835.27/837.44 c #Conflicts: 475000 | #Constraints: 42641 835.27/837.44 c #Conflicts: 476000 | #Constraints: 43641 835.27/837.44 c #Conflicts: 477000 | #Constraints: 44641 835.27/837.44 c #Conflicts: 478000 | #Constraints: 45641 835.27/837.44 c #Conflicts: 479000 | #Constraints: 46641 835.27/837.44 c #Conflicts: 480000 | #Constraints: 47641 835.27/837.44 c #Conflicts: 481000 | #Constraints: 48641 835.27/837.44 c #Conflicts: 482000 | #Constraints: 49641 835.27/837.44 c #Conflicts: 483000 | #Constraints: 50641 835.27/837.44 c #Conflicts: 484000 | #Constraints: 51641 835.27/837.44 c #Conflicts: 485000 | #Constraints: 52641 835.27/837.44 c #Conflicts: 486000 | #Constraints: 53641 835.27/837.44 c #Conflicts: 487000 | #Constraints: 54641 835.27/837.44 c #Conflicts: 488000 | #Constraints: 55641 835.27/837.44 c #Conflicts: 489000 | #Constraints: 56641 835.27/837.44 c #Conflicts: 490000 | #Constraints: 57641 835.27/837.44 c #Conflicts: 491000 | #Constraints: 58641 835.27/837.44 c #Conflicts: 492000 | #Constraints: 59641 835.27/837.44 c #Conflicts: 493000 | #Constraints: 60641 835.27/837.44 c #Conflicts: 494000 | #Constraints: 61641 835.27/837.44 c #Conflicts: 495000 | #Constraints: 62641 835.27/837.44 c #Conflicts: 496000 | #Constraints: 63641 835.27/837.44 c #Conflicts: 497000 | #Constraints: 64641 835.27/837.44 c #Conflicts: 498000 | #Constraints: 65641 835.27/837.44 c #Conflicts: 499000 | #Constraints: 66641 835.27/837.44 c #Conflicts: 500000 | #Constraints: 67641 835.27/837.44 c #Conflicts: 501000 | #Constraints: 68641 835.27/837.44 c #Conflicts: 502000 | #Constraints: 69641 835.27/837.44 c #Conflicts: 503000 | #Constraints: 70641 835.27/837.44 c #Conflicts: 504000 | #Constraints: 71641 835.27/837.44 c #Conflicts: 505000 | #Constraints: 72641 835.27/837.44 c #Conflicts: 506000 | #Constraints: 73641 835.27/837.44 c #Conflicts: 507000 | #Constraints: 74641 835.27/837.44 c INPROCESSING 835.27/837.44 c GARBAGE COLLECT 835.27/837.44 c rational objective 17 882.04/884.32 c #Conflicts: 508000 | #Constraints: 40235 882.04/884.32 c #Conflicts: 509000 | #Constraints: 41235 882.04/884.32 c #Conflicts: 510000 | #Constraints: 42235 882.04/884.32 c #Conflicts: 511000 | #Constraints: 43235 882.04/884.32 c #Conflicts: 512000 | #Constraints: 44235 882.04/884.32 c #Conflicts: 513000 | #Constraints: 45235 882.04/884.32 c #Conflicts: 514000 | #Constraints: 46235 882.04/884.32 c #Conflicts: 515000 | #Constraints: 47235 882.04/884.32 c #Conflicts: 516000 | #Constraints: 48235 882.04/884.32 c #Conflicts: 517000 | #Constraints: 49235 882.04/884.32 c #Conflicts: 518000 | #Constraints: 50235 882.04/884.32 c #Conflicts: 519000 | #Constraints: 51235 882.04/884.32 c #Conflicts: 520000 | #Constraints: 52235 882.04/884.32 c #Conflicts: 521000 | #Constraints: 53235 882.04/884.32 c #Conflicts: 522000 | #Constraints: 54235 882.04/884.32 c #Conflicts: 523000 | #Constraints: 55235 882.04/884.32 c #Conflicts: 524000 | #Constraints: 56235 882.04/884.32 c INPROCESSING 882.04/884.32 c GARBAGE COLLECT 882.04/884.32 c rational objective 17 921.14/923.55 c #Conflicts: 525000 | #Constraints: 31038 921.14/923.55 c #Conflicts: 526000 | #Constraints: 32038 921.14/923.55 c #Conflicts: 527000 | #Constraints: 33038 921.14/923.55 c #Conflicts: 528000 | #Constraints: 34038 921.14/923.55 c #Conflicts: 529000 | #Constraints: 35038 921.14/923.55 c #Conflicts: 530000 | #Constraints: 36038 921.14/923.55 c #Conflicts: 531000 | #Constraints: 37038 921.14/923.55 c #Conflicts: 532000 | #Constraints: 38038 921.14/923.55 c #Conflicts: 533000 | #Constraints: 39038 921.14/923.55 c #Conflicts: 534000 | #Constraints: 40038 921.14/923.55 c #Conflicts: 535000 | #Constraints: 41038 921.14/923.55 c #Conflicts: 536000 | #Constraints: 42038 921.14/923.55 c #Conflicts: 537000 | #Constraints: 43038 921.14/923.55 c #Conflicts: 538000 | #Constraints: 44038 921.14/923.55 c #Conflicts: 539000 | #Constraints: 45038 921.14/923.55 c #Conflicts: 540000 | #Constraints: 46038 921.14/923.55 c #Conflicts: 541000 | #Constraints: 47038 921.14/923.55 c INPROCESSING 921.14/923.55 c GARBAGE COLLECT 921.14/923.55 c rational objective 17 1179.47/1182.55 c #Conflicts: 542000 | #Constraints: 26328 1179.47/1182.55 c #Conflicts: 543000 | #Constraints: 27328 1179.47/1182.55 c #Conflicts: 544000 | #Constraints: 28328 1179.47/1182.55 c #Conflicts: 545000 | #Constraints: 29328 1179.47/1182.55 c #Conflicts: 546000 | #Constraints: 30328 1179.47/1182.55 c #Conflicts: 547000 | #Constraints: 31328 1179.47/1182.55 c #Conflicts: 548000 | #Constraints: 32328 1179.47/1182.55 c #Conflicts: 549000 | #Constraints: 33328 1179.47/1182.55 c #Conflicts: 550000 | #Constraints: 34328 1179.47/1182.55 c #Conflicts: 551000 | #Constraints: 35328 1179.47/1182.55 c #Conflicts: 552000 | #Constraints: 36328 1179.47/1182.55 c #Conflicts: 553000 | #Constraints: 37328 1179.47/1182.55 c #Conflicts: 554000 | #Constraints: 38328 1179.47/1182.55 c #Conflicts: 555000 | #Constraints: 39328 1179.47/1182.55 c #Conflicts: 556000 | #Constraints: 40328 1179.47/1182.55 c #Conflicts: 557000 | #Constraints: 41328 1179.47/1182.55 c #Conflicts: 558000 | #Constraints: 42328 1179.47/1182.55 c #Conflicts: 559000 | #Constraints: 43328 1179.47/1182.55 c #Conflicts: 560000 | #Constraints: 44328 1179.47/1182.55 c #Conflicts: 561000 | #Constraints: 45328 1179.47/1182.55 c #Conflicts: 562000 | #Constraints: 46328 1179.47/1182.55 c #Conflicts: 563000 | #Constraints: 47328 1179.47/1182.55 c #Conflicts: 564000 | #Constraints: 48328 1179.47/1182.55 c #Conflicts: 565000 | #Constraints: 49328 1179.47/1182.55 c #Conflicts: 566000 | #Constraints: 50328 1179.47/1182.55 c #Conflicts: 567000 | #Constraints: 51328 1179.47/1182.55 c #Conflicts: 568000 | #Constraints: 52328 1179.47/1182.55 c #Conflicts: 569000 | #Constraints: 53328 1179.47/1182.55 c #Conflicts: 570000 | #Constraints: 54328 1179.47/1182.55 c #Conflicts: 571000 | #Constraints: 55328 1179.47/1182.55 c #Conflicts: 572000 | #Constraints: 56328 1179.47/1182.55 c #Conflicts: 573000 | #Constraints: 57328 1179.47/1182.55 c #Conflicts: 574000 | #Constraints: 58328 1179.47/1182.55 c #Conflicts: 575000 | #Constraints: 59328 1179.47/1182.55 c #Conflicts: 576000 | #Constraints: 60328 1179.47/1182.55 c #Conflicts: 577000 | #Constraints: 61328 1179.47/1182.55 c #Conflicts: 578000 | #Constraints: 62328 1179.47/1182.55 c #Conflicts: 579000 | #Constraints: 63328 1179.47/1182.55 c #Conflicts: 580000 | #Constraints: 64328 1179.47/1182.55 c #Conflicts: 581000 | #Constraints: 65328 1179.47/1182.55 c #Conflicts: 582000 | #Constraints: 66328 1179.47/1182.55 c #Conflicts: 583000 | #Constraints: 67328 1179.47/1182.55 c #Conflicts: 584000 | #Constraints: 68328 1179.47/1182.55 c #Conflicts: 585000 | #Constraints: 69328 1179.47/1182.55 c #Conflicts: 586000 | #Constraints: 70328 1179.47/1182.55 c #Conflicts: 587000 | #Constraints: 71328 1179.47/1182.55 c #Conflicts: 588000 | #Constraints: 72328 1179.47/1182.55 c #Conflicts: 589000 | #Constraints: 73328 1179.47/1182.55 c #Conflicts: 590000 | #Constraints: 74328 1179.47/1182.55 c #Conflicts: 591000 | #Constraints: 75328 1179.47/1182.55 c #Conflicts: 592000 | #Constraints: 76328 1179.47/1182.55 c #Conflicts: 593000 | #Constraints: 77328 1179.47/1182.55 c #Conflicts: 594000 | #Constraints: 78328 1179.47/1182.55 c #Conflicts: 595000 | #Constraints: 79328 1179.47/1182.55 c #Conflicts: 596000 | #Constraints: 80328 1179.47/1182.55 c INPROCESSING 1179.47/1182.55 c GARBAGE COLLECT 1179.47/1182.55 c rational objective 17 1235.43/1238.62 c #Conflicts: 597000 | #Constraints: 42913 1235.43/1238.62 c #Conflicts: 598000 | #Constraints: 43913 1235.43/1238.62 c #Conflicts: 599000 | #Constraints: 44913 1235.43/1238.62 c #Conflicts: 600000 | #Constraints: 45913 1235.43/1238.62 c #Conflicts: 601000 | #Constraints: 46913 1235.43/1238.62 c #Conflicts: 602000 | #Constraints: 47913 1235.43/1238.62 c #Conflicts: 603000 | #Constraints: 48913 1235.43/1238.62 c #Conflicts: 604000 | #Constraints: 49913 1235.43/1238.62 c #Conflicts: 605000 | #Constraints: 50913 1235.43/1238.62 c #Conflicts: 606000 | #Constraints: 51913 1235.43/1238.62 c #Conflicts: 607000 | #Constraints: 52913 1235.43/1238.62 c #Conflicts: 608000 | #Constraints: 53913 1235.43/1238.62 c #Conflicts: 609000 | #Constraints: 54913 1235.43/1238.62 c #Conflicts: 610000 | #Constraints: 55913 1235.43/1238.62 c #Conflicts: 611000 | #Constraints: 56913 1235.43/1238.62 c #Conflicts: 612000 | #Constraints: 57913 1235.43/1238.62 c #Conflicts: 613000 | #Constraints: 58913 1235.43/1238.62 c bounds 98 >= 48 @ 1223.02 1235.43/1238.62 c #Conflicts: 614000 | #Constraints: 59921 1235.43/1238.62 c INPROCESSING 1235.43/1238.62 c GARBAGE COLLECT 1235.43/1238.62 c rational objective 17 1295.50/1298.83 c #Conflicts: 615000 | #Constraints: 32429 1295.50/1298.83 c #Conflicts: 616000 | #Constraints: 33429 1295.50/1298.83 c #Conflicts: 617000 | #Constraints: 34429 1295.50/1298.83 c #Conflicts: 618000 | #Constraints: 35429 1295.50/1298.83 c #Conflicts: 619000 | #Constraints: 36429 1295.50/1298.83 c #Conflicts: 620000 | #Constraints: 37429 1295.50/1298.83 c #Conflicts: 621000 | #Constraints: 38429 1295.50/1298.83 c #Conflicts: 622000 | #Constraints: 39429 1295.50/1298.83 c #Conflicts: 623000 | #Constraints: 40429 1295.50/1298.83 c #Conflicts: 624000 | #Constraints: 41429 1295.50/1298.83 c #Conflicts: 625000 | #Constraints: 42429 1295.50/1298.83 c #Conflicts: 626000 | #Constraints: 43429 1295.50/1298.83 c #Conflicts: 627000 | #Constraints: 44429 1295.50/1298.83 c #Conflicts: 628000 | #Constraints: 45429 1295.50/1298.83 c #Conflicts: 629000 | #Constraints: 46429 1295.50/1298.83 c #Conflicts: 630000 | #Constraints: 47429 1295.50/1298.83 c #Conflicts: 631000 | #Constraints: 48429 1295.50/1298.83 c #Conflicts: 632000 | #Constraints: 49429 1295.50/1298.83 c #Conflicts: 633000 | #Constraints: 50429 1295.50/1298.83 c INPROCESSING 1295.50/1298.83 c GARBAGE COLLECT 1295.50/1298.83 c rational objective 17 1569.56/1573.52 c #Conflicts: 634000 | #Constraints: 27834 1569.56/1573.52 c #Conflicts: 635000 | #Constraints: 28834 1569.56/1573.52 c #Conflicts: 636000 | #Constraints: 29834 1569.56/1573.52 c #Conflicts: 637000 | #Constraints: 30834 1569.56/1573.52 c #Conflicts: 638000 | #Constraints: 31834 1569.56/1573.52 c #Conflicts: 639000 | #Constraints: 32834 1569.56/1573.52 c #Conflicts: 640000 | #Constraints: 33834 1569.56/1573.52 c #Conflicts: 641000 | #Constraints: 34834 1569.56/1573.52 c #Conflicts: 642000 | #Constraints: 35834 1569.56/1573.52 c #Conflicts: 643000 | #Constraints: 36834 1569.56/1573.52 c #Conflicts: 644000 | #Constraints: 37834 1569.56/1573.52 c #Conflicts: 645000 | #Constraints: 38834 1569.56/1573.52 c #Conflicts: 646000 | #Constraints: 39834 1569.56/1573.52 c #Conflicts: 647000 | #Constraints: 40834 1569.56/1573.52 c #Conflicts: 648000 | #Constraints: 41834 1569.56/1573.52 c #Conflicts: 649000 | #Constraints: 42834 1569.56/1573.52 c #Conflicts: 650000 | #Constraints: 43834 1569.56/1573.52 c #Conflicts: 651000 | #Constraints: 44834 1569.56/1573.52 c #Conflicts: 652000 | #Constraints: 45834 1569.56/1573.52 c #Conflicts: 653000 | #Constraints: 46834 1569.56/1573.52 c #Conflicts: 654000 | #Constraints: 47834 1569.56/1573.52 c #Conflicts: 655000 | #Constraints: 48834 1569.56/1573.52 c #Conflicts: 656000 | #Constraints: 49834 1569.56/1573.52 c #Conflicts: 657000 | #Constraints: 50834 1569.56/1573.52 c #Conflicts: 658000 | #Constraints: 51834 1569.56/1573.52 c #Conflicts: 659000 | #Constraints: 52834 1569.56/1573.52 c #Conflicts: 660000 | #Constraints: 53834 1569.56/1573.52 c #Conflicts: 661000 | #Constraints: 54834 1569.56/1573.52 c #Conflicts: 662000 | #Constraints: 55834 1569.56/1573.52 c #Conflicts: 663000 | #Constraints: 56834 1569.56/1573.52 c #Conflicts: 664000 | #Constraints: 57834 1569.56/1573.52 c #Conflicts: 665000 | #Constraints: 58834 1569.56/1573.52 c #Conflicts: 666000 | #Constraints: 59834 1569.56/1573.52 c #Conflicts: 667000 | #Constraints: 60834 1569.56/1573.52 c #Conflicts: 668000 | #Constraints: 61834 1569.56/1573.52 c #Conflicts: 669000 | #Constraints: 62834 1569.56/1573.52 c #Conflicts: 670000 | #Constraints: 63834 1569.56/1573.52 c #Conflicts: 671000 | #Constraints: 64834 1569.56/1573.52 c #Conflicts: 672000 | #Constraints: 65834 1569.56/1573.52 c #Conflicts: 673000 | #Constraints: 66834 1569.56/1573.52 c #Conflicts: 674000 | #Constraints: 67834 1569.56/1573.52 c #Conflicts: 675000 | #Constraints: 68834 1569.56/1573.52 c bounds 98 >= 49 @ 1456.12 1569.56/1573.52 c #Conflicts: 676000 | #Constraints: 69839 1569.56/1573.52 c #Conflicts: 677000 | #Constraints: 70839 1569.56/1573.52 c #Conflicts: 678000 | #Constraints: 71839 1569.56/1573.52 c #Conflicts: 679000 | #Constraints: 72839 1569.56/1573.52 c #Conflicts: 680000 | #Constraints: 73839 1569.56/1573.52 c #Conflicts: 681000 | #Constraints: 74839 1569.56/1573.52 c #Conflicts: 682000 | #Constraints: 75839 1569.56/1573.52 c #Conflicts: 683000 | #Constraints: 76839 1569.56/1573.52 c #Conflicts: 684000 | #Constraints: 77839 1569.56/1573.52 c #Conflicts: 685000 | #Constraints: 78839 1569.56/1573.52 c #Conflicts: 686000 | #Constraints: 79839 1569.56/1573.52 c #Conflicts: 687000 | #Constraints: 80839 1569.56/1573.52 c #Conflicts: 688000 | #Constraints: 81839 1569.56/1573.52 c #Conflicts: 689000 | #Constraints: 82839 1569.56/1573.52 c #Conflicts: 690000 | #Constraints: 83839 1569.56/1573.52 c #Conflicts: 691000 | #Constraints: 84839 1569.56/1573.52 c #Conflicts: 692000 | #Constraints: 85839 1569.56/1573.52 c #Conflicts: 693000 | #Constraints: 86839 1569.56/1573.52 c INPROCESSING 1569.56/1573.52 c GARBAGE COLLECT 1569.56/1573.52 c rational objective 17 1673.83/1678.01 c #Conflicts: 694000 | #Constraints: 46366 1673.83/1678.01 c #Conflicts: 695000 | #Constraints: 47366 1673.83/1678.01 c #Conflicts: 696000 | #Constraints: 48366 1673.83/1678.01 c #Conflicts: 697000 | #Constraints: 49366 1673.83/1678.01 c #Conflicts: 698000 | #Constraints: 50366 1673.83/1678.01 c #Conflicts: 699000 | #Constraints: 51366 1673.83/1678.01 c #Conflicts: 700000 | #Constraints: 52366 1673.83/1678.01 c #Conflicts: 701000 | #Constraints: 53366 1673.83/1678.01 c #Conflicts: 702000 | #Constraints: 54366 1673.83/1678.01 c #Conflicts: 703000 | #Constraints: 55366 1673.83/1678.01 c #Conflicts: 704000 | #Constraints: 56366 1673.83/1678.01 c #Conflicts: 705000 | #Constraints: 57366 1673.83/1678.01 c #Conflicts: 706000 | #Constraints: 58366 1673.83/1678.01 c #Conflicts: 707000 | #Constraints: 59366 1673.83/1678.01 c #Conflicts: 708000 | #Constraints: 60366 1673.83/1678.01 c #Conflicts: 709000 | #Constraints: 61366 1673.83/1678.01 c #Conflicts: 710000 | #Constraints: 62366 1673.83/1678.01 c #Conflicts: 711000 | #Constraints: 63366 1673.83/1678.01 c #Conflicts: 712000 | #Constraints: 64366 1673.83/1678.01 c #Conflicts: 713000 | #Constraints: 65366 1673.83/1678.01 c INPROCESSING 1673.83/1678.01 c GARBAGE COLLECT 1673.83/1678.01 c rational objective 17 1734.29/1738.67 c #Conflicts: 714000 | #Constraints: 35617 1734.29/1738.67 c #Conflicts: 715000 | #Constraints: 36617 1734.29/1738.67 c #Conflicts: 716000 | #Constraints: 37617 1734.29/1738.67 c #Conflicts: 717000 | #Constraints: 38617 1734.29/1738.67 c #Conflicts: 718000 | #Constraints: 39617 1734.29/1738.67 c #Conflicts: 719000 | #Constraints: 40617 1734.29/1738.67 c #Conflicts: 720000 | #Constraints: 41617 1734.29/1738.67 c #Conflicts: 721000 | #Constraints: 42617 1734.29/1738.67 c #Conflicts: 722000 | #Constraints: 43617 1734.29/1738.67 c #Conflicts: 723000 | #Constraints: 44617 1734.29/1738.67 c #Conflicts: 724000 | #Constraints: 45617 1734.29/1738.67 c #Conflicts: 725000 | #Constraints: 46617 1734.29/1738.67 c #Conflicts: 726000 | #Constraints: 47617 1734.29/1738.67 c #Conflicts: 727000 | #Constraints: 48617 1734.29/1738.67 c #Conflicts: 728000 | #Constraints: 49617 1734.29/1738.67 c #Conflicts: 729000 | #Constraints: 50617 1734.29/1738.67 c #Conflicts: 730000 | #Constraints: 51617 1734.29/1738.67 c #Conflicts: 731000 | #Constraints: 52617 1734.29/1738.67 c #Conflicts: 732000 | #Constraints: 53617 1734.29/1738.67 c #Conflicts: 733000 | #Constraints: 54617 1734.29/1738.67 c INPROCESSING 1734.29/1738.67 c GARBAGE COLLECT 1734.29/1738.67 c rational objective 17 2118.81/2124.08 c #Conflicts: 734000 | #Constraints: 30130 2118.81/2124.08 c #Conflicts: 735000 | #Constraints: 31130 2118.81/2124.08 c #Conflicts: 736000 | #Constraints: 32130 2118.81/2124.08 c #Conflicts: 737000 | #Constraints: 33130 2118.81/2124.08 c #Conflicts: 738000 | #Constraints: 34130 2118.81/2124.08 c #Conflicts: 739000 | #Constraints: 35130 2118.81/2124.08 c #Conflicts: 740000 | #Constraints: 36130 2118.81/2124.08 c #Conflicts: 741000 | #Constraints: 37130 2118.81/2124.08 c #Conflicts: 742000 | #Constraints: 38130 2118.81/2124.08 c #Conflicts: 743000 | #Constraints: 39130 2118.81/2124.08 c #Conflicts: 744000 | #Constraints: 40130 2118.81/2124.08 c #Conflicts: 745000 | #Constraints: 41130 2118.81/2124.08 c #Conflicts: 746000 | #Constraints: 42130 2118.81/2124.08 c bounds 98 >= 50 @ 1756.48 2118.81/2124.08 c #Conflicts: 747000 | #Constraints: 43138 2118.81/2124.08 c #Conflicts: 748000 | #Constraints: 44138 2118.81/2124.08 c #Conflicts: 749000 | #Constraints: 45138 2118.81/2124.08 c #Conflicts: 750000 | #Constraints: 46138 2118.81/2124.08 c #Conflicts: 751000 | #Constraints: 47138 2118.81/2124.08 c #Conflicts: 752000 | #Constraints: 48138 2118.81/2124.08 c #Conflicts: 753000 | #Constraints: 49138 2118.81/2124.08 c #Conflicts: 754000 | #Constraints: 50138 2118.81/2124.08 c #Conflicts: 755000 | #Constraints: 51138 2118.81/2124.08 c #Conflicts: 756000 | #Constraints: 52138 2118.81/2124.08 c #Conflicts: 757000 | #Constraints: 53138 2118.81/2124.08 c #Conflicts: 758000 | #Constraints: 54138 2118.81/2124.08 c #Conflicts: 759000 | #Constraints: 55138 2118.81/2124.08 c #Conflicts: 760000 | #Constraints: 56138 2118.81/2124.08 c #Conflicts: 761000 | #Constraints: 57138 2118.81/2124.08 c #Conflicts: 762000 | #Constraints: 58138 2118.81/2124.08 c #Conflicts: 763000 | #Constraints: 59138 2118.81/2124.08 c #Conflicts: 764000 | #Constraints: 60138 2118.81/2124.08 c #Conflicts: 765000 | #Constraints: 61138 2118.81/2124.08 c #Conflicts: 766000 | #Constraints: 62138 2118.81/2124.08 c #Conflicts: 767000 | #Constraints: 63138 2118.81/2124.08 c #Conflicts: 768000 | #Constraints: 64138 2118.81/2124.08 c #Conflicts: 769000 | #Constraints: 65138 2118.81/2124.08 c #Conflicts: 770000 | #Constraints: 66138 2118.81/2124.08 c #Conflicts: 771000 | #Constraints: 67138 2118.81/2124.08 c #Conflicts: 772000 | #Constraints: 68138 2118.81/2124.08 c #Conflicts: 773000 | #Constraints: 69138 2118.81/2124.08 c #Conflicts: 774000 | #Constraints: 70138 2118.81/2124.08 c #Conflicts: 775000 | #Constraints: 71138 2118.81/2124.08 c #Conflicts: 776000 | #Constraints: 72138 2118.81/2124.08 c #Conflicts: 777000 | #Constraints: 73138 2118.81/2124.08 c #Conflicts: 778000 | #Constraints: 74138 2118.81/2124.08 c #Conflicts: 779000 | #Constraints: 75138 2118.81/2124.08 c #Conflicts: 780000 | #Constraints: 76138 2118.81/2124.08 c #Conflicts: 781000 | #Constraints: 77138 2118.81/2124.08 c #Conflicts: 782000 | #Constraints: 78138 2118.81/2124.08 c #Conflicts: 783000 | #Constraints: 79138 2118.81/2124.08 c #Conflicts: 784000 | #Constraints: 80138 2118.81/2124.08 c #Conflicts: 785000 | #Constraints: 81138 2118.81/2124.08 c #Conflicts: 786000 | #Constraints: 82138 2118.81/2124.08 c #Conflicts: 787000 | #Constraints: 83138 2118.81/2124.08 c #Conflicts: 788000 | #Constraints: 84138 2118.81/2124.08 c #Conflicts: 789000 | #Constraints: 85138 2118.81/2124.08 c #Conflicts: 790000 | #Constraints: 86138 2118.81/2124.08 c #Conflicts: 791000 | #Constraints: 87138 2118.81/2124.08 c #Conflicts: 792000 | #Constraints: 88138 2118.81/2124.08 c #Conflicts: 793000 | #Constraints: 89138 2118.81/2124.08 c #Conflicts: 794000 | #Constraints: 90138 2118.81/2124.08 c #Conflicts: 795000 | #Constraints: 91138 2118.81/2124.08 c #Conflicts: 796000 | #Constraints: 92138 2118.81/2124.08 c INPROCESSING 2118.81/2124.08 c GARBAGE COLLECT 2118.81/2124.08 c rational objective 17 2197.01/2202.42 c #Conflicts: 797000 | #Constraints: 48636 2197.01/2202.42 c #Conflicts: 798000 | #Constraints: 49636 2197.01/2202.42 c #Conflicts: 799000 | #Constraints: 50636 2197.01/2202.42 c #Conflicts: 800000 | #Constraints: 51636 2197.01/2202.42 c #Conflicts: 801000 | #Constraints: 52636 2197.01/2202.42 c #Conflicts: 802000 | #Constraints: 53636 2197.01/2202.42 c #Conflicts: 803000 | #Constraints: 54636 2197.01/2202.42 c #Conflicts: 804000 | #Constraints: 55636 2197.01/2202.42 c #Conflicts: 805000 | #Constraints: 56636 2197.01/2202.42 c #Conflicts: 806000 | #Constraints: 57636 2197.01/2202.42 c #Conflicts: 807000 | #Constraints: 58636 2197.01/2202.42 c #Conflicts: 808000 | #Constraints: 59636 2197.01/2202.42 c #Conflicts: 809000 | #Constraints: 60636 2197.01/2202.42 c #Conflicts: 810000 | #Constraints: 61636 2197.01/2202.42 c #Conflicts: 811000 | #Constraints: 62636 2197.01/2202.42 c #Conflicts: 812000 | #Constraints: 63636 2197.01/2202.42 c #Conflicts: 813000 | #Constraints: 64636 2197.01/2202.42 c #Conflicts: 814000 | #Constraints: 65636 2197.01/2202.42 c #Conflicts: 815000 | #Constraints: 66636 2197.01/2202.42 c #Conflicts: 816000 | #Constraints: 67636 2197.01/2202.42 c #Conflicts: 817000 | #Constraints: 68636 2197.01/2202.42 c #Conflicts: 818000 | #Constraints: 69636 2197.01/2202.42 c INPROCESSING 2197.01/2202.42 c GARBAGE COLLECT 2197.01/2202.42 c rational objective 17 2276.89/2282.55 c #Conflicts: 819000 | #Constraints: 37595 2276.89/2282.55 c #Conflicts: 820000 | #Constraints: 38595 2276.89/2282.55 c #Conflicts: 821000 | #Constraints: 39595 2276.89/2282.55 c #Conflicts: 822000 | #Constraints: 40595 2276.89/2282.55 c #Conflicts: 823000 | #Constraints: 41595 2276.89/2282.55 c #Conflicts: 824000 | #Constraints: 42595 2276.89/2282.55 c #Conflicts: 825000 | #Constraints: 43595 2276.89/2282.55 c #Conflicts: 826000 | #Constraints: 44595 2276.89/2282.55 c #Conflicts: 827000 | #Constraints: 45595 2276.89/2282.55 c #Conflicts: 828000 | #Constraints: 46595 2276.89/2282.55 c #Conflicts: 829000 | #Constraints: 47595 2276.89/2282.55 c #Conflicts: 830000 | #Constraints: 48595 2276.89/2282.55 c #Conflicts: 831000 | #Constraints: 49595 2276.89/2282.55 c #Conflicts: 832000 | #Constraints: 50595 2276.89/2282.55 c #Conflicts: 833000 | #Constraints: 51595 2276.89/2282.55 c #Conflicts: 834000 | #Constraints: 52595 2276.89/2282.55 c #Conflicts: 835000 | #Constraints: 53595 2276.89/2282.55 c #Conflicts: 836000 | #Constraints: 54595 2276.89/2282.55 c #Conflicts: 837000 | #Constraints: 55595 2276.89/2282.55 c #Conflicts: 838000 | #Constraints: 56595 2276.89/2282.55 c #Conflicts: 839000 | #Constraints: 57595 2276.89/2282.55 c #Conflicts: 840000 | #Constraints: 58595 2276.89/2282.55 c INPROCESSING 2276.89/2282.55 c GARBAGE COLLECT 2276.89/2282.55 c rational objective 17 2588.67/2595.14 c #Conflicts: 841000 | #Constraints: 32223 2588.67/2595.14 c #Conflicts: 842000 | #Constraints: 33223 2588.67/2595.14 c #Conflicts: 843000 | #Constraints: 34223 2588.67/2595.14 c #Conflicts: 844000 | #Constraints: 35223 2588.67/2595.14 c #Conflicts: 845000 | #Constraints: 36223 2588.67/2595.14 c #Conflicts: 846000 | #Constraints: 37223 2588.67/2595.14 c #Conflicts: 847000 | #Constraints: 38223 2588.67/2595.14 c #Conflicts: 848000 | #Constraints: 39223 2588.67/2595.14 c #Conflicts: 849000 | #Constraints: 40223 2588.67/2595.14 c #Conflicts: 850000 | #Constraints: 41223 2588.67/2595.14 c #Conflicts: 851000 | #Constraints: 42223 2588.67/2595.14 c #Conflicts: 852000 | #Constraints: 43223 2588.67/2595.14 c #Conflicts: 853000 | #Constraints: 44223 2588.67/2595.14 c #Conflicts: 854000 | #Constraints: 45223 2588.67/2595.14 c #Conflicts: 855000 | #Constraints: 46223 2588.67/2595.14 c #Conflicts: 856000 | #Constraints: 47223 2588.67/2595.14 c #Conflicts: 857000 | #Constraints: 48223 2588.67/2595.14 c #Conflicts: 858000 | #Constraints: 49223 2588.67/2595.14 c #Conflicts: 859000 | #Constraints: 50223 2588.67/2595.14 c #Conflicts: 860000 | #Constraints: 51223 2588.67/2595.14 c #Conflicts: 861000 | #Constraints: 52223 2588.67/2595.14 c #Conflicts: 862000 | #Constraints: 53223 2588.67/2595.14 c #Conflicts: 863000 | #Constraints: 54223 2588.67/2595.14 c #Conflicts: 864000 | #Constraints: 55223 2588.67/2595.14 c #Conflicts: 865000 | #Constraints: 56223 2588.67/2595.14 c #Conflicts: 866000 | #Constraints: 57223 2588.67/2595.14 c #Conflicts: 867000 | #Constraints: 58223 2588.67/2595.14 c #Conflicts: 868000 | #Constraints: 59223 2588.67/2595.14 c #Conflicts: 869000 | #Constraints: 60223 2588.67/2595.14 c #Conflicts: 870000 | #Constraints: 61223 2588.67/2595.14 c #Conflicts: 871000 | #Constraints: 62223 2588.67/2595.14 c bounds 98 >= 51 @ 2377.52 2588.67/2595.14 c #Conflicts: 872000 | #Constraints: 63231 2588.67/2595.14 c #Conflicts: 873000 | #Constraints: 64231 2588.67/2595.14 c #Conflicts: 874000 | #Constraints: 65231 2588.67/2595.14 c #Conflicts: 875000 | #Constraints: 66231 2588.67/2595.14 c #Conflicts: 876000 | #Constraints: 67231 2588.67/2595.14 c #Conflicts: 877000 | #Constraints: 68231 2588.67/2595.14 c #Conflicts: 878000 | #Constraints: 69231 2588.67/2595.14 c #Conflicts: 879000 | #Constraints: 70231 2588.67/2595.14 c #Conflicts: 880000 | #Constraints: 71231 2588.67/2595.14 c #Conflicts: 881000 | #Constraints: 72231 2588.67/2595.14 c #Conflicts: 882000 | #Constraints: 73231 2588.67/2595.14 c #Conflicts: 883000 | #Constraints: 74231 2588.67/2595.14 c #Conflicts: 884000 | #Constraints: 75231 2588.67/2595.14 c #Conflicts: 885000 | #Constraints: 76231 2588.67/2595.14 c #Conflicts: 886000 | #Constraints: 77231 2588.67/2595.14 c #Conflicts: 887000 | #Constraints: 78231 2588.67/2595.14 c #Conflicts: 888000 | #Constraints: 79231 2588.67/2595.14 c #Conflicts: 889000 | #Constraints: 80231 2588.67/2595.14 c #Conflicts: 890000 | #Constraints: 81231 2588.67/2595.14 c #Conflicts: 891000 | #Constraints: 82231 2588.67/2595.14 c #Conflicts: 892000 | #Constraints: 83231 2588.67/2595.14 c #Conflicts: 893000 | #Constraints: 84231 2588.67/2595.14 c #Conflicts: 894000 | #Constraints: 85231 2588.67/2595.14 c #Conflicts: 895000 | #Constraints: 86231 2588.67/2595.14 c #Conflicts: 896000 | #Constraints: 87231 2588.67/2595.14 c #Conflicts: 897000 | #Constraints: 88231 2588.67/2595.14 c #Conflicts: 898000 | #Constraints: 89231 2588.67/2595.14 c #Conflicts: 899000 | #Constraints: 90231 2588.67/2595.14 c #Conflicts: 900000 | #Constraints: 91231 2588.67/2595.14 c #Conflicts: 901000 | #Constraints: 92231 2588.67/2595.14 c #Conflicts: 902000 | #Constraints: 93231 2588.67/2595.14 c #Conflicts: 903000 | #Constraints: 94231 2588.67/2595.14 c #Conflicts: 904000 | #Constraints: 95231 2588.67/2595.14 c #Conflicts: 905000 | #Constraints: 96231 2588.67/2595.14 c #Conflicts: 906000 | #Constraints: 97231 2588.67/2595.14 c #Conflicts: 907000 | #Constraints: 98231 2588.67/2595.14 c INPROCESSING 2588.67/2595.14 c GARBAGE COLLECT 2588.67/2595.14 c rational objective 17 2727.39/2734.23 c #Conflicts: 908000 | #Constraints: 51658 2727.39/2734.23 c #Conflicts: 909000 | #Constraints: 52658 2727.39/2734.23 c #Conflicts: 910000 | #Constraints: 53658 2727.39/2734.23 c #Conflicts: 911000 | #Constraints: 54658 2727.39/2734.23 c #Conflicts: 912000 | #Constraints: 55658 2727.39/2734.23 c #Conflicts: 913000 | #Constraints: 56658 2727.39/2734.23 c #Conflicts: 914000 | #Constraints: 57658 2727.39/2734.23 c #Conflicts: 915000 | #Constraints: 58658 2727.39/2734.23 c #Conflicts: 916000 | #Constraints: 59658 2727.39/2734.23 c #Conflicts: 917000 | #Constraints: 60658 2727.39/2734.23 c #Conflicts: 918000 | #Constraints: 61658 2727.39/2734.23 c #Conflicts: 919000 | #Constraints: 62658 2727.39/2734.23 c #Conflicts: 920000 | #Constraints: 63658 2727.39/2734.23 c #Conflicts: 921000 | #Constraints: 64658 2727.39/2734.23 c #Conflicts: 922000 | #Constraints: 65658 2727.39/2734.23 c #Conflicts: 923000 | #Constraints: 66658 2727.39/2734.23 c #Conflicts: 924000 | #Constraints: 67658 2727.39/2734.23 c #Conflicts: 925000 | #Constraints: 68658 2727.39/2734.23 c #Conflicts: 926000 | #Constraints: 69658 2727.39/2734.23 c #Conflicts: 927000 | #Constraints: 70658 2727.39/2734.23 c #Conflicts: 928000 | #Constraints: 71658 2727.39/2734.23 c #Conflicts: 929000 | #Constraints: 72658 2727.39/2734.23 c #Conflicts: 930000 | #Constraints: 73658 2727.39/2734.23 c INPROCESSING 2727.39/2734.23 c GARBAGE COLLECT 2727.39/2734.23 c rational objective 17 2862.93/2870.16 c #Conflicts: 931000 | #Constraints: 39366 2862.93/2870.16 c #Conflicts: 932000 | #Constraints: 40366 2862.93/2870.16 c #Conflicts: 933000 | #Constraints: 41366 2862.93/2870.16 c #Conflicts: 934000 | #Constraints: 42366 2862.93/2870.16 c #Conflicts: 935000 | #Constraints: 43366 2862.93/2870.16 c #Conflicts: 936000 | #Constraints: 44366 2862.93/2870.16 c #Conflicts: 937000 | #Constraints: 45366 2862.93/2870.16 c #Conflicts: 938000 | #Constraints: 46366 2862.93/2870.16 c #Conflicts: 939000 | #Constraints: 47366 2862.93/2870.16 c #Conflicts: 940000 | #Constraints: 48366 2862.93/2870.16 c #Conflicts: 941000 | #Constraints: 49366 2862.93/2870.16 c #Conflicts: 942000 | #Constraints: 50366 2862.93/2870.16 c #Conflicts: 943000 | #Constraints: 51366 2862.93/2870.16 c #Conflicts: 944000 | #Constraints: 52366 2862.93/2870.16 c #Conflicts: 945000 | #Constraints: 53366 2862.93/2870.16 c #Conflicts: 946000 | #Constraints: 54366 2862.93/2870.16 c #Conflicts: 947000 | #Constraints: 55366 2862.93/2870.16 c #Conflicts: 948000 | #Constraints: 56366 2862.93/2870.16 c #Conflicts: 949000 | #Constraints: 57366 2862.93/2870.16 c #Conflicts: 950000 | #Constraints: 58366 2862.93/2870.16 c #Conflicts: 951000 | #Constraints: 59366 2862.93/2870.16 c #Conflicts: 952000 | #Constraints: 60366 2862.93/2870.16 c #Conflicts: 953000 | #Constraints: 61366 2862.93/2870.16 c #Conflicts: 954000 | #Constraints: 62366 2862.93/2870.16 c INPROCESSING 2862.93/2870.16 c GARBAGE COLLECT 2862.93/2870.16 c rational objective 17 3238.62/3246.80 c #Conflicts: 955000 | #Constraints: 34123 3238.62/3246.80 c #Conflicts: 956000 | #Constraints: 35123 3238.62/3246.80 c #Conflicts: 957000 | #Constraints: 36123 3238.62/3246.80 c #Conflicts: 958000 | #Constraints: 37123 3238.62/3246.80 c #Conflicts: 959000 | #Constraints: 38123 3238.62/3246.80 c #Conflicts: 960000 | #Constraints: 39123 3238.62/3246.80 c #Conflicts: 961000 | #Constraints: 40123 3238.62/3246.80 c #Conflicts: 962000 | #Constraints: 41123 3238.62/3246.80 c #Conflicts: 963000 | #Constraints: 42123 3238.62/3246.80 c #Conflicts: 964000 | #Constraints: 43123 3238.62/3246.80 c #Conflicts: 965000 | #Constraints: 44123 3238.62/3246.80 c #Conflicts: 966000 | #Constraints: 45123 3238.62/3246.80 c #Conflicts: 967000 | #Constraints: 46123 3238.62/3246.80 c #Conflicts: 968000 | #Constraints: 47123 3238.62/3246.80 c #Conflicts: 969000 | #Constraints: 48123 3238.62/3246.80 c #Conflicts: 970000 | #Constraints: 49123 3238.62/3246.80 c #Conflicts: 971000 | #Constraints: 50123 3238.62/3246.80 c #Conflicts: 972000 | #Constraints: 51123 3238.62/3246.80 c #Conflicts: 973000 | #Constraints: 52123 3238.62/3246.80 c #Conflicts: 974000 | #Constraints: 53123 3238.62/3246.80 c #Conflicts: 975000 | #Constraints: 54123 3238.62/3246.80 c #Conflicts: 976000 | #Constraints: 55123 3238.62/3246.80 c #Conflicts: 977000 | #Constraints: 56123 3238.62/3246.80 c #Conflicts: 978000 | #Constraints: 57123 3238.62/3246.80 c #Conflicts: 979000 | #Constraints: 58123 3238.62/3246.80 c #Conflicts: 980000 | #Constraints: 59123 3238.62/3246.80 c #Conflicts: 981000 | #Constraints: 60123 3238.62/3246.80 c #Conflicts: 982000 | #Constraints: 61123 3238.62/3246.80 c #Conflicts: 983000 | #Constraints: 62123 3238.62/3246.80 c #Conflicts: 984000 | #Constraints: 63123 3238.62/3246.80 c #Conflicts: 985000 | #Constraints: 64123 3238.62/3246.80 c #Conflicts: 986000 | #Constraints: 65123 3238.62/3246.80 c #Conflicts: 987000 | #Constraints: 66123 3238.62/3246.80 c #Conflicts: 988000 | #Constraints: 67123 3238.62/3246.80 c #Conflicts: 989000 | #Constraints: 68123 3238.62/3246.80 c #Conflicts: 990000 | #Constraints: 69123 3238.62/3246.80 c #Conflicts: 991000 | #Constraints: 70123 3238.62/3246.80 c #Conflicts: 992000 | #Constraints: 71123 3238.62/3246.80 c #Conflicts: 993000 | #Constraints: 72123 3238.62/3246.80 c #Conflicts: 994000 | #Constraints: 73123 3238.62/3246.81 c #Conflicts: 995000 | #Constraints: 74123 3238.62/3246.81 c #Conflicts: 996000 | #Constraints: 75123 3238.62/3246.81 c #Conflicts: 997000 | #Constraints: 76123 3238.62/3246.81 c #Conflicts: 998000 | #Constraints: 77123 3238.62/3246.81 c #Conflicts: 999000 | #Constraints: 78123 3238.62/3246.81 c #Conflicts: 1000000 | #Constraints: 79123 3238.62/3246.81 c #Conflicts: 1001000 | #Constraints: 80123 3238.62/3246.81 c #Conflicts: 1002000 | #Constraints: 81123 3238.62/3246.81 c #Conflicts: 1003000 | #Constraints: 82123 3238.62/3246.81 c #Conflicts: 1004000 | #Constraints: 83123 3238.62/3246.81 c #Conflicts: 1005000 | #Constraints: 84123 3238.62/3246.81 c #Conflicts: 1006000 | #Constraints: 85123 3238.62/3246.81 c #Conflicts: 1007000 | #Constraints: 86123 3238.62/3246.81 c #Conflicts: 1008000 | #Constraints: 87123 3238.62/3246.81 c #Conflicts: 1009000 | #Constraints: 88123 3238.62/3246.81 c #Conflicts: 1010000 | #Constraints: 89123 3238.62/3246.81 c #Conflicts: 1011000 | #Constraints: 90123 3238.62/3246.81 c #Conflicts: 1012000 | #Constraints: 91123 3238.62/3246.81 c #Conflicts: 1013000 | #Constraints: 92123 3238.62/3246.81 c #Conflicts: 1014000 | #Constraints: 93123 3238.62/3246.81 c #Conflicts: 1015000 | #Constraints: 94123 3238.62/3246.81 c #Conflicts: 1016000 | #Constraints: 95123 3238.62/3246.81 c #Conflicts: 1017000 | #Constraints: 96123 3238.62/3246.81 c #Conflicts: 1018000 | #Constraints: 97123 3238.62/3246.81 c #Conflicts: 1019000 | #Constraints: 98123 3238.62/3246.81 c #Conflicts: 1020000 | #Constraints: 99123 3238.62/3246.81 c #Conflicts: 1021000 | #Constraints: 100123 3238.62/3246.81 c #Conflicts: 1022000 | #Constraints: 101123 3238.62/3246.81 c #Conflicts: 1023000 | #Constraints: 102123 3238.62/3246.81 c #Conflicts: 1024000 | #Constraints: 103123 3238.62/3246.81 c #Conflicts: 1025000 | #Constraints: 104123 3238.62/3246.81 c #Conflicts: 1026000 | #Constraints: 105123 3238.62/3246.81 c INPROCESSING 3238.62/3246.81 c GARBAGE COLLECT 3238.62/3246.81 c rational objective 17 3435.29/3444.02 c #Conflicts: 1027000 | #Constraints: 55495 3435.29/3444.02 c #Conflicts: 1028000 | #Constraints: 56495 3435.29/3444.02 c #Conflicts: 1029000 | #Constraints: 57495 3435.29/3444.02 c #Conflicts: 1030000 | #Constraints: 58495 3435.29/3444.02 c #Conflicts: 1031000 | #Constraints: 59495 3435.29/3444.02 c #Conflicts: 1032000 | #Constraints: 60495 3435.29/3444.02 c #Conflicts: 1033000 | #Constraints: 61495 3435.29/3444.02 c #Conflicts: 1034000 | #Constraints: 62495 3435.29/3444.02 c #Conflicts: 1035000 | #Constraints: 63495 3435.29/3444.02 c #Conflicts: 1036000 | #Constraints: 64495 3435.29/3444.02 c #Conflicts: 1037000 | #Constraints: 65495 3435.29/3444.02 c #Conflicts: 1038000 | #Constraints: 66495 3435.29/3444.02 c #Conflicts: 1039000 | #Constraints: 67495 3435.29/3444.02 c #Conflicts: 1040000 | #Constraints: 68495 3435.29/3444.02 c #Conflicts: 1041000 | #Constraints: 69495 3435.29/3444.02 c #Conflicts: 1042000 | #Constraints: 70495 3435.29/3444.02 c #Conflicts: 1043000 | #Constraints: 71495 3435.29/3444.02 c #Conflicts: 1044000 | #Constraints: 72495 3435.29/3444.02 c #Conflicts: 1045000 | #Constraints: 73495 3435.29/3444.02 c #Conflicts: 1046000 | #Constraints: 74495 3435.29/3444.02 c #Conflicts: 1047000 | #Constraints: 75495 3435.29/3444.02 c #Conflicts: 1048000 | #Constraints: 76495 3435.29/3444.02 c #Conflicts: 1049000 | #Constraints: 77495 3435.29/3444.02 c #Conflicts: 1050000 | #Constraints: 78495 3435.29/3444.02 c INPROCESSING 3435.29/3444.02 c GARBAGE COLLECT 3435.29/3444.02 c rational objective 17 3584.38/3593.58 c #Conflicts: 1051000 | #Constraints: 41943 3584.38/3593.58 c #Conflicts: 1052000 | #Constraints: 42943 3584.38/3593.58 c #Conflicts: 1053000 | #Constraints: 43943 3584.38/3593.58 c #Conflicts: 1054000 | #Constraints: 44943 3584.38/3593.58 c #Conflicts: 1055000 | #Constraints: 45943 3584.38/3593.58 c #Conflicts: 1056000 | #Constraints: 46943 3584.38/3593.58 c #Conflicts: 1057000 | #Constraints: 47943 3584.38/3593.58 c #Conflicts: 1058000 | #Constraints: 48943 3584.38/3593.58 c #Conflicts: 1059000 | #Constraints: 49943 3584.38/3593.58 c #Conflicts: 1060000 | #Constraints: 50943 3584.38/3593.58 c #Conflicts: 1061000 | #Constraints: 51943 3584.38/3593.58 c #Conflicts: 1062000 | #Constraints: 52943 3584.38/3593.58 c #Conflicts: 1063000 | #Constraints: 53943 3584.38/3593.58 c #Conflicts: 1064000 | #Constraints: 54943 3584.38/3593.58 c #Conflicts: 1065000 | #Constraints: 55943 3584.38/3593.58 c #Conflicts: 1066000 | #Constraints: 56943 3584.38/3593.58 c #Conflicts: 1067000 | #Constraints: 57943 3584.38/3593.58 c #Conflicts: 1068000 | #Constraints: 58943 3584.38/3593.58 c #Conflicts: 1069000 | #Constraints: 59943 3584.38/3593.58 c #Conflicts: 1070000 | #Constraints: 60943 3584.38/3593.58 c #Conflicts: 1071000 | #Constraints: 61943 3584.38/3593.58 c #Conflicts: 1072000 | #Constraints: 62943 3584.38/3593.58 c #Conflicts: 1073000 | #Constraints: 63943 3584.38/3593.58 c #Conflicts: 1074000 | #Constraints: 64943 3584.38/3593.58 c #Conflicts: 1075000 | #Constraints: 65943 3584.38/3593.58 c INPROCESSING 3584.38/3593.58 c GARBAGE COLLECT 3584.38/3593.58 c rational objective 17 3600.05/3609.20 c #Conflicts: 1076000 | #Constraints: 35831 3600.05/3609.20 c #Conflicts: 1077000 | #Constraints: 36831 3600.05/3609.20 c #Conflicts: 1078000 | #Constraints: 37831 3600.05/3609.20 c #Conflicts: 1079000 | #Constraints: 38831 3600.05/3609.20 c #Conflicts: 1080000 | #Constraints: 39831 3600.05/3609.20 c Program interrupted by user. 3600.05/3609.20 c cpu time 3585.67 s 3600.05/3609.20 c deterministic time 403730423060 4.04e+11 3600.05/3609.20 c optimization time 15.4727 s 3600.05/3609.20 c total solve time 3570.16 s 3600.05/3609.20 c core-guided solve time 1731.35 s 3600.05/3609.20 c propagation time 3389.99 s 3600.05/3609.20 c conflict analysis time 176.35 s 3600.05/3609.20 c propagations 326983519 3600.05/3609.20 c resolve steps 5461507 3600.05/3609.20 c decisions 4544702 3600.05/3609.20 c conflicts 1080949 3600.05/3609.20 c restarts 2046 3600.05/3609.20 c inprocessing phases 56 3600.05/3609.20 c input clauses 114 3600.05/3609.20 c input cardinalities 44 3600.05/3609.20 c input general constraints 3624 3600.05/3609.20 c input average constraint length 27.09 3600.05/3609.20 c input average constraint degree 430.80 3600.05/3609.20 c learned clauses 336748 3600.05/3609.20 c learned cardinalities 0 3600.05/3609.20 c learned general constraints 744201 3600.05/3609.20 c learned average constraint length 44.95 3600.05/3609.20 c learned average constraint degree 2780370.21 3600.05/3609.20 c watched constraints 746705 3600.05/3609.20 c counting constraints 1120 3600.05/3609.20 c gcd simplifications 9462 3600.05/3609.20 c detected cardinalities 0 3600.05/3609.20 c weakened non-implied lits 2949576 3600.05/3609.20 c weakened non-implying lits 4822 3600.05/3609.20 c original variables 1812 3600.05/3609.20 c clausal propagations 2311195 3600.05/3609.20 c cardinality propagations 34976 3600.05/3609.20 c watched propagations 317077386 3600.05/3609.20 c counting propagations 6987304 3600.05/3609.20 c watch lookups 69997794454 3600.05/3609.20 c watch backjump lookups 62303067043 3600.05/3609.20 c watch checks 194117846165 3600.05/3609.20 c propagation checks 76449199083 3600.05/3609.20 c constraint additions 197264970 3600.05/3609.20 c trail pops 332608967 3600.05/3609.20 c formula constraints 3443 3600.05/3609.20 c learned constraints 1080949 3600.05/3609.20 c bound constraints 23 3600.05/3609.20 c core-guided constraints 316 3600.05/3609.20 c encountered formula constraints 3925574 3600.05/3609.20 c encountered learned constraints 2611984 3600.05/3609.20 c encountered bound constraints 3837 3600.05/3609.20 c encountered core-guided constraints 1061 3600.05/3609.20 c LP total time 41.6306 s 3600.05/3609.20 c LP solve time 38.83 s 3600.05/3609.20 c LP constraints added 3813 3600.05/3609.20 c LP constraints removed 362 3600.05/3609.20 c LP pivots internal 1081077 3600.05/3609.20 c LP pivots root 33079 3600.05/3609.20 c LP calls 8504 3600.05/3609.20 c LP optimalities 8503 3600.05/3609.20 c LP no pivot count 1467 3600.05/3609.20 c LP infeasibilities 0 3600.05/3609.20 c LP valid Farkas constraints 0 3600.05/3609.20 c LP learned Farkas constraints 0 3600.05/3609.20 c LP basis resets 0 3600.05/3609.20 c LP cycling count 0 3600.05/3609.20 c LP singular count 0 3600.05/3609.20 c LP no primal count 0 3600.05/3609.20 c LP no farkas count 0 3600.05/3609.20 c LP other issue count 0 3600.05/3609.20 c LP Gomory cuts 0 3600.05/3609.20 c LP learned cuts 370 3600.05/3609.20 c LP deleted cuts 362 3600.05/3609.20 c LP encountered Gomory constraints 0 3600.05/3609.20 c LP encountered Farkas constraints 0 3600.05/3609.20 c LP encountered learned Farkas constraints 0 3600.05/3609.20 c CG auxiliary variables introduced 120 3600.05/3609.20 c CG solutions found 23 3600.05/3609.20 c CG cores constructed 44 3600.05/3609.20 c CG core cardinality constraints returned 0 3600.05/3609.20 c CG unit cores 0 3600.05/3609.20 c CG single cores 44 3600.05/3609.20 c CG blocks removed during cardinality reduction 2 3600.05/3609.20 c CG first core best 0 3600.05/3609.20 c CG decision core best 0 3600.05/3609.20 c CG core reduction tie 0 3600.05/3609.20 c CG core degree average 1.00 3600.05/3609.20 c CG core slack average 3.48 3600.05/3609.20 s SATISFIABLE 3600.05/3609.20 v -x1 x2 -x3 -x4 -x5 x6 x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 x27 x28 -x29 -x30 -x31 -x32 x33 -x34 x35 -x36 x37 -x38 -x39 -x40 x41 x42 -x43 -x44 x45 x46 -x47 -x48 x49 x50 x51 -x52 x53 x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 x66 -x67 x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 -x80 x81 x82 -x83 x84 x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 x95 -x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 -x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 -x263 x264 x265 x266 x267 x268 x269 -x270 x271 x272 x273 x274 x275 -x276 x277 x278 x279 x280 -x281 x282 x283 x284 -x285 x286 x287 -x288 -x289 -x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 -x323 -x324 x325 x326 x327 x328 x329 -x330 -x331 x332 x333 x334 x335 -x336 -x337 x338 x339 x340 -x341 -x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 -x365 x366 x367 x368 x369 x370 x371 -x372 -x373 x374 x375 x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 -x419 x420 x421 x422 x423 x424 -x425 -x426 x427 x428 x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 -x468 x469 x470 x471 x472 -x473 -x474 x475 x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 x504 x505 x506 x507 x508 x509 x510 -x511 x512 x513 x514 -x515 -x516 x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 x543 x544 x545 x546 -x547 x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 -x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 -x684 x685 x686 x687 x688 x689 x690 -x691 x692 x693 x694 x695 x696 -x697 x698 x699 x700 x701 -x702 x703 x704 x705 -x706 x707 x708 -x709 -x710 -x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 -x736 -x737 x738 x739 x740 x741 x742 -x743 -x744 x745 x746 x747 x748 -x749 -x750 x751 x752 x753 -x754 -x755 x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 x765 x766 x767 x768 x769 x770 -x771 x772 x773 x774 x775 x776 x777 -x778 -x779 x780 x781 x782 x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 x814 x815 x816 x817 x818 -x819 x820 x821 x822 x823 x824 -x825 -x826 x827 x828 x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 x859 x860 x861 x862 -x863 x864 x865 x866 x867 -x868 -x869 x870 x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 x899 x900 x901 -x902 x903 x904 x905 -x906 -x907 x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 x933 x934 -x935 x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000 x1001 x1002 x1003 x1004 -x1005 x1006 x1007 x1008 x1009 x1010 x1011 -x1012 x1013 x1014 x1015 x1016 x1017 -x1018 x1019 x1020 x1021 x1022 -x1023 x1024 x1025 x1026 -x1027 x1028 x1029 -x1030 -x1031 -x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 x1041 x1042 x1043 x1044 x1045 x1046 x1047 x1048 -x1049 -x1050 x1051 x1052 x1053 x1054 x1055 -x1056 -x1057 x1058 x1059 x1060 x1061 -x1062 -x1063 x1064 x1065 x1066 -x1067 -x1068 x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 x1079 x1080 x1081 x1082 x1083 -x1084 -x1085 x1086 x1087 x1088 x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 x1121 x1122 x1123 x1124 -x1125 -x1126 x1127 x1128 x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 x1160 x1161 x1162 -x1163 -x1164 x1165 x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 x1195 x1196 -x1197 -x1198 x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 -x1281 x1282 x1283 x1284 x1285 x1286 x1287 x1288 x1289 x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 -x1299 x1300 x1301 x1302 x1303 x1304 x1305 -x1306 -x1307 -x1308 -x1309 x1310 x1311 x1312 x1313 x1314 x1315 -x1316 -x1317 -x1318 -x1319 x1320 x1321 x1322 -x1323 -x1324 -x1325 -x1326 x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 x1345 x1346 x1347 x1348 x1349 -x1350 -x1351 -x1352 -x1353 x1354 x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 x1378 x1379 x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 x1482 x1483 -x1484 -x1485 -x1486 x1487 x1488 x1489 -x1490 -x1491 -x1492 x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 x1509 x1510 -x1511 -x1512 -x1513 x1514 x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 x1618 x1619 x1620 x1621 x1622 x1623 x1624 x1625 x1626 x1627 x1628 x1629 x1630 x1631 x1632 x1633 x1634 x1635 x1636 -x1637 x1638 x1639 x1640 x1641 x1642 -x1643 x1644 x1645 x1646 x1647 -x1648 x1649 x1650 x1651 -x1652 x1653 x1654 -x1655 -x1656 -x1657 x1658 x1659 x1660 x1661 -x1662 x1663 x1664 x1665 -x1666 -x1667 -x1668 x1669 -
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (63232 MiB free)
memory of node 1: 64510 MiB (64023 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462587-1722340768/watcher-4462587-1722340768 -o /tmp/evaluation-result-4462587-1722340768/solver-4462587-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722340763-7007 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462587-1722340768 --lp-cut-gomory=0 HOME/instance-4462587-1722340768.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=7183, runsolver pid=7179
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 0.08 0.09 0.09 5/251 7200
/proc/meminfo: memFree=130280104/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=50864 memory=20620 CPUtime=0.1 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 5910 0 0 0 9 1 0 0 20 0 1 0 676060 52084736 5155 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 12716 5155 1765 992 0 4574 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50864 KiB
Current children cumulated memory: 20620 KiB
[startup+0.205444 s]*
/proc/loadavg: 0.08 0.09 0.09 5/257 7210
/proc/meminfo: memFree=130249088/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=50864 memory=21000 CPUtime=0.2 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 5952 0 0 0 19 1 0 0 20 0 1 0 676060 52084736 5250 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 12716 5250 1796 992 0 4574 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50864 KiB
Current children cumulated memory: 21000 KiB
[startup+0.305273 s]*
/proc/loadavg: 0.08 0.09 0.09 5/257 7210
/proc/meminfo: memFree=130245812/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=50864 memory=21000 CPUtime=0.3 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 5987 0 0 0 28 2 0 0 20 0 1 0 676060 52084736 5250 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 12716 5250 1796 992 0 4574 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50864 KiB
Current children cumulated memory: 21000 KiB
[startup+0.700218 s]
/proc/loadavg: 0.08 0.09 0.09 5/257 7210
/proc/meminfo: memFree=130232240/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=51524 memory=24088 CPUtime=0.68 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 6988 0 0 0 65 3 0 0 20 0 1 0 676060 52760576 6022 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 12881 6022 1827 992 0 4739 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51524 KiB
Current children cumulated memory: 24088 KiB
[startup+1.50016 s]
/proc/loadavg: 0.47 0.17 0.12 5/255 7241
/proc/meminfo: memFree=130227708/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=52332 memory=25064 CPUtime=1.48 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 7209 0 0 0 143 5 0 0 20 0 1 0 676060 53587968 6266 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 13083 6266 1878 992 0 4941 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52332 KiB
Current children cumulated memory: 25064 KiB
[startup+3.10541 s]
/proc/loadavg: 0.47 0.17 0.12 5/258 7258
/proc/meminfo: memFree=130114036/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=54636 memory=27100 CPUtime=3.09 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 7773 0 0 0 299 10 0 0 20 0 1 0 676060 55947264 6775 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 13659 6775 1878 992 0 5517 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 54636 KiB
Current children cumulated memory: 27100 KiB
[startup+6.30022 s]
/proc/loadavg: 0.92 0.27 0.15 5/258 7258
/proc/meminfo: memFree=130087360/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=55924 memory=28416 CPUtime=6.27 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 8109 0 0 0 609 18 0 0 20 0 1 0 676060 57266176 7104 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 13981 7104 1878 992 0 5839 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55924 KiB
Current children cumulated memory: 28416 KiB
[startup+12.7002 s]
/proc/loadavg: 1.16 0.33 0.17 5/258 7260
/proc/meminfo: memFree=130046392/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=55924 memory=28680 CPUtime=12.66 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 8111 0 0 0 1233 33 0 0 20 0 1 0 676060 57266176 7170 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 13981 7170 1878 992 0 5839 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 55924 KiB
Current children cumulated memory: 28680 KiB
[startup+25.5002 s]
/proc/loadavg: 1.60 0.45 0.21 5/258 7308
/proc/meminfo: memFree=130014588/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=61656 memory=34208 CPUtime=25.44 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 9506 0 0 0 2488 56 0 0 20 0 1 0 676060 63135744 8552 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 15414 8552 1878 992 0 7272 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 61656 KiB
Current children cumulated memory: 34208 KiB
[startup+51.105 s]
/proc/loadavg: 2.63 0.81 0.34 5/263 7320
/proc/meminfo: memFree=129816792/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=69168 memory=38396 CPUtime=50.97 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 10584 0 0 0 4996 101 0 0 20 0 1 0 676060 70828032 9599 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 17292 9599 1878 992 0 9150 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 69168 KiB
Current children cumulated memory: 38396 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.33 0.54 5/262 7339
/proc/meminfo: memFree=129620632/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=82064 memory=47300 CPUtime=102.05 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 12283 0 0 0 10047 158 0 0 20 0 1 0 676060 84033536 11825 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 20516 11825 1878 992 0 12374 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 82064 KiB
Current children cumulated memory: 47300 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 1.84 0.77 5/262 7349
/proc/meminfo: memFree=129331160/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=88416 memory=55356 CPUtime=161.92 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 13852 0 0 0 15968 224 0 0 20 0 1 0 676060 90537984 13839 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 22104 13839 1878 992 0 13962 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 88416 KiB
Current children cumulated memory: 55356 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.26 0.98 5/262 7360
/proc/meminfo: memFree=129037728/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=89628 memory=58716 CPUtime=221.78 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 14193 0 0 0 21906 272 0 0 20 0 1 0 676060 91779072 14679 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 22407 14679 1878 992 0 14265 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 89628 KiB
Current children cumulated memory: 58716 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.60 1.18 5/261 7371
/proc/meminfo: memFree=128812588/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=90088 memory=59428 CPUtime=281.64 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 14352 0 0 0 27840 324 0 0 20 0 1 0 676060 92250112 14857 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 22522 14857 1878 992 0 14380 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 90088 KiB
Current children cumulated memory: 59428 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 2.87 1.36 5/261 7381
/proc/meminfo: memFree=128618584/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=104480 memory=66400 CPUtime=341.48 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 15320 0 0 0 33784 364 0 0 20 0 1 0 676060 106987520 16600 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 26120 16600 1878 992 0 17978 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 104480 KiB
Current children cumulated memory: 66400 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.11 1.54 5/257 7392
/proc/meminfo: memFree=128454872/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=104480 memory=66400 CPUtime=401.32 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 15344 0 0 0 39728 404 0 0 20 0 1 0 676060 106987520 16600 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 26120 16600 1878 992 0 17978 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 104480 KiB
Current children cumulated memory: 66400 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.29 1.70 5/257 7402
/proc/meminfo: memFree=128266980/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=107872 memory=70604 CPUtime=461.16 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 15937 0 0 0 45682 434 0 0 20 0 1 0 676060 110460928 17651 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 26968 17651 1878 992 0 18826 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.00 5/259 8500
/proc/meminfo: memFree=123601868/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=150328 memory=110800 CPUtime=3094.51 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 22439 0 0 0 308121 1330 0 0 20 0 1 0 676060 153935872 27700 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 37582 27700 1878 992 0 29440 0
Current children cumulated CPU time: 3094.51 s
Current children cumulated vsize: 150328 KiB
Current children cumulated memory: 110800 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.00 5/259 8510
/proc/meminfo: memFree=123542672/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=150328 memory=110800 CPUtime=3154.35 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 22482 0 0 0 314094 1341 0 0 20 0 1 0 676060 153935872 27700 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 37582 27700 1878 992 0 29440 0
Current children cumulated CPU time: 3154.35 s
Current children cumulated vsize: 150328 KiB
Current children cumulated memory: 110800 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.00 5/259 8520
/proc/meminfo: memFree=123473568/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=150328 memory=111804 CPUtime=3214.18 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 22531 0 0 0 320067 1351 0 0 20 0 1 0 676060 153935872 27951 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 37582 27951 1878 992 0 29440 0
Current children cumulated CPU time: 3214.18 s
Current children cumulated vsize: 150328 KiB
Current children cumulated memory: 111804 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/259 8530
/proc/meminfo: memFree=123422392/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=152468 memory=113716 CPUtime=3274.02 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 23049 0 0 0 326036 1366 0 0 20 0 1 0 676060 156127232 28429 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 38117 28429 1878 992 0 29975 0
Current children cumulated CPU time: 3274.02 s
Current children cumulated vsize: 152468 KiB
Current children cumulated memory: 113716 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.00 5/259 8924
/proc/meminfo: memFree=123368720/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=152468 memory=113716 CPUtime=3333.86 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 23093 0 0 0 332007 1379 0 0 20 0 1 0 676060 156127232 28429 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 38117 28429 1878 992 0 29975 0
Current children cumulated CPU time: 3333.86 s
Current children cumulated vsize: 152468 KiB
Current children cumulated memory: 113716 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/258 8935
/proc/meminfo: memFree=123316412/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=152468 memory=113716 CPUtime=3393.7 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 23139 0 0 0 337981 1389 0 0 20 0 1 0 676060 156127232 28429 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 38117 28429 1878 992 0 29975 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 152468 KiB
Current children cumulated memory: 113716 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/258 8945
/proc/meminfo: memFree=123239116/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=152468 memory=113812 CPUtime=3453.54 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 23207 0 0 0 343953 1401 0 0 20 0 1 0 676060 156127232 28453 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 38117 28453 1878 992 0 29975 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 152468 KiB
Current children cumulated memory: 113812 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/260 9127
/proc/meminfo: memFree=123162792/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=152468 memory=113832 CPUtime=3513.38 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 23249 0 0 0 349922 1416 0 0 20 0 1 0 676060 156127232 28458 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 38117 28458 1878 992 0 29975 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 152468 KiB
Current children cumulated memory: 113832 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/260 9137
/proc/meminfo: memFree=123092336/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=152468 memory=113832 CPUtime=3573.22 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 23293 0 0 0 355893 1429 0 0 20 0 1 0 676060 156127232 28458 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 38117 28458 1878 992 0 29975 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 152468 KiB
Current children cumulated memory: 113832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.09 4.09 4.01 5/260 9142
/proc/meminfo: memFree=123060768/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=152468 memory=113832 CPUtime=3600.05 cores=5,7
/proc/7183/stat : 7183 (roundingsat) R 7179 7183 6994 0 -1 4194304 23294 0 0 0 358567 1438 0 0 20 0 1 0 676060 156127232 28458 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 38117 28458 1878 992 0 29975 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 152468 KiB
Current children cumulated memory: 113832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.2 s]
# the end of solver process 7183 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3585.67 s, system=14.3841 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.09 4.09 4.01 5/260 9142
/proc/meminfo: memFree=123060768/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=152468 memory=113908 CPUtime=3600.05 cores=5,7
/proc/7183/stat : 7183 (roundingsat) D 7179 7183 6994 0 -1 4194304 23300 0 1 0 358567 1438 0 0 20 0 1 0 676060 156127232 28477 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 38117 28477 1897 992 0 29975 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 152468 KiB
Current children cumulated memory: 113908 KiB
[startup+3610.4 s]
/proc/loadavg: 4.09 4.09 4.01 2/260 9142
/proc/meminfo: memFree=123056308/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=152468 memory=113908 CPUtime=3600.05 cores=5,7
/proc/7183/stat : 7183 (roundingsat) D 7179 7183 6994 0 -1 4194304 23300 0 1 0 358567 1438 0 0 20 0 1 0 676060 156127232 28477 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 38117 28477 1897 992 0 29975 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 152468 KiB
Current children cumulated memory: 113908 KiB
[startup+3610.8 s]
/proc/loadavg: 4.09 4.09 4.01 2/260 9142
/proc/meminfo: memFree=123056308/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=152468 memory=113908 CPUtime=3600.05 cores=5,7
/proc/7183/stat : 7183 (roundingsat) D 7179 7183 6994 0 -1 4194304 23300 0 1 0 358567 1438 0 0 20 0 1 0 676060 156127232 28477 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 1 0 0 17 5 0 0 248 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 38117 28477 1897 992 0 29975 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 152468 KiB
Current children cumulated memory: 113908 KiB
[startup+3611.2 s]
/proc/loadavg: 4.09 4.09 4.01 2/260 9142
/proc/meminfo: memFree=123055688/131524600 swapFree=131071996/131071996
[pid=7183] ppid=7179 vsize=152468 memory=113908 CPUtime=3600.05 cores=5,7
/proc/7183/stat : 7183 (roundingsat) D 7179 7183 6994 0 -1 4194304 23300 0 1 0 358567 1438 0 0 20 0 1 0 676060 156127232 28477 134679101440 4194304 8255733 140724912625376 0 0 0 0 0 25182210 1 0 0 17 5 0 0 248 0 0 9037040 9046032 33615872 140724912632670 140724912632932 140724912632932 140724912639945 0
/proc/7183/statm: 38117 28477 1897 992 0 29975 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 152468 KiB
Current children cumulated memory: 113908 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.2
CPU time (s): 3600.06
CPU user time (s): 3585.67
CPU system time (s): 14.3841
CPU usage (%): 99.6914
Max. virtual memory (cumulated for all children) (KiB): 152468
Max. memory (cumulated for all children) (KiB): 113908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.67
system time used= 14.3841
maximum resident set size= 114216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23300
page faults= 1
swaps= 0
block input operations= 224
block output operations= 1282064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123
involuntary context switches= 4822
# summary of solver processes directly reported to runsolver:
# pid: 7183
# total CPU time (s): 3600.06
# total CPU user time (s): 3585.67
# total CPU system time (s): 14.3841
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78009 second user time and 16.6438 second system time
The end
Begin job on nodeC023 at 2024-07-30 13:59:28 IDJOB=4462587 IDBENCH=147622 IDSOLVER=3089 FILE ID=nodeC023/4462587-1722340768 RUNJOBID= nodeC023-1722340763-7007 SLURM_JOB_ID= 8248996 Free space on /tmp= 890076 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.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-4462587-1722340768/watcher-4462587-1722340768 -o /tmp/evaluation-result-4462587-1722340768/solver-4462587-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722340763-7007 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462587-1722340768 --lp-cut-gomory=0 HOME/instance-4462587-1722340768.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 88220551ed2e54bab314d6806833f69c RANDOM SEED=52205761 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3691.121 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2446.330 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.570 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2349.524 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3652.907 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3592.706 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3607.572 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3525.365 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130310472 kB MemAvailable: 129876220 kB Buffers: 44420 kB Cached: 301092 kB SwapCached: 0 kB Active: 136632 kB Inactive: 621820 kB Active(anon): 1536 kB Inactive(anon): 432756 kB Active(file): 135096 kB Inactive(file): 189064 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 14432 kB Writeback: 0 kB AnonPages: 413020 kB Mapped: 91240 kB Shmem: 21336 kB KReclaimable: 43464 kB Slab: 119252 kB SReclaimable: 43464 kB SUnreclaim: 75788 kB KernelStack: 3952 kB PageTables: 9796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 850012 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8992 kB HardwareCorrupted: 0 kB AnonHugePages: 256000 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: 164564 kB DirectMap2M: 10094592 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890052 MiB End job on nodeC023 at 2024-07-30 14:59:39