| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3601.23 | 3611.31 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K134.opb |
| MD5SUM | 963edb3c79c326322e0bda3e585d3232 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 15946 |
| Total number of constraints | 16216 |
| Number of constraints which are clauses | 16082 |
| Number of constraints which are cardinality constraints (but not clauses) | 134 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 134 |
| 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 | 135 |
| 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.10/0.21 c #variables 15946 #constraints 16216 102.69/103.04 c #Conflicts: 1000 | #Constraints: 17215 102.69/103.04 c #Conflicts: 2000 | #Constraints: 18215 102.69/103.04 c INPROCESSING 102.69/103.04 c GARBAGE COLLECT 102.69/103.04 c #Conflicts: 3000 | #Constraints: 17542 102.69/103.04 c #Conflicts: 4000 | #Constraints: 18542 102.69/103.04 c INPROCESSING 102.69/103.04 c GARBAGE COLLECT 102.69/103.04 c #Conflicts: 5000 | #Constraints: 18033 102.69/103.04 c #Conflicts: 6000 | #Constraints: 19033 102.69/103.04 c INPROCESSING 102.69/103.04 c GARBAGE COLLECT 102.69/103.04 c #Conflicts: 7000 | #Constraints: 18104 102.69/103.04 c #Conflicts: 8000 | #Constraints: 19104 102.69/103.04 c #Conflicts: 9000 | #Constraints: 20104 102.69/103.04 c INPROCESSING 102.69/103.04 c GARBAGE COLLECT 102.69/103.04 c #Conflicts: 10000 | #Constraints: 18842 102.69/103.04 c #Conflicts: 11000 | #Constraints: 19842 102.69/103.04 c #Conflicts: 12000 | #Constraints: 20842 102.69/103.04 c INPROCESSING 102.69/103.04 c GARBAGE COLLECT 102.69/103.04 c #Conflicts: 13000 | #Constraints: 19347 102.69/103.04 c #Conflicts: 14000 | #Constraints: 20347 102.69/103.04 c #Conflicts: 15000 | #Constraints: 21347 102.69/103.04 c INPROCESSING 102.69/103.04 c GARBAGE COLLECT 102.69/103.04 c #Conflicts: 16000 | #Constraints: 19639 102.69/103.04 c #Conflicts: 17000 | #Constraints: 20639 102.69/103.04 c #Conflicts: 18000 | #Constraints: 21639 102.69/103.04 c INPROCESSING 102.69/103.04 c GARBAGE COLLECT 102.69/103.04 c #Conflicts: 19000 | #Constraints: 19677 102.69/103.04 c #Conflicts: 20000 | #Constraints: 20677 102.69/103.04 c #Conflicts: 21000 | #Constraints: 21678 102.69/103.04 c INPROCESSING 102.69/103.04 c GARBAGE COLLECT 102.69/103.04 c #Conflicts: 22000 | #Constraints: 19558 102.69/103.04 c #Conflicts: 23000 | #Constraints: 20558 102.69/103.04 c #Conflicts: 24000 | #Constraints: 21558 102.69/103.04 c #Conflicts: 25000 | #Constraints: 22558 102.69/103.04 c #Conflicts: 26000 | #Constraints: 23558 102.69/103.04 c #Conflicts: 27000 | #Constraints: 24558 102.69/103.04 c #Conflicts: 28000 | #Constraints: 25558 102.69/103.04 c #Conflicts: 29000 | #Constraints: 26558 102.69/103.04 c #Conflicts: 30000 | #Constraints: 27558 102.69/103.04 c #Conflicts: 31000 | #Constraints: 28558 102.69/103.04 c #Conflicts: 32000 | #Constraints: 29558 102.69/103.04 c #Conflicts: 33000 | #Constraints: 30558 102.69/103.04 c INPROCESSING 102.69/103.04 c GARBAGE COLLECT 102.69/103.04 c rational objective 134 420.82/422.09 c #Conflicts: 34000 | #Constraints: 24249 420.82/422.09 c #Conflicts: 35000 | #Constraints: 25249 420.82/422.09 c #Conflicts: 36000 | #Constraints: 26250 420.82/422.09 c #Conflicts: 37000 | #Constraints: 27250 420.82/422.09 c #Conflicts: 38000 | #Constraints: 28250 420.82/422.09 c INPROCESSING 420.82/422.09 c GARBAGE COLLECT 420.82/422.09 c #Conflicts: 39000 | #Constraints: 23227 420.82/422.09 c #Conflicts: 40000 | #Constraints: 24227 420.82/422.09 c #Conflicts: 41000 | #Constraints: 25227 420.82/422.09 c #Conflicts: 42000 | #Constraints: 26227 420.82/422.09 c INPROCESSING 420.82/422.09 c GARBAGE COLLECT 420.82/422.09 c #Conflicts: 43000 | #Constraints: 21757 420.82/422.09 c #Conflicts: 44000 | #Constraints: 22757 420.82/422.09 c #Conflicts: 45000 | #Constraints: 23757 420.82/422.09 c #Conflicts: 46000 | #Constraints: 24757 420.82/422.09 c #Conflicts: 47000 | #Constraints: 25757 420.82/422.09 c #Conflicts: 48000 | #Constraints: 26757 420.82/422.09 c INPROCESSING 420.82/422.09 c GARBAGE COLLECT 420.82/422.09 c #Conflicts: 49000 | #Constraints: 22517 420.82/422.09 c #Conflicts: 50000 | #Constraints: 23517 420.82/422.09 c #Conflicts: 51000 | #Constraints: 24518 420.82/422.09 c #Conflicts: 52000 | #Constraints: 25518 420.82/422.09 c #Conflicts: 53000 | #Constraints: 26518 420.82/422.09 c #Conflicts: 54000 | #Constraints: 27518 420.82/422.09 c #Conflicts: 55000 | #Constraints: 28518 420.82/422.09 c #Conflicts: 56000 | #Constraints: 29518 420.82/422.09 c #Conflicts: 57000 | #Constraints: 30518 420.82/422.09 c #Conflicts: 58000 | #Constraints: 31518 420.82/422.09 c #Conflicts: 59000 | #Constraints: 32518 420.82/422.09 c #Conflicts: 60000 | #Constraints: 33518 420.82/422.09 c #Conflicts: 61000 | #Constraints: 34518 420.82/422.09 c #Conflicts: 62000 | #Constraints: 35518 420.82/422.09 c #Conflicts: 63000 | #Constraints: 36518 420.82/422.09 c #Conflicts: 64000 | #Constraints: 37518 420.82/422.09 c #Conflicts: 65000 | #Constraints: 38518 420.82/422.09 c INPROCESSING 420.82/422.09 c GARBAGE COLLECT 420.82/422.09 c #Conflicts: 66000 | #Constraints: 28474 420.82/422.09 c #Conflicts: 67000 | #Constraints: 29474 420.82/422.09 c #Conflicts: 68000 | #Constraints: 30475 420.82/422.09 c #Conflicts: 69000 | #Constraints: 31475 420.82/422.09 c #Conflicts: 70000 | #Constraints: 32475 420.82/422.09 c #Conflicts: 71000 | #Constraints: 33475 420.82/422.09 c INPROCESSING 420.82/422.09 c GARBAGE COLLECT 420.82/422.09 c #Conflicts: 72000 | #Constraints: 25783 420.82/422.09 c #Conflicts: 73000 | #Constraints: 26783 420.82/422.09 c #Conflicts: 74000 | #Constraints: 27783 420.82/422.09 c #Conflicts: 75000 | #Constraints: 28783 420.82/422.09 c #Conflicts: 76000 | #Constraints: 29783 420.82/422.09 c #Conflicts: 77000 | #Constraints: 30783 420.82/422.09 c #Conflicts: 78000 | #Constraints: 31783 420.82/422.09 c INPROCESSING 420.82/422.09 c GARBAGE COLLECT 420.82/422.09 c #Conflicts: 79000 | #Constraints: 25157 420.82/422.09 c #Conflicts: 80000 | #Constraints: 26157 420.82/422.09 c #Conflicts: 81000 | #Constraints: 27157 420.82/422.09 c #Conflicts: 82000 | #Constraints: 28157 420.82/422.09 c #Conflicts: 83000 | #Constraints: 29158 420.82/422.09 c #Conflicts: 84000 | #Constraints: 30158 420.82/422.09 c #Conflicts: 85000 | #Constraints: 31158 420.82/422.09 c #Conflicts: 86000 | #Constraints: 32158 420.82/422.09 c #Conflicts: 87000 | #Constraints: 33158 420.82/422.09 c #Conflicts: 88000 | #Constraints: 34158 420.82/422.09 c #Conflicts: 89000 | #Constraints: 35158 420.82/422.09 c #Conflicts: 90000 | #Constraints: 36158 420.82/422.09 c #Conflicts: 91000 | #Constraints: 37158 420.82/422.09 c #Conflicts: 92000 | #Constraints: 38158 420.82/422.09 c #Conflicts: 93000 | #Constraints: 39158 420.82/422.09 c #Conflicts: 94000 | #Constraints: 40158 420.82/422.09 c #Conflicts: 95000 | #Constraints: 41158 420.82/422.09 c #Conflicts: 96000 | #Constraints: 42158 420.82/422.09 c #Conflicts: 97000 | #Constraints: 43158 420.82/422.09 c #Conflicts: 98000 | #Constraints: 44158 420.82/422.09 c #Conflicts: 99000 | #Constraints: 45158 420.82/422.09 c INPROCESSING 420.82/422.09 c GARBAGE COLLECT 420.82/422.09 c #Conflicts: 100000 | #Constraints: 31643 420.82/422.09 c #Conflicts: 101000 | #Constraints: 32643 420.82/422.09 c #Conflicts: 102000 | #Constraints: 33643 420.82/422.09 c #Conflicts: 103000 | #Constraints: 34643 420.82/422.09 c #Conflicts: 104000 | #Constraints: 35643 420.82/422.09 c #Conflicts: 105000 | #Constraints: 36643 420.82/422.09 c #Conflicts: 106000 | #Constraints: 37643 420.82/422.09 c #Conflicts: 107000 | #Constraints: 38643 420.82/422.09 c INPROCESSING 420.82/422.09 c GARBAGE COLLECT 505.86/507.37 c #Conflicts: 108000 | #Constraints: 28518 505.86/507.37 c #Conflicts: 109000 | #Constraints: 29518 505.86/507.37 c #Conflicts: 110000 | #Constraints: 30518 505.86/507.37 c #Conflicts: 111000 | #Constraints: 31518 505.86/507.37 c #Conflicts: 112000 | #Constraints: 32518 505.86/507.37 c #Conflicts: 113000 | #Constraints: 33518 505.86/507.37 c #Conflicts: 114000 | #Constraints: 34518 505.86/507.37 c #Conflicts: 115000 | #Constraints: 35518 505.86/507.37 c INPROCESSING 505.86/507.37 c GARBAGE COLLECT 505.86/507.37 c #Conflicts: 116000 | #Constraints: 27010 505.86/507.37 c #Conflicts: 117000 | #Constraints: 28010 505.86/507.37 c #Conflicts: 118000 | #Constraints: 29010 505.86/507.37 c #Conflicts: 119000 | #Constraints: 30011 505.86/507.37 c #Conflicts: 120000 | #Constraints: 31011 505.86/507.37 c #Conflicts: 121000 | #Constraints: 32011 505.86/507.37 c #Conflicts: 122000 | #Constraints: 33011 505.86/507.37 c #Conflicts: 123000 | #Constraints: 34012 505.86/507.37 c #Conflicts: 124000 | #Constraints: 35013 505.86/507.37 c #Conflicts: 125000 | #Constraints: 36014 505.86/507.37 c #Conflicts: 126000 | #Constraints: 37014 505.86/507.37 c #Conflicts: 127000 | #Constraints: 38014 505.86/507.37 c #Conflicts: 128000 | #Constraints: 39014 505.86/507.37 c #Conflicts: 129000 | #Constraints: 40014 505.86/507.37 c #Conflicts: 130000 | #Constraints: 41014 505.86/507.37 c #Conflicts: 131000 | #Constraints: 42014 505.86/507.37 c #Conflicts: 132000 | #Constraints: 43014 505.86/507.37 c #Conflicts: 133000 | #Constraints: 44014 505.86/507.37 c #Conflicts: 134000 | #Constraints: 45014 505.86/507.37 c #Conflicts: 135000 | #Constraints: 46014 505.86/507.37 c #Conflicts: 136000 | #Constraints: 47014 505.86/507.37 c #Conflicts: 137000 | #Constraints: 48014 505.86/507.37 c #Conflicts: 138000 | #Constraints: 49014 505.86/507.37 c #Conflicts: 139000 | #Constraints: 50014 505.86/507.37 c #Conflicts: 140000 | #Constraints: 51014 505.86/507.37 c INPROCESSING 505.86/507.37 c GARBAGE COLLECT 505.86/507.37 c rational objective 134 536.87/538.43 c #Conflicts: 141000 | #Constraints: 34608 536.87/538.43 c #Conflicts: 142000 | #Constraints: 35608 536.87/538.43 c #Conflicts: 143000 | #Constraints: 36608 536.87/538.43 c #Conflicts: 144000 | #Constraints: 37608 536.87/538.43 c #Conflicts: 145000 | #Constraints: 38608 536.87/538.43 c #Conflicts: 146000 | #Constraints: 39608 536.87/538.43 c #Conflicts: 147000 | #Constraints: 40608 536.87/538.43 c #Conflicts: 148000 | #Constraints: 41608 536.87/538.43 c #Conflicts: 149000 | #Constraints: 42608 536.87/538.43 c #Conflicts: 150000 | #Constraints: 43608 536.87/538.43 c INPROCESSING 536.87/538.43 c GARBAGE COLLECT 536.87/538.43 c rational objective 134 818.66/821.07 c #Conflicts: 151000 | #Constraints: 31262 818.66/821.07 c #Conflicts: 152000 | #Constraints: 32262 818.66/821.07 c #Conflicts: 153000 | #Constraints: 33263 818.66/821.07 c #Conflicts: 154000 | #Constraints: 34263 818.66/821.07 c #Conflicts: 155000 | #Constraints: 35263 818.66/821.07 c #Conflicts: 156000 | #Constraints: 36263 818.66/821.07 c #Conflicts: 157000 | #Constraints: 37263 818.66/821.07 c #Conflicts: 158000 | #Constraints: 38263 818.66/821.07 c #Conflicts: 159000 | #Constraints: 39263 818.66/821.07 c INPROCESSING 818.66/821.07 c GARBAGE COLLECT 818.66/821.07 c #Conflicts: 160000 | #Constraints: 28827 818.66/821.07 c #Conflicts: 161000 | #Constraints: 29827 818.66/821.07 c #Conflicts: 162000 | #Constraints: 30827 818.66/821.07 c #Conflicts: 163000 | #Constraints: 31827 818.66/821.07 c #Conflicts: 164000 | #Constraints: 32827 818.66/821.07 c #Conflicts: 165000 | #Constraints: 33827 818.66/821.07 c #Conflicts: 166000 | #Constraints: 34827 818.66/821.07 c #Conflicts: 167000 | #Constraints: 35827 818.66/821.07 c #Conflicts: 168000 | #Constraints: 36828 818.66/821.07 c #Conflicts: 169000 | #Constraints: 37828 818.66/821.07 c #Conflicts: 170000 | #Constraints: 38828 818.66/821.07 c #Conflicts: 171000 | #Constraints: 39828 818.66/821.07 c #Conflicts: 172000 | #Constraints: 40828 818.66/821.07 c #Conflicts: 173000 | #Constraints: 41828 818.66/821.07 c #Conflicts: 174000 | #Constraints: 42828 818.66/821.07 c #Conflicts: 175000 | #Constraints: 43828 818.66/821.07 c #Conflicts: 176000 | #Constraints: 44828 818.66/821.07 c #Conflicts: 177000 | #Constraints: 45828 818.66/821.07 c #Conflicts: 178000 | #Constraints: 46828 818.66/821.07 c #Conflicts: 179000 | #Constraints: 47828 818.66/821.07 c #Conflicts: 180000 | #Constraints: 48828 818.66/821.07 c #Conflicts: 181000 | #Constraints: 49828 818.66/821.07 c #Conflicts: 182000 | #Constraints: 50828 818.66/821.07 c #Conflicts: 183000 | #Constraints: 51828 818.66/821.07 c #Conflicts: 184000 | #Constraints: 52828 818.66/821.07 c #Conflicts: 185000 | #Constraints: 53829 818.66/821.07 c #Conflicts: 186000 | #Constraints: 54829 818.66/821.07 c #Conflicts: 187000 | #Constraints: 55829 818.66/821.07 c #Conflicts: 188000 | #Constraints: 56829 818.66/821.07 c #Conflicts: 189000 | #Constraints: 57829 818.66/821.07 c INPROCESSING 818.66/821.07 c GARBAGE COLLECT 818.66/821.07 c rational objective 134 1051.87/1054.95 c #Conflicts: 190000 | #Constraints: 38289 1051.87/1054.95 c #Conflicts: 191000 | #Constraints: 39289 1051.87/1054.95 c #Conflicts: 192000 | #Constraints: 40289 1051.87/1054.95 c #Conflicts: 193000 | #Constraints: 41289 1051.87/1054.95 c #Conflicts: 194000 | #Constraints: 42289 1051.87/1054.95 c #Conflicts: 195000 | #Constraints: 43289 1051.87/1054.95 c #Conflicts: 196000 | #Constraints: 44289 1051.87/1054.95 c #Conflicts: 197000 | #Constraints: 45289 1051.87/1054.95 c #Conflicts: 198000 | #Constraints: 46289 1051.87/1054.95 c #Conflicts: 199000 | #Constraints: 47289 1051.87/1054.95 c #Conflicts: 200000 | #Constraints: 48289 1051.87/1054.95 c INPROCESSING 1051.87/1054.95 c GARBAGE COLLECT 1051.87/1054.95 c #Conflicts: 201000 | #Constraints: 33555 1051.87/1054.95 c #Conflicts: 202000 | #Constraints: 34555 1051.87/1054.95 c #Conflicts: 203000 | #Constraints: 35555 1051.87/1054.95 c #Conflicts: 204000 | #Constraints: 36555 1051.87/1054.95 c #Conflicts: 205000 | #Constraints: 37555 1051.87/1054.95 c #Conflicts: 206000 | #Constraints: 38555 1051.87/1054.95 c #Conflicts: 207000 | #Constraints: 39555 1051.87/1054.95 c #Conflicts: 208000 | #Constraints: 40555 1051.87/1054.95 c #Conflicts: 209000 | #Constraints: 41555 1051.87/1054.95 c #Conflicts: 210000 | #Constraints: 42555 1051.87/1054.95 c #Conflicts: 211000 | #Constraints: 43555 1051.87/1054.95 c INPROCESSING 1051.87/1054.95 c GARBAGE COLLECT 1051.87/1054.95 c #Conflicts: 212000 | #Constraints: 31718 1051.87/1054.95 c #Conflicts: 213000 | #Constraints: 32718 1051.87/1054.95 c #Conflicts: 214000 | #Constraints: 33718 1051.87/1054.95 c #Conflicts: 215000 | #Constraints: 34718 1051.87/1054.95 c #Conflicts: 216000 | #Constraints: 35718 1051.87/1054.95 c #Conflicts: 217000 | #Constraints: 36718 1051.87/1054.95 c #Conflicts: 218000 | #Constraints: 37718 1051.87/1054.95 c #Conflicts: 219000 | #Constraints: 38718 1051.87/1054.95 c #Conflicts: 220000 | #Constraints: 39719 1051.87/1054.95 c #Conflicts: 221000 | #Constraints: 40719 1051.87/1054.95 c #Conflicts: 222000 | #Constraints: 41719 1051.87/1054.95 c #Conflicts: 223000 | #Constraints: 42719 1051.87/1054.95 c #Conflicts: 224000 | #Constraints: 43719 1051.87/1054.95 c #Conflicts: 225000 | #Constraints: 44719 1051.87/1054.95 c #Conflicts: 226000 | #Constraints: 45719 1051.87/1054.95 c #Conflicts: 227000 | #Constraints: 46719 1051.87/1054.95 c #Conflicts: 228000 | #Constraints: 47719 1051.87/1054.95 c #Conflicts: 229000 | #Constraints: 48719 1051.87/1054.95 c #Conflicts: 230000 | #Constraints: 49719 1051.87/1054.95 c #Conflicts: 231000 | #Constraints: 50719 1051.87/1054.95 c #Conflicts: 232000 | #Constraints: 51719 1051.87/1054.95 c #Conflicts: 233000 | #Constraints: 52719 1051.87/1054.95 c #Conflicts: 234000 | #Constraints: 53719 1051.87/1054.95 c #Conflicts: 235000 | #Constraints: 54719 1051.87/1054.95 c #Conflicts: 236000 | #Constraints: 55719 1051.87/1054.95 c #Conflicts: 237000 | #Constraints: 56719 1051.87/1054.95 c #Conflicts: 238000 | #Constraints: 57719 1051.87/1054.95 c #Conflicts: 239000 | #Constraints: 58719 1051.87/1054.95 c #Conflicts: 240000 | #Constraints: 59719 1051.87/1054.95 c #Conflicts: 241000 | #Constraints: 60720 1051.87/1054.95 c #Conflicts: 242000 | #Constraints: 61720 1051.87/1054.95 c #Conflicts: 243000 | #Constraints: 62720 1051.87/1054.95 c #Conflicts: 244000 | #Constraints: 63720 1051.87/1054.95 c #Conflicts: 245000 | #Constraints: 64720 1051.87/1054.95 c INPROCESSING 1051.87/1054.95 c GARBAGE COLLECT 1051.87/1054.95 c #Conflicts: 246000 | #Constraints: 41779 1051.87/1054.95 c #Conflicts: 247000 | #Constraints: 42779 1051.87/1054.95 c #Conflicts: 248000 | #Constraints: 43779 1051.87/1054.95 c #Conflicts: 249000 | #Constraints: 44779 1051.87/1054.95 c #Conflicts: 250000 | #Constraints: 45779 1051.87/1054.95 c #Conflicts: 251000 | #Constraints: 46779 1051.87/1054.95 c #Conflicts: 252000 | #Constraints: 47779 1051.87/1054.95 c #Conflicts: 253000 | #Constraints: 48779 1051.87/1054.95 c #Conflicts: 254000 | #Constraints: 49779 1051.87/1054.95 c #Conflicts: 255000 | #Constraints: 50779 1051.87/1054.95 c #Conflicts: 256000 | #Constraints: 51779 1051.87/1054.95 c #Conflicts: 257000 | #Constraints: 52779 1051.87/1054.95 c INPROCESSING 1051.87/1054.95 c GARBAGE COLLECT 1051.87/1054.95 c #Conflicts: 258000 | #Constraints: 35721 1051.87/1054.95 c #Conflicts: 259000 | #Constraints: 36721 1051.87/1054.95 c #Conflicts: 260000 | #Constraints: 37721 1051.87/1054.95 c #Conflicts: 261000 | #Constraints: 38721 1051.87/1054.95 c #Conflicts: 262000 | #Constraints: 39721 1051.87/1054.95 c #Conflicts: 263000 | #Constraints: 40721 1051.87/1054.95 c #Conflicts: 264000 | #Constraints: 41721 1051.87/1054.95 c #Conflicts: 265000 | #Constraints: 42721 1051.87/1054.95 c #Conflicts: 266000 | #Constraints: 43721 1058.14/1061.22 c #Conflicts: 267000 | #Constraints: 44721 1058.14/1061.22 c #Conflicts: 268000 | #Constraints: 45721 1058.14/1061.22 c #Conflicts: 269000 | #Constraints: 46721 1058.14/1061.22 c #Conflicts: 270000 | #Constraints: 47721 1058.14/1061.22 c INPROCESSING 1058.14/1061.22 c GARBAGE COLLECT 1058.14/1061.22 c rational objective 134 1288.13/1291.88 c #Conflicts: 271000 | #Constraints: 34271 1288.13/1291.88 c #Conflicts: 272000 | #Constraints: 35271 1288.13/1291.88 c #Conflicts: 273000 | #Constraints: 36272 1288.13/1291.88 c #Conflicts: 274000 | #Constraints: 37272 1288.13/1291.88 c #Conflicts: 275000 | #Constraints: 38272 1288.13/1291.88 c #Conflicts: 276000 | #Constraints: 39272 1288.13/1291.88 c #Conflicts: 277000 | #Constraints: 40272 1288.13/1291.88 c #Conflicts: 278000 | #Constraints: 41272 1288.13/1291.88 c #Conflicts: 279000 | #Constraints: 42272 1288.13/1291.88 c #Conflicts: 280000 | #Constraints: 43272 1288.13/1291.88 c #Conflicts: 281000 | #Constraints: 44272 1288.13/1291.88 c #Conflicts: 282000 | #Constraints: 45272 1288.13/1291.88 c #Conflicts: 283000 | #Constraints: 46272 1288.13/1291.88 c #Conflicts: 284000 | #Constraints: 47272 1288.13/1291.88 c #Conflicts: 285000 | #Constraints: 48272 1288.13/1291.88 c #Conflicts: 286000 | #Constraints: 49272 1288.13/1291.88 c #Conflicts: 287000 | #Constraints: 50272 1288.13/1291.88 c #Conflicts: 288000 | #Constraints: 51273 1288.13/1291.88 c #Conflicts: 289000 | #Constraints: 52273 1288.13/1291.88 c #Conflicts: 290000 | #Constraints: 53273 1288.13/1291.88 c #Conflicts: 291000 | #Constraints: 54273 1288.13/1291.88 c #Conflicts: 292000 | #Constraints: 55273 1288.13/1291.88 c #Conflicts: 293000 | #Constraints: 56273 1288.13/1291.88 c #Conflicts: 294000 | #Constraints: 57273 1288.13/1291.88 c #Conflicts: 295000 | #Constraints: 58273 1288.13/1291.88 c #Conflicts: 296000 | #Constraints: 59273 1288.13/1291.88 c #Conflicts: 297000 | #Constraints: 60273 1288.13/1291.88 c #Conflicts: 298000 | #Constraints: 61273 1288.13/1291.88 c #Conflicts: 299000 | #Constraints: 62273 1288.13/1291.88 c #Conflicts: 300000 | #Constraints: 63274 1288.13/1291.88 c #Conflicts: 301000 | #Constraints: 64274 1288.13/1291.88 c #Conflicts: 302000 | #Constraints: 65274 1288.13/1291.88 c #Conflicts: 303000 | #Constraints: 66274 1288.13/1291.88 c #Conflicts: 304000 | #Constraints: 67274 1288.13/1291.88 c #Conflicts: 305000 | #Constraints: 68274 1288.13/1291.88 c #Conflicts: 306000 | #Constraints: 69274 1288.13/1291.88 c #Conflicts: 307000 | #Constraints: 70274 1288.13/1291.88 c #Conflicts: 308000 | #Constraints: 71274 1288.13/1291.88 c INPROCESSING 1288.13/1291.88 c GARBAGE COLLECT 1288.13/1291.88 c rational objective 134 1475.89/1480.07 c #Conflicts: 309000 | #Constraints: 45205 1475.89/1480.07 c #Conflicts: 310000 | #Constraints: 46205 1475.89/1480.07 c #Conflicts: 311000 | #Constraints: 47205 1475.89/1480.07 c #Conflicts: 312000 | #Constraints: 48205 1475.89/1480.07 c #Conflicts: 313000 | #Constraints: 49205 1475.89/1480.07 c #Conflicts: 314000 | #Constraints: 50205 1475.89/1480.07 c #Conflicts: 315000 | #Constraints: 51205 1475.89/1480.07 c #Conflicts: 316000 | #Constraints: 52205 1475.89/1480.07 c #Conflicts: 317000 | #Constraints: 53205 1475.89/1480.07 c #Conflicts: 318000 | #Constraints: 54205 1475.89/1480.07 c #Conflicts: 319000 | #Constraints: 55206 1475.89/1480.07 c #Conflicts: 320000 | #Constraints: 56207 1475.89/1480.07 c #Conflicts: 321000 | #Constraints: 57208 1475.89/1480.07 c INPROCESSING 1475.89/1480.07 c GARBAGE COLLECT 1475.89/1480.07 c #Conflicts: 322000 | #Constraints: 37685 1475.89/1480.07 c #Conflicts: 323000 | #Constraints: 38686 1475.89/1480.07 c #Conflicts: 324000 | #Constraints: 39686 1475.89/1480.07 c #Conflicts: 325000 | #Constraints: 40686 1475.89/1480.07 c #Conflicts: 326000 | #Constraints: 41687 1475.89/1480.07 c #Conflicts: 327000 | #Constraints: 42687 1475.89/1480.07 c #Conflicts: 328000 | #Constraints: 43687 1475.89/1480.07 c #Conflicts: 329000 | #Constraints: 44687 1475.89/1480.07 c #Conflicts: 330000 | #Constraints: 45687 1475.89/1480.07 c #Conflicts: 331000 | #Constraints: 46688 1475.89/1480.07 c #Conflicts: 332000 | #Constraints: 47688 1475.89/1480.07 c #Conflicts: 333000 | #Constraints: 48688 1475.89/1480.07 c #Conflicts: 334000 | #Constraints: 49688 1475.89/1480.07 c #Conflicts: 335000 | #Constraints: 50688 1475.89/1480.07 c #Conflicts: 336000 | #Constraints: 51688 1475.89/1480.07 c INPROCESSING 1475.89/1480.07 c GARBAGE COLLECT 1475.89/1480.07 c #Conflicts: 337000 | #Constraints: 37087 1475.89/1480.07 c #Conflicts: 338000 | #Constraints: 38087 1475.89/1480.07 c #Conflicts: 339000 | #Constraints: 39087 1475.89/1480.07 c #Conflicts: 340000 | #Constraints: 40087 1475.89/1480.07 c #Conflicts: 341000 | #Constraints: 41087 1475.89/1480.07 c #Conflicts: 342000 | #Constraints: 42087 1475.89/1480.07 c #Conflicts: 343000 | #Constraints: 43087 1475.89/1480.07 c #Conflicts: 344000 | #Constraints: 44087 1475.89/1480.07 c #Conflicts: 345000 | #Constraints: 45087 1475.89/1480.07 c #Conflicts: 346000 | #Constraints: 46087 1475.89/1480.07 c #Conflicts: 347000 | #Constraints: 47087 1475.89/1480.07 c #Conflicts: 348000 | #Constraints: 48087 1475.89/1480.07 c #Conflicts: 349000 | #Constraints: 49088 1475.89/1480.07 c #Conflicts: 350000 | #Constraints: 50088 1475.89/1480.07 c #Conflicts: 351000 | #Constraints: 51088 1475.89/1480.07 c #Conflicts: 352000 | #Constraints: 52088 1475.89/1480.07 c #Conflicts: 353000 | #Constraints: 53088 1475.89/1480.07 c #Conflicts: 354000 | #Constraints: 54088 1475.89/1480.07 c #Conflicts: 355000 | #Constraints: 55088 1475.89/1480.07 c #Conflicts: 356000 | #Constraints: 56088 1475.89/1480.07 c #Conflicts: 357000 | #Constraints: 57088 1475.89/1480.07 c #Conflicts: 358000 | #Constraints: 58089 1475.89/1480.07 c #Conflicts: 359000 | #Constraints: 59089 1475.89/1480.07 c #Conflicts: 360000 | #Constraints: 60090 1475.89/1480.07 c #Conflicts: 361000 | #Constraints: 61090 1475.89/1480.07 c #Conflicts: 362000 | #Constraints: 62090 1475.89/1480.07 c #Conflicts: 363000 | #Constraints: 63090 1475.89/1480.07 c #Conflicts: 364000 | #Constraints: 64090 1475.89/1480.07 c #Conflicts: 365000 | #Constraints: 65090 1475.89/1480.07 c #Conflicts: 366000 | #Constraints: 66090 1475.89/1480.07 c #Conflicts: 367000 | #Constraints: 67091 1475.89/1480.07 c #Conflicts: 368000 | #Constraints: 68091 1475.89/1480.07 c #Conflicts: 369000 | #Constraints: 69091 1475.89/1480.07 c #Conflicts: 370000 | #Constraints: 70091 1475.89/1480.07 c #Conflicts: 371000 | #Constraints: 71091 1475.89/1480.07 c #Conflicts: 372000 | #Constraints: 72091 1475.89/1480.07 c #Conflicts: 373000 | #Constraints: 73091 1475.89/1480.07 c #Conflicts: 374000 | #Constraints: 74091 1475.89/1480.07 c #Conflicts: 375000 | #Constraints: 75091 1475.89/1480.07 c #Conflicts: 376000 | #Constraints: 76091 1475.89/1480.07 c #Conflicts: 377000 | #Constraints: 77091 1475.89/1480.07 c #Conflicts: 378000 | #Constraints: 78091 1475.89/1480.07 c INPROCESSING 1475.89/1480.07 c GARBAGE COLLECT 1475.89/1480.07 c rational objective 134 1576.44/1580.83 c #Conflicts: 379000 | #Constraints: 48414 1576.44/1580.83 c #Conflicts: 380000 | #Constraints: 49414 1576.44/1580.83 c #Conflicts: 381000 | #Constraints: 50414 1576.44/1580.83 c #Conflicts: 382000 | #Constraints: 51415 1576.44/1580.83 c #Conflicts: 383000 | #Constraints: 52415 1576.44/1580.83 c #Conflicts: 384000 | #Constraints: 53416 1576.44/1580.83 c #Conflicts: 385000 | #Constraints: 54416 1576.44/1580.83 c #Conflicts: 386000 | #Constraints: 55417 1576.44/1580.83 c #Conflicts: 387000 | #Constraints: 56417 1576.44/1580.83 c #Conflicts: 388000 | #Constraints: 57417 1576.44/1580.83 c #Conflicts: 389000 | #Constraints: 58418 1576.44/1580.83 c #Conflicts: 390000 | #Constraints: 59419 1576.44/1580.83 c #Conflicts: 391000 | #Constraints: 60419 1576.44/1580.83 c #Conflicts: 392000 | #Constraints: 61419 1576.44/1580.83 c #Conflicts: 393000 | #Constraints: 62420 1576.44/1580.83 c INPROCESSING 1576.44/1580.83 c GARBAGE COLLECT 1576.44/1580.83 c #Conflicts: 394000 | #Constraints: 40699 1576.44/1580.83 c #Conflicts: 395000 | #Constraints: 41699 1576.44/1580.83 c #Conflicts: 396000 | #Constraints: 42699 1576.44/1580.83 c #Conflicts: 397000 | #Constraints: 43699 1576.44/1580.83 c #Conflicts: 398000 | #Constraints: 44699 1576.44/1580.83 c #Conflicts: 399000 | #Constraints: 45699 1576.44/1580.83 c #Conflicts: 400000 | #Constraints: 46699 1576.44/1580.83 c #Conflicts: 401000 | #Constraints: 47699 1576.44/1580.83 c #Conflicts: 402000 | #Constraints: 48699 1576.44/1580.83 c #Conflicts: 403000 | #Constraints: 49699 1576.44/1580.83 c #Conflicts: 404000 | #Constraints: 50699 1576.44/1580.83 c #Conflicts: 405000 | #Constraints: 51699 1576.44/1580.83 c #Conflicts: 406000 | #Constraints: 52699 1576.44/1580.83 c #Conflicts: 407000 | #Constraints: 53699 1576.44/1580.83 c #Conflicts: 408000 | #Constraints: 54699 1576.44/1580.83 c #Conflicts: 409000 | #Constraints: 55699 1576.44/1580.83 c INPROCESSING 1576.44/1580.83 c GARBAGE COLLECT 1576.44/1580.83 c rational objective 134 1770.52/1775.47 c #Conflicts: 410000 | #Constraints: 40115 1770.52/1775.47 c #Conflicts: 411000 | #Constraints: 41115 1770.52/1775.47 c #Conflicts: 412000 | #Constraints: 42115 1770.52/1775.47 c #Conflicts: 413000 | #Constraints: 43115 1770.52/1775.47 c #Conflicts: 414000 | #Constraints: 44115 1770.52/1775.47 c #Conflicts: 415000 | #Constraints: 45115 1770.52/1775.47 c #Conflicts: 416000 | #Constraints: 46115 1770.52/1775.47 c #Conflicts: 417000 | #Constraints: 47115 1770.52/1775.47 c #Conflicts: 418000 | #Constraints: 48115 1770.52/1775.47 c #Conflicts: 419000 | #Constraints: 49116 1770.52/1775.47 c #Conflicts: 420000 | #Constraints: 50116 1770.52/1775.47 c #Conflicts: 421000 | #Constraints: 51116 1770.52/1775.47 c #Conflicts: 422000 | #Constraints: 52116 1770.52/1775.47 c #Conflicts: 423000 | #Constraints: 53116 1770.52/1775.47 c #Conflicts: 424000 | #Constraints: 54116 1770.52/1775.47 c #Conflicts: 425000 | #Constraints: 55116 1770.52/1775.47 c #Conflicts: 426000 | #Constraints: 56116 1770.52/1775.47 c #Conflicts: 427000 | #Constraints: 57116 1770.52/1775.47 c #Conflicts: 428000 | #Constraints: 58116 1770.52/1775.47 c #Conflicts: 429000 | #Constraints: 59116 1770.52/1775.47 c #Conflicts: 430000 | #Constraints: 60116 1770.52/1775.47 c #Conflicts: 431000 | #Constraints: 61116 1770.52/1775.47 c #Conflicts: 432000 | #Constraints: 62116 1770.52/1775.47 c #Conflicts: 433000 | #Constraints: 63116 1770.52/1775.47 c #Conflicts: 434000 | #Constraints: 64116 1770.52/1775.47 c #Conflicts: 435000 | #Constraints: 65116 1770.52/1775.47 c #Conflicts: 436000 | #Constraints: 66116 1770.52/1775.47 c #Conflicts: 437000 | #Constraints: 67116 1770.52/1775.47 c #Conflicts: 438000 | #Constraints: 68117 1770.52/1775.47 c #Conflicts: 439000 | #Constraints: 69117 1770.52/1775.47 c #Conflicts: 440000 | #Constraints: 70117 1770.52/1775.47 c #Conflicts: 441000 | #Constraints: 71117 1770.52/1775.47 c #Conflicts: 442000 | #Constraints: 72117 1770.52/1775.47 c #Conflicts: 443000 | #Constraints: 73117 1770.52/1775.47 c #Conflicts: 444000 | #Constraints: 74117 1770.52/1775.47 c #Conflicts: 445000 | #Constraints: 75117 1770.52/1775.47 c #Conflicts: 446000 | #Constraints: 76117 1770.52/1775.47 c #Conflicts: 447000 | #Constraints: 77117 1770.52/1775.47 c #Conflicts: 448000 | #Constraints: 78117 1770.52/1775.47 c #Conflicts: 449000 | #Constraints: 79117 1770.52/1775.47 c #Conflicts: 450000 | #Constraints: 80117 1770.52/1775.47 c #Conflicts: 451000 | #Constraints: 81117 1770.52/1775.47 c #Conflicts: 452000 | #Constraints: 82117 1770.52/1775.47 c #Conflicts: 453000 | #Constraints: 83117 1770.52/1775.47 c #Conflicts: 454000 | #Constraints: 84117 1770.52/1775.47 c #Conflicts: 455000 | #Constraints: 85117 1770.52/1775.47 c INPROCESSING 1770.52/1775.47 c GARBAGE COLLECT 1770.52/1775.47 c rational objective 134 1895.79/1901.01 c #Conflicts: 456000 | #Constraints: 52023 1895.79/1901.01 c #Conflicts: 457000 | #Constraints: 53023 1895.79/1901.01 c #Conflicts: 458000 | #Constraints: 54023 1895.79/1901.01 c #Conflicts: 459000 | #Constraints: 55023 1895.79/1901.01 c #Conflicts: 460000 | #Constraints: 56023 1895.79/1901.01 c #Conflicts: 461000 | #Constraints: 57023 1895.79/1901.01 c #Conflicts: 462000 | #Constraints: 58023 1895.79/1901.01 c #Conflicts: 463000 | #Constraints: 59023 1895.79/1901.01 c #Conflicts: 464000 | #Constraints: 60023 1895.79/1901.01 c #Conflicts: 465000 | #Constraints: 61023 1895.79/1901.01 c #Conflicts: 466000 | #Constraints: 62023 1895.79/1901.01 c #Conflicts: 467000 | #Constraints: 63024 1895.79/1901.01 c #Conflicts: 468000 | #Constraints: 64024 1895.79/1901.01 c #Conflicts: 469000 | #Constraints: 65024 1895.79/1901.01 c #Conflicts: 470000 | #Constraints: 66024 1895.79/1901.01 c #Conflicts: 471000 | #Constraints: 67024 1895.79/1901.01 c #Conflicts: 472000 | #Constraints: 68024 1895.79/1901.01 c INPROCESSING 1895.79/1901.01 c GARBAGE COLLECT 1895.79/1901.01 c rational objective 134 2095.51/2101.33 c #Conflicts: 473000 | #Constraints: 43448 2095.51/2101.33 c #Conflicts: 474000 | #Constraints: 44448 2095.51/2101.33 c #Conflicts: 475000 | #Constraints: 45448 2095.51/2101.33 c #Conflicts: 476000 | #Constraints: 46448 2095.51/2101.33 c #Conflicts: 477000 | #Constraints: 47448 2095.51/2101.33 c #Conflicts: 478000 | #Constraints: 48448 2095.51/2101.33 c #Conflicts: 479000 | #Constraints: 49448 2095.51/2101.33 c #Conflicts: 480000 | #Constraints: 50448 2095.51/2101.33 c #Conflicts: 481000 | #Constraints: 51448 2095.51/2101.33 c #Conflicts: 482000 | #Constraints: 52448 2095.51/2101.33 c #Conflicts: 483000 | #Constraints: 53448 2095.51/2101.33 c #Conflicts: 484000 | #Constraints: 54448 2095.51/2101.33 c #Conflicts: 485000 | #Constraints: 55448 2095.51/2101.33 c #Conflicts: 486000 | #Constraints: 56449 2095.51/2101.33 c #Conflicts: 487000 | #Constraints: 57449 2095.51/2101.33 c #Conflicts: 488000 | #Constraints: 58449 2095.51/2101.33 c #Conflicts: 489000 | #Constraints: 59449 2095.51/2101.33 c INPROCESSING 2095.51/2101.33 c GARBAGE COLLECT 2095.51/2101.33 c #Conflicts: 490000 | #Constraints: 41742 2095.51/2101.33 c #Conflicts: 491000 | #Constraints: 42742 2095.51/2101.33 c #Conflicts: 492000 | #Constraints: 43742 2095.51/2101.33 c #Conflicts: 493000 | #Constraints: 44742 2095.51/2101.33 c #Conflicts: 494000 | #Constraints: 45742 2095.51/2101.33 c #Conflicts: 495000 | #Constraints: 46742 2095.51/2101.33 c #Conflicts: 496000 | #Constraints: 47742 2095.51/2101.33 c #Conflicts: 497000 | #Constraints: 48742 2095.51/2101.33 c #Conflicts: 498000 | #Constraints: 49742 2095.51/2101.33 c #Conflicts: 499000 | #Constraints: 50742 2095.51/2101.33 c #Conflicts: 500000 | #Constraints: 51742 2095.51/2101.33 c #Conflicts: 501000 | #Constraints: 52742 2095.51/2101.33 c #Conflicts: 502000 | #Constraints: 53742 2095.51/2101.33 c #Conflicts: 503000 | #Constraints: 54742 2095.51/2101.33 c #Conflicts: 504000 | #Constraints: 55742 2095.51/2101.33 c #Conflicts: 505000 | #Constraints: 56742 2095.51/2101.33 c #Conflicts: 506000 | #Constraints: 57743 2095.51/2101.33 c #Conflicts: 507000 | #Constraints: 58743 2095.51/2101.33 c #Conflicts: 508000 | #Constraints: 59743 2095.51/2101.33 c #Conflicts: 509000 | #Constraints: 60743 2095.51/2101.33 c #Conflicts: 510000 | #Constraints: 61743 2095.51/2101.33 c #Conflicts: 511000 | #Constraints: 62743 2095.51/2101.33 c #Conflicts: 512000 | #Constraints: 63743 2095.51/2101.33 c #Conflicts: 513000 | #Constraints: 64743 2095.51/2101.33 c #Conflicts: 514000 | #Constraints: 65743 2095.51/2101.33 c #Conflicts: 515000 | #Constraints: 66743 2095.51/2101.33 c #Conflicts: 516000 | #Constraints: 67743 2095.51/2101.33 c #Conflicts: 517000 | #Constraints: 68743 2095.51/2101.33 c #Conflicts: 518000 | #Constraints: 69743 2095.51/2101.33 c #Conflicts: 519000 | #Constraints: 70743 2095.51/2101.33 c #Conflicts: 520000 | #Constraints: 71743 2095.51/2101.33 c #Conflicts: 521000 | #Constraints: 72743 2095.51/2101.33 c #Conflicts: 522000 | #Constraints: 73744 2095.51/2101.33 c #Conflicts: 523000 | #Constraints: 74744 2095.51/2101.33 c #Conflicts: 524000 | #Constraints: 75744 2095.51/2101.33 c #Conflicts: 525000 | #Constraints: 76744 2095.51/2101.33 c #Conflicts: 526000 | #Constraints: 77744 2095.51/2101.33 c #Conflicts: 527000 | #Constraints: 78744 2095.51/2101.33 c #Conflicts: 528000 | #Constraints: 79744 2095.51/2101.33 c #Conflicts: 529000 | #Constraints: 80744 2095.51/2101.33 c #Conflicts: 530000 | #Constraints: 81744 2095.51/2101.33 c #Conflicts: 531000 | #Constraints: 82745 2095.51/2101.33 c #Conflicts: 532000 | #Constraints: 83745 2095.51/2101.33 c #Conflicts: 533000 | #Constraints: 84745 2095.51/2101.33 c #Conflicts: 534000 | #Constraints: 85745 2095.51/2101.33 c #Conflicts: 535000 | #Constraints: 86745 2095.51/2101.33 c #Conflicts: 536000 | #Constraints: 87745 2095.51/2101.33 c #Conflicts: 537000 | #Constraints: 88745 2095.51/2101.33 c #Conflicts: 538000 | #Constraints: 89745 2095.51/2101.33 c #Conflicts: 539000 | #Constraints: 90745 2095.51/2101.33 c #Conflicts: 540000 | #Constraints: 91745 2095.51/2101.33 c INPROCESSING 2095.51/2101.33 c GARBAGE COLLECT 2095.51/2101.33 c rational objective 134 2135.80/2141.74 c #Conflicts: 541000 | #Constraints: 55451 2135.80/2141.74 c #Conflicts: 542000 | #Constraints: 56451 2135.80/2141.74 c #Conflicts: 543000 | #Constraints: 57451 2135.80/2141.74 c #Conflicts: 544000 | #Constraints: 58451 2135.80/2141.74 c #Conflicts: 545000 | #Constraints: 59451 2135.80/2141.74 c #Conflicts: 546000 | #Constraints: 60451 2135.80/2141.74 c #Conflicts: 547000 | #Constraints: 61451 2135.80/2141.74 c #Conflicts: 548000 | #Constraints: 62451 2135.80/2141.74 c #Conflicts: 549000 | #Constraints: 63451 2135.80/2141.74 c #Conflicts: 550000 | #Constraints: 64451 2135.80/2141.74 c #Conflicts: 551000 | #Constraints: 65451 2135.80/2141.74 c #Conflicts: 552000 | #Constraints: 66451 2135.80/2141.74 c #Conflicts: 553000 | #Constraints: 67451 2135.80/2141.74 c #Conflicts: 554000 | #Constraints: 68451 2135.80/2141.74 c #Conflicts: 555000 | #Constraints: 69451 2135.80/2141.74 c #Conflicts: 556000 | #Constraints: 70451 2135.80/2141.74 c #Conflicts: 557000 | #Constraints: 71451 2135.80/2141.74 c #Conflicts: 558000 | #Constraints: 72451 2135.80/2141.74 c INPROCESSING 2135.80/2141.74 c GARBAGE COLLECT 2135.80/2141.74 c rational objective 134 2249.59/2255.82 c #Conflicts: 559000 | #Constraints: 45737 2249.59/2255.82 c #Conflicts: 560000 | #Constraints: 46738 2249.59/2255.82 c #Conflicts: 561000 | #Constraints: 47738 2249.59/2255.82 c #Conflicts: 562000 | #Constraints: 48738 2249.59/2255.82 c #Conflicts: 563000 | #Constraints: 49738 2249.59/2255.82 c #Conflicts: 564000 | #Constraints: 50738 2249.59/2255.82 c #Conflicts: 565000 | #Constraints: 51738 2249.59/2255.82 c #Conflicts: 566000 | #Constraints: 52738 2249.59/2255.82 c #Conflicts: 567000 | #Constraints: 53738 2249.59/2255.82 c #Conflicts: 568000 | #Constraints: 54738 2249.59/2255.82 c #Conflicts: 569000 | #Constraints: 55738 2249.59/2255.82 c #Conflicts: 570000 | #Constraints: 56738 2249.59/2255.82 c #Conflicts: 571000 | #Constraints: 57738 2249.59/2255.82 c #Conflicts: 572000 | #Constraints: 58738 2249.59/2255.82 c #Conflicts: 573000 | #Constraints: 59738 2249.59/2255.82 c #Conflicts: 574000 | #Constraints: 60738 2249.59/2255.82 c #Conflicts: 575000 | #Constraints: 61739 2249.59/2255.82 c #Conflicts: 576000 | #Constraints: 62739 2249.59/2255.82 c #Conflicts: 577000 | #Constraints: 63739 2249.59/2255.82 c INPROCESSING 2249.59/2255.82 c GARBAGE COLLECT 2249.59/2255.82 c rational objective 134 2438.26/2445.05 c #Conflicts: 578000 | #Constraints: 44936 2438.26/2445.05 c #Conflicts: 579000 | #Constraints: 45936 2438.26/2445.05 c #Conflicts: 580000 | #Constraints: 46936 2438.26/2445.05 c #Conflicts: 581000 | #Constraints: 47936 2438.26/2445.05 c #Conflicts: 582000 | #Constraints: 48936 2438.26/2445.05 c #Conflicts: 583000 | #Constraints: 49936 2438.26/2445.05 c #Conflicts: 584000 | #Constraints: 50936 2438.26/2445.05 c #Conflicts: 585000 | #Constraints: 51936 2438.26/2445.05 c #Conflicts: 586000 | #Constraints: 52936 2438.26/2445.05 c #Conflicts: 587000 | #Constraints: 53936 2438.26/2445.05 c #Conflicts: 588000 | #Constraints: 54936 2438.26/2445.05 c #Conflicts: 589000 | #Constraints: 55936 2438.26/2445.05 c #Conflicts: 590000 | #Constraints: 56936 2438.26/2445.05 c #Conflicts: 591000 | #Constraints: 57936 2438.26/2445.05 c #Conflicts: 592000 | #Constraints: 58936 2438.26/2445.05 c #Conflicts: 593000 | #Constraints: 59936 2438.26/2445.05 c #Conflicts: 594000 | #Constraints: 60936 2438.26/2445.05 c #Conflicts: 595000 | #Constraints: 61936 2438.26/2445.05 c #Conflicts: 596000 | #Constraints: 62937 2438.26/2445.05 c #Conflicts: 597000 | #Constraints: 63938 2438.26/2445.05 c #Conflicts: 598000 | #Constraints: 64938 2438.26/2445.05 c #Conflicts: 599000 | #Constraints: 65938 2438.26/2445.05 c #Conflicts: 600000 | #Constraints: 66938 2438.26/2445.05 c #Conflicts: 601000 | #Constraints: 67938 2438.26/2445.05 c #Conflicts: 602000 | #Constraints: 68938 2438.26/2445.05 c #Conflicts: 603000 | #Constraints: 69938 2438.26/2445.05 c #Conflicts: 604000 | #Constraints: 70938 2438.26/2445.05 c #Conflicts: 605000 | #Constraints: 71938 2438.26/2445.05 c #Conflicts: 606000 | #Constraints: 72938 2438.26/2445.05 c #Conflicts: 607000 | #Constraints: 73939 2438.26/2445.05 c #Conflicts: 608000 | #Constraints: 74939 2438.26/2445.05 c #Conflicts: 609000 | #Constraints: 75939 2438.26/2445.05 c #Conflicts: 610000 | #Constraints: 76939 2438.26/2445.05 c #Conflicts: 611000 | #Constraints: 77939 2438.26/2445.05 c #Conflicts: 612000 | #Constraints: 78939 2438.26/2445.05 c #Conflicts: 613000 | #Constraints: 79939 2438.26/2445.05 c #Conflicts: 614000 | #Constraints: 80939 2438.26/2445.05 c #Conflicts: 615000 | #Constraints: 81939 2438.26/2445.05 c #Conflicts: 616000 | #Constraints: 82939 2438.26/2445.05 c #Conflicts: 617000 | #Constraints: 83939 2438.26/2445.05 c #Conflicts: 618000 | #Constraints: 84939 2438.26/2445.05 c #Conflicts: 619000 | #Constraints: 85939 2438.26/2445.05 c #Conflicts: 620000 | #Constraints: 86939 2438.26/2445.05 c #Conflicts: 621000 | #Constraints: 87939 2438.26/2445.05 c #Conflicts: 622000 | #Constraints: 88939 2438.26/2445.05 c #Conflicts: 623000 | #Constraints: 89939 2438.26/2445.05 c #Conflicts: 624000 | #Constraints: 90940 2438.26/2445.05 c #Conflicts: 625000 | #Constraints: 91940 2438.26/2445.05 c #Conflicts: 626000 | #Constraints: 92940 2438.26/2445.05 c #Conflicts: 627000 | #Constraints: 93940 2438.26/2445.05 c #Conflicts: 628000 | #Constraints: 94940 2438.26/2445.05 c #Conflicts: 629000 | #Constraints: 95940 2438.26/2445.05 c #Conflicts: 630000 | #Constraints: 96940 2438.26/2445.05 c #Conflicts: 631000 | #Constraints: 97940 2438.26/2445.05 c #Conflicts: 632000 | #Constraints: 98940 2438.26/2445.05 c INPROCESSING 2438.26/2445.05 c GARBAGE COLLECT 2438.26/2445.05 c rational objective 134 2521.22/2528.22 c #Conflicts: 633000 | #Constraints: 59442 2521.22/2528.22 c #Conflicts: 634000 | #Constraints: 60442 2521.22/2528.22 c #Conflicts: 635000 | #Constraints: 61442 2521.22/2528.22 c #Conflicts: 636000 | #Constraints: 62442 2521.22/2528.22 c #Conflicts: 637000 | #Constraints: 63442 2521.22/2528.22 c #Conflicts: 638000 | #Constraints: 64442 2521.22/2528.22 c #Conflicts: 639000 | #Constraints: 65442 2521.22/2528.22 c #Conflicts: 640000 | #Constraints: 66443 2521.22/2528.22 c #Conflicts: 641000 | #Constraints: 67443 2521.22/2528.22 c #Conflicts: 642000 | #Constraints: 68443 2521.22/2528.22 c #Conflicts: 643000 | #Constraints: 69443 2521.22/2528.22 c #Conflicts: 644000 | #Constraints: 70443 2521.22/2528.22 c #Conflicts: 645000 | #Constraints: 71443 2521.22/2528.22 c #Conflicts: 646000 | #Constraints: 72443 2521.22/2528.22 c #Conflicts: 647000 | #Constraints: 73443 2521.22/2528.22 c #Conflicts: 648000 | #Constraints: 74443 2521.22/2528.22 c #Conflicts: 649000 | #Constraints: 75443 2521.22/2528.22 c #Conflicts: 650000 | #Constraints: 76443 2521.22/2528.22 c #Conflicts: 651000 | #Constraints: 77443 2521.22/2528.22 c INPROCESSING 2521.22/2528.22 c GARBAGE COLLECT 2521.22/2528.22 c rational objective 134 2677.86/2685.32 c #Conflicts: 652000 | #Constraints: 48182 2677.86/2685.32 c #Conflicts: 653000 | #Constraints: 49182 2677.86/2685.32 c #Conflicts: 654000 | #Constraints: 50182 2677.86/2685.32 c #Conflicts: 655000 | #Constraints: 51182 2677.86/2685.32 c #Conflicts: 656000 | #Constraints: 52182 2677.86/2685.32 c #Conflicts: 657000 | #Constraints: 53183 2677.86/2685.32 c #Conflicts: 658000 | #Constraints: 54183 2677.86/2685.32 c #Conflicts: 659000 | #Constraints: 55183 2677.86/2685.32 c #Conflicts: 660000 | #Constraints: 56183 2677.86/2685.32 c #Conflicts: 661000 | #Constraints: 57183 2677.86/2685.32 c #Conflicts: 662000 | #Constraints: 58183 2677.86/2685.32 c #Conflicts: 663000 | #Constraints: 59183 2677.86/2685.32 c #Conflicts: 664000 | #Constraints: 60183 2677.86/2685.32 c #Conflicts: 665000 | #Constraints: 61183 2677.86/2685.32 c #Conflicts: 666000 | #Constraints: 62183 2677.86/2685.32 c #Conflicts: 667000 | #Constraints: 63183 2677.86/2685.32 c #Conflicts: 668000 | #Constraints: 64183 2677.86/2685.32 c #Conflicts: 669000 | #Constraints: 65183 2677.86/2685.32 c #Conflicts: 670000 | #Constraints: 66183 2677.86/2685.32 c #Conflicts: 671000 | #Constraints: 67183 2677.86/2685.32 c #Conflicts: 672000 | #Constraints: 68183 2677.86/2685.32 c INPROCESSING 2677.86/2685.32 c GARBAGE COLLECT 2677.86/2685.32 c rational objective 134 2995.95/3004.31 c #Conflicts: 673000 | #Constraints: 47783 2995.95/3004.31 c #Conflicts: 674000 | #Constraints: 48784 2995.95/3004.31 c #Conflicts: 675000 | #Constraints: 49784 2995.95/3004.31 c #Conflicts: 676000 | #Constraints: 50784 2995.95/3004.31 c #Conflicts: 677000 | #Constraints: 51784 2995.95/3004.31 c #Conflicts: 678000 | #Constraints: 52784 2995.95/3004.31 c #Conflicts: 679000 | #Constraints: 53784 2995.95/3004.31 c #Conflicts: 680000 | #Constraints: 54784 2995.95/3004.31 c #Conflicts: 681000 | #Constraints: 55784 2995.95/3004.31 c #Conflicts: 682000 | #Constraints: 56784 2995.95/3004.31 c #Conflicts: 683000 | #Constraints: 57784 2995.95/3004.31 c #Conflicts: 684000 | #Constraints: 58784 2995.95/3004.31 c #Conflicts: 685000 | #Constraints: 59784 2995.95/3004.31 c #Conflicts: 686000 | #Constraints: 60784 2995.95/3004.31 c #Conflicts: 687000 | #Constraints: 61784 2995.95/3004.31 c #Conflicts: 688000 | #Constraints: 62784 2995.95/3004.31 c #Conflicts: 689000 | #Constraints: 63784 2995.95/3004.31 c #Conflicts: 690000 | #Constraints: 64784 2995.95/3004.31 c #Conflicts: 691000 | #Constraints: 65784 2995.95/3004.31 c #Conflicts: 692000 | #Constraints: 66785 2995.95/3004.31 c #Conflicts: 693000 | #Constraints: 67785 2995.95/3004.31 c #Conflicts: 694000 | #Constraints: 68785 2995.95/3004.31 c #Conflicts: 695000 | #Constraints: 69785 2995.95/3004.31 c #Conflicts: 696000 | #Constraints: 70785 2995.95/3004.31 c #Conflicts: 697000 | #Constraints: 71785 2995.95/3004.31 c #Conflicts: 698000 | #Constraints: 72785 2995.95/3004.31 c #Conflicts: 699000 | #Constraints: 73785 2995.95/3004.31 c #Conflicts: 700000 | #Constraints: 74785 2995.95/3004.31 c #Conflicts: 701000 | #Constraints: 75785 2995.95/3004.31 c #Conflicts: 702000 | #Constraints: 76786 2995.95/3004.31 c #Conflicts: 703000 | #Constraints: 77786 2995.95/3004.31 c #Conflicts: 704000 | #Constraints: 78786 2995.95/3004.31 c #Conflicts: 705000 | #Constraints: 79786 2995.95/3004.31 c #Conflicts: 706000 | #Constraints: 80786 2995.95/3004.31 c #Conflicts: 707000 | #Constraints: 81786 2995.95/3004.31 c #Conflicts: 708000 | #Constraints: 82786 2995.95/3004.31 c #Conflicts: 709000 | #Constraints: 83786 2995.95/3004.31 c #Conflicts: 710000 | #Constraints: 84786 2995.95/3004.31 c #Conflicts: 711000 | #Constraints: 85786 2995.95/3004.31 c #Conflicts: 712000 | #Constraints: 86786 2995.95/3004.31 c #Conflicts: 713000 | #Constraints: 87786 2995.95/3004.31 c #Conflicts: 714000 | #Constraints: 88786 2995.95/3004.31 c #Conflicts: 715000 | #Constraints: 89786 2995.95/3004.31 c #Conflicts: 716000 | #Constraints: 90786 2995.95/3004.31 c #Conflicts: 717000 | #Constraints: 91786 2995.95/3004.31 c #Conflicts: 718000 | #Constraints: 92786 2995.95/3004.31 c #Conflicts: 719000 | #Constraints: 93786 2995.95/3004.31 c #Conflicts: 720000 | #Constraints: 94786 2995.95/3004.31 c #Conflicts: 721000 | #Constraints: 95787 2995.95/3004.31 c #Conflicts: 722000 | #Constraints: 96787 2995.95/3004.31 c #Conflicts: 723000 | #Constraints: 97787 2995.95/3004.31 c #Conflicts: 724000 | #Constraints: 98787 2995.95/3004.31 c #Conflicts: 725000 | #Constraints: 99787 2995.95/3004.31 c #Conflicts: 726000 | #Constraints: 100787 2995.95/3004.31 c #Conflicts: 727000 | #Constraints: 101787 2995.95/3004.31 c #Conflicts: 728000 | #Constraints: 102787 2995.95/3004.31 c #Conflicts: 729000 | #Constraints: 103788 2995.95/3004.31 c #Conflicts: 730000 | #Constraints: 104788 2995.95/3004.31 c #Conflicts: 731000 | #Constraints: 105788 2995.95/3004.31 c INPROCESSING 2995.95/3004.31 c GARBAGE COLLECT 2995.95/3004.31 c rational objective 134 3467.48/3477.29 c #Conflicts: 732000 | #Constraints: 62745 3467.48/3477.29 c #Conflicts: 733000 | #Constraints: 63745 3467.48/3477.29 c #Conflicts: 734000 | #Constraints: 64745 3467.48/3477.29 c #Conflicts: 735000 | #Constraints: 65745 3467.48/3477.29 c #Conflicts: 736000 | #Constraints: 66745 3467.48/3477.29 c #Conflicts: 737000 | #Constraints: 67745 3467.48/3477.29 c #Conflicts: 738000 | #Constraints: 68745 3467.48/3477.29 c #Conflicts: 739000 | #Constraints: 69745 3467.48/3477.29 c #Conflicts: 740000 | #Constraints: 70745 3467.48/3477.29 c #Conflicts: 741000 | #Constraints: 71745 3467.48/3477.29 c #Conflicts: 742000 | #Constraints: 72745 3467.48/3477.29 c #Conflicts: 743000 | #Constraints: 73745 3467.48/3477.29 c #Conflicts: 744000 | #Constraints: 74745 3467.48/3477.29 c #Conflicts: 745000 | #Constraints: 75745 3467.48/3477.29 c #Conflicts: 746000 | #Constraints: 76745 3467.48/3477.29 c #Conflicts: 747000 | #Constraints: 77745 3467.48/3477.29 c #Conflicts: 748000 | #Constraints: 78745 3467.48/3477.29 c #Conflicts: 749000 | #Constraints: 79745 3467.48/3477.29 c #Conflicts: 750000 | #Constraints: 80745 3467.48/3477.29 c #Conflicts: 751000 | #Constraints: 81745 3467.48/3477.29 c #Conflicts: 752000 | #Constraints: 82745 3467.48/3477.29 c INPROCESSING 3467.48/3477.29 c GARBAGE COLLECT 3467.48/3477.29 c #Conflicts: 753000 | #Constraints: 50648 3467.48/3477.29 c #Conflicts: 754000 | #Constraints: 51648 3467.48/3477.29 c #Conflicts: 755000 | #Constraints: 52648 3467.48/3477.29 c #Conflicts: 756000 | #Constraints: 53648 3467.48/3477.29 c #Conflicts: 757000 | #Constraints: 54648 3467.48/3477.29 c #Conflicts: 758000 | #Constraints: 55648 3467.48/3477.29 c #Conflicts: 759000 | #Constraints: 56648 3467.48/3477.29 c #Conflicts: 760000 | #Constraints: 57648 3467.48/3477.29 c #Conflicts: 761000 | #Constraints: 58648 3467.48/3477.29 c #Conflicts: 762000 | #Constraints: 59648 3467.48/3477.29 c #Conflicts: 763000 | #Constraints: 60648 3467.48/3477.29 c #Conflicts: 764000 | #Constraints: 61648 3467.48/3477.29 c #Conflicts: 765000 | #Constraints: 62648 3467.48/3477.29 c #Conflicts: 766000 | #Constraints: 63648 3467.48/3477.29 c #Conflicts: 767000 | #Constraints: 64648 3467.48/3477.29 c #Conflicts: 768000 | #Constraints: 65648 3467.48/3477.29 c #Conflicts: 769000 | #Constraints: 66648 3467.48/3477.29 c #Conflicts: 770000 | #Constraints: 67648 3467.48/3477.29 c #Conflicts: 771000 | #Constraints: 68648 3467.48/3477.29 c #Conflicts: 772000 | #Constraints: 69648 3467.48/3477.29 c #Conflicts: 773000 | #Constraints: 70648 3467.48/3477.29 c #Conflicts: 774000 | #Constraints: 71648 3467.48/3477.29 c INPROCESSING 3467.48/3477.29 c GARBAGE COLLECT 3467.48/3477.29 c #Conflicts: 775000 | #Constraints: 49999 3467.48/3477.29 c #Conflicts: 776000 | #Constraints: 50999 3467.48/3477.29 c #Conflicts: 777000 | #Constraints: 51999 3467.48/3477.29 c #Conflicts: 778000 | #Constraints: 52999 3467.48/3477.29 c #Conflicts: 779000 | #Constraints: 53999 3467.48/3477.29 c #Conflicts: 780000 | #Constraints: 54999 3467.48/3477.29 c #Conflicts: 781000 | #Constraints: 56000 3467.48/3477.29 c #Conflicts: 782000 | #Constraints: 57000 3467.48/3477.29 c #Conflicts: 783000 | #Constraints: 58000 3467.48/3477.29 c #Conflicts: 784000 | #Constraints: 59000 3467.48/3477.29 c #Conflicts: 785000 | #Constraints: 60000 3467.48/3477.29 c #Conflicts: 786000 | #Constraints: 61000 3467.48/3477.29 c #Conflicts: 787000 | #Constraints: 62000 3467.48/3477.29 c #Conflicts: 788000 | #Constraints: 63000 3467.48/3477.29 c #Conflicts: 789000 | #Constraints: 64000 3467.48/3477.29 c #Conflicts: 790000 | #Constraints: 65000 3467.48/3477.29 c #Conflicts: 791000 | #Constraints: 66000 3467.48/3477.29 c #Conflicts: 792000 | #Constraints: 67000 3467.48/3477.29 c #Conflicts: 793000 | #Constraints: 68000 3467.48/3477.29 c #Conflicts: 794000 | #Constraints: 69000 3467.48/3477.29 c #Conflicts: 795000 | #Constraints: 70000 3467.48/3477.29 c #Conflicts: 796000 | #Constraints: 71000 3467.48/3477.29 c #Conflicts: 797000 | #Constraints: 72001 3467.48/3477.29 c #Conflicts: 798000 | #Constraints: 73001 3467.48/3477.29 c #Conflicts: 799000 | #Constraints: 74001 3467.48/3477.29 c #Conflicts: 800000 | #Constraints: 75001 3467.48/3477.29 c #Conflicts: 801000 | #Constraints: 76001 3467.48/3477.29 c #Conflicts: 802000 | #Constraints: 77001 3467.48/3477.29 c #Conflicts: 803000 | #Constraints: 78001 3467.48/3477.29 c #Conflicts: 804000 | #Constraints: 79001 3467.48/3477.29 c #Conflicts: 805000 | #Constraints: 80001 3467.48/3477.29 c #Conflicts: 806000 | #Constraints: 81001 3467.48/3477.29 c #Conflicts: 807000 | #Constraints: 82001 3467.48/3477.29 c #Conflicts: 808000 | #Constraints: 83001 3467.48/3477.29 c #Conflicts: 809000 | #Constraints: 84001 3598.42/3608.59 c #Conflicts: 810000 | #Constraints: 85001 3598.42/3608.59 c #Conflicts: 811000 | #Constraints: 86001 3598.42/3608.59 c #Conflicts: 812000 | #Constraints: 87001 3598.42/3608.59 c #Conflicts: 813000 | #Constraints: 88001 3598.42/3608.59 c #Conflicts: 814000 | #Constraints: 89001 3598.42/3608.59 c #Conflicts: 815000 | #Constraints: 90002 3598.42/3608.59 c #Conflicts: 816000 | #Constraints: 91002 3598.42/3608.59 c #Conflicts: 817000 | #Constraints: 92002 3598.42/3608.59 c #Conflicts: 818000 | #Constraints: 93002 3598.42/3608.59 c #Conflicts: 819000 | #Constraints: 94002 3598.42/3608.59 c #Conflicts: 820000 | #Constraints: 95002 3598.42/3608.59 c #Conflicts: 821000 | #Constraints: 96002 3598.42/3608.59 c #Conflicts: 822000 | #Constraints: 97002 3598.42/3608.59 c #Conflicts: 823000 | #Constraints: 98002 3598.42/3608.59 c #Conflicts: 824000 | #Constraints: 99002 3598.42/3608.59 c #Conflicts: 825000 | #Constraints: 100002 3598.42/3608.59 c #Conflicts: 826000 | #Constraints: 101002 3598.42/3608.59 c #Conflicts: 827000 | #Constraints: 102002 3598.42/3608.59 c #Conflicts: 828000 | #Constraints: 103002 3598.42/3608.59 c #Conflicts: 829000 | #Constraints: 104002 3598.42/3608.59 c #Conflicts: 830000 | #Constraints: 105002 3598.42/3608.59 c #Conflicts: 831000 | #Constraints: 106002 3598.42/3608.59 c #Conflicts: 832000 | #Constraints: 107003 3598.42/3608.59 c #Conflicts: 833000 | #Constraints: 108003 3598.42/3608.59 c #Conflicts: 834000 | #Constraints: 109003 3598.42/3608.59 c #Conflicts: 835000 | #Constraints: 110003 3598.42/3608.59 c #Conflicts: 836000 | #Constraints: 111003 3598.42/3608.59 c #Conflicts: 837000 | #Constraints: 112003 3598.42/3608.59 c INPROCESSING 3598.42/3608.59 c GARBAGE COLLECT 3598.42/3608.59 c rational objective 134 3601.11/3611.29 c Disabling crashed LP 3601.11/3611.29 c Program interrupted by user. 3601.21/3611.30 c cpu time 3573.89 s 3601.21/3611.30 c deterministic time 182712179730 1.83e+11 3601.21/3611.30 c optimization time 0.000129 s 3601.21/3611.30 c total solve time 3573.72 s 3601.21/3611.30 c core-guided solve time 0 s 3601.21/3611.30 c propagation time 1596.06 s 3601.21/3611.30 c conflict analysis time 526.979 s 3601.21/3611.30 c propagations 618342314 3601.21/3611.30 c resolve steps 40757365 3601.21/3611.30 c decisions 12380787 3601.21/3611.30 c conflicts 837201 3601.21/3611.30 c restarts 1788 3601.21/3611.30 c inprocessing phases 46 3601.21/3611.30 c input clauses 16082 3601.21/3611.30 c input cardinalities 134 3601.21/3611.30 c input general constraints 0 3601.21/3611.30 c input average constraint length 6.43 3601.21/3611.30 c input average constraint degree 1.97 3601.21/3611.30 c learned clauses 541358 3601.21/3611.30 c learned cardinalities 32663 3601.21/3611.30 c learned general constraints 263259 3601.21/3611.30 c learned average constraint length 1082.35 3601.21/3611.30 c learned average constraint degree 466797501.46 3601.21/3611.30 c watched constraints 203071 3601.21/3611.30 c counting constraints 60188 3601.21/3611.30 c gcd simplifications 4213 3601.21/3611.30 c detected cardinalities 3517 3601.21/3611.30 c weakened non-implied lits 198882635 3601.21/3611.30 c weakened non-implying lits 291934 3601.21/3611.30 c original variables 15946 3601.21/3611.30 c clausal propagations 271522302 3601.21/3611.30 c cardinality propagations 211522217 3601.21/3611.30 c watched propagations 40443076 3601.21/3611.30 c counting propagations 87619255 3601.21/3611.30 c watch lookups 10947245463 3601.21/3611.30 c watch backjump lookups 8933980268 3601.21/3611.30 c watch checks 123809642869 3601.21/3611.30 c propagation checks 34680247792 3601.21/3611.30 c constraint additions 3077085868 3601.21/3611.30 c trail pops 631558808 3601.21/3611.30 c formula constraints 16216 3601.21/3611.30 c learned constraints 837139 3601.21/3611.30 c bound constraints 0 3601.21/3611.30 c core-guided constraints 0 3601.21/3611.30 c encountered formula constraints 28839792 3601.21/3611.30 c encountered learned constraints 12752883 3601.21/3611.30 c encountered bound constraints 0 3601.21/3611.30 c encountered core-guided constraints 0 3601.21/3611.30 c LP total time 2233.51 s 3601.21/3611.30 c LP solve time 2208.51 s 3601.21/3611.30 c LP constraints added 19524 3601.21/3611.30 c LP constraints removed 2945 3601.21/3611.30 c LP pivots internal 848699 3601.21/3611.30 c LP pivots root 846861 3601.21/3611.30 c LP calls 92 3601.21/3611.30 c LP optimalities 22 3601.21/3611.30 c LP no pivot count 0 3601.21/3611.30 c LP infeasibilities 62 3601.21/3611.30 c LP valid Farkas constraints 62 3601.21/3611.30 c LP learned Farkas constraints 62 3601.21/3611.30 c LP basis resets 0 3601.21/3611.30 c LP cycling count 0 3601.21/3611.30 c LP singular count 0 3601.21/3611.30 c LP no primal count 0 3601.21/3611.30 c LP no farkas count 0 3601.21/3611.30 c LP other issue count 0 3601.21/3611.30 c LP Gomory cuts 17 3601.21/3611.30 c LP learned cuts 3291 3601.21/3611.30 c LP deleted cuts 2945 3601.21/3611.30 c LP encountered Gomory constraints 0 3601.21/3611.30 c LP encountered Farkas constraints 1573 3601.21/3611.30 c LP encountered learned Farkas constraints 256 3601.21/3611.30 c CG auxiliary variables introduced 0 3601.21/3611.30 c CG solutions found 0 3601.21/3611.30 c CG cores constructed 0 3601.21/3611.30 c CG core cardinality constraints returned 0 3601.21/3611.30 c CG unit cores 0 3601.21/3611.30 c CG single cores 0 3601.21/3611.30 c CG blocks removed during cardinality reduction 0 3601.21/3611.30 c CG first core best 0 3601.21/3611.30 c CG decision core best 0 3601.21/3611.30 c CG core reduction tie 0 3601.21/3611.30 c CG core degree average 0.00 3601.21/3611.30 c CG core slack average 0.00 3601.21/3611.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: 64059 MiB (62300 MiB free)
memory of node 1: 64510 MiB (61581 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455627-1721464282/watcher-4455627-1721464282 -o /tmp/evaluation-result-4455627-1721464282/solver-4455627-1721464282 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046576 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455627-1721464282.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
solver pid=1048838, runsolver pid=1048835
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 4.13 4.14 4.13 5/246 1048839
/proc/meminfo: memFree=126850076/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=40228 memory=8876 CPUtime=0.1 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 1479 0 0 0 8 2 0 0 20 0 1 0 198584548 41193472 2219 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 10057 2219 1247 922 0 2009 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40228 KiB
Current children cumulated memory: 8876 KiB
[startup+0.212451 s]*
/proc/loadavg: 4.13 4.14 4.13 5/246 1048839
/proc/meminfo: memFree=126843944/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=50808 memory=20812 CPUtime=0.21 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 4846 0 0 0 16 5 0 0 20 0 1 0 198584548 52027392 5203 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 12702 5203 1581 922 0 4654 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50808 KiB
Current children cumulated memory: 20812 KiB
[startup+0.312388 s]*
/proc/loadavg: 4.13 4.14 4.13 5/246 1048839
/proc/meminfo: memFree=126830968/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=61652 memory=29432 CPUtime=0.31 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 7505 0 0 0 25 6 0 0 20 0 1 0 198584548 63131648 7358 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 15413 7358 1677 922 0 7365 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 61652 KiB
Current children cumulated memory: 29432 KiB
[startup+0.700353 s]
/proc/loadavg: 4.13 4.14 4.13 5/246 1048839
/proc/meminfo: memFree=126829484/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=63940 memory=31808 CPUtime=0.69 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 8107 0 0 0 62 7 0 0 20 0 1 0 198584548 65474560 7952 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 15985 7952 1677 922 0 7937 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63940 KiB
Current children cumulated memory: 31808 KiB
[startup+1.50034 s]
/proc/loadavg: 4.13 4.14 4.13 5/246 1048840
/proc/meminfo: memFree=126827688/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=65112 memory=33128 CPUtime=1.48 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 8446 0 0 0 141 7 0 0 20 0 1 0 198584548 66674688 8282 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 16278 8282 1677 922 0 8230 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65112 KiB
Current children cumulated memory: 33128 KiB
[startup+3.11308 s]
/proc/loadavg: 4.20 4.15 4.14 5/246 1048840
/proc/meminfo: memFree=126818920/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=67592 memory=38776 CPUtime=3.09 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 9328 0 0 0 291 18 0 0 20 0 1 0 198584548 69214208 9694 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 16898 9694 1723 922 0 8850 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 67592 KiB
Current children cumulated memory: 38776 KiB
[startup+6.30032 s]
/proc/loadavg: 4.20 4.15 4.14 5/246 1048840
/proc/meminfo: memFree=126817240/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=69144 memory=40884 CPUtime=6.26 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 9864 0 0 0 606 20 0 0 20 0 1 0 198584548 70803456 10221 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 17286 10221 1723 922 0 9238 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 69144 KiB
Current children cumulated memory: 40884 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.15 4.14 5/246 1048888
/proc/meminfo: memFree=126841752/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=72904 memory=44588 CPUtime=12.65 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 10183 0 0 0 1231 34 0 0 20 0 1 0 198584548 74653696 11147 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 18226 11147 1778 922 0 10178 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 72904 KiB
Current children cumulated memory: 44588 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.16 4.14 6/244 1048903
/proc/meminfo: memFree=127053668/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=75912 memory=47488 CPUtime=25.41 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 10915 0 0 0 2496 45 0 0 20 0 1 0 198584548 77733888 11872 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 18978 11872 1778 922 0 10930 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 75912 KiB
Current children cumulated memory: 47488 KiB
[startup+51.1127 s]
/proc/loadavg: 4.21 4.16 4.14 5/246 1048940
/proc/meminfo: memFree=126972908/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=108476 memory=72764 CPUtime=50.95 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 14170 0 0 0 5009 86 0 0 20 0 1 0 198584548 111079424 18191 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 27119 18191 1794 922 0 19071 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 108476 KiB
Current children cumulated memory: 72764 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/246 1048994
/proc/meminfo: memFree=127075344/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=141364 memory=98520 CPUtime=101.97 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 17654 0 0 0 10043 154 0 0 20 0 1 0 198584548 144756736 24630 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 35341 24630 1794 922 0 27293 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 141364 KiB
Current children cumulated memory: 98520 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/246 1049004
/proc/meminfo: memFree=126842540/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=280796 memory=208120 CPUtime=161.83 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 33136 0 0 0 15995 188 0 0 20 0 1 0 198584548 287535104 52030 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 70199 52030 1794 922 0 62151 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 280796 KiB
Current children cumulated memory: 208120 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/245 1049016
/proc/meminfo: memFree=126669304/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=286612 memory=212904 CPUtime=221.69 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 34434 0 0 0 21890 279 0 0 20 0 1 0 198584548 293490688 53226 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 71653 53226 1794 922 0 63605 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 286612 KiB
Current children cumulated memory: 212904 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/242 1049027
/proc/meminfo: memFree=126413384/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=287028 memory=213708 CPUtime=281.51 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 34728 0 0 0 27838 313 0 0 20 0 1 0 198584548 293916672 53427 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 71757 53427 1794 922 0 63709 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 287028 KiB
Current children cumulated memory: 213708 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.14 4.13 5/242 1049038
/proc/meminfo: memFree=126401264/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=288240 memory=214932 CPUtime=341.34 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 35074 0 0 0 33806 328 0 0 20 0 1 0 198584548 295157760 53733 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 72060 53733 1794 922 0 64012 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 288240 KiB
Current children cumulated memory: 214932 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.13 5/242 1049048
/proc/meminfo: memFree=126313680/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=380008 memory=295972 CPUtime=401.16 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 38553 0 0 0 39726 390 0 0 20 0 1 0 198584548 389128192 73993 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 95002 73993 1794 922 0 86954 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 380008 KiB
Current children cumulated memory: 295972 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.12 6/242 1049059
/proc/meminfo: memFree=126287624/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=382476 memory=298180 CPUtime=460.99 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 39121 0 0 0 45629 470 0 0 20 0 1 0 198584548 391655424 74545 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 95619 74545 1794 922 0 87571 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
Current children cumulated memory: 973676 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.21 4.19 5/244 1050115
/proc/meminfo: memFree=123147192/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1310464 memory=977440 CPUtime=3093.68 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 108214 0 0 0 306934 2434 0 0 20 0 1 0 198584548 1341915136 244360 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 327616 244360 1810 922 0 319568 0
Current children cumulated CPU time: 3093.68 s
Current children cumulated vsize: 1310464 KiB
Current children cumulated memory: 977440 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.22 4.19 5/244 1050125
/proc/meminfo: memFree=123103044/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1311784 memory=978836 CPUtime=3153.5 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 108702 0 0 0 312900 2450 0 0 20 0 1 0 198584548 1343266816 244709 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 327946 244709 1810 922 0 319898 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 1311784 KiB
Current children cumulated memory: 978836 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/242 1050136
/proc/meminfo: memFree=123086348/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1312620 memory=979944 CPUtime=3213.32 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 109095 0 0 0 318869 2463 0 0 20 0 1 0 198584548 1344122880 244986 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 328155 244986 1810 922 0 320107 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 1312620 KiB
Current children cumulated memory: 979944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.18 4.18 5/244 1050531
/proc/meminfo: memFree=123041400/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1312620 memory=979944 CPUtime=3273.15 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 109246 0 0 0 324838 2477 0 0 20 0 1 0 198584548 1344122880 244986 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 328155 244986 1810 922 0 320107 0
Current children cumulated CPU time: 3273.15 s
Current children cumulated vsize: 1312620 KiB
Current children cumulated memory: 979944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/244 1050541
/proc/meminfo: memFree=123032328/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1312620 memory=979972 CPUtime=3332.97 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 109443 0 0 0 330785 2512 0 0 20 0 1 0 198584548 1344122880 244993 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 328155 244993 1810 922 0 320107 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 1312620 KiB
Current children cumulated memory: 979972 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/243 1050551
/proc/meminfo: memFree=123003104/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1312620 memory=980056 CPUtime=3392.8 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 109722 0 0 0 336708 2572 0 0 20 0 1 0 198584548 1344122880 245014 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 328155 245014 1810 922 0 320107 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 1312620 KiB
Current children cumulated memory: 980056 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.17 4.18 5/244 1050731
/proc/meminfo: memFree=122977644/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1312620 memory=980056 CPUtime=3452.63 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 109962 0 0 0 342639 2624 0 0 20 0 1 0 198584548 1344122880 245014 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 328155 245014 1810 922 0 320107 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 1312620 KiB
Current children cumulated memory: 980056 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/244 1050741
/proc/meminfo: memFree=122976908/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1312620 memory=980060 CPUtime=3512.46 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 110340 0 0 0 348566 2680 0 0 20 0 1 0 198584548 1344122880 245015 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 328155 245015 1810 922 0 320107 0
Current children cumulated CPU time: 3512.46 s
Current children cumulated vsize: 1312620 KiB
Current children cumulated memory: 980060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/245 1050810
/proc/meminfo: memFree=122976736/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1312620 memory=980068 CPUtime=3572.29 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 110655 0 0 0 354510 2719 0 0 20 0 1 0 198584548 1344122880 245017 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 328155 245017 1810 922 0 320107 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 1312620 KiB
Current children cumulated memory: 980068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.12 4.14 4.16 5/245 1050813
/proc/meminfo: memFree=122973476/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1312620 memory=980068 CPUtime=3600.03 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 110669 0 0 0 357271 2732 0 0 20 0 1 0 198584548 1344122880 245017 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 328155 245017 1810 922 0 320107 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1312620 KiB
Current children cumulated memory: 980068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.31 s]
# the end of solver process 1048838 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.9 s, system=27.3321 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.12 4.14 4.16 5/245 1050813
/proc/meminfo: memFree=122973476/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1312620 memory=980068 CPUtime=3600.31 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 110669 0 0 0 357299 2732 0 0 20 0 1 0 198584548 1344122880 245017 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 328155 245017 1810 922 0 320107 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 1312620 KiB
Current children cumulated memory: 980068 KiB
[startup+3610.8 s]
/proc/loadavg: 4.12 4.14 4.16 5/245 1050813
/proc/meminfo: memFree=122973476/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1312620 memory=980068 CPUtime=3600.71 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 110669 0 0 0 357339 2732 0 0 20 0 1 0 198584548 1344122880 245017 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 328155 245017 1810 922 0 320107 0
Current children cumulated CPU time: 3600.71 s
Current children cumulated vsize: 1312620 KiB
Current children cumulated memory: 980068 KiB
[startup+3611.2 s]
/proc/loadavg: 4.12 4.14 4.16 5/245 1050815
/proc/meminfo: memFree=122973504/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1312620 memory=980068 CPUtime=3601.11 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 110669 0 0 0 357379 2732 0 0 20 0 1 0 198584548 1344122880 245017 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 328155 245017 1810 922 0 320107 0
Current children cumulated CPU time: 3601.11 s
Current children cumulated vsize: 1312620 KiB
Current children cumulated memory: 980068 KiB
[startup+3611.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/245 1050815
/proc/meminfo: memFree=122973504/131655788 swapFree=131071996/131071996
[pid=1048838] ppid=1048835 vsize=1287540 memory=957540 CPUtime=3601.21 cores=1,3
/proc/1048838/stat : 1048838 (roundingsat) R 1048835 1048838 1046564 0 -1 4194304 110677 0 0 0 357389 2732 0 0 20 0 1 0 198584548 1318440960 239385 134679101440 4194304 7968373 140722232192944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 36851712 140722232198076 140722232198240 140722232198240 140722232205257 0
/proc/1048838/statm: 321885 239385 1896 922 0 313837 0
Current children cumulated CPU time: 3601.21 s
Current children cumulated vsize: 1287540 KiB
Current children cumulated memory: 957540 KiB
Child status: 0
Real time (s): 3611.31
CPU time (s): 3601.23
CPU user time (s): 3573.9
CPU system time (s): 27.3321
CPU usage (%): 99.7208
Max. virtual memory (cumulated for all children) (KiB): 1312620
Max. memory (cumulated for all children) (KiB): 980068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.9
system time used= 27.3321
maximum resident set size= 980252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110685
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= 62
involuntary context switches= 2333
# summary of solver processes directly reported to runsolver:
# pid: 1048838
# total CPU time (s): 3601.23
# total CPU user time (s): 3573.9
# total CPU system time (s): 27.3321
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0092 second user time and 35.4917 second system time
The end
Begin job on nodeC008 at 2024-07-20 10:31:33 IDJOB=4455627 IDBENCH=158262 IDSOLVER=3084 FILE ID=nodeC008/4455627-1721464282 RUNJOBID= nodeC008-1721460659-1046576 SLURM_JOB_ID= 7545711 Free space on /tmp= 723720 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K134.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-4455627-1721464282/watcher-4455627-1721464282 -o /tmp/evaluation-result-4455627-1721464282/solver-4455627-1721464282 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046576 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455627-1721464282.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232 RANDOM SEED=800323492 nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3601.597 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.011 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.409 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.245 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3544.218 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3500.093 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.258 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.252 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126854176 kB MemAvailable: 129335520 kB Buffers: 598696 kB Cached: 2708092 kB SwapCached: 0 kB Active: 1164476 kB Inactive: 3037404 kB Active(anon): 1492 kB Inactive(anon): 939816 kB Active(file): 1162984 kB Inactive(file): 2097588 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 52964 kB Writeback: 0 kB AnonPages: 891264 kB Mapped: 116916 kB Shmem: 45896 kB KReclaimable: 121604 kB Slab: 227500 kB SReclaimable: 121604 kB SUnreclaim: 105896 kB KernelStack: 3968 kB PageTables: 11216 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1224260 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61696 kB HardwareCorrupted: 0 kB AnonHugePages: 393216 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: 203592 kB DirectMap2M: 24866816 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 723744 MiB End job on nodeC008 at 2024-07-20 11:31:45