| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.11 | 3614.71 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K165.opb |
| MD5SUM | 75fbe782de7ac9ce41dec078153ff02c |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 179.209 |
| 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 | 19635 |
| Total number of constraints | 19967 |
| Number of constraints which are clauses | 19802 |
| Number of constraints which are cardinality constraints (but not clauses) | 165 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 165 |
| 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 | 166 |
| 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.16 c #variables 19635 #constraints 19967 99.21/99.68 c #Conflicts: 1000 | #Constraints: 20966 99.21/99.68 c #Conflicts: 2000 | #Constraints: 21966 99.21/99.68 c INPROCESSING 99.21/99.68 c GARBAGE COLLECT 99.21/99.68 c #Conflicts: 3000 | #Constraints: 21219 99.21/99.68 c #Conflicts: 4000 | #Constraints: 22219 99.21/99.68 c INPROCESSING 99.21/99.68 c GARBAGE COLLECT 99.21/99.68 c #Conflicts: 5000 | #Constraints: 21712 99.21/99.68 c #Conflicts: 6000 | #Constraints: 22712 99.21/99.68 c INPROCESSING 99.21/99.68 c GARBAGE COLLECT 99.21/99.68 c #Conflicts: 7000 | #Constraints: 21816 99.21/99.68 c #Conflicts: 8000 | #Constraints: 22816 99.21/99.68 c #Conflicts: 9000 | #Constraints: 23816 99.21/99.68 c #Conflicts: 10000 | #Constraints: 24816 99.21/99.68 c #Conflicts: 11000 | #Constraints: 25816 99.21/99.68 c #Conflicts: 12000 | #Constraints: 26817 99.21/99.68 c INPROCESSING 99.21/99.68 c GARBAGE COLLECT 99.21/99.68 c #Conflicts: 13000 | #Constraints: 23821 99.21/99.68 c #Conflicts: 14000 | #Constraints: 24821 99.21/99.68 c #Conflicts: 15000 | #Constraints: 25821 99.21/99.68 c #Conflicts: 16000 | #Constraints: 26821 99.21/99.68 c INPROCESSING 99.21/99.68 c GARBAGE COLLECT 99.21/99.68 c #Conflicts: 17000 | #Constraints: 24002 99.21/99.68 c #Conflicts: 18000 | #Constraints: 25002 99.21/99.68 c #Conflicts: 19000 | #Constraints: 26002 99.21/99.68 c #Conflicts: 20000 | #Constraints: 27002 99.21/99.68 c #Conflicts: 21000 | #Constraints: 28002 99.21/99.68 c #Conflicts: 22000 | #Constraints: 29002 99.21/99.68 c #Conflicts: 23000 | #Constraints: 30002 99.21/99.68 c #Conflicts: 24000 | #Constraints: 31002 99.21/99.68 c #Conflicts: 25000 | #Constraints: 32002 99.21/99.68 c INPROCESSING 99.21/99.68 c GARBAGE COLLECT 99.21/99.68 c rational objective 165 121.33/121.89 c #Conflicts: 26000 | #Constraints: 26537 121.33/121.89 c #Conflicts: 27000 | #Constraints: 27537 121.33/121.89 c #Conflicts: 28000 | #Constraints: 28537 121.33/121.89 c #Conflicts: 29000 | #Constraints: 29537 121.33/121.89 c #Conflicts: 30000 | #Constraints: 30537 121.33/121.89 c INPROCESSING 121.33/121.89 c GARBAGE COLLECT 121.33/121.89 c rational objective 165 165.78/166.48 c #Conflicts: 31000 | #Constraints: 25971 165.78/166.48 c #Conflicts: 32000 | #Constraints: 26971 165.78/166.48 c #Conflicts: 33000 | #Constraints: 27971 165.78/166.48 c #Conflicts: 34000 | #Constraints: 28971 165.78/166.48 c #Conflicts: 35000 | #Constraints: 29971 165.78/166.48 c #Conflicts: 36000 | #Constraints: 30971 165.78/166.48 c #Conflicts: 37000 | #Constraints: 31971 165.78/166.48 c #Conflicts: 38000 | #Constraints: 32971 165.78/166.48 c #Conflicts: 39000 | #Constraints: 33971 165.78/166.48 c #Conflicts: 40000 | #Constraints: 34971 165.78/166.48 c #Conflicts: 41000 | #Constraints: 35971 165.78/166.48 c #Conflicts: 42000 | #Constraints: 36971 165.78/166.48 c #Conflicts: 43000 | #Constraints: 37971 165.78/166.48 c INPROCESSING 165.78/166.48 c GARBAGE COLLECT 165.78/166.48 c rational objective 165 189.70/190.44 c #Conflicts: 44000 | #Constraints: 29945 189.70/190.44 c #Conflicts: 45000 | #Constraints: 30945 189.70/190.44 c #Conflicts: 46000 | #Constraints: 31945 189.70/190.44 c #Conflicts: 47000 | #Constraints: 32945 189.70/190.44 c #Conflicts: 48000 | #Constraints: 33945 189.70/190.44 c #Conflicts: 49000 | #Constraints: 34945 189.70/190.44 c INPROCESSING 189.70/190.44 c GARBAGE COLLECT 189.70/190.44 c rational objective 165 238.64/239.55 c #Conflicts: 50000 | #Constraints: 28476 238.64/239.55 c #Conflicts: 51000 | #Constraints: 29476 238.64/239.55 c #Conflicts: 52000 | #Constraints: 30476 238.64/239.55 c #Conflicts: 53000 | #Constraints: 31476 238.64/239.55 c #Conflicts: 54000 | #Constraints: 32476 238.64/239.55 c #Conflicts: 55000 | #Constraints: 33476 238.64/239.55 c #Conflicts: 56000 | #Constraints: 34476 238.64/239.55 c #Conflicts: 57000 | #Constraints: 35476 238.64/239.55 c #Conflicts: 58000 | #Constraints: 36476 238.64/239.55 c #Conflicts: 59000 | #Constraints: 37476 238.64/239.55 c #Conflicts: 60000 | #Constraints: 38476 238.64/239.55 c #Conflicts: 61000 | #Constraints: 39476 238.64/239.55 c #Conflicts: 62000 | #Constraints: 40476 238.64/239.55 c #Conflicts: 63000 | #Constraints: 41476 238.64/239.55 c #Conflicts: 64000 | #Constraints: 42476 238.64/239.55 c #Conflicts: 65000 | #Constraints: 43476 238.64/239.55 c INPROCESSING 238.64/239.55 c GARBAGE COLLECT 238.64/239.55 c rational objective 165 417.22/418.74 c #Conflicts: 66000 | #Constraints: 32879 417.22/418.74 c #Conflicts: 67000 | #Constraints: 33879 417.22/418.74 c #Conflicts: 68000 | #Constraints: 34879 417.22/418.74 c #Conflicts: 69000 | #Constraints: 35879 417.22/418.74 c #Conflicts: 70000 | #Constraints: 36879 417.22/418.74 c #Conflicts: 71000 | #Constraints: 37880 417.22/418.74 c #Conflicts: 72000 | #Constraints: 38880 417.22/418.74 c INPROCESSING 417.22/418.74 c GARBAGE COLLECT 417.22/418.74 c #Conflicts: 73000 | #Constraints: 30936 417.22/418.74 c #Conflicts: 74000 | #Constraints: 31936 417.22/418.74 c #Conflicts: 75000 | #Constraints: 32936 417.22/418.74 c #Conflicts: 76000 | #Constraints: 33936 417.22/418.74 c #Conflicts: 77000 | #Constraints: 34936 417.22/418.74 c #Conflicts: 78000 | #Constraints: 35937 417.22/418.74 c #Conflicts: 79000 | #Constraints: 36937 417.22/418.74 c #Conflicts: 80000 | #Constraints: 37937 417.22/418.74 c #Conflicts: 81000 | #Constraints: 38937 417.22/418.74 c #Conflicts: 82000 | #Constraints: 39937 417.22/418.74 c #Conflicts: 83000 | #Constraints: 40937 417.22/418.74 c #Conflicts: 84000 | #Constraints: 41937 417.22/418.74 c #Conflicts: 85000 | #Constraints: 42937 417.22/418.74 c #Conflicts: 86000 | #Constraints: 43937 417.22/418.74 c #Conflicts: 87000 | #Constraints: 44937 417.22/418.74 c #Conflicts: 88000 | #Constraints: 45937 417.22/418.74 c #Conflicts: 89000 | #Constraints: 46937 417.22/418.74 c #Conflicts: 90000 | #Constraints: 47937 417.22/418.74 c #Conflicts: 91000 | #Constraints: 48937 417.22/418.74 c INPROCESSING 417.22/418.74 c GARBAGE COLLECT 417.22/418.74 c rational objective 165 708.56/711.15 c #Conflicts: 92000 | #Constraints: 35658 708.56/711.15 c #Conflicts: 93000 | #Constraints: 36658 708.56/711.15 c #Conflicts: 94000 | #Constraints: 37658 708.56/711.15 c #Conflicts: 95000 | #Constraints: 38658 708.56/711.15 c #Conflicts: 96000 | #Constraints: 39658 708.56/711.15 c #Conflicts: 97000 | #Constraints: 40658 708.56/711.15 c #Conflicts: 98000 | #Constraints: 41658 708.56/711.15 c #Conflicts: 99000 | #Constraints: 42658 708.56/711.15 c #Conflicts: 100000 | #Constraints: 43658 708.56/711.15 c INPROCESSING 708.56/711.15 c GARBAGE COLLECT 708.56/711.15 c #Conflicts: 101000 | #Constraints: 33397 708.56/711.15 c #Conflicts: 102000 | #Constraints: 34397 708.56/711.15 c #Conflicts: 103000 | #Constraints: 35397 708.56/711.15 c #Conflicts: 104000 | #Constraints: 36397 708.56/711.15 c #Conflicts: 105000 | #Constraints: 37397 708.56/711.15 c #Conflicts: 106000 | #Constraints: 38397 708.56/711.15 c #Conflicts: 107000 | #Constraints: 39398 708.56/711.15 c #Conflicts: 108000 | #Constraints: 40398 708.56/711.15 c #Conflicts: 109000 | #Constraints: 41398 708.56/711.15 c #Conflicts: 110000 | #Constraints: 42398 708.56/711.15 c #Conflicts: 111000 | #Constraints: 43398 708.56/711.15 c #Conflicts: 112000 | #Constraints: 44399 708.56/711.15 c #Conflicts: 113000 | #Constraints: 45399 708.56/711.15 c #Conflicts: 114000 | #Constraints: 46399 708.56/711.15 c #Conflicts: 115000 | #Constraints: 47399 708.56/711.15 c #Conflicts: 116000 | #Constraints: 48400 708.56/711.15 c #Conflicts: 117000 | #Constraints: 49400 708.56/711.15 c #Conflicts: 118000 | #Constraints: 50400 708.56/711.15 c #Conflicts: 119000 | #Constraints: 51400 708.56/711.15 c #Conflicts: 120000 | #Constraints: 52400 708.56/711.15 c #Conflicts: 121000 | #Constraints: 53400 708.56/711.15 c INPROCESSING 708.56/711.15 c GARBAGE COLLECT 708.56/711.15 c #Conflicts: 122000 | #Constraints: 37685 708.56/711.15 c #Conflicts: 123000 | #Constraints: 38685 708.56/711.15 c #Conflicts: 124000 | #Constraints: 39685 708.56/711.15 c #Conflicts: 125000 | #Constraints: 40685 708.56/711.15 c #Conflicts: 126000 | #Constraints: 41685 708.56/711.15 c #Conflicts: 127000 | #Constraints: 42686 708.56/711.15 c #Conflicts: 128000 | #Constraints: 43686 708.56/711.15 c #Conflicts: 129000 | #Constraints: 44686 708.56/711.15 c #Conflicts: 130000 | #Constraints: 45686 708.56/711.15 c #Conflicts: 131000 | #Constraints: 46686 708.56/711.15 c #Conflicts: 132000 | #Constraints: 47686 708.56/711.15 c INPROCESSING 708.56/711.15 c GARBAGE COLLECT 708.56/711.15 c #Conflicts: 133000 | #Constraints: 36217 708.56/711.15 c #Conflicts: 134000 | #Constraints: 37217 708.56/711.15 c #Conflicts: 135000 | #Constraints: 38217 708.56/711.15 c #Conflicts: 136000 | #Constraints: 39217 708.56/711.15 c #Conflicts: 137000 | #Constraints: 40217 708.56/711.15 c #Conflicts: 138000 | #Constraints: 41217 708.56/711.15 c #Conflicts: 139000 | #Constraints: 42217 708.56/711.15 c #Conflicts: 140000 | #Constraints: 43217 708.56/711.15 c #Conflicts: 141000 | #Constraints: 44217 708.56/711.15 c #Conflicts: 142000 | #Constraints: 45217 708.56/711.15 c #Conflicts: 143000 | #Constraints: 46217 708.56/711.15 c #Conflicts: 144000 | #Constraints: 47217 708.56/711.15 c #Conflicts: 145000 | #Constraints: 48217 708.56/711.15 c #Conflicts: 146000 | #Constraints: 49217 708.56/711.15 c #Conflicts: 147000 | #Constraints: 50217 708.56/711.15 c #Conflicts: 148000 | #Constraints: 51217 708.56/711.15 c #Conflicts: 149000 | #Constraints: 52217 708.56/711.15 c #Conflicts: 150000 | #Constraints: 53218 708.56/711.15 c #Conflicts: 151000 | #Constraints: 54218 708.56/711.15 c #Conflicts: 152000 | #Constraints: 55218 708.56/711.15 c #Conflicts: 153000 | #Constraints: 56218 708.56/711.15 c #Conflicts: 154000 | #Constraints: 57218 708.56/711.15 c #Conflicts: 155000 | #Constraints: 58218 708.56/711.15 c #Conflicts: 156000 | #Constraints: 59218 708.56/711.15 c INPROCESSING 708.56/711.15 c GARBAGE COLLECT 708.56/711.15 c #Conflicts: 157000 | #Constraints: 40720 708.56/711.15 c #Conflicts: 158000 | #Constraints: 41720 708.56/711.15 c #Conflicts: 159000 | #Constraints: 42720 708.56/711.15 c #Conflicts: 160000 | #Constraints: 43720 708.56/711.15 c #Conflicts: 161000 | #Constraints: 44720 708.56/711.15 c #Conflicts: 162000 | #Constraints: 45720 708.56/711.15 c #Conflicts: 163000 | #Constraints: 46720 708.56/711.15 c #Conflicts: 164000 | #Constraints: 47720 708.56/711.15 c #Conflicts: 165000 | #Constraints: 48720 708.56/711.15 c #Conflicts: 166000 | #Constraints: 49720 708.56/711.15 c #Conflicts: 167000 | #Constraints: 50720 708.56/711.15 c #Conflicts: 168000 | #Constraints: 51720 876.41/879.61 c INPROCESSING 876.41/879.61 c GARBAGE COLLECT 876.41/879.61 c #Conflicts: 169000 | #Constraints: 38183 876.41/879.61 c #Conflicts: 170000 | #Constraints: 39183 876.41/879.61 c #Conflicts: 171000 | #Constraints: 40183 876.41/879.61 c #Conflicts: 172000 | #Constraints: 41183 876.41/879.61 c #Conflicts: 173000 | #Constraints: 42183 876.41/879.61 c #Conflicts: 174000 | #Constraints: 43183 876.41/879.61 c #Conflicts: 175000 | #Constraints: 44183 876.41/879.61 c #Conflicts: 176000 | #Constraints: 45183 876.41/879.61 c #Conflicts: 177000 | #Constraints: 46183 876.41/879.61 c #Conflicts: 178000 | #Constraints: 47183 876.41/879.61 c #Conflicts: 179000 | #Constraints: 48183 876.41/879.61 c #Conflicts: 180000 | #Constraints: 49183 876.41/879.61 c #Conflicts: 181000 | #Constraints: 50183 876.41/879.61 c #Conflicts: 182000 | #Constraints: 51183 876.41/879.61 c #Conflicts: 183000 | #Constraints: 52183 876.41/879.61 c #Conflicts: 184000 | #Constraints: 53183 876.41/879.61 c #Conflicts: 185000 | #Constraints: 54183 876.41/879.61 c #Conflicts: 186000 | #Constraints: 55183 876.41/879.61 c #Conflicts: 187000 | #Constraints: 56183 876.41/879.61 c #Conflicts: 188000 | #Constraints: 57183 876.41/879.61 c #Conflicts: 189000 | #Constraints: 58183 876.41/879.61 c #Conflicts: 190000 | #Constraints: 59183 876.41/879.61 c #Conflicts: 191000 | #Constraints: 60183 876.41/879.61 c #Conflicts: 192000 | #Constraints: 61183 876.41/879.61 c #Conflicts: 193000 | #Constraints: 62183 876.41/879.61 c #Conflicts: 194000 | #Constraints: 63183 876.41/879.61 c #Conflicts: 195000 | #Constraints: 64183 876.41/879.61 c #Conflicts: 196000 | #Constraints: 65183 876.41/879.61 c INPROCESSING 876.41/879.61 c GARBAGE COLLECT 876.41/879.61 c #Conflicts: 197000 | #Constraints: 43870 876.41/879.61 c #Conflicts: 198000 | #Constraints: 44870 876.41/879.61 c #Conflicts: 199000 | #Constraints: 45870 876.41/879.61 c #Conflicts: 200000 | #Constraints: 46871 876.41/879.61 c #Conflicts: 201000 | #Constraints: 47871 876.41/879.61 c #Conflicts: 202000 | #Constraints: 48871 876.41/879.61 c #Conflicts: 203000 | #Constraints: 49871 876.41/879.61 c #Conflicts: 204000 | #Constraints: 50871 876.41/879.61 c #Conflicts: 205000 | #Constraints: 51871 876.41/879.61 c #Conflicts: 206000 | #Constraints: 52871 876.41/879.61 c #Conflicts: 207000 | #Constraints: 53871 876.41/879.61 c #Conflicts: 208000 | #Constraints: 54871 876.41/879.61 c #Conflicts: 209000 | #Constraints: 55871 876.41/879.61 c INPROCESSING 876.41/879.61 c GARBAGE COLLECT 876.41/879.61 c rational objective 165 1095.19/1099.23 c #Conflicts: 210000 | #Constraints: 40649 1095.19/1099.23 c #Conflicts: 211000 | #Constraints: 41649 1095.19/1099.23 c #Conflicts: 212000 | #Constraints: 42649 1095.19/1099.23 c #Conflicts: 213000 | #Constraints: 43649 1095.19/1099.23 c #Conflicts: 214000 | #Constraints: 44649 1095.19/1099.23 c #Conflicts: 215000 | #Constraints: 45649 1095.19/1099.23 c #Conflicts: 216000 | #Constraints: 46650 1095.19/1099.23 c #Conflicts: 217000 | #Constraints: 47650 1095.19/1099.23 c #Conflicts: 218000 | #Constraints: 48651 1095.19/1099.23 c #Conflicts: 219000 | #Constraints: 49651 1095.19/1099.23 c #Conflicts: 220000 | #Constraints: 50651 1095.19/1099.23 c #Conflicts: 221000 | #Constraints: 51651 1095.19/1099.23 c #Conflicts: 222000 | #Constraints: 52652 1095.19/1099.23 c #Conflicts: 223000 | #Constraints: 53652 1095.19/1099.23 c #Conflicts: 224000 | #Constraints: 54653 1095.19/1099.23 c #Conflicts: 225000 | #Constraints: 55653 1095.19/1099.23 c #Conflicts: 226000 | #Constraints: 56654 1095.19/1099.23 c #Conflicts: 227000 | #Constraints: 57654 1095.19/1099.23 c #Conflicts: 228000 | #Constraints: 58654 1095.19/1099.23 c #Conflicts: 229000 | #Constraints: 59654 1095.19/1099.23 c #Conflicts: 230000 | #Constraints: 60655 1095.19/1099.23 c #Conflicts: 231000 | #Constraints: 61655 1095.19/1099.23 c #Conflicts: 232000 | #Constraints: 62655 1095.19/1099.23 c #Conflicts: 233000 | #Constraints: 63656 1095.19/1099.23 c #Conflicts: 234000 | #Constraints: 64656 1095.19/1099.23 c #Conflicts: 235000 | #Constraints: 65656 1095.19/1099.23 c #Conflicts: 236000 | #Constraints: 66656 1095.19/1099.23 c #Conflicts: 237000 | #Constraints: 67657 1095.19/1099.23 c #Conflicts: 238000 | #Constraints: 68657 1095.19/1099.23 c #Conflicts: 239000 | #Constraints: 69657 1095.19/1099.23 c #Conflicts: 240000 | #Constraints: 70658 1095.19/1099.23 c INPROCESSING 1095.19/1099.23 c GARBAGE COLLECT 1095.19/1099.23 c #Conflicts: 241000 | #Constraints: 47101 1095.19/1099.23 c #Conflicts: 242000 | #Constraints: 48101 1095.19/1099.23 c #Conflicts: 243000 | #Constraints: 49101 1095.19/1099.23 c #Conflicts: 244000 | #Constraints: 50101 1095.19/1099.23 c #Conflicts: 245000 | #Constraints: 51101 1095.19/1099.23 c #Conflicts: 246000 | #Constraints: 52101 1095.19/1099.23 c #Conflicts: 247000 | #Constraints: 53101 1095.19/1099.23 c #Conflicts: 248000 | #Constraints: 54101 1095.19/1099.23 c #Conflicts: 249000 | #Constraints: 55101 1095.19/1099.23 c #Conflicts: 250000 | #Constraints: 56101 1095.19/1099.23 c #Conflicts: 251000 | #Constraints: 57101 1095.19/1099.23 c #Conflicts: 252000 | #Constraints: 58101 1095.19/1099.23 c #Conflicts: 253000 | #Constraints: 59101 1095.19/1099.23 c #Conflicts: 254000 | #Constraints: 60101 1095.19/1099.23 c INPROCESSING 1095.19/1099.23 c GARBAGE COLLECT 1095.19/1099.23 c #Conflicts: 255000 | #Constraints: 42806 1095.19/1099.23 c #Conflicts: 256000 | #Constraints: 43806 1095.19/1099.23 c #Conflicts: 257000 | #Constraints: 44806 1095.19/1099.23 c #Conflicts: 258000 | #Constraints: 45806 1095.19/1099.23 c #Conflicts: 259000 | #Constraints: 46806 1095.19/1099.23 c #Conflicts: 260000 | #Constraints: 47806 1095.19/1099.23 c #Conflicts: 261000 | #Constraints: 48806 1095.19/1099.23 c #Conflicts: 262000 | #Constraints: 49806 1095.19/1099.23 c #Conflicts: 263000 | #Constraints: 50806 1095.19/1099.23 c #Conflicts: 264000 | #Constraints: 51806 1095.19/1099.23 c #Conflicts: 265000 | #Constraints: 52806 1095.19/1099.23 c #Conflicts: 266000 | #Constraints: 53806 1095.19/1099.23 c #Conflicts: 267000 | #Constraints: 54806 1095.19/1099.23 c #Conflicts: 268000 | #Constraints: 55806 1095.19/1099.23 c #Conflicts: 269000 | #Constraints: 56806 1095.19/1099.23 c #Conflicts: 270000 | #Constraints: 57806 1095.19/1099.23 c #Conflicts: 271000 | #Constraints: 58806 1095.19/1099.23 c #Conflicts: 272000 | #Constraints: 59806 1095.19/1099.23 c #Conflicts: 273000 | #Constraints: 60806 1095.19/1099.23 c #Conflicts: 274000 | #Constraints: 61806 1095.19/1099.23 c #Conflicts: 275000 | #Constraints: 62806 1095.19/1099.23 c #Conflicts: 276000 | #Constraints: 63806 1095.19/1099.23 c #Conflicts: 277000 | #Constraints: 64806 1095.19/1099.23 c #Conflicts: 278000 | #Constraints: 65806 1095.19/1099.23 c #Conflicts: 279000 | #Constraints: 66806 1095.19/1099.23 c #Conflicts: 280000 | #Constraints: 67806 1095.19/1099.23 c #Conflicts: 281000 | #Constraints: 68806 1095.19/1099.23 c #Conflicts: 282000 | #Constraints: 69806 1095.19/1099.23 c #Conflicts: 283000 | #Constraints: 70806 1095.19/1099.23 c #Conflicts: 284000 | #Constraints: 71806 1095.19/1099.23 c #Conflicts: 285000 | #Constraints: 72806 1095.19/1099.23 c #Conflicts: 286000 | #Constraints: 73806 1095.19/1099.23 c #Conflicts: 287000 | #Constraints: 74806 1100.87/1104.93 c #Conflicts: 288000 | #Constraints: 75806 1100.87/1104.93 c INPROCESSING 1100.87/1104.93 c GARBAGE COLLECT 1100.87/1104.93 c rational objective 165 1155.66/1160.00 c #Conflicts: 289000 | #Constraints: 49502 1155.66/1160.00 c #Conflicts: 290000 | #Constraints: 50502 1155.66/1160.00 c #Conflicts: 291000 | #Constraints: 51502 1155.66/1160.00 c #Conflicts: 292000 | #Constraints: 52502 1155.66/1160.00 c #Conflicts: 293000 | #Constraints: 53502 1155.66/1160.00 c #Conflicts: 294000 | #Constraints: 54503 1155.66/1160.00 c #Conflicts: 295000 | #Constraints: 55504 1155.66/1160.00 c #Conflicts: 296000 | #Constraints: 56504 1155.66/1160.00 c #Conflicts: 297000 | #Constraints: 57504 1155.66/1160.00 c #Conflicts: 298000 | #Constraints: 58504 1155.66/1160.00 c #Conflicts: 299000 | #Constraints: 59504 1155.66/1160.00 c #Conflicts: 300000 | #Constraints: 60504 1155.66/1160.00 c #Conflicts: 301000 | #Constraints: 61504 1155.66/1160.00 c #Conflicts: 302000 | #Constraints: 62504 1155.66/1160.00 c #Conflicts: 303000 | #Constraints: 63504 1155.66/1160.00 c INPROCESSING 1155.66/1160.00 c GARBAGE COLLECT 1155.66/1160.00 c rational objective 165 1402.13/1407.33 c #Conflicts: 304000 | #Constraints: 45028 1402.13/1407.33 c #Conflicts: 305000 | #Constraints: 46029 1402.13/1407.33 c #Conflicts: 306000 | #Constraints: 47030 1402.13/1407.33 c #Conflicts: 307000 | #Constraints: 48030 1402.13/1407.33 c #Conflicts: 308000 | #Constraints: 49031 1402.13/1407.33 c #Conflicts: 309000 | #Constraints: 50031 1402.13/1407.33 c #Conflicts: 310000 | #Constraints: 51031 1402.13/1407.33 c #Conflicts: 311000 | #Constraints: 52031 1402.13/1407.33 c #Conflicts: 312000 | #Constraints: 53031 1402.13/1407.33 c #Conflicts: 313000 | #Constraints: 54031 1402.13/1407.33 c #Conflicts: 314000 | #Constraints: 55031 1402.13/1407.33 c #Conflicts: 315000 | #Constraints: 56031 1402.13/1407.33 c #Conflicts: 316000 | #Constraints: 57032 1402.13/1407.33 c #Conflicts: 317000 | #Constraints: 58032 1402.13/1407.33 c #Conflicts: 318000 | #Constraints: 59032 1402.13/1407.33 c #Conflicts: 319000 | #Constraints: 60032 1402.13/1407.33 c #Conflicts: 320000 | #Constraints: 61032 1402.13/1407.33 c #Conflicts: 321000 | #Constraints: 62032 1402.13/1407.33 c #Conflicts: 322000 | #Constraints: 63032 1402.13/1407.33 c #Conflicts: 323000 | #Constraints: 64032 1402.13/1407.33 c #Conflicts: 324000 | #Constraints: 65032 1402.13/1407.33 c #Conflicts: 325000 | #Constraints: 66032 1402.13/1407.33 c #Conflicts: 326000 | #Constraints: 67032 1402.13/1407.33 c #Conflicts: 327000 | #Constraints: 68032 1402.13/1407.33 c #Conflicts: 328000 | #Constraints: 69033 1402.13/1407.33 c #Conflicts: 329000 | #Constraints: 70033 1402.13/1407.33 c #Conflicts: 330000 | #Constraints: 71033 1402.13/1407.33 c #Conflicts: 331000 | #Constraints: 72033 1402.13/1407.33 c #Conflicts: 332000 | #Constraints: 73033 1402.13/1407.33 c #Conflicts: 333000 | #Constraints: 74033 1402.13/1407.33 c #Conflicts: 334000 | #Constraints: 75033 1402.13/1407.33 c #Conflicts: 335000 | #Constraints: 76033 1402.13/1407.33 c #Conflicts: 336000 | #Constraints: 77033 1402.13/1407.33 c #Conflicts: 337000 | #Constraints: 78033 1402.13/1407.33 c #Conflicts: 338000 | #Constraints: 79033 1402.13/1407.33 c #Conflicts: 339000 | #Constraints: 80033 1402.13/1407.33 c #Conflicts: 340000 | #Constraints: 81033 1402.13/1407.33 c INPROCESSING 1402.13/1407.33 c GARBAGE COLLECT 1402.13/1407.33 c rational objective 165 1642.10/1648.25 c #Conflicts: 341000 | #Constraints: 51831 1642.10/1648.25 c #Conflicts: 342000 | #Constraints: 52831 1642.10/1648.25 c #Conflicts: 343000 | #Constraints: 53831 1642.10/1648.25 c #Conflicts: 344000 | #Constraints: 54831 1642.10/1648.25 c #Conflicts: 345000 | #Constraints: 55831 1642.10/1648.25 c #Conflicts: 346000 | #Constraints: 56831 1642.10/1648.25 c #Conflicts: 347000 | #Constraints: 57831 1642.10/1648.25 c #Conflicts: 348000 | #Constraints: 58831 1642.10/1648.25 c #Conflicts: 349000 | #Constraints: 59831 1642.10/1648.25 c #Conflicts: 350000 | #Constraints: 60831 1642.10/1648.25 c #Conflicts: 351000 | #Constraints: 61832 1642.10/1648.25 c #Conflicts: 352000 | #Constraints: 62833 1642.10/1648.25 c #Conflicts: 353000 | #Constraints: 63833 1642.10/1648.25 c #Conflicts: 354000 | #Constraints: 64833 1642.10/1648.25 c #Conflicts: 355000 | #Constraints: 65833 1642.10/1648.25 c #Conflicts: 356000 | #Constraints: 66833 1642.10/1648.25 c #Conflicts: 357000 | #Constraints: 67833 1642.10/1648.25 c INPROCESSING 1642.10/1648.25 c GARBAGE COLLECT 1642.10/1648.25 c #Conflicts: 358000 | #Constraints: 47912 1642.10/1648.25 c #Conflicts: 359000 | #Constraints: 48912 1642.10/1648.25 c #Conflicts: 360000 | #Constraints: 49912 1642.10/1648.25 c #Conflicts: 361000 | #Constraints: 50912 1642.10/1648.25 c #Conflicts: 362000 | #Constraints: 51912 1642.10/1648.25 c #Conflicts: 363000 | #Constraints: 52912 1642.10/1648.25 c #Conflicts: 364000 | #Constraints: 53912 1642.10/1648.25 c #Conflicts: 365000 | #Constraints: 54912 1642.10/1648.25 c #Conflicts: 366000 | #Constraints: 55912 1642.10/1648.25 c #Conflicts: 367000 | #Constraints: 56912 1642.10/1648.25 c #Conflicts: 368000 | #Constraints: 57912 1642.10/1648.25 c #Conflicts: 369000 | #Constraints: 58912 1642.10/1648.25 c #Conflicts: 370000 | #Constraints: 59912 1642.10/1648.25 c #Conflicts: 371000 | #Constraints: 60912 1642.10/1648.25 c #Conflicts: 372000 | #Constraints: 61912 1642.10/1648.25 c #Conflicts: 373000 | #Constraints: 62913 1642.10/1648.25 c #Conflicts: 374000 | #Constraints: 63913 1642.10/1648.25 c #Conflicts: 375000 | #Constraints: 64913 1642.10/1648.25 c #Conflicts: 376000 | #Constraints: 65913 1642.10/1648.25 c #Conflicts: 377000 | #Constraints: 66913 1642.10/1648.25 c #Conflicts: 378000 | #Constraints: 67913 1642.10/1648.25 c #Conflicts: 379000 | #Constraints: 68913 1642.10/1648.25 c #Conflicts: 380000 | #Constraints: 69913 1642.10/1648.25 c #Conflicts: 381000 | #Constraints: 70913 1642.10/1648.25 c #Conflicts: 382000 | #Constraints: 71913 1642.10/1648.25 c #Conflicts: 383000 | #Constraints: 72913 1642.10/1648.25 c #Conflicts: 384000 | #Constraints: 73913 1642.10/1648.25 c #Conflicts: 385000 | #Constraints: 74914 1642.10/1648.25 c #Conflicts: 386000 | #Constraints: 75914 1642.10/1648.25 c #Conflicts: 387000 | #Constraints: 76914 1642.10/1648.25 c #Conflicts: 388000 | #Constraints: 77914 1642.10/1648.25 c #Conflicts: 389000 | #Constraints: 78914 1642.10/1648.25 c #Conflicts: 390000 | #Constraints: 79914 1642.10/1648.25 c #Conflicts: 391000 | #Constraints: 80914 1642.10/1648.25 c #Conflicts: 392000 | #Constraints: 81914 1642.10/1648.25 c #Conflicts: 393000 | #Constraints: 82914 1642.10/1648.25 c #Conflicts: 394000 | #Constraints: 83914 1642.10/1648.25 c #Conflicts: 395000 | #Constraints: 84914 1642.10/1648.25 c #Conflicts: 396000 | #Constraints: 85914 1642.10/1648.25 c #Conflicts: 397000 | #Constraints: 86914 1642.10/1648.25 c INPROCESSING 1642.10/1648.25 c GARBAGE COLLECT 1642.10/1648.25 c #Conflicts: 398000 | #Constraints: 54770 1642.10/1648.25 c #Conflicts: 399000 | #Constraints: 55771 1642.10/1648.25 c #Conflicts: 400000 | #Constraints: 56771 1642.10/1648.25 c #Conflicts: 401000 | #Constraints: 57772 1642.10/1648.25 c #Conflicts: 402000 | #Constraints: 58772 1642.10/1648.25 c #Conflicts: 403000 | #Constraints: 59772 1642.10/1648.25 c #Conflicts: 404000 | #Constraints: 60773 1642.10/1648.25 c #Conflicts: 405000 | #Constraints: 61773 1642.10/1648.25 c #Conflicts: 406000 | #Constraints: 62773 1642.10/1648.25 c #Conflicts: 407000 | #Constraints: 63773 1642.10/1648.25 c #Conflicts: 408000 | #Constraints: 64774 1642.10/1648.25 c #Conflicts: 409000 | #Constraints: 65774 1642.10/1648.25 c #Conflicts: 410000 | #Constraints: 66774 1642.10/1648.25 c #Conflicts: 411000 | #Constraints: 67774 1642.10/1648.25 c #Conflicts: 412000 | #Constraints: 68774 1642.10/1648.25 c #Conflicts: 413000 | #Constraints: 69774 1642.10/1648.25 c #Conflicts: 414000 | #Constraints: 70774 1642.10/1648.25 c #Conflicts: 415000 | #Constraints: 71774 1642.10/1648.25 c INPROCESSING 1642.10/1648.25 c GARBAGE COLLECT 1642.10/1648.25 c rational objective 165 1921.99/1929.13 c #Conflicts: 416000 | #Constraints: 50383 1921.99/1929.13 c #Conflicts: 417000 | #Constraints: 51383 1921.99/1929.13 c #Conflicts: 418000 | #Constraints: 52383 1921.99/1929.13 c #Conflicts: 419000 | #Constraints: 53383 1921.99/1929.13 c #Conflicts: 420000 | #Constraints: 54383 1921.99/1929.13 c #Conflicts: 421000 | #Constraints: 55383 1921.99/1929.13 c #Conflicts: 422000 | #Constraints: 56383 1921.99/1929.13 c #Conflicts: 423000 | #Constraints: 57383 1921.99/1929.13 c #Conflicts: 424000 | #Constraints: 58383 1921.99/1929.13 c #Conflicts: 425000 | #Constraints: 59383 1921.99/1929.13 c #Conflicts: 426000 | #Constraints: 60383 1921.99/1929.13 c #Conflicts: 427000 | #Constraints: 61383 1921.99/1929.13 c #Conflicts: 428000 | #Constraints: 62383 1921.99/1929.13 c #Conflicts: 429000 | #Constraints: 63383 1921.99/1929.13 c #Conflicts: 430000 | #Constraints: 64383 1921.99/1929.13 c #Conflicts: 431000 | #Constraints: 65383 1921.99/1929.13 c #Conflicts: 432000 | #Constraints: 66383 1921.99/1929.13 c #Conflicts: 433000 | #Constraints: 67384 1921.99/1929.13 c #Conflicts: 434000 | #Constraints: 68384 1921.99/1929.13 c #Conflicts: 435000 | #Constraints: 69384 1921.99/1929.13 c #Conflicts: 436000 | #Constraints: 70384 1921.99/1929.13 c #Conflicts: 437000 | #Constraints: 71384 1921.99/1929.13 c #Conflicts: 438000 | #Constraints: 72384 1921.99/1929.13 c #Conflicts: 439000 | #Constraints: 73384 1921.99/1929.13 c #Conflicts: 440000 | #Constraints: 74384 1921.99/1929.13 c #Conflicts: 441000 | #Constraints: 75384 1921.99/1929.13 c #Conflicts: 442000 | #Constraints: 76384 1921.99/1929.13 c #Conflicts: 443000 | #Constraints: 77384 1921.99/1929.13 c #Conflicts: 444000 | #Constraints: 78384 1921.99/1929.13 c #Conflicts: 445000 | #Constraints: 79384 1921.99/1929.13 c #Conflicts: 446000 | #Constraints: 80384 1921.99/1929.13 c #Conflicts: 447000 | #Constraints: 81384 1921.99/1929.13 c #Conflicts: 448000 | #Constraints: 82384 1921.99/1929.13 c #Conflicts: 449000 | #Constraints: 83384 1921.99/1929.13 c #Conflicts: 450000 | #Constraints: 84384 1921.99/1929.13 c #Conflicts: 451000 | #Constraints: 85384 1921.99/1929.13 c #Conflicts: 452000 | #Constraints: 86384 1921.99/1929.13 c #Conflicts: 453000 | #Constraints: 87384 1921.99/1929.13 c #Conflicts: 454000 | #Constraints: 88384 1921.99/1929.13 c #Conflicts: 455000 | #Constraints: 89384 1921.99/1929.13 c #Conflicts: 456000 | #Constraints: 90384 1921.99/1929.13 c #Conflicts: 457000 | #Constraints: 91384 1921.99/1929.13 c #Conflicts: 458000 | #Constraints: 92384 1921.99/1929.13 c #Conflicts: 459000 | #Constraints: 93385 1921.99/1929.13 c INPROCESSING 1921.99/1929.13 c GARBAGE COLLECT 1921.99/1929.13 c #Conflicts: 460000 | #Constraints: 58262 1921.99/1929.13 c #Conflicts: 461000 | #Constraints: 59262 1921.99/1929.13 c #Conflicts: 462000 | #Constraints: 60262 1921.99/1929.13 c #Conflicts: 463000 | #Constraints: 61262 1921.99/1929.13 c #Conflicts: 464000 | #Constraints: 62262 1921.99/1929.13 c #Conflicts: 465000 | #Constraints: 63262 1921.99/1929.13 c #Conflicts: 466000 | #Constraints: 64262 1921.99/1929.13 c #Conflicts: 467000 | #Constraints: 65262 1921.99/1929.13 c #Conflicts: 468000 | #Constraints: 66262 1921.99/1929.13 c #Conflicts: 469000 | #Constraints: 67262 1921.99/1929.13 c #Conflicts: 470000 | #Constraints: 68262 1921.99/1929.13 c #Conflicts: 471000 | #Constraints: 69262 1921.99/1929.13 c #Conflicts: 472000 | #Constraints: 70262 1921.99/1929.13 c #Conflicts: 473000 | #Constraints: 71262 1921.99/1929.13 c #Conflicts: 474000 | #Constraints: 72262 1921.99/1929.13 c #Conflicts: 475000 | #Constraints: 73262 1921.99/1929.13 c #Conflicts: 476000 | #Constraints: 74263 1921.99/1929.13 c #Conflicts: 477000 | #Constraints: 75263 1921.99/1929.13 c #Conflicts: 478000 | #Constraints: 76263 1921.99/1929.13 c INPROCESSING 1921.99/1929.13 c GARBAGE COLLECT 1921.99/1929.13 c rational objective 165 2060.39/2068.09 c #Conflicts: 479000 | #Constraints: 52126 2060.39/2068.09 c #Conflicts: 480000 | #Constraints: 53126 2060.39/2068.09 c #Conflicts: 481000 | #Constraints: 54126 2060.39/2068.09 c #Conflicts: 482000 | #Constraints: 55126 2060.39/2068.09 c #Conflicts: 483000 | #Constraints: 56126 2060.39/2068.09 c #Conflicts: 484000 | #Constraints: 57126 2060.39/2068.09 c #Conflicts: 485000 | #Constraints: 58126 2060.39/2068.09 c #Conflicts: 486000 | #Constraints: 59126 2060.39/2068.09 c #Conflicts: 487000 | #Constraints: 60126 2060.39/2068.09 c #Conflicts: 488000 | #Constraints: 61126 2060.39/2068.09 c #Conflicts: 489000 | #Constraints: 62126 2060.39/2068.09 c #Conflicts: 490000 | #Constraints: 63127 2060.39/2068.09 c #Conflicts: 491000 | #Constraints: 64127 2060.39/2068.09 c #Conflicts: 492000 | #Constraints: 65127 2060.39/2068.09 c #Conflicts: 493000 | #Constraints: 66127 2060.39/2068.09 c #Conflicts: 494000 | #Constraints: 67127 2060.39/2068.09 c #Conflicts: 495000 | #Constraints: 68127 2060.39/2068.09 c #Conflicts: 496000 | #Constraints: 69127 2060.39/2068.09 c #Conflicts: 497000 | #Constraints: 70127 2060.39/2068.09 c #Conflicts: 498000 | #Constraints: 71127 2060.39/2068.09 c #Conflicts: 499000 | #Constraints: 72127 2060.39/2068.09 c #Conflicts: 500000 | #Constraints: 73127 2060.39/2068.09 c #Conflicts: 501000 | #Constraints: 74127 2060.39/2068.09 c #Conflicts: 502000 | #Constraints: 75127 2060.39/2068.09 c #Conflicts: 503000 | #Constraints: 76127 2060.39/2068.09 c #Conflicts: 504000 | #Constraints: 77127 2060.39/2068.09 c #Conflicts: 505000 | #Constraints: 78127 2060.39/2068.09 c #Conflicts: 506000 | #Constraints: 79127 2060.39/2068.09 c #Conflicts: 507000 | #Constraints: 80127 2060.39/2068.09 c #Conflicts: 508000 | #Constraints: 81128 2060.39/2068.09 c #Conflicts: 509000 | #Constraints: 82128 2060.39/2068.09 c #Conflicts: 510000 | #Constraints: 83128 2060.39/2068.09 c #Conflicts: 511000 | #Constraints: 84128 2060.39/2068.09 c #Conflicts: 512000 | #Constraints: 85128 2060.39/2068.09 c #Conflicts: 513000 | #Constraints: 86128 2060.39/2068.09 c #Conflicts: 514000 | #Constraints: 87128 2060.39/2068.09 c #Conflicts: 515000 | #Constraints: 88128 2060.39/2068.09 c #Conflicts: 516000 | #Constraints: 89128 2060.39/2068.09 c #Conflicts: 517000 | #Constraints: 90128 2060.39/2068.09 c #Conflicts: 518000 | #Constraints: 91128 2060.39/2068.09 c #Conflicts: 519000 | #Constraints: 92128 2060.39/2068.09 c #Conflicts: 520000 | #Constraints: 93128 2060.39/2068.09 c #Conflicts: 521000 | #Constraints: 94128 2060.39/2068.09 c #Conflicts: 522000 | #Constraints: 95128 2060.39/2068.09 c #Conflicts: 523000 | #Constraints: 96128 2060.39/2068.09 c #Conflicts: 524000 | #Constraints: 97128 2060.39/2068.09 c #Conflicts: 525000 | #Constraints: 98128 2060.39/2068.09 c INPROCESSING 2060.39/2068.09 c GARBAGE COLLECT 2060.39/2068.09 c rational objective 165 2096.96/2104.75 c #Conflicts: 526000 | #Constraints: 60987 2096.96/2104.75 c #Conflicts: 527000 | #Constraints: 61987 2096.96/2104.75 c #Conflicts: 528000 | #Constraints: 62987 2096.96/2104.75 c #Conflicts: 529000 | #Constraints: 63987 2096.96/2104.75 c #Conflicts: 530000 | #Constraints: 64987 2096.96/2104.75 c #Conflicts: 531000 | #Constraints: 65987 2096.96/2104.75 c #Conflicts: 532000 | #Constraints: 66987 2096.96/2104.75 c #Conflicts: 533000 | #Constraints: 67987 2096.96/2104.75 c #Conflicts: 534000 | #Constraints: 68987 2096.96/2104.75 c #Conflicts: 535000 | #Constraints: 69988 2096.96/2104.75 c #Conflicts: 536000 | #Constraints: 70989 2096.96/2104.75 c #Conflicts: 537000 | #Constraints: 71989 2096.96/2104.75 c #Conflicts: 538000 | #Constraints: 72989 2096.96/2104.75 c #Conflicts: 539000 | #Constraints: 73989 2096.96/2104.75 c #Conflicts: 540000 | #Constraints: 74989 2096.96/2104.75 c #Conflicts: 541000 | #Constraints: 75989 2096.96/2104.75 c #Conflicts: 542000 | #Constraints: 76989 2096.96/2104.75 c #Conflicts: 543000 | #Constraints: 77989 2096.96/2104.75 c #Conflicts: 544000 | #Constraints: 78989 2096.96/2104.75 c #Conflicts: 545000 | #Constraints: 79989 2096.96/2104.75 c INPROCESSING 2096.96/2104.75 c GARBAGE COLLECT 2096.96/2104.75 c rational objective 165 2330.60/2339.17 c #Conflicts: 546000 | #Constraints: 54257 2330.60/2339.17 c #Conflicts: 547000 | #Constraints: 55257 2330.60/2339.17 c #Conflicts: 548000 | #Constraints: 56257 2330.60/2339.17 c #Conflicts: 549000 | #Constraints: 57257 2330.60/2339.17 c #Conflicts: 550000 | #Constraints: 58257 2330.60/2339.17 c #Conflicts: 551000 | #Constraints: 59257 2330.60/2339.17 c #Conflicts: 552000 | #Constraints: 60257 2330.60/2339.17 c #Conflicts: 553000 | #Constraints: 61257 2330.60/2339.17 c #Conflicts: 554000 | #Constraints: 62257 2330.60/2339.17 c #Conflicts: 555000 | #Constraints: 63257 2330.60/2339.17 c #Conflicts: 556000 | #Constraints: 64257 2330.60/2339.17 c #Conflicts: 557000 | #Constraints: 65258 2330.60/2339.17 c #Conflicts: 558000 | #Constraints: 66258 2330.60/2339.17 c #Conflicts: 559000 | #Constraints: 67258 2330.60/2339.17 c #Conflicts: 560000 | #Constraints: 68258 2330.60/2339.17 c #Conflicts: 561000 | #Constraints: 69258 2330.60/2339.17 c #Conflicts: 562000 | #Constraints: 70258 2330.60/2339.17 c #Conflicts: 563000 | #Constraints: 71258 2330.60/2339.17 c #Conflicts: 564000 | #Constraints: 72258 2330.60/2339.17 c #Conflicts: 565000 | #Constraints: 73258 2330.60/2339.17 c #Conflicts: 566000 | #Constraints: 74258 2330.60/2339.17 c #Conflicts: 567000 | #Constraints: 75258 2330.60/2339.17 c #Conflicts: 568000 | #Constraints: 76258 2330.60/2339.17 c #Conflicts: 569000 | #Constraints: 77258 2330.60/2339.17 c #Conflicts: 570000 | #Constraints: 78258 2330.60/2339.17 c #Conflicts: 571000 | #Constraints: 79259 2330.60/2339.17 c #Conflicts: 572000 | #Constraints: 80259 2330.60/2339.17 c #Conflicts: 573000 | #Constraints: 81259 2330.60/2339.17 c #Conflicts: 574000 | #Constraints: 82259 2330.60/2339.17 c #Conflicts: 575000 | #Constraints: 83259 2330.60/2339.17 c #Conflicts: 576000 | #Constraints: 84259 2330.60/2339.17 c #Conflicts: 577000 | #Constraints: 85259 2330.60/2339.17 c #Conflicts: 578000 | #Constraints: 86259 2330.60/2339.17 c #Conflicts: 579000 | #Constraints: 87259 2330.60/2339.17 c #Conflicts: 580000 | #Constraints: 88259 2330.60/2339.17 c #Conflicts: 581000 | #Constraints: 89259 2330.60/2339.17 c #Conflicts: 582000 | #Constraints: 90259 2330.60/2339.17 c #Conflicts: 583000 | #Constraints: 91260 2330.60/2339.17 c #Conflicts: 584000 | #Constraints: 92260 2330.60/2339.17 c #Conflicts: 585000 | #Constraints: 93260 2330.60/2339.17 c #Conflicts: 586000 | #Constraints: 94260 2330.60/2339.17 c #Conflicts: 587000 | #Constraints: 95260 2330.60/2339.17 c #Conflicts: 588000 | #Constraints: 96260 2330.60/2339.17 c #Conflicts: 589000 | #Constraints: 97260 2330.60/2339.17 c #Conflicts: 590000 | #Constraints: 98260 2330.60/2339.17 c #Conflicts: 591000 | #Constraints: 99260 2330.60/2339.17 c #Conflicts: 592000 | #Constraints: 100260 2330.60/2339.17 c #Conflicts: 593000 | #Constraints: 101260 2330.60/2339.17 c #Conflicts: 594000 | #Constraints: 102260 2330.60/2339.17 c #Conflicts: 595000 | #Constraints: 103260 2330.60/2339.17 c INPROCESSING 2330.60/2339.17 c GARBAGE COLLECT 2330.60/2339.17 c rational objective 165 2410.64/2419.41 c #Conflicts: 596000 | #Constraints: 63266 2410.64/2419.41 c #Conflicts: 597000 | #Constraints: 64266 2410.64/2419.41 c #Conflicts: 598000 | #Constraints: 65266 2410.64/2419.41 c #Conflicts: 599000 | #Constraints: 66267 2410.64/2419.41 c #Conflicts: 600000 | #Constraints: 67268 2410.64/2419.41 c #Conflicts: 601000 | #Constraints: 68269 2410.64/2419.41 c #Conflicts: 602000 | #Constraints: 69269 2410.64/2419.41 c #Conflicts: 603000 | #Constraints: 70269 2410.64/2419.41 c #Conflicts: 604000 | #Constraints: 71269 2410.64/2419.41 c #Conflicts: 605000 | #Constraints: 72269 2410.64/2419.41 c #Conflicts: 606000 | #Constraints: 73269 2410.64/2419.41 c #Conflicts: 607000 | #Constraints: 74269 2410.64/2419.41 c #Conflicts: 608000 | #Constraints: 75269 2410.64/2419.41 c #Conflicts: 609000 | #Constraints: 76269 2410.64/2419.41 c #Conflicts: 610000 | #Constraints: 77269 2410.64/2419.41 c #Conflicts: 611000 | #Constraints: 78269 2410.64/2419.41 c #Conflicts: 612000 | #Constraints: 79269 2410.64/2419.41 c #Conflicts: 613000 | #Constraints: 80269 2410.64/2419.41 c #Conflicts: 614000 | #Constraints: 81269 2410.64/2419.41 c #Conflicts: 615000 | #Constraints: 82269 2410.64/2419.41 c #Conflicts: 616000 | #Constraints: 83269 2410.64/2419.41 c #Conflicts: 617000 | #Constraints: 84269 2410.64/2419.41 c INPROCESSING 2410.64/2419.41 c GARBAGE COLLECT 2410.64/2419.41 c rational objective 165 2677.08/2686.74 c #Conflicts: 618000 | #Constraints: 57341 2677.08/2686.74 c #Conflicts: 619000 | #Constraints: 58341 2677.08/2686.74 c #Conflicts: 620000 | #Constraints: 59341 2677.08/2686.74 c #Conflicts: 621000 | #Constraints: 60341 2677.08/2686.74 c #Conflicts: 622000 | #Constraints: 61341 2677.08/2686.74 c #Conflicts: 623000 | #Constraints: 62342 2677.08/2686.74 c #Conflicts: 624000 | #Constraints: 63342 2677.08/2686.74 c #Conflicts: 625000 | #Constraints: 64342 2677.08/2686.74 c #Conflicts: 626000 | #Constraints: 65342 2677.08/2686.74 c #Conflicts: 627000 | #Constraints: 66342 2677.08/2686.74 c #Conflicts: 628000 | #Constraints: 67342 2677.08/2686.74 c #Conflicts: 629000 | #Constraints: 68342 2677.08/2686.74 c #Conflicts: 630000 | #Constraints: 69342 2677.08/2686.74 c #Conflicts: 631000 | #Constraints: 70342 2677.08/2686.74 c #Conflicts: 632000 | #Constraints: 71342 2677.08/2686.74 c #Conflicts: 633000 | #Constraints: 72342 2677.08/2686.74 c #Conflicts: 634000 | #Constraints: 73342 2677.08/2686.74 c #Conflicts: 635000 | #Constraints: 74342 2677.08/2686.74 c #Conflicts: 636000 | #Constraints: 75343 2677.08/2686.74 c #Conflicts: 637000 | #Constraints: 76343 2677.08/2686.75 c #Conflicts: 638000 | #Constraints: 77343 2677.08/2686.75 c #Conflicts: 639000 | #Constraints: 78343 2677.08/2686.75 c #Conflicts: 640000 | #Constraints: 79343 2677.08/2686.75 c #Conflicts: 641000 | #Constraints: 80343 2677.08/2686.75 c #Conflicts: 642000 | #Constraints: 81343 2677.08/2686.75 c #Conflicts: 643000 | #Constraints: 82343 2677.08/2686.75 c #Conflicts: 644000 | #Constraints: 83343 2677.08/2686.75 c #Conflicts: 645000 | #Constraints: 84343 2677.08/2686.75 c #Conflicts: 646000 | #Constraints: 85343 2677.08/2686.75 c #Conflicts: 647000 | #Constraints: 86343 2677.08/2686.75 c #Conflicts: 648000 | #Constraints: 87343 2677.08/2686.75 c #Conflicts: 649000 | #Constraints: 88343 2677.08/2686.75 c #Conflicts: 650000 | #Constraints: 89344 2677.08/2686.75 c #Conflicts: 651000 | #Constraints: 90344 2677.08/2686.75 c #Conflicts: 652000 | #Constraints: 91344 2677.08/2686.75 c #Conflicts: 653000 | #Constraints: 92344 2677.08/2686.75 c #Conflicts: 654000 | #Constraints: 93344 2677.08/2686.75 c #Conflicts: 655000 | #Constraints: 94344 2677.08/2686.75 c #Conflicts: 656000 | #Constraints: 95344 2677.08/2686.75 c #Conflicts: 657000 | #Constraints: 96344 2677.08/2686.75 c #Conflicts: 658000 | #Constraints: 97344 2677.08/2686.75 c #Conflicts: 659000 | #Constraints: 98344 2677.08/2686.75 c #Conflicts: 660000 | #Constraints: 99344 2677.08/2686.75 c #Conflicts: 661000 | #Constraints: 100344 2677.08/2686.75 c #Conflicts: 662000 | #Constraints: 101345 2677.08/2686.75 c #Conflicts: 663000 | #Constraints: 102345 2677.08/2686.75 c #Conflicts: 664000 | #Constraints: 103345 2677.08/2686.75 c #Conflicts: 665000 | #Constraints: 104345 2677.08/2686.75 c #Conflicts: 666000 | #Constraints: 105345 2677.08/2686.75 c #Conflicts: 667000 | #Constraints: 106345 2677.08/2686.75 c #Conflicts: 668000 | #Constraints: 107345 2677.08/2686.75 c #Conflicts: 669000 | #Constraints: 108345 2677.08/2686.75 c INPROCESSING 2677.08/2686.75 c GARBAGE COLLECT 2677.08/2686.75 c rational objective 165 2724.94/2734.71 c #Conflicts: 670000 | #Constraints: 65631 2724.94/2734.71 c #Conflicts: 671000 | #Constraints: 66631 2724.94/2734.71 c #Conflicts: 672000 | #Constraints: 67631 2724.94/2734.71 c #Conflicts: 673000 | #Constraints: 68631 2724.94/2734.71 c #Conflicts: 674000 | #Constraints: 69631 2724.94/2734.71 c #Conflicts: 675000 | #Constraints: 70631 2724.94/2734.71 c #Conflicts: 676000 | #Constraints: 71631 2724.94/2734.71 c #Conflicts: 677000 | #Constraints: 72631 2724.94/2734.71 c #Conflicts: 678000 | #Constraints: 73631 2724.94/2734.71 c #Conflicts: 679000 | #Constraints: 74631 2724.94/2734.71 c #Conflicts: 680000 | #Constraints: 75631 2724.94/2734.71 c #Conflicts: 681000 | #Constraints: 76631 2724.94/2734.71 c #Conflicts: 682000 | #Constraints: 77631 2724.94/2734.71 c #Conflicts: 683000 | #Constraints: 78631 2724.94/2734.71 c #Conflicts: 684000 | #Constraints: 79631 2724.94/2734.71 c #Conflicts: 685000 | #Constraints: 80631 2724.94/2734.71 c #Conflicts: 686000 | #Constraints: 81631 2724.94/2734.71 c #Conflicts: 687000 | #Constraints: 82631 2724.94/2734.71 c #Conflicts: 688000 | #Constraints: 83631 2724.94/2734.71 c #Conflicts: 689000 | #Constraints: 84631 2724.94/2734.71 c #Conflicts: 690000 | #Constraints: 85631 2724.94/2734.71 c #Conflicts: 691000 | #Constraints: 86631 2724.94/2734.71 c #Conflicts: 692000 | #Constraints: 87631 2724.94/2734.71 c #Conflicts: 693000 | #Constraints: 88631 2724.94/2734.71 c INPROCESSING 2724.94/2734.71 c GARBAGE COLLECT 2724.94/2734.71 c rational objective 165 2860.29/2870.58 c #Conflicts: 694000 | #Constraints: 60502 2860.29/2870.58 c #Conflicts: 695000 | #Constraints: 61502 2860.29/2870.58 c #Conflicts: 696000 | #Constraints: 62502 2860.29/2870.58 c #Conflicts: 697000 | #Constraints: 63502 2860.29/2870.58 c #Conflicts: 698000 | #Constraints: 64502 2860.29/2870.58 c #Conflicts: 699000 | #Constraints: 65502 2860.29/2870.58 c #Conflicts: 700000 | #Constraints: 66503 2860.29/2870.58 c #Conflicts: 701000 | #Constraints: 67503 2860.29/2870.58 c #Conflicts: 702000 | #Constraints: 68503 2860.29/2870.58 c #Conflicts: 703000 | #Constraints: 69503 2860.29/2870.58 c #Conflicts: 704000 | #Constraints: 70503 2860.29/2870.58 c #Conflicts: 705000 | #Constraints: 71503 2860.29/2870.58 c #Conflicts: 706000 | #Constraints: 72503 2860.29/2870.58 c #Conflicts: 707000 | #Constraints: 73503 2860.29/2870.58 c #Conflicts: 708000 | #Constraints: 74503 2860.29/2870.58 c #Conflicts: 709000 | #Constraints: 75503 2860.29/2870.58 c #Conflicts: 710000 | #Constraints: 76503 2860.29/2870.58 c #Conflicts: 711000 | #Constraints: 77504 2860.29/2870.58 c #Conflicts: 712000 | #Constraints: 78504 2860.29/2870.58 c #Conflicts: 713000 | #Constraints: 79504 2860.29/2870.58 c #Conflicts: 714000 | #Constraints: 80504 2860.29/2870.58 c #Conflicts: 715000 | #Constraints: 81504 2860.29/2870.58 c #Conflicts: 716000 | #Constraints: 82504 2860.29/2870.58 c #Conflicts: 717000 | #Constraints: 83504 2860.29/2870.58 c #Conflicts: 718000 | #Constraints: 84504 2860.29/2870.58 c #Conflicts: 719000 | #Constraints: 85504 2860.29/2870.58 c #Conflicts: 720000 | #Constraints: 86505 2860.29/2870.58 c #Conflicts: 721000 | #Constraints: 87505 2860.29/2870.58 c #Conflicts: 722000 | #Constraints: 88505 2860.29/2870.58 c #Conflicts: 723000 | #Constraints: 89505 2860.29/2870.58 c #Conflicts: 724000 | #Constraints: 90505 2860.29/2870.58 c #Conflicts: 725000 | #Constraints: 91505 2860.29/2870.58 c #Conflicts: 726000 | #Constraints: 92505 2860.29/2870.58 c #Conflicts: 727000 | #Constraints: 93505 2860.29/2870.58 c #Conflicts: 728000 | #Constraints: 94505 2860.29/2870.58 c #Conflicts: 729000 | #Constraints: 95505 2860.29/2870.58 c #Conflicts: 730000 | #Constraints: 96505 2860.29/2870.58 c #Conflicts: 731000 | #Constraints: 97505 2860.29/2870.58 c #Conflicts: 732000 | #Constraints: 98505 2860.29/2870.58 c #Conflicts: 733000 | #Constraints: 99505 2860.29/2870.58 c #Conflicts: 734000 | #Constraints: 100505 2860.29/2870.58 c #Conflicts: 735000 | #Constraints: 101505 2860.29/2870.58 c #Conflicts: 736000 | #Constraints: 102505 2860.29/2870.58 c #Conflicts: 737000 | #Constraints: 103505 2860.29/2870.58 c #Conflicts: 738000 | #Constraints: 104505 2860.29/2870.58 c #Conflicts: 739000 | #Constraints: 105505 2860.29/2870.58 c #Conflicts: 740000 | #Constraints: 106505 2860.29/2870.58 c #Conflicts: 741000 | #Constraints: 107505 2860.29/2870.58 c #Conflicts: 742000 | #Constraints: 108505 2860.29/2870.58 c #Conflicts: 743000 | #Constraints: 109505 2860.29/2870.58 c #Conflicts: 744000 | #Constraints: 110505 2860.29/2870.58 c #Conflicts: 745000 | #Constraints: 111505 2860.29/2870.58 c #Conflicts: 746000 | #Constraints: 112505 2860.29/2870.58 c #Conflicts: 747000 | #Constraints: 113505 2860.29/2870.58 c #Conflicts: 748000 | #Constraints: 114505 2860.29/2870.58 c INPROCESSING 2860.29/2870.58 c GARBAGE COLLECT 2860.29/2870.58 c rational objective 165 3022.56/3033.35 c #Conflicts: 749000 | #Constraints: 68921 3022.56/3033.35 c #Conflicts: 750000 | #Constraints: 69921 3022.56/3033.35 c #Conflicts: 751000 | #Constraints: 70921 3022.56/3033.35 c #Conflicts: 752000 | #Constraints: 71922 3022.56/3033.35 c #Conflicts: 753000 | #Constraints: 72922 3022.56/3033.35 c #Conflicts: 754000 | #Constraints: 73922 3022.56/3033.35 c #Conflicts: 755000 | #Constraints: 74922 3022.56/3033.35 c #Conflicts: 756000 | #Constraints: 75922 3022.56/3033.35 c #Conflicts: 757000 | #Constraints: 76922 3022.56/3033.35 c #Conflicts: 758000 | #Constraints: 77922 3022.56/3033.35 c #Conflicts: 759000 | #Constraints: 78922 3022.56/3033.35 c #Conflicts: 760000 | #Constraints: 79922 3022.56/3033.35 c #Conflicts: 761000 | #Constraints: 80922 3022.56/3033.35 c #Conflicts: 762000 | #Constraints: 81922 3022.56/3033.35 c #Conflicts: 763000 | #Constraints: 82922 3022.56/3033.35 c #Conflicts: 764000 | #Constraints: 83922 3022.56/3033.35 c #Conflicts: 765000 | #Constraints: 84922 3022.56/3033.35 c #Conflicts: 766000 | #Constraints: 85922 3022.56/3033.35 c #Conflicts: 767000 | #Constraints: 86922 3022.56/3033.35 c #Conflicts: 768000 | #Constraints: 87923 3022.56/3033.35 c #Conflicts: 769000 | #Constraints: 88923 3022.56/3033.35 c #Conflicts: 770000 | #Constraints: 89923 3022.56/3033.35 c #Conflicts: 771000 | #Constraints: 90923 3022.56/3033.35 c #Conflicts: 772000 | #Constraints: 91923 3022.56/3033.35 c #Conflicts: 773000 | #Constraints: 92923 3022.56/3033.35 c INPROCESSING 3022.56/3033.35 c GARBAGE COLLECT 3022.56/3033.35 c rational objective 165 3242.16/3253.62 c #Conflicts: 774000 | #Constraints: 62383 3242.16/3253.62 c #Conflicts: 775000 | #Constraints: 63383 3242.16/3253.62 c #Conflicts: 776000 | #Constraints: 64383 3242.16/3253.62 c #Conflicts: 777000 | #Constraints: 65383 3242.16/3253.62 c #Conflicts: 778000 | #Constraints: 66383 3242.16/3253.62 c #Conflicts: 779000 | #Constraints: 67383 3242.16/3253.62 c #Conflicts: 780000 | #Constraints: 68383 3242.16/3253.62 c #Conflicts: 781000 | #Constraints: 69383 3242.16/3253.62 c #Conflicts: 782000 | #Constraints: 70384 3242.16/3253.62 c #Conflicts: 783000 | #Constraints: 71384 3242.16/3253.62 c #Conflicts: 784000 | #Constraints: 72385 3242.16/3253.62 c #Conflicts: 785000 | #Constraints: 73385 3242.16/3253.62 c #Conflicts: 786000 | #Constraints: 74385 3242.16/3253.62 c #Conflicts: 787000 | #Constraints: 75385 3242.16/3253.62 c #Conflicts: 788000 | #Constraints: 76385 3242.16/3253.62 c #Conflicts: 789000 | #Constraints: 77385 3242.16/3253.62 c #Conflicts: 790000 | #Constraints: 78386 3242.16/3253.62 c #Conflicts: 791000 | #Constraints: 79386 3242.16/3253.62 c #Conflicts: 792000 | #Constraints: 80386 3242.16/3253.62 c #Conflicts: 793000 | #Constraints: 81386 3242.16/3253.62 c #Conflicts: 794000 | #Constraints: 82386 3242.16/3253.62 c #Conflicts: 795000 | #Constraints: 83386 3242.16/3253.62 c #Conflicts: 796000 | #Constraints: 84386 3242.16/3253.62 c #Conflicts: 797000 | #Constraints: 85386 3242.16/3253.62 c #Conflicts: 798000 | #Constraints: 86386 3242.16/3253.62 c #Conflicts: 799000 | #Constraints: 87386 3242.16/3253.62 c #Conflicts: 800000 | #Constraints: 88386 3242.16/3253.62 c #Conflicts: 801000 | #Constraints: 89386 3242.16/3253.62 c #Conflicts: 802000 | #Constraints: 90386 3242.16/3253.62 c #Conflicts: 803000 | #Constraints: 91386 3242.16/3253.62 c #Conflicts: 804000 | #Constraints: 92386 3242.16/3253.62 c #Conflicts: 805000 | #Constraints: 93386 3242.16/3253.62 c #Conflicts: 806000 | #Constraints: 94386 3242.16/3253.62 c #Conflicts: 807000 | #Constraints: 95386 3242.16/3253.62 c #Conflicts: 808000 | #Constraints: 96386 3242.16/3253.62 c #Conflicts: 809000 | #Constraints: 97386 3242.16/3253.62 c #Conflicts: 810000 | #Constraints: 98386 3242.16/3253.62 c #Conflicts: 811000 | #Constraints: 99386 3242.16/3253.62 c #Conflicts: 812000 | #Constraints: 100387 3242.16/3253.62 c #Conflicts: 813000 | #Constraints: 101387 3242.16/3253.62 c #Conflicts: 814000 | #Constraints: 102387 3242.16/3253.62 c #Conflicts: 815000 | #Constraints: 103387 3242.16/3253.62 c #Conflicts: 816000 | #Constraints: 104387 3242.16/3253.62 c #Conflicts: 817000 | #Constraints: 105387 3242.16/3253.62 c #Conflicts: 818000 | #Constraints: 106387 3242.16/3253.62 c #Conflicts: 819000 | #Constraints: 107387 3242.16/3253.62 c #Conflicts: 820000 | #Constraints: 108388 3242.16/3253.62 c #Conflicts: 821000 | #Constraints: 109388 3242.16/3253.62 c #Conflicts: 822000 | #Constraints: 110388 3242.16/3253.62 c #Conflicts: 823000 | #Constraints: 111388 3242.16/3253.62 c #Conflicts: 824000 | #Constraints: 112388 3242.16/3253.62 c #Conflicts: 825000 | #Constraints: 113388 3242.16/3253.62 c #Conflicts: 826000 | #Constraints: 114388 3242.16/3253.62 c #Conflicts: 827000 | #Constraints: 115388 3242.16/3253.62 c #Conflicts: 828000 | #Constraints: 116388 3242.16/3253.62 c #Conflicts: 829000 | #Constraints: 117388 3242.16/3253.62 c #Conflicts: 830000 | #Constraints: 118388 3242.16/3253.62 c #Conflicts: 831000 | #Constraints: 119388 3242.16/3253.62 c #Conflicts: 832000 | #Constraints: 120388 3242.16/3253.62 c INPROCESSING 3242.16/3253.62 c GARBAGE COLLECT 3242.16/3253.62 c rational objective 165 3338.65/3350.48 c #Conflicts: 833000 | #Constraints: 72176 3338.65/3350.48 c #Conflicts: 834000 | #Constraints: 73176 3338.65/3350.48 c #Conflicts: 835000 | #Constraints: 74176 3338.65/3350.48 c #Conflicts: 836000 | #Constraints: 75176 3338.65/3350.48 c #Conflicts: 837000 | #Constraints: 76176 3338.65/3350.48 c #Conflicts: 838000 | #Constraints: 77176 3338.65/3350.48 c #Conflicts: 839000 | #Constraints: 78176 3338.65/3350.48 c #Conflicts: 840000 | #Constraints: 79176 3338.65/3350.48 c #Conflicts: 841000 | #Constraints: 80176 3338.65/3350.48 c #Conflicts: 842000 | #Constraints: 81176 3338.65/3350.48 c #Conflicts: 843000 | #Constraints: 82176 3338.65/3350.48 c #Conflicts: 844000 | #Constraints: 83176 3338.65/3350.48 c #Conflicts: 845000 | #Constraints: 84176 3338.65/3350.48 c #Conflicts: 846000 | #Constraints: 85176 3338.65/3350.48 c #Conflicts: 847000 | #Constraints: 86176 3338.65/3350.48 c #Conflicts: 848000 | #Constraints: 87176 3338.65/3350.48 c #Conflicts: 849000 | #Constraints: 88176 3338.65/3350.48 c #Conflicts: 850000 | #Constraints: 89176 3338.65/3350.48 c #Conflicts: 851000 | #Constraints: 90176 3338.65/3350.48 c #Conflicts: 852000 | #Constraints: 91176 3338.65/3350.48 c #Conflicts: 853000 | #Constraints: 92177 3338.65/3350.48 c #Conflicts: 854000 | #Constraints: 93177 3338.65/3350.48 c #Conflicts: 855000 | #Constraints: 94177 3338.65/3350.48 c #Conflicts: 856000 | #Constraints: 95177 3338.65/3350.48 c #Conflicts: 857000 | #Constraints: 96177 3338.65/3350.48 c #Conflicts: 858000 | #Constraints: 97177 3338.65/3350.48 c INPROCESSING 3338.65/3350.48 c GARBAGE COLLECT 3338.65/3350.48 c rational objective 165 3535.01/3547.43 c #Conflicts: 859000 | #Constraints: 65447 3535.01/3547.43 c #Conflicts: 860000 | #Constraints: 66448 3535.01/3547.43 c #Conflicts: 861000 | #Constraints: 67449 3535.01/3547.43 c #Conflicts: 862000 | #Constraints: 68449 3535.01/3547.43 c #Conflicts: 863000 | #Constraints: 69449 3535.01/3547.43 c #Conflicts: 864000 | #Constraints: 70449 3535.01/3547.43 c #Conflicts: 865000 | #Constraints: 71449 3535.01/3547.43 c #Conflicts: 866000 | #Constraints: 72450 3535.01/3547.43 c #Conflicts: 867000 | #Constraints: 73450 3535.01/3547.43 c #Conflicts: 868000 | #Constraints: 74450 3535.01/3547.43 c #Conflicts: 869000 | #Constraints: 75450 3535.01/3547.43 c #Conflicts: 870000 | #Constraints: 76450 3535.01/3547.43 c #Conflicts: 871000 | #Constraints: 77450 3535.01/3547.43 c #Conflicts: 872000 | #Constraints: 78451 3535.01/3547.43 c #Conflicts: 873000 | #Constraints: 79451 3535.01/3547.43 c #Conflicts: 874000 | #Constraints: 80451 3535.01/3547.43 c #Conflicts: 875000 | #Constraints: 81451 3535.01/3547.43 c #Conflicts: 876000 | #Constraints: 82451 3535.01/3547.43 c #Conflicts: 877000 | #Constraints: 83451 3535.01/3547.43 c #Conflicts: 878000 | #Constraints: 84451 3535.01/3547.43 c #Conflicts: 879000 | #Constraints: 85451 3535.01/3547.43 c #Conflicts: 880000 | #Constraints: 86451 3535.01/3547.43 c #Conflicts: 881000 | #Constraints: 87451 3535.01/3547.43 c #Conflicts: 882000 | #Constraints: 88451 3535.01/3547.43 c #Conflicts: 883000 | #Constraints: 89451 3535.01/3547.43 c #Conflicts: 884000 | #Constraints: 90451 3535.01/3547.43 c #Conflicts: 885000 | #Constraints: 91451 3535.01/3547.43 c #Conflicts: 886000 | #Constraints: 92451 3535.01/3547.43 c #Conflicts: 887000 | #Constraints: 93451 3535.01/3547.43 c #Conflicts: 888000 | #Constraints: 94452 3535.01/3547.43 c #Conflicts: 889000 | #Constraints: 95452 3535.01/3547.43 c #Conflicts: 890000 | #Constraints: 96452 3535.01/3547.43 c #Conflicts: 891000 | #Constraints: 97452 3535.01/3547.43 c #Conflicts: 892000 | #Constraints: 98452 3535.01/3547.43 c #Conflicts: 893000 | #Constraints: 99452 3535.01/3547.43 c #Conflicts: 894000 | #Constraints: 100452 3535.01/3547.43 c #Conflicts: 895000 | #Constraints: 101452 3535.01/3547.43 c #Conflicts: 896000 | #Constraints: 102452 3535.01/3547.43 c #Conflicts: 897000 | #Constraints: 103452 3535.01/3547.43 c #Conflicts: 898000 | #Constraints: 104452 3535.01/3547.43 c #Conflicts: 899000 | #Constraints: 105452 3535.01/3547.43 c #Conflicts: 900000 | #Constraints: 106452 3535.01/3547.43 c #Conflicts: 901000 | #Constraints: 107452 3535.01/3547.43 c #Conflicts: 902000 | #Constraints: 108452 3535.01/3547.43 c #Conflicts: 903000 | #Constraints: 109452 3535.01/3547.43 c #Conflicts: 904000 | #Constraints: 110452 3535.01/3547.43 c #Conflicts: 905000 | #Constraints: 111452 3535.01/3547.43 c #Conflicts: 906000 | #Constraints: 112452 3535.01/3547.43 c #Conflicts: 907000 | #Constraints: 113452 3535.01/3547.43 c #Conflicts: 908000 | #Constraints: 114452 3535.01/3547.43 c #Conflicts: 909000 | #Constraints: 115452 3535.01/3547.43 c #Conflicts: 910000 | #Constraints: 116452 3535.01/3547.43 c #Conflicts: 911000 | #Constraints: 117452 3535.01/3547.43 c #Conflicts: 912000 | #Constraints: 118452 3535.01/3547.43 c #Conflicts: 913000 | #Constraints: 119452 3535.01/3547.43 c #Conflicts: 914000 | #Constraints: 120452 3535.01/3547.43 c #Conflicts: 915000 | #Constraints: 121452 3535.01/3547.43 c #Conflicts: 916000 | #Constraints: 122452 3535.01/3547.43 c #Conflicts: 917000 | #Constraints: 123452 3535.01/3547.43 c #Conflicts: 918000 | #Constraints: 124452 3535.01/3547.43 c #Conflicts: 919000 | #Constraints: 125452 3535.01/3547.43 c #Conflicts: 920000 | #Constraints: 126452 3535.01/3547.43 c INPROCESSING 3535.01/3547.43 c GARBAGE COLLECT 3535.01/3547.43 c rational objective 165
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: 64096 MiB (421 MiB free)
memory of node 1: 64473 MiB (44550 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463069-1722345146/watcher-4463069-1722345146 -o /tmp/evaluation-result-4463069-1722345146/solver-4463069-1722345146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722340763-5703 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463069-1722345146 --lp-cut-gomory=0 HOME/instance-4463069-1722345146.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8387, runsolver pid=8384
[startup+0.100453 s]*
/proc/loadavg: 4.24 4.24 4.19 5/251 8388
/proc/meminfo: memFree=46042600/131655788 swapFree=131071996/131071996
[pid=8387] ppid=8384 vsize=43792 memory=13900 CPUtime=0.07 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 2587 0 0 0 5 2 0 0 20 0 1 0 884978 44843008 3475 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 10948 3475 1367 992 0 2806 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 43792 KiB
Current children cumulated memory: 13900 KiB
[startup+0.205579 s]*
/proc/loadavg: 4.24 4.24 4.19 5/251 8388
/proc/meminfo: memFree=46022556/131655788 swapFree=131071996/131071996
[pid=8387] ppid=8384 vsize=63224 memory=34500 CPUtime=0.17 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 8655 0 0 0 14 3 0 0 20 0 1 0 884978 64741376 8625 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 15806 8625 1665 992 0 7664 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63224 KiB
Current children cumulated memory: 34500 KiB
[startup+0.305556 s]*
/proc/loadavg: 4.24 4.24 4.19 5/251 8388
/proc/meminfo: memFree=46019392/131655788 swapFree=131071996/131071996
[pid=8387] ppid=8384 vsize=70524 memory=38092 CPUtime=0.28 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 9551 0 0 0 24 4 0 0 20 0 1 0 884978 72216576 9523 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 17631 9523 1713 992 0 9489 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 70524 KiB
Current children cumulated memory: 38092 KiB
[startup+0.70018 s]
/proc/loadavg: 4.24 4.24 4.19 5/251 8388
/proc/meminfo: memFree=46018176/131655788 swapFree=131071996/131071996
[pid=8387] ppid=8384 vsize=71480 memory=39924 CPUtime=0.66 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 9977 0 0 0 62 4 0 0 20 0 1 0 884978 73195520 9981 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 17870 9981 1713 992 0 9728 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 71480 KiB
Current children cumulated memory: 39924 KiB
[startup+1.50037 s]
/proc/loadavg: 4.24 4.24 4.19 5/251 8388
/proc/meminfo: memFree=46014552/131655788 swapFree=131071996/131071996
[pid=8387] ppid=8384 vsize=73844 memory=42828 CPUtime=1.46 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 10711 0 0 0 141 5 0 0 20 0 1 0 884978 75616256 10707 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 18461 10707 1713 992 0 10319 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 73844 KiB
Current children cumulated memory: 42828 KiB
[startup+3.11303 s]
/proc/loadavg: 4.22 4.24 4.19 5/251 8388
/proc/meminfo: memFree=45976008/131655788 swapFree=131071996/131071996
[pid=8387] ppid=8384 vsize=74092 memory=43528 CPUtime=3.06 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 10840 0 0 0 288 18 0 0 20 0 1 0 884978 75870208 10882 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 18523 10882 1760 992 0 10381 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 74092 KiB
Current children cumulated memory: 43528 KiB
[startup+6.30026 s]
/proc/loadavg: 4.22 4.24 4.19 5/251 8391
/proc/meminfo: memFree=45967412/131655788 swapFree=131071996/131071996
[pid=8387] ppid=8384 vsize=78200 memory=47220 CPUtime=6.24 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 11793 0 0 0 601 23 0 0 20 0 1 0 884978 80076800 11805 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 19550 11805 1760 992 0 11408 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 78200 KiB
Current children cumulated memory: 47220 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.23 4.18 5/251 8391
/proc/meminfo: memFree=45958364/131655788 swapFree=131071996/131071996
[pid=8387] ppid=8384 vsize=79236 memory=48804 CPUtime=12.61 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 12172 0 0 0 1235 26 0 0 20 0 1 0 884978 81137664 12201 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 19809 12201 1760 992 0 11667 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 79236 KiB
Current children cumulated memory: 48804 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.22 4.18 5/251 8392
/proc/meminfo: memFree=45833548/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=98380 memory=61996 CPUtime=25.36 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 15376 0 0 0 2463 73 0 0 20 0 1 0 884978 100741120 15499 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 24595 15499 1852 992 0 16453 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 98380 KiB
Current children cumulated memory: 61996 KiB
[startup+51.1133 s]
/proc/loadavg: 4.17 4.22 4.18 5/252 8398
/proc/meminfo: memFree=45470296/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=108048 memory=74276 CPUtime=50.89 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 19452 0 0 0 4992 97 0 0 20 0 1 0 884978 110641152 18569 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 27012 18569 1852 992 0 18870 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 108048 KiB
Current children cumulated memory: 74276 KiB
[startup+102.3 s]
/proc/loadavg: 4.57 4.30 4.21 6/252 8408
/proc/meminfo: memFree=43123100/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=127640 memory=88320 CPUtime=101.9 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 27270 0 0 0 10005 185 0 0 20 0 1 0 884978 130703360 22080 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 31910 22080 1852 992 0 23768 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 127640 KiB
Current children cumulated memory: 88320 KiB
[startup+162.3 s]
/proc/loadavg: 4.85 4.45 4.27 5/254 8424
/proc/meminfo: memFree=40070144/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=158580 memory=121444 CPUtime=161.7 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 42149 0 0 0 15917 253 0 0 20 0 1 0 884978 162385920 30361 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 39645 30361 1852 992 0 31503 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 158580 KiB
Current children cumulated memory: 121444 KiB
[startup+222.3 s]
/proc/loadavg: 4.46 4.41 4.27 5/256 8442
/proc/meminfo: memFree=36471888/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=164816 memory=131892 CPUtime=221.5 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 52226 0 0 0 21818 332 0 0 20 0 1 0 884978 168771584 32973 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 41204 32973 1852 992 0 33062 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 164816 KiB
Current children cumulated memory: 131892 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.35 4.26 5/260 8457
/proc/meminfo: memFree=33213264/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=206924 memory=158140 CPUtime=281.29 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 83612 0 0 0 27699 430 0 0 20 0 1 0 884978 211890176 39535 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 51731 39535 1852 992 0 43589 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 206924 KiB
Current children cumulated memory: 158140 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.32 4.25 5/259 8468
/proc/meminfo: memFree=29678616/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=261772 memory=194224 CPUtime=341.09 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 113090 0 0 0 33603 506 0 0 20 0 1 0 884978 268054528 48556 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 65443 48556 1852 992 0 57301 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 261772 KiB
Current children cumulated memory: 194224 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.29 4.25 5/267 8486
/proc/meminfo: memFree=26600232/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=262224 memory=195232 CPUtime=400.89 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 117129 0 0 0 39562 527 0 0 20 0 1 0 884978 268517376 48808 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 65556 48808 1852 992 0 57414 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 262224 KiB
Current children cumulated memory: 195232 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.25 4.23 5/266 8544
/proc/meminfo: memFree=117076608/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=268576 memory=200608 CPUtime=460.68 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 146250 0 0 0 45430 638 0 0 20 0 1 0 884978 275021824 50152 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.18 4.24 4.18 5/246 10524
/proc/meminfo: memFree=115273976/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=910024 memory=801564 CPUtime=3151.15 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 235893 0 0 0 311604 3511 0 0 20 0 1 0 884978 931864576 200391 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 227506 200391 1852 992 0 219364 0
Current children cumulated CPU time: 3151.15 s
Current children cumulated vsize: 910024 KiB
Current children cumulated memory: 801564 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.21 4.17 5/246 10538
/proc/meminfo: memFree=114911880/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=911944 memory=803444 CPUtime=3210.96 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 236679 0 0 0 317541 3555 0 0 20 0 1 0 884978 933830656 200861 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 227986 200861 1852 992 0 219844 0
Current children cumulated CPU time: 3210.96 s
Current children cumulated vsize: 911944 KiB
Current children cumulated memory: 803444 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/245 10548
/proc/meminfo: memFree=114474152/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=911124 memory=802564 CPUtime=3270.76 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 237955 0 0 0 323482 3594 0 0 20 0 1 0 884978 932990976 200641 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 227781 200641 1852 992 0 219639 0
Current children cumulated CPU time: 3270.76 s
Current children cumulated vsize: 911124 KiB
Current children cumulated memory: 802564 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.17 4.16 5/245 10558
/proc/meminfo: memFree=113916308/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=913292 memory=804884 CPUtime=3330.57 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 238792 0 0 0 329399 3658 0 0 20 0 1 0 884978 935211008 201221 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 228323 201221 1852 992 0 220181 0
Current children cumulated CPU time: 3330.57 s
Current children cumulated vsize: 913292 KiB
Current children cumulated memory: 804884 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.15 4.16 5/246 10570
/proc/meminfo: memFree=113300216/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=914040 memory=805740 CPUtime=3390.38 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 239298 0 0 0 335277 3761 0 0 20 0 1 0 884978 935976960 201435 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 228510 201435 1852 992 0 220368 0
Current children cumulated CPU time: 3390.38 s
Current children cumulated vsize: 914040 KiB
Current children cumulated memory: 805740 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.15 5/246 10582
/proc/meminfo: memFree=112787640/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=914180 memory=805744 CPUtime=3450.19 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 239597 0 0 0 341195 3824 0 0 20 0 1 0 884978 936120320 201436 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 228545 201436 1852 992 0 220403 0
Current children cumulated CPU time: 3450.19 s
Current children cumulated vsize: 914180 KiB
Current children cumulated memory: 805744 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/248 10597
/proc/meminfo: memFree=112372020/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=914748 memory=806832 CPUtime=3510 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 240161 0 0 0 347106 3894 0 0 20 0 1 0 884978 936701952 201708 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 228687 201708 1852 992 0 220545 0
Current children cumulated CPU time: 3510 s
Current children cumulated vsize: 914748 KiB
Current children cumulated memory: 806832 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/248 10607
/proc/meminfo: memFree=111672608/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=919388 memory=811048 CPUtime=3569.8 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 241420 0 0 0 353020 3960 0 0 20 0 1 0 884978 941453312 202762 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 229847 202762 1852 992 0 221705 0
Current children cumulated CPU time: 3569.8 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 811048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.7 s]
/proc/loadavg: 4.13 4.13 4.15 5/248 10614
/proc/meminfo: memFree=111357152/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=919388 memory=811048 CPUtime=3600.09 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 241490 0 0 0 356028 3981 0 0 20 0 1 0 884978 941453312 202762 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 229847 202762 1852 992 0 221705 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 811048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3614.71 s]
# the end of solver process 8387 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3562.27 s, system=39.835 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.13 4.13 4.15 5/248 10614
/proc/meminfo: memFree=111357152/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=919388 memory=811048 CPUtime=3600.2 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 241490 0 0 0 356038 3982 0 0 20 0 1 0 884978 941453312 202762 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 229847 202762 1852 992 0 221705 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 811048 KiB
[startup+3613.6 s]
/proc/loadavg: 4.12 4.13 4.14 5/248 10614
/proc/meminfo: memFree=111347824/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=919388 memory=811048 CPUtime=3601 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 241490 0 0 0 356118 3982 0 0 20 0 1 0 884978 941453312 202762 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 229847 202762 1852 992 0 221705 0
Current children cumulated CPU time: 3601 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 811048 KiB
[startup+3614.4 s]
/proc/loadavg: 4.12 4.13 4.14 5/248 10614
/proc/meminfo: memFree=111340720/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=919388 memory=811048 CPUtime=3601.8 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 241490 0 0 0 356197 3983 0 0 20 0 1 0 884978 941453312 202762 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 229847 202762 1852 992 0 221705 0
Current children cumulated CPU time: 3601.8 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 811048 KiB
[startup+3614.6 s]
/proc/loadavg: 4.12 4.13 4.14 5/248 10614
/proc/meminfo: memFree=111340720/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=919388 memory=811048 CPUtime=3602 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 241492 0 0 0 356217 3983 0 0 20 0 1 0 884978 941453312 202762 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 229847 202762 1852 992 0 221705 0
Current children cumulated CPU time: 3602 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 811048 KiB
[startup+3614.7 s]
/proc/loadavg: 4.12 4.13 4.14 5/248 10614
/proc/meminfo: memFree=111340720/131655788 swapFree=131071728/131071996
[pid=8387] ppid=8384 vsize=919388 memory=811048 CPUtime=3602.1 cores=0,2
/proc/8387/stat : 8387 (roundingsat) R 8384 8387 5693 0 -1 4194304 241492 0 0 0 356227 3983 0 0 20 0 1 0 884978 941453312 202762 134679101440 4194304 8255733 140726129964448 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18472960 140726129967966 140726129968228 140726129968228 140726129975241 0
/proc/8387/statm: 229847 202762 1852 992 0 221705 0
Current children cumulated CPU time: 3602.1 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 811048 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.71
CPU time (s): 3602.11
CPU user time (s): 3562.27
CPU system time (s): 39.835
CPU usage (%): 99.6515
Max. virtual memory (cumulated for all children) (KiB): 919388
Max. memory (cumulated for all children) (KiB): 811048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.27
system time used= 39.835
maximum resident set size= 811048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9953184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100
involuntary context switches= 25387
# summary of solver processes directly reported to runsolver:
# pid: 8387
# total CPU time (s): 3602.11
# total CPU user time (s): 3562.27
# total CPU system time (s): 39.835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0841 second user time and 34.4546 second system time
The end
Begin job on nodeC011 at 2024-07-30 15:12:26 IDJOB=4463069 IDBENCH=158290 IDSOLVER=3089 FILE ID=nodeC011/4463069-1722345146 RUNJOBID= nodeC011-1722340763-5703 SLURM_JOB_ID= 8248991 Free space on /tmp= 723636 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K165.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-4463069-1722345146/watcher-4463069-1722345146 -o /tmp/evaluation-result-4463069-1722345146/solver-4463069-1722345146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722340763-5703 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463069-1722345146 --lp-cut-gomory=0 HOME/instance-4463069-1722345146.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 75fbe782de7ac9ce41dec078153ff02c RANDOM SEED=768974306 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.146 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3632.201 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3649.472 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.261 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3615.420 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3650.396 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.297 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.185 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 46051184 kB MemAvailable: 116590036 kB Buffers: 46264 kB Cached: 71257716 kB SwapCached: 0 kB Active: 275120 kB Inactive: 84711720 kB Active(anon): 1936 kB Inactive(anon): 13710456 kB Active(file): 273184 kB Inactive(file): 71001264 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 142932 kB Writeback: 0 kB AnonPages: 13678444 kB Mapped: 101388 kB Shmem: 29512 kB KReclaimable: 209208 kB Slab: 291268 kB SReclaimable: 209208 kB SUnreclaim: 82060 kB KernelStack: 4044 kB PageTables: 37204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 15427108 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6176 kB HardwareCorrupted: 0 kB AnonHugePages: 7221248 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: 156488 kB DirectMap2M: 9185280 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 723752 MiB End job on nodeC011 at 2024-07-30 16:12:41