| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.08 | 3613.11 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb |
| MD5SUM | f9ddfe14fcbe08e4d315c2b284f6e91e |
| 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.008239 |
| 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 | 70 |
| 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 | 70 |
| Maximum length of a constraint | 70 |
| 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 | 89716839 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 865734046 |
| Number of bits of the biggest sum of numbers | 30 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.51 c #variables 70 #constraints 2 0.00/0.51 c rational objective 1.19422 0.28/0.88 c #Conflicts: 1000 | #Constraints: 1001 0.28/0.88 c #Conflicts: 2000 | #Constraints: 2001 0.28/0.88 c INPROCESSING 0.28/0.88 c GARBAGE COLLECT 0.28/0.88 c rational objective 1.19422 1.07/1.60 c #Conflicts: 3000 | #Constraints: 2006 1.07/1.60 c #Conflicts: 4000 | #Constraints: 3006 1.07/1.60 c INPROCESSING 1.07/1.60 c GARBAGE COLLECT 1.07/1.60 c rational objective 1.19422 1.98/2.59 c #Conflicts: 5000 | #Constraints: 2411 1.98/2.59 c #Conflicts: 6000 | #Constraints: 3411 1.98/2.59 c INPROCESSING 1.98/2.59 c GARBAGE COLLECT 1.98/2.59 c rational objective 1.19423 3.17/3.79 c #Conflicts: 7000 | #Constraints: 2412 3.17/3.79 c #Conflicts: 8000 | #Constraints: 3412 3.17/3.79 c #Conflicts: 9000 | #Constraints: 4412 3.17/3.79 c INPROCESSING 3.17/3.79 c GARBAGE COLLECT 3.17/3.79 c rational objective 1.19424 5.06/5.60 c #Conflicts: 10000 | #Constraints: 3109 5.06/5.60 c #Conflicts: 11000 | #Constraints: 4109 5.06/5.60 c #Conflicts: 12000 | #Constraints: 5109 5.06/5.60 c INPROCESSING 5.06/5.60 c GARBAGE COLLECT 5.06/5.60 c rational objective 1.19424 7.16/7.79 c #Conflicts: 13000 | #Constraints: 3559 7.16/7.79 c #Conflicts: 14000 | #Constraints: 4559 7.16/7.79 c #Conflicts: 15000 | #Constraints: 5559 7.16/7.79 c INPROCESSING 7.16/7.79 c GARBAGE COLLECT 7.16/7.79 c rational objective 1.19424 10.46/11.04 c #Conflicts: 16000 | #Constraints: 3785 10.46/11.04 c #Conflicts: 17000 | #Constraints: 4785 10.46/11.04 c #Conflicts: 18000 | #Constraints: 5785 10.46/11.04 c INPROCESSING 10.46/11.04 c GARBAGE COLLECT 10.46/11.04 c rational objective 1.1943 13.84/14.48 c #Conflicts: 19000 | #Constraints: 3797 13.84/14.48 c #Conflicts: 20000 | #Constraints: 4797 13.84/14.48 c #Conflicts: 21000 | #Constraints: 5797 13.84/14.48 c INPROCESSING 13.84/14.48 c GARBAGE COLLECT 13.84/14.48 c rational objective 1.1943 17.13/17.72 c #Conflicts: 22000 | #Constraints: 3606 17.13/17.72 c #Conflicts: 23000 | #Constraints: 4606 17.13/17.72 c #Conflicts: 24000 | #Constraints: 5606 17.13/17.72 c #Conflicts: 25000 | #Constraints: 6606 17.13/17.72 c INPROCESSING 17.13/17.72 c GARBAGE COLLECT 17.13/17.72 c rational objective 1.20973 21.73/22.33 c #Conflicts: 26000 | #Constraints: 4205 21.73/22.33 c #Conflicts: 27000 | #Constraints: 5205 21.73/22.33 c #Conflicts: 28000 | #Constraints: 6205 21.73/22.33 c #Conflicts: 29000 | #Constraints: 7205 21.73/22.33 c INPROCESSING 21.73/22.33 c GARBAGE COLLECT 21.73/22.33 c rational objective 1.22209 25.91/26.50 c #Conflicts: 30000 | #Constraints: 4610 25.91/26.50 c #Conflicts: 31000 | #Constraints: 5610 25.91/26.50 c #Conflicts: 32000 | #Constraints: 6610 25.91/26.50 c #Conflicts: 33000 | #Constraints: 7610 25.91/26.50 c INPROCESSING 25.91/26.50 c GARBAGE COLLECT 25.91/26.50 c rational objective 1.22899 54.62/55.30 c #Conflicts: 34000 | #Constraints: 4806 54.62/55.30 c #Conflicts: 35000 | #Constraints: 5806 54.62/55.30 c #Conflicts: 36000 | #Constraints: 6806 54.62/55.30 c #Conflicts: 37000 | #Constraints: 7806 54.62/55.30 c #Conflicts: 38000 | #Constraints: 8806 54.62/55.30 c #Conflicts: 39000 | #Constraints: 9806 54.62/55.30 c #Conflicts: 40000 | #Constraints: 10806 54.62/55.30 c #Conflicts: 41000 | #Constraints: 11806 54.62/55.30 c #Conflicts: 42000 | #Constraints: 12806 54.62/55.30 c #Conflicts: 43000 | #Constraints: 13806 54.62/55.30 c #Conflicts: 44000 | #Constraints: 14806 54.62/55.30 c #Conflicts: 45000 | #Constraints: 15806 54.62/55.30 c #Conflicts: 46000 | #Constraints: 16806 54.62/55.30 c #Conflicts: 47000 | #Constraints: 17806 54.62/55.30 c #Conflicts: 48000 | #Constraints: 18806 54.62/55.30 c INPROCESSING 54.62/55.30 c GARBAGE COLLECT 54.62/55.30 c rational objective 1.27068 65.39/66.12 c #Conflicts: 49000 | #Constraints: 10408 65.39/66.12 c #Conflicts: 50000 | #Constraints: 11408 65.39/66.12 c #Conflicts: 51000 | #Constraints: 12408 65.39/66.12 c #Conflicts: 52000 | #Constraints: 13408 65.39/66.12 c #Conflicts: 53000 | #Constraints: 14408 65.39/66.12 c INPROCESSING 65.39/66.12 c GARBAGE COLLECT 65.39/66.12 c rational objective 1.28777 77.16/77.95 c #Conflicts: 54000 | #Constraints: 8058 77.16/77.95 c #Conflicts: 55000 | #Constraints: 9058 77.16/77.95 c #Conflicts: 56000 | #Constraints: 10058 77.16/77.95 c #Conflicts: 57000 | #Constraints: 11058 77.16/77.95 c #Conflicts: 58000 | #Constraints: 12058 77.16/77.95 c INPROCESSING 77.16/77.95 c GARBAGE COLLECT 77.16/77.95 c rational objective 1.28777 89.22/90.00 c #Conflicts: 59000 | #Constraints: 6636 89.22/90.00 c #Conflicts: 60000 | #Constraints: 7636 89.22/90.00 c #Conflicts: 61000 | #Constraints: 8636 89.22/90.00 c #Conflicts: 62000 | #Constraints: 9636 89.22/90.00 c #Conflicts: 63000 | #Constraints: 10636 89.22/90.00 c #Conflicts: 64000 | #Constraints: 11636 89.22/90.00 c INPROCESSING 89.22/90.00 c GARBAGE COLLECT 89.22/90.00 c rational objective 1.28777 140.95/141.93 c #Conflicts: 65000 | #Constraints: 6573 140.95/141.93 c #Conflicts: 66000 | #Constraints: 7573 140.95/141.93 c #Conflicts: 67000 | #Constraints: 8573 140.95/141.93 c #Conflicts: 68000 | #Constraints: 9573 140.95/141.93 c #Conflicts: 69000 | #Constraints: 10573 140.95/141.93 c #Conflicts: 70000 | #Constraints: 11573 140.95/141.93 c #Conflicts: 71000 | #Constraints: 12573 140.95/141.93 c #Conflicts: 72000 | #Constraints: 13573 140.95/141.93 c #Conflicts: 73000 | #Constraints: 14573 140.95/141.93 c #Conflicts: 74000 | #Constraints: 15573 140.95/141.93 c #Conflicts: 75000 | #Constraints: 16573 140.95/141.93 c #Conflicts: 76000 | #Constraints: 17573 140.95/141.93 c #Conflicts: 77000 | #Constraints: 18573 140.95/141.93 c #Conflicts: 78000 | #Constraints: 19573 140.95/141.93 c #Conflicts: 79000 | #Constraints: 20573 140.95/141.93 c #Conflicts: 80000 | #Constraints: 21573 140.95/141.93 c #Conflicts: 81000 | #Constraints: 22573 140.95/141.93 c #Conflicts: 82000 | #Constraints: 23573 140.95/141.93 c #Conflicts: 83000 | #Constraints: 24573 140.95/141.93 c #Conflicts: 84000 | #Constraints: 25573 140.95/141.93 c INPROCESSING 140.95/141.93 c GARBAGE COLLECT 140.95/141.93 c rational objective 1.28777 163.38/164.41 c #Conflicts: 85000 | #Constraints: 13396 163.38/164.41 c #Conflicts: 86000 | #Constraints: 14396 163.38/164.41 c #Conflicts: 87000 | #Constraints: 15396 163.38/164.41 c #Conflicts: 88000 | #Constraints: 16396 163.38/164.41 c #Conflicts: 89000 | #Constraints: 17396 163.38/164.41 c #Conflicts: 90000 | #Constraints: 18396 163.38/164.41 c #Conflicts: 91000 | #Constraints: 19396 163.38/164.41 c INPROCESSING 163.38/164.41 c GARBAGE COLLECT 163.38/164.41 c rational objective 1.28777 184.51/185.69 c #Conflicts: 92000 | #Constraints: 10307 184.51/185.69 c #Conflicts: 93000 | #Constraints: 11307 184.51/185.69 c #Conflicts: 94000 | #Constraints: 12307 184.51/185.69 c #Conflicts: 95000 | #Constraints: 13307 184.51/185.69 c #Conflicts: 96000 | #Constraints: 14307 184.51/185.69 c #Conflicts: 97000 | #Constraints: 15307 184.51/185.69 c #Conflicts: 98000 | #Constraints: 16307 184.51/185.69 c #Conflicts: 99000 | #Constraints: 17307 184.51/185.69 c INPROCESSING 184.51/185.69 c GARBAGE COLLECT 184.51/185.69 c rational objective 1.28777 203.45/204.69 c #Conflicts: 100000 | #Constraints: 9658 203.45/204.69 c #Conflicts: 101000 | #Constraints: 10658 203.45/204.69 c #Conflicts: 102000 | #Constraints: 11658 203.45/204.69 c #Conflicts: 103000 | #Constraints: 12658 203.45/204.69 c #Conflicts: 104000 | #Constraints: 13658 203.45/204.69 c #Conflicts: 105000 | #Constraints: 14658 203.45/204.69 c #Conflicts: 106000 | #Constraints: 15658 203.45/204.69 c INPROCESSING 203.45/204.69 c GARBAGE COLLECT 203.45/204.69 c rational objective 1.28777 298.44/299.95 c #Conflicts: 107000 | #Constraints: 8633 298.44/299.95 c #Conflicts: 108000 | #Constraints: 9633 298.44/299.95 c #Conflicts: 109000 | #Constraints: 10633 298.44/299.95 c #Conflicts: 110000 | #Constraints: 11633 298.44/299.95 c #Conflicts: 111000 | #Constraints: 12633 298.44/299.95 c #Conflicts: 112000 | #Constraints: 13633 298.44/299.95 c #Conflicts: 113000 | #Constraints: 14633 298.44/299.95 c #Conflicts: 114000 | #Constraints: 15633 298.44/299.95 c #Conflicts: 115000 | #Constraints: 16633 298.44/299.95 c #Conflicts: 116000 | #Constraints: 17633 298.44/299.95 c #Conflicts: 117000 | #Constraints: 18633 298.44/299.95 c #Conflicts: 118000 | #Constraints: 19633 298.44/299.95 c #Conflicts: 119000 | #Constraints: 20633 298.44/299.95 c #Conflicts: 120000 | #Constraints: 21633 298.44/299.95 c #Conflicts: 121000 | #Constraints: 22633 298.44/299.95 c #Conflicts: 122000 | #Constraints: 23633 298.44/299.95 c #Conflicts: 123000 | #Constraints: 24633 298.44/299.95 c #Conflicts: 124000 | #Constraints: 25633 298.44/299.95 c #Conflicts: 125000 | #Constraints: 26633 298.44/299.95 c #Conflicts: 126000 | #Constraints: 27633 298.44/299.95 c #Conflicts: 127000 | #Constraints: 28633 298.44/299.95 c #Conflicts: 128000 | #Constraints: 29633 298.44/299.95 c #Conflicts: 129000 | #Constraints: 30633 298.44/299.95 c #Conflicts: 130000 | #Constraints: 31633 298.44/299.95 c #Conflicts: 131000 | #Constraints: 32633 298.44/299.95 c #Conflicts: 132000 | #Constraints: 33633 298.44/299.95 c INPROCESSING 298.44/299.95 c GARBAGE COLLECT 298.44/299.95 c rational objective 1.28777 333.83/335.49 c #Conflicts: 133000 | #Constraints: 17821 333.83/335.49 c #Conflicts: 134000 | #Constraints: 18821 333.83/335.49 c #Conflicts: 135000 | #Constraints: 19821 333.83/335.49 c #Conflicts: 136000 | #Constraints: 20821 333.83/335.49 c #Conflicts: 137000 | #Constraints: 21821 333.83/335.49 c #Conflicts: 138000 | #Constraints: 22821 333.83/335.49 c #Conflicts: 139000 | #Constraints: 23821 333.83/335.49 c #Conflicts: 140000 | #Constraints: 24821 333.83/335.49 c INPROCESSING 333.83/335.49 c GARBAGE COLLECT 333.83/335.49 c rational objective 1.28777 373.69/375.47 c #Conflicts: 141000 | #Constraints: 13069 373.69/375.47 c #Conflicts: 142000 | #Constraints: 14069 373.69/375.47 c #Conflicts: 143000 | #Constraints: 15069 373.69/375.47 c #Conflicts: 144000 | #Constraints: 16069 373.69/375.47 c #Conflicts: 145000 | #Constraints: 17069 373.69/375.47 c #Conflicts: 146000 | #Constraints: 18069 373.69/375.47 c #Conflicts: 147000 | #Constraints: 19069 373.69/375.47 c #Conflicts: 148000 | #Constraints: 20069 373.69/375.47 c #Conflicts: 149000 | #Constraints: 21069 373.69/375.47 c INPROCESSING 373.69/375.47 c GARBAGE COLLECT 373.69/375.47 c rational objective 1.28777 405.19/407.09 c #Conflicts: 150000 | #Constraints: 11239 405.19/407.09 c #Conflicts: 151000 | #Constraints: 12239 405.19/407.09 c #Conflicts: 152000 | #Constraints: 13239 405.19/407.09 c #Conflicts: 153000 | #Constraints: 14239 405.19/407.09 c #Conflicts: 154000 | #Constraints: 15239 405.19/407.09 c #Conflicts: 155000 | #Constraints: 16239 405.19/407.09 c #Conflicts: 156000 | #Constraints: 17239 405.19/407.09 c #Conflicts: 157000 | #Constraints: 18239 405.19/407.09 c #Conflicts: 158000 | #Constraints: 19239 405.19/407.09 c INPROCESSING 405.19/407.09 c GARBAGE COLLECT 405.19/407.09 c rational objective 1.28777 436.88/438.81 c #Conflicts: 159000 | #Constraints: 10275 436.88/438.81 c #Conflicts: 160000 | #Constraints: 11275 436.88/438.81 c #Conflicts: 161000 | #Constraints: 12275 436.88/438.81 c #Conflicts: 162000 | #Constraints: 13275 436.88/438.81 c #Conflicts: 163000 | #Constraints: 14275 436.88/438.81 c #Conflicts: 164000 | #Constraints: 15275 436.88/438.81 c #Conflicts: 165000 | #Constraints: 16275 436.88/438.81 c #Conflicts: 166000 | #Constraints: 17275 436.88/438.81 c #Conflicts: 167000 | #Constraints: 18275 436.88/438.81 c #Conflicts: 168000 | #Constraints: 19275 436.88/438.81 c INPROCESSING 436.88/438.81 c GARBAGE COLLECT 436.88/438.81 c rational objective 1.28777 463.81/465.84 c #Conflicts: 169000 | #Constraints: 10643 463.81/465.84 c #Conflicts: 170000 | #Constraints: 11643 463.81/465.84 c #Conflicts: 171000 | #Constraints: 12643 463.81/465.84 c #Conflicts: 172000 | #Constraints: 13643 463.81/465.84 c #Conflicts: 173000 | #Constraints: 14643 463.81/465.84 c #Conflicts: 174000 | #Constraints: 15643 463.81/465.84 c #Conflicts: 175000 | #Constraints: 16643 463.81/465.84 c #Conflicts: 176000 | #Constraints: 17643 463.81/465.84 c #Conflicts: 177000 | #Constraints: 18643 463.81/465.84 c INPROCESSING 463.81/465.84 c GARBAGE COLLECT 463.81/465.84 c rational objective 1.28777 489.43/491.51 c #Conflicts: 178000 | #Constraints: 10075 489.43/491.51 c #Conflicts: 179000 | #Constraints: 11075 489.43/491.51 c #Conflicts: 180000 | #Constraints: 12075 489.43/491.51 c #Conflicts: 181000 | #Constraints: 13075 489.43/491.51 c #Conflicts: 182000 | #Constraints: 14075 489.43/491.51 c #Conflicts: 183000 | #Constraints: 15075 489.43/491.51 c #Conflicts: 184000 | #Constraints: 16075 489.43/491.51 c #Conflicts: 185000 | #Constraints: 17075 489.43/491.51 c #Conflicts: 186000 | #Constraints: 18075 489.43/491.51 c #Conflicts: 187000 | #Constraints: 19075 489.43/491.51 c INPROCESSING 489.43/491.51 c GARBAGE COLLECT 489.43/491.51 c rational objective 1.28777 512.67/514.81 c #Conflicts: 188000 | #Constraints: 10443 512.67/514.81 c #Conflicts: 189000 | #Constraints: 11443 512.67/514.81 c #Conflicts: 190000 | #Constraints: 12443 512.67/514.81 c #Conflicts: 191000 | #Constraints: 13443 512.67/514.81 c #Conflicts: 192000 | #Constraints: 14443 512.67/514.81 c #Conflicts: 193000 | #Constraints: 15443 512.67/514.81 c #Conflicts: 194000 | #Constraints: 16443 512.67/514.81 c #Conflicts: 195000 | #Constraints: 17443 512.67/514.81 c #Conflicts: 196000 | #Constraints: 18443 512.67/514.81 c #Conflicts: 197000 | #Constraints: 19443 512.67/514.81 c INPROCESSING 512.67/514.81 c GARBAGE COLLECT 512.67/514.81 c rational objective 1.28777 704.86/707.70 c #Conflicts: 198000 | #Constraints: 10674 704.86/707.70 c #Conflicts: 199000 | #Constraints: 11674 704.86/707.70 c #Conflicts: 200000 | #Constraints: 12674 704.86/707.70 c #Conflicts: 201000 | #Constraints: 13674 704.86/707.70 c #Conflicts: 202000 | #Constraints: 14674 704.86/707.70 c #Conflicts: 203000 | #Constraints: 15674 704.86/707.70 c #Conflicts: 204000 | #Constraints: 16674 704.86/707.70 c #Conflicts: 205000 | #Constraints: 17674 704.86/707.70 c #Conflicts: 206000 | #Constraints: 18674 704.86/707.70 c #Conflicts: 207000 | #Constraints: 19674 704.86/707.70 c #Conflicts: 208000 | #Constraints: 20674 704.86/707.70 c #Conflicts: 209000 | #Constraints: 21674 704.86/707.70 c #Conflicts: 210000 | #Constraints: 22674 704.86/707.70 c #Conflicts: 211000 | #Constraints: 23674 704.86/707.70 c #Conflicts: 212000 | #Constraints: 24674 704.86/707.70 c #Conflicts: 213000 | #Constraints: 25674 704.86/707.70 c #Conflicts: 214000 | #Constraints: 26675 704.86/707.70 c #Conflicts: 215000 | #Constraints: 27675 704.86/707.70 c #Conflicts: 216000 | #Constraints: 28675 704.86/707.70 c #Conflicts: 217000 | #Constraints: 29675 704.86/707.70 c #Conflicts: 218000 | #Constraints: 30675 704.86/707.70 c #Conflicts: 219000 | #Constraints: 31675 704.86/707.70 c #Conflicts: 220000 | #Constraints: 32675 704.86/707.70 c #Conflicts: 221000 | #Constraints: 33675 704.86/707.70 c #Conflicts: 222000 | #Constraints: 34675 704.86/707.70 c #Conflicts: 223000 | #Constraints: 35675 704.86/707.70 c #Conflicts: 224000 | #Constraints: 36675 704.86/707.70 c #Conflicts: 225000 | #Constraints: 37675 704.86/707.70 c #Conflicts: 226000 | #Constraints: 38675 704.86/707.70 c #Conflicts: 227000 | #Constraints: 39675 704.86/707.70 c #Conflicts: 228000 | #Constraints: 40675 704.86/707.70 c #Conflicts: 229000 | #Constraints: 41675 704.86/707.70 c #Conflicts: 230000 | #Constraints: 42675 704.86/707.70 c #Conflicts: 231000 | #Constraints: 43675 704.86/707.70 c #Conflicts: 232000 | #Constraints: 44675 704.86/707.70 c INPROCESSING 704.86/707.70 c GARBAGE COLLECT 704.86/707.70 c rational objective 1.28777 793.92/797.17 c #Conflicts: 233000 | #Constraints: 23144 793.92/797.17 c #Conflicts: 234000 | #Constraints: 24144 793.92/797.17 c #Conflicts: 235000 | #Constraints: 25144 793.92/797.17 c #Conflicts: 236000 | #Constraints: 26144 793.92/797.17 c #Conflicts: 237000 | #Constraints: 27144 793.92/797.17 c #Conflicts: 238000 | #Constraints: 28144 793.92/797.17 c #Conflicts: 239000 | #Constraints: 29144 793.92/797.17 c #Conflicts: 240000 | #Constraints: 30144 793.92/797.17 c #Conflicts: 241000 | #Constraints: 31144 793.92/797.17 c #Conflicts: 242000 | #Constraints: 32144 793.92/797.17 c #Conflicts: 243000 | #Constraints: 33144 793.92/797.17 c INPROCESSING 793.92/797.17 c GARBAGE COLLECT 793.92/797.17 c rational objective 1.28777 862.83/866.39 c #Conflicts: 244000 | #Constraints: 17280 862.83/866.39 c #Conflicts: 245000 | #Constraints: 18280 862.83/866.39 c #Conflicts: 246000 | #Constraints: 19280 862.83/866.39 c #Conflicts: 247000 | #Constraints: 20280 862.83/866.39 c #Conflicts: 248000 | #Constraints: 21280 862.83/866.39 c #Conflicts: 249000 | #Constraints: 22280 862.83/866.39 c #Conflicts: 250000 | #Constraints: 23280 862.83/866.39 c #Conflicts: 251000 | #Constraints: 24280 862.83/866.39 c #Conflicts: 252000 | #Constraints: 25280 862.83/866.39 c #Conflicts: 253000 | #Constraints: 26280 862.83/866.39 c #Conflicts: 254000 | #Constraints: 27280 862.83/866.39 c #Conflicts: 255000 | #Constraints: 28280 862.83/866.39 c INPROCESSING 862.83/866.39 c GARBAGE COLLECT 862.83/866.39 c rational objective 1.28777 914.64/918.37 c #Conflicts: 256000 | #Constraints: 15147 914.64/918.37 c #Conflicts: 257000 | #Constraints: 16147 914.64/918.37 c #Conflicts: 258000 | #Constraints: 17147 914.64/918.37 c #Conflicts: 259000 | #Constraints: 18147 914.64/918.37 c #Conflicts: 260000 | #Constraints: 19147 914.64/918.37 c #Conflicts: 261000 | #Constraints: 20147 914.64/918.37 c #Conflicts: 262000 | #Constraints: 21147 914.64/918.37 c #Conflicts: 263000 | #Constraints: 22147 914.64/918.37 c #Conflicts: 264000 | #Constraints: 23147 914.64/918.37 c #Conflicts: 265000 | #Constraints: 24147 914.64/918.37 c #Conflicts: 266000 | #Constraints: 25147 914.64/918.37 c INPROCESSING 914.64/918.37 c GARBAGE COLLECT 914.64/918.37 c rational objective 1.28777 951.51/955.33 c #Conflicts: 267000 | #Constraints: 13277 951.51/955.33 c #Conflicts: 268000 | #Constraints: 14277 951.51/955.33 c #Conflicts: 269000 | #Constraints: 15277 951.51/955.33 c #Conflicts: 270000 | #Constraints: 16277 951.51/955.33 c #Conflicts: 271000 | #Constraints: 17277 951.51/955.33 c #Conflicts: 272000 | #Constraints: 18277 951.51/955.33 c #Conflicts: 273000 | #Constraints: 19277 951.51/955.33 c #Conflicts: 274000 | #Constraints: 20277 951.51/955.33 c #Conflicts: 275000 | #Constraints: 21277 951.51/955.33 c #Conflicts: 276000 | #Constraints: 22277 951.51/955.33 c #Conflicts: 277000 | #Constraints: 23277 951.51/955.33 c #Conflicts: 278000 | #Constraints: 24277 951.51/955.33 c INPROCESSING 951.51/955.33 c GARBAGE COLLECT 951.51/955.33 c rational objective 1.28777 998.84/1002.86 c #Conflicts: 279000 | #Constraints: 12946 998.84/1002.86 c #Conflicts: 280000 | #Constraints: 13946 998.84/1002.86 c #Conflicts: 281000 | #Constraints: 14946 998.84/1002.86 c #Conflicts: 282000 | #Constraints: 15946 998.84/1002.86 c #Conflicts: 283000 | #Constraints: 16946 998.84/1002.86 c #Conflicts: 284000 | #Constraints: 17946 998.84/1002.86 c #Conflicts: 285000 | #Constraints: 18946 998.84/1002.86 c #Conflicts: 286000 | #Constraints: 19946 998.84/1002.86 c #Conflicts: 287000 | #Constraints: 20946 998.84/1002.86 c #Conflicts: 288000 | #Constraints: 21946 998.84/1002.86 c #Conflicts: 289000 | #Constraints: 22946 998.84/1002.86 c #Conflicts: 290000 | #Constraints: 23946 998.84/1002.86 c INPROCESSING 998.84/1002.86 c GARBAGE COLLECT 998.84/1002.86 c rational objective 1.28777 1037.50/1041.68 c #Conflicts: 291000 | #Constraints: 12779 1037.50/1041.68 c #Conflicts: 292000 | #Constraints: 13779 1037.50/1041.68 c #Conflicts: 293000 | #Constraints: 14779 1037.50/1041.68 c #Conflicts: 294000 | #Constraints: 15779 1037.50/1041.68 c #Conflicts: 295000 | #Constraints: 16779 1037.50/1041.68 c #Conflicts: 296000 | #Constraints: 17779 1037.50/1041.68 c #Conflicts: 297000 | #Constraints: 18779 1037.50/1041.68 c #Conflicts: 298000 | #Constraints: 19779 1037.50/1041.68 c #Conflicts: 299000 | #Constraints: 20779 1037.50/1041.68 c #Conflicts: 300000 | #Constraints: 21779 1037.50/1041.68 c #Conflicts: 301000 | #Constraints: 22779 1037.50/1041.68 c #Conflicts: 302000 | #Constraints: 23779 1037.50/1041.68 c INPROCESSING 1037.50/1041.68 c GARBAGE COLLECT 1037.50/1041.68 c rational objective 1.28777 1091.01/1095.38 c #Conflicts: 303000 | #Constraints: 12593 1091.01/1095.38 c #Conflicts: 304000 | #Constraints: 13593 1091.01/1095.38 c #Conflicts: 305000 | #Constraints: 14593 1091.01/1095.38 c #Conflicts: 306000 | #Constraints: 15593 1091.01/1095.38 c #Conflicts: 307000 | #Constraints: 16593 1091.01/1095.38 c #Conflicts: 308000 | #Constraints: 17593 1091.01/1095.38 c #Conflicts: 309000 | #Constraints: 18593 1091.01/1095.38 c #Conflicts: 310000 | #Constraints: 19593 1091.01/1095.38 c #Conflicts: 311000 | #Constraints: 20593 1091.01/1095.38 c #Conflicts: 312000 | #Constraints: 21593 1091.01/1095.38 c #Conflicts: 313000 | #Constraints: 22593 1091.01/1095.38 c #Conflicts: 314000 | #Constraints: 23593 1091.01/1095.38 c #Conflicts: 315000 | #Constraints: 24593 1091.01/1095.38 c INPROCESSING 1091.01/1095.38 c GARBAGE COLLECT 1091.01/1095.38 c rational objective 1.28777 1432.31/1437.98 c #Conflicts: 316000 | #Constraints: 13303 1432.31/1437.98 c #Conflicts: 317000 | #Constraints: 14303 1432.31/1437.98 c #Conflicts: 318000 | #Constraints: 15303 1432.31/1437.98 c #Conflicts: 319000 | #Constraints: 16303 1432.31/1437.98 c #Conflicts: 320000 | #Constraints: 17303 1432.31/1437.98 c #Conflicts: 321000 | #Constraints: 18303 1432.31/1437.98 c #Conflicts: 322000 | #Constraints: 19303 1432.31/1437.98 c #Conflicts: 323000 | #Constraints: 20303 1432.31/1437.98 c #Conflicts: 324000 | #Constraints: 21303 1432.31/1437.98 c #Conflicts: 325000 | #Constraints: 22303 1432.31/1437.98 c #Conflicts: 326000 | #Constraints: 23303 1432.31/1437.98 c #Conflicts: 327000 | #Constraints: 24303 1432.31/1437.98 c #Conflicts: 328000 | #Constraints: 25303 1432.31/1437.98 c #Conflicts: 329000 | #Constraints: 26303 1432.31/1437.98 c #Conflicts: 330000 | #Constraints: 27303 1432.31/1437.98 c #Conflicts: 331000 | #Constraints: 28303 1432.31/1437.98 c #Conflicts: 332000 | #Constraints: 29303 1432.31/1437.98 c #Conflicts: 333000 | #Constraints: 30303 1432.31/1437.98 c #Conflicts: 334000 | #Constraints: 31303 1432.31/1437.98 c #Conflicts: 335000 | #Constraints: 32303 1432.31/1437.98 c #Conflicts: 336000 | #Constraints: 33303 1432.31/1437.98 c #Conflicts: 337000 | #Constraints: 34303 1432.31/1437.98 c #Conflicts: 338000 | #Constraints: 35303 1432.31/1437.98 c #Conflicts: 339000 | #Constraints: 36303 1432.31/1437.98 c #Conflicts: 340000 | #Constraints: 37303 1432.31/1437.98 c #Conflicts: 341000 | #Constraints: 38303 1432.31/1437.98 c #Conflicts: 342000 | #Constraints: 39303 1432.31/1437.98 c #Conflicts: 343000 | #Constraints: 40303 1432.31/1437.98 c #Conflicts: 344000 | #Constraints: 41303 1432.31/1437.98 c #Conflicts: 345000 | #Constraints: 42303 1432.31/1437.98 c #Conflicts: 346000 | #Constraints: 43303 1432.31/1437.98 c #Conflicts: 347000 | #Constraints: 44303 1432.31/1437.98 c #Conflicts: 348000 | #Constraints: 45303 1432.31/1437.98 c #Conflicts: 349000 | #Constraints: 46303 1432.31/1437.98 c #Conflicts: 350000 | #Constraints: 47303 1432.31/1437.98 c #Conflicts: 351000 | #Constraints: 48303 1432.31/1437.98 c #Conflicts: 352000 | #Constraints: 49303 1432.31/1437.98 c #Conflicts: 353000 | #Constraints: 50303 1432.31/1437.98 c #Conflicts: 354000 | #Constraints: 51303 1432.31/1437.98 c #Conflicts: 355000 | #Constraints: 52303 1432.31/1437.98 c #Conflicts: 356000 | #Constraints: 53303 1432.31/1437.98 c #Conflicts: 357000 | #Constraints: 54303 1432.31/1437.98 c #Conflicts: 358000 | #Constraints: 55303 1432.31/1437.98 c #Conflicts: 359000 | #Constraints: 56303 1432.31/1437.98 c #Conflicts: 360000 | #Constraints: 57303 1432.31/1437.98 c INPROCESSING 1432.31/1437.98 c GARBAGE COLLECT 1432.31/1437.98 c rational objective 1.28777 1587.66/1593.89 c #Conflicts: 361000 | #Constraints: 29660 1587.66/1593.89 c #Conflicts: 362000 | #Constraints: 30660 1587.66/1593.89 c #Conflicts: 363000 | #Constraints: 31660 1587.66/1593.89 c #Conflicts: 364000 | #Constraints: 32660 1587.66/1593.89 c #Conflicts: 365000 | #Constraints: 33660 1587.66/1593.89 c #Conflicts: 366000 | #Constraints: 34660 1587.66/1593.89 c #Conflicts: 367000 | #Constraints: 35660 1587.66/1593.89 c #Conflicts: 368000 | #Constraints: 36660 1587.66/1593.89 c #Conflicts: 369000 | #Constraints: 37660 1587.66/1593.89 c #Conflicts: 370000 | #Constraints: 38660 1587.66/1593.89 c #Conflicts: 371000 | #Constraints: 39660 1587.66/1593.89 c #Conflicts: 372000 | #Constraints: 40660 1587.66/1593.89 c #Conflicts: 373000 | #Constraints: 41660 1587.66/1593.89 c INPROCESSING 1587.66/1593.89 c GARBAGE COLLECT 1587.66/1593.89 c rational objective 1.28777 1733.30/1740.06 c #Conflicts: 374000 | #Constraints: 21489 1733.30/1740.06 c #Conflicts: 375000 | #Constraints: 22489 1733.30/1740.06 c #Conflicts: 376000 | #Constraints: 23489 1733.30/1740.06 c #Conflicts: 377000 | #Constraints: 24489 1733.30/1740.06 c #Conflicts: 378000 | #Constraints: 25489 1733.30/1740.06 c #Conflicts: 379000 | #Constraints: 26489 1733.30/1740.06 c #Conflicts: 380000 | #Constraints: 27489 1733.30/1740.06 c #Conflicts: 381000 | #Constraints: 28489 1733.30/1740.06 c #Conflicts: 382000 | #Constraints: 29489 1733.30/1740.06 c #Conflicts: 383000 | #Constraints: 30489 1733.30/1740.06 c #Conflicts: 384000 | #Constraints: 31489 1733.30/1740.06 c #Conflicts: 385000 | #Constraints: 32489 1733.30/1740.06 c #Conflicts: 386000 | #Constraints: 33489 1733.30/1740.06 c #Conflicts: 387000 | #Constraints: 34489 1733.30/1740.06 c INPROCESSING 1733.30/1740.06 c GARBAGE COLLECT 1733.30/1740.06 c rational objective 1.28777 1831.80/1838.95 c #Conflicts: 388000 | #Constraints: 17950 1831.80/1838.95 c #Conflicts: 389000 | #Constraints: 18950 1831.80/1838.95 c #Conflicts: 390000 | #Constraints: 19950 1831.80/1838.95 c #Conflicts: 391000 | #Constraints: 20950 1831.80/1838.95 c #Conflicts: 392000 | #Constraints: 21950 1831.80/1838.95 c #Conflicts: 393000 | #Constraints: 22950 1831.80/1838.95 c #Conflicts: 394000 | #Constraints: 23950 1831.80/1838.95 c #Conflicts: 395000 | #Constraints: 24950 1831.80/1838.95 c #Conflicts: 396000 | #Constraints: 25950 1831.80/1838.95 c #Conflicts: 397000 | #Constraints: 26950 1831.80/1838.95 c #Conflicts: 398000 | #Constraints: 27950 1831.80/1838.95 c #Conflicts: 399000 | #Constraints: 28950 1831.80/1838.95 c #Conflicts: 400000 | #Constraints: 29950 1831.80/1838.95 c #Conflicts: 401000 | #Constraints: 30950 1831.80/1838.95 c INPROCESSING 1831.80/1838.95 c GARBAGE COLLECT 1831.80/1838.95 c rational objective 1.28777 1929.18/1936.74 c #Conflicts: 402000 | #Constraints: 16130 1929.18/1936.74 c #Conflicts: 403000 | #Constraints: 17130 1929.18/1936.74 c #Conflicts: 404000 | #Constraints: 18130 1929.18/1936.74 c #Conflicts: 405000 | #Constraints: 19130 1929.18/1936.74 c #Conflicts: 406000 | #Constraints: 20130 1929.18/1936.74 c #Conflicts: 407000 | #Constraints: 21130 1929.18/1936.74 c #Conflicts: 408000 | #Constraints: 22130 1929.18/1936.74 c #Conflicts: 409000 | #Constraints: 23130 1929.18/1936.74 c #Conflicts: 410000 | #Constraints: 24130 1929.18/1936.74 c #Conflicts: 411000 | #Constraints: 25130 1929.18/1936.74 c #Conflicts: 412000 | #Constraints: 26130 1929.18/1936.74 c #Conflicts: 413000 | #Constraints: 27130 1929.18/1936.74 c #Conflicts: 414000 | #Constraints: 28130 1929.18/1936.74 c #Conflicts: 415000 | #Constraints: 29130 1929.18/1936.74 c #Conflicts: 416000 | #Constraints: 30130 1929.18/1936.74 c INPROCESSING 1929.18/1936.74 c GARBAGE COLLECT 1929.18/1936.74 c rational objective 1.28777 1999.09/2006.90 c #Conflicts: 417000 | #Constraints: 16074 1999.09/2006.90 c #Conflicts: 418000 | #Constraints: 17074 1999.09/2006.90 c #Conflicts: 419000 | #Constraints: 18074 1999.09/2006.90 c #Conflicts: 420000 | #Constraints: 19074 1999.09/2006.90 c #Conflicts: 421000 | #Constraints: 20074 1999.09/2006.90 c #Conflicts: 422000 | #Constraints: 21074 1999.09/2006.90 c #Conflicts: 423000 | #Constraints: 22074 1999.09/2006.90 c #Conflicts: 424000 | #Constraints: 23074 1999.09/2006.90 c #Conflicts: 425000 | #Constraints: 24074 1999.09/2006.90 c #Conflicts: 426000 | #Constraints: 25074 1999.09/2006.90 c #Conflicts: 427000 | #Constraints: 26074 1999.09/2006.90 c #Conflicts: 428000 | #Constraints: 27074 1999.09/2006.90 c #Conflicts: 429000 | #Constraints: 28074 1999.09/2006.90 c #Conflicts: 430000 | #Constraints: 29074 1999.09/2006.90 c INPROCESSING 1999.09/2006.90 c GARBAGE COLLECT 1999.09/2006.90 c rational objective 1.28777 2070.69/2078.86 c #Conflicts: 431000 | #Constraints: 15295 2070.69/2078.86 c #Conflicts: 432000 | #Constraints: 16295 2070.69/2078.86 c #Conflicts: 433000 | #Constraints: 17295 2070.69/2078.86 c #Conflicts: 434000 | #Constraints: 18295 2070.69/2078.86 c #Conflicts: 435000 | #Constraints: 19295 2070.69/2078.86 c #Conflicts: 436000 | #Constraints: 20295 2070.69/2078.86 c #Conflicts: 437000 | #Constraints: 21295 2070.69/2078.86 c #Conflicts: 438000 | #Constraints: 22295 2070.69/2078.86 c #Conflicts: 439000 | #Constraints: 23295 2070.69/2078.86 c #Conflicts: 440000 | #Constraints: 24295 2070.69/2078.86 c #Conflicts: 441000 | #Constraints: 25295 2070.69/2078.86 c #Conflicts: 442000 | #Constraints: 26295 2070.69/2078.86 c #Conflicts: 443000 | #Constraints: 27295 2070.69/2078.86 c #Conflicts: 444000 | #Constraints: 28295 2070.69/2078.86 c #Conflicts: 445000 | #Constraints: 29295 2070.69/2078.86 c INPROCESSING 2070.69/2078.86 c GARBAGE COLLECT 2070.69/2078.86 c rational objective 1.28777 2151.73/2160.25 c #Conflicts: 446000 | #Constraints: 15553 2151.73/2160.25 c #Conflicts: 447000 | #Constraints: 16553 2151.73/2160.25 c #Conflicts: 448000 | #Constraints: 17553 2151.73/2160.25 c #Conflicts: 449000 | #Constraints: 18553 2151.73/2160.25 c #Conflicts: 450000 | #Constraints: 19553 2151.73/2160.25 c #Conflicts: 451000 | #Constraints: 20553 2151.73/2160.25 c #Conflicts: 452000 | #Constraints: 21553 2151.73/2160.25 c #Conflicts: 453000 | #Constraints: 22553 2151.73/2160.25 c #Conflicts: 454000 | #Constraints: 23553 2151.73/2160.25 c #Conflicts: 455000 | #Constraints: 24553 2151.73/2160.25 c #Conflicts: 456000 | #Constraints: 25553 2151.73/2160.25 c #Conflicts: 457000 | #Constraints: 26553 2151.73/2160.25 c #Conflicts: 458000 | #Constraints: 27553 2151.73/2160.25 c #Conflicts: 459000 | #Constraints: 28553 2151.73/2160.25 c #Conflicts: 460000 | #Constraints: 29553 2151.73/2160.25 c INPROCESSING 2151.73/2160.25 c GARBAGE COLLECT 2151.73/2160.25 c rational objective 1.28777 2249.83/2258.72 c #Conflicts: 461000 | #Constraints: 15731 2249.83/2258.72 c #Conflicts: 462000 | #Constraints: 16731 2249.83/2258.72 c #Conflicts: 463000 | #Constraints: 17731 2249.83/2258.72 c #Conflicts: 464000 | #Constraints: 18731 2249.83/2258.72 c #Conflicts: 465000 | #Constraints: 19731 2249.83/2258.72 c #Conflicts: 466000 | #Constraints: 20731 2249.83/2258.72 c #Conflicts: 467000 | #Constraints: 21731 2249.83/2258.72 c #Conflicts: 468000 | #Constraints: 22731 2249.83/2258.72 c #Conflicts: 469000 | #Constraints: 23731 2249.83/2258.72 c #Conflicts: 470000 | #Constraints: 24731 2249.83/2258.72 c #Conflicts: 471000 | #Constraints: 25731 2249.83/2258.72 c #Conflicts: 472000 | #Constraints: 26731 2249.83/2258.72 c #Conflicts: 473000 | #Constraints: 27731 2249.83/2258.72 c #Conflicts: 474000 | #Constraints: 28731 2249.83/2258.72 c #Conflicts: 475000 | #Constraints: 29731 2249.83/2258.72 c INPROCESSING 2249.83/2258.72 c GARBAGE COLLECT 2249.83/2258.72 c rational objective 1.28777 2300.37/2309.47 c #Conflicts: 476000 | #Constraints: 15771 2300.37/2309.47 c #Conflicts: 477000 | #Constraints: 16771 2300.37/2309.47 c #Conflicts: 478000 | #Constraints: 17771 2300.37/2309.47 c #Conflicts: 479000 | #Constraints: 18771 2300.37/2309.47 c #Conflicts: 480000 | #Constraints: 19771 2300.37/2309.47 c #Conflicts: 481000 | #Constraints: 20771 2300.37/2309.47 c #Conflicts: 482000 | #Constraints: 21771 2300.37/2309.47 c #Conflicts: 483000 | #Constraints: 22771 2300.37/2309.47 c #Conflicts: 484000 | #Constraints: 23771 2300.37/2309.47 c #Conflicts: 485000 | #Constraints: 24771 2300.37/2309.47 c #Conflicts: 486000 | #Constraints: 25771 2300.37/2309.47 c #Conflicts: 487000 | #Constraints: 26771 2300.37/2309.47 c #Conflicts: 488000 | #Constraints: 27771 2300.37/2309.47 c #Conflicts: 489000 | #Constraints: 28771 2300.37/2309.47 c #Conflicts: 490000 | #Constraints: 29771 2300.37/2309.47 c INPROCESSING 2300.37/2309.47 c GARBAGE COLLECT 2300.37/2309.47 c rational objective 1.28777 2375.32/2384.60 c #Conflicts: 491000 | #Constraints: 15642 2375.32/2384.60 c #Conflicts: 492000 | #Constraints: 16642 2375.32/2384.60 c #Conflicts: 493000 | #Constraints: 17642 2375.32/2384.60 c #Conflicts: 494000 | #Constraints: 18642 2375.32/2384.60 c #Conflicts: 495000 | #Constraints: 19642 2375.32/2384.60 c #Conflicts: 496000 | #Constraints: 20642 2375.32/2384.60 c #Conflicts: 497000 | #Constraints: 21642 2375.32/2384.60 c #Conflicts: 498000 | #Constraints: 22642 2375.32/2384.60 c #Conflicts: 499000 | #Constraints: 23642 2375.32/2384.60 c #Conflicts: 500000 | #Constraints: 24642 2375.32/2384.60 c #Conflicts: 501000 | #Constraints: 25642 2375.32/2384.60 c #Conflicts: 502000 | #Constraints: 26642 2375.32/2384.60 c #Conflicts: 503000 | #Constraints: 27642 2375.32/2384.60 c #Conflicts: 504000 | #Constraints: 28642 2375.32/2384.60 c #Conflicts: 505000 | #Constraints: 29642 2375.32/2384.60 c #Conflicts: 506000 | #Constraints: 30642 2375.32/2384.60 c INPROCESSING 2375.32/2384.60 c GARBAGE COLLECT 2375.32/2384.60 c rational objective 1.28777 2468.52/2478.11 c #Conflicts: 507000 | #Constraints: 16329 2468.52/2478.11 c #Conflicts: 508000 | #Constraints: 17329 2468.52/2478.11 c #Conflicts: 509000 | #Constraints: 18329 2468.52/2478.11 c #Conflicts: 510000 | #Constraints: 19329 2468.52/2478.11 c #Conflicts: 511000 | #Constraints: 20329 2468.52/2478.11 c #Conflicts: 512000 | #Constraints: 21329 2468.52/2478.11 c #Conflicts: 513000 | #Constraints: 22329 2468.52/2478.11 c #Conflicts: 514000 | #Constraints: 23329 2468.52/2478.11 c #Conflicts: 515000 | #Constraints: 24329 2468.52/2478.11 c #Conflicts: 516000 | #Constraints: 25329 2468.52/2478.11 c #Conflicts: 517000 | #Constraints: 26329 2468.52/2478.11 c #Conflicts: 518000 | #Constraints: 27329 2468.52/2478.11 c #Conflicts: 519000 | #Constraints: 28329 2468.52/2478.11 c #Conflicts: 520000 | #Constraints: 29329 2468.52/2478.11 c #Conflicts: 521000 | #Constraints: 30329 2468.52/2478.11 c INPROCESSING 2468.52/2478.11 c GARBAGE COLLECT 2468.52/2478.11 c rational objective 1.28777 2559.12/2569.06 c #Conflicts: 522000 | #Constraints: 15819 2559.12/2569.06 c #Conflicts: 523000 | #Constraints: 16819 2559.12/2569.06 c #Conflicts: 524000 | #Constraints: 17819 2559.12/2569.06 c #Conflicts: 525000 | #Constraints: 18819 2559.12/2569.06 c #Conflicts: 526000 | #Constraints: 19819 2559.12/2569.06 c #Conflicts: 527000 | #Constraints: 20819 2559.12/2569.06 c #Conflicts: 528000 | #Constraints: 21819 2559.12/2569.06 c #Conflicts: 529000 | #Constraints: 22819 2559.12/2569.06 c #Conflicts: 530000 | #Constraints: 23819 2559.12/2569.06 c #Conflicts: 531000 | #Constraints: 24819 2559.12/2569.06 c #Conflicts: 532000 | #Constraints: 25819 2559.12/2569.06 c #Conflicts: 533000 | #Constraints: 26819 2559.12/2569.06 c #Conflicts: 534000 | #Constraints: 27819 2559.12/2569.06 c #Conflicts: 535000 | #Constraints: 28819 2559.12/2569.06 c #Conflicts: 536000 | #Constraints: 29819 2559.12/2569.06 c #Conflicts: 537000 | #Constraints: 30819 2559.12/2569.06 c INPROCESSING 2559.12/2569.06 c GARBAGE COLLECT 2559.12/2569.06 c rational objective 1.28777 2638.18/2648.34 c #Conflicts: 538000 | #Constraints: 16116 2638.18/2648.34 c #Conflicts: 539000 | #Constraints: 17116 2638.18/2648.34 c #Conflicts: 540000 | #Constraints: 18116 2638.18/2648.34 c #Conflicts: 541000 | #Constraints: 19116 2638.18/2648.34 c #Conflicts: 542000 | #Constraints: 20116 2638.18/2648.34 c #Conflicts: 543000 | #Constraints: 21116 2638.18/2648.34 c #Conflicts: 544000 | #Constraints: 22116 2638.18/2648.34 c #Conflicts: 545000 | #Constraints: 23116 2638.18/2648.34 c #Conflicts: 546000 | #Constraints: 24116 2638.18/2648.34 c #Conflicts: 547000 | #Constraints: 25116 2638.18/2648.34 c #Conflicts: 548000 | #Constraints: 26116 2638.18/2648.34 c #Conflicts: 549000 | #Constraints: 27116 2638.18/2648.34 c #Conflicts: 550000 | #Constraints: 28116 2638.18/2648.34 c #Conflicts: 551000 | #Constraints: 29116 2638.18/2648.34 c #Conflicts: 552000 | #Constraints: 30116 2638.18/2648.34 c #Conflicts: 553000 | #Constraints: 31116 2638.18/2648.34 c INPROCESSING 2638.18/2648.34 c GARBAGE COLLECT 2638.18/2648.34 c rational objective 1.28777 2729.81/2740.29 c #Conflicts: 554000 | #Constraints: 16213 2729.81/2740.29 c #Conflicts: 555000 | #Constraints: 17213 2729.81/2740.29 c #Conflicts: 556000 | #Constraints: 18213 2729.81/2740.29 c #Conflicts: 557000 | #Constraints: 19213 2729.81/2740.29 c #Conflicts: 558000 | #Constraints: 20213 2729.81/2740.29 c #Conflicts: 559000 | #Constraints: 21213 2729.81/2740.29 c #Conflicts: 560000 | #Constraints: 22213 2729.81/2740.29 c #Conflicts: 561000 | #Constraints: 23213 2729.81/2740.29 c #Conflicts: 562000 | #Constraints: 24213 2729.81/2740.29 c #Conflicts: 563000 | #Constraints: 25213 2729.81/2740.29 c #Conflicts: 564000 | #Constraints: 26213 2729.81/2740.29 c #Conflicts: 565000 | #Constraints: 27213 2729.81/2740.29 c #Conflicts: 566000 | #Constraints: 28213 2729.81/2740.29 c #Conflicts: 567000 | #Constraints: 29213 2729.81/2740.29 c #Conflicts: 568000 | #Constraints: 30213 2729.81/2740.29 c #Conflicts: 569000 | #Constraints: 31213 2729.81/2740.29 c #Conflicts: 570000 | #Constraints: 32213 2729.81/2740.29 c INPROCESSING 2729.81/2740.29 c GARBAGE COLLECT 2729.81/2740.29 c rational objective 1.28777 2818.34/2829.03 c #Conflicts: 571000 | #Constraints: 17114 2818.34/2829.03 c #Conflicts: 572000 | #Constraints: 18114 2818.34/2829.03 c #Conflicts: 573000 | #Constraints: 19114 2818.34/2829.03 c #Conflicts: 574000 | #Constraints: 20114 2818.34/2829.03 c #Conflicts: 575000 | #Constraints: 21114 2818.34/2829.03 c #Conflicts: 576000 | #Constraints: 22114 2818.34/2829.03 c #Conflicts: 577000 | #Constraints: 23114 2818.34/2829.03 c #Conflicts: 578000 | #Constraints: 24114 2818.34/2829.03 c #Conflicts: 579000 | #Constraints: 25114 2818.34/2829.03 c #Conflicts: 580000 | #Constraints: 26114 2818.34/2829.03 c #Conflicts: 581000 | #Constraints: 27114 2818.34/2829.03 c #Conflicts: 582000 | #Constraints: 28114 2818.34/2829.03 c #Conflicts: 583000 | #Constraints: 29114 2818.34/2829.03 c #Conflicts: 584000 | #Constraints: 30114 2818.34/2829.03 c #Conflicts: 585000 | #Constraints: 31114 2818.34/2829.03 c #Conflicts: 586000 | #Constraints: 32114 2818.34/2829.03 c INPROCESSING 2818.34/2829.03 c GARBAGE COLLECT 2818.34/2829.03 c rational objective 1.28777 2912.66/2923.60 c #Conflicts: 587000 | #Constraints: 16811 2912.66/2923.60 c #Conflicts: 588000 | #Constraints: 17811 2912.66/2923.60 c #Conflicts: 589000 | #Constraints: 18811 2912.66/2923.60 c #Conflicts: 590000 | #Constraints: 19811 2912.66/2923.60 c #Conflicts: 591000 | #Constraints: 20811 2912.66/2923.60 c #Conflicts: 592000 | #Constraints: 21811 2912.66/2923.60 c #Conflicts: 593000 | #Constraints: 22811 2912.66/2923.60 c #Conflicts: 594000 | #Constraints: 23811 2912.66/2923.60 c #Conflicts: 595000 | #Constraints: 24811 2912.66/2923.60 c #Conflicts: 596000 | #Constraints: 25811 2912.66/2923.60 c #Conflicts: 597000 | #Constraints: 26811 2912.66/2923.60 c #Conflicts: 598000 | #Constraints: 27811 2912.66/2923.60 c #Conflicts: 599000 | #Constraints: 28811 2912.66/2923.60 c #Conflicts: 600000 | #Constraints: 29811 2912.66/2923.60 c #Conflicts: 601000 | #Constraints: 30811 2912.66/2923.60 c #Conflicts: 602000 | #Constraints: 31811 2912.66/2923.60 c #Conflicts: 603000 | #Constraints: 32811 2912.66/2923.60 c INPROCESSING 2912.66/2923.60 c GARBAGE COLLECT 2912.66/2923.60 c rational objective 1.28777 3600.06/3613.10 c #Conflicts: 604000 | #Constraints: 17310 3600.06/3613.10 c #Conflicts: 605000 | #Constraints: 18310 3600.06/3613.10 c #Conflicts: 606000 | #Constraints: 19310 3600.06/3613.10 c #Conflicts: 607000 | #Constraints: 20310 3600.06/3613.10 c #Conflicts: 608000 | #Constraints: 21310 3600.06/3613.10 c #Conflicts: 609000 | #Constraints: 22310 3600.06/3613.10 c #Conflicts: 610000 | #Constraints: 23310 3600.06/3613.10 c #Conflicts: 611000 | #Constraints: 24310 3600.06/3613.10 c #Conflicts: 612000 | #Constraints: 25310 3600.06/3613.10 c #Conflicts: 613000 | #Constraints: 26310 3600.06/3613.10 c #Conflicts: 614000 | #Constraints: 27310 3600.06/3613.10 c #Conflicts: 615000 | #Constraints: 28310 3600.06/3613.10 c #Conflicts: 616000 | #Constraints: 29310 3600.06/3613.10 c #Conflicts: 617000 | #Constraints: 30310 3600.06/3613.10 c #Conflicts: 618000 | #Constraints: 31310 3600.06/3613.10 c #Conflicts: 619000 | #Constraints: 32310 3600.06/3613.10 c #Conflicts: 620000 | #Constraints: 33310 3600.06/3613.10 c #Conflicts: 621000 | #Constraints: 34310 3600.06/3613.10 c #Conflicts: 622000 | #Constraints: 35310 3600.06/3613.10 c #Conflicts: 623000 | #Constraints: 36310 3600.06/3613.10 c #Conflicts: 624000 | #Constraints: 37310 3600.06/3613.10 c #Conflicts: 625000 | #Constraints: 38310 3600.06/3613.10 c #Conflicts: 626000 | #Constraints: 39310 3600.06/3613.10 c #Conflicts: 627000 | #Constraints: 40310 3600.06/3613.10 c #Conflicts: 628000 | #Constraints: 41310 3600.06/3613.10 c #Conflicts: 629000 | #Constraints: 42310 3600.06/3613.10 c #Conflicts: 630000 | #Constraints: 43310 3600.06/3613.10 c #Conflicts: 631000 | #Constraints: 44310 3600.06/3613.10 c #Conflicts: 632000 | #Constraints: 45310 3600.06/3613.10 c #Conflicts: 633000 | #Constraints: 46310 3600.06/3613.10 c #Conflicts: 634000 | #Constraints: 47310 3600.06/3613.10 c #Conflicts: 635000 | #Constraints: 48310 3600.06/3613.10 c #Conflicts: 636000 | #Constraints: 49310 3600.06/3613.10 c #Conflicts: 637000 | #Constraints: 50310 3600.06/3613.10 c #Conflicts: 638000 | #Constraints: 51310 3600.06/3613.10 c #Conflicts: 639000 | #Constraints: 52310 3600.06/3613.10 c #Conflicts: 640000 | #Constraints: 53310 3600.06/3613.10 c #Conflicts: 641000 | #Constraints: 54310 3600.06/3613.10 c #Conflicts: 642000 | #Constraints: 55310 3600.06/3613.10 c #Conflicts: 643000 | #Constraints: 56310 3600.06/3613.10 c #Conflicts: 644000 | #Constraints: 57310 3600.06/3613.10 c #Conflicts: 645000 | #Constraints: 58310 3600.06/3613.10 c #Conflicts: 646000 | #Constraints: 59310 3600.06/3613.10 c #Conflicts: 647000 | #Constraints: 60310 3600.06/3613.10 c #Conflicts: 648000 | #Constraints: 61310 3600.06/3613.10 c #Conflicts: 649000 | #Constraints: 62310 3600.06/3613.10 c #Conflicts: 650000 | #Constraints: 63310 3600.06/3613.10 c #Conflicts: 651000 | #Constraints: 64310 3600.06/3613.10 c #Conflicts: 652000 | #Constraints: 65310 3600.06/3613.10 c #Conflicts: 653000 | #Constraints: 66310 3600.06/3613.10 c #Conflicts: 654000 | #Constraints: 67310 3600.06/3613.10 c #Conflicts: 655000 | #Constraints: 68310 3600.06/3613.10 c #Conflicts: 656000 | #Constraints: 69310 3600.06/3613.10 c #Conflicts: 657000 | #Constraints: 70310 3600.06/3613.10 c Program interrupted by user. 3600.06/3613.11 c cpu time 3580.29 s 3600.06/3613.11 c deterministic time 482759485333 4.83e+11 3600.06/3613.11 c optimization time 685.475 s 3600.06/3613.11 c total solve time 2894.81 s 3600.06/3613.11 c core-guided solve time 0 s 3600.06/3613.11 c propagation time 3348.57 s 3600.06/3613.11 c conflict analysis time 212.22 s 3600.06/3613.11 c propagations 6669544 3600.06/3613.11 c resolve steps 1857465 3600.06/3613.11 c decisions 5515879 3600.06/3613.11 c conflicts 657865 3600.06/3613.11 c restarts 1404 3600.06/3613.11 c inprocessing phases 52 3600.06/3613.11 c input clauses 0 3600.06/3613.11 c input cardinalities 0 3600.06/3613.11 c input general constraints 2 3600.06/3613.11 c input average constraint length 70.00 3600.06/3613.11 c input average constraint degree 388008603.50 3600.06/3613.11 c learned clauses 346170 3600.06/3613.11 c learned cardinalities 0 3600.06/3613.11 c learned general constraints 311697 3600.06/3613.11 c learned average constraint length 49.77 3600.06/3613.11 c learned average constraint degree 63641477.99 3600.06/3613.11 c watched constraints 190199 3600.06/3613.11 c counting constraints 121500 3600.06/3613.11 c gcd simplifications 358281 3600.06/3613.11 c detected cardinalities 0 3600.06/3613.11 c weakened non-implied lits 1146195 3600.06/3613.11 c weakened non-implying lits 5632576 3600.06/3613.11 c original variables 70 3600.06/3613.11 c clausal propagations 561134 3600.06/3613.11 c cardinality propagations 0 3600.06/3613.11 c watched propagations 2878198 3600.06/3613.11 c counting propagations 2802736 3600.06/3613.11 c watch lookups 82261320633 3600.06/3613.11 c watch backjump lookups 82006953639 3600.06/3613.11 c watch checks 10769879098 3600.06/3613.11 c propagation checks 307543312414 3600.06/3613.11 c constraint additions 152385924 3600.06/3613.11 c trail pops 12843219 3600.06/3613.11 c formula constraints 2 3600.06/3613.11 c learned constraints 657861 3600.06/3613.11 c bound constraints 0 3600.06/3613.11 c core-guided constraints 0 3600.06/3613.11 c encountered formula constraints 1442793 3600.06/3613.11 c encountered learned constraints 1072532 3600.06/3613.11 c encountered bound constraints 0 3600.06/3613.11 c encountered core-guided constraints 0 3600.06/3613.11 c LP total time 29.1064 s 3600.06/3613.11 c LP solve time 24.14 s 3600.06/3613.11 c LP constraints added 12 3600.06/3613.11 c LP constraints removed 6 3600.06/3613.11 c LP pivots internal 604666 3600.06/3613.11 c LP pivots root 316 3600.06/3613.11 c LP calls 501674 3600.06/3613.11 c LP optimalities 501671 3600.06/3613.11 c LP no pivot count 172163 3600.06/3613.11 c LP infeasibilities 3 3600.06/3613.11 c LP valid Farkas constraints 3 3600.06/3613.11 c LP learned Farkas constraints 3 3600.06/3613.11 c LP basis resets 0 3600.06/3613.11 c LP cycling count 0 3600.06/3613.11 c LP singular count 0 3600.06/3613.11 c LP no primal count 0 3600.06/3613.11 c LP no farkas count 0 3600.06/3613.11 c LP other issue count 0 3600.06/3613.11 c LP Gomory cuts 0 3600.06/3613.11 c LP learned cuts 10 3600.06/3613.11 c LP deleted cuts 6 3600.06/3613.11 c LP encountered Gomory constraints 0 3600.06/3613.11 c LP encountered Farkas constraints 2 3600.06/3613.11 c LP encountered learned Farkas constraints 0 3600.06/3613.11 c CG auxiliary variables introduced 0 3600.06/3613.11 c CG solutions found 0 3600.06/3613.11 c CG cores constructed 0 3600.06/3613.11 c CG core cardinality constraints returned 0 3600.06/3613.11 c CG unit cores 0 3600.06/3613.11 c CG single cores 0 3600.06/3613.11 c CG blocks removed during cardinality reduction 0 3600.06/3613.11 c CG first core best 0 3600.06/3613.11 c CG decision core best 0 3600.06/3613.11 c CG core reduction tie 0 3600.06/3613.11 c CG core degree average 0.00 3600.06/3613.11 c CG core slack average 0.00 3600.06/3613.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: 63931 MiB (60261 MiB free)
memory of node 1: 64510 MiB (62262 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462914-1722344396/watcher-4462914-1722344396 -o /tmp/evaluation-result-4462914-1722344396/solver-4462914-1722344396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722340763-7007 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462914-1722344396 --lp-cut-gomory=0 HOME/instance-4462914-1722344396.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9288, runsolver pid=9285
[startup+0.100112 s]*
/proc/loadavg: 4.07 4.08 4.01 1/249 9289
/proc/meminfo: memFree=125463600/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=37376 memory=2628 CPUtime=0 cores=5,7
/proc/9288/stat : 9288 (roundingsat) D 9285 9288 6994 0 -1 4194304 213 0 0 0 0 0 0 0 20 0 1 0 1038922 38273024 657 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+0.204879 s]*
/proc/loadavg: 4.07 4.08 4.01 3/249 9289
/proc/meminfo: memFree=126146504/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=37376 memory=2628 CPUtime=0 cores=5,7
/proc/9288/stat : 9288 (roundingsat) D 9285 9288 6994 0 -1 1077936128 213 0 0 0 0 0 0 0 20 0 1 0 1038922 38273024 657 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+0.304347 s]*
/proc/loadavg: 4.07 4.08 4.01 2/249 9289
/proc/meminfo: memFree=128016044/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=37376 memory=2628 CPUtime=0 cores=5,7
/proc/9288/stat : 9288 (roundingsat) D 9285 9288 6994 0 -1 1077936128 213 0 0 0 0 0 0 0 20 0 1 0 1038922 38273024 657 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+0.701074 s]
/proc/loadavg: 4.07 4.08 4.01 2/255 9311
/proc/meminfo: memFree=128528660/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=38160 memory=8644 CPUtime=0.19 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 572 0 0 0 16 3 0 0 20 0 1 0 1038922 39075840 2161 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 7 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 9540 2161 1803 992 0 1398 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38160 KiB
Current children cumulated memory: 8644 KiB
[startup+1.5001 s]
/proc/loadavg: 4.07 4.08 4.01 2/249 9340
/proc/meminfo: memFree=130297260/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=38812 memory=11784 CPUtime=0.98 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 853 0 0 0 89 9 0 0 20 0 1 0 1038922 39743488 2946 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 9703 2946 1803 992 0 1561 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 11784 KiB
[startup+3.1049 s]
/proc/loadavg: 3.98 4.06 4.01 4/258 9391
/proc/meminfo: memFree=130282360/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=39628 memory=12484 CPUtime=2.57 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 1025 0 0 0 240 17 0 0 20 0 1 0 1038922 40579072 3121 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 9907 3121 1803 992 0 1765 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 39628 KiB
Current children cumulated memory: 12484 KiB
[startup+6.30014 s]
/proc/loadavg: 3.98 4.06 4.01 4/255 9403
/proc/meminfo: memFree=130256248/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=39932 memory=13176 CPUtime=5.77 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 1129 0 0 0 550 27 0 0 20 0 1 0 1038922 40890368 3294 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 9983 3294 1835 992 0 1841 0
Current children cumulated CPU time: 5.77 s
Current children cumulated vsize: 39932 KiB
Current children cumulated memory: 13176 KiB
[startup+12.7001 s]
/proc/loadavg: 3.98 4.06 4.01 4/256 9405
/proc/meminfo: memFree=130226704/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=41120 memory=14076 CPUtime=12.15 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 1356 0 0 0 1169 46 0 0 20 0 1 0 1038922 42106880 3519 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 10280 3519 1835 992 0 2138 0
Current children cumulated CPU time: 12.15 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14076 KiB
[startup+25.5001 s]
/proc/loadavg: 3.99 4.06 4.00 4/261 9429
/proc/meminfo: memFree=129795292/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=41360 memory=14924 CPUtime=24.92 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 1576 0 0 0 2423 69 0 0 20 0 1 0 1038922 42352640 3731 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 10340 3731 1835 992 0 2198 0
Current children cumulated CPU time: 24.92 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 14924 KiB
[startup+51.1055 s]
/proc/loadavg: 4.05 4.07 4.01 5/261 9481
/proc/meminfo: memFree=129235328/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=48500 memory=21648 CPUtime=50.44 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 3286 0 0 0 4940 104 0 0 20 0 1 0 1038922 49664000 5412 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 12125 5412 1835 992 0 3983 0
Current children cumulated CPU time: 50.44 s
Current children cumulated vsize: 48500 KiB
Current children cumulated memory: 21648 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.10 4.02 5/261 9501
/proc/meminfo: memFree=128372936/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=53120 memory=24612 CPUtime=101.49 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 3507 0 0 0 9980 169 0 0 20 0 1 0 1038922 54394880 6153 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 13280 6153 1835 992 0 5138 0
Current children cumulated CPU time: 101.49 s
Current children cumulated vsize: 53120 KiB
Current children cumulated memory: 24612 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.13 4.03 5/261 9511
/proc/meminfo: memFree=128044492/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=57656 memory=29868 CPUtime=161.29 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 4386 0 0 0 15905 224 0 0 20 0 1 0 1038922 59039744 7467 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 14414 7467 1835 992 0 6272 0
Current children cumulated CPU time: 161.29 s
Current children cumulated vsize: 57656 KiB
Current children cumulated memory: 29868 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/259 9521
/proc/meminfo: memFree=127524520/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=57656 memory=29868 CPUtime=221.1 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 4409 0 0 0 21822 288 0 0 20 0 1 0 1038922 59039744 7467 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 14414 7467 1835 992 0 6272 0
Current children cumulated CPU time: 221.1 s
Current children cumulated vsize: 57656 KiB
Current children cumulated memory: 29868 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/259 9533
/proc/meminfo: memFree=127213300/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=65860 memory=33524 CPUtime=280.9 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 4855 0 0 0 27755 335 0 0 20 0 1 0 1038922 67440640 8381 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 16465 8381 1835 992 0 8323 0
Current children cumulated CPU time: 280.9 s
Current children cumulated vsize: 65860 KiB
Current children cumulated memory: 33524 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/258 9543
/proc/meminfo: memFree=126925048/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=66308 memory=37036 CPUtime=340.71 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 5341 0 0 0 33698 373 0 0 20 0 1 0 1038922 67899392 9259 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 16577 9259 1835 992 0 8435 0
Current children cumulated CPU time: 340.71 s
Current children cumulated vsize: 66308 KiB
Current children cumulated memory: 37036 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/257 9553
/proc/meminfo: memFree=126782632/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=66308 memory=37068 CPUtime=400.5 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 5431 0 0 0 39634 416 0 0 20 0 1 0 1038922 67899392 9267 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 16577 9267 1835 992 0 8435 0
Current children cumulated CPU time: 400.5 s
Current children cumulated vsize: 66308 KiB
Current children cumulated memory: 37068 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/257 9565
/proc/meminfo: memFree=125802432/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=66516 memory=37068 CPUtime=460.32 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 5471 0 0 0 45568 464 0 0 20 0 1 0 1038922 68112384 9267 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 16629 9267 1835 992 0 8487 0
################
# More data... #
################
Current children cumulated memory: 57136 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/257 10720
/proc/meminfo: memFree=123786408/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=90176 memory=57136 CPUtime=2911.36 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 9102 0 0 0 289347 1789 0 0 20 0 1 0 1038922 92340224 14284 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 22544 14284 1835 992 0 14402 0
Current children cumulated CPU time: 2911.36 s
Current children cumulated vsize: 90176 KiB
Current children cumulated memory: 57136 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.12 4.11 5/257 10730
/proc/meminfo: memFree=123706944/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=89760 memory=56848 CPUtime=2971.17 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 9154 0 0 0 295293 1824 0 0 20 0 1 0 1038922 91914240 14212 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 22440 14212 1835 992 0 14298 0
Current children cumulated CPU time: 2971.17 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 56848 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.11 4.10 5/259 10745
/proc/meminfo: memFree=123673700/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=89760 memory=56848 CPUtime=3030.97 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 9175 0 0 0 301249 1848 0 0 20 0 1 0 1038922 91914240 14212 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 22440 14212 1835 992 0 14298 0
Current children cumulated CPU time: 3030.97 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 56848 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/259 10756
/proc/meminfo: memFree=123578780/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=89760 memory=56848 CPUtime=3090.77 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 9198 0 0 0 307211 1866 0 0 20 0 1 0 1038922 91914240 14212 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 22440 14212 1835 992 0 14298 0
Current children cumulated CPU time: 3090.77 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 56848 KiB
[startup+3162.3 s]
/proc/loadavg: 4.28 4.16 4.11 5/259 10766
/proc/meminfo: memFree=123540656/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=89760 memory=56852 CPUtime=3150.58 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 9221 0 0 0 313174 1884 0 0 20 0 1 0 1038922 91914240 14213 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 22440 14213 1835 992 0 14298 0
Current children cumulated CPU time: 3150.58 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 56852 KiB
[startup+3222.3 s]
/proc/loadavg: 4.30 4.19 4.12 5/259 10776
/proc/meminfo: memFree=123523224/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=89760 memory=56852 CPUtime=3210.37 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 9245 0 0 0 319136 1901 0 0 20 0 1 0 1038922 91914240 14213 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 22440 14213 1835 992 0 14298 0
Current children cumulated CPU time: 3210.37 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 56852 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/260 10789
/proc/meminfo: memFree=123234472/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=90144 memory=56940 CPUtime=3270.19 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 9305 0 0 0 325102 1917 0 0 20 0 1 0 1038922 92307456 14235 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 22536 14235 1835 992 0 14394 0
Current children cumulated CPU time: 3270.19 s
Current children cumulated vsize: 90144 KiB
Current children cumulated memory: 56940 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/258 11181
/proc/meminfo: memFree=122783540/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=90912 memory=59420 CPUtime=3330 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 9441 0 0 0 331071 1929 0 0 20 0 1 0 1038922 93093888 14855 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 22728 14855 1835 992 0 14586 0
Current children cumulated CPU time: 3330 s
Current children cumulated vsize: 90912 KiB
Current children cumulated memory: 59420 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/258 11191
/proc/meminfo: memFree=122702444/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=91936 memory=62060 CPUtime=3389.83 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 9615 0 0 0 337041 1942 0 0 20 0 1 0 1038922 94142464 15515 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 22984 15515 1835 992 0 14842 0
Current children cumulated CPU time: 3389.83 s
Current children cumulated vsize: 91936 KiB
Current children cumulated memory: 62060 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/259 11204
/proc/meminfo: memFree=122406688/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=92448 memory=62324 CPUtime=3449.67 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 9719 0 0 0 343013 1954 0 0 20 0 1 0 1038922 94666752 15581 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 23112 15581 1835 992 0 14970 0
Current children cumulated CPU time: 3449.67 s
Current children cumulated vsize: 92448 KiB
Current children cumulated memory: 62324 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/261 11384
/proc/meminfo: memFree=122101040/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=92960 memory=64700 CPUtime=3509.51 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 9861 0 0 0 348984 1967 0 0 20 0 1 0 1038922 95191040 16175 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 23240 16175 1835 992 0 15098 0
Current children cumulated CPU time: 3509.51 s
Current children cumulated vsize: 92960 KiB
Current children cumulated memory: 64700 KiB
[startup+3582.3 s]
/proc/loadavg: 4.46 4.25 4.15 5/262 11395
/proc/meminfo: memFree=121897116/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=93472 memory=64960 CPUtime=3569.35 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 9967 0 0 0 354961 1974 0 0 20 0 1 0 1038922 95715328 16240 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 23368 16240 1835 992 0 15226 0
Current children cumulated CPU time: 3569.35 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 64960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.11 s]
/proc/loadavg: 4.36 4.25 4.15 5/262 11402
/proc/meminfo: memFree=121798076/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=93472 memory=65384 CPUtime=3600.06 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 10112 0 0 0 358028 1978 0 0 20 0 1 0 1038922 95715328 16346 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 23368 16346 1835 992 0 15226 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 65384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.11 s]
# the end of solver process 9288 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.29 s, system=19.7905 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.11 s]
/proc/loadavg: 4.36 4.25 4.15 5/262 11402
/proc/meminfo: memFree=121798076/131524600 swapFree=131071996/131071996
[pid=9288] ppid=9285 vsize=93472 memory=65384 CPUtime=3600.06 cores=5,7
/proc/9288/stat : 9288 (roundingsat) R 9285 9288 6994 0 -1 4194304 10112 0 0 0 358028 1978 0 0 20 0 1 0 1038922 95715328 16346 134679101440 4194304 8255733 140734771798080 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 30871552 140734771802974 140734771803236 140734771803236 140734771810249 0
/proc/9288/statm: 23368 16346 1835 992 0 15226 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 65384 KiB
Child status: 0
Real time (s): 3613.11
CPU time (s): 3600.08
CPU user time (s): 3580.29
CPU system time (s): 19.7905
CPU usage (%): 99.6393
Max. virtual memory (cumulated for all children) (KiB): 93472
Max. memory (cumulated for all children) (KiB): 65384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.29
system time used= 19.7905
maximum resident set size= 65384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1269344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 4820
# summary of solver processes directly reported to runsolver:
# pid: 9288
# total CPU time (s): 3600.08
# total CPU user time (s): 3580.29
# total CPU system time (s): 19.7905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95926 second user time and 17.2543 second system time
The end
Begin job on nodeC023 at 2024-07-30 14:59:56 IDJOB=4462914 IDBENCH=148100 IDSOLVER=3089 FILE ID=nodeC023/4462914-1722344396 RUNJOBID= nodeC023-1722340763-7007 SLURM_JOB_ID= 8248996 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.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-4462914-1722344396/watcher-4462914-1722344396 -o /tmp/evaluation-result-4462914-1722344396/solver-4462914-1722344396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722340763-7007 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462914-1722344396 --lp-cut-gomory=0 HOME/instance-4462914-1722344396.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e RANDOM SEED=2076811527 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1765.854 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2629.408 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1507.543 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.891 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1824.262 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3407.915 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2045.099 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3462.268 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125464556 kB MemAvailable: 129848696 kB Buffers: 50764 kB Cached: 5165996 kB SwapCached: 0 kB Active: 169572 kB Inactive: 5420688 kB Active(anon): 1504 kB Inactive(anon): 393056 kB Active(file): 168068 kB Inactive(file): 5027632 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 11672 kB Writeback: 0 kB AnonPages: 373248 kB Mapped: 89312 kB Shmem: 21336 kB KReclaimable: 56172 kB Slab: 133908 kB SReclaimable: 56172 kB SUnreclaim: 77736 kB KernelStack: 4064 kB PageTables: 9208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 782632 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8992 kB HardwareCorrupted: 0 kB AnonHugePages: 256000 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 164564 kB DirectMap2M: 10094592 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890052 MiB End job on nodeC023 at 2024-07-30 16:00:09