| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.05 | 3610.7 |
| 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.07/0.11 c #variables 17017 #constraints 17305 218.23/218.85 c #Conflicts: 1000 | #Constraints: 18304 218.23/218.85 c #Conflicts: 2000 | #Constraints: 19304 218.23/218.85 c INPROCESSING 218.23/218.85 c GARBAGE COLLECT 218.23/218.85 c #Conflicts: 3000 | #Constraints: 18637 218.23/218.85 c #Conflicts: 4000 | #Constraints: 19637 218.23/218.85 c INPROCESSING 218.23/218.85 c GARBAGE COLLECT 218.23/218.85 c #Conflicts: 5000 | #Constraints: 19118 218.23/218.85 c #Conflicts: 6000 | #Constraints: 20118 218.23/218.85 c INPROCESSING 218.23/218.85 c GARBAGE COLLECT 218.23/218.85 c #Conflicts: 7000 | #Constraints: 19203 218.23/218.85 c #Conflicts: 8000 | #Constraints: 20203 218.23/218.85 c #Conflicts: 9000 | #Constraints: 21203 218.23/218.85 c INPROCESSING 218.23/218.85 c GARBAGE COLLECT 218.23/218.85 c #Conflicts: 10000 | #Constraints: 19985 218.23/218.85 c #Conflicts: 11000 | #Constraints: 20985 218.23/218.85 c #Conflicts: 12000 | #Constraints: 21985 218.23/218.85 c #Conflicts: 13000 | #Constraints: 22985 218.23/218.85 c #Conflicts: 14000 | #Constraints: 23985 218.23/218.85 c #Conflicts: 15000 | #Constraints: 24985 218.23/218.85 c #Conflicts: 16000 | #Constraints: 25985 218.23/218.85 c INPROCESSING 218.23/218.85 c GARBAGE COLLECT 218.23/218.85 c #Conflicts: 17000 | #Constraints: 22302 218.23/218.85 c #Conflicts: 18000 | #Constraints: 23302 218.23/218.85 c #Conflicts: 19000 | #Constraints: 24302 218.23/218.85 c #Conflicts: 20000 | #Constraints: 25302 218.23/218.85 c INPROCESSING 218.23/218.85 c GARBAGE COLLECT 218.23/218.85 c #Conflicts: 21000 | #Constraints: 22061 218.23/218.85 c #Conflicts: 22000 | #Constraints: 23061 218.23/218.85 c #Conflicts: 23000 | #Constraints: 24061 218.23/218.85 c #Conflicts: 24000 | #Constraints: 25061 218.23/218.85 c INPROCESSING 218.23/218.85 c GARBAGE COLLECT 218.23/218.85 c #Conflicts: 25000 | #Constraints: 21882 218.23/218.85 c #Conflicts: 26000 | #Constraints: 22882 218.23/218.85 c #Conflicts: 27000 | #Constraints: 23882 218.23/218.85 c #Conflicts: 28000 | #Constraints: 24882 218.23/218.85 c #Conflicts: 29000 | #Constraints: 25882 218.23/218.85 c #Conflicts: 30000 | #Constraints: 26882 218.23/218.85 c #Conflicts: 31000 | #Constraints: 27882 218.23/218.85 c #Conflicts: 32000 | #Constraints: 28882 218.23/218.85 c #Conflicts: 33000 | #Constraints: 29882 218.23/218.85 c #Conflicts: 34000 | #Constraints: 30882 218.23/218.85 c #Conflicts: 35000 | #Constraints: 31882 218.23/218.85 c #Conflicts: 36000 | #Constraints: 32883 218.23/218.85 c INPROCESSING 218.23/218.85 c GARBAGE COLLECT 218.23/218.85 c #Conflicts: 37000 | #Constraints: 26070 218.23/218.85 c #Conflicts: 38000 | #Constraints: 27070 218.23/218.85 c #Conflicts: 39000 | #Constraints: 28070 218.23/218.85 c #Conflicts: 40000 | #Constraints: 29070 218.23/218.85 c #Conflicts: 41000 | #Constraints: 30070 218.23/218.85 c INPROCESSING 218.23/218.85 c GARBAGE COLLECT 218.23/218.85 c #Conflicts: 42000 | #Constraints: 24506 218.23/218.85 c #Conflicts: 43000 | #Constraints: 25506 218.23/218.85 c #Conflicts: 44000 | #Constraints: 26506 218.23/218.85 c #Conflicts: 45000 | #Constraints: 27506 218.23/218.85 c #Conflicts: 46000 | #Constraints: 28506 218.23/218.85 c #Conflicts: 47000 | #Constraints: 29506 218.23/218.85 c INPROCESSING 218.23/218.85 c GARBAGE COLLECT 218.23/218.85 c #Conflicts: 48000 | #Constraints: 24552 218.23/218.85 c #Conflicts: 49000 | #Constraints: 25552 218.23/218.85 c #Conflicts: 50000 | #Constraints: 26552 218.23/218.85 c #Conflicts: 51000 | #Constraints: 27552 218.23/218.85 c #Conflicts: 52000 | #Constraints: 28552 218.23/218.85 c #Conflicts: 53000 | #Constraints: 29552 218.23/218.85 c #Conflicts: 54000 | #Constraints: 30553 218.23/218.85 c #Conflicts: 55000 | #Constraints: 31553 218.23/218.85 c #Conflicts: 56000 | #Constraints: 32553 218.23/218.85 c #Conflicts: 57000 | #Constraints: 33553 218.23/218.85 c #Conflicts: 58000 | #Constraints: 34553 218.23/218.85 c #Conflicts: 59000 | #Constraints: 35553 218.23/218.85 c #Conflicts: 60000 | #Constraints: 36553 218.23/218.85 c #Conflicts: 61000 | #Constraints: 37553 218.23/218.85 c #Conflicts: 62000 | #Constraints: 38553 218.23/218.85 c INPROCESSING 218.23/218.85 c GARBAGE COLLECT 218.23/218.85 c rational objective 143 491.97/493.20 c #Conflicts: 63000 | #Constraints: 28720 491.97/493.20 c #Conflicts: 64000 | #Constraints: 29720 491.97/493.20 c #Conflicts: 65000 | #Constraints: 30720 491.97/493.20 c #Conflicts: 66000 | #Constraints: 31720 491.97/493.20 c #Conflicts: 67000 | #Constraints: 32721 491.97/493.20 c #Conflicts: 68000 | #Constraints: 33721 491.97/493.20 c #Conflicts: 69000 | #Constraints: 34721 491.97/493.20 c INPROCESSING 491.97/493.20 c GARBAGE COLLECT 491.97/493.20 c #Conflicts: 70000 | #Constraints: 26926 491.97/493.20 c #Conflicts: 71000 | #Constraints: 27926 491.97/493.20 c #Conflicts: 72000 | #Constraints: 28926 491.97/493.20 c #Conflicts: 73000 | #Constraints: 29926 491.97/493.20 c #Conflicts: 74000 | #Constraints: 30926 491.97/493.20 c #Conflicts: 75000 | #Constraints: 31926 491.97/493.20 c #Conflicts: 76000 | #Constraints: 32926 491.97/493.20 c INPROCESSING 491.97/493.20 c GARBAGE COLLECT 491.97/493.20 c #Conflicts: 77000 | #Constraints: 26537 491.97/493.20 c #Conflicts: 78000 | #Constraints: 27537 491.97/493.20 c #Conflicts: 79000 | #Constraints: 28537 491.97/493.20 c #Conflicts: 80000 | #Constraints: 29537 491.97/493.20 c #Conflicts: 81000 | #Constraints: 30537 491.97/493.20 c #Conflicts: 82000 | #Constraints: 31538 491.97/493.20 c #Conflicts: 83000 | #Constraints: 32538 491.97/493.20 c #Conflicts: 84000 | #Constraints: 33538 491.97/493.20 c #Conflicts: 85000 | #Constraints: 34538 491.97/493.20 c #Conflicts: 86000 | #Constraints: 35538 491.97/493.20 c #Conflicts: 87000 | #Constraints: 36538 491.97/493.20 c #Conflicts: 88000 | #Constraints: 37538 491.97/493.20 c #Conflicts: 89000 | #Constraints: 38538 491.97/493.20 c #Conflicts: 90000 | #Constraints: 39538 491.97/493.20 c #Conflicts: 91000 | #Constraints: 40538 491.97/493.20 c #Conflicts: 92000 | #Constraints: 41538 491.97/493.20 c #Conflicts: 93000 | #Constraints: 42538 491.97/493.20 c #Conflicts: 94000 | #Constraints: 43538 491.97/493.20 c #Conflicts: 95000 | #Constraints: 44538 491.97/493.20 c #Conflicts: 96000 | #Constraints: 45538 491.97/493.20 c INPROCESSING 491.97/493.20 c GARBAGE COLLECT 491.97/493.20 c #Conflicts: 97000 | #Constraints: 32337 491.97/493.20 c #Conflicts: 98000 | #Constraints: 33337 491.97/493.20 c #Conflicts: 99000 | #Constraints: 34338 491.97/493.20 c #Conflicts: 100000 | #Constraints: 35338 491.97/493.20 c #Conflicts: 101000 | #Constraints: 36338 491.97/493.20 c #Conflicts: 102000 | #Constraints: 37338 491.97/493.20 c #Conflicts: 103000 | #Constraints: 38338 491.97/493.20 c #Conflicts: 104000 | #Constraints: 39338 491.97/493.20 c #Conflicts: 105000 | #Constraints: 40338 491.97/493.20 c INPROCESSING 491.97/493.20 c GARBAGE COLLECT 491.97/493.20 c #Conflicts: 106000 | #Constraints: 30156 491.97/493.20 c #Conflicts: 107000 | #Constraints: 31156 491.97/493.20 c #Conflicts: 108000 | #Constraints: 32156 491.97/493.20 c #Conflicts: 109000 | #Constraints: 33156 491.97/493.20 c #Conflicts: 110000 | #Constraints: 34156 491.97/493.20 c #Conflicts: 111000 | #Constraints: 35156 491.97/493.20 c #Conflicts: 112000 | #Constraints: 36156 491.97/493.20 c #Conflicts: 113000 | #Constraints: 37156 491.97/493.20 c INPROCESSING 491.97/493.20 c GARBAGE COLLECT 491.97/493.20 c #Conflicts: 114000 | #Constraints: 28962 491.97/493.20 c #Conflicts: 115000 | #Constraints: 29963 491.97/493.20 c #Conflicts: 116000 | #Constraints: 30963 491.97/493.20 c #Conflicts: 117000 | #Constraints: 31963 491.97/493.20 c #Conflicts: 118000 | #Constraints: 32964 491.97/493.20 c #Conflicts: 119000 | #Constraints: 33964 491.97/493.20 c #Conflicts: 120000 | #Constraints: 34964 491.97/493.20 c #Conflicts: 121000 | #Constraints: 35964 491.97/493.20 c #Conflicts: 122000 | #Constraints: 36964 491.97/493.20 c #Conflicts: 123000 | #Constraints: 37964 491.97/493.20 c #Conflicts: 124000 | #Constraints: 38964 491.97/493.20 c #Conflicts: 125000 | #Constraints: 39964 491.97/493.20 c #Conflicts: 126000 | #Constraints: 40964 491.97/493.20 c #Conflicts: 127000 | #Constraints: 41964 491.97/493.20 c #Conflicts: 128000 | #Constraints: 42964 491.97/493.20 c #Conflicts: 129000 | #Constraints: 43964 491.97/493.20 c #Conflicts: 130000 | #Constraints: 44964 491.97/493.20 c #Conflicts: 131000 | #Constraints: 45964 491.97/493.20 c #Conflicts: 132000 | #Constraints: 46964 491.97/493.20 c #Conflicts: 133000 | #Constraints: 47965 491.97/493.20 c #Conflicts: 134000 | #Constraints: 48965 491.97/493.20 c #Conflicts: 135000 | #Constraints: 49965 491.97/493.20 c #Conflicts: 136000 | #Constraints: 50965 491.97/493.20 c #Conflicts: 137000 | #Constraints: 51965 491.97/493.20 c INPROCESSING 491.97/493.20 c GARBAGE COLLECT 532.89/534.24 c #Conflicts: 138000 | #Constraints: 35631 532.89/534.24 c #Conflicts: 139000 | #Constraints: 36631 532.89/534.24 c #Conflicts: 140000 | #Constraints: 37631 532.89/534.24 c #Conflicts: 141000 | #Constraints: 38631 532.89/534.24 c #Conflicts: 142000 | #Constraints: 39631 532.89/534.24 c #Conflicts: 143000 | #Constraints: 40631 532.89/534.24 c #Conflicts: 144000 | #Constraints: 41631 532.89/534.24 c #Conflicts: 145000 | #Constraints: 42631 532.89/534.24 c #Conflicts: 146000 | #Constraints: 43632 532.89/534.24 c #Conflicts: 147000 | #Constraints: 44632 532.89/534.24 c INPROCESSING 532.89/534.24 c GARBAGE COLLECT 532.89/534.24 c rational objective 143 557.82/559.28 c #Conflicts: 148000 | #Constraints: 32064 557.82/559.28 c #Conflicts: 149000 | #Constraints: 33064 557.82/559.28 c #Conflicts: 150000 | #Constraints: 34064 557.82/559.28 c #Conflicts: 151000 | #Constraints: 35064 557.82/559.28 c #Conflicts: 152000 | #Constraints: 36064 557.82/559.28 c #Conflicts: 153000 | #Constraints: 37064 557.82/559.28 c #Conflicts: 154000 | #Constraints: 38064 557.82/559.28 c #Conflicts: 155000 | #Constraints: 39064 557.82/559.28 c #Conflicts: 156000 | #Constraints: 40064 557.82/559.28 c #Conflicts: 157000 | #Constraints: 41064 557.82/559.28 c INPROCESSING 557.82/559.28 c GARBAGE COLLECT 557.82/559.28 c rational objective 143 732.91/734.78 c #Conflicts: 158000 | #Constraints: 31802 732.91/734.78 c #Conflicts: 159000 | #Constraints: 32802 732.91/734.78 c #Conflicts: 160000 | #Constraints: 33802 732.91/734.78 c #Conflicts: 161000 | #Constraints: 34802 732.91/734.78 c #Conflicts: 162000 | #Constraints: 35802 732.91/734.78 c #Conflicts: 163000 | #Constraints: 36802 732.91/734.78 c #Conflicts: 164000 | #Constraints: 37802 732.91/734.78 c #Conflicts: 165000 | #Constraints: 38802 732.91/734.78 c #Conflicts: 166000 | #Constraints: 39802 732.91/734.78 c #Conflicts: 167000 | #Constraints: 40802 732.91/734.78 c #Conflicts: 168000 | #Constraints: 41802 732.91/734.78 c #Conflicts: 169000 | #Constraints: 42802 732.91/734.78 c #Conflicts: 170000 | #Constraints: 43802 732.91/734.78 c #Conflicts: 171000 | #Constraints: 44802 732.91/734.78 c #Conflicts: 172000 | #Constraints: 45802 732.91/734.78 c #Conflicts: 173000 | #Constraints: 46802 732.91/734.78 c #Conflicts: 174000 | #Constraints: 47802 732.91/734.78 c #Conflicts: 175000 | #Constraints: 48802 732.91/734.78 c #Conflicts: 176000 | #Constraints: 49802 732.91/734.78 c #Conflicts: 177000 | #Constraints: 50802 732.91/734.78 c #Conflicts: 178000 | #Constraints: 51802 732.91/734.78 c #Conflicts: 179000 | #Constraints: 52802 732.91/734.78 c #Conflicts: 180000 | #Constraints: 53802 732.91/734.78 c #Conflicts: 181000 | #Constraints: 54802 732.91/734.78 c #Conflicts: 182000 | #Constraints: 55802 732.91/734.78 c #Conflicts: 183000 | #Constraints: 56802 732.91/734.78 c #Conflicts: 184000 | #Constraints: 57802 732.91/734.78 c #Conflicts: 185000 | #Constraints: 58802 732.91/734.78 c #Conflicts: 186000 | #Constraints: 59802 732.91/734.78 c INPROCESSING 732.91/734.78 c GARBAGE COLLECT 732.91/734.78 c rational objective 143 956.56/958.91 c #Conflicts: 187000 | #Constraints: 40014 956.56/958.91 c #Conflicts: 188000 | #Constraints: 41014 956.56/958.91 c #Conflicts: 189000 | #Constraints: 42014 956.56/958.91 c #Conflicts: 190000 | #Constraints: 43014 956.56/958.91 c #Conflicts: 191000 | #Constraints: 44014 956.56/958.91 c #Conflicts: 192000 | #Constraints: 45014 956.56/958.91 c #Conflicts: 193000 | #Constraints: 46014 956.56/958.91 c #Conflicts: 194000 | #Constraints: 47014 956.56/958.91 c #Conflicts: 195000 | #Constraints: 48014 956.56/958.91 c #Conflicts: 196000 | #Constraints: 49014 956.56/958.91 c #Conflicts: 197000 | #Constraints: 50014 956.56/958.91 c INPROCESSING 956.56/958.91 c GARBAGE COLLECT 956.56/958.91 c #Conflicts: 198000 | #Constraints: 34889 956.56/958.91 c #Conflicts: 199000 | #Constraints: 35890 956.56/958.91 c #Conflicts: 200000 | #Constraints: 36890 956.56/958.91 c #Conflicts: 201000 | #Constraints: 37890 956.56/958.91 c #Conflicts: 202000 | #Constraints: 38890 956.56/958.91 c #Conflicts: 203000 | #Constraints: 39890 956.56/958.91 c #Conflicts: 204000 | #Constraints: 40890 956.56/958.91 c #Conflicts: 205000 | #Constraints: 41890 956.56/958.91 c #Conflicts: 206000 | #Constraints: 42890 956.56/958.91 c #Conflicts: 207000 | #Constraints: 43891 956.56/958.91 c #Conflicts: 208000 | #Constraints: 44891 956.56/958.91 c #Conflicts: 209000 | #Constraints: 45891 956.56/958.91 c #Conflicts: 210000 | #Constraints: 46891 956.56/958.91 c #Conflicts: 211000 | #Constraints: 47892 956.56/958.91 c #Conflicts: 212000 | #Constraints: 48892 956.56/958.91 c #Conflicts: 213000 | #Constraints: 49892 956.56/958.91 c #Conflicts: 214000 | #Constraints: 50892 956.56/958.91 c #Conflicts: 215000 | #Constraints: 51892 956.56/958.91 c #Conflicts: 216000 | #Constraints: 52892 956.56/958.91 c #Conflicts: 217000 | #Constraints: 53892 956.56/958.91 c #Conflicts: 218000 | #Constraints: 54893 956.56/958.91 c #Conflicts: 219000 | #Constraints: 55893 956.56/958.91 c #Conflicts: 220000 | #Constraints: 56895 956.56/958.91 c #Conflicts: 221000 | #Constraints: 57895 956.56/958.91 c #Conflicts: 222000 | #Constraints: 58896 956.56/958.91 c #Conflicts: 223000 | #Constraints: 59896 956.56/958.91 c #Conflicts: 224000 | #Constraints: 60896 956.56/958.91 c #Conflicts: 225000 | #Constraints: 61896 956.56/958.91 c #Conflicts: 226000 | #Constraints: 62896 956.56/958.91 c #Conflicts: 227000 | #Constraints: 63896 956.56/958.91 c #Conflicts: 228000 | #Constraints: 64896 956.56/958.91 c INPROCESSING 956.56/958.91 c GARBAGE COLLECT 956.56/958.91 c rational objective 143 1218.25/1221.25 c #Conflicts: 229000 | #Constraints: 42201 1218.25/1221.25 c #Conflicts: 230000 | #Constraints: 43202 1218.25/1221.25 c #Conflicts: 231000 | #Constraints: 44202 1218.25/1221.25 c #Conflicts: 232000 | #Constraints: 45202 1218.25/1221.25 c #Conflicts: 233000 | #Constraints: 46202 1218.25/1221.25 c #Conflicts: 234000 | #Constraints: 47202 1218.25/1221.25 c #Conflicts: 235000 | #Constraints: 48202 1218.25/1221.25 c #Conflicts: 236000 | #Constraints: 49202 1218.25/1221.25 c #Conflicts: 237000 | #Constraints: 50202 1218.25/1221.25 c #Conflicts: 238000 | #Constraints: 51202 1218.25/1221.25 c #Conflicts: 239000 | #Constraints: 52202 1218.25/1221.25 c #Conflicts: 240000 | #Constraints: 53202 1218.25/1221.25 c #Conflicts: 241000 | #Constraints: 54202 1218.25/1221.25 c INPROCESSING 1218.25/1221.25 c GARBAGE COLLECT 1218.25/1221.25 c #Conflicts: 242000 | #Constraints: 37024 1218.25/1221.25 c #Conflicts: 243000 | #Constraints: 38024 1218.25/1221.25 c #Conflicts: 244000 | #Constraints: 39024 1218.25/1221.25 c #Conflicts: 245000 | #Constraints: 40024 1218.25/1221.25 c #Conflicts: 246000 | #Constraints: 41024 1218.25/1221.25 c #Conflicts: 247000 | #Constraints: 42024 1218.25/1221.25 c #Conflicts: 248000 | #Constraints: 43025 1218.25/1221.25 c #Conflicts: 249000 | #Constraints: 44025 1218.25/1221.25 c #Conflicts: 250000 | #Constraints: 45025 1218.25/1221.25 c #Conflicts: 251000 | #Constraints: 46025 1218.25/1221.25 c #Conflicts: 252000 | #Constraints: 47025 1218.25/1221.25 c #Conflicts: 253000 | #Constraints: 48025 1218.25/1221.25 c #Conflicts: 254000 | #Constraints: 49025 1218.25/1221.25 c INPROCESSING 1218.25/1221.25 c GARBAGE COLLECT 1218.25/1221.25 c #Conflicts: 255000 | #Constraints: 36534 1218.25/1221.25 c #Conflicts: 256000 | #Constraints: 37534 1218.25/1221.25 c #Conflicts: 257000 | #Constraints: 38534 1218.25/1221.25 c #Conflicts: 258000 | #Constraints: 39534 1218.25/1221.25 c #Conflicts: 259000 | #Constraints: 40534 1218.25/1221.25 c #Conflicts: 260000 | #Constraints: 41534 1218.25/1221.25 c #Conflicts: 261000 | #Constraints: 42534 1218.25/1221.25 c #Conflicts: 262000 | #Constraints: 43534 1218.25/1221.25 c #Conflicts: 263000 | #Constraints: 44534 1218.25/1221.25 c #Conflicts: 264000 | #Constraints: 45534 1218.25/1221.25 c #Conflicts: 265000 | #Constraints: 46534 1218.25/1221.25 c #Conflicts: 266000 | #Constraints: 47534 1218.25/1221.25 c #Conflicts: 267000 | #Constraints: 48534 1218.25/1221.25 c #Conflicts: 268000 | #Constraints: 49534 1218.25/1221.25 c #Conflicts: 269000 | #Constraints: 50534 1218.25/1221.25 c #Conflicts: 270000 | #Constraints: 51534 1218.25/1221.25 c #Conflicts: 271000 | #Constraints: 52534 1218.25/1221.25 c #Conflicts: 272000 | #Constraints: 53534 1218.25/1221.25 c #Conflicts: 273000 | #Constraints: 54534 1218.25/1221.25 c #Conflicts: 274000 | #Constraints: 55534 1218.25/1221.25 c #Conflicts: 275000 | #Constraints: 56534 1218.25/1221.25 c #Conflicts: 276000 | #Constraints: 57534 1218.25/1221.25 c #Conflicts: 277000 | #Constraints: 58534 1218.25/1221.25 c #Conflicts: 278000 | #Constraints: 59534 1218.25/1221.25 c #Conflicts: 279000 | #Constraints: 60534 1218.25/1221.25 c #Conflicts: 280000 | #Constraints: 61534 1218.25/1221.25 c #Conflicts: 281000 | #Constraints: 62534 1218.25/1221.25 c #Conflicts: 282000 | #Constraints: 63534 1218.25/1221.25 c #Conflicts: 283000 | #Constraints: 64535 1218.25/1221.25 c #Conflicts: 284000 | #Constraints: 65535 1218.25/1221.25 c #Conflicts: 285000 | #Constraints: 66535 1218.25/1221.25 c #Conflicts: 286000 | #Constraints: 67535 1218.25/1221.25 c #Conflicts: 287000 | #Constraints: 68535 1218.25/1221.25 c #Conflicts: 288000 | #Constraints: 69535 1218.25/1221.25 c #Conflicts: 289000 | #Constraints: 70535 1218.25/1221.25 c #Conflicts: 290000 | #Constraints: 71535 1218.25/1221.25 c INPROCESSING 1218.25/1221.25 c GARBAGE COLLECT 1218.25/1221.25 c rational objective 143 1411.59/1415.06 c #Conflicts: 291000 | #Constraints: 45864 1411.59/1415.06 c #Conflicts: 292000 | #Constraints: 46864 1411.59/1415.06 c #Conflicts: 293000 | #Constraints: 47864 1411.59/1415.06 c #Conflicts: 294000 | #Constraints: 48864 1411.59/1415.06 c #Conflicts: 295000 | #Constraints: 49864 1411.59/1415.06 c #Conflicts: 296000 | #Constraints: 50864 1411.59/1415.06 c #Conflicts: 297000 | #Constraints: 51864 1411.59/1415.06 c #Conflicts: 298000 | #Constraints: 52864 1411.59/1415.06 c #Conflicts: 299000 | #Constraints: 53864 1411.59/1415.06 c #Conflicts: 300000 | #Constraints: 54864 1411.59/1415.06 c #Conflicts: 301000 | #Constraints: 55864 1411.59/1415.06 c #Conflicts: 302000 | #Constraints: 56864 1411.59/1415.06 c #Conflicts: 303000 | #Constraints: 57864 1411.59/1415.06 c #Conflicts: 304000 | #Constraints: 58864 1411.59/1415.06 c INPROCESSING 1411.59/1415.06 c GARBAGE COLLECT 1411.59/1415.06 c #Conflicts: 305000 | #Constraints: 39696 1411.59/1415.06 c #Conflicts: 306000 | #Constraints: 40696 1411.59/1415.06 c #Conflicts: 307000 | #Constraints: 41696 1411.59/1415.06 c #Conflicts: 308000 | #Constraints: 42696 1411.59/1415.06 c #Conflicts: 309000 | #Constraints: 43696 1411.59/1415.06 c #Conflicts: 310000 | #Constraints: 44696 1411.59/1415.06 c #Conflicts: 311000 | #Constraints: 45696 1411.59/1415.06 c #Conflicts: 312000 | #Constraints: 46696 1411.59/1415.06 c #Conflicts: 313000 | #Constraints: 47696 1411.59/1415.06 c #Conflicts: 314000 | #Constraints: 48696 1411.59/1415.06 c #Conflicts: 315000 | #Constraints: 49696 1411.59/1415.06 c #Conflicts: 316000 | #Constraints: 50697 1411.59/1415.06 c #Conflicts: 317000 | #Constraints: 51698 1411.59/1415.06 c #Conflicts: 318000 | #Constraints: 52698 1411.59/1415.06 c #Conflicts: 319000 | #Constraints: 53699 1411.59/1415.06 c #Conflicts: 320000 | #Constraints: 54699 1411.59/1415.06 c #Conflicts: 321000 | #Constraints: 55699 1411.59/1415.06 c #Conflicts: 322000 | #Constraints: 56699 1411.59/1415.06 c #Conflicts: 323000 | #Constraints: 57699 1411.59/1415.06 c #Conflicts: 324000 | #Constraints: 58699 1411.59/1415.06 c #Conflicts: 325000 | #Constraints: 59699 1411.59/1415.06 c #Conflicts: 326000 | #Constraints: 60700 1411.59/1415.06 c #Conflicts: 327000 | #Constraints: 61700 1411.59/1415.06 c #Conflicts: 328000 | #Constraints: 62702 1411.59/1415.06 c #Conflicts: 329000 | #Constraints: 63702 1411.59/1415.06 c #Conflicts: 330000 | #Constraints: 64702 1411.59/1415.06 c #Conflicts: 331000 | #Constraints: 65702 1411.59/1415.06 c #Conflicts: 332000 | #Constraints: 66702 1411.59/1415.06 c #Conflicts: 333000 | #Constraints: 67702 1411.59/1415.06 c #Conflicts: 334000 | #Constraints: 68702 1411.59/1415.06 c #Conflicts: 335000 | #Constraints: 69702 1411.59/1415.06 c #Conflicts: 336000 | #Constraints: 70702 1411.59/1415.06 c #Conflicts: 337000 | #Constraints: 71702 1411.59/1415.06 c #Conflicts: 338000 | #Constraints: 72703 1411.59/1415.06 c #Conflicts: 339000 | #Constraints: 73703 1411.59/1415.06 c #Conflicts: 340000 | #Constraints: 74704 1411.59/1415.06 c #Conflicts: 341000 | #Constraints: 75704 1411.59/1415.06 c #Conflicts: 342000 | #Constraints: 76704 1411.59/1415.06 c INPROCESSING 1411.59/1415.06 c GARBAGE COLLECT 1411.59/1415.06 c rational objective 143 1820.50/1824.96 c #Conflicts: 343000 | #Constraints: 48277 1820.50/1824.96 c #Conflicts: 344000 | #Constraints: 49277 1820.50/1824.96 c #Conflicts: 345000 | #Constraints: 50277 1820.50/1824.96 c #Conflicts: 346000 | #Constraints: 51277 1820.50/1824.96 c #Conflicts: 347000 | #Constraints: 52277 1820.50/1824.96 c #Conflicts: 348000 | #Constraints: 53277 1820.50/1824.96 c #Conflicts: 349000 | #Constraints: 54277 1820.50/1824.96 c #Conflicts: 350000 | #Constraints: 55277 1820.50/1824.96 c #Conflicts: 351000 | #Constraints: 56277 1820.50/1824.96 c #Conflicts: 352000 | #Constraints: 57277 1820.50/1824.96 c #Conflicts: 353000 | #Constraints: 58277 1820.50/1824.96 c #Conflicts: 354000 | #Constraints: 59277 1820.50/1824.96 c #Conflicts: 355000 | #Constraints: 60277 1820.50/1824.96 c #Conflicts: 356000 | #Constraints: 61277 1820.50/1824.96 c #Conflicts: 357000 | #Constraints: 62277 1820.50/1824.96 c #Conflicts: 358000 | #Constraints: 63277 1820.50/1824.96 c INPROCESSING 1820.50/1824.96 c GARBAGE COLLECT 1820.50/1824.96 c #Conflicts: 359000 | #Constraints: 41891 1820.50/1824.96 c #Conflicts: 360000 | #Constraints: 42892 1820.50/1824.96 c #Conflicts: 361000 | #Constraints: 43892 1820.50/1824.96 c #Conflicts: 362000 | #Constraints: 44892 1820.50/1824.96 c #Conflicts: 363000 | #Constraints: 45892 1820.50/1824.96 c #Conflicts: 364000 | #Constraints: 46892 1820.50/1824.96 c #Conflicts: 365000 | #Constraints: 47892 1820.50/1824.96 c #Conflicts: 366000 | #Constraints: 48892 1820.50/1824.96 c #Conflicts: 367000 | #Constraints: 49892 1820.50/1824.96 c #Conflicts: 368000 | #Constraints: 50892 1820.50/1824.96 c #Conflicts: 369000 | #Constraints: 51892 1820.50/1824.96 c #Conflicts: 370000 | #Constraints: 52892 1820.50/1824.96 c #Conflicts: 371000 | #Constraints: 53892 1820.50/1824.96 c #Conflicts: 372000 | #Constraints: 54892 1820.50/1824.96 c #Conflicts: 373000 | #Constraints: 55892 1820.50/1824.96 c #Conflicts: 374000 | #Constraints: 56892 1820.50/1824.96 c #Conflicts: 375000 | #Constraints: 57892 1820.50/1824.96 c #Conflicts: 376000 | #Constraints: 58892 1820.50/1824.96 c #Conflicts: 377000 | #Constraints: 59892 1820.50/1824.96 c #Conflicts: 378000 | #Constraints: 60892 1820.50/1824.96 c #Conflicts: 379000 | #Constraints: 61892 1820.50/1824.96 c #Conflicts: 380000 | #Constraints: 62892 1820.50/1824.96 c #Conflicts: 381000 | #Constraints: 63892 1820.50/1824.96 c #Conflicts: 382000 | #Constraints: 64892 1820.50/1824.96 c #Conflicts: 383000 | #Constraints: 65892 1820.50/1824.96 c #Conflicts: 384000 | #Constraints: 66892 1820.50/1824.96 c #Conflicts: 385000 | #Constraints: 67892 1820.50/1824.96 c #Conflicts: 386000 | #Constraints: 68892 1820.50/1824.96 c #Conflicts: 387000 | #Constraints: 69892 1820.50/1824.96 c #Conflicts: 388000 | #Constraints: 70892 1820.50/1824.96 c #Conflicts: 389000 | #Constraints: 71892 1820.50/1824.96 c #Conflicts: 390000 | #Constraints: 72892 1820.50/1824.96 c #Conflicts: 391000 | #Constraints: 73892 1820.50/1824.96 c #Conflicts: 392000 | #Constraints: 74892 1820.50/1824.96 c #Conflicts: 393000 | #Constraints: 75892 1820.50/1824.96 c #Conflicts: 394000 | #Constraints: 76892 1820.50/1824.96 c #Conflicts: 395000 | #Constraints: 77892 1820.50/1824.96 c #Conflicts: 396000 | #Constraints: 78892 1820.50/1824.96 c #Conflicts: 397000 | #Constraints: 79892 1820.50/1824.96 c #Conflicts: 398000 | #Constraints: 80892 1820.50/1824.96 c #Conflicts: 399000 | #Constraints: 81892 1820.50/1824.96 c #Conflicts: 400000 | #Constraints: 82892 1820.50/1824.96 c INPROCESSING 1820.50/1824.96 c GARBAGE COLLECT 1820.50/1824.96 c #Conflicts: 401000 | #Constraints: 51760 1820.50/1824.96 c #Conflicts: 402000 | #Constraints: 52760 1820.50/1824.96 c #Conflicts: 403000 | #Constraints: 53761 1820.50/1824.96 c #Conflicts: 404000 | #Constraints: 54761 1820.50/1824.96 c #Conflicts: 405000 | #Constraints: 55761 1820.50/1824.96 c #Conflicts: 406000 | #Constraints: 56761 1820.50/1824.96 c #Conflicts: 407000 | #Constraints: 57761 1820.50/1824.96 c #Conflicts: 408000 | #Constraints: 58761 1820.50/1824.96 c #Conflicts: 409000 | #Constraints: 59761 1820.50/1824.96 c #Conflicts: 410000 | #Constraints: 60761 1820.50/1824.96 c #Conflicts: 411000 | #Constraints: 61761 1820.50/1824.96 c #Conflicts: 412000 | #Constraints: 62761 1820.50/1824.96 c #Conflicts: 413000 | #Constraints: 63761 1820.50/1824.96 c #Conflicts: 414000 | #Constraints: 64761 1820.50/1824.96 c #Conflicts: 415000 | #Constraints: 65761 1820.50/1824.96 c #Conflicts: 416000 | #Constraints: 66762 1820.50/1824.96 c #Conflicts: 417000 | #Constraints: 67762 1820.50/1824.96 c INPROCESSING 1820.50/1824.96 c GARBAGE COLLECT 1820.50/1824.96 c #Conflicts: 418000 | #Constraints: 43758 1820.50/1824.96 c #Conflicts: 419000 | #Constraints: 44758 2063.33/2068.32 c #Conflicts: 420000 | #Constraints: 45758 2063.33/2068.32 c #Conflicts: 421000 | #Constraints: 46758 2063.33/2068.32 c #Conflicts: 422000 | #Constraints: 47758 2063.33/2068.32 c #Conflicts: 423000 | #Constraints: 48758 2063.33/2068.32 c #Conflicts: 424000 | #Constraints: 49758 2063.33/2068.32 c #Conflicts: 425000 | #Constraints: 50759 2063.33/2068.32 c #Conflicts: 426000 | #Constraints: 51759 2063.33/2068.32 c #Conflicts: 427000 | #Constraints: 52759 2063.33/2068.32 c #Conflicts: 428000 | #Constraints: 53759 2063.33/2068.32 c #Conflicts: 429000 | #Constraints: 54759 2063.33/2068.32 c #Conflicts: 430000 | #Constraints: 55759 2063.33/2068.32 c #Conflicts: 431000 | #Constraints: 56759 2063.33/2068.32 c #Conflicts: 432000 | #Constraints: 57759 2063.33/2068.32 c #Conflicts: 433000 | #Constraints: 58759 2063.33/2068.32 c #Conflicts: 434000 | #Constraints: 59759 2063.33/2068.32 c #Conflicts: 435000 | #Constraints: 60759 2063.33/2068.32 c #Conflicts: 436000 | #Constraints: 61759 2063.33/2068.32 c #Conflicts: 437000 | #Constraints: 62759 2063.33/2068.32 c #Conflicts: 438000 | #Constraints: 63759 2063.33/2068.32 c #Conflicts: 439000 | #Constraints: 64759 2063.33/2068.32 c #Conflicts: 440000 | #Constraints: 65759 2063.33/2068.32 c #Conflicts: 441000 | #Constraints: 66759 2063.33/2068.32 c #Conflicts: 442000 | #Constraints: 67759 2063.33/2068.32 c #Conflicts: 443000 | #Constraints: 68759 2063.33/2068.32 c #Conflicts: 444000 | #Constraints: 69760 2063.33/2068.32 c #Conflicts: 445000 | #Constraints: 70760 2063.33/2068.32 c #Conflicts: 446000 | #Constraints: 71760 2063.33/2068.32 c #Conflicts: 447000 | #Constraints: 72760 2063.33/2068.32 c #Conflicts: 448000 | #Constraints: 73760 2063.33/2068.32 c #Conflicts: 449000 | #Constraints: 74760 2063.33/2068.32 c #Conflicts: 450000 | #Constraints: 75760 2063.33/2068.32 c #Conflicts: 451000 | #Constraints: 76760 2063.33/2068.32 c #Conflicts: 452000 | #Constraints: 77760 2063.33/2068.32 c #Conflicts: 453000 | #Constraints: 78760 2063.33/2068.32 c #Conflicts: 454000 | #Constraints: 79760 2063.33/2068.32 c #Conflicts: 455000 | #Constraints: 80760 2063.33/2068.32 c #Conflicts: 456000 | #Constraints: 81760 2063.33/2068.32 c #Conflicts: 457000 | #Constraints: 82761 2063.33/2068.32 c #Conflicts: 458000 | #Constraints: 83761 2063.33/2068.32 c #Conflicts: 459000 | #Constraints: 84761 2063.33/2068.32 c #Conflicts: 460000 | #Constraints: 85761 2063.33/2068.32 c #Conflicts: 461000 | #Constraints: 86761 2063.33/2068.32 c INPROCESSING 2063.33/2068.32 c GARBAGE COLLECT 2063.33/2068.32 c #Conflicts: 462000 | #Constraints: 53002 2063.33/2068.32 c #Conflicts: 463000 | #Constraints: 54002 2063.33/2068.32 c #Conflicts: 464000 | #Constraints: 55002 2063.33/2068.32 c #Conflicts: 465000 | #Constraints: 56002 2063.33/2068.32 c #Conflicts: 466000 | #Constraints: 57002 2063.33/2068.32 c #Conflicts: 467000 | #Constraints: 58002 2063.33/2068.32 c #Conflicts: 468000 | #Constraints: 59002 2063.33/2068.32 c #Conflicts: 469000 | #Constraints: 60002 2063.33/2068.32 c #Conflicts: 470000 | #Constraints: 61002 2063.33/2068.32 c #Conflicts: 471000 | #Constraints: 62003 2063.33/2068.32 c #Conflicts: 472000 | #Constraints: 63003 2063.33/2068.32 c #Conflicts: 473000 | #Constraints: 64003 2063.33/2068.32 c #Conflicts: 474000 | #Constraints: 65003 2063.33/2068.32 c #Conflicts: 475000 | #Constraints: 66003 2063.33/2068.32 c #Conflicts: 476000 | #Constraints: 67003 2063.33/2068.32 c #Conflicts: 477000 | #Constraints: 68003 2063.33/2068.32 c #Conflicts: 478000 | #Constraints: 69003 2063.33/2068.32 c #Conflicts: 479000 | #Constraints: 70003 2063.33/2068.32 c #Conflicts: 480000 | #Constraints: 71003 2063.33/2068.32 c INPROCESSING 2063.33/2068.32 c GARBAGE COLLECT 2063.33/2068.32 c #Conflicts: 481000 | #Constraints: 45481 2063.33/2068.32 c #Conflicts: 482000 | #Constraints: 46481 2063.33/2068.32 c #Conflicts: 483000 | #Constraints: 47481 2063.33/2068.32 c #Conflicts: 484000 | #Constraints: 48481 2063.33/2068.32 c #Conflicts: 485000 | #Constraints: 49481 2063.33/2068.32 c #Conflicts: 486000 | #Constraints: 50481 2063.33/2068.32 c #Conflicts: 487000 | #Constraints: 51482 2063.33/2068.32 c #Conflicts: 488000 | #Constraints: 52482 2063.33/2068.32 c #Conflicts: 489000 | #Constraints: 53482 2063.33/2068.32 c #Conflicts: 490000 | #Constraints: 54482 2063.33/2068.32 c #Conflicts: 491000 | #Constraints: 55482 2063.33/2068.32 c #Conflicts: 492000 | #Constraints: 56482 2063.33/2068.32 c #Conflicts: 493000 | #Constraints: 57482 2063.33/2068.32 c #Conflicts: 494000 | #Constraints: 58482 2063.33/2068.32 c #Conflicts: 495000 | #Constraints: 59482 2063.33/2068.32 c #Conflicts: 496000 | #Constraints: 60483 2063.33/2068.32 c #Conflicts: 497000 | #Constraints: 61483 2252.09/2257.55 c #Conflicts: 498000 | #Constraints: 62483 2252.09/2257.55 c #Conflicts: 499000 | #Constraints: 63483 2252.09/2257.55 c #Conflicts: 500000 | #Constraints: 64483 2252.09/2257.55 c #Conflicts: 501000 | #Constraints: 65483 2252.09/2257.55 c #Conflicts: 502000 | #Constraints: 66483 2252.09/2257.55 c #Conflicts: 503000 | #Constraints: 67483 2252.09/2257.55 c #Conflicts: 504000 | #Constraints: 68483 2252.09/2257.55 c #Conflicts: 505000 | #Constraints: 69483 2252.09/2257.55 c #Conflicts: 506000 | #Constraints: 70483 2252.09/2257.55 c #Conflicts: 507000 | #Constraints: 71483 2252.09/2257.55 c #Conflicts: 508000 | #Constraints: 72483 2252.09/2257.55 c #Conflicts: 509000 | #Constraints: 73483 2252.09/2257.55 c #Conflicts: 510000 | #Constraints: 74483 2252.09/2257.55 c #Conflicts: 511000 | #Constraints: 75483 2252.09/2257.55 c #Conflicts: 512000 | #Constraints: 76483 2252.09/2257.55 c #Conflicts: 513000 | #Constraints: 77483 2252.09/2257.55 c #Conflicts: 514000 | #Constraints: 78483 2252.09/2257.55 c #Conflicts: 515000 | #Constraints: 79483 2252.09/2257.55 c #Conflicts: 516000 | #Constraints: 80483 2252.09/2257.55 c #Conflicts: 517000 | #Constraints: 81483 2252.09/2257.55 c #Conflicts: 518000 | #Constraints: 82483 2252.09/2257.55 c #Conflicts: 519000 | #Constraints: 83484 2252.09/2257.55 c #Conflicts: 520000 | #Constraints: 84484 2252.09/2257.55 c #Conflicts: 521000 | #Constraints: 85484 2252.09/2257.55 c #Conflicts: 522000 | #Constraints: 86484 2252.09/2257.55 c #Conflicts: 523000 | #Constraints: 87484 2252.09/2257.55 c #Conflicts: 524000 | #Constraints: 88484 2252.09/2257.55 c #Conflicts: 525000 | #Constraints: 89484 2252.09/2257.55 c #Conflicts: 526000 | #Constraints: 90484 2252.09/2257.55 c #Conflicts: 527000 | #Constraints: 91484 2252.09/2257.55 c #Conflicts: 528000 | #Constraints: 92484 2252.09/2257.55 c INPROCESSING 2252.09/2257.55 c GARBAGE COLLECT 2252.09/2257.55 c rational objective 143 2341.58/2347.23 c #Conflicts: 529000 | #Constraints: 56285 2341.58/2347.23 c #Conflicts: 530000 | #Constraints: 57285 2341.58/2347.23 c #Conflicts: 531000 | #Constraints: 58285 2341.58/2347.23 c #Conflicts: 532000 | #Constraints: 59285 2341.58/2347.23 c #Conflicts: 533000 | #Constraints: 60285 2341.58/2347.23 c #Conflicts: 534000 | #Constraints: 61285 2341.58/2347.23 c #Conflicts: 535000 | #Constraints: 62285 2341.58/2347.23 c #Conflicts: 536000 | #Constraints: 63285 2341.58/2347.23 c #Conflicts: 537000 | #Constraints: 64285 2341.58/2347.23 c #Conflicts: 538000 | #Constraints: 65285 2341.58/2347.23 c #Conflicts: 539000 | #Constraints: 66285 2341.58/2347.23 c #Conflicts: 540000 | #Constraints: 67285 2341.58/2347.23 c #Conflicts: 541000 | #Constraints: 68285 2341.58/2347.23 c #Conflicts: 542000 | #Constraints: 69285 2341.58/2347.23 c #Conflicts: 543000 | #Constraints: 70285 2341.58/2347.23 c #Conflicts: 544000 | #Constraints: 71285 2341.58/2347.23 c #Conflicts: 545000 | #Constraints: 72285 2341.58/2347.23 c #Conflicts: 546000 | #Constraints: 73285 2341.58/2347.23 c #Conflicts: 547000 | #Constraints: 74286 2341.58/2347.23 c INPROCESSING 2341.58/2347.23 c GARBAGE COLLECT 2341.58/2347.23 c rational objective 143 2509.46/2515.53 c #Conflicts: 548000 | #Constraints: 47101 2509.46/2515.53 c #Conflicts: 549000 | #Constraints: 48101 2509.46/2515.53 c #Conflicts: 550000 | #Constraints: 49101 2509.46/2515.53 c #Conflicts: 551000 | #Constraints: 50101 2509.46/2515.53 c #Conflicts: 552000 | #Constraints: 51101 2509.46/2515.53 c #Conflicts: 553000 | #Constraints: 52101 2509.46/2515.53 c #Conflicts: 554000 | #Constraints: 53101 2509.46/2515.53 c #Conflicts: 555000 | #Constraints: 54101 2509.46/2515.53 c #Conflicts: 556000 | #Constraints: 55101 2509.46/2515.53 c #Conflicts: 557000 | #Constraints: 56101 2509.46/2515.53 c #Conflicts: 558000 | #Constraints: 57101 2509.46/2515.53 c #Conflicts: 559000 | #Constraints: 58101 2509.46/2515.53 c #Conflicts: 560000 | #Constraints: 59101 2509.46/2515.53 c #Conflicts: 561000 | #Constraints: 60102 2509.46/2515.53 c #Conflicts: 562000 | #Constraints: 61102 2509.46/2515.53 c #Conflicts: 563000 | #Constraints: 62102 2509.46/2515.53 c #Conflicts: 564000 | #Constraints: 63102 2509.46/2515.53 c #Conflicts: 565000 | #Constraints: 64102 2509.46/2515.53 c #Conflicts: 566000 | #Constraints: 65102 2509.46/2515.53 c #Conflicts: 567000 | #Constraints: 66102 2509.46/2515.53 c #Conflicts: 568000 | #Constraints: 67102 2509.46/2515.53 c #Conflicts: 569000 | #Constraints: 68102 2509.46/2515.53 c #Conflicts: 570000 | #Constraints: 69103 2509.46/2515.53 c #Conflicts: 571000 | #Constraints: 70103 2509.46/2515.53 c #Conflicts: 572000 | #Constraints: 71104 2509.46/2515.53 c #Conflicts: 573000 | #Constraints: 72104 2509.46/2515.53 c #Conflicts: 574000 | #Constraints: 73104 2509.46/2515.53 c #Conflicts: 575000 | #Constraints: 74104 2509.46/2515.53 c #Conflicts: 576000 | #Constraints: 75104 2509.46/2515.53 c #Conflicts: 577000 | #Constraints: 76104 2509.46/2515.53 c #Conflicts: 578000 | #Constraints: 77105 2509.46/2515.53 c #Conflicts: 579000 | #Constraints: 78105 2509.46/2515.53 c #Conflicts: 580000 | #Constraints: 79105 2509.46/2515.53 c #Conflicts: 581000 | #Constraints: 80105 2509.46/2515.53 c #Conflicts: 582000 | #Constraints: 81105 2509.46/2515.53 c #Conflicts: 583000 | #Constraints: 82105 2509.46/2515.53 c #Conflicts: 584000 | #Constraints: 83105 2509.46/2515.53 c #Conflicts: 585000 | #Constraints: 84105 2509.46/2515.53 c #Conflicts: 586000 | #Constraints: 85105 2509.46/2515.53 c #Conflicts: 587000 | #Constraints: 86105 2509.46/2515.53 c #Conflicts: 588000 | #Constraints: 87105 2509.46/2515.53 c #Conflicts: 589000 | #Constraints: 88105 2509.46/2515.53 c #Conflicts: 590000 | #Constraints: 89105 2509.46/2515.53 c #Conflicts: 591000 | #Constraints: 90105 2509.46/2515.53 c #Conflicts: 592000 | #Constraints: 91106 2509.46/2515.53 c #Conflicts: 593000 | #Constraints: 92106 2509.46/2515.53 c #Conflicts: 594000 | #Constraints: 93106 2509.46/2515.53 c #Conflicts: 595000 | #Constraints: 94106 2509.46/2515.53 c #Conflicts: 596000 | #Constraints: 95107 2509.46/2515.53 c #Conflicts: 597000 | #Constraints: 96107 2509.46/2515.53 c #Conflicts: 598000 | #Constraints: 97107 2509.46/2515.53 c INPROCESSING 2509.46/2515.53 c GARBAGE COLLECT 2509.46/2515.53 c rational objective 143 2851.51/2858.44 c #Conflicts: 599000 | #Constraints: 58406 2851.51/2858.44 c #Conflicts: 600000 | #Constraints: 59406 2851.51/2858.44 c #Conflicts: 601000 | #Constraints: 60406 2851.51/2858.44 c #Conflicts: 602000 | #Constraints: 61406 2851.51/2858.44 c #Conflicts: 603000 | #Constraints: 62407 2851.51/2858.44 c #Conflicts: 604000 | #Constraints: 63407 2851.51/2858.44 c #Conflicts: 605000 | #Constraints: 64407 2851.51/2858.44 c #Conflicts: 606000 | #Constraints: 65407 2851.51/2858.44 c #Conflicts: 607000 | #Constraints: 66407 2851.51/2858.44 c #Conflicts: 608000 | #Constraints: 67407 2851.51/2858.44 c #Conflicts: 609000 | #Constraints: 68407 2851.51/2858.44 c #Conflicts: 610000 | #Constraints: 69407 2851.51/2858.44 c #Conflicts: 611000 | #Constraints: 70407 2851.51/2858.44 c #Conflicts: 612000 | #Constraints: 71407 2851.51/2858.44 c #Conflicts: 613000 | #Constraints: 72407 2851.51/2858.44 c #Conflicts: 614000 | #Constraints: 73407 2851.51/2858.44 c #Conflicts: 615000 | #Constraints: 74407 2851.51/2858.44 c #Conflicts: 616000 | #Constraints: 75407 2851.51/2858.44 c #Conflicts: 617000 | #Constraints: 76407 2851.51/2858.44 c #Conflicts: 618000 | #Constraints: 77407 2851.51/2858.44 c #Conflicts: 619000 | #Constraints: 78407 2851.51/2858.44 c INPROCESSING 2851.51/2858.44 c GARBAGE COLLECT 2851.51/2858.44 c rational objective 143 3037.55/3044.92 c #Conflicts: 620000 | #Constraints: 49436 3037.55/3044.92 c #Conflicts: 621000 | #Constraints: 50436 3037.55/3044.92 c #Conflicts: 622000 | #Constraints: 51436 3037.55/3044.92 c #Conflicts: 623000 | #Constraints: 52436 3037.55/3044.92 c #Conflicts: 624000 | #Constraints: 53436 3037.55/3044.92 c #Conflicts: 625000 | #Constraints: 54436 3037.55/3044.92 c #Conflicts: 626000 | #Constraints: 55436 3037.55/3044.92 c #Conflicts: 627000 | #Constraints: 56436 3037.55/3044.92 c #Conflicts: 628000 | #Constraints: 57436 3037.55/3044.92 c #Conflicts: 629000 | #Constraints: 58436 3037.55/3044.92 c #Conflicts: 630000 | #Constraints: 59436 3037.55/3044.92 c #Conflicts: 631000 | #Constraints: 60436 3037.55/3044.92 c #Conflicts: 632000 | #Constraints: 61436 3037.55/3044.92 c #Conflicts: 633000 | #Constraints: 62436 3037.55/3044.92 c #Conflicts: 634000 | #Constraints: 63437 3037.55/3044.92 c #Conflicts: 635000 | #Constraints: 64437 3037.55/3044.92 c #Conflicts: 636000 | #Constraints: 65437 3037.55/3044.92 c #Conflicts: 637000 | #Constraints: 66438 3037.55/3044.92 c #Conflicts: 638000 | #Constraints: 67438 3037.55/3044.92 c #Conflicts: 639000 | #Constraints: 68438 3037.55/3044.92 c #Conflicts: 640000 | #Constraints: 69438 3037.55/3044.92 c #Conflicts: 641000 | #Constraints: 70439 3037.55/3044.92 c #Conflicts: 642000 | #Constraints: 71439 3037.55/3044.92 c #Conflicts: 643000 | #Constraints: 72439 3037.55/3044.92 c #Conflicts: 644000 | #Constraints: 73439 3037.55/3044.92 c #Conflicts: 645000 | #Constraints: 74439 3037.55/3044.92 c #Conflicts: 646000 | #Constraints: 75440 3037.55/3044.92 c #Conflicts: 647000 | #Constraints: 76440 3037.55/3044.92 c #Conflicts: 648000 | #Constraints: 77440 3037.55/3044.92 c #Conflicts: 649000 | #Constraints: 78440 3037.55/3044.92 c #Conflicts: 650000 | #Constraints: 79440 3037.55/3044.92 c #Conflicts: 651000 | #Constraints: 80440 3037.55/3044.92 c #Conflicts: 652000 | #Constraints: 81441 3037.55/3044.92 c #Conflicts: 653000 | #Constraints: 82442 3037.55/3044.92 c #Conflicts: 654000 | #Constraints: 83442 3037.55/3044.92 c #Conflicts: 655000 | #Constraints: 84442 3037.55/3044.92 c #Conflicts: 656000 | #Constraints: 85443 3037.55/3044.92 c #Conflicts: 657000 | #Constraints: 86443 3037.55/3044.92 c #Conflicts: 658000 | #Constraints: 87443 3037.55/3044.92 c #Conflicts: 659000 | #Constraints: 88443 3037.55/3044.92 c #Conflicts: 660000 | #Constraints: 89444 3037.55/3044.92 c #Conflicts: 661000 | #Constraints: 90444 3037.55/3044.92 c #Conflicts: 662000 | #Constraints: 91444 3037.55/3044.92 c #Conflicts: 663000 | #Constraints: 92444 3037.55/3044.92 c #Conflicts: 664000 | #Constraints: 93444 3037.55/3044.92 c #Conflicts: 665000 | #Constraints: 94445 3037.55/3044.92 c #Conflicts: 666000 | #Constraints: 95445 3037.55/3044.92 c #Conflicts: 667000 | #Constraints: 96445 3037.55/3044.92 c #Conflicts: 668000 | #Constraints: 97445 3037.55/3044.92 c #Conflicts: 669000 | #Constraints: 98445 3037.55/3044.92 c #Conflicts: 670000 | #Constraints: 99445 3037.55/3044.92 c #Conflicts: 671000 | #Constraints: 100445 3037.55/3044.92 c #Conflicts: 672000 | #Constraints: 101445 3037.55/3044.92 c #Conflicts: 673000 | #Constraints: 102445 3037.55/3044.92 c INPROCESSING 3037.55/3044.92 c GARBAGE COLLECT 3037.55/3044.92 c #Conflicts: 674000 | #Constraints: 61291 3037.55/3044.92 c #Conflicts: 675000 | #Constraints: 62291 3037.55/3044.92 c #Conflicts: 676000 | #Constraints: 63291 3037.55/3044.92 c #Conflicts: 677000 | #Constraints: 64291 3037.55/3044.92 c #Conflicts: 678000 | #Constraints: 65291 3037.55/3044.92 c #Conflicts: 679000 | #Constraints: 66291 3037.55/3044.92 c #Conflicts: 680000 | #Constraints: 67292 3037.55/3044.92 c #Conflicts: 681000 | #Constraints: 68292 3037.55/3044.92 c #Conflicts: 682000 | #Constraints: 69292 3037.55/3044.92 c #Conflicts: 683000 | #Constraints: 70292 3037.55/3044.92 c #Conflicts: 684000 | #Constraints: 71292 3037.55/3044.92 c #Conflicts: 685000 | #Constraints: 72292 3037.55/3044.92 c #Conflicts: 686000 | #Constraints: 73292 3037.55/3044.92 c #Conflicts: 687000 | #Constraints: 74292 3037.55/3044.92 c #Conflicts: 688000 | #Constraints: 75292 3037.55/3044.92 c #Conflicts: 689000 | #Constraints: 76292 3037.55/3044.92 c #Conflicts: 690000 | #Constraints: 77292 3037.55/3044.92 c #Conflicts: 691000 | #Constraints: 78292 3037.55/3044.92 c #Conflicts: 692000 | #Constraints: 79292 3037.55/3044.92 c #Conflicts: 693000 | #Constraints: 80292 3037.55/3044.92 c #Conflicts: 694000 | #Constraints: 81292 3037.55/3044.92 c #Conflicts: 695000 | #Constraints: 82292 3037.55/3044.92 c INPROCESSING 3037.55/3044.92 c GARBAGE COLLECT 3037.55/3044.92 c #Conflicts: 696000 | #Constraints: 51475 3037.55/3044.92 c #Conflicts: 697000 | #Constraints: 52475 3277.90/3285.84 c #Conflicts: 698000 | #Constraints: 53475 3277.90/3285.84 c #Conflicts: 699000 | #Constraints: 54475 3277.90/3285.84 c #Conflicts: 700000 | #Constraints: 55476 3277.90/3285.84 c #Conflicts: 701000 | #Constraints: 56476 3277.90/3285.84 c #Conflicts: 702000 | #Constraints: 57476 3277.90/3285.84 c #Conflicts: 703000 | #Constraints: 58476 3277.90/3285.84 c #Conflicts: 704000 | #Constraints: 59476 3277.90/3285.84 c #Conflicts: 705000 | #Constraints: 60476 3277.90/3285.84 c #Conflicts: 706000 | #Constraints: 61476 3277.90/3285.84 c #Conflicts: 707000 | #Constraints: 62476 3277.90/3285.84 c #Conflicts: 708000 | #Constraints: 63476 3277.90/3285.84 c #Conflicts: 709000 | #Constraints: 64476 3277.90/3285.84 c #Conflicts: 710000 | #Constraints: 65476 3277.90/3285.84 c #Conflicts: 711000 | #Constraints: 66476 3277.90/3285.84 c #Conflicts: 712000 | #Constraints: 67476 3277.90/3285.84 c #Conflicts: 713000 | #Constraints: 68476 3277.90/3285.84 c #Conflicts: 714000 | #Constraints: 69476 3277.90/3285.84 c #Conflicts: 715000 | #Constraints: 70476 3277.90/3285.84 c #Conflicts: 716000 | #Constraints: 71476 3277.90/3285.84 c #Conflicts: 717000 | #Constraints: 72476 3277.90/3285.84 c #Conflicts: 718000 | #Constraints: 73476 3277.90/3285.84 c #Conflicts: 719000 | #Constraints: 74476 3277.90/3285.84 c #Conflicts: 720000 | #Constraints: 75476 3277.90/3285.84 c #Conflicts: 721000 | #Constraints: 76477 3277.90/3285.84 c #Conflicts: 722000 | #Constraints: 77477 3277.90/3285.84 c #Conflicts: 723000 | #Constraints: 78477 3277.90/3285.84 c #Conflicts: 724000 | #Constraints: 79477 3277.90/3285.84 c #Conflicts: 725000 | #Constraints: 80477 3277.90/3285.84 c #Conflicts: 726000 | #Constraints: 81477 3277.90/3285.84 c #Conflicts: 727000 | #Constraints: 82477 3277.90/3285.84 c #Conflicts: 728000 | #Constraints: 83477 3277.90/3285.84 c #Conflicts: 729000 | #Constraints: 84477 3277.90/3285.84 c #Conflicts: 730000 | #Constraints: 85477 3277.90/3285.84 c #Conflicts: 731000 | #Constraints: 86477 3277.90/3285.84 c #Conflicts: 732000 | #Constraints: 87477 3277.90/3285.84 c #Conflicts: 733000 | #Constraints: 88477 3277.90/3285.84 c #Conflicts: 734000 | #Constraints: 89477 3277.90/3285.84 c #Conflicts: 735000 | #Constraints: 90477 3277.90/3285.84 c #Conflicts: 736000 | #Constraints: 91477 3277.90/3285.84 c #Conflicts: 737000 | #Constraints: 92478 3277.90/3285.84 c #Conflicts: 738000 | #Constraints: 93478 3277.90/3285.84 c #Conflicts: 739000 | #Constraints: 94478 3277.90/3285.84 c #Conflicts: 740000 | #Constraints: 95478 3277.90/3285.84 c #Conflicts: 741000 | #Constraints: 96478 3277.90/3285.84 c #Conflicts: 742000 | #Constraints: 97478 3277.90/3285.84 c #Conflicts: 743000 | #Constraints: 98478 3277.90/3285.84 c #Conflicts: 744000 | #Constraints: 99478 3277.90/3285.84 c #Conflicts: 745000 | #Constraints: 100478 3277.90/3285.84 c #Conflicts: 746000 | #Constraints: 101478 3277.90/3285.84 c #Conflicts: 747000 | #Constraints: 102479 3277.90/3285.84 c #Conflicts: 748000 | #Constraints: 103479 3277.90/3285.84 c #Conflicts: 749000 | #Constraints: 104479 3277.90/3285.84 c #Conflicts: 750000 | #Constraints: 105479 3277.90/3285.84 c #Conflicts: 751000 | #Constraints: 106479 3277.90/3285.84 c #Conflicts: 752000 | #Constraints: 107479 3277.90/3285.84 c INPROCESSING 3277.90/3285.84 c GARBAGE COLLECT 3277.90/3285.84 c rational objective 143 3493.39/3501.81 c #Conflicts: 753000 | #Constraints: 63794 3493.39/3501.81 c #Conflicts: 754000 | #Constraints: 64794 3493.39/3501.81 c #Conflicts: 755000 | #Constraints: 65794 3493.39/3501.81 c #Conflicts: 756000 | #Constraints: 66794 3493.39/3501.81 c #Conflicts: 757000 | #Constraints: 67794 3493.39/3501.81 c #Conflicts: 758000 | #Constraints: 68794 3493.39/3501.81 c #Conflicts: 759000 | #Constraints: 69794 3493.39/3501.81 c #Conflicts: 760000 | #Constraints: 70794 3493.39/3501.81 c #Conflicts: 761000 | #Constraints: 71795 3493.39/3501.81 c #Conflicts: 762000 | #Constraints: 72796 3493.39/3501.81 c #Conflicts: 763000 | #Constraints: 73796 3493.39/3501.81 c #Conflicts: 764000 | #Constraints: 74796 3493.39/3501.81 c #Conflicts: 765000 | #Constraints: 75796 3493.39/3501.81 c #Conflicts: 766000 | #Constraints: 76796 3493.39/3501.81 c #Conflicts: 767000 | #Constraints: 77796 3493.39/3501.81 c #Conflicts: 768000 | #Constraints: 78796 3493.39/3501.81 c #Conflicts: 769000 | #Constraints: 79796 3493.39/3501.81 c #Conflicts: 770000 | #Constraints: 80796 3493.39/3501.81 c #Conflicts: 771000 | #Constraints: 81796 3493.39/3501.81 c #Conflicts: 772000 | #Constraints: 82797 3493.39/3501.81 c #Conflicts: 773000 | #Constraints: 83797 3493.39/3501.81 c #Conflicts: 774000 | #Constraints: 84797 3493.39/3501.81 c #Conflicts: 775000 | #Constraints: 85797 3493.39/3501.81 c #Conflicts: 776000 | #Constraints: 86797 3493.39/3501.81 c INPROCESSING 3493.39/3501.81 c GARBAGE COLLECT 3493.39/3501.81 c #Conflicts: 777000 | #Constraints: 53885 3493.39/3501.81 c #Conflicts: 778000 | #Constraints: 54885 3493.39/3501.81 c #Conflicts: 779000 | #Constraints: 55885 3493.39/3501.81 c #Conflicts: 780000 | #Constraints: 56885 3493.39/3501.81 c #Conflicts: 781000 | #Constraints: 57885 3493.39/3501.81 c #Conflicts: 782000 | #Constraints: 58885 3493.39/3501.81 c #Conflicts: 783000 | #Constraints: 59885 3493.39/3501.81 c #Conflicts: 784000 | #Constraints: 60885 3493.39/3501.81 c #Conflicts: 785000 | #Constraints: 61886 3493.39/3501.81 c #Conflicts: 786000 | #Constraints: 62886 3493.39/3501.81 c #Conflicts: 787000 | #Constraints: 63886 3493.39/3501.81 c #Conflicts: 788000 | #Constraints: 64886 3493.39/3501.81 c #Conflicts: 789000 | #Constraints: 65886 3493.39/3501.81 c #Conflicts: 790000 | #Constraints: 66886 3493.39/3501.81 c #Conflicts: 791000 | #Constraints: 67886 3493.39/3501.81 c #Conflicts: 792000 | #Constraints: 68886 3493.39/3501.81 c #Conflicts: 793000 | #Constraints: 69886 3493.39/3501.81 c #Conflicts: 794000 | #Constraints: 70886 3493.39/3501.81 c #Conflicts: 795000 | #Constraints: 71886 3493.39/3501.81 c #Conflicts: 796000 | #Constraints: 72886 3493.39/3501.81 c #Conflicts: 797000 | #Constraints: 73886 3493.39/3501.81 c #Conflicts: 798000 | #Constraints: 74886 3493.39/3501.81 c #Conflicts: 799000 | #Constraints: 75886 3493.39/3501.81 c #Conflicts: 800000 | #Constraints: 76886 3493.39/3501.81 c #Conflicts: 801000 | #Constraints: 77886 3493.39/3501.81 c #Conflicts: 802000 | #Constraints: 78886 3493.39/3501.81 c #Conflicts: 803000 | #Constraints: 79886 3493.39/3501.81 c #Conflicts: 804000 | #Constraints: 80886 3493.39/3501.81 c #Conflicts: 805000 | #Constraints: 81886 3493.39/3501.81 c #Conflicts: 806000 | #Constraints: 82886 3493.39/3501.81 c #Conflicts: 807000 | #Constraints: 83886 3493.39/3501.81 c #Conflicts: 808000 | #Constraints: 84886 3493.39/3501.81 c #Conflicts: 809000 | #Constraints: 85887 3493.39/3501.81 c #Conflicts: 810000 | #Constraints: 86887 3493.39/3501.81 c #Conflicts: 811000 | #Constraints: 87887 3493.39/3501.81 c #Conflicts: 812000 | #Constraints: 88887 3493.39/3501.81 c #Conflicts: 813000 | #Constraints: 89887 3493.39/3501.81 c #Conflicts: 814000 | #Constraints: 90888 3493.39/3501.81 c #Conflicts: 815000 | #Constraints: 91888 3493.39/3501.81 c #Conflicts: 816000 | #Constraints: 92888 3493.39/3501.81 c #Conflicts: 817000 | #Constraints: 93888 3493.39/3501.81 c #Conflicts: 818000 | #Constraints: 94888 3493.39/3501.81 c #Conflicts: 819000 | #Constraints: 95888 3493.39/3501.81 c #Conflicts: 820000 | #Constraints: 96888 3493.39/3501.81 c #Conflicts: 821000 | #Constraints: 97888 3493.39/3501.81 c #Conflicts: 822000 | #Constraints: 98888 3493.39/3501.81 c #Conflicts: 823000 | #Constraints: 99888 3493.39/3501.81 c #Conflicts: 824000 | #Constraints: 100888 3493.39/3501.81 c #Conflicts: 825000 | #Constraints: 101888 3493.39/3501.81 c #Conflicts: 826000 | #Constraints: 102888 3493.39/3501.81 c #Conflicts: 827000 | #Constraints: 103888 3493.39/3501.81 c #Conflicts: 828000 | #Constraints: 104888 3493.39/3501.81 c #Conflicts: 829000 | #Constraints: 105888 3493.39/3501.81 c #Conflicts: 830000 | #Constraints: 106888 3493.39/3501.81 c #Conflicts: 831000 | #Constraints: 107888 3513.55/3522.07 c #Conflicts: 832000 | #Constraints: 108888 3513.55/3522.07 c #Conflicts: 833000 | #Constraints: 109888 3513.55/3522.07 c #Conflicts: 834000 | #Constraints: 110888 3513.55/3522.07 c #Conflicts: 835000 | #Constraints: 111888 3513.55/3522.07 c #Conflicts: 836000 | #Constraints: 112888 3513.55/3522.07 c INPROCESSING 3513.55/3522.07 c GARBAGE COLLECT 3513.55/3522.07 c rational objective 143
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 (62707 MiB free)
memory of node 1: 64473 MiB (60606 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463064-1722344944/watcher-4463064-1722344944 -o /tmp/evaluation-result-4463064-1722344944/solver-4463064-1722344944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722340763-7478 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463064-1722344944 --lp-cut-gomory=0 HOME/instance-4463064-1722344944.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=9918, runsolver pid=9915
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.15 4.13 4.07 5/256 9919
/proc/meminfo: memFree=126262896/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=47840 memory=16804 CPUtime=0.07 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 4095 0 0 0 6 1 0 0 20 0 1 0 1096284 48988160 4201 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 11960 4201 1669 992 0 3818 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 47840 KiB
Current children cumulated memory: 16804 KiB
[startup+0.205409 s]*
/proc/loadavg: 4.15 4.13 4.07 5/256 9919
/proc/meminfo: memFree=126244444/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=67880 memory=33856 CPUtime=0.18 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 8830 0 0 0 16 2 0 0 20 0 1 0 1096284 69509120 8464 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 16970 8464 1717 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.30534 s]*
/proc/loadavg: 4.15 4.13 4.07 5/256 9919
/proc/meminfo: memFree=126243296/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=68220 memory=34648 CPUtime=0.28 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 9020 0 0 0 26 2 0 0 20 0 1 0 1096284 69857280 8662 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 17055 8662 1717 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.700214 s]
/proc/loadavg: 4.15 4.13 4.07 5/256 9919
/proc/meminfo: memFree=126239124/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=70008 memory=37012 CPUtime=0.66 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 9641 0 0 0 64 2 0 0 20 0 1 0 1096284 71688192 9253 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 17502 9253 1717 992 0 9360 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 70008 KiB
Current children cumulated memory: 37012 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.13 4.07 5/256 9919
/proc/meminfo: memFree=126236128/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=71100 memory=40492 CPUtime=1.47 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 9944 0 0 0 141 6 0 0 20 0 1 0 1096284 72806400 10123 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 17775 10123 1747 992 0 9633 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 71100 KiB
Current children cumulated memory: 40492 KiB
[startup+3.10536 s]
/proc/loadavg: 4.15 4.13 4.07 5/256 9919
/proc/meminfo: memFree=126219856/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=73200 memory=42916 CPUtime=3.06 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 10517 0 0 0 294 12 0 0 20 0 1 0 1096284 74956800 10729 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 18300 10729 1762 992 0 10158 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 73200 KiB
Current children cumulated memory: 42916 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.13 4.07 5/256 9921
/proc/meminfo: memFree=126205556/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=74884 memory=45024 CPUtime=6.24 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 11068 0 0 0 611 13 0 0 20 0 1 0 1096284 76681216 11256 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 18721 11256 1762 992 0 10579 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 74884 KiB
Current children cumulated memory: 45024 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.07 5/256 9921
/proc/meminfo: memFree=126169228/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=80308 memory=50648 CPUtime=12.63 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 11922 0 0 0 1233 30 0 0 20 0 1 0 1096284 82235392 12662 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 20077 12662 1818 992 0 11935 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 80308 KiB
Current children cumulated memory: 50648 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.12 4.07 5/256 9924
/proc/meminfo: memFree=126110668/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=85212 memory=52420 CPUtime=25.4 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 12342 0 0 0 2501 39 0 0 20 0 1 0 1096284 87257088 13105 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 21303 13105 1850 992 0 13161 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 85212 KiB
Current children cumulated memory: 52420 KiB
[startup+51.1054 s]
/proc/loadavg: 4.06 4.11 4.07 5/256 9927
/proc/meminfo: memFree=125955184/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=104072 memory=74016 CPUtime=50.95 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 15678 0 0 0 5015 80 0 0 20 0 1 0 1096284 106569728 18504 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 26018 18504 1850 992 0 17876 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 104072 KiB
Current children cumulated memory: 74016 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/257 9939
/proc/meminfo: memFree=125639064/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=145604 memory=100788 CPUtime=102.02 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 19350 0 0 0 10037 165 0 0 20 0 1 0 1096284 149098496 25197 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 36401 25197 1850 992 0 28259 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 145604 KiB
Current children cumulated memory: 100788 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/257 9950
/proc/meminfo: memFree=125333680/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=148624 memory=113180 CPUtime=161.87 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 20375 0 0 0 15976 211 0 0 20 0 1 0 1096284 152190976 28295 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 37156 28295 1850 992 0 29014 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 148624 KiB
Current children cumulated memory: 113180 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/257 9960
/proc/meminfo: memFree=124994204/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=193684 memory=141720 CPUtime=221.72 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 23955 0 0 0 21870 302 0 0 20 0 1 0 1096284 198332416 35430 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 48421 35430 1850 992 0 40279 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 193684 KiB
Current children cumulated memory: 141720 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/258 9971
/proc/meminfo: memFree=124728208/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=196148 memory=145440 CPUtime=281.57 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 24494 0 0 0 27804 353 0 0 20 0 1 0 1096284 200855552 36360 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 49037 36360 1850 992 0 40895 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 196148 KiB
Current children cumulated memory: 145440 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.13 4.09 5/258 9982
/proc/meminfo: memFree=124509628/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=196584 memory=146900 CPUtime=341.42 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 24661 0 0 0 33773 369 0 0 20 0 1 0 1096284 201302016 36725 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 49146 36725 1850 992 0 41004 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 196584 KiB
Current children cumulated memory: 146900 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 9992
/proc/meminfo: memFree=124082860/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=338744 memory=262160 CPUtime=401.28 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 28003 0 0 0 39697 431 0 0 20 0 1 0 1096284 346873856 65540 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 84686 65540 1850 992 0 76544 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 338744 KiB
Current children cumulated memory: 262160 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 10002
/proc/meminfo: memFree=123366588/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=357480 memory=279876 CPUtime=461.15 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 32475 0 0 0 45581 534 0 0 20 0 1 0 1096284 366059520 69969 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 89370 69969 1850 992 0 81228 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.13 4.20 4.16 5/256 11839
/proc/meminfo: memFree=122942272/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=976300 memory=943628 CPUtime=3094.82 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 104434 0 0 0 306739 2743 0 0 20 0 1 0 1096284 999731200 235907 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 244075 235907 1937 992 0 235933 0
Current children cumulated CPU time: 3094.82 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 943628 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.20 4.17 5/256 11861
/proc/meminfo: memFree=122465108/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=976300 memory=949352 CPUtime=3154.68 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 104884 0 0 0 312682 2786 0 0 20 0 1 0 1096284 999731200 237338 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 244075 237338 1937 992 0 235933 0
Current children cumulated CPU time: 3154.68 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949352 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.18 4.16 5/256 12011
/proc/meminfo: memFree=122114472/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=983112 memory=954920 CPUtime=3214.54 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 106774 0 0 0 318621 2833 0 0 20 0 1 0 1096284 1006706688 238730 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 245778 238730 1937 992 0 237636 0
Current children cumulated CPU time: 3214.54 s
Current children cumulated vsize: 983112 KiB
Current children cumulated memory: 954920 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.17 4.16 5/255 12021
/proc/meminfo: memFree=121896172/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=984156 memory=956296 CPUtime=3274.4 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 107140 0 0 0 324588 2852 0 0 20 0 1 0 1096284 1007775744 239074 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 246039 239074 1937 992 0 237897 0
Current children cumulated CPU time: 3274.4 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956296 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.21 4.18 5/255 12032
/proc/meminfo: memFree=121510488/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=984156 memory=956436 CPUtime=3334.26 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 107713 0 0 0 330493 2933 0 0 20 0 1 0 1096284 1007775744 239109 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 246039 239109 1937 992 0 237897 0
Current children cumulated CPU time: 3334.26 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956436 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.22 4.18 5/253 12042
/proc/meminfo: memFree=121171392/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=984156 memory=956436 CPUtime=3394.13 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 108074 0 0 0 336397 3016 0 0 20 0 1 0 1096284 1007775744 239109 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 246039 239109 1937 992 0 237897 0
Current children cumulated CPU time: 3394.13 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956436 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/253 12052
/proc/meminfo: memFree=120899136/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=984156 memory=956436 CPUtime=3453.98 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 108365 0 0 0 342314 3084 0 0 20 0 1 0 1096284 1007775744 239109 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 246039 239109 1937 992 0 237897 0
Current children cumulated CPU time: 3453.98 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/255 12066
/proc/meminfo: memFree=120626168/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=984156 memory=956444 CPUtime=3513.85 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 108689 0 0 0 348259 3126 0 0 20 0 1 0 1096284 1007775744 239111 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 246039 239111 1937 992 0 237897 0
Current children cumulated CPU time: 3513.85 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956444 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/255 12076
/proc/meminfo: memFree=120326076/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=984500 memory=957336 CPUtime=3573.7 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 108984 0 0 0 354170 3200 0 0 20 0 1 0 1096284 1008128000 239334 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 246125 239334 1937 992 0 237983 0
Current children cumulated CPU time: 3573.7 s
Current children cumulated vsize: 984500 KiB
Current children cumulated memory: 957336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.13 4.18 4.18 5/255 12082
/proc/meminfo: memFree=120248768/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=984500 memory=957452 CPUtime=3600.04 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 109041 0 0 0 356792 3212 0 0 20 0 1 0 1096284 1008128000 239363 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 246125 239363 1937 992 0 237983 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 984500 KiB
Current children cumulated memory: 957452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.7 s]
# the end of solver process 9918 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3569.91 s, system=32.1383 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.13 4.18 4.18 5/255 12082
/proc/meminfo: memFree=120244776/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=984500 memory=957452 CPUtime=3600.95 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 109042 0 0 0 356882 3213 0 0 20 0 1 0 1096284 1008128000 239363 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 246125 239363 1937 992 0 237983 0
Current children cumulated CPU time: 3600.95 s
Current children cumulated vsize: 984500 KiB
Current children cumulated memory: 957452 KiB
[startup+3610.4 s]
/proc/loadavg: 4.13 4.18 4.18 5/255 12082
/proc/meminfo: memFree=120241052/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=984500 memory=957452 CPUtime=3601.74 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 109042 0 0 0 356961 3213 0 0 20 0 1 0 1096284 1008128000 239363 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 246125 239363 1937 992 0 237983 0
Current children cumulated CPU time: 3601.74 s
Current children cumulated vsize: 984500 KiB
Current children cumulated memory: 957452 KiB
[startup+3610.6 s]
/proc/loadavg: 4.13 4.18 4.18 5/255 12082
/proc/meminfo: memFree=120241052/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=984500 memory=957452 CPUtime=3601.94 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 109043 0 0 0 356981 3213 0 0 20 0 1 0 1096284 1008128000 239363 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 246125 239363 1937 992 0 237983 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 984500 KiB
Current children cumulated memory: 957452 KiB
[startup+3610.7 s]
/proc/loadavg: 4.13 4.18 4.18 5/255 12082
/proc/meminfo: memFree=120241052/131524600 swapFree=131071996/131071996
[pid=9918] ppid=9915 vsize=984500 memory=957452 CPUtime=3602.04 cores=5,7
/proc/9918/stat : 9918 (roundingsat) R 9915 9918 7465 0 -1 4194304 109048 0 0 0 356991 3213 0 0 20 0 1 0 1096284 1008128000 239363 134679101440 4194304 8255733 140727515171680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34713600 140727515177826 140727515178088 140727515178088 140727515185097 0
/proc/9918/statm: 246125 239363 1937 992 0 237983 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 984500 KiB
Current children cumulated memory: 957452 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.7
CPU time (s): 3602.05
CPU user time (s): 3569.91
CPU system time (s): 32.1383
CPU usage (%): 99.7604
Max. virtual memory (cumulated for all children) (KiB): 984500
Max. memory (cumulated for all children) (KiB): 957452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.91
system time used= 32.1383
maximum resident set size= 957456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13165072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75
involuntary context switches= 3679
# summary of solver processes directly reported to runsolver:
# pid: 9918
# total CPU time (s): 3602.05
# total CPU user time (s): 3569.91
# total CPU system time (s): 32.1383
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49916 second user time and 15.9598 second system time
The end
Begin job on nodeC030 at 2024-07-30 15:09:04 IDJOB=4463064 IDBENCH=158274 IDSOLVER=3089 FILE ID=nodeC030/4463064-1722344944 RUNJOBID= nodeC030-1722340763-7478 SLURM_JOB_ID= 8249003 Free space on /tmp= 890060 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-4463064-1722344944/watcher-4463064-1722344944 -o /tmp/evaluation-result-4463064-1722344944/solver-4463064-1722344944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722340763-7478 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463064-1722344944 --lp-cut-gomory=0 HOME/instance-4463064-1722344944.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5b71eb3fc2b19671b5e391982561b6cd RANDOM SEED=851038885 nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3670.666 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3687.087 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.478 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3634.552 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3670.692 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3658.338 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.342 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3665.820 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126273728 kB MemAvailable: 129629824 kB Buffers: 44576 kB Cached: 4146180 kB SwapCached: 0 kB Active: 162300 kB Inactive: 4609360 kB Active(anon): 1552 kB Inactive(anon): 600752 kB Active(file): 160748 kB Inactive(file): 4008608 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 136644 kB Writeback: 8 kB AnonPages: 580980 kB Mapped: 97980 kB Shmem: 21328 kB KReclaimable: 53128 kB Slab: 136916 kB SReclaimable: 53128 kB SUnreclaim: 83788 kB KernelStack: 4112 kB PageTables: 10396 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 843484 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8416 kB HardwareCorrupted: 0 kB AnonHugePages: 423936 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 221908 kB DirectMap2M: 6891520 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 890056 MiB End job on nodeC030 at 2024-07-30 16:09:15