| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.03 | 3610.75 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb |
| MD5SUM | 13439fe0222d33319b9169d149c100b9 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.00553 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 82 |
| Total number of constraints | 2 |
| 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 | 2 |
| Minimum length of a constraint | 82 |
| Maximum length of a constraint | 82 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 104723596 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 1078440737 |
| Number of bits of the biggest sum of numbers | 31 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 82 #constraints 2 0.00/0.00 c rational objective 1.12346 0.21/0.23 c #Conflicts: 1000 | #Constraints: 1001 0.21/0.23 c #Conflicts: 2000 | #Constraints: 2001 0.21/0.23 c INPROCESSING 0.21/0.23 c GARBAGE COLLECT 0.21/0.23 c rational objective 1.12346 0.51/0.58 c #Conflicts: 3000 | #Constraints: 2006 0.51/0.58 c #Conflicts: 4000 | #Constraints: 3006 0.51/0.58 c INPROCESSING 0.51/0.58 c GARBAGE COLLECT 0.51/0.58 c rational objective 1.12346 1.10/1.18 c #Conflicts: 5000 | #Constraints: 2407 1.10/1.18 c #Conflicts: 6000 | #Constraints: 3407 1.10/1.18 c INPROCESSING 1.10/1.18 c GARBAGE COLLECT 1.10/1.18 c rational objective 1.19085 1.89/1.95 c #Conflicts: 7000 | #Constraints: 2412 1.89/1.95 c #Conflicts: 8000 | #Constraints: 3412 1.89/1.95 c #Conflicts: 9000 | #Constraints: 4412 1.89/1.95 c INPROCESSING 1.89/1.95 c GARBAGE COLLECT 1.89/1.95 c rational objective 1.19091 3.00/3.08 c #Conflicts: 10000 | #Constraints: 3111 3.00/3.08 c #Conflicts: 11000 | #Constraints: 4111 3.00/3.08 c #Conflicts: 12000 | #Constraints: 5111 3.00/3.08 c INPROCESSING 3.00/3.08 c GARBAGE COLLECT 3.00/3.08 c rational objective 1.19869 4.17/4.25 c #Conflicts: 13000 | #Constraints: 3563 4.17/4.25 c #Conflicts: 14000 | #Constraints: 4563 4.17/4.25 c #Conflicts: 15000 | #Constraints: 5563 4.17/4.25 c INPROCESSING 4.17/4.25 c GARBAGE COLLECT 4.17/4.25 c rational objective 1.21725 5.88/5.91 c #Conflicts: 16000 | #Constraints: 3786 5.88/5.91 c #Conflicts: 17000 | #Constraints: 4786 5.88/5.91 c #Conflicts: 18000 | #Constraints: 5786 5.88/5.91 c INPROCESSING 5.88/5.91 c GARBAGE COLLECT 5.88/5.91 c rational objective 1.22221 7.86/7.94 c #Conflicts: 19000 | #Constraints: 3798 7.86/7.94 c #Conflicts: 20000 | #Constraints: 4798 7.86/7.94 c #Conflicts: 21000 | #Constraints: 5798 7.86/7.94 c INPROCESSING 7.86/7.94 c GARBAGE COLLECT 7.86/7.94 c rational objective 1.22221 9.97/10.02 c #Conflicts: 22000 | #Constraints: 3604 9.97/10.02 c #Conflicts: 23000 | #Constraints: 4604 9.97/10.02 c #Conflicts: 24000 | #Constraints: 5604 9.97/10.02 c #Conflicts: 25000 | #Constraints: 6604 9.97/10.02 c INPROCESSING 9.97/10.02 c GARBAGE COLLECT 9.97/10.02 c rational objective 1.22221 12.35/12.43 c #Conflicts: 26000 | #Constraints: 4206 12.35/12.43 c #Conflicts: 27000 | #Constraints: 5206 12.35/12.43 c #Conflicts: 28000 | #Constraints: 6206 12.35/12.43 c #Conflicts: 29000 | #Constraints: 7206 12.35/12.43 c INPROCESSING 12.35/12.43 c GARBAGE COLLECT 12.35/12.43 c rational objective 1.22221 15.55/15.64 c #Conflicts: 30000 | #Constraints: 4608 15.55/15.64 c #Conflicts: 31000 | #Constraints: 5608 15.55/15.64 c #Conflicts: 32000 | #Constraints: 6608 15.55/15.64 c #Conflicts: 33000 | #Constraints: 7608 15.55/15.64 c INPROCESSING 15.55/15.64 c GARBAGE COLLECT 15.55/15.64 c rational objective 1.22221 18.84/19.00 c #Conflicts: 34000 | #Constraints: 4808 18.84/19.00 c #Conflicts: 35000 | #Constraints: 5808 18.84/19.00 c #Conflicts: 36000 | #Constraints: 6808 18.84/19.00 c #Conflicts: 37000 | #Constraints: 7808 18.84/19.00 c INPROCESSING 18.84/19.00 c GARBAGE COLLECT 18.84/19.00 c rational objective 1.22221 23.42/23.50 c #Conflicts: 38000 | #Constraints: 4820 23.42/23.50 c #Conflicts: 39000 | #Constraints: 5820 23.42/23.50 c #Conflicts: 40000 | #Constraints: 6820 23.42/23.50 c #Conflicts: 41000 | #Constraints: 7820 23.42/23.50 c INPROCESSING 23.42/23.50 c GARBAGE COLLECT 23.42/23.50 c rational objective 1.22221 28.31/28.43 c #Conflicts: 42000 | #Constraints: 4615 28.31/28.43 c #Conflicts: 43000 | #Constraints: 5616 28.31/28.43 c #Conflicts: 44000 | #Constraints: 6616 28.31/28.43 c #Conflicts: 45000 | #Constraints: 7616 28.31/28.43 c #Conflicts: 46000 | #Constraints: 8616 28.31/28.43 c INPROCESSING 28.31/28.43 c GARBAGE COLLECT 28.31/28.43 c rational objective 1.22221 33.90/34.02 c #Conflicts: 47000 | #Constraints: 5211 33.90/34.02 c #Conflicts: 48000 | #Constraints: 6211 33.90/34.02 c #Conflicts: 49000 | #Constraints: 7211 33.90/34.02 c #Conflicts: 50000 | #Constraints: 8211 33.90/34.02 c #Conflicts: 51000 | #Constraints: 9211 33.90/34.02 c INPROCESSING 33.90/34.02 c GARBAGE COLLECT 33.90/34.02 c rational objective 1.22221 39.58/39.75 c #Conflicts: 52000 | #Constraints: 5611 39.58/39.75 c #Conflicts: 53000 | #Constraints: 6611 39.58/39.75 c #Conflicts: 54000 | #Constraints: 7611 39.58/39.75 c #Conflicts: 55000 | #Constraints: 8611 39.58/39.75 c #Conflicts: 56000 | #Constraints: 9611 39.58/39.75 c INPROCESSING 39.58/39.75 c GARBAGE COLLECT 39.58/39.75 c rational objective 1.22221 46.36/46.52 c #Conflicts: 57000 | #Constraints: 5811 46.36/46.52 c #Conflicts: 58000 | #Constraints: 6811 46.36/46.52 c #Conflicts: 59000 | #Constraints: 7811 46.36/46.52 c #Conflicts: 60000 | #Constraints: 8811 46.36/46.52 c #Conflicts: 61000 | #Constraints: 9811 46.36/46.52 c INPROCESSING 46.36/46.52 c GARBAGE COLLECT 46.36/46.52 c rational objective 1.22221 54.04/54.27 c #Conflicts: 62000 | #Constraints: 5814 54.04/54.27 c #Conflicts: 63000 | #Constraints: 6814 54.04/54.27 c #Conflicts: 64000 | #Constraints: 7814 54.04/54.27 c #Conflicts: 65000 | #Constraints: 8814 54.04/54.27 c #Conflicts: 66000 | #Constraints: 9814 54.04/54.27 c INPROCESSING 54.04/54.27 c GARBAGE COLLECT 54.04/54.27 c rational objective 1.22221 61.72/62.00 c #Conflicts: 67000 | #Constraints: 5614 61.72/62.00 c #Conflicts: 68000 | #Constraints: 6614 61.72/62.00 c #Conflicts: 69000 | #Constraints: 7614 61.72/62.00 c #Conflicts: 70000 | #Constraints: 8614 61.72/62.00 c #Conflicts: 71000 | #Constraints: 9614 61.72/62.00 c #Conflicts: 72000 | #Constraints: 10614 61.72/62.00 c INPROCESSING 61.72/62.00 c GARBAGE COLLECT 61.72/62.00 c rational objective 1.22221 69.91/70.13 c #Conflicts: 73000 | #Constraints: 6214 69.91/70.13 c #Conflicts: 74000 | #Constraints: 7214 69.91/70.13 c #Conflicts: 75000 | #Constraints: 8214 69.91/70.13 c #Conflicts: 76000 | #Constraints: 9214 69.91/70.13 c #Conflicts: 77000 | #Constraints: 10214 69.91/70.13 c #Conflicts: 78000 | #Constraints: 11214 69.91/70.13 c INPROCESSING 69.91/70.13 c GARBAGE COLLECT 69.91/70.13 c rational objective 1.22221 78.96/79.26 c #Conflicts: 79000 | #Constraints: 6614 78.96/79.26 c #Conflicts: 80000 | #Constraints: 7614 78.96/79.26 c #Conflicts: 81000 | #Constraints: 8614 78.96/79.26 c #Conflicts: 82000 | #Constraints: 9614 78.96/79.26 c #Conflicts: 83000 | #Constraints: 10614 78.96/79.26 c #Conflicts: 84000 | #Constraints: 11614 78.96/79.26 c INPROCESSING 78.96/79.26 c GARBAGE COLLECT 78.96/79.26 c rational objective 1.22221 88.34/88.69 c #Conflicts: 85000 | #Constraints: 6813 88.34/88.69 c #Conflicts: 86000 | #Constraints: 7813 88.34/88.69 c #Conflicts: 87000 | #Constraints: 8813 88.34/88.69 c #Conflicts: 88000 | #Constraints: 9813 88.34/88.69 c #Conflicts: 89000 | #Constraints: 10813 88.34/88.69 c #Conflicts: 90000 | #Constraints: 11813 88.34/88.69 c INPROCESSING 88.34/88.69 c GARBAGE COLLECT 88.34/88.69 c rational objective 1.22221 99.21/99.59 c #Conflicts: 91000 | #Constraints: 6814 99.21/99.59 c #Conflicts: 92000 | #Constraints: 7814 99.21/99.59 c #Conflicts: 93000 | #Constraints: 8814 99.21/99.59 c #Conflicts: 94000 | #Constraints: 9814 99.21/99.59 c #Conflicts: 95000 | #Constraints: 10814 99.21/99.59 c #Conflicts: 96000 | #Constraints: 11814 99.21/99.59 c INPROCESSING 99.21/99.59 c GARBAGE COLLECT 99.21/99.59 c rational objective 1.22221 111.70/112.05 c #Conflicts: 97000 | #Constraints: 6615 111.70/112.05 c #Conflicts: 98000 | #Constraints: 7615 111.70/112.05 c #Conflicts: 99000 | #Constraints: 8615 111.70/112.05 c #Conflicts: 100000 | #Constraints: 9615 111.70/112.05 c #Conflicts: 101000 | #Constraints: 10615 111.70/112.05 c #Conflicts: 102000 | #Constraints: 11615 111.70/112.05 c #Conflicts: 103000 | #Constraints: 12615 111.70/112.05 c INPROCESSING 111.70/112.05 c GARBAGE COLLECT 111.70/112.05 c rational objective 1.22221 124.94/125.36 c #Conflicts: 104000 | #Constraints: 7215 124.94/125.36 c #Conflicts: 105000 | #Constraints: 8215 124.94/125.36 c #Conflicts: 106000 | #Constraints: 9216 124.94/125.36 c #Conflicts: 107000 | #Constraints: 10216 124.94/125.36 c #Conflicts: 108000 | #Constraints: 11216 124.94/125.36 c #Conflicts: 109000 | #Constraints: 12216 124.94/125.36 c #Conflicts: 110000 | #Constraints: 13216 124.94/125.36 c INPROCESSING 124.94/125.36 c GARBAGE COLLECT 124.94/125.36 c rational objective 1.22221 140.41/140.87 c #Conflicts: 111000 | #Constraints: 7617 140.41/140.87 c #Conflicts: 112000 | #Constraints: 8617 140.41/140.87 c #Conflicts: 113000 | #Constraints: 9617 140.41/140.87 c #Conflicts: 114000 | #Constraints: 10617 140.41/140.87 c #Conflicts: 115000 | #Constraints: 11617 140.41/140.87 c #Conflicts: 116000 | #Constraints: 12617 140.41/140.87 c #Conflicts: 117000 | #Constraints: 13617 140.41/140.87 c INPROCESSING 140.41/140.87 c GARBAGE COLLECT 140.41/140.87 c rational objective 1.22221 154.77/155.27 c #Conflicts: 118000 | #Constraints: 7814 154.77/155.27 c #Conflicts: 119000 | #Constraints: 8814 154.77/155.27 c #Conflicts: 120000 | #Constraints: 9814 154.77/155.27 c #Conflicts: 121000 | #Constraints: 10814 154.77/155.27 c #Conflicts: 122000 | #Constraints: 11814 154.77/155.27 c #Conflicts: 123000 | #Constraints: 12814 154.77/155.27 c #Conflicts: 124000 | #Constraints: 13814 154.77/155.27 c INPROCESSING 154.77/155.27 c GARBAGE COLLECT 154.77/155.27 c rational objective 1.32012 170.12/170.62 c #Conflicts: 125000 | #Constraints: 7812 170.12/170.62 c #Conflicts: 126000 | #Constraints: 8812 170.12/170.62 c #Conflicts: 127000 | #Constraints: 9812 170.12/170.62 c #Conflicts: 128000 | #Constraints: 10812 170.12/170.62 c #Conflicts: 129000 | #Constraints: 11812 170.12/170.62 c #Conflicts: 130000 | #Constraints: 12812 170.12/170.62 c #Conflicts: 131000 | #Constraints: 13812 170.12/170.62 c INPROCESSING 170.12/170.62 c GARBAGE COLLECT 170.12/170.62 c rational objective 1.32012 186.39/186.95 c #Conflicts: 132000 | #Constraints: 7616 186.39/186.95 c #Conflicts: 133000 | #Constraints: 8616 186.39/186.95 c #Conflicts: 134000 | #Constraints: 9616 186.39/186.95 c #Conflicts: 135000 | #Constraints: 10616 186.39/186.95 c #Conflicts: 136000 | #Constraints: 11616 186.39/186.95 c #Conflicts: 137000 | #Constraints: 12616 186.39/186.95 c #Conflicts: 138000 | #Constraints: 13616 186.39/186.95 c #Conflicts: 139000 | #Constraints: 14616 186.39/186.95 c INPROCESSING 186.39/186.95 c GARBAGE COLLECT 186.39/186.95 c rational objective 1.32012 203.46/204.03 c #Conflicts: 140000 | #Constraints: 8218 203.46/204.03 c #Conflicts: 141000 | #Constraints: 9218 203.46/204.03 c #Conflicts: 142000 | #Constraints: 10218 203.46/204.03 c #Conflicts: 143000 | #Constraints: 11218 203.46/204.03 c #Conflicts: 144000 | #Constraints: 12218 203.46/204.03 c #Conflicts: 145000 | #Constraints: 13218 203.46/204.03 c #Conflicts: 146000 | #Constraints: 14218 203.46/204.03 c #Conflicts: 147000 | #Constraints: 15218 203.46/204.03 c INPROCESSING 203.46/204.03 c GARBAGE COLLECT 203.46/204.03 c rational objective 1.32012 223.28/223.95 c #Conflicts: 148000 | #Constraints: 8616 223.28/223.95 c #Conflicts: 149000 | #Constraints: 9616 223.28/223.95 c #Conflicts: 150000 | #Constraints: 10616 223.28/223.95 c #Conflicts: 151000 | #Constraints: 11616 223.28/223.95 c #Conflicts: 152000 | #Constraints: 12616 223.28/223.95 c #Conflicts: 153000 | #Constraints: 13616 223.28/223.95 c #Conflicts: 154000 | #Constraints: 14616 223.28/223.95 c #Conflicts: 155000 | #Constraints: 15616 223.28/223.95 c INPROCESSING 223.28/223.95 c GARBAGE COLLECT 223.28/223.95 c rational objective 1.32012 243.13/243.82 c #Conflicts: 156000 | #Constraints: 8815 243.13/243.82 c #Conflicts: 157000 | #Constraints: 9815 243.13/243.82 c #Conflicts: 158000 | #Constraints: 10815 243.13/243.82 c #Conflicts: 159000 | #Constraints: 11815 243.13/243.82 c #Conflicts: 160000 | #Constraints: 12815 243.13/243.82 c #Conflicts: 161000 | #Constraints: 13815 243.13/243.82 c #Conflicts: 162000 | #Constraints: 14815 243.13/243.82 c #Conflicts: 163000 | #Constraints: 15815 243.13/243.82 c INPROCESSING 243.13/243.82 c GARBAGE COLLECT 243.13/243.82 c rational objective 1.32012 265.67/266.48 c #Conflicts: 164000 | #Constraints: 8812 265.67/266.48 c #Conflicts: 165000 | #Constraints: 9812 265.67/266.48 c #Conflicts: 166000 | #Constraints: 10812 265.67/266.48 c #Conflicts: 167000 | #Constraints: 11812 265.67/266.48 c #Conflicts: 168000 | #Constraints: 12812 265.67/266.48 c #Conflicts: 169000 | #Constraints: 13812 265.67/266.48 c #Conflicts: 170000 | #Constraints: 14812 265.67/266.48 c #Conflicts: 171000 | #Constraints: 15812 265.67/266.48 c INPROCESSING 265.67/266.48 c GARBAGE COLLECT 265.67/266.48 c rational objective 1.32012 289.22/290.08 c #Conflicts: 172000 | #Constraints: 8610 289.22/290.08 c #Conflicts: 173000 | #Constraints: 9610 289.22/290.08 c #Conflicts: 174000 | #Constraints: 10610 289.22/290.08 c #Conflicts: 175000 | #Constraints: 11610 289.22/290.08 c #Conflicts: 176000 | #Constraints: 12610 289.22/290.08 c #Conflicts: 177000 | #Constraints: 13610 289.22/290.08 c #Conflicts: 178000 | #Constraints: 14610 289.22/290.08 c #Conflicts: 179000 | #Constraints: 15610 289.22/290.08 c #Conflicts: 180000 | #Constraints: 16610 289.22/290.08 c INPROCESSING 289.22/290.08 c GARBAGE COLLECT 289.22/290.08 c rational objective 1.32012 315.03/315.99 c #Conflicts: 181000 | #Constraints: 9214 315.03/315.99 c #Conflicts: 182000 | #Constraints: 10214 315.03/315.99 c #Conflicts: 183000 | #Constraints: 11214 315.03/315.99 c #Conflicts: 184000 | #Constraints: 12214 315.03/315.99 c #Conflicts: 185000 | #Constraints: 13214 315.03/315.99 c #Conflicts: 186000 | #Constraints: 14214 315.03/315.99 c #Conflicts: 187000 | #Constraints: 15214 315.03/315.99 c #Conflicts: 188000 | #Constraints: 16214 315.03/315.99 c #Conflicts: 189000 | #Constraints: 17214 315.03/315.99 c INPROCESSING 315.03/315.99 c GARBAGE COLLECT 315.03/315.99 c rational objective 1.32012 342.16/343.19 c #Conflicts: 190000 | #Constraints: 9614 342.16/343.19 c #Conflicts: 191000 | #Constraints: 10614 342.16/343.19 c #Conflicts: 192000 | #Constraints: 11614 342.16/343.19 c #Conflicts: 193000 | #Constraints: 12614 342.16/343.19 c #Conflicts: 194000 | #Constraints: 13614 342.16/343.19 c #Conflicts: 195000 | #Constraints: 14614 342.16/343.19 c #Conflicts: 196000 | #Constraints: 15614 342.16/343.19 c #Conflicts: 197000 | #Constraints: 16614 342.16/343.19 c #Conflicts: 198000 | #Constraints: 17614 342.16/343.19 c INPROCESSING 342.16/343.19 c GARBAGE COLLECT 342.16/343.19 c rational objective 1.32012 371.16/372.20 c #Conflicts: 199000 | #Constraints: 9815 371.16/372.20 c #Conflicts: 200000 | #Constraints: 10816 371.16/372.20 c #Conflicts: 201000 | #Constraints: 11816 371.16/372.20 c #Conflicts: 202000 | #Constraints: 12816 371.16/372.20 c #Conflicts: 203000 | #Constraints: 13816 371.16/372.20 c #Conflicts: 204000 | #Constraints: 14816 371.16/372.20 c #Conflicts: 205000 | #Constraints: 15816 371.16/372.20 c #Conflicts: 206000 | #Constraints: 16816 371.16/372.20 c #Conflicts: 207000 | #Constraints: 17816 371.16/372.20 c INPROCESSING 371.16/372.20 c GARBAGE COLLECT 371.16/372.20 c rational objective 1.32012 404.06/405.21 c #Conflicts: 208000 | #Constraints: 9817 404.06/405.21 c #Conflicts: 209000 | #Constraints: 10817 404.06/405.21 c #Conflicts: 210000 | #Constraints: 11817 404.06/405.21 c #Conflicts: 211000 | #Constraints: 12817 404.06/405.21 c #Conflicts: 212000 | #Constraints: 13817 404.06/405.21 c #Conflicts: 213000 | #Constraints: 14817 404.06/405.21 c #Conflicts: 214000 | #Constraints: 15817 404.06/405.21 c #Conflicts: 215000 | #Constraints: 16817 404.06/405.21 c #Conflicts: 216000 | #Constraints: 17817 404.06/405.21 c INPROCESSING 404.06/405.21 c GARBAGE COLLECT 404.06/405.21 c rational objective 1.32012 434.37/435.60 c #Conflicts: 217000 | #Constraints: 9615 434.37/435.60 c #Conflicts: 218000 | #Constraints: 10615 434.37/435.60 c #Conflicts: 219000 | #Constraints: 11615 434.37/435.60 c #Conflicts: 220000 | #Constraints: 12615 434.37/435.60 c #Conflicts: 221000 | #Constraints: 13615 434.37/435.60 c #Conflicts: 222000 | #Constraints: 14615 434.37/435.60 c #Conflicts: 223000 | #Constraints: 15615 434.37/435.60 c #Conflicts: 224000 | #Constraints: 16615 434.37/435.60 c #Conflicts: 225000 | #Constraints: 17615 434.37/435.60 c #Conflicts: 226000 | #Constraints: 18615 434.37/435.60 c INPROCESSING 434.37/435.60 c GARBAGE COLLECT 434.37/435.60 c rational objective 1.32012 466.25/467.60 c #Conflicts: 227000 | #Constraints: 10216 466.25/467.60 c #Conflicts: 228000 | #Constraints: 11216 466.25/467.60 c #Conflicts: 229000 | #Constraints: 12216 466.25/467.60 c #Conflicts: 230000 | #Constraints: 13216 466.25/467.60 c #Conflicts: 231000 | #Constraints: 14216 466.25/467.60 c #Conflicts: 232000 | #Constraints: 15216 466.25/467.60 c #Conflicts: 233000 | #Constraints: 16216 466.25/467.60 c #Conflicts: 234000 | #Constraints: 17216 466.25/467.60 c #Conflicts: 235000 | #Constraints: 18216 466.25/467.60 c #Conflicts: 236000 | #Constraints: 19216 466.25/467.60 c INPROCESSING 466.25/467.60 c GARBAGE COLLECT 466.25/467.60 c rational objective 1.32012 498.54/500.06 c #Conflicts: 237000 | #Constraints: 10614 498.54/500.06 c #Conflicts: 238000 | #Constraints: 11614 498.54/500.06 c #Conflicts: 239000 | #Constraints: 12614 498.54/500.06 c #Conflicts: 240000 | #Constraints: 13614 498.54/500.06 c #Conflicts: 241000 | #Constraints: 14614 498.54/500.06 c #Conflicts: 242000 | #Constraints: 15614 498.54/500.06 c #Conflicts: 243000 | #Constraints: 16614 498.54/500.06 c #Conflicts: 244000 | #Constraints: 17614 498.54/500.06 c #Conflicts: 245000 | #Constraints: 18614 498.54/500.06 c #Conflicts: 246000 | #Constraints: 19614 498.54/500.06 c INPROCESSING 498.54/500.06 c GARBAGE COLLECT 498.54/500.06 c rational objective 1.32012 536.57/538.24 c #Conflicts: 247000 | #Constraints: 10817 536.57/538.24 c #Conflicts: 248000 | #Constraints: 11817 536.57/538.24 c #Conflicts: 249000 | #Constraints: 12817 536.57/538.24 c #Conflicts: 250000 | #Constraints: 13817 536.57/538.24 c #Conflicts: 251000 | #Constraints: 14817 536.57/538.24 c #Conflicts: 252000 | #Constraints: 15817 536.57/538.24 c #Conflicts: 253000 | #Constraints: 16817 536.57/538.24 c #Conflicts: 254000 | #Constraints: 17817 536.57/538.24 c #Conflicts: 255000 | #Constraints: 18817 536.57/538.24 c #Conflicts: 256000 | #Constraints: 19817 536.57/538.24 c INPROCESSING 536.57/538.24 c GARBAGE COLLECT 536.57/538.24 c rational objective 1.32012 574.24/576.09 c #Conflicts: 257000 | #Constraints: 10813 574.24/576.09 c #Conflicts: 258000 | #Constraints: 11814 574.24/576.09 c #Conflicts: 259000 | #Constraints: 12814 574.24/576.09 c #Conflicts: 260000 | #Constraints: 13814 574.24/576.09 c #Conflicts: 261000 | #Constraints: 14814 574.24/576.09 c #Conflicts: 262000 | #Constraints: 15814 574.24/576.09 c #Conflicts: 263000 | #Constraints: 16814 574.24/576.09 c #Conflicts: 264000 | #Constraints: 17814 574.24/576.09 c #Conflicts: 265000 | #Constraints: 18814 574.24/576.09 c #Conflicts: 266000 | #Constraints: 19814 574.24/576.09 c INPROCESSING 574.24/576.09 c GARBAGE COLLECT 574.24/576.09 c rational objective 1.32012 621.93/624.01 c #Conflicts: 267000 | #Constraints: 10616 621.93/624.01 c #Conflicts: 268000 | #Constraints: 11616 621.93/624.01 c #Conflicts: 269000 | #Constraints: 12616 621.93/624.01 c #Conflicts: 270000 | #Constraints: 13616 621.93/624.01 c #Conflicts: 271000 | #Constraints: 14616 621.93/624.01 c #Conflicts: 272000 | #Constraints: 15616 621.93/624.01 c #Conflicts: 273000 | #Constraints: 16616 621.93/624.01 c #Conflicts: 274000 | #Constraints: 17616 621.93/624.01 c #Conflicts: 275000 | #Constraints: 18616 621.93/624.01 c #Conflicts: 276000 | #Constraints: 19616 621.93/624.01 c #Conflicts: 277000 | #Constraints: 20616 621.93/624.01 c INPROCESSING 621.93/624.01 c GARBAGE COLLECT 621.93/624.01 c rational objective 1.32012 659.37/661.58 c #Conflicts: 278000 | #Constraints: 11216 659.37/661.58 c #Conflicts: 279000 | #Constraints: 12216 659.37/661.58 c #Conflicts: 280000 | #Constraints: 13216 659.37/661.58 c #Conflicts: 281000 | #Constraints: 14216 659.37/661.58 c #Conflicts: 282000 | #Constraints: 15216 659.37/661.58 c #Conflicts: 283000 | #Constraints: 16216 659.37/661.58 c #Conflicts: 284000 | #Constraints: 17216 659.37/661.58 c #Conflicts: 285000 | #Constraints: 18216 659.37/661.58 c #Conflicts: 286000 | #Constraints: 19216 659.37/661.58 c #Conflicts: 287000 | #Constraints: 20216 659.37/661.58 c #Conflicts: 288000 | #Constraints: 21216 659.37/661.58 c INPROCESSING 659.37/661.58 c GARBAGE COLLECT 659.37/661.58 c rational objective 1.32012 700.20/702.59 c #Conflicts: 289000 | #Constraints: 11617 700.20/702.59 c #Conflicts: 290000 | #Constraints: 12617 700.20/702.59 c #Conflicts: 291000 | #Constraints: 13617 700.20/702.59 c #Conflicts: 292000 | #Constraints: 14617 700.20/702.59 c #Conflicts: 293000 | #Constraints: 15617 700.20/702.59 c #Conflicts: 294000 | #Constraints: 16617 700.20/702.59 c #Conflicts: 295000 | #Constraints: 17617 700.20/702.59 c #Conflicts: 296000 | #Constraints: 18617 700.20/702.59 c #Conflicts: 297000 | #Constraints: 19617 700.20/702.59 c #Conflicts: 298000 | #Constraints: 20617 700.20/702.59 c #Conflicts: 299000 | #Constraints: 21618 700.20/702.59 c INPROCESSING 700.20/702.59 c GARBAGE COLLECT 700.20/702.59 c rational objective 1.32012 741.03/743.56 c #Conflicts: 300000 | #Constraints: 11815 741.03/743.56 c #Conflicts: 301000 | #Constraints: 12815 741.03/743.56 c #Conflicts: 302000 | #Constraints: 13815 741.03/743.56 c #Conflicts: 303000 | #Constraints: 14815 741.03/743.56 c #Conflicts: 304000 | #Constraints: 15815 741.03/743.56 c #Conflicts: 305000 | #Constraints: 16815 741.03/743.56 c #Conflicts: 306000 | #Constraints: 17815 741.03/743.56 c #Conflicts: 307000 | #Constraints: 18815 741.03/743.56 c #Conflicts: 308000 | #Constraints: 19815 741.03/743.56 c #Conflicts: 309000 | #Constraints: 20815 741.03/743.56 c #Conflicts: 310000 | #Constraints: 21815 741.03/743.56 c INPROCESSING 741.03/743.56 c GARBAGE COLLECT 741.03/743.56 c rational objective 1.32012 782.65/785.31 c #Conflicts: 311000 | #Constraints: 11814 782.65/785.31 c #Conflicts: 312000 | #Constraints: 12814 782.65/785.31 c #Conflicts: 313000 | #Constraints: 13814 782.65/785.31 c #Conflicts: 314000 | #Constraints: 14814 782.65/785.31 c #Conflicts: 315000 | #Constraints: 15814 782.65/785.31 c #Conflicts: 316000 | #Constraints: 16814 782.65/785.31 c #Conflicts: 317000 | #Constraints: 17814 782.65/785.31 c #Conflicts: 318000 | #Constraints: 18814 782.65/785.31 c #Conflicts: 319000 | #Constraints: 19814 782.65/785.31 c #Conflicts: 320000 | #Constraints: 20814 782.65/785.31 c #Conflicts: 321000 | #Constraints: 21814 782.65/785.31 c INPROCESSING 782.65/785.31 c GARBAGE COLLECT 782.65/785.31 c rational objective 1.32012 838.78/841.79 c #Conflicts: 322000 | #Constraints: 11614 838.78/841.79 c #Conflicts: 323000 | #Constraints: 12614 838.78/841.79 c #Conflicts: 324000 | #Constraints: 13614 838.78/841.79 c #Conflicts: 325000 | #Constraints: 14614 838.78/841.79 c #Conflicts: 326000 | #Constraints: 15614 838.78/841.79 c #Conflicts: 327000 | #Constraints: 16614 838.78/841.79 c #Conflicts: 328000 | #Constraints: 17614 838.78/841.79 c #Conflicts: 329000 | #Constraints: 18614 838.78/841.79 c #Conflicts: 330000 | #Constraints: 19614 838.78/841.79 c #Conflicts: 331000 | #Constraints: 20614 838.78/841.79 c #Conflicts: 332000 | #Constraints: 21614 838.78/841.79 c #Conflicts: 333000 | #Constraints: 22614 838.78/841.79 c INPROCESSING 838.78/841.79 c GARBAGE COLLECT 838.78/841.79 c rational objective 1.32012 884.50/887.68 c #Conflicts: 334000 | #Constraints: 12213 884.50/887.68 c #Conflicts: 335000 | #Constraints: 13213 884.50/887.68 c #Conflicts: 336000 | #Constraints: 14213 884.50/887.68 c #Conflicts: 337000 | #Constraints: 15213 884.50/887.68 c #Conflicts: 338000 | #Constraints: 16213 884.50/887.68 c #Conflicts: 339000 | #Constraints: 17213 884.50/887.68 c #Conflicts: 340000 | #Constraints: 18213 884.50/887.68 c #Conflicts: 341000 | #Constraints: 19213 884.50/887.68 c #Conflicts: 342000 | #Constraints: 20213 884.50/887.68 c #Conflicts: 343000 | #Constraints: 21213 884.50/887.68 c #Conflicts: 344000 | #Constraints: 22213 884.50/887.68 c #Conflicts: 345000 | #Constraints: 23213 884.50/887.68 c INPROCESSING 884.50/887.68 c GARBAGE COLLECT 884.50/887.68 c rational objective 1.32012 934.78/938.13 c #Conflicts: 346000 | #Constraints: 12616 934.78/938.13 c #Conflicts: 347000 | #Constraints: 13616 934.78/938.13 c #Conflicts: 348000 | #Constraints: 14616 934.78/938.13 c #Conflicts: 349000 | #Constraints: 15616 934.78/938.13 c #Conflicts: 350000 | #Constraints: 16616 934.78/938.13 c #Conflicts: 351000 | #Constraints: 17616 934.78/938.13 c #Conflicts: 352000 | #Constraints: 18616 934.78/938.13 c #Conflicts: 353000 | #Constraints: 19616 934.78/938.13 c #Conflicts: 354000 | #Constraints: 20616 934.78/938.13 c #Conflicts: 355000 | #Constraints: 21616 934.78/938.13 c #Conflicts: 356000 | #Constraints: 22616 934.78/938.13 c #Conflicts: 357000 | #Constraints: 23616 934.78/938.13 c INPROCESSING 934.78/938.13 c GARBAGE COLLECT 934.78/938.13 c rational objective 1.32012 984.52/988.08 c #Conflicts: 358000 | #Constraints: 12815 984.52/988.08 c #Conflicts: 359000 | #Constraints: 13815 984.52/988.08 c #Conflicts: 360000 | #Constraints: 14815 984.52/988.08 c #Conflicts: 361000 | #Constraints: 15815 984.52/988.08 c #Conflicts: 362000 | #Constraints: 16815 984.52/988.08 c #Conflicts: 363000 | #Constraints: 17815 984.52/988.08 c #Conflicts: 364000 | #Constraints: 18815 984.52/988.08 c #Conflicts: 365000 | #Constraints: 19815 984.52/988.08 c #Conflicts: 366000 | #Constraints: 20815 984.52/988.08 c #Conflicts: 367000 | #Constraints: 21815 984.52/988.08 c #Conflicts: 368000 | #Constraints: 22815 984.52/988.08 c #Conflicts: 369000 | #Constraints: 23815 984.52/988.08 c INPROCESSING 984.52/988.08 c GARBAGE COLLECT 984.52/988.08 c rational objective 1.32012 1031.28/1034.92 c #Conflicts: 370000 | #Constraints: 12819 1031.28/1034.92 c #Conflicts: 371000 | #Constraints: 13819 1031.28/1034.92 c #Conflicts: 372000 | #Constraints: 14819 1031.28/1034.92 c #Conflicts: 373000 | #Constraints: 15819 1031.28/1034.92 c #Conflicts: 374000 | #Constraints: 16819 1031.28/1034.92 c #Conflicts: 375000 | #Constraints: 17819 1031.28/1034.92 c #Conflicts: 376000 | #Constraints: 18819 1031.28/1034.92 c #Conflicts: 377000 | #Constraints: 19819 1031.28/1034.92 c #Conflicts: 378000 | #Constraints: 20819 1031.28/1034.92 c #Conflicts: 379000 | #Constraints: 21819 1031.28/1034.92 c #Conflicts: 380000 | #Constraints: 22819 1031.28/1034.92 c #Conflicts: 381000 | #Constraints: 23819 1031.28/1034.92 c INPROCESSING 1031.28/1034.92 c GARBAGE COLLECT 1031.28/1034.92 c rational objective 1.32012 1080.84/1084.66 c #Conflicts: 382000 | #Constraints: 12618 1080.84/1084.66 c #Conflicts: 383000 | #Constraints: 13618 1080.84/1084.66 c #Conflicts: 384000 | #Constraints: 14618 1080.84/1084.66 c #Conflicts: 385000 | #Constraints: 15618 1080.84/1084.66 c #Conflicts: 386000 | #Constraints: 16618 1080.84/1084.66 c #Conflicts: 387000 | #Constraints: 17618 1080.84/1084.66 c #Conflicts: 388000 | #Constraints: 18618 1080.84/1084.66 c #Conflicts: 389000 | #Constraints: 19618 1080.84/1084.66 c #Conflicts: 390000 | #Constraints: 20618 1080.84/1084.66 c #Conflicts: 391000 | #Constraints: 21618 1080.84/1084.66 c #Conflicts: 392000 | #Constraints: 22618 1080.84/1084.66 c #Conflicts: 393000 | #Constraints: 23618 1080.84/1084.66 c #Conflicts: 394000 | #Constraints: 24618 1080.84/1084.66 c INPROCESSING 1080.84/1084.66 c GARBAGE COLLECT 1080.84/1084.66 c rational objective 1.32012 1134.11/1138.05 c #Conflicts: 395000 | #Constraints: 13218 1134.11/1138.05 c #Conflicts: 396000 | #Constraints: 14218 1134.11/1138.05 c #Conflicts: 397000 | #Constraints: 15218 1134.11/1138.05 c #Conflicts: 398000 | #Constraints: 16218 1134.11/1138.05 c #Conflicts: 399000 | #Constraints: 17218 1134.11/1138.05 c #Conflicts: 400000 | #Constraints: 18218 1134.11/1138.05 c #Conflicts: 401000 | #Constraints: 19218 1134.11/1138.05 c #Conflicts: 402000 | #Constraints: 20218 1134.11/1138.05 c #Conflicts: 403000 | #Constraints: 21218 1134.11/1138.05 c #Conflicts: 404000 | #Constraints: 22218 1134.11/1138.05 c #Conflicts: 405000 | #Constraints: 23218 1134.11/1138.05 c #Conflicts: 406000 | #Constraints: 24218 1134.11/1138.05 c #Conflicts: 407000 | #Constraints: 25218 1134.11/1138.05 c INPROCESSING 1134.11/1138.05 c GARBAGE COLLECT 1134.11/1138.05 c rational objective 1.32012 1187.45/1191.55 c #Conflicts: 408000 | #Constraints: 13616 1187.45/1191.55 c #Conflicts: 409000 | #Constraints: 14616 1187.45/1191.55 c #Conflicts: 410000 | #Constraints: 15616 1187.45/1191.55 c #Conflicts: 411000 | #Constraints: 16616 1187.45/1191.55 c #Conflicts: 412000 | #Constraints: 17616 1187.45/1191.55 c #Conflicts: 413000 | #Constraints: 18616 1187.45/1191.55 c #Conflicts: 414000 | #Constraints: 19616 1187.45/1191.55 c #Conflicts: 415000 | #Constraints: 20616 1187.45/1191.55 c #Conflicts: 416000 | #Constraints: 21616 1187.45/1191.55 c #Conflicts: 417000 | #Constraints: 22616 1187.45/1191.55 c #Conflicts: 418000 | #Constraints: 23616 1187.45/1191.55 c #Conflicts: 419000 | #Constraints: 24616 1187.45/1191.55 c #Conflicts: 420000 | #Constraints: 25616 1187.45/1191.55 c INPROCESSING 1187.45/1191.55 c GARBAGE COLLECT 1187.45/1191.55 c rational objective 1.32012 1243.29/1247.60 c #Conflicts: 421000 | #Constraints: 13816 1243.29/1247.60 c #Conflicts: 422000 | #Constraints: 14816 1243.29/1247.60 c #Conflicts: 423000 | #Constraints: 15816 1243.29/1247.60 c #Conflicts: 424000 | #Constraints: 16816 1243.29/1247.60 c #Conflicts: 425000 | #Constraints: 17816 1243.29/1247.60 c #Conflicts: 426000 | #Constraints: 18816 1243.29/1247.60 c #Conflicts: 427000 | #Constraints: 19816 1243.29/1247.60 c #Conflicts: 428000 | #Constraints: 20816 1243.29/1247.60 c #Conflicts: 429000 | #Constraints: 21816 1243.29/1247.60 c #Conflicts: 430000 | #Constraints: 22816 1243.29/1247.60 c #Conflicts: 431000 | #Constraints: 23816 1243.29/1247.60 c #Conflicts: 432000 | #Constraints: 24816 1243.29/1247.60 c #Conflicts: 433000 | #Constraints: 25816 1243.29/1247.60 c INPROCESSING 1243.29/1247.60 c GARBAGE COLLECT 1243.29/1247.60 c rational objective 1.32012 1310.39/1314.83 c #Conflicts: 434000 | #Constraints: 13819 1310.39/1314.83 c #Conflicts: 435000 | #Constraints: 14819 1310.39/1314.83 c #Conflicts: 436000 | #Constraints: 15819 1310.39/1314.83 c #Conflicts: 437000 | #Constraints: 16819 1310.39/1314.83 c #Conflicts: 438000 | #Constraints: 17819 1310.39/1314.83 c #Conflicts: 439000 | #Constraints: 18819 1310.39/1314.83 c #Conflicts: 440000 | #Constraints: 19819 1310.39/1314.83 c #Conflicts: 441000 | #Constraints: 20819 1310.39/1314.83 c #Conflicts: 442000 | #Constraints: 21819 1310.39/1314.83 c #Conflicts: 443000 | #Constraints: 22819 1310.39/1314.83 c #Conflicts: 444000 | #Constraints: 23819 1310.39/1314.83 c #Conflicts: 445000 | #Constraints: 24819 1310.39/1314.83 c #Conflicts: 446000 | #Constraints: 25819 1310.39/1314.83 c INPROCESSING 1310.39/1314.83 c GARBAGE COLLECT 1310.39/1314.83 c rational objective 1.32012 1375.79/1380.45 c #Conflicts: 447000 | #Constraints: 13623 1375.79/1380.45 c #Conflicts: 448000 | #Constraints: 14623 1375.79/1380.45 c #Conflicts: 449000 | #Constraints: 15623 1375.79/1380.45 c #Conflicts: 450000 | #Constraints: 16623 1375.79/1380.45 c #Conflicts: 451000 | #Constraints: 17623 1375.79/1380.45 c #Conflicts: 452000 | #Constraints: 18623 1375.79/1380.45 c #Conflicts: 453000 | #Constraints: 19623 1375.79/1380.45 c #Conflicts: 454000 | #Constraints: 20623 1375.79/1380.45 c #Conflicts: 455000 | #Constraints: 21623 1375.79/1380.45 c #Conflicts: 456000 | #Constraints: 22623 1375.79/1380.45 c #Conflicts: 457000 | #Constraints: 23623 1375.79/1380.45 c #Conflicts: 458000 | #Constraints: 24623 1375.79/1380.45 c #Conflicts: 459000 | #Constraints: 25623 1375.79/1380.45 c #Conflicts: 460000 | #Constraints: 26623 1375.79/1380.45 c INPROCESSING 1375.79/1380.45 c GARBAGE COLLECT 1375.79/1380.45 c rational objective 1.32012 1495.16/1500.18 c #Conflicts: 461000 | #Constraints: 14221 1495.16/1500.18 c #Conflicts: 462000 | #Constraints: 15221 1495.16/1500.18 c #Conflicts: 463000 | #Constraints: 16221 1495.16/1500.18 c #Conflicts: 464000 | #Constraints: 17221 1495.16/1500.18 c #Conflicts: 465000 | #Constraints: 18221 1495.16/1500.18 c #Conflicts: 466000 | #Constraints: 19221 1495.16/1500.18 c #Conflicts: 467000 | #Constraints: 20221 1495.16/1500.18 c #Conflicts: 468000 | #Constraints: 21221 1495.16/1500.18 c #Conflicts: 469000 | #Constraints: 22221 1495.16/1500.18 c #Conflicts: 470000 | #Constraints: 23221 1495.16/1500.18 c #Conflicts: 471000 | #Constraints: 24221 1495.16/1500.18 c #Conflicts: 472000 | #Constraints: 25221 1495.16/1500.18 c #Conflicts: 473000 | #Constraints: 26221 1495.16/1500.18 c #Conflicts: 474000 | #Constraints: 27221 1495.16/1500.18 c INPROCESSING 1495.16/1500.18 c GARBAGE COLLECT 1495.16/1500.18 c rational objective 1.32012 1559.88/1565.03 c #Conflicts: 475000 | #Constraints: 14621 1559.88/1565.03 c #Conflicts: 476000 | #Constraints: 15621 1559.88/1565.03 c #Conflicts: 477000 | #Constraints: 16621 1559.88/1565.03 c #Conflicts: 478000 | #Constraints: 17621 1559.88/1565.03 c #Conflicts: 479000 | #Constraints: 18621 1559.88/1565.03 c #Conflicts: 480000 | #Constraints: 19621 1559.88/1565.03 c #Conflicts: 481000 | #Constraints: 20621 1559.88/1565.03 c #Conflicts: 482000 | #Constraints: 21621 1559.88/1565.03 c #Conflicts: 483000 | #Constraints: 22621 1559.88/1565.03 c #Conflicts: 484000 | #Constraints: 23621 1559.88/1565.03 c #Conflicts: 485000 | #Constraints: 24621 1559.88/1565.03 c #Conflicts: 486000 | #Constraints: 25621 1559.88/1565.03 c #Conflicts: 487000 | #Constraints: 26621 1559.88/1565.03 c #Conflicts: 488000 | #Constraints: 27621 1559.88/1565.03 c INPROCESSING 1559.88/1565.03 c GARBAGE COLLECT 1559.88/1565.03 c rational objective 1.32012 1633.37/1638.71 c #Conflicts: 489000 | #Constraints: 14821 1633.37/1638.71 c #Conflicts: 490000 | #Constraints: 15821 1633.37/1638.71 c #Conflicts: 491000 | #Constraints: 16821 1633.37/1638.71 c #Conflicts: 492000 | #Constraints: 17821 1633.37/1638.71 c #Conflicts: 493000 | #Constraints: 18821 1633.37/1638.71 c #Conflicts: 494000 | #Constraints: 19821 1633.37/1638.71 c #Conflicts: 495000 | #Constraints: 20821 1633.37/1638.71 c #Conflicts: 496000 | #Constraints: 21821 1633.37/1638.71 c #Conflicts: 497000 | #Constraints: 22821 1633.37/1638.71 c #Conflicts: 498000 | #Constraints: 23821 1633.37/1638.71 c #Conflicts: 499000 | #Constraints: 24821 1633.37/1638.71 c #Conflicts: 500000 | #Constraints: 25821 1633.37/1638.71 c #Conflicts: 501000 | #Constraints: 26821 1633.37/1638.71 c #Conflicts: 502000 | #Constraints: 27821 1633.37/1638.71 c INPROCESSING 1633.37/1638.71 c GARBAGE COLLECT 1633.37/1638.71 c rational objective 1.32012 1713.82/1719.41 c #Conflicts: 503000 | #Constraints: 14816 1713.82/1719.41 c #Conflicts: 504000 | #Constraints: 15816 1713.82/1719.41 c #Conflicts: 505000 | #Constraints: 16816 1713.82/1719.41 c #Conflicts: 506000 | #Constraints: 17816 1713.82/1719.41 c #Conflicts: 507000 | #Constraints: 18816 1713.82/1719.41 c #Conflicts: 508000 | #Constraints: 19816 1713.82/1719.41 c #Conflicts: 509000 | #Constraints: 20816 1713.82/1719.41 c #Conflicts: 510000 | #Constraints: 21816 1713.82/1719.41 c #Conflicts: 511000 | #Constraints: 22816 1713.82/1719.41 c #Conflicts: 512000 | #Constraints: 23816 1713.82/1719.41 c #Conflicts: 513000 | #Constraints: 24816 1713.82/1719.41 c #Conflicts: 514000 | #Constraints: 25816 1713.82/1719.41 c #Conflicts: 515000 | #Constraints: 26816 1713.82/1719.41 c #Conflicts: 516000 | #Constraints: 27816 1713.82/1719.41 c INPROCESSING 1713.82/1719.41 c GARBAGE COLLECT 1713.82/1719.41 c rational objective 1.32012 1793.31/1799.11 c #Conflicts: 517000 | #Constraints: 14614 1793.31/1799.11 c #Conflicts: 518000 | #Constraints: 15614 1793.31/1799.11 c #Conflicts: 519000 | #Constraints: 16614 1793.31/1799.11 c #Conflicts: 520000 | #Constraints: 17614 1793.31/1799.11 c #Conflicts: 521000 | #Constraints: 18615 1793.31/1799.11 c #Conflicts: 522000 | #Constraints: 19615 1793.31/1799.11 c #Conflicts: 523000 | #Constraints: 20615 1793.31/1799.11 c #Conflicts: 524000 | #Constraints: 21615 1793.31/1799.11 c #Conflicts: 525000 | #Constraints: 22615 1793.31/1799.11 c #Conflicts: 526000 | #Constraints: 23615 1793.31/1799.11 c #Conflicts: 527000 | #Constraints: 24615 1793.31/1799.11 c #Conflicts: 528000 | #Constraints: 25615 1793.31/1799.11 c #Conflicts: 529000 | #Constraints: 26615 1793.31/1799.11 c #Conflicts: 530000 | #Constraints: 27615 1793.31/1799.11 c #Conflicts: 531000 | #Constraints: 28615 1793.31/1799.11 c INPROCESSING 1793.31/1799.11 c GARBAGE COLLECT 1793.31/1799.11 c rational objective 1.32012 1871.68/1877.73 c #Conflicts: 532000 | #Constraints: 15211 1871.68/1877.73 c #Conflicts: 533000 | #Constraints: 16211 1871.68/1877.73 c #Conflicts: 534000 | #Constraints: 17211 1871.68/1877.73 c #Conflicts: 535000 | #Constraints: 18211 1871.68/1877.73 c #Conflicts: 536000 | #Constraints: 19211 1871.68/1877.73 c #Conflicts: 537000 | #Constraints: 20211 1871.68/1877.73 c #Conflicts: 538000 | #Constraints: 21211 1871.68/1877.73 c #Conflicts: 539000 | #Constraints: 22211 1871.68/1877.73 c #Conflicts: 540000 | #Constraints: 23211 1871.68/1877.73 c #Conflicts: 541000 | #Constraints: 24211 1871.68/1877.73 c #Conflicts: 542000 | #Constraints: 25211 1871.68/1877.73 c #Conflicts: 543000 | #Constraints: 26211 1871.68/1877.73 c #Conflicts: 544000 | #Constraints: 27211 1871.68/1877.73 c #Conflicts: 545000 | #Constraints: 28211 1871.68/1877.73 c #Conflicts: 546000 | #Constraints: 29211 1871.68/1877.73 c INPROCESSING 1871.68/1877.73 c GARBAGE COLLECT 1871.68/1877.73 c rational objective 1.32012 1975.27/1981.68 c #Conflicts: 547000 | #Constraints: 15614 1975.27/1981.68 c #Conflicts: 548000 | #Constraints: 16614 1975.27/1981.68 c #Conflicts: 549000 | #Constraints: 17614 1975.27/1981.68 c #Conflicts: 550000 | #Constraints: 18614 1975.27/1981.68 c #Conflicts: 551000 | #Constraints: 19614 1975.27/1981.68 c #Conflicts: 552000 | #Constraints: 20614 1975.27/1981.68 c #Conflicts: 553000 | #Constraints: 21614 1975.27/1981.68 c #Conflicts: 554000 | #Constraints: 22614 1975.27/1981.68 c #Conflicts: 555000 | #Constraints: 23614 1975.27/1981.68 c #Conflicts: 556000 | #Constraints: 24614 1975.27/1981.68 c #Conflicts: 557000 | #Constraints: 25614 1975.27/1981.68 c #Conflicts: 558000 | #Constraints: 26614 1975.27/1981.68 c #Conflicts: 559000 | #Constraints: 27614 1975.27/1981.68 c #Conflicts: 560000 | #Constraints: 28614 1975.27/1981.68 c #Conflicts: 561000 | #Constraints: 29614 1975.27/1981.68 c INPROCESSING 1975.27/1981.68 c GARBAGE COLLECT 1975.27/1981.68 c rational objective 1.32012 2054.14/2060.77 c #Conflicts: 562000 | #Constraints: 15811 2054.14/2060.77 c #Conflicts: 563000 | #Constraints: 16811 2054.14/2060.77 c #Conflicts: 564000 | #Constraints: 17811 2054.14/2060.77 c #Conflicts: 565000 | #Constraints: 18811 2054.14/2060.77 c #Conflicts: 566000 | #Constraints: 19811 2054.14/2060.77 c #Conflicts: 567000 | #Constraints: 20811 2054.14/2060.77 c #Conflicts: 568000 | #Constraints: 21811 2054.14/2060.77 c #Conflicts: 569000 | #Constraints: 22811 2054.14/2060.77 c #Conflicts: 570000 | #Constraints: 23811 2054.14/2060.77 c #Conflicts: 571000 | #Constraints: 24811 2054.14/2060.77 c #Conflicts: 572000 | #Constraints: 25811 2054.14/2060.77 c #Conflicts: 573000 | #Constraints: 26811 2054.14/2060.77 c #Conflicts: 574000 | #Constraints: 27811 2054.14/2060.77 c #Conflicts: 575000 | #Constraints: 28811 2054.14/2060.77 c #Conflicts: 576000 | #Constraints: 29811 2054.14/2060.77 c INPROCESSING 2054.14/2060.77 c GARBAGE COLLECT 2054.14/2060.77 c rational objective 1.32012 2148.56/2155.44 c #Conflicts: 577000 | #Constraints: 15809 2148.56/2155.44 c #Conflicts: 578000 | #Constraints: 16809 2148.56/2155.44 c #Conflicts: 579000 | #Constraints: 17809 2148.56/2155.44 c #Conflicts: 580000 | #Constraints: 18809 2148.56/2155.44 c #Conflicts: 581000 | #Constraints: 19809 2148.56/2155.44 c #Conflicts: 582000 | #Constraints: 20809 2148.56/2155.44 c #Conflicts: 583000 | #Constraints: 21809 2148.56/2155.44 c #Conflicts: 584000 | #Constraints: 22809 2148.56/2155.44 c #Conflicts: 585000 | #Constraints: 23809 2148.56/2155.44 c #Conflicts: 586000 | #Constraints: 24809 2148.56/2155.44 c #Conflicts: 587000 | #Constraints: 25809 2148.56/2155.44 c #Conflicts: 588000 | #Constraints: 26809 2148.56/2155.44 c #Conflicts: 589000 | #Constraints: 27809 2148.56/2155.44 c #Conflicts: 590000 | #Constraints: 28809 2148.56/2155.44 c #Conflicts: 591000 | #Constraints: 29809 2148.56/2155.44 c INPROCESSING 2148.56/2155.44 c GARBAGE COLLECT 2148.56/2155.44 c rational objective 1.32012 2238.63/2245.71 c #Conflicts: 592000 | #Constraints: 15609 2238.63/2245.71 c #Conflicts: 593000 | #Constraints: 16609 2238.63/2245.71 c #Conflicts: 594000 | #Constraints: 17609 2238.63/2245.71 c #Conflicts: 595000 | #Constraints: 18609 2238.63/2245.71 c #Conflicts: 596000 | #Constraints: 19609 2238.63/2245.71 c #Conflicts: 597000 | #Constraints: 20609 2238.63/2245.71 c #Conflicts: 598000 | #Constraints: 21609 2238.63/2245.71 c #Conflicts: 599000 | #Constraints: 22609 2238.63/2245.71 c #Conflicts: 600000 | #Constraints: 23609 2238.63/2245.71 c #Conflicts: 601000 | #Constraints: 24609 2238.63/2245.71 c #Conflicts: 602000 | #Constraints: 25609 2238.63/2245.71 c #Conflicts: 603000 | #Constraints: 26609 2238.63/2245.71 c #Conflicts: 604000 | #Constraints: 27609 2238.63/2245.71 c #Conflicts: 605000 | #Constraints: 28609 2238.63/2245.71 c #Conflicts: 606000 | #Constraints: 29609 2238.63/2245.71 c #Conflicts: 607000 | #Constraints: 30609 2238.63/2245.71 c INPROCESSING 2238.63/2245.71 c GARBAGE COLLECT 2238.63/2245.71 c rational objective 1.32012 2317.44/2324.73 c #Conflicts: 608000 | #Constraints: 16216 2317.44/2324.73 c #Conflicts: 609000 | #Constraints: 17216 2317.44/2324.73 c #Conflicts: 610000 | #Constraints: 18216 2317.44/2324.73 c #Conflicts: 611000 | #Constraints: 19216 2317.44/2324.73 c #Conflicts: 612000 | #Constraints: 20216 2317.44/2324.73 c #Conflicts: 613000 | #Constraints: 21216 2317.44/2324.73 c #Conflicts: 614000 | #Constraints: 22216 2317.44/2324.73 c #Conflicts: 615000 | #Constraints: 23216 2317.44/2324.73 c #Conflicts: 616000 | #Constraints: 24216 2317.44/2324.73 c #Conflicts: 617000 | #Constraints: 25216 2317.44/2324.73 c #Conflicts: 618000 | #Constraints: 26216 2317.44/2324.73 c #Conflicts: 619000 | #Constraints: 27216 2317.44/2324.73 c #Conflicts: 620000 | #Constraints: 28216 2317.44/2324.73 c #Conflicts: 621000 | #Constraints: 29216 2317.44/2324.73 c #Conflicts: 622000 | #Constraints: 30216 2317.44/2324.73 c #Conflicts: 623000 | #Constraints: 31216 2317.44/2324.73 c INPROCESSING 2317.44/2324.73 c GARBAGE COLLECT 2317.44/2324.73 c rational objective 1.32012 2397.84/2405.37 c #Conflicts: 624000 | #Constraints: 16613 2397.84/2405.37 c #Conflicts: 625000 | #Constraints: 17613 2397.84/2405.37 c #Conflicts: 626000 | #Constraints: 18613 2397.84/2405.37 c #Conflicts: 627000 | #Constraints: 19613 2397.84/2405.37 c #Conflicts: 628000 | #Constraints: 20613 2397.84/2405.37 c #Conflicts: 629000 | #Constraints: 21613 2397.84/2405.37 c #Conflicts: 630000 | #Constraints: 22613 2397.84/2405.37 c #Conflicts: 631000 | #Constraints: 23613 2397.84/2405.37 c #Conflicts: 632000 | #Constraints: 24613 2397.84/2405.37 c #Conflicts: 633000 | #Constraints: 25613 2397.84/2405.37 c #Conflicts: 634000 | #Constraints: 26613 2397.84/2405.37 c #Conflicts: 635000 | #Constraints: 27613 2397.84/2405.37 c #Conflicts: 636000 | #Constraints: 28613 2397.84/2405.37 c #Conflicts: 637000 | #Constraints: 29613 2397.84/2405.37 c #Conflicts: 638000 | #Constraints: 30613 2397.84/2405.37 c #Conflicts: 639000 | #Constraints: 31613 2397.84/2405.37 c INPROCESSING 2397.84/2405.37 c GARBAGE COLLECT 2397.84/2405.37 c rational objective 1.32012 2474.38/2482.04 c #Conflicts: 640000 | #Constraints: 16815 2474.38/2482.04 c #Conflicts: 641000 | #Constraints: 17815 2474.38/2482.04 c #Conflicts: 642000 | #Constraints: 18815 2474.38/2482.04 c #Conflicts: 643000 | #Constraints: 19815 2474.38/2482.04 c #Conflicts: 644000 | #Constraints: 20815 2474.38/2482.04 c #Conflicts: 645000 | #Constraints: 21815 2474.38/2482.04 c #Conflicts: 646000 | #Constraints: 22815 2474.38/2482.04 c #Conflicts: 647000 | #Constraints: 23815 2474.38/2482.04 c #Conflicts: 648000 | #Constraints: 24815 2474.38/2482.04 c #Conflicts: 649000 | #Constraints: 25815 2474.38/2482.04 c #Conflicts: 650000 | #Constraints: 26815 2474.38/2482.04 c #Conflicts: 651000 | #Constraints: 27815 2474.38/2482.04 c #Conflicts: 652000 | #Constraints: 28815 2474.38/2482.04 c #Conflicts: 653000 | #Constraints: 29815 2474.38/2482.04 c #Conflicts: 654000 | #Constraints: 30815 2474.38/2482.04 c #Conflicts: 655000 | #Constraints: 31815 2474.38/2482.04 c INPROCESSING 2474.38/2482.04 c GARBAGE COLLECT 2474.38/2482.04 c rational objective 1.32012 2565.96/2573.84 c #Conflicts: 656000 | #Constraints: 16818 2565.96/2573.84 c #Conflicts: 657000 | #Constraints: 17818 2565.96/2573.84 c #Conflicts: 658000 | #Constraints: 18818 2565.96/2573.84 c #Conflicts: 659000 | #Constraints: 19818 2565.96/2573.84 c #Conflicts: 660000 | #Constraints: 20818 2565.96/2573.84 c #Conflicts: 661000 | #Constraints: 21818 2565.96/2573.84 c #Conflicts: 662000 | #Constraints: 22818 2565.96/2573.84 c #Conflicts: 663000 | #Constraints: 23818 2565.96/2573.84 c #Conflicts: 664000 | #Constraints: 24818 2565.96/2573.84 c #Conflicts: 665000 | #Constraints: 25818 2565.96/2573.84 c #Conflicts: 666000 | #Constraints: 26818 2565.96/2573.84 c #Conflicts: 667000 | #Constraints: 27818 2565.96/2573.84 c #Conflicts: 668000 | #Constraints: 28818 2565.96/2573.84 c #Conflicts: 669000 | #Constraints: 29818 2565.96/2573.84 c #Conflicts: 670000 | #Constraints: 30818 2565.96/2573.84 c #Conflicts: 671000 | #Constraints: 31818 2565.96/2573.84 c INPROCESSING 2565.96/2573.84 c GARBAGE COLLECT 2565.96/2573.84 c rational objective 1.32012 2651.67/2659.76 c #Conflicts: 672000 | #Constraints: 16618 2651.67/2659.76 c #Conflicts: 673000 | #Constraints: 17618 2651.67/2659.76 c #Conflicts: 674000 | #Constraints: 18618 2651.67/2659.76 c #Conflicts: 675000 | #Constraints: 19618 2651.67/2659.76 c #Conflicts: 676000 | #Constraints: 20618 2651.67/2659.76 c #Conflicts: 677000 | #Constraints: 21618 2651.67/2659.76 c #Conflicts: 678000 | #Constraints: 22618 2651.67/2659.76 c #Conflicts: 679000 | #Constraints: 23618 2651.67/2659.76 c #Conflicts: 680000 | #Constraints: 24618 2651.67/2659.76 c #Conflicts: 681000 | #Constraints: 25618 2651.67/2659.76 c #Conflicts: 682000 | #Constraints: 26618 2651.67/2659.76 c #Conflicts: 683000 | #Constraints: 27618 2651.67/2659.76 c #Conflicts: 684000 | #Constraints: 28618 2651.67/2659.76 c #Conflicts: 685000 | #Constraints: 29618 2651.67/2659.76 c #Conflicts: 686000 | #Constraints: 30618 2651.67/2659.76 c #Conflicts: 687000 | #Constraints: 31618 2651.67/2659.76 c #Conflicts: 688000 | #Constraints: 32618 2651.67/2659.76 c INPROCESSING 2651.67/2659.76 c GARBAGE COLLECT 2651.67/2659.76 c rational objective 1.32012 2734.39/2742.68 c #Conflicts: 689000 | #Constraints: 17221 2734.39/2742.68 c #Conflicts: 690000 | #Constraints: 18221 2734.39/2742.68 c #Conflicts: 691000 | #Constraints: 19221 2734.39/2742.68 c #Conflicts: 692000 | #Constraints: 20221 2734.39/2742.68 c #Conflicts: 693000 | #Constraints: 21221 2734.39/2742.68 c #Conflicts: 694000 | #Constraints: 22221 2734.39/2742.68 c #Conflicts: 695000 | #Constraints: 23221 2734.39/2742.68 c #Conflicts: 696000 | #Constraints: 24221 2734.39/2742.68 c #Conflicts: 697000 | #Constraints: 25221 2734.39/2742.68 c #Conflicts: 698000 | #Constraints: 26221 2734.39/2742.68 c #Conflicts: 699000 | #Constraints: 27221 2734.39/2742.68 c #Conflicts: 700000 | #Constraints: 28221 2734.39/2742.68 c #Conflicts: 701000 | #Constraints: 29221 2734.39/2742.68 c #Conflicts: 702000 | #Constraints: 30221 2734.39/2742.68 c #Conflicts: 703000 | #Constraints: 31221 2734.39/2742.68 c #Conflicts: 704000 | #Constraints: 32221 2734.39/2742.68 c #Conflicts: 705000 | #Constraints: 33221 2734.39/2742.68 c INPROCESSING 2734.39/2742.68 c GARBAGE COLLECT 2734.39/2742.68 c rational objective 1.32012 2842.64/2851.19 c #Conflicts: 706000 | #Constraints: 17613 2842.64/2851.19 c #Conflicts: 707000 | #Constraints: 18613 2842.64/2851.19 c #Conflicts: 708000 | #Constraints: 19613 2842.64/2851.19 c #Conflicts: 709000 | #Constraints: 20613 2842.64/2851.19 c #Conflicts: 710000 | #Constraints: 21613 2842.64/2851.19 c #Conflicts: 711000 | #Constraints: 22613 2842.64/2851.19 c #Conflicts: 712000 | #Constraints: 23613 2842.64/2851.19 c #Conflicts: 713000 | #Constraints: 24613 2842.64/2851.19 c #Conflicts: 714000 | #Constraints: 25613 2842.64/2851.19 c #Conflicts: 715000 | #Constraints: 26613 2842.64/2851.19 c #Conflicts: 716000 | #Constraints: 27613 2842.64/2851.19 c #Conflicts: 717000 | #Constraints: 28613 2842.64/2851.19 c #Conflicts: 718000 | #Constraints: 29613 2842.64/2851.19 c #Conflicts: 719000 | #Constraints: 30613 2842.64/2851.19 c #Conflicts: 720000 | #Constraints: 31613 2842.64/2851.19 c #Conflicts: 721000 | #Constraints: 32613 2842.64/2851.19 c #Conflicts: 722000 | #Constraints: 33613 2842.64/2851.19 c INPROCESSING 2842.64/2851.19 c GARBAGE COLLECT 2842.64/2851.19 c rational objective 1.32012 2950.07/2958.89 c #Conflicts: 723000 | #Constraints: 17814 2950.07/2958.89 c #Conflicts: 724000 | #Constraints: 18814 2950.07/2958.89 c #Conflicts: 725000 | #Constraints: 19814 2950.07/2958.89 c #Conflicts: 726000 | #Constraints: 20814 2950.07/2958.89 c #Conflicts: 727000 | #Constraints: 21814 2950.07/2958.89 c #Conflicts: 728000 | #Constraints: 22814 2950.07/2958.89 c #Conflicts: 729000 | #Constraints: 23814 2950.07/2958.89 c #Conflicts: 730000 | #Constraints: 24814 2950.07/2958.89 c #Conflicts: 731000 | #Constraints: 25815 2950.07/2958.89 c #Conflicts: 732000 | #Constraints: 26815 2950.07/2958.89 c #Conflicts: 733000 | #Constraints: 27815 2950.07/2958.89 c #Conflicts: 734000 | #Constraints: 28815 2950.07/2958.89 c #Conflicts: 735000 | #Constraints: 29815 2950.07/2958.89 c #Conflicts: 736000 | #Constraints: 30815 2950.07/2958.89 c #Conflicts: 737000 | #Constraints: 31815 2950.07/2958.89 c #Conflicts: 738000 | #Constraints: 32815 2950.07/2958.89 c #Conflicts: 739000 | #Constraints: 33815 2950.07/2958.89 c INPROCESSING 2950.07/2958.89 c GARBAGE COLLECT 2950.07/2958.89 c rational objective 1.32012 3048.31/3057.35 c #Conflicts: 740000 | #Constraints: 17821 3048.31/3057.35 c #Conflicts: 741000 | #Constraints: 18821 3048.31/3057.35 c #Conflicts: 742000 | #Constraints: 19821 3048.31/3057.35 c #Conflicts: 743000 | #Constraints: 20821 3048.31/3057.35 c #Conflicts: 744000 | #Constraints: 21821 3048.31/3057.35 c #Conflicts: 745000 | #Constraints: 22821 3048.31/3057.35 c #Conflicts: 746000 | #Constraints: 23821 3048.31/3057.35 c #Conflicts: 747000 | #Constraints: 24821 3048.31/3057.35 c #Conflicts: 748000 | #Constraints: 25821 3048.31/3057.35 c #Conflicts: 749000 | #Constraints: 26821 3048.31/3057.35 c #Conflicts: 750000 | #Constraints: 27821 3048.31/3057.35 c #Conflicts: 751000 | #Constraints: 28821 3048.31/3057.35 c #Conflicts: 752000 | #Constraints: 29821 3048.31/3057.35 c #Conflicts: 753000 | #Constraints: 30821 3048.31/3057.35 c #Conflicts: 754000 | #Constraints: 31821 3048.31/3057.35 c #Conflicts: 755000 | #Constraints: 32821 3048.31/3057.35 c #Conflicts: 756000 | #Constraints: 33821 3048.31/3057.35 c INPROCESSING 3048.31/3057.35 c GARBAGE COLLECT 3048.31/3057.35 c rational objective 1.32012 3143.88/3153.15 c #Conflicts: 757000 | #Constraints: 17616 3143.88/3153.15 c #Conflicts: 758000 | #Constraints: 18616 3143.88/3153.15 c #Conflicts: 759000 | #Constraints: 19616 3143.88/3153.15 c #Conflicts: 760000 | #Constraints: 20616 3143.88/3153.15 c #Conflicts: 761000 | #Constraints: 21616 3143.88/3153.15 c #Conflicts: 762000 | #Constraints: 22616 3143.88/3153.15 c #Conflicts: 763000 | #Constraints: 23616 3143.88/3153.15 c #Conflicts: 764000 | #Constraints: 24616 3143.88/3153.15 c #Conflicts: 765000 | #Constraints: 25616 3143.88/3153.15 c #Conflicts: 766000 | #Constraints: 26616 3143.88/3153.15 c #Conflicts: 767000 | #Constraints: 27616 3143.88/3153.15 c #Conflicts: 768000 | #Constraints: 28616 3143.88/3153.15 c #Conflicts: 769000 | #Constraints: 29616 3143.88/3153.15 c #Conflicts: 770000 | #Constraints: 30616 3143.88/3153.15 c #Conflicts: 771000 | #Constraints: 31616 3143.88/3153.15 c #Conflicts: 772000 | #Constraints: 32616 3143.88/3153.15 c #Conflicts: 773000 | #Constraints: 33616 3143.88/3153.15 c #Conflicts: 774000 | #Constraints: 34616 3143.88/3153.15 c INPROCESSING 3143.88/3153.15 c GARBAGE COLLECT 3143.88/3153.15 c rational objective 1.32012 3275.68/3285.37 c #Conflicts: 775000 | #Constraints: 18215 3275.68/3285.37 c #Conflicts: 776000 | #Constraints: 19215 3275.68/3285.37 c #Conflicts: 777000 | #Constraints: 20215 3275.68/3285.37 c #Conflicts: 778000 | #Constraints: 21215 3275.68/3285.37 c #Conflicts: 779000 | #Constraints: 22215 3275.68/3285.37 c #Conflicts: 780000 | #Constraints: 23215 3275.68/3285.37 c #Conflicts: 781000 | #Constraints: 24215 3275.68/3285.37 c #Conflicts: 782000 | #Constraints: 25215 3275.68/3285.37 c #Conflicts: 783000 | #Constraints: 26215 3275.68/3285.37 c #Conflicts: 784000 | #Constraints: 27215 3275.68/3285.37 c #Conflicts: 785000 | #Constraints: 28215 3275.68/3285.37 c #Conflicts: 786000 | #Constraints: 29215 3275.68/3285.37 c #Conflicts: 787000 | #Constraints: 30215 3275.68/3285.37 c #Conflicts: 788000 | #Constraints: 31215 3275.68/3285.37 c #Conflicts: 789000 | #Constraints: 32215 3275.68/3285.37 c #Conflicts: 790000 | #Constraints: 33215 3275.68/3285.37 c #Conflicts: 791000 | #Constraints: 34215 3275.68/3285.37 c #Conflicts: 792000 | #Constraints: 35215 3275.68/3285.37 c INPROCESSING 3275.68/3285.37 c GARBAGE COLLECT 3275.68/3285.37 c rational objective 1.32012 3428.38/3438.54 c #Conflicts: 793000 | #Constraints: 18618 3428.38/3438.54 c #Conflicts: 794000 | #Constraints: 19618 3428.38/3438.54 c #Conflicts: 795000 | #Constraints: 20618 3428.38/3438.54 c #Conflicts: 796000 | #Constraints: 21618 3428.38/3438.54 c #Conflicts: 797000 | #Constraints: 22618 3428.38/3438.54 c #Conflicts: 798000 | #Constraints: 23618 3428.38/3438.54 c #Conflicts: 799000 | #Constraints: 24618 3428.38/3438.54 c #Conflicts: 800000 | #Constraints: 25618 3428.38/3438.54 c #Conflicts: 801000 | #Constraints: 26618 3428.38/3438.54 c #Conflicts: 802000 | #Constraints: 27618 3428.38/3438.54 c #Conflicts: 803000 | #Constraints: 28618 3428.38/3438.54 c #Conflicts: 804000 | #Constraints: 29618 3428.38/3438.54 c #Conflicts: 805000 | #Constraints: 30618 3428.38/3438.54 c #Conflicts: 806000 | #Constraints: 31618 3428.38/3438.54 c #Conflicts: 807000 | #Constraints: 32618 3428.38/3438.54 c #Conflicts: 808000 | #Constraints: 33618 3428.38/3438.54 c #Conflicts: 809000 | #Constraints: 34619 3428.38/3438.54 c #Conflicts: 810000 | #Constraints: 35619 3428.38/3438.54 c INPROCESSING 3428.38/3438.54 c GARBAGE COLLECT 3428.38/3438.54 c rational objective 1.32012 3576.41/3587.09 c #Conflicts: 811000 | #Constraints: 18816 3576.41/3587.09 c #Conflicts: 812000 | #Constraints: 19816 3576.41/3587.09 c #Conflicts: 813000 | #Constraints: 20816 3576.41/3587.09 c #Conflicts: 814000 | #Constraints: 21816 3576.41/3587.09 c #Conflicts: 815000 | #Constraints: 22816 3576.41/3587.09 c #Conflicts: 816000 | #Constraints: 23816 3576.41/3587.09 c #Conflicts: 817000 | #Constraints: 24816 3576.41/3587.09 c #Conflicts: 818000 | #Constraints: 25816 3576.41/3587.09 c #Conflicts: 819000 | #Constraints: 26816 3576.41/3587.09 c #Conflicts: 820000 | #Constraints: 27816 3576.41/3587.09 c #Conflicts: 821000 | #Constraints: 28816 3576.41/3587.09 c #Conflicts: 822000 | #Constraints: 29816 3576.41/3587.09 c #Conflicts: 823000 | #Constraints: 30816 3576.41/3587.09 c #Conflicts: 824000 | #Constraints: 31816 3576.41/3587.09 c #Conflicts: 825000 | #Constraints: 32816 3576.41/3587.09 c #Conflicts: 826000 | #Constraints: 33816 3576.41/3587.09 c #Conflicts: 827000 | #Constraints: 34816 3576.41/3587.09 c #Conflicts: 828000 | #Constraints: 35816 3576.41/3587.09 c INPROCESSING 3576.41/3587.09 c GARBAGE COLLECT 3576.41/3587.09 c rational objective 1.34391 3600.03/3610.70 c #Conflicts: 829000 | #Constraints: 18815 3600.03/3610.70 c #Conflicts: 830000 | #Constraints: 19815 3600.03/3610.70 c #Conflicts: 831000 | #Constraints: 20815 3600.03/3610.70 c Program interrupted by user. 3600.03/3610.74 c cpu time 3575.22 s 3600.03/3610.74 c deterministic time 596934809286 5.97e+11 3600.03/3610.74 c optimization time 23.3116 s 3600.03/3610.74 c total solve time 3551.91 s 3600.03/3610.74 c core-guided solve time 0 s 3600.03/3610.74 c propagation time 3158.55 s 3600.03/3610.74 c conflict analysis time 392.594 s 3600.03/3610.74 c propagations 10858230 3600.03/3610.74 c resolve steps 2320108 3600.03/3610.74 c decisions 8016757 3600.03/3610.74 c conflicts 831861 3600.03/3610.74 c restarts 1787 3600.03/3610.74 c inprocessing phases 82 3600.03/3610.74 c input clauses 0 3600.03/3610.74 c input cardinalities 0 3600.03/3610.74 c input general constraints 2 3600.03/3610.74 c input average constraint length 82.00 3600.03/3610.74 c input average constraint degree 486858570.50 3600.03/3610.74 c learned clauses 521305 3600.03/3610.74 c learned cardinalities 3 3600.03/3610.74 c learned general constraints 310570 3600.03/3610.74 c learned average constraint length 51.99 3600.03/3610.74 c learned average constraint degree 42643072.30 3600.03/3610.74 c watched constraints 196144 3600.03/3610.74 c counting constraints 114428 3600.03/3610.74 c gcd simplifications 400228 3600.03/3610.74 c detected cardinalities 3 3600.03/3610.74 c weakened non-implied lits 2104880 3600.03/3610.74 c weakened non-implying lits 7076229 3600.03/3610.74 c original variables 82 3600.03/3610.74 c clausal propagations 860349 3600.03/3610.74 c cardinality propagations 3 3600.03/3610.74 c watched propagations 4606891 3600.03/3610.74 c counting propagations 4800843 3600.03/3610.74 c watch lookups 91379960470 3600.03/3610.74 c watch backjump lookups 90944131058 3600.03/3610.74 c watch checks 22628255535 3600.03/3610.74 c propagation checks 391725166919 3600.03/3610.74 c constraint additions 218113333 3600.03/3610.74 c trail pops 19706776 3600.03/3610.74 c formula constraints 2 3600.03/3610.74 c learned constraints 831842 3600.03/3610.74 c bound constraints 0 3600.03/3610.74 c core-guided constraints 0 3600.03/3610.74 c encountered formula constraints 1708723 3600.03/3610.74 c encountered learned constraints 1443147 3600.03/3610.74 c encountered bound constraints 0 3600.03/3610.74 c encountered core-guided constraints 0 3600.03/3610.74 c LP total time 38.6324 s 3600.03/3610.74 c LP solve time 30.62 s 3600.03/3610.74 c LP constraints added 12 3600.03/3610.74 c LP constraints removed 7 3600.03/3610.74 c LP pivots internal 599833 3600.03/3610.74 c LP pivots root 374 3600.03/3610.74 c LP calls 775628 3600.03/3610.74 c LP optimalities 775610 3600.03/3610.74 c LP no pivot count 422461 3600.03/3610.74 c LP infeasibilities 18 3600.03/3610.74 c LP valid Farkas constraints 18 3600.03/3610.74 c LP learned Farkas constraints 18 3600.03/3610.74 c LP basis resets 0 3600.03/3610.74 c LP cycling count 0 3600.03/3610.74 c LP singular count 0 3600.03/3610.74 c LP no primal count 0 3600.03/3610.74 c LP no farkas count 0 3600.03/3610.74 c LP other issue count 0 3600.03/3610.74 c LP Gomory cuts 0 3600.03/3610.74 c LP learned cuts 10 3600.03/3610.74 c LP deleted cuts 7 3600.03/3610.74 c LP encountered Gomory constraints 0 3600.03/3610.74 c LP encountered Farkas constraints 56 3600.03/3610.74 c LP encountered learned Farkas constraints 25 3600.03/3610.74 c CG auxiliary variables introduced 0 3600.03/3610.74 c CG solutions found 0 3600.03/3610.74 c CG cores constructed 0 3600.03/3610.74 c CG core cardinality constraints returned 0 3600.03/3610.74 c CG unit cores 0 3600.03/3610.74 c CG single cores 0 3600.03/3610.74 c CG blocks removed during cardinality reduction 0 3600.03/3610.74 c CG first core best 0 3600.03/3610.74 c CG decision core best 0 3600.03/3610.74 c CG core reduction tie 0 3600.03/3610.74 c CG core degree average 0.00 3600.03/3610.74 c CG core slack average 0.00 3600.03/3610.74 s UNKNOWN
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: 64096 MiB (58798 MiB free)
memory of node 1: 64473 MiB (60117 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460526-1722066288/watcher-4460526-1722066288 -o /tmp/evaluation-result-4460526-1722066288/solver-4460526-1722066288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302423 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460526-1722066288 --lp-cut-gomory=0 HOME/instance-4460526-1722066288.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_64SLinux 4.18.0-301.1.el8.x86_64Starting watchdog threadl
Current StackSize limit: 8192 KiB
solver pid=303924, runsolver pid=303921
[startup+0.100101 s]*
/proc/loadavg: 4.16 4.19 3.43 5/245 303925
/proc/meminfo: memFree=121767328/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=37772 memory=7760 CPUtime=0.1 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 418 0 0 0 8 2 0 0 20 0 1 0 42618026 38678528 1940 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 9443 1940 1762 992 0 1301 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37772 KiB
Current children cumulated memory: 7760 KiB
[startup+0.213368 s]*
/proc/loadavg: 4.16 4.19 3.43 6/245 303925
/proc/meminfo: memFree=121765816/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=38032 memory=8348 CPUtime=0.21 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 518 0 0 0 17 4 0 0 20 0 1 0 42618026 38944768 2087 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 9508 2087 1762 992 0 1366 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38032 KiB
Current children cumulated memory: 8348 KiB
[startup+0.313322 s]*
/proc/loadavg: 4.16 4.19 3.43 5/245 303925
/proc/meminfo: memFree=121764668/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=38032 memory=8348 CPUtime=0.32 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 541 0 0 0 26 6 0 0 20 0 1 0 42618026 38944768 2087 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 9508 2087 1762 992 0 1366 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 38032 KiB
Current children cumulated memory: 8348 KiB
[startup+0.700364 s]
/proc/loadavg: 4.16 4.19 3.43 5/245 303925
/proc/meminfo: memFree=121762720/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=38360 memory=9352 CPUtime=0.68 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 701 0 0 0 59 9 0 0 20 0 1 0 42618026 39280640 2338 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 9590 2338 1826 992 0 1448 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38360 KiB
Current children cumulated memory: 9352 KiB
[startup+1.50036 s]
/proc/loadavg: 4.16 4.19 3.43 5/245 303925
/proc/meminfo: memFree=121759996/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=38964 memory=10404 CPUtime=1.49 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 953 0 0 0 133 16 0 0 20 0 1 0 42618026 39899136 2601 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 9741 2601 1826 992 0 1599 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38964 KiB
Current children cumulated memory: 10404 KiB
[startup+3.11299 s]
/proc/loadavg: 4.16 4.19 3.43 5/245 303925
/proc/meminfo: memFree=121749544/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=39596 memory=13224 CPUtime=3.09 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 1148 0 0 0 283 26 0 0 20 0 1 0 42618026 40546304 3306 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 9899 3306 1826 992 0 1757 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39596 KiB
Current children cumulated memory: 13224 KiB
[startup+6.30031 s]
/proc/loadavg: 4.15 4.19 3.43 5/245 303926
/proc/meminfo: memFree=121739544/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=40044 memory=13736 CPUtime=6.27 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 1277 0 0 0 584 43 0 0 20 0 1 0 42618026 41005056 3434 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 10011 3434 1826 992 0 1869 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40044 KiB
Current children cumulated memory: 13736 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.18 3.43 5/245 303926
/proc/meminfo: memFree=121722536/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=40940 memory=14488 CPUtime=12.65 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 1470 0 0 0 1199 66 0 0 20 0 1 0 42618026 41922560 3622 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 10235 3622 1826 992 0 2093 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40940 KiB
Current children cumulated memory: 14488 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.17 3.44 5/245 303929
/proc/meminfo: memFree=121688320/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=41936 memory=15376 CPUtime=25.42 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 1698 0 0 0 2434 108 0 0 20 0 1 0 42618026 42942464 3844 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 10484 3844 1826 992 0 2342 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 41936 KiB
Current children cumulated memory: 15376 KiB
[startup+51.113 s]
/proc/loadavg: 4.20 4.19 3.47 5/244 303933
/proc/meminfo: memFree=121628836/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=42256 memory=16236 CPUtime=50.96 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 2274 0 0 0 4935 161 0 0 20 0 1 0 42618026 43270144 4059 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 10564 4059 1858 992 0 2422 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 42256 KiB
Current children cumulated memory: 16236 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.16 3.50 5/244 303942
/proc/meminfo: memFree=121519208/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=48336 memory=22152 CPUtime=102.01 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 3136 0 0 0 9953 248 0 0 20 0 1 0 42618026 49496064 5538 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 12084 5538 1858 992 0 3942 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 48336 KiB
Current children cumulated memory: 22152 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.16 3.55 5/244 303952
/proc/meminfo: memFree=121352724/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=48528 memory=22364 CPUtime=161.85 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 3243 0 0 0 15859 326 0 0 20 0 1 0 42618026 49692672 5591 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 12132 5591 1858 992 0 3990 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 48528 KiB
Current children cumulated memory: 22364 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.16 3.59 5/244 303962
/proc/meminfo: memFree=121163968/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=48528 memory=22724 CPUtime=221.7 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 3404 0 0 0 21768 402 0 0 20 0 1 0 42618026 49692672 5681 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 12132 5681 1858 992 0 3990 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 48528 KiB
Current children cumulated memory: 22724 KiB
[startup+282.3 s]
/proc/loadavg: 4.61 4.27 3.66 5/244 303973
/proc/meminfo: memFree=121036692/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=53460 memory=23516 CPUtime=281.53 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 3569 0 0 0 27676 477 0 0 20 0 1 0 42618026 54743040 5879 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 13365 5879 1858 992 0 5223 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 53460 KiB
Current children cumulated memory: 23516 KiB
[startup+342.3 s]
/proc/loadavg: 4.57 4.34 3.73 5/247 303989
/proc/meminfo: memFree=120919536/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=57620 memory=28412 CPUtime=341.35 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 4351 0 0 0 33597 538 0 0 20 0 1 0 42618026 59002880 7103 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 14405 7103 1858 992 0 6263 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 57620 KiB
Current children cumulated memory: 28412 KiB
[startup+402.3 s]
/proc/loadavg: 4.27 4.29 3.75 5/247 304000
/proc/meminfo: memFree=120797888/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=59028 memory=29624 CPUtime=401.17 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 4703 0 0 0 39525 592 0 0 20 0 1 0 42618026 60444672 7406 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 14757 7406 1858 992 0 6615 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 59028 KiB
Current children cumulated memory: 29624 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.25 3.77 5/247 304011
/proc/meminfo: memFree=120660020/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=59540 memory=30680 CPUtime=460.97 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 4925 0 0 0 45449 648 0 0 20 0 1 0 42618026 60968960 7670 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 14885 7670 1858 992 0 6743 0
Current children cumulated CPU time: 460.97 s
################
# More data... #
################
Current children cumulated memory: 48644 KiB
[startup+2922.3 s]
/proc/loadavg: 4.21 4.42 4.26 8/249 305767
/proc/meminfo: memFree=68739820/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=78652 memory=48644 CPUtime=2913.66 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 8699 0 0 0 289243 2123 0 0 20 0 1 0 42618026 80539648 12161 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 19663 12161 1858 992 0 11521 0
Current children cumulated CPU time: 2913.66 s
Current children cumulated vsize: 78652 KiB
Current children cumulated memory: 48644 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.36 4.25 5/249 305777
/proc/meminfo: memFree=63381760/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=90840 memory=50352 CPUtime=2973.51 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 9119 0 0 0 295202 2149 0 0 20 0 1 0 42618026 93020160 12588 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 22710 12588 1858 992 0 14568 0
Current children cumulated CPU time: 2973.51 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 50352 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.34 4.25 5/244 305789
/proc/meminfo: memFree=59606544/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=90840 memory=50352 CPUtime=3033.37 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 9127 0 0 0 301152 2185 0 0 20 0 1 0 42618026 93020160 12588 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 22710 12588 1858 992 0 14568 0
Current children cumulated CPU time: 3033.37 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 50352 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.30 4.24 5/245 305847
/proc/meminfo: memFree=57163456/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=90840 memory=50352 CPUtime=3093.21 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 9136 0 0 0 307098 2223 0 0 20 0 1 0 42618026 93020160 12588 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 22710 12588 1858 992 0 14568 0
Current children cumulated CPU time: 3093.21 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 50352 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.26 4.23 5/252 305864
/proc/meminfo: memFree=54516176/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=90840 memory=50352 CPUtime=3153.04 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 9145 0 0 0 313043 2261 0 0 20 0 1 0 42618026 93020160 12588 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 22710 12588 1858 992 0 14568 0
Current children cumulated CPU time: 3153.04 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 50352 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.23 4.22 5/252 305875
/proc/meminfo: memFree=51415316/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=90840 memory=50352 CPUtime=3212.87 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 9153 0 0 0 318987 2300 0 0 20 0 1 0 42618026 93020160 12588 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 22710 12588 1858 992 0 14568 0
Current children cumulated CPU time: 3212.87 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 50352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.24 4.22 5/262 305910
/proc/meminfo: memFree=72459520/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=90840 memory=50452 CPUtime=3272.68 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 9163 0 0 0 324944 2324 0 0 20 0 1 0 42618026 93020160 12613 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 22710 12613 1858 992 0 14568 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 50452 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.24 4.22 5/265 305925
/proc/meminfo: memFree=70125752/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=91352 memory=50688 CPUtime=3332.49 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 9240 0 0 0 330893 2356 0 0 20 0 1 0 42618026 93544448 12672 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 22838 12672 1858 992 0 14696 0
Current children cumulated CPU time: 3332.49 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 50688 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.21 4.21 5/264 305936
/proc/meminfo: memFree=62567648/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=91352 memory=50688 CPUtime=3392.29 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 9248 0 0 0 336849 2380 0 0 20 0 1 0 42618026 93544448 12672 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 22838 12672 1858 992 0 14696 0
Current children cumulated CPU time: 3392.29 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 50688 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.25 4.22 5/266 306005
/proc/meminfo: memFree=120394968/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=91352 memory=50688 CPUtime=3452.1 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 9257 0 0 0 342803 2407 0 0 20 0 1 0 42618026 93544448 12672 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 22838 12672 1858 992 0 14696 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 50688 KiB
[startup+3522.3 s]
/proc/loadavg: 4.46 4.29 4.24 5/266 306015
/proc/meminfo: memFree=120063328/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=91352 memory=50688 CPUtime=3511.9 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 9265 0 0 0 348753 2437 0 0 20 0 1 0 42618026 93544448 12672 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 22838 12672 1858 992 0 14696 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 50688 KiB
[startup+3582.3 s]
/proc/loadavg: 4.79 4.44 4.29 5/260 306025
/proc/meminfo: memFree=119605380/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=91352 memory=50688 CPUtime=3571.71 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 9273 0 0 0 354708 2463 0 0 20 0 1 0 42618026 93544448 12672 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 22838 12672 1858 992 0 14696 0
Current children cumulated CPU time: 3571.71 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 50688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.52 4.40 4.28 5/257 306030
/proc/meminfo: memFree=119508812/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=91352 memory=50688 CPUtime=3600.03 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 9274 0 0 0 357522 2481 0 0 20 0 1 0 42618026 93544448 12672 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 22838 12672 1858 992 0 14696 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 50688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.75 s]
# the end of solver process 303924 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.22 s, system=24.8135 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.52 4.40 4.28 5/257 306030
/proc/meminfo: memFree=119508812/131655788 swapFree=131056320/131071996
[pid=303924] ppid=303921 vsize=91352 memory=50688 CPUtime=3600.03 cores=5,7
/proc/303924/stat : 303924 (roundingsat) R 303921 303924 302410 0 -1 4194304 9274 0 0 0 357522 2481 0 0 20 0 1 0 42618026 93544448 12672 134679101440 4194304 8254357 140727279006928 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36917248 140727279010651 140727279010913 140727279010913 140727279017929 0
/proc/303924/statm: 22838 12672 1858 992 0 14696 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 50688 KiB
Child status: 0
Real time (s): 3610.75
CPU time (s): 3600.03
CPU user time (s): 3575.22
CPU system time (s): 24.8135
CPU usage (%): 99.7033
Max. virtual memory (cumulated for all children) (KiB): 91352
Max. memory (cumulated for all children) (KiB): 50688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.22
system time used= 24.8135
maximum resident set size= 51008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9291
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1469880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 176
involuntary context switches= 4893
# summary of solver processes directly reported to runsolver:
# pid: 303924
# total CPU time (s): 3600.03
# total CPU user time (s): 3575.22
# total CPU system time (s): 24.8135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1579 second user time and 37.1662 second system time
The end
Begin job on nodeC006 at 2024-07-27 09:44:48 IDJOB=4460526 IDBENCH=148102 IDSOLVER=3086 FILE ID=nodeC006/4460526-1722066288 RUNJOBID= nodeC006-1722064837-302423 SLURM_JOB_ID= 8248108 Free space on /tmp= 723760 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww4.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-4460526-1722066288/watcher-4460526-1722066288 -o /tmp/evaluation-result-4460526-1722066288/solver-4460526-1722066288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302423 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460526-1722066288 --lp-cut-gomory=0 HOME/instance-4460526-1722066288.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 13439fe0222d33319b9169d149c100b9 RANDOM SEED=680975035 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.345 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3560.224 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.266 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.104 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3517.460 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.561 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.108 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.101 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 121769768 kB MemAvailable: 128907884 kB Buffers: 377696 kB Cached: 7380744 kB SwapCached: 244 kB Active: 2106372 kB Inactive: 6857108 kB Active(anon): 1736 kB Inactive(anon): 1256852 kB Active(file): 2104636 kB Inactive(file): 5600256 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056320 kB Dirty: 13848 kB Writeback: 12 kB AnonPages: 1201620 kB Mapped: 103848 kB Shmem: 53436 kB KReclaimable: 495132 kB Slab: 607440 kB SReclaimable: 495132 kB SUnreclaim: 112308 kB KernelStack: 3952 kB PageTables: 11900 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1676136 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16576 kB HardwareCorrupted: 0 kB AnonHugePages: 976896 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: 420680 kB DirectMap2M: 57155584 kB DirectMap1G: 78643200 kB Free space on /tmp at the end= 723756 MiB End job on nodeC006 at 2024-07-27 10:44:59