| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.13 | 3609.03 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K179.opb |
| MD5SUM | 84aa92d361920570c4f42a7fa8308fed |
| 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 | 73.5881 |
| 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 | 21301 |
| Total number of constraints | 21661 |
| Number of constraints which are clauses | 21482 |
| Number of constraints which are cardinality constraints (but not clauses) | 179 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 179 |
| 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 | 180 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.09 c #variables 21301 #constraints 21661 39.87/40.03 c #Conflicts: 1000 | #Constraints: 22660 39.87/40.03 c #Conflicts: 2000 | #Constraints: 23660 39.87/40.03 c INPROCESSING 39.87/40.03 c GARBAGE COLLECT 39.87/40.03 c #Conflicts: 3000 | #Constraints: 22981 39.87/40.03 c #Conflicts: 4000 | #Constraints: 23981 39.87/40.03 c INPROCESSING 39.87/40.03 c GARBAGE COLLECT 39.87/40.03 c #Conflicts: 5000 | #Constraints: 23378 39.87/40.03 c #Conflicts: 6000 | #Constraints: 24378 39.87/40.03 c INPROCESSING 39.87/40.03 c GARBAGE COLLECT 39.87/40.03 c #Conflicts: 7000 | #Constraints: 23478 39.87/40.03 c #Conflicts: 8000 | #Constraints: 24478 39.87/40.03 c #Conflicts: 9000 | #Constraints: 25478 39.87/40.03 c #Conflicts: 10000 | #Constraints: 26478 39.87/40.03 c #Conflicts: 11000 | #Constraints: 27478 39.87/40.03 c #Conflicts: 12000 | #Constraints: 28478 39.87/40.03 c INPROCESSING 39.87/40.03 c GARBAGE COLLECT 39.87/40.03 c rational objective 179 60.80/61.00 c #Conflicts: 13000 | #Constraints: 25464 60.80/61.00 c #Conflicts: 14000 | #Constraints: 26464 60.80/61.00 c #Conflicts: 15000 | #Constraints: 27464 60.80/61.00 c #Conflicts: 16000 | #Constraints: 28464 60.80/61.00 c INPROCESSING 60.80/61.00 c GARBAGE COLLECT 60.80/61.00 c rational objective 179 227.90/228.64 c #Conflicts: 17000 | #Constraints: 25717 227.90/228.64 c #Conflicts: 18000 | #Constraints: 26717 227.90/228.64 c #Conflicts: 19000 | #Constraints: 27717 227.90/228.64 c #Conflicts: 20000 | #Constraints: 28718 227.90/228.64 c #Conflicts: 21000 | #Constraints: 29718 227.90/228.64 c #Conflicts: 22000 | #Constraints: 30718 227.90/228.64 c #Conflicts: 23000 | #Constraints: 31718 227.90/228.64 c #Conflicts: 24000 | #Constraints: 32718 227.90/228.64 c #Conflicts: 25000 | #Constraints: 33718 227.90/228.64 c INPROCESSING 227.90/228.64 c GARBAGE COLLECT 227.90/228.64 c #Conflicts: 26000 | #Constraints: 28315 227.90/228.64 c #Conflicts: 27000 | #Constraints: 29315 227.90/228.64 c #Conflicts: 28000 | #Constraints: 30315 227.90/228.64 c #Conflicts: 29000 | #Constraints: 31315 227.90/228.64 c #Conflicts: 30000 | #Constraints: 32315 227.90/228.64 c INPROCESSING 227.90/228.64 c GARBAGE COLLECT 227.90/228.64 c #Conflicts: 31000 | #Constraints: 28060 227.90/228.64 c #Conflicts: 32000 | #Constraints: 29060 227.90/228.64 c #Conflicts: 33000 | #Constraints: 30060 227.90/228.64 c #Conflicts: 34000 | #Constraints: 31061 227.90/228.64 c #Conflicts: 35000 | #Constraints: 32061 227.90/228.64 c #Conflicts: 36000 | #Constraints: 33061 227.90/228.64 c #Conflicts: 37000 | #Constraints: 34061 227.90/228.64 c #Conflicts: 38000 | #Constraints: 35061 227.90/228.64 c #Conflicts: 39000 | #Constraints: 36061 227.90/228.64 c #Conflicts: 40000 | #Constraints: 37061 227.90/228.64 c #Conflicts: 41000 | #Constraints: 38061 227.90/228.64 c #Conflicts: 42000 | #Constraints: 39061 227.90/228.64 c #Conflicts: 43000 | #Constraints: 40061 227.90/228.64 c INPROCESSING 227.90/228.64 c GARBAGE COLLECT 227.90/228.64 c rational objective 179 357.28/358.37 c #Conflicts: 44000 | #Constraints: 31883 357.28/358.37 c #Conflicts: 45000 | #Constraints: 32883 357.28/358.37 c #Conflicts: 46000 | #Constraints: 33883 357.28/358.37 c #Conflicts: 47000 | #Constraints: 34883 357.28/358.37 c #Conflicts: 48000 | #Constraints: 35883 357.28/358.37 c #Conflicts: 49000 | #Constraints: 36884 357.28/358.37 c INPROCESSING 357.28/358.37 c GARBAGE COLLECT 357.28/358.37 c #Conflicts: 50000 | #Constraints: 31116 357.28/358.37 c #Conflicts: 51000 | #Constraints: 32116 357.28/358.37 c #Conflicts: 52000 | #Constraints: 33116 357.28/358.37 c #Conflicts: 53000 | #Constraints: 34116 357.28/358.37 c #Conflicts: 54000 | #Constraints: 35116 357.28/358.37 c #Conflicts: 55000 | #Constraints: 36116 357.28/358.37 c #Conflicts: 56000 | #Constraints: 37116 357.28/358.37 c #Conflicts: 57000 | #Constraints: 38116 357.28/358.37 c #Conflicts: 58000 | #Constraints: 39116 357.28/358.37 c #Conflicts: 59000 | #Constraints: 40116 357.28/358.37 c #Conflicts: 60000 | #Constraints: 41116 357.28/358.37 c #Conflicts: 61000 | #Constraints: 42116 357.28/358.37 c #Conflicts: 62000 | #Constraints: 43116 357.28/358.37 c #Conflicts: 63000 | #Constraints: 44116 357.28/358.37 c #Conflicts: 64000 | #Constraints: 45116 357.28/358.37 c #Conflicts: 65000 | #Constraints: 46116 357.28/358.37 c INPROCESSING 357.28/358.37 c GARBAGE COLLECT 357.28/358.37 c #Conflicts: 66000 | #Constraints: 35216 357.28/358.37 c #Conflicts: 67000 | #Constraints: 36216 357.28/358.37 c #Conflicts: 68000 | #Constraints: 37216 357.28/358.37 c #Conflicts: 69000 | #Constraints: 38216 357.28/358.37 c #Conflicts: 70000 | #Constraints: 39216 357.28/358.37 c #Conflicts: 71000 | #Constraints: 40216 357.28/358.37 c #Conflicts: 72000 | #Constraints: 41216 357.28/358.37 c INPROCESSING 357.28/358.37 c GARBAGE COLLECT 357.28/358.37 c rational objective 179 430.41/431.68 c #Conflicts: 73000 | #Constraints: 33640 430.41/431.68 c #Conflicts: 74000 | #Constraints: 34640 430.41/431.68 c #Conflicts: 75000 | #Constraints: 35640 430.41/431.68 c #Conflicts: 76000 | #Constraints: 36640 430.41/431.68 c #Conflicts: 77000 | #Constraints: 37640 430.41/431.68 c #Conflicts: 78000 | #Constraints: 38640 430.41/431.68 c #Conflicts: 79000 | #Constraints: 39640 430.41/431.68 c #Conflicts: 80000 | #Constraints: 40640 430.41/431.68 c #Conflicts: 81000 | #Constraints: 41640 430.41/431.68 c #Conflicts: 82000 | #Constraints: 42641 430.41/431.68 c #Conflicts: 83000 | #Constraints: 43641 430.41/431.68 c #Conflicts: 84000 | #Constraints: 44641 430.41/431.68 c #Conflicts: 85000 | #Constraints: 45641 430.41/431.68 c #Conflicts: 86000 | #Constraints: 46641 430.41/431.68 c #Conflicts: 87000 | #Constraints: 47641 430.41/431.68 c #Conflicts: 88000 | #Constraints: 48642 430.41/431.68 c #Conflicts: 89000 | #Constraints: 49642 430.41/431.68 c #Conflicts: 90000 | #Constraints: 50642 430.41/431.68 c #Conflicts: 91000 | #Constraints: 51642 430.41/431.68 c INPROCESSING 430.41/431.68 c GARBAGE COLLECT 430.41/431.68 c #Conflicts: 92000 | #Constraints: 37930 430.41/431.68 c #Conflicts: 93000 | #Constraints: 38930 430.41/431.68 c #Conflicts: 94000 | #Constraints: 39930 430.41/431.68 c #Conflicts: 95000 | #Constraints: 40930 430.41/431.68 c #Conflicts: 96000 | #Constraints: 41930 430.41/431.68 c #Conflicts: 97000 | #Constraints: 42930 430.41/431.68 c #Conflicts: 98000 | #Constraints: 43931 430.41/431.68 c #Conflicts: 99000 | #Constraints: 44931 430.41/431.68 c #Conflicts: 100000 | #Constraints: 45932 430.41/431.68 c INPROCESSING 430.41/431.68 c GARBAGE COLLECT 430.41/431.68 c rational objective 179 489.06/490.41 c #Conflicts: 101000 | #Constraints: 36203 489.06/490.41 c #Conflicts: 102000 | #Constraints: 37204 489.06/490.41 c #Conflicts: 103000 | #Constraints: 38206 489.06/490.41 c #Conflicts: 104000 | #Constraints: 39206 489.06/490.41 c #Conflicts: 105000 | #Constraints: 40206 489.06/490.41 c #Conflicts: 106000 | #Constraints: 41206 489.06/490.41 c #Conflicts: 107000 | #Constraints: 42206 489.06/490.41 c #Conflicts: 108000 | #Constraints: 43206 489.06/490.41 c #Conflicts: 109000 | #Constraints: 44206 489.06/490.41 c #Conflicts: 110000 | #Constraints: 45206 489.06/490.41 c #Conflicts: 111000 | #Constraints: 46206 489.06/490.41 c #Conflicts: 112000 | #Constraints: 47206 489.06/490.41 c #Conflicts: 113000 | #Constraints: 48206 489.06/490.41 c #Conflicts: 114000 | #Constraints: 49206 489.06/490.41 c #Conflicts: 115000 | #Constraints: 50206 489.06/490.41 c #Conflicts: 116000 | #Constraints: 51206 489.06/490.41 c #Conflicts: 117000 | #Constraints: 52206 489.06/490.41 c #Conflicts: 118000 | #Constraints: 53206 489.06/490.41 c #Conflicts: 119000 | #Constraints: 54206 489.06/490.41 c #Conflicts: 120000 | #Constraints: 55206 489.06/490.41 c #Conflicts: 121000 | #Constraints: 56206 489.06/490.41 c INPROCESSING 489.06/490.41 c GARBAGE COLLECT 489.06/490.41 c rational objective 179 525.47/526.99 c #Conflicts: 122000 | #Constraints: 40032 525.47/526.99 c #Conflicts: 123000 | #Constraints: 41032 525.47/526.99 c #Conflicts: 124000 | #Constraints: 42032 525.47/526.99 c #Conflicts: 125000 | #Constraints: 43032 525.47/526.99 c #Conflicts: 126000 | #Constraints: 44032 525.47/526.99 c #Conflicts: 127000 | #Constraints: 45032 525.47/526.99 c #Conflicts: 128000 | #Constraints: 46032 525.47/526.99 c #Conflicts: 129000 | #Constraints: 47032 525.47/526.99 c #Conflicts: 130000 | #Constraints: 48033 525.47/526.99 c #Conflicts: 131000 | #Constraints: 49033 525.47/526.99 c #Conflicts: 132000 | #Constraints: 50033 525.47/526.99 c INPROCESSING 525.47/526.99 c GARBAGE COLLECT 525.47/526.99 c rational objective 179 791.47/793.52 c #Conflicts: 133000 | #Constraints: 39418 791.47/793.52 c #Conflicts: 134000 | #Constraints: 40418 791.47/793.52 c #Conflicts: 135000 | #Constraints: 41418 791.47/793.52 c #Conflicts: 136000 | #Constraints: 42418 791.47/793.52 c #Conflicts: 137000 | #Constraints: 43418 791.47/793.52 c #Conflicts: 138000 | #Constraints: 44418 791.47/793.52 c #Conflicts: 139000 | #Constraints: 45418 791.47/793.52 c #Conflicts: 140000 | #Constraints: 46418 791.47/793.52 c #Conflicts: 141000 | #Constraints: 47418 791.47/793.52 c #Conflicts: 142000 | #Constraints: 48418 791.47/793.52 c #Conflicts: 143000 | #Constraints: 49418 791.47/793.52 c #Conflicts: 144000 | #Constraints: 50418 791.47/793.52 c #Conflicts: 145000 | #Constraints: 51418 791.47/793.52 c #Conflicts: 146000 | #Constraints: 52419 791.47/793.52 c #Conflicts: 147000 | #Constraints: 53419 791.47/793.52 c #Conflicts: 148000 | #Constraints: 54419 791.47/793.52 c #Conflicts: 149000 | #Constraints: 55419 791.47/793.52 c #Conflicts: 150000 | #Constraints: 56419 791.47/793.52 c #Conflicts: 151000 | #Constraints: 57419 791.47/793.52 c #Conflicts: 152000 | #Constraints: 58419 791.47/793.52 c #Conflicts: 153000 | #Constraints: 59419 791.47/793.52 c #Conflicts: 154000 | #Constraints: 60419 791.47/793.52 c #Conflicts: 155000 | #Constraints: 61419 791.47/793.52 c #Conflicts: 156000 | #Constraints: 62419 791.47/793.52 c INPROCESSING 791.47/793.52 c GARBAGE COLLECT 791.47/793.52 c #Conflicts: 157000 | #Constraints: 43252 791.47/793.52 c #Conflicts: 158000 | #Constraints: 44252 791.47/793.52 c #Conflicts: 159000 | #Constraints: 45253 791.47/793.52 c #Conflicts: 160000 | #Constraints: 46253 791.47/793.52 c #Conflicts: 161000 | #Constraints: 47253 791.47/793.52 c #Conflicts: 162000 | #Constraints: 48253 791.47/793.52 c #Conflicts: 163000 | #Constraints: 49253 791.47/793.52 c #Conflicts: 164000 | #Constraints: 50253 791.47/793.52 c #Conflicts: 165000 | #Constraints: 51253 791.47/793.52 c #Conflicts: 166000 | #Constraints: 52253 791.47/793.52 c #Conflicts: 167000 | #Constraints: 53253 791.47/793.52 c #Conflicts: 168000 | #Constraints: 54253 791.47/793.52 c INPROCESSING 791.47/793.52 c GARBAGE COLLECT 791.47/793.52 c #Conflicts: 169000 | #Constraints: 41733 791.47/793.52 c #Conflicts: 170000 | #Constraints: 42733 791.47/793.52 c #Conflicts: 171000 | #Constraints: 43733 791.47/793.52 c #Conflicts: 172000 | #Constraints: 44733 791.47/793.52 c #Conflicts: 173000 | #Constraints: 45733 791.47/793.52 c #Conflicts: 174000 | #Constraints: 46733 791.47/793.52 c #Conflicts: 175000 | #Constraints: 47733 791.47/793.52 c #Conflicts: 176000 | #Constraints: 48733 791.47/793.52 c #Conflicts: 177000 | #Constraints: 49733 791.47/793.52 c #Conflicts: 178000 | #Constraints: 50733 791.47/793.52 c #Conflicts: 179000 | #Constraints: 51733 791.47/793.52 c #Conflicts: 180000 | #Constraints: 52734 791.47/793.52 c #Conflicts: 181000 | #Constraints: 53734 791.47/793.52 c #Conflicts: 182000 | #Constraints: 54734 791.47/793.52 c #Conflicts: 183000 | #Constraints: 55734 791.47/793.52 c #Conflicts: 184000 | #Constraints: 56734 791.47/793.52 c #Conflicts: 185000 | #Constraints: 57734 791.47/793.52 c #Conflicts: 186000 | #Constraints: 58734 791.47/793.52 c #Conflicts: 187000 | #Constraints: 59734 791.47/793.52 c #Conflicts: 188000 | #Constraints: 60734 791.47/793.52 c #Conflicts: 189000 | #Constraints: 61734 791.47/793.52 c #Conflicts: 190000 | #Constraints: 62734 791.47/793.52 c #Conflicts: 191000 | #Constraints: 63734 791.47/793.52 c #Conflicts: 192000 | #Constraints: 64734 791.47/793.52 c #Conflicts: 193000 | #Constraints: 65734 791.47/793.52 c #Conflicts: 194000 | #Constraints: 66735 791.47/793.52 c #Conflicts: 195000 | #Constraints: 67735 791.47/793.52 c #Conflicts: 196000 | #Constraints: 68735 791.47/793.52 c INPROCESSING 791.47/793.52 c GARBAGE COLLECT 791.47/793.52 c rational objective 179 848.05/850.20 c #Conflicts: 197000 | #Constraints: 46750 848.05/850.20 c #Conflicts: 198000 | #Constraints: 47750 848.05/850.20 c #Conflicts: 199000 | #Constraints: 48750 848.05/850.20 c #Conflicts: 200000 | #Constraints: 49750 848.05/850.20 c #Conflicts: 201000 | #Constraints: 50750 848.05/850.20 c #Conflicts: 202000 | #Constraints: 51750 848.05/850.20 c #Conflicts: 203000 | #Constraints: 52750 848.05/850.20 c #Conflicts: 204000 | #Constraints: 53750 848.05/850.20 c #Conflicts: 205000 | #Constraints: 54750 848.05/850.20 c #Conflicts: 206000 | #Constraints: 55750 848.05/850.20 c #Conflicts: 207000 | #Constraints: 56751 848.05/850.20 c #Conflicts: 208000 | #Constraints: 57752 848.05/850.20 c #Conflicts: 209000 | #Constraints: 58753 848.05/850.20 c INPROCESSING 848.05/850.20 c GARBAGE COLLECT 848.05/850.20 c rational objective 179 998.31/1000.88 c #Conflicts: 210000 | #Constraints: 44367 998.31/1000.88 c #Conflicts: 211000 | #Constraints: 45367 998.31/1000.88 c #Conflicts: 212000 | #Constraints: 46367 998.31/1000.88 c #Conflicts: 213000 | #Constraints: 47367 998.31/1000.88 c #Conflicts: 214000 | #Constraints: 48367 998.31/1000.88 c #Conflicts: 215000 | #Constraints: 49367 998.31/1000.88 c #Conflicts: 216000 | #Constraints: 50367 998.31/1000.88 c #Conflicts: 217000 | #Constraints: 51367 998.31/1000.88 c #Conflicts: 218000 | #Constraints: 52367 998.31/1000.88 c #Conflicts: 219000 | #Constraints: 53367 998.31/1000.88 c #Conflicts: 220000 | #Constraints: 54367 998.31/1000.88 c #Conflicts: 221000 | #Constraints: 55368 998.31/1000.88 c #Conflicts: 222000 | #Constraints: 56368 998.31/1000.88 c #Conflicts: 223000 | #Constraints: 57368 998.31/1000.88 c #Conflicts: 224000 | #Constraints: 58368 998.31/1000.88 c #Conflicts: 225000 | #Constraints: 59369 998.31/1000.88 c #Conflicts: 226000 | #Constraints: 60370 998.31/1000.88 c #Conflicts: 227000 | #Constraints: 61370 998.31/1000.88 c #Conflicts: 228000 | #Constraints: 62370 998.31/1000.88 c #Conflicts: 229000 | #Constraints: 63370 998.31/1000.88 c #Conflicts: 230000 | #Constraints: 64370 998.31/1000.88 c #Conflicts: 231000 | #Constraints: 65371 998.31/1000.88 c #Conflicts: 232000 | #Constraints: 66371 998.31/1000.88 c #Conflicts: 233000 | #Constraints: 67371 998.31/1000.88 c #Conflicts: 234000 | #Constraints: 68371 998.31/1000.88 c #Conflicts: 235000 | #Constraints: 69371 998.31/1000.88 c #Conflicts: 236000 | #Constraints: 70371 998.31/1000.88 c #Conflicts: 237000 | #Constraints: 71371 998.31/1000.88 c #Conflicts: 238000 | #Constraints: 72371 998.31/1000.88 c #Conflicts: 239000 | #Constraints: 73371 998.31/1000.88 c #Conflicts: 240000 | #Constraints: 74371 998.31/1000.88 c INPROCESSING 998.31/1000.88 c GARBAGE COLLECT 998.31/1000.88 c rational objective 179 1132.79/1135.64 c #Conflicts: 241000 | #Constraints: 49707 1132.79/1135.64 c #Conflicts: 242000 | #Constraints: 50708 1132.79/1135.64 c #Conflicts: 243000 | #Constraints: 51708 1132.79/1135.64 c #Conflicts: 244000 | #Constraints: 52708 1132.79/1135.64 c #Conflicts: 245000 | #Constraints: 53709 1132.79/1135.64 c #Conflicts: 246000 | #Constraints: 54709 1132.79/1135.64 c #Conflicts: 247000 | #Constraints: 55709 1132.79/1135.64 c #Conflicts: 248000 | #Constraints: 56709 1132.79/1135.64 c #Conflicts: 249000 | #Constraints: 57709 1132.79/1135.64 c #Conflicts: 250000 | #Constraints: 58710 1132.79/1135.64 c #Conflicts: 251000 | #Constraints: 59710 1132.79/1135.64 c #Conflicts: 252000 | #Constraints: 60710 1132.79/1135.64 c #Conflicts: 253000 | #Constraints: 61710 1132.79/1135.64 c #Conflicts: 254000 | #Constraints: 62710 1132.79/1135.64 c INPROCESSING 1132.79/1135.64 c GARBAGE COLLECT 1132.79/1135.64 c #Conflicts: 255000 | #Constraints: 46372 1132.79/1135.64 c #Conflicts: 256000 | #Constraints: 47372 1132.79/1135.64 c #Conflicts: 257000 | #Constraints: 48372 1132.79/1135.64 c #Conflicts: 258000 | #Constraints: 49372 1132.79/1135.64 c #Conflicts: 259000 | #Constraints: 50372 1132.79/1135.64 c #Conflicts: 260000 | #Constraints: 51372 1132.79/1135.64 c #Conflicts: 261000 | #Constraints: 52372 1132.79/1135.64 c #Conflicts: 262000 | #Constraints: 53372 1132.79/1135.64 c #Conflicts: 263000 | #Constraints: 54372 1132.79/1135.64 c #Conflicts: 264000 | #Constraints: 55372 1132.79/1135.64 c #Conflicts: 265000 | #Constraints: 56372 1132.79/1135.64 c #Conflicts: 266000 | #Constraints: 57372 1132.79/1135.64 c #Conflicts: 267000 | #Constraints: 58372 1132.79/1135.64 c #Conflicts: 268000 | #Constraints: 59372 1132.79/1135.64 c #Conflicts: 269000 | #Constraints: 60372 1132.79/1135.64 c #Conflicts: 270000 | #Constraints: 61372 1132.79/1135.64 c #Conflicts: 271000 | #Constraints: 62372 1132.79/1135.64 c #Conflicts: 272000 | #Constraints: 63372 1132.79/1135.64 c #Conflicts: 273000 | #Constraints: 64372 1132.79/1135.64 c #Conflicts: 274000 | #Constraints: 65372 1132.79/1135.64 c #Conflicts: 275000 | #Constraints: 66372 1132.79/1135.64 c #Conflicts: 276000 | #Constraints: 67372 1132.79/1135.64 c #Conflicts: 277000 | #Constraints: 68372 1132.79/1135.64 c #Conflicts: 278000 | #Constraints: 69372 1132.79/1135.64 c #Conflicts: 279000 | #Constraints: 70372 1132.79/1135.64 c #Conflicts: 280000 | #Constraints: 71372 1132.79/1135.64 c #Conflicts: 281000 | #Constraints: 72372 1132.79/1135.64 c #Conflicts: 282000 | #Constraints: 73372 1132.79/1135.64 c #Conflicts: 283000 | #Constraints: 74372 1132.79/1135.64 c #Conflicts: 284000 | #Constraints: 75372 1132.79/1135.64 c #Conflicts: 285000 | #Constraints: 76372 1132.79/1135.64 c #Conflicts: 286000 | #Constraints: 77372 1132.79/1135.64 c #Conflicts: 287000 | #Constraints: 78372 1132.79/1135.64 c #Conflicts: 288000 | #Constraints: 79372 1132.79/1135.64 c INPROCESSING 1132.79/1135.64 c GARBAGE COLLECT 1132.79/1135.64 c rational objective 179 1179.39/1182.32 c #Conflicts: 289000 | #Constraints: 52002 1179.39/1182.32 c #Conflicts: 290000 | #Constraints: 53002 1179.39/1182.32 c #Conflicts: 291000 | #Constraints: 54002 1179.39/1182.32 c #Conflicts: 292000 | #Constraints: 55002 1179.39/1182.32 c #Conflicts: 293000 | #Constraints: 56002 1179.39/1182.32 c #Conflicts: 294000 | #Constraints: 57002 1179.39/1182.32 c #Conflicts: 295000 | #Constraints: 58002 1179.39/1182.32 c #Conflicts: 296000 | #Constraints: 59002 1179.39/1182.32 c #Conflicts: 297000 | #Constraints: 60002 1179.39/1182.32 c #Conflicts: 298000 | #Constraints: 61002 1179.39/1182.32 c #Conflicts: 299000 | #Constraints: 62002 1179.39/1182.32 c #Conflicts: 300000 | #Constraints: 63002 1179.39/1182.32 c #Conflicts: 301000 | #Constraints: 64002 1179.39/1182.32 c #Conflicts: 302000 | #Constraints: 65002 1179.39/1182.32 c #Conflicts: 303000 | #Constraints: 66003 1179.39/1182.32 c INPROCESSING 1179.39/1182.32 c GARBAGE COLLECT 1179.39/1182.32 c rational objective 179 1251.02/1254.17 c #Conflicts: 304000 | #Constraints: 48910 1251.02/1254.17 c #Conflicts: 305000 | #Constraints: 49910 1251.02/1254.17 c #Conflicts: 306000 | #Constraints: 50910 1251.02/1254.17 c #Conflicts: 307000 | #Constraints: 51910 1251.02/1254.17 c #Conflicts: 308000 | #Constraints: 52910 1251.02/1254.17 c #Conflicts: 309000 | #Constraints: 53910 1251.02/1254.17 c #Conflicts: 310000 | #Constraints: 54910 1251.02/1254.17 c #Conflicts: 311000 | #Constraints: 55910 1251.02/1254.17 c #Conflicts: 312000 | #Constraints: 56911 1251.02/1254.17 c #Conflicts: 313000 | #Constraints: 57911 1251.02/1254.17 c #Conflicts: 314000 | #Constraints: 58911 1251.02/1254.17 c #Conflicts: 315000 | #Constraints: 59912 1251.02/1254.17 c #Conflicts: 316000 | #Constraints: 60912 1251.02/1254.17 c #Conflicts: 317000 | #Constraints: 61912 1251.02/1254.17 c #Conflicts: 318000 | #Constraints: 62912 1251.02/1254.17 c #Conflicts: 319000 | #Constraints: 63912 1251.02/1254.17 c #Conflicts: 320000 | #Constraints: 64912 1251.02/1254.17 c #Conflicts: 321000 | #Constraints: 65912 1251.02/1254.17 c #Conflicts: 322000 | #Constraints: 66912 1251.02/1254.17 c #Conflicts: 323000 | #Constraints: 67912 1251.02/1254.17 c #Conflicts: 324000 | #Constraints: 68912 1251.02/1254.17 c #Conflicts: 325000 | #Constraints: 69912 1251.02/1254.17 c #Conflicts: 326000 | #Constraints: 70912 1251.02/1254.17 c #Conflicts: 327000 | #Constraints: 71912 1251.02/1254.17 c #Conflicts: 328000 | #Constraints: 72912 1251.02/1254.17 c #Conflicts: 329000 | #Constraints: 73912 1251.02/1254.17 c #Conflicts: 330000 | #Constraints: 74912 1251.02/1254.17 c #Conflicts: 331000 | #Constraints: 75912 1251.02/1254.17 c #Conflicts: 332000 | #Constraints: 76912 1251.02/1254.17 c #Conflicts: 333000 | #Constraints: 77912 1251.02/1254.17 c #Conflicts: 334000 | #Constraints: 78912 1251.02/1254.17 c #Conflicts: 335000 | #Constraints: 79912 1251.02/1254.17 c #Conflicts: 336000 | #Constraints: 80912 1251.02/1254.17 c #Conflicts: 337000 | #Constraints: 81912 1251.02/1254.17 c #Conflicts: 338000 | #Constraints: 82912 1251.02/1254.17 c #Conflicts: 339000 | #Constraints: 83912 1251.02/1254.17 c #Conflicts: 340000 | #Constraints: 84912 1251.02/1254.17 c INPROCESSING 1251.02/1254.17 c GARBAGE COLLECT 1251.02/1254.17 c rational objective 179 1341.41/1344.75 c #Conflicts: 341000 | #Constraints: 54681 1341.41/1344.75 c #Conflicts: 342000 | #Constraints: 55681 1341.41/1344.75 c #Conflicts: 343000 | #Constraints: 56681 1341.41/1344.75 c #Conflicts: 344000 | #Constraints: 57681 1341.41/1344.75 c #Conflicts: 345000 | #Constraints: 58681 1341.41/1344.75 c #Conflicts: 346000 | #Constraints: 59681 1341.41/1344.75 c #Conflicts: 347000 | #Constraints: 60681 1341.41/1344.75 c #Conflicts: 348000 | #Constraints: 61681 1341.41/1344.75 c #Conflicts: 349000 | #Constraints: 62681 1341.41/1344.75 c #Conflicts: 350000 | #Constraints: 63681 1341.41/1344.75 c #Conflicts: 351000 | #Constraints: 64681 1341.41/1344.75 c #Conflicts: 352000 | #Constraints: 65681 1341.41/1344.75 c #Conflicts: 353000 | #Constraints: 66681 1341.41/1344.75 c #Conflicts: 354000 | #Constraints: 67681 1341.41/1344.75 c #Conflicts: 355000 | #Constraints: 68681 1341.41/1344.75 c #Conflicts: 356000 | #Constraints: 69681 1341.41/1344.75 c #Conflicts: 357000 | #Constraints: 70681 1341.41/1344.75 c INPROCESSING 1341.41/1344.75 c GARBAGE COLLECT 1341.41/1344.75 c rational objective 179 1429.49/1433.06 c #Conflicts: 358000 | #Constraints: 51870 1429.49/1433.06 c #Conflicts: 359000 | #Constraints: 52870 1429.49/1433.06 c #Conflicts: 360000 | #Constraints: 53870 1429.49/1433.06 c #Conflicts: 361000 | #Constraints: 54870 1429.49/1433.06 c #Conflicts: 362000 | #Constraints: 55870 1429.49/1433.06 c #Conflicts: 363000 | #Constraints: 56870 1429.49/1433.06 c #Conflicts: 364000 | #Constraints: 57870 1429.49/1433.06 c #Conflicts: 365000 | #Constraints: 58870 1429.49/1433.06 c #Conflicts: 366000 | #Constraints: 59870 1429.49/1433.06 c #Conflicts: 367000 | #Constraints: 60870 1429.49/1433.06 c #Conflicts: 368000 | #Constraints: 61870 1429.49/1433.06 c #Conflicts: 369000 | #Constraints: 62870 1429.49/1433.06 c #Conflicts: 370000 | #Constraints: 63870 1429.49/1433.06 c #Conflicts: 371000 | #Constraints: 64870 1429.49/1433.06 c #Conflicts: 372000 | #Constraints: 65870 1429.49/1433.06 c #Conflicts: 373000 | #Constraints: 66871 1429.49/1433.06 c #Conflicts: 374000 | #Constraints: 67871 1429.49/1433.06 c #Conflicts: 375000 | #Constraints: 68872 1429.49/1433.06 c #Conflicts: 376000 | #Constraints: 69872 1429.49/1433.06 c #Conflicts: 377000 | #Constraints: 70872 1429.49/1433.06 c #Conflicts: 378000 | #Constraints: 71872 1429.49/1433.06 c #Conflicts: 379000 | #Constraints: 72872 1429.49/1433.06 c #Conflicts: 380000 | #Constraints: 73872 1429.49/1433.06 c #Conflicts: 381000 | #Constraints: 74872 1429.49/1433.06 c #Conflicts: 382000 | #Constraints: 75872 1429.49/1433.06 c #Conflicts: 383000 | #Constraints: 76872 1429.49/1433.06 c #Conflicts: 384000 | #Constraints: 77872 1429.49/1433.06 c #Conflicts: 385000 | #Constraints: 78872 1429.49/1433.06 c #Conflicts: 386000 | #Constraints: 79872 1429.49/1433.06 c #Conflicts: 387000 | #Constraints: 80872 1429.49/1433.06 c #Conflicts: 388000 | #Constraints: 81872 1429.49/1433.06 c #Conflicts: 389000 | #Constraints: 82872 1429.49/1433.06 c #Conflicts: 390000 | #Constraints: 83872 1429.49/1433.06 c #Conflicts: 391000 | #Constraints: 84872 1429.49/1433.06 c #Conflicts: 392000 | #Constraints: 85872 1429.49/1433.06 c #Conflicts: 393000 | #Constraints: 86872 1429.49/1433.06 c #Conflicts: 394000 | #Constraints: 87872 1429.49/1433.06 c #Conflicts: 395000 | #Constraints: 88872 1429.49/1433.06 c #Conflicts: 396000 | #Constraints: 89872 1429.49/1433.06 c #Conflicts: 397000 | #Constraints: 90872 1429.49/1433.06 c INPROCESSING 1429.49/1433.06 c GARBAGE COLLECT 1429.49/1433.06 c rational objective 179 1751.04/1755.32 c #Conflicts: 398000 | #Constraints: 57725 1751.04/1755.32 c #Conflicts: 399000 | #Constraints: 58725 1751.04/1755.32 c #Conflicts: 400000 | #Constraints: 59725 1751.04/1755.32 c #Conflicts: 401000 | #Constraints: 60725 1751.04/1755.32 c #Conflicts: 402000 | #Constraints: 61725 1751.04/1755.32 c #Conflicts: 403000 | #Constraints: 62725 1751.04/1755.32 c #Conflicts: 404000 | #Constraints: 63725 1751.04/1755.32 c #Conflicts: 405000 | #Constraints: 64725 1751.04/1755.32 c #Conflicts: 406000 | #Constraints: 65725 1751.04/1755.32 c #Conflicts: 407000 | #Constraints: 66725 1751.04/1755.32 c #Conflicts: 408000 | #Constraints: 67725 1751.04/1755.32 c #Conflicts: 409000 | #Constraints: 68725 1751.04/1755.32 c #Conflicts: 410000 | #Constraints: 69725 1751.04/1755.32 c #Conflicts: 411000 | #Constraints: 70725 1751.04/1755.32 c #Conflicts: 412000 | #Constraints: 71726 1751.04/1755.32 c #Conflicts: 413000 | #Constraints: 72727 1751.04/1755.32 c #Conflicts: 414000 | #Constraints: 73727 1751.04/1755.32 c #Conflicts: 415000 | #Constraints: 74727 1751.04/1755.32 c INPROCESSING 1751.04/1755.32 c GARBAGE COLLECT 1751.04/1755.32 c #Conflicts: 416000 | #Constraints: 54692 1751.04/1755.32 c #Conflicts: 417000 | #Constraints: 55692 1751.04/1755.32 c #Conflicts: 418000 | #Constraints: 56692 1751.04/1755.32 c #Conflicts: 419000 | #Constraints: 57692 1751.04/1755.32 c #Conflicts: 420000 | #Constraints: 58692 1751.04/1755.32 c #Conflicts: 421000 | #Constraints: 59692 1751.04/1755.32 c #Conflicts: 422000 | #Constraints: 60692 1751.04/1755.32 c #Conflicts: 423000 | #Constraints: 61692 1751.04/1755.32 c #Conflicts: 424000 | #Constraints: 62692 1751.04/1755.32 c #Conflicts: 425000 | #Constraints: 63692 1751.04/1755.32 c #Conflicts: 426000 | #Constraints: 64692 1751.04/1755.32 c #Conflicts: 427000 | #Constraints: 65692 1751.04/1755.32 c #Conflicts: 428000 | #Constraints: 66692 1751.04/1755.32 c #Conflicts: 429000 | #Constraints: 67692 1751.04/1755.32 c #Conflicts: 430000 | #Constraints: 68693 1751.04/1755.32 c #Conflicts: 431000 | #Constraints: 69693 1751.04/1755.32 c #Conflicts: 432000 | #Constraints: 70693 1751.04/1755.32 c #Conflicts: 433000 | #Constraints: 71694 1751.04/1755.32 c #Conflicts: 434000 | #Constraints: 72694 1751.04/1755.32 c #Conflicts: 435000 | #Constraints: 73695 1751.04/1755.32 c #Conflicts: 436000 | #Constraints: 74695 1751.04/1755.32 c #Conflicts: 437000 | #Constraints: 75695 1751.04/1755.32 c #Conflicts: 438000 | #Constraints: 76695 1751.04/1755.32 c #Conflicts: 439000 | #Constraints: 77695 1751.04/1755.32 c #Conflicts: 440000 | #Constraints: 78695 1751.04/1755.32 c #Conflicts: 441000 | #Constraints: 79695 1751.04/1755.32 c #Conflicts: 442000 | #Constraints: 80695 1751.04/1755.32 c #Conflicts: 443000 | #Constraints: 81695 1751.04/1755.32 c #Conflicts: 444000 | #Constraints: 82695 1751.04/1755.32 c #Conflicts: 445000 | #Constraints: 83695 1751.04/1755.32 c #Conflicts: 446000 | #Constraints: 84695 1751.04/1755.32 c #Conflicts: 447000 | #Constraints: 85696 1751.04/1755.32 c #Conflicts: 448000 | #Constraints: 86696 1751.04/1755.32 c #Conflicts: 449000 | #Constraints: 87697 1751.04/1755.32 c #Conflicts: 450000 | #Constraints: 88697 1751.04/1755.32 c #Conflicts: 451000 | #Constraints: 89697 1751.04/1755.32 c #Conflicts: 452000 | #Constraints: 90698 1751.04/1755.32 c #Conflicts: 453000 | #Constraints: 91698 1751.04/1755.32 c #Conflicts: 454000 | #Constraints: 92698 1751.04/1755.32 c #Conflicts: 455000 | #Constraints: 93698 1751.04/1755.32 c #Conflicts: 456000 | #Constraints: 94698 1751.04/1755.32 c #Conflicts: 457000 | #Constraints: 95699 1751.04/1755.32 c #Conflicts: 458000 | #Constraints: 96700 1751.04/1755.32 c #Conflicts: 459000 | #Constraints: 97700 1751.04/1755.32 c INPROCESSING 1751.04/1755.32 c GARBAGE COLLECT 1751.04/1755.32 c rational objective 179 1834.66/1839.18 c #Conflicts: 460000 | #Constraints: 61043 1834.66/1839.18 c #Conflicts: 461000 | #Constraints: 62044 1834.66/1839.18 c #Conflicts: 462000 | #Constraints: 63044 1834.66/1839.18 c #Conflicts: 463000 | #Constraints: 64044 1834.66/1839.18 c #Conflicts: 464000 | #Constraints: 65044 1834.66/1839.18 c #Conflicts: 465000 | #Constraints: 66044 1834.66/1839.18 c #Conflicts: 466000 | #Constraints: 67045 1834.66/1839.18 c #Conflicts: 467000 | #Constraints: 68045 1834.66/1839.18 c #Conflicts: 468000 | #Constraints: 69045 1834.66/1839.18 c #Conflicts: 469000 | #Constraints: 70045 1834.66/1839.18 c #Conflicts: 470000 | #Constraints: 71045 1834.66/1839.18 c #Conflicts: 471000 | #Constraints: 72045 1834.66/1839.18 c #Conflicts: 472000 | #Constraints: 73045 1834.66/1839.18 c #Conflicts: 473000 | #Constraints: 74045 1834.66/1839.18 c #Conflicts: 474000 | #Constraints: 75045 1834.66/1839.18 c #Conflicts: 475000 | #Constraints: 76045 1834.66/1839.18 c #Conflicts: 476000 | #Constraints: 77045 1834.66/1839.18 c #Conflicts: 477000 | #Constraints: 78045 1834.66/1839.18 c #Conflicts: 478000 | #Constraints: 79045 1834.66/1839.18 c INPROCESSING 1834.66/1839.18 c GARBAGE COLLECT 1834.66/1839.18 c rational objective 179 1982.91/1987.79 c #Conflicts: 479000 | #Constraints: 56758 1982.91/1987.79 c #Conflicts: 480000 | #Constraints: 57758 1982.91/1987.79 c #Conflicts: 481000 | #Constraints: 58758 1982.91/1987.79 c #Conflicts: 482000 | #Constraints: 59758 1982.91/1987.79 c #Conflicts: 483000 | #Constraints: 60758 1982.91/1987.79 c #Conflicts: 484000 | #Constraints: 61758 1982.91/1987.79 c #Conflicts: 485000 | #Constraints: 62758 1982.91/1987.79 c #Conflicts: 486000 | #Constraints: 63758 1982.91/1987.79 c #Conflicts: 487000 | #Constraints: 64758 1982.91/1987.79 c #Conflicts: 488000 | #Constraints: 65758 1982.91/1987.79 c #Conflicts: 489000 | #Constraints: 66758 1982.91/1987.79 c #Conflicts: 490000 | #Constraints: 67759 1982.91/1987.79 c #Conflicts: 491000 | #Constraints: 68759 1982.91/1987.79 c #Conflicts: 492000 | #Constraints: 69759 1982.91/1987.79 c #Conflicts: 493000 | #Constraints: 70759 1982.91/1987.79 c #Conflicts: 494000 | #Constraints: 71759 1982.91/1987.79 c #Conflicts: 495000 | #Constraints: 72759 1982.91/1987.79 c #Conflicts: 496000 | #Constraints: 73759 1982.91/1987.79 c #Conflicts: 497000 | #Constraints: 74760 1982.91/1987.79 c #Conflicts: 498000 | #Constraints: 75760 1982.91/1987.79 c #Conflicts: 499000 | #Constraints: 76760 1982.91/1987.79 c #Conflicts: 500000 | #Constraints: 77760 1982.91/1987.79 c #Conflicts: 501000 | #Constraints: 78760 1982.91/1987.79 c #Conflicts: 502000 | #Constraints: 79760 1982.91/1987.79 c #Conflicts: 503000 | #Constraints: 80760 1982.91/1987.79 c #Conflicts: 504000 | #Constraints: 81760 1982.91/1987.79 c #Conflicts: 505000 | #Constraints: 82760 1982.91/1987.79 c #Conflicts: 506000 | #Constraints: 83760 1982.91/1987.79 c #Conflicts: 507000 | #Constraints: 84760 1982.91/1987.79 c #Conflicts: 508000 | #Constraints: 85760 1982.91/1987.79 c #Conflicts: 509000 | #Constraints: 86760 1982.91/1987.79 c #Conflicts: 510000 | #Constraints: 87760 1982.91/1987.79 c #Conflicts: 511000 | #Constraints: 88760 1982.91/1987.79 c #Conflicts: 512000 | #Constraints: 89760 1982.91/1987.79 c #Conflicts: 513000 | #Constraints: 90760 1982.91/1987.79 c #Conflicts: 514000 | #Constraints: 91760 1982.91/1987.79 c #Conflicts: 515000 | #Constraints: 92760 1982.91/1987.79 c #Conflicts: 516000 | #Constraints: 93760 1982.91/1987.79 c #Conflicts: 517000 | #Constraints: 94760 1982.91/1987.79 c #Conflicts: 518000 | #Constraints: 95760 1982.91/1987.79 c #Conflicts: 519000 | #Constraints: 96760 1982.91/1987.79 c #Conflicts: 520000 | #Constraints: 97760 1982.91/1987.79 c #Conflicts: 521000 | #Constraints: 98760 1982.91/1987.79 c #Conflicts: 522000 | #Constraints: 99760 1982.91/1987.79 c #Conflicts: 523000 | #Constraints: 100760 1982.91/1987.79 c #Conflicts: 524000 | #Constraints: 101761 1982.91/1987.79 c #Conflicts: 525000 | #Constraints: 102761 1982.91/1987.79 c INPROCESSING 1982.91/1987.79 c GARBAGE COLLECT 1982.91/1987.79 c rational objective 179 2056.05/2061.01 c #Conflicts: 526000 | #Constraints: 64268 2056.05/2061.01 c #Conflicts: 527000 | #Constraints: 65268 2056.05/2061.01 c #Conflicts: 528000 | #Constraints: 66268 2056.05/2061.01 c #Conflicts: 529000 | #Constraints: 67268 2056.05/2061.01 c #Conflicts: 530000 | #Constraints: 68268 2056.05/2061.01 c #Conflicts: 531000 | #Constraints: 69268 2056.05/2061.01 c #Conflicts: 532000 | #Constraints: 70268 2056.05/2061.01 c #Conflicts: 533000 | #Constraints: 71268 2056.05/2061.01 c #Conflicts: 534000 | #Constraints: 72268 2056.05/2061.01 c #Conflicts: 535000 | #Constraints: 73268 2056.05/2061.01 c #Conflicts: 536000 | #Constraints: 74268 2056.05/2061.01 c #Conflicts: 537000 | #Constraints: 75268 2056.05/2061.01 c #Conflicts: 538000 | #Constraints: 76268 2056.05/2061.01 c #Conflicts: 539000 | #Constraints: 77268 2056.05/2061.01 c #Conflicts: 540000 | #Constraints: 78268 2056.05/2061.01 c #Conflicts: 541000 | #Constraints: 79268 2056.05/2061.01 c #Conflicts: 542000 | #Constraints: 80268 2056.05/2061.01 c #Conflicts: 543000 | #Constraints: 81268 2056.05/2061.01 c #Conflicts: 544000 | #Constraints: 82268 2056.05/2061.01 c #Conflicts: 545000 | #Constraints: 83268 2056.05/2061.01 c INPROCESSING 2056.05/2061.01 c GARBAGE COLLECT 2056.05/2061.01 c rational objective 179 2264.74/2270.28 c #Conflicts: 546000 | #Constraints: 59099 2264.74/2270.28 c #Conflicts: 547000 | #Constraints: 60099 2264.74/2270.28 c #Conflicts: 548000 | #Constraints: 61099 2264.74/2270.28 c #Conflicts: 549000 | #Constraints: 62100 2264.74/2270.28 c #Conflicts: 550000 | #Constraints: 63101 2264.74/2270.28 c #Conflicts: 551000 | #Constraints: 64101 2264.74/2270.28 c #Conflicts: 552000 | #Constraints: 65101 2264.74/2270.28 c #Conflicts: 553000 | #Constraints: 66102 2264.74/2270.28 c #Conflicts: 554000 | #Constraints: 67102 2264.74/2270.28 c #Conflicts: 555000 | #Constraints: 68102 2264.74/2270.28 c #Conflicts: 556000 | #Constraints: 69102 2264.74/2270.28 c #Conflicts: 557000 | #Constraints: 70102 2264.74/2270.28 c #Conflicts: 558000 | #Constraints: 71102 2264.74/2270.28 c #Conflicts: 559000 | #Constraints: 72103 2264.74/2270.28 c #Conflicts: 560000 | #Constraints: 73103 2264.74/2270.28 c #Conflicts: 561000 | #Constraints: 74103 2264.74/2270.28 c #Conflicts: 562000 | #Constraints: 75103 2264.74/2270.28 c #Conflicts: 563000 | #Constraints: 76103 2264.74/2270.28 c #Conflicts: 564000 | #Constraints: 77103 2264.74/2270.28 c #Conflicts: 565000 | #Constraints: 78103 2264.74/2270.28 c #Conflicts: 566000 | #Constraints: 79103 2264.74/2270.28 c #Conflicts: 567000 | #Constraints: 80103 2264.74/2270.28 c #Conflicts: 568000 | #Constraints: 81103 2264.74/2270.28 c #Conflicts: 569000 | #Constraints: 82103 2264.74/2270.28 c #Conflicts: 570000 | #Constraints: 83103 2264.74/2270.28 c #Conflicts: 571000 | #Constraints: 84103 2264.74/2270.28 c #Conflicts: 572000 | #Constraints: 85103 2264.74/2270.28 c #Conflicts: 573000 | #Constraints: 86103 2264.74/2270.28 c #Conflicts: 574000 | #Constraints: 87104 2264.74/2270.28 c #Conflicts: 575000 | #Constraints: 88104 2264.74/2270.28 c #Conflicts: 576000 | #Constraints: 89104 2264.74/2270.28 c #Conflicts: 577000 | #Constraints: 90104 2264.74/2270.28 c #Conflicts: 578000 | #Constraints: 91104 2264.74/2270.28 c #Conflicts: 579000 | #Constraints: 92104 2264.74/2270.28 c #Conflicts: 580000 | #Constraints: 93104 2264.74/2270.28 c #Conflicts: 581000 | #Constraints: 94104 2264.74/2270.28 c #Conflicts: 582000 | #Constraints: 95104 2264.74/2270.28 c #Conflicts: 583000 | #Constraints: 96104 2264.74/2270.28 c #Conflicts: 584000 | #Constraints: 97104 2264.74/2270.28 c #Conflicts: 585000 | #Constraints: 98104 2264.74/2270.28 c #Conflicts: 586000 | #Constraints: 99104 2264.74/2270.28 c #Conflicts: 587000 | #Constraints: 100104 2264.74/2270.28 c #Conflicts: 588000 | #Constraints: 101104 2264.74/2270.28 c #Conflicts: 589000 | #Constraints: 102105 2264.74/2270.28 c #Conflicts: 590000 | #Constraints: 103105 2264.74/2270.28 c #Conflicts: 591000 | #Constraints: 104105 2264.74/2270.28 c #Conflicts: 592000 | #Constraints: 105105 2264.74/2270.28 c #Conflicts: 593000 | #Constraints: 106105 2264.74/2270.28 c #Conflicts: 594000 | #Constraints: 107105 2264.74/2270.28 c #Conflicts: 595000 | #Constraints: 108105 2264.74/2270.28 c INPROCESSING 2264.74/2270.28 c GARBAGE COLLECT 2264.74/2270.28 c rational objective 179 2336.27/2341.97 c #Conflicts: 596000 | #Constraints: 66788 2336.27/2341.97 c #Conflicts: 597000 | #Constraints: 67788 2336.27/2341.97 c #Conflicts: 598000 | #Constraints: 68788 2336.27/2341.97 c #Conflicts: 599000 | #Constraints: 69788 2336.27/2341.97 c #Conflicts: 600000 | #Constraints: 70788 2336.27/2341.97 c #Conflicts: 601000 | #Constraints: 71788 2336.27/2341.97 c #Conflicts: 602000 | #Constraints: 72788 2336.27/2341.97 c #Conflicts: 603000 | #Constraints: 73788 2336.27/2341.97 c #Conflicts: 604000 | #Constraints: 74788 2336.27/2341.97 c #Conflicts: 605000 | #Constraints: 75788 2336.27/2341.97 c #Conflicts: 606000 | #Constraints: 76788 2336.27/2341.97 c #Conflicts: 607000 | #Constraints: 77788 2336.27/2341.97 c #Conflicts: 608000 | #Constraints: 78788 2336.27/2341.97 c #Conflicts: 609000 | #Constraints: 79788 2336.27/2341.97 c #Conflicts: 610000 | #Constraints: 80788 2336.27/2341.97 c #Conflicts: 611000 | #Constraints: 81788 2336.27/2341.97 c #Conflicts: 612000 | #Constraints: 82788 2336.27/2341.97 c #Conflicts: 613000 | #Constraints: 83789 2336.27/2341.97 c #Conflicts: 614000 | #Constraints: 84789 2336.27/2341.97 c #Conflicts: 615000 | #Constraints: 85789 2336.27/2341.97 c #Conflicts: 616000 | #Constraints: 86789 2336.27/2341.97 c #Conflicts: 617000 | #Constraints: 87789 2336.27/2341.97 c INPROCESSING 2336.27/2341.97 c GARBAGE COLLECT 2336.27/2341.97 c rational objective 179 2565.31/2571.59 c #Conflicts: 618000 | #Constraints: 62584 2565.31/2571.59 c #Conflicts: 619000 | #Constraints: 63585 2565.31/2571.59 c #Conflicts: 620000 | #Constraints: 64585 2565.31/2571.59 c #Conflicts: 621000 | #Constraints: 65585 2565.31/2571.59 c #Conflicts: 622000 | #Constraints: 66585 2565.31/2571.59 c #Conflicts: 623000 | #Constraints: 67585 2565.31/2571.59 c #Conflicts: 624000 | #Constraints: 68585 2565.31/2571.59 c #Conflicts: 625000 | #Constraints: 69585 2565.31/2571.59 c #Conflicts: 626000 | #Constraints: 70585 2565.31/2571.59 c #Conflicts: 627000 | #Constraints: 71585 2565.31/2571.59 c #Conflicts: 628000 | #Constraints: 72585 2565.31/2571.59 c #Conflicts: 629000 | #Constraints: 73585 2565.31/2571.59 c #Conflicts: 630000 | #Constraints: 74585 2565.31/2571.59 c #Conflicts: 631000 | #Constraints: 75585 2565.31/2571.59 c #Conflicts: 632000 | #Constraints: 76586 2565.31/2571.59 c #Conflicts: 633000 | #Constraints: 77586 2565.31/2571.59 c #Conflicts: 634000 | #Constraints: 78586 2565.31/2571.59 c #Conflicts: 635000 | #Constraints: 79586 2565.31/2571.59 c #Conflicts: 636000 | #Constraints: 80586 2565.31/2571.59 c #Conflicts: 637000 | #Constraints: 81587 2565.31/2571.59 c #Conflicts: 638000 | #Constraints: 82587 2565.31/2571.59 c #Conflicts: 639000 | #Constraints: 83587 2565.31/2571.59 c #Conflicts: 640000 | #Constraints: 84587 2565.31/2571.59 c #Conflicts: 641000 | #Constraints: 85587 2565.31/2571.59 c #Conflicts: 642000 | #Constraints: 86587 2565.31/2571.59 c #Conflicts: 643000 | #Constraints: 87587 2565.31/2571.59 c #Conflicts: 644000 | #Constraints: 88587 2565.31/2571.59 c #Conflicts: 645000 | #Constraints: 89587 2565.31/2571.59 c #Conflicts: 646000 | #Constraints: 90587 2565.31/2571.59 c #Conflicts: 647000 | #Constraints: 91587 2565.31/2571.59 c #Conflicts: 648000 | #Constraints: 92587 2565.31/2571.59 c #Conflicts: 649000 | #Constraints: 93587 2565.31/2571.59 c #Conflicts: 650000 | #Constraints: 94587 2565.31/2571.59 c #Conflicts: 651000 | #Constraints: 95587 2565.31/2571.59 c #Conflicts: 652000 | #Constraints: 96587 2565.31/2571.59 c #Conflicts: 653000 | #Constraints: 97587 2565.31/2571.59 c #Conflicts: 654000 | #Constraints: 98587 2565.31/2571.59 c #Conflicts: 655000 | #Constraints: 99587 2565.31/2571.59 c #Conflicts: 656000 | #Constraints: 100587 2565.31/2571.59 c #Conflicts: 657000 | #Constraints: 101587 2565.31/2571.59 c #Conflicts: 658000 | #Constraints: 102587 2565.31/2571.59 c #Conflicts: 659000 | #Constraints: 103587 2565.31/2571.59 c #Conflicts: 660000 | #Constraints: 104587 2565.31/2571.59 c #Conflicts: 661000 | #Constraints: 105587 2565.31/2571.59 c #Conflicts: 662000 | #Constraints: 106587 2565.31/2571.59 c #Conflicts: 663000 | #Constraints: 107587 2565.31/2571.59 c #Conflicts: 664000 | #Constraints: 108587 2565.31/2571.59 c #Conflicts: 665000 | #Constraints: 109587 2565.31/2571.59 c #Conflicts: 666000 | #Constraints: 110587 2565.31/2571.59 c #Conflicts: 667000 | #Constraints: 111587 2565.31/2571.59 c #Conflicts: 668000 | #Constraints: 112587 2565.31/2571.59 c #Conflicts: 669000 | #Constraints: 113588 2565.31/2571.59 c INPROCESSING 2565.31/2571.59 c GARBAGE COLLECT 2565.31/2571.59 c rational objective 179 2619.50/2625.82 c #Conflicts: 670000 | #Constraints: 69375 2619.50/2625.82 c #Conflicts: 671000 | #Constraints: 70375 2619.50/2625.82 c #Conflicts: 672000 | #Constraints: 71375 2619.50/2625.82 c #Conflicts: 673000 | #Constraints: 72375 2619.50/2625.82 c #Conflicts: 674000 | #Constraints: 73375 2619.50/2625.82 c #Conflicts: 675000 | #Constraints: 74375 2619.50/2625.82 c #Conflicts: 676000 | #Constraints: 75375 2619.50/2625.82 c #Conflicts: 677000 | #Constraints: 76376 2619.50/2625.82 c #Conflicts: 678000 | #Constraints: 77376 2619.50/2625.82 c #Conflicts: 679000 | #Constraints: 78377 2619.50/2625.82 c #Conflicts: 680000 | #Constraints: 79377 2619.50/2625.82 c #Conflicts: 681000 | #Constraints: 80377 2619.50/2625.82 c #Conflicts: 682000 | #Constraints: 81377 2619.50/2625.82 c #Conflicts: 683000 | #Constraints: 82377 2619.50/2625.82 c #Conflicts: 684000 | #Constraints: 83377 2619.50/2625.82 c #Conflicts: 685000 | #Constraints: 84377 2619.50/2625.82 c #Conflicts: 686000 | #Constraints: 85377 2619.50/2625.82 c #Conflicts: 687000 | #Constraints: 86377 2619.50/2625.82 c #Conflicts: 688000 | #Constraints: 87377 2619.50/2625.82 c #Conflicts: 689000 | #Constraints: 88377 2619.50/2625.82 c #Conflicts: 690000 | #Constraints: 89377 2619.50/2625.82 c #Conflicts: 691000 | #Constraints: 90377 2619.50/2625.82 c #Conflicts: 692000 | #Constraints: 91377 2619.50/2625.82 c #Conflicts: 693000 | #Constraints: 92377 2619.50/2625.82 c INPROCESSING 2619.50/2625.82 c GARBAGE COLLECT 2619.50/2625.82 c rational objective 179 2981.88/2989.12 c #Conflicts: 694000 | #Constraints: 65846 2981.88/2989.12 c #Conflicts: 695000 | #Constraints: 66846 2981.88/2989.12 c #Conflicts: 696000 | #Constraints: 67846 2981.88/2989.12 c #Conflicts: 697000 | #Constraints: 68848 2981.88/2989.12 c #Conflicts: 698000 | #Constraints: 69851 2981.88/2989.12 c #Conflicts: 699000 | #Constraints: 70852 2981.88/2989.12 c #Conflicts: 700000 | #Constraints: 71853 2981.88/2989.12 c #Conflicts: 701000 | #Constraints: 72854 2981.88/2989.12 c #Conflicts: 702000 | #Constraints: 73854 2981.88/2989.12 c #Conflicts: 703000 | #Constraints: 74855 2981.88/2989.12 c #Conflicts: 704000 | #Constraints: 75856 2981.88/2989.12 c #Conflicts: 705000 | #Constraints: 76857 2981.88/2989.12 c #Conflicts: 706000 | #Constraints: 77857 2981.88/2989.12 c #Conflicts: 707000 | #Constraints: 78858 2981.88/2989.12 c #Conflicts: 708000 | #Constraints: 79859 2981.88/2989.12 c #Conflicts: 709000 | #Constraints: 80859 2981.88/2989.12 c #Conflicts: 710000 | #Constraints: 81859 2981.88/2989.12 c #Conflicts: 711000 | #Constraints: 82859 2981.88/2989.12 c #Conflicts: 712000 | #Constraints: 83859 2981.88/2989.12 c #Conflicts: 713000 | #Constraints: 84863 2981.88/2989.12 c #Conflicts: 714000 | #Constraints: 85863 2981.88/2989.12 c #Conflicts: 715000 | #Constraints: 86863 2981.88/2989.12 c #Conflicts: 716000 | #Constraints: 87863 2981.88/2989.12 c #Conflicts: 717000 | #Constraints: 88863 2981.88/2989.12 c #Conflicts: 718000 | #Constraints: 89863 2981.88/2989.12 c #Conflicts: 719000 | #Constraints: 90863 2981.88/2989.12 c #Conflicts: 720000 | #Constraints: 91863 2981.88/2989.12 c #Conflicts: 721000 | #Constraints: 92863 2981.88/2989.12 c #Conflicts: 722000 | #Constraints: 93863 2981.88/2989.12 c #Conflicts: 723000 | #Constraints: 94863 2981.88/2989.12 c #Conflicts: 724000 | #Constraints: 95863 2981.88/2989.12 c #Conflicts: 725000 | #Constraints: 96863 2981.88/2989.12 c #Conflicts: 726000 | #Constraints: 97863 2981.88/2989.12 c #Conflicts: 727000 | #Constraints: 98863 2981.88/2989.12 c #Conflicts: 728000 | #Constraints: 99864 2981.88/2989.12 c #Conflicts: 729000 | #Constraints: 100864 2981.88/2989.12 c #Conflicts: 730000 | #Constraints: 101864 2981.88/2989.12 c #Conflicts: 731000 | #Constraints: 102864 2981.88/2989.12 c #Conflicts: 732000 | #Constraints: 103864 2981.88/2989.12 c #Conflicts: 733000 | #Constraints: 104864 2981.88/2989.12 c #Conflicts: 734000 | #Constraints: 105864 2981.88/2989.12 c #Conflicts: 735000 | #Constraints: 106864 2981.88/2989.12 c #Conflicts: 736000 | #Constraints: 107864 2981.88/2989.12 c #Conflicts: 737000 | #Constraints: 108864 2981.88/2989.12 c #Conflicts: 738000 | #Constraints: 109864 2981.88/2989.12 c #Conflicts: 739000 | #Constraints: 110864 2981.88/2989.12 c #Conflicts: 740000 | #Constraints: 111864 2981.88/2989.12 c #Conflicts: 741000 | #Constraints: 112864 2981.88/2989.12 c #Conflicts: 742000 | #Constraints: 113864 2981.88/2989.12 c #Conflicts: 743000 | #Constraints: 114864 2981.88/2989.12 c #Conflicts: 744000 | #Constraints: 115864 2981.88/2989.12 c #Conflicts: 745000 | #Constraints: 116864 2981.88/2989.12 c #Conflicts: 746000 | #Constraints: 117864 2981.88/2989.12 c #Conflicts: 747000 | #Constraints: 118865 2981.88/2989.12 c #Conflicts: 748000 | #Constraints: 119865 2981.88/2989.12 c INPROCESSING 2981.88/2989.12 c GARBAGE COLLECT 2981.88/2989.12 c rational objective 179 3325.83/3334.08 c #Conflicts: 749000 | #Constraints: 72760 3325.83/3334.08 c #Conflicts: 750000 | #Constraints: 73760 3325.83/3334.08 c #Conflicts: 751000 | #Constraints: 74760 3325.83/3334.08 c #Conflicts: 752000 | #Constraints: 75760 3325.83/3334.08 c #Conflicts: 753000 | #Constraints: 76760 3325.83/3334.08 c #Conflicts: 754000 | #Constraints: 77760 3325.83/3334.08 c #Conflicts: 755000 | #Constraints: 78760 3325.83/3334.08 c #Conflicts: 756000 | #Constraints: 79760 3325.83/3334.08 c #Conflicts: 757000 | #Constraints: 80760 3325.83/3334.08 c #Conflicts: 758000 | #Constraints: 81760 3325.83/3334.08 c #Conflicts: 759000 | #Constraints: 82760 3325.83/3334.08 c #Conflicts: 760000 | #Constraints: 83760 3325.83/3334.08 c #Conflicts: 761000 | #Constraints: 84760 3325.83/3334.08 c #Conflicts: 762000 | #Constraints: 85760 3325.83/3334.08 c #Conflicts: 763000 | #Constraints: 86761 3325.83/3334.08 c #Conflicts: 764000 | #Constraints: 87761 3325.83/3334.08 c #Conflicts: 765000 | #Constraints: 88761 3325.83/3334.08 c #Conflicts: 766000 | #Constraints: 89761 3325.83/3334.08 c #Conflicts: 767000 | #Constraints: 90761 3325.83/3334.08 c #Conflicts: 768000 | #Constraints: 91761 3325.83/3334.08 c #Conflicts: 769000 | #Constraints: 92761 3325.83/3334.08 c #Conflicts: 770000 | #Constraints: 93761 3325.83/3334.08 c #Conflicts: 771000 | #Constraints: 94761 3325.83/3334.08 c #Conflicts: 772000 | #Constraints: 95761 3325.83/3334.08 c #Conflicts: 773000 | #Constraints: 96761 3325.83/3334.08 c INPROCESSING 3325.83/3334.08 c GARBAGE COLLECT 3325.83/3334.08 c #Conflicts: 774000 | #Constraints: 67679 3325.83/3334.08 c #Conflicts: 775000 | #Constraints: 68679 3325.83/3334.08 c #Conflicts: 776000 | #Constraints: 69679 3325.83/3334.08 c #Conflicts: 777000 | #Constraints: 70680 3325.83/3334.08 c #Conflicts: 778000 | #Constraints: 71680 3325.83/3334.08 c #Conflicts: 779000 | #Constraints: 72680 3325.83/3334.08 c #Conflicts: 780000 | #Constraints: 73680 3325.83/3334.08 c #Conflicts: 781000 | #Constraints: 74680 3325.83/3334.08 c #Conflicts: 782000 | #Constraints: 75680 3325.83/3334.08 c #Conflicts: 783000 | #Constraints: 76680 3325.83/3334.08 c #Conflicts: 784000 | #Constraints: 77680 3325.83/3334.08 c #Conflicts: 785000 | #Constraints: 78680 3325.83/3334.08 c #Conflicts: 786000 | #Constraints: 79680 3325.83/3334.08 c #Conflicts: 787000 | #Constraints: 80680 3325.83/3334.08 c #Conflicts: 788000 | #Constraints: 81680 3325.83/3334.08 c #Conflicts: 789000 | #Constraints: 82680 3325.83/3334.08 c #Conflicts: 790000 | #Constraints: 83680 3325.83/3334.08 c #Conflicts: 791000 | #Constraints: 84680 3325.83/3334.08 c #Conflicts: 792000 | #Constraints: 85680 3325.83/3334.08 c #Conflicts: 793000 | #Constraints: 86680 3325.83/3334.08 c #Conflicts: 794000 | #Constraints: 87680 3325.83/3334.08 c #Conflicts: 795000 | #Constraints: 88680 3325.83/3334.08 c #Conflicts: 796000 | #Constraints: 89680 3325.83/3334.08 c #Conflicts: 797000 | #Constraints: 90680 3325.83/3334.08 c #Conflicts: 798000 | #Constraints: 91681 3325.83/3334.08 c #Conflicts: 799000 | #Constraints: 92681 3325.83/3334.08 c #Conflicts: 800000 | #Constraints: 93681 3325.83/3334.08 c #Conflicts: 801000 | #Constraints: 94681 3325.83/3334.08 c #Conflicts: 802000 | #Constraints: 95681 3325.83/3334.08 c #Conflicts: 803000 | #Constraints: 96681 3325.83/3334.08 c #Conflicts: 804000 | #Constraints: 97681 3325.83/3334.08 c #Conflicts: 805000 | #Constraints: 98681 3325.83/3334.08 c #Conflicts: 806000 | #Constraints: 99681 3325.83/3334.08 c #Conflicts: 807000 | #Constraints: 100681 3325.83/3334.08 c #Conflicts: 808000 | #Constraints: 101681 3325.83/3334.08 c #Conflicts: 809000 | #Constraints: 102681 3325.83/3334.08 c #Conflicts: 810000 | #Constraints: 103682 3325.83/3334.08 c #Conflicts: 811000 | #Constraints: 104682 3325.83/3334.08 c #Conflicts: 812000 | #Constraints: 105682 3325.83/3334.08 c #Conflicts: 813000 | #Constraints: 106682 3325.83/3334.08 c #Conflicts: 814000 | #Constraints: 107682 3325.83/3334.08 c #Conflicts: 815000 | #Constraints: 108682 3325.83/3334.08 c #Conflicts: 816000 | #Constraints: 109682 3325.83/3334.08 c #Conflicts: 817000 | #Constraints: 110682 3325.83/3334.08 c #Conflicts: 818000 | #Constraints: 111682 3325.83/3334.08 c #Conflicts: 819000 | #Constraints: 112682 3325.83/3334.08 c #Conflicts: 820000 | #Constraints: 113682 3325.83/3334.08 c #Conflicts: 821000 | #Constraints: 114682 3325.83/3334.08 c #Conflicts: 822000 | #Constraints: 115682 3325.83/3334.08 c #Conflicts: 823000 | #Constraints: 116682 3325.83/3334.08 c #Conflicts: 824000 | #Constraints: 117682 3325.83/3334.08 c #Conflicts: 825000 | #Constraints: 118683 3325.83/3334.08 c #Conflicts: 826000 | #Constraints: 119683 3325.83/3334.08 c #Conflicts: 827000 | #Constraints: 120683 3377.39/3385.76 c #Conflicts: 828000 | #Constraints: 121683 3377.39/3385.76 c #Conflicts: 829000 | #Constraints: 122683 3377.39/3385.76 c #Conflicts: 830000 | #Constraints: 123683 3377.39/3385.76 c #Conflicts: 831000 | #Constraints: 124683 3377.39/3385.76 c #Conflicts: 832000 | #Constraints: 125683 3377.39/3385.76 c INPROCESSING 3377.39/3385.76 c GARBAGE COLLECT 3377.39/3385.76 c rational objective 179 3515.22/3523.99 c #Conflicts: 833000 | #Constraints: 75629 3515.22/3523.99 c #Conflicts: 834000 | #Constraints: 76629 3515.22/3523.99 c #Conflicts: 835000 | #Constraints: 77629 3515.22/3523.99 c #Conflicts: 836000 | #Constraints: 78629 3515.22/3523.99 c #Conflicts: 837000 | #Constraints: 79629 3515.22/3523.99 c #Conflicts: 838000 | #Constraints: 80629 3515.22/3523.99 c #Conflicts: 839000 | #Constraints: 81630 3515.22/3523.99 c #Conflicts: 840000 | #Constraints: 82630 3515.22/3523.99 c #Conflicts: 841000 | #Constraints: 83630 3515.22/3523.99 c #Conflicts: 842000 | #Constraints: 84630 3515.22/3523.99 c #Conflicts: 843000 | #Constraints: 85630 3515.22/3523.99 c #Conflicts: 844000 | #Constraints: 86630 3515.22/3523.99 c #Conflicts: 845000 | #Constraints: 87630 3515.22/3523.99 c #Conflicts: 846000 | #Constraints: 88630 3515.22/3523.99 c #Conflicts: 847000 | #Constraints: 89630 3515.22/3523.99 c #Conflicts: 848000 | #Constraints: 90630 3515.22/3523.99 c #Conflicts: 849000 | #Constraints: 91630 3515.22/3523.99 c #Conflicts: 850000 | #Constraints: 92630 3515.22/3523.99 c #Conflicts: 851000 | #Constraints: 93630 3515.22/3523.99 c #Conflicts: 852000 | #Constraints: 94630 3515.22/3523.99 c #Conflicts: 853000 | #Constraints: 95630 3515.22/3523.99 c #Conflicts: 854000 | #Constraints: 96630 3515.22/3523.99 c #Conflicts: 855000 | #Constraints: 97630 3515.22/3523.99 c #Conflicts: 856000 | #Constraints: 98630 3515.22/3523.99 c #Conflicts: 857000 | #Constraints: 99630 3515.22/3523.99 c #Conflicts: 858000 | #Constraints: 100630 3515.22/3523.99 c INPROCESSING 3515.22/3523.99 c GARBAGE COLLECT 3515.22/3523.99 c rational objective 179 3600.09/3609.00 c #Conflicts: 859000 | #Constraints: 70972 3600.09/3609.00 c #Conflicts: 860000 | #Constraints: 71972 3600.09/3609.00 c #Conflicts: 861000 | #Constraints: 72972 3600.09/3609.00 c #Conflicts: 862000 | #Constraints: 73972 3600.09/3609.00 c #Conflicts: 863000 | #Constraints: 74972 3600.09/3609.00 c #Conflicts: 864000 | #Constraints: 75972 3600.09/3609.00 c #Conflicts: 865000 | #Constraints: 76972 3600.09/3609.00 c #Conflicts: 866000 | #Constraints: 77972 3600.09/3609.00 c #Conflicts: 867000 | #Constraints: 78972 3600.09/3609.00 c #Conflicts: 868000 | #Constraints: 79972 3600.09/3609.00 c #Conflicts: 869000 | #Constraints: 80972 3600.09/3609.00 c #Conflicts: 870000 | #Constraints: 81972 3600.09/3609.00 c #Conflicts: 871000 | #Constraints: 82972 3600.09/3609.00 c #Conflicts: 872000 | #Constraints: 83972 3600.09/3609.00 c #Conflicts: 873000 | #Constraints: 84972 3600.09/3609.00 c #Conflicts: 874000 | #Constraints: 85972 3600.09/3609.00 c #Conflicts: 875000 | #Constraints: 86972 3600.09/3609.00 c #Conflicts: 876000 | #Constraints: 87973 3600.09/3609.00 c #Conflicts: 877000 | #Constraints: 88974 3600.09/3609.00 c #Conflicts: 878000 | #Constraints: 89974 3600.09/3609.00 c #Conflicts: 879000 | #Constraints: 90974 3600.09/3609.00 c #Conflicts: 880000 | #Constraints: 91974 3600.09/3609.00 c #Conflicts: 881000 | #Constraints: 92974 3600.09/3609.00 c #Conflicts: 882000 | #Constraints: 93974 3600.09/3609.00 c #Conflicts: 883000 | #Constraints: 94974 3600.09/3609.00 c #Conflicts: 884000 | #Constraints: 95974 3600.09/3609.00 c #Conflicts: 885000 | #Constraints: 96974 3600.09/3609.00 c #Conflicts: 886000 | #Constraints: 97974 3600.09/3609.00 c #Conflicts: 887000 | #Constraints: 98974 3600.09/3609.00 c #Conflicts: 888000 | #Constraints: 99974 3600.09/3609.00 c #Conflicts: 889000 | #Constraints: 100974 3600.09/3609.00 c #Conflicts: 890000 | #Constraints: 101974 3600.09/3609.00 c #Conflicts: 891000 | #Constraints: 102974 3600.09/3609.00 c #Conflicts: 892000 | #Constraints: 103974 3600.09/3609.00 c #Conflicts: 893000 | #Constraints: 104974 3600.09/3609.00 c #Conflicts: 894000 | #Constraints: 105974 3600.09/3609.00 c #Conflicts: 895000 | #Constraints: 106974 3600.09/3609.00 c #Conflicts: 896000 | #Constraints: 107974 3600.09/3609.00 c #Conflicts: 897000 | #Constraints: 108974 3600.09/3609.00 c Program interrupted by user. 3600.09/3609.01 c cpu time 3563.23 s 3600.09/3609.01 c deterministic time 269987661765 2.70e+11 3600.09/3609.01 c optimization time 81.5225 s 3600.09/3609.01 c total solve time 3481.63 s 3600.09/3609.01 c core-guided solve time 0 s 3600.09/3609.01 c propagation time 1881.43 s 3600.09/3609.01 c conflict analysis time 554.279 s 3600.09/3609.01 c propagations 727160924 3600.09/3609.01 c resolve steps 39350136 3600.09/3609.01 c decisions 20194886 3600.09/3609.01 c conflicts 897469 3600.09/3609.01 c restarts 1945 3600.09/3609.01 c inprocessing phases 39 3600.09/3609.01 c input clauses 21482 3600.09/3609.01 c input cardinalities 179 3600.09/3609.01 c input general constraints 0 3600.09/3609.01 c input average constraint length 6.43 3600.09/3609.01 c input average constraint degree 1.97 3600.09/3609.01 c learned clauses 570218 3600.09/3609.01 c learned cardinalities 40963 3600.09/3609.01 c learned general constraints 286411 3600.09/3609.01 c learned average constraint length 1292.46 3600.09/3609.01 c learned average constraint degree 538061202.14 3600.09/3609.01 c watched constraints 208809 3600.09/3609.01 c counting constraints 77602 3600.09/3609.01 c gcd simplifications 4143 3600.09/3609.01 c detected cardinalities 6221 3600.09/3609.01 c weakened non-implied lits 211847064 3600.09/3609.01 c weakened non-implying lits 316854 3600.09/3609.01 c original variables 21301 3600.09/3609.01 c clausal propagations 330682756 3600.09/3609.01 c cardinality propagations 255268748 3600.09/3609.01 c watched propagations 42357351 3600.09/3609.01 c counting propagations 89901884 3600.09/3609.01 c watch lookups 11446856317 3600.09/3609.01 c watch backjump lookups 8720494155 3600.09/3609.01 c watch checks 193508514332 3600.09/3609.01 c propagation checks 51085081273 3600.09/3609.01 c constraint additions 3729560747 3600.09/3609.01 c trail pops 748233857 3600.09/3609.01 c formula constraints 21661 3600.09/3609.01 c learned constraints 897381 3600.09/3609.01 c bound constraints 0 3600.09/3609.01 c core-guided constraints 0 3600.09/3609.01 c encountered formula constraints 26666672 3600.09/3609.01 c encountered learned constraints 13578618 3600.09/3609.01 c encountered bound constraints 0 3600.09/3609.01 c encountered core-guided constraints 0 3600.09/3609.01 c LP total time 1882.01 s 3600.09/3609.01 c LP solve time 1811.91 s 3600.09/3609.01 c LP constraints added 25334 3600.09/3609.01 c LP constraints removed 3497 3600.09/3609.01 c LP pivots internal 901359 3600.09/3609.01 c LP pivots root 663914 3600.09/3609.01 c LP calls 142 3600.09/3609.01 c LP optimalities 44 3600.09/3609.01 c LP no pivot count 1 3600.09/3609.01 c LP infeasibilities 90 3600.09/3609.01 c LP valid Farkas constraints 89 3600.09/3609.01 c LP learned Farkas constraints 87 3600.09/3609.01 c LP basis resets 2 3600.09/3609.01 c LP cycling count 0 3600.09/3609.01 c LP singular count 1 3600.09/3609.01 c LP no primal count 0 3600.09/3609.01 c LP no farkas count 1 3600.09/3609.01 c LP other issue count 0 3600.09/3609.01 c LP Gomory cuts 35 3600.09/3609.01 c LP learned cuts 3638 3600.09/3609.01 c LP deleted cuts 3497 3600.09/3609.01 c LP encountered Gomory constraints 28 3600.09/3609.01 c LP encountered Farkas constraints 1776 3600.09/3609.01 c LP encountered learned Farkas constraints 424 3600.09/3609.01 c CG auxiliary variables introduced 0 3600.09/3609.01 c CG solutions found 0 3600.09/3609.01 c CG cores constructed 0 3600.09/3609.01 c CG core cardinality constraints returned 0 3600.09/3609.01 c CG unit cores 0 3600.09/3609.01 c CG single cores 0 3600.09/3609.01 c CG blocks removed during cardinality reduction 0 3600.09/3609.01 c CG first core best 0 3600.09/3609.01 c CG decision core best 0 3600.09/3609.01 c CG core reduction tie 0 3600.09/3609.01 c CG core degree average 0.00 3600.09/3609.01 c CG core slack average 0.00 3600.09/3609.01 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 (61685 MiB free)
memory of node 1: 64510 MiB (62066 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455637-1721464445/watcher-4455637-1721464445 -o /tmp/evaluation-result-4455637-1721464445/solver-4455637-1721464445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721456928-1055161 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455637-1721464445.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1060958, runsolver pid=1060955
[startup+0.100127 s]*
/proc/loadavg: 4.14 4.15 4.11 5/257 1060959
/proc/meminfo: memFree=126702184/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=55620 memory=26064 CPUtime=0.09 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 6246 0 0 0 7 2 0 0 20 0 1 0 198604688 56954880 6516 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 13905 6516 1615 922 0 5857 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55620 KiB
Current children cumulated memory: 26064 KiB
[startup+0.206116 s]*
/proc/loadavg: 4.14 4.15 4.11 5/257 1060959
/proc/meminfo: memFree=126687652/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=73396 memory=40860 CPUtime=0.19 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 10570 0 0 0 16 3 0 0 20 0 1 0 198604688 75157504 10215 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 18349 10215 1711 922 0 10301 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 73396 KiB
Current children cumulated memory: 40860 KiB
[startup+0.305722 s]*
/proc/loadavg: 4.13 4.14 4.10 5/257 1060959
/proc/meminfo: memFree=126686196/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=73776 memory=41912 CPUtime=0.29 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 10834 0 0 0 26 3 0 0 20 0 1 0 198604688 75546624 10478 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 18444 10478 1711 922 0 10396 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73776 KiB
Current children cumulated memory: 41912 KiB
[startup+0.700243 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 1060959
/proc/meminfo: memFree=126683704/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=76432 memory=45080 CPUtime=0.68 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 11633 0 0 0 64 4 0 0 20 0 1 0 198604688 78266368 11270 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 19108 11270 1711 922 0 11060 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 76432 KiB
Current children cumulated memory: 45080 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 1060959
/proc/meminfo: memFree=126682780/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=76432 memory=45404 CPUtime=1.48 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 11648 0 0 0 143 5 0 0 20 0 1 0 198604688 78266368 11351 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 19108 11351 1727 922 0 11060 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76432 KiB
Current children cumulated memory: 45404 KiB
[startup+3.10589 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 1060959
/proc/meminfo: memFree=126679140/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=78880 memory=48948 CPUtime=3.07 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 12544 0 0 0 288 19 0 0 20 0 1 0 198604688 80773120 12237 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 19720 12237 1758 922 0 11672 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 78880 KiB
Current children cumulated memory: 48948 KiB
[startup+6.30023 s]
/proc/loadavg: 4.12 4.14 4.10 5/257 1060959
/proc/meminfo: memFree=126674408/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=80784 memory=51584 CPUtime=6.26 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 13166 0 0 0 604 22 0 0 20 0 1 0 198604688 82722816 12896 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 20196 12896 1758 922 0 12148 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 80784 KiB
Current children cumulated memory: 51584 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 1060961
/proc/meminfo: memFree=126673568/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=82140 memory=52904 CPUtime=12.65 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 13518 0 0 0 1239 26 0 0 20 0 1 0 198604688 84111360 13226 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 20535 13226 1758 922 0 12487 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 82140 KiB
Current children cumulated memory: 52904 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.13 4.10 5/257 1060963
/proc/meminfo: memFree=126666288/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=87292 memory=55744 CPUtime=25.4 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 14186 0 0 0 2485 55 0 0 20 0 1 0 198604688 89387008 13936 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 21823 13936 1822 922 0 13775 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 87292 KiB
Current children cumulated memory: 55744 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.14 4.10 5/257 1060968
/proc/meminfo: memFree=126565064/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=164464 memory=135080 CPUtime=50.94 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 30932 0 0 0 4976 118 0 0 20 0 1 0 198604688 168411136 33770 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 41116 33770 1838 922 0 33068 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 164464 KiB
Current children cumulated memory: 135080 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/254 1060977
/proc/meminfo: memFree=126488204/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=189316 memory=154480 CPUtime=101.98 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 34745 0 0 0 10008 190 0 0 20 0 1 0 198604688 193859584 38620 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 47329 38620 1854 922 0 39281 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 189316 KiB
Current children cumulated memory: 154480 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/254 1060988
/proc/meminfo: memFree=126460036/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=213072 memory=176892 CPUtime=161.81 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 36586 0 0 0 15883 298 0 0 20 0 1 0 198604688 218185728 44223 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 53268 44223 1854 922 0 45220 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 213072 KiB
Current children cumulated memory: 176892 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 1061000
/proc/meminfo: memFree=126387156/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=218852 memory=183948 CPUtime=221.62 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 42380 0 0 0 21840 322 0 0 20 0 1 0 198604688 224104448 45987 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 54713 45987 1854 922 0 46665 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 218852 KiB
Current children cumulated memory: 183948 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 1061010
/proc/meminfo: memFree=126357716/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=255912 memory=208924 CPUtime=281.46 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 44830 0 0 0 27728 418 0 0 20 0 1 0 198604688 262053888 52231 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 63978 52231 1854 922 0 55930 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 255912 KiB
Current children cumulated memory: 208924 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/254 1061066
/proc/meminfo: memFree=127490176/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=263308 memory=221592 CPUtime=341.32 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 46484 0 0 0 33657 475 0 0 20 0 1 0 198604688 269627392 55398 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 65827 55398 1854 922 0 57779 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 263308 KiB
Current children cumulated memory: 221592 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 1061082
/proc/meminfo: memFree=127377536/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=319476 memory=285180 CPUtime=401.18 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 48624 0 0 0 39552 566 0 0 20 0 1 0 198604688 327143424 71295 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 79869 71295 1854 922 0 71821 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 319476 KiB
Current children cumulated memory: 285180 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1061092
/proc/meminfo: memFree=127310736/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=333704 memory=298524 CPUtime=461.04 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 51392 0 0 0 45490 614 0 0 20 0 1 0 198604688 341712896 74631 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 83426 74631 1854 922 0 75378 0
################
# More data... #
################
Current children cumulated memory: 1470876 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/258 1062244
/proc/meminfo: memFree=120259988/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=1963696 memory=1659308 CPUtime=2855.43 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 136710 0 0 0 282493 3050 0 0 20 0 1 0 198604688 2010824704 414827 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 490924 414827 1971 922 0 482876 0
Current children cumulated CPU time: 2855.43 s
Current children cumulated vsize: 1963696 KiB
Current children cumulated memory: 1659308 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/258 1062254
/proc/meminfo: memFree=119558072/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=1992148 memory=1778008 CPUtime=2915.27 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 143415 0 0 0 288447 3080 0 0 20 0 1 0 198604688 2039959552 444502 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 498037 444502 1971 922 0 489989 0
Current children cumulated CPU time: 2915.27 s
Current children cumulated vsize: 1992148 KiB
Current children cumulated memory: 1778008 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/258 1062266
/proc/meminfo: memFree=118803404/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=2014648 memory=1805952 CPUtime=2975.09 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 148761 0 0 0 294401 3108 0 0 20 0 1 0 198604688 2062999552 451488 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 503662 451488 1971 922 0 495614 0
Current children cumulated CPU time: 2975.09 s
Current children cumulated vsize: 2014648 KiB
Current children cumulated memory: 1805952 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/258 1062278
/proc/meminfo: memFree=118142724/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=2057676 memory=1848460 CPUtime=3034.93 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 159863 0 0 0 300301 3192 0 0 20 0 1 0 198604688 2107060224 462115 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 514419 462115 1971 922 0 506371 0
Current children cumulated CPU time: 3034.93 s
Current children cumulated vsize: 2057676 KiB
Current children cumulated memory: 1848460 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/256 1062670
/proc/meminfo: memFree=117420928/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=2058196 memory=1849584 CPUtime=3094.76 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 160465 0 0 0 306261 3215 0 0 20 0 1 0 198604688 2107592704 462396 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 514549 462396 1971 922 0 506501 0
Current children cumulated CPU time: 3094.76 s
Current children cumulated vsize: 2058196 KiB
Current children cumulated memory: 1849584 KiB
[startup+3162.3 s]
/proc/loadavg: 4.45 4.21 4.12 5/255 1062680
/proc/meminfo: memFree=116806656/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=2058940 memory=1850764 CPUtime=3154.61 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 161200 0 0 0 312212 3249 0 0 20 0 1 0 198604688 2108354560 462691 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 514735 462691 1971 922 0 506687 0
Current children cumulated CPU time: 3154.61 s
Current children cumulated vsize: 2058940 KiB
Current children cumulated memory: 1850764 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.20 4.12 5/255 1062691
/proc/meminfo: memFree=116175412/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=2058940 memory=1850764 CPUtime=3214.44 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 161722 0 0 0 318127 3317 0 0 20 0 1 0 198604688 2108354560 462691 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 514735 462691 1971 922 0 506687 0
Current children cumulated CPU time: 3214.44 s
Current children cumulated vsize: 2058940 KiB
Current children cumulated memory: 1850764 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/257 1062871
/proc/meminfo: memFree=115563804/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=2058940 memory=1850772 CPUtime=3274.28 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 163293 0 0 0 324042 3386 0 0 20 0 1 0 198604688 2108354560 462693 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 514735 462693 1971 922 0 506687 0
Current children cumulated CPU time: 3274.28 s
Current children cumulated vsize: 2058940 KiB
Current children cumulated memory: 1850772 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/257 1062881
/proc/meminfo: memFree=115295676/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=2058940 memory=1850792 CPUtime=3334.1 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 163793 0 0 0 329964 3446 0 0 20 0 1 0 198604688 2108354560 462698 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 514735 462698 1971 922 0 506687 0
Current children cumulated CPU time: 3334.1 s
Current children cumulated vsize: 2058940 KiB
Current children cumulated memory: 1850792 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/258 1062949
/proc/meminfo: memFree=114545400/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=2058940 memory=1850800 CPUtime=3393.95 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 164251 0 0 0 335910 3485 0 0 20 0 1 0 198604688 2108354560 462700 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 514735 462700 1971 922 0 506687 0
Current children cumulated CPU time: 3393.95 s
Current children cumulated vsize: 2058940 KiB
Current children cumulated memory: 1850800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/258 1062959
/proc/meminfo: memFree=113866304/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=2058940 memory=1850800 CPUtime=3453.78 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 164740 0 0 0 341876 3502 0 0 20 0 1 0 198604688 2108354560 462700 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 514735 462700 1971 922 0 506687 0
Current children cumulated CPU time: 3453.78 s
Current children cumulated vsize: 2058940 KiB
Current children cumulated memory: 1850800 KiB
[startup+3522.3 s]
/proc/loadavg: 3.58 3.99 4.05 4/251 1062999
/proc/meminfo: memFree=114409148/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=2058940 memory=1850804 CPUtime=3513.62 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 165302 0 0 0 347799 3563 0 0 20 0 1 0 198604688 2108354560 462701 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 514735 462701 1971 922 0 506687 0
Current children cumulated CPU time: 3513.62 s
Current children cumulated vsize: 2058940 KiB
Current children cumulated memory: 1850804 KiB
[startup+3582.3 s]
/proc/loadavg: 3.33 3.84 3.99 4/251 1063013
/proc/meminfo: memFree=114035332/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=2046424 memory=1838424 CPUtime=3573.46 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 166687 0 0 0 353693 3653 0 0 20 0 1 0 198604688 2095538176 459606 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 511606 459606 1971 922 0 503558 0
Current children cumulated CPU time: 3573.46 s
Current children cumulated vsize: 2046424 KiB
Current children cumulated memory: 1838424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 3.36 3.80 3.98 4/251 1063019
/proc/meminfo: memFree=114029232/131524600 swapFree=131071996/131071996
[pid=1060958] ppid=1060955 vsize=2046424 memory=1838424 CPUtime=3600.09 cores=1,3
/proc/1060958/stat : 1060958 (roundingsat) R 1060955 1060958 1055149 0 -1 4194304 167219 0 0 0 356322 3687 0 0 20 0 1 0 198604688 2095538176 459606 134679101440 4194304 7968373 140733710916960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 33116160 140733710918588 140733710918752 140733710918752 140733710925769 0
/proc/1060958/statm: 511606 459606 1971 922 0 503558 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2046424 KiB
Current children cumulated memory: 1838424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.03 s]
# the end of solver process 1060958 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3563.23 s, system=36.8948 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.03
CPU time (s): 3600.13
CPU user time (s): 3563.23
CPU system time (s): 36.8948
CPU usage (%): 99.7532
Max. virtual memory (cumulated for all children) (KiB): 2871744
Max. memory (cumulated for all children) (KiB): 1850804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.23
system time used= 36.8948
maximum resident set size= 1850804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167233
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146
involuntary context switches= 2623
# summary of solver processes directly reported to runsolver:
# pid: 1060958
# total CPU time (s): 3600.13
# total CPU user time (s): 3563.23
# total CPU system time (s): 36.8948
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90738 second user time and 16.6623 second system time
The end
Begin job on nodeC015 at 2024-07-20 10:34:17 IDJOB=4455637 IDBENCH=158301 IDSOLVER=3084 FILE ID=nodeC015/4455637-1721464445 RUNJOBID= nodeC015-1721456928-1055161 SLURM_JOB_ID= 7545695 Free space on /tmp= 889980 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K179.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455637-1721464445/watcher-4455637-1721464445 -o /tmp/evaluation-result-4455637-1721464445/solver-4455637-1721464445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721456928-1055161 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455637-1721464445.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 84aa92d361920570c4f42a7fa8308fed RANDOM SEED=1258768964 nodeC015.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 : 3679.595 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.61 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 : 3665.911 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.998 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.61 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 : 3664.229 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 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 : 3679.608 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.61 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.835 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 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 : 3599.924 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.61 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 : 3646.438 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126722620 kB MemAvailable: 128117812 kB Buffers: 562660 kB Cached: 1666480 kB SwapCached: 0 kB Active: 1815672 kB Inactive: 2347480 kB Active(anon): 1548 kB Inactive(anon): 1978376 kB Active(file): 1814124 kB Inactive(file): 369104 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6656 kB Writeback: 0 kB AnonPages: 1928528 kB Mapped: 117200 kB Shmem: 45912 kB KReclaimable: 103224 kB Slab: 216008 kB SReclaimable: 103224 kB SUnreclaim: 112784 kB KernelStack: 4144 kB PageTables: 13292 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2360348 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 68224 kB HardwareCorrupted: 0 kB AnonHugePages: 925696 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: 291540 kB DirectMap2M: 38279168 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890036 MiB End job on nodeC015 at 2024-07-20 11:34:26