| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.33 | 3613.7 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K196.opb |
| MD5SUM | 8df9702f370312ff59707c84e3b82f3b |
| 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 | 77.5563 |
| 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 | 23324 |
| Total number of constraints | 23718 |
| Number of constraints which are clauses | 23522 |
| Number of constraints which are cardinality constraints (but not clauses) | 196 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 196 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 197 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.09/0.13 c #variables 23324 #constraints 23718 111.08/111.53 c #Conflicts: 1000 | #Constraints: 24717 111.08/111.53 c #Conflicts: 2000 | #Constraints: 25717 111.08/111.53 c INPROCESSING 111.08/111.53 c GARBAGE COLLECT 111.08/111.53 c #Conflicts: 3000 | #Constraints: 24973 111.08/111.53 c #Conflicts: 4000 | #Constraints: 25973 111.08/111.53 c INPROCESSING 111.08/111.53 c GARBAGE COLLECT 111.08/111.53 c #Conflicts: 5000 | #Constraints: 25502 111.08/111.53 c #Conflicts: 6000 | #Constraints: 26502 111.08/111.53 c #Conflicts: 7000 | #Constraints: 27503 111.08/111.53 c #Conflicts: 8000 | #Constraints: 28503 111.08/111.53 c #Conflicts: 9000 | #Constraints: 29503 111.08/111.53 c INPROCESSING 111.08/111.53 c GARBAGE COLLECT 111.08/111.53 c #Conflicts: 10000 | #Constraints: 27334 111.08/111.53 c #Conflicts: 11000 | #Constraints: 28334 111.08/111.53 c #Conflicts: 12000 | #Constraints: 29334 111.08/111.53 c INPROCESSING 111.08/111.53 c GARBAGE COLLECT 111.08/111.53 c #Conflicts: 13000 | #Constraints: 27223 111.08/111.53 c #Conflicts: 14000 | #Constraints: 28223 111.08/111.53 c #Conflicts: 15000 | #Constraints: 29223 111.08/111.53 c #Conflicts: 16000 | #Constraints: 30223 111.08/111.53 c #Conflicts: 17000 | #Constraints: 31223 111.08/111.53 c #Conflicts: 18000 | #Constraints: 32223 111.08/111.53 c #Conflicts: 19000 | #Constraints: 33223 111.08/111.53 c #Conflicts: 20000 | #Constraints: 34223 111.08/111.53 c #Conflicts: 21000 | #Constraints: 35223 111.08/111.53 c INPROCESSING 111.08/111.53 c GARBAGE COLLECT 111.08/111.53 c #Conflicts: 22000 | #Constraints: 30428 111.08/111.53 c #Conflicts: 23000 | #Constraints: 31428 111.08/111.53 c #Conflicts: 24000 | #Constraints: 32428 111.08/111.53 c #Conflicts: 25000 | #Constraints: 33428 111.08/111.53 c INPROCESSING 111.08/111.53 c GARBAGE COLLECT 111.08/111.53 c rational objective 196 287.70/288.86 c #Conflicts: 26000 | #Constraints: 29743 287.70/288.86 c #Conflicts: 27000 | #Constraints: 30743 287.70/288.86 c #Conflicts: 28000 | #Constraints: 31743 287.70/288.86 c #Conflicts: 29000 | #Constraints: 32743 287.70/288.86 c #Conflicts: 30000 | #Constraints: 33743 287.70/288.86 c #Conflicts: 31000 | #Constraints: 34743 287.70/288.86 c #Conflicts: 32000 | #Constraints: 35743 287.70/288.86 c #Conflicts: 33000 | #Constraints: 36743 287.70/288.86 c #Conflicts: 34000 | #Constraints: 37743 287.70/288.86 c #Conflicts: 35000 | #Constraints: 38744 287.70/288.86 c #Conflicts: 36000 | #Constraints: 39744 287.70/288.86 c #Conflicts: 37000 | #Constraints: 40744 287.70/288.86 c INPROCESSING 287.70/288.86 c GARBAGE COLLECT 287.70/288.86 c #Conflicts: 38000 | #Constraints: 33293 287.70/288.86 c #Conflicts: 39000 | #Constraints: 34293 287.70/288.86 c #Conflicts: 40000 | #Constraints: 35293 287.70/288.86 c #Conflicts: 41000 | #Constraints: 36293 287.70/288.86 c #Conflicts: 42000 | #Constraints: 37293 287.70/288.86 c #Conflicts: 43000 | #Constraints: 38293 287.70/288.86 c INPROCESSING 287.70/288.86 c GARBAGE COLLECT 287.70/288.86 c #Conflicts: 44000 | #Constraints: 33307 287.70/288.86 c #Conflicts: 45000 | #Constraints: 34307 287.70/288.86 c #Conflicts: 46000 | #Constraints: 35307 287.70/288.86 c #Conflicts: 47000 | #Constraints: 36307 287.70/288.86 c #Conflicts: 48000 | #Constraints: 37307 287.70/288.86 c #Conflicts: 49000 | #Constraints: 38307 287.70/288.86 c #Conflicts: 50000 | #Constraints: 39307 287.70/288.86 c #Conflicts: 51000 | #Constraints: 40307 287.70/288.86 c #Conflicts: 52000 | #Constraints: 41307 287.70/288.86 c #Conflicts: 53000 | #Constraints: 42307 287.70/288.86 c #Conflicts: 54000 | #Constraints: 43307 287.70/288.86 c #Conflicts: 55000 | #Constraints: 44307 287.70/288.86 c #Conflicts: 56000 | #Constraints: 45307 287.70/288.86 c #Conflicts: 57000 | #Constraints: 46307 287.70/288.86 c INPROCESSING 287.70/288.86 c GARBAGE COLLECT 287.70/288.86 c rational objective 196 309.93/311.14 c #Conflicts: 58000 | #Constraints: 36084 309.93/311.14 c #Conflicts: 59000 | #Constraints: 37084 309.93/311.14 c #Conflicts: 60000 | #Constraints: 38084 309.93/311.14 c #Conflicts: 61000 | #Constraints: 39084 309.93/311.14 c #Conflicts: 62000 | #Constraints: 40084 309.93/311.14 c #Conflicts: 63000 | #Constraints: 41084 309.93/311.14 c #Conflicts: 64000 | #Constraints: 42084 309.93/311.14 c #Conflicts: 65000 | #Constraints: 43084 309.93/311.14 c INPROCESSING 309.93/311.14 c GARBAGE COLLECT 309.93/311.14 c rational objective 196 342.40/343.72 c #Conflicts: 66000 | #Constraints: 36688 342.40/343.72 c #Conflicts: 67000 | #Constraints: 37688 342.40/343.72 c #Conflicts: 68000 | #Constraints: 38689 342.40/343.72 c #Conflicts: 69000 | #Constraints: 39689 342.40/343.72 c #Conflicts: 70000 | #Constraints: 40689 342.40/343.72 c #Conflicts: 71000 | #Constraints: 41689 342.40/343.72 c #Conflicts: 72000 | #Constraints: 42689 342.40/343.72 c #Conflicts: 73000 | #Constraints: 43689 342.40/343.72 c #Conflicts: 74000 | #Constraints: 44689 342.40/343.72 c #Conflicts: 75000 | #Constraints: 45689 342.40/343.72 c #Conflicts: 76000 | #Constraints: 46689 342.40/343.72 c #Conflicts: 77000 | #Constraints: 47689 342.40/343.72 c #Conflicts: 78000 | #Constraints: 48689 342.40/343.72 c #Conflicts: 79000 | #Constraints: 49689 342.40/343.72 c #Conflicts: 80000 | #Constraints: 50689 342.40/343.72 c #Conflicts: 81000 | #Constraints: 51689 342.40/343.72 c #Conflicts: 82000 | #Constraints: 52689 342.40/343.72 c INPROCESSING 342.40/343.72 c GARBAGE COLLECT 342.40/343.72 c rational objective 196 367.52/368.97 c #Conflicts: 83000 | #Constraints: 39407 367.52/368.97 c #Conflicts: 84000 | #Constraints: 40407 367.52/368.97 c #Conflicts: 85000 | #Constraints: 41407 367.52/368.97 c #Conflicts: 86000 | #Constraints: 42407 367.52/368.97 c #Conflicts: 87000 | #Constraints: 43407 367.52/368.97 c #Conflicts: 88000 | #Constraints: 44407 367.52/368.97 c #Conflicts: 89000 | #Constraints: 45407 367.52/368.97 c #Conflicts: 90000 | #Constraints: 46407 367.52/368.97 c #Conflicts: 91000 | #Constraints: 47407 367.52/368.97 c INPROCESSING 367.52/368.97 c GARBAGE COLLECT 367.52/368.97 c rational objective 196 460.18/461.98 c #Conflicts: 92000 | #Constraints: 39735 460.18/461.98 c #Conflicts: 93000 | #Constraints: 40735 460.18/461.98 c #Conflicts: 94000 | #Constraints: 41735 460.18/461.98 c #Conflicts: 95000 | #Constraints: 42735 460.18/461.98 c #Conflicts: 96000 | #Constraints: 43735 460.18/461.98 c #Conflicts: 97000 | #Constraints: 44735 460.18/461.98 c #Conflicts: 98000 | #Constraints: 45736 460.18/461.98 c #Conflicts: 99000 | #Constraints: 46736 460.18/461.98 c #Conflicts: 100000 | #Constraints: 47739 460.18/461.98 c #Conflicts: 101000 | #Constraints: 48740 460.18/461.98 c #Conflicts: 102000 | #Constraints: 49740 460.18/461.98 c #Conflicts: 103000 | #Constraints: 50740 460.18/461.98 c #Conflicts: 104000 | #Constraints: 51740 460.18/461.98 c #Conflicts: 105000 | #Constraints: 52740 460.18/461.98 c #Conflicts: 106000 | #Constraints: 53740 460.18/461.98 c #Conflicts: 107000 | #Constraints: 54740 460.18/461.98 c #Conflicts: 108000 | #Constraints: 55740 460.18/461.98 c #Conflicts: 109000 | #Constraints: 56740 460.18/461.98 c #Conflicts: 110000 | #Constraints: 57740 460.18/461.98 c #Conflicts: 111000 | #Constraints: 58740 460.18/461.98 c INPROCESSING 460.18/461.98 c GARBAGE COLLECT 460.18/461.98 c rational objective 196 499.33/501.23 c #Conflicts: 112000 | #Constraints: 42485 499.33/501.23 c #Conflicts: 113000 | #Constraints: 43485 499.33/501.23 c #Conflicts: 114000 | #Constraints: 44485 499.33/501.23 c #Conflicts: 115000 | #Constraints: 45485 499.33/501.23 c #Conflicts: 116000 | #Constraints: 46485 499.33/501.23 c #Conflicts: 117000 | #Constraints: 47485 499.33/501.23 c #Conflicts: 118000 | #Constraints: 48485 499.33/501.23 c #Conflicts: 119000 | #Constraints: 49485 499.33/501.23 c #Conflicts: 120000 | #Constraints: 50485 499.33/501.23 c #Conflicts: 121000 | #Constraints: 51485 499.33/501.23 c INPROCESSING 499.33/501.23 c GARBAGE COLLECT 499.33/501.23 c rational objective 196 782.73/785.72 c #Conflicts: 122000 | #Constraints: 41542 782.73/785.72 c #Conflicts: 123000 | #Constraints: 42542 782.73/785.72 c #Conflicts: 124000 | #Constraints: 43542 782.73/785.72 c #Conflicts: 125000 | #Constraints: 44542 782.73/785.72 c #Conflicts: 126000 | #Constraints: 45542 782.73/785.72 c #Conflicts: 127000 | #Constraints: 46542 782.73/785.72 c #Conflicts: 128000 | #Constraints: 47543 782.73/785.72 c #Conflicts: 129000 | #Constraints: 48543 782.73/785.72 c #Conflicts: 130000 | #Constraints: 49543 782.73/785.72 c #Conflicts: 131000 | #Constraints: 50543 782.73/785.72 c #Conflicts: 132000 | #Constraints: 51543 782.73/785.72 c #Conflicts: 133000 | #Constraints: 52543 782.73/785.72 c #Conflicts: 134000 | #Constraints: 53543 782.73/785.72 c #Conflicts: 135000 | #Constraints: 54543 782.73/785.72 c #Conflicts: 136000 | #Constraints: 55543 782.73/785.72 c #Conflicts: 137000 | #Constraints: 56543 782.73/785.72 c #Conflicts: 138000 | #Constraints: 57543 782.73/785.72 c #Conflicts: 139000 | #Constraints: 58543 782.73/785.72 c #Conflicts: 140000 | #Constraints: 59543 782.73/785.72 c #Conflicts: 141000 | #Constraints: 60544 782.73/785.72 c #Conflicts: 142000 | #Constraints: 61544 782.73/785.72 c #Conflicts: 143000 | #Constraints: 62544 782.73/785.72 c #Conflicts: 144000 | #Constraints: 63544 782.73/785.72 c #Conflicts: 145000 | #Constraints: 64544 782.73/785.72 c INPROCESSING 782.73/785.72 c GARBAGE COLLECT 782.73/785.72 c #Conflicts: 146000 | #Constraints: 45505 782.73/785.72 c #Conflicts: 147000 | #Constraints: 46505 782.73/785.72 c #Conflicts: 148000 | #Constraints: 47505 782.73/785.72 c #Conflicts: 149000 | #Constraints: 48505 782.73/785.72 c #Conflicts: 150000 | #Constraints: 49505 782.73/785.72 c #Conflicts: 151000 | #Constraints: 50505 782.73/785.72 c #Conflicts: 152000 | #Constraints: 51505 782.73/785.72 c #Conflicts: 153000 | #Constraints: 52505 782.73/785.72 c #Conflicts: 154000 | #Constraints: 53505 782.73/785.72 c #Conflicts: 155000 | #Constraints: 54506 782.73/785.72 c #Conflicts: 156000 | #Constraints: 55506 782.73/785.72 c INPROCESSING 782.73/785.72 c GARBAGE COLLECT 782.73/785.72 c rational objective 196 865.97/869.37 c #Conflicts: 157000 | #Constraints: 44808 865.97/869.37 c #Conflicts: 158000 | #Constraints: 45808 865.97/869.37 c #Conflicts: 159000 | #Constraints: 46808 865.97/869.37 c #Conflicts: 160000 | #Constraints: 47808 865.97/869.37 c #Conflicts: 161000 | #Constraints: 48808 865.97/869.37 c #Conflicts: 162000 | #Constraints: 49808 865.97/869.37 c #Conflicts: 163000 | #Constraints: 50808 865.97/869.37 c #Conflicts: 164000 | #Constraints: 51808 865.97/869.37 c #Conflicts: 165000 | #Constraints: 52808 865.97/869.37 c #Conflicts: 166000 | #Constraints: 53808 865.97/869.37 c #Conflicts: 167000 | #Constraints: 54808 865.97/869.37 c #Conflicts: 168000 | #Constraints: 55808 865.97/869.37 c #Conflicts: 169000 | #Constraints: 56808 865.97/869.37 c #Conflicts: 170000 | #Constraints: 57808 865.97/869.37 c #Conflicts: 171000 | #Constraints: 58808 865.97/869.37 c #Conflicts: 172000 | #Constraints: 59808 865.97/869.37 c #Conflicts: 173000 | #Constraints: 60808 865.97/869.37 c #Conflicts: 174000 | #Constraints: 61808 865.97/869.37 c #Conflicts: 175000 | #Constraints: 62808 865.97/869.37 c #Conflicts: 176000 | #Constraints: 63808 865.97/869.37 c #Conflicts: 177000 | #Constraints: 64808 865.97/869.37 c #Conflicts: 178000 | #Constraints: 65808 865.97/869.37 c #Conflicts: 179000 | #Constraints: 66808 865.97/869.37 c #Conflicts: 180000 | #Constraints: 67808 865.97/869.37 c #Conflicts: 181000 | #Constraints: 68808 865.97/869.37 c #Conflicts: 182000 | #Constraints: 69808 865.97/869.37 c #Conflicts: 183000 | #Constraints: 70808 865.97/869.37 c INPROCESSING 865.97/869.37 c GARBAGE COLLECT 865.97/869.37 c rational objective 196 902.53/906.06 c #Conflicts: 184000 | #Constraints: 48684 902.53/906.06 c #Conflicts: 185000 | #Constraints: 49684 902.53/906.06 c #Conflicts: 186000 | #Constraints: 50684 902.53/906.06 c #Conflicts: 187000 | #Constraints: 51684 902.53/906.06 c #Conflicts: 188000 | #Constraints: 52684 902.53/906.06 c #Conflicts: 189000 | #Constraints: 53684 902.53/906.06 c #Conflicts: 190000 | #Constraints: 54684 902.53/906.06 c #Conflicts: 191000 | #Constraints: 55684 902.53/906.06 c #Conflicts: 192000 | #Constraints: 56684 902.53/906.06 c #Conflicts: 193000 | #Constraints: 57684 902.53/906.06 c #Conflicts: 194000 | #Constraints: 58684 902.53/906.06 c #Conflicts: 195000 | #Constraints: 59684 902.53/906.06 c #Conflicts: 196000 | #Constraints: 60684 902.53/906.06 c INPROCESSING 902.53/906.06 c GARBAGE COLLECT 902.53/906.06 c rational objective 196 992.77/996.64 c #Conflicts: 197000 | #Constraints: 48484 992.77/996.64 c #Conflicts: 198000 | #Constraints: 49484 992.77/996.64 c #Conflicts: 199000 | #Constraints: 50485 992.77/996.64 c #Conflicts: 200000 | #Constraints: 51485 992.77/996.64 c #Conflicts: 201000 | #Constraints: 52486 992.77/996.64 c #Conflicts: 202000 | #Constraints: 53486 992.77/996.64 c #Conflicts: 203000 | #Constraints: 54486 992.77/996.64 c #Conflicts: 204000 | #Constraints: 55486 992.77/996.64 c #Conflicts: 205000 | #Constraints: 56487 992.77/996.64 c #Conflicts: 206000 | #Constraints: 57487 992.77/996.64 c #Conflicts: 207000 | #Constraints: 58487 992.77/996.64 c #Conflicts: 208000 | #Constraints: 59488 992.77/996.64 c #Conflicts: 209000 | #Constraints: 60488 992.77/996.64 c #Conflicts: 210000 | #Constraints: 61488 992.77/996.64 c #Conflicts: 211000 | #Constraints: 62488 992.77/996.64 c #Conflicts: 212000 | #Constraints: 63488 992.77/996.64 c #Conflicts: 213000 | #Constraints: 64488 992.77/996.64 c #Conflicts: 214000 | #Constraints: 65488 992.77/996.64 c #Conflicts: 215000 | #Constraints: 66488 992.77/996.64 c #Conflicts: 216000 | #Constraints: 67488 992.77/996.64 c #Conflicts: 217000 | #Constraints: 68488 992.77/996.64 c #Conflicts: 218000 | #Constraints: 69488 992.77/996.64 c #Conflicts: 219000 | #Constraints: 70488 992.77/996.64 c #Conflicts: 220000 | #Constraints: 71488 992.77/996.64 c #Conflicts: 221000 | #Constraints: 72488 992.77/996.64 c #Conflicts: 222000 | #Constraints: 73488 992.77/996.64 c #Conflicts: 223000 | #Constraints: 74488 992.77/996.64 c #Conflicts: 224000 | #Constraints: 75488 992.77/996.64 c #Conflicts: 225000 | #Constraints: 76488 992.77/996.64 c #Conflicts: 226000 | #Constraints: 77488 992.77/996.64 c INPROCESSING 992.77/996.64 c GARBAGE COLLECT 992.77/996.64 c rational objective 196 1021.55/1025.53 c #Conflicts: 227000 | #Constraints: 52261 1021.55/1025.53 c #Conflicts: 228000 | #Constraints: 53262 1021.55/1025.53 c #Conflicts: 229000 | #Constraints: 54262 1021.55/1025.53 c #Conflicts: 230000 | #Constraints: 55262 1021.55/1025.53 c #Conflicts: 231000 | #Constraints: 56262 1021.55/1025.53 c #Conflicts: 232000 | #Constraints: 57263 1021.55/1025.53 c #Conflicts: 233000 | #Constraints: 58263 1021.55/1025.53 c #Conflicts: 234000 | #Constraints: 59263 1021.55/1025.53 c #Conflicts: 235000 | #Constraints: 60263 1021.55/1025.53 c #Conflicts: 236000 | #Constraints: 61263 1021.55/1025.53 c #Conflicts: 237000 | #Constraints: 62263 1021.55/1025.53 c #Conflicts: 238000 | #Constraints: 63263 1021.55/1025.53 c #Conflicts: 239000 | #Constraints: 64263 1021.55/1025.53 c #Conflicts: 240000 | #Constraints: 65263 1021.55/1025.53 c INPROCESSING 1021.55/1025.53 c GARBAGE COLLECT 1021.55/1025.53 c rational objective 196 1101.86/1106.17 c #Conflicts: 241000 | #Constraints: 50588 1101.86/1106.17 c #Conflicts: 242000 | #Constraints: 51588 1101.86/1106.17 c #Conflicts: 243000 | #Constraints: 52588 1101.86/1106.17 c #Conflicts: 244000 | #Constraints: 53588 1101.86/1106.17 c #Conflicts: 245000 | #Constraints: 54588 1101.86/1106.17 c #Conflicts: 246000 | #Constraints: 55588 1101.86/1106.17 c #Conflicts: 247000 | #Constraints: 56588 1101.86/1106.17 c #Conflicts: 248000 | #Constraints: 57589 1101.86/1106.17 c #Conflicts: 249000 | #Constraints: 58590 1101.86/1106.17 c #Conflicts: 250000 | #Constraints: 59590 1101.86/1106.17 c #Conflicts: 251000 | #Constraints: 60590 1101.86/1106.17 c #Conflicts: 252000 | #Constraints: 61590 1101.86/1106.17 c #Conflicts: 253000 | #Constraints: 62590 1101.86/1106.17 c #Conflicts: 254000 | #Constraints: 63590 1101.86/1106.17 c #Conflicts: 255000 | #Constraints: 64590 1101.86/1106.17 c #Conflicts: 256000 | #Constraints: 65590 1101.86/1106.17 c #Conflicts: 257000 | #Constraints: 66590 1101.86/1106.17 c #Conflicts: 258000 | #Constraints: 67590 1101.86/1106.17 c #Conflicts: 259000 | #Constraints: 68590 1101.86/1106.17 c #Conflicts: 260000 | #Constraints: 69590 1101.86/1106.17 c #Conflicts: 261000 | #Constraints: 70590 1101.86/1106.17 c #Conflicts: 262000 | #Constraints: 71590 1101.86/1106.17 c #Conflicts: 263000 | #Constraints: 72591 1101.86/1106.17 c #Conflicts: 264000 | #Constraints: 73591 1101.86/1106.17 c #Conflicts: 265000 | #Constraints: 74591 1101.86/1106.17 c #Conflicts: 266000 | #Constraints: 75591 1101.86/1106.17 c #Conflicts: 267000 | #Constraints: 76591 1101.86/1106.17 c #Conflicts: 268000 | #Constraints: 77591 1101.86/1106.17 c #Conflicts: 269000 | #Constraints: 78591 1101.86/1106.17 c #Conflicts: 270000 | #Constraints: 79591 1101.86/1106.17 c #Conflicts: 271000 | #Constraints: 80591 1101.86/1106.17 c #Conflicts: 272000 | #Constraints: 81591 1101.86/1106.17 c #Conflicts: 273000 | #Constraints: 82591 1101.86/1106.17 c INPROCESSING 1101.86/1106.17 c GARBAGE COLLECT 1101.86/1106.17 c rational objective 196 1142.50/1146.91 c #Conflicts: 274000 | #Constraints: 55260 1142.50/1146.91 c #Conflicts: 275000 | #Constraints: 56260 1142.50/1146.91 c #Conflicts: 276000 | #Constraints: 57260 1142.50/1146.91 c #Conflicts: 277000 | #Constraints: 58260 1142.50/1146.91 c #Conflicts: 278000 | #Constraints: 59260 1142.50/1146.91 c #Conflicts: 279000 | #Constraints: 60260 1142.50/1146.91 c #Conflicts: 280000 | #Constraints: 61260 1142.50/1146.91 c #Conflicts: 281000 | #Constraints: 62260 1142.50/1146.91 c #Conflicts: 282000 | #Constraints: 63260 1142.50/1146.91 c #Conflicts: 283000 | #Constraints: 64261 1142.50/1146.91 c #Conflicts: 284000 | #Constraints: 65261 1142.50/1146.91 c #Conflicts: 285000 | #Constraints: 66261 1142.50/1146.91 c #Conflicts: 286000 | #Constraints: 67261 1142.50/1146.91 c #Conflicts: 287000 | #Constraints: 68261 1142.50/1146.91 c #Conflicts: 288000 | #Constraints: 69261 1142.50/1146.91 c INPROCESSING 1142.50/1146.91 c GARBAGE COLLECT 1142.50/1146.91 c rational objective 196 1282.69/1287.60 c #Conflicts: 289000 | #Constraints: 53982 1282.69/1287.60 c #Conflicts: 290000 | #Constraints: 54982 1282.69/1287.60 c #Conflicts: 291000 | #Constraints: 55982 1282.69/1287.60 c #Conflicts: 292000 | #Constraints: 56982 1282.69/1287.60 c #Conflicts: 293000 | #Constraints: 57982 1282.69/1287.60 c #Conflicts: 294000 | #Constraints: 58982 1282.69/1287.60 c #Conflicts: 295000 | #Constraints: 59982 1282.69/1287.60 c #Conflicts: 296000 | #Constraints: 60982 1282.69/1287.60 c #Conflicts: 297000 | #Constraints: 61982 1282.69/1287.60 c #Conflicts: 298000 | #Constraints: 62983 1282.69/1287.60 c #Conflicts: 299000 | #Constraints: 63983 1282.69/1287.60 c #Conflicts: 300000 | #Constraints: 64983 1282.69/1287.60 c #Conflicts: 301000 | #Constraints: 65983 1282.69/1287.60 c #Conflicts: 302000 | #Constraints: 66983 1282.69/1287.60 c #Conflicts: 303000 | #Constraints: 67983 1282.69/1287.60 c #Conflicts: 304000 | #Constraints: 68983 1282.69/1287.60 c #Conflicts: 305000 | #Constraints: 69983 1282.69/1287.60 c #Conflicts: 306000 | #Constraints: 70983 1282.69/1287.60 c #Conflicts: 307000 | #Constraints: 71983 1282.69/1287.60 c #Conflicts: 308000 | #Constraints: 72983 1282.69/1287.60 c #Conflicts: 309000 | #Constraints: 73983 1282.69/1287.60 c #Conflicts: 310000 | #Constraints: 74983 1282.69/1287.60 c #Conflicts: 311000 | #Constraints: 75983 1282.69/1287.60 c #Conflicts: 312000 | #Constraints: 76983 1282.69/1287.60 c #Conflicts: 313000 | #Constraints: 77984 1282.69/1287.60 c #Conflicts: 314000 | #Constraints: 78984 1282.69/1287.60 c #Conflicts: 315000 | #Constraints: 79984 1282.69/1287.60 c #Conflicts: 316000 | #Constraints: 80984 1282.69/1287.60 c #Conflicts: 317000 | #Constraints: 81984 1282.69/1287.60 c #Conflicts: 318000 | #Constraints: 82984 1282.69/1287.60 c #Conflicts: 319000 | #Constraints: 83984 1282.69/1287.60 c #Conflicts: 320000 | #Constraints: 84984 1282.69/1287.60 c #Conflicts: 321000 | #Constraints: 85984 1282.69/1287.60 c #Conflicts: 322000 | #Constraints: 86984 1282.69/1287.60 c #Conflicts: 323000 | #Constraints: 87984 1282.69/1287.60 c #Conflicts: 324000 | #Constraints: 88984 1282.69/1287.60 c INPROCESSING 1282.69/1287.60 c GARBAGE COLLECT 1282.69/1287.60 c rational objective 196 1604.73/1611.00 c #Conflicts: 325000 | #Constraints: 57214 1604.73/1611.00 c #Conflicts: 326000 | #Constraints: 58214 1604.73/1611.00 c #Conflicts: 327000 | #Constraints: 59214 1604.73/1611.00 c #Conflicts: 328000 | #Constraints: 60215 1604.73/1611.00 c #Conflicts: 329000 | #Constraints: 61215 1604.73/1611.00 c #Conflicts: 330000 | #Constraints: 62215 1604.73/1611.00 c #Conflicts: 331000 | #Constraints: 63215 1604.73/1611.00 c #Conflicts: 332000 | #Constraints: 64215 1604.73/1611.00 c #Conflicts: 333000 | #Constraints: 65215 1604.73/1611.00 c #Conflicts: 334000 | #Constraints: 66215 1604.73/1611.00 c #Conflicts: 335000 | #Constraints: 67215 1604.73/1611.00 c #Conflicts: 336000 | #Constraints: 68215 1604.73/1611.00 c #Conflicts: 337000 | #Constraints: 69215 1604.73/1611.00 c #Conflicts: 338000 | #Constraints: 70215 1604.73/1611.00 c #Conflicts: 339000 | #Constraints: 71215 1604.73/1611.00 c #Conflicts: 340000 | #Constraints: 72215 1604.73/1611.00 c INPROCESSING 1604.73/1611.00 c GARBAGE COLLECT 1604.73/1611.00 c rational objective 196 1784.12/1791.05 c #Conflicts: 341000 | #Constraints: 56369 1784.12/1791.05 c #Conflicts: 342000 | #Constraints: 57369 1784.12/1791.05 c #Conflicts: 343000 | #Constraints: 58369 1784.12/1791.05 c #Conflicts: 344000 | #Constraints: 59369 1784.12/1791.05 c #Conflicts: 345000 | #Constraints: 60369 1784.12/1791.05 c #Conflicts: 346000 | #Constraints: 61369 1784.12/1791.05 c #Conflicts: 347000 | #Constraints: 62369 1784.12/1791.05 c #Conflicts: 348000 | #Constraints: 63369 1784.12/1791.05 c #Conflicts: 349000 | #Constraints: 64370 1784.12/1791.05 c #Conflicts: 350000 | #Constraints: 65370 1784.12/1791.05 c #Conflicts: 351000 | #Constraints: 66371 1784.12/1791.05 c #Conflicts: 352000 | #Constraints: 67371 1784.12/1791.05 c #Conflicts: 353000 | #Constraints: 68371 1784.12/1791.05 c #Conflicts: 354000 | #Constraints: 69371 1784.12/1791.05 c #Conflicts: 355000 | #Constraints: 70371 1784.12/1791.05 c #Conflicts: 356000 | #Constraints: 71371 1784.12/1791.05 c #Conflicts: 357000 | #Constraints: 72371 1784.12/1791.05 c #Conflicts: 358000 | #Constraints: 73371 1784.12/1791.05 c #Conflicts: 359000 | #Constraints: 74371 1784.12/1791.05 c #Conflicts: 360000 | #Constraints: 75371 1784.12/1791.05 c #Conflicts: 361000 | #Constraints: 76371 1784.12/1791.05 c #Conflicts: 362000 | #Constraints: 77371 1784.12/1791.05 c #Conflicts: 363000 | #Constraints: 78371 1784.12/1791.05 c #Conflicts: 364000 | #Constraints: 79371 1784.12/1791.05 c #Conflicts: 365000 | #Constraints: 80371 1784.12/1791.05 c #Conflicts: 366000 | #Constraints: 81372 1784.12/1791.05 c #Conflicts: 367000 | #Constraints: 82372 1784.12/1791.05 c #Conflicts: 368000 | #Constraints: 83372 1784.12/1791.05 c #Conflicts: 369000 | #Constraints: 84372 1784.12/1791.05 c #Conflicts: 370000 | #Constraints: 85373 1784.12/1791.05 c #Conflicts: 371000 | #Constraints: 86373 1784.12/1791.05 c #Conflicts: 372000 | #Constraints: 87373 1784.12/1791.05 c #Conflicts: 373000 | #Constraints: 88373 1784.12/1791.05 c #Conflicts: 374000 | #Constraints: 89373 1784.12/1791.05 c #Conflicts: 375000 | #Constraints: 90373 1784.12/1791.05 c #Conflicts: 376000 | #Constraints: 91373 1784.12/1791.05 c #Conflicts: 377000 | #Constraints: 92373 1784.12/1791.05 c #Conflicts: 378000 | #Constraints: 93373 1784.12/1791.05 c #Conflicts: 379000 | #Constraints: 94373 1784.12/1791.05 c #Conflicts: 380000 | #Constraints: 95373 1784.12/1791.05 c INPROCESSING 1784.12/1791.05 c GARBAGE COLLECT 1784.12/1791.05 c rational objective 196 1863.82/1871.04 c #Conflicts: 381000 | #Constraints: 61465 1863.82/1871.04 c #Conflicts: 382000 | #Constraints: 62466 1863.82/1871.04 c #Conflicts: 383000 | #Constraints: 63466 1863.82/1871.04 c #Conflicts: 384000 | #Constraints: 64466 1863.82/1871.04 c #Conflicts: 385000 | #Constraints: 65466 1863.82/1871.04 c #Conflicts: 386000 | #Constraints: 66466 1863.82/1871.04 c #Conflicts: 387000 | #Constraints: 67466 1863.82/1871.04 c #Conflicts: 388000 | #Constraints: 68466 1863.82/1871.04 c #Conflicts: 389000 | #Constraints: 69466 1863.82/1871.04 c #Conflicts: 390000 | #Constraints: 70467 1863.82/1871.04 c #Conflicts: 391000 | #Constraints: 71467 1863.82/1871.04 c #Conflicts: 392000 | #Constraints: 72467 1863.82/1871.04 c #Conflicts: 393000 | #Constraints: 73467 1863.82/1871.04 c #Conflicts: 394000 | #Constraints: 74467 1863.82/1871.04 c #Conflicts: 395000 | #Constraints: 75467 1863.82/1871.04 c #Conflicts: 396000 | #Constraints: 76467 1863.82/1871.04 c #Conflicts: 397000 | #Constraints: 77467 1863.82/1871.04 c INPROCESSING 1863.82/1871.04 c GARBAGE COLLECT 1863.82/1871.04 c rational objective 196 2178.80/2187.25 c #Conflicts: 398000 | #Constraints: 59859 2178.80/2187.25 c #Conflicts: 399000 | #Constraints: 60859 2178.80/2187.25 c #Conflicts: 400000 | #Constraints: 61859 2178.80/2187.25 c #Conflicts: 401000 | #Constraints: 62859 2178.80/2187.25 c #Conflicts: 402000 | #Constraints: 63859 2178.80/2187.25 c #Conflicts: 403000 | #Constraints: 64859 2178.80/2187.25 c #Conflicts: 404000 | #Constraints: 65859 2178.80/2187.25 c #Conflicts: 405000 | #Constraints: 66859 2178.80/2187.25 c #Conflicts: 406000 | #Constraints: 67859 2178.80/2187.25 c #Conflicts: 407000 | #Constraints: 68859 2178.80/2187.25 c #Conflicts: 408000 | #Constraints: 69859 2178.80/2187.25 c #Conflicts: 409000 | #Constraints: 70859 2178.80/2187.25 c #Conflicts: 410000 | #Constraints: 71859 2178.80/2187.25 c #Conflicts: 411000 | #Constraints: 72859 2178.80/2187.25 c #Conflicts: 412000 | #Constraints: 73859 2178.80/2187.25 c #Conflicts: 413000 | #Constraints: 74859 2178.80/2187.25 c #Conflicts: 414000 | #Constraints: 75859 2178.80/2187.25 c #Conflicts: 415000 | #Constraints: 76859 2178.80/2187.25 c #Conflicts: 416000 | #Constraints: 77859 2178.80/2187.25 c #Conflicts: 417000 | #Constraints: 78860 2178.80/2187.25 c #Conflicts: 418000 | #Constraints: 79860 2178.80/2187.25 c #Conflicts: 419000 | #Constraints: 80860 2178.80/2187.25 c #Conflicts: 420000 | #Constraints: 81860 2178.80/2187.25 c #Conflicts: 421000 | #Constraints: 82860 2178.80/2187.25 c #Conflicts: 422000 | #Constraints: 83860 2178.80/2187.25 c #Conflicts: 423000 | #Constraints: 84860 2178.80/2187.25 c #Conflicts: 424000 | #Constraints: 85860 2178.80/2187.25 c #Conflicts: 425000 | #Constraints: 86860 2178.80/2187.25 c #Conflicts: 426000 | #Constraints: 87860 2178.80/2187.25 c #Conflicts: 427000 | #Constraints: 88860 2178.80/2187.25 c #Conflicts: 428000 | #Constraints: 89860 2178.80/2187.25 c #Conflicts: 429000 | #Constraints: 90860 2178.80/2187.25 c #Conflicts: 430000 | #Constraints: 91860 2178.80/2187.25 c #Conflicts: 431000 | #Constraints: 92861 2178.80/2187.25 c #Conflicts: 432000 | #Constraints: 93861 2178.80/2187.25 c #Conflicts: 433000 | #Constraints: 94861 2178.80/2187.25 c #Conflicts: 434000 | #Constraints: 95861 2178.80/2187.25 c #Conflicts: 435000 | #Constraints: 96861 2178.80/2187.25 c #Conflicts: 436000 | #Constraints: 97861 2178.80/2187.25 c #Conflicts: 437000 | #Constraints: 98861 2178.80/2187.25 c #Conflicts: 438000 | #Constraints: 99861 2178.80/2187.25 c #Conflicts: 439000 | #Constraints: 100861 2178.80/2187.25 c #Conflicts: 440000 | #Constraints: 101861 2178.80/2187.25 c INPROCESSING 2178.80/2187.25 c GARBAGE COLLECT 2178.80/2187.25 c rational objective 196 2478.69/2488.26 c #Conflicts: 441000 | #Constraints: 64757 2478.69/2488.26 c #Conflicts: 442000 | #Constraints: 65757 2478.69/2488.26 c #Conflicts: 443000 | #Constraints: 66757 2478.69/2488.26 c #Conflicts: 444000 | #Constraints: 67757 2478.69/2488.26 c #Conflicts: 445000 | #Constraints: 68758 2478.69/2488.26 c #Conflicts: 446000 | #Constraints: 69758 2478.69/2488.26 c #Conflicts: 447000 | #Constraints: 70758 2478.69/2488.26 c #Conflicts: 448000 | #Constraints: 71758 2478.69/2488.26 c #Conflicts: 449000 | #Constraints: 72758 2478.69/2488.26 c #Conflicts: 450000 | #Constraints: 73758 2478.69/2488.26 c #Conflicts: 451000 | #Constraints: 74758 2478.69/2488.26 c #Conflicts: 452000 | #Constraints: 75758 2478.69/2488.26 c #Conflicts: 453000 | #Constraints: 76758 2478.69/2488.26 c #Conflicts: 454000 | #Constraints: 77759 2478.69/2488.26 c #Conflicts: 455000 | #Constraints: 78759 2478.69/2488.26 c #Conflicts: 456000 | #Constraints: 79759 2478.69/2488.26 c #Conflicts: 457000 | #Constraints: 80759 2478.69/2488.26 c #Conflicts: 458000 | #Constraints: 81759 2478.69/2488.26 c #Conflicts: 459000 | #Constraints: 82759 2478.69/2488.26 c INPROCESSING 2478.69/2488.26 c GARBAGE COLLECT 2478.69/2488.26 c #Conflicts: 460000 | #Constraints: 62902 2478.69/2488.27 c #Conflicts: 461000 | #Constraints: 63902 2478.69/2488.27 c #Conflicts: 462000 | #Constraints: 64902 2478.69/2488.27 c #Conflicts: 463000 | #Constraints: 65902 2478.69/2488.27 c #Conflicts: 464000 | #Constraints: 66902 2478.69/2488.27 c #Conflicts: 465000 | #Constraints: 67902 2478.69/2488.27 c #Conflicts: 466000 | #Constraints: 68902 2478.69/2488.27 c #Conflicts: 467000 | #Constraints: 69902 2478.69/2488.27 c #Conflicts: 468000 | #Constraints: 70902 2478.69/2488.27 c #Conflicts: 469000 | #Constraints: 71903 2478.69/2488.27 c #Conflicts: 470000 | #Constraints: 72903 2478.69/2488.27 c #Conflicts: 471000 | #Constraints: 73903 2478.69/2488.27 c #Conflicts: 472000 | #Constraints: 74903 2478.69/2488.27 c #Conflicts: 473000 | #Constraints: 75903 2478.69/2488.27 c #Conflicts: 474000 | #Constraints: 76903 2478.69/2488.27 c #Conflicts: 475000 | #Constraints: 77903 2478.69/2488.27 c #Conflicts: 476000 | #Constraints: 78903 2478.69/2488.27 c #Conflicts: 477000 | #Constraints: 79903 2478.69/2488.27 c #Conflicts: 478000 | #Constraints: 80903 2478.69/2488.27 c #Conflicts: 479000 | #Constraints: 81903 2478.69/2488.27 c #Conflicts: 480000 | #Constraints: 82903 2478.69/2488.27 c #Conflicts: 481000 | #Constraints: 83903 2478.69/2488.27 c #Conflicts: 482000 | #Constraints: 84903 2478.69/2488.27 c #Conflicts: 483000 | #Constraints: 85903 2478.69/2488.27 c #Conflicts: 484000 | #Constraints: 86903 2478.69/2488.27 c #Conflicts: 485000 | #Constraints: 87903 2478.69/2488.27 c #Conflicts: 486000 | #Constraints: 88903 2478.69/2488.27 c #Conflicts: 487000 | #Constraints: 89903 2478.69/2488.27 c #Conflicts: 488000 | #Constraints: 90903 2478.69/2488.27 c #Conflicts: 489000 | #Constraints: 91903 2478.69/2488.27 c #Conflicts: 490000 | #Constraints: 92903 2478.69/2488.27 c #Conflicts: 491000 | #Constraints: 93903 2478.69/2488.27 c #Conflicts: 492000 | #Constraints: 94903 2478.69/2488.27 c #Conflicts: 493000 | #Constraints: 95903 2478.69/2488.27 c #Conflicts: 494000 | #Constraints: 96903 2478.69/2488.27 c #Conflicts: 495000 | #Constraints: 97903 2478.69/2488.27 c #Conflicts: 496000 | #Constraints: 98903 2478.69/2488.27 c #Conflicts: 497000 | #Constraints: 99903 2478.69/2488.27 c #Conflicts: 498000 | #Constraints: 100903 2478.69/2488.27 c #Conflicts: 499000 | #Constraints: 101903 2478.69/2488.27 c #Conflicts: 500000 | #Constraints: 102903 2478.69/2488.27 c #Conflicts: 501000 | #Constraints: 103903 2478.69/2488.27 c #Conflicts: 502000 | #Constraints: 104903 2478.69/2488.27 c #Conflicts: 503000 | #Constraints: 105903 2478.69/2488.27 c #Conflicts: 504000 | #Constraints: 106903 2478.69/2488.27 c INPROCESSING 2478.69/2488.27 c GARBAGE COLLECT 2478.69/2488.27 c #Conflicts: 505000 | #Constraints: 67073 2478.69/2488.27 c #Conflicts: 506000 | #Constraints: 68073 2478.69/2488.27 c #Conflicts: 507000 | #Constraints: 69073 2478.69/2488.27 c #Conflicts: 508000 | #Constraints: 70073 2478.69/2488.27 c #Conflicts: 509000 | #Constraints: 71073 2478.69/2488.27 c #Conflicts: 510000 | #Constraints: 72073 2478.69/2488.27 c #Conflicts: 511000 | #Constraints: 73073 2478.69/2488.27 c #Conflicts: 512000 | #Constraints: 74073 2478.69/2488.27 c #Conflicts: 513000 | #Constraints: 75073 2478.69/2488.27 c #Conflicts: 514000 | #Constraints: 76073 2478.69/2488.27 c #Conflicts: 515000 | #Constraints: 77073 2478.69/2488.27 c #Conflicts: 516000 | #Constraints: 78073 2478.69/2488.27 c #Conflicts: 517000 | #Constraints: 79074 2478.69/2488.27 c #Conflicts: 518000 | #Constraints: 80074 2525.61/2535.34 c #Conflicts: 519000 | #Constraints: 81074 2525.61/2535.34 c #Conflicts: 520000 | #Constraints: 82074 2525.61/2535.34 c #Conflicts: 521000 | #Constraints: 83074 2525.61/2535.34 c #Conflicts: 522000 | #Constraints: 84074 2525.61/2535.34 c #Conflicts: 523000 | #Constraints: 85074 2525.61/2535.34 c #Conflicts: 524000 | #Constraints: 86074 2525.61/2535.34 c #Conflicts: 525000 | #Constraints: 87074 2525.61/2535.34 c INPROCESSING 2525.61/2535.34 c GARBAGE COLLECT 2525.61/2535.34 c rational objective 196 2702.06/2712.48 c #Conflicts: 526000 | #Constraints: 65453 2702.06/2712.48 c #Conflicts: 527000 | #Constraints: 66453 2702.06/2712.48 c #Conflicts: 528000 | #Constraints: 67453 2702.06/2712.48 c #Conflicts: 529000 | #Constraints: 68453 2702.06/2712.48 c #Conflicts: 530000 | #Constraints: 69453 2702.06/2712.48 c #Conflicts: 531000 | #Constraints: 70453 2702.06/2712.48 c #Conflicts: 532000 | #Constraints: 71453 2702.06/2712.48 c #Conflicts: 533000 | #Constraints: 72453 2702.06/2712.48 c #Conflicts: 534000 | #Constraints: 73453 2702.06/2712.48 c #Conflicts: 535000 | #Constraints: 74453 2702.06/2712.48 c #Conflicts: 536000 | #Constraints: 75453 2702.06/2712.48 c #Conflicts: 537000 | #Constraints: 76453 2702.06/2712.48 c #Conflicts: 538000 | #Constraints: 77453 2702.06/2712.48 c #Conflicts: 539000 | #Constraints: 78453 2702.06/2712.48 c #Conflicts: 540000 | #Constraints: 79453 2702.06/2712.48 c #Conflicts: 541000 | #Constraints: 80453 2702.06/2712.48 c #Conflicts: 542000 | #Constraints: 81453 2702.06/2712.48 c #Conflicts: 543000 | #Constraints: 82453 2702.06/2712.48 c #Conflicts: 544000 | #Constraints: 83453 2702.06/2712.48 c #Conflicts: 545000 | #Constraints: 84453 2702.06/2712.48 c #Conflicts: 546000 | #Constraints: 85453 2702.06/2712.48 c #Conflicts: 547000 | #Constraints: 86453 2702.06/2712.48 c #Conflicts: 548000 | #Constraints: 87453 2702.06/2712.48 c #Conflicts: 549000 | #Constraints: 88454 2702.06/2712.48 c #Conflicts: 550000 | #Constraints: 89454 2702.06/2712.48 c #Conflicts: 551000 | #Constraints: 90454 2702.06/2712.48 c #Conflicts: 552000 | #Constraints: 91454 2702.06/2712.48 c #Conflicts: 553000 | #Constraints: 92454 2702.06/2712.48 c #Conflicts: 554000 | #Constraints: 93454 2702.06/2712.48 c #Conflicts: 555000 | #Constraints: 94454 2702.06/2712.48 c #Conflicts: 556000 | #Constraints: 95454 2702.06/2712.48 c #Conflicts: 557000 | #Constraints: 96454 2702.06/2712.48 c #Conflicts: 558000 | #Constraints: 97454 2702.06/2712.48 c #Conflicts: 559000 | #Constraints: 98454 2702.06/2712.48 c #Conflicts: 560000 | #Constraints: 99454 2702.06/2712.48 c #Conflicts: 561000 | #Constraints: 100454 2702.06/2712.48 c #Conflicts: 562000 | #Constraints: 101454 2702.06/2712.48 c #Conflicts: 563000 | #Constraints: 102454 2702.06/2712.48 c #Conflicts: 564000 | #Constraints: 103454 2702.06/2712.48 c #Conflicts: 565000 | #Constraints: 104454 2702.06/2712.48 c #Conflicts: 566000 | #Constraints: 105454 2702.06/2712.48 c #Conflicts: 567000 | #Constraints: 106454 2702.06/2712.48 c #Conflicts: 568000 | #Constraints: 107454 2702.06/2712.48 c #Conflicts: 569000 | #Constraints: 108454 2702.06/2712.48 c #Conflicts: 570000 | #Constraints: 109454 2702.06/2712.48 c #Conflicts: 571000 | #Constraints: 110454 2702.06/2712.48 c #Conflicts: 572000 | #Constraints: 111454 2702.06/2712.48 c #Conflicts: 573000 | #Constraints: 112454 2702.06/2712.48 c INPROCESSING 2702.06/2712.48 c GARBAGE COLLECT 2702.06/2712.48 c rational objective 196 2748.40/2758.93 c #Conflicts: 574000 | #Constraints: 70304 2748.40/2758.93 c #Conflicts: 575000 | #Constraints: 71304 2748.40/2758.93 c #Conflicts: 576000 | #Constraints: 72304 2748.40/2758.93 c #Conflicts: 577000 | #Constraints: 73304 2748.40/2758.93 c #Conflicts: 578000 | #Constraints: 74304 2748.40/2758.93 c #Conflicts: 579000 | #Constraints: 75304 2748.40/2758.93 c #Conflicts: 580000 | #Constraints: 76304 2748.40/2758.93 c #Conflicts: 581000 | #Constraints: 77304 2748.40/2758.93 c #Conflicts: 582000 | #Constraints: 78304 2748.40/2758.93 c #Conflicts: 583000 | #Constraints: 79304 2748.40/2758.93 c #Conflicts: 584000 | #Constraints: 80304 2748.40/2758.93 c #Conflicts: 585000 | #Constraints: 81304 2748.40/2758.93 c #Conflicts: 586000 | #Constraints: 82304 2748.40/2758.93 c #Conflicts: 587000 | #Constraints: 83304 2748.40/2758.93 c #Conflicts: 588000 | #Constraints: 84304 2748.40/2758.93 c #Conflicts: 589000 | #Constraints: 85304 2748.40/2758.93 c #Conflicts: 590000 | #Constraints: 86304 2748.40/2758.93 c #Conflicts: 591000 | #Constraints: 87304 2748.40/2758.93 c #Conflicts: 592000 | #Constraints: 88304 2748.40/2758.93 c #Conflicts: 593000 | #Constraints: 89304 2748.40/2758.93 c #Conflicts: 594000 | #Constraints: 90304 2748.40/2758.93 c #Conflicts: 595000 | #Constraints: 91304 2748.40/2758.93 c INPROCESSING 2748.40/2758.93 c GARBAGE COLLECT 2748.40/2758.93 c rational objective 196 2902.65/2913.77 c #Conflicts: 596000 | #Constraints: 68989 2902.65/2913.77 c #Conflicts: 597000 | #Constraints: 69989 2902.65/2913.77 c #Conflicts: 598000 | #Constraints: 70989 2902.65/2913.77 c #Conflicts: 599000 | #Constraints: 71989 2902.65/2913.77 c #Conflicts: 600000 | #Constraints: 72989 2902.65/2913.77 c #Conflicts: 601000 | #Constraints: 73989 2902.65/2913.77 c #Conflicts: 602000 | #Constraints: 74989 2902.65/2913.77 c #Conflicts: 603000 | #Constraints: 75989 2902.65/2913.77 c #Conflicts: 604000 | #Constraints: 76989 2902.65/2913.77 c #Conflicts: 605000 | #Constraints: 77989 2902.65/2913.77 c #Conflicts: 606000 | #Constraints: 78989 2902.65/2913.77 c #Conflicts: 607000 | #Constraints: 79989 2902.65/2913.77 c #Conflicts: 608000 | #Constraints: 80989 2902.65/2913.77 c #Conflicts: 609000 | #Constraints: 81989 2902.65/2913.77 c #Conflicts: 610000 | #Constraints: 82989 2902.65/2913.77 c #Conflicts: 611000 | #Constraints: 83989 2902.65/2913.77 c #Conflicts: 612000 | #Constraints: 84989 2902.65/2913.77 c #Conflicts: 613000 | #Constraints: 85989 2902.65/2913.77 c #Conflicts: 614000 | #Constraints: 86989 2902.65/2913.77 c #Conflicts: 615000 | #Constraints: 87989 2902.65/2913.77 c #Conflicts: 616000 | #Constraints: 88989 2902.65/2913.77 c #Conflicts: 617000 | #Constraints: 89989 2902.65/2913.77 c #Conflicts: 618000 | #Constraints: 90990 2902.65/2913.77 c #Conflicts: 619000 | #Constraints: 91990 2902.65/2913.77 c #Conflicts: 620000 | #Constraints: 92990 2902.65/2913.77 c #Conflicts: 621000 | #Constraints: 93990 2902.65/2913.77 c #Conflicts: 622000 | #Constraints: 94990 2902.65/2913.77 c #Conflicts: 623000 | #Constraints: 95990 2902.65/2913.77 c #Conflicts: 624000 | #Constraints: 96990 2902.65/2913.77 c #Conflicts: 625000 | #Constraints: 97990 2902.65/2913.77 c #Conflicts: 626000 | #Constraints: 98990 2902.65/2913.77 c #Conflicts: 627000 | #Constraints: 99990 2902.65/2913.77 c #Conflicts: 628000 | #Constraints: 100990 2902.65/2913.77 c #Conflicts: 629000 | #Constraints: 101990 2902.65/2913.77 c #Conflicts: 630000 | #Constraints: 102990 2902.65/2913.77 c #Conflicts: 631000 | #Constraints: 103990 2902.65/2913.77 c #Conflicts: 632000 | #Constraints: 104990 2902.65/2913.77 c #Conflicts: 633000 | #Constraints: 105990 2902.65/2913.77 c #Conflicts: 634000 | #Constraints: 106990 2902.65/2913.77 c #Conflicts: 635000 | #Constraints: 107992 2902.65/2913.77 c #Conflicts: 636000 | #Constraints: 108992 2902.65/2913.77 c #Conflicts: 637000 | #Constraints: 109992 2902.65/2913.77 c #Conflicts: 638000 | #Constraints: 110992 2902.65/2913.77 c #Conflicts: 639000 | #Constraints: 111992 2902.65/2913.77 c #Conflicts: 640000 | #Constraints: 112992 2902.65/2913.77 c #Conflicts: 641000 | #Constraints: 113992 2902.65/2913.77 c #Conflicts: 642000 | #Constraints: 114992 2902.65/2913.77 c #Conflicts: 643000 | #Constraints: 115992 2902.65/2913.77 c #Conflicts: 644000 | #Constraints: 116992 2902.65/2913.77 c #Conflicts: 645000 | #Constraints: 117992 2902.65/2913.77 c #Conflicts: 646000 | #Constraints: 118992 2902.65/2913.77 c INPROCESSING 2902.65/2913.77 c GARBAGE COLLECT 2902.65/2913.77 c rational objective 196 2951.50/2962.75 c #Conflicts: 647000 | #Constraints: 73365 2951.50/2962.75 c #Conflicts: 648000 | #Constraints: 74365 2951.50/2962.75 c #Conflicts: 649000 | #Constraints: 75365 2951.50/2962.75 c #Conflicts: 650000 | #Constraints: 76365 2951.50/2962.75 c #Conflicts: 651000 | #Constraints: 77365 2951.50/2962.75 c #Conflicts: 652000 | #Constraints: 78365 2951.50/2962.75 c #Conflicts: 653000 | #Constraints: 79365 2951.50/2962.75 c #Conflicts: 654000 | #Constraints: 80365 2951.50/2962.75 c #Conflicts: 655000 | #Constraints: 81365 2951.50/2962.75 c #Conflicts: 656000 | #Constraints: 82365 2951.50/2962.75 c #Conflicts: 657000 | #Constraints: 83365 2951.50/2962.75 c #Conflicts: 658000 | #Constraints: 84365 2951.50/2962.75 c #Conflicts: 659000 | #Constraints: 85365 2951.50/2962.75 c #Conflicts: 660000 | #Constraints: 86365 2951.50/2962.75 c #Conflicts: 661000 | #Constraints: 87365 2951.50/2962.75 c #Conflicts: 662000 | #Constraints: 88365 2951.50/2962.75 c #Conflicts: 663000 | #Constraints: 89365 2951.50/2962.75 c #Conflicts: 664000 | #Constraints: 90365 2951.50/2962.75 c #Conflicts: 665000 | #Constraints: 91365 2951.50/2962.75 c #Conflicts: 666000 | #Constraints: 92365 2951.50/2962.75 c #Conflicts: 667000 | #Constraints: 93365 2951.50/2962.75 c #Conflicts: 668000 | #Constraints: 94365 2951.50/2962.75 c #Conflicts: 669000 | #Constraints: 95365 2951.50/2962.75 c INPROCESSING 2951.50/2962.75 c GARBAGE COLLECT 2951.50/2962.75 c rational objective 196 3091.65/3103.33 c #Conflicts: 670000 | #Constraints: 71712 3091.65/3103.33 c #Conflicts: 671000 | #Constraints: 72712 3091.65/3103.33 c #Conflicts: 672000 | #Constraints: 73712 3091.65/3103.33 c #Conflicts: 673000 | #Constraints: 74712 3091.65/3103.33 c #Conflicts: 674000 | #Constraints: 75712 3091.65/3103.33 c #Conflicts: 675000 | #Constraints: 76712 3091.65/3103.33 c #Conflicts: 676000 | #Constraints: 77712 3091.65/3103.33 c #Conflicts: 677000 | #Constraints: 78712 3091.65/3103.33 c #Conflicts: 678000 | #Constraints: 79712 3091.65/3103.33 c #Conflicts: 679000 | #Constraints: 80712 3091.65/3103.33 c #Conflicts: 680000 | #Constraints: 81712 3091.65/3103.33 c #Conflicts: 681000 | #Constraints: 82712 3091.65/3103.33 c #Conflicts: 682000 | #Constraints: 83712 3091.65/3103.33 c #Conflicts: 683000 | #Constraints: 84712 3091.65/3103.33 c #Conflicts: 684000 | #Constraints: 85712 3091.65/3103.33 c #Conflicts: 685000 | #Constraints: 86712 3091.65/3103.33 c #Conflicts: 686000 | #Constraints: 87712 3091.65/3103.33 c #Conflicts: 687000 | #Constraints: 88712 3091.65/3103.33 c #Conflicts: 688000 | #Constraints: 89712 3091.65/3103.33 c #Conflicts: 689000 | #Constraints: 90712 3091.65/3103.33 c #Conflicts: 690000 | #Constraints: 91712 3091.65/3103.33 c #Conflicts: 691000 | #Constraints: 92712 3091.65/3103.33 c #Conflicts: 692000 | #Constraints: 93712 3091.65/3103.33 c #Conflicts: 693000 | #Constraints: 94712 3091.65/3103.33 c #Conflicts: 694000 | #Constraints: 95713 3091.65/3103.33 c #Conflicts: 695000 | #Constraints: 96713 3091.65/3103.33 c #Conflicts: 696000 | #Constraints: 97713 3091.65/3103.33 c #Conflicts: 697000 | #Constraints: 98713 3091.65/3103.33 c #Conflicts: 698000 | #Constraints: 99713 3091.65/3103.33 c #Conflicts: 699000 | #Constraints: 100713 3091.65/3103.33 c #Conflicts: 700000 | #Constraints: 101713 3091.65/3103.33 c #Conflicts: 701000 | #Constraints: 102713 3091.65/3103.33 c #Conflicts: 702000 | #Constraints: 103713 3091.65/3103.33 c #Conflicts: 703000 | #Constraints: 104713 3091.65/3103.33 c #Conflicts: 704000 | #Constraints: 105713 3091.65/3103.33 c #Conflicts: 705000 | #Constraints: 106713 3091.65/3103.33 c #Conflicts: 706000 | #Constraints: 107713 3091.65/3103.33 c #Conflicts: 707000 | #Constraints: 108713 3091.65/3103.33 c #Conflicts: 708000 | #Constraints: 109713 3091.65/3103.33 c #Conflicts: 709000 | #Constraints: 110713 3091.65/3103.33 c #Conflicts: 710000 | #Constraints: 111713 3091.65/3103.33 c #Conflicts: 711000 | #Constraints: 112713 3091.65/3103.33 c #Conflicts: 712000 | #Constraints: 113713 3091.65/3103.33 c #Conflicts: 713000 | #Constraints: 114713 3091.65/3103.33 c #Conflicts: 714000 | #Constraints: 115713 3091.65/3103.33 c #Conflicts: 715000 | #Constraints: 116713 3091.65/3103.33 c #Conflicts: 716000 | #Constraints: 117713 3091.65/3103.33 c #Conflicts: 717000 | #Constraints: 118713 3091.65/3103.33 c #Conflicts: 718000 | #Constraints: 119713 3091.65/3103.33 c #Conflicts: 719000 | #Constraints: 120713 3091.65/3103.33 c #Conflicts: 720000 | #Constraints: 121713 3091.65/3103.33 c #Conflicts: 721000 | #Constraints: 122713 3091.65/3103.33 c #Conflicts: 722000 | #Constraints: 123713 3091.65/3103.33 c #Conflicts: 723000 | #Constraints: 124713 3091.65/3103.33 c #Conflicts: 724000 | #Constraints: 125713 3091.65/3103.33 c INPROCESSING 3091.65/3103.33 c GARBAGE COLLECT 3091.65/3103.33 c rational objective 196 3162.02/3173.95 c #Conflicts: 725000 | #Constraints: 76852 3162.02/3173.95 c #Conflicts: 726000 | #Constraints: 77853 3162.02/3173.95 c #Conflicts: 727000 | #Constraints: 78853 3162.02/3173.95 c #Conflicts: 728000 | #Constraints: 79854 3162.02/3173.95 c #Conflicts: 729000 | #Constraints: 80854 3162.02/3173.95 c #Conflicts: 730000 | #Constraints: 81854 3162.02/3173.95 c #Conflicts: 731000 | #Constraints: 82854 3162.02/3173.95 c #Conflicts: 732000 | #Constraints: 83855 3162.02/3173.95 c #Conflicts: 733000 | #Constraints: 84855 3162.02/3173.95 c #Conflicts: 734000 | #Constraints: 85855 3162.02/3173.95 c #Conflicts: 735000 | #Constraints: 86856 3162.02/3173.95 c #Conflicts: 736000 | #Constraints: 87856 3162.02/3173.95 c #Conflicts: 737000 | #Constraints: 88856 3162.02/3173.95 c #Conflicts: 738000 | #Constraints: 89856 3162.02/3173.95 c #Conflicts: 739000 | #Constraints: 90856 3162.02/3173.95 c #Conflicts: 740000 | #Constraints: 91856 3162.02/3173.95 c #Conflicts: 741000 | #Constraints: 92856 3162.02/3173.95 c #Conflicts: 742000 | #Constraints: 93856 3162.02/3173.95 c #Conflicts: 743000 | #Constraints: 94856 3162.02/3173.95 c #Conflicts: 744000 | #Constraints: 95856 3162.02/3173.95 c #Conflicts: 745000 | #Constraints: 96856 3162.02/3173.95 c #Conflicts: 746000 | #Constraints: 97856 3162.02/3173.95 c #Conflicts: 747000 | #Constraints: 98856 3162.02/3173.95 c #Conflicts: 748000 | #Constraints: 99856 3162.02/3173.95 c INPROCESSING 3162.02/3173.95 c GARBAGE COLLECT 3162.02/3173.95 c rational objective 196 3322.70/3335.18 c #Conflicts: 749000 | #Constraints: 74687 3322.70/3335.18 c #Conflicts: 750000 | #Constraints: 75687 3322.70/3335.18 c #Conflicts: 751000 | #Constraints: 76687 3322.70/3335.18 c #Conflicts: 752000 | #Constraints: 77687 3322.70/3335.18 c #Conflicts: 753000 | #Constraints: 78687 3322.70/3335.18 c #Conflicts: 754000 | #Constraints: 79687 3322.70/3335.18 c #Conflicts: 755000 | #Constraints: 80687 3322.70/3335.18 c #Conflicts: 756000 | #Constraints: 81687 3322.70/3335.18 c #Conflicts: 757000 | #Constraints: 82687 3322.70/3335.18 c #Conflicts: 758000 | #Constraints: 83687 3322.70/3335.18 c #Conflicts: 759000 | #Constraints: 84687 3322.70/3335.18 c #Conflicts: 760000 | #Constraints: 85687 3322.70/3335.18 c #Conflicts: 761000 | #Constraints: 86687 3322.70/3335.18 c #Conflicts: 762000 | #Constraints: 87688 3322.70/3335.18 c #Conflicts: 763000 | #Constraints: 88688 3322.70/3335.18 c #Conflicts: 764000 | #Constraints: 89688 3322.70/3335.18 c #Conflicts: 765000 | #Constraints: 90688 3322.70/3335.18 c #Conflicts: 766000 | #Constraints: 91688 3322.70/3335.18 c #Conflicts: 767000 | #Constraints: 92688 3322.70/3335.18 c #Conflicts: 768000 | #Constraints: 93688 3322.70/3335.18 c #Conflicts: 769000 | #Constraints: 94688 3322.70/3335.18 c #Conflicts: 770000 | #Constraints: 95688 3322.70/3335.18 c #Conflicts: 771000 | #Constraints: 96688 3322.70/3335.18 c #Conflicts: 772000 | #Constraints: 97688 3322.70/3335.18 c #Conflicts: 773000 | #Constraints: 98688 3322.70/3335.18 c #Conflicts: 774000 | #Constraints: 99688 3322.70/3335.18 c #Conflicts: 775000 | #Constraints: 100688 3322.70/3335.18 c #Conflicts: 776000 | #Constraints: 101688 3322.70/3335.18 c #Conflicts: 777000 | #Constraints: 102688 3322.70/3335.18 c #Conflicts: 778000 | #Constraints: 103688 3322.70/3335.18 c #Conflicts: 779000 | #Constraints: 104688 3322.70/3335.18 c #Conflicts: 780000 | #Constraints: 105688 3322.70/3335.18 c #Conflicts: 781000 | #Constraints: 106688 3322.70/3335.18 c #Conflicts: 782000 | #Constraints: 107688 3322.70/3335.18 c #Conflicts: 783000 | #Constraints: 108688 3322.70/3335.18 c #Conflicts: 784000 | #Constraints: 109688 3322.70/3335.18 c #Conflicts: 785000 | #Constraints: 110688 3322.70/3335.18 c #Conflicts: 786000 | #Constraints: 111688 3322.70/3335.18 c #Conflicts: 787000 | #Constraints: 112688 3322.70/3335.18 c #Conflicts: 788000 | #Constraints: 113688 3322.70/3335.18 c #Conflicts: 789000 | #Constraints: 114688 3322.70/3335.18 c #Conflicts: 790000 | #Constraints: 115688 3322.70/3335.18 c #Conflicts: 791000 | #Constraints: 116688 3322.70/3335.18 c #Conflicts: 792000 | #Constraints: 117688 3322.70/3335.18 c #Conflicts: 793000 | #Constraints: 118688 3322.70/3335.18 c #Conflicts: 794000 | #Constraints: 119688 3322.70/3335.18 c #Conflicts: 795000 | #Constraints: 120688 3322.70/3335.18 c #Conflicts: 796000 | #Constraints: 121688 3322.70/3335.18 c #Conflicts: 797000 | #Constraints: 122688 3322.70/3335.18 c #Conflicts: 798000 | #Constraints: 123688 3322.70/3335.18 c #Conflicts: 799000 | #Constraints: 124688 3322.70/3335.18 c #Conflicts: 800000 | #Constraints: 125688 3322.70/3335.18 c #Conflicts: 801000 | #Constraints: 126688 3322.70/3335.18 c #Conflicts: 802000 | #Constraints: 127688 3322.70/3335.18 c #Conflicts: 803000 | #Constraints: 128688 3322.70/3335.18 c #Conflicts: 804000 | #Constraints: 129688 3322.70/3335.18 c #Conflicts: 805000 | #Constraints: 130688 3322.70/3335.18 c #Conflicts: 806000 | #Constraints: 131688 3322.70/3335.18 c INPROCESSING 3322.70/3335.18 c GARBAGE COLLECT 3322.70/3335.18 c rational objective 196 3391.97/3404.61 c #Conflicts: 807000 | #Constraints: 79426 3391.97/3404.61 c #Conflicts: 808000 | #Constraints: 80426 3391.97/3404.61 c #Conflicts: 809000 | #Constraints: 81426 3391.97/3404.61 c #Conflicts: 810000 | #Constraints: 82426 3391.97/3404.61 c #Conflicts: 811000 | #Constraints: 83426 3391.97/3404.61 c #Conflicts: 812000 | #Constraints: 84426 3391.97/3404.61 c #Conflicts: 813000 | #Constraints: 85426 3391.97/3404.61 c #Conflicts: 814000 | #Constraints: 86426 3391.97/3404.61 c #Conflicts: 815000 | #Constraints: 87426 3391.97/3404.61 c #Conflicts: 816000 | #Constraints: 88426 3391.97/3404.61 c #Conflicts: 817000 | #Constraints: 89426 3391.97/3404.61 c #Conflicts: 818000 | #Constraints: 90426 3391.97/3404.61 c #Conflicts: 819000 | #Constraints: 91426 3391.97/3404.61 c #Conflicts: 820000 | #Constraints: 92426 3391.97/3404.61 c #Conflicts: 821000 | #Constraints: 93426 3391.97/3404.61 c #Conflicts: 822000 | #Constraints: 94426 3391.97/3404.61 c #Conflicts: 823000 | #Constraints: 95426 3391.97/3404.61 c #Conflicts: 824000 | #Constraints: 96426 3391.97/3404.61 c #Conflicts: 825000 | #Constraints: 97426 3391.97/3404.61 c #Conflicts: 826000 | #Constraints: 98426 3391.97/3404.62 c #Conflicts: 827000 | #Constraints: 99426 3391.97/3404.62 c #Conflicts: 828000 | #Constraints: 100426 3391.97/3404.62 c #Conflicts: 829000 | #Constraints: 101426 3391.97/3404.62 c #Conflicts: 830000 | #Constraints: 102426 3391.97/3404.62 c #Conflicts: 831000 | #Constraints: 103426 3391.97/3404.62 c #Conflicts: 832000 | #Constraints: 104426 3391.97/3404.62 c INPROCESSING 3391.97/3404.62 c GARBAGE COLLECT 3391.97/3404.62 c rational objective 196 3572.92/3586.29 c #Conflicts: 833000 | #Constraints: 78774 3572.92/3586.29 c #Conflicts: 834000 | #Constraints: 79774 3572.92/3586.29 c #Conflicts: 835000 | #Constraints: 80774 3572.92/3586.29 c #Conflicts: 836000 | #Constraints: 81775 3572.92/3586.29 c #Conflicts: 837000 | #Constraints: 82775 3572.92/3586.29 c #Conflicts: 838000 | #Constraints: 83775 3572.92/3586.29 c #Conflicts: 839000 | #Constraints: 84775 3572.92/3586.29 c #Conflicts: 840000 | #Constraints: 85775 3572.92/3586.29 c #Conflicts: 841000 | #Constraints: 86775 3572.92/3586.29 c #Conflicts: 842000 | #Constraints: 87775 3572.92/3586.29 c #Conflicts: 843000 | #Constraints: 88775 3572.92/3586.29 c #Conflicts: 844000 | #Constraints: 89775 3572.92/3586.29 c #Conflicts: 845000 | #Constraints: 90775 3572.92/3586.29 c #Conflicts: 846000 | #Constraints: 91775 3572.92/3586.29 c #Conflicts: 847000 | #Constraints: 92775 3572.92/3586.29 c #Conflicts: 848000 | #Constraints: 93775 3572.92/3586.29 c #Conflicts: 849000 | #Constraints: 94775 3572.92/3586.29 c #Conflicts: 850000 | #Constraints: 95775 3572.92/3586.29 c #Conflicts: 851000 | #Constraints: 96775 3572.92/3586.29 c #Conflicts: 852000 | #Constraints: 97775 3572.92/3586.29 c #Conflicts: 853000 | #Constraints: 98775 3572.92/3586.29 c #Conflicts: 854000 | #Constraints: 99775 3572.92/3586.29 c #Conflicts: 855000 | #Constraints: 100776 3572.92/3586.29 c #Conflicts: 856000 | #Constraints: 101776 3572.92/3586.29 c #Conflicts: 857000 | #Constraints: 102776 3572.92/3586.29 c #Conflicts: 858000 | #Constraints: 103776 3572.92/3586.29 c #Conflicts: 859000 | #Constraints: 104776 3572.92/3586.29 c #Conflicts: 860000 | #Constraints: 105776 3572.92/3586.29 c #Conflicts: 861000 | #Constraints: 106776 3572.92/3586.29 c #Conflicts: 862000 | #Constraints: 107776 3572.92/3586.29 c #Conflicts: 863000 | #Constraints: 108776 3572.92/3586.29 c #Conflicts: 864000 | #Constraints: 109776 3572.92/3586.29 c #Conflicts: 865000 | #Constraints: 110776 3572.92/3586.29 c #Conflicts: 866000 | #Constraints: 111776 3572.92/3586.29 c #Conflicts: 867000 | #Constraints: 112776 3572.92/3586.29 c #Conflicts: 868000 | #Constraints: 113776 3572.92/3586.29 c #Conflicts: 869000 | #Constraints: 114776 3572.92/3586.29 c #Conflicts: 870000 | #Constraints: 115776 3572.92/3586.29 c #Conflicts: 871000 | #Constraints: 116776 3572.92/3586.29 c #Conflicts: 872000 | #Constraints: 117776 3572.92/3586.29 c #Conflicts: 873000 | #Constraints: 118776 3572.92/3586.29 c #Conflicts: 874000 | #Constraints: 119776 3572.92/3586.29 c #Conflicts: 875000 | #Constraints: 120776 3572.92/3586.29 c #Conflicts: 876000 | #Constraints: 121776 3572.92/3586.29 c #Conflicts: 877000 | #Constraints: 122776 3572.92/3586.29 c #Conflicts: 878000 | #Constraints: 123776 3572.92/3586.29 c #Conflicts: 879000 | #Constraints: 124776 3572.92/3586.29 c #Conflicts: 880000 | #Constraints: 125776 3572.92/3586.29 c #Conflicts: 881000 | #Constraints: 126776 3572.92/3586.29 c #Conflicts: 882000 | #Constraints: 127776 3572.92/3586.29 c #Conflicts: 883000 | #Constraints: 128776 3572.92/3586.29 c #Conflicts: 884000 | #Constraints: 129776 3572.92/3586.29 c #Conflicts: 885000 | #Constraints: 130776 3572.92/3586.29 c #Conflicts: 886000 | #Constraints: 131776 3572.92/3586.29 c #Conflicts: 887000 | #Constraints: 132776 3572.92/3586.29 c #Conflicts: 888000 | #Constraints: 133776 3572.92/3586.29 c #Conflicts: 889000 | #Constraints: 134776 3572.92/3586.29 c #Conflicts: 890000 | #Constraints: 135776 3572.92/3586.29 c #Conflicts: 891000 | #Constraints: 136776 3572.92/3586.29 c #Conflicts: 892000 | #Constraints: 137776 3572.92/3586.29 c #Conflicts: 893000 | #Constraints: 138776 3572.92/3586.29 c INPROCESSING 3572.92/3586.29 c GARBAGE COLLECT 3572.92/3586.29 c rational objective 196 3600.22/3613.68 c #Conflicts: 894000 | #Constraints: 83826 3600.22/3613.68 c #Conflicts: 895000 | #Constraints: 84826 3600.22/3613.68 c #Conflicts: 896000 | #Constraints: 85826 3600.22/3613.68 c #Conflicts: 897000 | #Constraints: 86826 3600.22/3613.68 c #Conflicts: 898000 | #Constraints: 87826 3600.22/3613.68 c #Conflicts: 899000 | #Constraints: 88826 3600.22/3613.68 c Program interrupted by user. 3600.22/3613.69 c cpu time 3554.46 s 3600.22/3613.69 c deterministic time 208705671373 2.09e+11 3600.22/3613.69 c optimization time 26.7828 s 3600.22/3613.69 c total solve time 3527.59 s 3600.22/3613.69 c core-guided solve time 0 s 3600.22/3613.69 c propagation time 1922.71 s 3600.22/3613.69 c conflict analysis time 505.276 s 3600.22/3613.69 c propagations 782533798 3600.22/3613.69 c resolve steps 37770080 3600.22/3613.69 c decisions 24445167 3600.22/3613.69 c conflicts 899029 3600.22/3613.69 c restarts 1949 3600.22/3613.69 c inprocessing phases 39 3600.22/3613.69 c input clauses 23522 3600.22/3613.69 c input cardinalities 196 3600.22/3613.69 c input general constraints 0 3600.22/3613.69 c input average constraint length 6.44 3600.22/3613.69 c input average constraint degree 1.97 3600.22/3613.69 c learned clauses 572578 3600.22/3613.69 c learned cardinalities 44536 3600.22/3613.69 c learned general constraints 281966 3600.22/3613.69 c learned average constraint length 1058.40 3600.22/3613.69 c learned average constraint degree 246222486.96 3600.22/3613.69 c watched constraints 197712 3600.22/3613.69 c counting constraints 84254 3600.22/3613.69 c gcd simplifications 2565 3600.22/3613.69 c detected cardinalities 7489 3600.22/3613.69 c weakened non-implied lits 191477836 3600.22/3613.69 c weakened non-implying lits 204897 3600.22/3613.69 c original variables 23324 3600.22/3613.69 c clausal propagations 371199365 3600.22/3613.69 c cardinality propagations 278754724 3600.22/3613.69 c watched propagations 32262551 3600.22/3613.69 c counting propagations 90983291 3600.22/3613.69 c watch lookups 10880384887 3600.22/3613.69 c watch backjump lookups 8807219494 3600.22/3613.69 c watch checks 125264621451 3600.22/3613.69 c propagation checks 58883096866 3600.22/3613.69 c constraint additions 3254038667 3600.22/3613.69 c trail pops 807857756 3600.22/3613.69 c formula constraints 23718 3600.22/3613.69 c learned constraints 898978 3600.22/3613.69 c bound constraints 0 3600.22/3613.69 c core-guided constraints 0 3600.22/3613.69 c encountered formula constraints 25221163 3600.22/3613.69 c encountered learned constraints 13446514 3600.22/3613.69 c encountered bound constraints 0 3600.22/3613.69 c encountered core-guided constraints 0 3600.22/3613.69 c LP total time 2032.84 s 3600.22/3613.69 c LP solve time 2028.37 s 3600.22/3613.69 c LP constraints added 27591 3600.22/3613.69 c LP constraints removed 3698 3600.22/3613.69 c LP pivots internal 918315 3600.22/3613.69 c LP pivots root 554971 3600.22/3613.69 c LP calls 116 3600.22/3613.69 c LP optimalities 58 3600.22/3613.69 c LP no pivot count 1 3600.22/3613.69 c LP infeasibilities 51 3600.22/3613.69 c LP valid Farkas constraints 51 3600.22/3613.69 c LP learned Farkas constraints 51 3600.22/3613.69 c LP basis resets 0 3600.22/3613.69 c LP cycling count 0 3600.22/3613.69 c LP singular count 0 3600.22/3613.69 c LP no primal count 0 3600.22/3613.69 c LP no farkas count 0 3600.22/3613.69 c LP other issue count 0 3600.22/3613.69 c LP Gomory cuts 0 3600.22/3613.69 c LP learned cuts 3873 3600.22/3613.69 c LP deleted cuts 3698 3600.22/3613.69 c LP encountered Gomory constraints 0 3600.22/3613.69 c LP encountered Farkas constraints 1046 3600.22/3613.69 c LP encountered learned Farkas constraints 335 3600.22/3613.69 c CG auxiliary variables introduced 0 3600.22/3613.69 c CG solutions found 0 3600.22/3613.69 c CG cores constructed 0 3600.22/3613.69 c CG core cardinality constraints returned 0 3600.22/3613.69 c CG unit cores 0 3600.22/3613.69 c CG single cores 0 3600.22/3613.69 c CG blocks removed during cardinality reduction 0 3600.22/3613.69 c CG first core best 0 3600.22/3613.69 c CG decision core best 0 3600.22/3613.69 c CG core reduction tie 0 3600.22/3613.69 c CG core degree average 0.00 3600.22/3613.69 c CG core slack average 0.00 3600.22/3613.69 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60801 MiB free)
memory of node 1: 64510 MiB (32735 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460684-1722069573/watcher-4460684-1722069573 -o /tmp/evaluation-result-4460684-1722069573/solver-4460684-1722069573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722064836-317062 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460684-1722069573 --lp-cut-gomory=0 HOME/instance-4460684-1722069573.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=320306, runsolver pid=320303
Current StackSize limit: 8192 KiB
[startup+0.100821 s]*
/proc/loadavg: 4.14 4.14 4.09 5/259 320307
/proc/meminfo: memFree=95772452/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=44092 memory=14664 CPUtime=0.09 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 2797 0 0 0 7 2 0 0 20 0 1 0 43485807 45150208 3666 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 11023 3666 1363 992 0 2881 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44092 KiB
Current children cumulated memory: 14664 KiB
[startup+0.205805 s]*
/proc/loadavg: 4.14 4.14 4.09 5/259 320307
/proc/meminfo: memFree=95745712/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=75580 memory=42356 CPUtime=0.18 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 10055 0 0 0 15 3 0 0 20 0 1 0 43485807 77393920 10589 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 18895 10589 1728 992 0 10753 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75580 KiB
Current children cumulated memory: 42356 KiB
[startup+0.30563 s]*
/proc/loadavg: 4.14 4.14 4.09 5/259 320307
/proc/meminfo: memFree=95743444/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=76164 memory=44460 CPUtime=0.29 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 10537 0 0 0 25 4 0 0 20 0 1 0 43485807 77991936 11115 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 19041 11115 1728 992 0 10899 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76164 KiB
Current children cumulated memory: 44460 KiB
[startup+0.700224 s]
/proc/loadavg: 4.14 4.14 4.09 5/259 320307
/proc/meminfo: memFree=95741624/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=79176 memory=47364 CPUtime=0.68 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 11266 0 0 0 63 5 0 0 20 0 1 0 43485807 81076224 11841 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 19794 11841 1728 992 0 11652 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79176 KiB
Current children cumulated memory: 47364 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.14 4.09 5/259 320309
/proc/meminfo: memFree=95739144/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=80072 memory=48540 CPUtime=1.47 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 11548 0 0 0 141 6 0 0 20 0 1 0 43485807 81993728 12135 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 20018 12135 1760 992 0 11876 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 80072 KiB
Current children cumulated memory: 48540 KiB
[startup+3.10566 s]
/proc/loadavg: 4.14 4.14 4.09 5/259 320309
/proc/meminfo: memFree=95733300/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=81904 memory=50704 CPUtime=3.08 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 12089 0 0 0 285 23 0 0 20 0 1 0 43485807 83869696 12676 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 20476 12676 1775 992 0 12334 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 81904 KiB
Current children cumulated memory: 50704 KiB
[startup+6.30022 s]
/proc/loadavg: 4.13 4.13 4.09 5/259 320309
/proc/meminfo: memFree=95731088/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=84164 memory=52812 CPUtime=6.26 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 12631 0 0 0 601 25 0 0 20 0 1 0 43485807 86183936 13203 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 21041 13203 1775 992 0 12899 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 84164 KiB
Current children cumulated memory: 52812 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.09 5/259 320310
/proc/meminfo: memFree=95724780/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=86096 memory=55712 CPUtime=12.63 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 13351 0 0 0 1235 28 0 0 20 0 1 0 43485807 88162304 13928 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 21524 13928 1775 992 0 13382 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 86096 KiB
Current children cumulated memory: 55712 KiB
[startup+25.5002 s]
/proc/loadavg: 4.32 4.17 4.11 5/259 320312
/proc/meminfo: memFree=95716124/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=89944 memory=57820 CPUtime=25.39 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 13782 0 0 0 2467 72 0 0 20 0 1 0 43485807 92102656 14455 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 22486 14455 1852 992 0 14344 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 89944 KiB
Current children cumulated memory: 57820 KiB
[startup+51.1058 s]
/proc/loadavg: 4.54 4.24 4.13 5/259 320318
/proc/meminfo: memFree=95687852/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=113048 memory=76424 CPUtime=50.9 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 17418 0 0 0 4983 107 0 0 20 0 1 0 43485807 115761152 19106 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 28262 19106 1884 992 0 20120 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 113048 KiB
Current children cumulated memory: 76424 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.22 4.13 5/264 320334
/proc/meminfo: memFree=94346708/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=149060 memory=107520 CPUtime=101.91 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 20082 0 0 0 10016 175 0 0 20 0 1 0 43485807 152637440 26880 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 37265 26880 1884 992 0 29123 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 149060 KiB
Current children cumulated memory: 107520 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.19 4.12 5/265 320346
/proc/meminfo: memFree=92580112/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=210752 memory=170436 CPUtime=161.69 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 26161 0 0 0 15860 309 0 0 20 0 1 0 43485807 215810048 42609 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 52688 42609 1884 992 0 44546 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 210752 KiB
Current children cumulated memory: 170436 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.17 4.12 6/266 320357
/proc/meminfo: memFree=91762224/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=215224 memory=176392 CPUtime=221.46 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 32503 0 0 0 21818 328 0 0 20 0 1 0 43485807 220389376 44098 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 53806 44098 1884 992 0 45664 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 215224 KiB
Current children cumulated memory: 176392 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.15 4.11 5/266 320368
/proc/meminfo: memFree=90404340/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=217408 memory=177972 CPUtime=281.23 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 32900 0 0 0 27681 442 0 0 20 0 1 0 43485807 222625792 44493 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 54352 44493 1884 992 0 46210 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 217408 KiB
Current children cumulated memory: 177972 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/266 320379
/proc/meminfo: memFree=90002600/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=224288 memory=185152 CPUtime=341.01 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 34778 0 0 0 33505 596 0 0 20 0 1 0 43485807 229670912 46288 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 56072 46288 1884 992 0 47930 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 224288 KiB
Current children cumulated memory: 185152 KiB
[startup+402.3 s]
/proc/loadavg: 4.35 4.21 4.13 5/261 320389
/proc/meminfo: memFree=89083784/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=387212 memory=352396 CPUtime=400.8 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 43456 0 0 0 39391 689 0 0 20 0 1 0 43485807 396505088 88099 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 96803 88099 1884 992 0 88661 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 387212 KiB
Current children cumulated memory: 352396 KiB
[startup+462.3 s]
/proc/loadavg: 4.24 4.20 4.13 5/261 320402
/proc/meminfo: memFree=88340056/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=546184 memory=400764 CPUtime=460.58 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 50405 0 0 0 45300 758 0 0 20 0 1 0 43485807 559292416 100191 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 136546 100191 1884 992 0 128404 0
################
# More data... #
################
Current children cumulated memory: 807104 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 322295
/proc/meminfo: memFree=121670588/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=889112 memory=809012 CPUtime=2911.22 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 83500 0 0 0 287514 3608 0 0 20 0 1 0 43485807 910450688 202253 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 222278 202253 1884 992 0 214136 0
Current children cumulated CPU time: 2911.22 s
Current children cumulated vsize: 889112 KiB
Current children cumulated memory: 809012 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/260 322476
/proc/meminfo: memFree=121509672/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=891944 memory=812088 CPUtime=2971.03 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 84456 0 0 0 293390 3713 0 0 20 0 1 0 43485807 913350656 203022 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 222986 203022 1884 992 0 214844 0
Current children cumulated CPU time: 2971.03 s
Current children cumulated vsize: 891944 KiB
Current children cumulated memory: 812088 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/262 322583
/proc/meminfo: memFree=121238584/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=891944 memory=812088 CPUtime=3030.84 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 84689 0 0 0 299295 3789 0 0 20 0 1 0 43485807 913350656 203022 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 222986 203022 1884 992 0 214844 0
Current children cumulated CPU time: 3030.84 s
Current children cumulated vsize: 891944 KiB
Current children cumulated memory: 812088 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/264 322651
/proc/meminfo: memFree=120990336/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=891944 memory=812088 CPUtime=3090.65 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 85051 0 0 0 305200 3865 0 0 20 0 1 0 43485807 913350656 203022 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 222986 203022 1884 992 0 214844 0
Current children cumulated CPU time: 3090.65 s
Current children cumulated vsize: 891944 KiB
Current children cumulated memory: 812088 KiB
[startup+3162.3 s]
/proc/loadavg: 4.34 4.18 4.12 5/264 322662
/proc/meminfo: memFree=120808780/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=892284 memory=812476 CPUtime=3150.46 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 85388 0 0 0 311117 3929 0 0 20 0 1 0 43485807 913698816 203119 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 223071 203119 1884 992 0 214929 0
Current children cumulated CPU time: 3150.46 s
Current children cumulated vsize: 892284 KiB
Current children cumulated memory: 812476 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/264 322672
/proc/meminfo: memFree=120602336/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=894104 memory=816056 CPUtime=3210.26 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 86145 0 0 0 316988 4038 0 0 20 0 1 0 43485807 915562496 204014 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 223526 204014 1884 992 0 215384 0
Current children cumulated CPU time: 3210.26 s
Current children cumulated vsize: 894104 KiB
Current children cumulated memory: 816056 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/262 322683
/proc/meminfo: memFree=120453128/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=894104 memory=816056 CPUtime=3270.06 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 86394 0 0 0 322870 4136 0 0 20 0 1 0 43485807 915562496 204014 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 223526 204014 1884 992 0 215384 0
Current children cumulated CPU time: 3270.06 s
Current children cumulated vsize: 894104 KiB
Current children cumulated memory: 816056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/260 322693
/proc/meminfo: memFree=120305708/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=897924 memory=819100 CPUtime=3329.87 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 87568 0 0 0 328767 4220 0 0 20 0 1 0 43485807 919474176 204775 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 224481 204775 1884 992 0 216339 0
Current children cumulated CPU time: 3329.87 s
Current children cumulated vsize: 897924 KiB
Current children cumulated memory: 819100 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/256 322703
/proc/meminfo: memFree=120010160/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=898264 memory=819580 CPUtime=3389.67 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 87873 0 0 0 334655 4312 0 0 20 0 1 0 43485807 919822336 204895 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 224566 204895 1884 992 0 216424 0
Current children cumulated CPU time: 3389.67 s
Current children cumulated vsize: 898264 KiB
Current children cumulated memory: 819580 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/256 322714
/proc/meminfo: memFree=119865160/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=898572 memory=819788 CPUtime=3449.47 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 88164 0 0 0 340532 4415 0 0 20 0 1 0 43485807 920137728 204947 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 224643 204947 1884 992 0 216501 0
Current children cumulated CPU time: 3449.47 s
Current children cumulated vsize: 898572 KiB
Current children cumulated memory: 819788 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/256 322724
/proc/meminfo: memFree=119768296/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=901272 memory=822812 CPUtime=3509.26 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 89297 0 0 0 346449 4477 0 0 20 0 1 0 43485807 922902528 205703 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 225318 205703 1884 992 0 217176 0
Current children cumulated CPU time: 3509.26 s
Current children cumulated vsize: 901272 KiB
Current children cumulated memory: 822812 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 322734
/proc/meminfo: memFree=119621340/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=905592 memory=827188 CPUtime=3569.03 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 90732 0 0 0 352355 4548 0 0 20 0 1 0 43485807 927326208 206797 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 226398 206797 1884 992 0 218256 0
Current children cumulated CPU time: 3569.03 s
Current children cumulated vsize: 905592 KiB
Current children cumulated memory: 827188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 322740
/proc/meminfo: memFree=119567984/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=910672 memory=831392 CPUtime=3600.03 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 91824 0 0 0 355418 4585 0 0 20 0 1 0 43485807 932528128 207848 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 227668 207848 1884 992 0 219526 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 910672 KiB
Current children cumulated memory: 831392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.7 s]
# the end of solver process 320306 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3554.47 s, system=45.8586 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 322740
/proc/meminfo: memFree=119567984/131524600 swapFree=131056028/131071996
[pid=320306] ppid=320303 vsize=910672 memory=831392 CPUtime=3600.22 cores=0,2
/proc/320306/stat : 320306 (roundingsat) R 320303 320306 317048 0 -1 4194304 91824 0 0 0 355437 4585 0 0 20 0 1 0 43485807 932528128 207848 134679101440 4194304 8254357 140723529997344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23670784 140723529999195 140723529999457 140723529999457 140723530006473 0
/proc/320306/statm: 227668 207848 1884 992 0 219526 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 910672 KiB
Current children cumulated memory: 831392 KiB
Child status: 0
Real time (s): 3613.7
CPU time (s): 3600.33
CPU user time (s): 3554.47
CPU system time (s): 45.8586
CPU usage (%): 99.6301
Max. virtual memory (cumulated for all children) (KiB): 910672
Max. memory (cumulated for all children) (KiB): 831392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3554.47
system time used= 45.8586
maximum resident set size= 831392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91841
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8265440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97
involuntary context switches= 25367
# summary of solver processes directly reported to runsolver:
# pid: 320306
# total CPU time (s): 3600.33
# total CPU user time (s): 3554.47
# total CPU system time (s): 45.8586
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98199 second user time and 16.5302 second system time
The end
Begin job on nodeC016 at 2024-07-27 10:39:33 IDJOB=4460684 IDBENCH=158326 IDSOLVER=3086 FILE ID=nodeC016/4460684-1722069573 RUNJOBID= nodeC016-1722064836-317062 SLURM_JOB_ID= 8248086 Free space on /tmp= 889444 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.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-4460684-1722069573/watcher-4460684-1722069573 -o /tmp/evaluation-result-4460684-1722069573/solver-4460684-1722069573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722064836-317062 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460684-1722069573 --lp-cut-gomory=0 HOME/instance-4460684-1722069573.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b RANDOM SEED=1199031812 nodeC016.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 : 3654.547 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.34 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 : 3683.210 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 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 : 3643.043 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.34 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 : 3599.691 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3670.860 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.34 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 : 3683.246 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 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 : 3602.026 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.34 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 : 3599.841 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 95782404 kB MemAvailable: 117566668 kB Buffers: 367240 kB Cached: 22092004 kB SwapCached: 284 kB Active: 3069952 kB Inactive: 31736812 kB Active(anon): 2404 kB Inactive(anon): 12397528 kB Active(file): 3067548 kB Inactive(file): 19339284 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056028 kB Dirty: 7352 kB Writeback: 0 kB AnonPages: 12345732 kB Mapped: 115200 kB Shmem: 52400 kB KReclaimable: 434160 kB Slab: 556836 kB SReclaimable: 434160 kB SUnreclaim: 122676 kB KernelStack: 4180 kB PageTables: 34596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 14508144 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 5500928 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: 373460 kB DirectMap2M: 42391552 kB DirectMap1G: 93323264 kB Free space on /tmp at the end= 890052 MiB End job on nodeC016 at 2024-07-27 11:39:47