| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.08 | 3621.39 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K151.opb |
| MD5SUM | abcade21393c5164863b40206a5f4f64 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 17969 |
| Total number of constraints | 18273 |
| Number of constraints which are clauses | 18122 |
| Number of constraints which are cardinality constraints (but not clauses) | 151 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 151 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 152 |
| Number of bits of the biggest sum of numbers | 8 |
| 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.08/0.12 c #variables 17969 #constraints 18273 121.99/122.58 c #Conflicts: 1000 | #Constraints: 19272 121.99/122.58 c #Conflicts: 2000 | #Constraints: 20272 121.99/122.58 c INPROCESSING 121.99/122.58 c GARBAGE COLLECT 121.99/122.58 c #Conflicts: 3000 | #Constraints: 19737 121.99/122.58 c #Conflicts: 4000 | #Constraints: 20737 121.99/122.58 c INPROCESSING 121.99/122.58 c GARBAGE COLLECT 121.99/122.58 c #Conflicts: 5000 | #Constraints: 20122 121.99/122.58 c #Conflicts: 6000 | #Constraints: 21122 121.99/122.58 c INPROCESSING 121.99/122.58 c GARBAGE COLLECT 121.99/122.58 c #Conflicts: 7000 | #Constraints: 20207 121.99/122.58 c #Conflicts: 8000 | #Constraints: 21207 121.99/122.58 c #Conflicts: 9000 | #Constraints: 22207 121.99/122.58 c INPROCESSING 121.99/122.58 c GARBAGE COLLECT 121.99/122.58 c #Conflicts: 10000 | #Constraints: 20935 121.99/122.58 c #Conflicts: 11000 | #Constraints: 21935 121.99/122.58 c #Conflicts: 12000 | #Constraints: 22935 121.99/122.58 c #Conflicts: 13000 | #Constraints: 23935 121.99/122.58 c #Conflicts: 14000 | #Constraints: 24935 121.99/122.58 c #Conflicts: 15000 | #Constraints: 25935 121.99/122.58 c #Conflicts: 16000 | #Constraints: 26935 121.99/122.58 c INPROCESSING 121.99/122.58 c GARBAGE COLLECT 121.99/122.58 c #Conflicts: 17000 | #Constraints: 23247 121.99/122.58 c #Conflicts: 18000 | #Constraints: 24247 121.99/122.58 c #Conflicts: 19000 | #Constraints: 25248 121.99/122.58 c #Conflicts: 20000 | #Constraints: 26248 121.99/122.58 c INPROCESSING 121.99/122.58 c GARBAGE COLLECT 121.99/122.58 c #Conflicts: 21000 | #Constraints: 23026 121.99/122.58 c #Conflicts: 22000 | #Constraints: 24026 121.99/122.58 c #Conflicts: 23000 | #Constraints: 25026 121.99/122.58 c #Conflicts: 24000 | #Constraints: 26026 121.99/122.58 c INPROCESSING 121.99/122.58 c GARBAGE COLLECT 121.99/122.58 c #Conflicts: 25000 | #Constraints: 22967 121.99/122.58 c #Conflicts: 26000 | #Constraints: 23967 121.99/122.58 c #Conflicts: 27000 | #Constraints: 24967 121.99/122.58 c #Conflicts: 28000 | #Constraints: 25967 121.99/122.58 c #Conflicts: 29000 | #Constraints: 26967 121.99/122.58 c #Conflicts: 30000 | #Constraints: 27967 121.99/122.58 c #Conflicts: 31000 | #Constraints: 28967 121.99/122.58 c #Conflicts: 32000 | #Constraints: 29967 121.99/122.58 c #Conflicts: 33000 | #Constraints: 30968 121.99/122.58 c #Conflicts: 34000 | #Constraints: 31968 121.99/122.58 c #Conflicts: 35000 | #Constraints: 32968 121.99/122.58 c #Conflicts: 36000 | #Constraints: 33968 121.99/122.58 c INPROCESSING 121.99/122.58 c GARBAGE COLLECT 121.99/122.58 c rational objective 151 158.17/158.89 c #Conflicts: 37000 | #Constraints: 27180 158.17/158.89 c #Conflicts: 38000 | #Constraints: 28180 158.17/158.89 c #Conflicts: 39000 | #Constraints: 29180 158.17/158.89 c #Conflicts: 40000 | #Constraints: 30180 158.17/158.89 c #Conflicts: 41000 | #Constraints: 31180 158.17/158.89 c INPROCESSING 158.17/158.89 c GARBAGE COLLECT 158.17/158.89 c #Conflicts: 42000 | #Constraints: 25603 158.17/158.89 c #Conflicts: 43000 | #Constraints: 26603 158.17/158.89 c #Conflicts: 44000 | #Constraints: 27603 158.17/158.89 c #Conflicts: 45000 | #Constraints: 28603 158.17/158.89 c #Conflicts: 46000 | #Constraints: 29603 158.17/158.89 c #Conflicts: 47000 | #Constraints: 30603 158.17/158.89 c INPROCESSING 158.17/158.89 c GARBAGE COLLECT 158.17/158.89 c rational objective 151 493.70/495.65 c #Conflicts: 48000 | #Constraints: 25855 493.70/495.65 c #Conflicts: 49000 | #Constraints: 26855 493.70/495.65 c #Conflicts: 50000 | #Constraints: 27855 493.70/495.65 c #Conflicts: 51000 | #Constraints: 28855 493.70/495.65 c #Conflicts: 52000 | #Constraints: 29855 493.70/495.65 c #Conflicts: 53000 | #Constraints: 30855 493.70/495.65 c #Conflicts: 54000 | #Constraints: 31855 493.70/495.65 c #Conflicts: 55000 | #Constraints: 32855 493.70/495.65 c #Conflicts: 56000 | #Constraints: 33855 493.70/495.65 c #Conflicts: 57000 | #Constraints: 34855 493.70/495.65 c #Conflicts: 58000 | #Constraints: 35855 493.70/495.65 c #Conflicts: 59000 | #Constraints: 36855 493.70/495.65 c #Conflicts: 60000 | #Constraints: 37855 493.70/495.65 c #Conflicts: 61000 | #Constraints: 38856 493.70/495.65 c #Conflicts: 62000 | #Constraints: 39856 493.70/495.65 c INPROCESSING 493.70/495.65 c GARBAGE COLLECT 493.70/495.65 c #Conflicts: 63000 | #Constraints: 29427 493.70/495.65 c #Conflicts: 64000 | #Constraints: 30427 493.70/495.65 c #Conflicts: 65000 | #Constraints: 31427 493.70/495.65 c #Conflicts: 66000 | #Constraints: 32427 493.70/495.65 c #Conflicts: 67000 | #Constraints: 33427 493.70/495.65 c #Conflicts: 68000 | #Constraints: 34427 493.70/495.65 c #Conflicts: 69000 | #Constraints: 35427 493.70/495.65 c INPROCESSING 493.70/495.65 c GARBAGE COLLECT 493.70/495.65 c #Conflicts: 70000 | #Constraints: 27509 493.70/495.65 c #Conflicts: 71000 | #Constraints: 28509 493.70/495.65 c #Conflicts: 72000 | #Constraints: 29509 493.70/495.65 c #Conflicts: 73000 | #Constraints: 30509 493.70/495.65 c #Conflicts: 74000 | #Constraints: 31509 493.70/495.65 c #Conflicts: 75000 | #Constraints: 32509 493.70/495.65 c #Conflicts: 76000 | #Constraints: 33510 493.70/495.65 c #Conflicts: 77000 | #Constraints: 34510 493.70/495.65 c #Conflicts: 78000 | #Constraints: 35510 493.70/495.65 c #Conflicts: 79000 | #Constraints: 36510 493.70/495.65 c #Conflicts: 80000 | #Constraints: 37510 493.70/495.65 c #Conflicts: 81000 | #Constraints: 38510 493.70/495.65 c #Conflicts: 82000 | #Constraints: 39510 493.70/495.65 c #Conflicts: 83000 | #Constraints: 40510 493.70/495.65 c #Conflicts: 84000 | #Constraints: 41510 493.70/495.65 c #Conflicts: 85000 | #Constraints: 42510 493.70/495.65 c #Conflicts: 86000 | #Constraints: 43510 493.70/495.65 c #Conflicts: 87000 | #Constraints: 44510 493.70/495.65 c #Conflicts: 88000 | #Constraints: 45510 493.70/495.65 c INPROCESSING 493.70/495.65 c GARBAGE COLLECT 493.70/495.65 c #Conflicts: 89000 | #Constraints: 32574 493.70/495.65 c #Conflicts: 90000 | #Constraints: 33574 493.70/495.65 c #Conflicts: 91000 | #Constraints: 34574 493.70/495.65 c #Conflicts: 92000 | #Constraints: 35574 493.70/495.65 c #Conflicts: 93000 | #Constraints: 36574 493.70/495.65 c #Conflicts: 94000 | #Constraints: 37574 493.70/495.65 c #Conflicts: 95000 | #Constraints: 38574 493.70/495.65 c #Conflicts: 96000 | #Constraints: 39574 493.70/495.65 c INPROCESSING 493.70/495.65 c GARBAGE COLLECT 493.70/495.65 c #Conflicts: 97000 | #Constraints: 29674 493.70/495.65 c #Conflicts: 98000 | #Constraints: 30674 493.70/495.65 c #Conflicts: 99000 | #Constraints: 31674 493.70/495.65 c #Conflicts: 100000 | #Constraints: 32674 493.70/495.65 c #Conflicts: 101000 | #Constraints: 33675 493.70/495.65 c #Conflicts: 102000 | #Constraints: 34675 493.70/495.65 c #Conflicts: 103000 | #Constraints: 35675 493.70/495.65 c #Conflicts: 104000 | #Constraints: 36675 493.70/495.65 c #Conflicts: 105000 | #Constraints: 37675 493.70/495.65 c #Conflicts: 106000 | #Constraints: 38675 493.70/495.65 c #Conflicts: 107000 | #Constraints: 39675 493.70/495.65 c #Conflicts: 108000 | #Constraints: 40675 493.70/495.65 c #Conflicts: 109000 | #Constraints: 41675 493.70/495.65 c #Conflicts: 110000 | #Constraints: 42675 493.70/495.65 c #Conflicts: 111000 | #Constraints: 43675 493.70/495.65 c #Conflicts: 112000 | #Constraints: 44675 493.70/495.65 c #Conflicts: 113000 | #Constraints: 45675 493.70/495.65 c #Conflicts: 114000 | #Constraints: 46675 493.70/495.65 c #Conflicts: 115000 | #Constraints: 47675 493.70/495.65 c #Conflicts: 116000 | #Constraints: 48675 493.70/495.65 c #Conflicts: 117000 | #Constraints: 49676 493.70/495.65 c #Conflicts: 118000 | #Constraints: 50676 493.70/495.65 c INPROCESSING 493.70/495.65 c GARBAGE COLLECT 493.70/495.65 c #Conflicts: 119000 | #Constraints: 35306 493.70/495.65 c #Conflicts: 120000 | #Constraints: 36306 493.70/495.65 c #Conflicts: 121000 | #Constraints: 37306 493.70/495.65 c #Conflicts: 122000 | #Constraints: 38306 493.70/495.65 c #Conflicts: 123000 | #Constraints: 39306 564.89/567.18 c #Conflicts: 124000 | #Constraints: 40306 564.89/567.18 c #Conflicts: 125000 | #Constraints: 41306 564.89/567.18 c #Conflicts: 126000 | #Constraints: 42306 564.89/567.18 c #Conflicts: 127000 | #Constraints: 43306 564.89/567.18 c #Conflicts: 128000 | #Constraints: 44306 564.89/567.18 c INPROCESSING 564.89/567.18 c GARBAGE COLLECT 564.89/567.18 c #Conflicts: 129000 | #Constraints: 32424 564.89/567.18 c #Conflicts: 130000 | #Constraints: 33424 564.89/567.18 c #Conflicts: 131000 | #Constraints: 34424 564.89/567.18 c #Conflicts: 132000 | #Constraints: 35424 564.89/567.18 c #Conflicts: 133000 | #Constraints: 36425 564.89/567.18 c #Conflicts: 134000 | #Constraints: 37425 564.89/567.18 c #Conflicts: 135000 | #Constraints: 38425 564.89/567.18 c #Conflicts: 136000 | #Constraints: 39425 564.89/567.18 c #Conflicts: 137000 | #Constraints: 40425 564.89/567.18 c #Conflicts: 138000 | #Constraints: 41425 564.89/567.18 c #Conflicts: 139000 | #Constraints: 42425 564.89/567.18 c #Conflicts: 140000 | #Constraints: 43425 564.89/567.18 c #Conflicts: 141000 | #Constraints: 44425 564.89/567.18 c #Conflicts: 142000 | #Constraints: 45425 564.89/567.18 c #Conflicts: 143000 | #Constraints: 46425 564.89/567.18 c #Conflicts: 144000 | #Constraints: 47425 564.89/567.18 c #Conflicts: 145000 | #Constraints: 48425 564.89/567.18 c #Conflicts: 146000 | #Constraints: 49425 564.89/567.18 c #Conflicts: 147000 | #Constraints: 50425 564.89/567.18 c #Conflicts: 148000 | #Constraints: 51425 564.89/567.18 c #Conflicts: 149000 | #Constraints: 52425 564.89/567.18 c #Conflicts: 150000 | #Constraints: 53425 564.89/567.18 c #Conflicts: 151000 | #Constraints: 54425 564.89/567.18 c #Conflicts: 152000 | #Constraints: 55425 564.89/567.18 c #Conflicts: 153000 | #Constraints: 56425 564.89/567.18 c INPROCESSING 564.89/567.18 c GARBAGE COLLECT 564.89/567.18 c rational objective 151 607.82/610.20 c #Conflicts: 154000 | #Constraints: 38530 607.82/610.20 c #Conflicts: 155000 | #Constraints: 39530 607.82/610.20 c #Conflicts: 156000 | #Constraints: 40530 607.82/610.20 c #Conflicts: 157000 | #Constraints: 41530 607.82/610.20 c #Conflicts: 158000 | #Constraints: 42530 607.82/610.20 c #Conflicts: 159000 | #Constraints: 43530 607.82/610.20 c #Conflicts: 160000 | #Constraints: 44530 607.82/610.20 c #Conflicts: 161000 | #Constraints: 45531 607.82/610.20 c #Conflicts: 162000 | #Constraints: 46532 607.82/610.20 c #Conflicts: 163000 | #Constraints: 47532 607.82/610.20 c INPROCESSING 607.82/610.20 c GARBAGE COLLECT 607.82/610.20 c rational objective 151 772.69/775.76 c #Conflicts: 164000 | #Constraints: 33818 772.69/775.76 c #Conflicts: 165000 | #Constraints: 34818 772.69/775.76 c #Conflicts: 166000 | #Constraints: 35818 772.69/775.76 c #Conflicts: 167000 | #Constraints: 36818 772.69/775.76 c #Conflicts: 168000 | #Constraints: 37818 772.69/775.76 c #Conflicts: 169000 | #Constraints: 38818 772.69/775.76 c #Conflicts: 170000 | #Constraints: 39818 772.69/775.76 c #Conflicts: 171000 | #Constraints: 40818 772.69/775.76 c #Conflicts: 172000 | #Constraints: 41818 772.69/775.76 c #Conflicts: 173000 | #Constraints: 42818 772.69/775.76 c #Conflicts: 174000 | #Constraints: 43819 772.69/775.76 c #Conflicts: 175000 | #Constraints: 44820 772.69/775.76 c #Conflicts: 176000 | #Constraints: 45820 772.69/775.76 c #Conflicts: 177000 | #Constraints: 46821 772.69/775.76 c #Conflicts: 178000 | #Constraints: 47821 772.69/775.76 c #Conflicts: 179000 | #Constraints: 48822 772.69/775.76 c #Conflicts: 180000 | #Constraints: 49823 772.69/775.76 c #Conflicts: 181000 | #Constraints: 50823 772.69/775.76 c #Conflicts: 182000 | #Constraints: 51823 772.69/775.76 c #Conflicts: 183000 | #Constraints: 52823 772.69/775.76 c #Conflicts: 184000 | #Constraints: 53823 772.69/775.76 c #Conflicts: 185000 | #Constraints: 54823 772.69/775.76 c #Conflicts: 186000 | #Constraints: 55824 772.69/775.76 c #Conflicts: 187000 | #Constraints: 56824 772.69/775.76 c #Conflicts: 188000 | #Constraints: 57824 772.69/775.76 c #Conflicts: 189000 | #Constraints: 58824 772.69/775.76 c #Conflicts: 190000 | #Constraints: 59824 772.69/775.76 c #Conflicts: 191000 | #Constraints: 60824 772.69/775.76 c INPROCESSING 772.69/775.76 c GARBAGE COLLECT 772.69/775.76 c rational objective 151 993.67/997.56 c #Conflicts: 192000 | #Constraints: 40353 993.67/997.56 c #Conflicts: 193000 | #Constraints: 41353 993.67/997.56 c #Conflicts: 194000 | #Constraints: 42353 993.67/997.56 c #Conflicts: 195000 | #Constraints: 43353 993.67/997.56 c #Conflicts: 196000 | #Constraints: 44353 993.67/997.56 c #Conflicts: 197000 | #Constraints: 45353 993.67/997.56 c #Conflicts: 198000 | #Constraints: 46353 993.67/997.56 c #Conflicts: 199000 | #Constraints: 47353 993.67/997.56 c #Conflicts: 200000 | #Constraints: 48353 993.67/997.56 c #Conflicts: 201000 | #Constraints: 49353 993.67/997.56 c #Conflicts: 202000 | #Constraints: 50353 993.67/997.56 c #Conflicts: 203000 | #Constraints: 51353 993.67/997.56 c #Conflicts: 204000 | #Constraints: 52354 993.67/997.56 c INPROCESSING 993.67/997.56 c GARBAGE COLLECT 993.67/997.56 c #Conflicts: 205000 | #Constraints: 36565 993.67/997.56 c #Conflicts: 206000 | #Constraints: 37565 993.67/997.56 c #Conflicts: 207000 | #Constraints: 38565 993.67/997.56 c #Conflicts: 208000 | #Constraints: 39565 993.67/997.56 c #Conflicts: 209000 | #Constraints: 40565 993.67/997.56 c #Conflicts: 210000 | #Constraints: 41565 993.67/997.56 c #Conflicts: 211000 | #Constraints: 42565 993.67/997.56 c #Conflicts: 212000 | #Constraints: 43565 993.67/997.56 c #Conflicts: 213000 | #Constraints: 44565 993.67/997.56 c #Conflicts: 214000 | #Constraints: 45565 993.67/997.56 c #Conflicts: 215000 | #Constraints: 46565 993.67/997.56 c #Conflicts: 216000 | #Constraints: 47565 993.67/997.56 c #Conflicts: 217000 | #Constraints: 48565 993.67/997.56 c #Conflicts: 218000 | #Constraints: 49565 993.67/997.56 c #Conflicts: 219000 | #Constraints: 50565 993.67/997.56 c #Conflicts: 220000 | #Constraints: 51565 993.67/997.56 c #Conflicts: 221000 | #Constraints: 52565 993.67/997.56 c #Conflicts: 222000 | #Constraints: 53565 993.67/997.56 c #Conflicts: 223000 | #Constraints: 54565 993.67/997.56 c #Conflicts: 224000 | #Constraints: 55566 993.67/997.56 c #Conflicts: 225000 | #Constraints: 56566 993.67/997.56 c #Conflicts: 226000 | #Constraints: 57566 993.67/997.56 c #Conflicts: 227000 | #Constraints: 58566 993.67/997.56 c #Conflicts: 228000 | #Constraints: 59566 993.67/997.56 c #Conflicts: 229000 | #Constraints: 60566 993.67/997.56 c #Conflicts: 230000 | #Constraints: 61566 993.67/997.56 c #Conflicts: 231000 | #Constraints: 62566 993.67/997.56 c #Conflicts: 232000 | #Constraints: 63566 993.67/997.56 c #Conflicts: 233000 | #Constraints: 64566 993.67/997.56 c #Conflicts: 234000 | #Constraints: 65566 993.67/997.56 c #Conflicts: 235000 | #Constraints: 66566 993.67/997.56 c INPROCESSING 993.67/997.56 c GARBAGE COLLECT 993.67/997.56 c #Conflicts: 236000 | #Constraints: 43495 993.67/997.56 c #Conflicts: 237000 | #Constraints: 44495 993.67/997.56 c #Conflicts: 238000 | #Constraints: 45495 993.67/997.56 c #Conflicts: 239000 | #Constraints: 46495 993.67/997.56 c #Conflicts: 240000 | #Constraints: 47496 993.67/997.56 c #Conflicts: 241000 | #Constraints: 48496 993.67/997.56 c #Conflicts: 242000 | #Constraints: 49496 993.67/997.56 c #Conflicts: 243000 | #Constraints: 50496 993.67/997.56 c #Conflicts: 244000 | #Constraints: 51496 993.67/997.56 c #Conflicts: 245000 | #Constraints: 52496 993.67/997.56 c #Conflicts: 246000 | #Constraints: 53496 993.67/997.56 c #Conflicts: 247000 | #Constraints: 54496 993.67/997.56 c #Conflicts: 248000 | #Constraints: 55496 993.67/997.56 c INPROCESSING 993.67/997.56 c GARBAGE COLLECT 993.67/997.56 c #Conflicts: 249000 | #Constraints: 37962 993.67/997.56 c #Conflicts: 250000 | #Constraints: 38962 993.67/997.56 c #Conflicts: 251000 | #Constraints: 39962 993.67/997.56 c #Conflicts: 252000 | #Constraints: 40962 993.67/997.56 c #Conflicts: 253000 | #Constraints: 41963 993.67/997.56 c #Conflicts: 254000 | #Constraints: 42963 993.67/997.56 c #Conflicts: 255000 | #Constraints: 43963 993.67/997.56 c #Conflicts: 256000 | #Constraints: 44963 993.67/997.56 c #Conflicts: 257000 | #Constraints: 45963 993.67/997.56 c #Conflicts: 258000 | #Constraints: 46963 993.67/997.56 c #Conflicts: 259000 | #Constraints: 47963 993.67/997.56 c #Conflicts: 260000 | #Constraints: 48963 993.67/997.56 c #Conflicts: 261000 | #Constraints: 49963 993.67/997.56 c #Conflicts: 262000 | #Constraints: 50963 993.67/997.56 c #Conflicts: 263000 | #Constraints: 51963 993.67/997.56 c #Conflicts: 264000 | #Constraints: 52963 993.67/997.56 c #Conflicts: 265000 | #Constraints: 53963 993.67/997.56 c #Conflicts: 266000 | #Constraints: 54963 993.67/997.56 c #Conflicts: 267000 | #Constraints: 55963 993.67/997.56 c #Conflicts: 268000 | #Constraints: 56964 1088.25/1092.44 c #Conflicts: 269000 | #Constraints: 57964 1088.25/1092.44 c #Conflicts: 270000 | #Constraints: 58964 1088.25/1092.44 c #Conflicts: 271000 | #Constraints: 59965 1088.25/1092.44 c #Conflicts: 272000 | #Constraints: 60965 1088.25/1092.44 c #Conflicts: 273000 | #Constraints: 61965 1088.25/1092.44 c #Conflicts: 274000 | #Constraints: 62965 1088.25/1092.44 c #Conflicts: 275000 | #Constraints: 63965 1088.25/1092.44 c #Conflicts: 276000 | #Constraints: 64965 1088.25/1092.44 c #Conflicts: 277000 | #Constraints: 65965 1088.25/1092.44 c #Conflicts: 278000 | #Constraints: 66965 1088.25/1092.44 c #Conflicts: 279000 | #Constraints: 67965 1088.25/1092.44 c #Conflicts: 280000 | #Constraints: 68965 1088.25/1092.44 c #Conflicts: 281000 | #Constraints: 69965 1088.25/1092.44 c #Conflicts: 282000 | #Constraints: 70965 1088.25/1092.44 c INPROCESSING 1088.25/1092.44 c GARBAGE COLLECT 1088.25/1092.44 c rational objective 151 1178.31/1183.08 c #Conflicts: 283000 | #Constraints: 45574 1178.31/1183.08 c #Conflicts: 284000 | #Constraints: 46574 1178.31/1183.08 c #Conflicts: 285000 | #Constraints: 47574 1178.31/1183.08 c #Conflicts: 286000 | #Constraints: 48574 1178.31/1183.08 c #Conflicts: 287000 | #Constraints: 49574 1178.31/1183.08 c #Conflicts: 288000 | #Constraints: 50575 1178.31/1183.08 c #Conflicts: 289000 | #Constraints: 51575 1178.31/1183.08 c #Conflicts: 290000 | #Constraints: 52575 1178.31/1183.08 c #Conflicts: 291000 | #Constraints: 53575 1178.31/1183.08 c #Conflicts: 292000 | #Constraints: 54575 1178.31/1183.08 c #Conflicts: 293000 | #Constraints: 55575 1178.31/1183.08 c #Conflicts: 294000 | #Constraints: 56575 1178.31/1183.08 c #Conflicts: 295000 | #Constraints: 57575 1178.31/1183.08 c #Conflicts: 296000 | #Constraints: 58575 1178.31/1183.08 c #Conflicts: 297000 | #Constraints: 59575 1178.31/1183.08 c INPROCESSING 1178.31/1183.08 c GARBAGE COLLECT 1178.31/1183.08 c rational objective 151 1308.61/1314.79 c #Conflicts: 298000 | #Constraints: 40061 1308.61/1314.79 c #Conflicts: 299000 | #Constraints: 41061 1308.61/1314.79 c #Conflicts: 300000 | #Constraints: 42061 1308.61/1314.79 c #Conflicts: 301000 | #Constraints: 43061 1308.61/1314.79 c #Conflicts: 302000 | #Constraints: 44062 1308.61/1314.79 c #Conflicts: 303000 | #Constraints: 45062 1308.61/1314.79 c #Conflicts: 304000 | #Constraints: 46062 1308.61/1314.79 c #Conflicts: 305000 | #Constraints: 47063 1308.61/1314.79 c #Conflicts: 306000 | #Constraints: 48063 1308.61/1314.79 c #Conflicts: 307000 | #Constraints: 49063 1308.61/1314.79 c #Conflicts: 308000 | #Constraints: 50063 1308.61/1314.79 c #Conflicts: 309000 | #Constraints: 51063 1308.61/1314.79 c #Conflicts: 310000 | #Constraints: 52063 1308.61/1314.79 c #Conflicts: 311000 | #Constraints: 53063 1308.61/1314.79 c #Conflicts: 312000 | #Constraints: 54063 1308.61/1314.79 c #Conflicts: 313000 | #Constraints: 55063 1308.61/1314.79 c #Conflicts: 314000 | #Constraints: 56063 1308.61/1314.79 c #Conflicts: 315000 | #Constraints: 57063 1308.61/1314.79 c #Conflicts: 316000 | #Constraints: 58063 1308.61/1314.79 c #Conflicts: 317000 | #Constraints: 59064 1308.61/1314.79 c #Conflicts: 318000 | #Constraints: 60064 1308.61/1314.79 c #Conflicts: 319000 | #Constraints: 61064 1308.61/1314.79 c #Conflicts: 320000 | #Constraints: 62064 1308.61/1314.79 c #Conflicts: 321000 | #Constraints: 63064 1308.61/1314.79 c #Conflicts: 322000 | #Constraints: 64064 1308.61/1314.79 c #Conflicts: 323000 | #Constraints: 65064 1308.61/1314.79 c #Conflicts: 324000 | #Constraints: 66064 1308.61/1314.79 c #Conflicts: 325000 | #Constraints: 67064 1308.61/1314.79 c #Conflicts: 326000 | #Constraints: 68064 1308.61/1314.79 c #Conflicts: 327000 | #Constraints: 69064 1308.61/1314.79 c #Conflicts: 328000 | #Constraints: 70064 1308.61/1314.79 c #Conflicts: 329000 | #Constraints: 71064 1308.61/1314.79 c #Conflicts: 330000 | #Constraints: 72064 1308.61/1314.79 c #Conflicts: 331000 | #Constraints: 73065 1308.61/1314.79 c #Conflicts: 332000 | #Constraints: 74065 1308.61/1314.79 c #Conflicts: 333000 | #Constraints: 75065 1308.61/1314.79 c #Conflicts: 334000 | #Constraints: 76065 1308.61/1314.79 c #Conflicts: 335000 | #Constraints: 77065 1308.61/1314.79 c INPROCESSING 1308.61/1314.79 c GARBAGE COLLECT 1308.61/1314.79 c rational objective 151 1365.06/1371.80 c #Conflicts: 336000 | #Constraints: 49088 1365.06/1371.80 c #Conflicts: 337000 | #Constraints: 50088 1365.06/1371.80 c #Conflicts: 338000 | #Constraints: 51088 1365.06/1371.80 c #Conflicts: 339000 | #Constraints: 52088 1365.06/1371.80 c #Conflicts: 340000 | #Constraints: 53088 1365.06/1371.80 c #Conflicts: 341000 | #Constraints: 54088 1365.06/1371.80 c #Conflicts: 342000 | #Constraints: 55088 1365.06/1371.80 c #Conflicts: 343000 | #Constraints: 56088 1365.06/1371.80 c #Conflicts: 344000 | #Constraints: 57088 1365.06/1371.80 c #Conflicts: 345000 | #Constraints: 58088 1365.06/1371.80 c #Conflicts: 346000 | #Constraints: 59088 1365.06/1371.80 c #Conflicts: 347000 | #Constraints: 60089 1365.06/1371.80 c #Conflicts: 348000 | #Constraints: 61089 1365.06/1371.80 c #Conflicts: 349000 | #Constraints: 62090 1365.06/1371.80 c #Conflicts: 350000 | #Constraints: 63090 1365.06/1371.80 c #Conflicts: 351000 | #Constraints: 64090 1365.06/1371.80 c INPROCESSING 1365.06/1371.80 c GARBAGE COLLECT 1365.06/1371.80 c rational objective 151 1494.05/1502.26 c #Conflicts: 352000 | #Constraints: 42985 1494.05/1502.26 c #Conflicts: 353000 | #Constraints: 43985 1494.05/1502.26 c #Conflicts: 354000 | #Constraints: 44985 1494.05/1502.26 c #Conflicts: 355000 | #Constraints: 45986 1494.05/1502.26 c #Conflicts: 356000 | #Constraints: 46986 1494.05/1502.26 c #Conflicts: 357000 | #Constraints: 47986 1494.05/1502.26 c #Conflicts: 358000 | #Constraints: 48986 1494.05/1502.26 c #Conflicts: 359000 | #Constraints: 49986 1494.05/1502.26 c #Conflicts: 360000 | #Constraints: 50986 1494.05/1502.26 c #Conflicts: 361000 | #Constraints: 51986 1494.05/1502.26 c #Conflicts: 362000 | #Constraints: 52986 1494.05/1502.26 c #Conflicts: 363000 | #Constraints: 53987 1494.05/1502.26 c #Conflicts: 364000 | #Constraints: 54987 1494.05/1502.26 c #Conflicts: 365000 | #Constraints: 55987 1494.05/1502.26 c #Conflicts: 366000 | #Constraints: 56987 1494.05/1502.26 c #Conflicts: 367000 | #Constraints: 57987 1494.05/1502.26 c #Conflicts: 368000 | #Constraints: 58987 1494.05/1502.26 c #Conflicts: 369000 | #Constraints: 59987 1494.05/1502.26 c #Conflicts: 370000 | #Constraints: 60987 1494.05/1502.26 c #Conflicts: 371000 | #Constraints: 61987 1494.05/1502.26 c #Conflicts: 372000 | #Constraints: 62987 1494.05/1502.26 c #Conflicts: 373000 | #Constraints: 63987 1494.05/1502.26 c #Conflicts: 374000 | #Constraints: 64987 1494.05/1502.26 c #Conflicts: 375000 | #Constraints: 65987 1494.05/1502.26 c #Conflicts: 376000 | #Constraints: 66987 1494.05/1502.26 c #Conflicts: 377000 | #Constraints: 67987 1494.05/1502.26 c #Conflicts: 378000 | #Constraints: 68988 1494.05/1502.26 c #Conflicts: 379000 | #Constraints: 69988 1494.05/1502.26 c #Conflicts: 380000 | #Constraints: 70988 1494.05/1502.26 c #Conflicts: 381000 | #Constraints: 71988 1494.05/1502.26 c #Conflicts: 382000 | #Constraints: 72988 1494.05/1502.26 c #Conflicts: 383000 | #Constraints: 73988 1494.05/1502.26 c #Conflicts: 384000 | #Constraints: 74988 1494.05/1502.26 c #Conflicts: 385000 | #Constraints: 75988 1494.05/1502.26 c #Conflicts: 386000 | #Constraints: 76988 1494.05/1502.26 c #Conflicts: 387000 | #Constraints: 77988 1494.05/1502.26 c #Conflicts: 388000 | #Constraints: 78988 1494.05/1502.26 c #Conflicts: 389000 | #Constraints: 79988 1494.05/1502.26 c #Conflicts: 390000 | #Constraints: 80988 1494.05/1502.26 c #Conflicts: 391000 | #Constraints: 81988 1494.05/1502.26 c INPROCESSING 1494.05/1502.26 c GARBAGE COLLECT 1494.05/1502.26 c rational objective 151 1540.66/1549.31 c #Conflicts: 392000 | #Constraints: 51340 1540.66/1549.31 c #Conflicts: 393000 | #Constraints: 52340 1540.66/1549.31 c #Conflicts: 394000 | #Constraints: 53340 1540.66/1549.31 c #Conflicts: 395000 | #Constraints: 54340 1540.66/1549.31 c #Conflicts: 396000 | #Constraints: 55340 1540.66/1549.31 c #Conflicts: 397000 | #Constraints: 56340 1540.66/1549.31 c #Conflicts: 398000 | #Constraints: 57340 1540.66/1549.31 c #Conflicts: 399000 | #Constraints: 58340 1540.66/1549.31 c #Conflicts: 400000 | #Constraints: 59340 1540.66/1549.31 c #Conflicts: 401000 | #Constraints: 60340 1540.66/1549.31 c #Conflicts: 402000 | #Constraints: 61340 1540.66/1549.31 c #Conflicts: 403000 | #Constraints: 62340 1540.66/1549.31 c #Conflicts: 404000 | #Constraints: 63340 1540.66/1549.31 c #Conflicts: 405000 | #Constraints: 64340 1540.66/1549.31 c #Conflicts: 406000 | #Constraints: 65340 1540.66/1549.31 c #Conflicts: 407000 | #Constraints: 66340 1540.66/1549.31 c #Conflicts: 408000 | #Constraints: 67340 1540.66/1549.31 c INPROCESSING 1540.66/1549.31 c GARBAGE COLLECT 1540.66/1549.31 c rational objective 151 1701.86/1712.24 c #Conflicts: 409000 | #Constraints: 44668 1701.86/1712.24 c #Conflicts: 410000 | #Constraints: 45668 1701.86/1712.24 c #Conflicts: 411000 | #Constraints: 46668 1701.86/1712.24 c #Conflicts: 412000 | #Constraints: 47668 1701.86/1712.24 c #Conflicts: 413000 | #Constraints: 48669 1701.86/1712.24 c #Conflicts: 414000 | #Constraints: 49669 1701.86/1712.24 c #Conflicts: 415000 | #Constraints: 50670 1701.86/1712.24 c #Conflicts: 416000 | #Constraints: 51670 1701.86/1712.24 c #Conflicts: 417000 | #Constraints: 52670 1701.86/1712.24 c #Conflicts: 418000 | #Constraints: 53670 1701.86/1712.24 c #Conflicts: 419000 | #Constraints: 54670 1701.86/1712.24 c #Conflicts: 420000 | #Constraints: 55670 1701.86/1712.24 c #Conflicts: 421000 | #Constraints: 56670 1701.86/1712.24 c #Conflicts: 422000 | #Constraints: 57670 1701.86/1712.24 c #Conflicts: 423000 | #Constraints: 58670 1701.86/1712.24 c #Conflicts: 424000 | #Constraints: 59670 1701.86/1712.24 c #Conflicts: 425000 | #Constraints: 60670 1701.86/1712.24 c #Conflicts: 426000 | #Constraints: 61670 1701.86/1712.24 c #Conflicts: 427000 | #Constraints: 62670 1701.86/1712.24 c #Conflicts: 428000 | #Constraints: 63671 1701.86/1712.24 c #Conflicts: 429000 | #Constraints: 64671 1701.86/1712.24 c #Conflicts: 430000 | #Constraints: 65671 1701.86/1712.24 c #Conflicts: 431000 | #Constraints: 66671 1701.86/1712.24 c #Conflicts: 432000 | #Constraints: 67671 1701.86/1712.24 c #Conflicts: 433000 | #Constraints: 68671 1701.86/1712.24 c #Conflicts: 434000 | #Constraints: 69671 1701.86/1712.24 c #Conflicts: 435000 | #Constraints: 70671 1701.86/1712.24 c #Conflicts: 436000 | #Constraints: 71672 1701.86/1712.24 c #Conflicts: 437000 | #Constraints: 72672 1701.86/1712.24 c #Conflicts: 438000 | #Constraints: 73672 1701.86/1712.24 c #Conflicts: 439000 | #Constraints: 74672 1701.86/1712.24 c #Conflicts: 440000 | #Constraints: 75672 1701.86/1712.24 c #Conflicts: 441000 | #Constraints: 76673 1701.86/1712.24 c #Conflicts: 442000 | #Constraints: 77673 1701.86/1712.24 c #Conflicts: 443000 | #Constraints: 78673 1701.86/1712.24 c #Conflicts: 444000 | #Constraints: 79673 1701.86/1712.24 c #Conflicts: 445000 | #Constraints: 80673 1701.86/1712.24 c #Conflicts: 446000 | #Constraints: 81673 1701.86/1712.24 c #Conflicts: 447000 | #Constraints: 82673 1701.86/1712.24 c #Conflicts: 448000 | #Constraints: 83674 1701.86/1712.24 c #Conflicts: 449000 | #Constraints: 84674 1701.86/1712.24 c #Conflicts: 450000 | #Constraints: 85674 1701.86/1712.24 c #Conflicts: 451000 | #Constraints: 86674 1701.86/1712.24 c #Conflicts: 452000 | #Constraints: 87674 1701.86/1712.24 c INPROCESSING 1701.86/1712.24 c GARBAGE COLLECT 1701.86/1712.24 c rational objective 151 1752.23/1763.18 c #Conflicts: 453000 | #Constraints: 54185 1752.23/1763.18 c #Conflicts: 454000 | #Constraints: 55185 1752.23/1763.18 c #Conflicts: 455000 | #Constraints: 56185 1752.23/1763.18 c #Conflicts: 456000 | #Constraints: 57185 1752.23/1763.18 c #Conflicts: 457000 | #Constraints: 58185 1752.23/1763.18 c #Conflicts: 458000 | #Constraints: 59185 1752.23/1763.18 c #Conflicts: 459000 | #Constraints: 60185 1752.23/1763.18 c #Conflicts: 460000 | #Constraints: 61185 1752.23/1763.18 c #Conflicts: 461000 | #Constraints: 62185 1752.23/1763.18 c #Conflicts: 462000 | #Constraints: 63185 1752.23/1763.18 c #Conflicts: 463000 | #Constraints: 64185 1752.23/1763.18 c #Conflicts: 464000 | #Constraints: 65185 1752.23/1763.18 c #Conflicts: 465000 | #Constraints: 66185 1752.23/1763.18 c #Conflicts: 466000 | #Constraints: 67185 1752.23/1763.18 c #Conflicts: 467000 | #Constraints: 68185 1752.23/1763.18 c #Conflicts: 468000 | #Constraints: 69185 1752.23/1763.18 c #Conflicts: 469000 | #Constraints: 70185 1752.23/1763.18 c #Conflicts: 470000 | #Constraints: 71185 1752.23/1763.18 c #Conflicts: 471000 | #Constraints: 72185 1752.23/1763.18 c INPROCESSING 1752.23/1763.18 c GARBAGE COLLECT 1752.23/1763.18 c rational objective 151 2256.22/2272.52 c #Conflicts: 472000 | #Constraints: 47130 2256.22/2272.52 c #Conflicts: 473000 | #Constraints: 48130 2256.22/2272.52 c #Conflicts: 474000 | #Constraints: 49130 2256.22/2272.52 c #Conflicts: 475000 | #Constraints: 50130 2256.22/2272.52 c #Conflicts: 476000 | #Constraints: 51130 2256.22/2272.52 c #Conflicts: 477000 | #Constraints: 52130 2256.22/2272.52 c #Conflicts: 478000 | #Constraints: 53131 2256.22/2272.52 c #Conflicts: 479000 | #Constraints: 54131 2256.22/2272.52 c #Conflicts: 480000 | #Constraints: 55131 2256.22/2272.52 c #Conflicts: 481000 | #Constraints: 56131 2256.22/2272.52 c #Conflicts: 482000 | #Constraints: 57131 2256.22/2272.52 c #Conflicts: 483000 | #Constraints: 58131 2256.22/2272.52 c #Conflicts: 484000 | #Constraints: 59131 2256.22/2272.52 c #Conflicts: 485000 | #Constraints: 60131 2256.22/2272.52 c #Conflicts: 486000 | #Constraints: 61131 2256.22/2272.52 c #Conflicts: 487000 | #Constraints: 62131 2256.22/2272.52 c #Conflicts: 488000 | #Constraints: 63131 2256.22/2272.52 c #Conflicts: 489000 | #Constraints: 64132 2256.22/2272.52 c #Conflicts: 490000 | #Constraints: 65132 2256.22/2272.52 c #Conflicts: 491000 | #Constraints: 66132 2256.22/2272.52 c #Conflicts: 492000 | #Constraints: 67132 2256.22/2272.52 c #Conflicts: 493000 | #Constraints: 68132 2256.22/2272.52 c #Conflicts: 494000 | #Constraints: 69132 2256.22/2272.52 c #Conflicts: 495000 | #Constraints: 70132 2256.22/2272.52 c #Conflicts: 496000 | #Constraints: 71132 2256.22/2272.52 c #Conflicts: 497000 | #Constraints: 72132 2256.22/2272.52 c #Conflicts: 498000 | #Constraints: 73132 2256.22/2272.52 c #Conflicts: 499000 | #Constraints: 74132 2256.22/2272.52 c #Conflicts: 500000 | #Constraints: 75132 2256.22/2272.52 c #Conflicts: 501000 | #Constraints: 76132 2256.22/2272.52 c #Conflicts: 502000 | #Constraints: 77132 2256.22/2272.52 c #Conflicts: 503000 | #Constraints: 78132 2256.22/2272.52 c #Conflicts: 504000 | #Constraints: 79132 2256.22/2272.52 c #Conflicts: 505000 | #Constraints: 80132 2256.22/2272.52 c #Conflicts: 506000 | #Constraints: 81132 2256.22/2272.52 c #Conflicts: 507000 | #Constraints: 82132 2256.22/2272.52 c #Conflicts: 508000 | #Constraints: 83132 2256.22/2272.52 c #Conflicts: 509000 | #Constraints: 84133 2256.22/2272.52 c #Conflicts: 510000 | #Constraints: 85133 2256.22/2272.52 c #Conflicts: 511000 | #Constraints: 86133 2256.22/2272.52 c #Conflicts: 512000 | #Constraints: 87133 2256.22/2272.52 c #Conflicts: 513000 | #Constraints: 88133 2256.22/2272.52 c #Conflicts: 514000 | #Constraints: 89133 2256.22/2272.52 c #Conflicts: 515000 | #Constraints: 90133 2256.22/2272.52 c #Conflicts: 516000 | #Constraints: 91133 2256.22/2272.52 c #Conflicts: 517000 | #Constraints: 92133 2256.22/2272.52 c INPROCESSING 2256.22/2272.52 c GARBAGE COLLECT 2256.22/2272.52 c rational objective 151 2355.32/2372.76 c #Conflicts: 518000 | #Constraints: 56391 2355.32/2372.76 c #Conflicts: 519000 | #Constraints: 57391 2355.32/2372.76 c #Conflicts: 520000 | #Constraints: 58391 2355.32/2372.76 c #Conflicts: 521000 | #Constraints: 59391 2355.32/2372.76 c #Conflicts: 522000 | #Constraints: 60391 2355.32/2372.76 c #Conflicts: 523000 | #Constraints: 61391 2355.32/2372.76 c #Conflicts: 524000 | #Constraints: 62391 2355.32/2372.76 c #Conflicts: 525000 | #Constraints: 63393 2355.32/2372.76 c #Conflicts: 526000 | #Constraints: 64393 2355.32/2372.76 c #Conflicts: 527000 | #Constraints: 65393 2355.32/2372.76 c #Conflicts: 528000 | #Constraints: 66393 2355.32/2372.76 c #Conflicts: 529000 | #Constraints: 67393 2355.32/2372.76 c #Conflicts: 530000 | #Constraints: 68394 2355.32/2372.76 c #Conflicts: 531000 | #Constraints: 69394 2355.32/2372.76 c #Conflicts: 532000 | #Constraints: 70394 2355.32/2372.76 c #Conflicts: 533000 | #Constraints: 71394 2355.32/2372.76 c #Conflicts: 534000 | #Constraints: 72394 2355.32/2372.76 c #Conflicts: 535000 | #Constraints: 73394 2355.32/2372.76 c #Conflicts: 536000 | #Constraints: 74394 2355.32/2372.76 c #Conflicts: 537000 | #Constraints: 75394 2355.32/2372.76 c INPROCESSING 2355.32/2372.76 c GARBAGE COLLECT 2355.32/2372.76 c rational objective 151 2542.99/2561.15 c #Conflicts: 538000 | #Constraints: 48451 2542.99/2561.15 c #Conflicts: 539000 | #Constraints: 49451 2542.99/2561.15 c #Conflicts: 540000 | #Constraints: 50451 2542.99/2561.15 c #Conflicts: 541000 | #Constraints: 51451 2542.99/2561.15 c #Conflicts: 542000 | #Constraints: 52451 2542.99/2561.15 c #Conflicts: 543000 | #Constraints: 53451 2542.99/2561.15 c #Conflicts: 544000 | #Constraints: 54451 2542.99/2561.15 c #Conflicts: 545000 | #Constraints: 55451 2542.99/2561.15 c #Conflicts: 546000 | #Constraints: 56452 2542.99/2561.15 c #Conflicts: 547000 | #Constraints: 57452 2542.99/2561.15 c #Conflicts: 548000 | #Constraints: 58452 2542.99/2561.15 c #Conflicts: 549000 | #Constraints: 59452 2542.99/2561.15 c #Conflicts: 550000 | #Constraints: 60453 2542.99/2561.15 c #Conflicts: 551000 | #Constraints: 61453 2542.99/2561.15 c #Conflicts: 552000 | #Constraints: 62453 2542.99/2561.15 c #Conflicts: 553000 | #Constraints: 63453 2542.99/2561.15 c #Conflicts: 554000 | #Constraints: 64453 2542.99/2561.15 c #Conflicts: 555000 | #Constraints: 65453 2542.99/2561.15 c #Conflicts: 556000 | #Constraints: 66453 2542.99/2561.15 c #Conflicts: 557000 | #Constraints: 67453 2542.99/2561.15 c #Conflicts: 558000 | #Constraints: 68453 2542.99/2561.15 c #Conflicts: 559000 | #Constraints: 69453 2542.99/2561.15 c #Conflicts: 560000 | #Constraints: 70453 2542.99/2561.15 c #Conflicts: 561000 | #Constraints: 71453 2542.99/2561.15 c #Conflicts: 562000 | #Constraints: 72453 2542.99/2561.15 c #Conflicts: 563000 | #Constraints: 73453 2542.99/2561.15 c #Conflicts: 564000 | #Constraints: 74454 2542.99/2561.15 c #Conflicts: 565000 | #Constraints: 75454 2542.99/2561.15 c #Conflicts: 566000 | #Constraints: 76454 2542.99/2561.15 c #Conflicts: 567000 | #Constraints: 77454 2542.99/2561.15 c #Conflicts: 568000 | #Constraints: 78454 2542.99/2561.15 c #Conflicts: 569000 | #Constraints: 79454 2542.99/2561.15 c #Conflicts: 570000 | #Constraints: 80454 2542.99/2561.15 c #Conflicts: 571000 | #Constraints: 81454 2542.99/2561.15 c #Conflicts: 572000 | #Constraints: 82454 2542.99/2561.15 c #Conflicts: 573000 | #Constraints: 83454 2542.99/2561.15 c #Conflicts: 574000 | #Constraints: 84454 2542.99/2561.15 c #Conflicts: 575000 | #Constraints: 85454 2542.99/2561.15 c #Conflicts: 576000 | #Constraints: 86454 2542.99/2561.15 c #Conflicts: 577000 | #Constraints: 87454 2542.99/2561.15 c #Conflicts: 578000 | #Constraints: 88454 2542.99/2561.15 c #Conflicts: 579000 | #Constraints: 89455 2542.99/2561.15 c #Conflicts: 580000 | #Constraints: 90455 2542.99/2561.15 c #Conflicts: 581000 | #Constraints: 91455 2542.99/2561.15 c #Conflicts: 582000 | #Constraints: 92455 2542.99/2561.15 c #Conflicts: 583000 | #Constraints: 93455 2542.99/2561.15 c #Conflicts: 584000 | #Constraints: 94456 2542.99/2561.15 c #Conflicts: 585000 | #Constraints: 95456 2542.99/2561.15 c #Conflicts: 586000 | #Constraints: 96456 2542.99/2561.15 c #Conflicts: 587000 | #Constraints: 97456 2542.99/2561.15 c INPROCESSING 2542.99/2561.15 c GARBAGE COLLECT 2542.99/2561.15 c rational objective 151 2674.60/2693.23 c #Conflicts: 588000 | #Constraints: 59488 2674.60/2693.23 c #Conflicts: 589000 | #Constraints: 60488 2674.60/2693.23 c #Conflicts: 590000 | #Constraints: 61488 2674.60/2693.23 c #Conflicts: 591000 | #Constraints: 62488 2674.60/2693.23 c #Conflicts: 592000 | #Constraints: 63488 2674.60/2693.23 c #Conflicts: 593000 | #Constraints: 64488 2674.60/2693.23 c #Conflicts: 594000 | #Constraints: 65488 2674.60/2693.23 c #Conflicts: 595000 | #Constraints: 66488 2674.60/2693.23 c #Conflicts: 596000 | #Constraints: 67488 2674.60/2693.23 c #Conflicts: 597000 | #Constraints: 68488 2674.60/2693.23 c #Conflicts: 598000 | #Constraints: 69488 2674.60/2693.23 c #Conflicts: 599000 | #Constraints: 70488 2674.60/2693.23 c #Conflicts: 600000 | #Constraints: 71489 2674.60/2693.23 c #Conflicts: 601000 | #Constraints: 72489 2674.60/2693.23 c #Conflicts: 602000 | #Constraints: 73489 2674.60/2693.23 c #Conflicts: 603000 | #Constraints: 74489 2674.60/2693.23 c #Conflicts: 604000 | #Constraints: 75489 2674.60/2693.23 c #Conflicts: 605000 | #Constraints: 76489 2674.60/2693.23 c #Conflicts: 606000 | #Constraints: 77489 2674.60/2693.23 c #Conflicts: 607000 | #Constraints: 78489 2674.60/2693.23 c #Conflicts: 608000 | #Constraints: 79489 2674.60/2693.23 c INPROCESSING 2674.60/2693.23 c GARBAGE COLLECT 2674.60/2693.23 c rational objective 151 2873.03/2892.46 c #Conflicts: 609000 | #Constraints: 51181 2873.03/2892.46 c #Conflicts: 610000 | #Constraints: 52181 2873.03/2892.46 c #Conflicts: 611000 | #Constraints: 53181 2873.03/2892.46 c #Conflicts: 612000 | #Constraints: 54181 2873.03/2892.46 c #Conflicts: 613000 | #Constraints: 55181 2873.03/2892.46 c #Conflicts: 614000 | #Constraints: 56181 2873.03/2892.46 c #Conflicts: 615000 | #Constraints: 57181 2873.03/2892.46 c #Conflicts: 616000 | #Constraints: 58181 2873.03/2892.46 c #Conflicts: 617000 | #Constraints: 59181 2873.03/2892.46 c #Conflicts: 618000 | #Constraints: 60181 2873.03/2892.46 c #Conflicts: 619000 | #Constraints: 61181 2873.03/2892.46 c #Conflicts: 620000 | #Constraints: 62182 2873.03/2892.46 c #Conflicts: 621000 | #Constraints: 63182 2873.03/2892.46 c #Conflicts: 622000 | #Constraints: 64183 2873.03/2892.46 c #Conflicts: 623000 | #Constraints: 65183 2873.03/2892.46 c #Conflicts: 624000 | #Constraints: 66183 2873.03/2892.46 c #Conflicts: 625000 | #Constraints: 67183 2873.03/2892.46 c #Conflicts: 626000 | #Constraints: 68183 2873.03/2892.46 c #Conflicts: 627000 | #Constraints: 69183 2873.03/2892.46 c #Conflicts: 628000 | #Constraints: 70183 2873.03/2892.46 c #Conflicts: 629000 | #Constraints: 71183 2873.03/2892.46 c #Conflicts: 630000 | #Constraints: 72183 2873.03/2892.46 c #Conflicts: 631000 | #Constraints: 73183 2873.03/2892.46 c #Conflicts: 632000 | #Constraints: 74183 2873.03/2892.46 c #Conflicts: 633000 | #Constraints: 75183 2873.03/2892.46 c #Conflicts: 634000 | #Constraints: 76184 2873.03/2892.46 c #Conflicts: 635000 | #Constraints: 77184 2873.03/2892.46 c #Conflicts: 636000 | #Constraints: 78184 2873.03/2892.46 c #Conflicts: 637000 | #Constraints: 79184 2873.03/2892.46 c #Conflicts: 638000 | #Constraints: 80184 2873.03/2892.46 c #Conflicts: 639000 | #Constraints: 81184 2873.03/2892.46 c #Conflicts: 640000 | #Constraints: 82184 2873.03/2892.46 c #Conflicts: 641000 | #Constraints: 83184 2873.03/2892.46 c #Conflicts: 642000 | #Constraints: 84184 2873.03/2892.46 c #Conflicts: 643000 | #Constraints: 85184 2873.03/2892.46 c #Conflicts: 644000 | #Constraints: 86184 2873.03/2892.46 c #Conflicts: 645000 | #Constraints: 87184 2873.03/2892.46 c #Conflicts: 646000 | #Constraints: 88184 2873.03/2892.46 c #Conflicts: 647000 | #Constraints: 89184 2873.03/2892.46 c #Conflicts: 648000 | #Constraints: 90184 2873.03/2892.46 c #Conflicts: 649000 | #Constraints: 91184 2873.03/2892.46 c #Conflicts: 650000 | #Constraints: 92184 2873.03/2892.46 c #Conflicts: 651000 | #Constraints: 93184 2873.03/2892.46 c #Conflicts: 652000 | #Constraints: 94184 2873.03/2892.46 c #Conflicts: 653000 | #Constraints: 95184 2873.03/2892.46 c #Conflicts: 654000 | #Constraints: 96184 2873.03/2892.46 c #Conflicts: 655000 | #Constraints: 97184 2873.03/2892.46 c #Conflicts: 656000 | #Constraints: 98184 2873.03/2892.46 c #Conflicts: 657000 | #Constraints: 99185 2873.03/2892.46 c #Conflicts: 658000 | #Constraints: 100185 2873.03/2892.46 c #Conflicts: 659000 | #Constraints: 101185 2873.03/2892.46 c #Conflicts: 660000 | #Constraints: 102185 2873.03/2892.46 c #Conflicts: 661000 | #Constraints: 103185 2873.03/2892.46 c INPROCESSING 2873.03/2892.46 c GARBAGE COLLECT 2873.03/2892.46 c rational objective 151 3051.94/3071.93 c #Conflicts: 662000 | #Constraints: 62143 3051.94/3071.93 c #Conflicts: 663000 | #Constraints: 63143 3051.94/3071.93 c #Conflicts: 664000 | #Constraints: 64143 3051.94/3071.93 c #Conflicts: 665000 | #Constraints: 65143 3051.94/3071.93 c #Conflicts: 666000 | #Constraints: 66143 3051.94/3071.93 c #Conflicts: 667000 | #Constraints: 67143 3051.94/3071.93 c #Conflicts: 668000 | #Constraints: 68143 3051.94/3071.93 c #Conflicts: 669000 | #Constraints: 69143 3051.94/3071.93 c #Conflicts: 670000 | #Constraints: 70144 3051.94/3071.93 c #Conflicts: 671000 | #Constraints: 71144 3051.94/3071.93 c #Conflicts: 672000 | #Constraints: 72144 3051.94/3071.93 c #Conflicts: 673000 | #Constraints: 73144 3051.94/3071.93 c #Conflicts: 674000 | #Constraints: 74144 3051.94/3071.93 c #Conflicts: 675000 | #Constraints: 75144 3051.94/3071.93 c #Conflicts: 676000 | #Constraints: 76144 3051.94/3071.93 c #Conflicts: 677000 | #Constraints: 77144 3051.94/3071.93 c #Conflicts: 678000 | #Constraints: 78144 3051.94/3071.93 c #Conflicts: 679000 | #Constraints: 79144 3051.94/3071.93 c #Conflicts: 680000 | #Constraints: 80144 3051.94/3071.93 c #Conflicts: 681000 | #Constraints: 81144 3051.94/3071.93 c #Conflicts: 682000 | #Constraints: 82144 3051.94/3071.93 c #Conflicts: 683000 | #Constraints: 83144 3051.94/3071.93 c #Conflicts: 684000 | #Constraints: 84144 3051.94/3071.93 c INPROCESSING 3051.94/3071.93 c GARBAGE COLLECT 3051.94/3071.93 c rational objective 151 3271.60/3292.11 c #Conflicts: 685000 | #Constraints: 54282 3271.60/3292.11 c #Conflicts: 686000 | #Constraints: 55283 3271.60/3292.11 c #Conflicts: 687000 | #Constraints: 56283 3271.60/3292.11 c #Conflicts: 688000 | #Constraints: 57284 3271.60/3292.11 c #Conflicts: 689000 | #Constraints: 58284 3271.60/3292.11 c #Conflicts: 690000 | #Constraints: 59284 3271.60/3292.11 c #Conflicts: 691000 | #Constraints: 60284 3271.60/3292.11 c #Conflicts: 692000 | #Constraints: 61284 3271.60/3292.11 c #Conflicts: 693000 | #Constraints: 62284 3271.60/3292.11 c #Conflicts: 694000 | #Constraints: 63284 3271.60/3292.11 c #Conflicts: 695000 | #Constraints: 64284 3271.60/3292.11 c #Conflicts: 696000 | #Constraints: 65284 3271.60/3292.11 c #Conflicts: 697000 | #Constraints: 66284 3271.60/3292.11 c #Conflicts: 698000 | #Constraints: 67284 3271.60/3292.11 c #Conflicts: 699000 | #Constraints: 68284 3271.60/3292.11 c #Conflicts: 700000 | #Constraints: 69284 3271.60/3292.11 c #Conflicts: 701000 | #Constraints: 70284 3271.60/3292.11 c #Conflicts: 702000 | #Constraints: 71284 3271.60/3292.11 c #Conflicts: 703000 | #Constraints: 72284 3271.60/3292.11 c #Conflicts: 704000 | #Constraints: 73284 3271.60/3292.11 c #Conflicts: 705000 | #Constraints: 74284 3271.60/3292.11 c #Conflicts: 706000 | #Constraints: 75285 3271.60/3292.11 c #Conflicts: 707000 | #Constraints: 76285 3271.60/3292.11 c #Conflicts: 708000 | #Constraints: 77285 3271.60/3292.11 c #Conflicts: 709000 | #Constraints: 78285 3271.60/3292.11 c #Conflicts: 710000 | #Constraints: 79285 3271.60/3292.11 c #Conflicts: 711000 | #Constraints: 80285 3271.60/3292.11 c #Conflicts: 712000 | #Constraints: 81285 3271.60/3292.11 c #Conflicts: 713000 | #Constraints: 82285 3271.60/3292.11 c #Conflicts: 714000 | #Constraints: 83286 3271.60/3292.11 c #Conflicts: 715000 | #Constraints: 84286 3271.60/3292.11 c #Conflicts: 716000 | #Constraints: 85286 3271.60/3292.11 c #Conflicts: 717000 | #Constraints: 86286 3271.60/3292.11 c #Conflicts: 718000 | #Constraints: 87286 3271.60/3292.11 c #Conflicts: 719000 | #Constraints: 88286 3271.60/3292.11 c #Conflicts: 720000 | #Constraints: 89286 3271.60/3292.11 c #Conflicts: 721000 | #Constraints: 90286 3271.60/3292.11 c #Conflicts: 722000 | #Constraints: 91286 3271.60/3292.11 c #Conflicts: 723000 | #Constraints: 92286 3271.60/3292.11 c #Conflicts: 724000 | #Constraints: 93286 3271.60/3292.11 c #Conflicts: 725000 | #Constraints: 94286 3271.60/3292.11 c #Conflicts: 726000 | #Constraints: 95286 3271.60/3292.11 c #Conflicts: 727000 | #Constraints: 96286 3271.60/3292.11 c #Conflicts: 728000 | #Constraints: 97286 3271.60/3292.11 c #Conflicts: 729000 | #Constraints: 98286 3271.60/3292.11 c #Conflicts: 730000 | #Constraints: 99286 3271.60/3292.11 c #Conflicts: 731000 | #Constraints: 100286 3271.60/3292.11 c #Conflicts: 732000 | #Constraints: 101287 3271.60/3292.11 c #Conflicts: 733000 | #Constraints: 102287 3271.60/3292.11 c #Conflicts: 734000 | #Constraints: 103287 3271.60/3292.11 c #Conflicts: 735000 | #Constraints: 104287 3271.60/3292.11 c #Conflicts: 736000 | #Constraints: 105287 3271.60/3292.11 c #Conflicts: 737000 | #Constraints: 106287 3271.60/3292.11 c #Conflicts: 738000 | #Constraints: 107287 3271.60/3292.11 c #Conflicts: 739000 | #Constraints: 108287 3271.60/3292.11 c #Conflicts: 740000 | #Constraints: 109287 3271.60/3292.11 c INPROCESSING 3271.60/3292.11 c GARBAGE COLLECT 3271.60/3292.11 c #Conflicts: 741000 | #Constraints: 65440 3271.60/3292.11 c #Conflicts: 742000 | #Constraints: 66440 3271.60/3292.11 c #Conflicts: 743000 | #Constraints: 67440 3271.60/3292.11 c #Conflicts: 744000 | #Constraints: 68440 3271.60/3292.11 c #Conflicts: 745000 | #Constraints: 69440 3271.60/3292.11 c #Conflicts: 746000 | #Constraints: 70440 3271.60/3292.11 c #Conflicts: 747000 | #Constraints: 71440 3271.60/3292.11 c #Conflicts: 748000 | #Constraints: 72441 3271.60/3292.11 c #Conflicts: 749000 | #Constraints: 73441 3271.60/3292.11 c #Conflicts: 750000 | #Constraints: 74442 3271.60/3292.11 c #Conflicts: 751000 | #Constraints: 75442 3271.60/3292.11 c #Conflicts: 752000 | #Constraints: 76442 3271.60/3292.11 c #Conflicts: 753000 | #Constraints: 77443 3271.60/3292.11 c #Conflicts: 754000 | #Constraints: 78443 3271.60/3292.11 c #Conflicts: 755000 | #Constraints: 79443 3271.60/3292.11 c #Conflicts: 756000 | #Constraints: 80443 3271.60/3292.11 c #Conflicts: 757000 | #Constraints: 81443 3271.60/3292.11 c #Conflicts: 758000 | #Constraints: 82444 3271.60/3292.11 c #Conflicts: 759000 | #Constraints: 83444 3271.60/3292.11 c #Conflicts: 760000 | #Constraints: 84444 3271.60/3292.11 c #Conflicts: 761000 | #Constraints: 85444 3271.60/3292.11 c #Conflicts: 762000 | #Constraints: 86444 3271.60/3292.11 c #Conflicts: 763000 | #Constraints: 87444 3391.12/3411.92 c INPROCESSING 3391.12/3411.92 c GARBAGE COLLECT 3391.12/3411.92 c rational objective 151 3591.97/3613.26 c #Conflicts: 764000 | #Constraints: 55558 3591.97/3613.26 c #Conflicts: 765000 | #Constraints: 56558 3591.97/3613.26 c #Conflicts: 766000 | #Constraints: 57558 3591.97/3613.26 c #Conflicts: 767000 | #Constraints: 58558 3591.97/3613.26 c #Conflicts: 768000 | #Constraints: 59558 3591.97/3613.26 c #Conflicts: 769000 | #Constraints: 60558 3591.97/3613.26 c #Conflicts: 770000 | #Constraints: 61558 3591.97/3613.26 c #Conflicts: 771000 | #Constraints: 62558 3591.97/3613.26 c #Conflicts: 772000 | #Constraints: 63558 3591.97/3613.26 c #Conflicts: 773000 | #Constraints: 64559 3591.97/3613.26 c #Conflicts: 774000 | #Constraints: 65559 3591.97/3613.26 c #Conflicts: 775000 | #Constraints: 66559 3591.97/3613.26 c #Conflicts: 776000 | #Constraints: 67559 3591.97/3613.26 c #Conflicts: 777000 | #Constraints: 68559 3591.97/3613.26 c #Conflicts: 778000 | #Constraints: 69559 3591.97/3613.26 c #Conflicts: 779000 | #Constraints: 70560 3591.97/3613.26 c #Conflicts: 780000 | #Constraints: 71560 3591.97/3613.26 c #Conflicts: 781000 | #Constraints: 72560 3591.97/3613.26 c #Conflicts: 782000 | #Constraints: 73560 3591.97/3613.26 c #Conflicts: 783000 | #Constraints: 74560 3591.97/3613.26 c #Conflicts: 784000 | #Constraints: 75560 3591.97/3613.26 c #Conflicts: 785000 | #Constraints: 76560 3591.97/3613.26 c #Conflicts: 786000 | #Constraints: 77560 3591.97/3613.26 c #Conflicts: 787000 | #Constraints: 78560 3591.97/3613.26 c #Conflicts: 788000 | #Constraints: 79560 3591.97/3613.26 c #Conflicts: 789000 | #Constraints: 80560 3591.97/3613.26 c #Conflicts: 790000 | #Constraints: 81560 3591.97/3613.26 c #Conflicts: 791000 | #Constraints: 82560 3591.97/3613.26 c #Conflicts: 792000 | #Constraints: 83560 3591.97/3613.26 c #Conflicts: 793000 | #Constraints: 84561 3591.97/3613.26 c #Conflicts: 794000 | #Constraints: 85561 3591.97/3613.26 c #Conflicts: 795000 | #Constraints: 86561 3591.97/3613.26 c #Conflicts: 796000 | #Constraints: 87561 3591.97/3613.26 c #Conflicts: 797000 | #Constraints: 88561 3591.97/3613.26 c #Conflicts: 798000 | #Constraints: 89561 3591.97/3613.26 c #Conflicts: 799000 | #Constraints: 90561 3591.97/3613.26 c #Conflicts: 800000 | #Constraints: 91561 3591.97/3613.26 c #Conflicts: 801000 | #Constraints: 92561 3591.97/3613.26 c #Conflicts: 802000 | #Constraints: 93561 3591.97/3613.26 c #Conflicts: 803000 | #Constraints: 94561 3591.97/3613.26 c #Conflicts: 804000 | #Constraints: 95561 3591.97/3613.26 c #Conflicts: 805000 | #Constraints: 96561 3591.97/3613.26 c #Conflicts: 806000 | #Constraints: 97561 3591.97/3613.26 c #Conflicts: 807000 | #Constraints: 98562 3591.97/3613.26 c #Conflicts: 808000 | #Constraints: 99562 3591.97/3613.26 c #Conflicts: 809000 | #Constraints: 100562 3591.97/3613.26 c #Conflicts: 810000 | #Constraints: 101562 3591.97/3613.26 c #Conflicts: 811000 | #Constraints: 102562 3591.97/3613.26 c #Conflicts: 812000 | #Constraints: 103562 3591.97/3613.26 c #Conflicts: 813000 | #Constraints: 104562 3591.97/3613.26 c #Conflicts: 814000 | #Constraints: 105562 3591.97/3613.26 c #Conflicts: 815000 | #Constraints: 106562 3591.97/3613.26 c #Conflicts: 816000 | #Constraints: 107562 3591.97/3613.26 c #Conflicts: 817000 | #Constraints: 108562 3591.97/3613.26 c #Conflicts: 818000 | #Constraints: 109562 3591.97/3613.26 c #Conflicts: 819000 | #Constraints: 110562 3591.97/3613.26 c #Conflicts: 820000 | #Constraints: 111562 3591.97/3613.26 c #Conflicts: 821000 | #Constraints: 112562 3591.97/3613.26 c #Conflicts: 822000 | #Constraints: 113562 3591.97/3613.26 c INPROCESSING 3591.97/3613.26 c GARBAGE COLLECT 3591.97/3613.26 c #Conflicts: 823000 | #Constraints: 67400 3591.97/3613.26 c #Conflicts: 824000 | #Constraints: 68400 3591.97/3613.26 c #Conflicts: 825000 | #Constraints: 69400 3591.97/3613.26 c #Conflicts: 826000 | #Constraints: 70400 3591.97/3613.26 c #Conflicts: 827000 | #Constraints: 71400 3591.97/3613.26 c #Conflicts: 828000 | #Constraints: 72400 3591.97/3613.26 c #Conflicts: 829000 | #Constraints: 73400 3591.97/3613.26 c #Conflicts: 830000 | #Constraints: 74400 3591.97/3613.26 c #Conflicts: 831000 | #Constraints: 75400 3591.97/3613.26 c #Conflicts: 832000 | #Constraints: 76400 3591.97/3613.26 c #Conflicts: 833000 | #Constraints: 77400 3591.97/3613.26 c #Conflicts: 834000 | #Constraints: 78400 3591.97/3613.26 c #Conflicts: 835000 | #Constraints: 79401 3591.97/3613.26 c #Conflicts: 836000 | #Constraints: 80401 3591.97/3613.26 c #Conflicts: 837000 | #Constraints: 81401 3591.97/3613.26 c #Conflicts: 838000 | #Constraints: 82401 3591.97/3613.26 c #Conflicts: 839000 | #Constraints: 83401 3591.97/3613.26 c #Conflicts: 840000 | #Constraints: 84401 3591.97/3613.26 c #Conflicts: 841000 | #Constraints: 85401 3591.97/3613.26 c #Conflicts: 842000 | #Constraints: 86401 3600.03/3621.30 c #Conflicts: 843000 | #Constraints: 87401 3600.03/3621.30 c #Conflicts: 844000 | #Constraints: 88401 3600.03/3621.30 c #Conflicts: 845000 | #Constraints: 89401 3600.03/3621.30 c #Conflicts: 846000 | #Constraints: 90401 3600.03/3621.30 c Program interrupted by user. 3600.03/3621.38 c cpu time 3561.04 s 3600.03/3621.38 c deterministic time 235004596621 2.35e+11 3600.03/3621.38 c optimization time 42.4716 s 3600.03/3621.38 c total solve time 3518.49 s 3600.03/3621.38 c core-guided solve time 0 s 3600.03/3621.38 c propagation time 1704.68 s 3600.03/3621.38 c conflict analysis time 616.12 s 3600.03/3621.38 c propagations 643610363 3600.03/3621.38 c resolve steps 39700598 3600.03/3621.38 c decisions 14403279 3600.03/3621.38 c conflicts 846704 3600.03/3621.38 c restarts 1792 3600.03/3621.38 c inprocessing phases 39 3600.03/3621.38 c input clauses 18122 3600.03/3621.38 c input cardinalities 151 3600.03/3621.38 c input general constraints 0 3600.03/3621.38 c input average constraint length 6.43 3600.03/3621.38 c input average constraint degree 1.97 3600.03/3621.38 c learned clauses 539309 3600.03/3621.38 c learned cardinalities 35105 3600.03/3621.38 c learned general constraints 272362 3600.03/3621.38 c learned average constraint length 1144.99 3600.03/3621.38 c learned average constraint degree 751006720.38 3600.03/3621.38 c watched constraints 204958 3600.03/3621.38 c counting constraints 67404 3600.03/3621.38 c gcd simplifications 4148 3600.03/3621.38 c detected cardinalities 4551 3600.03/3621.38 c weakened non-implied lits 210101199 3600.03/3621.38 c weakened non-implying lits 283493 3600.03/3621.38 c original variables 17969 3600.03/3621.38 c clausal propagations 282461269 3600.03/3621.38 c cardinality propagations 220136931 3600.03/3621.38 c watched propagations 44877975 3600.03/3621.38 c counting propagations 88355069 3600.03/3621.38 c watch lookups 11599896635 3600.03/3621.38 c watch backjump lookups 9511624903 3600.03/3621.38 c watch checks 168632221893 3600.03/3621.38 c propagation checks 40490823465 3600.03/3621.38 c constraint additions 3451482964 3600.03/3621.38 c trail pops 658844110 3600.03/3621.38 c formula constraints 18273 3600.03/3621.38 c learned constraints 846632 3600.03/3621.38 c bound constraints 0 3600.03/3621.38 c core-guided constraints 0 3600.03/3621.38 c encountered formula constraints 27562098 3600.03/3621.38 c encountered learned constraints 12983312 3600.03/3621.38 c encountered bound constraints 0 3600.03/3621.38 c encountered core-guided constraints 0 3600.03/3621.38 c LP total time 1906.41 s 3600.03/3621.38 c LP solve time 1903.05 s 3600.03/3621.38 c LP constraints added 21510 3600.03/3621.38 c LP constraints removed 3024 3600.03/3621.38 c LP pivots internal 848134 3600.03/3621.38 c LP pivots root 840874 3600.03/3621.38 c LP calls 104 3600.03/3621.38 c LP optimalities 25 3600.03/3621.38 c LP no pivot count 2 3600.03/3621.38 c LP infeasibilities 72 3600.03/3621.38 c LP valid Farkas constraints 72 3600.03/3621.38 c LP learned Farkas constraints 72 3600.03/3621.38 c LP basis resets 0 3600.03/3621.38 c LP cycling count 0 3600.03/3621.38 c LP singular count 0 3600.03/3621.38 c LP no primal count 0 3600.03/3621.38 c LP no farkas count 0 3600.03/3621.38 c LP other issue count 0 3600.03/3621.38 c LP Gomory cuts 0 3600.03/3621.38 c LP learned cuts 3237 3600.03/3621.38 c LP deleted cuts 3024 3600.03/3621.38 c LP encountered Gomory constraints 0 3600.03/3621.38 c LP encountered Farkas constraints 1675 3600.03/3621.38 c LP encountered learned Farkas constraints 145 3600.03/3621.38 c CG auxiliary variables introduced 0 3600.03/3621.38 c CG solutions found 0 3600.03/3621.38 c CG cores constructed 0 3600.03/3621.38 c CG core cardinality constraints returned 0 3600.03/3621.38 c CG unit cores 0 3600.03/3621.38 c CG single cores 0 3600.03/3621.38 c CG blocks removed during cardinality reduction 0 3600.03/3621.38 c CG first core best 0 3600.03/3621.38 c CG decision core best 0 3600.03/3621.38 c CG core reduction tie 0 3600.03/3621.38 c CG core degree average 0.00 3600.03/3621.38 c CG core slack average 0.00 3600.03/3621.38 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: 64059 MiB (41787 MiB free)
memory of node 1: 64510 MiB (57967 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463066-1722345066/watcher-4463066-1722345066 -o /tmp/evaluation-result-4463066-1722345066/solver-4463066-1722345066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6450 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463066-1722345066 --lp-cut-gomory=0 HOME/instance-4463066-1722345066.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9300, runsolver pid=9297
[startup+0.100103 s]*
/proc/loadavg: 4.89 4.46 4.29 5/253 9301
/proc/meminfo: memFree=102136336/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=48064 memory=17152 CPUtime=0.08 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 4190 0 0 0 7 1 0 0 20 0 1 0 877335 49217536 4288 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 12016 4288 1662 992 0 3874 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 48064 KiB
Current children cumulated memory: 17152 KiB
[startup+0.213998 s]*
/proc/loadavg: 4.89 4.46 4.29 5/253 9301
/proc/meminfo: memFree=102107620/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=69448 memory=34924 CPUtime=0.19 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 9175 0 0 0 17 2 0 0 20 0 1 0 877335 71114752 8731 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 17362 8731 1710 992 0 9220 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69448 KiB
Current children cumulated memory: 34924 KiB
[startup+0.313972 s]*
/proc/loadavg: 4.89 4.46 4.29 5/253 9301
/proc/meminfo: memFree=102100224/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=70064 memory=35980 CPUtime=0.3 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 9430 0 0 0 27 3 0 0 20 0 1 0 877335 71745536 8995 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 17516 8995 1710 992 0 9374 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70064 KiB
Current children cumulated memory: 35980 KiB
[startup+0.700329 s]
/proc/loadavg: 4.89 4.46 4.29 5/253 9301
/proc/meminfo: memFree=102089272/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=72188 memory=38612 CPUtime=0.66 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 10099 0 0 0 63 3 0 0 20 0 1 0 877335 73920512 9653 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 18047 9653 1710 992 0 9905 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 72188 KiB
Current children cumulated memory: 38612 KiB
[startup+1.50031 s]
/proc/loadavg: 4.89 4.46 4.29 5/253 9301
/proc/meminfo: memFree=102064084/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=72552 memory=41564 CPUtime=1.47 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 10255 0 0 0 141 6 0 0 20 0 1 0 877335 74293248 10391 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 18138 10391 1740 992 0 9996 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 72552 KiB
Current children cumulated memory: 41564 KiB
[startup+3.1138 s]
/proc/loadavg: 4.89 4.46 4.29 5/253 9301
/proc/meminfo: memFree=101959108/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=74268 memory=44196 CPUtime=3.07 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 10893 0 0 0 294 13 0 0 20 0 1 0 877335 76050432 11049 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 18567 11049 1811 992 0 10425 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 74268 KiB
Current children cumulated memory: 44196 KiB
[startup+6.30031 s]
/proc/loadavg: 4.81 4.45 4.28 5/253 9302
/proc/meminfo: memFree=101800916/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=76780 memory=46568 CPUtime=6.25 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 11505 0 0 0 610 15 0 0 20 0 1 0 877335 78622720 11642 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 19195 11642 1811 992 0 11053 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 76780 KiB
Current children cumulated memory: 46568 KiB
[startup+12.7003 s]
/proc/loadavg: 4.75 4.45 4.28 5/253 9302
/proc/meminfo: memFree=101561280/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=80660 memory=49380 CPUtime=12.63 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 12205 0 0 0 1230 33 0 0 20 0 1 0 877335 82595840 12345 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 20165 12345 1811 992 0 12023 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 80660 KiB
Current children cumulated memory: 49380 KiB
[startup+25.5004 s]
/proc/loadavg: 4.66 4.44 4.28 5/253 9304
/proc/meminfo: memFree=100691536/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=112112 memory=71764 CPUtime=25.39 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 15678 0 0 0 2493 46 0 0 20 0 1 0 877335 114802688 17941 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 28028 17941 1843 992 0 19886 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 112112 KiB
Current children cumulated memory: 71764 KiB
[startup+51.1139 s]
/proc/loadavg: 4.49 4.42 4.28 5/256 9311
/proc/meminfo: memFree=99462808/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=120488 memory=80120 CPUtime=50.9 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 17262 0 0 0 4991 99 0 0 20 0 1 0 877335 123379712 20030 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 30122 20030 1843 992 0 21980 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 120488 KiB
Current children cumulated memory: 80120 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.37 4.27 5/262 9341
/proc/meminfo: memFree=98902968/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=155428 memory=118328 CPUtime=101.88 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 21708 0 0 0 9984 204 0 0 20 0 1 0 877335 159158272 29582 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 38857 29582 1843 992 0 30715 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 155428 KiB
Current children cumulated memory: 118328 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.33 4.26 5/262 9351
/proc/meminfo: memFree=96358996/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=173940 memory=138276 CPUtime=161.66 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 26220 0 0 0 15891 275 0 0 20 0 1 0 877335 178114560 34569 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 43485 34569 1843 992 0 35343 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 173940 KiB
Current children cumulated memory: 138276 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.28 4.25 5/262 9361
/proc/meminfo: memFree=93917676/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=205480 memory=151316 CPUtime=221.41 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 27066 0 0 0 21801 340 0 0 20 0 1 0 877335 210411520 37829 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 51370 37829 1843 992 0 43228 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 205480 KiB
Current children cumulated memory: 151316 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.26 4.24 5/268 9380
/proc/meminfo: memFree=91656220/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=257332 memory=188200 CPUtime=281.2 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 28103 0 0 0 27676 444 0 0 20 0 1 0 877335 263507968 47050 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 64333 47050 1843 992 0 56191 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 257332 KiB
Current children cumulated memory: 188200 KiB
[startup+342.3 s]
/proc/loadavg: 4.50 4.33 4.27 5/267 9393
/proc/meminfo: memFree=89169528/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=261472 memory=200060 CPUtime=340.96 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 29003 0 0 0 33614 482 0 0 20 0 1 0 877335 267747328 50015 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 65368 50015 1843 992 0 57226 0
Current children cumulated CPU time: 340.96 s
Current children cumulated vsize: 261472 KiB
Current children cumulated memory: 200060 KiB
[startup+402.317 s]
/proc/loadavg: 4.23 4.29 4.26 7/267 9403
/proc/meminfo: memFree=86602424/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=262912 memory=201644 CPUtime=400.76 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 29409 0 0 0 39571 505 0 0 20 0 1 0 877335 269221888 50411 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 65728 50411 1843 992 0 57586 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 262912 KiB
Current children cumulated memory: 201644 KiB
[startup+462.3 s]
/proc/loadavg: 4.24 4.28 4.26 5/267 9413
/proc/meminfo: memFree=84393296/131655788 swapFree=131071996/131071996
[pid=9300] ppid=9297 vsize=271296 memory=210516 CPUtime=460.55 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 31644 0 0 0 45453 602 0 0 20 0 1 0 877335 277807104 52629 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 67824 52629 1843 992 0 59682 0
################
# More data... #
################
Current children cumulated memory: 1411448 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/261 11065
/proc/meminfo: memFree=599368/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1983548 memory=1411504 CPUtime=2843.05 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 126857 0 0 0 281110 3195 0 0 20 0 1 0 877335 2031153152 352876 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 495887 352876 1827 992 0 487745 0
Current children cumulated CPU time: 2843.05 s
Current children cumulated vsize: 1983548 KiB
Current children cumulated memory: 1411504 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.12 4.14 5/260 11076
/proc/meminfo: memFree=629316/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1984080 memory=1411504 CPUtime=2902.82 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 128247 0 0 0 287031 3251 0 0 20 0 1 0 877335 2031697920 352876 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 496020 352876 1827 992 0 487878 0
Current children cumulated CPU time: 2902.82 s
Current children cumulated vsize: 1984080 KiB
Current children cumulated memory: 1411504 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/263 11139
/proc/meminfo: memFree=15902152/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1984332 memory=1415040 CPUtime=2962.59 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 128745 0 0 0 292942 3317 0 0 20 0 1 0 877335 2031955968 353760 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 496083 353760 1827 992 0 487941 0
Current children cumulated CPU time: 2962.59 s
Current children cumulated vsize: 1984332 KiB
Current children cumulated memory: 1415040 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.16 4.15 5/269 11212
/proc/meminfo: memFree=116233744/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1984332 memory=1417772 CPUtime=3022.41 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 128931 0 0 0 298899 3342 0 0 20 0 1 0 877335 2031955968 354443 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 496083 354443 1827 992 0 487941 0
Current children cumulated CPU time: 3022.41 s
Current children cumulated vsize: 1984332 KiB
Current children cumulated memory: 1417772 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/269 11223
/proc/meminfo: memFree=115976492/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1984464 memory=1426488 CPUtime=3082.26 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 129541 0 0 0 304813 3413 0 0 20 0 1 0 877335 2032091136 356622 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 496116 356622 1827 992 0 487974 0
Current children cumulated CPU time: 3082.26 s
Current children cumulated vsize: 1984464 KiB
Current children cumulated memory: 1426488 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/267 11233
/proc/meminfo: memFree=115594160/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1984464 memory=1426488 CPUtime=3142.11 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 130036 0 0 0 310744 3467 0 0 20 0 1 0 877335 2032091136 356622 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 496116 356622 1827 992 0 487974 0
Current children cumulated CPU time: 3142.11 s
Current children cumulated vsize: 1984464 KiB
Current children cumulated memory: 1426488 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.17 4.15 5/267 11243
/proc/meminfo: memFree=115332700/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1984464 memory=1426488 CPUtime=3201.96 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 131536 0 0 0 316683 3513 0 0 20 0 1 0 877335 2032091136 356622 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 496116 356622 1827 992 0 487974 0
Current children cumulated CPU time: 3201.96 s
Current children cumulated vsize: 1984464 KiB
Current children cumulated memory: 1426488 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.15 5/264 11253
/proc/meminfo: memFree=115098912/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1984464 memory=1426488 CPUtime=3261.82 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 131861 0 0 0 322601 3581 0 0 20 0 1 0 877335 2032091136 356622 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 496116 356622 1827 992 0 487974 0
Current children cumulated CPU time: 3261.82 s
Current children cumulated vsize: 1984464 KiB
Current children cumulated memory: 1426488 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/242 11265
/proc/meminfo: memFree=114839596/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1984684 memory=1426664 CPUtime=3321.67 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 132224 0 0 0 328548 3619 0 0 20 0 1 0 877335 2032316416 356666 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 496171 356666 1827 992 0 488029 0
Current children cumulated CPU time: 3321.67 s
Current children cumulated vsize: 1984684 KiB
Current children cumulated memory: 1426664 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/237 11302
/proc/meminfo: memFree=114481424/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1984816 memory=1426812 CPUtime=3381.54 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 132331 0 0 0 334513 3641 0 0 20 0 1 0 877335 2032451584 356703 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 496204 356703 1827 992 0 488062 0
Current children cumulated CPU time: 3381.54 s
Current children cumulated vsize: 1984816 KiB
Current children cumulated memory: 1426812 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/242 11332
/proc/meminfo: memFree=114704092/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1984816 memory=1426900 CPUtime=3441.4 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 132975 0 0 0 340419 3721 0 0 20 0 1 0 877335 2032451584 356725 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 496204 356725 1827 992 0 488062 0
Current children cumulated CPU time: 3441.4 s
Current children cumulated vsize: 1984816 KiB
Current children cumulated memory: 1426900 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.18 4.15 5/242 11344
/proc/meminfo: memFree=114429876/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1984816 memory=1426900 CPUtime=3501.27 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 133320 0 0 0 346337 3790 0 0 20 0 1 0 877335 2032451584 356725 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 496204 356725 1827 992 0 488062 0
Current children cumulated CPU time: 3501.27 s
Current children cumulated vsize: 1984816 KiB
Current children cumulated memory: 1426900 KiB
[startup+3582.3 s]
/proc/loadavg: 4.72 4.33 4.21 5/244 11358
/proc/meminfo: memFree=114231544/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1985048 memory=1426928 CPUtime=3561.12 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 133812 0 0 0 352258 3854 0 0 20 0 1 0 877335 2032689152 356732 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 496262 356732 1827 992 0 488120 0
Current children cumulated CPU time: 3561.12 s
Current children cumulated vsize: 1985048 KiB
Current children cumulated memory: 1426928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3621.3 s]
/proc/loadavg: 4.64 4.35 4.22 5/244 11365
/proc/meminfo: memFree=114008504/131655788 swapFree=131071472/131071996
[pid=9300] ppid=9297 vsize=1985048 memory=1426928 CPUtime=3600.03 cores=1,3
/proc/9300/stat : 9300 (roundingsat) R 9297 9300 6438 0 -1 4194304 134074 0 0 0 356104 3899 0 0 20 0 1 0 877335 2032689152 356732 134679101440 4194304 8255733 140724217216528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 17272832 140724217221986 140724217222248 140724217222248 140724217229257 0
/proc/9300/statm: 496262 356732 1827 992 0 488120 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1985048 KiB
Current children cumulated memory: 1426928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3621.39 s]
# the end of solver process 9300 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3561.06 s, system=39.0209 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3621.39
CPU time (s): 3600.08
CPU user time (s): 3561.06
CPU system time (s): 39.0209
CPU usage (%): 99.4115
Max. virtual memory (cumulated for all children) (KiB): 1985048
Max. memory (cumulated for all children) (KiB): 1426928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.06
system time used= 39.0209
maximum resident set size= 1426928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134089
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15274200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1816
involuntary context switches= 19411
# summary of solver processes directly reported to runsolver:
# pid: 9300
# total CPU time (s): 3600.08
# total CPU user time (s): 3561.06
# total CPU system time (s): 39.0209
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5405 second user time and 30.2275 second system time
The end
Begin job on nodeC008 at 2024-07-30 15:11:06 IDJOB=4463066 IDBENCH=158279 IDSOLVER=3089 FILE ID=nodeC008/4463066-1722345066 RUNJOBID= nodeC008-1722340763-6450 SLURM_JOB_ID= 8248988 Free space on /tmp= 723756 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K151.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-4463066-1722345066/watcher-4463066-1722345066 -o /tmp/evaluation-result-4463066-1722345066/solver-4463066-1722345066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6450 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463066-1722345066 --lp-cut-gomory=0 HOME/instance-4463066-1722345066.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= abcade21393c5164863b40206a5f4f64 RANDOM SEED=1131521960 nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3683.956 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3499.998 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.561 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.378 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3645.902 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3676.381 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.545 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.444 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 102151908 kB MemAvailable: 128558228 kB Buffers: 46860 kB Cached: 27169456 kB SwapCached: 0 kB Active: 169536 kB Inactive: 28844184 kB Active(anon): 1464 kB Inactive(anon): 1817052 kB Active(file): 168072 kB Inactive(file): 27027132 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 422160 kB Writeback: 240 kB AnonPages: 1796932 kB Mapped: 94864 kB Shmem: 21312 kB KReclaimable: 102296 kB Slab: 189896 kB SReclaimable: 102296 kB SUnreclaim: 87600 kB KernelStack: 4080 kB PageTables: 12560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2305568 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6240 kB HardwareCorrupted: 0 kB AnonHugePages: 1054720 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: 146248 kB DirectMap2M: 10244096 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 723748 MiB End job on nodeC008 at 2024-07-30 16:11:28