| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.06 | 3609.33 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K196.opb |
| MD5SUM | 8df9702f370312ff59707c84e3b82f3b |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 77.5563 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 23324 |
| Total number of constraints | 23718 |
| Number of constraints which are clauses | 23522 |
| Number of constraints which are cardinality constraints (but not clauses) | 196 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 196 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 197 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.09/0.11 c #variables 23324 #constraints 23718 98.90/99.21 c #Conflicts: 1000 | #Constraints: 24717 98.90/99.21 c #Conflicts: 2000 | #Constraints: 25717 98.90/99.21 c INPROCESSING 98.90/99.21 c GARBAGE COLLECT 98.90/99.21 c #Conflicts: 3000 | #Constraints: 24973 98.90/99.21 c #Conflicts: 4000 | #Constraints: 25973 98.90/99.21 c INPROCESSING 98.90/99.21 c GARBAGE COLLECT 98.90/99.21 c #Conflicts: 5000 | #Constraints: 25502 98.90/99.21 c #Conflicts: 6000 | #Constraints: 26502 98.90/99.21 c #Conflicts: 7000 | #Constraints: 27503 98.90/99.21 c #Conflicts: 8000 | #Constraints: 28503 98.90/99.21 c #Conflicts: 9000 | #Constraints: 29503 98.90/99.21 c INPROCESSING 98.90/99.21 c GARBAGE COLLECT 98.90/99.21 c #Conflicts: 10000 | #Constraints: 27334 98.90/99.21 c #Conflicts: 11000 | #Constraints: 28334 98.90/99.21 c #Conflicts: 12000 | #Constraints: 29334 98.90/99.21 c INPROCESSING 98.90/99.21 c GARBAGE COLLECT 98.90/99.21 c #Conflicts: 13000 | #Constraints: 27223 98.90/99.21 c #Conflicts: 14000 | #Constraints: 28223 98.90/99.21 c #Conflicts: 15000 | #Constraints: 29223 98.90/99.21 c #Conflicts: 16000 | #Constraints: 30223 98.90/99.21 c #Conflicts: 17000 | #Constraints: 31223 98.90/99.21 c #Conflicts: 18000 | #Constraints: 32223 98.90/99.21 c #Conflicts: 19000 | #Constraints: 33223 98.90/99.21 c #Conflicts: 20000 | #Constraints: 34223 98.90/99.21 c #Conflicts: 21000 | #Constraints: 35223 98.90/99.21 c INPROCESSING 98.90/99.21 c GARBAGE COLLECT 98.90/99.21 c #Conflicts: 22000 | #Constraints: 30428 98.90/99.21 c #Conflicts: 23000 | #Constraints: 31428 98.90/99.21 c #Conflicts: 24000 | #Constraints: 32428 98.90/99.21 c #Conflicts: 25000 | #Constraints: 33428 98.90/99.21 c INPROCESSING 98.90/99.21 c GARBAGE COLLECT 98.90/99.21 c rational objective 196 237.20/237.98 c #Conflicts: 26000 | #Constraints: 29744 237.20/237.98 c #Conflicts: 27000 | #Constraints: 30744 237.20/237.98 c #Conflicts: 28000 | #Constraints: 31744 237.20/237.98 c #Conflicts: 29000 | #Constraints: 32744 237.20/237.98 c #Conflicts: 30000 | #Constraints: 33744 237.20/237.98 c #Conflicts: 31000 | #Constraints: 34744 237.20/237.98 c #Conflicts: 32000 | #Constraints: 35744 237.20/237.98 c #Conflicts: 33000 | #Constraints: 36744 237.20/237.98 c #Conflicts: 34000 | #Constraints: 37744 237.20/237.98 c #Conflicts: 35000 | #Constraints: 38745 237.20/237.98 c #Conflicts: 36000 | #Constraints: 39745 237.20/237.98 c #Conflicts: 37000 | #Constraints: 40745 237.20/237.98 c INPROCESSING 237.20/237.98 c GARBAGE COLLECT 237.20/237.98 c #Conflicts: 38000 | #Constraints: 33267 237.20/237.98 c #Conflicts: 39000 | #Constraints: 34267 237.20/237.98 c #Conflicts: 40000 | #Constraints: 35267 237.20/237.98 c #Conflicts: 41000 | #Constraints: 36267 237.20/237.98 c #Conflicts: 42000 | #Constraints: 37267 237.20/237.98 c #Conflicts: 43000 | #Constraints: 38267 237.20/237.98 c INPROCESSING 237.20/237.98 c GARBAGE COLLECT 237.20/237.98 c #Conflicts: 44000 | #Constraints: 32644 237.20/237.98 c #Conflicts: 45000 | #Constraints: 33644 237.20/237.98 c #Conflicts: 46000 | #Constraints: 34644 237.20/237.98 c #Conflicts: 47000 | #Constraints: 35644 237.20/237.98 c #Conflicts: 48000 | #Constraints: 36644 237.20/237.98 c #Conflicts: 49000 | #Constraints: 37644 237.20/237.98 c #Conflicts: 50000 | #Constraints: 38644 237.20/237.98 c #Conflicts: 51000 | #Constraints: 39644 237.20/237.98 c #Conflicts: 52000 | #Constraints: 40644 237.20/237.98 c #Conflicts: 53000 | #Constraints: 41644 237.20/237.98 c #Conflicts: 54000 | #Constraints: 42644 237.20/237.98 c #Conflicts: 55000 | #Constraints: 43644 237.20/237.98 c #Conflicts: 56000 | #Constraints: 44644 237.20/237.98 c #Conflicts: 57000 | #Constraints: 45644 237.20/237.98 c INPROCESSING 237.20/237.98 c GARBAGE COLLECT 237.20/237.98 c rational objective 196 317.46/318.47 c #Conflicts: 58000 | #Constraints: 35665 317.46/318.47 c #Conflicts: 59000 | #Constraints: 36665 317.46/318.47 c #Conflicts: 60000 | #Constraints: 37665 317.46/318.47 c #Conflicts: 61000 | #Constraints: 38665 317.46/318.47 c #Conflicts: 62000 | #Constraints: 39665 317.46/318.47 c #Conflicts: 63000 | #Constraints: 40665 317.46/318.47 c #Conflicts: 64000 | #Constraints: 41665 317.46/318.47 c #Conflicts: 65000 | #Constraints: 42666 317.46/318.47 c INPROCESSING 317.46/318.47 c GARBAGE COLLECT 317.46/318.47 c rational objective 196 500.72/502.25 c #Conflicts: 66000 | #Constraints: 36105 500.72/502.25 c #Conflicts: 67000 | #Constraints: 37105 500.72/502.25 c #Conflicts: 68000 | #Constraints: 38105 500.72/502.25 c #Conflicts: 69000 | #Constraints: 39105 500.72/502.25 c #Conflicts: 70000 | #Constraints: 40105 500.72/502.25 c #Conflicts: 71000 | #Constraints: 41105 500.72/502.25 c #Conflicts: 72000 | #Constraints: 42105 500.72/502.25 c #Conflicts: 73000 | #Constraints: 43105 500.72/502.25 c #Conflicts: 74000 | #Constraints: 44105 500.72/502.25 c #Conflicts: 75000 | #Constraints: 45105 500.72/502.25 c #Conflicts: 76000 | #Constraints: 46105 500.72/502.25 c #Conflicts: 77000 | #Constraints: 47105 500.72/502.25 c #Conflicts: 78000 | #Constraints: 48105 500.72/502.25 c #Conflicts: 79000 | #Constraints: 49106 500.72/502.25 c #Conflicts: 80000 | #Constraints: 50106 500.72/502.25 c #Conflicts: 81000 | #Constraints: 51106 500.72/502.25 c #Conflicts: 82000 | #Constraints: 52106 500.72/502.25 c INPROCESSING 500.72/502.25 c GARBAGE COLLECT 500.72/502.25 c #Conflicts: 83000 | #Constraints: 39019 500.72/502.25 c #Conflicts: 84000 | #Constraints: 40019 500.72/502.25 c #Conflicts: 85000 | #Constraints: 41019 500.72/502.25 c #Conflicts: 86000 | #Constraints: 42019 500.72/502.25 c #Conflicts: 87000 | #Constraints: 43019 500.72/502.25 c #Conflicts: 88000 | #Constraints: 44019 500.72/502.25 c #Conflicts: 89000 | #Constraints: 45019 500.72/502.25 c #Conflicts: 90000 | #Constraints: 46019 500.72/502.25 c #Conflicts: 91000 | #Constraints: 47019 500.72/502.25 c INPROCESSING 500.72/502.25 c GARBAGE COLLECT 500.72/502.25 c #Conflicts: 92000 | #Constraints: 38233 500.72/502.25 c #Conflicts: 93000 | #Constraints: 39233 500.72/502.25 c #Conflicts: 94000 | #Constraints: 40234 500.72/502.25 c #Conflicts: 95000 | #Constraints: 41234 500.72/502.25 c #Conflicts: 96000 | #Constraints: 42234 500.72/502.25 c #Conflicts: 97000 | #Constraints: 43234 500.72/502.25 c #Conflicts: 98000 | #Constraints: 44234 500.72/502.25 c #Conflicts: 99000 | #Constraints: 45234 500.72/502.25 c #Conflicts: 100000 | #Constraints: 46234 500.72/502.25 c #Conflicts: 101000 | #Constraints: 47234 500.72/502.25 c #Conflicts: 102000 | #Constraints: 48234 500.72/502.25 c #Conflicts: 103000 | #Constraints: 49234 500.72/502.25 c #Conflicts: 104000 | #Constraints: 50234 500.72/502.25 c #Conflicts: 105000 | #Constraints: 51234 500.72/502.25 c #Conflicts: 106000 | #Constraints: 52234 500.72/502.25 c #Conflicts: 107000 | #Constraints: 53234 500.72/502.25 c #Conflicts: 108000 | #Constraints: 54234 500.72/502.25 c #Conflicts: 109000 | #Constraints: 55234 500.72/502.25 c #Conflicts: 110000 | #Constraints: 56234 500.72/502.25 c #Conflicts: 111000 | #Constraints: 57235 500.72/502.25 c INPROCESSING 500.72/502.25 c GARBAGE COLLECT 500.72/502.25 c rational objective 196 625.85/627.76 c #Conflicts: 112000 | #Constraints: 41551 625.85/627.76 c #Conflicts: 113000 | #Constraints: 42551 625.85/627.76 c #Conflicts: 114000 | #Constraints: 43551 625.85/627.76 c #Conflicts: 115000 | #Constraints: 44551 625.85/627.76 c #Conflicts: 116000 | #Constraints: 45551 625.85/627.76 c #Conflicts: 117000 | #Constraints: 46551 625.85/627.76 c #Conflicts: 118000 | #Constraints: 47551 625.85/627.76 c #Conflicts: 119000 | #Constraints: 48551 625.85/627.76 c #Conflicts: 120000 | #Constraints: 49551 625.85/627.76 c #Conflicts: 121000 | #Constraints: 50551 625.85/627.76 c INPROCESSING 625.85/627.76 c GARBAGE COLLECT 625.85/627.76 c #Conflicts: 122000 | #Constraints: 40357 625.85/627.76 c #Conflicts: 123000 | #Constraints: 41357 625.85/627.76 c #Conflicts: 124000 | #Constraints: 42357 625.85/627.76 c #Conflicts: 125000 | #Constraints: 43357 625.85/627.76 c #Conflicts: 126000 | #Constraints: 44357 625.85/627.76 c #Conflicts: 127000 | #Constraints: 45357 625.85/627.76 c #Conflicts: 128000 | #Constraints: 46357 625.85/627.76 c #Conflicts: 129000 | #Constraints: 47357 625.85/627.76 c #Conflicts: 130000 | #Constraints: 48357 625.85/627.76 c #Conflicts: 131000 | #Constraints: 49357 625.85/627.76 c #Conflicts: 132000 | #Constraints: 50357 625.85/627.76 c #Conflicts: 133000 | #Constraints: 51357 625.85/627.76 c #Conflicts: 134000 | #Constraints: 52357 625.85/627.76 c #Conflicts: 135000 | #Constraints: 53357 625.85/627.76 c #Conflicts: 136000 | #Constraints: 54357 625.85/627.76 c #Conflicts: 137000 | #Constraints: 55357 625.85/627.76 c #Conflicts: 138000 | #Constraints: 56357 625.85/627.76 c #Conflicts: 139000 | #Constraints: 57357 625.85/627.76 c #Conflicts: 140000 | #Constraints: 58357 625.85/627.76 c #Conflicts: 141000 | #Constraints: 59357 625.85/627.76 c #Conflicts: 142000 | #Constraints: 60357 625.85/627.76 c #Conflicts: 143000 | #Constraints: 61357 625.85/627.76 c #Conflicts: 144000 | #Constraints: 62357 625.85/627.76 c #Conflicts: 145000 | #Constraints: 63357 625.85/627.76 c INPROCESSING 625.85/627.76 c GARBAGE COLLECT 625.85/627.76 c rational objective 196 659.16/661.18 c #Conflicts: 146000 | #Constraints: 44839 659.16/661.18 c #Conflicts: 147000 | #Constraints: 45839 659.16/661.18 c #Conflicts: 148000 | #Constraints: 46839 659.16/661.18 c #Conflicts: 149000 | #Constraints: 47839 659.16/661.18 c #Conflicts: 150000 | #Constraints: 48839 659.16/661.18 c #Conflicts: 151000 | #Constraints: 49839 659.16/661.18 c #Conflicts: 152000 | #Constraints: 50839 659.16/661.18 c #Conflicts: 153000 | #Constraints: 51839 659.16/661.18 c #Conflicts: 154000 | #Constraints: 52839 659.16/661.18 c #Conflicts: 155000 | #Constraints: 53839 659.16/661.18 c #Conflicts: 156000 | #Constraints: 54839 659.16/661.18 c INPROCESSING 659.16/661.18 c GARBAGE COLLECT 659.16/661.18 c rational objective 196 792.96/795.31 c #Conflicts: 157000 | #Constraints: 43516 792.96/795.31 c #Conflicts: 158000 | #Constraints: 44517 792.96/795.31 c #Conflicts: 159000 | #Constraints: 45517 792.96/795.31 c #Conflicts: 160000 | #Constraints: 46517 792.96/795.31 c #Conflicts: 161000 | #Constraints: 47517 792.96/795.31 c #Conflicts: 162000 | #Constraints: 48517 792.96/795.31 c #Conflicts: 163000 | #Constraints: 49517 792.96/795.31 c #Conflicts: 164000 | #Constraints: 50517 792.96/795.31 c #Conflicts: 165000 | #Constraints: 51517 792.96/795.31 c #Conflicts: 166000 | #Constraints: 52517 792.96/795.31 c #Conflicts: 167000 | #Constraints: 53517 792.96/795.31 c #Conflicts: 168000 | #Constraints: 54517 792.96/795.31 c #Conflicts: 169000 | #Constraints: 55517 792.96/795.31 c #Conflicts: 170000 | #Constraints: 56517 792.96/795.31 c #Conflicts: 171000 | #Constraints: 57517 792.96/795.31 c #Conflicts: 172000 | #Constraints: 58517 792.96/795.31 c #Conflicts: 173000 | #Constraints: 59517 792.96/795.31 c #Conflicts: 174000 | #Constraints: 60518 792.96/795.31 c #Conflicts: 175000 | #Constraints: 61518 792.96/795.31 c #Conflicts: 176000 | #Constraints: 62518 792.96/795.31 c #Conflicts: 177000 | #Constraints: 63518 792.96/795.31 c #Conflicts: 178000 | #Constraints: 64518 792.96/795.31 c #Conflicts: 179000 | #Constraints: 65518 792.96/795.31 c #Conflicts: 180000 | #Constraints: 66518 792.96/795.31 c #Conflicts: 181000 | #Constraints: 67518 792.96/795.31 c #Conflicts: 182000 | #Constraints: 68518 792.96/795.31 c #Conflicts: 183000 | #Constraints: 69518 792.96/795.31 c INPROCESSING 792.96/795.31 c GARBAGE COLLECT 792.96/795.31 c rational objective 196 821.18/823.67 c #Conflicts: 184000 | #Constraints: 47908 821.18/823.67 c #Conflicts: 185000 | #Constraints: 48908 821.18/823.67 c #Conflicts: 186000 | #Constraints: 49908 821.18/823.67 c #Conflicts: 187000 | #Constraints: 50908 821.18/823.67 c #Conflicts: 188000 | #Constraints: 51909 821.18/823.67 c #Conflicts: 189000 | #Constraints: 52909 821.18/823.67 c #Conflicts: 190000 | #Constraints: 53909 821.18/823.67 c #Conflicts: 191000 | #Constraints: 54909 821.18/823.67 c #Conflicts: 192000 | #Constraints: 55909 821.18/823.67 c #Conflicts: 193000 | #Constraints: 56909 821.18/823.67 c #Conflicts: 194000 | #Constraints: 57909 821.18/823.67 c #Conflicts: 195000 | #Constraints: 58909 821.18/823.67 c #Conflicts: 196000 | #Constraints: 59909 821.18/823.67 c INPROCESSING 821.18/823.67 c GARBAGE COLLECT 821.18/823.67 c rational objective 196 927.28/930.08 c #Conflicts: 197000 | #Constraints: 47174 927.28/930.08 c #Conflicts: 198000 | #Constraints: 48174 927.28/930.08 c #Conflicts: 199000 | #Constraints: 49174 927.28/930.08 c #Conflicts: 200000 | #Constraints: 50174 927.28/930.08 c #Conflicts: 201000 | #Constraints: 51174 927.28/930.08 c #Conflicts: 202000 | #Constraints: 52174 927.28/930.08 c #Conflicts: 203000 | #Constraints: 53174 927.28/930.08 c #Conflicts: 204000 | #Constraints: 54174 927.28/930.08 c #Conflicts: 205000 | #Constraints: 55174 927.28/930.08 c #Conflicts: 206000 | #Constraints: 56174 927.28/930.08 c #Conflicts: 207000 | #Constraints: 57174 927.28/930.08 c #Conflicts: 208000 | #Constraints: 58175 927.28/930.08 c #Conflicts: 209000 | #Constraints: 59175 927.28/930.08 c #Conflicts: 210000 | #Constraints: 60175 927.28/930.08 c #Conflicts: 211000 | #Constraints: 61175 927.28/930.08 c #Conflicts: 212000 | #Constraints: 62175 927.28/930.08 c #Conflicts: 213000 | #Constraints: 63176 927.28/930.08 c #Conflicts: 214000 | #Constraints: 64178 927.28/930.08 c #Conflicts: 215000 | #Constraints: 65179 927.28/930.08 c #Conflicts: 216000 | #Constraints: 66179 927.28/930.08 c #Conflicts: 217000 | #Constraints: 67182 927.28/930.08 c #Conflicts: 218000 | #Constraints: 68182 927.28/930.08 c #Conflicts: 219000 | #Constraints: 69182 927.28/930.08 c #Conflicts: 220000 | #Constraints: 70182 927.28/930.08 c #Conflicts: 221000 | #Constraints: 71182 927.28/930.08 c #Conflicts: 222000 | #Constraints: 72182 927.28/930.08 c #Conflicts: 223000 | #Constraints: 73182 927.28/930.08 c #Conflicts: 224000 | #Constraints: 74182 927.28/930.08 c #Conflicts: 225000 | #Constraints: 75182 927.28/930.08 c #Conflicts: 226000 | #Constraints: 76182 927.28/930.08 c INPROCESSING 927.28/930.08 c GARBAGE COLLECT 927.28/930.08 c rational objective 196 962.77/965.67 c #Conflicts: 227000 | #Constraints: 51569 962.77/965.67 c #Conflicts: 228000 | #Constraints: 52569 962.77/965.67 c #Conflicts: 229000 | #Constraints: 53569 962.77/965.67 c #Conflicts: 230000 | #Constraints: 54569 962.77/965.67 c #Conflicts: 231000 | #Constraints: 55569 962.77/965.67 c #Conflicts: 232000 | #Constraints: 56569 962.77/965.67 c #Conflicts: 233000 | #Constraints: 57569 962.77/965.67 c #Conflicts: 234000 | #Constraints: 58569 962.77/965.67 c #Conflicts: 235000 | #Constraints: 59569 962.77/965.67 c #Conflicts: 236000 | #Constraints: 60569 962.77/965.67 c #Conflicts: 237000 | #Constraints: 61569 962.77/965.67 c #Conflicts: 238000 | #Constraints: 62569 962.77/965.67 c #Conflicts: 239000 | #Constraints: 63569 962.77/965.67 c #Conflicts: 240000 | #Constraints: 64569 962.77/965.67 c INPROCESSING 962.77/965.67 c GARBAGE COLLECT 962.77/965.67 c rational objective 196 1046.43/1049.59 c #Conflicts: 241000 | #Constraints: 49828 1046.43/1049.59 c #Conflicts: 242000 | #Constraints: 50828 1046.43/1049.59 c #Conflicts: 243000 | #Constraints: 51828 1046.43/1049.59 c #Conflicts: 244000 | #Constraints: 52828 1046.43/1049.59 c #Conflicts: 245000 | #Constraints: 53828 1046.43/1049.59 c #Conflicts: 246000 | #Constraints: 54828 1046.43/1049.59 c #Conflicts: 247000 | #Constraints: 55828 1046.43/1049.59 c #Conflicts: 248000 | #Constraints: 56828 1046.43/1049.59 c #Conflicts: 249000 | #Constraints: 57828 1046.43/1049.59 c #Conflicts: 250000 | #Constraints: 58828 1046.43/1049.59 c #Conflicts: 251000 | #Constraints: 59828 1046.43/1049.59 c #Conflicts: 252000 | #Constraints: 60828 1046.43/1049.59 c #Conflicts: 253000 | #Constraints: 61828 1046.43/1049.59 c #Conflicts: 254000 | #Constraints: 62828 1046.43/1049.59 c #Conflicts: 255000 | #Constraints: 63828 1046.43/1049.59 c #Conflicts: 256000 | #Constraints: 64828 1046.43/1049.59 c #Conflicts: 257000 | #Constraints: 65828 1046.43/1049.59 c #Conflicts: 258000 | #Constraints: 66828 1046.43/1049.59 c #Conflicts: 259000 | #Constraints: 67828 1046.43/1049.59 c #Conflicts: 260000 | #Constraints: 68828 1046.43/1049.59 c #Conflicts: 261000 | #Constraints: 69828 1046.43/1049.59 c #Conflicts: 262000 | #Constraints: 70828 1046.43/1049.59 c #Conflicts: 263000 | #Constraints: 71828 1046.43/1049.59 c #Conflicts: 264000 | #Constraints: 72828 1046.43/1049.59 c #Conflicts: 265000 | #Constraints: 73828 1046.43/1049.59 c #Conflicts: 266000 | #Constraints: 74828 1046.43/1049.59 c #Conflicts: 267000 | #Constraints: 75828 1046.43/1049.59 c #Conflicts: 268000 | #Constraints: 76828 1046.43/1049.59 c #Conflicts: 269000 | #Constraints: 77828 1046.43/1049.59 c #Conflicts: 270000 | #Constraints: 78828 1046.43/1049.59 c #Conflicts: 271000 | #Constraints: 79828 1046.43/1049.59 c #Conflicts: 272000 | #Constraints: 80828 1046.43/1049.59 c #Conflicts: 273000 | #Constraints: 81828 1046.43/1049.59 c INPROCESSING 1046.43/1049.59 c GARBAGE COLLECT 1046.43/1049.59 c rational objective 196 1089.01/1092.26 c #Conflicts: 274000 | #Constraints: 54604 1089.01/1092.26 c #Conflicts: 275000 | #Constraints: 55604 1089.01/1092.26 c #Conflicts: 276000 | #Constraints: 56604 1089.01/1092.26 c #Conflicts: 277000 | #Constraints: 57604 1089.01/1092.26 c #Conflicts: 278000 | #Constraints: 58604 1089.01/1092.26 c #Conflicts: 279000 | #Constraints: 59604 1089.01/1092.26 c #Conflicts: 280000 | #Constraints: 60604 1089.01/1092.26 c #Conflicts: 281000 | #Constraints: 61604 1089.01/1092.26 c #Conflicts: 282000 | #Constraints: 62604 1089.01/1092.26 c #Conflicts: 283000 | #Constraints: 63604 1089.01/1092.26 c #Conflicts: 284000 | #Constraints: 64604 1089.01/1092.26 c #Conflicts: 285000 | #Constraints: 65604 1089.01/1092.26 c #Conflicts: 286000 | #Constraints: 66604 1089.01/1092.26 c #Conflicts: 287000 | #Constraints: 67604 1089.01/1092.26 c #Conflicts: 288000 | #Constraints: 68604 1089.01/1092.26 c INPROCESSING 1089.01/1092.26 c GARBAGE COLLECT 1089.01/1092.26 c rational objective 196 1252.23/1255.99 c #Conflicts: 289000 | #Constraints: 52996 1252.23/1255.99 c #Conflicts: 290000 | #Constraints: 53996 1252.23/1255.99 c #Conflicts: 291000 | #Constraints: 54996 1252.23/1255.99 c #Conflicts: 292000 | #Constraints: 55996 1252.23/1255.99 c #Conflicts: 293000 | #Constraints: 56996 1252.23/1255.99 c #Conflicts: 294000 | #Constraints: 57996 1252.23/1255.99 c #Conflicts: 295000 | #Constraints: 58996 1252.23/1255.99 c #Conflicts: 296000 | #Constraints: 59996 1252.23/1255.99 c #Conflicts: 297000 | #Constraints: 60996 1252.23/1255.99 c #Conflicts: 298000 | #Constraints: 61997 1252.23/1255.99 c #Conflicts: 299000 | #Constraints: 62997 1252.23/1255.99 c #Conflicts: 300000 | #Constraints: 63997 1252.23/1255.99 c #Conflicts: 301000 | #Constraints: 64997 1252.23/1255.99 c #Conflicts: 302000 | #Constraints: 65997 1252.23/1255.99 c #Conflicts: 303000 | #Constraints: 66997 1252.23/1255.99 c #Conflicts: 304000 | #Constraints: 67997 1252.23/1255.99 c #Conflicts: 305000 | #Constraints: 68997 1252.23/1255.99 c #Conflicts: 306000 | #Constraints: 69997 1252.23/1255.99 c #Conflicts: 307000 | #Constraints: 70997 1252.23/1255.99 c #Conflicts: 308000 | #Constraints: 71997 1252.23/1255.99 c #Conflicts: 309000 | #Constraints: 72997 1252.23/1255.99 c #Conflicts: 310000 | #Constraints: 73998 1252.23/1255.99 c #Conflicts: 311000 | #Constraints: 74998 1252.23/1255.99 c #Conflicts: 312000 | #Constraints: 75998 1252.23/1255.99 c #Conflicts: 313000 | #Constraints: 76998 1252.23/1255.99 c #Conflicts: 314000 | #Constraints: 77998 1252.23/1255.99 c #Conflicts: 315000 | #Constraints: 78998 1252.23/1255.99 c #Conflicts: 316000 | #Constraints: 79998 1252.23/1255.99 c #Conflicts: 317000 | #Constraints: 80998 1252.23/1255.99 c #Conflicts: 318000 | #Constraints: 81998 1252.23/1255.99 c #Conflicts: 319000 | #Constraints: 82998 1252.23/1255.99 c #Conflicts: 320000 | #Constraints: 83998 1252.23/1255.99 c #Conflicts: 321000 | #Constraints: 84998 1252.23/1255.99 c #Conflicts: 322000 | #Constraints: 85998 1252.23/1255.99 c #Conflicts: 323000 | #Constraints: 86998 1252.23/1255.99 c #Conflicts: 324000 | #Constraints: 87999 1252.23/1255.99 c INPROCESSING 1252.23/1255.99 c GARBAGE COLLECT 1252.23/1255.99 c rational objective 196 1330.10/1334.04 c #Conflicts: 325000 | #Constraints: 57608 1330.10/1334.04 c #Conflicts: 326000 | #Constraints: 58608 1330.10/1334.04 c #Conflicts: 327000 | #Constraints: 59608 1330.10/1334.04 c #Conflicts: 328000 | #Constraints: 60608 1330.10/1334.04 c #Conflicts: 329000 | #Constraints: 61608 1330.10/1334.04 c #Conflicts: 330000 | #Constraints: 62608 1330.10/1334.04 c #Conflicts: 331000 | #Constraints: 63608 1330.10/1334.04 c #Conflicts: 332000 | #Constraints: 64608 1330.10/1334.04 c #Conflicts: 333000 | #Constraints: 65608 1330.10/1334.04 c #Conflicts: 334000 | #Constraints: 66608 1330.10/1334.04 c #Conflicts: 335000 | #Constraints: 67608 1330.10/1334.04 c #Conflicts: 336000 | #Constraints: 68608 1330.10/1334.04 c #Conflicts: 337000 | #Constraints: 69609 1330.10/1334.04 c #Conflicts: 338000 | #Constraints: 70609 1330.10/1334.04 c #Conflicts: 339000 | #Constraints: 71609 1330.10/1334.04 c #Conflicts: 340000 | #Constraints: 72609 1330.10/1334.04 c INPROCESSING 1330.10/1334.04 c GARBAGE COLLECT 1330.10/1334.04 c rational objective 196 1418.53/1422.77 c #Conflicts: 341000 | #Constraints: 55700 1418.53/1422.77 c #Conflicts: 342000 | #Constraints: 56700 1418.53/1422.77 c #Conflicts: 343000 | #Constraints: 57700 1418.53/1422.77 c #Conflicts: 344000 | #Constraints: 58700 1418.53/1422.77 c #Conflicts: 345000 | #Constraints: 59700 1418.53/1422.77 c #Conflicts: 346000 | #Constraints: 60700 1418.53/1422.77 c #Conflicts: 347000 | #Constraints: 61700 1418.53/1422.77 c #Conflicts: 348000 | #Constraints: 62700 1418.53/1422.77 c #Conflicts: 349000 | #Constraints: 63700 1418.53/1422.77 c #Conflicts: 350000 | #Constraints: 64700 1418.53/1422.77 c #Conflicts: 351000 | #Constraints: 65700 1418.53/1422.77 c #Conflicts: 352000 | #Constraints: 66700 1418.53/1422.77 c #Conflicts: 353000 | #Constraints: 67700 1418.53/1422.77 c #Conflicts: 354000 | #Constraints: 68700 1418.53/1422.77 c #Conflicts: 355000 | #Constraints: 69701 1418.53/1422.77 c #Conflicts: 356000 | #Constraints: 70701 1418.53/1422.77 c #Conflicts: 357000 | #Constraints: 71701 1418.53/1422.77 c #Conflicts: 358000 | #Constraints: 72701 1418.53/1422.77 c #Conflicts: 359000 | #Constraints: 73702 1418.53/1422.77 c #Conflicts: 360000 | #Constraints: 74702 1418.53/1422.77 c #Conflicts: 361000 | #Constraints: 75702 1418.53/1422.77 c #Conflicts: 362000 | #Constraints: 76702 1418.53/1422.77 c #Conflicts: 363000 | #Constraints: 77702 1418.53/1422.77 c #Conflicts: 364000 | #Constraints: 78702 1418.53/1422.77 c #Conflicts: 365000 | #Constraints: 79702 1418.53/1422.77 c #Conflicts: 366000 | #Constraints: 80702 1418.53/1422.77 c #Conflicts: 367000 | #Constraints: 81702 1418.53/1422.77 c #Conflicts: 368000 | #Constraints: 82702 1418.53/1422.77 c #Conflicts: 369000 | #Constraints: 83702 1418.53/1422.77 c #Conflicts: 370000 | #Constraints: 84702 1418.53/1422.77 c #Conflicts: 371000 | #Constraints: 85702 1418.53/1422.77 c #Conflicts: 372000 | #Constraints: 86702 1418.53/1422.77 c #Conflicts: 373000 | #Constraints: 87702 1418.53/1422.77 c #Conflicts: 374000 | #Constraints: 88702 1418.53/1422.77 c #Conflicts: 375000 | #Constraints: 89702 1418.53/1422.77 c #Conflicts: 376000 | #Constraints: 90702 1418.53/1422.77 c #Conflicts: 377000 | #Constraints: 91702 1418.53/1422.77 c #Conflicts: 378000 | #Constraints: 92702 1418.53/1422.77 c #Conflicts: 379000 | #Constraints: 93702 1418.53/1422.77 c #Conflicts: 380000 | #Constraints: 94702 1418.53/1422.77 c INPROCESSING 1418.53/1422.77 c GARBAGE COLLECT 1418.53/1422.77 c rational objective 196 1466.10/1470.40 c #Conflicts: 381000 | #Constraints: 61512 1466.10/1470.40 c #Conflicts: 382000 | #Constraints: 62512 1466.10/1470.40 c #Conflicts: 383000 | #Constraints: 63512 1466.10/1470.40 c #Conflicts: 384000 | #Constraints: 64512 1466.10/1470.40 c #Conflicts: 385000 | #Constraints: 65513 1466.10/1470.40 c #Conflicts: 386000 | #Constraints: 66513 1466.10/1470.40 c #Conflicts: 387000 | #Constraints: 67513 1466.10/1470.40 c #Conflicts: 388000 | #Constraints: 68513 1466.10/1470.40 c #Conflicts: 389000 | #Constraints: 69513 1466.10/1470.40 c #Conflicts: 390000 | #Constraints: 70513 1466.10/1470.40 c #Conflicts: 391000 | #Constraints: 71513 1466.10/1470.40 c #Conflicts: 392000 | #Constraints: 72513 1466.10/1470.40 c #Conflicts: 393000 | #Constraints: 73513 1466.10/1470.40 c #Conflicts: 394000 | #Constraints: 74513 1466.10/1470.40 c #Conflicts: 395000 | #Constraints: 75513 1466.10/1470.40 c #Conflicts: 396000 | #Constraints: 76513 1466.10/1470.40 c #Conflicts: 397000 | #Constraints: 77513 1466.10/1470.40 c INPROCESSING 1466.10/1470.40 c GARBAGE COLLECT 1466.10/1470.40 c rational objective 196 1775.79/1780.94 c #Conflicts: 398000 | #Constraints: 59335 1775.79/1780.94 c #Conflicts: 399000 | #Constraints: 60335 1775.79/1780.94 c #Conflicts: 400000 | #Constraints: 61335 1775.79/1780.94 c #Conflicts: 401000 | #Constraints: 62335 1775.79/1780.94 c #Conflicts: 402000 | #Constraints: 63335 1775.79/1780.94 c #Conflicts: 403000 | #Constraints: 64335 1775.79/1780.94 c #Conflicts: 404000 | #Constraints: 65335 1775.79/1780.94 c #Conflicts: 405000 | #Constraints: 66335 1775.79/1780.94 c #Conflicts: 406000 | #Constraints: 67335 1775.79/1780.94 c #Conflicts: 407000 | #Constraints: 68336 1775.79/1780.94 c #Conflicts: 408000 | #Constraints: 69337 1775.79/1780.94 c #Conflicts: 409000 | #Constraints: 70337 1775.79/1780.94 c #Conflicts: 410000 | #Constraints: 71337 1775.79/1780.94 c #Conflicts: 411000 | #Constraints: 72337 1775.79/1780.94 c #Conflicts: 412000 | #Constraints: 73337 1775.79/1780.94 c #Conflicts: 413000 | #Constraints: 74337 1775.79/1780.94 c #Conflicts: 414000 | #Constraints: 75338 1775.79/1780.94 c #Conflicts: 415000 | #Constraints: 76338 1775.79/1780.94 c #Conflicts: 416000 | #Constraints: 77338 1775.79/1780.94 c #Conflicts: 417000 | #Constraints: 78338 1775.79/1780.94 c #Conflicts: 418000 | #Constraints: 79338 1775.79/1780.94 c #Conflicts: 419000 | #Constraints: 80338 1775.79/1780.94 c #Conflicts: 420000 | #Constraints: 81338 1775.79/1780.94 c #Conflicts: 421000 | #Constraints: 82338 1775.79/1780.94 c #Conflicts: 422000 | #Constraints: 83338 1775.79/1780.94 c #Conflicts: 423000 | #Constraints: 84338 1775.79/1780.94 c #Conflicts: 424000 | #Constraints: 85338 1775.79/1780.94 c #Conflicts: 425000 | #Constraints: 86338 1775.79/1780.94 c #Conflicts: 426000 | #Constraints: 87338 1775.79/1780.94 c #Conflicts: 427000 | #Constraints: 88338 1775.79/1780.94 c #Conflicts: 428000 | #Constraints: 89338 1775.79/1780.94 c #Conflicts: 429000 | #Constraints: 90338 1775.79/1780.94 c #Conflicts: 430000 | #Constraints: 91338 1775.79/1780.94 c #Conflicts: 431000 | #Constraints: 92338 1775.79/1780.94 c #Conflicts: 432000 | #Constraints: 93338 1775.79/1780.94 c #Conflicts: 433000 | #Constraints: 94338 1775.79/1780.94 c #Conflicts: 434000 | #Constraints: 95338 1775.79/1780.94 c #Conflicts: 435000 | #Constraints: 96338 1775.79/1780.94 c #Conflicts: 436000 | #Constraints: 97338 1775.79/1780.94 c #Conflicts: 437000 | #Constraints: 98338 1775.79/1780.94 c #Conflicts: 438000 | #Constraints: 99338 1775.79/1780.94 c #Conflicts: 439000 | #Constraints: 100338 1775.79/1780.94 c #Conflicts: 440000 | #Constraints: 101339 1775.79/1780.94 c INPROCESSING 1775.79/1780.94 c GARBAGE COLLECT 1775.79/1780.94 c #Conflicts: 441000 | #Constraints: 64251 1775.79/1780.94 c #Conflicts: 442000 | #Constraints: 65251 1775.79/1780.94 c #Conflicts: 443000 | #Constraints: 66251 1775.79/1780.94 c #Conflicts: 444000 | #Constraints: 67251 1775.79/1780.94 c #Conflicts: 445000 | #Constraints: 68251 1775.79/1780.94 c #Conflicts: 446000 | #Constraints: 69251 1775.79/1780.94 c #Conflicts: 447000 | #Constraints: 70251 1775.79/1780.94 c #Conflicts: 448000 | #Constraints: 71251 1775.79/1780.94 c #Conflicts: 449000 | #Constraints: 72251 1775.79/1780.94 c #Conflicts: 450000 | #Constraints: 73251 1775.79/1780.94 c #Conflicts: 451000 | #Constraints: 74251 1775.79/1780.94 c #Conflicts: 452000 | #Constraints: 75251 1775.79/1780.94 c #Conflicts: 453000 | #Constraints: 76251 1775.79/1780.94 c #Conflicts: 454000 | #Constraints: 77251 1775.79/1780.94 c #Conflicts: 455000 | #Constraints: 78252 1775.79/1780.94 c #Conflicts: 456000 | #Constraints: 79252 1775.79/1780.94 c #Conflicts: 457000 | #Constraints: 80252 1775.79/1780.94 c #Conflicts: 458000 | #Constraints: 81252 1775.79/1780.94 c #Conflicts: 459000 | #Constraints: 82252 1775.79/1780.94 c INPROCESSING 1775.79/1780.94 c GARBAGE COLLECT 1775.79/1780.94 c rational objective 196 1960.28/1965.86 c #Conflicts: 460000 | #Constraints: 61931 1960.28/1965.86 c #Conflicts: 461000 | #Constraints: 62931 1960.28/1965.86 c #Conflicts: 462000 | #Constraints: 63931 1960.28/1965.86 c #Conflicts: 463000 | #Constraints: 64931 1960.28/1965.86 c #Conflicts: 464000 | #Constraints: 65931 1960.28/1965.86 c #Conflicts: 465000 | #Constraints: 66931 1960.28/1965.86 c #Conflicts: 466000 | #Constraints: 67931 1960.28/1965.86 c #Conflicts: 467000 | #Constraints: 68931 1960.28/1965.86 c #Conflicts: 468000 | #Constraints: 69931 1960.28/1965.86 c #Conflicts: 469000 | #Constraints: 70931 1960.28/1965.86 c #Conflicts: 470000 | #Constraints: 71931 1960.28/1965.86 c #Conflicts: 471000 | #Constraints: 72931 1960.28/1965.86 c #Conflicts: 472000 | #Constraints: 73931 1960.28/1965.86 c #Conflicts: 473000 | #Constraints: 74931 1960.28/1965.86 c #Conflicts: 474000 | #Constraints: 75931 1960.28/1965.86 c #Conflicts: 475000 | #Constraints: 76931 1960.28/1965.86 c #Conflicts: 476000 | #Constraints: 77931 1960.28/1965.86 c #Conflicts: 477000 | #Constraints: 78931 1960.28/1965.86 c #Conflicts: 478000 | #Constraints: 79931 1960.28/1965.86 c #Conflicts: 479000 | #Constraints: 80931 1960.28/1965.86 c #Conflicts: 480000 | #Constraints: 81931 1960.28/1965.86 c #Conflicts: 481000 | #Constraints: 82931 1960.28/1965.86 c #Conflicts: 482000 | #Constraints: 83932 1960.28/1965.86 c #Conflicts: 483000 | #Constraints: 84932 1960.28/1965.86 c #Conflicts: 484000 | #Constraints: 85932 1960.28/1965.86 c #Conflicts: 485000 | #Constraints: 86932 1960.28/1965.86 c #Conflicts: 486000 | #Constraints: 87932 1960.28/1965.86 c #Conflicts: 487000 | #Constraints: 88932 1960.28/1965.86 c #Conflicts: 488000 | #Constraints: 89932 1960.28/1965.86 c #Conflicts: 489000 | #Constraints: 90932 1960.28/1965.86 c #Conflicts: 490000 | #Constraints: 91932 1960.28/1965.86 c #Conflicts: 491000 | #Constraints: 92932 1960.28/1965.86 c #Conflicts: 492000 | #Constraints: 93932 1960.28/1965.86 c #Conflicts: 493000 | #Constraints: 94932 1960.28/1965.86 c #Conflicts: 494000 | #Constraints: 95932 1960.28/1965.86 c #Conflicts: 495000 | #Constraints: 96932 1960.28/1965.86 c #Conflicts: 496000 | #Constraints: 97932 1960.28/1965.86 c #Conflicts: 497000 | #Constraints: 98932 1960.28/1965.86 c #Conflicts: 498000 | #Constraints: 99932 1960.28/1965.86 c #Conflicts: 499000 | #Constraints: 100933 1960.28/1965.86 c #Conflicts: 500000 | #Constraints: 101933 1960.28/1965.86 c #Conflicts: 501000 | #Constraints: 102933 1960.28/1965.86 c #Conflicts: 502000 | #Constraints: 103933 1960.28/1965.86 c #Conflicts: 503000 | #Constraints: 104933 1960.28/1965.86 c #Conflicts: 504000 | #Constraints: 105933 1960.28/1965.86 c INPROCESSING 1960.28/1965.86 c GARBAGE COLLECT 1960.28/1965.86 c rational objective 196 2002.78/2008.44 c #Conflicts: 505000 | #Constraints: 66503 2002.78/2008.44 c #Conflicts: 506000 | #Constraints: 67503 2002.78/2008.44 c #Conflicts: 507000 | #Constraints: 68503 2002.78/2008.44 c #Conflicts: 508000 | #Constraints: 69503 2002.78/2008.44 c #Conflicts: 509000 | #Constraints: 70503 2002.78/2008.44 c #Conflicts: 510000 | #Constraints: 71503 2002.78/2008.44 c #Conflicts: 511000 | #Constraints: 72503 2002.78/2008.44 c #Conflicts: 512000 | #Constraints: 73503 2002.78/2008.44 c #Conflicts: 513000 | #Constraints: 74503 2002.78/2008.44 c #Conflicts: 514000 | #Constraints: 75503 2002.78/2008.44 c #Conflicts: 515000 | #Constraints: 76503 2002.78/2008.44 c #Conflicts: 516000 | #Constraints: 77503 2002.78/2008.44 c #Conflicts: 517000 | #Constraints: 78503 2002.78/2008.44 c #Conflicts: 518000 | #Constraints: 79503 2002.78/2008.44 c #Conflicts: 519000 | #Constraints: 80503 2002.78/2008.44 c #Conflicts: 520000 | #Constraints: 81503 2002.78/2008.44 c #Conflicts: 521000 | #Constraints: 82503 2002.78/2008.44 c #Conflicts: 522000 | #Constraints: 83503 2002.78/2008.44 c #Conflicts: 523000 | #Constraints: 84503 2002.78/2008.44 c #Conflicts: 524000 | #Constraints: 85503 2002.78/2008.44 c #Conflicts: 525000 | #Constraints: 86503 2002.78/2008.44 c INPROCESSING 2002.78/2008.44 c GARBAGE COLLECT 2002.78/2008.44 c rational objective 196 2123.80/2129.70 c #Conflicts: 526000 | #Constraints: 64161 2123.80/2129.70 c #Conflicts: 527000 | #Constraints: 65161 2123.80/2129.70 c #Conflicts: 528000 | #Constraints: 66161 2123.80/2129.70 c #Conflicts: 529000 | #Constraints: 67161 2123.80/2129.70 c #Conflicts: 530000 | #Constraints: 68161 2123.80/2129.70 c #Conflicts: 531000 | #Constraints: 69161 2123.80/2129.70 c #Conflicts: 532000 | #Constraints: 70161 2123.80/2129.70 c #Conflicts: 533000 | #Constraints: 71161 2123.80/2129.70 c #Conflicts: 534000 | #Constraints: 72161 2123.80/2129.70 c #Conflicts: 535000 | #Constraints: 73161 2123.80/2129.70 c #Conflicts: 536000 | #Constraints: 74161 2123.80/2129.70 c #Conflicts: 537000 | #Constraints: 75161 2123.80/2129.70 c #Conflicts: 538000 | #Constraints: 76161 2123.80/2129.70 c #Conflicts: 539000 | #Constraints: 77161 2123.80/2129.70 c #Conflicts: 540000 | #Constraints: 78161 2123.80/2129.70 c #Conflicts: 541000 | #Constraints: 79161 2123.80/2129.70 c #Conflicts: 542000 | #Constraints: 80161 2123.80/2129.70 c #Conflicts: 543000 | #Constraints: 81161 2123.80/2129.70 c #Conflicts: 544000 | #Constraints: 82161 2123.80/2129.70 c #Conflicts: 545000 | #Constraints: 83161 2123.80/2129.70 c #Conflicts: 546000 | #Constraints: 84161 2123.80/2129.70 c #Conflicts: 547000 | #Constraints: 85161 2123.80/2129.70 c #Conflicts: 548000 | #Constraints: 86161 2123.80/2129.70 c #Conflicts: 549000 | #Constraints: 87161 2123.80/2129.70 c #Conflicts: 550000 | #Constraints: 88161 2123.80/2129.70 c #Conflicts: 551000 | #Constraints: 89161 2123.80/2129.70 c #Conflicts: 552000 | #Constraints: 90161 2123.80/2129.70 c #Conflicts: 553000 | #Constraints: 91161 2123.80/2129.70 c #Conflicts: 554000 | #Constraints: 92161 2123.80/2129.70 c #Conflicts: 555000 | #Constraints: 93161 2123.80/2129.70 c #Conflicts: 556000 | #Constraints: 94161 2123.80/2129.70 c #Conflicts: 557000 | #Constraints: 95161 2123.80/2129.70 c #Conflicts: 558000 | #Constraints: 96161 2123.80/2129.70 c #Conflicts: 559000 | #Constraints: 97161 2123.80/2129.70 c #Conflicts: 560000 | #Constraints: 98161 2123.80/2129.70 c #Conflicts: 561000 | #Constraints: 99161 2123.80/2129.70 c #Conflicts: 562000 | #Constraints: 100161 2123.80/2129.70 c #Conflicts: 563000 | #Constraints: 101161 2123.80/2129.70 c #Conflicts: 564000 | #Constraints: 102161 2123.80/2129.70 c #Conflicts: 565000 | #Constraints: 103161 2123.80/2129.70 c #Conflicts: 566000 | #Constraints: 104161 2123.80/2129.70 c #Conflicts: 567000 | #Constraints: 105161 2123.80/2129.70 c #Conflicts: 568000 | #Constraints: 106161 2123.80/2129.70 c #Conflicts: 569000 | #Constraints: 107161 2123.80/2129.70 c #Conflicts: 570000 | #Constraints: 108161 2123.80/2129.70 c #Conflicts: 571000 | #Constraints: 109161 2123.80/2129.70 c #Conflicts: 572000 | #Constraints: 110161 2123.80/2129.70 c #Conflicts: 573000 | #Constraints: 111161 2123.80/2129.70 c INPROCESSING 2123.80/2129.70 c GARBAGE COLLECT 2123.80/2129.70 c rational objective 196 2174.59/2180.60 c #Conflicts: 574000 | #Constraints: 69547 2174.59/2180.60 c #Conflicts: 575000 | #Constraints: 70548 2174.59/2180.60 c #Conflicts: 576000 | #Constraints: 71548 2174.59/2180.60 c #Conflicts: 577000 | #Constraints: 72548 2174.59/2180.60 c #Conflicts: 578000 | #Constraints: 73548 2174.59/2180.60 c #Conflicts: 579000 | #Constraints: 74548 2174.59/2180.60 c #Conflicts: 580000 | #Constraints: 75548 2174.59/2180.60 c #Conflicts: 581000 | #Constraints: 76548 2174.59/2180.60 c #Conflicts: 582000 | #Constraints: 77548 2174.59/2180.60 c #Conflicts: 583000 | #Constraints: 78548 2174.59/2180.60 c #Conflicts: 584000 | #Constraints: 79548 2174.59/2180.60 c #Conflicts: 585000 | #Constraints: 80548 2174.59/2180.60 c #Conflicts: 586000 | #Constraints: 81548 2174.59/2180.60 c #Conflicts: 587000 | #Constraints: 82548 2174.59/2180.60 c #Conflicts: 588000 | #Constraints: 83548 2174.59/2180.60 c #Conflicts: 589000 | #Constraints: 84548 2174.59/2180.60 c #Conflicts: 590000 | #Constraints: 85548 2174.59/2180.60 c #Conflicts: 591000 | #Constraints: 86548 2174.59/2180.60 c #Conflicts: 592000 | #Constraints: 87548 2174.59/2180.60 c #Conflicts: 593000 | #Constraints: 88548 2174.59/2180.60 c #Conflicts: 594000 | #Constraints: 89548 2174.59/2180.60 c #Conflicts: 595000 | #Constraints: 90548 2174.59/2180.60 c INPROCESSING 2174.59/2180.60 c GARBAGE COLLECT 2174.59/2180.60 c rational objective 196 2393.49/2400.05 c #Conflicts: 596000 | #Constraints: 67348 2393.49/2400.05 c #Conflicts: 597000 | #Constraints: 68349 2393.49/2400.05 c #Conflicts: 598000 | #Constraints: 69349 2393.49/2400.05 c #Conflicts: 599000 | #Constraints: 70350 2393.49/2400.05 c #Conflicts: 600000 | #Constraints: 71350 2393.49/2400.05 c #Conflicts: 601000 | #Constraints: 72350 2393.49/2400.05 c #Conflicts: 602000 | #Constraints: 73350 2393.49/2400.05 c #Conflicts: 603000 | #Constraints: 74350 2393.49/2400.05 c #Conflicts: 604000 | #Constraints: 75350 2393.49/2400.05 c #Conflicts: 605000 | #Constraints: 76350 2393.49/2400.05 c #Conflicts: 606000 | #Constraints: 77350 2393.49/2400.05 c #Conflicts: 607000 | #Constraints: 78350 2393.49/2400.05 c #Conflicts: 608000 | #Constraints: 79351 2393.49/2400.05 c #Conflicts: 609000 | #Constraints: 80351 2393.49/2400.05 c #Conflicts: 610000 | #Constraints: 81351 2393.49/2400.05 c #Conflicts: 611000 | #Constraints: 82351 2393.49/2400.05 c #Conflicts: 612000 | #Constraints: 83351 2393.49/2400.05 c #Conflicts: 613000 | #Constraints: 84351 2393.49/2400.05 c #Conflicts: 614000 | #Constraints: 85351 2393.49/2400.05 c #Conflicts: 615000 | #Constraints: 86351 2393.49/2400.05 c #Conflicts: 616000 | #Constraints: 87351 2393.49/2400.05 c #Conflicts: 617000 | #Constraints: 88351 2393.49/2400.05 c #Conflicts: 618000 | #Constraints: 89351 2393.49/2400.05 c #Conflicts: 619000 | #Constraints: 90351 2393.49/2400.05 c #Conflicts: 620000 | #Constraints: 91351 2393.49/2400.05 c #Conflicts: 621000 | #Constraints: 92351 2393.49/2400.05 c #Conflicts: 622000 | #Constraints: 93352 2393.49/2400.05 c #Conflicts: 623000 | #Constraints: 94352 2393.49/2400.05 c #Conflicts: 624000 | #Constraints: 95352 2393.49/2400.05 c #Conflicts: 625000 | #Constraints: 96352 2393.49/2400.05 c #Conflicts: 626000 | #Constraints: 97353 2393.49/2400.05 c #Conflicts: 627000 | #Constraints: 98353 2393.49/2400.05 c #Conflicts: 628000 | #Constraints: 99353 2393.49/2400.05 c #Conflicts: 629000 | #Constraints: 100353 2393.49/2400.05 c #Conflicts: 630000 | #Constraints: 101353 2393.49/2400.05 c #Conflicts: 631000 | #Constraints: 102354 2393.49/2400.05 c #Conflicts: 632000 | #Constraints: 103354 2393.49/2400.05 c #Conflicts: 633000 | #Constraints: 104354 2393.49/2400.05 c #Conflicts: 634000 | #Constraints: 105354 2393.49/2400.05 c #Conflicts: 635000 | #Constraints: 106354 2393.49/2400.05 c #Conflicts: 636000 | #Constraints: 107354 2393.49/2400.05 c #Conflicts: 637000 | #Constraints: 108354 2393.49/2400.05 c #Conflicts: 638000 | #Constraints: 109354 2393.49/2400.05 c #Conflicts: 639000 | #Constraints: 110354 2393.49/2400.05 c #Conflicts: 640000 | #Constraints: 111354 2393.49/2400.05 c #Conflicts: 641000 | #Constraints: 112354 2393.49/2400.05 c #Conflicts: 642000 | #Constraints: 113354 2393.49/2400.05 c #Conflicts: 643000 | #Constraints: 114354 2393.49/2400.05 c #Conflicts: 644000 | #Constraints: 115355 2393.49/2400.05 c #Conflicts: 645000 | #Constraints: 116355 2393.49/2400.05 c #Conflicts: 646000 | #Constraints: 117355 2393.49/2400.05 c INPROCESSING 2393.49/2400.05 c GARBAGE COLLECT 2393.49/2400.05 c rational objective 196 2447.77/2454.45 c #Conflicts: 647000 | #Constraints: 72648 2447.77/2454.45 c #Conflicts: 648000 | #Constraints: 73648 2447.77/2454.45 c #Conflicts: 649000 | #Constraints: 74648 2447.77/2454.45 c #Conflicts: 650000 | #Constraints: 75648 2447.77/2454.45 c #Conflicts: 651000 | #Constraints: 76648 2447.77/2454.45 c #Conflicts: 652000 | #Constraints: 77648 2447.77/2454.45 c #Conflicts: 653000 | #Constraints: 78648 2447.77/2454.45 c #Conflicts: 654000 | #Constraints: 79648 2447.77/2454.45 c #Conflicts: 655000 | #Constraints: 80648 2447.77/2454.45 c #Conflicts: 656000 | #Constraints: 81648 2447.77/2454.45 c #Conflicts: 657000 | #Constraints: 82648 2447.77/2454.45 c #Conflicts: 658000 | #Constraints: 83648 2447.77/2454.45 c #Conflicts: 659000 | #Constraints: 84648 2447.77/2454.45 c #Conflicts: 660000 | #Constraints: 85648 2447.77/2454.45 c #Conflicts: 661000 | #Constraints: 86649 2447.77/2454.45 c #Conflicts: 662000 | #Constraints: 87649 2447.77/2454.45 c #Conflicts: 663000 | #Constraints: 88649 2447.77/2454.45 c #Conflicts: 664000 | #Constraints: 89649 2447.77/2454.45 c #Conflicts: 665000 | #Constraints: 90649 2447.77/2454.45 c #Conflicts: 666000 | #Constraints: 91649 2447.77/2454.45 c #Conflicts: 667000 | #Constraints: 92649 2447.77/2454.45 c #Conflicts: 668000 | #Constraints: 93649 2447.77/2454.45 c #Conflicts: 669000 | #Constraints: 94649 2447.77/2454.45 c INPROCESSING 2447.77/2454.45 c GARBAGE COLLECT 2447.77/2454.45 c rational objective 196 2591.94/2598.92 c #Conflicts: 670000 | #Constraints: 69846 2591.94/2598.92 c #Conflicts: 671000 | #Constraints: 70846 2591.94/2598.92 c #Conflicts: 672000 | #Constraints: 71846 2591.94/2598.92 c #Conflicts: 673000 | #Constraints: 72846 2591.94/2598.92 c #Conflicts: 674000 | #Constraints: 73846 2591.94/2598.92 c #Conflicts: 675000 | #Constraints: 74846 2591.94/2598.92 c #Conflicts: 676000 | #Constraints: 75846 2591.94/2598.92 c #Conflicts: 677000 | #Constraints: 76846 2591.94/2598.92 c #Conflicts: 678000 | #Constraints: 77846 2591.94/2598.92 c #Conflicts: 679000 | #Constraints: 78846 2591.94/2598.92 c #Conflicts: 680000 | #Constraints: 79846 2591.94/2598.92 c #Conflicts: 681000 | #Constraints: 80847 2591.94/2598.92 c #Conflicts: 682000 | #Constraints: 81847 2591.94/2598.92 c #Conflicts: 683000 | #Constraints: 82848 2591.94/2598.92 c #Conflicts: 684000 | #Constraints: 83848 2591.94/2598.92 c #Conflicts: 685000 | #Constraints: 84848 2591.94/2598.92 c #Conflicts: 686000 | #Constraints: 85848 2591.94/2598.92 c #Conflicts: 687000 | #Constraints: 86848 2591.94/2598.92 c #Conflicts: 688000 | #Constraints: 87848 2591.94/2598.92 c #Conflicts: 689000 | #Constraints: 88848 2591.94/2598.92 c #Conflicts: 690000 | #Constraints: 89848 2591.94/2598.92 c #Conflicts: 691000 | #Constraints: 90848 2591.94/2598.92 c #Conflicts: 692000 | #Constraints: 91848 2591.94/2598.92 c #Conflicts: 693000 | #Constraints: 92848 2591.94/2598.92 c #Conflicts: 694000 | #Constraints: 93848 2591.94/2598.92 c #Conflicts: 695000 | #Constraints: 94848 2591.94/2598.92 c #Conflicts: 696000 | #Constraints: 95848 2591.94/2598.92 c #Conflicts: 697000 | #Constraints: 96848 2591.94/2598.92 c #Conflicts: 698000 | #Constraints: 97848 2591.94/2598.92 c #Conflicts: 699000 | #Constraints: 98848 2591.94/2598.92 c #Conflicts: 700000 | #Constraints: 99848 2591.94/2598.92 c #Conflicts: 701000 | #Constraints: 100848 2591.94/2598.92 c #Conflicts: 702000 | #Constraints: 101848 2591.94/2598.92 c #Conflicts: 703000 | #Constraints: 102848 2591.94/2598.92 c #Conflicts: 704000 | #Constraints: 103848 2591.94/2598.92 c #Conflicts: 705000 | #Constraints: 104848 2591.94/2598.92 c #Conflicts: 706000 | #Constraints: 105848 2591.94/2598.92 c #Conflicts: 707000 | #Constraints: 106848 2591.94/2598.92 c #Conflicts: 708000 | #Constraints: 107848 2591.94/2598.92 c #Conflicts: 709000 | #Constraints: 108848 2591.94/2598.92 c #Conflicts: 710000 | #Constraints: 109848 2591.94/2598.92 c #Conflicts: 711000 | #Constraints: 110848 2591.94/2598.92 c #Conflicts: 712000 | #Constraints: 111848 2591.94/2598.92 c #Conflicts: 713000 | #Constraints: 112848 2591.94/2598.92 c #Conflicts: 714000 | #Constraints: 113848 2591.94/2598.92 c #Conflicts: 715000 | #Constraints: 114849 2591.94/2598.92 c #Conflicts: 716000 | #Constraints: 115849 2591.94/2598.92 c #Conflicts: 717000 | #Constraints: 116849 2591.94/2598.92 c #Conflicts: 718000 | #Constraints: 117849 2591.94/2598.92 c #Conflicts: 719000 | #Constraints: 118849 2591.94/2598.92 c #Conflicts: 720000 | #Constraints: 119849 2591.94/2598.92 c #Conflicts: 721000 | #Constraints: 120849 2591.94/2598.92 c #Conflicts: 722000 | #Constraints: 121849 2591.94/2598.92 c #Conflicts: 723000 | #Constraints: 122849 2591.94/2598.92 c #Conflicts: 724000 | #Constraints: 123849 2591.94/2598.92 c INPROCESSING 2591.94/2598.92 c GARBAGE COLLECT 2591.94/2598.92 c rational objective 196 2786.99/2794.45 c #Conflicts: 725000 | #Constraints: 76014 2786.99/2794.45 c #Conflicts: 726000 | #Constraints: 77014 2786.99/2794.45 c #Conflicts: 727000 | #Constraints: 78014 2786.99/2794.45 c #Conflicts: 728000 | #Constraints: 79014 2786.99/2794.45 c #Conflicts: 729000 | #Constraints: 80014 2786.99/2794.45 c #Conflicts: 730000 | #Constraints: 81014 2786.99/2794.45 c #Conflicts: 731000 | #Constraints: 82014 2786.99/2794.45 c #Conflicts: 732000 | #Constraints: 83014 2786.99/2794.45 c #Conflicts: 733000 | #Constraints: 84015 2786.99/2794.45 c #Conflicts: 734000 | #Constraints: 85015 2786.99/2794.45 c #Conflicts: 735000 | #Constraints: 86015 2786.99/2794.45 c #Conflicts: 736000 | #Constraints: 87016 2786.99/2794.45 c #Conflicts: 737000 | #Constraints: 88016 2786.99/2794.45 c #Conflicts: 738000 | #Constraints: 89016 2786.99/2794.45 c #Conflicts: 739000 | #Constraints: 90017 2786.99/2794.45 c #Conflicts: 740000 | #Constraints: 91017 2786.99/2794.45 c #Conflicts: 741000 | #Constraints: 92017 2786.99/2794.45 c #Conflicts: 742000 | #Constraints: 93017 2786.99/2794.45 c #Conflicts: 743000 | #Constraints: 94017 2786.99/2794.45 c #Conflicts: 744000 | #Constraints: 95017 2786.99/2794.45 c #Conflicts: 745000 | #Constraints: 96017 2786.99/2794.45 c #Conflicts: 746000 | #Constraints: 97017 2786.99/2794.45 c #Conflicts: 747000 | #Constraints: 98017 2786.99/2794.45 c #Conflicts: 748000 | #Constraints: 99018 2786.99/2794.45 c INPROCESSING 2786.99/2794.45 c GARBAGE COLLECT 2786.99/2794.45 c rational objective 196 3018.07/3026.07 c #Conflicts: 749000 | #Constraints: 72189 3018.07/3026.07 c #Conflicts: 750000 | #Constraints: 73189 3018.07/3026.07 c #Conflicts: 751000 | #Constraints: 74189 3018.07/3026.07 c #Conflicts: 752000 | #Constraints: 75189 3018.07/3026.07 c #Conflicts: 753000 | #Constraints: 76189 3018.07/3026.07 c #Conflicts: 754000 | #Constraints: 77189 3018.07/3026.07 c #Conflicts: 755000 | #Constraints: 78189 3018.07/3026.07 c #Conflicts: 756000 | #Constraints: 79190 3018.07/3026.07 c #Conflicts: 757000 | #Constraints: 80190 3018.07/3026.07 c #Conflicts: 758000 | #Constraints: 81191 3018.07/3026.07 c #Conflicts: 759000 | #Constraints: 82191 3018.07/3026.07 c #Conflicts: 760000 | #Constraints: 83191 3018.07/3026.07 c #Conflicts: 761000 | #Constraints: 84191 3018.07/3026.07 c #Conflicts: 762000 | #Constraints: 85191 3018.07/3026.07 c #Conflicts: 763000 | #Constraints: 86191 3018.07/3026.07 c #Conflicts: 764000 | #Constraints: 87191 3018.07/3026.07 c #Conflicts: 765000 | #Constraints: 88191 3018.07/3026.07 c #Conflicts: 766000 | #Constraints: 89191 3018.07/3026.07 c #Conflicts: 767000 | #Constraints: 90191 3018.07/3026.07 c #Conflicts: 768000 | #Constraints: 91191 3018.07/3026.07 c #Conflicts: 769000 | #Constraints: 92191 3018.07/3026.07 c #Conflicts: 770000 | #Constraints: 93191 3018.07/3026.07 c #Conflicts: 771000 | #Constraints: 94191 3018.07/3026.07 c #Conflicts: 772000 | #Constraints: 95191 3018.07/3026.07 c #Conflicts: 773000 | #Constraints: 96191 3018.07/3026.07 c #Conflicts: 774000 | #Constraints: 97191 3018.07/3026.07 c #Conflicts: 775000 | #Constraints: 98191 3018.07/3026.07 c #Conflicts: 776000 | #Constraints: 99191 3018.07/3026.07 c #Conflicts: 777000 | #Constraints: 100191 3018.07/3026.07 c #Conflicts: 778000 | #Constraints: 101191 3018.07/3026.07 c #Conflicts: 779000 | #Constraints: 102191 3018.07/3026.07 c #Conflicts: 780000 | #Constraints: 103192 3018.07/3026.07 c #Conflicts: 781000 | #Constraints: 104192 3018.07/3026.07 c #Conflicts: 782000 | #Constraints: 105192 3018.07/3026.07 c #Conflicts: 783000 | #Constraints: 106192 3018.07/3026.07 c #Conflicts: 784000 | #Constraints: 107192 3018.07/3026.07 c #Conflicts: 785000 | #Constraints: 108192 3018.07/3026.07 c #Conflicts: 786000 | #Constraints: 109192 3018.07/3026.07 c #Conflicts: 787000 | #Constraints: 110192 3018.07/3026.07 c #Conflicts: 788000 | #Constraints: 111192 3018.07/3026.07 c #Conflicts: 789000 | #Constraints: 112192 3018.07/3026.07 c #Conflicts: 790000 | #Constraints: 113192 3018.07/3026.07 c #Conflicts: 791000 | #Constraints: 114192 3018.07/3026.07 c #Conflicts: 792000 | #Constraints: 115192 3018.07/3026.07 c #Conflicts: 793000 | #Constraints: 116192 3018.07/3026.07 c #Conflicts: 794000 | #Constraints: 117192 3018.07/3026.07 c #Conflicts: 795000 | #Constraints: 118193 3018.07/3026.07 c #Conflicts: 796000 | #Constraints: 119193 3018.07/3026.07 c #Conflicts: 797000 | #Constraints: 120193 3018.07/3026.07 c #Conflicts: 798000 | #Constraints: 121193 3018.07/3026.07 c #Conflicts: 799000 | #Constraints: 122193 3018.07/3026.07 c #Conflicts: 800000 | #Constraints: 123193 3018.07/3026.07 c #Conflicts: 801000 | #Constraints: 124193 3018.07/3026.07 c #Conflicts: 802000 | #Constraints: 125193 3018.07/3026.07 c #Conflicts: 803000 | #Constraints: 126193 3018.07/3026.07 c #Conflicts: 804000 | #Constraints: 127193 3018.07/3026.07 c #Conflicts: 805000 | #Constraints: 128193 3018.07/3026.07 c #Conflicts: 806000 | #Constraints: 129193 3018.07/3026.07 c INPROCESSING 3018.07/3026.07 c GARBAGE COLLECT 3018.07/3026.07 c rational objective 196 3108.67/3116.87 c #Conflicts: 807000 | #Constraints: 78409 3108.67/3116.87 c #Conflicts: 808000 | #Constraints: 79409 3108.67/3116.87 c #Conflicts: 809000 | #Constraints: 80410 3108.67/3116.87 c #Conflicts: 810000 | #Constraints: 81411 3108.67/3116.87 c #Conflicts: 811000 | #Constraints: 82411 3108.67/3116.87 c #Conflicts: 812000 | #Constraints: 83411 3108.67/3116.87 c #Conflicts: 813000 | #Constraints: 84411 3108.67/3116.87 c #Conflicts: 814000 | #Constraints: 85411 3108.67/3116.87 c #Conflicts: 815000 | #Constraints: 86411 3108.67/3116.87 c #Conflicts: 816000 | #Constraints: 87411 3108.67/3116.87 c #Conflicts: 817000 | #Constraints: 88411 3108.67/3116.87 c #Conflicts: 818000 | #Constraints: 89411 3108.67/3116.87 c #Conflicts: 819000 | #Constraints: 90411 3108.67/3116.87 c #Conflicts: 820000 | #Constraints: 91411 3108.67/3116.87 c #Conflicts: 821000 | #Constraints: 92411 3108.67/3116.87 c #Conflicts: 822000 | #Constraints: 93411 3108.67/3116.87 c #Conflicts: 823000 | #Constraints: 94411 3108.67/3116.87 c #Conflicts: 824000 | #Constraints: 95412 3108.67/3116.87 c #Conflicts: 825000 | #Constraints: 96412 3108.67/3116.87 c #Conflicts: 826000 | #Constraints: 97412 3108.67/3116.87 c #Conflicts: 827000 | #Constraints: 98412 3108.67/3116.87 c #Conflicts: 828000 | #Constraints: 99412 3108.67/3116.87 c #Conflicts: 829000 | #Constraints: 100412 3108.67/3116.87 c #Conflicts: 830000 | #Constraints: 101412 3108.67/3116.87 c #Conflicts: 831000 | #Constraints: 102412 3108.67/3116.87 c #Conflicts: 832000 | #Constraints: 103412 3108.67/3116.87 c INPROCESSING 3108.67/3116.87 c GARBAGE COLLECT 3108.67/3116.87 c rational objective 196 3526.69/3535.87 c #Conflicts: 833000 | #Constraints: 76657 3526.69/3535.87 c #Conflicts: 834000 | #Constraints: 77658 3526.69/3535.87 c #Conflicts: 835000 | #Constraints: 78658 3526.69/3535.87 c #Conflicts: 836000 | #Constraints: 79659 3526.69/3535.87 c #Conflicts: 837000 | #Constraints: 80659 3526.69/3535.87 c #Conflicts: 838000 | #Constraints: 81660 3526.69/3535.87 c #Conflicts: 839000 | #Constraints: 82663 3526.69/3535.87 c #Conflicts: 840000 | #Constraints: 83665 3526.69/3535.87 c #Conflicts: 841000 | #Constraints: 84665 3526.69/3535.87 c #Conflicts: 842000 | #Constraints: 85665 3526.69/3535.87 c #Conflicts: 843000 | #Constraints: 86665 3526.69/3535.87 c #Conflicts: 844000 | #Constraints: 87665 3526.69/3535.87 c #Conflicts: 845000 | #Constraints: 88665 3526.69/3535.87 c #Conflicts: 846000 | #Constraints: 89665 3526.69/3535.87 c #Conflicts: 847000 | #Constraints: 90665 3526.69/3535.87 c #Conflicts: 848000 | #Constraints: 91665 3526.69/3535.87 c #Conflicts: 849000 | #Constraints: 92665 3526.69/3535.87 c #Conflicts: 850000 | #Constraints: 93665 3526.69/3535.87 c #Conflicts: 851000 | #Constraints: 94665 3526.69/3535.87 c #Conflicts: 852000 | #Constraints: 95665 3526.69/3535.87 c #Conflicts: 853000 | #Constraints: 96665 3526.69/3535.87 c #Conflicts: 854000 | #Constraints: 97665 3526.69/3535.87 c #Conflicts: 855000 | #Constraints: 98665 3526.69/3535.87 c #Conflicts: 856000 | #Constraints: 99665 3526.69/3535.87 c #Conflicts: 857000 | #Constraints: 100665 3526.69/3535.87 c #Conflicts: 858000 | #Constraints: 101665 3526.69/3535.87 c #Conflicts: 859000 | #Constraints: 102665 3526.69/3535.87 c #Conflicts: 860000 | #Constraints: 103665 3526.69/3535.87 c #Conflicts: 861000 | #Constraints: 104665 3526.69/3535.87 c #Conflicts: 862000 | #Constraints: 105665 3526.69/3535.87 c #Conflicts: 863000 | #Constraints: 106666 3526.69/3535.87 c #Conflicts: 864000 | #Constraints: 107666 3526.69/3535.87 c #Conflicts: 865000 | #Constraints: 108666 3526.69/3535.87 c #Conflicts: 866000 | #Constraints: 109666 3526.69/3535.87 c #Conflicts: 867000 | #Constraints: 110666 3526.69/3535.87 c #Conflicts: 868000 | #Constraints: 111666 3526.69/3535.87 c #Conflicts: 869000 | #Constraints: 112666 3526.69/3535.87 c #Conflicts: 870000 | #Constraints: 113666 3526.69/3535.87 c #Conflicts: 871000 | #Constraints: 114666 3526.69/3535.87 c #Conflicts: 872000 | #Constraints: 115666 3526.69/3535.87 c #Conflicts: 873000 | #Constraints: 116666 3526.69/3535.87 c #Conflicts: 874000 | #Constraints: 117666 3526.69/3535.87 c #Conflicts: 875000 | #Constraints: 118667 3526.69/3535.87 c #Conflicts: 876000 | #Constraints: 119667 3526.69/3535.87 c #Conflicts: 877000 | #Constraints: 120667 3526.69/3535.87 c #Conflicts: 878000 | #Constraints: 121667 3526.69/3535.87 c #Conflicts: 879000 | #Constraints: 122667 3526.69/3535.87 c #Conflicts: 880000 | #Constraints: 123667 3526.69/3535.87 c #Conflicts: 881000 | #Constraints: 124667 3526.69/3535.87 c #Conflicts: 882000 | #Constraints: 125667 3526.69/3535.87 c #Conflicts: 883000 | #Constraints: 126667 3526.69/3535.87 c #Conflicts: 884000 | #Constraints: 127667 3526.69/3535.87 c #Conflicts: 885000 | #Constraints: 128667 3526.69/3535.87 c #Conflicts: 886000 | #Constraints: 129667 3526.69/3535.87 c #Conflicts: 887000 | #Constraints: 130667 3526.69/3535.87 c #Conflicts: 888000 | #Constraints: 131667 3526.69/3535.87 c #Conflicts: 889000 | #Constraints: 132667 3526.69/3535.87 c #Conflicts: 890000 | #Constraints: 133667 3526.69/3535.87 c #Conflicts: 891000 | #Constraints: 134667 3526.69/3535.87 c #Conflicts: 892000 | #Constraints: 135667 3526.69/3535.87 c #Conflicts: 893000 | #Constraints: 136667 3526.69/3535.87 c INPROCESSING 3526.69/3535.87 c GARBAGE COLLECT 3526.69/3535.87 c rational objective 196 3600.02/3609.30 c #Conflicts: 894000 | #Constraints: 82569 3600.02/3609.30 c #Conflicts: 895000 | #Constraints: 83569 3600.02/3609.30 c #Conflicts: 896000 | #Constraints: 84569 3600.02/3609.30 c #Conflicts: 897000 | #Constraints: 85569 3600.02/3609.30 c #Conflicts: 898000 | #Constraints: 86569 3600.02/3609.30 c #Conflicts: 899000 | #Constraints: 87569 3600.02/3609.30 c #Conflicts: 900000 | #Constraints: 88569 3600.02/3609.30 c #Conflicts: 901000 | #Constraints: 89569 3600.02/3609.30 c #Conflicts: 902000 | #Constraints: 90569 3600.02/3609.30 c #Conflicts: 903000 | #Constraints: 91569 3600.02/3609.30 c #Conflicts: 904000 | #Constraints: 92569 3600.02/3609.30 c #Conflicts: 905000 | #Constraints: 93569 3600.02/3609.30 c #Conflicts: 906000 | #Constraints: 94569 3600.02/3609.30 c #Conflicts: 907000 | #Constraints: 95569 3600.02/3609.30 c #Conflicts: 908000 | #Constraints: 96569 3600.02/3609.30 c #Conflicts: 909000 | #Constraints: 97569 3600.02/3609.30 c #Conflicts: 910000 | #Constraints: 98569 3600.02/3609.30 c #Conflicts: 911000 | #Constraints: 99569 3600.02/3609.30 c #Conflicts: 912000 | #Constraints: 100569 3600.02/3609.30 c #Conflicts: 913000 | #Constraints: 101569 3600.02/3609.30 c #Conflicts: 914000 | #Constraints: 102569 3600.02/3609.30 c #Conflicts: 915000 | #Constraints: 103569 3600.02/3609.30 c #Conflicts: 916000 | #Constraints: 104569 3600.02/3609.30 c #Conflicts: 917000 | #Constraints: 105569 3600.02/3609.30 c #Conflicts: 918000 | #Constraints: 106569 3600.02/3609.30 c Program interrupted by user. 3600.02/3609.30 c cpu time 3559.13 s 3600.02/3609.30 c deterministic time 251463960326 2.51e+11 3600.02/3609.30 c optimization time 68.9102 s 3600.02/3609.30 c total solve time 3490.14 s 3600.02/3609.30 c core-guided solve time 0 s 3600.02/3609.30 c propagation time 1897.75 s 3600.02/3609.30 c conflict analysis time 526.665 s 3600.02/3609.30 c propagations 785250731 3600.02/3609.30 c resolve steps 39355262 3600.02/3609.30 c decisions 24330720 3600.02/3609.30 c conflicts 918117 3600.02/3609.30 c restarts 2009 3600.02/3609.30 c inprocessing phases 39 3600.02/3609.30 c input clauses 23522 3600.02/3609.30 c input cardinalities 196 3600.02/3609.30 c input general constraints 0 3600.02/3609.30 c input average constraint length 6.44 3600.02/3609.30 c input average constraint degree 1.97 3600.02/3609.30 c learned clauses 583983 3600.02/3609.30 c learned cardinalities 45057 3600.02/3609.30 c learned general constraints 289190 3600.02/3609.30 c learned average constraint length 1257.11 3600.02/3609.30 c learned average constraint degree 207790250.42 3600.02/3609.30 c watched constraints 205031 3600.02/3609.30 c counting constraints 84159 3600.02/3609.30 c gcd simplifications 2805 3600.02/3609.30 c detected cardinalities 7497 3600.02/3609.30 c weakened non-implied lits 194008113 3600.02/3609.30 c weakened non-implying lits 252853 3600.02/3609.30 c original variables 23324 3600.02/3609.30 c clausal propagations 371938049 3600.02/3609.30 c cardinality propagations 278070405 3600.02/3609.30 c watched propagations 34254232 3600.02/3609.30 c counting propagations 91571479 3600.02/3609.30 c watch lookups 11408347812 3600.02/3609.30 c watch backjump lookups 8989548273 3600.02/3609.30 c watch checks 164486203926 3600.02/3609.30 c propagation checks 61188346733 3600.02/3609.30 c constraint additions 3769888928 3600.02/3609.30 c trail pops 810478228 3600.02/3609.30 c formula constraints 23718 3600.02/3609.30 c learned constraints 918050 3600.02/3609.30 c bound constraints 0 3600.02/3609.30 c core-guided constraints 0 3600.02/3609.30 c encountered formula constraints 26440298 3600.02/3609.30 c encountered learned constraints 13830218 3600.02/3609.30 c encountered bound constraints 0 3600.02/3609.30 c encountered core-guided constraints 0 3600.02/3609.30 c LP total time 1935.91 s 3600.02/3609.30 c LP solve time 1860.01 s 3600.02/3609.30 c LP constraints added 27273 3600.02/3609.30 c LP constraints removed 3315 3600.02/3609.30 c LP pivots internal 933193 3600.02/3609.30 c LP pivots root 631781 3600.02/3609.30 c LP calls 137 3600.02/3609.30 c LP optimalities 63 3600.02/3609.30 c LP no pivot count 3 3600.02/3609.30 c LP infeasibilities 67 3600.02/3609.30 c LP valid Farkas constraints 66 3600.02/3609.30 c LP learned Farkas constraints 66 3600.02/3609.30 c LP basis resets 1 3600.02/3609.30 c LP cycling count 0 3600.02/3609.30 c LP singular count 0 3600.02/3609.30 c LP no primal count 0 3600.02/3609.30 c LP no farkas count 1 3600.02/3609.30 c LP other issue count 0 3600.02/3609.30 c LP Gomory cuts 48 3600.02/3609.30 c LP learned cuts 3507 3600.02/3609.30 c LP deleted cuts 3315 3600.02/3609.30 c LP encountered Gomory constraints 261 3600.02/3609.30 c LP encountered Farkas constraints 2135 3600.02/3609.30 c LP encountered learned Farkas constraints 401 3600.02/3609.30 c CG auxiliary variables introduced 0 3600.02/3609.30 c CG solutions found 0 3600.02/3609.30 c CG cores constructed 0 3600.02/3609.30 c CG core cardinality constraints returned 0 3600.02/3609.30 c CG unit cores 0 3600.02/3609.30 c CG single cores 0 3600.02/3609.30 c CG blocks removed during cardinality reduction 0 3600.02/3609.30 c CG first core best 0 3600.02/3609.30 c CG decision core best 0 3600.02/3609.30 c CG core reduction tie 0 3600.02/3609.30 c CG core degree average 0.00 3600.02/3609.30 c CG core slack average 0.00 3600.02/3609.30 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: 63968 MiB (59157 MiB free)
memory of node 1: 64473 MiB (62037 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455640-1721464535/watcher-4455640-1721464535 -o /tmp/evaluation-result-4455640-1721464535/solver-4455640-1721464535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721460937-1055687 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455640-1721464535.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=1057869, runsolver pid=1057866
[startup+0.100645 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 1057870
/proc/meminfo: memFree=124089204/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=51048 memory=21032 CPUtime=0.09 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 5641 0 0 0 7 2 0 0 20 0 1 0 198622462 52273152 5258 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 12762 5258 1556 922 0 4714 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 21032 KiB
[startup+0.205681 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 1057870
/proc/meminfo: memFree=124068736/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=75660 memory=41132 CPUtime=0.2 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 11313 0 0 0 17 3 0 0 20 0 1 0 198622462 77475840 10283 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 18915 10283 1684 922 0 10867 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75660 KiB
Current children cumulated memory: 41132 KiB
[startup+0.305643 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 1057870
/proc/meminfo: memFree=124066244/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=77452 memory=43232 CPUtime=0.3 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 11866 0 0 0 27 3 0 0 20 0 1 0 198622462 79310848 10808 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 19363 10808 1684 922 0 11315 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77452 KiB
Current children cumulated memory: 43232 KiB
[startup+0.70024 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1057870
/proc/meminfo: memFree=124065096/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=78776 memory=45344 CPUtime=0.68 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 12390 0 0 0 65 3 0 0 20 0 1 0 198622462 80666624 11336 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 19694 11336 1684 922 0 11646 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78776 KiB
Current children cumulated memory: 45344 KiB
[startup+1.50023 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1057870
/proc/meminfo: memFree=124063052/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=78932 memory=46520 CPUtime=1.48 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 12616 0 0 0 142 6 0 0 20 0 1 0 198622462 80826368 11630 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 19733 11630 1716 922 0 11685 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78932 KiB
Current children cumulated memory: 46520 KiB
[startup+3.1056 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1057871
/proc/meminfo: memFree=124055580/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=81312 memory=50468 CPUtime=3.09 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 13122 0 0 0 288 21 0 0 20 0 1 0 198622462 83263488 12617 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 20328 12617 1732 922 0 12280 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 81312 KiB
Current children cumulated memory: 50468 KiB
[startup+6.30021 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1057871
/proc/meminfo: memFree=124050932/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=83572 memory=52840 CPUtime=6.27 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 13704 0 0 0 605 22 0 0 20 0 1 0 198622462 85577728 13210 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 20893 13210 1732 922 0 12845 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 83572 KiB
Current children cumulated memory: 52840 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1057917
/proc/meminfo: memFree=124762956/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=85408 memory=55480 CPUtime=12.65 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 14390 0 0 0 1226 39 0 0 20 0 1 0 198622462 87457792 13870 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 21352 13870 1732 922 0 13304 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85408 KiB
Current children cumulated memory: 55480 KiB
[startup+25.5002 s]
/proc/loadavg: 4.31 4.16 4.11 5/254 1057920
/proc/meminfo: memFree=124725084/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=89352 memory=57496 CPUtime=25.41 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 14790 0 0 0 2472 69 0 0 20 0 1 0 198622462 91496448 14374 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 22338 14374 1793 922 0 14290 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 89352 KiB
Current children cumulated memory: 57496 KiB
[startup+51.1056 s]
/proc/loadavg: 4.33 4.18 4.11 5/254 1057924
/proc/meminfo: memFree=124683760/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=111396 memory=74848 CPUtime=50.95 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 18641 0 0 0 4995 100 0 0 20 0 1 0 198622462 114069504 18712 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 27849 18712 1809 922 0 19801 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 111396 KiB
Current children cumulated memory: 74848 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/255 1057933
/proc/meminfo: memFree=124537356/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=204504 memory=163272 CPUtime=102 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 38632 0 0 0 9998 202 0 0 20 0 1 0 198622462 209412096 40818 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 51126 40818 1809 922 0 43078 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 204504 KiB
Current children cumulated memory: 163272 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/255 1057945
/proc/meminfo: memFree=124421752/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=225148 memory=184424 CPUtime=161.82 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 43485 0 0 0 15902 280 0 0 20 0 1 0 198622462 230551552 46106 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 56287 46106 1809 922 0 48239 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 225148 KiB
Current children cumulated memory: 184424 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/255 1057955
/proc/meminfo: memFree=124386960/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=226020 memory=185724 CPUtime=221.64 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 46153 0 0 0 21819 345 0 0 20 0 1 0 198622462 231444480 46431 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 56505 46431 1809 922 0 48457 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 226020 KiB
Current children cumulated memory: 185724 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/255 1057965
/proc/meminfo: memFree=124231424/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=227296 memory=196976 CPUtime=281.48 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 47327 0 0 0 27708 440 0 0 20 0 1 0 198622462 232751104 49244 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 56824 49244 1825 922 0 48776 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 227296 KiB
Current children cumulated memory: 196976 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/257 1057980
/proc/meminfo: memFree=124166572/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=244264 memory=214852 CPUtime=341.29 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 51847 0 0 0 33613 516 0 0 20 0 1 0 198622462 250126336 53713 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 61066 53713 1825 922 0 53018 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 244264 KiB
Current children cumulated memory: 214852 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/257 1057992
/proc/meminfo: memFree=124040664/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=288356 memory=258200 CPUtime=401.12 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 55558 0 0 0 39532 580 0 0 20 0 1 0 198622462 295276544 64550 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 72089 64550 1825 922 0 64041 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 288356 KiB
Current children cumulated memory: 258200 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/257 1058003
/proc/meminfo: memFree=123887560/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=439896 memory=351764 CPUtime=460.94 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 61612 0 0 0 45443 651 0 0 20 0 1 0 198622462 450453504 87941 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 109974 87941 1825 922 0 101926 0
################
# More data... #
################
Current children cumulated memory: 1209968 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/256 1059117
/proc/meminfo: memFree=125045056/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1298796 memory=1210848 CPUtime=2914.6 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 128258 0 0 0 287975 3485 0 0 20 0 1 0 198622462 1329967104 302712 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 324699 302712 1825 922 0 316651 0
Current children cumulated CPU time: 2914.6 s
Current children cumulated vsize: 1298796 KiB
Current children cumulated memory: 1210848 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/256 1059127
/proc/meminfo: memFree=125040756/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1299544 memory=1211816 CPUtime=2974.46 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 128740 0 0 0 293891 3555 0 0 20 0 1 0 198622462 1330733056 302954 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 324886 302954 1825 922 0 316838 0
Current children cumulated CPU time: 2974.46 s
Current children cumulated vsize: 1299544 KiB
Current children cumulated memory: 1211816 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/254 1059519
/proc/meminfo: memFree=125030916/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1305284 memory=1217632 CPUtime=3034.33 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 130725 0 0 0 299828 3605 0 0 20 0 1 0 198622462 1336610816 304408 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 326321 304408 1825 922 0 318273 0
Current children cumulated CPU time: 3034.33 s
Current children cumulated vsize: 1305284 KiB
Current children cumulated memory: 1217632 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/254 1059530
/proc/meminfo: memFree=125012820/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1305284 memory=1217632 CPUtime=3094.2 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 130975 0 0 0 305735 3685 0 0 20 0 1 0 198622462 1336610816 304408 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 326321 304408 1825 922 0 318273 0
Current children cumulated CPU time: 3094.2 s
Current children cumulated vsize: 1305284 KiB
Current children cumulated memory: 1217632 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/254 1059541
/proc/meminfo: memFree=125010584/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1305284 memory=1217632 CPUtime=3154.06 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 131255 0 0 0 311696 3710 0 0 20 0 1 0 198622462 1336610816 304408 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 326321 304408 1825 922 0 318273 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 1305284 KiB
Current children cumulated memory: 1217632 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.16 4.13 5/256 1059721
/proc/meminfo: memFree=124992920/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1315068 memory=1227828 CPUtime=3213.93 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 135745 0 0 0 317638 3755 0 0 20 0 1 0 198622462 1346629632 306957 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 328767 306957 1825 922 0 320719 0
Current children cumulated CPU time: 3213.93 s
Current children cumulated vsize: 1315068 KiB
Current children cumulated memory: 1227828 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/256 1059731
/proc/meminfo: memFree=124926468/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1335784 memory=1245968 CPUtime=3273.79 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 140574 0 0 0 323557 3822 0 0 20 0 1 0 198622462 1367842816 311492 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 333946 311492 1825 922 0 325898 0
Current children cumulated CPU time: 3273.79 s
Current children cumulated vsize: 1335784 KiB
Current children cumulated memory: 1245968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/260 1059803
/proc/meminfo: memFree=124859904/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1346372 memory=1254620 CPUtime=3333.64 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 143654 0 0 0 329489 3875 0 0 20 0 1 0 198622462 1378684928 313655 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 336593 313655 1825 922 0 328545 0
Current children cumulated CPU time: 3333.64 s
Current children cumulated vsize: 1346372 KiB
Current children cumulated memory: 1254620 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/260 1059814
/proc/meminfo: memFree=124848520/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1350276 memory=1258444 CPUtime=3393.5 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 144974 0 0 0 335431 3919 0 0 20 0 1 0 198622462 1382682624 314611 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 337569 314611 1825 922 0 329521 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 1350276 KiB
Current children cumulated memory: 1258444 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/260 1059824
/proc/meminfo: memFree=124829128/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1358836 memory=1265956 CPUtime=3453.36 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 146954 0 0 0 341389 3947 0 0 20 0 1 0 198622462 1391448064 316489 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 339709 316489 1825 922 0 331661 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 1358836 KiB
Current children cumulated memory: 1265956 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/258 1059835
/proc/meminfo: memFree=124831084/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1358836 memory=1266048 CPUtime=3513.22 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 147116 0 0 0 347358 3964 0 0 20 0 1 0 198622462 1391448064 316512 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 339709 316512 1825 922 0 331661 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 1358836 KiB
Current children cumulated memory: 1266048 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/258 1059845
/proc/meminfo: memFree=124811556/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1373092 memory=1280060 CPUtime=3573.09 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 150975 0 0 0 353245 4064 0 0 20 0 1 0 198622462 1406046208 320015 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 343273 320015 1825 922 0 335225 0
Current children cumulated CPU time: 3573.09 s
Current children cumulated vsize: 1373092 KiB
Current children cumulated memory: 1280060 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/258 1059897
/proc/meminfo: memFree=126022428/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1373840 memory=1280660 CPUtime=3600.02 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 151315 0 0 0 355912 4090 0 0 20 0 1 0 198622462 1406812160 320165 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 343460 320165 1825 922 0 335412 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1373840 KiB
Current children cumulated memory: 1280660 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.33 s]
# the end of solver process 1057869 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3559.14 s, system=40.9275 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/258 1059897
/proc/meminfo: memFree=126022428/131524600 swapFree=131071996/131071996
[pid=1057869] ppid=1057866 vsize=1373840 memory=1280660 CPUtime=3600.02 cores=1,3
/proc/1057869/stat : 1057869 (roundingsat) R 1057866 1057869 1055675 0 -1 4194304 151315 0 0 0 355912 4090 0 0 20 0 1 0 198622462 1406812160 320165 134679101440 4194304 7968373 140735141814688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 13586432 140735141819324 140735141819488 140735141819488 140735141826505 0
/proc/1057869/statm: 343460 320165 1825 922 0 335412 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1373840 KiB
Current children cumulated memory: 1280660 KiB
Child status: 0
Real time (s): 3609.33
CPU time (s): 3600.06
CPU user time (s): 3559.14
CPU system time (s): 40.9275
CPU usage (%): 99.7434
Max. virtual memory (cumulated for all children) (KiB): 1373840
Max. memory (cumulated for all children) (KiB): 1280660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.14
system time used= 40.9275
maximum resident set size= 1281136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151334
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= 66
involuntary context switches= 2332
# summary of solver processes directly reported to runsolver:
# pid: 1057869
# total CPU time (s): 3600.06
# total CPU user time (s): 3559.14
# total CPU system time (s): 40.9275
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06738 second user time and 15.9584 second system time
The end
Begin job on nodeC032 at 2024-07-20 10:35:48 IDJOB=4455640 IDBENCH=158326 IDSOLVER=3084 FILE ID=nodeC032/4455640-1721464535 RUNJOBID= nodeC032-1721460937-1055687 SLURM_JOB_ID= 7545712 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455640-1721464535/watcher-4455640-1721464535 -o /tmp/evaluation-result-4455640-1721464535/solver-4455640-1721464535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721460937-1055687 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455640-1721464535.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b RANDOM SEED=31761493 nodeC032.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 : 3675.511 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.33 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 : 3667.380 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.03 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.826 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.33 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.335 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.03 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 : 3675.500 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.33 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 : 3673.415 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.03 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.853 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.33 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 : 3604.646 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124104160 kB MemAvailable: 126742380 kB Buffers: 564952 kB Cached: 2894164 kB SwapCached: 0 kB Active: 1060540 kB Inactive: 5685608 kB Active(anon): 1556 kB Inactive(anon): 3331388 kB Active(file): 1058984 kB Inactive(file): 2354220 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 13208 kB Writeback: 0 kB AnonPages: 3286544 kB Mapped: 116748 kB Shmem: 45912 kB KReclaimable: 129680 kB Slab: 247104 kB SReclaimable: 129680 kB SUnreclaim: 117424 kB KernelStack: 4144 kB PageTables: 15944 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4087920 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74304 kB HardwareCorrupted: 0 kB AnonHugePages: 1880064 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: 246484 kB DirectMap2M: 24692736 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 890012 MiB End job on nodeC032 at 2024-07-20 11:35:57