| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.09 | 3613.49 |
| Name | PB24/normalized-PB11/DEC-LIN/ lopes/normalized-139.opb |
| MD5SUM | b1a9bb408d678f4e4f75286e8bd2bbb9 |
| 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 | 23.2372 |
| 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 | 35834 |
| Total number of constraints | 835510 |
| Number of constraints which are clauses | 750303 |
| Number of constraints which are cardinality constraints (but not clauses) | 2782 |
| Number of constraints which are nor clauses,nor cardinality constraints | 82425 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 690 |
| 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 | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 691 |
| Number of bits of the biggest sum of numbers | 10 |
| 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 2.78/2.85 c #variables 35834 #constraints 723876 31.09/31.23 c #Conflicts: 1000 | #Constraints: 724875 31.09/31.23 c #Conflicts: 2000 | #Constraints: 725875 31.09/31.23 c INPROCESSING 31.09/31.23 c #Conflicts: 3000 | #Constraints: 632642 31.09/31.23 c #Conflicts: 4000 | #Constraints: 633642 31.09/31.23 c INPROCESSING 31.09/31.23 c #Conflicts: 5000 | #Constraints: 631937 31.09/31.23 c #Conflicts: 6000 | #Constraints: 632937 31.09/31.23 c #Conflicts: 7000 | #Constraints: 633937 31.09/31.23 c #Conflicts: 8000 | #Constraints: 634937 31.09/31.23 c #Conflicts: 9000 | #Constraints: 635937 31.09/31.23 c INPROCESSING 31.09/31.23 c rational objective 4755.62 197.27/197.98 c #Conflicts: 10000 | #Constraints: 628208 197.27/197.98 c #Conflicts: 11000 | #Constraints: 629208 197.27/197.98 c #Conflicts: 12000 | #Constraints: 630208 197.27/197.98 c #Conflicts: 13000 | #Constraints: 631208 197.27/197.98 c #Conflicts: 14000 | #Constraints: 632208 197.27/197.98 c #Conflicts: 15000 | #Constraints: 633208 197.27/197.98 c #Conflicts: 16000 | #Constraints: 634208 197.27/197.98 c INPROCESSING 197.27/197.98 c #Conflicts: 17000 | #Constraints: 626172 197.27/197.98 c #Conflicts: 18000 | #Constraints: 627172 197.27/197.98 c #Conflicts: 19000 | #Constraints: 628172 197.27/197.98 c #Conflicts: 20000 | #Constraints: 629172 197.27/197.98 c #Conflicts: 21000 | #Constraints: 630172 197.27/197.98 c #Conflicts: 22000 | #Constraints: 631172 197.27/197.98 c #Conflicts: 23000 | #Constraints: 632172 197.27/197.98 c #Conflicts: 24000 | #Constraints: 633172 197.27/197.98 c #Conflicts: 25000 | #Constraints: 634172 197.27/197.98 c INPROCESSING 197.27/197.98 c GARBAGE COLLECT 197.27/197.98 c #Conflicts: 26000 | #Constraints: 627030 197.27/197.98 c #Conflicts: 27000 | #Constraints: 628030 197.27/197.98 c #Conflicts: 28000 | #Constraints: 629030 197.27/197.98 c #Conflicts: 29000 | #Constraints: 630030 197.27/197.98 c #Conflicts: 30000 | #Constraints: 631030 197.27/197.98 c #Conflicts: 31000 | #Constraints: 632030 197.27/197.98 c #Conflicts: 32000 | #Constraints: 633030 197.27/197.98 c #Conflicts: 33000 | #Constraints: 634030 197.27/197.98 c #Conflicts: 34000 | #Constraints: 635030 197.27/197.98 c #Conflicts: 35000 | #Constraints: 636030 197.27/197.98 c #Conflicts: 36000 | #Constraints: 637030 197.27/197.98 c INPROCESSING 197.27/197.98 c rational objective 4861.23 292.29/293.27 c #Conflicts: 37000 | #Constraints: 628766 292.29/293.27 c #Conflicts: 38000 | #Constraints: 629766 292.29/293.27 c #Conflicts: 39000 | #Constraints: 630766 292.29/293.27 c #Conflicts: 40000 | #Constraints: 631766 292.29/293.27 c #Conflicts: 41000 | #Constraints: 632766 292.29/293.27 c #Conflicts: 42000 | #Constraints: 633766 292.29/293.27 c #Conflicts: 43000 | #Constraints: 634766 292.29/293.27 c #Conflicts: 44000 | #Constraints: 635766 292.29/293.27 c #Conflicts: 45000 | #Constraints: 636766 292.29/293.27 c #Conflicts: 46000 | #Constraints: 637766 292.29/293.27 c #Conflicts: 47000 | #Constraints: 638766 292.29/293.27 c #Conflicts: 48000 | #Constraints: 639766 292.29/293.27 c #Conflicts: 49000 | #Constraints: 640766 292.29/293.27 c INPROCESSING 292.29/293.27 c #Conflicts: 50000 | #Constraints: 630638 292.29/293.27 c #Conflicts: 51000 | #Constraints: 631638 292.29/293.27 c #Conflicts: 52000 | #Constraints: 632638 292.29/293.27 c #Conflicts: 53000 | #Constraints: 633638 292.29/293.27 c #Conflicts: 54000 | #Constraints: 634638 292.29/293.27 c #Conflicts: 55000 | #Constraints: 635638 292.29/293.27 c #Conflicts: 56000 | #Constraints: 636638 292.29/293.27 c #Conflicts: 57000 | #Constraints: 637638 292.29/293.27 c #Conflicts: 58000 | #Constraints: 638638 292.29/293.27 c #Conflicts: 59000 | #Constraints: 639638 292.29/293.27 c #Conflicts: 60000 | #Constraints: 640638 292.29/293.27 c #Conflicts: 61000 | #Constraints: 641638 292.29/293.27 c #Conflicts: 62000 | #Constraints: 642638 292.29/293.27 c #Conflicts: 63000 | #Constraints: 643638 292.29/293.27 c #Conflicts: 64000 | #Constraints: 644638 292.29/293.27 c INPROCESSING 292.29/293.27 c GARBAGE COLLECT 292.29/293.27 c rational objective 4879.44 318.72/319.72 c #Conflicts: 65000 | #Constraints: 632529 318.72/319.72 c #Conflicts: 66000 | #Constraints: 633529 318.72/319.72 c #Conflicts: 67000 | #Constraints: 634529 318.72/319.72 c #Conflicts: 68000 | #Constraints: 635529 318.72/319.72 c #Conflicts: 69000 | #Constraints: 636529 318.72/319.72 c #Conflicts: 70000 | #Constraints: 637529 318.72/319.72 c #Conflicts: 71000 | #Constraints: 638529 318.72/319.72 c #Conflicts: 72000 | #Constraints: 639529 318.72/319.72 c #Conflicts: 73000 | #Constraints: 640529 318.72/319.72 c #Conflicts: 74000 | #Constraints: 641529 318.72/319.72 c #Conflicts: 75000 | #Constraints: 642529 318.72/319.72 c #Conflicts: 76000 | #Constraints: 643529 318.72/319.72 c #Conflicts: 77000 | #Constraints: 644529 318.72/319.72 c #Conflicts: 78000 | #Constraints: 645529 318.72/319.72 c #Conflicts: 79000 | #Constraints: 646529 318.72/319.72 c #Conflicts: 80000 | #Constraints: 647529 318.72/319.72 c #Conflicts: 81000 | #Constraints: 648529 318.72/319.72 c INPROCESSING 318.72/319.72 c rational objective 4894.02 363.39/364.57 c #Conflicts: 82000 | #Constraints: 634627 363.39/364.57 c #Conflicts: 83000 | #Constraints: 635627 363.39/364.57 c #Conflicts: 84000 | #Constraints: 636627 363.39/364.57 c #Conflicts: 85000 | #Constraints: 637627 363.39/364.57 c #Conflicts: 86000 | #Constraints: 638627 363.39/364.57 c #Conflicts: 87000 | #Constraints: 639627 363.39/364.57 c #Conflicts: 88000 | #Constraints: 640627 363.39/364.57 c #Conflicts: 89000 | #Constraints: 641627 363.39/364.57 c #Conflicts: 90000 | #Constraints: 642627 363.39/364.57 c #Conflicts: 91000 | #Constraints: 643627 363.39/364.57 c #Conflicts: 92000 | #Constraints: 644627 363.39/364.57 c #Conflicts: 93000 | #Constraints: 645627 363.39/364.57 c #Conflicts: 94000 | #Constraints: 646627 363.39/364.57 c #Conflicts: 95000 | #Constraints: 647627 363.39/364.57 c #Conflicts: 96000 | #Constraints: 648627 363.39/364.57 c #Conflicts: 97000 | #Constraints: 649627 363.39/364.57 c #Conflicts: 98000 | #Constraints: 650627 363.39/364.57 c #Conflicts: 99000 | #Constraints: 651627 363.39/364.57 c #Conflicts: 100000 | #Constraints: 652627 363.39/364.57 c #Conflicts: 101000 | #Constraints: 653627 363.39/364.57 c INPROCESSING 363.39/364.57 c GARBAGE COLLECT 363.39/364.57 c rational objective 4909.33 426.10/427.43 c #Conflicts: 102000 | #Constraints: 637419 426.10/427.43 c #Conflicts: 103000 | #Constraints: 638419 426.10/427.43 c #Conflicts: 104000 | #Constraints: 639419 426.10/427.43 c #Conflicts: 105000 | #Constraints: 640419 426.10/427.43 c #Conflicts: 106000 | #Constraints: 641419 426.10/427.43 c #Conflicts: 107000 | #Constraints: 642419 426.10/427.43 c #Conflicts: 108000 | #Constraints: 643419 426.10/427.43 c #Conflicts: 109000 | #Constraints: 644419 426.10/427.43 c #Conflicts: 110000 | #Constraints: 645419 426.10/427.43 c #Conflicts: 111000 | #Constraints: 646419 426.10/427.43 c #Conflicts: 112000 | #Constraints: 647419 426.10/427.43 c #Conflicts: 113000 | #Constraints: 648419 426.10/427.43 c #Conflicts: 114000 | #Constraints: 649419 426.10/427.43 c #Conflicts: 115000 | #Constraints: 650419 426.10/427.43 c #Conflicts: 116000 | #Constraints: 651419 426.10/427.43 c #Conflicts: 117000 | #Constraints: 652419 426.10/427.43 c #Conflicts: 118000 | #Constraints: 653419 426.10/427.43 c #Conflicts: 119000 | #Constraints: 654419 426.10/427.43 c #Conflicts: 120000 | #Constraints: 655419 426.10/427.43 c #Conflicts: 121000 | #Constraints: 656419 426.10/427.43 c #Conflicts: 122000 | #Constraints: 657419 426.10/427.43 c INPROCESSING 426.10/427.43 c GARBAGE COLLECT 426.10/427.43 c rational objective 4919.84 500.17/501.79 c #Conflicts: 123000 | #Constraints: 639252 500.17/501.79 c #Conflicts: 124000 | #Constraints: 640252 500.17/501.79 c #Conflicts: 125000 | #Constraints: 641252 500.17/501.79 c #Conflicts: 126000 | #Constraints: 642252 500.17/501.79 c #Conflicts: 127000 | #Constraints: 643252 500.17/501.79 c #Conflicts: 128000 | #Constraints: 644252 500.17/501.79 c #Conflicts: 129000 | #Constraints: 645252 500.17/501.79 c #Conflicts: 130000 | #Constraints: 646252 500.17/501.79 c #Conflicts: 131000 | #Constraints: 647252 500.17/501.79 c #Conflicts: 132000 | #Constraints: 648252 500.17/501.79 c #Conflicts: 133000 | #Constraints: 649252 500.17/501.79 c #Conflicts: 134000 | #Constraints: 650252 500.17/501.79 c #Conflicts: 135000 | #Constraints: 651252 500.17/501.79 c #Conflicts: 136000 | #Constraints: 652252 500.17/501.79 c #Conflicts: 137000 | #Constraints: 653252 500.17/501.79 c #Conflicts: 138000 | #Constraints: 654252 500.17/501.79 c #Conflicts: 139000 | #Constraints: 655252 500.17/501.79 c #Conflicts: 140000 | #Constraints: 656252 500.17/501.79 c #Conflicts: 141000 | #Constraints: 657252 500.17/501.79 c #Conflicts: 142000 | #Constraints: 658252 500.17/501.79 c #Conflicts: 143000 | #Constraints: 659252 500.17/501.79 c #Conflicts: 144000 | #Constraints: 660252 500.17/501.79 c #Conflicts: 145000 | #Constraints: 661252 500.17/501.79 c INPROCESSING 500.17/501.79 c GARBAGE COLLECT 500.17/501.79 c rational objective 4948.59 558.68/560.44 c #Conflicts: 146000 | #Constraints: 640401 558.68/560.44 c #Conflicts: 147000 | #Constraints: 641401 558.68/560.44 c #Conflicts: 148000 | #Constraints: 642401 558.68/560.44 c #Conflicts: 149000 | #Constraints: 643401 558.68/560.44 c #Conflicts: 150000 | #Constraints: 644401 558.68/560.44 c #Conflicts: 151000 | #Constraints: 645401 558.68/560.44 c #Conflicts: 152000 | #Constraints: 646401 558.68/560.44 c #Conflicts: 153000 | #Constraints: 647401 558.68/560.44 c #Conflicts: 154000 | #Constraints: 648401 558.68/560.44 c #Conflicts: 155000 | #Constraints: 649401 558.68/560.44 c #Conflicts: 156000 | #Constraints: 650401 558.68/560.44 c #Conflicts: 157000 | #Constraints: 651401 558.68/560.44 c #Conflicts: 158000 | #Constraints: 652401 558.68/560.44 c #Conflicts: 159000 | #Constraints: 653401 558.68/560.44 c #Conflicts: 160000 | #Constraints: 654401 558.68/560.44 c #Conflicts: 161000 | #Constraints: 655401 558.68/560.44 c #Conflicts: 162000 | #Constraints: 656401 558.68/560.44 c #Conflicts: 163000 | #Constraints: 657401 558.68/560.44 c #Conflicts: 164000 | #Constraints: 658401 558.68/560.44 c #Conflicts: 165000 | #Constraints: 659401 558.68/560.44 c #Conflicts: 166000 | #Constraints: 660401 558.68/560.44 c #Conflicts: 167000 | #Constraints: 661401 558.68/560.44 c #Conflicts: 168000 | #Constraints: 662401 558.68/560.44 c #Conflicts: 169000 | #Constraints: 663401 558.68/560.44 c #Conflicts: 170000 | #Constraints: 664401 558.68/560.44 c INPROCESSING 558.68/560.44 c GARBAGE COLLECT 558.68/560.44 c rational objective 5020.31 616.11/618.01 c #Conflicts: 171000 | #Constraints: 638296 616.11/618.01 c #Conflicts: 172000 | #Constraints: 639296 616.11/618.01 c #Conflicts: 173000 | #Constraints: 640296 616.11/618.01 c #Conflicts: 174000 | #Constraints: 641296 616.11/618.01 c #Conflicts: 175000 | #Constraints: 642296 616.11/618.01 c #Conflicts: 176000 | #Constraints: 643296 616.11/618.01 c #Conflicts: 177000 | #Constraints: 644296 616.11/618.01 c #Conflicts: 178000 | #Constraints: 645296 616.11/618.01 c #Conflicts: 179000 | #Constraints: 646296 616.11/618.01 c #Conflicts: 180000 | #Constraints: 647296 616.11/618.01 c #Conflicts: 181000 | #Constraints: 648296 616.11/618.01 c #Conflicts: 182000 | #Constraints: 649296 616.11/618.01 c #Conflicts: 183000 | #Constraints: 650296 616.11/618.01 c #Conflicts: 184000 | #Constraints: 651296 616.11/618.01 c #Conflicts: 185000 | #Constraints: 652296 616.11/618.01 c #Conflicts: 186000 | #Constraints: 653296 616.11/618.01 c #Conflicts: 187000 | #Constraints: 654296 616.11/618.01 c #Conflicts: 188000 | #Constraints: 655296 616.11/618.01 c #Conflicts: 189000 | #Constraints: 656296 616.11/618.01 c #Conflicts: 190000 | #Constraints: 657296 616.11/618.01 c #Conflicts: 191000 | #Constraints: 658296 616.11/618.01 c #Conflicts: 192000 | #Constraints: 659296 616.11/618.01 c #Conflicts: 193000 | #Constraints: 660296 616.11/618.01 c #Conflicts: 194000 | #Constraints: 661296 616.11/618.01 c #Conflicts: 195000 | #Constraints: 662296 616.11/618.01 c #Conflicts: 196000 | #Constraints: 663296 616.11/618.01 c #Conflicts: 197000 | #Constraints: 664296 616.11/618.01 c INPROCESSING 616.11/618.01 c GARBAGE COLLECT 616.11/618.01 c rational objective 5042.44 756.38/758.76 c #Conflicts: 198000 | #Constraints: 639027 756.38/758.76 c #Conflicts: 199000 | #Constraints: 640027 756.38/758.76 c #Conflicts: 200000 | #Constraints: 641027 756.38/758.76 c #Conflicts: 201000 | #Constraints: 642027 756.38/758.76 c #Conflicts: 202000 | #Constraints: 643027 756.38/758.76 c #Conflicts: 203000 | #Constraints: 644027 756.38/758.76 c #Conflicts: 204000 | #Constraints: 645027 756.38/758.76 c #Conflicts: 205000 | #Constraints: 646027 756.38/758.76 c #Conflicts: 206000 | #Constraints: 647027 756.38/758.76 c #Conflicts: 207000 | #Constraints: 648027 756.38/758.76 c #Conflicts: 208000 | #Constraints: 649027 756.38/758.76 c #Conflicts: 209000 | #Constraints: 650027 756.38/758.76 c #Conflicts: 210000 | #Constraints: 651027 756.38/758.76 c #Conflicts: 211000 | #Constraints: 652027 756.38/758.76 c #Conflicts: 212000 | #Constraints: 653027 756.38/758.76 c #Conflicts: 213000 | #Constraints: 654027 756.38/758.76 c #Conflicts: 214000 | #Constraints: 655027 756.38/758.76 c #Conflicts: 215000 | #Constraints: 656027 756.38/758.76 c #Conflicts: 216000 | #Constraints: 657027 756.38/758.76 c #Conflicts: 217000 | #Constraints: 658027 756.47/758.80 c #Conflicts: 218000 | #Constraints: 659027 756.47/758.80 c #Conflicts: 219000 | #Constraints: 660027 756.47/758.80 c #Conflicts: 220000 | #Constraints: 661027 756.47/758.80 c #Conflicts: 221000 | #Constraints: 662027 756.47/758.80 c #Conflicts: 222000 | #Constraints: 663027 756.47/758.80 c #Conflicts: 223000 | #Constraints: 664027 756.47/758.80 c #Conflicts: 224000 | #Constraints: 665027 756.47/758.80 c #Conflicts: 225000 | #Constraints: 666027 756.47/758.80 c #Conflicts: 226000 | #Constraints: 667027 756.47/758.80 c INPROCESSING 756.47/758.80 c GARBAGE COLLECT 756.47/758.80 c rational objective 5071.18 835.64/838.23 c #Conflicts: 227000 | #Constraints: 639516 835.64/838.23 c #Conflicts: 228000 | #Constraints: 640516 835.64/838.23 c #Conflicts: 229000 | #Constraints: 641516 835.64/838.23 c #Conflicts: 230000 | #Constraints: 642516 835.64/838.23 c #Conflicts: 231000 | #Constraints: 643516 835.64/838.23 c #Conflicts: 232000 | #Constraints: 644516 835.64/838.23 c #Conflicts: 233000 | #Constraints: 645516 835.64/838.23 c #Conflicts: 234000 | #Constraints: 646516 835.64/838.23 c #Conflicts: 235000 | #Constraints: 647516 835.64/838.23 c #Conflicts: 236000 | #Constraints: 648516 835.64/838.23 c #Conflicts: 237000 | #Constraints: 649516 835.64/838.23 c #Conflicts: 238000 | #Constraints: 650516 835.64/838.23 c #Conflicts: 239000 | #Constraints: 651516 835.64/838.23 c #Conflicts: 240000 | #Constraints: 652516 835.64/838.23 c #Conflicts: 241000 | #Constraints: 653516 835.64/838.23 c #Conflicts: 242000 | #Constraints: 654516 835.64/838.23 c #Conflicts: 243000 | #Constraints: 655516 835.64/838.23 c #Conflicts: 244000 | #Constraints: 656516 835.64/838.23 c #Conflicts: 245000 | #Constraints: 657516 835.64/838.23 c #Conflicts: 246000 | #Constraints: 658516 835.64/838.23 c #Conflicts: 247000 | #Constraints: 659516 835.64/838.23 c #Conflicts: 248000 | #Constraints: 660516 835.64/838.23 c #Conflicts: 249000 | #Constraints: 661516 835.64/838.23 c #Conflicts: 250000 | #Constraints: 662516 835.64/838.23 c #Conflicts: 251000 | #Constraints: 663516 835.64/838.23 c #Conflicts: 252000 | #Constraints: 664516 835.64/838.23 c #Conflicts: 253000 | #Constraints: 665516 835.64/838.23 c #Conflicts: 254000 | #Constraints: 666516 835.64/838.23 c #Conflicts: 255000 | #Constraints: 667516 835.64/838.23 c #Conflicts: 256000 | #Constraints: 668516 835.64/838.23 c #Conflicts: 257000 | #Constraints: 669516 835.64/838.23 c INPROCESSING 835.64/838.23 c GARBAGE COLLECT 835.64/838.23 c rational objective 5167.43 904.14/906.97 c #Conflicts: 258000 | #Constraints: 635921 904.14/906.97 c #Conflicts: 259000 | #Constraints: 636921 904.14/906.97 c #Conflicts: 260000 | #Constraints: 637921 904.14/906.97 c #Conflicts: 261000 | #Constraints: 638921 904.14/906.97 c #Conflicts: 262000 | #Constraints: 639921 904.14/906.97 c #Conflicts: 263000 | #Constraints: 640921 904.14/906.97 c #Conflicts: 264000 | #Constraints: 641921 904.14/906.97 c #Conflicts: 265000 | #Constraints: 642921 904.14/906.97 c #Conflicts: 266000 | #Constraints: 643921 904.14/906.97 c #Conflicts: 267000 | #Constraints: 644921 904.14/906.97 c #Conflicts: 268000 | #Constraints: 645921 904.14/906.97 c #Conflicts: 269000 | #Constraints: 646921 904.14/906.97 c #Conflicts: 270000 | #Constraints: 647921 904.14/906.97 c #Conflicts: 271000 | #Constraints: 648921 904.14/906.97 c #Conflicts: 272000 | #Constraints: 649921 904.14/906.97 c #Conflicts: 273000 | #Constraints: 650921 904.14/906.97 c #Conflicts: 274000 | #Constraints: 651921 904.14/906.97 c #Conflicts: 275000 | #Constraints: 652921 904.14/906.97 c #Conflicts: 276000 | #Constraints: 653921 904.14/906.97 c #Conflicts: 277000 | #Constraints: 654921 904.14/906.97 c #Conflicts: 278000 | #Constraints: 655921 904.14/906.97 c #Conflicts: 279000 | #Constraints: 656921 904.14/906.97 c #Conflicts: 280000 | #Constraints: 657921 904.14/906.97 c #Conflicts: 281000 | #Constraints: 658921 904.14/906.97 c #Conflicts: 282000 | #Constraints: 659921 904.14/906.97 c #Conflicts: 283000 | #Constraints: 660921 904.14/906.97 c #Conflicts: 284000 | #Constraints: 661921 904.14/906.97 c #Conflicts: 285000 | #Constraints: 662921 904.14/906.97 c #Conflicts: 286000 | #Constraints: 663921 904.14/906.97 c #Conflicts: 287000 | #Constraints: 664921 904.14/906.97 c #Conflicts: 288000 | #Constraints: 665921 904.14/906.97 c #Conflicts: 289000 | #Constraints: 666921 904.14/906.97 c #Conflicts: 290000 | #Constraints: 667921 904.14/906.97 c INPROCESSING 904.14/906.97 c GARBAGE COLLECT 904.14/906.97 c rational objective 5210.62 1043.96/1047.28 c #Conflicts: 291000 | #Constraints: 636867 1043.96/1047.28 c #Conflicts: 292000 | #Constraints: 637867 1043.96/1047.28 c #Conflicts: 293000 | #Constraints: 638867 1043.96/1047.28 c #Conflicts: 294000 | #Constraints: 639867 1043.96/1047.28 c #Conflicts: 295000 | #Constraints: 640867 1043.96/1047.28 c #Conflicts: 296000 | #Constraints: 641867 1043.96/1047.28 c #Conflicts: 297000 | #Constraints: 642867 1043.96/1047.28 c #Conflicts: 298000 | #Constraints: 643867 1043.96/1047.28 c #Conflicts: 299000 | #Constraints: 644867 1043.96/1047.28 c #Conflicts: 300000 | #Constraints: 645867 1043.96/1047.28 c #Conflicts: 301000 | #Constraints: 646867 1043.96/1047.28 c #Conflicts: 302000 | #Constraints: 647867 1043.96/1047.28 c #Conflicts: 303000 | #Constraints: 648867 1043.96/1047.28 c #Conflicts: 304000 | #Constraints: 649867 1043.96/1047.28 c #Conflicts: 305000 | #Constraints: 650867 1043.96/1047.28 c #Conflicts: 306000 | #Constraints: 651867 1043.96/1047.28 c #Conflicts: 307000 | #Constraints: 652867 1043.96/1047.28 c #Conflicts: 308000 | #Constraints: 653867 1043.96/1047.28 c #Conflicts: 309000 | #Constraints: 654867 1043.96/1047.28 c #Conflicts: 310000 | #Constraints: 655867 1043.96/1047.28 c #Conflicts: 311000 | #Constraints: 656867 1043.96/1047.28 c #Conflicts: 312000 | #Constraints: 657867 1043.96/1047.28 c #Conflicts: 313000 | #Constraints: 658867 1043.96/1047.28 c #Conflicts: 314000 | #Constraints: 659867 1043.96/1047.28 c #Conflicts: 315000 | #Constraints: 660867 1043.96/1047.28 c #Conflicts: 316000 | #Constraints: 661867 1043.96/1047.28 c #Conflicts: 317000 | #Constraints: 662867 1043.96/1047.28 c #Conflicts: 318000 | #Constraints: 663867 1043.96/1047.28 c #Conflicts: 319000 | #Constraints: 664867 1043.96/1047.28 c #Conflicts: 320000 | #Constraints: 665867 1043.96/1047.28 c #Conflicts: 321000 | #Constraints: 666867 1043.96/1047.28 c #Conflicts: 322000 | #Constraints: 667867 1043.96/1047.28 c #Conflicts: 323000 | #Constraints: 668867 1043.96/1047.28 c #Conflicts: 324000 | #Constraints: 669867 1043.96/1047.28 c #Conflicts: 325000 | #Constraints: 670867 1043.96/1047.28 c INPROCESSING 1043.96/1047.28 c GARBAGE COLLECT 1043.96/1047.28 c rational objective 5237.97 1130.58/1134.19 c #Conflicts: 326000 | #Constraints: 638431 1130.58/1134.19 c #Conflicts: 327000 | #Constraints: 639431 1130.58/1134.19 c #Conflicts: 328000 | #Constraints: 640431 1130.58/1134.19 c #Conflicts: 329000 | #Constraints: 641431 1130.58/1134.19 c #Conflicts: 330000 | #Constraints: 642431 1130.58/1134.19 c #Conflicts: 331000 | #Constraints: 643431 1130.58/1134.19 c #Conflicts: 332000 | #Constraints: 644431 1130.58/1134.19 c #Conflicts: 333000 | #Constraints: 645431 1130.58/1134.19 c #Conflicts: 334000 | #Constraints: 646431 1130.58/1134.19 c #Conflicts: 335000 | #Constraints: 647431 1130.58/1134.19 c #Conflicts: 336000 | #Constraints: 648431 1130.58/1134.19 c #Conflicts: 337000 | #Constraints: 649431 1130.58/1134.19 c #Conflicts: 338000 | #Constraints: 650431 1130.58/1134.19 c #Conflicts: 339000 | #Constraints: 651431 1130.58/1134.19 c #Conflicts: 340000 | #Constraints: 652431 1130.58/1134.19 c #Conflicts: 341000 | #Constraints: 653431 1130.58/1134.19 c #Conflicts: 342000 | #Constraints: 654431 1130.58/1134.19 c #Conflicts: 343000 | #Constraints: 655431 1130.58/1134.19 c #Conflicts: 344000 | #Constraints: 656431 1130.58/1134.19 c #Conflicts: 345000 | #Constraints: 657431 1130.58/1134.19 c #Conflicts: 346000 | #Constraints: 658431 1130.58/1134.19 c #Conflicts: 347000 | #Constraints: 659431 1130.58/1134.19 c #Conflicts: 348000 | #Constraints: 660431 1130.58/1134.19 c #Conflicts: 349000 | #Constraints: 661431 1130.58/1134.19 c #Conflicts: 350000 | #Constraints: 662431 1130.58/1134.19 c #Conflicts: 351000 | #Constraints: 663431 1130.58/1134.19 c #Conflicts: 352000 | #Constraints: 664431 1130.58/1134.19 c #Conflicts: 353000 | #Constraints: 665431 1130.58/1134.19 c #Conflicts: 354000 | #Constraints: 666431 1130.58/1134.19 c #Conflicts: 355000 | #Constraints: 667431 1130.58/1134.19 c #Conflicts: 356000 | #Constraints: 668431 1130.58/1134.19 c #Conflicts: 357000 | #Constraints: 669431 1130.58/1134.19 c #Conflicts: 358000 | #Constraints: 670431 1130.58/1134.19 c #Conflicts: 359000 | #Constraints: 671431 1130.58/1134.19 c #Conflicts: 360000 | #Constraints: 672431 1130.58/1134.19 c #Conflicts: 361000 | #Constraints: 673431 1130.58/1134.19 c #Conflicts: 362000 | #Constraints: 674431 1130.58/1134.19 c INPROCESSING 1130.58/1134.19 c GARBAGE COLLECT 1130.58/1134.19 c rational objective 5248.78 1242.03/1245.98 c #Conflicts: 363000 | #Constraints: 640539 1242.03/1245.98 c #Conflicts: 364000 | #Constraints: 641539 1242.03/1245.98 c #Conflicts: 365000 | #Constraints: 642539 1242.03/1245.98 c #Conflicts: 366000 | #Constraints: 643539 1242.03/1245.98 c #Conflicts: 367000 | #Constraints: 644539 1242.03/1245.98 c #Conflicts: 368000 | #Constraints: 645539 1242.03/1245.98 c #Conflicts: 369000 | #Constraints: 646539 1242.03/1245.98 c #Conflicts: 370000 | #Constraints: 647539 1242.03/1245.98 c #Conflicts: 371000 | #Constraints: 648539 1242.03/1245.98 c #Conflicts: 372000 | #Constraints: 649539 1242.03/1245.98 c #Conflicts: 373000 | #Constraints: 650539 1242.03/1245.98 c #Conflicts: 374000 | #Constraints: 651539 1242.03/1245.98 c #Conflicts: 375000 | #Constraints: 652539 1242.03/1245.98 c #Conflicts: 376000 | #Constraints: 653539 1242.03/1245.98 c #Conflicts: 377000 | #Constraints: 654539 1242.03/1245.98 c #Conflicts: 378000 | #Constraints: 655539 1242.03/1245.98 c #Conflicts: 379000 | #Constraints: 656539 1242.03/1245.98 c #Conflicts: 380000 | #Constraints: 657539 1242.03/1245.98 c #Conflicts: 381000 | #Constraints: 658539 1242.03/1245.98 c #Conflicts: 382000 | #Constraints: 659539 1242.03/1245.98 c #Conflicts: 383000 | #Constraints: 660539 1242.03/1245.98 c #Conflicts: 384000 | #Constraints: 661539 1242.03/1245.98 c #Conflicts: 385000 | #Constraints: 662539 1242.03/1245.98 c #Conflicts: 386000 | #Constraints: 663539 1242.03/1245.98 c #Conflicts: 387000 | #Constraints: 664539 1242.03/1245.98 c #Conflicts: 388000 | #Constraints: 665539 1242.03/1245.98 c #Conflicts: 389000 | #Constraints: 666539 1242.03/1245.98 c #Conflicts: 390000 | #Constraints: 667539 1242.03/1245.98 c #Conflicts: 391000 | #Constraints: 668539 1242.03/1245.98 c #Conflicts: 392000 | #Constraints: 669539 1242.03/1245.98 c #Conflicts: 393000 | #Constraints: 670539 1242.03/1245.98 c #Conflicts: 394000 | #Constraints: 671539 1242.03/1245.98 c #Conflicts: 395000 | #Constraints: 672539 1242.03/1245.98 c #Conflicts: 396000 | #Constraints: 673539 1242.03/1245.98 c #Conflicts: 397000 | #Constraints: 674539 1242.03/1245.98 c #Conflicts: 398000 | #Constraints: 675539 1242.03/1245.98 c #Conflicts: 399000 | #Constraints: 676539 1242.03/1245.98 c #Conflicts: 400000 | #Constraints: 677539 1242.03/1245.98 c #Conflicts: 401000 | #Constraints: 678539 1242.03/1245.98 c #Conflicts: 402000 | #Constraints: 679539 1242.03/1245.98 c INPROCESSING 1242.03/1245.98 c GARBAGE COLLECT 1242.03/1245.98 c rational objective 5259.64 1413.20/1417.67 c #Conflicts: 403000 | #Constraints: 643449 1413.20/1417.67 c #Conflicts: 404000 | #Constraints: 644449 1413.20/1417.67 c #Conflicts: 405000 | #Constraints: 645449 1413.20/1417.67 c #Conflicts: 406000 | #Constraints: 646449 1413.20/1417.67 c #Conflicts: 407000 | #Constraints: 647449 1413.20/1417.67 c #Conflicts: 408000 | #Constraints: 648449 1413.20/1417.67 c #Conflicts: 409000 | #Constraints: 649449 1413.20/1417.67 c #Conflicts: 410000 | #Constraints: 650449 1413.20/1417.67 c #Conflicts: 411000 | #Constraints: 651449 1413.20/1417.67 c #Conflicts: 412000 | #Constraints: 652449 1413.20/1417.67 c #Conflicts: 413000 | #Constraints: 653449 1413.20/1417.67 c #Conflicts: 414000 | #Constraints: 654449 1413.20/1417.67 c #Conflicts: 415000 | #Constraints: 655449 1413.20/1417.67 c #Conflicts: 416000 | #Constraints: 656449 1413.20/1417.67 c #Conflicts: 417000 | #Constraints: 657449 1413.20/1417.67 c #Conflicts: 418000 | #Constraints: 658449 1413.20/1417.67 c #Conflicts: 419000 | #Constraints: 659449 1413.20/1417.67 c #Conflicts: 420000 | #Constraints: 660449 1413.20/1417.67 c #Conflicts: 421000 | #Constraints: 661449 1413.20/1417.67 c #Conflicts: 422000 | #Constraints: 662449 1413.20/1417.67 c #Conflicts: 423000 | #Constraints: 663449 1413.20/1417.67 c #Conflicts: 424000 | #Constraints: 664449 1413.20/1417.67 c #Conflicts: 425000 | #Constraints: 665449 1413.20/1417.67 c #Conflicts: 426000 | #Constraints: 666449 1413.20/1417.67 c #Conflicts: 427000 | #Constraints: 667449 1413.20/1417.67 c #Conflicts: 428000 | #Constraints: 668449 1413.20/1417.67 c #Conflicts: 429000 | #Constraints: 669449 1413.20/1417.67 c #Conflicts: 430000 | #Constraints: 670449 1413.20/1417.67 c #Conflicts: 431000 | #Constraints: 671449 1413.20/1417.67 c #Conflicts: 432000 | #Constraints: 672449 1413.20/1417.67 c #Conflicts: 433000 | #Constraints: 673449 1413.20/1417.67 c #Conflicts: 434000 | #Constraints: 674449 1413.20/1417.67 c #Conflicts: 435000 | #Constraints: 675449 1413.20/1417.67 c #Conflicts: 436000 | #Constraints: 676449 1413.20/1417.67 c #Conflicts: 437000 | #Constraints: 677449 1413.20/1417.67 c #Conflicts: 438000 | #Constraints: 678449 1413.20/1417.67 c #Conflicts: 439000 | #Constraints: 679449 1413.20/1417.67 c #Conflicts: 440000 | #Constraints: 680449 1413.20/1417.67 c #Conflicts: 441000 | #Constraints: 681449 1413.20/1417.67 c #Conflicts: 442000 | #Constraints: 682449 1413.20/1417.67 c #Conflicts: 443000 | #Constraints: 683449 1413.20/1417.67 c INPROCESSING 1413.20/1417.67 c GARBAGE COLLECT 1413.20/1417.67 c rational objective 5270.79 1495.55/1500.22 c #Conflicts: 444000 | #Constraints: 645549 1495.55/1500.22 c #Conflicts: 445000 | #Constraints: 646549 1495.55/1500.22 c #Conflicts: 446000 | #Constraints: 647549 1495.55/1500.22 c #Conflicts: 447000 | #Constraints: 648549 1495.55/1500.22 c #Conflicts: 448000 | #Constraints: 649549 1495.55/1500.22 c #Conflicts: 449000 | #Constraints: 650549 1495.55/1500.22 c #Conflicts: 450000 | #Constraints: 651549 1495.55/1500.22 c #Conflicts: 451000 | #Constraints: 652549 1495.55/1500.22 c #Conflicts: 452000 | #Constraints: 653549 1495.55/1500.22 c #Conflicts: 453000 | #Constraints: 654549 1495.55/1500.22 c #Conflicts: 454000 | #Constraints: 655549 1495.55/1500.22 c #Conflicts: 455000 | #Constraints: 656549 1495.55/1500.22 c #Conflicts: 456000 | #Constraints: 657549 1495.55/1500.22 c #Conflicts: 457000 | #Constraints: 658549 1495.55/1500.22 c #Conflicts: 458000 | #Constraints: 659549 1495.55/1500.22 c #Conflicts: 459000 | #Constraints: 660549 1495.55/1500.22 c #Conflicts: 460000 | #Constraints: 661549 1495.55/1500.22 c #Conflicts: 461000 | #Constraints: 662549 1495.55/1500.22 c #Conflicts: 462000 | #Constraints: 663549 1495.55/1500.22 c #Conflicts: 463000 | #Constraints: 664549 1495.55/1500.22 c #Conflicts: 464000 | #Constraints: 665549 1495.55/1500.22 c #Conflicts: 465000 | #Constraints: 666549 1495.55/1500.22 c #Conflicts: 466000 | #Constraints: 667549 1495.55/1500.22 c #Conflicts: 467000 | #Constraints: 668549 1495.55/1500.22 c #Conflicts: 468000 | #Constraints: 669549 1495.55/1500.22 c #Conflicts: 469000 | #Constraints: 670549 1495.55/1500.22 c #Conflicts: 470000 | #Constraints: 671549 1495.55/1500.22 c #Conflicts: 471000 | #Constraints: 672549 1495.55/1500.22 c #Conflicts: 472000 | #Constraints: 673549 1495.55/1500.22 c #Conflicts: 473000 | #Constraints: 674549 1495.55/1500.22 c #Conflicts: 474000 | #Constraints: 675549 1495.55/1500.22 c #Conflicts: 475000 | #Constraints: 676549 1495.55/1500.22 c #Conflicts: 476000 | #Constraints: 677549 1495.55/1500.22 c #Conflicts: 477000 | #Constraints: 678549 1495.55/1500.22 c #Conflicts: 478000 | #Constraints: 679549 1495.55/1500.22 c #Conflicts: 479000 | #Constraints: 680549 1495.55/1500.22 c #Conflicts: 480000 | #Constraints: 681549 1495.55/1500.22 c #Conflicts: 481000 | #Constraints: 682549 1495.55/1500.22 c #Conflicts: 482000 | #Constraints: 683549 1495.55/1500.22 c #Conflicts: 483000 | #Constraints: 684549 1495.55/1500.22 c #Conflicts: 484000 | #Constraints: 685549 1495.55/1500.22 c #Conflicts: 485000 | #Constraints: 686549 1495.55/1500.22 c #Conflicts: 486000 | #Constraints: 687549 1495.55/1500.22 c INPROCESSING 1495.55/1500.22 c GARBAGE COLLECT 1495.55/1500.22 c rational objective 5279.39 1655.45/1660.68 c #Conflicts: 487000 | #Constraints: 647527 1655.45/1660.68 c #Conflicts: 488000 | #Constraints: 648527 1655.45/1660.68 c #Conflicts: 489000 | #Constraints: 649527 1655.45/1660.68 c #Conflicts: 490000 | #Constraints: 650527 1655.45/1660.68 c #Conflicts: 491000 | #Constraints: 651527 1655.45/1660.68 c #Conflicts: 492000 | #Constraints: 652527 1655.45/1660.68 c #Conflicts: 493000 | #Constraints: 653527 1655.45/1660.68 c #Conflicts: 494000 | #Constraints: 654527 1655.45/1660.68 c #Conflicts: 495000 | #Constraints: 655527 1655.45/1660.68 c #Conflicts: 496000 | #Constraints: 656527 1655.45/1660.68 c #Conflicts: 497000 | #Constraints: 657527 1655.45/1660.68 c #Conflicts: 498000 | #Constraints: 658527 1655.45/1660.68 c #Conflicts: 499000 | #Constraints: 659527 1655.45/1660.68 c #Conflicts: 500000 | #Constraints: 660527 1655.45/1660.68 c #Conflicts: 501000 | #Constraints: 661527 1655.45/1660.68 c #Conflicts: 502000 | #Constraints: 662527 1655.45/1660.68 c #Conflicts: 503000 | #Constraints: 663527 1655.45/1660.68 c #Conflicts: 504000 | #Constraints: 664527 1655.45/1660.68 c #Conflicts: 505000 | #Constraints: 665527 1655.45/1660.68 c #Conflicts: 506000 | #Constraints: 666527 1655.45/1660.68 c #Conflicts: 507000 | #Constraints: 667527 1655.45/1660.68 c #Conflicts: 508000 | #Constraints: 668527 1655.45/1660.68 c #Conflicts: 509000 | #Constraints: 669527 1655.45/1660.68 c #Conflicts: 510000 | #Constraints: 670527 1655.45/1660.68 c #Conflicts: 511000 | #Constraints: 671527 1655.45/1660.68 c #Conflicts: 512000 | #Constraints: 672527 1655.45/1660.68 c #Conflicts: 513000 | #Constraints: 673527 1655.45/1660.68 c #Conflicts: 514000 | #Constraints: 674527 1655.45/1660.68 c #Conflicts: 515000 | #Constraints: 675527 1655.45/1660.68 c #Conflicts: 516000 | #Constraints: 676527 1655.45/1660.68 c #Conflicts: 517000 | #Constraints: 677527 1655.45/1660.68 c #Conflicts: 518000 | #Constraints: 678527 1655.45/1660.68 c #Conflicts: 519000 | #Constraints: 679527 1655.45/1660.68 c #Conflicts: 520000 | #Constraints: 680527 1655.45/1660.68 c #Conflicts: 521000 | #Constraints: 681527 1655.45/1660.68 c #Conflicts: 522000 | #Constraints: 682527 1655.45/1660.68 c #Conflicts: 523000 | #Constraints: 683527 1655.45/1660.68 c #Conflicts: 524000 | #Constraints: 684527 1655.45/1660.68 c #Conflicts: 525000 | #Constraints: 685527 1655.45/1660.68 c #Conflicts: 526000 | #Constraints: 686527 1655.45/1660.68 c #Conflicts: 527000 | #Constraints: 687527 1655.45/1660.68 c #Conflicts: 528000 | #Constraints: 688527 1655.45/1660.68 c #Conflicts: 529000 | #Constraints: 689527 1655.45/1660.68 c #Conflicts: 530000 | #Constraints: 690527 1655.45/1660.68 c #Conflicts: 531000 | #Constraints: 691527 1655.45/1660.68 c INPROCESSING 1655.45/1660.68 c GARBAGE COLLECT 1655.45/1660.68 c rational objective 5284.81 1732.80/1738.26 c #Conflicts: 532000 | #Constraints: 649271 1732.80/1738.26 c #Conflicts: 533000 | #Constraints: 650271 1732.80/1738.26 c #Conflicts: 534000 | #Constraints: 651271 1732.80/1738.26 c #Conflicts: 535000 | #Constraints: 652271 1732.80/1738.26 c #Conflicts: 536000 | #Constraints: 653271 1732.80/1738.26 c #Conflicts: 537000 | #Constraints: 654271 1732.80/1738.26 c #Conflicts: 538000 | #Constraints: 655271 1732.80/1738.26 c #Conflicts: 539000 | #Constraints: 656271 1732.80/1738.26 c #Conflicts: 540000 | #Constraints: 657271 1732.80/1738.26 c #Conflicts: 541000 | #Constraints: 658271 1732.80/1738.26 c #Conflicts: 542000 | #Constraints: 659271 1732.80/1738.26 c #Conflicts: 543000 | #Constraints: 660271 1732.80/1738.26 c #Conflicts: 544000 | #Constraints: 661271 1732.80/1738.26 c #Conflicts: 545000 | #Constraints: 662271 1732.80/1738.26 c #Conflicts: 546000 | #Constraints: 663271 1732.80/1738.26 c #Conflicts: 547000 | #Constraints: 664271 1732.80/1738.26 c #Conflicts: 548000 | #Constraints: 665271 1732.80/1738.26 c #Conflicts: 549000 | #Constraints: 666271 1732.80/1738.26 c #Conflicts: 550000 | #Constraints: 667271 1732.80/1738.26 c #Conflicts: 551000 | #Constraints: 668271 1732.80/1738.26 c #Conflicts: 552000 | #Constraints: 669271 1732.80/1738.26 c #Conflicts: 553000 | #Constraints: 670271 1732.80/1738.26 c #Conflicts: 554000 | #Constraints: 671271 1732.80/1738.26 c #Conflicts: 555000 | #Constraints: 672271 1732.80/1738.26 c #Conflicts: 556000 | #Constraints: 673271 1732.80/1738.26 c #Conflicts: 557000 | #Constraints: 674271 1732.80/1738.26 c #Conflicts: 558000 | #Constraints: 675271 1732.80/1738.26 c #Conflicts: 559000 | #Constraints: 676271 1732.80/1738.26 c #Conflicts: 560000 | #Constraints: 677271 1732.80/1738.26 c #Conflicts: 561000 | #Constraints: 678271 1732.80/1738.26 c #Conflicts: 562000 | #Constraints: 679271 1732.80/1738.26 c #Conflicts: 563000 | #Constraints: 680271 1732.80/1738.26 c #Conflicts: 564000 | #Constraints: 681271 1732.80/1738.26 c #Conflicts: 565000 | #Constraints: 682271 1732.80/1738.26 c #Conflicts: 566000 | #Constraints: 683271 1732.80/1738.26 c #Conflicts: 567000 | #Constraints: 684271 1732.80/1738.26 c #Conflicts: 568000 | #Constraints: 685271 1732.80/1738.26 c #Conflicts: 569000 | #Constraints: 686271 1732.80/1738.26 c #Conflicts: 570000 | #Constraints: 687271 1732.80/1738.26 c #Conflicts: 571000 | #Constraints: 688271 1732.80/1738.26 c #Conflicts: 572000 | #Constraints: 689271 1732.80/1738.26 c #Conflicts: 573000 | #Constraints: 690271 1732.80/1738.26 c #Conflicts: 574000 | #Constraints: 691271 1732.80/1738.26 c #Conflicts: 575000 | #Constraints: 692271 1732.80/1738.26 c #Conflicts: 576000 | #Constraints: 693271 1732.80/1738.26 c #Conflicts: 577000 | #Constraints: 694271 1732.80/1738.26 c #Conflicts: 578000 | #Constraints: 695271 1732.80/1738.26 c INPROCESSING 1732.80/1738.26 c GARBAGE COLLECT 1732.80/1738.26 c rational objective 5292.12 1845.05/1850.85 c #Conflicts: 579000 | #Constraints: 651398 1845.05/1850.85 c #Conflicts: 580000 | #Constraints: 652398 1845.05/1850.85 c #Conflicts: 581000 | #Constraints: 653398 1845.05/1850.85 c #Conflicts: 582000 | #Constraints: 654398 1845.05/1850.85 c #Conflicts: 583000 | #Constraints: 655398 1845.05/1850.85 c #Conflicts: 584000 | #Constraints: 656398 1845.05/1850.85 c #Conflicts: 585000 | #Constraints: 657398 1845.05/1850.85 c #Conflicts: 586000 | #Constraints: 658398 1845.05/1850.85 c #Conflicts: 587000 | #Constraints: 659398 1845.05/1850.85 c #Conflicts: 588000 | #Constraints: 660398 1845.05/1850.85 c #Conflicts: 589000 | #Constraints: 661398 1845.05/1850.85 c #Conflicts: 590000 | #Constraints: 662398 1845.05/1850.85 c #Conflicts: 591000 | #Constraints: 663398 1845.05/1850.85 c #Conflicts: 592000 | #Constraints: 664398 1845.05/1850.85 c #Conflicts: 593000 | #Constraints: 665398 1845.05/1850.85 c #Conflicts: 594000 | #Constraints: 666398 1845.05/1850.85 c #Conflicts: 595000 | #Constraints: 667398 1845.05/1850.85 c #Conflicts: 596000 | #Constraints: 668398 1845.05/1850.85 c #Conflicts: 597000 | #Constraints: 669398 1845.05/1850.85 c #Conflicts: 598000 | #Constraints: 670398 1845.05/1850.85 c #Conflicts: 599000 | #Constraints: 671398 1845.05/1850.85 c #Conflicts: 600000 | #Constraints: 672398 1845.05/1850.85 c #Conflicts: 601000 | #Constraints: 673398 1845.05/1850.85 c #Conflicts: 602000 | #Constraints: 674398 1845.05/1850.85 c #Conflicts: 603000 | #Constraints: 675398 1845.05/1850.85 c #Conflicts: 604000 | #Constraints: 676398 1845.05/1850.85 c #Conflicts: 605000 | #Constraints: 677398 1845.05/1850.85 c #Conflicts: 606000 | #Constraints: 678398 1845.05/1850.85 c #Conflicts: 607000 | #Constraints: 679398 1845.05/1850.85 c #Conflicts: 608000 | #Constraints: 680398 1845.05/1850.85 c #Conflicts: 609000 | #Constraints: 681398 1845.05/1850.85 c #Conflicts: 610000 | #Constraints: 682398 1845.05/1850.85 c #Conflicts: 611000 | #Constraints: 683398 1845.05/1850.85 c #Conflicts: 612000 | #Constraints: 684398 1845.05/1850.85 c #Conflicts: 613000 | #Constraints: 685398 1845.05/1850.85 c #Conflicts: 614000 | #Constraints: 686398 1845.05/1850.85 c #Conflicts: 615000 | #Constraints: 687398 1845.05/1850.85 c #Conflicts: 616000 | #Constraints: 688398 1845.05/1850.85 c #Conflicts: 617000 | #Constraints: 689398 1845.05/1850.85 c #Conflicts: 618000 | #Constraints: 690398 1845.05/1850.85 c #Conflicts: 619000 | #Constraints: 691398 1845.05/1850.85 c #Conflicts: 620000 | #Constraints: 692398 1845.05/1850.85 c #Conflicts: 621000 | #Constraints: 693398 1845.05/1850.85 c #Conflicts: 622000 | #Constraints: 694398 1845.05/1850.85 c #Conflicts: 623000 | #Constraints: 695398 1845.05/1850.85 c #Conflicts: 624000 | #Constraints: 696398 1845.05/1850.85 c #Conflicts: 625000 | #Constraints: 697398 1845.05/1850.85 c #Conflicts: 626000 | #Constraints: 698398 1845.05/1850.85 c #Conflicts: 627000 | #Constraints: 699398 1845.05/1850.85 c INPROCESSING 1845.05/1850.85 c GARBAGE COLLECT 1845.05/1850.85 c rational objective 5552.53 1947.54/1953.66 c #Conflicts: 628000 | #Constraints: 637887 1947.54/1953.66 c #Conflicts: 629000 | #Constraints: 638887 1947.54/1953.66 c #Conflicts: 630000 | #Constraints: 639887 1947.54/1953.66 c #Conflicts: 631000 | #Constraints: 640887 1947.54/1953.66 c #Conflicts: 632000 | #Constraints: 641887 1947.54/1953.66 c #Conflicts: 633000 | #Constraints: 642887 1947.54/1953.66 c #Conflicts: 634000 | #Constraints: 643887 1947.54/1953.66 c #Conflicts: 635000 | #Constraints: 644887 1947.54/1953.66 c #Conflicts: 636000 | #Constraints: 645887 1947.54/1953.66 c #Conflicts: 637000 | #Constraints: 646887 1947.54/1953.66 c #Conflicts: 638000 | #Constraints: 647887 1947.54/1953.66 c #Conflicts: 639000 | #Constraints: 648887 1947.54/1953.66 c #Conflicts: 640000 | #Constraints: 649887 1947.54/1953.66 c #Conflicts: 641000 | #Constraints: 650887 1947.54/1953.66 c #Conflicts: 642000 | #Constraints: 651887 1947.54/1953.66 c #Conflicts: 643000 | #Constraints: 652887 1947.54/1953.66 c #Conflicts: 644000 | #Constraints: 653887 1947.54/1953.66 c #Conflicts: 645000 | #Constraints: 654887 1947.54/1953.66 c #Conflicts: 646000 | #Constraints: 655887 1947.54/1953.66 c #Conflicts: 647000 | #Constraints: 656887 1947.54/1953.66 c #Conflicts: 648000 | #Constraints: 657887 1947.54/1953.66 c #Conflicts: 649000 | #Constraints: 658887 1947.54/1953.66 c #Conflicts: 650000 | #Constraints: 659887 1947.54/1953.66 c #Conflicts: 651000 | #Constraints: 660887 1947.54/1953.66 c #Conflicts: 652000 | #Constraints: 661887 1947.54/1953.66 c #Conflicts: 653000 | #Constraints: 662887 1947.54/1953.66 c #Conflicts: 654000 | #Constraints: 663887 1947.54/1953.66 c #Conflicts: 655000 | #Constraints: 664887 1947.54/1953.66 c #Conflicts: 656000 | #Constraints: 665887 1947.54/1953.66 c #Conflicts: 657000 | #Constraints: 666887 1947.54/1953.66 c #Conflicts: 658000 | #Constraints: 667887 1947.54/1953.66 c #Conflicts: 659000 | #Constraints: 668887 1947.54/1953.66 c #Conflicts: 660000 | #Constraints: 669887 1947.54/1953.66 c #Conflicts: 661000 | #Constraints: 670887 1947.54/1953.66 c #Conflicts: 662000 | #Constraints: 671887 1947.54/1953.66 c #Conflicts: 663000 | #Constraints: 672887 1947.54/1953.66 c #Conflicts: 664000 | #Constraints: 673887 1947.54/1953.66 c #Conflicts: 665000 | #Constraints: 674887 1947.54/1953.66 c #Conflicts: 666000 | #Constraints: 675887 1947.54/1953.66 c #Conflicts: 667000 | #Constraints: 676887 1947.54/1953.66 c #Conflicts: 668000 | #Constraints: 677887 1947.54/1953.66 c #Conflicts: 669000 | #Constraints: 678887 1947.54/1953.66 c #Conflicts: 670000 | #Constraints: 679887 1947.54/1953.66 c #Conflicts: 671000 | #Constraints: 680887 1947.54/1953.66 c #Conflicts: 672000 | #Constraints: 681887 1947.54/1953.66 c #Conflicts: 673000 | #Constraints: 682887 1947.54/1953.66 c #Conflicts: 674000 | #Constraints: 683887 1947.54/1953.66 c #Conflicts: 675000 | #Constraints: 684887 1947.54/1953.66 c #Conflicts: 676000 | #Constraints: 685887 1947.54/1953.66 c #Conflicts: 677000 | #Constraints: 686887 1947.54/1953.66 c #Conflicts: 678000 | #Constraints: 687887 1947.54/1953.66 c INPROCESSING 1947.54/1953.66 c GARBAGE COLLECT 1947.54/1953.66 c rational objective 5560.79 2058.70/2065.16 c #Conflicts: 679000 | #Constraints: 640465 2058.70/2065.16 c #Conflicts: 680000 | #Constraints: 641465 2058.70/2065.16 c #Conflicts: 681000 | #Constraints: 642465 2058.70/2065.16 c #Conflicts: 682000 | #Constraints: 643465 2058.70/2065.16 c #Conflicts: 683000 | #Constraints: 644465 2058.70/2065.16 c #Conflicts: 684000 | #Constraints: 645465 2058.70/2065.16 c #Conflicts: 685000 | #Constraints: 646465 2058.70/2065.16 c #Conflicts: 686000 | #Constraints: 647465 2058.70/2065.16 c #Conflicts: 687000 | #Constraints: 648465 2058.70/2065.16 c #Conflicts: 688000 | #Constraints: 649465 2058.70/2065.16 c #Conflicts: 689000 | #Constraints: 650465 2058.70/2065.16 c #Conflicts: 690000 | #Constraints: 651465 2058.70/2065.16 c #Conflicts: 691000 | #Constraints: 652465 2058.70/2065.16 c #Conflicts: 692000 | #Constraints: 653465 2058.70/2065.16 c #Conflicts: 693000 | #Constraints: 654465 2058.70/2065.16 c #Conflicts: 694000 | #Constraints: 655465 2058.70/2065.16 c #Conflicts: 695000 | #Constraints: 656465 2058.70/2065.16 c #Conflicts: 696000 | #Constraints: 657465 2058.70/2065.16 c #Conflicts: 697000 | #Constraints: 658465 2058.70/2065.16 c #Conflicts: 698000 | #Constraints: 659465 2058.70/2065.16 c #Conflicts: 699000 | #Constraints: 660465 2058.70/2065.16 c #Conflicts: 700000 | #Constraints: 661465 2058.70/2065.16 c #Conflicts: 701000 | #Constraints: 662465 2058.70/2065.16 c #Conflicts: 702000 | #Constraints: 663465 2058.70/2065.16 c #Conflicts: 703000 | #Constraints: 664465 2058.70/2065.16 c #Conflicts: 704000 | #Constraints: 665465 2058.70/2065.16 c #Conflicts: 705000 | #Constraints: 666465 2058.70/2065.16 c #Conflicts: 706000 | #Constraints: 667465 2058.70/2065.16 c #Conflicts: 707000 | #Constraints: 668465 2058.70/2065.16 c #Conflicts: 708000 | #Constraints: 669465 2058.70/2065.16 c #Conflicts: 709000 | #Constraints: 670465 2058.70/2065.16 c #Conflicts: 710000 | #Constraints: 671465 2058.70/2065.16 c #Conflicts: 711000 | #Constraints: 672465 2058.70/2065.16 c #Conflicts: 712000 | #Constraints: 673465 2058.70/2065.16 c #Conflicts: 713000 | #Constraints: 674465 2058.70/2065.16 c #Conflicts: 714000 | #Constraints: 675465 2058.70/2065.16 c #Conflicts: 715000 | #Constraints: 676465 2058.70/2065.16 c #Conflicts: 716000 | #Constraints: 677465 2058.70/2065.16 c #Conflicts: 717000 | #Constraints: 678465 2058.70/2065.16 c #Conflicts: 718000 | #Constraints: 679465 2058.70/2065.16 c #Conflicts: 719000 | #Constraints: 680465 2058.70/2065.16 c #Conflicts: 720000 | #Constraints: 681465 2058.70/2065.16 c #Conflicts: 721000 | #Constraints: 682465 2058.70/2065.16 c #Conflicts: 722000 | #Constraints: 683465 2058.70/2065.16 c #Conflicts: 723000 | #Constraints: 684465 2058.70/2065.16 c #Conflicts: 724000 | #Constraints: 685465 2058.70/2065.16 c #Conflicts: 725000 | #Constraints: 686465 2058.70/2065.16 c #Conflicts: 726000 | #Constraints: 687465 2058.70/2065.16 c #Conflicts: 727000 | #Constraints: 688465 2058.70/2065.16 c #Conflicts: 728000 | #Constraints: 689465 2058.70/2065.16 c #Conflicts: 729000 | #Constraints: 690465 2058.70/2065.16 c #Conflicts: 730000 | #Constraints: 691465 2058.70/2065.16 c #Conflicts: 731000 | #Constraints: 692465 2058.70/2065.16 c INPROCESSING 2058.70/2065.16 c GARBAGE COLLECT 2058.70/2065.16 c rational objective 5566.52 2171.64/2178.49 c #Conflicts: 732000 | #Constraints: 642506 2171.64/2178.49 c #Conflicts: 733000 | #Constraints: 643506 2171.64/2178.49 c #Conflicts: 734000 | #Constraints: 644506 2171.64/2178.49 c #Conflicts: 735000 | #Constraints: 645506 2171.64/2178.49 c #Conflicts: 736000 | #Constraints: 646506 2171.64/2178.49 c #Conflicts: 737000 | #Constraints: 647506 2171.64/2178.49 c #Conflicts: 738000 | #Constraints: 648506 2171.64/2178.49 c #Conflicts: 739000 | #Constraints: 649506 2171.64/2178.49 c #Conflicts: 740000 | #Constraints: 650506 2171.64/2178.49 c #Conflicts: 741000 | #Constraints: 651506 2171.64/2178.49 c #Conflicts: 742000 | #Constraints: 652506 2171.64/2178.49 c #Conflicts: 743000 | #Constraints: 653506 2171.64/2178.49 c #Conflicts: 744000 | #Constraints: 654506 2171.64/2178.49 c #Conflicts: 745000 | #Constraints: 655506 2171.64/2178.49 c #Conflicts: 746000 | #Constraints: 656506 2171.64/2178.49 c #Conflicts: 747000 | #Constraints: 657506 2171.64/2178.49 c #Conflicts: 748000 | #Constraints: 658506 2171.64/2178.49 c #Conflicts: 749000 | #Constraints: 659506 2171.64/2178.49 c #Conflicts: 750000 | #Constraints: 660506 2171.64/2178.49 c #Conflicts: 751000 | #Constraints: 661506 2171.64/2178.49 c #Conflicts: 752000 | #Constraints: 662506 2171.64/2178.49 c #Conflicts: 753000 | #Constraints: 663506 2171.64/2178.49 c #Conflicts: 754000 | #Constraints: 664506 2171.64/2178.49 c #Conflicts: 755000 | #Constraints: 665506 2171.64/2178.49 c #Conflicts: 756000 | #Constraints: 666506 2171.64/2178.49 c #Conflicts: 757000 | #Constraints: 667506 2171.64/2178.49 c #Conflicts: 758000 | #Constraints: 668506 2171.64/2178.49 c #Conflicts: 759000 | #Constraints: 669506 2171.64/2178.49 c #Conflicts: 760000 | #Constraints: 670506 2171.64/2178.49 c #Conflicts: 761000 | #Constraints: 671506 2171.64/2178.49 c #Conflicts: 762000 | #Constraints: 672506 2171.64/2178.49 c #Conflicts: 763000 | #Constraints: 673506 2171.64/2178.49 c #Conflicts: 764000 | #Constraints: 674506 2171.64/2178.49 c #Conflicts: 765000 | #Constraints: 675506 2171.64/2178.49 c #Conflicts: 766000 | #Constraints: 676506 2171.64/2178.49 c #Conflicts: 767000 | #Constraints: 677506 2171.64/2178.49 c #Conflicts: 768000 | #Constraints: 678506 2171.64/2178.49 c #Conflicts: 769000 | #Constraints: 679506 2171.64/2178.49 c #Conflicts: 770000 | #Constraints: 680506 2171.64/2178.49 c #Conflicts: 771000 | #Constraints: 681506 2171.64/2178.49 c #Conflicts: 772000 | #Constraints: 682506 2171.64/2178.49 c #Conflicts: 773000 | #Constraints: 683506 2171.64/2178.49 c #Conflicts: 774000 | #Constraints: 684506 2171.64/2178.49 c #Conflicts: 775000 | #Constraints: 685506 2171.64/2178.49 c #Conflicts: 776000 | #Constraints: 686506 2171.64/2178.49 c #Conflicts: 777000 | #Constraints: 687506 2171.64/2178.49 c #Conflicts: 778000 | #Constraints: 688506 2171.64/2178.49 c #Conflicts: 779000 | #Constraints: 689506 2171.64/2178.49 c #Conflicts: 780000 | #Constraints: 690506 2171.64/2178.49 c #Conflicts: 781000 | #Constraints: 691506 2171.64/2178.49 c #Conflicts: 782000 | #Constraints: 692506 2171.64/2178.49 c #Conflicts: 783000 | #Constraints: 693506 2171.64/2178.49 c #Conflicts: 784000 | #Constraints: 694506 2171.64/2178.49 c #Conflicts: 785000 | #Constraints: 695506 2171.64/2178.49 c #Conflicts: 786000 | #Constraints: 696506 2171.64/2178.49 c INPROCESSING 2171.64/2178.49 c GARBAGE COLLECT 2171.64/2178.49 c rational objective 5569.8 2356.52/2363.95 c #Conflicts: 787000 | #Constraints: 644462 2356.52/2363.95 c #Conflicts: 788000 | #Constraints: 645462 2356.52/2363.95 c #Conflicts: 789000 | #Constraints: 646462 2356.52/2363.95 c #Conflicts: 790000 | #Constraints: 647462 2356.52/2363.95 c #Conflicts: 791000 | #Constraints: 648462 2356.52/2363.95 c #Conflicts: 792000 | #Constraints: 649462 2356.52/2363.95 c #Conflicts: 793000 | #Constraints: 650462 2356.52/2363.95 c #Conflicts: 794000 | #Constraints: 651462 2356.52/2363.95 c #Conflicts: 795000 | #Constraints: 652462 2356.52/2363.95 c #Conflicts: 796000 | #Constraints: 653462 2356.52/2363.95 c #Conflicts: 797000 | #Constraints: 654462 2356.52/2363.95 c #Conflicts: 798000 | #Constraints: 655462 2356.52/2363.95 c #Conflicts: 799000 | #Constraints: 656462 2356.52/2363.95 c #Conflicts: 800000 | #Constraints: 657462 2356.52/2363.95 c #Conflicts: 801000 | #Constraints: 658462 2356.52/2363.95 c #Conflicts: 802000 | #Constraints: 659462 2356.52/2363.95 c #Conflicts: 803000 | #Constraints: 660462 2356.52/2363.95 c #Conflicts: 804000 | #Constraints: 661462 2356.52/2363.95 c #Conflicts: 805000 | #Constraints: 662462 2356.52/2363.95 c #Conflicts: 806000 | #Constraints: 663462 2356.52/2363.95 c #Conflicts: 807000 | #Constraints: 664462 2356.52/2363.95 c #Conflicts: 808000 | #Constraints: 665462 2356.52/2363.95 c #Conflicts: 809000 | #Constraints: 666462 2356.52/2363.95 c #Conflicts: 810000 | #Constraints: 667462 2356.52/2363.95 c #Conflicts: 811000 | #Constraints: 668462 2356.52/2363.95 c #Conflicts: 812000 | #Constraints: 669462 2356.52/2363.95 c #Conflicts: 813000 | #Constraints: 670462 2356.52/2363.95 c #Conflicts: 814000 | #Constraints: 671462 2356.52/2363.95 c #Conflicts: 815000 | #Constraints: 672462 2356.52/2363.95 c #Conflicts: 816000 | #Constraints: 673462 2356.52/2363.95 c #Conflicts: 817000 | #Constraints: 674462 2356.52/2363.95 c #Conflicts: 818000 | #Constraints: 675462 2356.52/2363.95 c #Conflicts: 819000 | #Constraints: 676462 2356.52/2363.95 c #Conflicts: 820000 | #Constraints: 677462 2356.52/2363.95 c #Conflicts: 821000 | #Constraints: 678462 2356.52/2363.95 c #Conflicts: 822000 | #Constraints: 679462 2356.52/2363.95 c #Conflicts: 823000 | #Constraints: 680462 2356.52/2363.95 c #Conflicts: 824000 | #Constraints: 681462 2356.52/2363.95 c #Conflicts: 825000 | #Constraints: 682462 2356.52/2363.95 c #Conflicts: 826000 | #Constraints: 683462 2356.52/2363.95 c #Conflicts: 827000 | #Constraints: 684462 2356.52/2363.95 c #Conflicts: 828000 | #Constraints: 685462 2356.52/2363.95 c #Conflicts: 829000 | #Constraints: 686462 2356.52/2363.95 c #Conflicts: 830000 | #Constraints: 687462 2356.52/2363.95 c #Conflicts: 831000 | #Constraints: 688462 2356.52/2363.95 c #Conflicts: 832000 | #Constraints: 689462 2356.52/2363.95 c #Conflicts: 833000 | #Constraints: 690462 2356.52/2363.95 c #Conflicts: 834000 | #Constraints: 691462 2356.52/2363.95 c #Conflicts: 835000 | #Constraints: 692462 2356.52/2363.95 c #Conflicts: 836000 | #Constraints: 693462 2356.52/2363.95 c #Conflicts: 837000 | #Constraints: 694462 2356.52/2363.95 c #Conflicts: 838000 | #Constraints: 695462 2356.52/2363.95 c #Conflicts: 839000 | #Constraints: 696462 2356.52/2363.95 c #Conflicts: 840000 | #Constraints: 697462 2356.52/2363.95 c #Conflicts: 841000 | #Constraints: 698462 2356.52/2363.95 c #Conflicts: 842000 | #Constraints: 699462 2356.52/2363.95 c #Conflicts: 843000 | #Constraints: 700462 2356.52/2363.95 c INPROCESSING 2356.52/2363.95 c GARBAGE COLLECT 2356.52/2363.95 c rational objective 5574.23 2511.23/2519.12 c #Conflicts: 844000 | #Constraints: 647849 2511.23/2519.12 c #Conflicts: 845000 | #Constraints: 648849 2511.23/2519.12 c #Conflicts: 846000 | #Constraints: 649849 2511.23/2519.12 c #Conflicts: 847000 | #Constraints: 650849 2511.23/2519.12 c #Conflicts: 848000 | #Constraints: 651849 2511.23/2519.12 c #Conflicts: 849000 | #Constraints: 652849 2511.23/2519.12 c #Conflicts: 850000 | #Constraints: 653849 2511.23/2519.12 c #Conflicts: 851000 | #Constraints: 654849 2511.23/2519.12 c #Conflicts: 852000 | #Constraints: 655849 2511.23/2519.12 c #Conflicts: 853000 | #Constraints: 656849 2511.23/2519.12 c #Conflicts: 854000 | #Constraints: 657849 2511.23/2519.12 c #Conflicts: 855000 | #Constraints: 658849 2511.23/2519.12 c #Conflicts: 856000 | #Constraints: 659849 2511.23/2519.12 c #Conflicts: 857000 | #Constraints: 660849 2511.23/2519.12 c #Conflicts: 858000 | #Constraints: 661849 2511.23/2519.12 c #Conflicts: 859000 | #Constraints: 662849 2511.23/2519.12 c #Conflicts: 860000 | #Constraints: 663849 2511.23/2519.12 c #Conflicts: 861000 | #Constraints: 664849 2511.23/2519.12 c #Conflicts: 862000 | #Constraints: 665849 2511.23/2519.12 c #Conflicts: 863000 | #Constraints: 666849 2511.23/2519.12 c #Conflicts: 864000 | #Constraints: 667849 2511.23/2519.12 c #Conflicts: 865000 | #Constraints: 668849 2511.23/2519.12 c #Conflicts: 866000 | #Constraints: 669849 2511.23/2519.12 c #Conflicts: 867000 | #Constraints: 670849 2511.23/2519.12 c #Conflicts: 868000 | #Constraints: 671849 2511.23/2519.12 c #Conflicts: 869000 | #Constraints: 672849 2511.23/2519.12 c #Conflicts: 870000 | #Constraints: 673849 2511.23/2519.12 c #Conflicts: 871000 | #Constraints: 674849 2511.23/2519.12 c #Conflicts: 872000 | #Constraints: 675849 2511.23/2519.12 c #Conflicts: 873000 | #Constraints: 676849 2511.23/2519.12 c #Conflicts: 874000 | #Constraints: 677849 2511.23/2519.12 c #Conflicts: 875000 | #Constraints: 678849 2511.23/2519.12 c #Conflicts: 876000 | #Constraints: 679849 2511.23/2519.12 c #Conflicts: 877000 | #Constraints: 680849 2511.23/2519.12 c #Conflicts: 878000 | #Constraints: 681849 2511.23/2519.12 c #Conflicts: 879000 | #Constraints: 682849 2511.23/2519.12 c #Conflicts: 880000 | #Constraints: 683849 2511.23/2519.12 c #Conflicts: 881000 | #Constraints: 684849 2511.23/2519.12 c #Conflicts: 882000 | #Constraints: 685849 2511.23/2519.12 c #Conflicts: 883000 | #Constraints: 686849 2511.23/2519.12 c #Conflicts: 884000 | #Constraints: 687849 2511.23/2519.12 c #Conflicts: 885000 | #Constraints: 688849 2511.23/2519.12 c #Conflicts: 886000 | #Constraints: 689849 2511.23/2519.12 c #Conflicts: 887000 | #Constraints: 690849 2511.23/2519.12 c #Conflicts: 888000 | #Constraints: 691849 2511.23/2519.12 c #Conflicts: 889000 | #Constraints: 692849 2511.23/2519.12 c #Conflicts: 890000 | #Constraints: 693849 2511.23/2519.12 c #Conflicts: 891000 | #Constraints: 694849 2511.23/2519.12 c #Conflicts: 892000 | #Constraints: 695849 2511.23/2519.12 c #Conflicts: 893000 | #Constraints: 696849 2511.23/2519.12 c #Conflicts: 894000 | #Constraints: 697849 2511.23/2519.12 c #Conflicts: 895000 | #Constraints: 698849 2511.23/2519.12 c #Conflicts: 896000 | #Constraints: 699849 2511.23/2519.12 c #Conflicts: 897000 | #Constraints: 700849 2511.23/2519.12 c #Conflicts: 898000 | #Constraints: 701849 2511.23/2519.12 c #Conflicts: 899000 | #Constraints: 702849 2511.23/2519.12 c #Conflicts: 900000 | #Constraints: 703849 2511.23/2519.12 c #Conflicts: 901000 | #Constraints: 704849 2511.23/2519.12 c #Conflicts: 902000 | #Constraints: 705849 2511.23/2519.12 c #Conflicts: 903000 | #Constraints: 706849 2511.23/2519.12 c INPROCESSING 2511.23/2519.12 c GARBAGE COLLECT 2511.23/2519.12 c rational objective 5580.09 2642.02/2650.30 c #Conflicts: 904000 | #Constraints: 651561 2642.02/2650.30 c #Conflicts: 905000 | #Constraints: 652561 2642.02/2650.30 c #Conflicts: 906000 | #Constraints: 653561 2642.02/2650.30 c #Conflicts: 907000 | #Constraints: 654561 2642.02/2650.30 c #Conflicts: 908000 | #Constraints: 655561 2642.02/2650.30 c #Conflicts: 909000 | #Constraints: 656561 2642.02/2650.30 c #Conflicts: 910000 | #Constraints: 657561 2642.02/2650.30 c #Conflicts: 911000 | #Constraints: 658561 2642.02/2650.30 c #Conflicts: 912000 | #Constraints: 659561 2642.02/2650.30 c #Conflicts: 913000 | #Constraints: 660561 2642.02/2650.30 c #Conflicts: 914000 | #Constraints: 661561 2642.02/2650.30 c #Conflicts: 915000 | #Constraints: 662561 2642.02/2650.30 c #Conflicts: 916000 | #Constraints: 663561 2642.02/2650.30 c #Conflicts: 917000 | #Constraints: 664561 2642.02/2650.30 c #Conflicts: 918000 | #Constraints: 665561 2642.02/2650.30 c #Conflicts: 919000 | #Constraints: 666561 2642.02/2650.30 c #Conflicts: 920000 | #Constraints: 667561 2642.02/2650.30 c #Conflicts: 921000 | #Constraints: 668561 2642.02/2650.30 c #Conflicts: 922000 | #Constraints: 669561 2642.02/2650.30 c #Conflicts: 923000 | #Constraints: 670561 2642.02/2650.30 c #Conflicts: 924000 | #Constraints: 671561 2642.02/2650.30 c #Conflicts: 925000 | #Constraints: 672561 2642.02/2650.30 c #Conflicts: 926000 | #Constraints: 673561 2642.02/2650.30 c #Conflicts: 927000 | #Constraints: 674561 2642.02/2650.30 c #Conflicts: 928000 | #Constraints: 675561 2642.02/2650.30 c #Conflicts: 929000 | #Constraints: 676561 2642.02/2650.30 c #Conflicts: 930000 | #Constraints: 677561 2642.02/2650.30 c #Conflicts: 931000 | #Constraints: 678561 2642.02/2650.30 c #Conflicts: 932000 | #Constraints: 679561 2642.02/2650.30 c #Conflicts: 933000 | #Constraints: 680561 2642.02/2650.30 c #Conflicts: 934000 | #Constraints: 681561 2642.02/2650.30 c #Conflicts: 935000 | #Constraints: 682561 2642.02/2650.30 c #Conflicts: 936000 | #Constraints: 683561 2642.02/2650.30 c #Conflicts: 937000 | #Constraints: 684561 2642.02/2650.30 c #Conflicts: 938000 | #Constraints: 685561 2642.02/2650.30 c #Conflicts: 939000 | #Constraints: 686561 2642.02/2650.30 c #Conflicts: 940000 | #Constraints: 687561 2642.02/2650.30 c #Conflicts: 941000 | #Constraints: 688561 2642.02/2650.30 c #Conflicts: 942000 | #Constraints: 689561 2642.02/2650.30 c #Conflicts: 943000 | #Constraints: 690561 2642.02/2650.30 c #Conflicts: 944000 | #Constraints: 691561 2642.02/2650.30 c #Conflicts: 945000 | #Constraints: 692561 2642.02/2650.30 c #Conflicts: 946000 | #Constraints: 693561 2642.02/2650.30 c #Conflicts: 947000 | #Constraints: 694561 2642.02/2650.30 c #Conflicts: 948000 | #Constraints: 695561 2642.02/2650.30 c #Conflicts: 949000 | #Constraints: 696561 2642.02/2650.30 c #Conflicts: 950000 | #Constraints: 697561 2642.02/2650.30 c #Conflicts: 951000 | #Constraints: 698561 2642.02/2650.30 c #Conflicts: 952000 | #Constraints: 699561 2642.02/2650.30 c #Conflicts: 953000 | #Constraints: 700561 2642.02/2650.30 c #Conflicts: 954000 | #Constraints: 701561 2642.02/2650.30 c #Conflicts: 955000 | #Constraints: 702561 2642.02/2650.30 c #Conflicts: 956000 | #Constraints: 703561 2642.02/2650.30 c #Conflicts: 957000 | #Constraints: 704561 2642.02/2650.30 c #Conflicts: 958000 | #Constraints: 705561 2642.02/2650.30 c #Conflicts: 959000 | #Constraints: 706561 2642.02/2650.30 c #Conflicts: 960000 | #Constraints: 707561 2642.02/2650.30 c #Conflicts: 961000 | #Constraints: 708561 2642.02/2650.30 c #Conflicts: 962000 | #Constraints: 709561 2642.02/2650.30 c #Conflicts: 963000 | #Constraints: 710561 2642.02/2650.30 c #Conflicts: 964000 | #Constraints: 711561 2642.02/2650.30 c INPROCESSING 2642.02/2650.30 c GARBAGE COLLECT 2642.02/2650.30 c rational objective 5585.89 2774.80/2783.55 c #Conflicts: 965000 | #Constraints: 655172 2774.80/2783.55 c #Conflicts: 966000 | #Constraints: 656172 2774.80/2783.55 c #Conflicts: 967000 | #Constraints: 657172 2774.80/2783.55 c #Conflicts: 968000 | #Constraints: 658172 2774.80/2783.55 c #Conflicts: 969000 | #Constraints: 659172 2774.80/2783.55 c #Conflicts: 970000 | #Constraints: 660172 2774.80/2783.55 c #Conflicts: 971000 | #Constraints: 661172 2774.80/2783.55 c #Conflicts: 972000 | #Constraints: 662172 2774.80/2783.55 c #Conflicts: 973000 | #Constraints: 663172 2774.80/2783.55 c #Conflicts: 974000 | #Constraints: 664172 2774.80/2783.55 c #Conflicts: 975000 | #Constraints: 665172 2774.80/2783.55 c #Conflicts: 976000 | #Constraints: 666172 2774.80/2783.55 c #Conflicts: 977000 | #Constraints: 667172 2774.80/2783.55 c #Conflicts: 978000 | #Constraints: 668172 2774.80/2783.55 c #Conflicts: 979000 | #Constraints: 669172 2774.80/2783.55 c #Conflicts: 980000 | #Constraints: 670172 2774.80/2783.55 c #Conflicts: 981000 | #Constraints: 671172 2774.80/2783.55 c #Conflicts: 982000 | #Constraints: 672172 2774.80/2783.55 c #Conflicts: 983000 | #Constraints: 673172 2774.80/2783.55 c #Conflicts: 984000 | #Constraints: 674172 2774.80/2783.55 c #Conflicts: 985000 | #Constraints: 675172 2774.80/2783.55 c #Conflicts: 986000 | #Constraints: 676172 2774.80/2783.55 c #Conflicts: 987000 | #Constraints: 677172 2774.80/2783.55 c #Conflicts: 988000 | #Constraints: 678172 2774.80/2783.55 c #Conflicts: 989000 | #Constraints: 679172 2774.80/2783.55 c #Conflicts: 990000 | #Constraints: 680172 2774.80/2783.55 c #Conflicts: 991000 | #Constraints: 681172 2774.80/2783.55 c #Conflicts: 992000 | #Constraints: 682172 2774.80/2783.55 c #Conflicts: 993000 | #Constraints: 683172 2774.80/2783.55 c #Conflicts: 994000 | #Constraints: 684172 2774.80/2783.55 c #Conflicts: 995000 | #Constraints: 685172 2774.80/2783.55 c #Conflicts: 996000 | #Constraints: 686172 2774.80/2783.55 c #Conflicts: 997000 | #Constraints: 687172 2774.80/2783.55 c #Conflicts: 998000 | #Constraints: 688172 2774.80/2783.55 c #Conflicts: 999000 | #Constraints: 689172 2774.80/2783.55 c #Conflicts: 1000000 | #Constraints: 690172 2774.80/2783.55 c #Conflicts: 1001000 | #Constraints: 691172 2774.80/2783.55 c #Conflicts: 1002000 | #Constraints: 692172 2774.80/2783.55 c #Conflicts: 1003000 | #Constraints: 693172 2774.80/2783.55 c #Conflicts: 1004000 | #Constraints: 694172 2774.80/2783.55 c #Conflicts: 1005000 | #Constraints: 695172 2774.80/2783.55 c #Conflicts: 1006000 | #Constraints: 696172 2774.80/2783.55 c #Conflicts: 1007000 | #Constraints: 697172 2774.80/2783.55 c #Conflicts: 1008000 | #Constraints: 698172 2774.80/2783.55 c #Conflicts: 1009000 | #Constraints: 699172 2774.80/2783.55 c #Conflicts: 1010000 | #Constraints: 700172 2774.80/2783.55 c #Conflicts: 1011000 | #Constraints: 701172 2774.80/2783.55 c #Conflicts: 1012000 | #Constraints: 702172 2774.80/2783.55 c #Conflicts: 1013000 | #Constraints: 703172 2774.80/2783.55 c #Conflicts: 1014000 | #Constraints: 704172 2774.80/2783.55 c #Conflicts: 1015000 | #Constraints: 705172 2774.80/2783.55 c #Conflicts: 1016000 | #Constraints: 706172 2774.80/2783.55 c #Conflicts: 1017000 | #Constraints: 707172 2774.80/2783.55 c #Conflicts: 1018000 | #Constraints: 708172 2774.80/2783.55 c #Conflicts: 1019000 | #Constraints: 709172 2774.80/2783.55 c #Conflicts: 1020000 | #Constraints: 710172 2774.80/2783.55 c #Conflicts: 1021000 | #Constraints: 711172 2774.80/2783.55 c #Conflicts: 1022000 | #Constraints: 712172 2774.80/2783.55 c #Conflicts: 1023000 | #Constraints: 713172 2774.80/2783.55 c #Conflicts: 1024000 | #Constraints: 714172 2774.80/2783.55 c #Conflicts: 1025000 | #Constraints: 715172 2774.80/2783.55 c #Conflicts: 1026000 | #Constraints: 716172 2774.80/2783.55 c #Conflicts: 1027000 | #Constraints: 717172 2774.80/2783.55 c INPROCESSING 2774.80/2783.55 c GARBAGE COLLECT 2774.80/2783.55 c rational objective 5628.32 3006.51/3016.10 c #Conflicts: 1028000 | #Constraints: 656696 3006.51/3016.10 c #Conflicts: 1029000 | #Constraints: 657696 3006.51/3016.10 c #Conflicts: 1030000 | #Constraints: 658696 3006.51/3016.10 c #Conflicts: 1031000 | #Constraints: 659696 3006.51/3016.10 c #Conflicts: 1032000 | #Constraints: 660696 3006.51/3016.10 c #Conflicts: 1033000 | #Constraints: 661696 3006.51/3016.10 c #Conflicts: 1034000 | #Constraints: 662696 3006.51/3016.10 c #Conflicts: 1035000 | #Constraints: 663696 3006.51/3016.10 c #Conflicts: 1036000 | #Constraints: 664696 3006.51/3016.10 c #Conflicts: 1037000 | #Constraints: 665696 3006.51/3016.10 c #Conflicts: 1038000 | #Constraints: 666696 3006.51/3016.10 c #Conflicts: 1039000 | #Constraints: 667696 3006.51/3016.10 c #Conflicts: 1040000 | #Constraints: 668696 3006.51/3016.10 c #Conflicts: 1041000 | #Constraints: 669696 3006.51/3016.10 c #Conflicts: 1042000 | #Constraints: 670696 3006.51/3016.10 c #Conflicts: 1043000 | #Constraints: 671696 3006.51/3016.10 c #Conflicts: 1044000 | #Constraints: 672696 3006.51/3016.10 c #Conflicts: 1045000 | #Constraints: 673696 3006.51/3016.10 c #Conflicts: 1046000 | #Constraints: 674696 3006.51/3016.10 c #Conflicts: 1047000 | #Constraints: 675696 3006.51/3016.10 c #Conflicts: 1048000 | #Constraints: 676696 3006.51/3016.10 c #Conflicts: 1049000 | #Constraints: 677696 3006.51/3016.10 c #Conflicts: 1050000 | #Constraints: 678696 3006.51/3016.10 c #Conflicts: 1051000 | #Constraints: 679696 3006.51/3016.10 c #Conflicts: 1052000 | #Constraints: 680696 3006.51/3016.10 c #Conflicts: 1053000 | #Constraints: 681696 3006.51/3016.10 c #Conflicts: 1054000 | #Constraints: 682696 3006.51/3016.10 c #Conflicts: 1055000 | #Constraints: 683696 3006.51/3016.10 c #Conflicts: 1056000 | #Constraints: 684696 3006.51/3016.10 c #Conflicts: 1057000 | #Constraints: 685696 3006.51/3016.10 c #Conflicts: 1058000 | #Constraints: 686696 3006.51/3016.10 c #Conflicts: 1059000 | #Constraints: 687696 3006.51/3016.10 c #Conflicts: 1060000 | #Constraints: 688696 3006.51/3016.10 c #Conflicts: 1061000 | #Constraints: 689696 3006.51/3016.10 c #Conflicts: 1062000 | #Constraints: 690696 3006.51/3016.10 c #Conflicts: 1063000 | #Constraints: 691696 3006.51/3016.10 c #Conflicts: 1064000 | #Constraints: 692696 3006.51/3016.10 c #Conflicts: 1065000 | #Constraints: 693696 3006.51/3016.10 c #Conflicts: 1066000 | #Constraints: 694696 3006.51/3016.10 c #Conflicts: 1067000 | #Constraints: 695696 3006.51/3016.10 c #Conflicts: 1068000 | #Constraints: 696696 3006.51/3016.10 c #Conflicts: 1069000 | #Constraints: 697696 3006.51/3016.10 c #Conflicts: 1070000 | #Constraints: 698696 3006.51/3016.10 c #Conflicts: 1071000 | #Constraints: 699696 3006.51/3016.10 c #Conflicts: 1072000 | #Constraints: 700696 3006.51/3016.10 c #Conflicts: 1073000 | #Constraints: 701696 3006.51/3016.10 c #Conflicts: 1074000 | #Constraints: 702696 3006.51/3016.10 c #Conflicts: 1075000 | #Constraints: 703696 3006.51/3016.10 c #Conflicts: 1076000 | #Constraints: 704696 3006.51/3016.10 c #Conflicts: 1077000 | #Constraints: 705696 3006.51/3016.10 c #Conflicts: 1078000 | #Constraints: 706696 3006.51/3016.10 c #Conflicts: 1079000 | #Constraints: 707696 3006.51/3016.10 c #Conflicts: 1080000 | #Constraints: 708696 3006.51/3016.10 c #Conflicts: 1081000 | #Constraints: 709696 3006.51/3016.10 c #Conflicts: 1082000 | #Constraints: 710696 3006.51/3016.10 c #Conflicts: 1083000 | #Constraints: 711696 3006.51/3016.10 c #Conflicts: 1084000 | #Constraints: 712696 3006.51/3016.10 c #Conflicts: 1085000 | #Constraints: 713696 3006.51/3016.10 c #Conflicts: 1086000 | #Constraints: 714696 3006.51/3016.10 c #Conflicts: 1087000 | #Constraints: 715696 3006.51/3016.10 c #Conflicts: 1088000 | #Constraints: 716696 3006.51/3016.10 c #Conflicts: 1089000 | #Constraints: 717696 3006.51/3016.10 c #Conflicts: 1090000 | #Constraints: 718696 3006.51/3016.10 c #Conflicts: 1091000 | #Constraints: 719696 3006.51/3016.10 c #Conflicts: 1092000 | #Constraints: 720696 3006.51/3016.10 c INPROCESSING 3006.51/3016.10 c GARBAGE COLLECT 3006.51/3016.10 c rational objective 5766.2 3133.02/3142.99 c #Conflicts: 1093000 | #Constraints: 650960 3133.02/3142.99 c #Conflicts: 1094000 | #Constraints: 651960 3133.02/3142.99 c #Conflicts: 1095000 | #Constraints: 652960 3133.02/3142.99 c #Conflicts: 1096000 | #Constraints: 653960 3133.02/3142.99 c #Conflicts: 1097000 | #Constraints: 654960 3133.02/3142.99 c #Conflicts: 1098000 | #Constraints: 655960 3133.02/3142.99 c #Conflicts: 1099000 | #Constraints: 656960 3133.02/3142.99 c #Conflicts: 1100000 | #Constraints: 657960 3133.02/3142.99 c #Conflicts: 1101000 | #Constraints: 658960 3133.02/3142.99 c #Conflicts: 1102000 | #Constraints: 659960 3133.02/3142.99 c #Conflicts: 1103000 | #Constraints: 660960 3133.02/3142.99 c #Conflicts: 1104000 | #Constraints: 661960 3133.02/3142.99 c #Conflicts: 1105000 | #Constraints: 662960 3133.02/3142.99 c #Conflicts: 1106000 | #Constraints: 663960 3133.02/3142.99 c #Conflicts: 1107000 | #Constraints: 664960 3133.02/3142.99 c #Conflicts: 1108000 | #Constraints: 665960 3133.02/3142.99 c #Conflicts: 1109000 | #Constraints: 666960 3133.02/3142.99 c #Conflicts: 1110000 | #Constraints: 667960 3133.02/3142.99 c #Conflicts: 1111000 | #Constraints: 668960 3133.02/3142.99 c #Conflicts: 1112000 | #Constraints: 669960 3133.02/3142.99 c #Conflicts: 1113000 | #Constraints: 670960 3133.02/3142.99 c #Conflicts: 1114000 | #Constraints: 671960 3133.02/3142.99 c #Conflicts: 1115000 | #Constraints: 672960 3133.02/3142.99 c #Conflicts: 1116000 | #Constraints: 673960 3133.02/3142.99 c #Conflicts: 1117000 | #Constraints: 674960 3133.02/3142.99 c #Conflicts: 1118000 | #Constraints: 675960 3133.02/3142.99 c #Conflicts: 1119000 | #Constraints: 676960 3133.02/3142.99 c #Conflicts: 1120000 | #Constraints: 677960 3133.02/3142.99 c #Conflicts: 1121000 | #Constraints: 678960 3133.02/3142.99 c #Conflicts: 1122000 | #Constraints: 679960 3133.02/3142.99 c #Conflicts: 1123000 | #Constraints: 680960 3133.02/3142.99 c #Conflicts: 1124000 | #Constraints: 681960 3133.02/3142.99 c #Conflicts: 1125000 | #Constraints: 682960 3133.02/3142.99 c #Conflicts: 1126000 | #Constraints: 683960 3133.02/3142.99 c #Conflicts: 1127000 | #Constraints: 684960 3133.02/3142.99 c #Conflicts: 1128000 | #Constraints: 685960 3133.02/3142.99 c #Conflicts: 1129000 | #Constraints: 686960 3133.02/3142.99 c #Conflicts: 1130000 | #Constraints: 687960 3133.02/3142.99 c #Conflicts: 1131000 | #Constraints: 688960 3133.02/3142.99 c #Conflicts: 1132000 | #Constraints: 689960 3133.02/3142.99 c #Conflicts: 1133000 | #Constraints: 690960 3133.02/3142.99 c #Conflicts: 1134000 | #Constraints: 691960 3133.02/3142.99 c #Conflicts: 1135000 | #Constraints: 692960 3133.02/3142.99 c #Conflicts: 1136000 | #Constraints: 693960 3133.02/3142.99 c #Conflicts: 1137000 | #Constraints: 694960 3133.02/3142.99 c #Conflicts: 1138000 | #Constraints: 695960 3133.02/3142.99 c #Conflicts: 1139000 | #Constraints: 696960 3133.02/3142.99 c #Conflicts: 1140000 | #Constraints: 697960 3133.02/3142.99 c #Conflicts: 1141000 | #Constraints: 698960 3133.02/3142.99 c #Conflicts: 1142000 | #Constraints: 699960 3133.02/3142.99 c #Conflicts: 1143000 | #Constraints: 700960 3133.02/3142.99 c #Conflicts: 1144000 | #Constraints: 701960 3133.02/3142.99 c #Conflicts: 1145000 | #Constraints: 702960 3133.02/3142.99 c #Conflicts: 1146000 | #Constraints: 703960 3133.02/3142.99 c #Conflicts: 1147000 | #Constraints: 704960 3133.02/3142.99 c #Conflicts: 1148000 | #Constraints: 705960 3133.02/3142.99 c #Conflicts: 1149000 | #Constraints: 706960 3133.02/3142.99 c #Conflicts: 1150000 | #Constraints: 707960 3133.02/3142.99 c #Conflicts: 1151000 | #Constraints: 708960 3133.02/3142.99 c #Conflicts: 1152000 | #Constraints: 709960 3133.02/3142.99 c #Conflicts: 1153000 | #Constraints: 710960 3133.02/3142.99 c #Conflicts: 1154000 | #Constraints: 711960 3133.02/3142.99 c #Conflicts: 1155000 | #Constraints: 712960 3133.02/3142.99 c #Conflicts: 1156000 | #Constraints: 713960 3133.02/3142.99 c #Conflicts: 1157000 | #Constraints: 714960 3133.02/3142.99 c #Conflicts: 1158000 | #Constraints: 715960 3133.02/3142.99 c #Conflicts: 1159000 | #Constraints: 716960 3133.02/3142.99 c INPROCESSING 3133.02/3142.99 c GARBAGE COLLECT 3133.02/3142.99 c rational objective 5774.62 3277.69/3288.05 c #Conflicts: 1160000 | #Constraints: 654036 3277.69/3288.05 c #Conflicts: 1161000 | #Constraints: 655036 3277.69/3288.05 c #Conflicts: 1162000 | #Constraints: 656036 3277.69/3288.05 c #Conflicts: 1163000 | #Constraints: 657036 3277.69/3288.05 c #Conflicts: 1164000 | #Constraints: 658036 3277.69/3288.05 c #Conflicts: 1165000 | #Constraints: 659036 3277.69/3288.05 c #Conflicts: 1166000 | #Constraints: 660036 3277.69/3288.05 c #Conflicts: 1167000 | #Constraints: 661036 3277.69/3288.05 c #Conflicts: 1168000 | #Constraints: 662036 3277.69/3288.05 c #Conflicts: 1169000 | #Constraints: 663036 3277.69/3288.05 c #Conflicts: 1170000 | #Constraints: 664036 3277.69/3288.05 c #Conflicts: 1171000 | #Constraints: 665036 3277.69/3288.05 c #Conflicts: 1172000 | #Constraints: 666036 3277.69/3288.05 c #Conflicts: 1173000 | #Constraints: 667036 3277.69/3288.05 c #Conflicts: 1174000 | #Constraints: 668036 3277.69/3288.05 c #Conflicts: 1175000 | #Constraints: 669036 3277.69/3288.05 c #Conflicts: 1176000 | #Constraints: 670036 3277.69/3288.05 c #Conflicts: 1177000 | #Constraints: 671036 3277.69/3288.05 c #Conflicts: 1178000 | #Constraints: 672036 3277.69/3288.05 c #Conflicts: 1179000 | #Constraints: 673036 3277.69/3288.05 c #Conflicts: 1180000 | #Constraints: 674036 3277.69/3288.05 c #Conflicts: 1181000 | #Constraints: 675036 3277.69/3288.05 c #Conflicts: 1182000 | #Constraints: 676036 3277.69/3288.05 c #Conflicts: 1183000 | #Constraints: 677036 3277.69/3288.05 c #Conflicts: 1184000 | #Constraints: 678036 3277.69/3288.05 c #Conflicts: 1185000 | #Constraints: 679036 3277.69/3288.05 c #Conflicts: 1186000 | #Constraints: 680036 3277.69/3288.05 c #Conflicts: 1187000 | #Constraints: 681036 3277.69/3288.05 c #Conflicts: 1188000 | #Constraints: 682036 3277.69/3288.05 c #Conflicts: 1189000 | #Constraints: 683036 3277.69/3288.05 c #Conflicts: 1190000 | #Constraints: 684036 3277.69/3288.05 c #Conflicts: 1191000 | #Constraints: 685036 3277.69/3288.05 c #Conflicts: 1192000 | #Constraints: 686036 3277.69/3288.05 c #Conflicts: 1193000 | #Constraints: 687036 3277.69/3288.05 c #Conflicts: 1194000 | #Constraints: 688036 3277.69/3288.05 c #Conflicts: 1195000 | #Constraints: 689036 3277.69/3288.05 c #Conflicts: 1196000 | #Constraints: 690036 3277.69/3288.05 c #Conflicts: 1197000 | #Constraints: 691036 3277.69/3288.05 c #Conflicts: 1198000 | #Constraints: 692036 3277.69/3288.05 c #Conflicts: 1199000 | #Constraints: 693036 3277.69/3288.05 c #Conflicts: 1200000 | #Constraints: 694036 3277.69/3288.05 c #Conflicts: 1201000 | #Constraints: 695036 3277.69/3288.05 c #Conflicts: 1202000 | #Constraints: 696036 3277.69/3288.05 c #Conflicts: 1203000 | #Constraints: 697036 3277.69/3288.05 c #Conflicts: 1204000 | #Constraints: 698036 3277.69/3288.05 c #Conflicts: 1205000 | #Constraints: 699036 3277.69/3288.05 c #Conflicts: 1206000 | #Constraints: 700036 3277.69/3288.05 c #Conflicts: 1207000 | #Constraints: 701036 3277.69/3288.05 c #Conflicts: 1208000 | #Constraints: 702036 3277.69/3288.05 c #Conflicts: 1209000 | #Constraints: 703036 3277.69/3288.05 c #Conflicts: 1210000 | #Constraints: 704036 3277.69/3288.05 c #Conflicts: 1211000 | #Constraints: 705036 3277.69/3288.05 c #Conflicts: 1212000 | #Constraints: 706036 3277.69/3288.05 c #Conflicts: 1213000 | #Constraints: 707036 3277.69/3288.05 c #Conflicts: 1214000 | #Constraints: 708036 3277.69/3288.05 c #Conflicts: 1215000 | #Constraints: 709036 3277.69/3288.05 c #Conflicts: 1216000 | #Constraints: 710036 3277.69/3288.05 c #Conflicts: 1217000 | #Constraints: 711036 3277.69/3288.05 c #Conflicts: 1218000 | #Constraints: 712036 3277.69/3288.05 c #Conflicts: 1219000 | #Constraints: 713036 3277.69/3288.05 c #Conflicts: 1220000 | #Constraints: 714036 3277.69/3288.05 c #Conflicts: 1221000 | #Constraints: 715036 3277.69/3288.05 c #Conflicts: 1222000 | #Constraints: 716036 3277.69/3288.05 c #Conflicts: 1223000 | #Constraints: 717036 3277.69/3288.05 c #Conflicts: 1224000 | #Constraints: 718036 3277.69/3288.05 c #Conflicts: 1225000 | #Constraints: 719036 3277.69/3288.05 c #Conflicts: 1226000 | #Constraints: 720036 3277.69/3288.05 c #Conflicts: 1227000 | #Constraints: 721036 3277.69/3288.05 c #Conflicts: 1228000 | #Constraints: 722036 3277.69/3288.05 c INPROCESSING 3277.69/3288.05 c GARBAGE COLLECT 3277.69/3288.05 c rational objective 5778.94 3453.23/3464.18 c #Conflicts: 1229000 | #Constraints: 657870 3453.23/3464.18 c #Conflicts: 1230000 | #Constraints: 658870 3453.23/3464.18 c #Conflicts: 1231000 | #Constraints: 659870 3453.23/3464.18 c #Conflicts: 1232000 | #Constraints: 660870 3453.23/3464.18 c #Conflicts: 1233000 | #Constraints: 661870 3453.23/3464.18 c #Conflicts: 1234000 | #Constraints: 662870 3453.23/3464.18 c #Conflicts: 1235000 | #Constraints: 663870 3453.23/3464.18 c #Conflicts: 1236000 | #Constraints: 664870 3453.23/3464.18 c #Conflicts: 1237000 | #Constraints: 665870 3453.23/3464.18 c #Conflicts: 1238000 | #Constraints: 666870 3453.23/3464.18 c #Conflicts: 1239000 | #Constraints: 667870 3453.23/3464.18 c #Conflicts: 1240000 | #Constraints: 668870 3453.23/3464.18 c #Conflicts: 1241000 | #Constraints: 669870 3453.23/3464.18 c #Conflicts: 1242000 | #Constraints: 670870 3453.23/3464.18 c #Conflicts: 1243000 | #Constraints: 671870 3453.23/3464.18 c #Conflicts: 1244000 | #Constraints: 672870 3453.23/3464.18 c #Conflicts: 1245000 | #Constraints: 673870 3453.23/3464.18 c #Conflicts: 1246000 | #Constraints: 674870 3453.23/3464.18 c #Conflicts: 1247000 | #Constraints: 675870 3453.23/3464.18 c #Conflicts: 1248000 | #Constraints: 676870 3453.23/3464.18 c #Conflicts: 1249000 | #Constraints: 677870 3453.23/3464.18 c #Conflicts: 1250000 | #Constraints: 678870 3453.23/3464.18 c #Conflicts: 1251000 | #Constraints: 679870 3453.23/3464.18 c #Conflicts: 1252000 | #Constraints: 680870 3453.23/3464.18 c #Conflicts: 1253000 | #Constraints: 681870 3453.23/3464.18 c #Conflicts: 1254000 | #Constraints: 682870 3453.23/3464.18 c #Conflicts: 1255000 | #Constraints: 683870 3453.23/3464.18 c #Conflicts: 1256000 | #Constraints: 684870 3453.23/3464.18 c #Conflicts: 1257000 | #Constraints: 685870 3453.23/3464.18 c #Conflicts: 1258000 | #Constraints: 686870 3453.23/3464.18 c #Conflicts: 1259000 | #Constraints: 687870 3453.23/3464.18 c #Conflicts: 1260000 | #Constraints: 688870 3453.23/3464.18 c #Conflicts: 1261000 | #Constraints: 689870 3453.23/3464.18 c #Conflicts: 1262000 | #Constraints: 690870 3453.23/3464.18 c #Conflicts: 1263000 | #Constraints: 691870 3453.23/3464.18 c #Conflicts: 1264000 | #Constraints: 692870 3453.23/3464.18 c #Conflicts: 1265000 | #Constraints: 693870 3453.23/3464.18 c #Conflicts: 1266000 | #Constraints: 694870 3453.23/3464.18 c #Conflicts: 1267000 | #Constraints: 695870 3453.23/3464.18 c #Conflicts: 1268000 | #Constraints: 696870 3453.23/3464.18 c #Conflicts: 1269000 | #Constraints: 697870 3453.23/3464.18 c #Conflicts: 1270000 | #Constraints: 698870 3453.23/3464.18 c #Conflicts: 1271000 | #Constraints: 699870 3453.23/3464.18 c #Conflicts: 1272000 | #Constraints: 700870 3453.23/3464.18 c #Conflicts: 1273000 | #Constraints: 701870 3453.23/3464.18 c #Conflicts: 1274000 | #Constraints: 702870 3453.23/3464.18 c #Conflicts: 1275000 | #Constraints: 703870 3453.23/3464.18 c #Conflicts: 1276000 | #Constraints: 704870 3453.23/3464.18 c #Conflicts: 1277000 | #Constraints: 705870 3453.23/3464.18 c #Conflicts: 1278000 | #Constraints: 706870 3453.23/3464.18 c #Conflicts: 1279000 | #Constraints: 707870 3453.23/3464.18 c #Conflicts: 1280000 | #Constraints: 708870 3453.23/3464.18 c #Conflicts: 1281000 | #Constraints: 709870 3453.23/3464.18 c #Conflicts: 1282000 | #Constraints: 710870 3453.23/3464.18 c #Conflicts: 1283000 | #Constraints: 711870 3453.23/3464.18 c #Conflicts: 1284000 | #Constraints: 712870 3453.23/3464.18 c #Conflicts: 1285000 | #Constraints: 713870 3453.23/3464.18 c #Conflicts: 1286000 | #Constraints: 714870 3453.23/3464.18 c #Conflicts: 1287000 | #Constraints: 715870 3453.23/3464.18 c #Conflicts: 1288000 | #Constraints: 716870 3453.23/3464.18 c #Conflicts: 1289000 | #Constraints: 717870 3453.23/3464.18 c #Conflicts: 1290000 | #Constraints: 718870 3453.23/3464.18 c #Conflicts: 1291000 | #Constraints: 719870 3453.23/3464.18 c #Conflicts: 1292000 | #Constraints: 720870 3453.23/3464.18 c #Conflicts: 1293000 | #Constraints: 721870 3453.23/3464.18 c #Conflicts: 1294000 | #Constraints: 722870 3453.23/3464.18 c #Conflicts: 1295000 | #Constraints: 723870 3453.23/3464.18 c #Conflicts: 1296000 | #Constraints: 724870 3453.23/3464.18 c #Conflicts: 1297000 | #Constraints: 725870 3453.23/3464.18 c #Conflicts: 1298000 | #Constraints: 726870 3453.23/3464.18 c #Conflicts: 1299000 | #Constraints: 727870 3453.23/3464.18 c INPROCESSING 3453.23/3464.18 c GARBAGE COLLECT 3453.23/3464.18 c rational objective 5954.25
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: 63931 MiB (62234 MiB free)
memory of node 1: 64510 MiB (63211 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463034-1722344460/watcher-4463034-1722344460 -o /tmp/evaluation-result-4463034-1722344460/solver-4463034-1722344460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722340763-7471 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463034-1722344460 --lp-cut-gomory=0 HOME/instance-4463034-1722344460.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=10007, runsolver pid=10004
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.16 4.13 4.08 5/255 10008
/proc/meminfo: memFree=128448512/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=38888 memory=10440 CPUtime=0.09 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 916 0 0 0 7 2 0 0 20 0 1 0 1046526 39821312 2610 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 9722 2610 1368 992 0 1580 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38888 KiB
Current children cumulated memory: 10440 KiB
[startup+0.205505 s]*
/proc/loadavg: 4.16 4.13 4.08 5/255 10008
/proc/meminfo: memFree=128445820/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=40748 memory=12408 CPUtime=0.19 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 1409 0 0 0 15 4 0 0 20 0 1 0 1046526 41725952 3102 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 10187 3102 1368 992 0 2045 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40748 KiB
Current children cumulated memory: 12408 KiB
[startup+0.305353 s]*
/proc/loadavg: 4.16 4.13 4.08 5/255 10008
/proc/meminfo: memFree=128439380/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=46284 memory=15956 CPUtime=0.3 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 2468 0 0 0 23 7 0 0 20 0 1 0 1046526 47394816 3989 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 11571 3989 1368 992 0 3429 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46284 KiB
Current children cumulated memory: 15956 KiB
[startup+0.700196 s]
/proc/loadavg: 4.16 4.13 4.08 5/255 10008
/proc/meminfo: memFree=128427480/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=57568 memory=29012 CPUtime=0.68 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 5436 0 0 0 53 15 0 0 20 0 1 0 1046526 58949632 7253 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 14392 7253 1368 992 0 6250 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57568 KiB
Current children cumulated memory: 29012 KiB
[startup+1.5002 s]
/proc/loadavg: 4.16 4.13 4.08 5/255 10008
/proc/meminfo: memFree=128400196/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=91764 memory=57816 CPUtime=1.48 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 9974 0 0 0 115 33 0 0 20 0 1 0 1046526 93966336 14454 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 22941 14454 1368 992 0 14799 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91764 KiB
Current children cumulated memory: 57816 KiB
[startup+3.1056 s]
/proc/loadavg: 4.14 4.13 4.08 5/255 10021
/proc/meminfo: memFree=127890356/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=665076 memory=592912 CPUtime=3.08 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 77203 0 0 0 240 68 0 0 20 0 1 0 1046526 681037824 148228 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 166269 148228 1670 992 0 158127 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 665076 KiB
Current children cumulated memory: 592912 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.13 4.08 5/255 10021
/proc/meminfo: memFree=127850736/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=513548 memory=473336 CPUtime=6.26 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 78732 0 0 0 529 97 0 0 20 0 1 0 1046526 525873152 118334 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 128387 118334 1763 992 0 120245 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 513548 KiB
Current children cumulated memory: 473336 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.08 5/255 10021
/proc/meminfo: memFree=126057560/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=513548 memory=473552 CPUtime=12.66 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 78809 0 0 0 1130 136 0 0 20 0 1 0 1046526 525873152 118388 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 128387 118388 1817 992 0 120245 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 513548 KiB
Current children cumulated memory: 473552 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.14 4.08 5/260 10044
/proc/meminfo: memFree=124688432/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=513548 memory=473552 CPUtime=25.41 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 78882 0 0 0 2372 169 0 0 20 0 1 0 1046526 525873152 118388 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 128387 118388 1817 992 0 120245 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 513548 KiB
Current children cumulated memory: 473552 KiB
[startup+51.1058 s]
/proc/loadavg: 4.12 4.12 4.08 5/260 10047
/proc/meminfo: memFree=123200140/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=636204 memory=525920 CPUtime=50.93 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 82739 0 0 0 4866 227 0 0 20 0 1 0 1046526 651472896 131480 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 159051 131480 1817 992 0 150909 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 636204 KiB
Current children cumulated memory: 525920 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/259 10055
/proc/meminfo: memFree=122010648/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=636204 memory=537152 CPUtime=101.98 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 83134 0 0 0 9949 249 0 0 20 0 1 0 1046526 651472896 134288 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 159051 134288 1817 992 0 150909 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 636204 KiB
Current children cumulated memory: 537152 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/259 10065
/proc/meminfo: memFree=119786296/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=647512 memory=541324 CPUtime=161.79 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 83242 0 0 0 15833 346 0 0 20 0 1 0 1046526 663052288 135331 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 161878 135331 1817 992 0 153736 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 647512 KiB
Current children cumulated memory: 541324 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/259 10077
/proc/meminfo: memFree=117039152/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=690560 memory=584220 CPUtime=221.62 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 84521 0 0 0 21716 446 0 0 20 0 1 0 1046526 707133440 146055 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 172640 146055 1817 992 0 164498 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 690560 KiB
Current children cumulated memory: 584220 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 10087
/proc/meminfo: memFree=115243876/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=690560 memory=586432 CPUtime=281.41 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 84616 0 0 0 27661 480 0 0 20 0 1 0 1046526 707133440 146608 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 172640 146608 1817 992 0 164498 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 690560 KiB
Current children cumulated memory: 586432 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.08 5/258 10097
/proc/meminfo: memFree=113821484/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=766652 memory=638944 CPUtime=341.25 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 87183 0 0 0 33527 598 0 0 20 0 1 0 1046526 785051648 159736 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 191663 159736 1817 992 0 183521 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 766652 KiB
Current children cumulated memory: 638944 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.08 5/258 10109
/proc/meminfo: memFree=112828440/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=766652 memory=639148 CPUtime=401.08 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 87293 0 0 0 39434 674 0 0 20 0 1 0 1046526 785051648 159787 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 191663 159787 1817 992 0 183521 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 766652 KiB
Current children cumulated memory: 639148 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 10119
/proc/meminfo: memFree=112393348/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=766652 memory=639148 CPUtime=460.91 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 87405 0 0 0 45336 755 0 0 20 0 1 0 1046526 785051648 159787 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 191663 159787 1817 992 0 183521 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/260 11206
/proc/meminfo: memFree=91439716/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=884752 memory=757420 CPUtime=3032.72 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 99180 0 0 0 299705 3567 0 0 20 0 1 0 1046526 905986048 189355 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 221188 189355 1817 992 0 213046 0
Current children cumulated CPU time: 3032.72 s
Current children cumulated vsize: 884752 KiB
Current children cumulated memory: 757420 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/261 11217
/proc/meminfo: memFree=90801856/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=884752 memory=761516 CPUtime=3092.55 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 99392 0 0 0 305623 3632 0 0 20 0 1 0 1046526 905986048 190379 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 221188 190379 1817 992 0 213046 0
Current children cumulated CPU time: 3092.55 s
Current children cumulated vsize: 884752 KiB
Current children cumulated memory: 761516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/261 11227
/proc/meminfo: memFree=90088108/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=896076 memory=761596 CPUtime=3152.36 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 99577 0 0 0 311557 3679 0 0 20 0 1 0 1046526 917581824 190399 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 224019 190399 1817 992 0 215877 0
Current children cumulated CPU time: 3152.36 s
Current children cumulated vsize: 896076 KiB
Current children cumulated memory: 761596 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/261 11238
/proc/meminfo: memFree=89449560/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=896076 memory=761600 CPUtime=3212.18 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 99814 0 0 0 317488 3730 0 0 20 0 1 0 1046526 917581824 190400 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 224019 190400 1817 992 0 215877 0
Current children cumulated CPU time: 3212.18 s
Current children cumulated vsize: 896076 KiB
Current children cumulated memory: 761600 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/261 11632
/proc/meminfo: memFree=88483728/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=896076 memory=761600 CPUtime=3272 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 99927 0 0 0 323436 3764 0 0 20 0 1 0 1046526 917581824 190400 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 224019 190400 1817 992 0 215877 0
Current children cumulated CPU time: 3272 s
Current children cumulated vsize: 896076 KiB
Current children cumulated memory: 761600 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/261 11642
/proc/meminfo: memFree=87950668/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=907404 memory=772840 CPUtime=3331.81 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 100425 0 0 0 329270 3911 0 0 20 0 1 0 1046526 929181696 193210 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 226851 193210 1817 992 0 218709 0
Current children cumulated CPU time: 3331.81 s
Current children cumulated vsize: 907404 KiB
Current children cumulated memory: 772840 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/260 11654
/proc/meminfo: memFree=87621100/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=907404 memory=772892 CPUtime=3391.62 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 100653 0 0 0 335153 4009 0 0 20 0 1 0 1046526 929181696 193223 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 226851 193223 1817 992 0 218709 0
Current children cumulated CPU time: 3391.62 s
Current children cumulated vsize: 907404 KiB
Current children cumulated memory: 772892 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 11834
/proc/meminfo: memFree=86943944/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=907404 memory=772940 CPUtime=3451.42 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 100869 0 0 0 341093 4049 0 0 20 0 1 0 1046526 929181696 193235 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 226851 193235 1817 992 0 218709 0
Current children cumulated CPU time: 3451.42 s
Current children cumulated vsize: 907404 KiB
Current children cumulated memory: 772940 KiB
[startup+3522.3 s]
/proc/loadavg: 4.49 4.23 4.13 5/262 11844
/proc/meminfo: memFree=85589760/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=918732 memory=795504 CPUtime=3511.25 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 102151 0 0 0 346944 4181 0 0 20 0 1 0 1046526 940781568 198876 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 229683 198876 1817 992 0 221541 0
Current children cumulated CPU time: 3511.25 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 795504 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.20 4.12 5/262 11859
/proc/meminfo: memFree=83920924/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=918732 memory=795504 CPUtime=3571.07 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 102338 0 0 0 352858 4249 0 0 20 0 1 0 1046526 940781568 198876 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 229683 198876 1817 992 0 221541 0
Current children cumulated CPU time: 3571.07 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 795504 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.14 4.18 4.12 4/254 11915
/proc/meminfo: memFree=94561964/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=918732 memory=795504 CPUtime=3600.08 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 102422 0 0 0 355752 4256 0 0 20 0 1 0 1046526 940781568 198876 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 229683 198876 1817 992 0 221541 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 795504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3613.49 s]
# the end of solver process 10007 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3559.51 s, system=42.5838 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.14 4.18 4.12 4/254 11915
/proc/meminfo: memFree=94545440/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=918732 memory=795504 CPUtime=3601.48 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 102422 0 0 0 355891 4257 0 0 20 0 1 0 1046526 940781568 198876 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 229683 198876 1817 992 0 221541 0
Current children cumulated CPU time: 3601.48 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 795504 KiB
[startup+3613.2 s]
/proc/loadavg: 4.13 4.18 4.12 4/254 11917
/proc/meminfo: memFree=94514768/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=918732 memory=795504 CPUtime=3601.87 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 102422 0 0 0 355930 4257 0 0 20 0 1 0 1046526 940781568 198876 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 229683 198876 1817 992 0 221541 0
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 795504 KiB
[startup+3613.4 s]
/proc/loadavg: 4.13 4.18 4.12 4/254 11917
/proc/meminfo: memFree=94514768/131524600 swapFree=131071996/131071996
[pid=10007] ppid=10004 vsize=918732 memory=795504 CPUtime=3602.07 cores=5,7
/proc/10007/stat : 10007 (roundingsat) R 10004 10007 7457 0 -1 4194304 102422 0 0 0 355950 4257 0 0 20 0 1 0 1046526 940781568 198876 134679101440 4194304 8255733 140728082724880 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 28659712 140728082731870 140728082732132 140728082732132 140728082739145 0
/proc/10007/statm: 229683 198876 1817 992 0 221541 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 795504 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.49
CPU time (s): 3602.09
CPU user time (s): 3559.51
CPU system time (s): 42.5838
CPU usage (%): 99.6846
Max. virtual memory (cumulated for all children) (KiB): 918732
Max. memory (cumulated for all children) (KiB): 795504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.51
system time used= 42.5838
maximum resident set size= 795504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 469104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 2130
# summary of solver processes directly reported to runsolver:
# pid: 10007
# total CPU time (s): 3602.09
# total CPU user time (s): 3559.51
# total CPU system time (s): 42.5838
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15477 second user time and 17.5111 second system time
The end
Begin job on nodeC027 at 2024-07-30 15:01:00 IDJOB=4463034 IDBENCH=155570 IDSOLVER=3089 FILE ID=nodeC027/4463034-1722344460 RUNJOBID= nodeC027-1722340763-7471 SLURM_JOB_ID= 8249000 Free space on /tmp= 889408 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-139.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463034-1722344460/watcher-4463034-1722344460 -o /tmp/evaluation-result-4463034-1722344460/solver-4463034-1722344460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722340763-7471 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463034-1722344460 --lp-cut-gomory=0 HOME/instance-4463034-1722344460.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b1a9bb408d678f4e4f75286e8bd2bbb9 RANDOM SEED=1778411649 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3651.315 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.88 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3681.116 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.975 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.88 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3604.346 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.722 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.88 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.998 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3651.188 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.88 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3682.831 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128456592 kB MemAvailable: 129083284 kB Buffers: 45760 kB Cached: 1409912 kB SwapCached: 0 kB Active: 415480 kB Inactive: 2166796 kB Active(anon): 1528 kB Inactive(anon): 1146412 kB Active(file): 413952 kB Inactive(file): 1020384 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 42136 kB Writeback: 0 kB AnonPages: 1125844 kB Mapped: 93040 kB Shmem: 21336 kB KReclaimable: 64008 kB Slab: 145156 kB SReclaimable: 64008 kB SUnreclaim: 81148 kB KernelStack: 4112 kB PageTables: 11276 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1619672 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 9024 kB HardwareCorrupted: 0 kB AnonHugePages: 546816 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: 150228 kB DirectMap2M: 9060352 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 889304 MiB End job on nodeC027 at 2024-07-30 16:01:14