| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3602.11 | 3611.6 |
| 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.10/0.10 c #variables 19635 #constraints 19967 98.32/98.68 c #Conflicts: 1000 | #Constraints: 20966 98.32/98.68 c #Conflicts: 2000 | #Constraints: 21966 98.32/98.68 c INPROCESSING 98.32/98.68 c GARBAGE COLLECT 98.32/98.68 c #Conflicts: 3000 | #Constraints: 21219 98.32/98.68 c #Conflicts: 4000 | #Constraints: 22219 98.32/98.68 c INPROCESSING 98.32/98.68 c GARBAGE COLLECT 98.32/98.68 c #Conflicts: 5000 | #Constraints: 21712 98.32/98.68 c #Conflicts: 6000 | #Constraints: 22712 98.32/98.68 c INPROCESSING 98.32/98.68 c GARBAGE COLLECT 98.32/98.68 c #Conflicts: 7000 | #Constraints: 21816 98.32/98.68 c #Conflicts: 8000 | #Constraints: 22816 98.32/98.68 c #Conflicts: 9000 | #Constraints: 23816 98.32/98.68 c #Conflicts: 10000 | #Constraints: 24816 98.32/98.68 c #Conflicts: 11000 | #Constraints: 25816 98.32/98.68 c #Conflicts: 12000 | #Constraints: 26817 98.32/98.68 c INPROCESSING 98.32/98.68 c GARBAGE COLLECT 98.32/98.68 c #Conflicts: 13000 | #Constraints: 23821 98.32/98.68 c #Conflicts: 14000 | #Constraints: 24821 98.32/98.68 c #Conflicts: 15000 | #Constraints: 25821 98.32/98.68 c #Conflicts: 16000 | #Constraints: 26821 98.32/98.68 c INPROCESSING 98.32/98.68 c GARBAGE COLLECT 98.32/98.68 c #Conflicts: 17000 | #Constraints: 24002 98.32/98.68 c #Conflicts: 18000 | #Constraints: 25002 98.32/98.68 c #Conflicts: 19000 | #Constraints: 26002 98.32/98.68 c #Conflicts: 20000 | #Constraints: 27002 98.32/98.68 c #Conflicts: 21000 | #Constraints: 28002 98.32/98.68 c #Conflicts: 22000 | #Constraints: 29002 98.32/98.68 c #Conflicts: 23000 | #Constraints: 30002 98.32/98.68 c #Conflicts: 24000 | #Constraints: 31002 98.32/98.68 c #Conflicts: 25000 | #Constraints: 32002 98.32/98.68 c INPROCESSING 98.32/98.68 c GARBAGE COLLECT 98.32/98.68 c rational objective 165 118.97/119.37 c #Conflicts: 26000 | #Constraints: 26537 118.97/119.37 c #Conflicts: 27000 | #Constraints: 27537 118.97/119.37 c #Conflicts: 28000 | #Constraints: 28537 118.97/119.37 c #Conflicts: 29000 | #Constraints: 29537 118.97/119.37 c #Conflicts: 30000 | #Constraints: 30537 118.97/119.37 c INPROCESSING 118.97/119.37 c GARBAGE COLLECT 118.97/119.37 c rational objective 165 161.37/161.88 c #Conflicts: 31000 | #Constraints: 25971 161.37/161.88 c #Conflicts: 32000 | #Constraints: 26971 161.37/161.88 c #Conflicts: 33000 | #Constraints: 27971 161.37/161.88 c #Conflicts: 34000 | #Constraints: 28971 161.37/161.88 c #Conflicts: 35000 | #Constraints: 29971 161.37/161.88 c #Conflicts: 36000 | #Constraints: 30971 161.37/161.88 c #Conflicts: 37000 | #Constraints: 31971 161.37/161.88 c #Conflicts: 38000 | #Constraints: 32971 161.37/161.88 c #Conflicts: 39000 | #Constraints: 33971 161.37/161.88 c #Conflicts: 40000 | #Constraints: 34971 161.37/161.88 c #Conflicts: 41000 | #Constraints: 35971 161.37/161.88 c #Conflicts: 42000 | #Constraints: 36971 161.37/161.88 c #Conflicts: 43000 | #Constraints: 37971 161.37/161.88 c INPROCESSING 161.37/161.88 c GARBAGE COLLECT 161.37/161.88 c rational objective 165 183.92/184.40 c #Conflicts: 44000 | #Constraints: 29945 183.92/184.40 c #Conflicts: 45000 | #Constraints: 30945 183.92/184.40 c #Conflicts: 46000 | #Constraints: 31945 183.92/184.40 c #Conflicts: 47000 | #Constraints: 32945 183.92/184.40 c #Conflicts: 48000 | #Constraints: 33945 183.92/184.40 c #Conflicts: 49000 | #Constraints: 34945 183.92/184.40 c INPROCESSING 183.92/184.40 c GARBAGE COLLECT 183.92/184.40 c rational objective 165 229.61/230.28 c #Conflicts: 50000 | #Constraints: 28476 229.61/230.28 c #Conflicts: 51000 | #Constraints: 29476 229.61/230.28 c #Conflicts: 52000 | #Constraints: 30476 229.61/230.28 c #Conflicts: 53000 | #Constraints: 31476 229.61/230.28 c #Conflicts: 54000 | #Constraints: 32476 229.61/230.28 c #Conflicts: 55000 | #Constraints: 33476 229.61/230.28 c #Conflicts: 56000 | #Constraints: 34476 229.61/230.28 c #Conflicts: 57000 | #Constraints: 35476 229.61/230.28 c #Conflicts: 58000 | #Constraints: 36476 229.61/230.28 c #Conflicts: 59000 | #Constraints: 37476 229.61/230.28 c #Conflicts: 60000 | #Constraints: 38476 229.61/230.28 c #Conflicts: 61000 | #Constraints: 39476 229.61/230.28 c #Conflicts: 62000 | #Constraints: 40476 229.61/230.28 c #Conflicts: 63000 | #Constraints: 41476 229.61/230.28 c #Conflicts: 64000 | #Constraints: 42476 229.61/230.28 c #Conflicts: 65000 | #Constraints: 43476 229.61/230.28 c INPROCESSING 229.61/230.28 c GARBAGE COLLECT 229.61/230.28 c rational objective 165 413.02/414.17 c #Conflicts: 66000 | #Constraints: 32879 413.02/414.17 c #Conflicts: 67000 | #Constraints: 33879 413.02/414.17 c #Conflicts: 68000 | #Constraints: 34879 413.02/414.17 c #Conflicts: 69000 | #Constraints: 35879 413.02/414.17 c #Conflicts: 70000 | #Constraints: 36879 413.02/414.17 c #Conflicts: 71000 | #Constraints: 37880 413.02/414.17 c #Conflicts: 72000 | #Constraints: 38880 413.02/414.17 c INPROCESSING 413.02/414.17 c GARBAGE COLLECT 413.02/414.17 c #Conflicts: 73000 | #Constraints: 30936 413.02/414.17 c #Conflicts: 74000 | #Constraints: 31936 413.02/414.17 c #Conflicts: 75000 | #Constraints: 32936 413.02/414.17 c #Conflicts: 76000 | #Constraints: 33936 413.02/414.17 c #Conflicts: 77000 | #Constraints: 34936 413.02/414.17 c #Conflicts: 78000 | #Constraints: 35937 413.02/414.17 c #Conflicts: 79000 | #Constraints: 36937 413.02/414.17 c #Conflicts: 80000 | #Constraints: 37937 413.02/414.17 c #Conflicts: 81000 | #Constraints: 38937 413.02/414.17 c #Conflicts: 82000 | #Constraints: 39937 413.02/414.17 c #Conflicts: 83000 | #Constraints: 40937 413.02/414.17 c #Conflicts: 84000 | #Constraints: 41937 413.02/414.17 c #Conflicts: 85000 | #Constraints: 42937 413.02/414.17 c #Conflicts: 86000 | #Constraints: 43937 413.02/414.17 c #Conflicts: 87000 | #Constraints: 44937 413.02/414.17 c #Conflicts: 88000 | #Constraints: 45937 413.02/414.17 c #Conflicts: 89000 | #Constraints: 46937 413.02/414.17 c #Conflicts: 90000 | #Constraints: 47937 413.02/414.17 c #Conflicts: 91000 | #Constraints: 48937 413.02/414.17 c INPROCESSING 413.02/414.17 c GARBAGE COLLECT 413.02/414.17 c rational objective 165 717.33/719.26 c #Conflicts: 92000 | #Constraints: 35658 717.33/719.26 c #Conflicts: 93000 | #Constraints: 36658 717.33/719.26 c #Conflicts: 94000 | #Constraints: 37658 717.33/719.26 c #Conflicts: 95000 | #Constraints: 38658 717.33/719.26 c #Conflicts: 96000 | #Constraints: 39658 717.33/719.26 c #Conflicts: 97000 | #Constraints: 40658 717.33/719.26 c #Conflicts: 98000 | #Constraints: 41658 717.33/719.26 c #Conflicts: 99000 | #Constraints: 42658 717.33/719.26 c #Conflicts: 100000 | #Constraints: 43658 717.33/719.26 c INPROCESSING 717.33/719.26 c GARBAGE COLLECT 717.33/719.26 c #Conflicts: 101000 | #Constraints: 33397 717.33/719.26 c #Conflicts: 102000 | #Constraints: 34397 717.33/719.26 c #Conflicts: 103000 | #Constraints: 35397 717.33/719.26 c #Conflicts: 104000 | #Constraints: 36397 717.33/719.26 c #Conflicts: 105000 | #Constraints: 37397 717.33/719.26 c #Conflicts: 106000 | #Constraints: 38397 717.33/719.26 c #Conflicts: 107000 | #Constraints: 39398 717.33/719.26 c #Conflicts: 108000 | #Constraints: 40398 717.33/719.26 c #Conflicts: 109000 | #Constraints: 41398 717.33/719.26 c #Conflicts: 110000 | #Constraints: 42398 717.33/719.26 c #Conflicts: 111000 | #Constraints: 43398 717.33/719.26 c #Conflicts: 112000 | #Constraints: 44399 717.33/719.26 c #Conflicts: 113000 | #Constraints: 45399 717.33/719.26 c #Conflicts: 114000 | #Constraints: 46399 717.33/719.26 c #Conflicts: 115000 | #Constraints: 47399 717.33/719.26 c #Conflicts: 116000 | #Constraints: 48400 717.33/719.26 c #Conflicts: 117000 | #Constraints: 49400 717.33/719.26 c #Conflicts: 118000 | #Constraints: 50400 717.33/719.26 c #Conflicts: 119000 | #Constraints: 51400 717.33/719.26 c #Conflicts: 120000 | #Constraints: 52400 717.33/719.26 c #Conflicts: 121000 | #Constraints: 53400 717.33/719.26 c INPROCESSING 717.33/719.26 c GARBAGE COLLECT 717.33/719.26 c #Conflicts: 122000 | #Constraints: 37685 717.33/719.26 c #Conflicts: 123000 | #Constraints: 38685 717.33/719.26 c #Conflicts: 124000 | #Constraints: 39685 717.33/719.26 c #Conflicts: 125000 | #Constraints: 40685 717.33/719.26 c #Conflicts: 126000 | #Constraints: 41685 717.33/719.26 c #Conflicts: 127000 | #Constraints: 42686 717.33/719.26 c #Conflicts: 128000 | #Constraints: 43686 717.33/719.26 c #Conflicts: 129000 | #Constraints: 44686 717.33/719.26 c #Conflicts: 130000 | #Constraints: 45686 717.33/719.26 c #Conflicts: 131000 | #Constraints: 46686 717.33/719.26 c #Conflicts: 132000 | #Constraints: 47686 717.33/719.26 c INPROCESSING 717.33/719.26 c GARBAGE COLLECT 717.33/719.26 c #Conflicts: 133000 | #Constraints: 36217 717.33/719.26 c #Conflicts: 134000 | #Constraints: 37217 717.33/719.26 c #Conflicts: 135000 | #Constraints: 38217 717.33/719.26 c #Conflicts: 136000 | #Constraints: 39217 717.33/719.26 c #Conflicts: 137000 | #Constraints: 40217 717.33/719.26 c #Conflicts: 138000 | #Constraints: 41217 717.33/719.26 c #Conflicts: 139000 | #Constraints: 42217 717.33/719.26 c #Conflicts: 140000 | #Constraints: 43217 717.33/719.26 c #Conflicts: 141000 | #Constraints: 44217 717.33/719.26 c #Conflicts: 142000 | #Constraints: 45217 717.33/719.26 c #Conflicts: 143000 | #Constraints: 46217 717.33/719.26 c #Conflicts: 144000 | #Constraints: 47217 717.33/719.26 c #Conflicts: 145000 | #Constraints: 48217 717.33/719.26 c #Conflicts: 146000 | #Constraints: 49217 717.33/719.26 c #Conflicts: 147000 | #Constraints: 50217 717.33/719.26 c #Conflicts: 148000 | #Constraints: 51217 717.33/719.26 c #Conflicts: 149000 | #Constraints: 52217 717.33/719.26 c #Conflicts: 150000 | #Constraints: 53218 717.33/719.26 c #Conflicts: 151000 | #Constraints: 54218 717.33/719.26 c #Conflicts: 152000 | #Constraints: 55218 717.33/719.26 c #Conflicts: 153000 | #Constraints: 56218 717.33/719.26 c #Conflicts: 154000 | #Constraints: 57218 717.33/719.26 c #Conflicts: 155000 | #Constraints: 58218 717.33/719.26 c #Conflicts: 156000 | #Constraints: 59218 717.33/719.26 c INPROCESSING 717.33/719.26 c GARBAGE COLLECT 717.33/719.26 c #Conflicts: 157000 | #Constraints: 40720 717.33/719.26 c #Conflicts: 158000 | #Constraints: 41720 717.33/719.26 c #Conflicts: 159000 | #Constraints: 42720 717.33/719.26 c #Conflicts: 160000 | #Constraints: 43720 717.33/719.26 c #Conflicts: 161000 | #Constraints: 44720 717.33/719.26 c #Conflicts: 162000 | #Constraints: 45720 717.33/719.26 c #Conflicts: 163000 | #Constraints: 46720 717.33/719.26 c #Conflicts: 164000 | #Constraints: 47720 717.33/719.26 c #Conflicts: 165000 | #Constraints: 48720 717.33/719.26 c #Conflicts: 166000 | #Constraints: 49720 717.33/719.26 c #Conflicts: 167000 | #Constraints: 50720 717.33/719.26 c #Conflicts: 168000 | #Constraints: 51720 889.19/891.51 c INPROCESSING 889.19/891.51 c GARBAGE COLLECT 889.19/891.51 c #Conflicts: 169000 | #Constraints: 38183 889.19/891.51 c #Conflicts: 170000 | #Constraints: 39183 889.19/891.51 c #Conflicts: 171000 | #Constraints: 40183 889.19/891.51 c #Conflicts: 172000 | #Constraints: 41183 889.19/891.51 c #Conflicts: 173000 | #Constraints: 42183 889.19/891.51 c #Conflicts: 174000 | #Constraints: 43183 889.19/891.51 c #Conflicts: 175000 | #Constraints: 44183 889.19/891.51 c #Conflicts: 176000 | #Constraints: 45183 889.19/891.51 c #Conflicts: 177000 | #Constraints: 46183 889.19/891.51 c #Conflicts: 178000 | #Constraints: 47183 889.19/891.51 c #Conflicts: 179000 | #Constraints: 48183 889.19/891.51 c #Conflicts: 180000 | #Constraints: 49183 889.19/891.51 c #Conflicts: 181000 | #Constraints: 50183 889.19/891.51 c #Conflicts: 182000 | #Constraints: 51183 889.19/891.51 c #Conflicts: 183000 | #Constraints: 52183 889.19/891.51 c #Conflicts: 184000 | #Constraints: 53183 889.19/891.51 c #Conflicts: 185000 | #Constraints: 54183 889.19/891.51 c #Conflicts: 186000 | #Constraints: 55183 889.19/891.51 c #Conflicts: 187000 | #Constraints: 56183 889.19/891.51 c #Conflicts: 188000 | #Constraints: 57183 889.19/891.51 c #Conflicts: 189000 | #Constraints: 58183 889.19/891.51 c #Conflicts: 190000 | #Constraints: 59183 889.19/891.51 c #Conflicts: 191000 | #Constraints: 60183 889.19/891.51 c #Conflicts: 192000 | #Constraints: 61183 889.19/891.51 c #Conflicts: 193000 | #Constraints: 62183 889.19/891.51 c #Conflicts: 194000 | #Constraints: 63183 889.19/891.51 c #Conflicts: 195000 | #Constraints: 64183 889.19/891.51 c #Conflicts: 196000 | #Constraints: 65183 889.19/891.51 c INPROCESSING 889.19/891.51 c GARBAGE COLLECT 889.19/891.51 c #Conflicts: 197000 | #Constraints: 43870 889.19/891.51 c #Conflicts: 198000 | #Constraints: 44870 889.19/891.51 c #Conflicts: 199000 | #Constraints: 45870 889.19/891.51 c #Conflicts: 200000 | #Constraints: 46871 889.19/891.51 c #Conflicts: 201000 | #Constraints: 47871 889.19/891.51 c #Conflicts: 202000 | #Constraints: 48871 889.19/891.51 c #Conflicts: 203000 | #Constraints: 49871 889.19/891.51 c #Conflicts: 204000 | #Constraints: 50871 889.19/891.51 c #Conflicts: 205000 | #Constraints: 51871 889.19/891.51 c #Conflicts: 206000 | #Constraints: 52871 889.19/891.51 c #Conflicts: 207000 | #Constraints: 53871 889.19/891.51 c #Conflicts: 208000 | #Constraints: 54871 889.19/891.51 c #Conflicts: 209000 | #Constraints: 55871 889.19/891.51 c INPROCESSING 889.19/891.51 c GARBAGE COLLECT 889.19/891.51 c rational objective 165 1121.30/1124.28 c #Conflicts: 210000 | #Constraints: 40649 1121.30/1124.28 c #Conflicts: 211000 | #Constraints: 41649 1121.30/1124.28 c #Conflicts: 212000 | #Constraints: 42649 1121.30/1124.28 c #Conflicts: 213000 | #Constraints: 43649 1121.30/1124.28 c #Conflicts: 214000 | #Constraints: 44649 1121.30/1124.28 c #Conflicts: 215000 | #Constraints: 45649 1121.30/1124.28 c #Conflicts: 216000 | #Constraints: 46650 1121.30/1124.28 c #Conflicts: 217000 | #Constraints: 47650 1121.30/1124.28 c #Conflicts: 218000 | #Constraints: 48651 1121.30/1124.28 c #Conflicts: 219000 | #Constraints: 49651 1121.30/1124.28 c #Conflicts: 220000 | #Constraints: 50651 1121.30/1124.28 c #Conflicts: 221000 | #Constraints: 51651 1121.30/1124.28 c #Conflicts: 222000 | #Constraints: 52652 1121.30/1124.28 c #Conflicts: 223000 | #Constraints: 53652 1121.30/1124.28 c #Conflicts: 224000 | #Constraints: 54653 1121.30/1124.28 c #Conflicts: 225000 | #Constraints: 55653 1121.30/1124.28 c #Conflicts: 226000 | #Constraints: 56654 1121.30/1124.28 c #Conflicts: 227000 | #Constraints: 57654 1121.30/1124.28 c #Conflicts: 228000 | #Constraints: 58654 1121.30/1124.28 c #Conflicts: 229000 | #Constraints: 59654 1121.30/1124.28 c #Conflicts: 230000 | #Constraints: 60655 1121.30/1124.28 c #Conflicts: 231000 | #Constraints: 61655 1121.30/1124.28 c #Conflicts: 232000 | #Constraints: 62655 1121.30/1124.28 c #Conflicts: 233000 | #Constraints: 63656 1121.30/1124.28 c #Conflicts: 234000 | #Constraints: 64656 1121.30/1124.28 c #Conflicts: 235000 | #Constraints: 65656 1121.30/1124.28 c #Conflicts: 236000 | #Constraints: 66656 1121.30/1124.28 c #Conflicts: 237000 | #Constraints: 67657 1121.30/1124.28 c #Conflicts: 238000 | #Constraints: 68657 1121.30/1124.28 c #Conflicts: 239000 | #Constraints: 69657 1121.30/1124.28 c #Conflicts: 240000 | #Constraints: 70658 1121.30/1124.28 c INPROCESSING 1121.30/1124.28 c GARBAGE COLLECT 1121.30/1124.28 c #Conflicts: 241000 | #Constraints: 47101 1121.30/1124.28 c #Conflicts: 242000 | #Constraints: 48101 1121.30/1124.28 c #Conflicts: 243000 | #Constraints: 49101 1121.30/1124.28 c #Conflicts: 244000 | #Constraints: 50101 1121.30/1124.28 c #Conflicts: 245000 | #Constraints: 51101 1121.30/1124.28 c #Conflicts: 246000 | #Constraints: 52101 1121.30/1124.28 c #Conflicts: 247000 | #Constraints: 53101 1121.30/1124.28 c #Conflicts: 248000 | #Constraints: 54101 1121.30/1124.28 c #Conflicts: 249000 | #Constraints: 55101 1121.30/1124.28 c #Conflicts: 250000 | #Constraints: 56101 1121.30/1124.28 c #Conflicts: 251000 | #Constraints: 57101 1121.30/1124.28 c #Conflicts: 252000 | #Constraints: 58101 1121.30/1124.28 c #Conflicts: 253000 | #Constraints: 59101 1121.30/1124.28 c #Conflicts: 254000 | #Constraints: 60101 1121.30/1124.28 c INPROCESSING 1121.30/1124.28 c GARBAGE COLLECT 1121.30/1124.28 c #Conflicts: 255000 | #Constraints: 42806 1121.30/1124.28 c #Conflicts: 256000 | #Constraints: 43806 1121.30/1124.28 c #Conflicts: 257000 | #Constraints: 44806 1121.30/1124.28 c #Conflicts: 258000 | #Constraints: 45806 1121.30/1124.28 c #Conflicts: 259000 | #Constraints: 46806 1121.30/1124.28 c #Conflicts: 260000 | #Constraints: 47806 1121.30/1124.28 c #Conflicts: 261000 | #Constraints: 48806 1121.30/1124.28 c #Conflicts: 262000 | #Constraints: 49806 1121.30/1124.28 c #Conflicts: 263000 | #Constraints: 50806 1121.30/1124.28 c #Conflicts: 264000 | #Constraints: 51806 1121.30/1124.28 c #Conflicts: 265000 | #Constraints: 52806 1121.30/1124.28 c #Conflicts: 266000 | #Constraints: 53806 1121.30/1124.28 c #Conflicts: 267000 | #Constraints: 54806 1121.30/1124.28 c #Conflicts: 268000 | #Constraints: 55806 1121.30/1124.28 c #Conflicts: 269000 | #Constraints: 56806 1121.30/1124.28 c #Conflicts: 270000 | #Constraints: 57806 1121.30/1124.28 c #Conflicts: 271000 | #Constraints: 58806 1121.30/1124.28 c #Conflicts: 272000 | #Constraints: 59806 1121.30/1124.28 c #Conflicts: 273000 | #Constraints: 60806 1121.30/1124.28 c #Conflicts: 274000 | #Constraints: 61806 1121.30/1124.28 c #Conflicts: 275000 | #Constraints: 62806 1121.30/1124.28 c #Conflicts: 276000 | #Constraints: 63806 1121.30/1124.28 c #Conflicts: 277000 | #Constraints: 64806 1121.30/1124.28 c #Conflicts: 278000 | #Constraints: 65806 1121.30/1124.28 c #Conflicts: 279000 | #Constraints: 66806 1121.30/1124.28 c #Conflicts: 280000 | #Constraints: 67806 1121.30/1124.28 c #Conflicts: 281000 | #Constraints: 68806 1121.30/1124.28 c #Conflicts: 282000 | #Constraints: 69806 1121.30/1124.28 c #Conflicts: 283000 | #Constraints: 70806 1121.30/1124.28 c #Conflicts: 284000 | #Constraints: 71806 1121.30/1124.28 c #Conflicts: 285000 | #Constraints: 72806 1121.30/1124.28 c #Conflicts: 286000 | #Constraints: 73806 1121.30/1124.28 c #Conflicts: 287000 | #Constraints: 74806 1127.28/1130.21 c #Conflicts: 288000 | #Constraints: 75806 1127.28/1130.21 c INPROCESSING 1127.28/1130.21 c GARBAGE COLLECT 1127.28/1130.21 c rational objective 165 1183.64/1186.79 c #Conflicts: 289000 | #Constraints: 49502 1183.64/1186.79 c #Conflicts: 290000 | #Constraints: 50502 1183.64/1186.79 c #Conflicts: 291000 | #Constraints: 51502 1183.64/1186.79 c #Conflicts: 292000 | #Constraints: 52502 1183.64/1186.79 c #Conflicts: 293000 | #Constraints: 53502 1183.64/1186.79 c #Conflicts: 294000 | #Constraints: 54503 1183.64/1186.79 c #Conflicts: 295000 | #Constraints: 55504 1183.64/1186.79 c #Conflicts: 296000 | #Constraints: 56504 1183.64/1186.79 c #Conflicts: 297000 | #Constraints: 57504 1183.64/1186.79 c #Conflicts: 298000 | #Constraints: 58504 1183.64/1186.79 c #Conflicts: 299000 | #Constraints: 59504 1183.64/1186.79 c #Conflicts: 300000 | #Constraints: 60504 1183.64/1186.79 c #Conflicts: 301000 | #Constraints: 61504 1183.64/1186.79 c #Conflicts: 302000 | #Constraints: 62504 1183.64/1186.79 c #Conflicts: 303000 | #Constraints: 63504 1183.64/1186.79 c INPROCESSING 1183.64/1186.79 c GARBAGE COLLECT 1183.64/1186.79 c rational objective 165 1427.73/1431.49 c #Conflicts: 304000 | #Constraints: 45028 1427.73/1431.49 c #Conflicts: 305000 | #Constraints: 46029 1427.73/1431.49 c #Conflicts: 306000 | #Constraints: 47030 1427.73/1431.49 c #Conflicts: 307000 | #Constraints: 48030 1427.73/1431.49 c #Conflicts: 308000 | #Constraints: 49031 1427.73/1431.49 c #Conflicts: 309000 | #Constraints: 50031 1427.73/1431.49 c #Conflicts: 310000 | #Constraints: 51031 1427.73/1431.49 c #Conflicts: 311000 | #Constraints: 52031 1427.73/1431.49 c #Conflicts: 312000 | #Constraints: 53031 1427.73/1431.49 c #Conflicts: 313000 | #Constraints: 54031 1427.73/1431.49 c #Conflicts: 314000 | #Constraints: 55031 1427.73/1431.49 c #Conflicts: 315000 | #Constraints: 56031 1427.73/1431.49 c #Conflicts: 316000 | #Constraints: 57032 1427.73/1431.49 c #Conflicts: 317000 | #Constraints: 58032 1427.73/1431.49 c #Conflicts: 318000 | #Constraints: 59032 1427.73/1431.49 c #Conflicts: 319000 | #Constraints: 60032 1427.73/1431.49 c #Conflicts: 320000 | #Constraints: 61032 1427.73/1431.49 c #Conflicts: 321000 | #Constraints: 62032 1427.73/1431.49 c #Conflicts: 322000 | #Constraints: 63032 1427.73/1431.49 c #Conflicts: 323000 | #Constraints: 64032 1427.73/1431.49 c #Conflicts: 324000 | #Constraints: 65032 1427.73/1431.49 c #Conflicts: 325000 | #Constraints: 66032 1427.73/1431.49 c #Conflicts: 326000 | #Constraints: 67032 1427.73/1431.49 c #Conflicts: 327000 | #Constraints: 68032 1427.73/1431.49 c #Conflicts: 328000 | #Constraints: 69033 1427.73/1431.49 c #Conflicts: 329000 | #Constraints: 70033 1427.73/1431.49 c #Conflicts: 330000 | #Constraints: 71033 1427.73/1431.49 c #Conflicts: 331000 | #Constraints: 72033 1427.73/1431.49 c #Conflicts: 332000 | #Constraints: 73033 1427.73/1431.49 c #Conflicts: 333000 | #Constraints: 74033 1427.73/1431.49 c #Conflicts: 334000 | #Constraints: 75033 1427.73/1431.49 c #Conflicts: 335000 | #Constraints: 76033 1427.73/1431.49 c #Conflicts: 336000 | #Constraints: 77033 1427.73/1431.49 c #Conflicts: 337000 | #Constraints: 78033 1427.73/1431.49 c #Conflicts: 338000 | #Constraints: 79033 1427.73/1431.49 c #Conflicts: 339000 | #Constraints: 80033 1427.73/1431.49 c #Conflicts: 340000 | #Constraints: 81033 1427.73/1431.49 c INPROCESSING 1427.73/1431.49 c GARBAGE COLLECT 1427.73/1431.49 c rational objective 165 1667.74/1672.05 c #Conflicts: 341000 | #Constraints: 51831 1667.74/1672.05 c #Conflicts: 342000 | #Constraints: 52831 1667.74/1672.05 c #Conflicts: 343000 | #Constraints: 53831 1667.74/1672.05 c #Conflicts: 344000 | #Constraints: 54831 1667.74/1672.05 c #Conflicts: 345000 | #Constraints: 55831 1667.74/1672.05 c #Conflicts: 346000 | #Constraints: 56831 1667.74/1672.05 c #Conflicts: 347000 | #Constraints: 57831 1667.74/1672.05 c #Conflicts: 348000 | #Constraints: 58831 1667.74/1672.05 c #Conflicts: 349000 | #Constraints: 59831 1667.74/1672.05 c #Conflicts: 350000 | #Constraints: 60831 1667.74/1672.05 c #Conflicts: 351000 | #Constraints: 61832 1667.74/1672.05 c #Conflicts: 352000 | #Constraints: 62833 1667.74/1672.05 c #Conflicts: 353000 | #Constraints: 63833 1667.74/1672.05 c #Conflicts: 354000 | #Constraints: 64833 1667.74/1672.05 c #Conflicts: 355000 | #Constraints: 65833 1667.74/1672.05 c #Conflicts: 356000 | #Constraints: 66833 1667.74/1672.05 c #Conflicts: 357000 | #Constraints: 67833 1667.74/1672.05 c INPROCESSING 1667.74/1672.05 c GARBAGE COLLECT 1667.74/1672.05 c #Conflicts: 358000 | #Constraints: 47912 1667.74/1672.05 c #Conflicts: 359000 | #Constraints: 48912 1667.74/1672.05 c #Conflicts: 360000 | #Constraints: 49912 1667.74/1672.05 c #Conflicts: 361000 | #Constraints: 50912 1667.74/1672.05 c #Conflicts: 362000 | #Constraints: 51912 1667.74/1672.05 c #Conflicts: 363000 | #Constraints: 52912 1667.74/1672.05 c #Conflicts: 364000 | #Constraints: 53912 1667.74/1672.05 c #Conflicts: 365000 | #Constraints: 54912 1667.74/1672.05 c #Conflicts: 366000 | #Constraints: 55912 1667.74/1672.05 c #Conflicts: 367000 | #Constraints: 56912 1667.74/1672.05 c #Conflicts: 368000 | #Constraints: 57912 1667.74/1672.05 c #Conflicts: 369000 | #Constraints: 58912 1667.74/1672.05 c #Conflicts: 370000 | #Constraints: 59912 1667.74/1672.05 c #Conflicts: 371000 | #Constraints: 60912 1667.74/1672.05 c #Conflicts: 372000 | #Constraints: 61912 1667.74/1672.05 c #Conflicts: 373000 | #Constraints: 62913 1667.74/1672.05 c #Conflicts: 374000 | #Constraints: 63913 1667.74/1672.05 c #Conflicts: 375000 | #Constraints: 64913 1667.74/1672.05 c #Conflicts: 376000 | #Constraints: 65913 1667.74/1672.05 c #Conflicts: 377000 | #Constraints: 66913 1667.74/1672.05 c #Conflicts: 378000 | #Constraints: 67913 1667.74/1672.05 c #Conflicts: 379000 | #Constraints: 68913 1667.74/1672.05 c #Conflicts: 380000 | #Constraints: 69913 1667.74/1672.05 c #Conflicts: 381000 | #Constraints: 70913 1667.74/1672.05 c #Conflicts: 382000 | #Constraints: 71913 1667.74/1672.05 c #Conflicts: 383000 | #Constraints: 72913 1667.74/1672.05 c #Conflicts: 384000 | #Constraints: 73913 1667.74/1672.05 c #Conflicts: 385000 | #Constraints: 74914 1667.74/1672.05 c #Conflicts: 386000 | #Constraints: 75914 1667.74/1672.05 c #Conflicts: 387000 | #Constraints: 76914 1667.74/1672.05 c #Conflicts: 388000 | #Constraints: 77914 1667.74/1672.05 c #Conflicts: 389000 | #Constraints: 78914 1667.74/1672.05 c #Conflicts: 390000 | #Constraints: 79914 1667.74/1672.05 c #Conflicts: 391000 | #Constraints: 80914 1667.74/1672.05 c #Conflicts: 392000 | #Constraints: 81914 1667.74/1672.05 c #Conflicts: 393000 | #Constraints: 82914 1667.74/1672.05 c #Conflicts: 394000 | #Constraints: 83914 1667.74/1672.05 c #Conflicts: 395000 | #Constraints: 84914 1667.74/1672.05 c #Conflicts: 396000 | #Constraints: 85914 1667.74/1672.05 c #Conflicts: 397000 | #Constraints: 86914 1667.74/1672.05 c INPROCESSING 1667.74/1672.05 c GARBAGE COLLECT 1667.74/1672.05 c #Conflicts: 398000 | #Constraints: 54770 1667.74/1672.05 c #Conflicts: 399000 | #Constraints: 55771 1667.74/1672.05 c #Conflicts: 400000 | #Constraints: 56771 1667.74/1672.05 c #Conflicts: 401000 | #Constraints: 57772 1667.74/1672.05 c #Conflicts: 402000 | #Constraints: 58772 1667.74/1672.05 c #Conflicts: 403000 | #Constraints: 59772 1667.74/1672.05 c #Conflicts: 404000 | #Constraints: 60773 1667.74/1672.05 c #Conflicts: 405000 | #Constraints: 61773 1667.74/1672.05 c #Conflicts: 406000 | #Constraints: 62773 1667.74/1672.05 c #Conflicts: 407000 | #Constraints: 63773 1667.74/1672.05 c #Conflicts: 408000 | #Constraints: 64774 1667.74/1672.05 c #Conflicts: 409000 | #Constraints: 65774 1667.74/1672.05 c #Conflicts: 410000 | #Constraints: 66774 1667.74/1672.05 c #Conflicts: 411000 | #Constraints: 67774 1667.74/1672.05 c #Conflicts: 412000 | #Constraints: 68774 1667.74/1672.05 c #Conflicts: 413000 | #Constraints: 69774 1667.74/1672.05 c #Conflicts: 414000 | #Constraints: 70774 1667.74/1672.05 c #Conflicts: 415000 | #Constraints: 71774 1667.74/1672.05 c INPROCESSING 1667.74/1672.05 c GARBAGE COLLECT 1667.74/1672.05 c rational objective 165 1950.83/1955.87 c #Conflicts: 416000 | #Constraints: 50383 1950.83/1955.87 c #Conflicts: 417000 | #Constraints: 51383 1950.83/1955.87 c #Conflicts: 418000 | #Constraints: 52383 1950.83/1955.87 c #Conflicts: 419000 | #Constraints: 53383 1950.83/1955.87 c #Conflicts: 420000 | #Constraints: 54383 1950.83/1955.87 c #Conflicts: 421000 | #Constraints: 55383 1950.83/1955.87 c #Conflicts: 422000 | #Constraints: 56383 1950.83/1955.87 c #Conflicts: 423000 | #Constraints: 57383 1950.83/1955.87 c #Conflicts: 424000 | #Constraints: 58383 1950.83/1955.87 c #Conflicts: 425000 | #Constraints: 59383 1950.83/1955.87 c #Conflicts: 426000 | #Constraints: 60383 1950.83/1955.87 c #Conflicts: 427000 | #Constraints: 61383 1950.83/1955.87 c #Conflicts: 428000 | #Constraints: 62383 1950.83/1955.87 c #Conflicts: 429000 | #Constraints: 63383 1950.83/1955.87 c #Conflicts: 430000 | #Constraints: 64383 1950.83/1955.87 c #Conflicts: 431000 | #Constraints: 65383 1950.83/1955.87 c #Conflicts: 432000 | #Constraints: 66383 1950.83/1955.87 c #Conflicts: 433000 | #Constraints: 67384 1950.83/1955.87 c #Conflicts: 434000 | #Constraints: 68384 1950.83/1955.87 c #Conflicts: 435000 | #Constraints: 69384 1950.83/1955.88 c #Conflicts: 436000 | #Constraints: 70384 1950.83/1955.88 c #Conflicts: 437000 | #Constraints: 71384 1950.83/1955.88 c #Conflicts: 438000 | #Constraints: 72384 1950.83/1955.88 c #Conflicts: 439000 | #Constraints: 73384 1950.83/1955.88 c #Conflicts: 440000 | #Constraints: 74384 1950.83/1955.88 c #Conflicts: 441000 | #Constraints: 75384 1950.83/1955.88 c #Conflicts: 442000 | #Constraints: 76384 1950.83/1955.88 c #Conflicts: 443000 | #Constraints: 77384 1950.83/1955.88 c #Conflicts: 444000 | #Constraints: 78384 1950.83/1955.88 c #Conflicts: 445000 | #Constraints: 79384 1950.83/1955.88 c #Conflicts: 446000 | #Constraints: 80384 1950.83/1955.88 c #Conflicts: 447000 | #Constraints: 81384 1950.83/1955.88 c #Conflicts: 448000 | #Constraints: 82384 1950.83/1955.88 c #Conflicts: 449000 | #Constraints: 83384 1950.83/1955.88 c #Conflicts: 450000 | #Constraints: 84384 1950.83/1955.88 c #Conflicts: 451000 | #Constraints: 85384 1950.83/1955.88 c #Conflicts: 452000 | #Constraints: 86384 1950.83/1955.88 c #Conflicts: 453000 | #Constraints: 87384 1950.83/1955.88 c #Conflicts: 454000 | #Constraints: 88384 1950.83/1955.88 c #Conflicts: 455000 | #Constraints: 89384 1950.83/1955.88 c #Conflicts: 456000 | #Constraints: 90384 1950.83/1955.88 c #Conflicts: 457000 | #Constraints: 91384 1950.83/1955.88 c #Conflicts: 458000 | #Constraints: 92384 1950.83/1955.88 c #Conflicts: 459000 | #Constraints: 93385 1950.83/1955.88 c INPROCESSING 1950.83/1955.88 c GARBAGE COLLECT 1950.83/1955.88 c #Conflicts: 460000 | #Constraints: 58262 1950.83/1955.88 c #Conflicts: 461000 | #Constraints: 59262 1950.83/1955.88 c #Conflicts: 462000 | #Constraints: 60262 1950.83/1955.88 c #Conflicts: 463000 | #Constraints: 61262 1950.83/1955.88 c #Conflicts: 464000 | #Constraints: 62262 1950.83/1955.88 c #Conflicts: 465000 | #Constraints: 63262 1950.83/1955.88 c #Conflicts: 466000 | #Constraints: 64262 1950.83/1955.88 c #Conflicts: 467000 | #Constraints: 65262 1950.83/1955.88 c #Conflicts: 468000 | #Constraints: 66262 1950.83/1955.88 c #Conflicts: 469000 | #Constraints: 67262 1950.83/1955.88 c #Conflicts: 470000 | #Constraints: 68262 1950.83/1955.88 c #Conflicts: 471000 | #Constraints: 69262 1950.83/1955.88 c #Conflicts: 472000 | #Constraints: 70262 1950.83/1955.88 c #Conflicts: 473000 | #Constraints: 71262 1950.83/1955.88 c #Conflicts: 474000 | #Constraints: 72262 1950.83/1955.88 c #Conflicts: 475000 | #Constraints: 73262 1950.83/1955.88 c #Conflicts: 476000 | #Constraints: 74263 1950.83/1955.88 c #Conflicts: 477000 | #Constraints: 75263 1950.83/1955.88 c #Conflicts: 478000 | #Constraints: 76263 1950.83/1955.88 c INPROCESSING 1950.83/1955.88 c GARBAGE COLLECT 1950.83/1955.88 c rational objective 165 2085.71/2091.08 c #Conflicts: 479000 | #Constraints: 52126 2085.71/2091.08 c #Conflicts: 480000 | #Constraints: 53126 2085.71/2091.08 c #Conflicts: 481000 | #Constraints: 54126 2085.71/2091.08 c #Conflicts: 482000 | #Constraints: 55126 2085.71/2091.08 c #Conflicts: 483000 | #Constraints: 56126 2085.71/2091.08 c #Conflicts: 484000 | #Constraints: 57126 2085.71/2091.08 c #Conflicts: 485000 | #Constraints: 58126 2085.71/2091.08 c #Conflicts: 486000 | #Constraints: 59126 2085.71/2091.08 c #Conflicts: 487000 | #Constraints: 60126 2085.71/2091.08 c #Conflicts: 488000 | #Constraints: 61126 2085.71/2091.08 c #Conflicts: 489000 | #Constraints: 62126 2085.71/2091.08 c #Conflicts: 490000 | #Constraints: 63127 2085.71/2091.08 c #Conflicts: 491000 | #Constraints: 64127 2085.71/2091.08 c #Conflicts: 492000 | #Constraints: 65127 2085.71/2091.08 c #Conflicts: 493000 | #Constraints: 66127 2085.71/2091.08 c #Conflicts: 494000 | #Constraints: 67127 2085.71/2091.08 c #Conflicts: 495000 | #Constraints: 68127 2085.71/2091.08 c #Conflicts: 496000 | #Constraints: 69127 2085.71/2091.08 c #Conflicts: 497000 | #Constraints: 70127 2085.71/2091.08 c #Conflicts: 498000 | #Constraints: 71127 2085.71/2091.08 c #Conflicts: 499000 | #Constraints: 72127 2085.71/2091.08 c #Conflicts: 500000 | #Constraints: 73127 2085.71/2091.08 c #Conflicts: 501000 | #Constraints: 74127 2085.71/2091.08 c #Conflicts: 502000 | #Constraints: 75127 2085.71/2091.08 c #Conflicts: 503000 | #Constraints: 76127 2085.71/2091.08 c #Conflicts: 504000 | #Constraints: 77127 2085.71/2091.08 c #Conflicts: 505000 | #Constraints: 78127 2085.71/2091.08 c #Conflicts: 506000 | #Constraints: 79127 2085.71/2091.08 c #Conflicts: 507000 | #Constraints: 80127 2085.71/2091.08 c #Conflicts: 508000 | #Constraints: 81128 2085.71/2091.08 c #Conflicts: 509000 | #Constraints: 82128 2085.71/2091.08 c #Conflicts: 510000 | #Constraints: 83128 2085.71/2091.08 c #Conflicts: 511000 | #Constraints: 84128 2085.71/2091.08 c #Conflicts: 512000 | #Constraints: 85128 2085.71/2091.08 c #Conflicts: 513000 | #Constraints: 86128 2085.71/2091.08 c #Conflicts: 514000 | #Constraints: 87128 2085.71/2091.08 c #Conflicts: 515000 | #Constraints: 88128 2085.71/2091.08 c #Conflicts: 516000 | #Constraints: 89128 2085.71/2091.08 c #Conflicts: 517000 | #Constraints: 90128 2085.71/2091.08 c #Conflicts: 518000 | #Constraints: 91128 2085.71/2091.08 c #Conflicts: 519000 | #Constraints: 92128 2085.71/2091.08 c #Conflicts: 520000 | #Constraints: 93128 2085.71/2091.08 c #Conflicts: 521000 | #Constraints: 94128 2085.71/2091.08 c #Conflicts: 522000 | #Constraints: 95128 2085.71/2091.08 c #Conflicts: 523000 | #Constraints: 96128 2085.71/2091.08 c #Conflicts: 524000 | #Constraints: 97128 2085.71/2091.08 c #Conflicts: 525000 | #Constraints: 98128 2085.71/2091.08 c INPROCESSING 2085.71/2091.08 c GARBAGE COLLECT 2085.71/2091.08 c rational objective 165 2121.72/2127.11 c #Conflicts: 526000 | #Constraints: 60987 2121.72/2127.11 c #Conflicts: 527000 | #Constraints: 61987 2121.72/2127.11 c #Conflicts: 528000 | #Constraints: 62987 2121.72/2127.11 c #Conflicts: 529000 | #Constraints: 63987 2121.72/2127.11 c #Conflicts: 530000 | #Constraints: 64987 2121.72/2127.11 c #Conflicts: 531000 | #Constraints: 65987 2121.72/2127.11 c #Conflicts: 532000 | #Constraints: 66987 2121.72/2127.11 c #Conflicts: 533000 | #Constraints: 67987 2121.72/2127.11 c #Conflicts: 534000 | #Constraints: 68987 2121.72/2127.11 c #Conflicts: 535000 | #Constraints: 69988 2121.72/2127.11 c #Conflicts: 536000 | #Constraints: 70989 2121.72/2127.11 c #Conflicts: 537000 | #Constraints: 71989 2121.72/2127.11 c #Conflicts: 538000 | #Constraints: 72989 2121.72/2127.11 c #Conflicts: 539000 | #Constraints: 73989 2121.72/2127.11 c #Conflicts: 540000 | #Constraints: 74989 2121.72/2127.11 c #Conflicts: 541000 | #Constraints: 75989 2121.72/2127.11 c #Conflicts: 542000 | #Constraints: 76989 2121.72/2127.11 c #Conflicts: 543000 | #Constraints: 77989 2121.72/2127.11 c #Conflicts: 544000 | #Constraints: 78989 2121.72/2127.11 c #Conflicts: 545000 | #Constraints: 79989 2121.72/2127.11 c INPROCESSING 2121.72/2127.11 c GARBAGE COLLECT 2121.72/2127.11 c rational objective 165 2351.18/2357.19 c #Conflicts: 546000 | #Constraints: 54257 2351.18/2357.19 c #Conflicts: 547000 | #Constraints: 55257 2351.18/2357.19 c #Conflicts: 548000 | #Constraints: 56257 2351.18/2357.19 c #Conflicts: 549000 | #Constraints: 57257 2351.18/2357.19 c #Conflicts: 550000 | #Constraints: 58257 2351.18/2357.19 c #Conflicts: 551000 | #Constraints: 59257 2351.18/2357.19 c #Conflicts: 552000 | #Constraints: 60257 2351.18/2357.19 c #Conflicts: 553000 | #Constraints: 61257 2351.18/2357.19 c #Conflicts: 554000 | #Constraints: 62257 2351.18/2357.19 c #Conflicts: 555000 | #Constraints: 63257 2351.18/2357.19 c #Conflicts: 556000 | #Constraints: 64257 2351.18/2357.19 c #Conflicts: 557000 | #Constraints: 65258 2351.18/2357.19 c #Conflicts: 558000 | #Constraints: 66258 2351.18/2357.19 c #Conflicts: 559000 | #Constraints: 67258 2351.18/2357.19 c #Conflicts: 560000 | #Constraints: 68258 2351.18/2357.19 c #Conflicts: 561000 | #Constraints: 69258 2351.18/2357.19 c #Conflicts: 562000 | #Constraints: 70258 2351.18/2357.19 c #Conflicts: 563000 | #Constraints: 71258 2351.18/2357.19 c #Conflicts: 564000 | #Constraints: 72258 2351.18/2357.19 c #Conflicts: 565000 | #Constraints: 73258 2351.18/2357.19 c #Conflicts: 566000 | #Constraints: 74258 2351.18/2357.19 c #Conflicts: 567000 | #Constraints: 75258 2351.18/2357.19 c #Conflicts: 568000 | #Constraints: 76258 2351.18/2357.19 c #Conflicts: 569000 | #Constraints: 77258 2351.18/2357.19 c #Conflicts: 570000 | #Constraints: 78258 2351.18/2357.19 c #Conflicts: 571000 | #Constraints: 79259 2351.18/2357.19 c #Conflicts: 572000 | #Constraints: 80259 2351.18/2357.19 c #Conflicts: 573000 | #Constraints: 81259 2351.18/2357.19 c #Conflicts: 574000 | #Constraints: 82259 2351.18/2357.19 c #Conflicts: 575000 | #Constraints: 83259 2351.18/2357.19 c #Conflicts: 576000 | #Constraints: 84259 2351.18/2357.19 c #Conflicts: 577000 | #Constraints: 85259 2351.18/2357.19 c #Conflicts: 578000 | #Constraints: 86259 2351.18/2357.19 c #Conflicts: 579000 | #Constraints: 87259 2351.18/2357.19 c #Conflicts: 580000 | #Constraints: 88259 2351.18/2357.19 c #Conflicts: 581000 | #Constraints: 89259 2351.18/2357.19 c #Conflicts: 582000 | #Constraints: 90259 2351.18/2357.19 c #Conflicts: 583000 | #Constraints: 91260 2351.18/2357.19 c #Conflicts: 584000 | #Constraints: 92260 2351.18/2357.19 c #Conflicts: 585000 | #Constraints: 93260 2351.18/2357.19 c #Conflicts: 586000 | #Constraints: 94260 2351.18/2357.19 c #Conflicts: 587000 | #Constraints: 95260 2351.18/2357.19 c #Conflicts: 588000 | #Constraints: 96260 2351.18/2357.19 c #Conflicts: 589000 | #Constraints: 97260 2351.18/2357.19 c #Conflicts: 590000 | #Constraints: 98260 2351.18/2357.19 c #Conflicts: 591000 | #Constraints: 99260 2351.18/2357.19 c #Conflicts: 592000 | #Constraints: 100260 2351.18/2357.19 c #Conflicts: 593000 | #Constraints: 101260 2351.18/2357.19 c #Conflicts: 594000 | #Constraints: 102260 2351.18/2357.19 c #Conflicts: 595000 | #Constraints: 103260 2351.18/2357.19 c INPROCESSING 2351.18/2357.19 c GARBAGE COLLECT 2351.18/2357.19 c rational objective 165 2429.59/2435.79 c #Conflicts: 596000 | #Constraints: 63266 2429.59/2435.79 c #Conflicts: 597000 | #Constraints: 64266 2429.59/2435.79 c #Conflicts: 598000 | #Constraints: 65266 2429.59/2435.79 c #Conflicts: 599000 | #Constraints: 66267 2429.59/2435.79 c #Conflicts: 600000 | #Constraints: 67268 2429.59/2435.79 c #Conflicts: 601000 | #Constraints: 68269 2429.59/2435.79 c #Conflicts: 602000 | #Constraints: 69269 2429.59/2435.79 c #Conflicts: 603000 | #Constraints: 70269 2429.59/2435.79 c #Conflicts: 604000 | #Constraints: 71269 2429.59/2435.79 c #Conflicts: 605000 | #Constraints: 72269 2429.59/2435.79 c #Conflicts: 606000 | #Constraints: 73269 2429.59/2435.79 c #Conflicts: 607000 | #Constraints: 74269 2429.59/2435.79 c #Conflicts: 608000 | #Constraints: 75269 2429.59/2435.79 c #Conflicts: 609000 | #Constraints: 76269 2429.59/2435.79 c #Conflicts: 610000 | #Constraints: 77269 2429.59/2435.79 c #Conflicts: 611000 | #Constraints: 78269 2429.59/2435.79 c #Conflicts: 612000 | #Constraints: 79269 2429.59/2435.79 c #Conflicts: 613000 | #Constraints: 80269 2429.59/2435.79 c #Conflicts: 614000 | #Constraints: 81269 2429.59/2435.79 c #Conflicts: 615000 | #Constraints: 82269 2429.59/2435.79 c #Conflicts: 616000 | #Constraints: 83269 2429.59/2435.79 c #Conflicts: 617000 | #Constraints: 84269 2429.59/2435.79 c INPROCESSING 2429.59/2435.79 c GARBAGE COLLECT 2429.59/2435.79 c rational objective 165 2690.92/2697.89 c #Conflicts: 618000 | #Constraints: 57341 2690.92/2697.89 c #Conflicts: 619000 | #Constraints: 58341 2690.92/2697.89 c #Conflicts: 620000 | #Constraints: 59341 2690.92/2697.89 c #Conflicts: 621000 | #Constraints: 60341 2690.92/2697.89 c #Conflicts: 622000 | #Constraints: 61341 2690.92/2697.89 c #Conflicts: 623000 | #Constraints: 62342 2690.92/2697.89 c #Conflicts: 624000 | #Constraints: 63342 2690.92/2697.89 c #Conflicts: 625000 | #Constraints: 64342 2690.92/2697.89 c #Conflicts: 626000 | #Constraints: 65342 2690.92/2697.89 c #Conflicts: 627000 | #Constraints: 66342 2690.92/2697.89 c #Conflicts: 628000 | #Constraints: 67342 2690.92/2697.89 c #Conflicts: 629000 | #Constraints: 68342 2690.92/2697.89 c #Conflicts: 630000 | #Constraints: 69342 2690.92/2697.89 c #Conflicts: 631000 | #Constraints: 70342 2690.92/2697.89 c #Conflicts: 632000 | #Constraints: 71342 2690.92/2697.89 c #Conflicts: 633000 | #Constraints: 72342 2690.92/2697.89 c #Conflicts: 634000 | #Constraints: 73342 2690.92/2697.89 c #Conflicts: 635000 | #Constraints: 74342 2690.92/2697.89 c #Conflicts: 636000 | #Constraints: 75343 2690.92/2697.89 c #Conflicts: 637000 | #Constraints: 76343 2690.92/2697.89 c #Conflicts: 638000 | #Constraints: 77343 2690.92/2697.89 c #Conflicts: 639000 | #Constraints: 78343 2690.92/2697.89 c #Conflicts: 640000 | #Constraints: 79343 2690.92/2697.89 c #Conflicts: 641000 | #Constraints: 80343 2690.92/2697.89 c #Conflicts: 642000 | #Constraints: 81343 2690.92/2697.89 c #Conflicts: 643000 | #Constraints: 82343 2690.92/2697.89 c #Conflicts: 644000 | #Constraints: 83343 2690.92/2697.89 c #Conflicts: 645000 | #Constraints: 84343 2690.92/2697.89 c #Conflicts: 646000 | #Constraints: 85343 2690.92/2697.89 c #Conflicts: 647000 | #Constraints: 86343 2690.92/2697.89 c #Conflicts: 648000 | #Constraints: 87343 2690.92/2697.89 c #Conflicts: 649000 | #Constraints: 88343 2690.92/2697.89 c #Conflicts: 650000 | #Constraints: 89344 2690.92/2697.89 c #Conflicts: 651000 | #Constraints: 90344 2690.92/2697.89 c #Conflicts: 652000 | #Constraints: 91344 2690.92/2697.89 c #Conflicts: 653000 | #Constraints: 92344 2690.92/2697.89 c #Conflicts: 654000 | #Constraints: 93344 2690.92/2697.89 c #Conflicts: 655000 | #Constraints: 94344 2690.92/2697.89 c #Conflicts: 656000 | #Constraints: 95344 2690.92/2697.89 c #Conflicts: 657000 | #Constraints: 96344 2690.92/2697.89 c #Conflicts: 658000 | #Constraints: 97344 2690.92/2697.89 c #Conflicts: 659000 | #Constraints: 98344 2690.92/2697.89 c #Conflicts: 660000 | #Constraints: 99344 2690.92/2697.89 c #Conflicts: 661000 | #Constraints: 100344 2690.92/2697.89 c #Conflicts: 662000 | #Constraints: 101345 2690.92/2697.89 c #Conflicts: 663000 | #Constraints: 102345 2690.92/2697.89 c #Conflicts: 664000 | #Constraints: 103345 2690.92/2697.89 c #Conflicts: 665000 | #Constraints: 104345 2690.92/2697.89 c #Conflicts: 666000 | #Constraints: 105345 2690.92/2697.89 c #Conflicts: 667000 | #Constraints: 106345 2690.92/2697.89 c #Conflicts: 668000 | #Constraints: 107345 2690.92/2697.89 c #Conflicts: 669000 | #Constraints: 108345 2690.92/2697.89 c INPROCESSING 2690.92/2697.89 c GARBAGE COLLECT 2690.92/2697.89 c rational objective 165 2737.88/2744.96 c #Conflicts: 670000 | #Constraints: 65631 2737.88/2744.96 c #Conflicts: 671000 | #Constraints: 66631 2737.88/2744.96 c #Conflicts: 672000 | #Constraints: 67631 2737.88/2744.96 c #Conflicts: 673000 | #Constraints: 68631 2737.88/2744.96 c #Conflicts: 674000 | #Constraints: 69631 2737.88/2744.96 c #Conflicts: 675000 | #Constraints: 70631 2737.88/2744.96 c #Conflicts: 676000 | #Constraints: 71631 2737.88/2744.96 c #Conflicts: 677000 | #Constraints: 72631 2737.88/2744.96 c #Conflicts: 678000 | #Constraints: 73631 2737.88/2744.96 c #Conflicts: 679000 | #Constraints: 74631 2737.88/2744.96 c #Conflicts: 680000 | #Constraints: 75631 2737.88/2744.96 c #Conflicts: 681000 | #Constraints: 76631 2737.88/2744.96 c #Conflicts: 682000 | #Constraints: 77631 2737.88/2744.96 c #Conflicts: 683000 | #Constraints: 78631 2737.88/2744.96 c #Conflicts: 684000 | #Constraints: 79631 2737.88/2744.96 c #Conflicts: 685000 | #Constraints: 80631 2737.88/2744.96 c #Conflicts: 686000 | #Constraints: 81631 2737.88/2744.96 c #Conflicts: 687000 | #Constraints: 82631 2737.88/2744.96 c #Conflicts: 688000 | #Constraints: 83631 2737.88/2744.96 c #Conflicts: 689000 | #Constraints: 84631 2737.88/2744.96 c #Conflicts: 690000 | #Constraints: 85631 2737.88/2744.96 c #Conflicts: 691000 | #Constraints: 86631 2737.88/2744.96 c #Conflicts: 692000 | #Constraints: 87631 2737.88/2744.96 c #Conflicts: 693000 | #Constraints: 88631 2737.88/2744.96 c INPROCESSING 2737.88/2744.96 c GARBAGE COLLECT 2737.88/2744.96 c rational objective 165 2871.18/2878.64 c #Conflicts: 694000 | #Constraints: 60502 2871.18/2878.64 c #Conflicts: 695000 | #Constraints: 61502 2871.18/2878.64 c #Conflicts: 696000 | #Constraints: 62502 2871.18/2878.64 c #Conflicts: 697000 | #Constraints: 63502 2871.18/2878.64 c #Conflicts: 698000 | #Constraints: 64502 2871.18/2878.64 c #Conflicts: 699000 | #Constraints: 65502 2871.18/2878.64 c #Conflicts: 700000 | #Constraints: 66503 2871.18/2878.64 c #Conflicts: 701000 | #Constraints: 67503 2871.18/2878.64 c #Conflicts: 702000 | #Constraints: 68503 2871.18/2878.64 c #Conflicts: 703000 | #Constraints: 69503 2871.18/2878.64 c #Conflicts: 704000 | #Constraints: 70503 2871.18/2878.64 c #Conflicts: 705000 | #Constraints: 71503 2871.18/2878.64 c #Conflicts: 706000 | #Constraints: 72503 2871.18/2878.64 c #Conflicts: 707000 | #Constraints: 73503 2871.18/2878.64 c #Conflicts: 708000 | #Constraints: 74503 2871.18/2878.64 c #Conflicts: 709000 | #Constraints: 75503 2871.18/2878.64 c #Conflicts: 710000 | #Constraints: 76503 2871.18/2878.64 c #Conflicts: 711000 | #Constraints: 77504 2871.18/2878.64 c #Conflicts: 712000 | #Constraints: 78504 2871.18/2878.64 c #Conflicts: 713000 | #Constraints: 79504 2871.18/2878.64 c #Conflicts: 714000 | #Constraints: 80504 2871.18/2878.64 c #Conflicts: 715000 | #Constraints: 81504 2871.18/2878.64 c #Conflicts: 716000 | #Constraints: 82504 2871.18/2878.64 c #Conflicts: 717000 | #Constraints: 83504 2871.18/2878.64 c #Conflicts: 718000 | #Constraints: 84504 2871.18/2878.64 c #Conflicts: 719000 | #Constraints: 85504 2871.18/2878.64 c #Conflicts: 720000 | #Constraints: 86505 2871.18/2878.64 c #Conflicts: 721000 | #Constraints: 87505 2871.18/2878.64 c #Conflicts: 722000 | #Constraints: 88505 2871.18/2878.64 c #Conflicts: 723000 | #Constraints: 89505 2871.18/2878.64 c #Conflicts: 724000 | #Constraints: 90505 2871.18/2878.64 c #Conflicts: 725000 | #Constraints: 91505 2871.18/2878.64 c #Conflicts: 726000 | #Constraints: 92505 2871.18/2878.64 c #Conflicts: 727000 | #Constraints: 93505 2871.18/2878.64 c #Conflicts: 728000 | #Constraints: 94505 2871.18/2878.64 c #Conflicts: 729000 | #Constraints: 95505 2871.18/2878.64 c #Conflicts: 730000 | #Constraints: 96505 2871.18/2878.64 c #Conflicts: 731000 | #Constraints: 97505 2871.18/2878.64 c #Conflicts: 732000 | #Constraints: 98505 2871.18/2878.64 c #Conflicts: 733000 | #Constraints: 99505 2871.18/2878.64 c #Conflicts: 734000 | #Constraints: 100505 2871.18/2878.64 c #Conflicts: 735000 | #Constraints: 101505 2871.18/2878.64 c #Conflicts: 736000 | #Constraints: 102505 2871.18/2878.64 c #Conflicts: 737000 | #Constraints: 103505 2871.18/2878.64 c #Conflicts: 738000 | #Constraints: 104505 2871.18/2878.64 c #Conflicts: 739000 | #Constraints: 105505 2871.18/2878.64 c #Conflicts: 740000 | #Constraints: 106505 2871.18/2878.64 c #Conflicts: 741000 | #Constraints: 107505 2871.18/2878.64 c #Conflicts: 742000 | #Constraints: 108505 2871.18/2878.64 c #Conflicts: 743000 | #Constraints: 109505 2871.18/2878.64 c #Conflicts: 744000 | #Constraints: 110505 2871.18/2878.64 c #Conflicts: 745000 | #Constraints: 111505 2871.18/2878.64 c #Conflicts: 746000 | #Constraints: 112505 2871.18/2878.64 c #Conflicts: 747000 | #Constraints: 113505 2871.18/2878.64 c #Conflicts: 748000 | #Constraints: 114505 2871.18/2878.64 c INPROCESSING 2871.18/2878.64 c GARBAGE COLLECT 2871.18/2878.64 c rational objective 165 3029.12/3036.99 c #Conflicts: 749000 | #Constraints: 68921 3029.12/3036.99 c #Conflicts: 750000 | #Constraints: 69921 3029.12/3036.99 c #Conflicts: 751000 | #Constraints: 70921 3029.12/3036.99 c #Conflicts: 752000 | #Constraints: 71922 3029.12/3036.99 c #Conflicts: 753000 | #Constraints: 72922 3029.12/3036.99 c #Conflicts: 754000 | #Constraints: 73922 3029.12/3036.99 c #Conflicts: 755000 | #Constraints: 74922 3029.12/3036.99 c #Conflicts: 756000 | #Constraints: 75922 3029.12/3036.99 c #Conflicts: 757000 | #Constraints: 76922 3029.12/3036.99 c #Conflicts: 758000 | #Constraints: 77922 3029.12/3036.99 c #Conflicts: 759000 | #Constraints: 78922 3029.12/3036.99 c #Conflicts: 760000 | #Constraints: 79922 3029.12/3036.99 c #Conflicts: 761000 | #Constraints: 80922 3029.12/3036.99 c #Conflicts: 762000 | #Constraints: 81922 3029.12/3036.99 c #Conflicts: 763000 | #Constraints: 82922 3029.12/3036.99 c #Conflicts: 764000 | #Constraints: 83922 3029.12/3036.99 c #Conflicts: 765000 | #Constraints: 84922 3029.12/3036.99 c #Conflicts: 766000 | #Constraints: 85922 3029.12/3036.99 c #Conflicts: 767000 | #Constraints: 86922 3029.12/3036.99 c #Conflicts: 768000 | #Constraints: 87923 3029.12/3036.99 c #Conflicts: 769000 | #Constraints: 88923 3029.12/3036.99 c #Conflicts: 770000 | #Constraints: 89923 3029.12/3036.99 c #Conflicts: 771000 | #Constraints: 90923 3029.12/3036.99 c #Conflicts: 772000 | #Constraints: 91923 3029.12/3036.99 c #Conflicts: 773000 | #Constraints: 92923 3029.12/3036.99 c INPROCESSING 3029.12/3036.99 c GARBAGE COLLECT 3029.12/3036.99 c rational objective 165 3234.99/3243.38 c #Conflicts: 774000 | #Constraints: 62383 3234.99/3243.38 c #Conflicts: 775000 | #Constraints: 63383 3234.99/3243.38 c #Conflicts: 776000 | #Constraints: 64383 3234.99/3243.38 c #Conflicts: 777000 | #Constraints: 65383 3234.99/3243.38 c #Conflicts: 778000 | #Constraints: 66383 3234.99/3243.38 c #Conflicts: 779000 | #Constraints: 67383 3234.99/3243.38 c #Conflicts: 780000 | #Constraints: 68383 3234.99/3243.38 c #Conflicts: 781000 | #Constraints: 69383 3234.99/3243.38 c #Conflicts: 782000 | #Constraints: 70384 3234.99/3243.38 c #Conflicts: 783000 | #Constraints: 71384 3234.99/3243.38 c #Conflicts: 784000 | #Constraints: 72385 3234.99/3243.38 c #Conflicts: 785000 | #Constraints: 73385 3234.99/3243.38 c #Conflicts: 786000 | #Constraints: 74385 3234.99/3243.38 c #Conflicts: 787000 | #Constraints: 75385 3234.99/3243.38 c #Conflicts: 788000 | #Constraints: 76385 3234.99/3243.38 c #Conflicts: 789000 | #Constraints: 77385 3234.99/3243.38 c #Conflicts: 790000 | #Constraints: 78386 3234.99/3243.38 c #Conflicts: 791000 | #Constraints: 79386 3234.99/3243.38 c #Conflicts: 792000 | #Constraints: 80386 3234.99/3243.38 c #Conflicts: 793000 | #Constraints: 81386 3234.99/3243.38 c #Conflicts: 794000 | #Constraints: 82386 3234.99/3243.38 c #Conflicts: 795000 | #Constraints: 83386 3234.99/3243.38 c #Conflicts: 796000 | #Constraints: 84386 3234.99/3243.38 c #Conflicts: 797000 | #Constraints: 85386 3234.99/3243.38 c #Conflicts: 798000 | #Constraints: 86386 3234.99/3243.38 c #Conflicts: 799000 | #Constraints: 87386 3234.99/3243.38 c #Conflicts: 800000 | #Constraints: 88386 3234.99/3243.38 c #Conflicts: 801000 | #Constraints: 89386 3234.99/3243.38 c #Conflicts: 802000 | #Constraints: 90386 3234.99/3243.38 c #Conflicts: 803000 | #Constraints: 91386 3234.99/3243.38 c #Conflicts: 804000 | #Constraints: 92386 3234.99/3243.38 c #Conflicts: 805000 | #Constraints: 93386 3234.99/3243.38 c #Conflicts: 806000 | #Constraints: 94386 3234.99/3243.38 c #Conflicts: 807000 | #Constraints: 95386 3234.99/3243.38 c #Conflicts: 808000 | #Constraints: 96386 3234.99/3243.38 c #Conflicts: 809000 | #Constraints: 97386 3234.99/3243.38 c #Conflicts: 810000 | #Constraints: 98386 3234.99/3243.38 c #Conflicts: 811000 | #Constraints: 99386 3234.99/3243.38 c #Conflicts: 812000 | #Constraints: 100387 3234.99/3243.38 c #Conflicts: 813000 | #Constraints: 101387 3234.99/3243.38 c #Conflicts: 814000 | #Constraints: 102387 3234.99/3243.38 c #Conflicts: 815000 | #Constraints: 103387 3234.99/3243.38 c #Conflicts: 816000 | #Constraints: 104387 3234.99/3243.38 c #Conflicts: 817000 | #Constraints: 105387 3234.99/3243.38 c #Conflicts: 818000 | #Constraints: 106387 3234.99/3243.38 c #Conflicts: 819000 | #Constraints: 107387 3234.99/3243.38 c #Conflicts: 820000 | #Constraints: 108388 3234.99/3243.38 c #Conflicts: 821000 | #Constraints: 109388 3234.99/3243.38 c #Conflicts: 822000 | #Constraints: 110388 3234.99/3243.38 c #Conflicts: 823000 | #Constraints: 111388 3234.99/3243.38 c #Conflicts: 824000 | #Constraints: 112388 3234.99/3243.38 c #Conflicts: 825000 | #Constraints: 113388 3234.99/3243.38 c #Conflicts: 826000 | #Constraints: 114388 3234.99/3243.38 c #Conflicts: 827000 | #Constraints: 115388 3234.99/3243.38 c #Conflicts: 828000 | #Constraints: 116388 3234.99/3243.38 c #Conflicts: 829000 | #Constraints: 117388 3234.99/3243.38 c #Conflicts: 830000 | #Constraints: 118388 3234.99/3243.38 c #Conflicts: 831000 | #Constraints: 119388 3234.99/3243.38 c #Conflicts: 832000 | #Constraints: 120388 3234.99/3243.38 c INPROCESSING 3234.99/3243.38 c GARBAGE COLLECT 3234.99/3243.38 c rational objective 165 3326.14/3334.79 c #Conflicts: 833000 | #Constraints: 72176 3326.14/3334.79 c #Conflicts: 834000 | #Constraints: 73176 3326.14/3334.79 c #Conflicts: 835000 | #Constraints: 74176 3326.14/3334.79 c #Conflicts: 836000 | #Constraints: 75176 3326.14/3334.79 c #Conflicts: 837000 | #Constraints: 76176 3326.14/3334.79 c #Conflicts: 838000 | #Constraints: 77176 3326.14/3334.79 c #Conflicts: 839000 | #Constraints: 78176 3326.14/3334.79 c #Conflicts: 840000 | #Constraints: 79176 3326.14/3334.79 c #Conflicts: 841000 | #Constraints: 80176 3326.14/3334.79 c #Conflicts: 842000 | #Constraints: 81176 3326.14/3334.79 c #Conflicts: 843000 | #Constraints: 82176 3326.14/3334.79 c #Conflicts: 844000 | #Constraints: 83176 3326.14/3334.79 c #Conflicts: 845000 | #Constraints: 84176 3326.14/3334.79 c #Conflicts: 846000 | #Constraints: 85176 3326.14/3334.79 c #Conflicts: 847000 | #Constraints: 86176 3326.14/3334.79 c #Conflicts: 848000 | #Constraints: 87176 3326.14/3334.79 c #Conflicts: 849000 | #Constraints: 88176 3326.14/3334.79 c #Conflicts: 850000 | #Constraints: 89176 3326.14/3334.79 c #Conflicts: 851000 | #Constraints: 90176 3326.14/3334.79 c #Conflicts: 852000 | #Constraints: 91176 3326.14/3334.79 c #Conflicts: 853000 | #Constraints: 92177 3326.14/3334.79 c #Conflicts: 854000 | #Constraints: 93177 3326.14/3334.79 c #Conflicts: 855000 | #Constraints: 94177 3326.14/3334.79 c #Conflicts: 856000 | #Constraints: 95177 3326.14/3334.79 c #Conflicts: 857000 | #Constraints: 96177 3326.14/3334.79 c #Conflicts: 858000 | #Constraints: 97177 3326.14/3334.79 c INPROCESSING 3326.14/3334.79 c GARBAGE COLLECT 3326.14/3334.79 c rational objective 165 3504.10/3513.17 c #Conflicts: 859000 | #Constraints: 65447 3504.10/3513.17 c #Conflicts: 860000 | #Constraints: 66448 3504.10/3513.17 c #Conflicts: 861000 | #Constraints: 67449 3504.10/3513.17 c #Conflicts: 862000 | #Constraints: 68449 3504.10/3513.17 c #Conflicts: 863000 | #Constraints: 69449 3504.10/3513.17 c #Conflicts: 864000 | #Constraints: 70449 3504.10/3513.17 c #Conflicts: 865000 | #Constraints: 71449 3504.10/3513.17 c #Conflicts: 866000 | #Constraints: 72450 3504.10/3513.17 c #Conflicts: 867000 | #Constraints: 73450 3504.10/3513.17 c #Conflicts: 868000 | #Constraints: 74450 3504.10/3513.17 c #Conflicts: 869000 | #Constraints: 75450 3504.10/3513.17 c #Conflicts: 870000 | #Constraints: 76450 3504.10/3513.17 c #Conflicts: 871000 | #Constraints: 77450 3504.10/3513.17 c #Conflicts: 872000 | #Constraints: 78451 3504.10/3513.17 c #Conflicts: 873000 | #Constraints: 79451 3504.10/3513.17 c #Conflicts: 874000 | #Constraints: 80451 3504.10/3513.17 c #Conflicts: 875000 | #Constraints: 81451 3504.10/3513.17 c #Conflicts: 876000 | #Constraints: 82451 3504.10/3513.17 c #Conflicts: 877000 | #Constraints: 83451 3504.10/3513.17 c #Conflicts: 878000 | #Constraints: 84451 3504.10/3513.17 c #Conflicts: 879000 | #Constraints: 85451 3504.10/3513.17 c #Conflicts: 880000 | #Constraints: 86451 3504.10/3513.17 c #Conflicts: 881000 | #Constraints: 87451 3504.10/3513.17 c #Conflicts: 882000 | #Constraints: 88451 3504.10/3513.17 c #Conflicts: 883000 | #Constraints: 89451 3504.10/3513.17 c #Conflicts: 884000 | #Constraints: 90451 3504.10/3513.17 c #Conflicts: 885000 | #Constraints: 91451 3504.10/3513.17 c #Conflicts: 886000 | #Constraints: 92451 3504.10/3513.17 c #Conflicts: 887000 | #Constraints: 93451 3504.10/3513.17 c #Conflicts: 888000 | #Constraints: 94452 3504.10/3513.17 c #Conflicts: 889000 | #Constraints: 95452 3504.10/3513.17 c #Conflicts: 890000 | #Constraints: 96452 3504.10/3513.17 c #Conflicts: 891000 | #Constraints: 97452 3504.10/3513.17 c #Conflicts: 892000 | #Constraints: 98452 3504.10/3513.17 c #Conflicts: 893000 | #Constraints: 99452 3504.10/3513.17 c #Conflicts: 894000 | #Constraints: 100452 3504.10/3513.17 c #Conflicts: 895000 | #Constraints: 101452 3504.10/3513.17 c #Conflicts: 896000 | #Constraints: 102452 3504.10/3513.17 c #Conflicts: 897000 | #Constraints: 103452 3504.10/3513.17 c #Conflicts: 898000 | #Constraints: 104452 3504.10/3513.17 c #Conflicts: 899000 | #Constraints: 105452 3504.10/3513.17 c #Conflicts: 900000 | #Constraints: 106452 3504.10/3513.17 c #Conflicts: 901000 | #Constraints: 107452 3504.10/3513.17 c #Conflicts: 902000 | #Constraints: 108452 3504.10/3513.17 c #Conflicts: 903000 | #Constraints: 109452 3504.10/3513.17 c #Conflicts: 904000 | #Constraints: 110452 3504.10/3513.17 c #Conflicts: 905000 | #Constraints: 111452 3504.10/3513.17 c #Conflicts: 906000 | #Constraints: 112452 3504.10/3513.17 c #Conflicts: 907000 | #Constraints: 113452 3504.10/3513.17 c #Conflicts: 908000 | #Constraints: 114452 3504.10/3513.17 c #Conflicts: 909000 | #Constraints: 115452 3504.10/3513.17 c #Conflicts: 910000 | #Constraints: 116452 3504.10/3513.17 c #Conflicts: 911000 | #Constraints: 117452 3504.10/3513.17 c #Conflicts: 912000 | #Constraints: 118452 3504.10/3513.17 c #Conflicts: 913000 | #Constraints: 119452 3504.10/3513.17 c #Conflicts: 914000 | #Constraints: 120452 3504.10/3513.17 c #Conflicts: 915000 | #Constraints: 121452 3504.10/3513.17 c #Conflicts: 916000 | #Constraints: 122452 3504.10/3513.17 c #Conflicts: 917000 | #Constraints: 123452 3504.10/3513.17 c #Conflicts: 918000 | #Constraints: 124452 3504.10/3513.17 c #Conflicts: 919000 | #Constraints: 125452 3504.10/3513.17 c #Conflicts: 920000 | #Constraints: 126452 3504.10/3513.17 c INPROCESSING 3504.10/3513.17 c GARBAGE COLLECT 3504.10/3513.17 c rational objective 165 3575.95/3585.17 c #Conflicts: 921000 | #Constraints: 75286 3575.95/3585.17 c #Conflicts: 922000 | #Constraints: 76286 3575.95/3585.17 c #Conflicts: 923000 | #Constraints: 77286 3575.95/3585.17 c #Conflicts: 924000 | #Constraints: 78286 3575.95/3585.17 c #Conflicts: 925000 | #Constraints: 79286 3575.95/3585.17 c #Conflicts: 926000 | #Constraints: 80286 3575.95/3585.17 c #Conflicts: 927000 | #Constraints: 81286 3575.95/3585.17 c #Conflicts: 928000 | #Constraints: 82286 3575.95/3585.17 c #Conflicts: 929000 | #Constraints: 83286 3575.95/3585.17 c #Conflicts: 930000 | #Constraints: 84286 3575.95/3585.17 c #Conflicts: 931000 | #Constraints: 85286 3575.95/3585.17 c #Conflicts: 932000 | #Constraints: 86286 3575.95/3585.17 c #Conflicts: 933000 | #Constraints: 87286 3575.95/3585.17 c #Conflicts: 934000 | #Constraints: 88286 3575.95/3585.17 c #Conflicts: 935000 | #Constraints: 89286 3575.95/3585.17 c #Conflicts: 936000 | #Constraints: 90286 3575.95/3585.17 c #Conflicts: 937000 | #Constraints: 91287 3575.95/3585.17 c #Conflicts: 938000 | #Constraints: 92287 3575.95/3585.17 c #Conflicts: 939000 | #Constraints: 93287 3575.95/3585.17 c #Conflicts: 940000 | #Constraints: 94287 3575.95/3585.17 c #Conflicts: 941000 | #Constraints: 95287 3575.95/3585.17 c #Conflicts: 942000 | #Constraints: 96287 3575.95/3585.17 c #Conflicts: 943000 | #Constraints: 97288 3575.95/3585.17 c #Conflicts: 944000 | #Constraints: 98288 3575.95/3585.17 c #Conflicts: 945000 | #Constraints: 99288 3575.95/3585.17 c #Conflicts: 946000 | #Constraints: 100288 3575.95/3585.17 c #Conflicts: 947000 | #Constraints: 101289 3575.95/3585.17 c INPROCESSING 3575.95/3585.17 c GARBAGE COLLECT 3575.95/3585.17 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: 63968 MiB (58193 MiB free)
memory of node 1: 64473 MiB (53620 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457167-1721826913/watcher-4457167-1721826913 -o /tmp/evaluation-result-4457167-1721826913/solver-4457167-1721826913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228038 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457167-1721826913 --lp-cut-gomory=0 HOME/instance-4457167-1721826913.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=236486, runsolver pid=236483
[startup+0.100526 s]*
/proc/loadavg: 4.13 4.17 4.18 5/264 236487
/proc/meminfo: memFree=114473912/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=50880 memory=22412 CPUtime=0.1 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 5037 0 0 0 8 2 0 0 20 0 1 0 19219535 52101120 5603 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 12720 5603 1647 992 0 4578 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50880 KiB
Current children cumulated memory: 22412 KiB
[startup+0.20591 s]*
/proc/loadavg: 4.13 4.17 4.18 5/264 236487
/proc/meminfo: memFree=114450136/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=70864 memory=38456 CPUtime=0.2 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 9658 0 0 0 17 3 0 0 20 0 1 0 19219535 72564736 9614 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 17716 9614 1711 992 0 9574 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70864 KiB
Current children cumulated memory: 38456 KiB
[startup+0.30595 s]*
/proc/loadavg: 4.13 4.17 4.18 5/264 236487
/proc/meminfo: memFree=114443948/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=71480 memory=40024 CPUtime=0.29 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 10009 0 0 0 26 3 0 0 20 0 1 0 19219535 73195520 10006 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 17870 10006 1711 992 0 9728 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71480 KiB
Current children cumulated memory: 40024 KiB
[startup+0.700229 s]
/proc/loadavg: 4.13 4.17 4.18 6/264 236487
/proc/meminfo: memFree=114427608/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=73844 memory=42928 CPUtime=0.69 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 10743 0 0 0 65 4 0 0 20 0 1 0 19219535 75616256 10732 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 18461 10732 1711 992 0 10319 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 73844 KiB
Current children cumulated memory: 42928 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.17 4.18 5/264 236487
/proc/meminfo: memFree=114397976/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=74092 memory=43192 CPUtime=1.48 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 10845 0 0 0 139 9 0 0 20 0 1 0 19219535 75870208 10798 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 18523 10798 1711 992 0 10381 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74092 KiB
Current children cumulated memory: 43192 KiB
[startup+3.106 s]
/proc/loadavg: 4.13 4.17 4.18 5/264 236487
/proc/meminfo: memFree=114286104/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=77516 memory=46536 CPUtime=3.08 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 11611 0 0 0 289 19 0 0 20 0 1 0 19219535 79376384 11634 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 19379 11634 1759 992 0 11237 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 77516 KiB
Current children cumulated memory: 46536 KiB
[startup+6.30022 s]
/proc/loadavg: 4.12 4.17 4.17 5/264 236489
/proc/meminfo: memFree=114158120/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=78200 memory=47324 CPUtime=6.27 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 11822 0 0 0 605 22 0 0 20 0 1 0 19219535 80076800 11831 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 19550 11831 1759 992 0 11408 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 78200 KiB
Current children cumulated memory: 47324 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 4.20 4.18 5/264 236489
/proc/meminfo: memFree=114007784/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=79236 memory=48908 CPUtime=12.65 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 12190 0 0 0 1239 26 0 0 20 0 1 0 19219535 81137664 12227 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 19809 12227 1759 992 0 11667 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 79236 KiB
Current children cumulated memory: 48908 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.19 4.18 5/264 236492
/proc/meminfo: memFree=113766188/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=98380 memory=62004 CPUtime=25.42 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 14870 0 0 0 2466 76 0 0 20 0 1 0 19219535 100741120 15501 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 24595 15501 1854 992 0 16453 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 98380 KiB
Current children cumulated memory: 62004 KiB
[startup+51.106 s]
/proc/loadavg: 4.14 4.17 4.18 5/264 236496
/proc/meminfo: memFree=113696500/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=108048 memory=74536 CPUtime=50.95 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 17005 0 0 0 4995 100 0 0 20 0 1 0 19219535 110641152 18634 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 27012 18634 1854 992 0 18870 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 108048 KiB
Current children cumulated memory: 74536 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/264 236505
/proc/meminfo: memFree=113301496/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=127640 memory=90572 CPUtime=102.02 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 18963 0 0 0 10014 188 0 0 20 0 1 0 19219535 130703360 22643 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 31910 22643 1854 992 0 23768 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 127640 KiB
Current children cumulated memory: 90572 KiB
[startup+162.3 s]
/proc/loadavg: 4.44 4.24 4.20 5/263 236515
/proc/meminfo: memFree=111452276/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=158580 memory=126016 CPUtime=161.87 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 22827 0 0 0 15933 254 0 0 20 0 1 0 19219535 162385920 31504 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 39645 31504 1854 992 0 31503 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 158580 KiB
Current children cumulated memory: 126016 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.21 4.19 5/263 236525
/proc/meminfo: memFree=109357152/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=164816 memory=132544 CPUtime=221.72 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 23899 0 0 0 21825 347 0 0 20 0 1 0 19219535 168771584 33136 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 41204 33136 1854 992 0 33062 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 164816 KiB
Current children cumulated memory: 132544 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.21 4.19 5/260 236538
/proc/meminfo: memFree=108226204/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=206924 memory=158316 CPUtime=281.57 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 27288 0 0 0 27749 408 0 0 20 0 1 0 19219535 211890176 39579 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 51731 39579 1854 992 0 43589 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 206924 KiB
Current children cumulated memory: 158316 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/258 236549
/proc/meminfo: memFree=108112468/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=261772 memory=195548 CPUtime=341.41 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 28933 0 0 0 33658 483 0 0 20 0 1 0 19219535 268054528 48887 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 65443 48887 1854 992 0 57301 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 261772 KiB
Current children cumulated memory: 195548 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/259 236563
/proc/meminfo: memFree=107732156/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=262224 memory=196340 CPUtime=401.25 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 29169 0 0 0 39620 505 0 0 20 0 1 0 19219535 268517376 49085 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 65556 49085 1854 992 0 57414 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 262224 KiB
Current children cumulated memory: 196340 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/259 236573
/proc/meminfo: memFree=106830152/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=268576 memory=201560 CPUtime=461.09 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 30501 0 0 0 45492 617 0 0 20 0 1 0 19219535 275021824 50390 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 67144 50390 1854 992 0 59002 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 3.15 3.14 3.36 4/247 238284
/proc/meminfo: memFree=108856180/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=910024 memory=803388 CPUtime=3154.2 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 110089 0 0 0 311922 3498 0 0 20 0 1 0 19219535 931864576 200847 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 227506 200847 1854 992 0 219364 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 910024 KiB
Current children cumulated memory: 803388 KiB
[startup+3222.3 s]
/proc/loadavg: 2.77 3.05 3.31 3/240 238326
/proc/meminfo: memFree=116215612/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=912076 memory=805352 CPUtime=3214.04 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 110708 0 0 0 317865 3539 0 0 20 0 1 0 19219535 933965824 201338 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 228019 201338 1854 992 0 219877 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 912076 KiB
Current children cumulated memory: 805352 KiB
[startup+3282.3 s]
/proc/loadavg: 2.44 2.90 3.24 3/241 238337
/proc/meminfo: memFree=115997740/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=911124 memory=804228 CPUtime=3273.88 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 112071 0 0 0 323791 3597 0 0 20 0 1 0 19219535 932990976 201057 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 227781 201057 1854 992 0 219639 0
Current children cumulated CPU time: 3273.88 s
Current children cumulated vsize: 911124 KiB
Current children cumulated memory: 804228 KiB
[startup+3342.3 s]
/proc/loadavg: 2.26 2.76 3.17 3/243 238351
/proc/meminfo: memFree=115878668/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=914040 memory=807320 CPUtime=3333.73 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 112973 0 0 0 329716 3657 0 0 20 0 1 0 19219535 935976960 201830 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 228510 201830 1854 992 0 220368 0
Current children cumulated CPU time: 3333.73 s
Current children cumulated vsize: 914040 KiB
Current children cumulated memory: 807320 KiB
[startup+3402.3 s]
/proc/loadavg: 2.14 2.64 3.10 3/243 238363
/proc/meminfo: memFree=115638588/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=914040 memory=807348 CPUtime=3393.56 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 113224 0 0 0 335610 3746 0 0 20 0 1 0 19219535 935976960 201837 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 228510 201837 1854 992 0 220368 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 914040 KiB
Current children cumulated memory: 807348 KiB
[startup+3462.3 s]
/proc/loadavg: 1.88 2.49 3.02 2/237 238405
/proc/meminfo: memFree=120635308/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=914180 memory=807492 CPUtime=3453.41 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 113548 0 0 0 341525 3816 0 0 20 0 1 0 19219535 936120320 201873 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 228545 201873 1854 992 0 220403 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 914180 KiB
Current children cumulated memory: 807492 KiB
[startup+3522.3 s]
/proc/loadavg: 1.38 2.23 2.90 2/237 238417
/proc/meminfo: memFree=120558304/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=919388 memory=814068 CPUtime=3513.27 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 115154 0 0 0 347439 3888 0 0 20 0 1 0 19219535 941453312 203517 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 229847 203517 1854 992 0 221705 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 814068 KiB
[startup+3582.3 s]
/proc/loadavg: 1.18 2.02 2.78 2/237 238427
/proc/meminfo: memFree=120449040/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=919388 memory=814068 CPUtime=3573.15 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 115435 0 0 0 353378 3937 0 0 20 0 1 0 19219535 941453312 203517 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 229847 203517 1854 992 0 221705 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 814068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 1.16 1.93 2.73 2/238 238434
/proc/meminfo: memFree=120385972/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=919388 memory=814072 CPUtime=3600.09 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 115643 0 0 0 356035 3974 0 0 20 0 1 0 19219535 941453312 203518 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 229847 203518 1854 992 0 221705 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 814072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.6 s]
# the end of solver process 236486 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3562.33 s, system=39.7788 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 1.16 1.93 2.73 2/238 238434
/proc/meminfo: memFree=120385972/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=919388 memory=814072 CPUtime=3600.39 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 115644 0 0 0 356065 3974 0 0 20 0 1 0 19219535 941453312 203518 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 229847 203518 1854 992 0 221705 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 814072 KiB
[startup+3610.4 s]
/proc/loadavg: 1.16 1.93 2.73 2/238 238434
/proc/meminfo: memFree=120385972/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=919388 memory=814072 CPUtime=3601.19 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 115645 0 0 0 356144 3975 0 0 20 0 1 0 19219535 941453312 203518 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 229847 203518 1854 992 0 221705 0
Current children cumulated CPU time: 3601.19 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 814072 KiB
[startup+3610.8 s]
/proc/loadavg: 1.16 1.93 2.73 2/238 238434
/proc/meminfo: memFree=120385972/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=919388 memory=814072 CPUtime=3601.59 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 115645 0 0 0 356184 3975 0 0 20 0 1 0 19219535 941453312 203518 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 229847 203518 1854 992 0 221705 0
Current children cumulated CPU time: 3601.59 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 814072 KiB
[startup+3611.2 s]
/proc/loadavg: 1.16 1.93 2.73 2/238 238434
/proc/meminfo: memFree=120386000/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=919388 memory=814072 CPUtime=3601.99 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 115645 0 0 0 356223 3976 0 0 20 0 1 0 19219535 941453312 203518 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 229847 203518 1854 992 0 221705 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 814072 KiB
[startup+3611.3 s]
/proc/loadavg: 1.16 1.93 2.73 2/238 238434
/proc/meminfo: memFree=120386000/131524600 swapFree=131069412/131071996
[pid=236486] ppid=236483 vsize=919388 memory=814072 CPUtime=3602.09 cores=5,7
/proc/236486/stat : 236486 (roundingsat) R 236483 236486 228025 0 -1 4194304 115645 0 0 0 356233 3976 0 0 20 0 1 0 19219535 941453312 203518 134679101440 4194304 8254037 140723082871680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41459712 140723082879840 140723082880102 140723082880102 140723082887113 0
/proc/236486/statm: 229847 203518 1854 992 0 221705 0
Current children cumulated CPU time: 3602.09 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 814072 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.6
CPU time (s): 3602.11
CPU user time (s): 3562.33
CPU system time (s): 39.7788
CPU usage (%): 99.7373
Max. virtual memory (cumulated for all children) (KiB): 919388
Max. memory (cumulated for all children) (KiB): 814072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.33
system time used= 39.7788
maximum resident set size= 814088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10096528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1372
involuntary context switches= 4801
# summary of solver processes directly reported to runsolver:
# pid: 236486
# total CPU time (s): 3602.11
# total CPU user time (s): 3562.33
# total CPU system time (s): 39.7788
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.70897 second user time and 16.89 second system time
The end
Begin job on nodeC018 at 2024-07-24 15:15:13 IDJOB=4457167 IDBENCH=158290 IDSOLVER=3085 FILE ID=nodeC018/4457167-1721826913 RUNJOBID= nodeC018-1721817186-228038 SLURM_JOB_ID= 7816872 Free space on /tmp= 890032 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-4457167-1721826913/watcher-4457167-1721826913 -o /tmp/evaluation-result-4457167-1721826913/solver-4457167-1721826913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228038 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457167-1721826913 --lp-cut-gomory=0 HOME/instance-4457167-1721826913.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 75fbe782de7ac9ce41dec078153ff02c RANDOM SEED=1191250215 nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3677.758 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3684.933 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.965 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.167 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3677.772 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.223 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.205 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.727 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 114500300 kB MemAvailable: 124925276 kB Buffers: 250680 kB Cached: 10953992 kB SwapCached: 52 kB Active: 2230400 kB Inactive: 14077620 kB Active(anon): 2008 kB Inactive(anon): 5154860 kB Active(file): 2228392 kB Inactive(file): 8922760 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131069412 kB Dirty: 132308 kB Writeback: 8 kB AnonPages: 5102828 kB Mapped: 111984 kB Shmem: 53772 kB KReclaimable: 227296 kB Slab: 353292 kB SReclaimable: 227296 kB SUnreclaim: 125996 kB KernelStack: 4256 kB PageTables: 19948 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 6578912 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17152 kB HardwareCorrupted: 0 kB AnonHugePages: 804864 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 375508 kB DirectMap2M: 43438080 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890076 MiB End job on nodeC018 at 2024-07-24 16:15:24