| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.05 | 3612.11 |
| 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/2.01 c #variables 82 #constraints 2 0.00/2.01 c rational objective 1.12346 0.17/2.23 c #Conflicts: 1000 | #Constraints: 1001 0.17/2.23 c #Conflicts: 2000 | #Constraints: 2001 0.17/2.23 c INPROCESSING 0.17/2.23 c GARBAGE COLLECT 0.17/2.23 c rational objective 1.12346 0.47/2.57 c #Conflicts: 3000 | #Constraints: 2006 0.47/2.57 c #Conflicts: 4000 | #Constraints: 3006 0.47/2.57 c INPROCESSING 0.47/2.57 c GARBAGE COLLECT 0.47/2.57 c rational objective 1.12346 1.07/3.15 c #Conflicts: 5000 | #Constraints: 2407 1.07/3.15 c #Conflicts: 6000 | #Constraints: 3407 1.07/3.15 c INPROCESSING 1.07/3.15 c GARBAGE COLLECT 1.07/3.15 c rational objective 1.19085 1.87/3.91 c #Conflicts: 7000 | #Constraints: 2412 1.87/3.91 c #Conflicts: 8000 | #Constraints: 3412 1.87/3.91 c #Conflicts: 9000 | #Constraints: 4412 1.87/3.91 c INPROCESSING 1.87/3.91 c GARBAGE COLLECT 1.87/3.91 c rational objective 1.19091 2.97/5.00 c #Conflicts: 10000 | #Constraints: 3111 2.97/5.00 c #Conflicts: 11000 | #Constraints: 4111 2.97/5.00 c #Conflicts: 12000 | #Constraints: 5111 2.97/5.00 c INPROCESSING 2.97/5.00 c GARBAGE COLLECT 2.97/5.00 c rational objective 1.19869 4.06/6.15 c #Conflicts: 13000 | #Constraints: 3563 4.06/6.15 c #Conflicts: 14000 | #Constraints: 4563 4.06/6.15 c #Conflicts: 15000 | #Constraints: 5563 4.06/6.15 c INPROCESSING 4.06/6.15 c GARBAGE COLLECT 4.06/6.15 c rational objective 1.21725 5.66/7.79 c #Conflicts: 16000 | #Constraints: 3786 5.66/7.79 c #Conflicts: 17000 | #Constraints: 4786 5.66/7.79 c #Conflicts: 18000 | #Constraints: 5786 5.66/7.79 c INPROCESSING 5.66/7.79 c GARBAGE COLLECT 5.66/7.79 c rational objective 1.22221 7.75/9.80 c #Conflicts: 19000 | #Constraints: 3798 7.75/9.80 c #Conflicts: 20000 | #Constraints: 4798 7.75/9.80 c #Conflicts: 21000 | #Constraints: 5798 7.75/9.80 c INPROCESSING 7.75/9.80 c GARBAGE COLLECT 7.75/9.80 c rational objective 1.22221 9.75/11.83 c #Conflicts: 22000 | #Constraints: 3604 9.75/11.83 c #Conflicts: 23000 | #Constraints: 4604 9.75/11.83 c #Conflicts: 24000 | #Constraints: 5604 9.75/11.83 c #Conflicts: 25000 | #Constraints: 6604 9.75/11.83 c INPROCESSING 9.75/11.83 c GARBAGE COLLECT 9.75/11.83 c rational objective 1.22221 12.04/14.18 c #Conflicts: 26000 | #Constraints: 4206 12.04/14.18 c #Conflicts: 27000 | #Constraints: 5206 12.04/14.18 c #Conflicts: 28000 | #Constraints: 6206 12.04/14.18 c #Conflicts: 29000 | #Constraints: 7206 12.04/14.18 c INPROCESSING 12.04/14.18 c GARBAGE COLLECT 12.04/14.18 c rational objective 1.22221 15.23/17.33 c #Conflicts: 30000 | #Constraints: 4608 15.23/17.33 c #Conflicts: 31000 | #Constraints: 5608 15.23/17.33 c #Conflicts: 32000 | #Constraints: 6608 15.23/17.33 c #Conflicts: 33000 | #Constraints: 7608 15.23/17.33 c INPROCESSING 15.23/17.33 c GARBAGE COLLECT 15.23/17.33 c rational objective 1.22221 18.52/20.61 c #Conflicts: 34000 | #Constraints: 4808 18.52/20.61 c #Conflicts: 35000 | #Constraints: 5808 18.52/20.61 c #Conflicts: 36000 | #Constraints: 6808 18.52/20.61 c #Conflicts: 37000 | #Constraints: 7808 18.52/20.61 c INPROCESSING 18.52/20.61 c GARBAGE COLLECT 18.52/20.61 c rational objective 1.22221 22.82/25.00 c #Conflicts: 38000 | #Constraints: 4820 22.82/25.00 c #Conflicts: 39000 | #Constraints: 5820 22.82/25.00 c #Conflicts: 40000 | #Constraints: 6820 22.82/25.00 c #Conflicts: 41000 | #Constraints: 7820 22.82/25.00 c INPROCESSING 22.82/25.00 c GARBAGE COLLECT 22.82/25.00 c rational objective 1.22221 27.70/29.87 c #Conflicts: 42000 | #Constraints: 4615 27.70/29.87 c #Conflicts: 43000 | #Constraints: 5616 27.70/29.87 c #Conflicts: 44000 | #Constraints: 6616 27.70/29.87 c #Conflicts: 45000 | #Constraints: 7616 27.70/29.87 c #Conflicts: 46000 | #Constraints: 8616 27.70/29.87 c INPROCESSING 27.70/29.87 c GARBAGE COLLECT 27.70/29.87 c rational objective 1.22221 33.29/35.45 c #Conflicts: 47000 | #Constraints: 5211 33.29/35.45 c #Conflicts: 48000 | #Constraints: 6211 33.29/35.45 c #Conflicts: 49000 | #Constraints: 7211 33.29/35.45 c #Conflicts: 50000 | #Constraints: 8211 33.29/35.45 c #Conflicts: 51000 | #Constraints: 9211 33.29/35.45 c INPROCESSING 33.29/35.45 c GARBAGE COLLECT 33.29/35.45 c rational objective 1.22221 38.98/41.17 c #Conflicts: 52000 | #Constraints: 5611 38.98/41.17 c #Conflicts: 53000 | #Constraints: 6611 38.98/41.17 c #Conflicts: 54000 | #Constraints: 7611 38.98/41.17 c #Conflicts: 55000 | #Constraints: 8611 38.98/41.17 c #Conflicts: 56000 | #Constraints: 9611 38.98/41.17 c INPROCESSING 38.98/41.17 c GARBAGE COLLECT 38.98/41.17 c rational objective 1.22221 45.86/48.01 c #Conflicts: 57000 | #Constraints: 5811 45.86/48.01 c #Conflicts: 58000 | #Constraints: 6811 45.86/48.01 c #Conflicts: 59000 | #Constraints: 7811 45.86/48.01 c #Conflicts: 60000 | #Constraints: 8811 45.86/48.01 c #Conflicts: 61000 | #Constraints: 9811 45.86/48.01 c INPROCESSING 45.86/48.01 c GARBAGE COLLECT 45.86/48.01 c rational objective 1.22221 53.53/55.72 c #Conflicts: 62000 | #Constraints: 5814 53.53/55.72 c #Conflicts: 63000 | #Constraints: 6814 53.53/55.72 c #Conflicts: 64000 | #Constraints: 7814 53.53/55.72 c #Conflicts: 65000 | #Constraints: 8814 53.53/55.72 c #Conflicts: 66000 | #Constraints: 9814 53.53/55.72 c INPROCESSING 53.53/55.72 c GARBAGE COLLECT 53.53/55.72 c rational objective 1.22221 61.21/63.42 c #Conflicts: 67000 | #Constraints: 5614 61.21/63.42 c #Conflicts: 68000 | #Constraints: 6614 61.21/63.42 c #Conflicts: 69000 | #Constraints: 7614 61.21/63.42 c #Conflicts: 70000 | #Constraints: 8614 61.21/63.42 c #Conflicts: 71000 | #Constraints: 9614 61.21/63.42 c #Conflicts: 72000 | #Constraints: 10614 61.21/63.42 c INPROCESSING 61.21/63.42 c GARBAGE COLLECT 61.21/63.42 c rational objective 1.22221 69.39/71.66 c #Conflicts: 73000 | #Constraints: 6214 69.39/71.66 c #Conflicts: 74000 | #Constraints: 7214 69.39/71.66 c #Conflicts: 75000 | #Constraints: 8214 69.39/71.66 c #Conflicts: 76000 | #Constraints: 9214 69.39/71.66 c #Conflicts: 77000 | #Constraints: 10214 69.39/71.66 c #Conflicts: 78000 | #Constraints: 11214 69.39/71.66 c INPROCESSING 69.39/71.66 c GARBAGE COLLECT 69.39/71.66 c rational objective 1.22221 78.66/80.90 c #Conflicts: 79000 | #Constraints: 6614 78.66/80.90 c #Conflicts: 80000 | #Constraints: 7614 78.66/80.90 c #Conflicts: 81000 | #Constraints: 8614 78.66/80.90 c #Conflicts: 82000 | #Constraints: 9614 78.66/80.90 c #Conflicts: 83000 | #Constraints: 10614 78.66/80.90 c #Conflicts: 84000 | #Constraints: 11614 78.66/80.90 c INPROCESSING 78.66/80.90 c GARBAGE COLLECT 78.66/80.90 c rational objective 1.22221 88.13/90.44 c #Conflicts: 85000 | #Constraints: 6813 88.13/90.44 c #Conflicts: 86000 | #Constraints: 7813 88.13/90.44 c #Conflicts: 87000 | #Constraints: 8813 88.13/90.44 c #Conflicts: 88000 | #Constraints: 9813 88.13/90.44 c #Conflicts: 89000 | #Constraints: 10813 88.13/90.44 c #Conflicts: 90000 | #Constraints: 11813 88.13/90.44 c INPROCESSING 88.13/90.44 c GARBAGE COLLECT 88.13/90.44 c rational objective 1.22221 99.30/101.61 c #Conflicts: 91000 | #Constraints: 6814 99.30/101.61 c #Conflicts: 92000 | #Constraints: 7814 99.30/101.61 c #Conflicts: 93000 | #Constraints: 8814 99.30/101.61 c #Conflicts: 94000 | #Constraints: 9814 99.30/101.61 c #Conflicts: 95000 | #Constraints: 10814 99.30/101.61 c #Conflicts: 96000 | #Constraints: 11814 99.30/101.61 c INPROCESSING 99.30/101.61 c GARBAGE COLLECT 99.30/101.61 c rational objective 1.22221 111.86/114.20 c #Conflicts: 97000 | #Constraints: 6615 111.86/114.20 c #Conflicts: 98000 | #Constraints: 7615 111.86/114.20 c #Conflicts: 99000 | #Constraints: 8615 111.86/114.20 c #Conflicts: 100000 | #Constraints: 9615 111.86/114.20 c #Conflicts: 101000 | #Constraints: 10615 111.86/114.20 c #Conflicts: 102000 | #Constraints: 11615 111.86/114.20 c #Conflicts: 103000 | #Constraints: 12615 111.86/114.20 c INPROCESSING 111.86/114.20 c GARBAGE COLLECT 111.86/114.20 c rational objective 1.22221 125.23/127.67 c #Conflicts: 104000 | #Constraints: 7215 125.23/127.67 c #Conflicts: 105000 | #Constraints: 8215 125.23/127.67 c #Conflicts: 106000 | #Constraints: 9216 125.23/127.67 c #Conflicts: 107000 | #Constraints: 10216 125.23/127.67 c #Conflicts: 108000 | #Constraints: 11216 125.23/127.67 c #Conflicts: 109000 | #Constraints: 12216 125.23/127.67 c #Conflicts: 110000 | #Constraints: 13216 125.23/127.67 c INPROCESSING 125.23/127.67 c GARBAGE COLLECT 125.23/127.67 c rational objective 1.22221 140.79/143.27 c #Conflicts: 111000 | #Constraints: 7617 140.79/143.27 c #Conflicts: 112000 | #Constraints: 8617 140.79/143.27 c #Conflicts: 113000 | #Constraints: 9617 140.79/143.27 c #Conflicts: 114000 | #Constraints: 10617 140.79/143.27 c #Conflicts: 115000 | #Constraints: 11617 140.79/143.27 c #Conflicts: 116000 | #Constraints: 12617 140.79/143.27 c #Conflicts: 117000 | #Constraints: 13617 140.79/143.27 c INPROCESSING 140.79/143.27 c GARBAGE COLLECT 140.79/143.27 c rational objective 1.22221 155.34/157.82 c #Conflicts: 118000 | #Constraints: 7814 155.34/157.82 c #Conflicts: 119000 | #Constraints: 8814 155.34/157.82 c #Conflicts: 120000 | #Constraints: 9814 155.34/157.82 c #Conflicts: 121000 | #Constraints: 10814 155.34/157.82 c #Conflicts: 122000 | #Constraints: 11814 155.34/157.82 c #Conflicts: 123000 | #Constraints: 12814 155.34/157.82 c #Conflicts: 124000 | #Constraints: 13814 155.34/157.82 c INPROCESSING 155.34/157.82 c GARBAGE COLLECT 155.34/157.82 c rational objective 1.32012 170.70/173.28 c #Conflicts: 125000 | #Constraints: 7812 170.70/173.28 c #Conflicts: 126000 | #Constraints: 8812 170.70/173.28 c #Conflicts: 127000 | #Constraints: 9812 170.70/173.28 c #Conflicts: 128000 | #Constraints: 10812 170.70/173.28 c #Conflicts: 129000 | #Constraints: 11812 170.70/173.28 c #Conflicts: 130000 | #Constraints: 12812 170.70/173.28 c #Conflicts: 131000 | #Constraints: 13812 170.70/173.28 c INPROCESSING 170.70/173.28 c GARBAGE COLLECT 170.70/173.28 c rational objective 1.32012 186.96/189.59 c #Conflicts: 132000 | #Constraints: 7616 186.96/189.59 c #Conflicts: 133000 | #Constraints: 8616 186.96/189.59 c #Conflicts: 134000 | #Constraints: 9616 186.96/189.59 c #Conflicts: 135000 | #Constraints: 10616 186.96/189.59 c #Conflicts: 136000 | #Constraints: 11616 186.96/189.59 c #Conflicts: 137000 | #Constraints: 12616 186.96/189.59 c #Conflicts: 138000 | #Constraints: 13616 186.96/189.59 c #Conflicts: 139000 | #Constraints: 14616 186.96/189.59 c INPROCESSING 186.96/189.59 c GARBAGE COLLECT 186.96/189.59 c rational objective 1.32012 203.92/206.52 c #Conflicts: 140000 | #Constraints: 8218 203.92/206.52 c #Conflicts: 141000 | #Constraints: 9218 203.92/206.52 c #Conflicts: 142000 | #Constraints: 10218 203.92/206.52 c #Conflicts: 143000 | #Constraints: 11218 203.92/206.52 c #Conflicts: 144000 | #Constraints: 12218 203.92/206.52 c #Conflicts: 145000 | #Constraints: 13218 203.92/206.52 c #Conflicts: 146000 | #Constraints: 14218 203.92/206.52 c #Conflicts: 147000 | #Constraints: 15218 203.92/206.52 c INPROCESSING 203.92/206.52 c GARBAGE COLLECT 203.92/206.52 c rational objective 1.32012 223.58/226.25 c #Conflicts: 148000 | #Constraints: 8616 223.58/226.25 c #Conflicts: 149000 | #Constraints: 9616 223.58/226.25 c #Conflicts: 150000 | #Constraints: 10616 223.58/226.25 c #Conflicts: 151000 | #Constraints: 11616 223.58/226.25 c #Conflicts: 152000 | #Constraints: 12616 223.58/226.25 c #Conflicts: 153000 | #Constraints: 13616 223.58/226.25 c #Conflicts: 154000 | #Constraints: 14616 223.58/226.25 c #Conflicts: 155000 | #Constraints: 15616 223.58/226.25 c INPROCESSING 223.58/226.25 c GARBAGE COLLECT 223.58/226.25 c rational objective 1.32012 243.22/245.90 c #Conflicts: 156000 | #Constraints: 8815 243.22/245.90 c #Conflicts: 157000 | #Constraints: 9815 243.22/245.90 c #Conflicts: 158000 | #Constraints: 10815 243.22/245.90 c #Conflicts: 159000 | #Constraints: 11815 243.22/245.90 c #Conflicts: 160000 | #Constraints: 12815 243.22/245.90 c #Conflicts: 161000 | #Constraints: 13815 243.22/245.90 c #Conflicts: 162000 | #Constraints: 14815 243.22/245.90 c #Conflicts: 163000 | #Constraints: 15815 243.22/245.90 c INPROCESSING 243.22/245.90 c GARBAGE COLLECT 243.22/245.90 c rational objective 1.32012 265.67/268.46 c #Conflicts: 164000 | #Constraints: 8812 265.67/268.46 c #Conflicts: 165000 | #Constraints: 9812 265.67/268.46 c #Conflicts: 166000 | #Constraints: 10812 265.67/268.46 c #Conflicts: 167000 | #Constraints: 11812 265.67/268.46 c #Conflicts: 168000 | #Constraints: 12812 265.67/268.46 c #Conflicts: 169000 | #Constraints: 13812 265.67/268.46 c #Conflicts: 170000 | #Constraints: 14812 265.67/268.46 c #Conflicts: 171000 | #Constraints: 15812 265.67/268.46 c INPROCESSING 265.67/268.46 c GARBAGE COLLECT 265.67/268.46 c rational objective 1.32012 289.00/291.87 c #Conflicts: 172000 | #Constraints: 8610 289.00/291.87 c #Conflicts: 173000 | #Constraints: 9610 289.00/291.87 c #Conflicts: 174000 | #Constraints: 10610 289.00/291.87 c #Conflicts: 175000 | #Constraints: 11610 289.00/291.87 c #Conflicts: 176000 | #Constraints: 12610 289.00/291.87 c #Conflicts: 177000 | #Constraints: 13610 289.00/291.87 c #Conflicts: 178000 | #Constraints: 14610 289.00/291.87 c #Conflicts: 179000 | #Constraints: 15610 289.00/291.87 c #Conflicts: 180000 | #Constraints: 16610 289.00/291.87 c INPROCESSING 289.00/291.87 c GARBAGE COLLECT 289.00/291.87 c rational objective 1.32012 314.73/317.61 c #Conflicts: 181000 | #Constraints: 9214 314.73/317.61 c #Conflicts: 182000 | #Constraints: 10214 314.73/317.61 c #Conflicts: 183000 | #Constraints: 11214 314.73/317.61 c #Conflicts: 184000 | #Constraints: 12214 314.73/317.61 c #Conflicts: 185000 | #Constraints: 13214 314.73/317.61 c #Conflicts: 186000 | #Constraints: 14214 314.73/317.61 c #Conflicts: 187000 | #Constraints: 15214 314.73/317.61 c #Conflicts: 188000 | #Constraints: 16214 314.73/317.61 c #Conflicts: 189000 | #Constraints: 17214 314.73/317.61 c INPROCESSING 314.73/317.61 c GARBAGE COLLECT 314.73/317.61 c rational objective 1.32012 341.45/344.47 c #Conflicts: 190000 | #Constraints: 9614 341.45/344.47 c #Conflicts: 191000 | #Constraints: 10614 341.45/344.47 c #Conflicts: 192000 | #Constraints: 11614 341.45/344.47 c #Conflicts: 193000 | #Constraints: 12614 341.45/344.47 c #Conflicts: 194000 | #Constraints: 13614 341.45/344.47 c #Conflicts: 195000 | #Constraints: 14614 341.45/344.47 c #Conflicts: 196000 | #Constraints: 15614 341.45/344.47 c #Conflicts: 197000 | #Constraints: 16614 341.45/344.47 c #Conflicts: 198000 | #Constraints: 17614 341.45/344.47 c INPROCESSING 341.45/344.47 c GARBAGE COLLECT 341.45/344.47 c rational objective 1.32012 369.27/372.34 c #Conflicts: 199000 | #Constraints: 9815 369.27/372.34 c #Conflicts: 200000 | #Constraints: 10816 369.27/372.34 c #Conflicts: 201000 | #Constraints: 11816 369.27/372.34 c #Conflicts: 202000 | #Constraints: 12816 369.27/372.34 c #Conflicts: 203000 | #Constraints: 13816 369.27/372.34 c #Conflicts: 204000 | #Constraints: 14816 369.27/372.34 c #Conflicts: 205000 | #Constraints: 15816 369.27/372.34 c #Conflicts: 206000 | #Constraints: 16816 369.27/372.34 c #Conflicts: 207000 | #Constraints: 17816 369.27/372.34 c INPROCESSING 369.27/372.34 c GARBAGE COLLECT 369.27/372.34 c rational objective 1.32012 401.76/404.91 c #Conflicts: 208000 | #Constraints: 9817 401.76/404.91 c #Conflicts: 209000 | #Constraints: 10817 401.76/404.91 c #Conflicts: 210000 | #Constraints: 11817 401.76/404.91 c #Conflicts: 211000 | #Constraints: 12817 401.76/404.91 c #Conflicts: 212000 | #Constraints: 13817 401.76/404.91 c #Conflicts: 213000 | #Constraints: 14817 401.76/404.91 c #Conflicts: 214000 | #Constraints: 15817 401.76/404.91 c #Conflicts: 215000 | #Constraints: 16817 401.76/404.91 c #Conflicts: 216000 | #Constraints: 17817 401.76/404.91 c INPROCESSING 401.76/404.91 c GARBAGE COLLECT 401.76/404.91 c rational objective 1.32012 431.48/434.70 c #Conflicts: 217000 | #Constraints: 9615 431.48/434.70 c #Conflicts: 218000 | #Constraints: 10615 431.48/434.70 c #Conflicts: 219000 | #Constraints: 11615 431.48/434.70 c #Conflicts: 220000 | #Constraints: 12615 431.48/434.70 c #Conflicts: 221000 | #Constraints: 13615 431.48/434.70 c #Conflicts: 222000 | #Constraints: 14615 431.48/434.70 c #Conflicts: 223000 | #Constraints: 15615 431.48/434.70 c #Conflicts: 224000 | #Constraints: 16615 431.48/434.70 c #Conflicts: 225000 | #Constraints: 17615 431.48/434.70 c #Conflicts: 226000 | #Constraints: 18615 431.48/434.70 c INPROCESSING 431.48/434.70 c GARBAGE COLLECT 431.48/434.70 c rational objective 1.32012 462.39/465.70 c #Conflicts: 227000 | #Constraints: 10216 462.39/465.70 c #Conflicts: 228000 | #Constraints: 11216 462.39/465.70 c #Conflicts: 229000 | #Constraints: 12216 462.39/465.70 c #Conflicts: 230000 | #Constraints: 13216 462.39/465.70 c #Conflicts: 231000 | #Constraints: 14216 462.39/465.70 c #Conflicts: 232000 | #Constraints: 15216 462.39/465.70 c #Conflicts: 233000 | #Constraints: 16216 462.39/465.70 c #Conflicts: 234000 | #Constraints: 17216 462.39/465.70 c #Conflicts: 235000 | #Constraints: 18216 462.39/465.70 c #Conflicts: 236000 | #Constraints: 19216 462.39/465.70 c INPROCESSING 462.39/465.70 c GARBAGE COLLECT 462.39/465.70 c rational objective 1.32012 493.31/496.77 c #Conflicts: 237000 | #Constraints: 10614 493.31/496.77 c #Conflicts: 238000 | #Constraints: 11614 493.31/496.77 c #Conflicts: 239000 | #Constraints: 12614 493.31/496.77 c #Conflicts: 240000 | #Constraints: 13614 493.31/496.77 c #Conflicts: 241000 | #Constraints: 14614 493.31/496.77 c #Conflicts: 242000 | #Constraints: 15614 493.31/496.77 c #Conflicts: 243000 | #Constraints: 16614 493.31/496.77 c #Conflicts: 244000 | #Constraints: 17614 493.31/496.77 c #Conflicts: 245000 | #Constraints: 18614 493.31/496.77 c #Conflicts: 246000 | #Constraints: 19614 493.31/496.77 c INPROCESSING 493.31/496.77 c GARBAGE COLLECT 493.31/496.77 c rational objective 1.32012 529.61/533.10 c #Conflicts: 247000 | #Constraints: 10817 529.61/533.10 c #Conflicts: 248000 | #Constraints: 11817 529.61/533.10 c #Conflicts: 249000 | #Constraints: 12817 529.61/533.10 c #Conflicts: 250000 | #Constraints: 13817 529.61/533.10 c #Conflicts: 251000 | #Constraints: 14817 529.61/533.10 c #Conflicts: 252000 | #Constraints: 15817 529.61/533.10 c #Conflicts: 253000 | #Constraints: 16817 529.61/533.10 c #Conflicts: 254000 | #Constraints: 17817 529.61/533.10 c #Conflicts: 255000 | #Constraints: 18817 529.61/533.10 c #Conflicts: 256000 | #Constraints: 19817 529.61/533.10 c INPROCESSING 529.61/533.10 c GARBAGE COLLECT 529.61/533.10 c rational objective 1.32012 565.70/569.31 c #Conflicts: 257000 | #Constraints: 10813 565.70/569.31 c #Conflicts: 258000 | #Constraints: 11814 565.70/569.31 c #Conflicts: 259000 | #Constraints: 12814 565.70/569.31 c #Conflicts: 260000 | #Constraints: 13814 565.70/569.31 c #Conflicts: 261000 | #Constraints: 14814 565.70/569.31 c #Conflicts: 262000 | #Constraints: 15814 565.70/569.31 c #Conflicts: 263000 | #Constraints: 16814 565.70/569.31 c #Conflicts: 264000 | #Constraints: 17814 565.70/569.31 c #Conflicts: 265000 | #Constraints: 18814 565.70/569.31 c #Conflicts: 266000 | #Constraints: 19814 565.70/569.31 c INPROCESSING 565.70/569.31 c GARBAGE COLLECT 565.70/569.31 c rational objective 1.32012 611.07/614.89 c #Conflicts: 267000 | #Constraints: 10616 611.07/614.89 c #Conflicts: 268000 | #Constraints: 11616 611.07/614.89 c #Conflicts: 269000 | #Constraints: 12616 611.07/614.89 c #Conflicts: 270000 | #Constraints: 13616 611.07/614.89 c #Conflicts: 271000 | #Constraints: 14616 611.07/614.89 c #Conflicts: 272000 | #Constraints: 15616 611.07/614.89 c #Conflicts: 273000 | #Constraints: 16616 611.07/614.89 c #Conflicts: 274000 | #Constraints: 17616 611.07/614.89 c #Conflicts: 275000 | #Constraints: 18616 611.07/614.89 c #Conflicts: 276000 | #Constraints: 19616 611.07/614.89 c #Conflicts: 277000 | #Constraints: 20616 611.07/614.89 c INPROCESSING 611.07/614.89 c GARBAGE COLLECT 611.07/614.89 c rational objective 1.32012 646.38/650.27 c #Conflicts: 278000 | #Constraints: 11216 646.38/650.27 c #Conflicts: 279000 | #Constraints: 12216 646.38/650.27 c #Conflicts: 280000 | #Constraints: 13216 646.38/650.27 c #Conflicts: 281000 | #Constraints: 14216 646.38/650.27 c #Conflicts: 282000 | #Constraints: 15216 646.38/650.27 c #Conflicts: 283000 | #Constraints: 16216 646.38/650.27 c #Conflicts: 284000 | #Constraints: 17216 646.38/650.27 c #Conflicts: 285000 | #Constraints: 18216 646.38/650.27 c #Conflicts: 286000 | #Constraints: 19216 646.38/650.27 c #Conflicts: 287000 | #Constraints: 20216 646.38/650.27 c #Conflicts: 288000 | #Constraints: 21216 646.38/650.27 c INPROCESSING 646.38/650.27 c GARBAGE COLLECT 646.38/650.27 c rational objective 1.32012 684.18/688.18 c #Conflicts: 289000 | #Constraints: 11617 684.18/688.18 c #Conflicts: 290000 | #Constraints: 12617 684.18/688.18 c #Conflicts: 291000 | #Constraints: 13617 684.18/688.18 c #Conflicts: 292000 | #Constraints: 14617 684.18/688.18 c #Conflicts: 293000 | #Constraints: 15617 684.18/688.18 c #Conflicts: 294000 | #Constraints: 16617 684.18/688.18 c #Conflicts: 295000 | #Constraints: 17617 684.18/688.18 c #Conflicts: 296000 | #Constraints: 18617 684.18/688.18 c #Conflicts: 297000 | #Constraints: 19617 684.18/688.18 c #Conflicts: 298000 | #Constraints: 20617 684.18/688.18 c #Conflicts: 299000 | #Constraints: 21618 684.18/688.18 c INPROCESSING 684.18/688.18 c GARBAGE COLLECT 684.18/688.18 c rational objective 1.32012 721.78/725.81 c #Conflicts: 300000 | #Constraints: 11815 721.78/725.81 c #Conflicts: 301000 | #Constraints: 12815 721.78/725.81 c #Conflicts: 302000 | #Constraints: 13815 721.78/725.81 c #Conflicts: 303000 | #Constraints: 14815 721.78/725.81 c #Conflicts: 304000 | #Constraints: 15815 721.78/725.81 c #Conflicts: 305000 | #Constraints: 16815 721.78/725.81 c #Conflicts: 306000 | #Constraints: 17815 721.78/725.81 c #Conflicts: 307000 | #Constraints: 18815 721.78/725.81 c #Conflicts: 308000 | #Constraints: 19815 721.78/725.81 c #Conflicts: 309000 | #Constraints: 20815 721.78/725.81 c #Conflicts: 310000 | #Constraints: 21815 721.78/725.81 c INPROCESSING 721.78/725.81 c GARBAGE COLLECT 721.78/725.81 c rational objective 1.32012 758.78/762.92 c #Conflicts: 311000 | #Constraints: 11814 758.78/762.92 c #Conflicts: 312000 | #Constraints: 12814 758.78/762.92 c #Conflicts: 313000 | #Constraints: 13814 758.78/762.92 c #Conflicts: 314000 | #Constraints: 14814 758.78/762.92 c #Conflicts: 315000 | #Constraints: 15814 758.78/762.92 c #Conflicts: 316000 | #Constraints: 16814 758.78/762.92 c #Conflicts: 317000 | #Constraints: 17814 758.78/762.92 c #Conflicts: 318000 | #Constraints: 18814 758.78/762.92 c #Conflicts: 319000 | #Constraints: 19814 758.78/762.92 c #Conflicts: 320000 | #Constraints: 20814 758.78/762.92 c #Conflicts: 321000 | #Constraints: 21814 758.78/762.92 c INPROCESSING 758.78/762.92 c GARBAGE COLLECT 758.78/762.92 c rational objective 1.32012 807.54/811.88 c #Conflicts: 322000 | #Constraints: 11614 807.54/811.88 c #Conflicts: 323000 | #Constraints: 12614 807.54/811.88 c #Conflicts: 324000 | #Constraints: 13614 807.54/811.88 c #Conflicts: 325000 | #Constraints: 14614 807.54/811.88 c #Conflicts: 326000 | #Constraints: 15614 807.54/811.88 c #Conflicts: 327000 | #Constraints: 16614 807.54/811.88 c #Conflicts: 328000 | #Constraints: 17614 807.54/811.88 c #Conflicts: 329000 | #Constraints: 18614 807.54/811.88 c #Conflicts: 330000 | #Constraints: 19614 807.54/811.88 c #Conflicts: 331000 | #Constraints: 20614 807.54/811.88 c #Conflicts: 332000 | #Constraints: 21614 807.54/811.88 c #Conflicts: 333000 | #Constraints: 22614 807.54/811.88 c INPROCESSING 807.54/811.88 c GARBAGE COLLECT 807.54/811.88 c rational objective 1.32012 849.13/853.59 c #Conflicts: 334000 | #Constraints: 12213 849.13/853.59 c #Conflicts: 335000 | #Constraints: 13213 849.13/853.59 c #Conflicts: 336000 | #Constraints: 14213 849.13/853.59 c #Conflicts: 337000 | #Constraints: 15213 849.13/853.59 c #Conflicts: 338000 | #Constraints: 16213 849.13/853.59 c #Conflicts: 339000 | #Constraints: 17213 849.13/853.59 c #Conflicts: 340000 | #Constraints: 18213 849.13/853.59 c #Conflicts: 341000 | #Constraints: 19213 849.13/853.59 c #Conflicts: 342000 | #Constraints: 20213 849.13/853.59 c #Conflicts: 343000 | #Constraints: 21213 849.13/853.59 c #Conflicts: 344000 | #Constraints: 22213 849.13/853.59 c #Conflicts: 345000 | #Constraints: 23213 849.13/853.59 c INPROCESSING 849.13/853.59 c GARBAGE COLLECT 849.13/853.59 c rational objective 1.32012 894.40/898.95 c #Conflicts: 346000 | #Constraints: 12616 894.40/898.95 c #Conflicts: 347000 | #Constraints: 13616 894.40/898.95 c #Conflicts: 348000 | #Constraints: 14616 894.40/898.95 c #Conflicts: 349000 | #Constraints: 15616 894.40/898.95 c #Conflicts: 350000 | #Constraints: 16616 894.40/898.95 c #Conflicts: 351000 | #Constraints: 17616 894.40/898.95 c #Conflicts: 352000 | #Constraints: 18616 894.40/898.95 c #Conflicts: 353000 | #Constraints: 19616 894.40/898.95 c #Conflicts: 354000 | #Constraints: 20616 894.40/898.95 c #Conflicts: 355000 | #Constraints: 21616 894.40/898.95 c #Conflicts: 356000 | #Constraints: 22616 894.40/898.95 c #Conflicts: 357000 | #Constraints: 23616 894.40/898.95 c INPROCESSING 894.40/898.95 c GARBAGE COLLECT 894.40/898.95 c rational objective 1.32012 940.88/945.59 c #Conflicts: 358000 | #Constraints: 12815 940.88/945.59 c #Conflicts: 359000 | #Constraints: 13815 940.88/945.59 c #Conflicts: 360000 | #Constraints: 14815 940.88/945.59 c #Conflicts: 361000 | #Constraints: 15815 940.88/945.59 c #Conflicts: 362000 | #Constraints: 16815 940.88/945.59 c #Conflicts: 363000 | #Constraints: 17815 940.88/945.59 c #Conflicts: 364000 | #Constraints: 18815 940.88/945.59 c #Conflicts: 365000 | #Constraints: 19815 940.88/945.59 c #Conflicts: 366000 | #Constraints: 20815 940.88/945.59 c #Conflicts: 367000 | #Constraints: 21815 940.88/945.59 c #Conflicts: 368000 | #Constraints: 22815 940.88/945.59 c #Conflicts: 369000 | #Constraints: 23815 940.88/945.59 c INPROCESSING 940.88/945.59 c GARBAGE COLLECT 940.88/945.59 c rational objective 1.32012 985.56/990.35 c #Conflicts: 370000 | #Constraints: 12819 985.56/990.35 c #Conflicts: 371000 | #Constraints: 13819 985.56/990.35 c #Conflicts: 372000 | #Constraints: 14819 985.56/990.35 c #Conflicts: 373000 | #Constraints: 15819 985.56/990.35 c #Conflicts: 374000 | #Constraints: 16819 985.56/990.35 c #Conflicts: 375000 | #Constraints: 17819 985.56/990.35 c #Conflicts: 376000 | #Constraints: 18819 985.56/990.35 c #Conflicts: 377000 | #Constraints: 19819 985.56/990.35 c #Conflicts: 378000 | #Constraints: 20819 985.56/990.35 c #Conflicts: 379000 | #Constraints: 21819 985.56/990.35 c #Conflicts: 380000 | #Constraints: 22819 985.56/990.35 c #Conflicts: 381000 | #Constraints: 23819 985.56/990.35 c INPROCESSING 985.56/990.35 c GARBAGE COLLECT 985.56/990.35 c rational objective 1.32012 1033.63/1038.51 c #Conflicts: 382000 | #Constraints: 12618 1033.63/1038.51 c #Conflicts: 383000 | #Constraints: 13618 1033.63/1038.51 c #Conflicts: 384000 | #Constraints: 14618 1033.63/1038.51 c #Conflicts: 385000 | #Constraints: 15618 1033.63/1038.51 c #Conflicts: 386000 | #Constraints: 16618 1033.63/1038.51 c #Conflicts: 387000 | #Constraints: 17618 1033.63/1038.51 c #Conflicts: 388000 | #Constraints: 18618 1033.63/1038.51 c #Conflicts: 389000 | #Constraints: 19618 1033.63/1038.51 c #Conflicts: 390000 | #Constraints: 20618 1033.63/1038.51 c #Conflicts: 391000 | #Constraints: 21618 1033.63/1038.51 c #Conflicts: 392000 | #Constraints: 22618 1033.63/1038.51 c #Conflicts: 393000 | #Constraints: 23618 1033.63/1038.51 c #Conflicts: 394000 | #Constraints: 24618 1033.63/1038.51 c INPROCESSING 1033.63/1038.51 c GARBAGE COLLECT 1033.63/1038.51 c rational objective 1.32012 1084.49/1089.54 c #Conflicts: 395000 | #Constraints: 13218 1084.49/1089.54 c #Conflicts: 396000 | #Constraints: 14218 1084.49/1089.54 c #Conflicts: 397000 | #Constraints: 15218 1084.49/1089.54 c #Conflicts: 398000 | #Constraints: 16218 1084.49/1089.54 c #Conflicts: 399000 | #Constraints: 17218 1084.49/1089.54 c #Conflicts: 400000 | #Constraints: 18218 1084.49/1089.54 c #Conflicts: 401000 | #Constraints: 19218 1084.49/1089.54 c #Conflicts: 402000 | #Constraints: 20218 1084.49/1089.54 c #Conflicts: 403000 | #Constraints: 21218 1084.49/1089.54 c #Conflicts: 404000 | #Constraints: 22218 1084.49/1089.54 c #Conflicts: 405000 | #Constraints: 23218 1084.49/1089.54 c #Conflicts: 406000 | #Constraints: 24218 1084.49/1089.54 c #Conflicts: 407000 | #Constraints: 25218 1084.49/1089.54 c INPROCESSING 1084.49/1089.54 c GARBAGE COLLECT 1084.49/1089.54 c rational objective 1.32012 1134.48/1139.67 c #Conflicts: 408000 | #Constraints: 13616 1134.48/1139.67 c #Conflicts: 409000 | #Constraints: 14616 1134.48/1139.67 c #Conflicts: 410000 | #Constraints: 15616 1134.48/1139.67 c #Conflicts: 411000 | #Constraints: 16616 1134.48/1139.67 c #Conflicts: 412000 | #Constraints: 17616 1134.48/1139.67 c #Conflicts: 413000 | #Constraints: 18616 1134.48/1139.67 c #Conflicts: 414000 | #Constraints: 19616 1134.48/1139.67 c #Conflicts: 415000 | #Constraints: 20616 1134.48/1139.67 c #Conflicts: 416000 | #Constraints: 21616 1134.48/1139.67 c #Conflicts: 417000 | #Constraints: 22616 1134.48/1139.67 c #Conflicts: 418000 | #Constraints: 23616 1134.48/1139.67 c #Conflicts: 419000 | #Constraints: 24616 1134.48/1139.67 c #Conflicts: 420000 | #Constraints: 25616 1134.48/1139.67 c INPROCESSING 1134.48/1139.67 c GARBAGE COLLECT 1134.48/1139.67 c rational objective 1.32012 1187.05/1192.39 c #Conflicts: 421000 | #Constraints: 13816 1187.05/1192.39 c #Conflicts: 422000 | #Constraints: 14816 1187.05/1192.39 c #Conflicts: 423000 | #Constraints: 15816 1187.05/1192.39 c #Conflicts: 424000 | #Constraints: 16816 1187.05/1192.39 c #Conflicts: 425000 | #Constraints: 17816 1187.05/1192.39 c #Conflicts: 426000 | #Constraints: 18816 1187.05/1192.39 c #Conflicts: 427000 | #Constraints: 19816 1187.05/1192.39 c #Conflicts: 428000 | #Constraints: 20816 1187.05/1192.39 c #Conflicts: 429000 | #Constraints: 21816 1187.05/1192.39 c #Conflicts: 430000 | #Constraints: 22816 1187.05/1192.39 c #Conflicts: 431000 | #Constraints: 23816 1187.05/1192.39 c #Conflicts: 432000 | #Constraints: 24816 1187.05/1192.39 c #Conflicts: 433000 | #Constraints: 25816 1187.05/1192.39 c INPROCESSING 1187.05/1192.39 c GARBAGE COLLECT 1187.05/1192.39 c rational objective 1.32012 1248.90/1254.32 c #Conflicts: 434000 | #Constraints: 13819 1248.90/1254.32 c #Conflicts: 435000 | #Constraints: 14819 1248.90/1254.32 c #Conflicts: 436000 | #Constraints: 15819 1248.90/1254.32 c #Conflicts: 437000 | #Constraints: 16819 1248.90/1254.32 c #Conflicts: 438000 | #Constraints: 17819 1248.90/1254.32 c #Conflicts: 439000 | #Constraints: 18819 1248.90/1254.32 c #Conflicts: 440000 | #Constraints: 19819 1248.90/1254.32 c #Conflicts: 441000 | #Constraints: 20819 1248.90/1254.32 c #Conflicts: 442000 | #Constraints: 21819 1248.90/1254.32 c #Conflicts: 443000 | #Constraints: 22819 1248.90/1254.32 c #Conflicts: 444000 | #Constraints: 23819 1248.90/1254.32 c #Conflicts: 445000 | #Constraints: 24819 1248.90/1254.32 c #Conflicts: 446000 | #Constraints: 25819 1248.90/1254.32 c INPROCESSING 1248.90/1254.32 c GARBAGE COLLECT 1248.90/1254.32 c rational objective 1.32012 1310.74/1316.30 c #Conflicts: 447000 | #Constraints: 13623 1310.74/1316.30 c #Conflicts: 448000 | #Constraints: 14623 1310.74/1316.30 c #Conflicts: 449000 | #Constraints: 15623 1310.74/1316.30 c #Conflicts: 450000 | #Constraints: 16623 1310.74/1316.30 c #Conflicts: 451000 | #Constraints: 17623 1310.74/1316.30 c #Conflicts: 452000 | #Constraints: 18623 1310.74/1316.30 c #Conflicts: 453000 | #Constraints: 19623 1310.74/1316.30 c #Conflicts: 454000 | #Constraints: 20623 1310.74/1316.30 c #Conflicts: 455000 | #Constraints: 21623 1310.74/1316.30 c #Conflicts: 456000 | #Constraints: 22623 1310.74/1316.30 c #Conflicts: 457000 | #Constraints: 23623 1310.74/1316.30 c #Conflicts: 458000 | #Constraints: 24623 1310.74/1316.30 c #Conflicts: 459000 | #Constraints: 25623 1310.74/1316.30 c #Conflicts: 460000 | #Constraints: 26623 1310.74/1316.30 c INPROCESSING 1310.74/1316.30 c GARBAGE COLLECT 1310.74/1316.30 c rational objective 1.32012 1420.74/1426.65 c #Conflicts: 461000 | #Constraints: 14221 1420.74/1426.65 c #Conflicts: 462000 | #Constraints: 15221 1420.74/1426.65 c #Conflicts: 463000 | #Constraints: 16221 1420.74/1426.65 c #Conflicts: 464000 | #Constraints: 17221 1420.74/1426.65 c #Conflicts: 465000 | #Constraints: 18221 1420.74/1426.65 c #Conflicts: 466000 | #Constraints: 19221 1420.74/1426.65 c #Conflicts: 467000 | #Constraints: 20221 1420.74/1426.65 c #Conflicts: 468000 | #Constraints: 21221 1420.74/1426.65 c #Conflicts: 469000 | #Constraints: 22221 1420.74/1426.65 c #Conflicts: 470000 | #Constraints: 23221 1420.74/1426.65 c #Conflicts: 471000 | #Constraints: 24221 1420.74/1426.65 c #Conflicts: 472000 | #Constraints: 25221 1420.74/1426.65 c #Conflicts: 473000 | #Constraints: 26221 1420.74/1426.65 c #Conflicts: 474000 | #Constraints: 27221 1420.74/1426.65 c INPROCESSING 1420.74/1426.65 c GARBAGE COLLECT 1420.74/1426.65 c rational objective 1.32012 1483.78/1489.82 c #Conflicts: 475000 | #Constraints: 14621 1483.78/1489.82 c #Conflicts: 476000 | #Constraints: 15621 1483.78/1489.82 c #Conflicts: 477000 | #Constraints: 16621 1483.78/1489.82 c #Conflicts: 478000 | #Constraints: 17621 1483.78/1489.82 c #Conflicts: 479000 | #Constraints: 18621 1483.78/1489.82 c #Conflicts: 480000 | #Constraints: 19621 1483.78/1489.82 c #Conflicts: 481000 | #Constraints: 20621 1483.78/1489.82 c #Conflicts: 482000 | #Constraints: 21621 1483.78/1489.82 c #Conflicts: 483000 | #Constraints: 22621 1483.78/1489.82 c #Conflicts: 484000 | #Constraints: 23621 1483.78/1489.82 c #Conflicts: 485000 | #Constraints: 24621 1483.78/1489.82 c #Conflicts: 486000 | #Constraints: 25621 1483.78/1489.82 c #Conflicts: 487000 | #Constraints: 26621 1483.78/1489.82 c #Conflicts: 488000 | #Constraints: 27621 1483.78/1489.82 c INPROCESSING 1483.78/1489.82 c GARBAGE COLLECT 1483.78/1489.82 c rational objective 1.32012 1554.71/1560.99 c #Conflicts: 489000 | #Constraints: 14821 1554.71/1560.99 c #Conflicts: 490000 | #Constraints: 15821 1554.71/1560.99 c #Conflicts: 491000 | #Constraints: 16821 1554.71/1560.99 c #Conflicts: 492000 | #Constraints: 17821 1554.71/1560.99 c #Conflicts: 493000 | #Constraints: 18821 1554.71/1560.99 c #Conflicts: 494000 | #Constraints: 19821 1554.71/1560.99 c #Conflicts: 495000 | #Constraints: 20821 1554.71/1560.99 c #Conflicts: 496000 | #Constraints: 21821 1554.71/1560.99 c #Conflicts: 497000 | #Constraints: 22821 1554.71/1560.99 c #Conflicts: 498000 | #Constraints: 23821 1554.71/1560.99 c #Conflicts: 499000 | #Constraints: 24821 1554.71/1560.99 c #Conflicts: 500000 | #Constraints: 25821 1554.71/1560.99 c #Conflicts: 501000 | #Constraints: 26821 1554.71/1560.99 c #Conflicts: 502000 | #Constraints: 27821 1554.71/1560.99 c INPROCESSING 1554.71/1560.99 c GARBAGE COLLECT 1554.71/1560.99 c rational objective 1.32012 1628.52/1634.98 c #Conflicts: 503000 | #Constraints: 14816 1628.52/1634.98 c #Conflicts: 504000 | #Constraints: 15816 1628.52/1634.98 c #Conflicts: 505000 | #Constraints: 16816 1628.52/1634.98 c #Conflicts: 506000 | #Constraints: 17816 1628.52/1634.98 c #Conflicts: 507000 | #Constraints: 18816 1628.52/1634.98 c #Conflicts: 508000 | #Constraints: 19816 1628.52/1634.98 c #Conflicts: 509000 | #Constraints: 20816 1628.52/1634.98 c #Conflicts: 510000 | #Constraints: 21816 1628.52/1634.98 c #Conflicts: 511000 | #Constraints: 22816 1628.52/1634.98 c #Conflicts: 512000 | #Constraints: 23816 1628.52/1634.98 c #Conflicts: 513000 | #Constraints: 24816 1628.52/1634.98 c #Conflicts: 514000 | #Constraints: 25816 1628.52/1634.98 c #Conflicts: 515000 | #Constraints: 26816 1628.52/1634.98 c #Conflicts: 516000 | #Constraints: 27816 1628.52/1634.98 c INPROCESSING 1628.52/1634.98 c GARBAGE COLLECT 1628.52/1634.98 c rational objective 1.32012 1701.74/1708.37 c #Conflicts: 517000 | #Constraints: 14614 1701.74/1708.37 c #Conflicts: 518000 | #Constraints: 15614 1701.74/1708.37 c #Conflicts: 519000 | #Constraints: 16614 1701.74/1708.37 c #Conflicts: 520000 | #Constraints: 17614 1701.74/1708.37 c #Conflicts: 521000 | #Constraints: 18615 1701.74/1708.37 c #Conflicts: 522000 | #Constraints: 19615 1701.74/1708.37 c #Conflicts: 523000 | #Constraints: 20615 1701.74/1708.37 c #Conflicts: 524000 | #Constraints: 21615 1701.74/1708.37 c #Conflicts: 525000 | #Constraints: 22615 1701.74/1708.37 c #Conflicts: 526000 | #Constraints: 23615 1701.74/1708.37 c #Conflicts: 527000 | #Constraints: 24615 1701.74/1708.37 c #Conflicts: 528000 | #Constraints: 25615 1701.74/1708.37 c #Conflicts: 529000 | #Constraints: 26615 1701.74/1708.37 c #Conflicts: 530000 | #Constraints: 27615 1701.74/1708.37 c #Conflicts: 531000 | #Constraints: 28615 1701.74/1708.37 c INPROCESSING 1701.74/1708.37 c GARBAGE COLLECT 1701.74/1708.37 c rational objective 1.32012 1774.47/1781.26 c #Conflicts: 532000 | #Constraints: 15211 1774.47/1781.26 c #Conflicts: 533000 | #Constraints: 16211 1774.47/1781.26 c #Conflicts: 534000 | #Constraints: 17211 1774.47/1781.26 c #Conflicts: 535000 | #Constraints: 18211 1774.47/1781.26 c #Conflicts: 536000 | #Constraints: 19211 1774.47/1781.26 c #Conflicts: 537000 | #Constraints: 20211 1774.47/1781.26 c #Conflicts: 538000 | #Constraints: 21211 1774.47/1781.26 c #Conflicts: 539000 | #Constraints: 22211 1774.47/1781.26 c #Conflicts: 540000 | #Constraints: 23211 1774.47/1781.26 c #Conflicts: 541000 | #Constraints: 24211 1774.47/1781.26 c #Conflicts: 542000 | #Constraints: 25211 1774.47/1781.26 c #Conflicts: 543000 | #Constraints: 26211 1774.47/1781.26 c #Conflicts: 544000 | #Constraints: 27211 1774.47/1781.26 c #Conflicts: 545000 | #Constraints: 28211 1774.47/1781.26 c #Conflicts: 546000 | #Constraints: 29211 1774.47/1781.26 c INPROCESSING 1774.47/1781.26 c GARBAGE COLLECT 1774.47/1781.26 c rational objective 1.32012 1867.42/1874.49 c #Conflicts: 547000 | #Constraints: 15614 1867.42/1874.49 c #Conflicts: 548000 | #Constraints: 16614 1867.42/1874.49 c #Conflicts: 549000 | #Constraints: 17614 1867.42/1874.49 c #Conflicts: 550000 | #Constraints: 18614 1867.42/1874.49 c #Conflicts: 551000 | #Constraints: 19614 1867.42/1874.49 c #Conflicts: 552000 | #Constraints: 20614 1867.42/1874.49 c #Conflicts: 553000 | #Constraints: 21614 1867.42/1874.49 c #Conflicts: 554000 | #Constraints: 22614 1867.42/1874.49 c #Conflicts: 555000 | #Constraints: 23614 1867.42/1874.49 c #Conflicts: 556000 | #Constraints: 24614 1867.42/1874.49 c #Conflicts: 557000 | #Constraints: 25614 1867.42/1874.49 c #Conflicts: 558000 | #Constraints: 26614 1867.42/1874.49 c #Conflicts: 559000 | #Constraints: 27614 1867.42/1874.49 c #Conflicts: 560000 | #Constraints: 28614 1867.42/1874.49 c #Conflicts: 561000 | #Constraints: 29614 1867.42/1874.49 c INPROCESSING 1867.42/1874.49 c GARBAGE COLLECT 1867.42/1874.49 c rational objective 1.32012 1940.53/1947.70 c #Conflicts: 562000 | #Constraints: 15811 1940.53/1947.70 c #Conflicts: 563000 | #Constraints: 16811 1940.53/1947.70 c #Conflicts: 564000 | #Constraints: 17811 1940.53/1947.70 c #Conflicts: 565000 | #Constraints: 18811 1940.53/1947.70 c #Conflicts: 566000 | #Constraints: 19811 1940.53/1947.70 c #Conflicts: 567000 | #Constraints: 20811 1940.53/1947.70 c #Conflicts: 568000 | #Constraints: 21811 1940.53/1947.70 c #Conflicts: 569000 | #Constraints: 22811 1940.53/1947.70 c #Conflicts: 570000 | #Constraints: 23811 1940.53/1947.70 c #Conflicts: 571000 | #Constraints: 24811 1940.53/1947.70 c #Conflicts: 572000 | #Constraints: 25811 1940.53/1947.70 c #Conflicts: 573000 | #Constraints: 26811 1940.53/1947.70 c #Conflicts: 574000 | #Constraints: 27811 1940.53/1947.70 c #Conflicts: 575000 | #Constraints: 28811 1940.53/1947.70 c #Conflicts: 576000 | #Constraints: 29811 1940.53/1947.70 c INPROCESSING 1940.53/1947.70 c GARBAGE COLLECT 1940.53/1947.70 c rational objective 1.32012 2025.72/2033.15 c #Conflicts: 577000 | #Constraints: 15809 2025.72/2033.15 c #Conflicts: 578000 | #Constraints: 16809 2025.72/2033.15 c #Conflicts: 579000 | #Constraints: 17809 2025.72/2033.15 c #Conflicts: 580000 | #Constraints: 18809 2025.72/2033.15 c #Conflicts: 581000 | #Constraints: 19809 2025.72/2033.15 c #Conflicts: 582000 | #Constraints: 20809 2025.72/2033.15 c #Conflicts: 583000 | #Constraints: 21809 2025.72/2033.15 c #Conflicts: 584000 | #Constraints: 22809 2025.72/2033.15 c #Conflicts: 585000 | #Constraints: 23809 2025.72/2033.15 c #Conflicts: 586000 | #Constraints: 24809 2025.72/2033.15 c #Conflicts: 587000 | #Constraints: 25809 2025.72/2033.15 c #Conflicts: 588000 | #Constraints: 26809 2025.72/2033.15 c #Conflicts: 589000 | #Constraints: 27809 2025.72/2033.15 c #Conflicts: 590000 | #Constraints: 28809 2025.72/2033.15 c #Conflicts: 591000 | #Constraints: 29809 2025.72/2033.15 c INPROCESSING 2025.72/2033.15 c GARBAGE COLLECT 2025.72/2033.15 c rational objective 1.32012 2114.98/2122.69 c #Conflicts: 592000 | #Constraints: 15609 2114.98/2122.69 c #Conflicts: 593000 | #Constraints: 16609 2114.98/2122.69 c #Conflicts: 594000 | #Constraints: 17609 2114.98/2122.69 c #Conflicts: 595000 | #Constraints: 18609 2114.98/2122.69 c #Conflicts: 596000 | #Constraints: 19609 2114.98/2122.69 c #Conflicts: 597000 | #Constraints: 20609 2114.98/2122.69 c #Conflicts: 598000 | #Constraints: 21609 2114.98/2122.69 c #Conflicts: 599000 | #Constraints: 22609 2114.98/2122.69 c #Conflicts: 600000 | #Constraints: 23609 2114.98/2122.69 c #Conflicts: 601000 | #Constraints: 24609 2114.98/2122.69 c #Conflicts: 602000 | #Constraints: 25609 2114.98/2122.69 c #Conflicts: 603000 | #Constraints: 26609 2114.98/2122.69 c #Conflicts: 604000 | #Constraints: 27609 2114.98/2122.69 c #Conflicts: 605000 | #Constraints: 28609 2114.98/2122.69 c #Conflicts: 606000 | #Constraints: 29609 2114.98/2122.69 c #Conflicts: 607000 | #Constraints: 30609 2114.98/2122.69 c INPROCESSING 2114.98/2122.69 c GARBAGE COLLECT 2114.98/2122.69 c rational objective 1.32012 2200.45/2208.37 c #Conflicts: 608000 | #Constraints: 16216 2200.45/2208.37 c #Conflicts: 609000 | #Constraints: 17216 2200.45/2208.37 c #Conflicts: 610000 | #Constraints: 18216 2200.45/2208.37 c #Conflicts: 611000 | #Constraints: 19216 2200.45/2208.37 c #Conflicts: 612000 | #Constraints: 20216 2200.45/2208.37 c #Conflicts: 613000 | #Constraints: 21216 2200.45/2208.37 c #Conflicts: 614000 | #Constraints: 22216 2200.45/2208.37 c #Conflicts: 615000 | #Constraints: 23216 2200.45/2208.37 c #Conflicts: 616000 | #Constraints: 24216 2200.45/2208.37 c #Conflicts: 617000 | #Constraints: 25216 2200.45/2208.37 c #Conflicts: 618000 | #Constraints: 26216 2200.45/2208.37 c #Conflicts: 619000 | #Constraints: 27216 2200.45/2208.37 c #Conflicts: 620000 | #Constraints: 28216 2200.45/2208.37 c #Conflicts: 621000 | #Constraints: 29216 2200.45/2208.37 c #Conflicts: 622000 | #Constraints: 30216 2200.45/2208.37 c #Conflicts: 623000 | #Constraints: 31216 2200.45/2208.37 c INPROCESSING 2200.45/2208.37 c GARBAGE COLLECT 2200.45/2208.37 c rational objective 1.32012 2285.53/2293.60 c #Conflicts: 624000 | #Constraints: 16613 2285.53/2293.60 c #Conflicts: 625000 | #Constraints: 17613 2285.53/2293.60 c #Conflicts: 626000 | #Constraints: 18613 2285.53/2293.60 c #Conflicts: 627000 | #Constraints: 19613 2285.53/2293.60 c #Conflicts: 628000 | #Constraints: 20613 2285.53/2293.60 c #Conflicts: 629000 | #Constraints: 21613 2285.53/2293.60 c #Conflicts: 630000 | #Constraints: 22613 2285.53/2293.60 c #Conflicts: 631000 | #Constraints: 23613 2285.53/2293.60 c #Conflicts: 632000 | #Constraints: 24613 2285.53/2293.60 c #Conflicts: 633000 | #Constraints: 25613 2285.53/2293.60 c #Conflicts: 634000 | #Constraints: 26613 2285.53/2293.60 c #Conflicts: 635000 | #Constraints: 27613 2285.53/2293.60 c #Conflicts: 636000 | #Constraints: 28613 2285.53/2293.60 c #Conflicts: 637000 | #Constraints: 29613 2285.53/2293.60 c #Conflicts: 638000 | #Constraints: 30613 2285.53/2293.60 c #Conflicts: 639000 | #Constraints: 31613 2285.53/2293.60 c INPROCESSING 2285.53/2293.60 c GARBAGE COLLECT 2285.53/2293.60 c rational objective 1.32012 2374.90/2383.21 c #Conflicts: 640000 | #Constraints: 16815 2374.90/2383.21 c #Conflicts: 641000 | #Constraints: 17815 2374.90/2383.21 c #Conflicts: 642000 | #Constraints: 18815 2374.90/2383.21 c #Conflicts: 643000 | #Constraints: 19815 2374.90/2383.21 c #Conflicts: 644000 | #Constraints: 20815 2374.90/2383.21 c #Conflicts: 645000 | #Constraints: 21815 2374.90/2383.21 c #Conflicts: 646000 | #Constraints: 22815 2374.90/2383.21 c #Conflicts: 647000 | #Constraints: 23815 2374.90/2383.21 c #Conflicts: 648000 | #Constraints: 24815 2374.90/2383.21 c #Conflicts: 649000 | #Constraints: 25815 2374.90/2383.21 c #Conflicts: 650000 | #Constraints: 26815 2374.90/2383.21 c #Conflicts: 651000 | #Constraints: 27815 2374.90/2383.21 c #Conflicts: 652000 | #Constraints: 28815 2374.90/2383.21 c #Conflicts: 653000 | #Constraints: 29815 2374.90/2383.21 c #Conflicts: 654000 | #Constraints: 30815 2374.90/2383.21 c #Conflicts: 655000 | #Constraints: 31815 2374.90/2383.21 c INPROCESSING 2374.90/2383.21 c GARBAGE COLLECT 2374.90/2383.21 c rational objective 1.32012 2485.21/2493.87 c #Conflicts: 656000 | #Constraints: 16818 2485.21/2493.87 c #Conflicts: 657000 | #Constraints: 17818 2485.21/2493.87 c #Conflicts: 658000 | #Constraints: 18818 2485.21/2493.87 c #Conflicts: 659000 | #Constraints: 19818 2485.21/2493.87 c #Conflicts: 660000 | #Constraints: 20818 2485.21/2493.87 c #Conflicts: 661000 | #Constraints: 21818 2485.21/2493.87 c #Conflicts: 662000 | #Constraints: 22818 2485.21/2493.87 c #Conflicts: 663000 | #Constraints: 23818 2485.21/2493.87 c #Conflicts: 664000 | #Constraints: 24818 2485.21/2493.87 c #Conflicts: 665000 | #Constraints: 25818 2485.21/2493.87 c #Conflicts: 666000 | #Constraints: 26818 2485.21/2493.87 c #Conflicts: 667000 | #Constraints: 27818 2485.21/2493.87 c #Conflicts: 668000 | #Constraints: 28818 2485.21/2493.87 c #Conflicts: 669000 | #Constraints: 29818 2485.21/2493.87 c #Conflicts: 670000 | #Constraints: 30818 2485.21/2493.87 c #Conflicts: 671000 | #Constraints: 31818 2485.21/2493.87 c INPROCESSING 2485.21/2493.87 c GARBAGE COLLECT 2485.21/2493.87 c rational objective 1.32012 2585.46/2594.31 c #Conflicts: 672000 | #Constraints: 16618 2585.46/2594.31 c #Conflicts: 673000 | #Constraints: 17618 2585.46/2594.31 c #Conflicts: 674000 | #Constraints: 18618 2585.46/2594.31 c #Conflicts: 675000 | #Constraints: 19618 2585.46/2594.31 c #Conflicts: 676000 | #Constraints: 20618 2585.46/2594.31 c #Conflicts: 677000 | #Constraints: 21618 2585.46/2594.31 c #Conflicts: 678000 | #Constraints: 22618 2585.46/2594.31 c #Conflicts: 679000 | #Constraints: 23618 2585.46/2594.31 c #Conflicts: 680000 | #Constraints: 24618 2585.46/2594.31 c #Conflicts: 681000 | #Constraints: 25618 2585.46/2594.31 c #Conflicts: 682000 | #Constraints: 26618 2585.46/2594.31 c #Conflicts: 683000 | #Constraints: 27618 2585.46/2594.31 c #Conflicts: 684000 | #Constraints: 28618 2585.46/2594.31 c #Conflicts: 685000 | #Constraints: 29618 2585.46/2594.31 c #Conflicts: 686000 | #Constraints: 30618 2585.46/2594.31 c #Conflicts: 687000 | #Constraints: 31618 2585.46/2594.31 c #Conflicts: 688000 | #Constraints: 32618 2585.46/2594.31 c INPROCESSING 2585.46/2594.31 c GARBAGE COLLECT 2585.46/2594.31 c rational objective 1.32012 2682.40/2691.51 c #Conflicts: 689000 | #Constraints: 17221 2682.40/2691.51 c #Conflicts: 690000 | #Constraints: 18221 2682.40/2691.51 c #Conflicts: 691000 | #Constraints: 19221 2682.40/2691.51 c #Conflicts: 692000 | #Constraints: 20221 2682.40/2691.51 c #Conflicts: 693000 | #Constraints: 21221 2682.40/2691.51 c #Conflicts: 694000 | #Constraints: 22221 2682.40/2691.51 c #Conflicts: 695000 | #Constraints: 23221 2682.40/2691.51 c #Conflicts: 696000 | #Constraints: 24221 2682.40/2691.51 c #Conflicts: 697000 | #Constraints: 25221 2682.40/2691.51 c #Conflicts: 698000 | #Constraints: 26221 2682.40/2691.51 c #Conflicts: 699000 | #Constraints: 27221 2682.40/2691.51 c #Conflicts: 700000 | #Constraints: 28221 2682.40/2691.51 c #Conflicts: 701000 | #Constraints: 29221 2682.40/2691.51 c #Conflicts: 702000 | #Constraints: 30221 2682.40/2691.51 c #Conflicts: 703000 | #Constraints: 31221 2682.40/2691.51 c #Conflicts: 704000 | #Constraints: 32221 2682.40/2691.51 c #Conflicts: 705000 | #Constraints: 33221 2682.40/2691.51 c INPROCESSING 2682.40/2691.51 c GARBAGE COLLECT 2682.40/2691.51 c rational objective 1.32012 2813.47/2822.96 c #Conflicts: 706000 | #Constraints: 17613 2813.47/2822.96 c #Conflicts: 707000 | #Constraints: 18613 2813.47/2822.96 c #Conflicts: 708000 | #Constraints: 19613 2813.47/2822.96 c #Conflicts: 709000 | #Constraints: 20613 2813.47/2822.96 c #Conflicts: 710000 | #Constraints: 21613 2813.47/2822.96 c #Conflicts: 711000 | #Constraints: 22613 2813.47/2822.96 c #Conflicts: 712000 | #Constraints: 23613 2813.47/2822.96 c #Conflicts: 713000 | #Constraints: 24613 2813.47/2822.96 c #Conflicts: 714000 | #Constraints: 25613 2813.47/2822.96 c #Conflicts: 715000 | #Constraints: 26613 2813.47/2822.96 c #Conflicts: 716000 | #Constraints: 27613 2813.47/2822.96 c #Conflicts: 717000 | #Constraints: 28613 2813.47/2822.96 c #Conflicts: 718000 | #Constraints: 29613 2813.47/2822.96 c #Conflicts: 719000 | #Constraints: 30613 2813.47/2822.96 c #Conflicts: 720000 | #Constraints: 31613 2813.47/2822.96 c #Conflicts: 721000 | #Constraints: 32613 2813.47/2822.96 c #Conflicts: 722000 | #Constraints: 33613 2813.47/2822.96 c INPROCESSING 2813.47/2822.96 c GARBAGE COLLECT 2813.47/2822.96 c rational objective 1.32012 2961.52/2971.48 c #Conflicts: 723000 | #Constraints: 17814 2961.52/2971.48 c #Conflicts: 724000 | #Constraints: 18814 2961.52/2971.48 c #Conflicts: 725000 | #Constraints: 19814 2961.52/2971.48 c #Conflicts: 726000 | #Constraints: 20814 2961.52/2971.48 c #Conflicts: 727000 | #Constraints: 21814 2961.52/2971.48 c #Conflicts: 728000 | #Constraints: 22814 2961.52/2971.48 c #Conflicts: 729000 | #Constraints: 23814 2961.52/2971.48 c #Conflicts: 730000 | #Constraints: 24814 2961.52/2971.48 c #Conflicts: 731000 | #Constraints: 25815 2961.52/2971.48 c #Conflicts: 732000 | #Constraints: 26815 2961.52/2971.48 c #Conflicts: 733000 | #Constraints: 27815 2961.52/2971.48 c #Conflicts: 734000 | #Constraints: 28815 2961.52/2971.48 c #Conflicts: 735000 | #Constraints: 29815 2961.52/2971.48 c #Conflicts: 736000 | #Constraints: 30815 2961.52/2971.48 c #Conflicts: 737000 | #Constraints: 31815 2961.52/2971.48 c #Conflicts: 738000 | #Constraints: 32815 2961.52/2971.48 c #Conflicts: 739000 | #Constraints: 33815 2961.52/2971.48 c INPROCESSING 2961.52/2971.48 c GARBAGE COLLECT 2961.52/2971.48 c rational objective 1.32012 3078.06/3088.39 c #Conflicts: 740000 | #Constraints: 17821 3078.06/3088.39 c #Conflicts: 741000 | #Constraints: 18821 3078.06/3088.39 c #Conflicts: 742000 | #Constraints: 19821 3078.06/3088.39 c #Conflicts: 743000 | #Constraints: 20821 3078.06/3088.39 c #Conflicts: 744000 | #Constraints: 21821 3078.06/3088.39 c #Conflicts: 745000 | #Constraints: 22821 3078.06/3088.39 c #Conflicts: 746000 | #Constraints: 23821 3078.06/3088.39 c #Conflicts: 747000 | #Constraints: 24821 3078.06/3088.39 c #Conflicts: 748000 | #Constraints: 25821 3078.06/3088.39 c #Conflicts: 749000 | #Constraints: 26821 3078.06/3088.39 c #Conflicts: 750000 | #Constraints: 27821 3078.06/3088.39 c #Conflicts: 751000 | #Constraints: 28821 3078.06/3088.39 c #Conflicts: 752000 | #Constraints: 29821 3078.06/3088.39 c #Conflicts: 753000 | #Constraints: 30821 3078.06/3088.39 c #Conflicts: 754000 | #Constraints: 31821 3078.06/3088.39 c #Conflicts: 755000 | #Constraints: 32821 3078.06/3088.39 c #Conflicts: 756000 | #Constraints: 33821 3078.06/3088.39 c INPROCESSING 3078.06/3088.39 c GARBAGE COLLECT 3078.06/3088.39 c rational objective 1.32012 3193.35/3204.00 c #Conflicts: 757000 | #Constraints: 17616 3193.35/3204.00 c #Conflicts: 758000 | #Constraints: 18616 3193.35/3204.00 c #Conflicts: 759000 | #Constraints: 19616 3193.35/3204.00 c #Conflicts: 760000 | #Constraints: 20616 3193.35/3204.00 c #Conflicts: 761000 | #Constraints: 21616 3193.35/3204.00 c #Conflicts: 762000 | #Constraints: 22616 3193.35/3204.00 c #Conflicts: 763000 | #Constraints: 23616 3193.35/3204.00 c #Conflicts: 764000 | #Constraints: 24616 3193.35/3204.00 c #Conflicts: 765000 | #Constraints: 25616 3193.35/3204.00 c #Conflicts: 766000 | #Constraints: 26616 3193.35/3204.00 c #Conflicts: 767000 | #Constraints: 27616 3193.35/3204.00 c #Conflicts: 768000 | #Constraints: 28616 3193.35/3204.00 c #Conflicts: 769000 | #Constraints: 29616 3193.35/3204.00 c #Conflicts: 770000 | #Constraints: 30616 3193.35/3204.00 c #Conflicts: 771000 | #Constraints: 31616 3193.35/3204.00 c #Conflicts: 772000 | #Constraints: 32616 3193.35/3204.00 c #Conflicts: 773000 | #Constraints: 33616 3193.35/3204.00 c #Conflicts: 774000 | #Constraints: 34616 3193.35/3204.00 c INPROCESSING 3193.35/3204.00 c GARBAGE COLLECT 3193.35/3204.00 c rational objective 1.32012 3352.21/3363.48 c #Conflicts: 775000 | #Constraints: 18215 3352.21/3363.48 c #Conflicts: 776000 | #Constraints: 19215 3352.21/3363.48 c #Conflicts: 777000 | #Constraints: 20215 3352.21/3363.48 c #Conflicts: 778000 | #Constraints: 21215 3352.21/3363.48 c #Conflicts: 779000 | #Constraints: 22215 3352.21/3363.48 c #Conflicts: 780000 | #Constraints: 23215 3352.21/3363.48 c #Conflicts: 781000 | #Constraints: 24215 3352.21/3363.48 c #Conflicts: 782000 | #Constraints: 25215 3352.21/3363.48 c #Conflicts: 783000 | #Constraints: 26215 3352.21/3363.48 c #Conflicts: 784000 | #Constraints: 27215 3352.21/3363.48 c #Conflicts: 785000 | #Constraints: 28215 3352.21/3363.48 c #Conflicts: 786000 | #Constraints: 29215 3352.21/3363.48 c #Conflicts: 787000 | #Constraints: 30215 3352.21/3363.48 c #Conflicts: 788000 | #Constraints: 31215 3352.21/3363.48 c #Conflicts: 789000 | #Constraints: 32215 3352.21/3363.48 c #Conflicts: 790000 | #Constraints: 33215 3352.21/3363.48 c #Conflicts: 791000 | #Constraints: 34215 3352.21/3363.48 c #Conflicts: 792000 | #Constraints: 35215 3352.21/3363.48 c INPROCESSING 3352.21/3363.48 c GARBAGE COLLECT 3352.21/3363.48 c rational objective 1.32012 3486.35/3498.09 c #Conflicts: 793000 | #Constraints: 18618 3486.35/3498.09 c #Conflicts: 794000 | #Constraints: 19618 3486.35/3498.09 c #Conflicts: 795000 | #Constraints: 20618 3486.35/3498.09 c #Conflicts: 796000 | #Constraints: 21618 3486.35/3498.09 c #Conflicts: 797000 | #Constraints: 22618 3486.35/3498.09 c #Conflicts: 798000 | #Constraints: 23618 3486.35/3498.09 c #Conflicts: 799000 | #Constraints: 24618 3486.35/3498.09 c #Conflicts: 800000 | #Constraints: 25618 3486.35/3498.09 c #Conflicts: 801000 | #Constraints: 26618 3486.35/3498.09 c #Conflicts: 802000 | #Constraints: 27618 3486.35/3498.09 c #Conflicts: 803000 | #Constraints: 28618 3486.35/3498.09 c #Conflicts: 804000 | #Constraints: 29618 3486.35/3498.09 c #Conflicts: 805000 | #Constraints: 30618 3486.35/3498.09 c #Conflicts: 806000 | #Constraints: 31618 3486.35/3498.09 c #Conflicts: 807000 | #Constraints: 32618 3486.35/3498.09 c #Conflicts: 808000 | #Constraints: 33618 3486.35/3498.09 c #Conflicts: 809000 | #Constraints: 34619 3486.35/3498.09 c #Conflicts: 810000 | #Constraints: 35619 3486.35/3498.09 c INPROCESSING 3486.35/3498.09 c GARBAGE COLLECT 3486.35/3498.09 c rational objective 1.32012 3600.03/3612.10 c #Conflicts: 811000 | #Constraints: 18816 3600.03/3612.10 c #Conflicts: 812000 | #Constraints: 19816 3600.03/3612.10 c #Conflicts: 813000 | #Constraints: 20816 3600.03/3612.10 c #Conflicts: 814000 | #Constraints: 21816 3600.03/3612.10 c #Conflicts: 815000 | #Constraints: 22816 3600.03/3612.10 c #Conflicts: 816000 | #Constraints: 23816 3600.03/3612.10 c #Conflicts: 817000 | #Constraints: 24816 3600.03/3612.10 c #Conflicts: 818000 | #Constraints: 25816 3600.03/3612.10 c #Conflicts: 819000 | #Constraints: 26816 3600.03/3612.10 c #Conflicts: 820000 | #Constraints: 27816 3600.03/3612.10 c #Conflicts: 821000 | #Constraints: 28816 3600.03/3612.10 c #Conflicts: 822000 | #Constraints: 29816 3600.03/3612.10 c #Conflicts: 823000 | #Constraints: 30816 3600.03/3612.10 c #Conflicts: 824000 | #Constraints: 31816 3600.03/3612.10 c #Conflicts: 825000 | #Constraints: 32816 3600.03/3612.10 c #Conflicts: 826000 | #Constraints: 33816 3600.03/3612.10 c Program interrupted by user. 3600.03/3612.11 c cpu time 3575.34 s 3600.03/3612.11 c deterministic time 590740299673 5.91e+11 3600.03/3612.11 c optimization time 112.974 s 3600.03/3612.11 c total solve time 3462.36 s 3600.03/3612.11 c core-guided solve time 0 s 3600.03/3612.11 c propagation time 3155.97 s 3600.03/3612.11 c conflict analysis time 395.382 s 3600.03/3612.11 c propagations 10776727 3600.03/3612.11 c resolve steps 2305591 3600.03/3612.11 c decisions 7951256 3600.03/3612.11 c conflicts 826021 3600.03/3612.11 c restarts 1787 3600.03/3612.11 c inprocessing phases 81 3600.03/3612.11 c input clauses 0 3600.03/3612.11 c input cardinalities 0 3600.03/3612.11 c input general constraints 2 3600.03/3612.11 c input average constraint length 82.00 3600.03/3612.11 c input average constraint degree 486858570.50 3600.03/3612.11 c learned clauses 517195 3600.03/3612.11 c learned cardinalities 3 3600.03/3612.11 c learned general constraints 308841 3600.03/3612.11 c learned average constraint length 52.01 3600.03/3612.11 c learned average constraint degree 42777244.71 3600.03/3612.11 c watched constraints 195335 3600.03/3612.11 c counting constraints 113508 3600.03/3612.11 c gcd simplifications 398021 3600.03/3612.11 c detected cardinalities 3 3600.03/3612.11 c weakened non-implied lits 2088594 3600.03/3612.11 c weakened non-implying lits 7019855 3600.03/3612.11 c original variables 82 3600.03/3612.11 c clausal propagations 851718 3600.03/3612.11 c cardinality propagations 3 3600.03/3612.11 c watched propagations 4579870 3600.03/3612.11 c counting propagations 4759430 3600.03/3612.11 c watch lookups 90440144098 3600.03/3612.11 c watch backjump lookups 90008273349 3600.03/3612.11 c watch checks 22479958953 3600.03/3612.11 c propagation checks 387556324199 3600.03/3612.11 c constraint additions 216723842 3600.03/3612.11 c trail pops 19553918 3600.03/3612.11 c formula constraints 2 3600.03/3612.11 c learned constraints 826003 3600.03/3612.11 c bound constraints 0 3600.03/3612.11 c core-guided constraints 0 3600.03/3612.11 c encountered formula constraints 1696541 3600.03/3612.11 c encountered learned constraints 1434972 3600.03/3612.11 c encountered bound constraints 0 3600.03/3612.11 c encountered core-guided constraints 0 3600.03/3612.11 c LP total time 36.9968 s 3600.03/3612.11 c LP solve time 29.75 s 3600.03/3612.11 c LP constraints added 12 3600.03/3612.11 c LP constraints removed 7 3600.03/3612.11 c LP pivots internal 592963 3600.03/3612.11 c LP pivots root 367 3600.03/3612.11 c LP calls 770186 3600.03/3612.11 c LP optimalities 770168 3600.03/3612.11 c LP no pivot count 420409 3600.03/3612.11 c LP infeasibilities 18 3600.03/3612.11 c LP valid Farkas constraints 18 3600.03/3612.11 c LP learned Farkas constraints 18 3600.03/3612.11 c LP basis resets 0 3600.03/3612.11 c LP cycling count 0 3600.03/3612.11 c LP singular count 0 3600.03/3612.11 c LP no primal count 0 3600.03/3612.11 c LP no farkas count 0 3600.03/3612.11 c LP other issue count 0 3600.03/3612.11 c LP Gomory cuts 0 3600.03/3612.11 c LP learned cuts 10 3600.03/3612.11 c LP deleted cuts 7 3600.03/3612.11 c LP encountered Gomory constraints 0 3600.03/3612.11 c LP encountered Farkas constraints 56 3600.03/3612.11 c LP encountered learned Farkas constraints 25 3600.03/3612.11 c CG auxiliary variables introduced 0 3600.03/3612.11 c CG solutions found 0 3600.03/3612.11 c CG cores constructed 0 3600.03/3612.11 c CG core cardinality constraints returned 0 3600.03/3612.11 c CG unit cores 0 3600.03/3612.11 c CG single cores 0 3600.03/3612.11 c CG blocks removed during cardinality reduction 0 3600.03/3612.11 c CG first core best 0 3600.03/3612.11 c CG decision core best 0 3600.03/3612.11 c CG core reduction tie 0 3600.03/3612.11 c CG core degree average 0.00 3600.03/3612.11 c CG core slack average 0.00 3600.03/3612.11 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 (11891 MiB free)
memory of node 1: 64473 MiB (61157 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462916-1722344397/watcher-4462916-1722344397 -o /tmp/evaluation-result-4462916-1722344397/solver-4462916-1722344397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722340763-7476 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462916-1722344397 --lp-cut-gomory=0 HOME/instance-4462916-1722344397.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=9506, runsolver pid=9503
Current StackSize limit: 8192 KiB
[startup+0.100077 s]*
/proc/loadavg: 4.09 4.09 4.03 1/253 9507
/proc/meminfo: memFree=74802668/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=37376 memory=2548 CPUtime=0 cores=4,6
/proc/9506/stat : 9506 (roundingsat) D 9503 9506 7465 0 -1 1078198272 214 0 0 0 0 0 0 0 20 0 1 0 1041575 38273024 637 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.205022 s]*
/proc/loadavg: 4.09 4.09 4.03 1/253 9507
/proc/meminfo: memFree=74803480/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=37376 memory=2548 CPUtime=0 cores=4,6
/proc/9506/stat : 9506 (roundingsat) D 9503 9506 7465 0 -1 1078198272 214 0 0 0 0 0 0 0 20 0 1 0 1041575 38273024 637 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.304677 s]*
/proc/loadavg: 4.09 4.09 4.03 1/253 9507
/proc/meminfo: memFree=74804020/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=37376 memory=2548 CPUtime=0 cores=4,6
/proc/9506/stat : 9506 (roundingsat) D 9503 9506 7465 0 -1 1078198272 214 0 0 0 0 0 0 0 20 0 1 0 1041575 38273024 637 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.700184 s]
/proc/loadavg: 4.09 4.09 4.03 1/253 9507
/proc/meminfo: memFree=74804484/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=37376 memory=2548 CPUtime=0 cores=4,6
/proc/9506/stat : 9506 (roundingsat) D 9503 9506 7465 0 -1 1078198272 214 0 0 0 0 0 0 0 20 0 1 0 1041575 38273024 637 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+1.50027 s]
/proc/loadavg: 4.09 4.09 4.03 2/253 9507
/proc/meminfo: memFree=76786512/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=37376 memory=2548 CPUtime=0 cores=4,6
/proc/9506/stat : 9506 (roundingsat) D 9503 9506 7465 0 -1 4194304 214 0 0 0 0 0 0 0 20 0 1 0 1041575 38273024 637 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 8404994 1 0 0 17 6 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+3.10495 s]
/proc/loadavg: 4.08 4.09 4.03 2/248 9580
/proc/meminfo: memFree=82388172/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=38900 memory=10088 CPUtime=1.07 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 920 0 0 0 95 12 0 0 20 0 1 0 1041575 39833600 2522 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 9725 2522 1814 992 0 1583 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 10088 KiB
heavy processes:
[startup+6.30022 s]
/proc/loadavg: 4.08 4.09 4.03 2/248 9580
/proc/meminfo: memFree=82382228/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=39708 memory=11500 CPUtime=4.26 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 1249 0 0 0 395 31 0 0 20 0 1 0 1041575 40660992 2875 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 9927 2875 1814 992 0 1785 0
Current children cumulated CPU time: 4.26 s
Current children cumulated vsize: 39708 KiB
Current children cumulated memory: 11500 KiB
heavy processes:
[startup+12.7001 s]
/proc/loadavg: 4.07 4.08 4.03 2/252 9634
/proc/meminfo: memFree=130377924/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=40188 memory=14236 CPUtime=10.64 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 1420 0 0 0 1010 54 0 0 20 0 1 0 1041575 41152512 3559 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 10047 3559 1814 992 0 1905 0
Current children cumulated CPU time: 10.64 s
Current children cumulated vsize: 40188 KiB
Current children cumulated memory: 14236 KiB
[startup+25.5001 s]
/proc/loadavg: 4.06 4.08 4.03 2/247 9662
/proc/meminfo: memFree=130363780/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=41936 memory=15672 CPUtime=23.41 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 1789 0 0 0 2246 95 0 0 20 0 1 0 1041575 42942464 3918 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 10484 3918 1814 992 0 2342 0
Current children cumulated CPU time: 23.41 s
Current children cumulated vsize: 41936 KiB
Current children cumulated memory: 15672 KiB
[startup+51.106 s]
/proc/loadavg: 4.16 4.10 4.03 5/261 9725
/proc/meminfo: memFree=129794436/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=42256 memory=16232 CPUtime=48.95 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 1923 0 0 0 4744 151 0 0 20 0 1 0 1041575 43270144 4058 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 10564 4058 1846 992 0 2422 0
Current children cumulated CPU time: 48.95 s
Current children cumulated vsize: 42256 KiB
Current children cumulated memory: 16232 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.13 4.05 5/261 9747
/proc/meminfo: memFree=129389444/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=48336 memory=22168 CPUtime=100 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 2990 0 0 0 9763 237 0 0 20 0 1 0 1041575 49496064 5542 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 12084 5542 1846 992 0 3942 0
Current children cumulated CPU time: 100 s
Current children cumulated vsize: 48336 KiB
Current children cumulated memory: 22168 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/261 9757
/proc/meminfo: memFree=128983896/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=48528 memory=22388 CPUtime=159.83 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 3091 0 0 0 15663 320 0 0 20 0 1 0 1041575 49692672 5597 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 12132 5597 1846 992 0 3990 0
Current children cumulated CPU time: 159.83 s
Current children cumulated vsize: 48528 KiB
Current children cumulated memory: 22388 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/259 9767
/proc/meminfo: memFree=128622052/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=48528 memory=22624 CPUtime=219.69 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 3118 0 0 0 21574 395 0 0 20 0 1 0 1041575 49692672 5656 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 12132 5656 1846 992 0 3990 0
Current children cumulated CPU time: 219.69 s
Current children cumulated vsize: 48528 KiB
Current children cumulated memory: 22624 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.05 5/258 9826
/proc/meminfo: memFree=127600252/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=53460 memory=23416 CPUtime=279.53 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 3343 0 0 0 27489 464 0 0 20 0 1 0 1041575 54743040 5854 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 13365 5854 1846 992 0 5223 0
Current children cumulated CPU time: 279.53 s
Current children cumulated vsize: 53460 KiB
Current children cumulated memory: 23416 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.14 4.06 5/256 9837
/proc/meminfo: memFree=126465872/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=57620 memory=28632 CPUtime=339.36 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 4223 0 0 0 33410 526 0 0 20 0 1 0 1041575 59002880 7158 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 14405 7158 1846 992 0 6263 0
Current children cumulated CPU time: 339.36 s
Current children cumulated vsize: 57620 KiB
Current children cumulated memory: 28632 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.13 4.06 5/256 9847
/proc/meminfo: memFree=125454820/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=59028 memory=29644 CPUtime=399.18 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 4505 0 0 0 39338 580 0 0 20 0 1 0 1041575 60444672 7411 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 14757 7411 1846 992 0 6615 0
Current children cumulated CPU time: 399.18 s
Current children cumulated vsize: 59028 KiB
Current children cumulated memory: 29644 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.07 4/256 9859
/proc/meminfo: memFree=124359744/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=59540 memory=30696 CPUtime=459 cores=4,6
################
# More data... #
################
Current children cumulated memory: 51976 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/259 10965
/proc/meminfo: memFree=110422772/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=78652 memory=51976 CPUtime=2912.57 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8414 0 0 0 289123 2134 0 0 20 0 1 0 1041575 80539648 12994 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 19663 12994 1846 992 0 11521 0
Current children cumulated CPU time: 2912.57 s
Current children cumulated vsize: 78652 KiB
Current children cumulated memory: 51976 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/258 10975
/proc/meminfo: memFree=110163980/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=90840 memory=53088 CPUtime=2972.39 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8694 0 0 0 295087 2152 0 0 20 0 1 0 1041575 93020160 13272 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 22710 13272 1846 992 0 14568 0
Current children cumulated CPU time: 2972.39 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 53088 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/257 10989
/proc/meminfo: memFree=109921588/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=90840 memory=53088 CPUtime=3032.23 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8706 0 0 0 301039 2184 0 0 20 0 1 0 1041575 93020160 13272 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 22710 13272 1846 992 0 14568 0
Current children cumulated CPU time: 3032.23 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 53088 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 11001
/proc/meminfo: memFree=109567324/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=90840 memory=53088 CPUtime=3092.01 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8719 0 0 0 306990 2211 0 0 20 0 1 0 1041575 93020160 13272 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 22710 13272 1846 992 0 14568 0
Current children cumulated CPU time: 3092.01 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 53088 KiB
[startup+3162.3 s]
/proc/loadavg: 4.38 4.20 4.12 5/256 11011
/proc/meminfo: memFree=109290436/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=90840 memory=53088 CPUtime=3151.8 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8731 0 0 0 312931 2249 0 0 20 0 1 0 1041575 93020160 13272 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 22710 13272 1846 992 0 14568 0
Current children cumulated CPU time: 3151.8 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 53088 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.21 4.13 5/256 11022
/proc/meminfo: memFree=109026108/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=90840 memory=53088 CPUtime=3211.59 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8744 0 0 0 318880 2279 0 0 20 0 1 0 1041575 93020160 13272 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 22710 13272 1846 992 0 14568 0
Current children cumulated CPU time: 3211.59 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 53088 KiB
[startup+3282.3 s]
/proc/loadavg: 4.25 4.21 4.13 5/259 11038
/proc/meminfo: memFree=108820132/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=90840 memory=53096 CPUtime=3271.38 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8756 0 0 0 324828 2310 0 0 20 0 1 0 1041575 93020160 13274 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 22710 13274 1846 992 0 14568 0
Current children cumulated CPU time: 3271.38 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 53096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.19 4.13 5/258 11430
/proc/meminfo: memFree=108676872/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=90840 memory=53096 CPUtime=3331.18 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8768 0 0 0 330783 2335 0 0 20 0 1 0 1041575 93020160 13274 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 22710 13274 1846 992 0 14568 0
Current children cumulated CPU time: 3331.18 s
Current children cumulated vsize: 90840 KiB
Current children cumulated memory: 53096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.52 4.30 4.18 5/258 11440
/proc/meminfo: memFree=108539652/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=91352 memory=53284 CPUtime=3390.97 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8849 0 0 0 336731 2366 0 0 20 0 1 0 1041575 93544448 13321 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 22838 13321 1846 992 0 14696 0
Current children cumulated CPU time: 3390.97 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 53284 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.26 4.17 5/258 11452
/proc/meminfo: memFree=108293684/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=91352 memory=53284 CPUtime=3450.77 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8861 0 0 0 342680 2397 0 0 20 0 1 0 1041575 93544448 13321 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 22838 13321 1846 992 0 14696 0
Current children cumulated CPU time: 3450.77 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 53284 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.24 4.17 5/257 11630
/proc/meminfo: memFree=108059692/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=91352 memory=53284 CPUtime=3510.56 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8873 0 0 0 348629 2427 0 0 20 0 1 0 1041575 93544448 13321 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 22838 13321 1846 992 0 14696 0
Current children cumulated CPU time: 3510.56 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 53284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.21 4.16 5/255 11640
/proc/meminfo: memFree=107802876/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=91352 memory=53372 CPUtime=3570.34 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8885 0 0 0 354577 2457 0 0 20 0 1 0 1041575 93544448 13343 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 22838 13343 1846 992 0 14696 0
Current children cumulated CPU time: 3570.34 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 53372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.15 4.21 4.16 5/256 11649
/proc/meminfo: memFree=107699192/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=91352 memory=53372 CPUtime=3600.03 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8885 0 0 0 357533 2470 0 0 20 0 1 0 1041575 93544448 13343 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 22838 13343 1846 992 0 14696 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 53372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.11 s]
# the end of solver process 9506 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.34 s, system=24.7105 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.15 4.21 4.16 5/256 11649
/proc/meminfo: memFree=107699192/131524600 swapFree=131071996/131071996
[pid=9506] ppid=9503 vsize=91352 memory=53372 CPUtime=3600.03 cores=4,6
/proc/9506/stat : 9506 (roundingsat) R 9503 9506 7465 0 -1 4194304 8885 0 0 0 357533 2470 0 0 20 0 1 0 1041575 93544448 13343 134679101440 4194304 8255733 140724461291824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20537344 140724461294434 140724461294696 140724461294696 140724461301705 0
/proc/9506/statm: 22838 13343 1846 992 0 14696 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 53372 KiB
Child status: 0
Real time (s): 3612.11
CPU time (s): 3600.05
CPU user time (s): 3575.34
CPU system time (s): 24.7105
CPU usage (%): 99.666
Max. virtual memory (cumulated for all children) (KiB): 91352
Max. memory (cumulated for all children) (KiB): 53372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.34
system time used= 24.7105
maximum resident set size= 53528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1461064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56
involuntary context switches= 4825
# summary of solver processes directly reported to runsolver:
# pid: 9506
# total CPU time (s): 3600.05
# total CPU user time (s): 3575.34
# total CPU system time (s): 24.7105
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3343 second user time and 12.9291 second system time
The end
Begin job on nodeC030 at 2024-07-30 14:59:57 IDJOB=4462916 IDBENCH=148102 IDSOLVER=3089 FILE ID=nodeC030/4462916-1722344397 RUNJOBID= nodeC030-1722340763-7476 SLURM_JOB_ID= 8249003 Free space on /tmp= 890048 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-4462916-1722344397/watcher-4462916-1722344397 -o /tmp/evaluation-result-4462916-1722344397/solver-4462916-1722344397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722340763-7476 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462916-1722344397 --lp-cut-gomory=0 HOME/instance-4462916-1722344397.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 13439fe0222d33319b9169d149c100b9 RANDOM SEED=52205761 nodeC030.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 : 3056.682 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 : 7000.60 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 : 1200.574 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.48 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 : 2207.093 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 : 7000.60 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 : 1650.083 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.48 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 : 3493.099 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 : 7000.60 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 : 2206.745 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.48 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 : 3454.464 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 : 7000.60 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 : 1200.221 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 74802172 kB MemAvailable: 124597248 kB Buffers: 43280 kB Cached: 50533756 kB SwapCached: 0 kB Active: 175440 kB Inactive: 55952680 kB Active(anon): 1536 kB Inactive(anon): 5570872 kB Active(file): 173904 kB Inactive(file): 50381808 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 11344 kB Writeback: 18796 kB AnonPages: 5550808 kB Mapped: 92736 kB Shmem: 21328 kB KReclaimable: 158372 kB Slab: 240040 kB SReclaimable: 158372 kB SUnreclaim: 81668 kB KernelStack: 4096 kB PageTables: 20068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 6326308 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8416 kB HardwareCorrupted: 0 kB AnonHugePages: 3061760 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: 221908 kB DirectMap2M: 6891520 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 890052 MiB End job on nodeC030 at 2024-07-30 16:00:09