| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.04 | 3609.06 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K143.opb |
| MD5SUM | 5b71eb3fc2b19671b5e391982561b6cd |
| 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 | 17017 |
| Total number of constraints | 17305 |
| Number of constraints which are clauses | 17162 |
| Number of constraints which are cardinality constraints (but not clauses) | 143 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 143 |
| 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 | 144 |
| 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.10 c #variables 17017 #constraints 17305 215.85/216.54 c #Conflicts: 1000 | #Constraints: 18304 215.85/216.54 c #Conflicts: 2000 | #Constraints: 19304 215.85/216.54 c INPROCESSING 215.85/216.54 c GARBAGE COLLECT 215.85/216.54 c #Conflicts: 3000 | #Constraints: 18637 215.85/216.54 c #Conflicts: 4000 | #Constraints: 19637 215.85/216.54 c INPROCESSING 215.85/216.54 c GARBAGE COLLECT 215.85/216.54 c #Conflicts: 5000 | #Constraints: 19118 215.85/216.54 c #Conflicts: 6000 | #Constraints: 20118 215.85/216.54 c INPROCESSING 215.85/216.54 c GARBAGE COLLECT 215.85/216.54 c #Conflicts: 7000 | #Constraints: 19203 215.85/216.54 c #Conflicts: 8000 | #Constraints: 20203 215.85/216.54 c #Conflicts: 9000 | #Constraints: 21203 215.85/216.54 c INPROCESSING 215.85/216.54 c GARBAGE COLLECT 215.85/216.54 c #Conflicts: 10000 | #Constraints: 19985 215.85/216.54 c #Conflicts: 11000 | #Constraints: 20985 215.85/216.54 c #Conflicts: 12000 | #Constraints: 21985 215.85/216.54 c #Conflicts: 13000 | #Constraints: 22985 215.85/216.54 c #Conflicts: 14000 | #Constraints: 23985 215.85/216.54 c #Conflicts: 15000 | #Constraints: 24985 215.85/216.54 c #Conflicts: 16000 | #Constraints: 25985 215.85/216.54 c INPROCESSING 215.85/216.54 c GARBAGE COLLECT 215.85/216.54 c #Conflicts: 17000 | #Constraints: 22302 215.85/216.54 c #Conflicts: 18000 | #Constraints: 23302 215.85/216.54 c #Conflicts: 19000 | #Constraints: 24302 215.85/216.54 c #Conflicts: 20000 | #Constraints: 25302 215.85/216.54 c INPROCESSING 215.85/216.54 c GARBAGE COLLECT 215.85/216.54 c #Conflicts: 21000 | #Constraints: 22061 215.85/216.54 c #Conflicts: 22000 | #Constraints: 23061 215.85/216.54 c #Conflicts: 23000 | #Constraints: 24061 215.85/216.54 c #Conflicts: 24000 | #Constraints: 25061 215.85/216.54 c INPROCESSING 215.85/216.54 c GARBAGE COLLECT 215.85/216.54 c #Conflicts: 25000 | #Constraints: 21882 215.85/216.54 c #Conflicts: 26000 | #Constraints: 22882 215.85/216.54 c #Conflicts: 27000 | #Constraints: 23882 215.85/216.54 c #Conflicts: 28000 | #Constraints: 24882 215.85/216.54 c #Conflicts: 29000 | #Constraints: 25882 215.85/216.54 c #Conflicts: 30000 | #Constraints: 26882 215.85/216.54 c #Conflicts: 31000 | #Constraints: 27882 215.85/216.54 c #Conflicts: 32000 | #Constraints: 28882 215.85/216.54 c #Conflicts: 33000 | #Constraints: 29882 215.85/216.54 c #Conflicts: 34000 | #Constraints: 30882 215.85/216.54 c #Conflicts: 35000 | #Constraints: 31882 215.85/216.54 c #Conflicts: 36000 | #Constraints: 32883 215.85/216.54 c INPROCESSING 215.85/216.54 c GARBAGE COLLECT 215.85/216.54 c #Conflicts: 37000 | #Constraints: 26070 215.85/216.54 c #Conflicts: 38000 | #Constraints: 27070 215.85/216.54 c #Conflicts: 39000 | #Constraints: 28070 215.85/216.54 c #Conflicts: 40000 | #Constraints: 29070 215.85/216.54 c #Conflicts: 41000 | #Constraints: 30070 215.85/216.54 c INPROCESSING 215.85/216.54 c GARBAGE COLLECT 215.85/216.54 c #Conflicts: 42000 | #Constraints: 24506 215.85/216.54 c #Conflicts: 43000 | #Constraints: 25506 215.85/216.54 c #Conflicts: 44000 | #Constraints: 26506 215.85/216.54 c #Conflicts: 45000 | #Constraints: 27506 215.85/216.54 c #Conflicts: 46000 | #Constraints: 28506 215.85/216.54 c #Conflicts: 47000 | #Constraints: 29506 215.85/216.54 c INPROCESSING 215.85/216.54 c GARBAGE COLLECT 215.85/216.54 c #Conflicts: 48000 | #Constraints: 24552 215.85/216.54 c #Conflicts: 49000 | #Constraints: 25552 215.85/216.54 c #Conflicts: 50000 | #Constraints: 26552 215.85/216.54 c #Conflicts: 51000 | #Constraints: 27552 215.85/216.54 c #Conflicts: 52000 | #Constraints: 28552 215.85/216.54 c #Conflicts: 53000 | #Constraints: 29552 215.85/216.54 c #Conflicts: 54000 | #Constraints: 30553 215.85/216.54 c #Conflicts: 55000 | #Constraints: 31553 215.85/216.54 c #Conflicts: 56000 | #Constraints: 32553 215.85/216.54 c #Conflicts: 57000 | #Constraints: 33553 215.85/216.54 c #Conflicts: 58000 | #Constraints: 34553 215.85/216.54 c #Conflicts: 59000 | #Constraints: 35553 215.85/216.54 c #Conflicts: 60000 | #Constraints: 36553 215.85/216.54 c #Conflicts: 61000 | #Constraints: 37553 215.85/216.54 c #Conflicts: 62000 | #Constraints: 38553 215.85/216.54 c INPROCESSING 215.85/216.54 c GARBAGE COLLECT 215.85/216.54 c rational objective 143 500.16/501.57 c #Conflicts: 63000 | #Constraints: 28720 500.16/501.57 c #Conflicts: 64000 | #Constraints: 29720 500.16/501.57 c #Conflicts: 65000 | #Constraints: 30720 500.16/501.57 c #Conflicts: 66000 | #Constraints: 31720 500.16/501.57 c #Conflicts: 67000 | #Constraints: 32721 500.16/501.57 c #Conflicts: 68000 | #Constraints: 33721 500.16/501.57 c #Conflicts: 69000 | #Constraints: 34721 500.16/501.57 c INPROCESSING 500.16/501.57 c GARBAGE COLLECT 500.16/501.57 c #Conflicts: 70000 | #Constraints: 26926 500.16/501.57 c #Conflicts: 71000 | #Constraints: 27926 500.16/501.57 c #Conflicts: 72000 | #Constraints: 28926 500.16/501.57 c #Conflicts: 73000 | #Constraints: 29926 500.16/501.57 c #Conflicts: 74000 | #Constraints: 30926 500.16/501.57 c #Conflicts: 75000 | #Constraints: 31926 500.16/501.57 c #Conflicts: 76000 | #Constraints: 32926 500.16/501.57 c INPROCESSING 500.16/501.57 c GARBAGE COLLECT 500.16/501.57 c #Conflicts: 77000 | #Constraints: 26537 500.16/501.57 c #Conflicts: 78000 | #Constraints: 27537 500.16/501.57 c #Conflicts: 79000 | #Constraints: 28537 500.16/501.57 c #Conflicts: 80000 | #Constraints: 29537 500.16/501.57 c #Conflicts: 81000 | #Constraints: 30537 500.16/501.57 c #Conflicts: 82000 | #Constraints: 31538 500.16/501.57 c #Conflicts: 83000 | #Constraints: 32538 500.16/501.57 c #Conflicts: 84000 | #Constraints: 33538 500.16/501.57 c #Conflicts: 85000 | #Constraints: 34538 500.16/501.57 c #Conflicts: 86000 | #Constraints: 35538 500.16/501.57 c #Conflicts: 87000 | #Constraints: 36538 500.16/501.57 c #Conflicts: 88000 | #Constraints: 37538 500.16/501.57 c #Conflicts: 89000 | #Constraints: 38538 500.16/501.57 c #Conflicts: 90000 | #Constraints: 39538 500.16/501.57 c #Conflicts: 91000 | #Constraints: 40538 500.16/501.57 c #Conflicts: 92000 | #Constraints: 41538 500.16/501.57 c #Conflicts: 93000 | #Constraints: 42538 500.16/501.57 c #Conflicts: 94000 | #Constraints: 43538 500.16/501.57 c #Conflicts: 95000 | #Constraints: 44538 500.16/501.57 c #Conflicts: 96000 | #Constraints: 45538 500.16/501.57 c INPROCESSING 500.16/501.57 c GARBAGE COLLECT 500.16/501.57 c #Conflicts: 97000 | #Constraints: 32337 500.16/501.57 c #Conflicts: 98000 | #Constraints: 33337 500.16/501.57 c #Conflicts: 99000 | #Constraints: 34338 500.16/501.57 c #Conflicts: 100000 | #Constraints: 35338 500.16/501.57 c #Conflicts: 101000 | #Constraints: 36338 500.16/501.57 c #Conflicts: 102000 | #Constraints: 37338 500.16/501.57 c #Conflicts: 103000 | #Constraints: 38338 500.16/501.57 c #Conflicts: 104000 | #Constraints: 39338 500.16/501.57 c #Conflicts: 105000 | #Constraints: 40338 500.16/501.57 c INPROCESSING 500.16/501.57 c GARBAGE COLLECT 500.16/501.57 c #Conflicts: 106000 | #Constraints: 30156 500.16/501.57 c #Conflicts: 107000 | #Constraints: 31156 500.16/501.57 c #Conflicts: 108000 | #Constraints: 32156 500.16/501.57 c #Conflicts: 109000 | #Constraints: 33156 500.16/501.57 c #Conflicts: 110000 | #Constraints: 34156 500.16/501.57 c #Conflicts: 111000 | #Constraints: 35156 500.16/501.57 c #Conflicts: 112000 | #Constraints: 36156 500.16/501.57 c #Conflicts: 113000 | #Constraints: 37156 500.16/501.57 c INPROCESSING 500.16/501.57 c GARBAGE COLLECT 500.16/501.57 c #Conflicts: 114000 | #Constraints: 28962 500.16/501.57 c #Conflicts: 115000 | #Constraints: 29963 500.16/501.57 c #Conflicts: 116000 | #Constraints: 30963 500.16/501.57 c #Conflicts: 117000 | #Constraints: 31963 500.16/501.57 c #Conflicts: 118000 | #Constraints: 32964 500.16/501.57 c #Conflicts: 119000 | #Constraints: 33964 500.16/501.57 c #Conflicts: 120000 | #Constraints: 34964 500.16/501.57 c #Conflicts: 121000 | #Constraints: 35964 500.16/501.57 c #Conflicts: 122000 | #Constraints: 36964 500.16/501.57 c #Conflicts: 123000 | #Constraints: 37964 500.16/501.57 c #Conflicts: 124000 | #Constraints: 38964 500.16/501.57 c #Conflicts: 125000 | #Constraints: 39964 500.16/501.57 c #Conflicts: 126000 | #Constraints: 40964 500.16/501.57 c #Conflicts: 127000 | #Constraints: 41964 500.16/501.57 c #Conflicts: 128000 | #Constraints: 42964 500.16/501.57 c #Conflicts: 129000 | #Constraints: 43964 500.16/501.57 c #Conflicts: 130000 | #Constraints: 44964 500.16/501.57 c #Conflicts: 131000 | #Constraints: 45964 500.16/501.57 c #Conflicts: 132000 | #Constraints: 46964 500.16/501.57 c #Conflicts: 133000 | #Constraints: 47965 500.16/501.57 c #Conflicts: 134000 | #Constraints: 48965 500.16/501.57 c #Conflicts: 135000 | #Constraints: 49965 500.16/501.57 c #Conflicts: 136000 | #Constraints: 50965 500.16/501.57 c #Conflicts: 137000 | #Constraints: 51965 500.16/501.57 c INPROCESSING 500.16/501.57 c GARBAGE COLLECT 542.27/543.75 c #Conflicts: 138000 | #Constraints: 35631 542.27/543.75 c #Conflicts: 139000 | #Constraints: 36631 542.27/543.75 c #Conflicts: 140000 | #Constraints: 37631 542.27/543.75 c #Conflicts: 141000 | #Constraints: 38631 542.27/543.75 c #Conflicts: 142000 | #Constraints: 39631 542.27/543.75 c #Conflicts: 143000 | #Constraints: 40631 542.27/543.75 c #Conflicts: 144000 | #Constraints: 41631 542.27/543.75 c #Conflicts: 145000 | #Constraints: 42631 542.27/543.75 c #Conflicts: 146000 | #Constraints: 43632 542.27/543.75 c #Conflicts: 147000 | #Constraints: 44632 542.27/543.75 c INPROCESSING 542.27/543.75 c GARBAGE COLLECT 542.27/543.75 c rational objective 143 568.51/570.08 c #Conflicts: 148000 | #Constraints: 32064 568.51/570.08 c #Conflicts: 149000 | #Constraints: 33064 568.51/570.08 c #Conflicts: 150000 | #Constraints: 34064 568.51/570.08 c #Conflicts: 151000 | #Constraints: 35064 568.51/570.08 c #Conflicts: 152000 | #Constraints: 36064 568.51/570.08 c #Conflicts: 153000 | #Constraints: 37064 568.51/570.08 c #Conflicts: 154000 | #Constraints: 38064 568.51/570.08 c #Conflicts: 155000 | #Constraints: 39064 568.51/570.08 c #Conflicts: 156000 | #Constraints: 40064 568.51/570.08 c #Conflicts: 157000 | #Constraints: 41064 568.51/570.08 c INPROCESSING 568.51/570.08 c GARBAGE COLLECT 568.51/570.08 c rational objective 143 753.34/755.33 c #Conflicts: 158000 | #Constraints: 31802 753.34/755.33 c #Conflicts: 159000 | #Constraints: 32802 753.34/755.33 c #Conflicts: 160000 | #Constraints: 33802 753.34/755.33 c #Conflicts: 161000 | #Constraints: 34802 753.34/755.33 c #Conflicts: 162000 | #Constraints: 35802 753.34/755.33 c #Conflicts: 163000 | #Constraints: 36802 753.34/755.33 c #Conflicts: 164000 | #Constraints: 37802 753.34/755.33 c #Conflicts: 165000 | #Constraints: 38802 753.34/755.33 c #Conflicts: 166000 | #Constraints: 39802 753.34/755.33 c #Conflicts: 167000 | #Constraints: 40802 753.34/755.33 c #Conflicts: 168000 | #Constraints: 41802 753.34/755.33 c #Conflicts: 169000 | #Constraints: 42802 753.34/755.33 c #Conflicts: 170000 | #Constraints: 43802 753.34/755.33 c #Conflicts: 171000 | #Constraints: 44802 753.34/755.33 c #Conflicts: 172000 | #Constraints: 45802 753.34/755.33 c #Conflicts: 173000 | #Constraints: 46802 753.34/755.33 c #Conflicts: 174000 | #Constraints: 47802 753.34/755.33 c #Conflicts: 175000 | #Constraints: 48802 753.34/755.33 c #Conflicts: 176000 | #Constraints: 49802 753.34/755.33 c #Conflicts: 177000 | #Constraints: 50802 753.34/755.33 c #Conflicts: 178000 | #Constraints: 51802 753.34/755.33 c #Conflicts: 179000 | #Constraints: 52802 753.34/755.33 c #Conflicts: 180000 | #Constraints: 53802 753.34/755.33 c #Conflicts: 181000 | #Constraints: 54802 753.34/755.33 c #Conflicts: 182000 | #Constraints: 55802 753.34/755.33 c #Conflicts: 183000 | #Constraints: 56802 753.34/755.33 c #Conflicts: 184000 | #Constraints: 57802 753.34/755.33 c #Conflicts: 185000 | #Constraints: 58802 753.34/755.33 c #Conflicts: 186000 | #Constraints: 59802 753.34/755.33 c INPROCESSING 753.34/755.33 c GARBAGE COLLECT 753.34/755.33 c rational objective 143 981.69/984.26 c #Conflicts: 187000 | #Constraints: 40014 981.69/984.26 c #Conflicts: 188000 | #Constraints: 41014 981.69/984.26 c #Conflicts: 189000 | #Constraints: 42014 981.69/984.26 c #Conflicts: 190000 | #Constraints: 43014 981.69/984.26 c #Conflicts: 191000 | #Constraints: 44014 981.69/984.26 c #Conflicts: 192000 | #Constraints: 45014 981.69/984.26 c #Conflicts: 193000 | #Constraints: 46014 981.69/984.26 c #Conflicts: 194000 | #Constraints: 47014 981.69/984.26 c #Conflicts: 195000 | #Constraints: 48014 981.69/984.26 c #Conflicts: 196000 | #Constraints: 49014 981.69/984.26 c #Conflicts: 197000 | #Constraints: 50014 981.69/984.26 c INPROCESSING 981.69/984.26 c GARBAGE COLLECT 981.69/984.26 c #Conflicts: 198000 | #Constraints: 34889 981.69/984.26 c #Conflicts: 199000 | #Constraints: 35890 981.69/984.26 c #Conflicts: 200000 | #Constraints: 36890 981.69/984.26 c #Conflicts: 201000 | #Constraints: 37890 981.69/984.26 c #Conflicts: 202000 | #Constraints: 38890 981.69/984.26 c #Conflicts: 203000 | #Constraints: 39890 981.69/984.26 c #Conflicts: 204000 | #Constraints: 40890 981.69/984.26 c #Conflicts: 205000 | #Constraints: 41890 981.69/984.26 c #Conflicts: 206000 | #Constraints: 42890 981.69/984.26 c #Conflicts: 207000 | #Constraints: 43891 981.69/984.26 c #Conflicts: 208000 | #Constraints: 44891 981.69/984.26 c #Conflicts: 209000 | #Constraints: 45891 981.69/984.26 c #Conflicts: 210000 | #Constraints: 46891 981.69/984.26 c #Conflicts: 211000 | #Constraints: 47892 981.69/984.26 c #Conflicts: 212000 | #Constraints: 48892 981.69/984.26 c #Conflicts: 213000 | #Constraints: 49892 981.69/984.26 c #Conflicts: 214000 | #Constraints: 50892 981.69/984.26 c #Conflicts: 215000 | #Constraints: 51892 981.69/984.26 c #Conflicts: 216000 | #Constraints: 52892 981.69/984.26 c #Conflicts: 217000 | #Constraints: 53892 981.69/984.26 c #Conflicts: 218000 | #Constraints: 54893 981.69/984.26 c #Conflicts: 219000 | #Constraints: 55893 981.69/984.26 c #Conflicts: 220000 | #Constraints: 56895 981.69/984.26 c #Conflicts: 221000 | #Constraints: 57895 981.69/984.26 c #Conflicts: 222000 | #Constraints: 58896 981.69/984.26 c #Conflicts: 223000 | #Constraints: 59896 981.69/984.26 c #Conflicts: 224000 | #Constraints: 60896 981.69/984.26 c #Conflicts: 225000 | #Constraints: 61896 981.69/984.26 c #Conflicts: 226000 | #Constraints: 62896 981.69/984.26 c #Conflicts: 227000 | #Constraints: 63896 981.69/984.26 c #Conflicts: 228000 | #Constraints: 64896 981.69/984.26 c INPROCESSING 981.69/984.26 c GARBAGE COLLECT 981.69/984.26 c rational objective 143 1256.35/1259.52 c #Conflicts: 229000 | #Constraints: 42201 1256.35/1259.52 c #Conflicts: 230000 | #Constraints: 43202 1256.35/1259.52 c #Conflicts: 231000 | #Constraints: 44202 1256.35/1259.52 c #Conflicts: 232000 | #Constraints: 45202 1256.35/1259.52 c #Conflicts: 233000 | #Constraints: 46202 1256.35/1259.52 c #Conflicts: 234000 | #Constraints: 47202 1256.35/1259.52 c #Conflicts: 235000 | #Constraints: 48202 1256.35/1259.52 c #Conflicts: 236000 | #Constraints: 49202 1256.35/1259.52 c #Conflicts: 237000 | #Constraints: 50202 1256.35/1259.52 c #Conflicts: 238000 | #Constraints: 51202 1256.35/1259.52 c #Conflicts: 239000 | #Constraints: 52202 1256.35/1259.52 c #Conflicts: 240000 | #Constraints: 53202 1256.35/1259.52 c #Conflicts: 241000 | #Constraints: 54202 1256.35/1259.52 c INPROCESSING 1256.35/1259.52 c GARBAGE COLLECT 1256.35/1259.52 c #Conflicts: 242000 | #Constraints: 37024 1256.35/1259.52 c #Conflicts: 243000 | #Constraints: 38024 1256.35/1259.52 c #Conflicts: 244000 | #Constraints: 39024 1256.35/1259.52 c #Conflicts: 245000 | #Constraints: 40024 1256.35/1259.52 c #Conflicts: 246000 | #Constraints: 41024 1256.35/1259.52 c #Conflicts: 247000 | #Constraints: 42024 1256.35/1259.52 c #Conflicts: 248000 | #Constraints: 43025 1256.35/1259.52 c #Conflicts: 249000 | #Constraints: 44025 1256.35/1259.52 c #Conflicts: 250000 | #Constraints: 45025 1256.35/1259.52 c #Conflicts: 251000 | #Constraints: 46025 1256.35/1259.52 c #Conflicts: 252000 | #Constraints: 47025 1256.35/1259.52 c #Conflicts: 253000 | #Constraints: 48025 1256.35/1259.52 c #Conflicts: 254000 | #Constraints: 49025 1256.35/1259.52 c INPROCESSING 1256.35/1259.52 c GARBAGE COLLECT 1256.35/1259.52 c #Conflicts: 255000 | #Constraints: 36534 1256.35/1259.52 c #Conflicts: 256000 | #Constraints: 37534 1256.35/1259.52 c #Conflicts: 257000 | #Constraints: 38534 1256.35/1259.52 c #Conflicts: 258000 | #Constraints: 39534 1256.35/1259.52 c #Conflicts: 259000 | #Constraints: 40534 1256.35/1259.52 c #Conflicts: 260000 | #Constraints: 41534 1256.35/1259.52 c #Conflicts: 261000 | #Constraints: 42534 1256.35/1259.52 c #Conflicts: 262000 | #Constraints: 43534 1256.35/1259.52 c #Conflicts: 263000 | #Constraints: 44534 1256.35/1259.52 c #Conflicts: 264000 | #Constraints: 45534 1256.35/1259.52 c #Conflicts: 265000 | #Constraints: 46534 1256.35/1259.52 c #Conflicts: 266000 | #Constraints: 47534 1256.35/1259.52 c #Conflicts: 267000 | #Constraints: 48534 1256.35/1259.52 c #Conflicts: 268000 | #Constraints: 49534 1256.35/1259.52 c #Conflicts: 269000 | #Constraints: 50534 1256.35/1259.52 c #Conflicts: 270000 | #Constraints: 51534 1256.35/1259.52 c #Conflicts: 271000 | #Constraints: 52534 1256.35/1259.52 c #Conflicts: 272000 | #Constraints: 53534 1256.35/1259.52 c #Conflicts: 273000 | #Constraints: 54534 1256.35/1259.52 c #Conflicts: 274000 | #Constraints: 55534 1256.35/1259.52 c #Conflicts: 275000 | #Constraints: 56534 1256.35/1259.52 c #Conflicts: 276000 | #Constraints: 57534 1256.35/1259.52 c #Conflicts: 277000 | #Constraints: 58534 1256.35/1259.52 c #Conflicts: 278000 | #Constraints: 59534 1256.35/1259.52 c #Conflicts: 279000 | #Constraints: 60534 1256.35/1259.52 c #Conflicts: 280000 | #Constraints: 61534 1256.35/1259.52 c #Conflicts: 281000 | #Constraints: 62534 1256.35/1259.52 c #Conflicts: 282000 | #Constraints: 63534 1256.35/1259.52 c #Conflicts: 283000 | #Constraints: 64535 1256.35/1259.52 c #Conflicts: 284000 | #Constraints: 65535 1256.35/1259.52 c #Conflicts: 285000 | #Constraints: 66535 1256.35/1259.52 c #Conflicts: 286000 | #Constraints: 67535 1256.35/1259.52 c #Conflicts: 287000 | #Constraints: 68535 1256.35/1259.52 c #Conflicts: 288000 | #Constraints: 69535 1256.35/1259.52 c #Conflicts: 289000 | #Constraints: 70535 1256.35/1259.52 c #Conflicts: 290000 | #Constraints: 71535 1256.35/1259.52 c INPROCESSING 1256.35/1259.52 c GARBAGE COLLECT 1256.35/1259.52 c rational objective 143 1462.45/1466.16 c #Conflicts: 291000 | #Constraints: 45864 1462.45/1466.16 c #Conflicts: 292000 | #Constraints: 46864 1462.45/1466.16 c #Conflicts: 293000 | #Constraints: 47864 1462.45/1466.16 c #Conflicts: 294000 | #Constraints: 48864 1462.45/1466.16 c #Conflicts: 295000 | #Constraints: 49864 1462.45/1466.16 c #Conflicts: 296000 | #Constraints: 50864 1462.45/1466.16 c #Conflicts: 297000 | #Constraints: 51864 1462.45/1466.16 c #Conflicts: 298000 | #Constraints: 52864 1462.45/1466.16 c #Conflicts: 299000 | #Constraints: 53864 1462.45/1466.16 c #Conflicts: 300000 | #Constraints: 54864 1462.45/1466.16 c #Conflicts: 301000 | #Constraints: 55864 1462.45/1466.16 c #Conflicts: 302000 | #Constraints: 56864 1462.45/1466.16 c #Conflicts: 303000 | #Constraints: 57864 1462.45/1466.16 c #Conflicts: 304000 | #Constraints: 58864 1462.45/1466.16 c INPROCESSING 1462.45/1466.16 c GARBAGE COLLECT 1462.45/1466.16 c #Conflicts: 305000 | #Constraints: 39696 1462.45/1466.16 c #Conflicts: 306000 | #Constraints: 40696 1462.45/1466.16 c #Conflicts: 307000 | #Constraints: 41696 1462.45/1466.16 c #Conflicts: 308000 | #Constraints: 42696 1462.45/1466.16 c #Conflicts: 309000 | #Constraints: 43696 1462.45/1466.16 c #Conflicts: 310000 | #Constraints: 44696 1462.45/1466.16 c #Conflicts: 311000 | #Constraints: 45696 1462.45/1466.16 c #Conflicts: 312000 | #Constraints: 46696 1462.45/1466.16 c #Conflicts: 313000 | #Constraints: 47696 1462.45/1466.16 c #Conflicts: 314000 | #Constraints: 48696 1462.45/1466.16 c #Conflicts: 315000 | #Constraints: 49696 1462.45/1466.16 c #Conflicts: 316000 | #Constraints: 50697 1462.45/1466.16 c #Conflicts: 317000 | #Constraints: 51698 1462.45/1466.16 c #Conflicts: 318000 | #Constraints: 52698 1462.45/1466.16 c #Conflicts: 319000 | #Constraints: 53699 1462.45/1466.16 c #Conflicts: 320000 | #Constraints: 54699 1462.45/1466.16 c #Conflicts: 321000 | #Constraints: 55699 1462.45/1466.16 c #Conflicts: 322000 | #Constraints: 56699 1462.45/1466.16 c #Conflicts: 323000 | #Constraints: 57699 1462.45/1466.16 c #Conflicts: 324000 | #Constraints: 58699 1462.45/1466.16 c #Conflicts: 325000 | #Constraints: 59699 1462.45/1466.16 c #Conflicts: 326000 | #Constraints: 60700 1462.45/1466.16 c #Conflicts: 327000 | #Constraints: 61700 1462.45/1466.16 c #Conflicts: 328000 | #Constraints: 62702 1462.45/1466.16 c #Conflicts: 329000 | #Constraints: 63702 1462.45/1466.16 c #Conflicts: 330000 | #Constraints: 64702 1462.45/1466.16 c #Conflicts: 331000 | #Constraints: 65702 1462.45/1466.16 c #Conflicts: 332000 | #Constraints: 66702 1462.45/1466.16 c #Conflicts: 333000 | #Constraints: 67702 1462.45/1466.16 c #Conflicts: 334000 | #Constraints: 68702 1462.45/1466.16 c #Conflicts: 335000 | #Constraints: 69702 1462.45/1466.16 c #Conflicts: 336000 | #Constraints: 70702 1462.45/1466.16 c #Conflicts: 337000 | #Constraints: 71702 1462.45/1466.16 c #Conflicts: 338000 | #Constraints: 72703 1462.45/1466.16 c #Conflicts: 339000 | #Constraints: 73703 1462.45/1466.16 c #Conflicts: 340000 | #Constraints: 74704 1462.45/1466.16 c #Conflicts: 341000 | #Constraints: 75704 1462.45/1466.16 c #Conflicts: 342000 | #Constraints: 76704 1462.45/1466.16 c INPROCESSING 1462.45/1466.16 c GARBAGE COLLECT 1462.45/1466.16 c rational objective 143 1887.85/1892.56 c #Conflicts: 343000 | #Constraints: 48277 1887.85/1892.56 c #Conflicts: 344000 | #Constraints: 49277 1887.85/1892.56 c #Conflicts: 345000 | #Constraints: 50277 1887.85/1892.56 c #Conflicts: 346000 | #Constraints: 51277 1887.85/1892.56 c #Conflicts: 347000 | #Constraints: 52277 1887.85/1892.56 c #Conflicts: 348000 | #Constraints: 53277 1887.85/1892.56 c #Conflicts: 349000 | #Constraints: 54277 1887.85/1892.56 c #Conflicts: 350000 | #Constraints: 55277 1887.85/1892.56 c #Conflicts: 351000 | #Constraints: 56277 1887.85/1892.56 c #Conflicts: 352000 | #Constraints: 57277 1887.85/1892.56 c #Conflicts: 353000 | #Constraints: 58277 1887.85/1892.56 c #Conflicts: 354000 | #Constraints: 59277 1887.85/1892.56 c #Conflicts: 355000 | #Constraints: 60277 1887.85/1892.56 c #Conflicts: 356000 | #Constraints: 61277 1887.85/1892.56 c #Conflicts: 357000 | #Constraints: 62277 1887.85/1892.56 c #Conflicts: 358000 | #Constraints: 63277 1887.85/1892.56 c INPROCESSING 1887.85/1892.56 c GARBAGE COLLECT 1887.85/1892.56 c #Conflicts: 359000 | #Constraints: 41891 1887.85/1892.56 c #Conflicts: 360000 | #Constraints: 42892 1887.85/1892.56 c #Conflicts: 361000 | #Constraints: 43892 1887.85/1892.56 c #Conflicts: 362000 | #Constraints: 44892 1887.85/1892.56 c #Conflicts: 363000 | #Constraints: 45892 1887.85/1892.56 c #Conflicts: 364000 | #Constraints: 46892 1887.85/1892.56 c #Conflicts: 365000 | #Constraints: 47892 1887.85/1892.56 c #Conflicts: 366000 | #Constraints: 48892 1887.85/1892.56 c #Conflicts: 367000 | #Constraints: 49892 1887.85/1892.56 c #Conflicts: 368000 | #Constraints: 50892 1887.85/1892.56 c #Conflicts: 369000 | #Constraints: 51892 1887.85/1892.56 c #Conflicts: 370000 | #Constraints: 52892 1887.85/1892.56 c #Conflicts: 371000 | #Constraints: 53892 1887.85/1892.56 c #Conflicts: 372000 | #Constraints: 54892 1887.85/1892.56 c #Conflicts: 373000 | #Constraints: 55892 1887.85/1892.56 c #Conflicts: 374000 | #Constraints: 56892 1887.85/1892.56 c #Conflicts: 375000 | #Constraints: 57892 1887.85/1892.56 c #Conflicts: 376000 | #Constraints: 58892 1887.85/1892.56 c #Conflicts: 377000 | #Constraints: 59892 1887.85/1892.56 c #Conflicts: 378000 | #Constraints: 60892 1887.85/1892.56 c #Conflicts: 379000 | #Constraints: 61892 1887.85/1892.56 c #Conflicts: 380000 | #Constraints: 62892 1887.85/1892.56 c #Conflicts: 381000 | #Constraints: 63892 1887.85/1892.56 c #Conflicts: 382000 | #Constraints: 64892 1887.85/1892.56 c #Conflicts: 383000 | #Constraints: 65892 1887.85/1892.56 c #Conflicts: 384000 | #Constraints: 66892 1887.85/1892.56 c #Conflicts: 385000 | #Constraints: 67892 1887.85/1892.56 c #Conflicts: 386000 | #Constraints: 68892 1887.85/1892.56 c #Conflicts: 387000 | #Constraints: 69892 1887.85/1892.56 c #Conflicts: 388000 | #Constraints: 70892 1887.85/1892.56 c #Conflicts: 389000 | #Constraints: 71892 1887.85/1892.56 c #Conflicts: 390000 | #Constraints: 72892 1887.85/1892.56 c #Conflicts: 391000 | #Constraints: 73892 1887.85/1892.56 c #Conflicts: 392000 | #Constraints: 74892 1887.85/1892.56 c #Conflicts: 393000 | #Constraints: 75892 1887.85/1892.56 c #Conflicts: 394000 | #Constraints: 76892 1887.85/1892.56 c #Conflicts: 395000 | #Constraints: 77892 1887.85/1892.56 c #Conflicts: 396000 | #Constraints: 78892 1887.85/1892.56 c #Conflicts: 397000 | #Constraints: 79892 1887.85/1892.56 c #Conflicts: 398000 | #Constraints: 80892 1887.85/1892.56 c #Conflicts: 399000 | #Constraints: 81892 1887.85/1892.56 c #Conflicts: 400000 | #Constraints: 82892 1887.85/1892.56 c INPROCESSING 1887.85/1892.56 c GARBAGE COLLECT 1887.85/1892.56 c #Conflicts: 401000 | #Constraints: 51760 1887.85/1892.56 c #Conflicts: 402000 | #Constraints: 52760 1887.85/1892.56 c #Conflicts: 403000 | #Constraints: 53761 1887.85/1892.56 c #Conflicts: 404000 | #Constraints: 54761 1887.85/1892.56 c #Conflicts: 405000 | #Constraints: 55761 1887.85/1892.56 c #Conflicts: 406000 | #Constraints: 56761 1887.85/1892.56 c #Conflicts: 407000 | #Constraints: 57761 1887.85/1892.56 c #Conflicts: 408000 | #Constraints: 58761 1887.85/1892.56 c #Conflicts: 409000 | #Constraints: 59761 1887.85/1892.56 c #Conflicts: 410000 | #Constraints: 60761 1887.85/1892.56 c #Conflicts: 411000 | #Constraints: 61761 1887.85/1892.56 c #Conflicts: 412000 | #Constraints: 62761 1887.85/1892.56 c #Conflicts: 413000 | #Constraints: 63761 1887.85/1892.56 c #Conflicts: 414000 | #Constraints: 64761 1887.85/1892.56 c #Conflicts: 415000 | #Constraints: 65761 1887.85/1892.56 c #Conflicts: 416000 | #Constraints: 66762 1887.85/1892.56 c #Conflicts: 417000 | #Constraints: 67762 1887.85/1892.56 c INPROCESSING 1887.85/1892.56 c GARBAGE COLLECT 1887.85/1892.56 c #Conflicts: 418000 | #Constraints: 43758 1887.85/1892.56 c #Conflicts: 419000 | #Constraints: 44758 2139.96/2145.23 c #Conflicts: 420000 | #Constraints: 45758 2139.96/2145.23 c #Conflicts: 421000 | #Constraints: 46758 2139.96/2145.23 c #Conflicts: 422000 | #Constraints: 47758 2139.96/2145.23 c #Conflicts: 423000 | #Constraints: 48758 2139.96/2145.23 c #Conflicts: 424000 | #Constraints: 49758 2139.96/2145.23 c #Conflicts: 425000 | #Constraints: 50759 2139.96/2145.23 c #Conflicts: 426000 | #Constraints: 51759 2139.96/2145.23 c #Conflicts: 427000 | #Constraints: 52759 2139.96/2145.23 c #Conflicts: 428000 | #Constraints: 53759 2139.96/2145.23 c #Conflicts: 429000 | #Constraints: 54759 2139.96/2145.23 c #Conflicts: 430000 | #Constraints: 55759 2139.96/2145.23 c #Conflicts: 431000 | #Constraints: 56759 2139.96/2145.23 c #Conflicts: 432000 | #Constraints: 57759 2139.96/2145.23 c #Conflicts: 433000 | #Constraints: 58759 2139.96/2145.23 c #Conflicts: 434000 | #Constraints: 59759 2139.96/2145.23 c #Conflicts: 435000 | #Constraints: 60759 2139.96/2145.23 c #Conflicts: 436000 | #Constraints: 61759 2139.96/2145.23 c #Conflicts: 437000 | #Constraints: 62759 2139.96/2145.23 c #Conflicts: 438000 | #Constraints: 63759 2139.96/2145.23 c #Conflicts: 439000 | #Constraints: 64759 2139.96/2145.23 c #Conflicts: 440000 | #Constraints: 65759 2139.96/2145.23 c #Conflicts: 441000 | #Constraints: 66759 2139.96/2145.23 c #Conflicts: 442000 | #Constraints: 67759 2139.96/2145.23 c #Conflicts: 443000 | #Constraints: 68759 2139.96/2145.23 c #Conflicts: 444000 | #Constraints: 69760 2139.96/2145.23 c #Conflicts: 445000 | #Constraints: 70760 2139.96/2145.23 c #Conflicts: 446000 | #Constraints: 71760 2139.96/2145.23 c #Conflicts: 447000 | #Constraints: 72760 2139.96/2145.23 c #Conflicts: 448000 | #Constraints: 73760 2139.96/2145.23 c #Conflicts: 449000 | #Constraints: 74760 2139.96/2145.23 c #Conflicts: 450000 | #Constraints: 75760 2139.96/2145.23 c #Conflicts: 451000 | #Constraints: 76760 2139.96/2145.23 c #Conflicts: 452000 | #Constraints: 77760 2139.96/2145.23 c #Conflicts: 453000 | #Constraints: 78760 2139.96/2145.23 c #Conflicts: 454000 | #Constraints: 79760 2139.96/2145.23 c #Conflicts: 455000 | #Constraints: 80760 2139.96/2145.23 c #Conflicts: 456000 | #Constraints: 81760 2139.96/2145.23 c #Conflicts: 457000 | #Constraints: 82761 2139.96/2145.23 c #Conflicts: 458000 | #Constraints: 83761 2139.96/2145.23 c #Conflicts: 459000 | #Constraints: 84761 2139.96/2145.23 c #Conflicts: 460000 | #Constraints: 85761 2139.96/2145.23 c #Conflicts: 461000 | #Constraints: 86761 2139.96/2145.23 c INPROCESSING 2139.96/2145.23 c GARBAGE COLLECT 2139.96/2145.23 c #Conflicts: 462000 | #Constraints: 53002 2139.96/2145.23 c #Conflicts: 463000 | #Constraints: 54002 2139.96/2145.23 c #Conflicts: 464000 | #Constraints: 55002 2139.96/2145.23 c #Conflicts: 465000 | #Constraints: 56002 2139.96/2145.23 c #Conflicts: 466000 | #Constraints: 57002 2139.96/2145.23 c #Conflicts: 467000 | #Constraints: 58002 2139.96/2145.23 c #Conflicts: 468000 | #Constraints: 59002 2139.96/2145.23 c #Conflicts: 469000 | #Constraints: 60002 2139.96/2145.23 c #Conflicts: 470000 | #Constraints: 61002 2139.96/2145.23 c #Conflicts: 471000 | #Constraints: 62003 2139.96/2145.23 c #Conflicts: 472000 | #Constraints: 63003 2139.96/2145.23 c #Conflicts: 473000 | #Constraints: 64003 2139.96/2145.23 c #Conflicts: 474000 | #Constraints: 65003 2139.96/2145.23 c #Conflicts: 475000 | #Constraints: 66003 2139.96/2145.23 c #Conflicts: 476000 | #Constraints: 67003 2139.96/2145.23 c #Conflicts: 477000 | #Constraints: 68003 2139.96/2145.23 c #Conflicts: 478000 | #Constraints: 69003 2139.96/2145.23 c #Conflicts: 479000 | #Constraints: 70003 2139.96/2145.23 c #Conflicts: 480000 | #Constraints: 71003 2139.96/2145.23 c INPROCESSING 2139.96/2145.23 c GARBAGE COLLECT 2139.96/2145.23 c #Conflicts: 481000 | #Constraints: 45481 2139.96/2145.23 c #Conflicts: 482000 | #Constraints: 46481 2139.96/2145.23 c #Conflicts: 483000 | #Constraints: 47481 2139.96/2145.23 c #Conflicts: 484000 | #Constraints: 48481 2139.96/2145.23 c #Conflicts: 485000 | #Constraints: 49481 2139.96/2145.23 c #Conflicts: 486000 | #Constraints: 50481 2139.96/2145.23 c #Conflicts: 487000 | #Constraints: 51482 2139.96/2145.23 c #Conflicts: 488000 | #Constraints: 52482 2139.96/2145.23 c #Conflicts: 489000 | #Constraints: 53482 2139.96/2145.23 c #Conflicts: 490000 | #Constraints: 54482 2139.96/2145.23 c #Conflicts: 491000 | #Constraints: 55482 2139.96/2145.23 c #Conflicts: 492000 | #Constraints: 56482 2139.96/2145.23 c #Conflicts: 493000 | #Constraints: 57482 2139.96/2145.23 c #Conflicts: 494000 | #Constraints: 58482 2139.96/2145.23 c #Conflicts: 495000 | #Constraints: 59482 2139.96/2145.23 c #Conflicts: 496000 | #Constraints: 60483 2139.96/2145.23 c #Conflicts: 497000 | #Constraints: 61483 2339.27/2345.01 c #Conflicts: 498000 | #Constraints: 62483 2339.27/2345.01 c #Conflicts: 499000 | #Constraints: 63483 2339.27/2345.01 c #Conflicts: 500000 | #Constraints: 64483 2339.27/2345.01 c #Conflicts: 501000 | #Constraints: 65483 2339.27/2345.01 c #Conflicts: 502000 | #Constraints: 66483 2339.27/2345.01 c #Conflicts: 503000 | #Constraints: 67483 2339.27/2345.01 c #Conflicts: 504000 | #Constraints: 68483 2339.27/2345.01 c #Conflicts: 505000 | #Constraints: 69483 2339.27/2345.01 c #Conflicts: 506000 | #Constraints: 70483 2339.27/2345.01 c #Conflicts: 507000 | #Constraints: 71483 2339.27/2345.01 c #Conflicts: 508000 | #Constraints: 72483 2339.27/2345.01 c #Conflicts: 509000 | #Constraints: 73483 2339.27/2345.01 c #Conflicts: 510000 | #Constraints: 74483 2339.27/2345.01 c #Conflicts: 511000 | #Constraints: 75483 2339.27/2345.01 c #Conflicts: 512000 | #Constraints: 76483 2339.27/2345.01 c #Conflicts: 513000 | #Constraints: 77483 2339.27/2345.01 c #Conflicts: 514000 | #Constraints: 78483 2339.27/2345.01 c #Conflicts: 515000 | #Constraints: 79483 2339.27/2345.01 c #Conflicts: 516000 | #Constraints: 80483 2339.27/2345.01 c #Conflicts: 517000 | #Constraints: 81483 2339.27/2345.01 c #Conflicts: 518000 | #Constraints: 82483 2339.27/2345.01 c #Conflicts: 519000 | #Constraints: 83484 2339.27/2345.01 c #Conflicts: 520000 | #Constraints: 84484 2339.27/2345.01 c #Conflicts: 521000 | #Constraints: 85484 2339.27/2345.01 c #Conflicts: 522000 | #Constraints: 86484 2339.27/2345.01 c #Conflicts: 523000 | #Constraints: 87484 2339.27/2345.01 c #Conflicts: 524000 | #Constraints: 88484 2339.27/2345.01 c #Conflicts: 525000 | #Constraints: 89484 2339.27/2345.01 c #Conflicts: 526000 | #Constraints: 90484 2339.27/2345.01 c #Conflicts: 527000 | #Constraints: 91484 2339.27/2345.01 c #Conflicts: 528000 | #Constraints: 92484 2339.27/2345.01 c INPROCESSING 2339.27/2345.01 c GARBAGE COLLECT 2339.27/2345.01 c rational objective 143 2428.52/2434.55 c #Conflicts: 529000 | #Constraints: 56285 2428.52/2434.55 c #Conflicts: 530000 | #Constraints: 57285 2428.52/2434.55 c #Conflicts: 531000 | #Constraints: 58285 2428.52/2434.55 c #Conflicts: 532000 | #Constraints: 59285 2428.52/2434.55 c #Conflicts: 533000 | #Constraints: 60285 2428.52/2434.55 c #Conflicts: 534000 | #Constraints: 61285 2428.52/2434.55 c #Conflicts: 535000 | #Constraints: 62285 2428.52/2434.55 c #Conflicts: 536000 | #Constraints: 63285 2428.52/2434.55 c #Conflicts: 537000 | #Constraints: 64285 2428.52/2434.55 c #Conflicts: 538000 | #Constraints: 65285 2428.52/2434.55 c #Conflicts: 539000 | #Constraints: 66285 2428.52/2434.55 c #Conflicts: 540000 | #Constraints: 67285 2428.52/2434.55 c #Conflicts: 541000 | #Constraints: 68285 2428.52/2434.55 c #Conflicts: 542000 | #Constraints: 69285 2428.52/2434.55 c #Conflicts: 543000 | #Constraints: 70285 2428.52/2434.55 c #Conflicts: 544000 | #Constraints: 71285 2428.52/2434.55 c #Conflicts: 545000 | #Constraints: 72285 2428.52/2434.55 c #Conflicts: 546000 | #Constraints: 73285 2428.52/2434.55 c #Conflicts: 547000 | #Constraints: 74286 2428.52/2434.55 c INPROCESSING 2428.52/2434.55 c GARBAGE COLLECT 2428.52/2434.55 c rational objective 143 2596.46/2602.91 c #Conflicts: 548000 | #Constraints: 47101 2596.46/2602.91 c #Conflicts: 549000 | #Constraints: 48101 2596.46/2602.91 c #Conflicts: 550000 | #Constraints: 49101 2596.46/2602.91 c #Conflicts: 551000 | #Constraints: 50101 2596.46/2602.91 c #Conflicts: 552000 | #Constraints: 51101 2596.46/2602.91 c #Conflicts: 553000 | #Constraints: 52101 2596.46/2602.91 c #Conflicts: 554000 | #Constraints: 53101 2596.46/2602.91 c #Conflicts: 555000 | #Constraints: 54101 2596.46/2602.91 c #Conflicts: 556000 | #Constraints: 55101 2596.46/2602.91 c #Conflicts: 557000 | #Constraints: 56101 2596.46/2602.91 c #Conflicts: 558000 | #Constraints: 57101 2596.46/2602.91 c #Conflicts: 559000 | #Constraints: 58101 2596.46/2602.91 c #Conflicts: 560000 | #Constraints: 59101 2596.46/2602.91 c #Conflicts: 561000 | #Constraints: 60102 2596.46/2602.91 c #Conflicts: 562000 | #Constraints: 61102 2596.46/2602.91 c #Conflicts: 563000 | #Constraints: 62102 2596.46/2602.91 c #Conflicts: 564000 | #Constraints: 63102 2596.46/2602.91 c #Conflicts: 565000 | #Constraints: 64102 2596.46/2602.91 c #Conflicts: 566000 | #Constraints: 65102 2596.46/2602.91 c #Conflicts: 567000 | #Constraints: 66102 2596.46/2602.91 c #Conflicts: 568000 | #Constraints: 67102 2596.46/2602.91 c #Conflicts: 569000 | #Constraints: 68102 2596.46/2602.91 c #Conflicts: 570000 | #Constraints: 69103 2596.46/2602.91 c #Conflicts: 571000 | #Constraints: 70103 2596.46/2602.91 c #Conflicts: 572000 | #Constraints: 71104 2596.46/2602.91 c #Conflicts: 573000 | #Constraints: 72104 2596.46/2602.91 c #Conflicts: 574000 | #Constraints: 73104 2596.46/2602.91 c #Conflicts: 575000 | #Constraints: 74104 2596.46/2602.91 c #Conflicts: 576000 | #Constraints: 75104 2596.46/2602.91 c #Conflicts: 577000 | #Constraints: 76104 2596.46/2602.91 c #Conflicts: 578000 | #Constraints: 77105 2596.46/2602.91 c #Conflicts: 579000 | #Constraints: 78105 2596.46/2602.91 c #Conflicts: 580000 | #Constraints: 79105 2596.46/2602.91 c #Conflicts: 581000 | #Constraints: 80105 2596.46/2602.91 c #Conflicts: 582000 | #Constraints: 81105 2596.46/2602.91 c #Conflicts: 583000 | #Constraints: 82105 2596.46/2602.91 c #Conflicts: 584000 | #Constraints: 83105 2596.46/2602.91 c #Conflicts: 585000 | #Constraints: 84105 2596.46/2602.91 c #Conflicts: 586000 | #Constraints: 85105 2596.46/2602.91 c #Conflicts: 587000 | #Constraints: 86105 2596.46/2602.91 c #Conflicts: 588000 | #Constraints: 87105 2596.46/2602.91 c #Conflicts: 589000 | #Constraints: 88105 2596.46/2602.91 c #Conflicts: 590000 | #Constraints: 89105 2596.46/2602.91 c #Conflicts: 591000 | #Constraints: 90105 2596.46/2602.91 c #Conflicts: 592000 | #Constraints: 91106 2596.46/2602.91 c #Conflicts: 593000 | #Constraints: 92106 2596.46/2602.91 c #Conflicts: 594000 | #Constraints: 93106 2596.46/2602.91 c #Conflicts: 595000 | #Constraints: 94106 2596.46/2602.91 c #Conflicts: 596000 | #Constraints: 95107 2596.46/2602.91 c #Conflicts: 597000 | #Constraints: 96107 2596.46/2602.91 c #Conflicts: 598000 | #Constraints: 97107 2596.46/2602.91 c INPROCESSING 2596.46/2602.91 c GARBAGE COLLECT 2596.46/2602.91 c rational objective 143 2939.50/2946.82 c #Conflicts: 599000 | #Constraints: 58406 2939.50/2946.82 c #Conflicts: 600000 | #Constraints: 59406 2939.50/2946.82 c #Conflicts: 601000 | #Constraints: 60406 2939.50/2946.82 c #Conflicts: 602000 | #Constraints: 61406 2939.50/2946.82 c #Conflicts: 603000 | #Constraints: 62407 2939.50/2946.82 c #Conflicts: 604000 | #Constraints: 63407 2939.50/2946.82 c #Conflicts: 605000 | #Constraints: 64407 2939.50/2946.82 c #Conflicts: 606000 | #Constraints: 65407 2939.50/2946.82 c #Conflicts: 607000 | #Constraints: 66407 2939.50/2946.82 c #Conflicts: 608000 | #Constraints: 67407 2939.50/2946.82 c #Conflicts: 609000 | #Constraints: 68407 2939.50/2946.82 c #Conflicts: 610000 | #Constraints: 69407 2939.50/2946.82 c #Conflicts: 611000 | #Constraints: 70407 2939.50/2946.82 c #Conflicts: 612000 | #Constraints: 71407 2939.50/2946.82 c #Conflicts: 613000 | #Constraints: 72407 2939.50/2946.82 c #Conflicts: 614000 | #Constraints: 73407 2939.50/2946.82 c #Conflicts: 615000 | #Constraints: 74407 2939.50/2946.82 c #Conflicts: 616000 | #Constraints: 75407 2939.50/2946.82 c #Conflicts: 617000 | #Constraints: 76407 2939.50/2946.82 c #Conflicts: 618000 | #Constraints: 77407 2939.50/2946.82 c #Conflicts: 619000 | #Constraints: 78407 2939.50/2946.82 c INPROCESSING 2939.50/2946.82 c GARBAGE COLLECT 2939.50/2946.82 c rational objective 143 3118.58/3126.36 c #Conflicts: 620000 | #Constraints: 49436 3118.58/3126.36 c #Conflicts: 621000 | #Constraints: 50436 3118.58/3126.36 c #Conflicts: 622000 | #Constraints: 51436 3118.58/3126.36 c #Conflicts: 623000 | #Constraints: 52436 3118.58/3126.36 c #Conflicts: 624000 | #Constraints: 53436 3118.58/3126.36 c #Conflicts: 625000 | #Constraints: 54436 3118.58/3126.36 c #Conflicts: 626000 | #Constraints: 55436 3118.58/3126.36 c #Conflicts: 627000 | #Constraints: 56436 3118.58/3126.36 c #Conflicts: 628000 | #Constraints: 57436 3118.58/3126.36 c #Conflicts: 629000 | #Constraints: 58436 3118.58/3126.36 c #Conflicts: 630000 | #Constraints: 59436 3118.58/3126.36 c #Conflicts: 631000 | #Constraints: 60436 3118.58/3126.36 c #Conflicts: 632000 | #Constraints: 61436 3118.58/3126.36 c #Conflicts: 633000 | #Constraints: 62436 3118.58/3126.36 c #Conflicts: 634000 | #Constraints: 63437 3118.58/3126.36 c #Conflicts: 635000 | #Constraints: 64437 3118.58/3126.36 c #Conflicts: 636000 | #Constraints: 65437 3118.58/3126.36 c #Conflicts: 637000 | #Constraints: 66438 3118.58/3126.36 c #Conflicts: 638000 | #Constraints: 67438 3118.58/3126.36 c #Conflicts: 639000 | #Constraints: 68438 3118.58/3126.36 c #Conflicts: 640000 | #Constraints: 69438 3118.58/3126.36 c #Conflicts: 641000 | #Constraints: 70439 3118.58/3126.36 c #Conflicts: 642000 | #Constraints: 71439 3118.58/3126.36 c #Conflicts: 643000 | #Constraints: 72439 3118.58/3126.36 c #Conflicts: 644000 | #Constraints: 73439 3118.58/3126.36 c #Conflicts: 645000 | #Constraints: 74439 3118.58/3126.36 c #Conflicts: 646000 | #Constraints: 75440 3118.58/3126.36 c #Conflicts: 647000 | #Constraints: 76440 3118.58/3126.36 c #Conflicts: 648000 | #Constraints: 77440 3118.58/3126.36 c #Conflicts: 649000 | #Constraints: 78440 3118.58/3126.36 c #Conflicts: 650000 | #Constraints: 79440 3118.58/3126.36 c #Conflicts: 651000 | #Constraints: 80440 3118.58/3126.36 c #Conflicts: 652000 | #Constraints: 81441 3118.58/3126.36 c #Conflicts: 653000 | #Constraints: 82442 3118.58/3126.36 c #Conflicts: 654000 | #Constraints: 83442 3118.58/3126.36 c #Conflicts: 655000 | #Constraints: 84442 3118.58/3126.36 c #Conflicts: 656000 | #Constraints: 85443 3118.58/3126.36 c #Conflicts: 657000 | #Constraints: 86443 3118.58/3126.36 c #Conflicts: 658000 | #Constraints: 87443 3118.58/3126.36 c #Conflicts: 659000 | #Constraints: 88443 3118.58/3126.36 c #Conflicts: 660000 | #Constraints: 89444 3118.58/3126.36 c #Conflicts: 661000 | #Constraints: 90444 3118.58/3126.36 c #Conflicts: 662000 | #Constraints: 91444 3118.58/3126.36 c #Conflicts: 663000 | #Constraints: 92444 3118.58/3126.36 c #Conflicts: 664000 | #Constraints: 93444 3118.58/3126.36 c #Conflicts: 665000 | #Constraints: 94445 3118.58/3126.36 c #Conflicts: 666000 | #Constraints: 95445 3118.58/3126.36 c #Conflicts: 667000 | #Constraints: 96445 3118.58/3126.36 c #Conflicts: 668000 | #Constraints: 97445 3118.58/3126.36 c #Conflicts: 669000 | #Constraints: 98445 3118.58/3126.36 c #Conflicts: 670000 | #Constraints: 99445 3118.58/3126.36 c #Conflicts: 671000 | #Constraints: 100445 3118.58/3126.36 c #Conflicts: 672000 | #Constraints: 101445 3118.58/3126.36 c #Conflicts: 673000 | #Constraints: 102445 3118.58/3126.36 c INPROCESSING 3118.58/3126.36 c GARBAGE COLLECT 3118.58/3126.36 c #Conflicts: 674000 | #Constraints: 61291 3118.58/3126.36 c #Conflicts: 675000 | #Constraints: 62291 3118.58/3126.36 c #Conflicts: 676000 | #Constraints: 63291 3118.58/3126.36 c #Conflicts: 677000 | #Constraints: 64291 3118.58/3126.36 c #Conflicts: 678000 | #Constraints: 65291 3118.58/3126.36 c #Conflicts: 679000 | #Constraints: 66291 3118.58/3126.36 c #Conflicts: 680000 | #Constraints: 67292 3118.58/3126.36 c #Conflicts: 681000 | #Constraints: 68292 3118.58/3126.36 c #Conflicts: 682000 | #Constraints: 69292 3118.58/3126.36 c #Conflicts: 683000 | #Constraints: 70292 3118.58/3126.36 c #Conflicts: 684000 | #Constraints: 71292 3118.58/3126.36 c #Conflicts: 685000 | #Constraints: 72292 3118.58/3126.36 c #Conflicts: 686000 | #Constraints: 73292 3118.58/3126.36 c #Conflicts: 687000 | #Constraints: 74292 3118.58/3126.36 c #Conflicts: 688000 | #Constraints: 75292 3118.58/3126.36 c #Conflicts: 689000 | #Constraints: 76292 3118.58/3126.36 c #Conflicts: 690000 | #Constraints: 77292 3118.58/3126.36 c #Conflicts: 691000 | #Constraints: 78292 3118.58/3126.36 c #Conflicts: 692000 | #Constraints: 79292 3118.58/3126.36 c #Conflicts: 693000 | #Constraints: 80292 3118.58/3126.36 c #Conflicts: 694000 | #Constraints: 81292 3118.58/3126.36 c #Conflicts: 695000 | #Constraints: 82292 3118.58/3126.36 c INPROCESSING 3118.58/3126.36 c GARBAGE COLLECT 3118.58/3126.36 c #Conflicts: 696000 | #Constraints: 51475 3118.58/3126.36 c #Conflicts: 697000 | #Constraints: 52475 3363.26/3371.65 c #Conflicts: 698000 | #Constraints: 53475 3363.26/3371.65 c #Conflicts: 699000 | #Constraints: 54475 3363.26/3371.65 c #Conflicts: 700000 | #Constraints: 55476 3363.26/3371.65 c #Conflicts: 701000 | #Constraints: 56476 3363.26/3371.65 c #Conflicts: 702000 | #Constraints: 57476 3363.26/3371.65 c #Conflicts: 703000 | #Constraints: 58476 3363.26/3371.65 c #Conflicts: 704000 | #Constraints: 59476 3363.26/3371.65 c #Conflicts: 705000 | #Constraints: 60476 3363.26/3371.65 c #Conflicts: 706000 | #Constraints: 61476 3363.26/3371.65 c #Conflicts: 707000 | #Constraints: 62476 3363.26/3371.65 c #Conflicts: 708000 | #Constraints: 63476 3363.26/3371.65 c #Conflicts: 709000 | #Constraints: 64476 3363.26/3371.65 c #Conflicts: 710000 | #Constraints: 65476 3363.26/3371.65 c #Conflicts: 711000 | #Constraints: 66476 3363.26/3371.65 c #Conflicts: 712000 | #Constraints: 67476 3363.26/3371.65 c #Conflicts: 713000 | #Constraints: 68476 3363.26/3371.65 c #Conflicts: 714000 | #Constraints: 69476 3363.26/3371.65 c #Conflicts: 715000 | #Constraints: 70476 3363.26/3371.65 c #Conflicts: 716000 | #Constraints: 71476 3363.26/3371.65 c #Conflicts: 717000 | #Constraints: 72476 3363.26/3371.65 c #Conflicts: 718000 | #Constraints: 73476 3363.26/3371.65 c #Conflicts: 719000 | #Constraints: 74476 3363.26/3371.65 c #Conflicts: 720000 | #Constraints: 75476 3363.26/3371.65 c #Conflicts: 721000 | #Constraints: 76477 3363.26/3371.65 c #Conflicts: 722000 | #Constraints: 77477 3363.26/3371.65 c #Conflicts: 723000 | #Constraints: 78477 3363.26/3371.65 c #Conflicts: 724000 | #Constraints: 79477 3363.26/3371.65 c #Conflicts: 725000 | #Constraints: 80477 3363.26/3371.65 c #Conflicts: 726000 | #Constraints: 81477 3363.26/3371.65 c #Conflicts: 727000 | #Constraints: 82477 3363.26/3371.65 c #Conflicts: 728000 | #Constraints: 83477 3363.26/3371.65 c #Conflicts: 729000 | #Constraints: 84477 3363.26/3371.65 c #Conflicts: 730000 | #Constraints: 85477 3363.26/3371.65 c #Conflicts: 731000 | #Constraints: 86477 3363.26/3371.65 c #Conflicts: 732000 | #Constraints: 87477 3363.26/3371.65 c #Conflicts: 733000 | #Constraints: 88477 3363.26/3371.65 c #Conflicts: 734000 | #Constraints: 89477 3363.26/3371.65 c #Conflicts: 735000 | #Constraints: 90477 3363.26/3371.65 c #Conflicts: 736000 | #Constraints: 91477 3363.26/3371.65 c #Conflicts: 737000 | #Constraints: 92478 3363.26/3371.65 c #Conflicts: 738000 | #Constraints: 93478 3363.26/3371.65 c #Conflicts: 739000 | #Constraints: 94478 3363.26/3371.65 c #Conflicts: 740000 | #Constraints: 95478 3363.26/3371.65 c #Conflicts: 741000 | #Constraints: 96478 3363.26/3371.65 c #Conflicts: 742000 | #Constraints: 97478 3363.26/3371.65 c #Conflicts: 743000 | #Constraints: 98478 3363.26/3371.65 c #Conflicts: 744000 | #Constraints: 99478 3363.26/3371.65 c #Conflicts: 745000 | #Constraints: 100478 3363.26/3371.65 c #Conflicts: 746000 | #Constraints: 101478 3363.26/3371.65 c #Conflicts: 747000 | #Constraints: 102479 3363.26/3371.65 c #Conflicts: 748000 | #Constraints: 103479 3363.26/3371.65 c #Conflicts: 749000 | #Constraints: 104479 3363.26/3371.65 c #Conflicts: 750000 | #Constraints: 105479 3363.26/3371.65 c #Conflicts: 751000 | #Constraints: 106479 3363.26/3371.65 c #Conflicts: 752000 | #Constraints: 107479 3363.26/3371.65 c INPROCESSING 3363.26/3371.65 c GARBAGE COLLECT 3363.26/3371.65 c rational objective 143 3576.78/3585.74 c #Conflicts: 753000 | #Constraints: 63794 3576.78/3585.74 c #Conflicts: 754000 | #Constraints: 64794 3576.78/3585.74 c #Conflicts: 755000 | #Constraints: 65794 3576.78/3585.74 c #Conflicts: 756000 | #Constraints: 66794 3576.78/3585.74 c #Conflicts: 757000 | #Constraints: 67794 3576.78/3585.74 c #Conflicts: 758000 | #Constraints: 68794 3576.78/3585.74 c #Conflicts: 759000 | #Constraints: 69794 3576.78/3585.74 c #Conflicts: 760000 | #Constraints: 70794 3576.78/3585.74 c #Conflicts: 761000 | #Constraints: 71795 3576.78/3585.74 c #Conflicts: 762000 | #Constraints: 72796 3576.78/3585.74 c #Conflicts: 763000 | #Constraints: 73796 3576.78/3585.74 c #Conflicts: 764000 | #Constraints: 74796 3576.78/3585.74 c #Conflicts: 765000 | #Constraints: 75796 3576.78/3585.74 c #Conflicts: 766000 | #Constraints: 76796 3576.78/3585.74 c #Conflicts: 767000 | #Constraints: 77796 3576.78/3585.74 c #Conflicts: 768000 | #Constraints: 78796 3576.78/3585.74 c #Conflicts: 769000 | #Constraints: 79796 3576.78/3585.74 c #Conflicts: 770000 | #Constraints: 80796 3576.78/3585.74 c #Conflicts: 771000 | #Constraints: 81796 3576.78/3585.74 c #Conflicts: 772000 | #Constraints: 82797 3576.78/3585.74 c #Conflicts: 773000 | #Constraints: 83797 3576.78/3585.74 c #Conflicts: 774000 | #Constraints: 84797 3576.78/3585.74 c #Conflicts: 775000 | #Constraints: 85797 3576.78/3585.74 c #Conflicts: 776000 | #Constraints: 86797 3576.78/3585.74 c INPROCESSING 3576.78/3585.74 c GARBAGE COLLECT 3576.78/3585.74 c #Conflicts: 777000 | #Constraints: 53885 3576.78/3585.74 c #Conflicts: 778000 | #Constraints: 54885 3576.78/3585.74 c #Conflicts: 779000 | #Constraints: 55885 3576.78/3585.74 c #Conflicts: 780000 | #Constraints: 56885 3576.78/3585.74 c #Conflicts: 781000 | #Constraints: 57885 3576.78/3585.74 c #Conflicts: 782000 | #Constraints: 58885 3576.78/3585.74 c #Conflicts: 783000 | #Constraints: 59885 3576.78/3585.74 c #Conflicts: 784000 | #Constraints: 60885 3576.78/3585.74 c #Conflicts: 785000 | #Constraints: 61886 3576.78/3585.74 c #Conflicts: 786000 | #Constraints: 62886 3576.78/3585.74 c #Conflicts: 787000 | #Constraints: 63886 3576.78/3585.74 c #Conflicts: 788000 | #Constraints: 64886 3576.78/3585.74 c #Conflicts: 789000 | #Constraints: 65886 3576.78/3585.74 c #Conflicts: 790000 | #Constraints: 66886 3576.78/3585.74 c #Conflicts: 791000 | #Constraints: 67886 3576.78/3585.74 c #Conflicts: 792000 | #Constraints: 68886 3576.78/3585.74 c #Conflicts: 793000 | #Constraints: 69886 3576.78/3585.74 c #Conflicts: 794000 | #Constraints: 70886 3576.78/3585.74 c #Conflicts: 795000 | #Constraints: 71886 3576.78/3585.74 c #Conflicts: 796000 | #Constraints: 72886 3576.78/3585.74 c #Conflicts: 797000 | #Constraints: 73886 3576.78/3585.74 c #Conflicts: 798000 | #Constraints: 74886 3576.78/3585.74 c #Conflicts: 799000 | #Constraints: 75886 3576.78/3585.74 c #Conflicts: 800000 | #Constraints: 76886 3576.78/3585.74 c #Conflicts: 801000 | #Constraints: 77886 3576.78/3585.74 c #Conflicts: 802000 | #Constraints: 78886 3576.78/3585.74 c #Conflicts: 803000 | #Constraints: 79886 3576.78/3585.74 c #Conflicts: 804000 | #Constraints: 80886 3576.78/3585.74 c #Conflicts: 805000 | #Constraints: 81886 3576.78/3585.74 c #Conflicts: 806000 | #Constraints: 82886 3576.78/3585.74 c #Conflicts: 807000 | #Constraints: 83886 3576.78/3585.74 c #Conflicts: 808000 | #Constraints: 84886 3576.78/3585.74 c #Conflicts: 809000 | #Constraints: 85887 3576.78/3585.74 c #Conflicts: 810000 | #Constraints: 86887 3576.78/3585.74 c #Conflicts: 811000 | #Constraints: 87887 3576.78/3585.74 c #Conflicts: 812000 | #Constraints: 88887 3576.78/3585.74 c #Conflicts: 813000 | #Constraints: 89887 3576.78/3585.74 c #Conflicts: 814000 | #Constraints: 90888 3576.78/3585.74 c #Conflicts: 815000 | #Constraints: 91888 3576.78/3585.74 c #Conflicts: 816000 | #Constraints: 92888 3576.78/3585.74 c #Conflicts: 817000 | #Constraints: 93888 3576.78/3585.74 c #Conflicts: 818000 | #Constraints: 94888 3576.78/3585.74 c #Conflicts: 819000 | #Constraints: 95888 3576.78/3585.74 c #Conflicts: 820000 | #Constraints: 96888 3576.78/3585.74 c #Conflicts: 821000 | #Constraints: 97888 3576.78/3585.74 c #Conflicts: 822000 | #Constraints: 98888 3576.78/3585.74 c #Conflicts: 823000 | #Constraints: 99888 3576.78/3585.74 c #Conflicts: 824000 | #Constraints: 100888 3576.78/3585.74 c #Conflicts: 825000 | #Constraints: 101888 3576.78/3585.74 c #Conflicts: 826000 | #Constraints: 102888 3576.78/3585.74 c #Conflicts: 827000 | #Constraints: 103888 3576.78/3585.74 c #Conflicts: 828000 | #Constraints: 104888 3576.78/3585.74 c #Conflicts: 829000 | #Constraints: 105888 3576.78/3585.74 c #Conflicts: 830000 | #Constraints: 106888 3576.78/3585.74 c #Conflicts: 831000 | #Constraints: 107888 3596.62/3605.65 c #Conflicts: 832000 | #Constraints: 108888 3596.62/3605.65 c #Conflicts: 833000 | #Constraints: 109888 3596.62/3605.65 c #Conflicts: 834000 | #Constraints: 110888 3596.62/3605.65 c #Conflicts: 835000 | #Constraints: 111888 3596.62/3605.65 c #Conflicts: 836000 | #Constraints: 112888 3596.62/3605.65 c INPROCESSING 3596.62/3605.65 c GARBAGE COLLECT 3596.62/3605.65 c rational objective 143 3600.01/3609.00 c #Conflicts: 837000 | #Constraints: 66527 3600.01/3609.00 c #Conflicts: 838000 | #Constraints: 67527 3600.01/3609.00 c #Conflicts: 839000 | #Constraints: 68527 3600.01/3609.00 c Program interrupted by user. 3600.01/3609.05 c cpu time 3566.78 s 3600.01/3609.05 c deterministic time 212024668245 2.12e+11 3600.01/3609.05 c optimization time 3.10206 s 3600.01/3609.05 c total solve time 3563.6 s 3600.01/3609.05 c core-guided solve time 0 s 3600.01/3609.05 c propagation time 1699.05 s 3600.01/3609.05 c conflict analysis time 591.868 s 3600.01/3609.05 c propagations 615560209 3600.01/3609.05 c resolve steps 38951665 3600.01/3609.05 c decisions 13121692 3600.01/3609.05 c conflicts 839491 3600.01/3609.05 c restarts 1788 3600.01/3609.05 c inprocessing phases 41 3600.01/3609.05 c input clauses 17162 3600.01/3609.05 c input cardinalities 143 3600.01/3609.05 c input general constraints 0 3600.01/3609.05 c input average constraint length 6.43 3600.01/3609.05 c input average constraint degree 1.97 3600.01/3609.05 c learned clauses 536129 3600.01/3609.05 c learned cardinalities 33913 3600.01/3609.05 c learned general constraints 269516 3600.01/3609.05 c learned average constraint length 1120.90 3600.01/3609.05 c learned average constraint degree 543169858.39 3600.01/3609.05 c watched constraints 205519 3600.01/3609.05 c counting constraints 63997 3600.01/3609.05 c gcd simplifications 4385 3600.01/3609.05 c detected cardinalities 4178 3600.01/3609.05 c weakened non-implied lits 199975506 3600.01/3609.05 c weakened non-implying lits 315682 3600.01/3609.05 c original variables 17017 3600.01/3609.05 c clausal propagations 268526811 3600.01/3609.05 c cardinality propagations 214364874 3600.01/3609.05 c watched propagations 39150608 3600.01/3609.05 c counting propagations 85999049 3600.01/3609.05 c watch lookups 11242863475 3600.01/3609.05 c watch backjump lookups 9021661099 3600.01/3609.05 c watch checks 148988029976 3600.01/3609.05 c propagation checks 38192178052 3600.01/3609.05 c constraint additions 3320107694 3600.01/3609.05 c trail pops 629505953 3600.01/3609.05 c formula constraints 17305 3600.01/3609.05 c learned constraints 839422 3600.01/3609.05 c bound constraints 0 3600.01/3609.05 c core-guided constraints 0 3600.01/3609.05 c encountered formula constraints 27074790 3600.01/3609.05 c encountered learned constraints 12714121 3600.01/3609.05 c encountered bound constraints 0 3600.01/3609.05 c encountered core-guided constraints 0 3600.01/3609.05 c LP total time 2040.07 s 3600.01/3609.05 c LP solve time 2037.38 s 3600.01/3609.05 c LP constraints added 19553 3600.01/3609.05 c LP constraints removed 1914 3600.01/3609.05 c LP pivots internal 851946 3600.01/3609.05 c LP pivots root 788148 3600.01/3609.05 c LP calls 94 3600.01/3609.05 c LP optimalities 18 3600.01/3609.05 c LP no pivot count 0 3600.01/3609.05 c LP infeasibilities 68 3600.01/3609.05 c LP valid Farkas constraints 68 3600.01/3609.05 c LP learned Farkas constraints 68 3600.01/3609.05 c LP basis resets 0 3600.01/3609.05 c LP cycling count 0 3600.01/3609.05 c LP singular count 0 3600.01/3609.05 c LP no primal count 0 3600.01/3609.05 c LP no farkas count 0 3600.01/3609.05 c LP other issue count 0 3600.01/3609.05 c LP Gomory cuts 0 3600.01/3609.05 c LP learned cuts 2363 3600.01/3609.05 c LP deleted cuts 2205 3600.01/3609.05 c LP encountered Gomory constraints 0 3600.01/3609.05 c LP encountered Farkas constraints 1301 3600.01/3609.05 c LP encountered learned Farkas constraints 876 3600.01/3609.05 c CG auxiliary variables introduced 0 3600.01/3609.05 c CG solutions found 0 3600.01/3609.05 c CG cores constructed 0 3600.01/3609.05 c CG core cardinality constraints returned 0 3600.01/3609.05 c CG unit cores 0 3600.01/3609.05 c CG single cores 0 3600.01/3609.05 c CG blocks removed during cardinality reduction 0 3600.01/3609.05 c CG first core best 0 3600.01/3609.05 c CG decision core best 0 3600.01/3609.05 c CG core reduction tie 0 3600.01/3609.05 c CG core degree average 0.00 3600.01/3609.05 c CG core slack average 0.00 3600.01/3609.05 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (10043 MiB free)
memory of node 1: 64473 MiB (2706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457162-1721826497/watcher-4457162-1721826497 -o /tmp/evaluation-result-4457162-1721826497/solver-4457162-1721826497 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228036 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457162-1721826497 --lp-cut-gomory=0 HOME/instance-4457162-1721826497.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=236261, runsolver pid=236258
[startup+0.100072 s]*
/proc/loadavg: 4.16 4.19 4.18 5/261 236262
/proc/meminfo: memFree=13042628/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=49924 memory=18912 CPUtime=0.08 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 4618 0 0 0 7 1 0 0 20 0 1 0 19177945 51122176 4728 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 12481 4728 1670 992 0 4339 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 49924 KiB
Current children cumulated memory: 18912 KiB
[startup+0.206454 s]*
/proc/loadavg: 4.16 4.19 4.18 5/261 236262
/proc/meminfo: memFree=13023924/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=67880 memory=33856 CPUtime=0.18 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 8830 0 0 0 16 2 0 0 20 0 1 0 19177945 69509120 8464 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 16970 8464 1718 992 0 8828 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 67880 KiB
Current children cumulated memory: 33856 KiB
[startup+0.306048 s]*
/proc/loadavg: 4.16 4.19 4.18 5/261 236262
/proc/meminfo: memFree=13017228/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=68220 memory=34648 CPUtime=0.28 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 9020 0 0 0 26 2 0 0 20 0 1 0 19177945 69857280 8662 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 17055 8662 1718 992 0 8913 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 68220 KiB
Current children cumulated memory: 34648 KiB
[startup+0.700304 s]
/proc/loadavg: 4.16 4.19 4.18 5/261 236262
/proc/meminfo: memFree=13002336/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=70008 memory=37012 CPUtime=0.67 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 9641 0 0 0 64 3 0 0 20 0 1 0 19177945 71688192 9253 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 17502 9253 1718 992 0 9360 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 70008 KiB
Current children cumulated memory: 37012 KiB
[startup+1.50023 s]
/proc/loadavg: 4.16 4.19 4.18 6/261 236264
/proc/meminfo: memFree=12990596/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=71100 memory=40500 CPUtime=1.47 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 9943 0 0 0 140 7 0 0 20 0 1 0 19177945 72806400 10125 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 17775 10125 1750 992 0 9633 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 71100 KiB
Current children cumulated memory: 40500 KiB
[startup+3.10576 s]
/proc/loadavg: 4.16 4.19 4.18 5/261 236264
/proc/meminfo: memFree=12884500/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=73200 memory=42924 CPUtime=3.07 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 10517 0 0 0 294 13 0 0 20 0 1 0 19177945 74956800 10731 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 18300 10731 1765 992 0 10158 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 73200 KiB
Current children cumulated memory: 42924 KiB
[startup+6.30022 s]
/proc/loadavg: 4.15 4.18 4.18 5/261 236264
/proc/meminfo: memFree=12733700/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=74884 memory=45032 CPUtime=6.26 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 11068 0 0 0 611 15 0 0 20 0 1 0 19177945 76681216 11258 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 18721 11258 1765 992 0 10579 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 74884 KiB
Current children cumulated memory: 45032 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.18 4.18 5/261 236265
/proc/meminfo: memFree=12349876/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=80308 memory=50684 CPUtime=12.64 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 11923 0 0 0 1231 33 0 0 20 0 1 0 19177945 82235392 12671 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 20077 12671 1828 992 0 11935 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 80308 KiB
Current children cumulated memory: 50684 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.17 4.18 5/261 236267
/proc/meminfo: memFree=11687436/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=85564 memory=55820 CPUtime=25.41 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 12670 0 0 0 2500 41 0 0 20 0 1 0 19177945 87617536 13955 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 21391 13955 1860 992 0 13249 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 85564 KiB
Current children cumulated memory: 55820 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.17 4.18 5/261 236271
/proc/meminfo: memFree=10307836/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=104072 memory=74052 CPUtime=50.95 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 15682 0 0 0 5010 85 0 0 20 0 1 0 19177945 106569728 18513 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 26018 18513 1860 992 0 17876 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 104072 KiB
Current children cumulated memory: 74052 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/262 236282
/proc/meminfo: memFree=7687040/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=145604 memory=100824 CPUtime=102.02 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 19352 0 0 0 10028 174 0 0 20 0 1 0 19177945 149098496 25206 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 36401 25206 1860 992 0 28259 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 145604 KiB
Current children cumulated memory: 100824 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.19 4.18 5/260 236295
/proc/meminfo: memFree=3143892/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=150012 memory=114536 CPUtime=161.78 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 20688 0 0 0 15937 241 0 0 20 0 1 0 19177945 153612288 28634 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 37503 28634 1860 992 0 29361 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 150012 KiB
Current children cumulated memory: 114536 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.21 4.19 5/261 236307
/proc/meminfo: memFree=490676/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=193684 memory=141720 CPUtime=221.65 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 23966 0 0 0 21833 332 0 0 20 0 1 0 19177945 198332416 35430 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 48421 35430 1860 992 0 40279 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 193684 KiB
Current children cumulated memory: 141720 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/261 236365
/proc/meminfo: memFree=64916544/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=196148 memory=143784 CPUtime=281.5 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 24487 0 0 0 27764 386 0 0 20 0 1 0 19177945 200855552 35946 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 49037 35946 1860 992 0 40895 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 196148 KiB
Current children cumulated memory: 143784 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/263 236427
/proc/meminfo: memFree=63316900/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=196584 memory=144572 CPUtime=341.35 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 24637 0 0 0 33732 403 0 0 20 0 1 0 19177945 201302016 36143 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 49146 36143 1860 992 0 41004 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 196584 KiB
Current children cumulated memory: 144572 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/263 236438
/proc/meminfo: memFree=61489200/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=338744 memory=260160 CPUtime=401.2 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 28020 0 0 0 39647 473 0 0 20 0 1 0 19177945 346873856 65040 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 84686 65040 1860 992 0 76544 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 338744 KiB
Current children cumulated memory: 260160 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/264 236496
/proc/meminfo: memFree=113710108/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=357480 memory=278280 CPUtime=461.06 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 32555 0 0 0 45536 570 0 0 20 0 1 0 19177945 366059520 69570 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 89370 69570 1860 992 0 81228 0
################
# More data... #
################
Current children cumulated memory: 941212 KiB
[startup+2862.3 s]
/proc/loadavg: 3.08 3.25 3.65 4/250 237968
/proc/meminfo: memFree=112134404/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=976300 memory=941268 CPUtime=2855.2 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 98805 0 0 0 282908 2612 0 0 20 0 1 0 19177945 999731200 235317 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 244075 235317 1947 992 0 235933 0
Current children cumulated CPU time: 2855.2 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 941268 KiB
[startup+2922.3 s]
/proc/loadavg: 3.13 3.23 3.62 4/251 237981
/proc/meminfo: memFree=111807428/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=976300 memory=949240 CPUtime=2915.06 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 98915 0 0 0 288878 2628 0 0 20 0 1 0 19177945 999731200 237310 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 244075 237310 1947 992 0 235933 0
Current children cumulated CPU time: 2915.06 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949240 KiB
[startup+2982.3 s]
/proc/loadavg: 3.15 3.22 3.59 4/251 237992
/proc/meminfo: memFree=111173044/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=976300 memory=949388 CPUtime=2974.92 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 99389 0 0 0 294780 2712 0 0 20 0 1 0 19177945 999731200 237347 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 244075 237347 1947 992 0 235933 0
Current children cumulated CPU time: 2974.92 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949388 KiB
[startup+3042.3 s]
/proc/loadavg: 3.10 3.19 3.56 4/253 238172
/proc/meminfo: memFree=110918880/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=976300 memory=949388 CPUtime=3034.77 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 99770 0 0 0 300710 2767 0 0 20 0 1 0 19177945 999731200 237347 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 244075 237347 1947 992 0 235933 0
Current children cumulated CPU time: 3034.77 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949388 KiB
[startup+3102.3 s]
/proc/loadavg: 3.15 3.19 3.53 4/253 238183
/proc/meminfo: memFree=110733628/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=976300 memory=949388 CPUtime=3094.64 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 100001 0 0 0 306634 2830 0 0 20 0 1 0 19177945 999731200 237347 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 244075 237347 1947 992 0 235933 0
Current children cumulated CPU time: 3094.64 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949388 KiB
[startup+3162.3 s]
/proc/loadavg: 3.17 3.18 3.51 4/255 238197
/proc/meminfo: memFree=110443192/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=976300 memory=949388 CPUtime=3154.51 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 100260 0 0 0 312542 2909 0 0 20 0 1 0 19177945 999731200 237347 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 244075 237347 1947 992 0 235933 0
Current children cumulated CPU time: 3154.51 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949388 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.16 3.48 4/252 238220
/proc/meminfo: memFree=110126176/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=976300 memory=949388 CPUtime=3214.37 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 100641 0 0 0 318474 2963 0 0 20 0 1 0 19177945 999731200 237347 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 244075 237347 1947 992 0 235933 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949388 KiB
[startup+3282.3 s]
/proc/loadavg: 3.13 3.16 3.45 4/253 238232
/proc/meminfo: memFree=109846528/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=977268 memory=949872 CPUtime=3274.21 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 101223 0 0 0 324413 3008 0 0 20 0 1 0 19177945 1000722432 237468 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 244317 237468 1947 992 0 236175 0
Current children cumulated CPU time: 3274.21 s
Current children cumulated vsize: 977268 KiB
Current children cumulated memory: 949872 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.14 3.43 4/250 238244
/proc/meminfo: memFree=109654380/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=984156 memory=956108 CPUtime=3334.05 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 102976 0 0 0 330361 3044 0 0 20 0 1 0 19177945 1007775744 239027 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 246039 239027 1947 992 0 237897 0
Current children cumulated CPU time: 3334.05 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956108 KiB
[startup+3402.3 s]
/proc/loadavg: 3.15 3.15 3.41 4/250 238254
/proc/meminfo: memFree=109482128/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=984156 memory=956472 CPUtime=3393.88 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 103473 0 0 0 336286 3102 0 0 20 0 1 0 19177945 1007775744 239118 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 246039 239118 1947 992 0 237897 0
Current children cumulated CPU time: 3393.88 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956472 KiB
[startup+3462.3 s]
/proc/loadavg: 3.18 3.15 3.39 4/250 238264
/proc/meminfo: memFree=109268752/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=984156 memory=956472 CPUtime=3453.71 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 103725 0 0 0 342209 3162 0 0 20 0 1 0 19177945 1007775744 239118 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 246039 239118 1947 992 0 237897 0
Current children cumulated CPU time: 3453.71 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956472 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.13 3.37 4/248 238275
/proc/meminfo: memFree=108965476/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=984156 memory=956472 CPUtime=3513.56 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 104146 0 0 0 348105 3251 0 0 20 0 1 0 19177945 1007775744 239118 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 246039 239118 1947 992 0 237897 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956472 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.14 3.36 4/247 238285
/proc/meminfo: memFree=108841616/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=984156 memory=956472 CPUtime=3573.38 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 104451 0 0 0 354038 3300 0 0 20 0 1 0 19177945 1007775744 239118 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 246039 239118 1947 992 0 237897 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956472 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 3.09 3.13 3.35 4/247 238290
/proc/meminfo: memFree=108764152/131524600 swapFree=131069412/131071996
[pid=236261] ppid=236258 vsize=984156 memory=956472 CPUtime=3600.01 cores=4,6
/proc/236261/stat : 236261 (roundingsat) R 236258 236261 228025 0 -1 4194304 104596 0 0 0 356677 3324 0 0 20 0 1 0 19177945 1007775744 239118 134679101440 4194304 8254037 140730096716080 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140730096718688 140730096718950 140730096718950 140730096725961 0
/proc/236261/statm: 246039 239118 1947 992 0 237897 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.06 s]
# the end of solver process 236261 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3566.78 s, system=33.2548 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.06
CPU time (s): 3600.04
CPU user time (s): 3566.78
CPU system time (s): 33.2548
CPU usage (%): 99.7501
Max. virtual memory (cumulated for all children) (KiB): 984156
Max. memory (cumulated for all children) (KiB): 956472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.78
system time used= 33.2548
maximum resident set size= 956472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104607
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12981528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 863
involuntary context switches= 5859
# summary of solver processes directly reported to runsolver:
# pid: 236261
# total CPU time (s): 3600.04
# total CPU user time (s): 3566.78
# total CPU system time (s): 33.2548
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03417 second user time and 16.3928 second system time
The end
Begin job on nodeC018 at 2024-07-24 15:08:17 IDJOB=4457162 IDBENCH=158274 IDSOLVER=3085 FILE ID=nodeC018/4457162-1721826497 RUNJOBID= nodeC018-1721817186-228036 SLURM_JOB_ID= 7816872 Free space on /tmp= 890008 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K143.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-4457162-1721826497/watcher-4457162-1721826497 -o /tmp/evaluation-result-4457162-1721826497/solver-4457162-1721826497 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228036 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457162-1721826497 --lp-cut-gomory=0 HOME/instance-4457162-1721826497.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5b71eb3fc2b19671b5e391982561b6cd RANDOM SEED=903170761 nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3611.893 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3684.902 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3604.579 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.060 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.711 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3684.960 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.727 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.831 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 13056268 kB MemAvailable: 115826104 kB Buffers: 249560 kB Cached: 103067268 kB SwapCached: 52 kB Active: 2261276 kB Inactive: 115113372 kB Active(anon): 2000 kB Inactive(anon): 14109628 kB Active(file): 2259276 kB Inactive(file): 101003744 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131069412 kB Dirty: 96316 kB Writeback: 346508 kB AnonPages: 14055492 kB Mapped: 112440 kB Shmem: 53772 kB KReclaimable: 568224 kB Slab: 710124 kB SReclaimable: 568224 kB SUnreclaim: 141900 kB KernelStack: 4192 kB PageTables: 37160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 15214572 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17152 kB HardwareCorrupted: 0 kB AnonHugePages: 4581376 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: 375508 kB DirectMap2M: 43438080 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890064 MiB End job on nodeC018 at 2024-07-24 16:08:26