| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.02 | 3611.71 |
| 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.20/0.22 c #Conflicts: 1000 | #Constraints: 1001 0.20/0.22 c #Conflicts: 2000 | #Constraints: 2001 0.20/0.22 c INPROCESSING 0.20/0.22 c GARBAGE COLLECT 0.20/0.22 c rational objective 1.12346 0.49/0.56 c #Conflicts: 3000 | #Constraints: 2006 0.49/0.56 c #Conflicts: 4000 | #Constraints: 3006 0.49/0.56 c INPROCESSING 0.49/0.56 c GARBAGE COLLECT 0.49/0.56 c rational objective 1.12346 1.09/1.16 c #Conflicts: 5000 | #Constraints: 2407 1.09/1.16 c #Conflicts: 6000 | #Constraints: 3407 1.09/1.16 c INPROCESSING 1.09/1.16 c GARBAGE COLLECT 1.09/1.16 c rational objective 1.19085 1.89/1.93 c #Conflicts: 7000 | #Constraints: 2412 1.89/1.93 c #Conflicts: 8000 | #Constraints: 3412 1.89/1.93 c #Conflicts: 9000 | #Constraints: 4412 1.89/1.93 c INPROCESSING 1.89/1.93 c GARBAGE COLLECT 1.89/1.93 c rational objective 1.19091 2.99/3.05 c #Conflicts: 10000 | #Constraints: 3111 2.99/3.05 c #Conflicts: 11000 | #Constraints: 4111 2.99/3.05 c #Conflicts: 12000 | #Constraints: 5111 2.99/3.05 c INPROCESSING 2.99/3.05 c GARBAGE COLLECT 2.99/3.05 c rational objective 1.19869 4.17/4.21 c #Conflicts: 13000 | #Constraints: 3563 4.17/4.21 c #Conflicts: 14000 | #Constraints: 4563 4.17/4.21 c #Conflicts: 15000 | #Constraints: 5563 4.17/4.21 c INPROCESSING 4.17/4.21 c GARBAGE COLLECT 4.17/4.21 c rational objective 1.21725 5.76/5.85 c #Conflicts: 16000 | #Constraints: 3786 5.76/5.85 c #Conflicts: 17000 | #Constraints: 4786 5.76/5.85 c #Conflicts: 18000 | #Constraints: 5786 5.76/5.85 c INPROCESSING 5.76/5.85 c GARBAGE COLLECT 5.76/5.85 c rational objective 1.22221 7.76/7.86 c #Conflicts: 19000 | #Constraints: 3798 7.76/7.86 c #Conflicts: 20000 | #Constraints: 4798 7.76/7.86 c #Conflicts: 21000 | #Constraints: 5798 7.76/7.86 c INPROCESSING 7.76/7.86 c GARBAGE COLLECT 7.76/7.86 c rational objective 1.22221 9.85/9.92 c #Conflicts: 22000 | #Constraints: 3604 9.85/9.92 c #Conflicts: 23000 | #Constraints: 4604 9.85/9.92 c #Conflicts: 24000 | #Constraints: 5604 9.85/9.92 c #Conflicts: 25000 | #Constraints: 6604 9.85/9.92 c INPROCESSING 9.85/9.92 c GARBAGE COLLECT 9.85/9.92 c rational objective 1.22221 12.24/12.32 c #Conflicts: 26000 | #Constraints: 4206 12.24/12.32 c #Conflicts: 27000 | #Constraints: 5206 12.24/12.32 c #Conflicts: 28000 | #Constraints: 6206 12.24/12.32 c #Conflicts: 29000 | #Constraints: 7206 12.24/12.32 c INPROCESSING 12.24/12.32 c GARBAGE COLLECT 12.24/12.32 c rational objective 1.22221 15.43/15.51 c #Conflicts: 30000 | #Constraints: 4608 15.43/15.51 c #Conflicts: 31000 | #Constraints: 5608 15.43/15.51 c #Conflicts: 32000 | #Constraints: 6608 15.43/15.51 c #Conflicts: 33000 | #Constraints: 7608 15.43/15.51 c INPROCESSING 15.43/15.51 c GARBAGE COLLECT 15.43/15.51 c rational objective 1.22221 18.72/18.85 c #Conflicts: 34000 | #Constraints: 4808 18.72/18.85 c #Conflicts: 35000 | #Constraints: 5808 18.72/18.85 c #Conflicts: 36000 | #Constraints: 6808 18.72/18.85 c #Conflicts: 37000 | #Constraints: 7808 18.72/18.85 c INPROCESSING 18.72/18.85 c GARBAGE COLLECT 18.72/18.85 c rational objective 1.22221 23.21/23.37 c #Conflicts: 38000 | #Constraints: 4820 23.21/23.37 c #Conflicts: 39000 | #Constraints: 5820 23.21/23.37 c #Conflicts: 40000 | #Constraints: 6820 23.21/23.37 c #Conflicts: 41000 | #Constraints: 7820 23.21/23.37 c INPROCESSING 23.21/23.37 c GARBAGE COLLECT 23.21/23.37 c rational objective 1.22221 28.19/28.36 c #Conflicts: 42000 | #Constraints: 4615 28.19/28.36 c #Conflicts: 43000 | #Constraints: 5616 28.19/28.36 c #Conflicts: 44000 | #Constraints: 6616 28.19/28.36 c #Conflicts: 45000 | #Constraints: 7616 28.19/28.36 c #Conflicts: 46000 | #Constraints: 8616 28.19/28.36 c INPROCESSING 28.19/28.36 c GARBAGE COLLECT 28.19/28.36 c rational objective 1.22221 33.77/33.96 c #Conflicts: 47000 | #Constraints: 5211 33.77/33.96 c #Conflicts: 48000 | #Constraints: 6211 33.77/33.96 c #Conflicts: 49000 | #Constraints: 7211 33.77/33.96 c #Conflicts: 50000 | #Constraints: 8211 33.77/33.96 c #Conflicts: 51000 | #Constraints: 9211 33.77/33.96 c INPROCESSING 33.77/33.96 c GARBAGE COLLECT 33.77/33.96 c rational objective 1.22221 39.55/39.73 c #Conflicts: 52000 | #Constraints: 5611 39.55/39.73 c #Conflicts: 53000 | #Constraints: 6611 39.55/39.73 c #Conflicts: 54000 | #Constraints: 7611 39.55/39.73 c #Conflicts: 55000 | #Constraints: 8611 39.55/39.73 c #Conflicts: 56000 | #Constraints: 9611 39.55/39.73 c INPROCESSING 39.55/39.73 c GARBAGE COLLECT 39.55/39.73 c rational objective 1.22221 46.33/46.56 c #Conflicts: 57000 | #Constraints: 5811 46.33/46.56 c #Conflicts: 58000 | #Constraints: 6811 46.33/46.56 c #Conflicts: 59000 | #Constraints: 7811 46.33/46.56 c #Conflicts: 60000 | #Constraints: 8811 46.33/46.56 c #Conflicts: 61000 | #Constraints: 9811 46.33/46.56 c INPROCESSING 46.33/46.56 c GARBAGE COLLECT 46.33/46.56 c rational objective 1.22221 54.20/54.43 c #Conflicts: 62000 | #Constraints: 5814 54.20/54.43 c #Conflicts: 63000 | #Constraints: 6814 54.20/54.43 c #Conflicts: 64000 | #Constraints: 7814 54.20/54.43 c #Conflicts: 65000 | #Constraints: 8814 54.20/54.43 c #Conflicts: 66000 | #Constraints: 9814 54.20/54.43 c INPROCESSING 54.20/54.43 c GARBAGE COLLECT 54.20/54.43 c rational objective 1.22221 61.98/62.24 c #Conflicts: 67000 | #Constraints: 5614 61.98/62.24 c #Conflicts: 68000 | #Constraints: 6614 61.98/62.24 c #Conflicts: 69000 | #Constraints: 7614 61.98/62.24 c #Conflicts: 70000 | #Constraints: 8614 61.98/62.24 c #Conflicts: 71000 | #Constraints: 9614 61.98/62.24 c #Conflicts: 72000 | #Constraints: 10614 61.98/62.24 c INPROCESSING 61.98/62.24 c GARBAGE COLLECT 61.98/62.24 c rational objective 1.22221 70.14/70.49 c #Conflicts: 73000 | #Constraints: 6214 70.14/70.49 c #Conflicts: 74000 | #Constraints: 7214 70.14/70.49 c #Conflicts: 75000 | #Constraints: 8214 70.14/70.49 c #Conflicts: 76000 | #Constraints: 9214 70.14/70.49 c #Conflicts: 77000 | #Constraints: 10214 70.14/70.49 c #Conflicts: 78000 | #Constraints: 11214 70.14/70.49 c INPROCESSING 70.14/70.49 c GARBAGE COLLECT 70.14/70.49 c rational objective 1.22221 79.61/79.99 c #Conflicts: 79000 | #Constraints: 6614 79.61/79.99 c #Conflicts: 80000 | #Constraints: 7614 79.61/79.99 c #Conflicts: 81000 | #Constraints: 8614 79.61/79.99 c #Conflicts: 82000 | #Constraints: 9614 79.61/79.99 c #Conflicts: 83000 | #Constraints: 10614 79.61/79.99 c #Conflicts: 84000 | #Constraints: 11614 79.61/79.99 c INPROCESSING 79.61/79.99 c GARBAGE COLLECT 79.61/79.99 c rational objective 1.22221 88.98/89.38 c #Conflicts: 85000 | #Constraints: 6813 88.98/89.38 c #Conflicts: 86000 | #Constraints: 7813 88.98/89.38 c #Conflicts: 87000 | #Constraints: 8813 88.98/89.38 c #Conflicts: 88000 | #Constraints: 9813 88.98/89.38 c #Conflicts: 89000 | #Constraints: 10813 88.98/89.38 c #Conflicts: 90000 | #Constraints: 11813 88.98/89.38 c INPROCESSING 88.98/89.38 c GARBAGE COLLECT 88.98/89.38 c rational objective 1.22221 99.85/100.25 c #Conflicts: 91000 | #Constraints: 6814 99.85/100.25 c #Conflicts: 92000 | #Constraints: 7814 99.85/100.25 c #Conflicts: 93000 | #Constraints: 8814 99.85/100.25 c #Conflicts: 94000 | #Constraints: 9814 99.85/100.25 c #Conflicts: 95000 | #Constraints: 10814 99.85/100.25 c #Conflicts: 96000 | #Constraints: 11814 99.85/100.25 c INPROCESSING 99.85/100.25 c GARBAGE COLLECT 99.85/100.25 c rational objective 1.22221 112.31/112.70 c #Conflicts: 97000 | #Constraints: 6615 112.31/112.70 c #Conflicts: 98000 | #Constraints: 7615 112.31/112.70 c #Conflicts: 99000 | #Constraints: 8615 112.31/112.70 c #Conflicts: 100000 | #Constraints: 9615 112.31/112.70 c #Conflicts: 101000 | #Constraints: 10615 112.31/112.70 c #Conflicts: 102000 | #Constraints: 11615 112.31/112.70 c #Conflicts: 103000 | #Constraints: 12615 112.31/112.70 c INPROCESSING 112.31/112.70 c GARBAGE COLLECT 112.31/112.70 c rational objective 1.22221 125.47/125.93 c #Conflicts: 104000 | #Constraints: 7215 125.47/125.93 c #Conflicts: 105000 | #Constraints: 8215 125.47/125.93 c #Conflicts: 106000 | #Constraints: 9216 125.47/125.93 c #Conflicts: 107000 | #Constraints: 10216 125.47/125.93 c #Conflicts: 108000 | #Constraints: 11216 125.47/125.93 c #Conflicts: 109000 | #Constraints: 12216 125.47/125.93 c #Conflicts: 110000 | #Constraints: 13216 125.47/125.93 c INPROCESSING 125.47/125.93 c GARBAGE COLLECT 125.47/125.93 c rational objective 1.22221 140.72/141.27 c #Conflicts: 111000 | #Constraints: 7617 140.72/141.27 c #Conflicts: 112000 | #Constraints: 8617 140.72/141.27 c #Conflicts: 113000 | #Constraints: 9617 140.72/141.27 c #Conflicts: 114000 | #Constraints: 10617 140.72/141.27 c #Conflicts: 115000 | #Constraints: 11617 140.72/141.27 c #Conflicts: 116000 | #Constraints: 12617 140.72/141.27 c #Conflicts: 117000 | #Constraints: 13617 140.72/141.27 c INPROCESSING 140.72/141.27 c GARBAGE COLLECT 140.72/141.27 c rational objective 1.22221 155.08/155.61 c #Conflicts: 118000 | #Constraints: 7814 155.08/155.61 c #Conflicts: 119000 | #Constraints: 8814 155.08/155.61 c #Conflicts: 120000 | #Constraints: 9814 155.08/155.61 c #Conflicts: 121000 | #Constraints: 10814 155.08/155.61 c #Conflicts: 122000 | #Constraints: 11814 155.08/155.61 c #Conflicts: 123000 | #Constraints: 12814 155.08/155.61 c #Conflicts: 124000 | #Constraints: 13814 155.08/155.61 c INPROCESSING 155.08/155.61 c GARBAGE COLLECT 155.08/155.61 c rational objective 1.32012 170.23/170.81 c #Conflicts: 125000 | #Constraints: 7812 170.23/170.81 c #Conflicts: 126000 | #Constraints: 8812 170.23/170.81 c #Conflicts: 127000 | #Constraints: 9812 170.23/170.81 c #Conflicts: 128000 | #Constraints: 10812 170.23/170.81 c #Conflicts: 129000 | #Constraints: 11812 170.23/170.81 c #Conflicts: 130000 | #Constraints: 12812 170.23/170.81 c #Conflicts: 131000 | #Constraints: 13812 170.23/170.81 c INPROCESSING 170.23/170.81 c GARBAGE COLLECT 170.23/170.81 c rational objective 1.32012 186.30/186.94 c #Conflicts: 132000 | #Constraints: 7616 186.30/186.94 c #Conflicts: 133000 | #Constraints: 8616 186.30/186.94 c #Conflicts: 134000 | #Constraints: 9616 186.30/186.94 c #Conflicts: 135000 | #Constraints: 10616 186.30/186.94 c #Conflicts: 136000 | #Constraints: 11616 186.30/186.94 c #Conflicts: 137000 | #Constraints: 12616 186.30/186.94 c #Conflicts: 138000 | #Constraints: 13616 186.30/186.94 c #Conflicts: 139000 | #Constraints: 14616 186.30/186.94 c INPROCESSING 186.30/186.94 c GARBAGE COLLECT 186.30/186.94 c rational objective 1.32012 202.96/203.69 c #Conflicts: 140000 | #Constraints: 8218 202.96/203.69 c #Conflicts: 141000 | #Constraints: 9218 202.96/203.69 c #Conflicts: 142000 | #Constraints: 10218 202.96/203.69 c #Conflicts: 143000 | #Constraints: 11218 202.96/203.69 c #Conflicts: 144000 | #Constraints: 12218 202.96/203.69 c #Conflicts: 145000 | #Constraints: 13218 202.96/203.69 c #Conflicts: 146000 | #Constraints: 14218 202.96/203.69 c #Conflicts: 147000 | #Constraints: 15218 202.96/203.69 c INPROCESSING 202.96/203.69 c GARBAGE COLLECT 202.96/203.69 c rational objective 1.32012 222.60/223.30 c #Conflicts: 148000 | #Constraints: 8616 222.60/223.30 c #Conflicts: 149000 | #Constraints: 9616 222.60/223.30 c #Conflicts: 150000 | #Constraints: 10616 222.60/223.30 c #Conflicts: 151000 | #Constraints: 11616 222.60/223.30 c #Conflicts: 152000 | #Constraints: 12616 222.60/223.30 c #Conflicts: 153000 | #Constraints: 13616 222.60/223.30 c #Conflicts: 154000 | #Constraints: 14616 222.60/223.30 c #Conflicts: 155000 | #Constraints: 15616 222.60/223.30 c INPROCESSING 222.60/223.30 c GARBAGE COLLECT 222.60/223.30 c rational objective 1.32012 242.05/242.80 c #Conflicts: 156000 | #Constraints: 8815 242.05/242.80 c #Conflicts: 157000 | #Constraints: 9815 242.05/242.80 c #Conflicts: 158000 | #Constraints: 10815 242.05/242.80 c #Conflicts: 159000 | #Constraints: 11815 242.05/242.80 c #Conflicts: 160000 | #Constraints: 12815 242.05/242.80 c #Conflicts: 161000 | #Constraints: 13815 242.05/242.80 c #Conflicts: 162000 | #Constraints: 14815 242.05/242.80 c #Conflicts: 163000 | #Constraints: 15815 242.05/242.80 c INPROCESSING 242.05/242.80 c GARBAGE COLLECT 242.05/242.80 c rational objective 1.32012 264.09/264.92 c #Conflicts: 164000 | #Constraints: 8812 264.09/264.92 c #Conflicts: 165000 | #Constraints: 9812 264.09/264.92 c #Conflicts: 166000 | #Constraints: 10812 264.09/264.92 c #Conflicts: 167000 | #Constraints: 11812 264.09/264.92 c #Conflicts: 168000 | #Constraints: 12812 264.09/264.92 c #Conflicts: 169000 | #Constraints: 13812 264.09/264.92 c #Conflicts: 170000 | #Constraints: 14812 264.09/264.92 c #Conflicts: 171000 | #Constraints: 15812 264.09/264.92 c INPROCESSING 264.09/264.92 c GARBAGE COLLECT 264.09/264.92 c rational objective 1.32012 286.94/287.85 c #Conflicts: 172000 | #Constraints: 8610 286.94/287.85 c #Conflicts: 173000 | #Constraints: 9610 286.94/287.85 c #Conflicts: 174000 | #Constraints: 10610 286.94/287.85 c #Conflicts: 175000 | #Constraints: 11610 286.94/287.85 c #Conflicts: 176000 | #Constraints: 12610 286.94/287.85 c #Conflicts: 177000 | #Constraints: 13610 286.94/287.85 c #Conflicts: 178000 | #Constraints: 14610 286.94/287.85 c #Conflicts: 179000 | #Constraints: 15610 286.94/287.85 c #Conflicts: 180000 | #Constraints: 16610 286.94/287.85 c INPROCESSING 286.94/287.85 c GARBAGE COLLECT 286.94/287.85 c rational objective 1.32012 311.67/312.60 c #Conflicts: 181000 | #Constraints: 9214 311.67/312.60 c #Conflicts: 182000 | #Constraints: 10214 311.67/312.60 c #Conflicts: 183000 | #Constraints: 11214 311.67/312.60 c #Conflicts: 184000 | #Constraints: 12214 311.67/312.60 c #Conflicts: 185000 | #Constraints: 13214 311.67/312.60 c #Conflicts: 186000 | #Constraints: 14214 311.67/312.60 c #Conflicts: 187000 | #Constraints: 15214 311.67/312.60 c #Conflicts: 188000 | #Constraints: 16214 311.67/312.60 c #Conflicts: 189000 | #Constraints: 17214 311.67/312.60 c INPROCESSING 311.67/312.60 c GARBAGE COLLECT 311.67/312.60 c rational objective 1.32012 337.80/338.87 c #Conflicts: 190000 | #Constraints: 9614 337.80/338.87 c #Conflicts: 191000 | #Constraints: 10614 337.80/338.87 c #Conflicts: 192000 | #Constraints: 11614 337.80/338.87 c #Conflicts: 193000 | #Constraints: 12614 337.80/338.87 c #Conflicts: 194000 | #Constraints: 13614 337.80/338.87 c #Conflicts: 195000 | #Constraints: 14614 337.80/338.87 c #Conflicts: 196000 | #Constraints: 15614 337.80/338.87 c #Conflicts: 197000 | #Constraints: 16614 337.80/338.87 c #Conflicts: 198000 | #Constraints: 17614 337.80/338.87 c INPROCESSING 337.80/338.87 c GARBAGE COLLECT 337.80/338.87 c rational objective 1.32012 364.73/365.89 c #Conflicts: 199000 | #Constraints: 9815 364.73/365.89 c #Conflicts: 200000 | #Constraints: 10816 364.73/365.89 c #Conflicts: 201000 | #Constraints: 11816 364.73/365.89 c #Conflicts: 202000 | #Constraints: 12816 364.73/365.89 c #Conflicts: 203000 | #Constraints: 13816 364.73/365.89 c #Conflicts: 204000 | #Constraints: 14816 364.73/365.89 c #Conflicts: 205000 | #Constraints: 15816 364.73/365.89 c #Conflicts: 206000 | #Constraints: 16816 364.73/365.89 c #Conflicts: 207000 | #Constraints: 17816 364.73/365.89 c INPROCESSING 364.73/365.89 c GARBAGE COLLECT 364.73/365.89 c rational objective 1.32012 396.25/397.44 c #Conflicts: 208000 | #Constraints: 9817 396.25/397.44 c #Conflicts: 209000 | #Constraints: 10817 396.25/397.44 c #Conflicts: 210000 | #Constraints: 11817 396.25/397.44 c #Conflicts: 211000 | #Constraints: 12817 396.25/397.44 c #Conflicts: 212000 | #Constraints: 13817 396.25/397.44 c #Conflicts: 213000 | #Constraints: 14817 396.25/397.44 c #Conflicts: 214000 | #Constraints: 15817 396.25/397.44 c #Conflicts: 215000 | #Constraints: 16817 396.25/397.44 c #Conflicts: 216000 | #Constraints: 17817 396.25/397.44 c INPROCESSING 396.25/397.44 c GARBAGE COLLECT 396.25/397.44 c rational objective 1.32012 424.98/426.28 c #Conflicts: 217000 | #Constraints: 9615 424.98/426.28 c #Conflicts: 218000 | #Constraints: 10615 424.98/426.28 c #Conflicts: 219000 | #Constraints: 11615 424.98/426.28 c #Conflicts: 220000 | #Constraints: 12615 424.98/426.28 c #Conflicts: 221000 | #Constraints: 13615 424.98/426.28 c #Conflicts: 222000 | #Constraints: 14615 424.98/426.28 c #Conflicts: 223000 | #Constraints: 15615 424.98/426.28 c #Conflicts: 224000 | #Constraints: 16615 424.98/426.28 c #Conflicts: 225000 | #Constraints: 17615 424.98/426.28 c #Conflicts: 226000 | #Constraints: 18615 424.98/426.28 c INPROCESSING 424.98/426.28 c GARBAGE COLLECT 424.98/426.28 c rational objective 1.32012 455.30/456.60 c #Conflicts: 227000 | #Constraints: 10216 455.30/456.60 c #Conflicts: 228000 | #Constraints: 11216 455.30/456.60 c #Conflicts: 229000 | #Constraints: 12216 455.30/456.60 c #Conflicts: 230000 | #Constraints: 13216 455.30/456.60 c #Conflicts: 231000 | #Constraints: 14216 455.30/456.60 c #Conflicts: 232000 | #Constraints: 15216 455.30/456.60 c #Conflicts: 233000 | #Constraints: 16216 455.30/456.60 c #Conflicts: 234000 | #Constraints: 17216 455.30/456.60 c #Conflicts: 235000 | #Constraints: 18216 455.30/456.60 c #Conflicts: 236000 | #Constraints: 19216 455.30/456.60 c INPROCESSING 455.30/456.60 c GARBAGE COLLECT 455.30/456.60 c rational objective 1.32012 485.83/487.21 c #Conflicts: 237000 | #Constraints: 10614 485.83/487.21 c #Conflicts: 238000 | #Constraints: 11614 485.83/487.21 c #Conflicts: 239000 | #Constraints: 12614 485.83/487.21 c #Conflicts: 240000 | #Constraints: 13614 485.83/487.21 c #Conflicts: 241000 | #Constraints: 14614 485.83/487.21 c #Conflicts: 242000 | #Constraints: 15614 485.83/487.21 c #Conflicts: 243000 | #Constraints: 16614 485.83/487.21 c #Conflicts: 244000 | #Constraints: 17614 485.83/487.21 c #Conflicts: 245000 | #Constraints: 18614 485.83/487.21 c #Conflicts: 246000 | #Constraints: 19614 485.83/487.21 c INPROCESSING 485.83/487.21 c GARBAGE COLLECT 485.83/487.21 c rational objective 1.32012 521.64/523.15 c #Conflicts: 247000 | #Constraints: 10817 521.64/523.15 c #Conflicts: 248000 | #Constraints: 11817 521.64/523.15 c #Conflicts: 249000 | #Constraints: 12817 521.64/523.15 c #Conflicts: 250000 | #Constraints: 13817 521.64/523.15 c #Conflicts: 251000 | #Constraints: 14817 521.64/523.15 c #Conflicts: 252000 | #Constraints: 15817 521.64/523.15 c #Conflicts: 253000 | #Constraints: 16817 521.64/523.15 c #Conflicts: 254000 | #Constraints: 17817 521.64/523.15 c #Conflicts: 255000 | #Constraints: 18817 521.64/523.15 c #Conflicts: 256000 | #Constraints: 19817 521.64/523.15 c INPROCESSING 521.64/523.15 c GARBAGE COLLECT 521.64/523.15 c rational objective 1.32012 557.34/558.90 c #Conflicts: 257000 | #Constraints: 10813 557.34/558.90 c #Conflicts: 258000 | #Constraints: 11814 557.34/558.90 c #Conflicts: 259000 | #Constraints: 12814 557.34/558.90 c #Conflicts: 260000 | #Constraints: 13814 557.34/558.90 c #Conflicts: 261000 | #Constraints: 14814 557.34/558.90 c #Conflicts: 262000 | #Constraints: 15814 557.34/558.90 c #Conflicts: 263000 | #Constraints: 16814 557.34/558.90 c #Conflicts: 264000 | #Constraints: 17814 557.34/558.90 c #Conflicts: 265000 | #Constraints: 18814 557.34/558.90 c #Conflicts: 266000 | #Constraints: 19814 557.34/558.90 c INPROCESSING 557.34/558.90 c GARBAGE COLLECT 557.34/558.90 c rational objective 1.32012 602.02/603.78 c #Conflicts: 267000 | #Constraints: 10616 602.02/603.78 c #Conflicts: 268000 | #Constraints: 11616 602.02/603.78 c #Conflicts: 269000 | #Constraints: 12616 602.02/603.78 c #Conflicts: 270000 | #Constraints: 13616 602.02/603.78 c #Conflicts: 271000 | #Constraints: 14616 602.02/603.78 c #Conflicts: 272000 | #Constraints: 15616 602.02/603.78 c #Conflicts: 273000 | #Constraints: 16616 602.02/603.78 c #Conflicts: 274000 | #Constraints: 17616 602.02/603.78 c #Conflicts: 275000 | #Constraints: 18616 602.02/603.78 c #Conflicts: 276000 | #Constraints: 19616 602.02/603.78 c #Conflicts: 277000 | #Constraints: 20616 602.02/603.78 c INPROCESSING 602.02/603.78 c GARBAGE COLLECT 602.02/603.78 c rational objective 1.32012 636.63/638.40 c #Conflicts: 278000 | #Constraints: 11216 636.63/638.40 c #Conflicts: 279000 | #Constraints: 12216 636.63/638.40 c #Conflicts: 280000 | #Constraints: 13216 636.63/638.40 c #Conflicts: 281000 | #Constraints: 14216 636.63/638.40 c #Conflicts: 282000 | #Constraints: 15216 636.63/638.40 c #Conflicts: 283000 | #Constraints: 16216 636.63/638.40 c #Conflicts: 284000 | #Constraints: 17216 636.63/638.40 c #Conflicts: 285000 | #Constraints: 18216 636.63/638.40 c #Conflicts: 286000 | #Constraints: 19216 636.63/638.40 c #Conflicts: 287000 | #Constraints: 20216 636.63/638.40 c #Conflicts: 288000 | #Constraints: 21216 636.63/638.40 c INPROCESSING 636.63/638.40 c GARBAGE COLLECT 636.63/638.40 c rational objective 1.32012 673.94/675.87 c #Conflicts: 289000 | #Constraints: 11617 673.94/675.87 c #Conflicts: 290000 | #Constraints: 12617 673.94/675.87 c #Conflicts: 291000 | #Constraints: 13617 673.94/675.87 c #Conflicts: 292000 | #Constraints: 14617 673.94/675.87 c #Conflicts: 293000 | #Constraints: 15617 673.94/675.87 c #Conflicts: 294000 | #Constraints: 16617 673.94/675.87 c #Conflicts: 295000 | #Constraints: 17617 673.94/675.87 c #Conflicts: 296000 | #Constraints: 18617 673.94/675.87 c #Conflicts: 297000 | #Constraints: 19617 673.94/675.87 c #Conflicts: 298000 | #Constraints: 20617 673.94/675.87 c #Conflicts: 299000 | #Constraints: 21618 673.94/675.87 c INPROCESSING 673.94/675.87 c GARBAGE COLLECT 673.94/675.87 c rational objective 1.32012 711.43/713.45 c #Conflicts: 300000 | #Constraints: 11815 711.43/713.45 c #Conflicts: 301000 | #Constraints: 12815 711.43/713.45 c #Conflicts: 302000 | #Constraints: 13815 711.43/713.45 c #Conflicts: 303000 | #Constraints: 14815 711.43/713.45 c #Conflicts: 304000 | #Constraints: 15815 711.43/713.45 c #Conflicts: 305000 | #Constraints: 16815 711.43/713.45 c #Conflicts: 306000 | #Constraints: 17815 711.43/713.45 c #Conflicts: 307000 | #Constraints: 18815 711.43/713.45 c #Conflicts: 308000 | #Constraints: 19815 711.43/713.45 c #Conflicts: 309000 | #Constraints: 20815 711.43/713.45 c #Conflicts: 310000 | #Constraints: 21815 711.43/713.45 c INPROCESSING 711.43/713.45 c GARBAGE COLLECT 711.43/713.45 c rational objective 1.32012 748.52/750.65 c #Conflicts: 311000 | #Constraints: 11814 748.52/750.65 c #Conflicts: 312000 | #Constraints: 12814 748.52/750.65 c #Conflicts: 313000 | #Constraints: 13814 748.52/750.65 c #Conflicts: 314000 | #Constraints: 14814 748.52/750.65 c #Conflicts: 315000 | #Constraints: 15814 748.52/750.65 c #Conflicts: 316000 | #Constraints: 16814 748.52/750.65 c #Conflicts: 317000 | #Constraints: 17814 748.52/750.65 c #Conflicts: 318000 | #Constraints: 18814 748.52/750.65 c #Conflicts: 319000 | #Constraints: 19814 748.52/750.65 c #Conflicts: 320000 | #Constraints: 20814 748.52/750.65 c #Conflicts: 321000 | #Constraints: 21814 748.52/750.65 c INPROCESSING 748.52/750.65 c GARBAGE COLLECT 748.52/750.65 c rational objective 1.32012 797.06/799.30 c #Conflicts: 322000 | #Constraints: 11614 797.06/799.30 c #Conflicts: 323000 | #Constraints: 12614 797.06/799.30 c #Conflicts: 324000 | #Constraints: 13614 797.06/799.30 c #Conflicts: 325000 | #Constraints: 14614 797.06/799.30 c #Conflicts: 326000 | #Constraints: 15614 797.06/799.30 c #Conflicts: 327000 | #Constraints: 16614 797.06/799.30 c #Conflicts: 328000 | #Constraints: 17614 797.06/799.30 c #Conflicts: 329000 | #Constraints: 18614 797.06/799.30 c #Conflicts: 330000 | #Constraints: 19614 797.06/799.30 c #Conflicts: 331000 | #Constraints: 20614 797.06/799.30 c #Conflicts: 332000 | #Constraints: 21614 797.06/799.30 c #Conflicts: 333000 | #Constraints: 22614 797.06/799.30 c INPROCESSING 797.06/799.30 c GARBAGE COLLECT 797.06/799.30 c rational objective 1.32012 838.23/840.66 c #Conflicts: 334000 | #Constraints: 12213 838.23/840.66 c #Conflicts: 335000 | #Constraints: 13213 838.23/840.66 c #Conflicts: 336000 | #Constraints: 14213 838.23/840.66 c #Conflicts: 337000 | #Constraints: 15213 838.23/840.66 c #Conflicts: 338000 | #Constraints: 16213 838.23/840.66 c #Conflicts: 339000 | #Constraints: 17213 838.23/840.66 c #Conflicts: 340000 | #Constraints: 18213 838.23/840.66 c #Conflicts: 341000 | #Constraints: 19213 838.23/840.66 c #Conflicts: 342000 | #Constraints: 20213 838.23/840.66 c #Conflicts: 343000 | #Constraints: 21213 838.23/840.66 c #Conflicts: 344000 | #Constraints: 22213 838.23/840.66 c #Conflicts: 345000 | #Constraints: 23213 838.23/840.66 c INPROCESSING 838.23/840.66 c GARBAGE COLLECT 838.23/840.66 c rational objective 1.32012 882.99/885.54 c #Conflicts: 346000 | #Constraints: 12616 882.99/885.54 c #Conflicts: 347000 | #Constraints: 13616 882.99/885.54 c #Conflicts: 348000 | #Constraints: 14616 882.99/885.54 c #Conflicts: 349000 | #Constraints: 15616 882.99/885.54 c #Conflicts: 350000 | #Constraints: 16616 882.99/885.54 c #Conflicts: 351000 | #Constraints: 17616 882.99/885.54 c #Conflicts: 352000 | #Constraints: 18616 882.99/885.54 c #Conflicts: 353000 | #Constraints: 19616 882.99/885.54 c #Conflicts: 354000 | #Constraints: 20616 882.99/885.54 c #Conflicts: 355000 | #Constraints: 21616 882.99/885.54 c #Conflicts: 356000 | #Constraints: 22616 882.99/885.54 c #Conflicts: 357000 | #Constraints: 23616 882.99/885.54 c INPROCESSING 882.99/885.54 c GARBAGE COLLECT 882.99/885.54 c rational objective 1.32012 929.45/932.17 c #Conflicts: 358000 | #Constraints: 12815 929.45/932.17 c #Conflicts: 359000 | #Constraints: 13815 929.45/932.17 c #Conflicts: 360000 | #Constraints: 14815 929.45/932.17 c #Conflicts: 361000 | #Constraints: 15815 929.45/932.17 c #Conflicts: 362000 | #Constraints: 16815 929.45/932.17 c #Conflicts: 363000 | #Constraints: 17815 929.45/932.17 c #Conflicts: 364000 | #Constraints: 18815 929.45/932.17 c #Conflicts: 365000 | #Constraints: 19815 929.45/932.17 c #Conflicts: 366000 | #Constraints: 20815 929.45/932.17 c #Conflicts: 367000 | #Constraints: 21815 929.45/932.17 c #Conflicts: 368000 | #Constraints: 22815 929.45/932.17 c #Conflicts: 369000 | #Constraints: 23815 929.45/932.17 c INPROCESSING 929.45/932.17 c GARBAGE COLLECT 929.45/932.17 c rational objective 1.32012 973.80/976.65 c #Conflicts: 370000 | #Constraints: 12819 973.80/976.65 c #Conflicts: 371000 | #Constraints: 13819 973.80/976.65 c #Conflicts: 372000 | #Constraints: 14819 973.80/976.65 c #Conflicts: 373000 | #Constraints: 15819 973.80/976.65 c #Conflicts: 374000 | #Constraints: 16819 973.80/976.65 c #Conflicts: 375000 | #Constraints: 17819 973.80/976.65 c #Conflicts: 376000 | #Constraints: 18819 973.80/976.65 c #Conflicts: 377000 | #Constraints: 19819 973.80/976.65 c #Conflicts: 378000 | #Constraints: 20819 973.80/976.65 c #Conflicts: 379000 | #Constraints: 21819 973.80/976.65 c #Conflicts: 380000 | #Constraints: 22819 973.80/976.65 c #Conflicts: 381000 | #Constraints: 23819 973.80/976.65 c INPROCESSING 973.80/976.65 c GARBAGE COLLECT 973.80/976.65 c rational objective 1.32012 1020.55/1023.52 c #Conflicts: 382000 | #Constraints: 12618 1020.55/1023.52 c #Conflicts: 383000 | #Constraints: 13618 1020.55/1023.52 c #Conflicts: 384000 | #Constraints: 14618 1020.55/1023.52 c #Conflicts: 385000 | #Constraints: 15618 1020.55/1023.52 c #Conflicts: 386000 | #Constraints: 16618 1020.55/1023.52 c #Conflicts: 387000 | #Constraints: 17618 1020.55/1023.52 c #Conflicts: 388000 | #Constraints: 18618 1020.55/1023.52 c #Conflicts: 389000 | #Constraints: 19618 1020.55/1023.52 c #Conflicts: 390000 | #Constraints: 20618 1020.55/1023.52 c #Conflicts: 391000 | #Constraints: 21618 1020.55/1023.52 c #Conflicts: 392000 | #Constraints: 22618 1020.55/1023.52 c #Conflicts: 393000 | #Constraints: 23618 1020.55/1023.52 c #Conflicts: 394000 | #Constraints: 24618 1020.55/1023.52 c INPROCESSING 1020.55/1023.52 c GARBAGE COLLECT 1020.55/1023.52 c rational objective 1.32012 1071.00/1074.18 c #Conflicts: 395000 | #Constraints: 13218 1071.00/1074.18 c #Conflicts: 396000 | #Constraints: 14218 1071.00/1074.18 c #Conflicts: 397000 | #Constraints: 15218 1071.00/1074.18 c #Conflicts: 398000 | #Constraints: 16218 1071.00/1074.18 c #Conflicts: 399000 | #Constraints: 17218 1071.00/1074.18 c #Conflicts: 400000 | #Constraints: 18218 1071.00/1074.18 c #Conflicts: 401000 | #Constraints: 19218 1071.00/1074.18 c #Conflicts: 402000 | #Constraints: 20218 1071.00/1074.18 c #Conflicts: 403000 | #Constraints: 21218 1071.00/1074.18 c #Conflicts: 404000 | #Constraints: 22218 1071.00/1074.18 c #Conflicts: 405000 | #Constraints: 23218 1071.00/1074.18 c #Conflicts: 406000 | #Constraints: 24218 1071.00/1074.18 c #Conflicts: 407000 | #Constraints: 25218 1071.00/1074.18 c INPROCESSING 1071.00/1074.18 c GARBAGE COLLECT 1071.00/1074.18 c rational objective 1.32012 1121.73/1125.09 c #Conflicts: 408000 | #Constraints: 13616 1121.73/1125.09 c #Conflicts: 409000 | #Constraints: 14616 1121.73/1125.09 c #Conflicts: 410000 | #Constraints: 15616 1121.73/1125.09 c #Conflicts: 411000 | #Constraints: 16616 1121.73/1125.09 c #Conflicts: 412000 | #Constraints: 17616 1121.73/1125.09 c #Conflicts: 413000 | #Constraints: 18616 1121.73/1125.09 c #Conflicts: 414000 | #Constraints: 19616 1121.73/1125.09 c #Conflicts: 415000 | #Constraints: 20616 1121.73/1125.09 c #Conflicts: 416000 | #Constraints: 21616 1121.73/1125.09 c #Conflicts: 417000 | #Constraints: 22616 1121.73/1125.09 c #Conflicts: 418000 | #Constraints: 23616 1121.73/1125.09 c #Conflicts: 419000 | #Constraints: 24616 1121.73/1125.09 c #Conflicts: 420000 | #Constraints: 25616 1121.73/1125.09 c INPROCESSING 1121.73/1125.09 c GARBAGE COLLECT 1121.73/1125.09 c rational objective 1.32012 1173.67/1177.13 c #Conflicts: 421000 | #Constraints: 13816 1173.67/1177.13 c #Conflicts: 422000 | #Constraints: 14816 1173.67/1177.13 c #Conflicts: 423000 | #Constraints: 15816 1173.67/1177.13 c #Conflicts: 424000 | #Constraints: 16816 1173.67/1177.13 c #Conflicts: 425000 | #Constraints: 17816 1173.67/1177.13 c #Conflicts: 426000 | #Constraints: 18816 1173.67/1177.13 c #Conflicts: 427000 | #Constraints: 19816 1173.67/1177.13 c #Conflicts: 428000 | #Constraints: 20816 1173.67/1177.13 c #Conflicts: 429000 | #Constraints: 21816 1173.67/1177.13 c #Conflicts: 430000 | #Constraints: 22816 1173.67/1177.13 c #Conflicts: 431000 | #Constraints: 23816 1173.67/1177.13 c #Conflicts: 432000 | #Constraints: 24816 1173.67/1177.13 c #Conflicts: 433000 | #Constraints: 25816 1173.67/1177.13 c INPROCESSING 1173.67/1177.13 c GARBAGE COLLECT 1173.67/1177.13 c rational objective 1.32012 1234.18/1237.89 c #Conflicts: 434000 | #Constraints: 13819 1234.18/1237.89 c #Conflicts: 435000 | #Constraints: 14819 1234.18/1237.89 c #Conflicts: 436000 | #Constraints: 15819 1234.18/1237.89 c #Conflicts: 437000 | #Constraints: 16819 1234.18/1237.89 c #Conflicts: 438000 | #Constraints: 17819 1234.18/1237.89 c #Conflicts: 439000 | #Constraints: 18819 1234.18/1237.89 c #Conflicts: 440000 | #Constraints: 19819 1234.18/1237.89 c #Conflicts: 441000 | #Constraints: 20819 1234.18/1237.89 c #Conflicts: 442000 | #Constraints: 21819 1234.18/1237.89 c #Conflicts: 443000 | #Constraints: 22819 1234.18/1237.89 c #Conflicts: 444000 | #Constraints: 23819 1234.18/1237.89 c #Conflicts: 445000 | #Constraints: 24819 1234.18/1237.89 c #Conflicts: 446000 | #Constraints: 25819 1234.18/1237.89 c INPROCESSING 1234.18/1237.89 c GARBAGE COLLECT 1234.18/1237.89 c rational objective 1.32012 1295.19/1299.06 c #Conflicts: 447000 | #Constraints: 13623 1295.19/1299.06 c #Conflicts: 448000 | #Constraints: 14623 1295.19/1299.06 c #Conflicts: 449000 | #Constraints: 15623 1295.19/1299.06 c #Conflicts: 450000 | #Constraints: 16623 1295.19/1299.06 c #Conflicts: 451000 | #Constraints: 17623 1295.19/1299.06 c #Conflicts: 452000 | #Constraints: 18623 1295.19/1299.06 c #Conflicts: 453000 | #Constraints: 19623 1295.19/1299.06 c #Conflicts: 454000 | #Constraints: 20623 1295.19/1299.06 c #Conflicts: 455000 | #Constraints: 21623 1295.19/1299.06 c #Conflicts: 456000 | #Constraints: 22623 1295.19/1299.06 c #Conflicts: 457000 | #Constraints: 23623 1295.19/1299.06 c #Conflicts: 458000 | #Constraints: 24623 1295.19/1299.06 c #Conflicts: 459000 | #Constraints: 25623 1295.19/1299.06 c #Conflicts: 460000 | #Constraints: 26623 1295.19/1299.06 c INPROCESSING 1295.19/1299.06 c GARBAGE COLLECT 1295.19/1299.06 c rational objective 1.32012 1403.73/1407.92 c #Conflicts: 461000 | #Constraints: 14221 1403.73/1407.92 c #Conflicts: 462000 | #Constraints: 15221 1403.73/1407.92 c #Conflicts: 463000 | #Constraints: 16221 1403.73/1407.92 c #Conflicts: 464000 | #Constraints: 17221 1403.73/1407.92 c #Conflicts: 465000 | #Constraints: 18221 1403.73/1407.92 c #Conflicts: 466000 | #Constraints: 19221 1403.73/1407.92 c #Conflicts: 467000 | #Constraints: 20221 1403.73/1407.92 c #Conflicts: 468000 | #Constraints: 21221 1403.73/1407.92 c #Conflicts: 469000 | #Constraints: 22221 1403.73/1407.92 c #Conflicts: 470000 | #Constraints: 23221 1403.73/1407.92 c #Conflicts: 471000 | #Constraints: 24221 1403.73/1407.92 c #Conflicts: 472000 | #Constraints: 25221 1403.73/1407.92 c #Conflicts: 473000 | #Constraints: 26221 1403.73/1407.92 c #Conflicts: 474000 | #Constraints: 27221 1403.73/1407.92 c INPROCESSING 1403.73/1407.92 c GARBAGE COLLECT 1403.73/1407.92 c rational objective 1.32012 1465.65/1470.05 c #Conflicts: 475000 | #Constraints: 14621 1465.65/1470.05 c #Conflicts: 476000 | #Constraints: 15621 1465.65/1470.05 c #Conflicts: 477000 | #Constraints: 16621 1465.65/1470.05 c #Conflicts: 478000 | #Constraints: 17621 1465.65/1470.05 c #Conflicts: 479000 | #Constraints: 18621 1465.65/1470.05 c #Conflicts: 480000 | #Constraints: 19621 1465.65/1470.05 c #Conflicts: 481000 | #Constraints: 20621 1465.65/1470.05 c #Conflicts: 482000 | #Constraints: 21621 1465.65/1470.05 c #Conflicts: 483000 | #Constraints: 22621 1465.65/1470.05 c #Conflicts: 484000 | #Constraints: 23621 1465.65/1470.05 c #Conflicts: 485000 | #Constraints: 24621 1465.65/1470.05 c #Conflicts: 486000 | #Constraints: 25621 1465.65/1470.05 c #Conflicts: 487000 | #Constraints: 26621 1465.65/1470.05 c #Conflicts: 488000 | #Constraints: 27621 1465.65/1470.05 c INPROCESSING 1465.65/1470.05 c GARBAGE COLLECT 1465.65/1470.05 c rational objective 1.32012 1535.62/1540.28 c #Conflicts: 489000 | #Constraints: 14821 1535.62/1540.28 c #Conflicts: 490000 | #Constraints: 15821 1535.62/1540.28 c #Conflicts: 491000 | #Constraints: 16821 1535.62/1540.28 c #Conflicts: 492000 | #Constraints: 17821 1535.62/1540.28 c #Conflicts: 493000 | #Constraints: 18821 1535.62/1540.28 c #Conflicts: 494000 | #Constraints: 19821 1535.62/1540.28 c #Conflicts: 495000 | #Constraints: 20821 1535.62/1540.28 c #Conflicts: 496000 | #Constraints: 21821 1535.62/1540.28 c #Conflicts: 497000 | #Constraints: 22821 1535.62/1540.28 c #Conflicts: 498000 | #Constraints: 23821 1535.62/1540.28 c #Conflicts: 499000 | #Constraints: 24821 1535.62/1540.28 c #Conflicts: 500000 | #Constraints: 25821 1535.62/1540.28 c #Conflicts: 501000 | #Constraints: 26821 1535.62/1540.28 c #Conflicts: 502000 | #Constraints: 27821 1535.62/1540.28 c INPROCESSING 1535.62/1540.28 c GARBAGE COLLECT 1535.62/1540.28 c rational objective 1.32012 1608.08/1612.90 c #Conflicts: 503000 | #Constraints: 14816 1608.08/1612.90 c #Conflicts: 504000 | #Constraints: 15816 1608.08/1612.90 c #Conflicts: 505000 | #Constraints: 16816 1608.08/1612.90 c #Conflicts: 506000 | #Constraints: 17816 1608.08/1612.90 c #Conflicts: 507000 | #Constraints: 18816 1608.08/1612.90 c #Conflicts: 508000 | #Constraints: 19816 1608.08/1612.90 c #Conflicts: 509000 | #Constraints: 20816 1608.08/1612.90 c #Conflicts: 510000 | #Constraints: 21816 1608.08/1612.90 c #Conflicts: 511000 | #Constraints: 22816 1608.08/1612.90 c #Conflicts: 512000 | #Constraints: 23816 1608.08/1612.90 c #Conflicts: 513000 | #Constraints: 24816 1608.08/1612.90 c #Conflicts: 514000 | #Constraints: 25816 1608.08/1612.90 c #Conflicts: 515000 | #Constraints: 26816 1608.08/1612.90 c #Conflicts: 516000 | #Constraints: 27816 1608.08/1612.90 c INPROCESSING 1608.08/1612.90 c GARBAGE COLLECT 1608.08/1612.90 c rational objective 1.32012 1680.55/1685.69 c #Conflicts: 517000 | #Constraints: 14614 1680.55/1685.69 c #Conflicts: 518000 | #Constraints: 15614 1680.55/1685.69 c #Conflicts: 519000 | #Constraints: 16614 1680.55/1685.69 c #Conflicts: 520000 | #Constraints: 17614 1680.55/1685.69 c #Conflicts: 521000 | #Constraints: 18615 1680.55/1685.69 c #Conflicts: 522000 | #Constraints: 19615 1680.55/1685.69 c #Conflicts: 523000 | #Constraints: 20615 1680.55/1685.69 c #Conflicts: 524000 | #Constraints: 21615 1680.55/1685.69 c #Conflicts: 525000 | #Constraints: 22615 1680.55/1685.69 c #Conflicts: 526000 | #Constraints: 23615 1680.55/1685.69 c #Conflicts: 527000 | #Constraints: 24615 1680.55/1685.69 c #Conflicts: 528000 | #Constraints: 25615 1680.55/1685.69 c #Conflicts: 529000 | #Constraints: 26615 1680.55/1685.69 c #Conflicts: 530000 | #Constraints: 27615 1680.55/1685.69 c #Conflicts: 531000 | #Constraints: 28615 1680.55/1685.69 c INPROCESSING 1680.55/1685.69 c GARBAGE COLLECT 1680.55/1685.69 c rational objective 1.32012 1752.73/1758.07 c #Conflicts: 532000 | #Constraints: 15211 1752.73/1758.07 c #Conflicts: 533000 | #Constraints: 16211 1752.73/1758.07 c #Conflicts: 534000 | #Constraints: 17211 1752.73/1758.07 c #Conflicts: 535000 | #Constraints: 18211 1752.73/1758.07 c #Conflicts: 536000 | #Constraints: 19211 1752.73/1758.07 c #Conflicts: 537000 | #Constraints: 20211 1752.73/1758.07 c #Conflicts: 538000 | #Constraints: 21211 1752.73/1758.07 c #Conflicts: 539000 | #Constraints: 22211 1752.73/1758.07 c #Conflicts: 540000 | #Constraints: 23211 1752.73/1758.07 c #Conflicts: 541000 | #Constraints: 24211 1752.73/1758.07 c #Conflicts: 542000 | #Constraints: 25211 1752.73/1758.07 c #Conflicts: 543000 | #Constraints: 26211 1752.73/1758.07 c #Conflicts: 544000 | #Constraints: 27211 1752.73/1758.07 c #Conflicts: 545000 | #Constraints: 28211 1752.73/1758.07 c #Conflicts: 546000 | #Constraints: 29211 1752.73/1758.07 c INPROCESSING 1752.73/1758.07 c GARBAGE COLLECT 1752.73/1758.07 c rational objective 1.32012 1843.92/1849.55 c #Conflicts: 547000 | #Constraints: 15614 1843.92/1849.55 c #Conflicts: 548000 | #Constraints: 16614 1843.92/1849.55 c #Conflicts: 549000 | #Constraints: 17614 1843.92/1849.55 c #Conflicts: 550000 | #Constraints: 18614 1843.92/1849.55 c #Conflicts: 551000 | #Constraints: 19614 1843.92/1849.55 c #Conflicts: 552000 | #Constraints: 20614 1843.92/1849.55 c #Conflicts: 553000 | #Constraints: 21614 1843.92/1849.55 c #Conflicts: 554000 | #Constraints: 22614 1843.92/1849.55 c #Conflicts: 555000 | #Constraints: 23614 1843.92/1849.55 c #Conflicts: 556000 | #Constraints: 24614 1843.92/1849.55 c #Conflicts: 557000 | #Constraints: 25614 1843.92/1849.55 c #Conflicts: 558000 | #Constraints: 26614 1843.92/1849.55 c #Conflicts: 559000 | #Constraints: 27614 1843.92/1849.55 c #Conflicts: 560000 | #Constraints: 28614 1843.92/1849.55 c #Conflicts: 561000 | #Constraints: 29614 1843.92/1849.55 c INPROCESSING 1843.92/1849.55 c GARBAGE COLLECT 1843.92/1849.55 c rational objective 1.32012 1915.99/1921.82 c #Conflicts: 562000 | #Constraints: 15811 1915.99/1921.82 c #Conflicts: 563000 | #Constraints: 16811 1915.99/1921.82 c #Conflicts: 564000 | #Constraints: 17811 1915.99/1921.82 c #Conflicts: 565000 | #Constraints: 18811 1915.99/1921.82 c #Conflicts: 566000 | #Constraints: 19811 1915.99/1921.82 c #Conflicts: 567000 | #Constraints: 20811 1915.99/1921.82 c #Conflicts: 568000 | #Constraints: 21811 1915.99/1921.82 c #Conflicts: 569000 | #Constraints: 22811 1915.99/1921.82 c #Conflicts: 570000 | #Constraints: 23811 1915.99/1921.82 c #Conflicts: 571000 | #Constraints: 24811 1915.99/1921.82 c #Conflicts: 572000 | #Constraints: 25811 1915.99/1921.82 c #Conflicts: 573000 | #Constraints: 26811 1915.99/1921.82 c #Conflicts: 574000 | #Constraints: 27811 1915.99/1921.82 c #Conflicts: 575000 | #Constraints: 28811 1915.99/1921.82 c #Conflicts: 576000 | #Constraints: 29811 1915.99/1921.82 c INPROCESSING 1915.99/1921.82 c GARBAGE COLLECT 1915.99/1921.82 c rational objective 1.32012 2000.81/2006.91 c #Conflicts: 577000 | #Constraints: 15809 2000.81/2006.91 c #Conflicts: 578000 | #Constraints: 16809 2000.81/2006.91 c #Conflicts: 579000 | #Constraints: 17809 2000.81/2006.91 c #Conflicts: 580000 | #Constraints: 18809 2000.81/2006.91 c #Conflicts: 581000 | #Constraints: 19809 2000.81/2006.91 c #Conflicts: 582000 | #Constraints: 20809 2000.81/2006.91 c #Conflicts: 583000 | #Constraints: 21809 2000.81/2006.91 c #Conflicts: 584000 | #Constraints: 22809 2000.81/2006.91 c #Conflicts: 585000 | #Constraints: 23809 2000.81/2006.91 c #Conflicts: 586000 | #Constraints: 24809 2000.81/2006.91 c #Conflicts: 587000 | #Constraints: 25809 2000.81/2006.91 c #Conflicts: 588000 | #Constraints: 26809 2000.81/2006.91 c #Conflicts: 589000 | #Constraints: 27809 2000.81/2006.91 c #Conflicts: 590000 | #Constraints: 28809 2000.81/2006.91 c #Conflicts: 591000 | #Constraints: 29809 2000.81/2006.91 c INPROCESSING 2000.81/2006.91 c GARBAGE COLLECT 2000.81/2006.91 c rational objective 1.32012 2089.05/2095.46 c #Conflicts: 592000 | #Constraints: 15609 2089.05/2095.46 c #Conflicts: 593000 | #Constraints: 16609 2089.05/2095.46 c #Conflicts: 594000 | #Constraints: 17609 2089.05/2095.46 c #Conflicts: 595000 | #Constraints: 18609 2089.05/2095.46 c #Conflicts: 596000 | #Constraints: 19609 2089.05/2095.46 c #Conflicts: 597000 | #Constraints: 20609 2089.05/2095.46 c #Conflicts: 598000 | #Constraints: 21609 2089.05/2095.46 c #Conflicts: 599000 | #Constraints: 22609 2089.05/2095.46 c #Conflicts: 600000 | #Constraints: 23609 2089.05/2095.46 c #Conflicts: 601000 | #Constraints: 24609 2089.05/2095.46 c #Conflicts: 602000 | #Constraints: 25609 2089.05/2095.46 c #Conflicts: 603000 | #Constraints: 26609 2089.05/2095.46 c #Conflicts: 604000 | #Constraints: 27609 2089.05/2095.46 c #Conflicts: 605000 | #Constraints: 28609 2089.05/2095.46 c #Conflicts: 606000 | #Constraints: 29609 2089.05/2095.46 c #Conflicts: 607000 | #Constraints: 30609 2089.05/2095.46 c INPROCESSING 2089.05/2095.46 c GARBAGE COLLECT 2089.05/2095.46 c rational objective 1.32012 2171.31/2177.95 c #Conflicts: 608000 | #Constraints: 16216 2171.31/2177.95 c #Conflicts: 609000 | #Constraints: 17216 2171.31/2177.95 c #Conflicts: 610000 | #Constraints: 18216 2171.31/2177.95 c #Conflicts: 611000 | #Constraints: 19216 2171.31/2177.95 c #Conflicts: 612000 | #Constraints: 20216 2171.31/2177.95 c #Conflicts: 613000 | #Constraints: 21216 2171.31/2177.95 c #Conflicts: 614000 | #Constraints: 22216 2171.31/2177.95 c #Conflicts: 615000 | #Constraints: 23216 2171.31/2177.95 c #Conflicts: 616000 | #Constraints: 24216 2171.31/2177.95 c #Conflicts: 617000 | #Constraints: 25216 2171.31/2177.95 c #Conflicts: 618000 | #Constraints: 26216 2171.31/2177.95 c #Conflicts: 619000 | #Constraints: 27216 2171.31/2177.95 c #Conflicts: 620000 | #Constraints: 28216 2171.31/2177.95 c #Conflicts: 621000 | #Constraints: 29216 2171.31/2177.95 c #Conflicts: 622000 | #Constraints: 30216 2171.31/2177.95 c #Conflicts: 623000 | #Constraints: 31216 2171.31/2177.95 c INPROCESSING 2171.31/2177.95 c GARBAGE COLLECT 2171.31/2177.95 c rational objective 1.32012 2256.27/2263.12 c #Conflicts: 624000 | #Constraints: 16613 2256.27/2263.12 c #Conflicts: 625000 | #Constraints: 17613 2256.27/2263.12 c #Conflicts: 626000 | #Constraints: 18613 2256.27/2263.12 c #Conflicts: 627000 | #Constraints: 19613 2256.27/2263.12 c #Conflicts: 628000 | #Constraints: 20613 2256.27/2263.12 c #Conflicts: 629000 | #Constraints: 21613 2256.27/2263.12 c #Conflicts: 630000 | #Constraints: 22613 2256.27/2263.12 c #Conflicts: 631000 | #Constraints: 23613 2256.27/2263.12 c #Conflicts: 632000 | #Constraints: 24613 2256.27/2263.12 c #Conflicts: 633000 | #Constraints: 25613 2256.27/2263.12 c #Conflicts: 634000 | #Constraints: 26613 2256.27/2263.12 c #Conflicts: 635000 | #Constraints: 27613 2256.27/2263.12 c #Conflicts: 636000 | #Constraints: 28613 2256.27/2263.12 c #Conflicts: 637000 | #Constraints: 29613 2256.27/2263.12 c #Conflicts: 638000 | #Constraints: 30613 2256.27/2263.12 c #Conflicts: 639000 | #Constraints: 31613 2256.27/2263.12 c INPROCESSING 2256.27/2263.12 c GARBAGE COLLECT 2256.27/2263.12 c rational objective 1.32012 2345.87/2353.09 c #Conflicts: 640000 | #Constraints: 16815 2345.87/2353.09 c #Conflicts: 641000 | #Constraints: 17815 2345.87/2353.09 c #Conflicts: 642000 | #Constraints: 18815 2345.87/2353.09 c #Conflicts: 643000 | #Constraints: 19815 2345.87/2353.09 c #Conflicts: 644000 | #Constraints: 20815 2345.87/2353.09 c #Conflicts: 645000 | #Constraints: 21815 2345.87/2353.09 c #Conflicts: 646000 | #Constraints: 22815 2345.87/2353.09 c #Conflicts: 647000 | #Constraints: 23815 2345.87/2353.09 c #Conflicts: 648000 | #Constraints: 24815 2345.87/2353.09 c #Conflicts: 649000 | #Constraints: 25815 2345.87/2353.09 c #Conflicts: 650000 | #Constraints: 26815 2345.87/2353.09 c #Conflicts: 651000 | #Constraints: 27815 2345.87/2353.09 c #Conflicts: 652000 | #Constraints: 28815 2345.87/2353.09 c #Conflicts: 653000 | #Constraints: 29815 2345.87/2353.09 c #Conflicts: 654000 | #Constraints: 30815 2345.87/2353.09 c #Conflicts: 655000 | #Constraints: 31815 2345.87/2353.09 c INPROCESSING 2345.87/2353.09 c GARBAGE COLLECT 2345.87/2353.09 c rational objective 1.32012 2458.58/2466.19 c #Conflicts: 656000 | #Constraints: 16818 2458.58/2466.19 c #Conflicts: 657000 | #Constraints: 17818 2458.58/2466.19 c #Conflicts: 658000 | #Constraints: 18818 2458.58/2466.19 c #Conflicts: 659000 | #Constraints: 19818 2458.58/2466.19 c #Conflicts: 660000 | #Constraints: 20818 2458.58/2466.19 c #Conflicts: 661000 | #Constraints: 21818 2458.58/2466.19 c #Conflicts: 662000 | #Constraints: 22818 2458.58/2466.19 c #Conflicts: 663000 | #Constraints: 23818 2458.58/2466.19 c #Conflicts: 664000 | #Constraints: 24818 2458.58/2466.19 c #Conflicts: 665000 | #Constraints: 25818 2458.58/2466.19 c #Conflicts: 666000 | #Constraints: 26818 2458.58/2466.19 c #Conflicts: 667000 | #Constraints: 27818 2458.58/2466.19 c #Conflicts: 668000 | #Constraints: 28818 2458.58/2466.19 c #Conflicts: 669000 | #Constraints: 29818 2458.58/2466.19 c #Conflicts: 670000 | #Constraints: 30818 2458.58/2466.19 c #Conflicts: 671000 | #Constraints: 31818 2458.58/2466.19 c INPROCESSING 2458.58/2466.19 c GARBAGE COLLECT 2458.58/2466.19 c rational objective 1.32012 2559.63/2567.59 c #Conflicts: 672000 | #Constraints: 16618 2559.63/2567.59 c #Conflicts: 673000 | #Constraints: 17618 2559.63/2567.59 c #Conflicts: 674000 | #Constraints: 18618 2559.63/2567.59 c #Conflicts: 675000 | #Constraints: 19618 2559.63/2567.59 c #Conflicts: 676000 | #Constraints: 20618 2559.63/2567.59 c #Conflicts: 677000 | #Constraints: 21618 2559.63/2567.59 c #Conflicts: 678000 | #Constraints: 22618 2559.63/2567.59 c #Conflicts: 679000 | #Constraints: 23618 2559.63/2567.59 c #Conflicts: 680000 | #Constraints: 24618 2559.63/2567.59 c #Conflicts: 681000 | #Constraints: 25618 2559.63/2567.59 c #Conflicts: 682000 | #Constraints: 26618 2559.63/2567.59 c #Conflicts: 683000 | #Constraints: 27618 2559.63/2567.59 c #Conflicts: 684000 | #Constraints: 28618 2559.63/2567.59 c #Conflicts: 685000 | #Constraints: 29618 2559.63/2567.59 c #Conflicts: 686000 | #Constraints: 30618 2559.63/2567.59 c #Conflicts: 687000 | #Constraints: 31618 2559.63/2567.59 c #Conflicts: 688000 | #Constraints: 32618 2559.63/2567.59 c INPROCESSING 2559.63/2567.59 c GARBAGE COLLECT 2559.63/2567.59 c rational objective 1.32012 2656.91/2665.19 c #Conflicts: 689000 | #Constraints: 17221 2656.91/2665.19 c #Conflicts: 690000 | #Constraints: 18221 2656.91/2665.19 c #Conflicts: 691000 | #Constraints: 19221 2656.91/2665.19 c #Conflicts: 692000 | #Constraints: 20221 2656.91/2665.19 c #Conflicts: 693000 | #Constraints: 21221 2656.91/2665.19 c #Conflicts: 694000 | #Constraints: 22221 2656.91/2665.19 c #Conflicts: 695000 | #Constraints: 23221 2656.91/2665.19 c #Conflicts: 696000 | #Constraints: 24221 2656.91/2665.19 c #Conflicts: 697000 | #Constraints: 25221 2656.91/2665.19 c #Conflicts: 698000 | #Constraints: 26221 2656.91/2665.19 c #Conflicts: 699000 | #Constraints: 27221 2656.91/2665.19 c #Conflicts: 700000 | #Constraints: 28221 2656.91/2665.19 c #Conflicts: 701000 | #Constraints: 29221 2656.91/2665.19 c #Conflicts: 702000 | #Constraints: 30221 2656.91/2665.19 c #Conflicts: 703000 | #Constraints: 31221 2656.91/2665.19 c #Conflicts: 704000 | #Constraints: 32221 2656.91/2665.19 c #Conflicts: 705000 | #Constraints: 33221 2656.91/2665.19 c INPROCESSING 2656.91/2665.19 c GARBAGE COLLECT 2656.91/2665.19 c rational objective 1.32012 2793.54/2802.20 c #Conflicts: 706000 | #Constraints: 17613 2793.54/2802.20 c #Conflicts: 707000 | #Constraints: 18613 2793.54/2802.20 c #Conflicts: 708000 | #Constraints: 19613 2793.54/2802.20 c #Conflicts: 709000 | #Constraints: 20613 2793.54/2802.20 c #Conflicts: 710000 | #Constraints: 21613 2793.54/2802.20 c #Conflicts: 711000 | #Constraints: 22613 2793.54/2802.20 c #Conflicts: 712000 | #Constraints: 23613 2793.54/2802.20 c #Conflicts: 713000 | #Constraints: 24613 2793.54/2802.20 c #Conflicts: 714000 | #Constraints: 25613 2793.54/2802.20 c #Conflicts: 715000 | #Constraints: 26613 2793.54/2802.20 c #Conflicts: 716000 | #Constraints: 27613 2793.54/2802.20 c #Conflicts: 717000 | #Constraints: 28613 2793.54/2802.20 c #Conflicts: 718000 | #Constraints: 29613 2793.54/2802.20 c #Conflicts: 719000 | #Constraints: 30613 2793.54/2802.20 c #Conflicts: 720000 | #Constraints: 31613 2793.54/2802.20 c #Conflicts: 721000 | #Constraints: 32613 2793.54/2802.20 c #Conflicts: 722000 | #Constraints: 33613 2793.54/2802.20 c INPROCESSING 2793.54/2802.20 c GARBAGE COLLECT 2793.54/2802.20 c rational objective 1.32012 2929.26/2938.42 c #Conflicts: 723000 | #Constraints: 17814 2929.26/2938.42 c #Conflicts: 724000 | #Constraints: 18814 2929.26/2938.42 c #Conflicts: 725000 | #Constraints: 19814 2929.26/2938.42 c #Conflicts: 726000 | #Constraints: 20814 2929.26/2938.42 c #Conflicts: 727000 | #Constraints: 21814 2929.26/2938.42 c #Conflicts: 728000 | #Constraints: 22814 2929.26/2938.42 c #Conflicts: 729000 | #Constraints: 23814 2929.26/2938.42 c #Conflicts: 730000 | #Constraints: 24814 2929.26/2938.42 c #Conflicts: 731000 | #Constraints: 25815 2929.26/2938.42 c #Conflicts: 732000 | #Constraints: 26815 2929.26/2938.42 c #Conflicts: 733000 | #Constraints: 27815 2929.26/2938.42 c #Conflicts: 734000 | #Constraints: 28815 2929.26/2938.42 c #Conflicts: 735000 | #Constraints: 29815 2929.26/2938.42 c #Conflicts: 736000 | #Constraints: 30815 2929.26/2938.42 c #Conflicts: 737000 | #Constraints: 31815 2929.26/2938.42 c #Conflicts: 738000 | #Constraints: 32815 2929.26/2938.42 c #Conflicts: 739000 | #Constraints: 33815 2929.26/2938.42 c INPROCESSING 2929.26/2938.42 c GARBAGE COLLECT 2929.26/2938.42 c rational objective 1.32012 3050.76/3060.45 c #Conflicts: 740000 | #Constraints: 17821 3050.76/3060.45 c #Conflicts: 741000 | #Constraints: 18821 3050.76/3060.45 c #Conflicts: 742000 | #Constraints: 19821 3050.76/3060.45 c #Conflicts: 743000 | #Constraints: 20821 3050.76/3060.45 c #Conflicts: 744000 | #Constraints: 21821 3050.76/3060.45 c #Conflicts: 745000 | #Constraints: 22821 3050.76/3060.45 c #Conflicts: 746000 | #Constraints: 23821 3050.76/3060.45 c #Conflicts: 747000 | #Constraints: 24821 3050.76/3060.45 c #Conflicts: 748000 | #Constraints: 25821 3050.76/3060.45 c #Conflicts: 749000 | #Constraints: 26821 3050.76/3060.45 c #Conflicts: 750000 | #Constraints: 27821 3050.76/3060.45 c #Conflicts: 751000 | #Constraints: 28821 3050.76/3060.45 c #Conflicts: 752000 | #Constraints: 29821 3050.76/3060.45 c #Conflicts: 753000 | #Constraints: 30821 3050.76/3060.45 c #Conflicts: 754000 | #Constraints: 31821 3050.76/3060.45 c #Conflicts: 755000 | #Constraints: 32821 3050.76/3060.45 c #Conflicts: 756000 | #Constraints: 33821 3050.76/3060.45 c INPROCESSING 3050.76/3060.45 c GARBAGE COLLECT 3050.76/3060.45 c rational objective 1.32012 3167.01/3177.11 c #Conflicts: 757000 | #Constraints: 17616 3167.01/3177.11 c #Conflicts: 758000 | #Constraints: 18616 3167.01/3177.11 c #Conflicts: 759000 | #Constraints: 19616 3167.01/3177.11 c #Conflicts: 760000 | #Constraints: 20616 3167.01/3177.11 c #Conflicts: 761000 | #Constraints: 21616 3167.01/3177.11 c #Conflicts: 762000 | #Constraints: 22616 3167.01/3177.11 c #Conflicts: 763000 | #Constraints: 23616 3167.01/3177.11 c #Conflicts: 764000 | #Constraints: 24616 3167.01/3177.11 c #Conflicts: 765000 | #Constraints: 25616 3167.01/3177.11 c #Conflicts: 766000 | #Constraints: 26616 3167.01/3177.11 c #Conflicts: 767000 | #Constraints: 27616 3167.01/3177.11 c #Conflicts: 768000 | #Constraints: 28616 3167.01/3177.11 c #Conflicts: 769000 | #Constraints: 29616 3167.01/3177.11 c #Conflicts: 770000 | #Constraints: 30616 3167.01/3177.11 c #Conflicts: 771000 | #Constraints: 31616 3167.01/3177.11 c #Conflicts: 772000 | #Constraints: 32616 3167.01/3177.11 c #Conflicts: 773000 | #Constraints: 33616 3167.01/3177.11 c #Conflicts: 774000 | #Constraints: 34616 3167.01/3177.11 c INPROCESSING 3167.01/3177.11 c GARBAGE COLLECT 3167.01/3177.11 c rational objective 1.32012 3322.99/3333.73 c #Conflicts: 775000 | #Constraints: 18215 3322.99/3333.73 c #Conflicts: 776000 | #Constraints: 19215 3322.99/3333.73 c #Conflicts: 777000 | #Constraints: 20215 3322.99/3333.73 c #Conflicts: 778000 | #Constraints: 21215 3322.99/3333.73 c #Conflicts: 779000 | #Constraints: 22215 3322.99/3333.73 c #Conflicts: 780000 | #Constraints: 23215 3322.99/3333.73 c #Conflicts: 781000 | #Constraints: 24215 3322.99/3333.73 c #Conflicts: 782000 | #Constraints: 25215 3322.99/3333.73 c #Conflicts: 783000 | #Constraints: 26215 3322.99/3333.73 c #Conflicts: 784000 | #Constraints: 27215 3322.99/3333.73 c #Conflicts: 785000 | #Constraints: 28215 3322.99/3333.73 c #Conflicts: 786000 | #Constraints: 29215 3322.99/3333.73 c #Conflicts: 787000 | #Constraints: 30215 3322.99/3333.73 c #Conflicts: 788000 | #Constraints: 31215 3322.99/3333.73 c #Conflicts: 789000 | #Constraints: 32215 3322.99/3333.73 c #Conflicts: 790000 | #Constraints: 33215 3322.99/3333.73 c #Conflicts: 791000 | #Constraints: 34215 3322.99/3333.73 c #Conflicts: 792000 | #Constraints: 35215 3322.99/3333.73 c INPROCESSING 3322.99/3333.73 c GARBAGE COLLECT 3322.99/3333.73 c rational objective 1.32012 3457.65/3468.91 c #Conflicts: 793000 | #Constraints: 18618 3457.65/3468.91 c #Conflicts: 794000 | #Constraints: 19618 3457.65/3468.91 c #Conflicts: 795000 | #Constraints: 20618 3457.65/3468.91 c #Conflicts: 796000 | #Constraints: 21618 3457.65/3468.91 c #Conflicts: 797000 | #Constraints: 22618 3457.65/3468.91 c #Conflicts: 798000 | #Constraints: 23618 3457.65/3468.91 c #Conflicts: 799000 | #Constraints: 24618 3457.65/3468.91 c #Conflicts: 800000 | #Constraints: 25618 3457.65/3468.91 c #Conflicts: 801000 | #Constraints: 26618 3457.65/3468.91 c #Conflicts: 802000 | #Constraints: 27618 3457.65/3468.91 c #Conflicts: 803000 | #Constraints: 28618 3457.65/3468.91 c #Conflicts: 804000 | #Constraints: 29618 3457.65/3468.91 c #Conflicts: 805000 | #Constraints: 30618 3457.65/3468.91 c #Conflicts: 806000 | #Constraints: 31618 3457.65/3468.91 c #Conflicts: 807000 | #Constraints: 32618 3457.65/3468.91 c #Conflicts: 808000 | #Constraints: 33618 3457.65/3468.91 c #Conflicts: 809000 | #Constraints: 34619 3457.65/3468.91 c #Conflicts: 810000 | #Constraints: 35619 3457.65/3468.91 c INPROCESSING 3457.65/3468.91 c GARBAGE COLLECT 3457.65/3468.91 c rational objective 1.32012 3590.93/3602.65 c #Conflicts: 811000 | #Constraints: 18816 3590.93/3602.65 c #Conflicts: 812000 | #Constraints: 19816 3590.93/3602.65 c #Conflicts: 813000 | #Constraints: 20816 3590.93/3602.65 c #Conflicts: 814000 | #Constraints: 21816 3590.93/3602.65 c #Conflicts: 815000 | #Constraints: 22816 3590.93/3602.65 c #Conflicts: 816000 | #Constraints: 23816 3590.93/3602.65 c #Conflicts: 817000 | #Constraints: 24816 3590.93/3602.65 c #Conflicts: 818000 | #Constraints: 25816 3590.93/3602.65 c #Conflicts: 819000 | #Constraints: 26816 3590.93/3602.65 c #Conflicts: 820000 | #Constraints: 27816 3590.93/3602.65 c #Conflicts: 821000 | #Constraints: 28816 3590.93/3602.65 c #Conflicts: 822000 | #Constraints: 29816 3590.93/3602.65 c #Conflicts: 823000 | #Constraints: 30816 3590.93/3602.65 c #Conflicts: 824000 | #Constraints: 31816 3590.93/3602.65 c #Conflicts: 825000 | #Constraints: 32816 3590.93/3602.65 c #Conflicts: 826000 | #Constraints: 33816 3590.93/3602.65 c #Conflicts: 827000 | #Constraints: 34816 3590.93/3602.65 c #Conflicts: 828000 | #Constraints: 35816 3590.93/3602.65 c INPROCESSING 3590.93/3602.65 c GARBAGE COLLECT 3590.93/3602.65 c rational objective 1.34391 3600.00/3611.70 c #Conflicts: 829000 | #Constraints: 18815 3600.00/3611.70 c Program interrupted by user. 3600.00/3611.70 c cpu time 3576.14 s 3600.00/3611.70 c deterministic time 594899613308 5.95e+11 3600.00/3611.70 c optimization time 8.91187 s 3600.00/3611.70 c total solve time 3567.23 s 3600.00/3611.70 c core-guided solve time 0 s 3600.00/3611.70 c propagation time 3157.18 s 3600.00/3611.70 c conflict analysis time 395.081 s 3600.00/3611.70 c propagations 10828419 3600.00/3611.70 c resolve steps 2314794 3600.00/3611.70 c decisions 7995860 3600.00/3611.70 c conflicts 829780 3600.00/3611.70 c restarts 1787 3600.00/3611.70 c inprocessing phases 82 3600.00/3611.70 c input clauses 0 3600.00/3611.70 c input cardinalities 0 3600.00/3611.70 c input general constraints 2 3600.00/3611.70 c input average constraint length 82.00 3600.00/3611.70 c input average constraint degree 486858570.50 3600.00/3611.70 c learned clauses 519703 3600.00/3611.70 c learned cardinalities 3 3600.00/3611.70 c learned general constraints 310092 3600.00/3611.70 c learned average constraint length 52.00 3600.00/3611.70 c learned average constraint degree 42714220.38 3600.00/3611.70 c watched constraints 196003 3600.00/3611.70 c counting constraints 114091 3600.00/3611.70 c gcd simplifications 399352 3600.00/3611.70 c detected cardinalities 3 3600.00/3611.70 c weakened non-implied lits 2099558 3600.00/3611.70 c weakened non-implying lits 7055384 3600.00/3611.70 c original variables 82 3600.00/3611.70 c clausal propagations 856450 3600.00/3611.70 c cardinality propagations 3 3600.00/3611.70 c watched propagations 4598418 3600.00/3611.70 c counting propagations 4785093 3600.00/3611.70 c watch lookups 91102881200 3600.00/3611.70 c watch backjump lookups 90667783986 3600.00/3611.70 c watch checks 22592602071 3600.00/3611.70 c propagation checks 390279644368 3600.00/3611.70 c constraint additions 217625509 3600.00/3611.70 c trail pops 19653963 3600.00/3611.70 c formula constraints 2 3600.00/3611.70 c learned constraints 829762 3600.00/3611.70 c bound constraints 0 3600.00/3611.70 c core-guided constraints 0 3600.00/3611.70 c encountered formula constraints 1704231 3600.00/3611.70 c encountered learned constraints 1440244 3600.00/3611.70 c encountered bound constraints 0 3600.00/3611.70 c encountered core-guided constraints 0 3600.00/3611.70 c LP total time 38.6516 s 3600.00/3611.70 c LP solve time 30.91 s 3600.00/3611.70 c LP constraints added 12 3600.00/3611.70 c LP constraints removed 7 3600.00/3611.70 c LP pivots internal 597557 3600.00/3611.70 c LP pivots root 374 3600.00/3611.70 c LP calls 773676 3600.00/3611.70 c LP optimalities 773658 3600.00/3611.70 c LP no pivot count 421685 3600.00/3611.70 c LP infeasibilities 18 3600.00/3611.70 c LP valid Farkas constraints 18 3600.00/3611.70 c LP learned Farkas constraints 18 3600.00/3611.70 c LP basis resets 0 3600.00/3611.70 c LP cycling count 0 3600.00/3611.70 c LP singular count 0 3600.00/3611.70 c LP no primal count 0 3600.00/3611.70 c LP no farkas count 0 3600.00/3611.70 c LP other issue count 0 3600.00/3611.70 c LP Gomory cuts 0 3600.00/3611.70 c LP learned cuts 10 3600.00/3611.70 c LP deleted cuts 7 3600.00/3611.70 c LP encountered Gomory constraints 0 3600.00/3611.70 c LP encountered Farkas constraints 56 3600.00/3611.70 c LP encountered learned Farkas constraints 25 3600.00/3611.70 c CG auxiliary variables introduced 0 3600.00/3611.70 c CG solutions found 0 3600.00/3611.70 c CG cores constructed 0 3600.00/3611.70 c CG core cardinality constraints returned 0 3600.00/3611.70 c CG unit cores 0 3600.00/3611.70 c CG single cores 0 3600.00/3611.70 c CG blocks removed during cardinality reduction 0 3600.00/3611.70 c CG first core best 0 3600.00/3611.70 c CG decision core best 0 3600.00/3611.70 c CG core reduction tie 0 3600.00/3611.70 c CG core degree average 0.00 3600.00/3611.70 c CG core slack average 0.00 3600.00/3611.70 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: 63968 MiB (23412 MiB free)
memory of node 1: 64473 MiB (10082 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456930-1721817199/watcher-4456930-1721817199 -o /tmp/evaluation-result-4456930-1721817199/solver-4456930-1721817199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721817187-230379 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456930-1721817199 --lp-cut-gomory=0 HOME/instance-4456930-1721817199.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=230488, runsolver pid=230485
[startup+0.100417 s]*
/proc/loadavg: 1.09 0.30 0.16 5/256 230489
/proc/meminfo: memFree=34297324/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=37772 memory=7688 CPUtime=0.1 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 415 0 0 0 8 2 0 0 20 0 1 0 18248177 38678528 1922 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 9443 1922 1744 992 0 1301 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37772 KiB
Current children cumulated memory: 7688 KiB
[startup+0.20579 s]*
/proc/loadavg: 1.09 0.30 0.16 5/256 230489
/proc/meminfo: memFree=34295924/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=37900 memory=8272 CPUtime=0.2 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 504 0 0 0 16 4 0 0 20 0 1 0 18248177 38809600 2068 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 9475 2068 1744 992 0 1333 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37900 KiB
Current children cumulated memory: 8272 KiB
[startup+0.305699 s]*
/proc/loadavg: 1.09 0.30 0.16 5/256 230489
/proc/meminfo: memFree=34295112/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=38032 memory=8272 CPUtime=0.3 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 540 0 0 0 25 5 0 0 20 0 1 0 18248177 38944768 2068 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 9508 2068 1744 992 0 1366 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38032 KiB
Current children cumulated memory: 8272 KiB
[startup+0.700236 s]
/proc/loadavg: 1.09 0.30 0.16 5/256 230489
/proc/meminfo: memFree=34293628/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=38360 memory=9252 CPUtime=0.68 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 701 0 0 0 59 9 0 0 20 0 1 0 18248177 39280640 2313 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 9590 2313 1802 992 0 1448 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38360 KiB
Current children cumulated memory: 9252 KiB
[startup+1.50023 s]
/proc/loadavg: 1.09 0.30 0.16 5/254 230503
/proc/meminfo: memFree=34468104/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=38964 memory=11952 CPUtime=1.49 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 853 0 0 0 133 16 0 0 20 0 1 0 18248177 39899136 2988 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 9741 2988 1802 992 0 1599 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38964 KiB
Current children cumulated memory: 11952 KiB
[startup+3.10557 s]
/proc/loadavg: 1.09 0.30 0.16 5/256 230535
/proc/meminfo: memFree=34465796/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=39596 memory=12496 CPUtime=3.08 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 990 0 0 0 283 25 0 0 20 0 1 0 18248177 40546304 3124 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 9899 3124 1802 992 0 1757 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39596 KiB
Current children cumulated memory: 12496 KiB
[startup+6.30021 s]
/proc/loadavg: 1.32 0.37 0.18 5/259 230538
/proc/meminfo: memFree=34449572/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=40044 memory=13008 CPUtime=6.27 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 1120 0 0 0 588 39 0 0 20 0 1 0 18248177 41005056 3252 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 10011 3252 1802 992 0 1869 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40044 KiB
Current children cumulated memory: 13008 KiB
[startup+12.7002 s]
/proc/loadavg: 1.54 0.43 0.20 5/258 230539
/proc/meminfo: memFree=34426616/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=40940 memory=13760 CPUtime=12.65 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 1312 0 0 0 1199 66 0 0 20 0 1 0 18248177 41922560 3440 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 10235 3440 1802 992 0 2093 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40940 KiB
Current children cumulated memory: 13760 KiB
[startup+25.5002 s]
/proc/loadavg: 2.08 0.60 0.26 5/258 230541
/proc/meminfo: memFree=34392112/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=41936 memory=15064 CPUtime=25.4 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 1644 0 0 0 2435 105 0 0 20 0 1 0 18248177 42942464 3766 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 10484 3766 1802 992 0 2342 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 41936 KiB
Current children cumulated memory: 15064 KiB
[startup+51.1059 s]
/proc/loadavg: 2.80 0.89 0.37 5/258 230545
/proc/meminfo: memFree=34340396/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=42256 memory=16136 CPUtime=50.92 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 1901 0 0 0 4931 161 0 0 20 0 1 0 18248177 43270144 4034 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 10564 4034 1834 992 0 2422 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 42256 KiB
Current children cumulated memory: 16136 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.39 0.57 5/258 230646
/proc/meminfo: memFree=37005496/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=48336 memory=21420 CPUtime=101.95 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 3313 0 0 0 9951 244 0 0 20 0 1 0 18248177 49496064 5355 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 12084 5355 1834 992 0 3942 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 48336 KiB
Current children cumulated memory: 21420 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 1.90 0.80 5/255 230657
/proc/meminfo: memFree=36630296/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=48528 memory=22348 CPUtime=161.76 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 3502 0 0 0 15857 319 0 0 20 0 1 0 18248177 49692672 5587 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 12132 5587 1834 992 0 3990 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 48528 KiB
Current children cumulated memory: 22348 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.30 1.00 5/255 230667
/proc/meminfo: memFree=36264604/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=52948 memory=22976 CPUtime=221.61 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 3680 0 0 0 21772 389 0 0 20 0 1 0 18248177 54218752 5744 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 13237 5744 1834 992 0 5095 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 52948 KiB
Current children cumulated memory: 22976 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.63 1.20 5/255 230677
/proc/meminfo: memFree=35986552/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=53460 memory=25376 CPUtime=281.45 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 3793 0 0 0 27685 460 0 0 20 0 1 0 18248177 54743040 6344 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 13365 6344 1834 992 0 5223 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 53460 KiB
Current children cumulated memory: 25376 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 2.94 1.40 5/254 230688
/proc/meminfo: memFree=35698260/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=57620 memory=27724 CPUtime=341.29 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 4442 0 0 0 33612 517 0 0 20 0 1 0 18248177 59002880 6931 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 14405 6931 1834 992 0 6263 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 57620 KiB
Current children cumulated memory: 27724 KiB
[startup+402.3 s]
/proc/loadavg: 4.48 3.23 1.60 5/255 230700
/proc/meminfo: memFree=35471668/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=59540 memory=30952 CPUtime=401.15 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 4781 0 0 0 39544 571 0 0 20 0 1 0 18248177 60968960 7738 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 14885 7738 1834 992 0 6743 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 59540 KiB
Current children cumulated memory: 30952 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 3.39 1.75 5/257 230714
/proc/meminfo: memFree=35269664/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=59540 memory=31196 CPUtime=460.98 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 4837 0 0 0 45472 626 0 0 20 0 1 0 18248177 60968960 7799 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 14885 7799 1834 992 0 6743 0
################
# More data... #
################
Current children cumulated memory: 48636 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.15 4.01 5/257 232003
/proc/meminfo: memFree=29197488/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=78652 memory=49036 CPUtime=2913.22 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 8960 0 0 0 289263 2059 0 0 20 0 1 0 18248177 80539648 12259 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 19663 12259 1834 992 0 11521 0
Current children cumulated CPU time: 2913.22 s
Current children cumulated vsize: 78652 KiB
Current children cumulated memory: 49036 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.14 4.01 5/257 232014
/proc/meminfo: memFree=28517484/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=90840 memory=52428 CPUtime=2972.98 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 9291 0 0 0 295207 2091 0 0 20 0 1 0 18248177 93020160 13107 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 22710 13107 1834 992 0 14568 0
Current children cumulated CPU time: 2972.98 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 52428 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.01 5/257 232025
/proc/meminfo: memFree=28017076/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=90840 memory=52428 CPUtime=3032.74 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 9299 0 0 0 301153 2121 0 0 20 0 1 0 18248177 93020160 13107 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 22710 13107 1834 992 0 14568 0
Current children cumulated CPU time: 3032.74 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 52428 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.02 5/257 232035
/proc/meminfo: memFree=27475552/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=90840 memory=52428 CPUtime=3092.49 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 9308 0 0 0 307096 2153 0 0 20 0 1 0 18248177 93020160 13107 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 22710 13107 1834 992 0 14568 0
Current children cumulated CPU time: 3092.49 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 52428 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.12 4.01 5/257 232434
/proc/meminfo: memFree=27052316/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=90840 memory=52428 CPUtime=3152.26 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 9316 0 0 0 313040 2186 0 0 20 0 1 0 18248177 93020160 13107 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 22710 13107 1834 992 0 14568 0
Current children cumulated CPU time: 3152.26 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 52428 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.02 5/257 232444
/proc/meminfo: memFree=26611796/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=90840 memory=52428 CPUtime=3212.02 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 9325 0 0 0 318984 2218 0 0 20 0 1 0 18248177 93020160 13107 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 22710 13107 1834 992 0 14568 0
Current children cumulated CPU time: 3212.02 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 52428 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/257 232454
/proc/meminfo: memFree=26368008/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=90840 memory=52532 CPUtime=3271.79 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 9334 0 0 0 324934 2245 0 0 20 0 1 0 18248177 93020160 13133 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 22710 13133 1834 992 0 14568 0
Current children cumulated CPU time: 3271.79 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 52532 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.02 5/258 232633
/proc/meminfo: memFree=25775524/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=91352 memory=52764 CPUtime=3331.56 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 9412 0 0 0 330893 2263 0 0 20 0 1 0 18248177 93544448 13191 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 22838 13191 1834 992 0 14696 0
Current children cumulated CPU time: 3331.56 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 52764 KiB
[startup+3402.3 s]
/proc/loadavg: 4.34 4.16 4.04 5/257 232644
/proc/meminfo: memFree=25080100/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=91352 memory=52764 CPUtime=3391.33 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 9420 0 0 0 336837 2296 0 0 20 0 1 0 18248177 93544448 13191 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 22838 13191 1834 992 0 14696 0
Current children cumulated CPU time: 3391.33 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 52764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.33 4.21 4.06 5/258 232714
/proc/meminfo: memFree=24458304/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=91352 memory=52764 CPUtime=3451.08 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 9428 0 0 0 342788 2320 0 0 20 0 1 0 18248177 93544448 13191 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 22838 13191 1834 992 0 14696 0
Current children cumulated CPU time: 3451.08 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 52764 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.20 4.07 5/258 232725
/proc/meminfo: memFree=23888388/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=91352 memory=55772 CPUtime=3510.87 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 9444 0 0 0 348738 2349 0 0 20 0 1 0 18248177 93544448 13943 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 22838 13943 1834 992 0 14696 0
Current children cumulated CPU time: 3510.87 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 55772 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.07 5/258 232736
/proc/meminfo: memFree=23328632/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=91352 memory=55772 CPUtime=3570.69 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 9464 0 0 0 354694 2375 0 0 20 0 1 0 18248177 93544448 13943 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 22838 13943 1834 992 0 14696 0
Current children cumulated CPU time: 3570.69 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 55772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.16 4.17 4.07 5/256 232741
/proc/meminfo: memFree=23194716/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=91352 memory=55828 CPUtime=3600 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 9487 0 0 0 357613 2387 0 0 20 0 1 0 18248177 93544448 13957 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 22838 13957 1834 992 0 14696 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 55828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.71 s]
# the end of solver process 230488 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.14 s, system=23.878 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.16 4.17 4.07 5/256 232741
/proc/meminfo: memFree=23194716/131524600 swapFree=131071728/131071996
[pid=230488] ppid=230485 vsize=91352 memory=55828 CPUtime=3600 cores=1,3
/proc/230488/stat : 230488 (roundingsat) R 230485 230488 230367 0 -1 4194304 9487 0 0 0 357613 2387 0 0 20 0 1 0 18248177 93544448 13957 134679101440 4194304 8254037 140730866691536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34295808 140730866692960 140730866693222 140730866693222 140730866700233 0
/proc/230488/statm: 22838 13957 1834 992 0 14696 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 55828 KiB
Child status: 0
Real time (s): 3611.71
CPU time (s): 3600.02
CPU user time (s): 3576.14
CPU system time (s): 23.878
CPU usage (%): 99.6763
Max. virtual memory (cumulated for all children) (KiB): 91352
Max. memory (cumulated for all children) (KiB): 55828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.14
system time used= 23.878
maximum resident set size= 56000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9501
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1466960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73
involuntary context switches= 4879
# summary of solver processes directly reported to runsolver:
# pid: 230488
# total CPU time (s): 3600.02
# total CPU user time (s): 3576.14
# total CPU system time (s): 23.878
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.90941 second user time and 18.178 second system time
The end
Begin job on nodeC027 at 2024-07-24 12:33:19 IDJOB=4456930 IDBENCH=148102 IDSOLVER=3085 FILE ID=nodeC027/4456930-1721817199 RUNJOBID= nodeC027-1721817187-230379 SLURM_JOB_ID= 7816885 Free space on /tmp= 889884 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-4456930-1721817199/watcher-4456930-1721817199 -o /tmp/evaluation-result-4456930-1721817199/solver-4456930-1721817199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721817187-230379 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456930-1721817199 --lp-cut-gomory=0 HOME/instance-4456930-1721817199.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 13439fe0222d33319b9169d149c100b9 RANDOM SEED=163470675 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.448 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.022 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.849 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3658.654 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.459 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.088 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.066 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.389 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 34299528 kB MemAvailable: 126744136 kB Buffers: 247732 kB Cached: 92785152 kB SwapCached: 48 kB Active: 2678516 kB Inactive: 93524932 kB Active(anon): 1556 kB Inactive(anon): 3222984 kB Active(file): 2676960 kB Inactive(file): 90301948 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 98580 kB Writeback: 2272 kB AnonPages: 3170492 kB Mapped: 124972 kB Shmem: 53980 kB KReclaimable: 527108 kB Slab: 656304 kB SReclaimable: 527108 kB SUnreclaim: 129196 kB KernelStack: 4144 kB PageTables: 16004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3612496 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21024 kB HardwareCorrupted: 0 kB AnonHugePages: 1462272 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: 357076 kB DirectMap2M: 40310784 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890060 MiB End job on nodeC027 at 2024-07-24 13:33:31