| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.06 | 3609.12 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K193.opb |
| MD5SUM | a57909b893e448cbfc1c45d11e8afcf3 |
| 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 | 62.0014 |
| 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 | 22967 |
| Total number of constraints | 23355 |
| Number of constraints which are clauses | 23162 |
| Number of constraints which are cardinality constraints (but not clauses) | 193 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 193 |
| 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 | 194 |
| 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.00/0.11 c #variables 22967 #constraints 23355 103.92/104.20 c #Conflicts: 1000 | #Constraints: 24354 103.92/104.20 c #Conflicts: 2000 | #Constraints: 25354 103.92/104.20 c INPROCESSING 103.92/104.20 c GARBAGE COLLECT 103.92/104.20 c #Conflicts: 3000 | #Constraints: 24681 103.92/104.20 c #Conflicts: 4000 | #Constraints: 25681 103.92/104.20 c INPROCESSING 103.92/104.20 c GARBAGE COLLECT 103.92/104.20 c #Conflicts: 5000 | #Constraints: 25218 103.92/104.20 c #Conflicts: 6000 | #Constraints: 26218 103.92/104.20 c #Conflicts: 7000 | #Constraints: 27219 103.92/104.20 c #Conflicts: 8000 | #Constraints: 28219 103.92/104.20 c #Conflicts: 9000 | #Constraints: 29219 103.92/104.20 c INPROCESSING 103.92/104.20 c GARBAGE COLLECT 103.92/104.20 c #Conflicts: 10000 | #Constraints: 27033 103.92/104.20 c #Conflicts: 11000 | #Constraints: 28033 103.92/104.20 c #Conflicts: 12000 | #Constraints: 29033 103.92/104.20 c INPROCESSING 103.92/104.20 c GARBAGE COLLECT 103.92/104.20 c #Conflicts: 13000 | #Constraints: 26732 103.92/104.20 c #Conflicts: 14000 | #Constraints: 27732 103.92/104.20 c #Conflicts: 15000 | #Constraints: 28732 103.92/104.20 c #Conflicts: 16000 | #Constraints: 29732 103.92/104.20 c #Conflicts: 17000 | #Constraints: 30732 103.92/104.20 c #Conflicts: 18000 | #Constraints: 31732 103.92/104.20 c #Conflicts: 19000 | #Constraints: 32732 103.92/104.20 c #Conflicts: 20000 | #Constraints: 33732 103.92/104.20 c #Conflicts: 21000 | #Constraints: 34732 103.92/104.20 c INPROCESSING 103.92/104.20 c GARBAGE COLLECT 103.92/104.20 c #Conflicts: 22000 | #Constraints: 30109 103.92/104.20 c #Conflicts: 23000 | #Constraints: 31109 103.92/104.20 c #Conflicts: 24000 | #Constraints: 32109 103.92/104.20 c #Conflicts: 25000 | #Constraints: 33109 103.92/104.20 c INPROCESSING 103.92/104.20 c GARBAGE COLLECT 103.92/104.20 c rational objective 193 119.68/120.03 c #Conflicts: 26000 | #Constraints: 29209 119.68/120.03 c #Conflicts: 27000 | #Constraints: 30209 119.68/120.03 c #Conflicts: 28000 | #Constraints: 31209 119.68/120.03 c #Conflicts: 29000 | #Constraints: 32209 119.68/120.03 c #Conflicts: 30000 | #Constraints: 33209 119.68/120.03 c #Conflicts: 31000 | #Constraints: 34209 119.68/120.03 c #Conflicts: 32000 | #Constraints: 35209 119.68/120.03 c #Conflicts: 33000 | #Constraints: 36209 119.68/120.03 c #Conflicts: 34000 | #Constraints: 37209 119.68/120.03 c #Conflicts: 35000 | #Constraints: 38209 119.68/120.03 c #Conflicts: 36000 | #Constraints: 39209 119.68/120.03 c #Conflicts: 37000 | #Constraints: 40209 119.68/120.03 c INPROCESSING 119.68/120.03 c GARBAGE COLLECT 119.68/120.03 c rational objective 193 365.69/366.78 c #Conflicts: 38000 | #Constraints: 32948 365.69/366.78 c #Conflicts: 39000 | #Constraints: 33948 365.69/366.78 c #Conflicts: 40000 | #Constraints: 34948 365.69/366.78 c #Conflicts: 41000 | #Constraints: 35948 365.69/366.78 c #Conflicts: 42000 | #Constraints: 36948 365.69/366.78 c #Conflicts: 43000 | #Constraints: 37948 365.69/366.78 c INPROCESSING 365.69/366.78 c GARBAGE COLLECT 365.69/366.78 c #Conflicts: 44000 | #Constraints: 32595 365.69/366.78 c #Conflicts: 45000 | #Constraints: 33595 365.69/366.78 c #Conflicts: 46000 | #Constraints: 34595 365.69/366.78 c #Conflicts: 47000 | #Constraints: 35595 365.69/366.78 c #Conflicts: 48000 | #Constraints: 36595 365.69/366.78 c #Conflicts: 49000 | #Constraints: 37595 365.69/366.78 c #Conflicts: 50000 | #Constraints: 38595 365.69/366.78 c #Conflicts: 51000 | #Constraints: 39595 365.69/366.78 c #Conflicts: 52000 | #Constraints: 40595 365.69/366.78 c #Conflicts: 53000 | #Constraints: 41595 365.69/366.78 c #Conflicts: 54000 | #Constraints: 42596 365.69/366.78 c #Conflicts: 55000 | #Constraints: 43596 365.69/366.78 c #Conflicts: 56000 | #Constraints: 44596 365.69/366.78 c #Conflicts: 57000 | #Constraints: 45596 365.69/366.78 c INPROCESSING 365.69/366.78 c GARBAGE COLLECT 365.69/366.78 c #Conflicts: 58000 | #Constraints: 35555 365.69/366.78 c #Conflicts: 59000 | #Constraints: 36555 365.69/366.78 c #Conflicts: 60000 | #Constraints: 37555 365.69/366.78 c #Conflicts: 61000 | #Constraints: 38555 365.69/366.78 c #Conflicts: 62000 | #Constraints: 39555 365.69/366.78 c #Conflicts: 63000 | #Constraints: 40555 365.69/366.78 c #Conflicts: 64000 | #Constraints: 41555 365.69/366.78 c #Conflicts: 65000 | #Constraints: 42555 365.69/366.78 c INPROCESSING 365.69/366.78 c GARBAGE COLLECT 365.69/366.78 c rational objective 193 518.50/519.98 c #Conflicts: 66000 | #Constraints: 35829 518.50/519.98 c #Conflicts: 67000 | #Constraints: 36829 518.50/519.98 c #Conflicts: 68000 | #Constraints: 37829 518.50/519.98 c #Conflicts: 69000 | #Constraints: 38829 518.50/519.98 c #Conflicts: 70000 | #Constraints: 39830 518.50/519.98 c #Conflicts: 71000 | #Constraints: 40831 518.50/519.98 c #Conflicts: 72000 | #Constraints: 41831 518.50/519.98 c #Conflicts: 73000 | #Constraints: 42831 518.50/519.98 c #Conflicts: 74000 | #Constraints: 43832 518.50/519.98 c #Conflicts: 75000 | #Constraints: 44832 518.50/519.98 c #Conflicts: 76000 | #Constraints: 45832 518.50/519.98 c #Conflicts: 77000 | #Constraints: 46833 518.50/519.98 c #Conflicts: 78000 | #Constraints: 47833 518.50/519.98 c #Conflicts: 79000 | #Constraints: 48833 518.50/519.98 c #Conflicts: 80000 | #Constraints: 49833 518.50/519.98 c #Conflicts: 81000 | #Constraints: 50833 518.50/519.98 c #Conflicts: 82000 | #Constraints: 51833 518.50/519.98 c INPROCESSING 518.50/519.98 c GARBAGE COLLECT 518.50/519.98 c #Conflicts: 83000 | #Constraints: 38798 518.50/519.98 c #Conflicts: 84000 | #Constraints: 39798 518.50/519.98 c #Conflicts: 85000 | #Constraints: 40798 518.50/519.98 c #Conflicts: 86000 | #Constraints: 41798 518.50/519.98 c #Conflicts: 87000 | #Constraints: 42798 518.50/519.98 c #Conflicts: 88000 | #Constraints: 43798 518.50/519.98 c #Conflicts: 89000 | #Constraints: 44799 518.50/519.98 c #Conflicts: 90000 | #Constraints: 45799 518.50/519.98 c #Conflicts: 91000 | #Constraints: 46799 518.50/519.98 c INPROCESSING 518.50/519.98 c GARBAGE COLLECT 518.50/519.98 c #Conflicts: 92000 | #Constraints: 38652 518.50/519.98 c #Conflicts: 93000 | #Constraints: 39652 518.50/519.98 c #Conflicts: 94000 | #Constraints: 40652 518.50/519.98 c #Conflicts: 95000 | #Constraints: 41652 518.50/519.98 c #Conflicts: 96000 | #Constraints: 42652 518.50/519.98 c #Conflicts: 97000 | #Constraints: 43652 518.50/519.98 c #Conflicts: 98000 | #Constraints: 44652 518.50/519.98 c #Conflicts: 99000 | #Constraints: 45652 518.50/519.98 c #Conflicts: 100000 | #Constraints: 46653 518.50/519.98 c #Conflicts: 101000 | #Constraints: 47653 518.50/519.98 c #Conflicts: 102000 | #Constraints: 48653 518.50/519.98 c #Conflicts: 103000 | #Constraints: 49653 518.50/519.98 c #Conflicts: 104000 | #Constraints: 50653 518.50/519.98 c #Conflicts: 105000 | #Constraints: 51653 518.50/519.98 c #Conflicts: 106000 | #Constraints: 52653 518.50/519.98 c #Conflicts: 107000 | #Constraints: 53653 518.50/519.98 c #Conflicts: 108000 | #Constraints: 54653 518.50/519.98 c #Conflicts: 109000 | #Constraints: 55653 518.50/519.98 c #Conflicts: 110000 | #Constraints: 56653 518.50/519.98 c #Conflicts: 111000 | #Constraints: 57653 518.50/519.98 c INPROCESSING 518.50/519.98 c GARBAGE COLLECT 518.50/519.98 c #Conflicts: 112000 | #Constraints: 41676 518.50/519.98 c #Conflicts: 113000 | #Constraints: 42677 518.50/519.98 c #Conflicts: 114000 | #Constraints: 43677 518.50/519.98 c #Conflicts: 115000 | #Constraints: 44677 518.50/519.98 c #Conflicts: 116000 | #Constraints: 45677 518.50/519.98 c #Conflicts: 117000 | #Constraints: 46677 518.50/519.98 c #Conflicts: 118000 | #Constraints: 47677 518.50/519.98 c #Conflicts: 119000 | #Constraints: 48677 518.50/519.98 c #Conflicts: 120000 | #Constraints: 49677 518.50/519.98 c #Conflicts: 121000 | #Constraints: 50677 518.50/519.98 c INPROCESSING 518.50/519.98 c GARBAGE COLLECT 518.50/519.98 c #Conflicts: 122000 | #Constraints: 40710 518.50/519.98 c #Conflicts: 123000 | #Constraints: 41710 518.50/519.98 c #Conflicts: 124000 | #Constraints: 42710 518.50/519.98 c #Conflicts: 125000 | #Constraints: 43710 518.50/519.98 c #Conflicts: 126000 | #Constraints: 44710 518.50/519.98 c #Conflicts: 127000 | #Constraints: 45710 518.50/519.98 c #Conflicts: 128000 | #Constraints: 46710 518.50/519.98 c #Conflicts: 129000 | #Constraints: 47710 518.50/519.98 c #Conflicts: 130000 | #Constraints: 48710 518.50/519.98 c #Conflicts: 131000 | #Constraints: 49710 518.50/519.98 c #Conflicts: 132000 | #Constraints: 50710 518.50/519.98 c #Conflicts: 133000 | #Constraints: 51710 518.50/519.98 c #Conflicts: 134000 | #Constraints: 52710 518.50/519.98 c #Conflicts: 135000 | #Constraints: 53710 518.50/519.98 c #Conflicts: 136000 | #Constraints: 54710 518.50/519.98 c #Conflicts: 137000 | #Constraints: 55710 518.50/519.98 c #Conflicts: 138000 | #Constraints: 56710 518.50/519.98 c #Conflicts: 139000 | #Constraints: 57710 518.50/519.98 c #Conflicts: 140000 | #Constraints: 58710 518.50/519.98 c #Conflicts: 141000 | #Constraints: 59710 518.50/519.98 c #Conflicts: 142000 | #Constraints: 60710 528.08/529.54 c #Conflicts: 143000 | #Constraints: 61710 528.08/529.54 c #Conflicts: 144000 | #Constraints: 62710 528.08/529.54 c #Conflicts: 145000 | #Constraints: 63710 528.08/529.54 c INPROCESSING 528.08/529.54 c GARBAGE COLLECT 528.08/529.54 c rational objective 193 843.29/845.59 c #Conflicts: 146000 | #Constraints: 44772 843.29/845.59 c #Conflicts: 147000 | #Constraints: 45772 843.29/845.59 c #Conflicts: 148000 | #Constraints: 46772 843.29/845.59 c #Conflicts: 149000 | #Constraints: 47772 843.29/845.59 c #Conflicts: 150000 | #Constraints: 48773 843.29/845.59 c #Conflicts: 151000 | #Constraints: 49774 843.29/845.59 c #Conflicts: 152000 | #Constraints: 50774 843.29/845.59 c #Conflicts: 153000 | #Constraints: 51774 843.29/845.59 c #Conflicts: 154000 | #Constraints: 52774 843.29/845.59 c #Conflicts: 155000 | #Constraints: 53774 843.29/845.59 c #Conflicts: 156000 | #Constraints: 54774 843.29/845.59 c INPROCESSING 843.29/845.59 c GARBAGE COLLECT 843.29/845.59 c #Conflicts: 157000 | #Constraints: 44431 843.29/845.59 c #Conflicts: 158000 | #Constraints: 45431 843.29/845.59 c #Conflicts: 159000 | #Constraints: 46431 843.29/845.59 c #Conflicts: 160000 | #Constraints: 47431 843.29/845.59 c #Conflicts: 161000 | #Constraints: 48431 843.29/845.59 c #Conflicts: 162000 | #Constraints: 49431 843.29/845.59 c #Conflicts: 163000 | #Constraints: 50431 843.29/845.59 c #Conflicts: 164000 | #Constraints: 51431 843.29/845.59 c #Conflicts: 165000 | #Constraints: 52431 843.29/845.59 c #Conflicts: 166000 | #Constraints: 53431 843.29/845.59 c #Conflicts: 167000 | #Constraints: 54431 843.29/845.59 c #Conflicts: 168000 | #Constraints: 55431 843.29/845.59 c #Conflicts: 169000 | #Constraints: 56431 843.29/845.59 c #Conflicts: 170000 | #Constraints: 57431 843.29/845.59 c #Conflicts: 171000 | #Constraints: 58431 843.29/845.59 c #Conflicts: 172000 | #Constraints: 59431 843.29/845.59 c #Conflicts: 173000 | #Constraints: 60431 843.29/845.59 c #Conflicts: 174000 | #Constraints: 61431 843.29/845.59 c #Conflicts: 175000 | #Constraints: 62431 843.29/845.59 c #Conflicts: 176000 | #Constraints: 63431 843.29/845.59 c #Conflicts: 177000 | #Constraints: 64431 843.29/845.59 c #Conflicts: 178000 | #Constraints: 65431 843.29/845.59 c #Conflicts: 179000 | #Constraints: 66431 843.29/845.59 c #Conflicts: 180000 | #Constraints: 67431 843.29/845.59 c #Conflicts: 181000 | #Constraints: 68431 843.29/845.59 c #Conflicts: 182000 | #Constraints: 69431 843.29/845.59 c #Conflicts: 183000 | #Constraints: 70431 843.29/845.59 c INPROCESSING 843.29/845.59 c GARBAGE COLLECT 843.29/845.59 c #Conflicts: 184000 | #Constraints: 48318 843.29/845.59 c #Conflicts: 185000 | #Constraints: 49318 843.29/845.59 c #Conflicts: 186000 | #Constraints: 50318 843.29/845.59 c #Conflicts: 187000 | #Constraints: 51318 843.29/845.59 c #Conflicts: 188000 | #Constraints: 52318 843.29/845.59 c #Conflicts: 189000 | #Constraints: 53318 843.29/845.59 c #Conflicts: 190000 | #Constraints: 54318 843.29/845.59 c #Conflicts: 191000 | #Constraints: 55318 843.29/845.59 c #Conflicts: 192000 | #Constraints: 56318 843.29/845.59 c #Conflicts: 193000 | #Constraints: 57318 843.29/845.59 c #Conflicts: 194000 | #Constraints: 58318 843.29/845.59 c #Conflicts: 195000 | #Constraints: 59318 843.29/845.59 c #Conflicts: 196000 | #Constraints: 60318 843.29/845.59 c INPROCESSING 843.29/845.59 c GARBAGE COLLECT 843.29/845.59 c rational objective 193 911.43/913.82 c #Conflicts: 197000 | #Constraints: 47833 911.43/913.82 c #Conflicts: 198000 | #Constraints: 48833 911.43/913.82 c #Conflicts: 199000 | #Constraints: 49833 911.43/913.82 c #Conflicts: 200000 | #Constraints: 50833 911.43/913.82 c #Conflicts: 201000 | #Constraints: 51833 911.43/913.82 c #Conflicts: 202000 | #Constraints: 52833 911.43/913.82 c #Conflicts: 203000 | #Constraints: 53833 911.43/913.82 c #Conflicts: 204000 | #Constraints: 54833 911.43/913.82 c #Conflicts: 205000 | #Constraints: 55833 911.43/913.82 c #Conflicts: 206000 | #Constraints: 56833 911.43/913.82 c #Conflicts: 207000 | #Constraints: 57833 911.43/913.82 c #Conflicts: 208000 | #Constraints: 58833 911.43/913.82 c #Conflicts: 209000 | #Constraints: 59833 911.43/913.82 c #Conflicts: 210000 | #Constraints: 60833 911.43/913.82 c #Conflicts: 211000 | #Constraints: 61833 911.43/913.82 c #Conflicts: 212000 | #Constraints: 62833 911.43/913.82 c #Conflicts: 213000 | #Constraints: 63833 911.43/913.82 c #Conflicts: 214000 | #Constraints: 64833 911.43/913.82 c #Conflicts: 215000 | #Constraints: 65833 911.43/913.82 c #Conflicts: 216000 | #Constraints: 66833 911.43/913.82 c #Conflicts: 217000 | #Constraints: 67833 911.43/913.82 c #Conflicts: 218000 | #Constraints: 68833 911.43/913.82 c #Conflicts: 219000 | #Constraints: 69833 911.43/913.82 c #Conflicts: 220000 | #Constraints: 70833 911.43/913.82 c #Conflicts: 221000 | #Constraints: 71833 911.43/913.82 c #Conflicts: 222000 | #Constraints: 72833 911.43/913.82 c #Conflicts: 223000 | #Constraints: 73833 911.43/913.82 c #Conflicts: 224000 | #Constraints: 74833 911.43/913.82 c #Conflicts: 225000 | #Constraints: 75833 911.43/913.82 c #Conflicts: 226000 | #Constraints: 76833 911.43/913.82 c INPROCESSING 911.43/913.82 c GARBAGE COLLECT 911.43/913.82 c rational objective 193 960.63/963.13 c #Conflicts: 227000 | #Constraints: 51715 960.63/963.13 c #Conflicts: 228000 | #Constraints: 52715 960.63/963.13 c #Conflicts: 229000 | #Constraints: 53715 960.63/963.13 c #Conflicts: 230000 | #Constraints: 54715 960.63/963.13 c #Conflicts: 231000 | #Constraints: 55715 960.63/963.13 c #Conflicts: 232000 | #Constraints: 56715 960.63/963.13 c #Conflicts: 233000 | #Constraints: 57715 960.63/963.13 c #Conflicts: 234000 | #Constraints: 58715 960.63/963.13 c #Conflicts: 235000 | #Constraints: 59715 960.63/963.13 c #Conflicts: 236000 | #Constraints: 60715 960.63/963.13 c #Conflicts: 237000 | #Constraints: 61715 960.63/963.13 c #Conflicts: 238000 | #Constraints: 62715 960.63/963.13 c #Conflicts: 239000 | #Constraints: 63715 960.63/963.13 c #Conflicts: 240000 | #Constraints: 64715 960.63/963.13 c INPROCESSING 960.63/963.13 c GARBAGE COLLECT 960.63/963.13 c rational objective 193 1067.97/1070.78 c #Conflicts: 241000 | #Constraints: 50386 1067.97/1070.78 c #Conflicts: 242000 | #Constraints: 51386 1067.97/1070.78 c #Conflicts: 243000 | #Constraints: 52386 1067.97/1070.78 c #Conflicts: 244000 | #Constraints: 53386 1067.97/1070.78 c #Conflicts: 245000 | #Constraints: 54386 1067.97/1070.78 c #Conflicts: 246000 | #Constraints: 55386 1067.97/1070.78 c #Conflicts: 247000 | #Constraints: 56386 1067.97/1070.78 c #Conflicts: 248000 | #Constraints: 57386 1067.97/1070.78 c #Conflicts: 249000 | #Constraints: 58386 1067.97/1070.78 c #Conflicts: 250000 | #Constraints: 59386 1067.97/1070.78 c #Conflicts: 251000 | #Constraints: 60386 1067.97/1070.78 c #Conflicts: 252000 | #Constraints: 61386 1067.97/1070.78 c #Conflicts: 253000 | #Constraints: 62386 1067.97/1070.78 c #Conflicts: 254000 | #Constraints: 63386 1067.97/1070.78 c #Conflicts: 255000 | #Constraints: 64386 1067.97/1070.78 c #Conflicts: 256000 | #Constraints: 65386 1067.97/1070.78 c #Conflicts: 257000 | #Constraints: 66386 1067.97/1070.78 c #Conflicts: 258000 | #Constraints: 67386 1067.97/1070.78 c #Conflicts: 259000 | #Constraints: 68386 1067.97/1070.78 c #Conflicts: 260000 | #Constraints: 69386 1067.97/1070.78 c #Conflicts: 261000 | #Constraints: 70386 1067.97/1070.78 c #Conflicts: 262000 | #Constraints: 71386 1067.97/1070.78 c #Conflicts: 263000 | #Constraints: 72386 1067.97/1070.78 c #Conflicts: 264000 | #Constraints: 73386 1067.97/1070.78 c #Conflicts: 265000 | #Constraints: 74386 1067.97/1070.78 c #Conflicts: 266000 | #Constraints: 75386 1067.97/1070.78 c #Conflicts: 267000 | #Constraints: 76386 1067.97/1070.78 c #Conflicts: 268000 | #Constraints: 77386 1067.97/1070.78 c #Conflicts: 269000 | #Constraints: 78386 1067.97/1070.78 c #Conflicts: 270000 | #Constraints: 79386 1067.97/1070.78 c #Conflicts: 271000 | #Constraints: 80386 1067.97/1070.78 c #Conflicts: 272000 | #Constraints: 81386 1067.97/1070.78 c #Conflicts: 273000 | #Constraints: 82387 1067.97/1070.78 c INPROCESSING 1067.97/1070.78 c GARBAGE COLLECT 1067.97/1070.78 c rational objective 193 1111.56/1114.49 c #Conflicts: 274000 | #Constraints: 54837 1111.56/1114.49 c #Conflicts: 275000 | #Constraints: 55837 1111.56/1114.49 c #Conflicts: 276000 | #Constraints: 56837 1111.56/1114.49 c #Conflicts: 277000 | #Constraints: 57837 1111.56/1114.49 c #Conflicts: 278000 | #Constraints: 58837 1111.56/1114.49 c #Conflicts: 279000 | #Constraints: 59837 1111.56/1114.49 c #Conflicts: 280000 | #Constraints: 60837 1111.56/1114.49 c #Conflicts: 281000 | #Constraints: 61837 1111.56/1114.49 c #Conflicts: 282000 | #Constraints: 62837 1111.56/1114.49 c #Conflicts: 283000 | #Constraints: 63837 1111.56/1114.49 c #Conflicts: 284000 | #Constraints: 64837 1111.56/1114.49 c #Conflicts: 285000 | #Constraints: 65837 1111.56/1114.49 c #Conflicts: 286000 | #Constraints: 66838 1111.56/1114.49 c #Conflicts: 287000 | #Constraints: 67838 1111.56/1114.49 c #Conflicts: 288000 | #Constraints: 68838 1111.56/1114.49 c INPROCESSING 1111.56/1114.49 c GARBAGE COLLECT 1111.56/1114.49 c rational objective 193 1183.99/1187.04 c #Conflicts: 289000 | #Constraints: 53453 1183.99/1187.04 c #Conflicts: 290000 | #Constraints: 54453 1183.99/1187.04 c #Conflicts: 291000 | #Constraints: 55453 1183.99/1187.04 c #Conflicts: 292000 | #Constraints: 56454 1183.99/1187.04 c #Conflicts: 293000 | #Constraints: 57454 1183.99/1187.04 c #Conflicts: 294000 | #Constraints: 58454 1183.99/1187.04 c #Conflicts: 295000 | #Constraints: 59454 1183.99/1187.04 c #Conflicts: 296000 | #Constraints: 60454 1183.99/1187.04 c #Conflicts: 297000 | #Constraints: 61454 1183.99/1187.04 c #Conflicts: 298000 | #Constraints: 62454 1183.99/1187.04 c #Conflicts: 299000 | #Constraints: 63454 1183.99/1187.04 c #Conflicts: 300000 | #Constraints: 64454 1183.99/1187.04 c #Conflicts: 301000 | #Constraints: 65454 1183.99/1187.04 c #Conflicts: 302000 | #Constraints: 66454 1183.99/1187.04 c #Conflicts: 303000 | #Constraints: 67454 1183.99/1187.04 c #Conflicts: 304000 | #Constraints: 68454 1183.99/1187.04 c #Conflicts: 305000 | #Constraints: 69454 1183.99/1187.04 c #Conflicts: 306000 | #Constraints: 70454 1183.99/1187.04 c #Conflicts: 307000 | #Constraints: 71454 1183.99/1187.04 c #Conflicts: 308000 | #Constraints: 72454 1183.99/1187.04 c #Conflicts: 309000 | #Constraints: 73454 1183.99/1187.04 c #Conflicts: 310000 | #Constraints: 74454 1183.99/1187.04 c #Conflicts: 311000 | #Constraints: 75455 1183.99/1187.04 c #Conflicts: 312000 | #Constraints: 76455 1183.99/1187.04 c #Conflicts: 313000 | #Constraints: 77455 1183.99/1187.04 c #Conflicts: 314000 | #Constraints: 78455 1183.99/1187.04 c #Conflicts: 315000 | #Constraints: 79455 1183.99/1187.04 c #Conflicts: 316000 | #Constraints: 80455 1183.99/1187.04 c #Conflicts: 317000 | #Constraints: 81455 1183.99/1187.04 c #Conflicts: 318000 | #Constraints: 82455 1183.99/1187.04 c #Conflicts: 319000 | #Constraints: 83455 1183.99/1187.04 c #Conflicts: 320000 | #Constraints: 84455 1183.99/1187.04 c #Conflicts: 321000 | #Constraints: 85455 1183.99/1187.04 c #Conflicts: 322000 | #Constraints: 86455 1183.99/1187.04 c #Conflicts: 323000 | #Constraints: 87455 1183.99/1187.04 c #Conflicts: 324000 | #Constraints: 88455 1183.99/1187.04 c INPROCESSING 1183.99/1187.04 c GARBAGE COLLECT 1183.99/1187.04 c rational objective 193 1238.65/1241.82 c #Conflicts: 325000 | #Constraints: 57768 1238.65/1241.82 c #Conflicts: 326000 | #Constraints: 58768 1238.65/1241.82 c #Conflicts: 327000 | #Constraints: 59768 1238.65/1241.82 c #Conflicts: 328000 | #Constraints: 60768 1238.65/1241.82 c #Conflicts: 329000 | #Constraints: 61768 1238.65/1241.82 c #Conflicts: 330000 | #Constraints: 62768 1238.65/1241.82 c #Conflicts: 331000 | #Constraints: 63768 1238.65/1241.82 c #Conflicts: 332000 | #Constraints: 64768 1238.65/1241.82 c #Conflicts: 333000 | #Constraints: 65768 1238.65/1241.82 c #Conflicts: 334000 | #Constraints: 66768 1238.65/1241.82 c #Conflicts: 335000 | #Constraints: 67768 1238.65/1241.82 c #Conflicts: 336000 | #Constraints: 68768 1238.65/1241.82 c #Conflicts: 337000 | #Constraints: 69768 1238.65/1241.82 c #Conflicts: 338000 | #Constraints: 70769 1238.65/1241.82 c #Conflicts: 339000 | #Constraints: 71769 1238.65/1241.82 c #Conflicts: 340000 | #Constraints: 72770 1238.65/1241.82 c INPROCESSING 1238.65/1241.82 c GARBAGE COLLECT 1238.65/1241.82 c rational objective 193 1359.16/1362.67 c #Conflicts: 341000 | #Constraints: 55869 1359.16/1362.67 c #Conflicts: 342000 | #Constraints: 56869 1359.16/1362.67 c #Conflicts: 343000 | #Constraints: 57869 1359.16/1362.67 c #Conflicts: 344000 | #Constraints: 58869 1359.16/1362.67 c #Conflicts: 345000 | #Constraints: 59869 1359.16/1362.67 c #Conflicts: 346000 | #Constraints: 60869 1359.16/1362.67 c #Conflicts: 347000 | #Constraints: 61869 1359.16/1362.67 c #Conflicts: 348000 | #Constraints: 62870 1359.16/1362.67 c #Conflicts: 349000 | #Constraints: 63870 1359.16/1362.67 c #Conflicts: 350000 | #Constraints: 64870 1359.16/1362.67 c #Conflicts: 351000 | #Constraints: 65871 1359.16/1362.67 c #Conflicts: 352000 | #Constraints: 66871 1359.16/1362.67 c #Conflicts: 353000 | #Constraints: 67871 1359.16/1362.67 c #Conflicts: 354000 | #Constraints: 68871 1359.16/1362.67 c #Conflicts: 355000 | #Constraints: 69871 1359.16/1362.67 c #Conflicts: 356000 | #Constraints: 70871 1359.16/1362.67 c #Conflicts: 357000 | #Constraints: 71871 1359.16/1362.67 c #Conflicts: 358000 | #Constraints: 72871 1359.16/1362.67 c #Conflicts: 359000 | #Constraints: 73871 1359.16/1362.67 c #Conflicts: 360000 | #Constraints: 74871 1359.16/1362.67 c #Conflicts: 361000 | #Constraints: 75871 1359.16/1362.67 c #Conflicts: 362000 | #Constraints: 76871 1359.16/1362.67 c #Conflicts: 363000 | #Constraints: 77871 1359.16/1362.67 c #Conflicts: 364000 | #Constraints: 78871 1359.16/1362.67 c #Conflicts: 365000 | #Constraints: 79871 1359.16/1362.67 c #Conflicts: 366000 | #Constraints: 80871 1359.16/1362.67 c #Conflicts: 367000 | #Constraints: 81871 1359.16/1362.67 c #Conflicts: 368000 | #Constraints: 82871 1359.16/1362.67 c #Conflicts: 369000 | #Constraints: 83871 1359.16/1362.67 c #Conflicts: 370000 | #Constraints: 84871 1359.16/1362.67 c #Conflicts: 371000 | #Constraints: 85871 1359.16/1362.67 c #Conflicts: 372000 | #Constraints: 86871 1359.16/1362.67 c #Conflicts: 373000 | #Constraints: 87871 1359.16/1362.67 c #Conflicts: 374000 | #Constraints: 88871 1359.16/1362.67 c #Conflicts: 375000 | #Constraints: 89871 1359.16/1362.67 c #Conflicts: 376000 | #Constraints: 90871 1359.16/1362.67 c #Conflicts: 377000 | #Constraints: 91871 1359.16/1362.67 c #Conflicts: 378000 | #Constraints: 92871 1359.16/1362.67 c #Conflicts: 379000 | #Constraints: 93871 1359.16/1362.67 c #Conflicts: 380000 | #Constraints: 94871 1359.16/1362.67 c INPROCESSING 1359.16/1362.67 c GARBAGE COLLECT 1359.16/1362.67 c rational objective 193 1384.91/1388.43 c #Conflicts: 381000 | #Constraints: 61142 1384.91/1388.43 c #Conflicts: 382000 | #Constraints: 62142 1384.91/1388.43 c #Conflicts: 383000 | #Constraints: 63142 1384.91/1388.43 c #Conflicts: 384000 | #Constraints: 64142 1384.91/1388.43 c #Conflicts: 385000 | #Constraints: 65142 1384.91/1388.43 c #Conflicts: 386000 | #Constraints: 66142 1384.91/1388.43 c #Conflicts: 387000 | #Constraints: 67142 1384.91/1388.43 c #Conflicts: 388000 | #Constraints: 68142 1384.91/1388.43 c #Conflicts: 389000 | #Constraints: 69142 1384.91/1388.43 c #Conflicts: 390000 | #Constraints: 70142 1384.91/1388.43 c #Conflicts: 391000 | #Constraints: 71142 1384.91/1388.43 c #Conflicts: 392000 | #Constraints: 72142 1384.91/1388.43 c #Conflicts: 393000 | #Constraints: 73142 1384.91/1388.43 c #Conflicts: 394000 | #Constraints: 74142 1384.91/1388.43 c #Conflicts: 395000 | #Constraints: 75142 1384.91/1388.43 c #Conflicts: 396000 | #Constraints: 76142 1384.91/1388.43 c #Conflicts: 397000 | #Constraints: 77142 1384.91/1388.43 c INPROCESSING 1384.91/1388.43 c GARBAGE COLLECT 1384.91/1388.43 c rational objective 193 1587.42/1591.42 c #Conflicts: 398000 | #Constraints: 59275 1587.42/1591.42 c #Conflicts: 399000 | #Constraints: 60275 1587.42/1591.42 c #Conflicts: 400000 | #Constraints: 61275 1587.42/1591.42 c #Conflicts: 401000 | #Constraints: 62275 1587.42/1591.42 c #Conflicts: 402000 | #Constraints: 63275 1587.42/1591.42 c #Conflicts: 403000 | #Constraints: 64275 1587.42/1591.42 c #Conflicts: 404000 | #Constraints: 65276 1587.42/1591.42 c #Conflicts: 405000 | #Constraints: 66276 1587.42/1591.42 c #Conflicts: 406000 | #Constraints: 67276 1587.42/1591.42 c #Conflicts: 407000 | #Constraints: 68276 1587.42/1591.42 c #Conflicts: 408000 | #Constraints: 69276 1587.42/1591.42 c #Conflicts: 409000 | #Constraints: 70276 1587.42/1591.42 c #Conflicts: 410000 | #Constraints: 71276 1587.42/1591.42 c #Conflicts: 411000 | #Constraints: 72276 1587.42/1591.42 c #Conflicts: 412000 | #Constraints: 73276 1587.42/1591.42 c #Conflicts: 413000 | #Constraints: 74276 1587.42/1591.42 c #Conflicts: 414000 | #Constraints: 75276 1587.42/1591.42 c #Conflicts: 415000 | #Constraints: 76276 1587.42/1591.42 c #Conflicts: 416000 | #Constraints: 77276 1587.42/1591.42 c #Conflicts: 417000 | #Constraints: 78277 1587.42/1591.42 c #Conflicts: 418000 | #Constraints: 79277 1587.42/1591.42 c #Conflicts: 419000 | #Constraints: 80277 1587.42/1591.42 c #Conflicts: 420000 | #Constraints: 81277 1587.42/1591.42 c #Conflicts: 421000 | #Constraints: 82277 1587.42/1591.42 c #Conflicts: 422000 | #Constraints: 83277 1587.42/1591.42 c #Conflicts: 423000 | #Constraints: 84277 1587.42/1591.42 c #Conflicts: 424000 | #Constraints: 85277 1587.42/1591.42 c #Conflicts: 425000 | #Constraints: 86277 1587.42/1591.42 c #Conflicts: 426000 | #Constraints: 87277 1587.42/1591.42 c #Conflicts: 427000 | #Constraints: 88277 1587.42/1591.42 c #Conflicts: 428000 | #Constraints: 89277 1587.42/1591.42 c #Conflicts: 429000 | #Constraints: 90277 1587.42/1591.42 c #Conflicts: 430000 | #Constraints: 91277 1587.42/1591.42 c #Conflicts: 431000 | #Constraints: 92277 1587.42/1591.42 c #Conflicts: 432000 | #Constraints: 93278 1587.42/1591.42 c #Conflicts: 433000 | #Constraints: 94278 1587.42/1591.42 c #Conflicts: 434000 | #Constraints: 95278 1587.42/1591.42 c #Conflicts: 435000 | #Constraints: 96278 1587.42/1591.42 c #Conflicts: 436000 | #Constraints: 97278 1587.42/1591.42 c #Conflicts: 437000 | #Constraints: 98278 1587.42/1591.42 c #Conflicts: 438000 | #Constraints: 99278 1587.42/1591.42 c #Conflicts: 439000 | #Constraints: 100278 1587.42/1591.42 c #Conflicts: 440000 | #Constraints: 101278 1587.42/1591.42 c INPROCESSING 1587.42/1591.42 c GARBAGE COLLECT 1587.42/1591.42 c rational objective 193 1663.85/1668.05 c #Conflicts: 441000 | #Constraints: 64377 1663.85/1668.05 c #Conflicts: 442000 | #Constraints: 65377 1663.85/1668.05 c #Conflicts: 443000 | #Constraints: 66377 1663.85/1668.05 c #Conflicts: 444000 | #Constraints: 67377 1663.85/1668.05 c #Conflicts: 445000 | #Constraints: 68377 1663.85/1668.05 c #Conflicts: 446000 | #Constraints: 69377 1663.85/1668.05 c #Conflicts: 447000 | #Constraints: 70377 1663.85/1668.05 c #Conflicts: 448000 | #Constraints: 71377 1663.85/1668.05 c #Conflicts: 449000 | #Constraints: 72377 1663.85/1668.05 c #Conflicts: 450000 | #Constraints: 73377 1663.85/1668.05 c #Conflicts: 451000 | #Constraints: 74377 1663.85/1668.05 c #Conflicts: 452000 | #Constraints: 75377 1663.85/1668.05 c #Conflicts: 453000 | #Constraints: 76377 1663.85/1668.05 c #Conflicts: 454000 | #Constraints: 77377 1663.85/1668.05 c #Conflicts: 455000 | #Constraints: 78377 1663.85/1668.05 c #Conflicts: 456000 | #Constraints: 79377 1663.85/1668.05 c #Conflicts: 457000 | #Constraints: 80377 1663.85/1668.05 c #Conflicts: 458000 | #Constraints: 81377 1663.85/1668.05 c #Conflicts: 459000 | #Constraints: 82377 1663.85/1668.05 c INPROCESSING 1663.85/1668.05 c GARBAGE COLLECT 1663.85/1668.05 c rational objective 193 1788.94/1793.45 c #Conflicts: 460000 | #Constraints: 62193 1788.94/1793.45 c #Conflicts: 461000 | #Constraints: 63193 1788.94/1793.45 c #Conflicts: 462000 | #Constraints: 64193 1788.94/1793.45 c #Conflicts: 463000 | #Constraints: 65193 1788.94/1793.45 c #Conflicts: 464000 | #Constraints: 66193 1788.94/1793.45 c #Conflicts: 465000 | #Constraints: 67193 1788.94/1793.45 c #Conflicts: 466000 | #Constraints: 68193 1788.94/1793.45 c #Conflicts: 467000 | #Constraints: 69193 1788.94/1793.45 c #Conflicts: 468000 | #Constraints: 70193 1788.94/1793.45 c #Conflicts: 469000 | #Constraints: 71193 1788.94/1793.45 c #Conflicts: 470000 | #Constraints: 72193 1788.94/1793.45 c #Conflicts: 471000 | #Constraints: 73193 1788.94/1793.45 c #Conflicts: 472000 | #Constraints: 74193 1788.94/1793.45 c #Conflicts: 473000 | #Constraints: 75194 1788.94/1793.45 c #Conflicts: 474000 | #Constraints: 76195 1788.94/1793.45 c #Conflicts: 475000 | #Constraints: 77195 1788.94/1793.45 c #Conflicts: 476000 | #Constraints: 78195 1788.94/1793.45 c #Conflicts: 477000 | #Constraints: 79195 1788.94/1793.45 c #Conflicts: 478000 | #Constraints: 80195 1788.94/1793.45 c #Conflicts: 479000 | #Constraints: 81195 1788.94/1793.45 c #Conflicts: 480000 | #Constraints: 82195 1788.94/1793.45 c #Conflicts: 481000 | #Constraints: 83195 1788.94/1793.45 c #Conflicts: 482000 | #Constraints: 84196 1788.94/1793.45 c #Conflicts: 483000 | #Constraints: 85196 1788.94/1793.45 c #Conflicts: 484000 | #Constraints: 86196 1788.94/1793.45 c #Conflicts: 485000 | #Constraints: 87196 1788.94/1793.45 c #Conflicts: 486000 | #Constraints: 88196 1788.94/1793.45 c #Conflicts: 487000 | #Constraints: 89196 1788.94/1793.45 c #Conflicts: 488000 | #Constraints: 90196 1788.94/1793.45 c #Conflicts: 489000 | #Constraints: 91196 1788.94/1793.45 c #Conflicts: 490000 | #Constraints: 92196 1788.94/1793.45 c #Conflicts: 491000 | #Constraints: 93196 1788.94/1793.45 c #Conflicts: 492000 | #Constraints: 94196 1788.94/1793.45 c #Conflicts: 493000 | #Constraints: 95196 1788.94/1793.45 c #Conflicts: 494000 | #Constraints: 96196 1788.94/1793.45 c #Conflicts: 495000 | #Constraints: 97196 1788.94/1793.45 c #Conflicts: 496000 | #Constraints: 98196 1788.94/1793.45 c #Conflicts: 497000 | #Constraints: 99196 1788.94/1793.45 c #Conflicts: 498000 | #Constraints: 100196 1788.94/1793.45 c #Conflicts: 499000 | #Constraints: 101196 1788.94/1793.45 c #Conflicts: 500000 | #Constraints: 102196 1788.94/1793.45 c #Conflicts: 501000 | #Constraints: 103196 1788.94/1793.45 c #Conflicts: 502000 | #Constraints: 104196 1788.94/1793.45 c #Conflicts: 503000 | #Constraints: 105196 1788.94/1793.45 c #Conflicts: 504000 | #Constraints: 106196 1788.94/1793.45 c INPROCESSING 1788.94/1793.45 c GARBAGE COLLECT 1788.94/1793.45 c rational objective 193 1853.68/1858.36 c #Conflicts: 505000 | #Constraints: 66348 1853.68/1858.36 c #Conflicts: 506000 | #Constraints: 67348 1853.68/1858.36 c #Conflicts: 507000 | #Constraints: 68348 1853.68/1858.36 c #Conflicts: 508000 | #Constraints: 69348 1853.68/1858.36 c #Conflicts: 509000 | #Constraints: 70348 1853.68/1858.36 c #Conflicts: 510000 | #Constraints: 71348 1853.68/1858.36 c #Conflicts: 511000 | #Constraints: 72348 1853.68/1858.36 c #Conflicts: 512000 | #Constraints: 73348 1853.68/1858.36 c #Conflicts: 513000 | #Constraints: 74348 1853.68/1858.36 c #Conflicts: 514000 | #Constraints: 75348 1853.68/1858.36 c #Conflicts: 515000 | #Constraints: 76348 1853.68/1858.36 c #Conflicts: 516000 | #Constraints: 77349 1853.68/1858.36 c #Conflicts: 517000 | #Constraints: 78349 1853.68/1858.36 c #Conflicts: 518000 | #Constraints: 79349 1853.68/1858.36 c #Conflicts: 519000 | #Constraints: 80349 1853.68/1858.36 c #Conflicts: 520000 | #Constraints: 81349 1853.68/1858.36 c #Conflicts: 521000 | #Constraints: 82349 1853.68/1858.36 c #Conflicts: 522000 | #Constraints: 83349 1853.68/1858.36 c #Conflicts: 523000 | #Constraints: 84349 1853.68/1858.36 c #Conflicts: 524000 | #Constraints: 85349 1853.68/1858.36 c #Conflicts: 525000 | #Constraints: 86349 1853.68/1858.36 c INPROCESSING 1853.68/1858.36 c GARBAGE COLLECT 1853.68/1858.36 c rational objective 193 2049.31/2054.47 c #Conflicts: 526000 | #Constraints: 64860 2049.31/2054.47 c #Conflicts: 527000 | #Constraints: 65860 2049.31/2054.47 c #Conflicts: 528000 | #Constraints: 66861 2049.31/2054.47 c #Conflicts: 529000 | #Constraints: 67861 2049.31/2054.47 c #Conflicts: 530000 | #Constraints: 68861 2049.31/2054.47 c #Conflicts: 531000 | #Constraints: 69861 2049.31/2054.47 c #Conflicts: 532000 | #Constraints: 70861 2049.31/2054.47 c #Conflicts: 533000 | #Constraints: 71861 2049.31/2054.47 c #Conflicts: 534000 | #Constraints: 72861 2049.31/2054.47 c #Conflicts: 535000 | #Constraints: 73861 2049.31/2054.47 c #Conflicts: 536000 | #Constraints: 74861 2049.31/2054.47 c #Conflicts: 537000 | #Constraints: 75861 2049.31/2054.47 c #Conflicts: 538000 | #Constraints: 76861 2049.31/2054.47 c #Conflicts: 539000 | #Constraints: 77861 2049.31/2054.47 c #Conflicts: 540000 | #Constraints: 78862 2049.31/2054.47 c #Conflicts: 541000 | #Constraints: 79862 2049.31/2054.47 c #Conflicts: 542000 | #Constraints: 80862 2049.31/2054.47 c #Conflicts: 543000 | #Constraints: 81862 2049.31/2054.47 c #Conflicts: 544000 | #Constraints: 82862 2049.31/2054.47 c #Conflicts: 545000 | #Constraints: 83862 2049.31/2054.47 c #Conflicts: 546000 | #Constraints: 84862 2049.31/2054.47 c #Conflicts: 547000 | #Constraints: 85862 2049.31/2054.47 c #Conflicts: 548000 | #Constraints: 86862 2049.31/2054.47 c #Conflicts: 549000 | #Constraints: 87862 2049.31/2054.47 c #Conflicts: 550000 | #Constraints: 88862 2049.31/2054.47 c #Conflicts: 551000 | #Constraints: 89862 2049.31/2054.47 c #Conflicts: 552000 | #Constraints: 90862 2049.31/2054.47 c #Conflicts: 553000 | #Constraints: 91862 2049.31/2054.47 c #Conflicts: 554000 | #Constraints: 92863 2049.31/2054.47 c #Conflicts: 555000 | #Constraints: 93864 2049.31/2054.47 c #Conflicts: 556000 | #Constraints: 94864 2049.31/2054.47 c #Conflicts: 557000 | #Constraints: 95864 2049.31/2054.47 c #Conflicts: 558000 | #Constraints: 96864 2049.31/2054.47 c #Conflicts: 559000 | #Constraints: 97864 2049.31/2054.47 c #Conflicts: 560000 | #Constraints: 98864 2049.31/2054.47 c #Conflicts: 561000 | #Constraints: 99864 2049.31/2054.47 c #Conflicts: 562000 | #Constraints: 100864 2049.31/2054.47 c #Conflicts: 563000 | #Constraints: 101864 2049.31/2054.47 c #Conflicts: 564000 | #Constraints: 102864 2049.31/2054.47 c #Conflicts: 565000 | #Constraints: 103864 2049.31/2054.47 c #Conflicts: 566000 | #Constraints: 104864 2049.31/2054.47 c #Conflicts: 567000 | #Constraints: 105864 2049.31/2054.47 c #Conflicts: 568000 | #Constraints: 106865 2049.31/2054.47 c #Conflicts: 569000 | #Constraints: 107865 2049.31/2054.47 c #Conflicts: 570000 | #Constraints: 108865 2049.31/2054.47 c #Conflicts: 571000 | #Constraints: 109865 2049.31/2054.47 c #Conflicts: 572000 | #Constraints: 110865 2049.31/2054.47 c #Conflicts: 573000 | #Constraints: 111865 2049.31/2054.47 c INPROCESSING 2049.31/2054.47 c GARBAGE COLLECT 2049.31/2054.47 c rational objective 193 2091.82/2097.02 c #Conflicts: 574000 | #Constraints: 69673 2091.82/2097.02 c #Conflicts: 575000 | #Constraints: 70673 2091.82/2097.02 c #Conflicts: 576000 | #Constraints: 71673 2091.82/2097.02 c #Conflicts: 577000 | #Constraints: 72673 2091.82/2097.02 c #Conflicts: 578000 | #Constraints: 73673 2091.82/2097.02 c #Conflicts: 579000 | #Constraints: 74673 2091.82/2097.02 c #Conflicts: 580000 | #Constraints: 75673 2091.82/2097.02 c #Conflicts: 581000 | #Constraints: 76673 2091.82/2097.02 c #Conflicts: 582000 | #Constraints: 77673 2091.82/2097.02 c #Conflicts: 583000 | #Constraints: 78673 2091.82/2097.02 c #Conflicts: 584000 | #Constraints: 79673 2091.82/2097.02 c #Conflicts: 585000 | #Constraints: 80673 2091.82/2097.02 c #Conflicts: 586000 | #Constraints: 81673 2091.82/2097.02 c #Conflicts: 587000 | #Constraints: 82673 2091.82/2097.02 c #Conflicts: 588000 | #Constraints: 83673 2091.82/2097.02 c #Conflicts: 589000 | #Constraints: 84674 2091.82/2097.02 c #Conflicts: 590000 | #Constraints: 85674 2091.82/2097.02 c #Conflicts: 591000 | #Constraints: 86674 2091.82/2097.02 c #Conflicts: 592000 | #Constraints: 87674 2091.82/2097.02 c #Conflicts: 593000 | #Constraints: 88674 2091.82/2097.02 c #Conflicts: 594000 | #Constraints: 89674 2091.82/2097.02 c #Conflicts: 595000 | #Constraints: 90674 2091.82/2097.02 c INPROCESSING 2091.82/2097.02 c GARBAGE COLLECT 2091.82/2097.02 c rational objective 193 2235.47/2241.02 c #Conflicts: 596000 | #Constraints: 68194 2235.47/2241.02 c #Conflicts: 597000 | #Constraints: 69194 2235.47/2241.02 c #Conflicts: 598000 | #Constraints: 70194 2235.47/2241.02 c #Conflicts: 599000 | #Constraints: 71194 2235.47/2241.02 c #Conflicts: 600000 | #Constraints: 72194 2235.47/2241.02 c #Conflicts: 601000 | #Constraints: 73194 2235.47/2241.02 c #Conflicts: 602000 | #Constraints: 74194 2235.47/2241.02 c #Conflicts: 603000 | #Constraints: 75194 2235.47/2241.02 c #Conflicts: 604000 | #Constraints: 76194 2235.47/2241.02 c #Conflicts: 605000 | #Constraints: 77194 2235.47/2241.02 c #Conflicts: 606000 | #Constraints: 78194 2235.47/2241.02 c #Conflicts: 607000 | #Constraints: 79195 2235.47/2241.02 c #Conflicts: 608000 | #Constraints: 80195 2235.47/2241.02 c #Conflicts: 609000 | #Constraints: 81195 2235.47/2241.02 c #Conflicts: 610000 | #Constraints: 82195 2235.47/2241.02 c #Conflicts: 611000 | #Constraints: 83195 2235.47/2241.02 c #Conflicts: 612000 | #Constraints: 84195 2235.47/2241.02 c #Conflicts: 613000 | #Constraints: 85195 2235.47/2241.02 c #Conflicts: 614000 | #Constraints: 86195 2235.47/2241.02 c #Conflicts: 615000 | #Constraints: 87195 2235.47/2241.02 c #Conflicts: 616000 | #Constraints: 88195 2235.47/2241.02 c #Conflicts: 617000 | #Constraints: 89195 2235.47/2241.02 c #Conflicts: 618000 | #Constraints: 90195 2235.47/2241.02 c #Conflicts: 619000 | #Constraints: 91195 2235.47/2241.02 c #Conflicts: 620000 | #Constraints: 92195 2235.47/2241.02 c #Conflicts: 621000 | #Constraints: 93195 2235.47/2241.02 c #Conflicts: 622000 | #Constraints: 94195 2235.47/2241.02 c #Conflicts: 623000 | #Constraints: 95195 2235.47/2241.02 c #Conflicts: 624000 | #Constraints: 96195 2235.47/2241.02 c #Conflicts: 625000 | #Constraints: 97195 2235.47/2241.02 c #Conflicts: 626000 | #Constraints: 98195 2235.47/2241.02 c #Conflicts: 627000 | #Constraints: 99195 2235.47/2241.02 c #Conflicts: 628000 | #Constraints: 100195 2235.47/2241.02 c #Conflicts: 629000 | #Constraints: 101195 2235.47/2241.02 c #Conflicts: 630000 | #Constraints: 102195 2235.47/2241.02 c #Conflicts: 631000 | #Constraints: 103195 2235.47/2241.02 c #Conflicts: 632000 | #Constraints: 104195 2235.47/2241.02 c #Conflicts: 633000 | #Constraints: 105195 2235.47/2241.02 c #Conflicts: 634000 | #Constraints: 106195 2235.47/2241.02 c #Conflicts: 635000 | #Constraints: 107195 2235.47/2241.02 c #Conflicts: 636000 | #Constraints: 108195 2235.47/2241.02 c #Conflicts: 637000 | #Constraints: 109195 2235.47/2241.02 c #Conflicts: 638000 | #Constraints: 110195 2235.47/2241.02 c #Conflicts: 639000 | #Constraints: 111195 2235.47/2241.02 c #Conflicts: 640000 | #Constraints: 112195 2235.47/2241.02 c #Conflicts: 641000 | #Constraints: 113195 2235.47/2241.02 c #Conflicts: 642000 | #Constraints: 114195 2235.47/2241.02 c #Conflicts: 643000 | #Constraints: 115195 2235.47/2241.02 c #Conflicts: 644000 | #Constraints: 116195 2235.47/2241.02 c #Conflicts: 645000 | #Constraints: 117195 2235.47/2241.02 c #Conflicts: 646000 | #Constraints: 118195 2235.47/2241.02 c INPROCESSING 2235.47/2241.02 c GARBAGE COLLECT 2235.47/2241.02 c rational objective 193 2373.03/2378.91 c #Conflicts: 647000 | #Constraints: 72833 2373.03/2378.91 c #Conflicts: 648000 | #Constraints: 73833 2373.03/2378.91 c #Conflicts: 649000 | #Constraints: 74833 2373.03/2378.91 c #Conflicts: 650000 | #Constraints: 75833 2373.03/2378.91 c #Conflicts: 651000 | #Constraints: 76833 2373.03/2378.91 c #Conflicts: 652000 | #Constraints: 77834 2373.03/2378.91 c #Conflicts: 653000 | #Constraints: 78834 2373.03/2378.91 c #Conflicts: 654000 | #Constraints: 79834 2373.03/2378.91 c #Conflicts: 655000 | #Constraints: 80835 2373.03/2378.91 c #Conflicts: 656000 | #Constraints: 81835 2373.03/2378.91 c #Conflicts: 657000 | #Constraints: 82836 2373.03/2378.91 c #Conflicts: 658000 | #Constraints: 83836 2373.03/2378.91 c #Conflicts: 659000 | #Constraints: 84836 2373.03/2378.91 c #Conflicts: 660000 | #Constraints: 85836 2373.03/2378.91 c #Conflicts: 661000 | #Constraints: 86836 2373.03/2378.91 c #Conflicts: 662000 | #Constraints: 87836 2373.03/2378.91 c #Conflicts: 663000 | #Constraints: 88836 2373.03/2378.91 c #Conflicts: 664000 | #Constraints: 89836 2373.03/2378.91 c #Conflicts: 665000 | #Constraints: 90836 2373.03/2378.91 c #Conflicts: 666000 | #Constraints: 91836 2373.03/2378.91 c #Conflicts: 667000 | #Constraints: 92836 2373.03/2378.91 c #Conflicts: 668000 | #Constraints: 93837 2373.03/2378.91 c #Conflicts: 669000 | #Constraints: 94837 2373.03/2378.91 c INPROCESSING 2373.03/2378.91 c GARBAGE COLLECT 2373.03/2378.91 c rational objective 193 2690.95/2697.63 c #Conflicts: 670000 | #Constraints: 71023 2690.95/2697.63 c #Conflicts: 671000 | #Constraints: 72023 2690.95/2697.63 c #Conflicts: 672000 | #Constraints: 73023 2690.95/2697.63 c #Conflicts: 673000 | #Constraints: 74023 2690.95/2697.63 c #Conflicts: 674000 | #Constraints: 75023 2690.95/2697.63 c #Conflicts: 675000 | #Constraints: 76023 2690.95/2697.63 c #Conflicts: 676000 | #Constraints: 77023 2690.95/2697.63 c #Conflicts: 677000 | #Constraints: 78023 2690.95/2697.63 c #Conflicts: 678000 | #Constraints: 79023 2690.95/2697.63 c #Conflicts: 679000 | #Constraints: 80023 2690.95/2697.63 c #Conflicts: 680000 | #Constraints: 81024 2690.95/2697.63 c #Conflicts: 681000 | #Constraints: 82024 2690.95/2697.63 c #Conflicts: 682000 | #Constraints: 83024 2690.95/2697.63 c #Conflicts: 683000 | #Constraints: 84024 2690.95/2697.63 c #Conflicts: 684000 | #Constraints: 85024 2690.95/2697.63 c #Conflicts: 685000 | #Constraints: 86024 2690.95/2697.63 c #Conflicts: 686000 | #Constraints: 87024 2690.95/2697.63 c #Conflicts: 687000 | #Constraints: 88024 2690.95/2697.63 c #Conflicts: 688000 | #Constraints: 89024 2690.95/2697.63 c #Conflicts: 689000 | #Constraints: 90024 2690.95/2697.63 c #Conflicts: 690000 | #Constraints: 91024 2690.95/2697.63 c #Conflicts: 691000 | #Constraints: 92024 2690.95/2697.63 c #Conflicts: 692000 | #Constraints: 93024 2690.95/2697.63 c #Conflicts: 693000 | #Constraints: 94024 2690.95/2697.63 c #Conflicts: 694000 | #Constraints: 95024 2690.95/2697.63 c #Conflicts: 695000 | #Constraints: 96024 2690.95/2697.63 c #Conflicts: 696000 | #Constraints: 97025 2690.95/2697.63 c #Conflicts: 697000 | #Constraints: 98025 2690.95/2697.63 c #Conflicts: 698000 | #Constraints: 99025 2690.95/2697.63 c #Conflicts: 699000 | #Constraints: 100025 2690.95/2697.63 c #Conflicts: 700000 | #Constraints: 101025 2690.95/2697.63 c #Conflicts: 701000 | #Constraints: 102025 2690.95/2697.63 c #Conflicts: 702000 | #Constraints: 103026 2690.95/2697.63 c #Conflicts: 703000 | #Constraints: 104026 2690.95/2697.63 c #Conflicts: 704000 | #Constraints: 105026 2690.95/2697.63 c #Conflicts: 705000 | #Constraints: 106026 2690.95/2697.63 c #Conflicts: 706000 | #Constraints: 107026 2690.95/2697.63 c #Conflicts: 707000 | #Constraints: 108026 2690.95/2697.63 c #Conflicts: 708000 | #Constraints: 109026 2690.95/2697.63 c #Conflicts: 709000 | #Constraints: 110026 2690.95/2697.63 c #Conflicts: 710000 | #Constraints: 111026 2690.95/2697.63 c #Conflicts: 711000 | #Constraints: 112027 2690.95/2697.63 c #Conflicts: 712000 | #Constraints: 113027 2690.95/2697.63 c #Conflicts: 713000 | #Constraints: 114027 2690.95/2697.63 c #Conflicts: 714000 | #Constraints: 115027 2690.95/2697.63 c #Conflicts: 715000 | #Constraints: 116027 2690.95/2697.63 c #Conflicts: 716000 | #Constraints: 117027 2690.95/2697.63 c #Conflicts: 717000 | #Constraints: 118027 2690.95/2697.63 c #Conflicts: 718000 | #Constraints: 119027 2690.95/2697.63 c #Conflicts: 719000 | #Constraints: 120027 2690.95/2697.63 c #Conflicts: 720000 | #Constraints: 121027 2690.95/2697.63 c #Conflicts: 721000 | #Constraints: 122027 2690.95/2697.63 c #Conflicts: 722000 | #Constraints: 123027 2690.95/2697.63 c #Conflicts: 723000 | #Constraints: 124027 2690.95/2697.63 c #Conflicts: 724000 | #Constraints: 125027 2690.95/2697.63 c INPROCESSING 2690.95/2697.63 c GARBAGE COLLECT 2690.95/2697.63 c rational objective 193 2748.12/2755.00 c #Conflicts: 725000 | #Constraints: 76348 2748.12/2755.00 c #Conflicts: 726000 | #Constraints: 77348 2748.12/2755.00 c #Conflicts: 727000 | #Constraints: 78348 2748.12/2755.00 c #Conflicts: 728000 | #Constraints: 79348 2748.12/2755.00 c #Conflicts: 729000 | #Constraints: 80348 2748.12/2755.00 c #Conflicts: 730000 | #Constraints: 81348 2748.12/2755.00 c #Conflicts: 731000 | #Constraints: 82348 2748.12/2755.00 c #Conflicts: 732000 | #Constraints: 83348 2748.12/2755.00 c #Conflicts: 733000 | #Constraints: 84348 2748.12/2755.00 c #Conflicts: 734000 | #Constraints: 85348 2748.12/2755.00 c #Conflicts: 735000 | #Constraints: 86348 2748.12/2755.00 c #Conflicts: 736000 | #Constraints: 87349 2748.12/2755.00 c #Conflicts: 737000 | #Constraints: 88350 2748.12/2755.00 c #Conflicts: 738000 | #Constraints: 89351 2748.12/2755.00 c #Conflicts: 739000 | #Constraints: 90351 2748.12/2755.00 c #Conflicts: 740000 | #Constraints: 91351 2748.12/2755.00 c #Conflicts: 741000 | #Constraints: 92351 2748.12/2755.00 c #Conflicts: 742000 | #Constraints: 93352 2748.12/2755.00 c #Conflicts: 743000 | #Constraints: 94352 2748.12/2755.00 c #Conflicts: 744000 | #Constraints: 95352 2748.12/2755.00 c #Conflicts: 745000 | #Constraints: 96352 2748.12/2755.00 c #Conflicts: 746000 | #Constraints: 97352 2748.12/2755.00 c #Conflicts: 747000 | #Constraints: 98352 2748.12/2755.00 c #Conflicts: 748000 | #Constraints: 99352 2748.12/2755.00 c INPROCESSING 2748.12/2755.00 c GARBAGE COLLECT 2748.12/2755.00 c rational objective 193 2908.74/2915.99 c #Conflicts: 749000 | #Constraints: 73789 2908.74/2915.99 c #Conflicts: 750000 | #Constraints: 74789 2908.74/2915.99 c #Conflicts: 751000 | #Constraints: 75789 2908.74/2915.99 c #Conflicts: 752000 | #Constraints: 76789 2908.74/2915.99 c #Conflicts: 753000 | #Constraints: 77789 2908.74/2915.99 c #Conflicts: 754000 | #Constraints: 78789 2908.74/2915.99 c #Conflicts: 755000 | #Constraints: 79789 2908.74/2915.99 c #Conflicts: 756000 | #Constraints: 80789 2908.74/2915.99 c #Conflicts: 757000 | #Constraints: 81789 2908.74/2915.99 c #Conflicts: 758000 | #Constraints: 82789 2908.74/2915.99 c #Conflicts: 759000 | #Constraints: 83789 2908.74/2915.99 c #Conflicts: 760000 | #Constraints: 84789 2908.74/2915.99 c #Conflicts: 761000 | #Constraints: 85789 2908.74/2915.99 c #Conflicts: 762000 | #Constraints: 86790 2908.74/2915.99 c #Conflicts: 763000 | #Constraints: 87790 2908.74/2915.99 c #Conflicts: 764000 | #Constraints: 88790 2908.74/2915.99 c #Conflicts: 765000 | #Constraints: 89790 2908.74/2915.99 c #Conflicts: 766000 | #Constraints: 90790 2908.74/2915.99 c #Conflicts: 767000 | #Constraints: 91790 2908.74/2915.99 c #Conflicts: 768000 | #Constraints: 92791 2908.74/2915.99 c #Conflicts: 769000 | #Constraints: 93791 2908.74/2915.99 c #Conflicts: 770000 | #Constraints: 94791 2908.74/2915.99 c #Conflicts: 771000 | #Constraints: 95791 2908.74/2915.99 c #Conflicts: 772000 | #Constraints: 96791 2908.74/2915.99 c #Conflicts: 773000 | #Constraints: 97791 2908.74/2915.99 c #Conflicts: 774000 | #Constraints: 98791 2908.74/2915.99 c #Conflicts: 775000 | #Constraints: 99791 2908.74/2915.99 c #Conflicts: 776000 | #Constraints: 100791 2908.74/2915.99 c #Conflicts: 777000 | #Constraints: 101791 2908.74/2915.99 c #Conflicts: 778000 | #Constraints: 102791 2908.74/2915.99 c #Conflicts: 779000 | #Constraints: 103791 2908.74/2915.99 c #Conflicts: 780000 | #Constraints: 104792 2908.74/2915.99 c #Conflicts: 781000 | #Constraints: 105792 2908.74/2915.99 c #Conflicts: 782000 | #Constraints: 106792 2908.74/2915.99 c #Conflicts: 783000 | #Constraints: 107792 2908.74/2915.99 c #Conflicts: 784000 | #Constraints: 108792 2908.74/2915.99 c #Conflicts: 785000 | #Constraints: 109792 2908.74/2915.99 c #Conflicts: 786000 | #Constraints: 110792 2908.74/2915.99 c #Conflicts: 787000 | #Constraints: 111792 2908.74/2915.99 c #Conflicts: 788000 | #Constraints: 112792 2908.74/2915.99 c #Conflicts: 789000 | #Constraints: 113792 2908.74/2915.99 c #Conflicts: 790000 | #Constraints: 114792 2908.74/2915.99 c #Conflicts: 791000 | #Constraints: 115792 2908.74/2915.99 c #Conflicts: 792000 | #Constraints: 116792 2908.74/2915.99 c #Conflicts: 793000 | #Constraints: 117792 2908.74/2915.99 c #Conflicts: 794000 | #Constraints: 118792 2908.74/2915.99 c #Conflicts: 795000 | #Constraints: 119792 2908.74/2915.99 c #Conflicts: 796000 | #Constraints: 120792 2908.74/2915.99 c #Conflicts: 797000 | #Constraints: 121792 2908.74/2915.99 c #Conflicts: 798000 | #Constraints: 122792 2908.74/2915.99 c #Conflicts: 799000 | #Constraints: 123792 2908.74/2915.99 c #Conflicts: 800000 | #Constraints: 124792 2908.74/2915.99 c #Conflicts: 801000 | #Constraints: 125792 2908.74/2915.99 c #Conflicts: 802000 | #Constraints: 126792 2908.74/2915.99 c #Conflicts: 803000 | #Constraints: 127792 2908.74/2915.99 c #Conflicts: 804000 | #Constraints: 128792 2908.74/2915.99 c #Conflicts: 805000 | #Constraints: 129792 2908.74/2915.99 c #Conflicts: 806000 | #Constraints: 130792 2908.74/2915.99 c INPROCESSING 2908.74/2915.99 c GARBAGE COLLECT 2908.74/2915.99 c rational objective 193 3328.17/3336.50 c #Conflicts: 807000 | #Constraints: 79114 3328.17/3336.50 c #Conflicts: 808000 | #Constraints: 80114 3328.17/3336.50 c #Conflicts: 809000 | #Constraints: 81115 3328.17/3336.50 c #Conflicts: 810000 | #Constraints: 82115 3328.17/3336.50 c #Conflicts: 811000 | #Constraints: 83115 3328.17/3336.50 c #Conflicts: 812000 | #Constraints: 84116 3328.17/3336.50 c #Conflicts: 813000 | #Constraints: 85117 3328.17/3336.50 c #Conflicts: 814000 | #Constraints: 86117 3328.17/3336.50 c #Conflicts: 815000 | #Constraints: 87117 3328.17/3336.50 c #Conflicts: 816000 | #Constraints: 88117 3328.17/3336.50 c #Conflicts: 817000 | #Constraints: 89117 3328.17/3336.50 c #Conflicts: 818000 | #Constraints: 90117 3328.17/3336.50 c #Conflicts: 819000 | #Constraints: 91117 3328.17/3336.50 c #Conflicts: 820000 | #Constraints: 92117 3328.17/3336.50 c #Conflicts: 821000 | #Constraints: 93117 3328.17/3336.50 c #Conflicts: 822000 | #Constraints: 94117 3328.17/3336.50 c #Conflicts: 823000 | #Constraints: 95117 3328.17/3336.50 c #Conflicts: 824000 | #Constraints: 96117 3328.17/3336.50 c #Conflicts: 825000 | #Constraints: 97117 3328.17/3336.50 c #Conflicts: 826000 | #Constraints: 98117 3328.17/3336.50 c #Conflicts: 827000 | #Constraints: 99118 3328.17/3336.50 c #Conflicts: 828000 | #Constraints: 100118 3328.17/3336.50 c #Conflicts: 829000 | #Constraints: 101118 3328.17/3336.50 c #Conflicts: 830000 | #Constraints: 102118 3328.17/3336.50 c #Conflicts: 831000 | #Constraints: 103118 3328.17/3336.50 c #Conflicts: 832000 | #Constraints: 104118 3328.17/3336.50 c INPROCESSING 3328.17/3336.50 c GARBAGE COLLECT 3328.17/3336.50 c #Conflicts: 833000 | #Constraints: 77991 3328.17/3336.50 c #Conflicts: 834000 | #Constraints: 78991 3328.17/3336.50 c #Conflicts: 835000 | #Constraints: 79991 3328.17/3336.50 c #Conflicts: 836000 | #Constraints: 80991 3328.17/3336.50 c #Conflicts: 837000 | #Constraints: 81991 3328.17/3336.50 c #Conflicts: 838000 | #Constraints: 82991 3328.17/3336.50 c #Conflicts: 839000 | #Constraints: 83991 3328.17/3336.50 c #Conflicts: 840000 | #Constraints: 84991 3328.17/3336.50 c #Conflicts: 841000 | #Constraints: 85991 3328.17/3336.50 c #Conflicts: 842000 | #Constraints: 86991 3328.17/3336.50 c #Conflicts: 843000 | #Constraints: 87991 3328.17/3336.50 c #Conflicts: 844000 | #Constraints: 88991 3328.17/3336.50 c #Conflicts: 845000 | #Constraints: 89991 3328.17/3336.50 c #Conflicts: 846000 | #Constraints: 90991 3328.17/3336.50 c #Conflicts: 847000 | #Constraints: 91991 3328.17/3336.50 c #Conflicts: 848000 | #Constraints: 92991 3328.17/3336.50 c #Conflicts: 849000 | #Constraints: 93991 3328.17/3336.50 c #Conflicts: 850000 | #Constraints: 94991 3328.17/3336.50 c #Conflicts: 851000 | #Constraints: 95991 3328.17/3336.50 c #Conflicts: 852000 | #Constraints: 96991 3328.17/3336.50 c #Conflicts: 853000 | #Constraints: 97991 3328.17/3336.50 c #Conflicts: 854000 | #Constraints: 98991 3328.17/3336.50 c #Conflicts: 855000 | #Constraints: 99991 3328.17/3336.50 c #Conflicts: 856000 | #Constraints: 100991 3328.17/3336.50 c #Conflicts: 857000 | #Constraints: 101991 3328.17/3336.50 c #Conflicts: 858000 | #Constraints: 102991 3328.17/3336.50 c #Conflicts: 859000 | #Constraints: 103991 3328.17/3336.50 c #Conflicts: 860000 | #Constraints: 104991 3328.17/3336.50 c #Conflicts: 861000 | #Constraints: 105991 3328.17/3336.50 c #Conflicts: 862000 | #Constraints: 106991 3328.17/3336.50 c #Conflicts: 863000 | #Constraints: 107991 3328.17/3336.50 c #Conflicts: 864000 | #Constraints: 108991 3328.17/3336.50 c #Conflicts: 865000 | #Constraints: 109991 3328.17/3336.50 c #Conflicts: 866000 | #Constraints: 110991 3328.17/3336.50 c #Conflicts: 867000 | #Constraints: 111991 3328.17/3336.50 c #Conflicts: 868000 | #Constraints: 112991 3328.17/3336.50 c #Conflicts: 869000 | #Constraints: 113991 3328.17/3336.50 c #Conflicts: 870000 | #Constraints: 114991 3328.17/3336.50 c #Conflicts: 871000 | #Constraints: 115991 3328.17/3336.50 c #Conflicts: 872000 | #Constraints: 116991 3328.17/3336.50 c #Conflicts: 873000 | #Constraints: 117991 3328.17/3336.50 c #Conflicts: 874000 | #Constraints: 118991 3328.17/3336.50 c #Conflicts: 875000 | #Constraints: 119991 3328.17/3336.50 c #Conflicts: 876000 | #Constraints: 120991 3328.17/3336.50 c #Conflicts: 877000 | #Constraints: 121991 3328.17/3336.50 c #Conflicts: 878000 | #Constraints: 122991 3328.17/3336.50 c #Conflicts: 879000 | #Constraints: 123991 3328.17/3336.50 c #Conflicts: 880000 | #Constraints: 124991 3328.17/3336.50 c #Conflicts: 881000 | #Constraints: 125991 3328.17/3336.50 c #Conflicts: 882000 | #Constraints: 126991 3328.17/3336.50 c #Conflicts: 883000 | #Constraints: 127991 3328.17/3336.50 c #Conflicts: 884000 | #Constraints: 128991 3328.17/3336.50 c #Conflicts: 885000 | #Constraints: 129991 3460.60/3469.32 c #Conflicts: 886000 | #Constraints: 130991 3460.60/3469.32 c #Conflicts: 887000 | #Constraints: 131991 3460.60/3469.32 c #Conflicts: 888000 | #Constraints: 132992 3460.60/3469.32 c #Conflicts: 889000 | #Constraints: 133992 3460.60/3469.32 c #Conflicts: 890000 | #Constraints: 134992 3460.60/3469.32 c #Conflicts: 891000 | #Constraints: 135992 3460.60/3469.32 c #Conflicts: 892000 | #Constraints: 136992 3460.60/3469.32 c #Conflicts: 893000 | #Constraints: 137992 3460.60/3469.32 c INPROCESSING 3460.60/3469.32 c GARBAGE COLLECT 3460.60/3469.32 c rational objective 193 3546.77/3555.73 c #Conflicts: 894000 | #Constraints: 83391 3546.77/3555.73 c #Conflicts: 895000 | #Constraints: 84391 3546.77/3555.73 c #Conflicts: 896000 | #Constraints: 85391 3546.77/3555.73 c #Conflicts: 897000 | #Constraints: 86391 3546.77/3555.73 c #Conflicts: 898000 | #Constraints: 87391 3546.77/3555.73 c #Conflicts: 899000 | #Constraints: 88391 3546.77/3555.73 c #Conflicts: 900000 | #Constraints: 89391 3546.77/3555.73 c #Conflicts: 901000 | #Constraints: 90391 3546.77/3555.73 c #Conflicts: 902000 | #Constraints: 91391 3546.77/3555.73 c #Conflicts: 903000 | #Constraints: 92391 3546.77/3555.73 c #Conflicts: 904000 | #Constraints: 93391 3546.77/3555.73 c #Conflicts: 905000 | #Constraints: 94391 3546.77/3555.73 c #Conflicts: 906000 | #Constraints: 95391 3546.77/3555.73 c #Conflicts: 907000 | #Constraints: 96391 3546.77/3555.73 c #Conflicts: 908000 | #Constraints: 97391 3546.77/3555.73 c #Conflicts: 909000 | #Constraints: 98391 3546.77/3555.73 c #Conflicts: 910000 | #Constraints: 99391 3546.77/3555.73 c #Conflicts: 911000 | #Constraints: 100391 3546.77/3555.73 c #Conflicts: 912000 | #Constraints: 101392 3546.77/3555.73 c #Conflicts: 913000 | #Constraints: 102392 3546.77/3555.73 c #Conflicts: 914000 | #Constraints: 103392 3546.77/3555.73 c #Conflicts: 915000 | #Constraints: 104393 3546.77/3555.73 c #Conflicts: 916000 | #Constraints: 105393 3546.77/3555.73 c #Conflicts: 917000 | #Constraints: 106393 3546.77/3555.73 c #Conflicts: 918000 | #Constraints: 107393 3546.77/3555.73 c #Conflicts: 919000 | #Constraints: 108393 3546.77/3555.73 c #Conflicts: 920000 | #Constraints: 109393 3546.77/3555.73 c INPROCESSING 3546.77/3555.73 c GARBAGE COLLECT 3546.77/3555.73 c rational objective 193 3600.04/3609.11 c #Conflicts: 921000 | #Constraints: 81452 3600.04/3609.11 c #Conflicts: 922000 | #Constraints: 82452 3600.04/3609.11 c #Conflicts: 923000 | #Constraints: 83452 3600.04/3609.11 c #Conflicts: 924000 | #Constraints: 84452 3600.04/3609.11 c #Conflicts: 925000 | #Constraints: 85452 3600.04/3609.11 c #Conflicts: 926000 | #Constraints: 86453 3600.04/3609.11 c #Conflicts: 927000 | #Constraints: 87454 3600.04/3609.11 c #Conflicts: 928000 | #Constraints: 88455 3600.04/3609.11 c #Conflicts: 929000 | #Constraints: 89455 3600.04/3609.11 c #Conflicts: 930000 | #Constraints: 90455 3600.04/3609.11 c #Conflicts: 931000 | #Constraints: 91455 3600.04/3609.11 c #Conflicts: 932000 | #Constraints: 92455 3600.04/3609.11 c #Conflicts: 933000 | #Constraints: 93455 3600.04/3609.11 c #Conflicts: 934000 | #Constraints: 94455 3600.04/3609.11 c #Conflicts: 935000 | #Constraints: 95455 3600.04/3609.11 c #Conflicts: 936000 | #Constraints: 96455 3600.04/3609.11 c #Conflicts: 937000 | #Constraints: 97455 3600.04/3609.11 c #Conflicts: 938000 | #Constraints: 98455 3600.04/3609.11 c #Conflicts: 939000 | #Constraints: 99455 3600.04/3609.11 c #Conflicts: 940000 | #Constraints: 100456 3600.04/3609.11 c #Conflicts: 941000 | #Constraints: 101456 3600.04/3609.11 c #Conflicts: 942000 | #Constraints: 102456 3600.04/3609.11 c #Conflicts: 943000 | #Constraints: 103456 3600.04/3609.11 c #Conflicts: 944000 | #Constraints: 104456 3600.04/3609.11 c #Conflicts: 945000 | #Constraints: 105456 3600.04/3609.11 c #Conflicts: 946000 | #Constraints: 106456 3600.04/3609.11 c Program interrupted by user. 3600.04/3609.12 c cpu time 3558.13 s 3600.04/3609.12 c deterministic time 214824298308 2.15e+11 3600.04/3609.12 c optimization time 49.9809 s 3600.04/3609.12 c total solve time 3508.07 s 3600.04/3609.12 c core-guided solve time 0 s 3600.04/3609.12 c propagation time 1743.15 s 3600.04/3609.12 c conflict analysis time 461.11 s 3600.04/3609.12 c propagations 807385711 3600.04/3609.12 c resolve steps 40053069 3600.04/3609.12 c decisions 24427330 3600.04/3609.12 c conflicts 946196 3600.04/3609.12 c restarts 2043 3600.04/3609.12 c inprocessing phases 40 3600.04/3609.12 c input clauses 23162 3600.04/3609.12 c input cardinalities 193 3600.04/3609.12 c input general constraints 0 3600.04/3609.12 c input average constraint length 6.44 3600.04/3609.12 c input average constraint degree 1.97 3600.04/3609.12 c learned clauses 606807 3600.04/3609.12 c learned cardinalities 45491 3600.04/3609.12 c learned general constraints 294004 3600.04/3609.12 c learned average constraint length 1039.02 3600.04/3609.12 c learned average constraint degree 235602668.52 3600.04/3609.12 c watched constraints 207938 3600.04/3609.12 c counting constraints 86066 3600.04/3609.12 c gcd simplifications 2419 3600.04/3609.12 c detected cardinalities 7647 3600.04/3609.12 c weakened non-implied lits 199666053 3600.04/3609.12 c weakened non-implying lits 189929 3600.04/3609.12 c original variables 22967 3600.04/3609.12 c clausal propagations 378509687 3600.04/3609.12 c cardinality propagations 293737295 3600.04/3609.12 c watched propagations 31407192 3600.04/3609.12 c counting propagations 94086929 3600.04/3609.12 c watch lookups 11452264413 3600.04/3609.12 c watch backjump lookups 9228902663 3600.04/3609.12 c watch checks 128557801457 3600.04/3609.12 c propagation checks 60533956740 3600.04/3609.12 c constraint additions 3385036578 3600.04/3609.12 c trail pops 832737897 3600.04/3609.12 c formula constraints 23355 3600.04/3609.12 c learned constraints 946132 3600.04/3609.12 c bound constraints 0 3600.04/3609.12 c core-guided constraints 0 3600.04/3609.12 c encountered formula constraints 26560600 3600.04/3609.12 c encountered learned constraints 14437668 3600.04/3609.12 c encountered bound constraints 0 3600.04/3609.12 c encountered core-guided constraints 0 3600.04/3609.12 c LP total time 2132.62 s 3600.04/3609.12 c LP solve time 2062.35 s 3600.04/3609.12 c LP constraints added 27049 3600.04/3609.12 c LP constraints removed 3483 3600.04/3609.12 c LP pivots internal 952595 3600.04/3609.12 c LP pivots root 832923 3600.04/3609.12 c LP calls 118 3600.04/3609.12 c LP optimalities 47 3600.04/3609.12 c LP no pivot count 0 3600.04/3609.12 c LP infeasibilities 63 3600.04/3609.12 c LP valid Farkas constraints 63 3600.04/3609.12 c LP learned Farkas constraints 63 3600.04/3609.12 c LP basis resets 0 3600.04/3609.12 c LP cycling count 0 3600.04/3609.12 c LP singular count 0 3600.04/3609.12 c LP no primal count 0 3600.04/3609.12 c LP no farkas count 0 3600.04/3609.12 c LP other issue count 0 3600.04/3609.12 c LP Gomory cuts 44 3600.04/3609.12 c LP learned cuts 3650 3600.04/3609.12 c LP deleted cuts 3483 3600.04/3609.12 c LP encountered Gomory constraints 18 3600.04/3609.12 c LP encountered Farkas constraints 650 3600.04/3609.12 c LP encountered learned Farkas constraints 266 3600.04/3609.12 c CG auxiliary variables introduced 0 3600.04/3609.12 c CG solutions found 0 3600.04/3609.12 c CG cores constructed 0 3600.04/3609.12 c CG core cardinality constraints returned 0 3600.04/3609.12 c CG unit cores 0 3600.04/3609.12 c CG single cores 0 3600.04/3609.12 c CG blocks removed during cardinality reduction 0 3600.04/3609.12 c CG first core best 0 3600.04/3609.12 c CG decision core best 0 3600.04/3609.12 c CG core reduction tie 0 3600.04/3609.12 c CG core degree average 0.00 3600.04/3609.12 c CG core slack average 0.00 3600.04/3609.12 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (59387 MiB free)
memory of node 1: 64510 MiB (61005 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455639-1721464484/watcher-4455639-1721464484 -o /tmp/evaluation-result-4455639-1721464484/solver-4455639-1721464484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721457276-1049243 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455639-1721464484.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1053839, runsolver pid=1053836
[startup+0.100106 s]*
/proc/loadavg: 4.08 4.11 4.09 7/245 1053840
/proc/meminfo: memFree=123268492/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=57912 memory=28724 CPUtime=0.1 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 7033 0 0 0 7 3 0 0 20 0 1 0 198607072 59301888 7181 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 14478 7181 1596 922 0 6430 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57912 KiB
Current children cumulated memory: 28724 KiB
[startup+0.213135 s]*
/proc/loadavg: 4.08 4.11 4.09 5/245 1053840
/proc/meminfo: memFree=123246744/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=74720 memory=41716 CPUtime=0.21 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 10926 0 0 0 18 3 0 0 20 0 1 0 198607072 76513280 10429 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 18680 10429 1692 922 0 10632 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 74720 KiB
Current children cumulated memory: 41716 KiB
[startup+0.313122 s]*
/proc/loadavg: 4.08 4.11 4.09 5/245 1053840
/proc/meminfo: memFree=123244924/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=75512 memory=43300 CPUtime=0.32 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 11286 0 0 0 28 4 0 0 20 0 1 0 198607072 77324288 10825 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 18878 10825 1692 922 0 10830 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 75512 KiB
Current children cumulated memory: 43300 KiB
[startup+0.700331 s]
/proc/loadavg: 4.08 4.11 4.09 5/245 1053840
/proc/meminfo: memFree=123242768/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=78104 memory=45148 CPUtime=0.68 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 11772 0 0 0 64 4 0 0 20 0 1 0 198607072 79978496 11287 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 19526 11287 1692 922 0 11478 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78104 KiB
Current children cumulated memory: 45148 KiB
[startup+1.50034 s]
/proc/loadavg: 4.08 4.11 4.09 5/245 1053840
/proc/meminfo: memFree=123241184/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=78784 memory=46468 CPUtime=1.49 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 12099 0 0 0 144 5 0 0 20 0 1 0 198607072 80674816 11617 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 19696 11617 1692 922 0 11648 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 78784 KiB
Current children cumulated memory: 46468 KiB
[startup+3.11281 s]
/proc/loadavg: 4.16 4.12 4.10 5/245 1053840
/proc/meminfo: memFree=123239344/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=78784 memory=48488 CPUtime=3.1 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 12565 0 0 0 289 21 0 0 20 0 1 0 198607072 80674816 12122 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 19696 12122 1739 922 0 11648 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 78784 KiB
Current children cumulated memory: 48488 KiB
[startup+6.30031 s]
/proc/loadavg: 4.16 4.12 4.10 5/245 1053841
/proc/meminfo: memFree=123234724/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=82904 memory=52444 CPUtime=6.28 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 13526 0 0 0 605 23 0 0 20 0 1 0 198607072 84893696 13111 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 20726 13111 1739 922 0 12678 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 82904 KiB
Current children cumulated memory: 52444 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.12 4.10 5/245 1053841
/proc/meminfo: memFree=123231716/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=84416 memory=54820 CPUtime=12.65 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 14123 0 0 0 1239 26 0 0 20 0 1 0 198607072 86441984 13705 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 21104 13705 1739 922 0 13056 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 84416 KiB
Current children cumulated memory: 54820 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 1053844
/proc/meminfo: memFree=123223480/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=89588 memory=58352 CPUtime=25.42 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 15005 0 0 0 2479 63 0 0 20 0 1 0 198607072 91738112 14588 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 22397 14588 1788 922 0 14349 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 89588 KiB
Current children cumulated memory: 58352 KiB
[startup+51.1125 s]
/proc/loadavg: 4.15 4.12 4.10 5/241 1053847
/proc/meminfo: memFree=123179316/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=145892 memory=97524 CPUtime=50.97 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 20155 0 0 0 5003 94 0 0 20 0 1 0 198607072 149393408 24381 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 36473 24381 1804 922 0 28425 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 145892 KiB
Current children cumulated memory: 97524 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 1053902
/proc/meminfo: memFree=123663376/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=152284 memory=111576 CPUtime=102.02 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 22159 0 0 0 10004 198 0 0 20 0 1 0 198607072 155938816 27894 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 38071 27894 1804 922 0 30023 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 152284 KiB
Current children cumulated memory: 111576 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/241 1053912
/proc/meminfo: memFree=123481256/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=232392 memory=192300 CPUtime=161.86 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 42936 0 0 0 15886 300 0 0 20 0 1 0 198607072 237969408 48075 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 58098 48075 1820 922 0 50050 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 232392 KiB
Current children cumulated memory: 192300 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/241 1053922
/proc/meminfo: memFree=123470116/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=233740 memory=194144 CPUtime=221.69 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 43394 0 0 0 21797 372 0 0 20 0 1 0 198607072 239349760 48536 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 58435 48536 1820 922 0 50387 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 233740 KiB
Current children cumulated memory: 194144 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/241 1053933
/proc/meminfo: memFree=123444956/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=238332 memory=199588 CPUtime=281.53 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 44263 0 0 0 27707 446 0 0 20 0 1 0 198607072 244051968 49897 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 59583 49897 1820 922 0 51535 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 238332 KiB
Current children cumulated memory: 199588 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/241 1053943
/proc/meminfo: memFree=123358612/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=243708 memory=206184 CPUtime=341.36 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 45895 0 0 0 33673 463 0 0 20 0 1 0 198607072 249556992 51546 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 60927 51546 1820 922 0 52879 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 243708 KiB
Current children cumulated memory: 206184 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/243 1053957
/proc/meminfo: memFree=123307700/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=328708 memory=252784 CPUtime=401.2 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 47877 0 0 0 39550 570 0 0 20 0 1 0 198607072 336596992 63196 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 82177 63196 1820 922 0 74129 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 328708 KiB
Current children cumulated memory: 252784 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/243 1053968
/proc/meminfo: memFree=123232760/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=340160 memory=308772 CPUtime=461.05 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 50619 0 0 0 45391 714 0 0 20 0 1 0 198607072 348323840 77193 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 85040 77193 1820 922 0 76992 0
################
# More data... #
################
Current children cumulated memory: 920408 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/243 1055071
/proc/meminfo: memFree=126612024/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=965036 memory=930440 CPUtime=2915.13 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 115332 0 0 0 287911 3602 0 0 20 0 1 0 198607072 988196864 232610 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 241259 232610 1952 922 0 233211 0
Current children cumulated CPU time: 2915.13 s
Current children cumulated vsize: 965036 KiB
Current children cumulated memory: 930440 KiB
[startup+2982.3 s]
/proc/loadavg: 4.48 4.27 4.18 5/243 1055082
/proc/meminfo: memFree=126605664/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=965036 memory=930600 CPUtime=2974.98 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 115476 0 0 0 293818 3680 0 0 20 0 1 0 198607072 988196864 232650 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 241259 232650 1952 922 0 233211 0
Current children cumulated CPU time: 2974.98 s
Current children cumulated vsize: 965036 KiB
Current children cumulated memory: 930600 KiB
[startup+3042.3 s]
/proc/loadavg: 4.58 4.35 4.22 5/243 1055092
/proc/meminfo: memFree=126604064/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=965036 memory=930600 CPUtime=3034.8 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 115806 0 0 0 299767 3713 0 0 20 0 1 0 198607072 988196864 232650 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 241259 232650 1952 922 0 233211 0
Current children cumulated CPU time: 3034.8 s
Current children cumulated vsize: 965036 KiB
Current children cumulated memory: 930600 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.30 4.20 5/241 1055485
/proc/meminfo: memFree=126545524/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=965036 memory=930600 CPUtime=3094.64 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 115945 0 0 0 305735 3729 0 0 20 0 1 0 198607072 988196864 232650 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 241259 232650 1952 922 0 233211 0
Current children cumulated CPU time: 3094.64 s
Current children cumulated vsize: 965036 KiB
Current children cumulated memory: 930600 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.29 4.20 5/241 1055495
/proc/meminfo: memFree=126495884/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=965036 memory=930600 CPUtime=3154.46 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 116071 0 0 0 311701 3745 0 0 20 0 1 0 198607072 988196864 232650 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 241259 232650 1952 922 0 233211 0
Current children cumulated CPU time: 3154.46 s
Current children cumulated vsize: 965036 KiB
Current children cumulated memory: 930600 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.25 4.19 5/241 1055505
/proc/meminfo: memFree=126486052/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=965036 memory=930600 CPUtime=3214.29 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 116226 0 0 0 317667 3762 0 0 20 0 1 0 198607072 988196864 232650 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 241259 232650 1952 922 0 233211 0
Current children cumulated CPU time: 3214.29 s
Current children cumulated vsize: 965036 KiB
Current children cumulated memory: 930600 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.23 4.19 5/243 1055686
/proc/meminfo: memFree=126482228/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=965036 memory=930604 CPUtime=3274.12 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 116679 0 0 0 323567 3845 0 0 20 0 1 0 198607072 988196864 232651 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 241259 232651 1952 922 0 233211 0
Current children cumulated CPU time: 3274.12 s
Current children cumulated vsize: 965036 KiB
Current children cumulated memory: 930604 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.22 4.18 5/244 1055753
/proc/meminfo: memFree=126475448/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=965036 memory=930624 CPUtime=3333.95 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 117061 0 0 0 329464 3931 0 0 20 0 1 0 198607072 988196864 232656 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 241259 232656 1952 922 0 233211 0
Current children cumulated CPU time: 3333.95 s
Current children cumulated vsize: 965036 KiB
Current children cumulated memory: 930624 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.21 4.18 5/244 1055763
/proc/meminfo: memFree=126468768/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=965036 memory=930636 CPUtime=3393.79 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 117241 0 0 0 335403 3976 0 0 20 0 1 0 198607072 988196864 232659 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 241259 232659 1952 922 0 233211 0
Current children cumulated CPU time: 3393.79 s
Current children cumulated vsize: 965036 KiB
Current children cumulated memory: 930636 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.17 5/244 1055774
/proc/meminfo: memFree=126462760/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=965036 memory=931080 CPUtime=3453.62 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 117471 0 0 0 341368 3994 0 0 20 0 1 0 198607072 988196864 232770 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 241259 232770 1952 922 0 233211 0
Current children cumulated CPU time: 3453.62 s
Current children cumulated vsize: 965036 KiB
Current children cumulated memory: 931080 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/244 1055784
/proc/meminfo: memFree=126461080/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=966132 memory=932436 CPUtime=3513.45 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 118257 0 0 0 347249 4096 0 0 20 0 1 0 198607072 989319168 233109 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 241533 233109 1952 922 0 233485 0
Current children cumulated CPU time: 3513.45 s
Current children cumulated vsize: 966132 KiB
Current children cumulated memory: 932436 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/244 1055796
/proc/meminfo: memFree=126459648/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=969188 memory=935496 CPUtime=3573.3 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 119230 0 0 0 353166 4164 0 0 20 0 1 0 198607072 992448512 233874 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 242297 233874 1952 922 0 234249 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 969188 KiB
Current children cumulated memory: 935496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.09 4.14 4.16 5/244 1055801
/proc/meminfo: memFree=126459256/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=969188 memory=935496 CPUtime=3600.04 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 119408 0 0 0 355813 4191 0 0 20 0 1 0 198607072 992448512 233874 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 242297 233874 1952 922 0 234249 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 969188 KiB
Current children cumulated memory: 935496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 1053839 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3558.14 s, system=41.9183 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.09 4.14 4.16 5/244 1055801
/proc/meminfo: memFree=126459256/131655788 swapFree=131071996/131071996
[pid=1053839] ppid=1053836 vsize=969188 memory=935496 CPUtime=3600.04 cores=1,3
/proc/1053839/stat : 1053839 (roundingsat) R 1053836 1053839 1049231 0 -1 4194304 119408 0 0 0 355813 4191 0 0 20 0 1 0 198607072 992448512 233874 134679101440 4194304 7968373 140721670897296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 11374592 140721670902716 140721670902880 140721670902880 140721670909897 0
/proc/1053839/statm: 242297 233874 1952 922 0 234249 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 969188 KiB
Current children cumulated memory: 935496 KiB
Child status: 0
Real time (s): 3609.12
CPU time (s): 3600.06
CPU user time (s): 3558.14
CPU system time (s): 41.9183
CPU usage (%): 99.7488
Max. virtual memory (cumulated for all children) (KiB): 969188
Max. memory (cumulated for all children) (KiB): 935496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.14
system time used= 41.9183
maximum resident set size= 935496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91
involuntary context switches= 2231
# summary of solver processes directly reported to runsolver:
# pid: 1053839
# total CPU time (s): 3600.06
# total CPU user time (s): 3558.14
# total CPU system time (s): 41.9183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0487 second user time and 35.1432 second system time
The end
Begin job on nodeC006 at 2024-07-20 10:34:56 IDJOB=4455639 IDBENCH=158306 IDSOLVER=3084 FILE ID=nodeC006/4455639-1721464484 RUNJOBID= nodeC006-1721457276-1049243 SLURM_JOB_ID= 7545696 Free space on /tmp= 723756 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K193.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455639-1721464484/watcher-4455639-1721464484 -o /tmp/evaluation-result-4455639-1721464484/solver-4455639-1721464484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721457276-1049243 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455639-1721464484.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a57909b893e448cbfc1c45d11e8afcf3 RANDOM SEED=41266574 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3541.485 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.983 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.433 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.251 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3520.759 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3636.050 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.427 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.349 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123282680 kB MemAvailable: 128370940 kB Buffers: 564756 kB Cached: 5309156 kB SwapCached: 0 kB Active: 1055048 kB Inactive: 6622828 kB Active(anon): 1468 kB Inactive(anon): 1848384 kB Active(file): 1053580 kB Inactive(file): 4774444 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6940 kB Writeback: 24 kB AnonPages: 1800268 kB Mapped: 117348 kB Shmem: 45896 kB KReclaimable: 200536 kB Slab: 316936 kB SReclaimable: 200536 kB SUnreclaim: 116400 kB KernelStack: 4016 kB PageTables: 12976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2301696 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62528 kB HardwareCorrupted: 0 kB AnonHugePages: 1302528 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: 316232 kB DirectMap2M: 40482816 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723752 MiB End job on nodeC006 at 2024-07-20 11:35:05